#BEGIN: [Mon Sep 18 15:15:37 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance019_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance019_graph005_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_graph005.col /benchmark/random_instance/random_instance019_graph005_01.dat
06:15:39 [INFO] Time reorder   : 1 (sec)
06:30:16 [INFO] Time reconf    : 877 (sec)
s 1 6 12 13 16 17 18 25 28 31 36 37 46 49 54 56 57 65 67 68 70 71 72 76 77 82 84 85 87 90 91 94 100 112 118 119 120 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 211 212 218 220 222 223 229 233 234 238 240 241 245
t 3 4 11 12 13 16 25 29 31 32 33 34 36 41 43 44 53 58 64 65 67 68 70 71 76 77 80 86 89 95 96 107 109 111 112 113 117 118 119 120 124 125 127 128 134 136 137 138 139 140 145 148 149 151 164 169 177 179 180 181 185 186 187 191 192 194 195 196 197 201 202 212 213 216 218 226 233 235 243

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance019_graph005.col /benchmark/random_instance/random_instance019_graph005_01.dat"
	User time (seconds): 854.12
	System time (seconds): 24.58
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 14:39.01
	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): 64484892
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1884
	Minor (reclaiming a frame) page faults: 29911507
	Voluntary context switches: 2533
	Involuntary context switches: 7314
	Swaps: 0
	File system inputs: 74856
	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:30:17 2023]