#BEGIN: [Tue Sep  5 23:50:12 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance017_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance017_graph005_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_graph005.col /benchmark/random_instance/random_instance017_graph005_01.dat
14:50:14 [INFO] Time reorder   : 1 (sec)
15:03:07 [INFO] Time reconf    : 773 (sec)
s 3 4 6 7 8 11 13 15 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217
t 6 10 11 13 14 17 18 19 23 25 26 29 30 32 39 43 44 47 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 152 155 156 157 159 163 165 176 177 178 179 181 195 196 199 203 207 208 210 211 219 220

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance017_graph005.col /benchmark/random_instance/random_instance017_graph005_01.dat"
	User time (seconds): 750.09
	System time (seconds): 24.46
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 12:54.77
	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): 62788560
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1936
	Minor (reclaiming a frame) page faults: 29321278
	Voluntary context switches: 2663
	Involuntary context switches: 4132
	Swaps: 0
	File system inputs: 74552
	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:03:08 2023]