#BEGIN: [Tue Sep  5 23:46:32 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance016_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance016_graph004_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_instance016_graph004.col /benchmark/random_instance/random_instance016_graph004_01.dat
14:46:33 [INFO] Time reorder   : 1 (sec)
14:57:56 [INFO] Time reconf    : 682 (sec)
s 6 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208
t 4 6 8 15 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance016_graph004.col /benchmark/random_instance/random_instance016_graph004_01.dat"
	User time (seconds): 658.43
	System time (seconds): 24.86
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:23.59
	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): 64450436
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1801
	Minor (reclaiming a frame) page faults: 30050622
	Voluntary context switches: 2411
	Involuntary context switches: 6525
	Swaps: 0
	File system inputs: 74984
	File system outputs: 64
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep  5 23:57:56 2023]