#BEGIN: [Mon Sep 18 15:04:00 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance017_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance017_graph002_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_instance017_graph002.col /benchmark/random_instance/random_instance017_graph002_01.dat
06:04:02 [INFO] Time reorder   : 1 (sec)
06:21:00 [INFO] Time reconf    : 1017 (sec)
s 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220
t 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance017_graph002.col /benchmark/random_instance/random_instance017_graph002_01.dat"
	User time (seconds): 990.85
	System time (seconds): 26.68
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 16:59.42
	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): 64448416
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 24298
	Minor (reclaiming a frame) page faults: 32055905
	Voluntary context switches: 24976
	Involuntary context switches: 8189
	Swaps: 0
	File system inputs: 331888
	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:21:00 2023]