#BEGIN: [Wed Sep  6 01:13:58 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance021_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance021_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_instance021_graph005.col /benchmark/random_instance/random_instance021_graph005_01.dat
16:14:00 [INFO] Time reorder   : 1 (sec)
16:26:07 [INFO] Time reconf    : 727 (sec)
s 6 7 9 11 14 27 29 30 32 34 38 39 40 42 52 53 57 58 60 66 71 84 88 91 94 97 99 104 105 106 107 110 115 117 121 130 132 134 135 142 144 145 146 147 148 150 158 160 165 167 168 170 179 181 183 185 186 187 188 191 193 194 207 212 218 221 229 231 232 236 238 239 242 244 250 255 257 258 262 263 267 268 270 273
t 4 5 9 18 20 24 36 37 42 54 55 56 59 60 62 69 71 75 76 81 82 83 84 86 88 89 93 94 102 105 108 111 112 113 114 116 124 127 140 142 145 147 149 151 152 153 154 155 158 163 174 175 176 178 181 182 183 188 193 197 201 202 204 207 208 209 217 224 225 227 228 231 235 236 244 246 247 248 249 251 259 261 270 271

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance021_graph005.col /benchmark/random_instance/random_instance021_graph005_01.dat"
	User time (seconds): 705.86
	System time (seconds): 22.82
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 12:08.76
	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): 61810352
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 103
	Minor (reclaiming a frame) page faults: 28748711
	Voluntary context switches: 126
	Involuntary context switches: 4352
	Swaps: 0
	File system inputs: 19384
	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 01:26:08 2023]