#BEGIN: [Wed Sep  6 01:10:29 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance020_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance020_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_instance020_graph001.col /benchmark/random_instance/random_instance020_graph001_01.dat
16:10:31 [INFO] Time reorder   : 1 (sec)
16:21:02 [INFO] Time reconf    : 630 (sec)
s 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260
t 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance020_graph001.col /benchmark/random_instance/random_instance020_graph001_01.dat"
	User time (seconds): 608.10
	System time (seconds): 24.32
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:32.62
	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): 64503180
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1592
	Minor (reclaiming a frame) page faults: 29728627
	Voluntary context switches: 1774
	Involuntary context switches: 5735
	Swaps: 0
	File system inputs: 35832
	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:21:02 2023]