Trace number 4532684
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=8.opb |
| MD5SUM | 6f78fc52c3f94736c8d8a5f9c953ef5f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 12.0622 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 364 |
| Total number of constraints | 12831 |
| Number of constraints which are clauses | 12818 |
| Number of constraints which are cardinality constraints (but not clauses) | 13 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 14 |
| Number of terms in the objective function | 13 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 13 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 15 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4532684-1752596993.opb'
0.00/0.01 c read 0.40MB (5.61ms)
0.00/0.01 c [cnf: #variables 364 #clauses 12832 #duplicates 0 #arr 38844]
0.00/0.01 c output proof to 'PROOFDIR/proof-4532684-1752596993'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 8] (2.41ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c candidate Johnson 13, ar 2
0.00/0.07 c found row 13x28, generating row predicate
0.00/0.07 c found row 8x26, generating row predicate
0.00/0.07 c found Johnson 13, ar 2, block_sz 42
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (57.31ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 14275 #edges 79846]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 1.00*10^0 #generators 0] (1.90ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 3292 #add_vars 1087]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4532684-1752596993.opb.pre'
0.00/0.08 c wrote 0.51MB (1.29ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 57.31ms 77.45% detect_special
0.00/0.08 c 5.61ms 7.59% parse
0.00/0.08 c 5.46ms 7.37% other
0.00/0.08 c 2.41ms 3.25% approx_orbits
0.00/0.08 c 1.90ms 2.57% detect_generic
0.00/0.08 c 1.29ms 1.75% output
0.00/0.08 c 0.01ms 0.02% finalize_order
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 74.00ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.00/0.10 c RoundingSat 2
0.00/0.10 c branch pb25
0.00/0.10 c commit 0f876b3
0.06/0.19 c #variables 1451 #constraints 16123
0.06/0.19 c objective is ce32
0.06/0.19 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.19 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.19 c bounds - >= 0 @ 0.075477
0.26/0.36 c bounds 12 >= 0 @ 0.246614
0.26/0.37 c bounds 12 >= 1 @ 0.254161
0.26/0.38 c bounds 11 >= 1 @ 0.255545
0.26/0.38 c bounds 10 >= 1 @ 0.256076
0.26/0.38 c bounds 9 >= 1 @ 0.256682
0.26/0.38 c bounds 8 >= 1 @ 0.257798
0.26/0.38 c bounds 7 >= 1 @ 0.258543
0.26/0.38 c bounds 6 >= 1 @ 0.259605
0.26/0.38 c bounds 5 >= 1 @ 0.260838
0.47/0.60 c #Conflicts: 1000 | #Constraints: 17133
0.47/0.60 c #Conflicts: 2000 | #Constraints: 18133
0.47/0.60 c INPROCESSING
0.47/0.60 c GARBAGE COLLECT
0.47/0.60 c rational objective 1
0.96/1.01 c #Conflicts: 3000 | #Constraints: 11976
0.96/1.01 c #Conflicts: 4000 | #Constraints: 12976
0.96/1.01 c INPROCESSING
0.96/1.01 c GARBAGE COLLECT
0.96/1.01 c rational objective 1
1.35/1.42 c #Conflicts: 5000 | #Constraints: 12435
1.35/1.42 c #Conflicts: 6000 | #Constraints: 13435
1.35/1.42 c INPROCESSING
1.35/1.42 c GARBAGE COLLECT
1.35/1.42 c rational objective 1
1.75/1.84 c #Conflicts: 7000 | #Constraints: 12086
1.75/1.84 c #Conflicts: 8000 | #Constraints: 13086
1.75/1.84 c bounds 5 >= 2 @ 1.671
1.84/1.91 c #Conflicts: 9000 | #Constraints: 14089
1.84/1.91 c INPROCESSING
1.84/1.91 c GARBAGE COLLECT
1.84/1.91 c rational objective 2
2.34/2.48 c #Conflicts: 10000 | #Constraints: 12791
2.34/2.48 c #Conflicts: 11000 | #Constraints: 13791
2.34/2.48 c #Conflicts: 12000 | #Constraints: 14791
2.34/2.48 c INPROCESSING
2.34/2.48 c GARBAGE COLLECT
2.34/2.48 c rational objective 2
2.95/3.10 c #Conflicts: 13000 | #Constraints: 13005
2.95/3.10 c #Conflicts: 14000 | #Constraints: 14005
2.95/3.10 c #Conflicts: 15000 | #Constraints: 15005
2.95/3.10 c INPROCESSING
2.95/3.10 c GARBAGE COLLECT
2.95/3.10 c rational objective 2
3.54/3.66 c #Conflicts: 16000 | #Constraints: 13010
3.54/3.66 c #Conflicts: 17000 | #Constraints: 14010
3.54/3.66 c #Conflicts: 18000 | #Constraints: 15010
3.54/3.66 c INPROCESSING
3.54/3.66 c GARBAGE COLLECT
3.54/3.66 c rational objective 2
4.24/4.34 c #Conflicts: 19000 | #Constraints: 13108
4.24/4.34 c #Conflicts: 20000 | #Constraints: 14108
4.24/4.34 c #Conflicts: 21000 | #Constraints: 15108
4.24/4.34 c INPROCESSING
4.24/4.34 c GARBAGE COLLECT
4.24/4.34 c rational objective 2
4.95/5.04 c #Conflicts: 22000 | #Constraints: 12979
4.95/5.04 c #Conflicts: 23000 | #Constraints: 13979
4.95/5.04 c #Conflicts: 24000 | #Constraints: 14979
4.95/5.04 c #Conflicts: 25000 | #Constraints: 15979
4.95/5.04 c INPROCESSING
4.95/5.04 c GARBAGE COLLECT
4.95/5.04 c rational objective 2
5.63/5.76 c #Conflicts: 26000 | #Constraints: 13574
5.63/5.76 c #Conflicts: 27000 | #Constraints: 14574
5.63/5.76 c #Conflicts: 28000 | #Constraints: 15574
5.63/5.76 c #Conflicts: 29000 | #Constraints: 16574
5.63/5.76 c INPROCESSING
5.63/5.76 c GARBAGE COLLECT
5.63/5.76 c rational objective 2
6.44/6.51 c #Conflicts: 30000 | #Constraints: 14008
6.44/6.51 c #Conflicts: 31000 | #Constraints: 15008
6.44/6.51 c #Conflicts: 32000 | #Constraints: 16008
6.44/6.51 c #Conflicts: 33000 | #Constraints: 17008
6.44/6.51 c INPROCESSING
6.44/6.51 c GARBAGE COLLECT
6.44/6.51 c rational objective 2
7.23/7.35 c #Conflicts: 34000 | #Constraints: 14084
7.23/7.35 c #Conflicts: 35000 | #Constraints: 15084
7.23/7.35 c #Conflicts: 36000 | #Constraints: 16084
7.23/7.35 c #Conflicts: 37000 | #Constraints: 17084
7.23/7.35 c INPROCESSING
7.23/7.35 c GARBAGE COLLECT
7.23/7.35 c rational objective 2
8.04/8.19 c #Conflicts: 38000 | #Constraints: 14100
8.04/8.19 c #Conflicts: 39000 | #Constraints: 15100
8.04/8.19 c #Conflicts: 40000 | #Constraints: 16100
8.04/8.19 c #Conflicts: 41000 | #Constraints: 17100
8.04/8.19 c INPROCESSING
8.04/8.19 c GARBAGE COLLECT
8.04/8.19 c rational objective 2
8.93/9.04 c #Conflicts: 42000 | #Constraints: 13895
8.93/9.04 c #Conflicts: 43000 | #Constraints: 14895
8.93/9.04 c #Conflicts: 44000 | #Constraints: 15895
8.93/9.04 c #Conflicts: 45000 | #Constraints: 16895
8.93/9.04 c #Conflicts: 46000 | #Constraints: 17895
8.93/9.04 c INPROCESSING
8.93/9.04 c GARBAGE COLLECT
8.93/9.04 c rational objective 2
9.93/10.04 c #Conflicts: 47000 | #Constraints: 14499
9.93/10.04 c #Conflicts: 48000 | #Constraints: 15499
9.93/10.04 c #Conflicts: 49000 | #Constraints: 16499
9.93/10.04 c #Conflicts: 50000 | #Constraints: 17499
9.93/10.04 c #Conflicts: 51000 | #Constraints: 18499
9.93/10.04 c INPROCESSING
9.93/10.04 c GARBAGE COLLECT
9.93/10.04 c rational objective 2
10.93/11.07 c #Conflicts: 52000 | #Constraints: 14878
10.93/11.07 c #Conflicts: 53000 | #Constraints: 15878
10.93/11.07 c #Conflicts: 54000 | #Constraints: 16878
10.93/11.07 c #Conflicts: 55000 | #Constraints: 17878
10.93/11.07 c #Conflicts: 56000 | #Constraints: 18878
10.93/11.07 c INPROCESSING
10.93/11.07 c GARBAGE COLLECT
10.93/11.07 c rational objective 2
12.03/12.11 c #Conflicts: 57000 | #Constraints: 15097
12.03/12.11 c #Conflicts: 58000 | #Constraints: 16097
12.03/12.11 c #Conflicts: 59000 | #Constraints: 17097
12.03/12.11 c #Conflicts: 60000 | #Constraints: 18097
12.03/12.11 c #Conflicts: 61000 | #Constraints: 19097
12.03/12.11 c INPROCESSING
12.03/12.11 c GARBAGE COLLECT
12.03/12.11 c rational objective 2
13.22/13.31 c #Conflicts: 62000 | #Constraints: 15099
13.22/13.31 c #Conflicts: 63000 | #Constraints: 16099
13.22/13.31 c #Conflicts: 64000 | #Constraints: 17099
13.22/13.31 c #Conflicts: 65000 | #Constraints: 18099
13.22/13.31 c #Conflicts: 66000 | #Constraints: 19099
13.22/13.31 c INPROCESSING
13.22/13.31 c GARBAGE COLLECT
13.22/13.31 c rational objective 2
14.51/14.60 c #Conflicts: 67000 | #Constraints: 14906
14.51/14.60 c #Conflicts: 68000 | #Constraints: 15906
14.51/14.60 c #Conflicts: 69000 | #Constraints: 16906
14.51/14.60 c #Conflicts: 70000 | #Constraints: 17906
14.51/14.60 c #Conflicts: 71000 | #Constraints: 18906
14.51/14.60 c #Conflicts: 72000 | #Constraints: 19906
14.51/14.60 c INPROCESSING
14.51/14.60 c GARBAGE COLLECT
14.51/14.60 c rational objective 2
15.71/15.87 c #Conflicts: 73000 | #Constraints: 15507
15.71/15.87 c #Conflicts: 74000 | #Constraints: 16507
15.71/15.87 c #Conflicts: 75000 | #Constraints: 17507
15.71/15.87 c #Conflicts: 76000 | #Constraints: 18507
15.71/15.87 c #Conflicts: 77000 | #Constraints: 19507
15.71/15.87 c #Conflicts: 78000 | #Constraints: 20507
15.71/15.87 c INPROCESSING
15.71/15.87 c GARBAGE COLLECT
15.71/15.87 c rational objective 2
16.92/17.07 c #Conflicts: 79000 | #Constraints: 15909
16.92/17.07 c #Conflicts: 80000 | #Constraints: 16909
16.92/17.07 c #Conflicts: 81000 | #Constraints: 17909
16.92/17.07 c #Conflicts: 82000 | #Constraints: 18909
16.92/17.07 c #Conflicts: 83000 | #Constraints: 19909
16.92/17.07 c #Conflicts: 84000 | #Constraints: 20909
16.92/17.07 c INPROCESSING
16.92/17.07 c GARBAGE COLLECT
16.92/17.07 c rational objective 2
18.50/18.64 c #Conflicts: 85000 | #Constraints: 16108
18.50/18.64 c #Conflicts: 86000 | #Constraints: 17108
18.50/18.64 c #Conflicts: 87000 | #Constraints: 18108
18.50/18.64 c #Conflicts: 88000 | #Constraints: 19108
18.50/18.64 c #Conflicts: 89000 | #Constraints: 20108
18.50/18.64 c #Conflicts: 90000 | #Constraints: 21108
18.50/18.64 c INPROCESSING
18.50/18.64 c GARBAGE COLLECT
18.50/18.64 c rational objective 2
19.90/20.07 c #Conflicts: 91000 | #Constraints: 16111
19.90/20.07 c #Conflicts: 92000 | #Constraints: 17111
19.90/20.07 c #Conflicts: 93000 | #Constraints: 18111
19.90/20.07 c #Conflicts: 94000 | #Constraints: 19111
19.90/20.07 c #Conflicts: 95000 | #Constraints: 20111
19.90/20.07 c #Conflicts: 96000 | #Constraints: 21111
19.90/20.07 c INPROCESSING
19.90/20.07 c GARBAGE COLLECT
19.90/20.07 c rational objective 2
22.09/22.22 c #Conflicts: 97000 | #Constraints: 15899
22.09/22.22 c #Conflicts: 98000 | #Constraints: 16899
22.09/22.22 c #Conflicts: 99000 | #Constraints: 17899
22.09/22.22 c #Conflicts: 100000 | #Constraints: 18899
22.09/22.22 c #Conflicts: 101000 | #Constraints: 19899
22.09/22.22 c #Conflicts: 102000 | #Constraints: 20899
22.09/22.22 c #Conflicts: 103000 | #Constraints: 21899
22.09/22.22 c INPROCESSING
22.09/22.22 c GARBAGE COLLECT
22.09/22.22 c rational objective 2
23.58/23.74 c #Conflicts: 104000 | #Constraints: 16511
23.58/23.74 c #Conflicts: 105000 | #Constraints: 17511
23.58/23.74 c #Conflicts: 106000 | #Constraints: 18511
23.58/23.74 c #Conflicts: 107000 | #Constraints: 19511
23.58/23.74 c #Conflicts: 108000 | #Constraints: 20511
23.58/23.74 c #Conflicts: 109000 | #Constraints: 21511
23.58/23.74 c #Conflicts: 110000 | #Constraints: 22511
23.58/23.74 c INPROCESSING
23.58/23.74 c GARBAGE COLLECT
23.58/23.74 c rational objective 2
25.28/25.47 c #Conflicts: 111000 | #Constraints: 16896
25.28/25.47 c #Conflicts: 112000 | #Constraints: 17896
25.28/25.47 c #Conflicts: 113000 | #Constraints: 18896
25.28/25.47 c #Conflicts: 114000 | #Constraints: 19896
25.28/25.47 c #Conflicts: 115000 | #Constraints: 20896
25.28/25.47 c #Conflicts: 116000 | #Constraints: 21896
25.28/25.47 c #Conflicts: 117000 | #Constraints: 22896
25.28/25.47 c INPROCESSING
25.28/25.47 c GARBAGE COLLECT
25.28/25.47 c rational objective 2
26.88/27.02 c #Conflicts: 118000 | #Constraints: 17115
26.88/27.02 c #Conflicts: 119000 | #Constraints: 18115
26.88/27.02 c #Conflicts: 120000 | #Constraints: 19115
26.88/27.02 c #Conflicts: 121000 | #Constraints: 20115
26.88/27.02 c #Conflicts: 122000 | #Constraints: 21115
26.88/27.02 c #Conflicts: 123000 | #Constraints: 22115
26.88/27.02 c #Conflicts: 124000 | #Constraints: 23115
26.88/27.02 c INPROCESSING
26.88/27.02 c GARBAGE COLLECT
26.88/27.02 c rational objective 2
28.57/28.77 c #Conflicts: 125000 | #Constraints: 17106
28.57/28.77 c #Conflicts: 126000 | #Constraints: 18106
28.57/28.77 c #Conflicts: 127000 | #Constraints: 19106
28.57/28.77 c #Conflicts: 128000 | #Constraints: 20106
28.57/28.77 c #Conflicts: 129000 | #Constraints: 21106
28.57/28.77 c #Conflicts: 130000 | #Constraints: 22106
28.57/28.77 c #Conflicts: 131000 | #Constraints: 23106
28.57/28.77 c INPROCESSING
28.57/28.77 c GARBAGE COLLECT
28.57/28.77 c rational objective 2
30.27/30.41 c #Conflicts: 132000 | #Constraints: 16926
30.27/30.41 c #Conflicts: 133000 | #Constraints: 17926
30.27/30.41 c #Conflicts: 134000 | #Constraints: 18926
30.27/30.41 c #Conflicts: 135000 | #Constraints: 19926
30.27/30.41 c #Conflicts: 136000 | #Constraints: 20926
30.27/30.41 c #Conflicts: 137000 | #Constraints: 21926
30.27/30.41 c #Conflicts: 138000 | #Constraints: 22926
30.27/30.41 c #Conflicts: 139000 | #Constraints: 23926
30.27/30.41 c INPROCESSING
30.27/30.41 c GARBAGE COLLECT
30.27/30.41 c rational objective 2
32.28/32.55 c #Conflicts: 140000 | #Constraints: 17513
32.28/32.55 c #Conflicts: 141000 | #Constraints: 18513
32.28/32.55 c #Conflicts: 142000 | #Constraints: 19513
32.28/32.55 c #Conflicts: 143000 | #Constraints: 20513
32.28/32.55 c #Conflicts: 144000 | #Constraints: 21513
32.28/32.55 c #Conflicts: 145000 | #Constraints: 22513
32.28/32.55 c #Conflicts: 146000 | #Constraints: 23513
32.28/32.55 c #Conflicts: 147000 | #Constraints: 24513
32.28/32.55 c INPROCESSING
32.28/32.55 c GARBAGE COLLECT
32.28/32.55 c rational objective 2
33.98/34.26 c #Conflicts: 148000 | #Constraints: 17915
33.98/34.26 c #Conflicts: 149000 | #Constraints: 18915
33.98/34.26 c #Conflicts: 150000 | #Constraints: 19915
33.98/34.26 c #Conflicts: 151000 | #Constraints: 20915
33.98/34.26 c #Conflicts: 152000 | #Constraints: 21915
33.98/34.26 c #Conflicts: 153000 | #Constraints: 22915
33.98/34.26 c #Conflicts: 154000 | #Constraints: 23915
33.98/34.26 c #Conflicts: 155000 | #Constraints: 24915
33.98/34.26 c INPROCESSING
33.98/34.26 c GARBAGE COLLECT
33.98/34.26 c rational objective 2
36.37/36.67 c #Conflicts: 156000 | #Constraints: 18110
36.37/36.67 c #Conflicts: 157000 | #Constraints: 19110
36.37/36.67 c #Conflicts: 158000 | #Constraints: 20110
36.37/36.67 c #Conflicts: 159000 | #Constraints: 21110
36.37/36.67 c #Conflicts: 160000 | #Constraints: 22110
36.37/36.67 c #Conflicts: 161000 | #Constraints: 23110
36.37/36.67 c #Conflicts: 162000 | #Constraints: 24110
36.37/36.67 c #Conflicts: 163000 | #Constraints: 25110
36.37/36.67 c INPROCESSING
36.37/36.67 c GARBAGE COLLECT
36.37/36.67 c rational objective 2
38.27/38.55 c #Conflicts: 164000 | #Constraints: 18120
38.27/38.55 c #Conflicts: 165000 | #Constraints: 19120
38.27/38.55 c #Conflicts: 166000 | #Constraints: 20120
38.27/38.55 c #Conflicts: 167000 | #Constraints: 21120
38.27/38.55 c #Conflicts: 168000 | #Constraints: 22120
38.27/38.55 c #Conflicts: 169000 | #Constraints: 23120
38.27/38.55 c #Conflicts: 170000 | #Constraints: 24120
38.27/38.55 c #Conflicts: 171000 | #Constraints: 25120
38.27/38.55 c INPROCESSING
38.27/38.55 c GARBAGE COLLECT
38.27/38.55 c rational objective 2
40.36/40.60 c #Conflicts: 172000 | #Constraints: 17894
40.36/40.60 c #Conflicts: 173000 | #Constraints: 18894
40.36/40.60 c #Conflicts: 174000 | #Constraints: 19894
40.36/40.60 c #Conflicts: 175000 | #Constraints: 20894
40.36/40.60 c #Conflicts: 176000 | #Constraints: 21894
40.36/40.60 c #Conflicts: 177000 | #Constraints: 22894
40.36/40.60 c #Conflicts: 178000 | #Constraints: 23894
40.36/40.60 c #Conflicts: 179000 | #Constraints: 24894
40.36/40.60 c #Conflicts: 180000 | #Constraints: 25894
40.36/40.60 c INPROCESSING
40.36/40.60 c GARBAGE COLLECT
40.36/40.60 c rational objective 2
42.76/43.04 c #Conflicts: 181000 | #Constraints: 18500
42.76/43.04 c #Conflicts: 182000 | #Constraints: 19500
42.76/43.04 c #Conflicts: 183000 | #Constraints: 20500
42.76/43.04 c #Conflicts: 184000 | #Constraints: 21500
42.76/43.04 c #Conflicts: 185000 | #Constraints: 22500
42.76/43.04 c #Conflicts: 186000 | #Constraints: 23500
42.76/43.04 c #Conflicts: 187000 | #Constraints: 24500
42.76/43.04 c #Conflicts: 188000 | #Constraints: 25500
42.76/43.04 c #Conflicts: 189000 | #Constraints: 26500
42.76/43.04 c INPROCESSING
42.76/43.04 c GARBAGE COLLECT
42.76/43.04 c rational objective 2
44.95/45.29 c #Conflicts: 190000 | #Constraints: 18910
44.95/45.29 c #Conflicts: 191000 | #Constraints: 19910
44.95/45.29 c #Conflicts: 192000 | #Constraints: 20910
44.95/45.29 c #Conflicts: 193000 | #Constraints: 21910
44.95/45.29 c #Conflicts: 194000 | #Constraints: 22910
44.95/45.29 c #Conflicts: 195000 | #Constraints: 23910
44.95/45.29 c #Conflicts: 196000 | #Constraints: 24910
44.95/45.29 c #Conflicts: 197000 | #Constraints: 25910
44.95/45.29 c #Conflicts: 198000 | #Constraints: 26910
44.95/45.29 c INPROCESSING
44.95/45.29 c GARBAGE COLLECT
44.95/45.29 c rational objective 2
48.14/48.40 c #Conflicts: 199000 | #Constraints: 19114
48.14/48.40 c #Conflicts: 200000 | #Constraints: 20114
48.14/48.40 c #Conflicts: 201000 | #Constraints: 21114
48.14/48.40 c #Conflicts: 202000 | #Constraints: 22114
48.14/48.40 c #Conflicts: 203000 | #Constraints: 23114
48.14/48.40 c #Conflicts: 204000 | #Constraints: 24114
48.14/48.40 c #Conflicts: 205000 | #Constraints: 25114
48.14/48.40 c #Conflicts: 206000 | #Constraints: 26114
48.14/48.40 c #Conflicts: 207000 | #Constraints: 27114
48.14/48.40 c INPROCESSING
48.14/48.40 c GARBAGE COLLECT
48.14/48.40 c rational objective 2
50.23/50.54 c #Conflicts: 208000 | #Constraints: 19131
50.23/50.54 c #Conflicts: 209000 | #Constraints: 20131
50.23/50.54 c #Conflicts: 210000 | #Constraints: 21131
50.23/50.54 c #Conflicts: 211000 | #Constraints: 22131
50.23/50.54 c #Conflicts: 212000 | #Constraints: 23131
50.23/50.54 c #Conflicts: 213000 | #Constraints: 24131
50.23/50.54 c #Conflicts: 214000 | #Constraints: 25131
50.23/50.54 c #Conflicts: 215000 | #Constraints: 26131
50.23/50.54 c #Conflicts: 216000 | #Constraints: 27131
50.23/50.54 c INPROCESSING
50.23/50.54 c GARBAGE COLLECT
50.23/50.54 c rational objective 2
52.32/52.67 c #Conflicts: 217000 | #Constraints: 18925
52.32/52.67 c #Conflicts: 218000 | #Constraints: 19925
52.32/52.67 c #Conflicts: 219000 | #Constraints: 20925
52.32/52.67 c #Conflicts: 220000 | #Constraints: 21925
52.32/52.67 c #Conflicts: 221000 | #Constraints: 22925
52.32/52.67 c #Conflicts: 222000 | #Constraints: 23925
52.32/52.67 c #Conflicts: 223000 | #Constraints: 24925
52.32/52.67 c #Conflicts: 224000 | #Constraints: 25925
52.32/52.67 c #Conflicts: 225000 | #Constraints: 26925
52.32/52.67 c #Conflicts: 226000 | #Constraints: 27925
52.32/52.67 c INPROCESSING
52.32/52.67 c GARBAGE COLLECT
52.32/52.67 c rational objective 2
52.52/52.84 c bounds 5 >= 3 @ 51.1541
54.92/55.28 c #Conflicts: 227000 | #Constraints: 19529
54.92/55.28 c #Conflicts: 228000 | #Constraints: 20529
54.92/55.28 c #Conflicts: 229000 | #Constraints: 21529
54.92/55.28 c #Conflicts: 230000 | #Constraints: 22529
54.92/55.28 c #Conflicts: 231000 | #Constraints: 23529
54.92/55.28 c #Conflicts: 232000 | #Constraints: 24529
54.92/55.28 c #Conflicts: 233000 | #Constraints: 25529
54.92/55.28 c #Conflicts: 234000 | #Constraints: 26529
54.92/55.28 c #Conflicts: 235000 | #Constraints: 27529
54.92/55.28 c #Conflicts: 236000 | #Constraints: 28529
54.92/55.28 c INPROCESSING
54.92/55.28 c GARBAGE COLLECT
54.92/55.28 c rational objective 3
57.52/57.81 c #Conflicts: 237000 | #Constraints: 19930
57.52/57.81 c #Conflicts: 238000 | #Constraints: 20930
57.52/57.81 c #Conflicts: 239000 | #Constraints: 21930
57.52/57.81 c #Conflicts: 240000 | #Constraints: 22930
57.52/57.81 c #Conflicts: 241000 | #Constraints: 23930
57.52/57.81 c #Conflicts: 242000 | #Constraints: 24930
57.52/57.81 c #Conflicts: 243000 | #Constraints: 25930
57.52/57.81 c #Conflicts: 244000 | #Constraints: 26930
57.52/57.81 c #Conflicts: 245000 | #Constraints: 27930
57.52/57.81 c #Conflicts: 246000 | #Constraints: 28930
57.52/57.81 c INPROCESSING
57.52/57.81 c GARBAGE COLLECT
57.52/57.81 c rational objective 3
59.91/60.28 c #Conflicts: 247000 | #Constraints: 20134
59.91/60.28 c #Conflicts: 248000 | #Constraints: 21134
59.91/60.28 c #Conflicts: 249000 | #Constraints: 22134
59.91/60.28 c #Conflicts: 250000 | #Constraints: 23134
59.91/60.28 c #Conflicts: 251000 | #Constraints: 24134
59.91/60.28 c #Conflicts: 252000 | #Constraints: 25134
59.91/60.28 c #Conflicts: 253000 | #Constraints: 26134
59.91/60.28 c #Conflicts: 254000 | #Constraints: 27134
59.91/60.28 c #Conflicts: 255000 | #Constraints: 28134
59.91/60.28 c #Conflicts: 256000 | #Constraints: 29134
59.91/60.28 c INPROCESSING
59.91/60.28 c GARBAGE COLLECT
59.91/60.28 c rational objective 3
62.57/62.97 c #Conflicts: 257000 | #Constraints: 18873
62.57/62.97 c #Conflicts: 258000 | #Constraints: 19873
62.57/62.97 c #Conflicts: 259000 | #Constraints: 20873
62.57/62.97 c #Conflicts: 260000 | #Constraints: 21873
62.57/62.97 c #Conflicts: 261000 | #Constraints: 22873
62.57/62.97 c #Conflicts: 262000 | #Constraints: 23873
62.57/62.97 c #Conflicts: 263000 | #Constraints: 24873
62.57/62.97 c #Conflicts: 264000 | #Constraints: 25873
62.57/62.97 c #Conflicts: 265000 | #Constraints: 26873
62.57/62.97 c #Conflicts: 266000 | #Constraints: 27873
62.57/62.97 c INPROCESSING
62.57/62.97 c GARBAGE COLLECT
62.57/62.97 c rational objective 3
65.56/65.97 c #Conflicts: 267000 | #Constraints: 19174
65.56/65.97 c #Conflicts: 268000 | #Constraints: 20174
65.56/65.97 c #Conflicts: 269000 | #Constraints: 21174
65.56/65.97 c #Conflicts: 270000 | #Constraints: 22174
65.56/65.97 c #Conflicts: 271000 | #Constraints: 23174
65.56/65.97 c #Conflicts: 272000 | #Constraints: 24174
65.56/65.97 c #Conflicts: 273000 | #Constraints: 25174
65.56/65.97 c #Conflicts: 274000 | #Constraints: 26174
65.56/65.97 c #Conflicts: 275000 | #Constraints: 27174
65.56/65.97 c #Conflicts: 276000 | #Constraints: 28174
65.56/65.97 c #Conflicts: 277000 | #Constraints: 29174
65.56/65.97 c INPROCESSING
65.56/65.97 c GARBAGE COLLECT
65.56/65.97 c rational objective 3
68.45/68.85 c #Conflicts: 278000 | #Constraints: 20038
68.45/68.85 c #Conflicts: 279000 | #Constraints: 21038
68.45/68.85 c #Conflicts: 280000 | #Constraints: 22038
68.45/68.85 c #Conflicts: 281000 | #Constraints: 23038
68.45/68.85 c #Conflicts: 282000 | #Constraints: 24038
68.45/68.85 c #Conflicts: 283000 | #Constraints: 25038
68.45/68.85 c #Conflicts: 284000 | #Constraints: 26038
68.45/68.85 c #Conflicts: 285000 | #Constraints: 27038
68.45/68.85 c #Conflicts: 286000 | #Constraints: 28038
68.45/68.85 c #Conflicts: 287000 | #Constraints: 29038
68.45/68.85 c #Conflicts: 288000 | #Constraints: 30038
68.45/68.85 c INPROCESSING
68.45/68.85 c GARBAGE COLLECT
68.45/68.85 c rational objective 3
71.34/71.79 c #Conflicts: 289000 | #Constraints: 20563
71.34/71.79 c #Conflicts: 290000 | #Constraints: 21563
71.34/71.79 c #Conflicts: 291000 | #Constraints: 22563
71.34/71.79 c #Conflicts: 292000 | #Constraints: 23563
71.34/71.79 c #Conflicts: 293000 | #Constraints: 24563
71.34/71.79 c #Conflicts: 294000 | #Constraints: 25563
71.34/71.79 c #Conflicts: 295000 | #Constraints: 26563
71.34/71.79 c #Conflicts: 296000 | #Constraints: 27563
71.34/71.79 c #Conflicts: 297000 | #Constraints: 28563
71.34/71.79 c #Conflicts: 298000 | #Constraints: 29563
71.34/71.79 c #Conflicts: 299000 | #Constraints: 30563
71.34/71.79 c INPROCESSING
71.34/71.79 c GARBAGE COLLECT
71.34/71.79 c rational objective 3
74.33/74.79 c #Conflicts: 300000 | #Constraints: 20834
74.33/74.79 c #Conflicts: 301000 | #Constraints: 21834
74.33/74.79 c #Conflicts: 302000 | #Constraints: 22834
74.33/74.79 c #Conflicts: 303000 | #Constraints: 23834
74.33/74.79 c #Conflicts: 304000 | #Constraints: 24834
74.33/74.79 c #Conflicts: 305000 | #Constraints: 25834
74.33/74.79 c #Conflicts: 306000 | #Constraints: 26834
74.33/74.79 c #Conflicts: 307000 | #Constraints: 27834
74.33/74.79 c #Conflicts: 308000 | #Constraints: 28834
74.33/74.79 c #Conflicts: 309000 | #Constraints: 29834
74.33/74.79 c #Conflicts: 310000 | #Constraints: 30834
74.33/74.79 c INPROCESSING
74.33/74.79 c GARBAGE COLLECT
74.33/74.79 c rational objective 3
77.73/78.14 c #Conflicts: 311000 | #Constraints: 20859
77.73/78.14 c #Conflicts: 312000 | #Constraints: 21859
77.73/78.14 c #Conflicts: 313000 | #Constraints: 22859
77.73/78.14 c #Conflicts: 314000 | #Constraints: 23859
77.73/78.14 c #Conflicts: 315000 | #Constraints: 24859
77.73/78.14 c #Conflicts: 316000 | #Constraints: 25859
77.73/78.14 c #Conflicts: 317000 | #Constraints: 26859
77.73/78.14 c #Conflicts: 318000 | #Constraints: 27859
77.73/78.14 c #Conflicts: 319000 | #Constraints: 28859
77.73/78.14 c #Conflicts: 320000 | #Constraints: 29859
77.73/78.14 c #Conflicts: 321000 | #Constraints: 30859
77.73/78.14 c INPROCESSING
77.73/78.14 c GARBAGE COLLECT
77.73/78.14 c rational objective 3
80.81/81.23 c #Conflicts: 322000 | #Constraints: 20683
80.81/81.23 c #Conflicts: 323000 | #Constraints: 21683
80.81/81.23 c #Conflicts: 324000 | #Constraints: 22683
80.81/81.23 c #Conflicts: 325000 | #Constraints: 23683
80.81/81.23 c #Conflicts: 326000 | #Constraints: 24683
80.81/81.23 c #Conflicts: 327000 | #Constraints: 25683
80.81/81.23 c #Conflicts: 328000 | #Constraints: 26683
80.81/81.23 c #Conflicts: 329000 | #Constraints: 27683
80.81/81.23 c #Conflicts: 330000 | #Constraints: 28683
80.81/81.23 c #Conflicts: 331000 | #Constraints: 29683
80.81/81.23 c #Conflicts: 332000 | #Constraints: 30683
80.81/81.23 c #Conflicts: 333000 | #Constraints: 31683
80.81/81.23 c INPROCESSING
80.81/81.23 c GARBAGE COLLECT
80.81/81.23 c rational objective 3
83.90/84.38 c #Conflicts: 334000 | #Constraints: 21283
83.90/84.38 c #Conflicts: 335000 | #Constraints: 22283
83.90/84.38 c #Conflicts: 336000 | #Constraints: 23283
83.90/84.38 c #Conflicts: 337000 | #Constraints: 24283
83.90/84.38 c #Conflicts: 338000 | #Constraints: 25283
83.90/84.38 c #Conflicts: 339000 | #Constraints: 26283
83.90/84.38 c #Conflicts: 340000 | #Constraints: 27283
83.90/84.38 c #Conflicts: 341000 | #Constraints: 28283
83.90/84.38 c #Conflicts: 342000 | #Constraints: 29283
83.90/84.38 c #Conflicts: 343000 | #Constraints: 30283
83.90/84.38 c #Conflicts: 344000 | #Constraints: 31283
83.90/84.38 c #Conflicts: 345000 | #Constraints: 32283
83.90/84.38 c INPROCESSING
83.90/84.38 c GARBAGE COLLECT
83.90/84.38 c rational objective 3
87.10/87.58 c #Conflicts: 346000 | #Constraints: 21700
87.10/87.58 c #Conflicts: 347000 | #Constraints: 22700
87.10/87.58 c #Conflicts: 348000 | #Constraints: 23700
87.10/87.58 c #Conflicts: 349000 | #Constraints: 24700
87.10/87.58 c #Conflicts: 350000 | #Constraints: 25700
87.10/87.58 c #Conflicts: 351000 | #Constraints: 26700
87.10/87.58 c #Conflicts: 352000 | #Constraints: 27700
87.10/87.58 c #Conflicts: 353000 | #Constraints: 28700
87.10/87.58 c #Conflicts: 354000 | #Constraints: 29700
87.10/87.58 c #Conflicts: 355000 | #Constraints: 30700
87.10/87.58 c #Conflicts: 356000 | #Constraints: 31700
87.10/87.58 c #Conflicts: 357000 | #Constraints: 32700
87.10/87.58 c INPROCESSING
87.10/87.58 c GARBAGE COLLECT
87.10/87.58 c rational objective 3
90.38/90.86 c #Conflicts: 358000 | #Constraints: 21900
90.38/90.86 c #Conflicts: 359000 | #Constraints: 22900
90.38/90.86 c #Conflicts: 360000 | #Constraints: 23900
90.38/90.86 c #Conflicts: 361000 | #Constraints: 24900
90.38/90.86 c #Conflicts: 362000 | #Constraints: 25900
90.38/90.86 c #Conflicts: 363000 | #Constraints: 26900
90.38/90.86 c #Conflicts: 364000 | #Constraints: 27900
90.38/90.86 c #Conflicts: 365000 | #Constraints: 28900
90.38/90.86 c #Conflicts: 366000 | #Constraints: 29900
90.38/90.86 c #Conflicts: 367000 | #Constraints: 30900
90.38/90.86 c #Conflicts: 368000 | #Constraints: 31900
90.38/90.86 c #Conflicts: 369000 | #Constraints: 32900
90.38/90.86 c INPROCESSING
90.38/90.86 c GARBAGE COLLECT
90.38/90.86 c rational objective 3
94.32/94.87 c #Conflicts: 370000 | #Constraints: 21901
94.32/94.87 c #Conflicts: 371000 | #Constraints: 22901
94.32/94.87 c #Conflicts: 372000 | #Constraints: 23901
94.32/94.87 c #Conflicts: 373000 | #Constraints: 24901
94.32/94.87 c #Conflicts: 374000 | #Constraints: 25901
94.32/94.87 c #Conflicts: 375000 | #Constraints: 26901
94.32/94.87 c #Conflicts: 376000 | #Constraints: 27901
94.32/94.87 c #Conflicts: 377000 | #Constraints: 28901
94.32/94.87 c #Conflicts: 378000 | #Constraints: 29901
94.32/94.87 c #Conflicts: 379000 | #Constraints: 30901
94.32/94.87 c #Conflicts: 380000 | #Constraints: 31901
94.32/94.87 c #Conflicts: 381000 | #Constraints: 32901
94.32/94.87 c INPROCESSING
94.32/94.87 c GARBAGE COLLECT
94.32/94.87 c rational objective 3
97.52/98.09 c #Conflicts: 382000 | #Constraints: 21696
97.52/98.09 c #Conflicts: 383000 | #Constraints: 22696
97.52/98.09 c #Conflicts: 384000 | #Constraints: 23696
97.52/98.09 c #Conflicts: 385000 | #Constraints: 24696
97.52/98.09 c #Conflicts: 386000 | #Constraints: 25696
97.52/98.09 c #Conflicts: 387000 | #Constraints: 26696
97.52/98.09 c #Conflicts: 388000 | #Constraints: 27696
97.52/98.09 c #Conflicts: 389000 | #Constraints: 28696
97.52/98.09 c #Conflicts: 390000 | #Constraints: 29696
97.52/98.09 c #Conflicts: 391000 | #Constraints: 30696
97.52/98.09 c #Conflicts: 392000 | #Constraints: 31696
97.52/98.09 c #Conflicts: 393000 | #Constraints: 32696
97.52/98.09 c #Conflicts: 394000 | #Constraints: 33696
97.52/98.09 c INPROCESSING
97.52/98.09 c GARBAGE COLLECT
97.52/98.09 c rational objective 3
101.40/101.98 c #Conflicts: 395000 | #Constraints: 22290
101.40/101.98 c #Conflicts: 396000 | #Constraints: 23290
101.40/101.98 c #Conflicts: 397000 | #Constraints: 24290
101.40/101.98 c #Conflicts: 398000 | #Constraints: 25290
101.40/101.98 c #Conflicts: 399000 | #Constraints: 26290
101.40/101.98 c #Conflicts: 400000 | #Constraints: 27290
101.40/101.98 c #Conflicts: 401000 | #Constraints: 28290
101.40/101.98 c #Conflicts: 402000 | #Constraints: 29290
101.40/101.98 c #Conflicts: 403000 | #Constraints: 30290
101.40/101.98 c #Conflicts: 404000 | #Constraints: 31290
101.40/101.98 c #Conflicts: 405000 | #Constraints: 32290
101.40/101.98 c #Conflicts: 406000 | #Constraints: 33290
101.40/101.98 c #Conflicts: 407000 | #Constraints: 34290
101.40/101.98 c INPROCESSING
101.40/101.98 c GARBAGE COLLECT
101.40/101.98 c rational objective 3
105.69/106.28 c #Conflicts: 408000 | #Constraints: 22690
105.69/106.28 c #Conflicts: 409000 | #Constraints: 23690
105.69/106.28 c #Conflicts: 410000 | #Constraints: 24690
105.69/106.28 c #Conflicts: 411000 | #Constraints: 25690
105.69/106.28 c #Conflicts: 412000 | #Constraints: 26690
105.69/106.28 c #Conflicts: 413000 | #Constraints: 27690
105.69/106.28 c #Conflicts: 414000 | #Constraints: 28690
105.69/106.28 c #Conflicts: 415000 | #Constraints: 29690
105.69/106.28 c #Conflicts: 416000 | #Constraints: 30690
105.69/106.28 c #Conflicts: 417000 | #Constraints: 31690
105.69/106.28 c #Conflicts: 418000 | #Constraints: 32690
105.69/106.28 c #Conflicts: 419000 | #Constraints: 33690
105.69/106.28 c #Conflicts: 420000 | #Constraints: 34690
105.69/106.28 c INPROCESSING
105.69/106.28 c GARBAGE COLLECT
105.69/106.28 c rational objective 3
109.68/110.24 c #Conflicts: 421000 | #Constraints: 22894
109.68/110.24 c #Conflicts: 422000 | #Constraints: 23894
109.68/110.24 c #Conflicts: 423000 | #Constraints: 24894
109.68/110.24 c #Conflicts: 424000 | #Constraints: 25894
109.68/110.24 c #Conflicts: 425000 | #Constraints: 26894
109.68/110.24 c #Conflicts: 426000 | #Constraints: 27894
109.68/110.24 c #Conflicts: 427000 | #Constraints: 28894
109.68/110.24 c #Conflicts: 428000 | #Constraints: 29894
109.68/110.24 c #Conflicts: 429000 | #Constraints: 30894
109.68/110.24 c #Conflicts: 430000 | #Constraints: 31894
109.68/110.24 c #Conflicts: 431000 | #Constraints: 32894
109.68/110.24 c #Conflicts: 432000 | #Constraints: 33894
109.68/110.24 c #Conflicts: 433000 | #Constraints: 34894
109.68/110.24 c INPROCESSING
109.68/110.24 c GARBAGE COLLECT
109.68/110.24 c rational objective 3
113.37/113.91 c #Conflicts: 434000 | #Constraints: 22909
113.37/113.91 c #Conflicts: 435000 | #Constraints: 23909
113.37/113.91 c #Conflicts: 436000 | #Constraints: 24909
113.37/113.91 c #Conflicts: 437000 | #Constraints: 25909
113.37/113.91 c #Conflicts: 438000 | #Constraints: 26909
113.37/113.91 c #Conflicts: 439000 | #Constraints: 27909
113.37/113.91 c #Conflicts: 440000 | #Constraints: 28909
113.37/113.91 c #Conflicts: 441000 | #Constraints: 29909
113.37/113.91 c #Conflicts: 442000 | #Constraints: 30909
113.37/113.91 c #Conflicts: 443000 | #Constraints: 31909
113.37/113.91 c #Conflicts: 444000 | #Constraints: 32909
113.37/113.91 c #Conflicts: 445000 | #Constraints: 33909
113.37/113.91 c #Conflicts: 446000 | #Constraints: 34909
113.37/113.91 c INPROCESSING
113.37/113.91 c GARBAGE COLLECT
113.37/113.91 c rational objective 3
117.66/118.27 c #Conflicts: 447000 | #Constraints: 22695
117.66/118.27 c #Conflicts: 448000 | #Constraints: 23695
117.66/118.27 c #Conflicts: 449000 | #Constraints: 24695
117.66/118.27 c #Conflicts: 450000 | #Constraints: 25695
117.66/118.27 c #Conflicts: 451000 | #Constraints: 26695
117.66/118.27 c #Conflicts: 452000 | #Constraints: 27695
117.66/118.27 c #Conflicts: 453000 | #Constraints: 28695
117.66/118.27 c #Conflicts: 454000 | #Constraints: 29695
117.66/118.27 c #Conflicts: 455000 | #Constraints: 30695
117.66/118.27 c #Conflicts: 456000 | #Constraints: 31695
117.66/118.27 c #Conflicts: 457000 | #Constraints: 32695
117.66/118.27 c #Conflicts: 458000 | #Constraints: 33695
117.66/118.27 c #Conflicts: 459000 | #Constraints: 34695
117.66/118.27 c #Conflicts: 460000 | #Constraints: 35695
117.66/118.27 c INPROCESSING
117.66/118.27 c GARBAGE COLLECT
117.66/118.27 c rational objective 3
122.25/122.83 c #Conflicts: 461000 | #Constraints: 23308
122.25/122.83 c #Conflicts: 462000 | #Constraints: 24308
122.25/122.83 c #Conflicts: 463000 | #Constraints: 25308
122.25/122.83 c #Conflicts: 464000 | #Constraints: 26308
122.25/122.83 c #Conflicts: 465000 | #Constraints: 27308
122.25/122.83 c #Conflicts: 466000 | #Constraints: 28308
122.25/122.83 c #Conflicts: 467000 | #Constraints: 29308
122.25/122.83 c #Conflicts: 468000 | #Constraints: 30308
122.25/122.83 c #Conflicts: 469000 | #Constraints: 31308
122.25/122.83 c #Conflicts: 470000 | #Constraints: 32308
122.25/122.83 c #Conflicts: 471000 | #Constraints: 33308
122.25/122.83 c #Conflicts: 472000 | #Constraints: 34308
122.25/122.83 c #Conflicts: 473000 | #Constraints: 35308
122.25/122.83 c #Conflicts: 474000 | #Constraints: 36308
122.25/122.83 c INPROCESSING
122.25/122.83 c GARBAGE COLLECT
122.25/122.83 c rational objective 3
126.79/127.43 c #Conflicts: 475000 | #Constraints: 23707
126.79/127.43 c #Conflicts: 476000 | #Constraints: 24707
126.79/127.43 c #Conflicts: 477000 | #Constraints: 25707
126.79/127.43 c #Conflicts: 478000 | #Constraints: 26707
126.79/127.43 c #Conflicts: 479000 | #Constraints: 27707
126.79/127.43 c #Conflicts: 480000 | #Constraints: 28707
126.79/127.43 c #Conflicts: 481000 | #Constraints: 29707
126.79/127.43 c #Conflicts: 482000 | #Constraints: 30707
126.79/127.43 c #Conflicts: 483000 | #Constraints: 31707
126.79/127.43 c #Conflicts: 484000 | #Constraints: 32707
126.79/127.43 c #Conflicts: 485000 | #Constraints: 33707
126.79/127.43 c #Conflicts: 486000 | #Constraints: 34707
126.79/127.43 c #Conflicts: 487000 | #Constraints: 35707
126.79/127.43 c #Conflicts: 488000 | #Constraints: 36707
126.79/127.43 c INPROCESSING
126.79/127.43 c GARBAGE COLLECT
126.79/127.43 c rational objective 3
131.08/131.72 c #Conflicts: 489000 | #Constraints: 23914
131.08/131.72 c #Conflicts: 490000 | #Constraints: 24914
131.08/131.72 c #Conflicts: 491000 | #Constraints: 25914
131.08/131.72 c #Conflicts: 492000 | #Constraints: 26914
131.08/131.72 c #Conflicts: 493000 | #Constraints: 27914
131.08/131.72 c #Conflicts: 494000 | #Constraints: 28914
131.08/131.72 c #Conflicts: 495000 | #Constraints: 29914
131.08/131.72 c #Conflicts: 496000 | #Constraints: 30914
131.08/131.72 c #Conflicts: 497000 | #Constraints: 31914
131.08/131.72 c #Conflicts: 498000 | #Constraints: 32914
131.08/131.72 c #Conflicts: 499000 | #Constraints: 33914
131.08/131.72 c #Conflicts: 500000 | #Constraints: 34914
131.08/131.72 c #Conflicts: 501000 | #Constraints: 35914
131.08/131.72 c #Conflicts: 502000 | #Constraints: 36914
131.08/131.72 c INPROCESSING
131.08/131.72 c GARBAGE COLLECT
131.08/131.72 c rational objective 3
135.66/136.35 c #Conflicts: 503000 | #Constraints: 23908
135.66/136.35 c #Conflicts: 504000 | #Constraints: 24908
135.66/136.35 c #Conflicts: 505000 | #Constraints: 25908
135.66/136.35 c #Conflicts: 506000 | #Constraints: 26908
135.66/136.35 c #Conflicts: 507000 | #Constraints: 27908
135.66/136.35 c #Conflicts: 508000 | #Constraints: 28908
135.66/136.35 c #Conflicts: 509000 | #Constraints: 29908
135.66/136.35 c #Conflicts: 510000 | #Constraints: 30908
135.66/136.35 c #Conflicts: 511000 | #Constraints: 31908
135.66/136.35 c #Conflicts: 512000 | #Constraints: 32908
135.66/136.35 c #Conflicts: 513000 | #Constraints: 33908
135.66/136.35 c #Conflicts: 514000 | #Constraints: 34908
135.66/136.35 c #Conflicts: 515000 | #Constraints: 35908
135.66/136.35 c #Conflicts: 516000 | #Constraints: 36908
135.66/136.35 c INPROCESSING
135.66/136.35 c GARBAGE COLLECT
135.66/136.35 c rational objective 3
139.85/140.57 c #Conflicts: 517000 | #Constraints: 23697
139.85/140.57 c #Conflicts: 518000 | #Constraints: 24697
139.85/140.57 c #Conflicts: 519000 | #Constraints: 25697
139.85/140.57 c #Conflicts: 520000 | #Constraints: 26697
139.85/140.57 c #Conflicts: 521000 | #Constraints: 27697
139.85/140.57 c #Conflicts: 522000 | #Constraints: 28697
139.85/140.57 c #Conflicts: 523000 | #Constraints: 29697
139.85/140.57 c #Conflicts: 524000 | #Constraints: 30697
139.85/140.57 c #Conflicts: 525000 | #Constraints: 31697
139.85/140.57 c #Conflicts: 526000 | #Constraints: 32697
139.85/140.57 c #Conflicts: 527000 | #Constraints: 33697
139.85/140.57 c #Conflicts: 528000 | #Constraints: 34697
139.85/140.57 c #Conflicts: 529000 | #Constraints: 35697
139.85/140.57 c #Conflicts: 530000 | #Constraints: 36697
139.85/140.57 c #Conflicts: 531000 | #Constraints: 37697
139.85/140.57 c INPROCESSING
139.85/140.57 c GARBAGE COLLECT
139.85/140.57 c rational objective 3
144.85/145.53 c #Conflicts: 532000 | #Constraints: 24306
144.85/145.53 c #Conflicts: 533000 | #Constraints: 25306
144.85/145.53 c #Conflicts: 534000 | #Constraints: 26306
144.85/145.53 c #Conflicts: 535000 | #Constraints: 27306
144.85/145.53 c #Conflicts: 536000 | #Constraints: 28306
144.85/145.53 c #Conflicts: 537000 | #Constraints: 29306
144.85/145.53 c #Conflicts: 538000 | #Constraints: 30306
144.85/145.53 c #Conflicts: 539000 | #Constraints: 31306
144.85/145.53 c #Conflicts: 540000 | #Constraints: 32306
144.85/145.53 c #Conflicts: 541000 | #Constraints: 33306
144.85/145.53 c #Conflicts: 542000 | #Constraints: 34306
144.85/145.53 c #Conflicts: 543000 | #Constraints: 35306
144.85/145.53 c #Conflicts: 544000 | #Constraints: 36306
144.85/145.53 c #Conflicts: 545000 | #Constraints: 37306
144.85/145.53 c #Conflicts: 546000 | #Constraints: 38306
144.85/145.53 c INPROCESSING
144.85/145.53 c GARBAGE COLLECT
144.85/145.53 c rational objective 3
149.43/150.20 c #Conflicts: 547000 | #Constraints: 24708
149.43/150.20 c #Conflicts: 548000 | #Constraints: 25708
149.43/150.20 c #Conflicts: 549000 | #Constraints: 26708
149.43/150.20 c #Conflicts: 550000 | #Constraints: 27708
149.43/150.20 c #Conflicts: 551000 | #Constraints: 28708
149.43/150.20 c #Conflicts: 552000 | #Constraints: 29708
149.43/150.20 c #Conflicts: 553000 | #Constraints: 30708
149.43/150.20 c #Conflicts: 554000 | #Constraints: 31708
149.43/150.20 c #Conflicts: 555000 | #Constraints: 32708
149.43/150.20 c #Conflicts: 556000 | #Constraints: 33708
149.43/150.20 c #Conflicts: 557000 | #Constraints: 34708
149.43/150.20 c #Conflicts: 558000 | #Constraints: 35708
149.43/150.20 c #Conflicts: 559000 | #Constraints: 36708
149.43/150.20 c #Conflicts: 560000 | #Constraints: 37708
149.43/150.20 c #Conflicts: 561000 | #Constraints: 38708
149.43/150.20 c INPROCESSING
149.43/150.20 c GARBAGE COLLECT
149.43/150.20 c rational objective 3
154.59/155.30 c #Conflicts: 562000 | #Constraints: 24905
154.59/155.30 c #Conflicts: 563000 | #Constraints: 25905
154.59/155.30 c #Conflicts: 564000 | #Constraints: 26905
154.59/155.30 c #Conflicts: 565000 | #Constraints: 27905
154.59/155.30 c #Conflicts: 566000 | #Constraints: 28905
154.59/155.30 c #Conflicts: 567000 | #Constraints: 29905
154.59/155.30 c #Conflicts: 568000 | #Constraints: 30905
154.59/155.30 c #Conflicts: 569000 | #Constraints: 31905
154.59/155.30 c #Conflicts: 570000 | #Constraints: 32905
154.59/155.30 c #Conflicts: 571000 | #Constraints: 33905
154.59/155.30 c #Conflicts: 572000 | #Constraints: 34905
154.59/155.30 c #Conflicts: 573000 | #Constraints: 35905
154.59/155.30 c #Conflicts: 574000 | #Constraints: 36905
154.59/155.30 c #Conflicts: 575000 | #Constraints: 37905
154.59/155.30 c #Conflicts: 576000 | #Constraints: 38905
154.59/155.30 c INPROCESSING
154.59/155.30 c GARBAGE COLLECT
154.59/155.30 c rational objective 3
159.07/159.88 c #Conflicts: 577000 | #Constraints: 24914
159.07/159.88 c #Conflicts: 578000 | #Constraints: 25914
159.07/159.88 c #Conflicts: 579000 | #Constraints: 26914
159.07/159.88 c #Conflicts: 580000 | #Constraints: 27914
159.07/159.88 c #Conflicts: 581000 | #Constraints: 28914
159.07/159.88 c #Conflicts: 582000 | #Constraints: 29914
159.07/159.88 c #Conflicts: 583000 | #Constraints: 30914
159.07/159.88 c #Conflicts: 584000 | #Constraints: 31914
159.07/159.88 c #Conflicts: 585000 | #Constraints: 32914
159.07/159.88 c #Conflicts: 586000 | #Constraints: 33914
159.07/159.88 c #Conflicts: 587000 | #Constraints: 34914
159.07/159.88 c #Conflicts: 588000 | #Constraints: 35914
159.07/159.88 c #Conflicts: 589000 | #Constraints: 36914
159.07/159.88 c #Conflicts: 590000 | #Constraints: 37914
159.07/159.88 c #Conflicts: 591000 | #Constraints: 38914
159.07/159.88 c INPROCESSING
159.07/159.88 c GARBAGE COLLECT
159.07/159.88 c rational objective 3
164.46/165.26 c #Conflicts: 592000 | #Constraints: 24706
164.46/165.26 c #Conflicts: 593000 | #Constraints: 25706
164.46/165.26 c #Conflicts: 594000 | #Constraints: 26706
164.46/165.26 c #Conflicts: 595000 | #Constraints: 27706
164.46/165.26 c #Conflicts: 596000 | #Constraints: 28706
164.46/165.26 c #Conflicts: 597000 | #Constraints: 29706
164.46/165.26 c #Conflicts: 598000 | #Constraints: 30706
164.46/165.26 c #Conflicts: 599000 | #Constraints: 31706
164.46/165.26 c #Conflicts: 600000 | #Constraints: 32706
164.46/165.26 c #Conflicts: 601000 | #Constraints: 33706
164.46/165.26 c #Conflicts: 602000 | #Constraints: 34706
164.46/165.26 c #Conflicts: 603000 | #Constraints: 35706
164.46/165.26 c #Conflicts: 604000 | #Constraints: 36706
164.46/165.26 c #Conflicts: 605000 | #Constraints: 37706
164.46/165.26 c #Conflicts: 606000 | #Constraints: 38706
164.46/165.26 c #Conflicts: 607000 | #Constraints: 39706
164.46/165.26 c INPROCESSING
164.46/165.26 c GARBAGE COLLECT
164.46/165.26 c rational objective 3
169.05/169.80 c #Conflicts: 608000 | #Constraints: 25326
169.05/169.80 c #Conflicts: 609000 | #Constraints: 26326
169.05/169.80 c #Conflicts: 610000 | #Constraints: 27326
169.05/169.80 c #Conflicts: 611000 | #Constraints: 28326
169.05/169.80 c #Conflicts: 612000 | #Constraints: 29326
169.05/169.80 c #Conflicts: 613000 | #Constraints: 30326
169.05/169.80 c #Conflicts: 614000 | #Constraints: 31326
169.05/169.80 c #Conflicts: 615000 | #Constraints: 32326
169.05/169.80 c #Conflicts: 616000 | #Constraints: 33326
169.05/169.80 c #Conflicts: 617000 | #Constraints: 34326
169.05/169.80 c #Conflicts: 618000 | #Constraints: 35326
169.05/169.80 c #Conflicts: 619000 | #Constraints: 36326
169.05/169.80 c #Conflicts: 620000 | #Constraints: 37326
169.05/169.80 c #Conflicts: 621000 | #Constraints: 38326
169.05/169.80 c #Conflicts: 622000 | #Constraints: 39326
169.05/169.80 c #Conflicts: 623000 | #Constraints: 40326
169.05/169.80 c INPROCESSING
169.05/169.80 c GARBAGE COLLECT
169.05/169.80 c rational objective 3
174.83/175.63 c #Conflicts: 624000 | #Constraints: 25714
174.83/175.63 c #Conflicts: 625000 | #Constraints: 26714
174.83/175.63 c #Conflicts: 626000 | #Constraints: 27714
174.83/175.63 c #Conflicts: 627000 | #Constraints: 28714
174.83/175.63 c #Conflicts: 628000 | #Constraints: 29714
174.83/175.63 c #Conflicts: 629000 | #Constraints: 30714
174.83/175.63 c #Conflicts: 630000 | #Constraints: 31714
174.83/175.63 c #Conflicts: 631000 | #Constraints: 32714
174.83/175.63 c #Conflicts: 632000 | #Constraints: 33714
174.83/175.63 c #Conflicts: 633000 | #Constraints: 34714
174.83/175.63 c #Conflicts: 634000 | #Constraints: 35714
174.83/175.63 c #Conflicts: 635000 | #Constraints: 36714
174.83/175.63 c #Conflicts: 636000 | #Constraints: 37714
174.83/175.63 c #Conflicts: 637000 | #Constraints: 38714
174.83/175.63 c #Conflicts: 638000 | #Constraints: 39714
174.83/175.63 c #Conflicts: 639000 | #Constraints: 40714
174.83/175.63 c INPROCESSING
174.83/175.63 c GARBAGE COLLECT
174.83/175.63 c rational objective 3
179.52/180.36 c #Conflicts: 640000 | #Constraints: 25911
179.52/180.36 c #Conflicts: 641000 | #Constraints: 26911
179.52/180.36 c #Conflicts: 642000 | #Constraints: 27911
179.52/180.36 c #Conflicts: 643000 | #Constraints: 28911
179.52/180.36 c #Conflicts: 644000 | #Constraints: 29911
179.52/180.36 c #Conflicts: 645000 | #Constraints: 30911
179.52/180.36 c #Conflicts: 646000 | #Constraints: 31911
179.52/180.36 c #Conflicts: 647000 | #Constraints: 32911
179.52/180.36 c #Conflicts: 648000 | #Constraints: 33911
179.52/180.36 c #Conflicts: 649000 | #Constraints: 34911
179.52/180.36 c #Conflicts: 650000 | #Constraints: 35911
179.52/180.36 c #Conflicts: 651000 | #Constraints: 36911
179.52/180.36 c #Conflicts: 652000 | #Constraints: 37911
179.52/180.36 c #Conflicts: 653000 | #Constraints: 38911
179.52/180.36 c #Conflicts: 654000 | #Constraints: 39911
179.52/180.36 c #Conflicts: 655000 | #Constraints: 40911
179.52/180.36 c INPROCESSING
179.52/180.36 c GARBAGE COLLECT
179.52/180.36 c rational objective 3
184.56/185.48 c #Conflicts: 656000 | #Constraints: 25906
184.56/185.48 c #Conflicts: 657000 | #Constraints: 26906
184.56/185.48 c #Conflicts: 658000 | #Constraints: 27906
184.56/185.48 c #Conflicts: 659000 | #Constraints: 28906
184.56/185.48 c #Conflicts: 660000 | #Constraints: 29906
184.56/185.48 c #Conflicts: 661000 | #Constraints: 30906
184.56/185.48 c #Conflicts: 662000 | #Constraints: 31906
184.56/185.48 c #Conflicts: 663000 | #Constraints: 32906
184.56/185.48 c #Conflicts: 664000 | #Constraints: 33906
184.56/185.48 c #Conflicts: 665000 | #Constraints: 34906
184.56/185.48 c #Conflicts: 666000 | #Constraints: 35906
184.56/185.48 c #Conflicts: 667000 | #Constraints: 36906
184.56/185.48 c #Conflicts: 668000 | #Constraints: 37906
184.56/185.48 c #Conflicts: 669000 | #Constraints: 38906
184.56/185.48 c #Conflicts: 670000 | #Constraints: 39906
184.56/185.48 c #Conflicts: 671000 | #Constraints: 40906
184.56/185.48 c INPROCESSING
184.56/185.48 c GARBAGE COLLECT
184.56/185.48 c rational objective 3
189.85/190.79 c #Conflicts: 672000 | #Constraints: 25716
189.85/190.79 c #Conflicts: 673000 | #Constraints: 26716
189.85/190.79 c #Conflicts: 674000 | #Constraints: 27716
189.85/190.79 c #Conflicts: 675000 | #Constraints: 28716
189.85/190.79 c #Conflicts: 676000 | #Constraints: 29716
189.85/190.79 c #Conflicts: 677000 | #Constraints: 30716
189.85/190.79 c #Conflicts: 678000 | #Constraints: 31716
189.85/190.79 c #Conflicts: 679000 | #Constraints: 32716
189.85/190.79 c #Conflicts: 680000 | #Constraints: 33716
189.85/190.79 c #Conflicts: 681000 | #Constraints: 34716
189.85/190.79 c #Conflicts: 682000 | #Constraints: 35716
189.85/190.79 c #Conflicts: 683000 | #Constraints: 36716
189.85/190.79 c #Conflicts: 684000 | #Constraints: 37716
189.85/190.79 c #Conflicts: 685000 | #Constraints: 38716
189.85/190.79 c #Conflicts: 686000 | #Constraints: 39716
189.85/190.79 c bounds 5 >= 4 @ 185.646
190.75/191.65 c #Conflicts: 687000 | #Constraints: 40717
190.75/191.65 c #Conflicts: 688000 | #Constraints: 41717
190.75/191.65 c INPROCESSING
190.75/191.65 c GARBAGE COLLECT
190.75/191.65 c rational objective 4
195.03/195.99 c #Conflicts: 689000 | #Constraints: 18058
195.03/195.99 c #Conflicts: 690000 | #Constraints: 19058
195.03/195.99 c #Conflicts: 691000 | #Constraints: 20058
195.03/195.99 c #Conflicts: 692000 | #Constraints: 21058
195.03/195.99 c #Conflicts: 693000 | #Constraints: 22058
195.03/195.99 c #Conflicts: 694000 | #Constraints: 23058
195.03/195.99 c #Conflicts: 695000 | #Constraints: 24058
195.03/195.99 c #Conflicts: 696000 | #Constraints: 25058
195.03/195.99 c #Conflicts: 697000 | #Constraints: 26059
195.03/195.99 c #Conflicts: 698000 | #Constraints: 27059
195.03/195.99 c #Conflicts: 699000 | #Constraints: 28059
195.03/195.99 c #Conflicts: 700000 | #Constraints: 29059
195.03/195.99 c #Conflicts: 701000 | #Constraints: 30059
195.03/195.99 c #Conflicts: 702000 | #Constraints: 31059
195.03/195.99 c #Conflicts: 703000 | #Constraints: 32059
195.03/195.99 c #Conflicts: 704000 | #Constraints: 33059
195.03/195.99 c #Conflicts: 705000 | #Constraints: 34059
195.03/195.99 c INPROCESSING
195.03/195.99 c GARBAGE COLLECT
195.03/195.99 c rational objective 4
199.53/200.46 c #Conflicts: 706000 | #Constraints: 22415
199.53/200.46 c #Conflicts: 707000 | #Constraints: 23415
199.53/200.46 c #Conflicts: 708000 | #Constraints: 24415
199.53/200.46 c #Conflicts: 709000 | #Constraints: 25415
199.53/200.46 c #Conflicts: 710000 | #Constraints: 26415
199.53/200.46 c #Conflicts: 711000 | #Constraints: 27415
199.53/200.46 c #Conflicts: 712000 | #Constraints: 28415
199.53/200.46 c #Conflicts: 713000 | #Constraints: 29415
199.53/200.46 c #Conflicts: 714000 | #Constraints: 30415
199.53/200.46 c #Conflicts: 715000 | #Constraints: 31415
199.53/200.46 c #Conflicts: 716000 | #Constraints: 32415
199.53/200.46 c #Conflicts: 717000 | #Constraints: 33415
199.53/200.46 c #Conflicts: 718000 | #Constraints: 34415
199.53/200.46 c #Conflicts: 719000 | #Constraints: 35415
199.53/200.46 c #Conflicts: 720000 | #Constraints: 36415
199.53/200.46 c #Conflicts: 721000 | #Constraints: 37415
199.53/200.46 c #Conflicts: 722000 | #Constraints: 38415
199.53/200.46 c INPROCESSING
199.53/200.46 c GARBAGE COLLECT
199.53/200.46 c rational objective 4
206.90/207.83 c #Conflicts: 723000 | #Constraints: 24584
206.90/207.83 c #Conflicts: 724000 | #Constraints: 25584
206.90/207.83 c #Conflicts: 725000 | #Constraints: 26584
206.90/207.83 c #Conflicts: 726000 | #Constraints: 27584
206.90/207.83 c #Conflicts: 727000 | #Constraints: 28584
206.90/207.83 c #Conflicts: 728000 | #Constraints: 29584
206.90/207.83 c #Conflicts: 729000 | #Constraints: 30584
206.90/207.83 c #Conflicts: 730000 | #Constraints: 31584
206.90/207.83 c #Conflicts: 731000 | #Constraints: 32584
206.90/207.83 c #Conflicts: 732000 | #Constraints: 33584
206.90/207.83 c #Conflicts: 733000 | #Constraints: 34584
206.90/207.83 c #Conflicts: 734000 | #Constraints: 35584
206.90/207.83 c #Conflicts: 735000 | #Constraints: 36584
206.90/207.83 c #Conflicts: 736000 | #Constraints: 37584
206.90/207.83 c #Conflicts: 737000 | #Constraints: 38584
206.90/207.83 c #Conflicts: 738000 | #Constraints: 39584
206.90/207.83 c #Conflicts: 739000 | #Constraints: 40584
206.90/207.83 c INPROCESSING
206.90/207.83 c GARBAGE COLLECT
206.90/207.83 c rational objective 4
211.88/212.80 c #Conflicts: 740000 | #Constraints: 25568
211.88/212.80 c #Conflicts: 741000 | #Constraints: 26568
211.88/212.80 c #Conflicts: 742000 | #Constraints: 27568
211.88/212.80 c #Conflicts: 743000 | #Constraints: 28568
211.88/212.80 c #Conflicts: 744000 | #Constraints: 29568
211.88/212.80 c #Conflicts: 745000 | #Constraints: 30568
211.88/212.80 c #Conflicts: 746000 | #Constraints: 31568
211.88/212.80 c #Conflicts: 747000 | #Constraints: 32568
211.88/212.80 c #Conflicts: 748000 | #Constraints: 33568
211.88/212.80 c #Conflicts: 749000 | #Constraints: 34568
211.88/212.80 c #Conflicts: 750000 | #Constraints: 35568
211.88/212.80 c #Conflicts: 751000 | #Constraints: 36568
211.88/212.80 c #Conflicts: 752000 | #Constraints: 37568
211.88/212.80 c #Conflicts: 753000 | #Constraints: 38568
211.88/212.80 c #Conflicts: 754000 | #Constraints: 39568
211.88/212.80 c #Conflicts: 755000 | #Constraints: 40568
211.88/212.80 c #Conflicts: 756000 | #Constraints: 41568
211.88/212.80 c INPROCESSING
211.88/212.80 c GARBAGE COLLECT
211.88/212.80 c rational objective 4
216.95/218.00 c #Conflicts: 757000 | #Constraints: 25867
216.95/218.00 c #Conflicts: 758000 | #Constraints: 26867
216.95/218.00 c #Conflicts: 759000 | #Constraints: 27867
216.95/218.00 c #Conflicts: 760000 | #Constraints: 28867
216.95/218.00 c #Conflicts: 761000 | #Constraints: 29867
216.95/218.00 c #Conflicts: 762000 | #Constraints: 30867
216.95/218.00 c #Conflicts: 763000 | #Constraints: 31867
216.95/218.00 c #Conflicts: 764000 | #Constraints: 32867
216.95/218.00 c #Conflicts: 765000 | #Constraints: 33867
216.95/218.00 c #Conflicts: 766000 | #Constraints: 34867
216.95/218.00 c #Conflicts: 767000 | #Constraints: 35867
216.95/218.00 c #Conflicts: 768000 | #Constraints: 36867
216.95/218.00 c #Conflicts: 769000 | #Constraints: 37867
216.95/218.00 c #Conflicts: 770000 | #Constraints: 38867
216.95/218.00 c #Conflicts: 771000 | #Constraints: 39867
216.95/218.00 c #Conflicts: 772000 | #Constraints: 40867
216.95/218.00 c #Conflicts: 773000 | #Constraints: 41867
216.95/218.00 c #Conflicts: 774000 | #Constraints: 42867
216.95/218.00 c INPROCESSING
216.95/218.00 c GARBAGE COLLECT
216.95/218.00 c rational objective 4
224.52/225.55 c #Conflicts: 775000 | #Constraints: 26727
224.52/225.55 c #Conflicts: 776000 | #Constraints: 27727
224.52/225.55 c #Conflicts: 777000 | #Constraints: 28727
224.52/225.55 c #Conflicts: 778000 | #Constraints: 29727
224.52/225.55 c #Conflicts: 779000 | #Constraints: 30727
224.52/225.55 c #Conflicts: 780000 | #Constraints: 31727
224.52/225.55 c #Conflicts: 781000 | #Constraints: 32727
224.52/225.55 c #Conflicts: 782000 | #Constraints: 33727
224.52/225.55 c #Conflicts: 783000 | #Constraints: 34727
224.52/225.55 c #Conflicts: 784000 | #Constraints: 35727
224.52/225.55 c #Conflicts: 785000 | #Constraints: 36728
224.52/225.55 c #Conflicts: 786000 | #Constraints: 37728
224.52/225.55 c #Conflicts: 787000 | #Constraints: 38728
224.52/225.55 c #Conflicts: 788000 | #Constraints: 39728
224.52/225.55 c #Conflicts: 789000 | #Constraints: 40728
224.52/225.55 c #Conflicts: 790000 | #Constraints: 41728
224.52/225.55 c #Conflicts: 791000 | #Constraints: 42728
224.52/225.55 c #Conflicts: 792000 | #Constraints: 43728
224.52/225.55 c INPROCESSING
224.52/225.55 c GARBAGE COLLECT
224.52/225.55 c rational objective 4
229.91/230.97 c #Conflicts: 793000 | #Constraints: 27248
229.91/230.97 c #Conflicts: 794000 | #Constraints: 28248
229.91/230.97 c #Conflicts: 795000 | #Constraints: 29248
229.91/230.97 c #Conflicts: 796000 | #Constraints: 30248
229.91/230.97 c #Conflicts: 797000 | #Constraints: 31248
229.91/230.97 c #Conflicts: 798000 | #Constraints: 32248
229.91/230.97 c #Conflicts: 799000 | #Constraints: 33248
229.91/230.97 c #Conflicts: 800000 | #Constraints: 34248
229.91/230.97 c #Conflicts: 801000 | #Constraints: 35248
229.91/230.97 c #Conflicts: 802000 | #Constraints: 36248
229.91/230.97 c #Conflicts: 803000 | #Constraints: 37248
229.91/230.97 c #Conflicts: 804000 | #Constraints: 38248
229.91/230.97 c #Conflicts: 805000 | #Constraints: 39248
229.91/230.97 c #Conflicts: 806000 | #Constraints: 40248
229.91/230.97 c #Conflicts: 807000 | #Constraints: 41248
229.91/230.97 c #Conflicts: 808000 | #Constraints: 42248
229.91/230.97 c #Conflicts: 809000 | #Constraints: 43248
229.91/230.97 c #Conflicts: 810000 | #Constraints: 44248
229.91/230.97 c INPROCESSING
229.91/230.97 c GARBAGE COLLECT
229.91/230.97 c rational objective 4
235.19/236.20 c #Conflicts: 811000 | #Constraints: 27503
235.19/236.20 c #Conflicts: 812000 | #Constraints: 28503
235.19/236.20 c #Conflicts: 813000 | #Constraints: 29503
235.19/236.20 c #Conflicts: 814000 | #Constraints: 30503
235.19/236.20 c #Conflicts: 815000 | #Constraints: 31503
235.19/236.20 c #Conflicts: 816000 | #Constraints: 32503
235.19/236.20 c #Conflicts: 817000 | #Constraints: 33503
235.19/236.20 c #Conflicts: 818000 | #Constraints: 34503
235.19/236.20 c #Conflicts: 819000 | #Constraints: 35503
235.19/236.20 c #Conflicts: 820000 | #Constraints: 36503
235.19/236.20 c #Conflicts: 821000 | #Constraints: 37503
235.19/236.20 c #Conflicts: 822000 | #Constraints: 38503
235.19/236.20 c #Conflicts: 823000 | #Constraints: 39503
235.19/236.20 c #Conflicts: 824000 | #Constraints: 40503
235.19/236.20 c #Conflicts: 825000 | #Constraints: 41503
235.19/236.20 c #Conflicts: 826000 | #Constraints: 42503
235.19/236.20 c #Conflicts: 827000 | #Constraints: 43503
235.19/236.20 c #Conflicts: 828000 | #Constraints: 44503
235.19/236.20 c INPROCESSING
235.19/236.20 c GARBAGE COLLECT
235.19/236.20 c rational objective 4
246.12/247.27 c #Conflicts: 829000 | #Constraints: 27424
246.12/247.27 c #Conflicts: 830000 | #Constraints: 28424
246.12/247.27 c #Conflicts: 831000 | #Constraints: 29424
246.12/247.27 c #Conflicts: 832000 | #Constraints: 30425
246.12/247.27 c #Conflicts: 833000 | #Constraints: 31430
246.12/247.27 c #Conflicts: 834000 | #Constraints: 32676
246.12/247.27 c #Conflicts: 835000 | #Constraints: 34116
246.12/247.27 c #Conflicts: 836000 | #Constraints: 35558
246.12/247.27 c #Conflicts: 837000 | #Constraints: 37009
246.12/247.27 c #Conflicts: 838000 | #Constraints: 38455
246.12/247.27 c #Conflicts: 839000 | #Constraints: 39904
246.12/247.27 c #Conflicts: 840000 | #Constraints: 41318
246.12/247.27 c #Conflicts: 841000 | #Constraints: 42518
246.12/247.27 c #Conflicts: 842000 | #Constraints: 43619
246.12/247.27 c #Conflicts: 843000 | #Constraints: 44945
246.12/247.27 c #Conflicts: 844000 | #Constraints: 46091
246.12/247.27 c #Conflicts: 845000 | #Constraints: 47094
246.12/247.27 c #Conflicts: 846000 | #Constraints: 48224
246.12/247.27 c INPROCESSING
246.12/247.27 c GARBAGE COLLECT
246.12/247.27 c rational objective 4
251.81/252.97 c #Conflicts: 847000 | #Constraints: 29177
251.81/252.97 c #Conflicts: 848000 | #Constraints: 30177
251.81/252.97 c #Conflicts: 849000 | #Constraints: 31177
251.81/252.97 c #Conflicts: 850000 | #Constraints: 32177
251.81/252.97 c #Conflicts: 851000 | #Constraints: 33177
251.81/252.97 c #Conflicts: 852000 | #Constraints: 34177
251.81/252.97 c #Conflicts: 853000 | #Constraints: 35177
251.81/252.97 c #Conflicts: 854000 | #Constraints: 36177
251.81/252.97 c #Conflicts: 855000 | #Constraints: 37177
251.81/252.97 c #Conflicts: 856000 | #Constraints: 38177
251.81/252.97 c #Conflicts: 857000 | #Constraints: 39177
251.81/252.97 c #Conflicts: 858000 | #Constraints: 40177
251.81/252.97 c #Conflicts: 859000 | #Constraints: 41177
251.81/252.97 c #Conflicts: 860000 | #Constraints: 42177
251.81/252.97 c #Conflicts: 861000 | #Constraints: 43177
251.81/252.97 c #Conflicts: 862000 | #Constraints: 44177
251.81/252.97 c #Conflicts: 863000 | #Constraints: 45177
251.81/252.97 c #Conflicts: 864000 | #Constraints: 46177
251.81/252.97 c #Conflicts: 865000 | #Constraints: 47177
251.81/252.97 c INPROCESSING
251.81/252.97 c GARBAGE COLLECT
251.81/252.97 c rational objective 4
261.18/262.31 c #Conflicts: 866000 | #Constraints: 28816
261.18/262.31 c #Conflicts: 867000 | #Constraints: 29816
261.18/262.31 c #Conflicts: 868000 | #Constraints: 30938
261.18/262.31 c #Conflicts: 869000 | #Constraints: 32408
261.18/262.31 c #Conflicts: 870000 | #Constraints: 33687
261.18/262.31 c #Conflicts: 871000 | #Constraints: 34844
261.18/262.31 c #Conflicts: 872000 | #Constraints: 36010
261.18/262.31 c #Conflicts: 873000 | #Constraints: 37481
261.18/262.31 c #Conflicts: 874000 | #Constraints: 38891
261.18/262.31 c #Conflicts: 875000 | #Constraints: 40025
261.18/262.31 c #Conflicts: 876000 | #Constraints: 41127
261.18/262.31 c #Conflicts: 877000 | #Constraints: 42366
261.18/262.31 c #Conflicts: 878000 | #Constraints: 43476
261.18/262.31 c #Conflicts: 879000 | #Constraints: 44653
261.18/262.31 c #Conflicts: 880000 | #Constraints: 45730
261.18/262.31 c #Conflicts: 881000 | #Constraints: 46781
261.18/262.31 c #Conflicts: 882000 | #Constraints: 47826
261.18/262.31 c #Conflicts: 883000 | #Constraints: 48935
261.18/262.31 c #Conflicts: 884000 | #Constraints: 50011
261.18/262.31 c INPROCESSING
261.18/262.31 c GARBAGE COLLECT
261.18/262.31 c rational objective 4
266.97/268.11 c #Conflicts: 885000 | #Constraints: 29633
266.97/268.11 c #Conflicts: 886000 | #Constraints: 30633
266.97/268.11 c #Conflicts: 887000 | #Constraints: 31633
266.97/268.11 c #Conflicts: 888000 | #Constraints: 32633
266.97/268.11 c #Conflicts: 889000 | #Constraints: 33633
266.97/268.11 c #Conflicts: 890000 | #Constraints: 34633
266.97/268.11 c #Conflicts: 891000 | #Constraints: 35633
266.97/268.11 c #Conflicts: 892000 | #Constraints: 36633
266.97/268.11 c #Conflicts: 893000 | #Constraints: 37633
266.97/268.11 c #Conflicts: 894000 | #Constraints: 38633
266.97/268.11 c #Conflicts: 895000 | #Constraints: 39633
266.97/268.11 c #Conflicts: 896000 | #Constraints: 40633
266.97/268.11 c #Conflicts: 897000 | #Constraints: 41633
266.97/268.11 c #Conflicts: 898000 | #Constraints: 42633
266.97/268.11 c #Conflicts: 899000 | #Constraints: 43633
266.97/268.11 c #Conflicts: 900000 | #Constraints: 44633
266.97/268.11 c #Conflicts: 901000 | #Constraints: 45633
266.97/268.11 c #Conflicts: 902000 | #Constraints: 46633
266.97/268.11 c #Conflicts: 903000 | #Constraints: 47633
266.97/268.11 c INPROCESSING
266.97/268.11 c GARBAGE COLLECT
266.97/268.11 c rational objective 4
272.05/273.21 c #Conflicts: 904000 | #Constraints: 28799
272.05/273.21 c #Conflicts: 905000 | #Constraints: 29799
272.05/273.21 c #Conflicts: 906000 | #Constraints: 30799
272.05/273.21 c #Conflicts: 907000 | #Constraints: 31799
272.05/273.21 c #Conflicts: 908000 | #Constraints: 32799
272.05/273.21 c #Conflicts: 909000 | #Constraints: 33799
272.05/273.21 c #Conflicts: 910000 | #Constraints: 34800
272.05/273.21 c #Conflicts: 911000 | #Constraints: 35800
272.05/273.21 c #Conflicts: 912000 | #Constraints: 36802
272.05/273.21 c #Conflicts: 913000 | #Constraints: 37802
272.05/273.21 c #Conflicts: 914000 | #Constraints: 38802
272.05/273.21 c #Conflicts: 915000 | #Constraints: 39803
272.05/273.21 c #Conflicts: 916000 | #Constraints: 40803
272.05/273.21 c #Conflicts: 917000 | #Constraints: 41803
272.05/273.21 c #Conflicts: 918000 | #Constraints: 42803
272.05/273.21 c #Conflicts: 919000 | #Constraints: 43803
272.05/273.21 c #Conflicts: 920000 | #Constraints: 44803
272.05/273.21 c #Conflicts: 921000 | #Constraints: 45803
272.05/273.21 c #Conflicts: 922000 | #Constraints: 46804
272.05/273.21 c INPROCESSING
272.05/273.21 c GARBAGE COLLECT
272.05/273.21 c rational objective 4
277.48/278.77 c #Conflicts: 923000 | #Constraints: 28281
277.48/278.77 c #Conflicts: 924000 | #Constraints: 29282
277.48/278.77 c #Conflicts: 925000 | #Constraints: 30283
277.48/278.77 c #Conflicts: 926000 | #Constraints: 31284
277.48/278.77 c #Conflicts: 927000 | #Constraints: 32293
277.48/278.77 c #Conflicts: 928000 | #Constraints: 33293
277.48/278.77 c #Conflicts: 929000 | #Constraints: 34293
277.48/278.77 c #Conflicts: 930000 | #Constraints: 35294
277.48/278.77 c #Conflicts: 931000 | #Constraints: 36294
277.48/278.77 c #Conflicts: 932000 | #Constraints: 37294
277.48/278.77 c #Conflicts: 933000 | #Constraints: 38295
277.48/278.77 c #Conflicts: 934000 | #Constraints: 39295
277.48/278.77 c #Conflicts: 935000 | #Constraints: 40295
277.48/278.77 c #Conflicts: 936000 | #Constraints: 41295
277.48/278.77 c #Conflicts: 937000 | #Constraints: 42295
277.48/278.77 c #Conflicts: 938000 | #Constraints: 43295
277.48/278.77 c #Conflicts: 939000 | #Constraints: 44295
277.48/278.77 c #Conflicts: 940000 | #Constraints: 45296
277.48/278.77 c #Conflicts: 941000 | #Constraints: 46298
277.48/278.77 c INPROCESSING
277.48/278.77 c GARBAGE COLLECT
277.48/278.77 c rational objective 4
282.57/283.84 c #Conflicts: 942000 | #Constraints: 27835
282.57/283.84 c #Conflicts: 943000 | #Constraints: 28835
282.57/283.84 c #Conflicts: 944000 | #Constraints: 29835
282.57/283.84 c #Conflicts: 945000 | #Constraints: 30835
282.57/283.84 c #Conflicts: 946000 | #Constraints: 31835
282.57/283.84 c #Conflicts: 947000 | #Constraints: 32835
282.57/283.84 c #Conflicts: 948000 | #Constraints: 33835
282.57/283.84 c #Conflicts: 949000 | #Constraints: 34835
282.57/283.84 c #Conflicts: 950000 | #Constraints: 35835
282.57/283.84 c #Conflicts: 951000 | #Constraints: 36835
282.57/283.84 c #Conflicts: 952000 | #Constraints: 37835
282.57/283.84 c #Conflicts: 953000 | #Constraints: 38835
282.57/283.84 c #Conflicts: 954000 | #Constraints: 39835
282.57/283.84 c #Conflicts: 955000 | #Constraints: 40835
282.57/283.84 c #Conflicts: 956000 | #Constraints: 41835
282.57/283.84 c #Conflicts: 957000 | #Constraints: 42835
282.57/283.84 c #Conflicts: 958000 | #Constraints: 43835
282.57/283.84 c #Conflicts: 959000 | #Constraints: 44835
282.57/283.84 c #Conflicts: 960000 | #Constraints: 45835
282.57/283.84 c #Conflicts: 961000 | #Constraints: 46835
282.57/283.84 c INPROCESSING
282.57/283.84 c GARBAGE COLLECT
282.57/283.84 c rational objective 4
287.85/289.14 c #Conflicts: 962000 | #Constraints: 28299
287.85/289.14 c #Conflicts: 963000 | #Constraints: 29299
287.85/289.14 c #Conflicts: 964000 | #Constraints: 30299
287.85/289.14 c #Conflicts: 965000 | #Constraints: 31299
287.85/289.14 c #Conflicts: 966000 | #Constraints: 32299
287.85/289.14 c #Conflicts: 967000 | #Constraints: 33299
287.85/289.14 c #Conflicts: 968000 | #Constraints: 34299
287.85/289.14 c #Conflicts: 969000 | #Constraints: 35299
287.85/289.14 c #Conflicts: 970000 | #Constraints: 36299
287.85/289.14 c #Conflicts: 971000 | #Constraints: 37299
287.85/289.14 c #Conflicts: 972000 | #Constraints: 38299
287.85/289.14 c #Conflicts: 973000 | #Constraints: 39299
287.85/289.14 c #Conflicts: 974000 | #Constraints: 40299
287.85/289.14 c #Conflicts: 975000 | #Constraints: 41299
287.85/289.14 c #Conflicts: 976000 | #Constraints: 42299
287.85/289.14 c #Conflicts: 977000 | #Constraints: 43299
287.85/289.14 c #Conflicts: 978000 | #Constraints: 44299
287.85/289.14 c #Conflicts: 979000 | #Constraints: 45299
287.85/289.14 c #Conflicts: 980000 | #Constraints: 46299
287.85/289.14 c #Conflicts: 981000 | #Constraints: 47299
287.85/289.14 c INPROCESSING
287.85/289.14 c GARBAGE COLLECT
287.85/289.14 c rational objective 4
292.84/294.13 c #Conflicts: 982000 | #Constraints: 28626
292.84/294.13 c #Conflicts: 983000 | #Constraints: 29626
292.84/294.13 c #Conflicts: 984000 | #Constraints: 30626
292.84/294.13 c #Conflicts: 985000 | #Constraints: 31626
292.84/294.13 c #Conflicts: 986000 | #Constraints: 32626
292.84/294.13 c #Conflicts: 987000 | #Constraints: 33626
292.84/294.13 c #Conflicts: 988000 | #Constraints: 34626
292.84/294.13 c #Conflicts: 989000 | #Constraints: 35626
292.84/294.13 c #Conflicts: 990000 | #Constraints: 36626
292.84/294.13 c #Conflicts: 991000 | #Constraints: 37626
292.84/294.13 c #Conflicts: 992000 | #Constraints: 38626
292.84/294.13 c #Conflicts: 993000 | #Constraints: 39626
292.84/294.13 c #Conflicts: 994000 | #Constraints: 40626
292.84/294.13 c #Conflicts: 995000 | #Constraints: 41626
292.84/294.13 c #Conflicts: 996000 | #Constraints: 42626
292.84/294.13 c #Conflicts: 997000 | #Constraints: 43626
292.84/294.13 c #Conflicts: 998000 | #Constraints: 44626
292.84/294.13 c #Conflicts: 999000 | #Constraints: 45626
292.84/294.13 c #Conflicts: 1000000 | #Constraints: 46626
292.84/294.13 c #Conflicts: 1001000 | #Constraints: 47626
292.84/294.13 c INPROCESSING
292.84/294.13 c GARBAGE COLLECT
292.84/294.13 c rational objective 4
298.22/299.59 c #Conflicts: 1002000 | #Constraints: 28797
298.22/299.59 c #Conflicts: 1003000 | #Constraints: 29797
298.22/299.59 c #Conflicts: 1004000 | #Constraints: 30797
298.22/299.59 c #Conflicts: 1005000 | #Constraints: 31797
298.22/299.59 c #Conflicts: 1006000 | #Constraints: 32797
298.22/299.59 c #Conflicts: 1007000 | #Constraints: 33797
298.22/299.59 c #Conflicts: 1008000 | #Constraints: 34797
298.22/299.59 c #Conflicts: 1009000 | #Constraints: 35797
298.22/299.59 c #Conflicts: 1010000 | #Constraints: 36797
298.22/299.59 c #Conflicts: 1011000 | #Constraints: 37797
298.22/299.59 c #Conflicts: 1012000 | #Constraints: 38797
298.22/299.59 c #Conflicts: 1013000 | #Constraints: 39797
298.22/299.59 c #Conflicts: 1014000 | #Constraints: 40797
298.22/299.59 c #Conflicts: 1015000 | #Constraints: 41797
298.22/299.59 c #Conflicts: 1016000 | #Constraints: 42797
298.22/299.59 c #Conflicts: 1017000 | #Constraints: 43797
298.22/299.59 c #Conflicts: 1018000 | #Constraints: 44797
298.22/299.59 c #Conflicts: 1019000 | #Constraints: 45797
298.22/299.59 c #Conflicts: 1020000 | #Constraints: 46797
298.22/299.59 c #Conflicts: 1021000 | #Constraints: 47797
298.22/299.59 c INPROCESSING
298.22/299.59 c GARBAGE COLLECT
298.22/299.59 c rational objective 4
303.70/305.06 c #Conflicts: 1022000 | #Constraints: 28786
303.70/305.06 c #Conflicts: 1023000 | #Constraints: 29786
303.70/305.06 c #Conflicts: 1024000 | #Constraints: 30786
303.70/305.06 c #Conflicts: 1025000 | #Constraints: 31786
303.70/305.06 c #Conflicts: 1026000 | #Constraints: 32786
303.70/305.06 c #Conflicts: 1027000 | #Constraints: 33786
303.70/305.06 c #Conflicts: 1028000 | #Constraints: 34786
303.70/305.06 c #Conflicts: 1029000 | #Constraints: 35786
303.70/305.06 c #Conflicts: 1030000 | #Constraints: 36786
303.70/305.06 c #Conflicts: 1031000 | #Constraints: 37786
303.70/305.06 c #Conflicts: 1032000 | #Constraints: 38786
303.70/305.06 c #Conflicts: 1033000 | #Constraints: 39786
303.70/305.06 c #Conflicts: 1034000 | #Constraints: 40786
303.70/305.06 c #Conflicts: 1035000 | #Constraints: 41786
303.70/305.06 c #Conflicts: 1036000 | #Constraints: 42786
303.70/305.06 c #Conflicts: 1037000 | #Constraints: 43786
303.70/305.06 c #Conflicts: 1038000 | #Constraints: 44786
303.70/305.06 c #Conflicts: 1039000 | #Constraints: 45786
303.70/305.06 c #Conflicts: 1040000 | #Constraints: 46786
303.70/305.06 c #Conflicts: 1041000 | #Constraints: 47786
303.70/305.06 c INPROCESSING
303.70/305.06 c GARBAGE COLLECT
303.70/305.06 c rational objective 4
309.44/310.82 c #Conflicts: 1042000 | #Constraints: 28583
309.44/310.82 c #Conflicts: 1043000 | #Constraints: 29583
309.44/310.82 c #Conflicts: 1044000 | #Constraints: 30583
309.44/310.82 c #Conflicts: 1045000 | #Constraints: 31583
309.44/310.82 c #Conflicts: 1046000 | #Constraints: 32583
309.44/310.82 c #Conflicts: 1047000 | #Constraints: 33583
309.44/310.82 c #Conflicts: 1048000 | #Constraints: 34583
309.44/310.82 c #Conflicts: 1049000 | #Constraints: 35583
309.44/310.82 c #Conflicts: 1050000 | #Constraints: 36583
309.44/310.82 c #Conflicts: 1051000 | #Constraints: 37583
309.44/310.82 c #Conflicts: 1052000 | #Constraints: 38583
309.44/310.82 c #Conflicts: 1053000 | #Constraints: 39583
309.44/310.82 c #Conflicts: 1054000 | #Constraints: 40583
309.44/310.82 c #Conflicts: 1055000 | #Constraints: 41583
309.44/310.82 c #Conflicts: 1056000 | #Constraints: 42583
309.44/310.82 c #Conflicts: 1057000 | #Constraints: 43583
309.44/310.82 c #Conflicts: 1058000 | #Constraints: 44583
309.44/310.82 c #Conflicts: 1059000 | #Constraints: 45583
309.44/310.82 c #Conflicts: 1060000 | #Constraints: 46583
309.44/310.82 c #Conflicts: 1061000 | #Constraints: 47583
309.44/310.82 c #Conflicts: 1062000 | #Constraints: 48583
309.44/310.82 c INPROCESSING
309.44/310.82 c GARBAGE COLLECT
309.44/310.82 c rational objective 4
315.23/316.64 c #Conflicts: 1063000 | #Constraints: 29182
315.23/316.64 c #Conflicts: 1064000 | #Constraints: 30182
315.23/316.64 c #Conflicts: 1065000 | #Constraints: 31182
315.23/316.64 c #Conflicts: 1066000 | #Constraints: 32182
315.23/316.64 c #Conflicts: 1067000 | #Constraints: 33182
315.23/316.64 c #Conflicts: 1068000 | #Constraints: 34182
315.23/316.64 c #Conflicts: 1069000 | #Constraints: 35182
315.23/316.64 c #Conflicts: 1070000 | #Constraints: 36182
315.23/316.64 c #Conflicts: 1071000 | #Constraints: 37182
315.23/316.64 c #Conflicts: 1072000 | #Constraints: 38182
315.23/316.64 c #Conflicts: 1073000 | #Constraints: 39182
315.23/316.64 c #Conflicts: 1074000 | #Constraints: 40182
315.23/316.64 c #Conflicts: 1075000 | #Constraints: 41182
315.23/316.64 c #Conflicts: 1076000 | #Constraints: 42182
315.23/316.64 c #Conflicts: 1077000 | #Constraints: 43182
315.23/316.64 c #Conflicts: 1078000 | #Constraints: 44182
315.23/316.64 c #Conflicts: 1079000 | #Constraints: 45182
315.23/316.64 c #Conflicts: 1080000 | #Constraints: 46182
315.23/316.64 c #Conflicts: 1081000 | #Constraints: 47182
315.23/316.64 c #Conflicts: 1082000 | #Constraints: 48182
315.23/316.64 c #Conflicts: 1083000 | #Constraints: 49182
315.23/316.64 c INPROCESSING
315.23/316.64 c GARBAGE COLLECT
315.23/316.64 c rational objective 4
320.91/322.37 c #Conflicts: 1084000 | #Constraints: 29582
320.91/322.37 c #Conflicts: 1085000 | #Constraints: 30582
320.91/322.37 c #Conflicts: 1086000 | #Constraints: 31582
320.91/322.37 c #Conflicts: 1087000 | #Constraints: 32582
320.91/322.37 c #Conflicts: 1088000 | #Constraints: 33582
320.91/322.37 c #Conflicts: 1089000 | #Constraints: 34582
320.91/322.37 c #Conflicts: 1090000 | #Constraints: 35582
320.91/322.37 c #Conflicts: 1091000 | #Constraints: 36582
320.91/322.37 c #Conflicts: 1092000 | #Constraints: 37582
320.91/322.37 c #Conflicts: 1093000 | #Constraints: 38582
320.91/322.37 c #Conflicts: 1094000 | #Constraints: 39582
320.91/322.37 c #Conflicts: 1095000 | #Constraints: 40582
320.91/322.37 c #Conflicts: 1096000 | #Constraints: 41582
320.91/322.37 c #Conflicts: 1097000 | #Constraints: 42582
320.91/322.37 c #Conflicts: 1098000 | #Constraints: 43582
320.91/322.37 c #Conflicts: 1099000 | #Constraints: 44582
320.91/322.37 c #Conflicts: 1100000 | #Constraints: 45582
320.91/322.37 c #Conflicts: 1101000 | #Constraints: 46582
320.91/322.37 c #Conflicts: 1102000 | #Constraints: 47582
320.91/322.37 c #Conflicts: 1103000 | #Constraints: 48582
320.91/322.37 c #Conflicts: 1104000 | #Constraints: 49582
320.91/322.37 c INPROCESSING
320.91/322.37 c GARBAGE COLLECT
320.91/322.37 c rational objective 4
326.90/328.30 c #Conflicts: 1105000 | #Constraints: 29774
326.90/328.30 c #Conflicts: 1106000 | #Constraints: 30774
326.90/328.30 c #Conflicts: 1107000 | #Constraints: 31774
326.90/328.30 c #Conflicts: 1108000 | #Constraints: 32774
326.90/328.30 c #Conflicts: 1109000 | #Constraints: 33774
326.90/328.30 c #Conflicts: 1110000 | #Constraints: 34774
326.90/328.30 c #Conflicts: 1111000 | #Constraints: 35774
326.90/328.30 c #Conflicts: 1112000 | #Constraints: 36774
326.90/328.30 c #Conflicts: 1113000 | #Constraints: 37774
326.90/328.30 c #Conflicts: 1114000 | #Constraints: 38774
326.90/328.30 c #Conflicts: 1115000 | #Constraints: 39774
326.90/328.30 c #Conflicts: 1116000 | #Constraints: 40774
326.90/328.30 c #Conflicts: 1117000 | #Constraints: 41774
326.90/328.30 c #Conflicts: 1118000 | #Constraints: 42774
326.90/328.30 c #Conflicts: 1119000 | #Constraints: 43774
326.90/328.30 c #Conflicts: 1120000 | #Constraints: 44774
326.90/328.30 c #Conflicts: 1121000 | #Constraints: 45774
326.90/328.30 c #Conflicts: 1122000 | #Constraints: 46774
326.90/328.30 c #Conflicts: 1123000 | #Constraints: 47774
326.90/328.30 c #Conflicts: 1124000 | #Constraints: 48774
326.90/328.30 c #Conflicts: 1125000 | #Constraints: 49774
326.90/328.30 c INPROCESSING
326.90/328.30 c GARBAGE COLLECT
326.90/328.30 c rational objective 4
332.18/333.69 c #Conflicts: 1126000 | #Constraints: 29777
332.18/333.69 c #Conflicts: 1127000 | #Constraints: 30778
332.18/333.69 c #Conflicts: 1128000 | #Constraints: 31802
332.18/333.69 c #Conflicts: 1129000 | #Constraints: 32802
332.18/333.69 c #Conflicts: 1130000 | #Constraints: 33802
332.18/333.69 c #Conflicts: 1131000 | #Constraints: 34803
332.18/333.69 c #Conflicts: 1132000 | #Constraints: 35804
332.18/333.69 c #Conflicts: 1133000 | #Constraints: 36804
332.18/333.69 c #Conflicts: 1134000 | #Constraints: 37805
332.18/333.69 c #Conflicts: 1135000 | #Constraints: 38805
332.18/333.69 c #Conflicts: 1136000 | #Constraints: 39805
332.18/333.69 c #Conflicts: 1137000 | #Constraints: 40805
332.18/333.69 c #Conflicts: 1138000 | #Constraints: 41805
332.18/333.69 c #Conflicts: 1139000 | #Constraints: 42806
332.18/333.69 c #Conflicts: 1140000 | #Constraints: 43807
332.18/333.69 c #Conflicts: 1141000 | #Constraints: 44807
332.18/333.69 c #Conflicts: 1142000 | #Constraints: 45808
332.18/333.69 c #Conflicts: 1143000 | #Constraints: 46808
332.18/333.69 c #Conflicts: 1144000 | #Constraints: 47808
332.18/333.69 c #Conflicts: 1145000 | #Constraints: 48808
332.18/333.69 c #Conflicts: 1146000 | #Constraints: 49809
332.18/333.69 c INPROCESSING
332.18/333.69 c GARBAGE COLLECT
332.18/333.69 c rational objective 4
337.92/339.41 c #Conflicts: 1147000 | #Constraints: 29587
337.92/339.41 c #Conflicts: 1148000 | #Constraints: 30587
337.92/339.41 c #Conflicts: 1149000 | #Constraints: 31587
337.92/339.41 c #Conflicts: 1150000 | #Constraints: 32587
337.92/339.41 c #Conflicts: 1151000 | #Constraints: 33587
337.92/339.41 c #Conflicts: 1152000 | #Constraints: 34587
337.92/339.41 c #Conflicts: 1153000 | #Constraints: 35587
337.92/339.41 c #Conflicts: 1154000 | #Constraints: 36587
337.92/339.41 c #Conflicts: 1155000 | #Constraints: 37587
337.92/339.41 c #Conflicts: 1156000 | #Constraints: 38587
337.92/339.41 c #Conflicts: 1157000 | #Constraints: 39587
337.92/339.41 c #Conflicts: 1158000 | #Constraints: 40587
337.92/339.41 c #Conflicts: 1159000 | #Constraints: 41587
337.92/339.41 c #Conflicts: 1160000 | #Constraints: 42587
337.92/339.41 c #Conflicts: 1161000 | #Constraints: 43587
337.92/339.41 c #Conflicts: 1162000 | #Constraints: 44587
337.92/339.41 c #Conflicts: 1163000 | #Constraints: 45587
337.92/339.41 c #Conflicts: 1164000 | #Constraints: 46587
337.92/339.41 c #Conflicts: 1165000 | #Constraints: 47587
337.92/339.41 c #Conflicts: 1166000 | #Constraints: 48587
337.92/339.41 c #Conflicts: 1167000 | #Constraints: 49587
337.92/339.41 c #Conflicts: 1168000 | #Constraints: 50587
337.92/339.41 c INPROCESSING
337.92/339.41 c GARBAGE COLLECT
337.92/339.41 c rational objective 4
343.61/345.12 c #Conflicts: 1169000 | #Constraints: 30180
343.61/345.12 c #Conflicts: 1170000 | #Constraints: 31180
343.61/345.12 c #Conflicts: 1171000 | #Constraints: 32180
343.61/345.12 c #Conflicts: 1172000 | #Constraints: 33180
343.61/345.12 c #Conflicts: 1173000 | #Constraints: 34180
343.61/345.12 c #Conflicts: 1174000 | #Constraints: 35180
343.61/345.12 c #Conflicts: 1175000 | #Constraints: 36180
343.61/345.12 c #Conflicts: 1176000 | #Constraints: 37180
343.61/345.12 c #Conflicts: 1177000 | #Constraints: 38180
343.61/345.12 c #Conflicts: 1178000 | #Constraints: 39180
343.61/345.12 c #Conflicts: 1179000 | #Constraints: 40180
343.61/345.12 c #Conflicts: 1180000 | #Constraints: 41180
343.61/345.12 c #Conflicts: 1181000 | #Constraints: 42180
343.61/345.12 c #Conflicts: 1182000 | #Constraints: 43180
343.61/345.12 c #Conflicts: 1183000 | #Constraints: 44180
343.61/345.12 c #Conflicts: 1184000 | #Constraints: 45180
343.61/345.12 c #Conflicts: 1185000 | #Constraints: 46180
343.61/345.12 c #Conflicts: 1186000 | #Constraints: 47180
343.61/345.12 c #Conflicts: 1187000 | #Constraints: 48180
343.61/345.12 c #Conflicts: 1188000 | #Constraints: 49180
343.61/345.12 c #Conflicts: 1189000 | #Constraints: 50180
343.61/345.12 c #Conflicts: 1190000 | #Constraints: 51180
343.61/345.12 c INPROCESSING
343.61/345.12 c GARBAGE COLLECT
343.61/345.12 c rational objective 4
349.69/351.28 c #Conflicts: 1191000 | #Constraints: 30578
349.69/351.28 c #Conflicts: 1192000 | #Constraints: 31578
349.69/351.28 c #Conflicts: 1193000 | #Constraints: 32578
349.69/351.28 c #Conflicts: 1194000 | #Constraints: 33578
349.69/351.28 c #Conflicts: 1195000 | #Constraints: 34578
349.69/351.28 c #Conflicts: 1196000 | #Constraints: 35578
349.69/351.28 c #Conflicts: 1197000 | #Constraints: 36579
349.69/351.28 c #Conflicts: 1198000 | #Constraints: 37579
349.69/351.28 c #Conflicts: 1199000 | #Constraints: 38579
349.69/351.28 c #Conflicts: 1200000 | #Constraints: 39579
349.69/351.28 c #Conflicts: 1201000 | #Constraints: 40579
349.69/351.28 c #Conflicts: 1202000 | #Constraints: 41580
349.69/351.28 c #Conflicts: 1203000 | #Constraints: 42580
349.69/351.28 c #Conflicts: 1204000 | #Constraints: 43580
349.69/351.28 c #Conflicts: 1205000 | #Constraints: 44580
349.69/351.28 c #Conflicts: 1206000 | #Constraints: 45580
349.69/351.28 c #Conflicts: 1207000 | #Constraints: 46581
349.69/351.28 c #Conflicts: 1208000 | #Constraints: 47581
349.69/351.28 c #Conflicts: 1209000 | #Constraints: 48581
349.69/351.28 c #Conflicts: 1210000 | #Constraints: 49582
349.69/351.28 c #Conflicts: 1211000 | #Constraints: 50582
349.69/351.28 c #Conflicts: 1212000 | #Constraints: 51582
349.69/351.28 c INPROCESSING
349.69/351.28 c GARBAGE COLLECT
349.69/351.28 c rational objective 4
355.58/357.13 c #Conflicts: 1213000 | #Constraints: 30769
355.58/357.13 c #Conflicts: 1214000 | #Constraints: 31769
355.58/357.13 c #Conflicts: 1215000 | #Constraints: 32769
355.58/357.13 c #Conflicts: 1216000 | #Constraints: 33769
355.58/357.13 c #Conflicts: 1217000 | #Constraints: 34769
355.58/357.13 c #Conflicts: 1218000 | #Constraints: 35769
355.58/357.13 c #Conflicts: 1219000 | #Constraints: 36769
355.58/357.13 c #Conflicts: 1220000 | #Constraints: 37769
355.58/357.13 c #Conflicts: 1221000 | #Constraints: 38769
355.58/357.13 c #Conflicts: 1222000 | #Constraints: 39769
355.58/357.13 c #Conflicts: 1223000 | #Constraints: 40769
355.58/357.13 c #Conflicts: 1224000 | #Constraints: 41769
355.58/357.13 c #Conflicts: 1225000 | #Constraints: 42769
355.58/357.13 c #Conflicts: 1226000 | #Constraints: 43769
355.58/357.13 c #Conflicts: 1227000 | #Constraints: 44769
355.58/357.13 c #Conflicts: 1228000 | #Constraints: 45769
355.58/357.13 c #Conflicts: 1229000 | #Constraints: 46769
355.58/357.13 c #Conflicts: 1230000 | #Constraints: 47769
355.58/357.13 c #Conflicts: 1231000 | #Constraints: 48769
355.58/357.13 c #Conflicts: 1232000 | #Constraints: 49769
355.58/357.13 c #Conflicts: 1233000 | #Constraints: 50769
355.58/357.13 c #Conflicts: 1234000 | #Constraints: 51769
355.58/357.13 c INPROCESSING
355.58/357.13 c GARBAGE COLLECT
355.58/357.13 c rational objective 4
361.75/363.32 c #Conflicts: 1235000 | #Constraints: 30758
361.75/363.32 c #Conflicts: 1236000 | #Constraints: 31758
361.75/363.32 c #Conflicts: 1237000 | #Constraints: 32758
361.75/363.32 c #Conflicts: 1238000 | #Constraints: 33758
361.75/363.32 c #Conflicts: 1239000 | #Constraints: 34758
361.75/363.32 c #Conflicts: 1240000 | #Constraints: 35758
361.75/363.32 c #Conflicts: 1241000 | #Constraints: 36758
361.75/363.32 c #Conflicts: 1242000 | #Constraints: 37758
361.75/363.32 c #Conflicts: 1243000 | #Constraints: 38758
361.75/363.32 c #Conflicts: 1244000 | #Constraints: 39758
361.75/363.32 c #Conflicts: 1245000 | #Constraints: 40758
361.75/363.32 c #Conflicts: 1246000 | #Constraints: 41758
361.75/363.32 c #Conflicts: 1247000 | #Constraints: 42758
361.75/363.32 c #Conflicts: 1248000 | #Constraints: 43758
361.75/363.32 c #Conflicts: 1249000 | #Constraints: 44758
361.75/363.32 c #Conflicts: 1250000 | #Constraints: 45758
361.75/363.32 c #Conflicts: 1251000 | #Constraints: 46758
361.75/363.32 c #Conflicts: 1252000 | #Constraints: 47758
361.75/363.32 c #Conflicts: 1253000 | #Constraints: 48758
361.75/363.32 c #Conflicts: 1254000 | #Constraints: 49758
361.75/363.32 c #Conflicts: 1255000 | #Constraints: 50758
361.75/363.32 c #Conflicts: 1256000 | #Constraints: 51758
361.75/363.32 c INPROCESSING
361.75/363.32 c GARBAGE COLLECT
361.75/363.32 c rational objective 4
367.41/369.10 c #Conflicts: 1257000 | #Constraints: 28868
367.41/369.10 c #Conflicts: 1258000 | #Constraints: 29868
367.41/369.10 c #Conflicts: 1259000 | #Constraints: 30868
367.41/369.10 c #Conflicts: 1260000 | #Constraints: 31868
367.41/369.10 c #Conflicts: 1261000 | #Constraints: 32868
367.41/369.10 c #Conflicts: 1262000 | #Constraints: 33868
367.41/369.10 c #Conflicts: 1263000 | #Constraints: 34868
367.41/369.10 c #Conflicts: 1264000 | #Constraints: 35868
367.41/369.10 c #Conflicts: 1265000 | #Constraints: 36868
367.41/369.10 c #Conflicts: 1266000 | #Constraints: 37868
367.41/369.10 c #Conflicts: 1267000 | #Constraints: 38868
367.41/369.10 c #Conflicts: 1268000 | #Constraints: 39868
367.41/369.10 c #Conflicts: 1269000 | #Constraints: 40868
367.41/369.10 c #Conflicts: 1270000 | #Constraints: 41868
367.41/369.10 c #Conflicts: 1271000 | #Constraints: 42868
367.41/369.10 c #Conflicts: 1272000 | #Constraints: 43868
367.41/369.10 c #Conflicts: 1273000 | #Constraints: 44868
367.41/369.10 c #Conflicts: 1274000 | #Constraints: 45868
367.41/369.10 c #Conflicts: 1275000 | #Constraints: 46868
367.41/369.10 c #Conflicts: 1276000 | #Constraints: 47868
367.51/369.10 c #Conflicts: 1277000 | #Constraints: 48868
367.51/369.10 c #Conflicts: 1278000 | #Constraints: 49868
367.51/369.10 c #Conflicts: 1279000 | #Constraints: 50868
367.51/369.10 c INPROCESSING
367.51/369.10 c GARBAGE COLLECT
367.51/369.10 c rational objective 4
374.68/376.34 c #Conflicts: 1280000 | #Constraints: 30301
374.68/376.34 c #Conflicts: 1281000 | #Constraints: 31301
374.68/376.34 c #Conflicts: 1282000 | #Constraints: 32301
374.68/376.34 c #Conflicts: 1283000 | #Constraints: 33301
374.68/376.34 c #Conflicts: 1284000 | #Constraints: 34301
374.68/376.34 c #Conflicts: 1285000 | #Constraints: 35301
374.68/376.34 c #Conflicts: 1286000 | #Constraints: 36301
374.68/376.34 c #Conflicts: 1287000 | #Constraints: 37301
374.68/376.34 c #Conflicts: 1288000 | #Constraints: 38301
374.68/376.34 c #Conflicts: 1289000 | #Constraints: 39301
374.68/376.34 c #Conflicts: 1290000 | #Constraints: 40301
374.68/376.34 c #Conflicts: 1291000 | #Constraints: 41301
374.68/376.34 c #Conflicts: 1292000 | #Constraints: 42301
374.68/376.34 c #Conflicts: 1293000 | #Constraints: 43301
374.68/376.34 c #Conflicts: 1294000 | #Constraints: 44301
374.68/376.34 c #Conflicts: 1295000 | #Constraints: 45301
374.68/376.34 c #Conflicts: 1296000 | #Constraints: 46301
374.68/376.34 c #Conflicts: 1297000 | #Constraints: 47301
374.68/376.34 c #Conflicts: 1298000 | #Constraints: 48301
374.68/376.34 c #Conflicts: 1299000 | #Constraints: 49301
374.68/376.34 c #Conflicts: 1300000 | #Constraints: 50301
374.68/376.34 c #Conflicts: 1301000 | #Constraints: 51301
374.68/376.34 c #Conflicts: 1302000 | #Constraints: 52301
374.68/376.34 c INPROCESSING
374.68/376.34 c GARBAGE COLLECT
374.68/376.34 c rational objective 4
381.06/382.71 c #Conflicts: 1303000 | #Constraints: 31117
381.06/382.71 c #Conflicts: 1304000 | #Constraints: 32117
381.06/382.71 c #Conflicts: 1305000 | #Constraints: 33117
381.06/382.71 c #Conflicts: 1306000 | #Constraints: 34117
381.06/382.71 c #Conflicts: 1307000 | #Constraints: 35117
381.06/382.71 c #Conflicts: 1308000 | #Constraints: 36117
381.06/382.71 c #Conflicts: 1309000 | #Constraints: 37117
381.06/382.71 c #Conflicts: 1310000 | #Constraints: 38117
381.06/382.71 c #Conflicts: 1311000 | #Constraints: 39117
381.06/382.71 c #Conflicts: 1312000 | #Constraints: 40117
381.06/382.71 c #Conflicts: 1313000 | #Constraints: 41117
381.06/382.71 c #Conflicts: 1314000 | #Constraints: 42117
381.06/382.71 c #Conflicts: 1315000 | #Constraints: 43117
381.06/382.71 c #Conflicts: 1316000 | #Constraints: 44117
381.06/382.71 c #Conflicts: 1317000 | #Constraints: 45117
381.06/382.71 c #Conflicts: 1318000 | #Constraints: 46117
381.06/382.71 c #Conflicts: 1319000 | #Constraints: 47117
381.06/382.71 c #Conflicts: 1320000 | #Constraints: 48117
381.06/382.71 c #Conflicts: 1321000 | #Constraints: 49117
381.06/382.71 c #Conflicts: 1322000 | #Constraints: 50117
381.06/382.71 c #Conflicts: 1323000 | #Constraints: 51117
381.06/382.71 c #Conflicts: 1324000 | #Constraints: 52117
381.06/382.71 c #Conflicts: 1325000 | #Constraints: 53117
381.06/382.71 c INPROCESSING
381.06/382.71 c GARBAGE COLLECT
381.06/382.71 c rational objective 4
387.75/389.46 c #Conflicts: 1326000 | #Constraints: 31527
387.75/389.46 c #Conflicts: 1327000 | #Constraints: 32527
387.75/389.46 c #Conflicts: 1328000 | #Constraints: 33527
387.75/389.46 c #Conflicts: 1329000 | #Constraints: 34527
387.75/389.46 c #Conflicts: 1330000 | #Constraints: 35527
387.75/389.46 c #Conflicts: 1331000 | #Constraints: 36527
387.75/389.46 c #Conflicts: 1332000 | #Constraints: 37527
387.75/389.46 c #Conflicts: 1333000 | #Constraints: 38527
387.75/389.46 c #Conflicts: 1334000 | #Constraints: 39527
387.75/389.46 c #Conflicts: 1335000 | #Constraints: 40527
387.75/389.46 c #Conflicts: 1336000 | #Constraints: 41527
387.75/389.46 c #Conflicts: 1337000 | #Constraints: 42527
387.75/389.46 c #Conflicts: 1338000 | #Constraints: 43527
387.75/389.46 c #Conflicts: 1339000 | #Constraints: 44527
387.75/389.46 c #Conflicts: 1340000 | #Constraints: 45527
387.75/389.46 c #Conflicts: 1341000 | #Constraints: 46527
387.75/389.46 c #Conflicts: 1342000 | #Constraints: 47527
387.75/389.46 c #Conflicts: 1343000 | #Constraints: 48527
387.75/389.46 c #Conflicts: 1344000 | #Constraints: 49527
387.75/389.46 c #Conflicts: 1345000 | #Constraints: 50527
387.75/389.46 c #Conflicts: 1346000 | #Constraints: 51527
387.75/389.46 c #Conflicts: 1347000 | #Constraints: 52527
387.75/389.46 c #Conflicts: 1348000 | #Constraints: 53527
387.75/389.46 c INPROCESSING
387.75/389.46 c GARBAGE COLLECT
387.75/389.46 c rational objective 4
395.12/396.83 c #Conflicts: 1349000 | #Constraints: 31627
395.12/396.83 c #Conflicts: 1350000 | #Constraints: 32627
395.12/396.83 c #Conflicts: 1351000 | #Constraints: 33627
395.12/396.83 c #Conflicts: 1352000 | #Constraints: 34627
395.12/396.83 c #Conflicts: 1353000 | #Constraints: 35627
395.12/396.83 c #Conflicts: 1354000 | #Constraints: 36627
395.12/396.83 c #Conflicts: 1355000 | #Constraints: 37627
395.12/396.83 c #Conflicts: 1356000 | #Constraints: 38627
395.12/396.83 c #Conflicts: 1357000 | #Constraints: 39627
395.12/396.83 c #Conflicts: 1358000 | #Constraints: 40627
395.12/396.83 c #Conflicts: 1359000 | #Constraints: 41627
395.12/396.83 c #Conflicts: 1360000 | #Constraints: 42627
395.12/396.83 c #Conflicts: 1361000 | #Constraints: 43627
395.12/396.83 c #Conflicts: 1362000 | #Constraints: 44627
395.12/396.83 c #Conflicts: 1363000 | #Constraints: 45627
395.12/396.83 c #Conflicts: 1364000 | #Constraints: 46627
395.12/396.83 c #Conflicts: 1365000 | #Constraints: 47627
395.12/396.83 c #Conflicts: 1366000 | #Constraints: 48627
395.12/396.83 c #Conflicts: 1367000 | #Constraints: 49627
395.12/396.83 c #Conflicts: 1368000 | #Constraints: 50627
395.12/396.83 c #Conflicts: 1369000 | #Constraints: 51627
395.12/396.83 c #Conflicts: 1370000 | #Constraints: 52627
395.12/396.83 c #Conflicts: 1371000 | #Constraints: 53627
395.12/396.83 c INPROCESSING
395.12/396.83 c GARBAGE COLLECT
395.12/396.83 c rational objective 4
402.13/403.96 c #Conflicts: 1372000 | #Constraints: 27000
402.13/403.96 c #Conflicts: 1373000 | #Constraints: 28000
402.13/403.96 c #Conflicts: 1374000 | #Constraints: 29000
402.13/403.96 c #Conflicts: 1375000 | #Constraints: 30000
402.13/403.96 c #Conflicts: 1376000 | #Constraints: 31000
402.13/403.96 c #Conflicts: 1377000 | #Constraints: 32000
402.13/403.96 c #Conflicts: 1378000 | #Constraints: 33000
402.13/403.96 c #Conflicts: 1379000 | #Constraints: 34000
402.13/403.96 c #Conflicts: 1380000 | #Constraints: 35000
402.13/403.96 c #Conflicts: 1381000 | #Constraints: 36000
402.13/403.96 c #Conflicts: 1382000 | #Constraints: 37000
402.13/403.96 c #Conflicts: 1383000 | #Constraints: 38000
402.13/403.96 c #Conflicts: 1384000 | #Constraints: 39000
402.13/403.96 c #Conflicts: 1385000 | #Constraints: 40000
402.13/403.96 c #Conflicts: 1386000 | #Constraints: 41000
402.13/403.96 c #Conflicts: 1387000 | #Constraints: 42000
402.13/403.96 c #Conflicts: 1388000 | #Constraints: 43000
402.13/403.96 c #Conflicts: 1389000 | #Constraints: 44000
402.13/403.96 c #Conflicts: 1390000 | #Constraints: 45000
402.13/403.96 c #Conflicts: 1391000 | #Constraints: 46000
402.13/403.96 c #Conflicts: 1392000 | #Constraints: 47000
402.13/403.96 c #Conflicts: 1393000 | #Constraints: 48000
402.13/403.96 c #Conflicts: 1394000 | #Constraints: 49000
402.13/403.96 c #Conflicts: 1395000 | #Constraints: 50000
402.13/403.96 c INPROCESSING
402.13/403.96 c GARBAGE COLLECT
402.13/403.96 c rational objective 4
405.22/407.02 c #Conflicts: 1396000 | #Constraints: 29852
405.22/407.02 c #Conflicts: 1397000 | #Constraints: 30852
405.22/407.02 c #Conflicts: 1398000 | #Constraints: 31852
405.22/407.02 c #Conflicts: 1399000 | #Constraints: 32852
405.22/407.02 c #Conflicts: 1400000 | #Constraints: 33852
405.22/407.02 c #Conflicts: 1401000 | #Constraints: 34852
405.22/407.02 c #Conflicts: 1402000 | #Constraints: 35852
405.22/407.02 c #Conflicts: 1403000 | #Constraints: 36852
405.22/407.02 c #Conflicts: 1404000 | #Constraints: 37852
405.22/407.02 c #Conflicts: 1405000 | #Constraints: 38852
405.22/407.02 c bounds 5 >= 5 @ 396.182
405.22/407.02 c cpu time 396.182 s
405.22/407.02 c deterministic time 13394185744 1.34e+10
405.22/407.02 c optimization time 0.001736 s
405.22/407.02 c total solve time 396.105 s
405.22/407.02 c core-guided solve time 207.582 s
405.22/407.02 c propagation time 296.361 s
405.22/407.02 c conflict analysis time 75.3052 s
405.22/407.02 c propagations 112618398
405.22/407.02 c resolve steps 20126546
405.22/407.02 c decisions 1751407
405.22/407.02 c conflicts 1405910
405.22/407.02 c restarts 2697
405.22/407.02 c inprocessing phases 109
405.22/407.02 c garbage collections 109 ,( 100.00 )
405.22/407.02 c input clauses 16122 ,( 99.86 )
405.22/407.02 c input cardinalities 20 ,( 0.12 )
405.22/407.02 c input general constraints 2 ,( 0.01 )
405.22/407.02 c input average constraint length 3.02
405.22/407.02 c input average constraint degree 1.01
405.22/407.02 c learned clauses 1329160 ,( 94.04 )
405.22/407.02 c learned cardinalities 227 ,( 0.02 )
405.22/407.02 c learned general constraints 83967 ,( 5.94 )
405.22/407.02 c learned average constraint length 108.96
405.22/407.02 c learned average constraint degree 10004176.12
405.22/407.02 c watched CF 32, 64, 128, Arb: 26700 , 0 , 0 , 0
405.22/407.02 c counting CF 32, 64, 128, Arb: 57270 , 0 , 0 , 0
405.22/407.02 c watched constraints 26700 ,( 31.80 )
405.22/407.02 c counting constraints 57269 ,( 68.20 )
405.22/407.02 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1224939781 , 16953445 , 600311042 ,( 26060444 , 574250598 )
405.22/407.02 c gcd simplifications 551
405.22/407.02 c detected cardinalities 9
405.22/407.02 c weakened non-implied lits 3795916
405.22/407.02 c weakened non-implying lits 34
405.22/407.02 c original variables 1451
405.22/407.02 c clausal propagations 103801683
405.22/407.02 c cardinality propagations 5290687
405.22/407.02 c watched propagations 50564
405.22/407.02 c counting propagations 2065410
405.22/407.02 c watch lookups 4243694387
405.22/407.02 c watch backjump lookups 0
405.22/407.02 c watch checks 6071647828
405.22/407.02 c propagation checks 2360029834
405.22/407.02 c constraint additions 487259691
405.22/407.02 c trail pops 115775070
405.22/407.02 c formula constraints 16123
405.22/407.02 c learned constraints 1405905
405.22/407.02 c bound constraints 11
405.22/407.02 c core-guided constraints 10
405.22/407.02 c encountered formula constraints 9065959
405.22/407.02 c encountered learned constraints 12414830
405.22/407.02 c encountered bound constraints 9
405.22/407.02 c encountered core-guided constraints 7
405.22/407.02 c LP total time 150.438 s
405.22/407.02 c LP solve time 131.93 s
405.22/407.02 c LP constraints added 18387
405.22/407.02 c LP constraints removed 2243
405.22/407.02 c LP pivots internal 1405917
405.22/407.02 c LP pivots root 3211
405.22/407.02 c LP calls 57876
405.22/407.02 c LP optimalities 50750
405.22/407.02 c LP no pivot count 3858
405.22/407.02 c LP infeasibilities 7125
405.22/407.02 c LP valid Farkas constraints 7124
405.22/407.02 c LP learned Farkas constraints 1
405.22/407.02 c LP basis resets 0
405.22/407.02 c LP cycling count 0
405.22/407.02 c LP singular count 0
405.22/407.02 c LP no primal count 0
405.22/407.02 c LP no farkas count 0
405.22/407.02 c LP other issue count 0
405.22/407.02 c LP Gomory cuts 324
405.22/407.02 c LP learned cuts 1940
405.22/407.02 c LP deleted cuts 2243
405.22/407.02 c LP encountered Gomory constraints 51642
405.22/407.02 c LP encountered Farkas constraints 7
405.22/407.02 c LP encountered learned Farkas constraints 1
405.22/407.02 c CG auxiliary variables introduced 4
405.22/407.02 c CG solutions found 8
405.22/407.02 c CG cores constructed 4
405.22/407.02 c CG core cardinality constraints returned 0
405.22/407.02 c CG unit cores 0
405.22/407.02 c CG single cores 4
405.22/407.02 c CG blocks removed during cardinality reduction 0
405.22/407.02 c CG first core best 0
405.22/407.02 c CG decision core best 0
405.22/407.02 c CG core reduction tie 0
405.22/407.02 c CG core degree average 1.00
405.22/407.02 c CG core slack average 3.00
405.22/407.02 c CG core upper bound improvements 1
405.22/407.02 c STR number of successful calls 0
405.22/407.02 c STR number of unsuccessful calls 0
405.22/407.02 c STR number of inconclusive calls 0
405.22/407.02 c STR number of successful attempts 0
405.22/407.02 c STR number of unsuccessful attempts 0
405.22/407.02 c STR number of inconclusive attempts 0
405.22/407.02 c STR average degree increase per successful call inf
405.22/407.02 c STR average degree increase per successful attempt inf
405.22/407.02 c STR total number of conflicts for successful attempts 0
405.22/407.02 c STR total number of conflicts for unsuccessful attempts 0
405.22/407.02 c STR total number of conflicts for inconclusive attempts 0
405.22/407.02 c STR average number of conflicts per successful attempt inf
405.22/407.02 c STR average number of conflicts per unsuccessful attempt inf
405.22/407.02 c STR average number of conflicts per inconclusive attempt inf
405.22/407.02 c AVG.sumWPerc 61.41
405.22/407.02 c bigint constraints 0
405.22/407.02 o 5
405.22/407.02 s OPTIMUM FOUND
405.22/407.04 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 x88 x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 x294 x295 x296 x297 x298 x299 x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Wed Jul 16 14:19:26 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 5 <= obj <= 5
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 5 <= obj <= 5
--summary--
ALL OK
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61628 MiB free)
memory of node 1: 64465 MiB (61140 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532684-1752596993/watcher-4532684-1752596993 -o /tmp/evaluation-result-4532684-1752596993/solver-4532684-1752596993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752596850-136809 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532684-1752596993.opb PROOFDIR/proof-4532684-1752596993
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=137212, runsolver pid=137209
Current StackSize limit: 8192 KiB
[startup+0.100019 s]*
/proc/loadavg: 4.83 4.37 3.99 5/406 137215
/proc/meminfo: memFree=125716000/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=55704 memory=8960 CPUtime=0 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 459 0 0 0 0 0 0 0 20 0 1 0 175376834 57040896 2240 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 13926 2240 1984 1147 0 1352 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 59896 KiB
Current children cumulated memory: 12032 KiB
[startup+0.209216 s]*
/proc/loadavg: 4.83 4.37 3.99 5/406 137215
/proc/meminfo: memFree=125700076/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=75280 memory=31876 CPUtime=0.1 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 5417 0 0 0 9 1 0 0 20 0 1 0 175376834 77086720 7969 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 18820 7969 2336 1147 0 6246 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 79472 KiB
Current children cumulated memory: 34948 KiB
[startup+0.309201 s]*
/proc/loadavg: 4.83 4.37 3.99 4/406 137215
/proc/meminfo: memFree=125695192/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=75280 memory=32004 CPUtime=0.2 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 5418 0 0 0 19 1 0 0 20 0 1 0 175376834 77086720 8001 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 18820 8001 2368 1147 0 6246 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 79472 KiB
Current children cumulated memory: 35076 KiB
[startup+0.700201 s]
/proc/loadavg: 4.83 4.37 3.99 5/406 137215
/proc/meminfo: memFree=125717612/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=75148 memory=32260 CPUtime=0.59 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 5450 0 0 0 56 3 0 0 20 0 1 0 175376834 76951552 8065 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 18787 8065 2432 1147 0 6213 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 79340 KiB
Current children cumulated memory: 35332 KiB
[startup+1.5002 s]
/proc/loadavg: 4.83 4.37 3.99 5/406 137215
/proc/meminfo: memFree=125687292/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=79012 memory=34948 CPUtime=1.39 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 6140 0 0 0 134 5 0 0 20 0 1 0 175376834 80908288 8737 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 19753 8737 2432 1147 0 7179 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 83204 KiB
Current children cumulated memory: 38020 KiB
[startup+3.10919 s]
/proc/loadavg: 4.76 4.37 3.99 5/406 137215
/proc/meminfo: memFree=125592852/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=80644 memory=36712 CPUtime=2.99 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 6600 0 0 0 289 10 0 0 20 0 1 0 175376834 82579456 9178 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 20161 9178 2432 1147 0 7587 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 84836 KiB
Current children cumulated memory: 39784 KiB
[startup+6.30014 s]
/proc/loadavg: 4.76 4.37 3.99 5/406 137215
/proc/meminfo: memFree=125502520/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=81220 memory=39208 CPUtime=6.17 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 6709 0 0 0 596 21 0 0 20 0 1 0 175376834 83169280 9802 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 20305 9802 2432 1147 0 7731 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 85412 KiB
Current children cumulated memory: 42280 KiB
[startup+12.7002 s]
/proc/loadavg: 4.70 4.36 3.99 5/406 137215
/proc/meminfo: memFree=125282220/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=82180 memory=40232 CPUtime=12.56 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 6980 0 0 0 1216 40 0 0 20 0 1 0 175376834 84152320 10058 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 20545 10058 2432 1147 0 7971 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 86372 KiB
Current children cumulated memory: 43304 KiB
[startup+25.5002 s]
/proc/loadavg: 4.55 4.34 3.99 5/406 137215
/proc/meminfo: memFree=124971316/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=87824 memory=43944 CPUtime=25.33 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 7916 0 0 0 2461 72 0 0 20 0 1 0 175376834 89931776 10986 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 21956 10986 2432 1147 0 9382 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 92016 KiB
Current children cumulated memory: 47016 KiB
[startup+51.1091 s]
/proc/loadavg: 4.42 4.33 4.00 5/405 137216
/proc/meminfo: memFree=124377200/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=96732 memory=52264 CPUtime=50.78 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 10017 0 0 0 4947 131 0 0 20 0 1 0 175376834 99053568 13066 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 24183 13066 2432 1147 0 11609 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 100924 KiB
Current children cumulated memory: 55336 KiB
[startup+102.3 s]
/proc/loadavg: 4.31 4.31 4.01 5/406 137218
/proc/meminfo: memFree=122998892/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=103544 memory=58664 CPUtime=101.74 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 11641 0 0 0 9924 250 0 0 20 0 1 0 175376834 106029056 14666 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 25886 14666 2432 1147 0 13312 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 107736 KiB
Current children cumulated memory: 61736 KiB
[startup+162.3 s]
/proc/loadavg: 4.50 4.35 4.04 5/271 137223
/proc/meminfo: memFree=121526284/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=120184 memory=70904 CPUtime=161.51 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 14149 0 0 0 15783 368 0 0 20 0 1 0 175376834 123068416 17726 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 30046 17726 2432 1147 0 17472 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 124376 KiB
Current children cumulated memory: 73976 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 4.30 4.04 5/272 137230
/proc/meminfo: memFree=120294144/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=125432 memory=80164 CPUtime=221.27 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 15958 0 0 0 21633 494 0 0 20 0 1 0 175376834 128442368 20041 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 31358 20041 2432 1147 0 18784 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 129624 KiB
Current children cumulated memory: 83236 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.26 4.04 5/272 137232
/proc/meminfo: memFree=118637008/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=126800 memory=81572 CPUtime=281.01 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 16314 0 0 0 27496 605 0 0 20 0 1 0 175376834 129843200 20393 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 31700 20393 2432 1147 0 19126 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 130992 KiB
Current children cumulated memory: 84644 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.22 4.04 5/272 137234
/proc/meminfo: memFree=117423384/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=128432 memory=85268 CPUtime=340.76 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 16726 0 0 0 33321 755 0 0 20 0 1 0 175376834 131514368 21317 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 32108 21317 2432 1147 0 19534 0
Current children cumulated CPU time: 340.82 s
Current children cumulated vsize: 132624 KiB
Current children cumulated memory: 88340 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.23 4.05 5/273 137237
/proc/meminfo: memFree=116171796/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=128432 memory=85908 CPUtime=400.48 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 16896 0 0 0 39158 890 0 0 20 0 1 0 175376834 131514368 21477 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 32108 21477 2432 1147 0 19534 0
Current children cumulated CPU time: 400.54 s
Current children cumulated vsize: 132624 KiB
Current children cumulated memory: 88980 KiB
[startup+407.052 s]
# the end of solver process 137212 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=396.253 s, system=9.02307 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+403.2 s]
/proc/loadavg: 4.29 4.24 4.05 5/273 137237
/proc/meminfo: memFree=116138568/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=128432 memory=85908 CPUtime=401.36 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 16896 0 0 0 39245 891 0 0 20 0 1 0 175376834 131514368 21477 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 32108 21477 2432 1147 0 19534 0
Current children cumulated CPU time: 401.42 s
Current children cumulated vsize: 132624 KiB
Current children cumulated memory: 88980 KiB
[startup+404.8 s]
/proc/loadavg: 4.29 4.24 4.05 5/273 137237
/proc/meminfo: memFree=116110280/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=128432 memory=85908 CPUtime=402.97 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 16896 0 0 0 39402 895 0 0 20 0 1 0 175376834 131514368 21477 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 32108 21477 2432 1147 0 19534 0
Current children cumulated CPU time: 403.03 s
Current children cumulated vsize: 132624 KiB
Current children cumulated memory: 88980 KiB
[startup+406.4 s]
/proc/loadavg: 4.29 4.24 4.05 5/273 137237
/proc/meminfo: memFree=116001476/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=128432 memory=85908 CPUtime=404.56 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 16896 0 0 0 39557 899 0 0 20 0 1 0 175376834 131514368 21477 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 32108 21477 2432 1147 0 19534 0
Current children cumulated CPU time: 404.62 s
Current children cumulated vsize: 132624 KiB
Current children cumulated memory: 88980 KiB
[startup+406.8 s]
/proc/loadavg: 4.29 4.24 4.05 5/273 137237
/proc/meminfo: memFree=116001476/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=128432 memory=85908 CPUtime=404.95 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 16896 0 0 0 39596 899 0 0 20 0 1 0 175376834 131514368 21477 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 32108 21477 2432 1147 0 19534 0
Current children cumulated CPU time: 405.01 s
Current children cumulated vsize: 132624 KiB
Current children cumulated memory: 88980 KiB
[startup+407 s]*
/proc/loadavg: 4.29 4.24 4.05 5/272 137237
/proc/meminfo: memFree=115981476/131249996 swapFree=33006296/33010684
[pid=137212] ppid=137209 vsize=4192 memory=3072 CPUtime=0.06 cores=0,2
/proc/137212/stat : 137212 (run-opt-break-l) S 137209 137212 136799 0 -1 4194304 240 2193 0 0 0 0 6 0 20 0 1 0 175376825 4292608 768 18446744073709551615 94583634149376 94583635043909 140737094337408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94583635282960 94583635330704 94583648776192 140737094338835 140737094339036 140737094339036 140737094344640 0
/proc/137212/statm: 1048 768 704 219 0 110 0
[pid=137215] ppid=137212 vsize=128432 memory=85908 CPUtime=405.16 cores=0,2
/proc/137215/stat : 137215 (roundingsat) R 137212 137212 136799 0 -1 4194304 16896 0 0 0 39616 900 0 0 20 0 1 0 175376834 131514368 21477 18446744073709551615 4227072 8923577 140720354567680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 39460864 140720354572562 140720354572838 140720354572838 140720354578410 0
/proc/137215/statm: 32108 21477 2432 1147 0 19534 0
Current children cumulated CPU time: 405.22 s
Current children cumulated vsize: 132624 KiB
Current children cumulated memory: 88980 KiB
Child status: 0
Real time (s): 407.052
CPU time (s): 405.276
CPU user time (s): 396.253
CPU system time (s): 9.02307
CPU usage (%): 99.5639
Max. virtual memory (cumulated for all children) (KiB): 132624
Max. memory (cumulated for all children) (KiB): 88980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 396.253
system time used= 9.02307
maximum resident set size= 85908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 934216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 822
involuntary context switches= 811
# summary of solver processes directly reported to runsolver:
# pid: 137212
# total CPU time (s): 405.276
# total CPU user time (s): 396.253
# total CPU system time (s): 9.02307
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05579 second user time and 2.30223 second system time
The end
Launcher Data
Begin job on nodeC015 at 2025-07-15 18:29:53
IDJOB=4532684
IDBENCH=176086
IDSOLVER=3393
FILE ID=nodeC015/4532684-1752596993
RUNJOBID= nodeC015-1752596850-136809
SLURM_JOB_ID= 9684379
Free space on /tmp= 432752 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=8.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532684-1752596993/watcher-4532684-1752596993 -o /tmp/evaluation-result-4532684-1752596993/solver-4532684-1752596993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752596850-136809 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532684-1752596993.opb PROOFDIR/proof-4532684-1752596993
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f
RANDOM SEED=757127978
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.064
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.123
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3616.546
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.088
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.056
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3654.489
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3608.294
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125723776 kB
MemAvailable: 128468436 kB
Buffers: 1508 kB
Cached: 3530840 kB
SwapCached: 3880 kB
Active: 1636032 kB
Inactive: 3216264 kB
Active(anon): 1293960 kB
Inactive(anon): 48412 kB
Active(file): 342072 kB
Inactive(file): 3167852 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 941544 kB
Writeback: 204 kB
AnonPages: 1319244 kB
Mapped: 119124 kB
Shmem: 22344 kB
KReclaimable: 147952 kB
Slab: 274456 kB
SReclaimable: 147952 kB
SUnreclaim: 126504 kB
KernelStack: 6560 kB
PageTables: 6040 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1846572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 152808 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432744 MiB
End job on nodeC015 at 2025-07-15 18:36:41