#BEGIN: [Tue Sep 26 13:25:20 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance022_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance022_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance022_graph005.col /benchmark/random_instance/random_instance022_graph005_01.dat
04:25:22 [INFO] Time reorder   : 2 (sec)
04:38:24 [INFO] Time reconf    : 781 (sec)
s 6 10 11 12 15 20 22 27 36 37 40 42 46 52 55 56 60 65 70 71 74 76 77 79 80 82 85 86 87 90 91 92 94 96 98 99 100 104 106 107 109 116 117 119 122 123 129 133 141 142 144 145 147 149 153 155 157 159 160 161 164 166 172 176 180 183 185 186 188 189 192 195 200 203 205 209 212 213 217 218 224 227 232 241 243 244 249 251 255 257 271 272 273 276 277 282 286
t 2 7 8 10 11 15 16 17 22 27 28 33 36 41 42 44 46 50 53 60 62 65 68 69 73 74 80 81 82 85 86 89 91 92 96 97 98 99 103 107 109 116 117 118 119 121 126 130 136 143 145 154 157 159 160 164 166 172 174 183 185 187 190 192 193 197 200 203 212 213 217 221 224 227 231 232 235 237 238 243 245 246 247 253 254 255 257 258 260 269 270 271 273 276 277 280 284

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance022_graph005.col /benchmark/random_instance/random_instance022_graph005_01.dat"
	User time (seconds): 759.60
	System time (seconds): 24.73
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 13:04.57
	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): 62075600
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1953
	Minor (reclaiming a frame) page faults: 29106104
	Voluntary context switches: 2669
	Involuntary context switches: 6117
	Swaps: 0
	File system inputs: 76720
	File system outputs: 64
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep 26 13:38:25 2023]