#BEGIN: [Mon Sep 18 15:28:04 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/5-FullIns_3.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/5-FullIns_3_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/2022benchmark/benchmark/color04/5-FullIns_3.col /benchmark/2022benchmark/benchmark/color04/5-FullIns_3_02.dat
06:28:06 [INFO] Time reorder   : 0 (sec)
06:42:53 [INFO] Time reconf    : 887 (sec)
s 2 5 6 9 10 13 14 20 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 62 63 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 153
t 2 4 8 10 13 14 17 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 151

	Command being timed: "bash /solver-dir/run.sh /benchmark/2022benchmark/benchmark/color04/5-FullIns_3.col /benchmark/2022benchmark/benchmark/color04/5-FullIns_3_02.dat"
	User time (seconds): 863.56
	System time (seconds): 24.74
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 14:48.56
	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): 64495156
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1913
	Minor (reclaiming a frame) page faults: 30165149
	Voluntary context switches: 2495
	Involuntary context switches: 7505
	Swaps: 0
	File system inputs: 74560
	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:42:54 2023]