#BEGIN: [Mon Sep 18 15:15:29 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance015_graph002.col /benchmark/random_instance/random_instance015_graph002_01.dat
06:15:30 [INFO] Time reorder   : 0 (sec)
06:26:34 [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): 639.87
	System time (seconds): 24.43
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:04.54
	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): 64484268
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1823
	Minor (reclaiming a frame) page faults: 29977909
	Voluntary context switches: 2425
	Involuntary context switches: 6184
	Swaps: 0
	File system inputs: 75136
	File system outputs: 64
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep 18 15:26:34 2023]