#BEGIN: [Wed Sep  6 00:59:23 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-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 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance015_graph003.col /benchmark/random_instance/random_instance015_graph003_01.dat
15:59:24 [INFO] Time reorder   : 0 (sec)
16:13:16 [INFO] Time reconf    : 831 (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): 807.93
	System time (seconds): 24.36
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 13:52.52
	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): 64483624
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1788
	Minor (reclaiming a frame) page faults: 29993191
	Voluntary context switches: 2354
	Involuntary context switches: 6842
	Swaps: 0
	File system inputs: 74192
	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:13:16 2023]