#BEGIN: [Mon Sep 18 15:45:17 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance021_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance021_graph002_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_graph002.col /benchmark/random_instance/random_instance021_graph002_01.dat
06:45:19 [INFO] Time reorder   : 1 (sec)
06:55:21 [INFO] Time reconf    : 601 (sec)
s 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272
t 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance021_graph002.col /benchmark/random_instance/random_instance021_graph002_01.dat"
	User time (seconds): 579.07
	System time (seconds): 24.35
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:03.65
	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): 62652440
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1870
	Minor (reclaiming a frame) page faults: 28879668
	Voluntary context switches: 2535
	Involuntary context switches: 5919
	Swaps: 0
	File system inputs: 75544
	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:55:21 2023]