#BEGIN: [Mon Sep 18 15:56:26 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-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 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance017_graph005.col /benchmark/random_instance/random_instance017_graph005_01.dat
06:56:28 [INFO] Time reorder   : 1 (sec)
07:08:30 [INFO] Time reconf    : 722 (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): 699.64
	System time (seconds): 23.80
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 12:03.65
	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): 64496964
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1657
	Minor (reclaiming a frame) page faults: 29823830
	Voluntary context switches: 2268
	Involuntary context switches: 6303
	Swaps: 0
	File system inputs: 74440
	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 16:08:30 2023]