#BEGIN: [Mon Sep 18 15:45:18 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance022_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance022_graph001_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_graph001.col /benchmark/random_instance/random_instance022_graph001_01.dat
06:45:21 [INFO] Time reorder   : 1 (sec)
06:54:27 [INFO] Time reconf    : 546 (sec)
s 2 10 11 12 15 20 21 29 30 32 34 40 43 48 49 50 57 61 63 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 274 280 281 283 284
t 1 2 5 6 10 13 18 26 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 115 118 119 122 127 129 130 131 135 136 139 140 145 149 150 155 156 159 172 177 184 185 187 188 189 190 191 194 196 200 205 206 215 220 222 230 232 233 235 239 242 243 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 282 284

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance022_graph001.col /benchmark/random_instance/random_instance022_graph001_01.dat"
	User time (seconds): 523.46
	System time (seconds): 24.50
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:08.18
	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): 64475828
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1735
	Minor (reclaiming a frame) page faults: 29845955
	Voluntary context switches: 2358
	Involuntary context switches: 5240
	Swaps: 0
	File system inputs: 75064
	File system outputs: 64
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep 18 15:54:27 2023]