...
10/22/2019 12:22:57;a;1009.mars;Resource_List.min_walltime=00:01:00
10/22/2019 12:22:57;a;1009.mars; Resource_List.max_walltime=01:00:00
...
...
10/22/2019 12:22:57;a;1009.mars;Resource_List.min_walltime=00:01:00
10/22/2019 12:22:57;a;1009.mars; Resource_List.max_walltime=01:00:00
...