#BEGIN: [Tue Sep  5 23:38:55 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance013_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance013_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_instance013_graph003.col /benchmark/random_instance/random_instance013_graph003_01.dat
14:38:56 [INFO] Time reorder   : 0 (sec)
14:50:11 [INFO] Time reconf    : 675 (sec)
s 3 5 7 12 15 20 21 30 31 32 35 37 38 39 47 60 63 67 68 70 71 78 80 84 87 90 93 95 96 109 113 121 123 124 127 135 136 137 138 142 147 150 151 156 158 166 167 168 169
t 7 8 10 18 20 27 28 30 36 37 40 41 52 60 63 64 72 75 79 80 87 88 92 93 100 106 110 115 116 121 123 129 132 135 136 137 139 143 144 145 147 148 149 150 154 158 165 168 169

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance013_graph003.col /benchmark/random_instance/random_instance013_graph003_01.dat"
	User time (seconds): 651.58
	System time (seconds): 24.23
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:15.98
	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): 62590088
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1753
	Minor (reclaiming a frame) page faults: 29487661
	Voluntary context switches: 1867
	Involuntary context switches: 5391
	Swaps: 0
	File system inputs: 31656
	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:50:12 2023]