#BEGIN: [Tue Sep 26 13:23:31 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance018_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance018_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_instance018_graph002.col /benchmark/random_instance/random_instance018_graph002_01.dat
04:23:32 [INFO] Time reorder   : 1 (sec)
04:38:05 [INFO] Time reconf    : 872 (sec)
s 4 10 15 19 20 23 26 28 30 31 37 41 43 44 45 46 52 56 59 60 65 67 68 72 75 76 77 79 85 87 89 90 91 95 98 104 106 110 111 113 114 119 121 122 128 131 132 136 138 142 145 151 152 154 155 157 159 162 163 165 167 170 174 177 178 179 183 190 192 193 195 199 200 207 208 218 222 234
t 6 7 12 15 17 21 23 24 29 30 36 37 45 46 48 49 52 56 59 60 63 64 66 67 72 74 78 85 88 90 92 95 98 106 110 113 114 119 120 121 122 125 128 131 135 136 138 140 143 144 150 151 152 153 154 157 158 164 167 171 173 174 177 181 187 193 194 195 200 207 208 215 217 222 223 225 229 230

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance018_graph002.col /benchmark/random_instance/random_instance018_graph002_01.dat"
	User time (seconds): 849.52
	System time (seconds): 24.41
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 14:34.10
	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): 64434920
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1659
	Minor (reclaiming a frame) page faults: 29830200
	Voluntary context switches: 1775
	Involuntary context switches: 7830
	Swaps: 0
	File system inputs: 32472
	File system outputs: 64
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep 26 13:38:06 2023]