#BEGIN: [Mon Sep  4 15:09:00 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: shortest-wallclock-banbaralab2-shortest2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance010_graph001.col /benchmark/random_instance/random_instance010_graph001_01.dat
c /benchmark/random_instance/random_instance010_graph001.col
c /benchmark/random_instance/random_instance010_graph001_01.dat
s 64 35 14 80 47 114 126 6 25 119 67 21 113 71 82 102 60 130 62 128 65 76 9 123 39 2 112 56 52 34 105 110 103 61 57 4 121 31 43 125 41
t 12 125 44 40 14 70 111 58 9 128 10 4 5 67 37 82 59 79 35 24 48 15 89 62 8 129 127 87 1 83 25 109 57 124 45 105 60 98 116 71 21
a YES
a 2 4 6 9 14 21 25 31 34 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 52 56 57 58 60 61 62 64 65 67 71 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 56 57 58 60 61 62 64 65 67 71 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 129 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 56 57 58 60 61 62 64 65 67 71 80 82 98 102 103 105 110 112 114 119 121 123 125 126 128 129 130
a 2 4 6 9 12 14 15 21 25 31 34 35 39 41 43 56 57 58 60 61 62 64 67 71 80 82 98 102 103 105 110 112 114 119 121 123 125 126 128 129 130
a 2 4 6 9 12 14 15 21 25 31 34 35 39 41 43 56 57 58 60 61 62 64 67 71 80 82 98 102 103 105 110 111 112 114 119 121 125 126 128 129 130
a 2 4 6 9 12 14 15 21 25 31 34 35 39 41 43 45 56 57 58 60 61 62 64 67 71 80 82 98 102 105 110 111 112 114 119 121 125 126 128 129 130
a 2 4 6 9 12 14 15 21 25 31 35 39 41 43 45 56 57 58 60 61 62 64 67 71 80 82 98 102 105 110 111 112 114 119 121 125 126 127 128 129 130
a 2 4 6 9 12 14 15 21 25 31 35 39 41 43 45 48 56 57 58 60 61 62 64 67 71 80 82 98 102 105 110 111 112 119 121 125 126 127 128 129 130
a 2 4 6 9 12 14 15 21 25 31 35 39 41 43 45 48 56 57 58 60 61 62 64 67 70 71 80 82 98 105 110 111 112 119 121 125 126 127 128 129 130
a 2 4 9 12 14 15 21 24 25 31 35 39 41 43 45 48 56 57 58 60 61 62 64 67 70 71 80 82 98 105 110 111 112 119 121 125 126 127 128 129 130
a 2 4 9 10 12 14 15 21 24 25 31 35 39 41 43 45 48 56 57 58 60 61 62 64 67 70 71 80 82 98 105 110 111 112 119 121 125 126 127 128 129
a 2 4 9 10 12 14 15 21 24 25 31 35 41 43 45 48 56 57 58 60 61 62 64 67 70 71 80 82 83 98 105 110 111 112 119 121 125 126 127 128 129
a 2 4 9 10 12 14 15 21 24 25 31 35 41 43 45 48 57 58 60 61 62 64 67 70 71 80 82 83 89 98 105 110 111 112 119 121 125 126 127 128 129
a 2 4 9 10 12 14 15 21 24 25 31 35 41 43 44 45 48 57 58 60 61 62 64 67 70 71 80 82 83 89 98 105 110 111 119 121 125 126 127 128 129
a 2 4 8 9 10 12 14 15 21 24 25 31 35 41 43 44 45 48 57 58 60 61 62 64 67 70 71 80 82 83 89 98 105 110 111 119 121 125 127 128 129
a 4 8 9 10 12 14 15 21 24 25 31 35 41 43 44 45 48 57 58 60 61 62 64 67 70 71 80 82 83 89 98 105 109 110 111 119 121 125 127 128 129
a 4 8 9 10 12 14 15 21 24 25 31 35 41 43 44 45 48 57 58 60 61 62 64 67 70 71 82 83 89 98 105 109 110 111 116 119 121 125 127 128 129
a 4 8 9 10 12 14 15 21 24 25 31 35 37 41 43 44 45 48 57 58 60 61 62 64 67 70 71 82 83 89 98 105 109 111 116 119 121 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 43 44 45 48 57 58 60 61 62 64 67 70 71 82 83 89 98 105 109 111 116 119 121 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 43 44 45 48 57 58 60 61 62 67 70 71 82 83 87 89 98 105 109 111 116 119 121 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 44 45 48 57 58 59 60 61 62 67 70 71 82 83 87 89 98 105 109 111 116 119 121 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 44 45 48 57 58 59 60 61 62 67 70 71 79 82 83 87 89 98 105 109 111 116 119 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 61 62 67 70 71 79 82 83 87 89 98 105 109 111 116 119 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 119 124 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 40 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129
c Step: 26
	Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance010_graph001.col /benchmark/random_instance/random_instance010_graph001_01.dat"
	User time (seconds): 0.24
	System time (seconds): 0.02
	Percent of CPU this job got: 118%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.23
	Average shared text size (kbytes): 0
	Average unshared data size (kbytes): 0
	Average stack size (kbytes): 0
	Average total size (kbytes): 0
	Maximum resident set size (kbytes): 36644
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 20891
	Voluntary context switches: 354
	Involuntary context switches: 8
	Swaps: 0
	File system inputs: 0
	File system outputs: 96
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 15:09:01 2023]