#BEGIN: [Wed Sep  6 01:10:45 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance020_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance020_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_instance020_graph003.col /benchmark/random_instance/random_instance020_graph003_01.dat
16:10:48 [INFO] Time reorder   : 2 (sec)
16:23:50 [INFO] Time reconf    : 781 (sec)
s 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 247 251 253 254 258 259
t 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 44 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 133 134 139 143 145 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance020_graph003.col /benchmark/random_instance/random_instance020_graph003_01.dat"
	User time (seconds): 759.13
	System time (seconds): 24.88
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 13:04.28
	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): 64479704
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1761
	Minor (reclaiming a frame) page faults: 29767391
	Voluntary context switches: 1916
	Involuntary context switches: 7645
	Swaps: 0
	File system inputs: 36752
	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:23:50 2023]