#BEGIN: [Wed Sep  6 00:02:49 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance022_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance022_graph004_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_instance022_graph004.col /benchmark/random_instance/random_instance022_graph004_01.dat
15:02:52 [INFO] Time reorder   : 2 (sec)
15:12:51 [INFO] Time reconf    : 599 (sec)
s 1 2 6 9 10 16 19 20 27 29 33 34 35 42 46 48 49 50 51 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 106 107 109 112 113 115 119 122 124 125 126 133 136 137 138 139 140 147 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 273 277 285
t 1 2 6 10 12 15 16 20 22 24 27 33 36 37 43 47 50 51 54 58 60 69 71 73 74 76 79 85 94 95 97 99 100 112 113 115 118 119 124 125 128 132 137 139 141 142 147 152 155 156 158 160 173 176 182 184 190 193 196 198 199 200 201 202 204 208 210 222 223 225 227 231 232 234 237 238 239 240 241 242 244 245 247 249 255 256 257 259 264 268 271 273 277 282 285

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance022_graph004.col /benchmark/random_instance/random_instance022_graph004_01.dat"
	User time (seconds): 577.45
	System time (seconds): 24.09
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:01.73
	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): 64488352
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1788
	Minor (reclaiming a frame) page faults: 29710456
	Voluntary context switches: 1897
	Involuntary context switches: 5755
	Swaps: 0
	File system inputs: 36992
	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:12:52 2023]