#BEGIN: [Tue Sep  5 23:45:15 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance015_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance015_graph003_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_instance015_graph003.col /benchmark/random_instance/random_instance015_graph003_01.dat
14:45:17 [INFO] Time reorder   : 1 (sec)
15:03:52 [INFO] Time reconf    : 1114 (sec)
s 3 5 7 11 22 27 29 32 40 47 48 50 52 55 59 60 64 68 69 71 72 79 83 84 86 87 91 93 94 102 103 106 108 115 123 126 136 139 144 147 149 150 152 153 154 155 157 162 165 166 167 170 171 175 184 185 186 187 188 194 195
t 2 5 6 7 10 14 17 21 23 26 31 32 34 43 56 57 58 60 61 64 68 72 75 85 86 88 92 93 95 97 99 102 106 108 113 114 117 123 124 130 132 136 137 138 140 145 147 154 158 159 167 168 171 174 180 183 185 186 191 193 194

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance015_graph003.col /benchmark/random_instance/random_instance015_graph003_01.dat"
	User time (seconds): 1092.57
	System time (seconds): 23.38
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 18:36.21
	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): 55878048
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 2046
	Minor (reclaiming a frame) page faults: 22383071
	Voluntary context switches: 2806
	Involuntary context switches: 7299
	Swaps: 0
	File system inputs: 75136
	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:03:52 2023]