#BEGIN: [Wed Sep  6 00:59:20 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance015_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance015_graph002_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_graph002.col /benchmark/random_instance/random_instance015_graph002_01.dat
15:59:21 [INFO] Time reorder   : 0 (sec)
16:10:25 [INFO] Time reconf    : 663 (sec)
s 2 5 8 9 11 15 16 18 21 29 30 35 43 45 46 57 60 64 66 68 70 75 76 80 84 85 87 92 93 97 101 106 109 110 111 112 113 114 116 119 120 130 131 132 133 137 140 143 144 147 151 155 161 162 176 180 184 185 191 193 194
t 2 3 5 9 13 15 16 19 21 26 29 32 42 43 45 53 61 64 66 67 69 70 81 82 85 87 92 93 100 101 106 110 111 114 115 117 123 126 127 129 130 131 135 137 143 144 149 152 154 157 162 167 168 170 172 173 174 179 185 186 187

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance015_graph002.col /benchmark/random_instance/random_instance015_graph002_01.dat"
	User time (seconds): 640.13
	System time (seconds): 24.68
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:05.07
	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): 64498096
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1739
	Minor (reclaiming a frame) page faults: 30006105
	Voluntary context switches: 1903
	Involuntary context switches: 6448
	Swaps: 0
	File system inputs: 35936
	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:10:26 2023]