#BEGIN: [Tue Sep  5 23:59:02 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance021_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance021_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance021_graph003.col /benchmark/random_instance/random_instance021_graph003_01.dat
14:59:04 [INFO] Time reorder   : 1 (sec)
15:08:50 [INFO] Time reconf    : 586 (sec)
s 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 78 80 83 84 85 88 90 91 95 97 98 104 112 114 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273
t 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 206 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance021_graph003.col /benchmark/random_instance/random_instance021_graph003_01.dat"
	User time (seconds): 550.22
	System time (seconds): 26.11
	Percent of CPU this job got: 97%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:48.26
	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): 64467040
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 173231
	Minor (reclaiming a frame) page faults: 32025549
	Voluntary context switches: 173928
	Involuntary context switches: 5605
	Swaps: 0
	File system inputs: 1597904
	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 00:08:51 2023]