#BEGIN: [Wed Sep  6 00:51:44 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance013_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance013_graph001_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_graph001.col /benchmark/random_instance/random_instance013_graph001_01.dat
15:51:45 [INFO] Time reorder   : 0 (sec)
16:03:35 [INFO] Time reconf    : 709 (sec)
s 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168
t 7 9 12 13 17 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166 169

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance013_graph001.col /benchmark/random_instance/random_instance013_graph001_01.dat"
	User time (seconds): 679.25
	System time (seconds): 26.24
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:50.87
	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): 64452380
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 76303
	Minor (reclaiming a frame) page faults: 31975780
	Voluntary context switches: 76461
	Involuntary context switches: 6470
	Swaps: 0
	File system inputs: 1031808
	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:03:36 2023]