#BEGIN: [Wed Sep  6 00:53:42 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-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 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance013_graph003.col /benchmark/random_instance/random_instance013_graph003_01.dat
15:53:44 [INFO] Time reorder   : 0 (sec)
16:04:09 [INFO] Time reconf    : 625 (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): 601.65
	System time (seconds): 24.30
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:26.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): 64435492
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1962
	Minor (reclaiming a frame) page faults: 30018928
	Voluntary context switches: 2562
	Involuntary context switches: 6103
	Swaps: 0
	File system inputs: 74488
	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:04:09 2023]