#BEGIN: [Wed Sep  6 01:07:22 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance019_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance019_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance019_graph002.col /benchmark/random_instance/random_instance019_graph002_01.dat
16:07:25 [INFO] Time reorder   : 1 (sec)
16:28:56 [INFO] Time reconf    : 1291 (sec)
s 3 7 8 15 16 17 18 19 21 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 153 154 158 161 170 171 175 183 186 192 193 198 199 200 207 210 212 213 216 218 221 224 225 235 238 241 243 245 247
t 4 7 15 16 19 20 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 101 105 117 118 120 122 125 130 132 135 138 140 142 146 149 150 153 154 157 160 161 162 164 166 171 173 178 179 180 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 227 237 239 243 244 246 247

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance019_graph002.col /benchmark/random_instance/random_instance019_graph002_01.dat"
	User time (seconds): 1268.51
	System time (seconds): 25.01
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 21:33.79
	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): 62945904
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1927
	Minor (reclaiming a frame) page faults: 29586505
	Voluntary context switches: 2555
	Involuntary context switches: 10968
	Swaps: 0
	File system inputs: 73768
	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 01:28:57 2023]