#BEGIN: [Wed Sep  6 00:01:21 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance022_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance022_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance022_graph002.col /benchmark/random_instance/random_instance022_graph002_01.dat
15:01:23 [INFO] Time reorder   : 1 (sec)
15:10:54 [INFO] Time reconf    : 570 (sec)
s 1 4 5 6 7 9 13 14 15 17 19 20 22 23 24 27 35 38 45 50 53 56 59 62 65 67 70 71 74 80 81 83 84 86 91 94 95 96 98 99 102 103 104 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 164 166 167 170 194 198 199 203 204 206 208 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 276 282
t 3 4 9 14 18 19 24 36 39 42 49 51 53 54 55 58 65 67 68 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 115 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 175 176 178 185 188 194 195 197 203 205 209 210 211 212 215 219 221 226 227 230 236 239 241 242 250 251 257 258 261 268 270 271 273 279 280 283

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance022_graph002.col /benchmark/random_instance/random_instance022_graph002_01.dat"
	User time (seconds): 547.68
	System time (seconds): 24.39
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:32.26
	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): 64413380
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1314
	Minor (reclaiming a frame) page faults: 29822231
	Voluntary context switches: 1905
	Involuntary context switches: 5222
	Swaps: 0
	File system inputs: 69928
	File system outputs: 64
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep  6 00:10:54 2023]