#BEGIN: [Wed Sep  6 01:11:02 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance020_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance020_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_instance020_graph005.col /benchmark/random_instance/random_instance020_graph005_01.dat
16:11:04 [INFO] Time reorder   : 1 (sec)
16:22:48 [INFO] Time reconf    : 704 (sec)
s 3 4 5 9 10 15 20 24 26 28 34 36 42 45 52 54 60 64 65 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 131 134 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 195 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 251 254 258
t 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 102 111 112 113 120 122 126 131 138 141 146 158 159 160 162 166 167 171 173 178 181 182 187 189 194 195 196 198 199 209 211 212 214 217 228 229 231 232 234 239 241 245 248 249 251 254 257 258 259 260

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance020_graph005.col /benchmark/random_instance/random_instance020_graph005_01.dat"
	User time (seconds): 685.08
	System time (seconds): 21.25
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:46.41
	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): 56333244
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 102
	Minor (reclaiming a frame) page faults: 22070658
	Voluntary context switches: 172
	Involuntary context switches: 3468
	Swaps: 0
	File system inputs: 19232
	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:22:49 2023]