#BEGIN: [Tue Sep 26 12:44:35 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance015_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance015_graph005_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_instance015_graph005.col /benchmark/random_instance/random_instance015_graph005_01.dat
03:44:36 [INFO] Time reorder   : 0 (sec)
03:59:04 [INFO] Time reconf    : 867 (sec)
s 6 9 10 11 13 16 19 20 21 25 26 30 37 38 39 42 47 50 51 54 58 59 60 62 64 66 74 75 76 81 84 85 88 92 95 98 104 105 109 115 118 122 123 127 133 137 138 139 140 146 147 153 169 173 175 176 179 181 182 185 187 189 192 194
t 3 4 5 11 17 25 26 31 32 34 39 40 46 51 52 54 55 58 59 61 62 66 67 73 74 75 76 78 79 85 97 102 103 104 106 107 108 111 115 116 118 125 127 135 138 143 144 146 147 148 152 153 154 155 161 169 172 174 177 178 180 183 184 194

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance015_graph005.col /benchmark/random_instance/random_instance015_graph005_01.dat"
	User time (seconds): 844.52
	System time (seconds): 23.89
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 14:28.74
	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): 64397900
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1774
	Minor (reclaiming a frame) page faults: 29872687
	Voluntary context switches: 2440
	Involuntary context switches: 10113
	Swaps: 0
	File system inputs: 78816
	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 26 12:59:04 2023]