#BEGIN: [Tue Sep 26 13:24:01 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance022_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance022_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_instance022_graph003.col /benchmark/random_instance/random_instance022_graph003_01.dat
04:24:04 [INFO] Time reorder   : 2 (sec)
04:36:18 [INFO] Time reconf    : 733 (sec)
s 1 3 4 7 9 16 17 20 29 31 35 36 37 38 40 43 47 48 49 51 53 55 56 57 60 61 65 68 75 82 84 85 86 88 93 101 103 104 112 116 118 121 123 124 127 130 135 140 143 144 149 150 151 154 158 159 162 164 166 175 176 179 198 201 204 207 213 219 221 227 233 241 245 246 248 249 252 255 260 262 268 269 272 274 275 279 281 282 284
t 2 3 4 7 9 10 13 15 16 22 23 25 32 36 37 38 39 40 52 53 54 56 59 65 68 72 73 74 75 81 82 83 84 87 89 92 94 96 98 101 106 107 111 114 124 125 126 128 133 140 141 144 148 152 153 155 157 161 162 165 166 181 182 190 192 194 200 201 207 217 221 223 224 225 226 231 234 240 243 250 255 257 261 268 274 278 280 281 283

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance022_graph003.col /benchmark/random_instance/random_instance022_graph003_01.dat"
	User time (seconds): 711.70
	System time (seconds): 24.34
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 12:16.19
	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): 64473932
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1602
	Minor (reclaiming a frame) page faults: 29734742
	Voluntary context switches: 1700
	Involuntary context switches: 6802
	Swaps: 0
	File system inputs: 36720
	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:36:18 2023]