#BEGIN: [Mon Sep 18 15:44:53 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance018_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance018_graph003_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_graph003.col /benchmark/random_instance/random_instance018_graph003_01.dat
06:44:54 [INFO] Time reorder   : 1 (sec)
06:55:27 [INFO] Time reconf    : 632 (sec)
s 1 2 4 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225
t 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 207 212 213 218 219 223 227 228 229

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance018_graph003.col /benchmark/random_instance/random_instance018_graph003_01.dat"
	User time (seconds): 608.99
	System time (seconds): 24.31
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:33.54
	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): 64489204
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1775
	Minor (reclaiming a frame) page faults: 29832896
	Voluntary context switches: 2400
	Involuntary context switches: 6531
	Swaps: 0
	File system inputs: 73960
	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:55:27 2023]