#BEGIN: [Mon Sep 18 15:46:08 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance023_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance023_graph003_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_instance023_graph003.col /benchmark/random_instance/random_instance023_graph003_01.dat
06:46:10 [INFO] Time reorder   : 2 (sec)
06:56:45 [INFO] Time reconf    : 634 (sec)
s 1 5 12 17 19 24 27 31 37 39 42 44 46 47 50 51 55 56 57 62 63 64 70 72 79 80 82 84 91 95 96 98 99 105 108 109 115 116 118 120 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295
t 4 5 17 18 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 131 136 139 142 149 152 153 157 158 164 165 166 169 172 175 176 177 178 180 185 186 187 188 195 198 199 202 207 216 218 230 233 235 236 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 299

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance023_graph003.col /benchmark/random_instance/random_instance023_graph003_01.dat"
	User time (seconds): 611.86
	System time (seconds): 24.41
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:36.61
	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): 64481516
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1886
	Minor (reclaiming a frame) page faults: 29691745
	Voluntary context switches: 2501
	Involuntary context switches: 5867
	Swaps: 0
	File system inputs: 75456
	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:56:45 2023]