#BEGIN: [Tue Sep  5 23:52:51 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance019_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance019_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance019_graph001.col /benchmark/random_instance/random_instance019_graph001_01.dat
14:52:52 [INFO] Time reorder   : 1 (sec)
15:02:45 [INFO] Time reconf    : 592 (sec)
s 5 10 12 16 18 19 25 27 30 32 38 44 45 46 56 61 62 63 68 71 76 78 81 82 86 88 89 91 100 111 112 117 119 125 128 130 132 133 136 138 139 145 146 149 151 155 156 157 163 168 169 171 172 177 179 180 184 185 186 190 194 196 198 199 201 202 203 205 206 211 217 219 220 226 227 228 236 238 239
t 3 4 5 8 10 13 16 18 19 20 23 27 29 30 34 35 38 42 43 45 48 49 50 55 60 63 74 78 83 84 88 90 91 94 99 103 104 105 109 112 126 129 130 141 144 145 146 147 155 161 163 164 166 168 170 172 175 178 179 180 181 184 189 190 191 193 194 202 207 208 209 212 219 220 235 236 239 240 246

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance019_graph001.col /benchmark/random_instance/random_instance019_graph001_01.dat"
	User time (seconds): 569.84
	System time (seconds): 24.31
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:54.31
	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): 64482792
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1581
	Minor (reclaiming a frame) page faults: 29929502
	Voluntary context switches: 1707
	Involuntary context switches: 6125
	Swaps: 0
	File system inputs: 36016
	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 00:02:45 2023]