#BEGIN: [Mon Sep 18 15:04:42 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance020_graph001.col /benchmark/random_instance/random_instance020_graph001_01.dat
06:04:44 [INFO] Time reorder   : 1 (sec)
06:15:05 [INFO] Time reconf    : 620 (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): 598.23
	System time (seconds): 24.23
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:22.68
	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): 64439784
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1941
	Minor (reclaiming a frame) page faults: 29724800
	Voluntary context switches: 2495
	Involuntary context switches: 5757
	Swaps: 0
	File system inputs: 74856
	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:15:05 2023]