#BEGIN: [Mon Sep  4 15:09:00 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: shortest-wallclock-banbaralab2-shortest2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph002_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_graph002.col /benchmark/random_instance/random_instance010_graph002_01.dat
c /benchmark/random_instance/random_instance010_graph002.col
c /benchmark/random_instance/random_instance010_graph002_01.dat
s 120 127 29 24 85 21 116 83 58 74 27 107 5 37 106 73 7 50 2 118 110 39 103 38 93 87 61 22 6 26 64 12 70 88 125 76 14 44 81
t 105 19 99 83 55 22 72 2 118 121 26 108 49 122 9 98 14 85 16 57 103 88 23 129 46 104 115 130 48 68 90 53 38 39 127 107 116 81 7
a YES
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 5 6 7 12 14 21 22 24 26 27 37 38 39 44 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127 129
a 2 5 6 7 12 14 21 22 24 26 27 37 38 39 44 50 58 61 64 70 72 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 125 127 129
a 2 5 6 7 12 14 21 22 23 24 26 27 37 38 39 44 50 58 61 64 70 72 73 76 81 83 85 87 88 93 103 106 107 110 116 118 125 127 129
a 2 5 6 7 9 12 14 21 22 23 26 27 37 38 39 44 50 58 61 64 70 72 73 76 81 83 85 87 88 93 103 106 107 110 116 118 125 127 129
a 2 5 6 7 9 12 14 21 22 23 26 27 38 39 44 49 50 58 61 64 70 72 73 76 81 83 85 87 88 93 103 106 107 110 116 118 125 127 129
a 2 5 6 7 9 12 14 21 22 23 26 38 39 44 49 50 58 61 64 70 72 73 76 81 83 85 87 88 93 103 104 106 107 110 116 118 125 127 129
a 2 5 6 7 9 12 14 22 23 26 38 39 44 49 50 58 61 64 68 70 72 73 76 81 83 85 87 88 93 103 104 106 107 110 116 118 125 127 129
a 2 5 6 7 9 12 14 22 23 26 38 39 44 49 50 58 61 64 68 70 72 73 81 83 85 87 88 90 93 103 104 106 107 110 116 118 125 127 129
a 2 5 6 7 9 12 14 22 23 26 38 39 44 49 50 57 58 61 64 68 70 72 73 81 83 85 87 88 90 93 103 104 106 107 110 116 118 127 129
a 2 5 6 7 9 12 14 22 23 26 38 39 44 49 50 57 61 64 68 70 72 73 81 83 85 87 88 90 93 103 104 106 107 108 110 116 118 127 129
a 2 5 6 7 9 12 14 22 23 26 38 39 44 49 57 61 64 68 70 72 73 81 83 85 87 88 90 93 103 104 106 107 108 110 115 116 118 127 129
a 2 5 6 7 9 12 14 22 23 26 38 39 44 49 57 61 64 68 70 72 73 81 83 85 87 88 90 93 98 103 104 107 108 110 115 116 118 127 129
a 2 5 6 7 9 14 22 23 26 38 39 44 49 57 61 64 68 70 72 73 81 83 85 87 88 90 93 98 99 103 104 107 108 110 115 116 118 127 129
a 2 5 7 9 14 16 22 23 26 38 39 44 49 57 61 64 68 70 72 73 81 83 85 87 88 90 93 98 99 103 104 107 108 110 115 116 118 127 129
a 2 5 7 9 14 16 19 22 23 26 38 39 44 49 57 61 64 68 70 72 73 81 83 85 87 88 90 93 98 99 103 104 107 108 115 116 118 127 129
a 2 5 7 9 14 16 19 22 23 26 38 39 44 49 55 57 61 64 68 70 72 73 81 83 85 87 88 90 98 99 103 104 107 108 115 116 118 127 129
a 2 5 7 9 14 16 19 22 23 26 38 39 49 55 57 61 64 68 70 72 73 81 83 85 87 88 90 98 99 103 104 107 108 115 116 118 121 127 129
a 2 5 7 9 14 16 19 22 23 26 38 39 49 55 57 61 64 68 72 73 81 83 85 87 88 90 98 99 103 104 107 108 115 116 118 121 127 129 130
a 2 5 7 9 14 16 19 22 23 26 38 39 49 55 57 61 68 72 73 81 83 85 87 88 90 98 99 103 104 105 107 108 115 116 118 121 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 49 53 55 57 61 68 72 73 81 83 85 87 88 90 98 99 103 104 105 107 108 115 116 118 121 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 49 53 55 57 68 72 73 81 83 85 87 88 90 98 99 103 104 105 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 49 53 55 57 68 72 81 83 85 87 88 90 98 99 103 104 105 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 48 49 53 55 57 68 72 81 83 85 88 90 98 99 103 104 105 107 108 115 116 118 121 122 127 129 130
c Step: 23
	Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance010_graph002.col /benchmark/random_instance/random_instance010_graph002_01.dat"
	User time (seconds): 0.22
	System time (seconds): 0.04
	Percent of CPU this job got: 120%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.22
	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): 34428
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 19464
	Voluntary context switches: 253
	Involuntary context switches: 6
	Swaps: 0
	File system inputs: 0
	File system outputs: 88
	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]