Trace number 4517447
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-4517447-1751526944.opb'
0.00/0.02 c read 0.40MB (5.69ms)
0.00/0.02 c [cnf: #variables 364 #clauses 12832 #duplicates 0 #arr 38844]
0.00/0.03 c output proof to 'PROOFDIR/proof-4517447-1751526944'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 8] (2.43ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.04 c candidate Johnson 13, ar 2
0.00/0.09 c found row 13x28, generating row predicate
0.00/0.09 c found row 8x26, generating row predicate
0.00/0.09 c found Johnson 13, ar 2, block_sz 42
0.00/0.09 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.09 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.09 c (57.61ms)
0.00/0.09 c
0.00/0.09 c detect symmetries on remainder
0.00/0.09 c [graph: #vertices 14275 #edges 79846]
0.00/0.09 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 1.00*10^0 #generators 0] (1.93ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 3292 #add_vars 1087]
0.00/0.09 c
0.00/0.09 c write result to 'HOME/instance-4517447-1751526944.opb.pre'
0.00/0.10 c wrote 0.51MB (3.95ms)
0.00/0.10 c ------------------------------------------------------------------
0.00/0.10 c 57.61ms 64.50% detect_special
0.00/0.10 c 17.70ms 19.82% other
0.00/0.10 c 5.69ms 6.37% parse
0.00/0.10 c 3.95ms 4.42% output
0.00/0.10 c 2.43ms 2.72% approx_orbits
0.00/0.10 c 1.93ms 2.16% detect_generic
0.00/0.10 c 0.01ms 0.01% finalize_order
0.00/0.10 c ───────────────────────────────────────────────
0.00/0.10 c 89.32ms 100% total
0.00/0.10 c ------------------------------------------------------------------
0.06/0.11 c RoundingSat 2
0.06/0.11 c branch pb25
0.06/0.11 c commit 63f22ad
0.15/0.21 c #variables 1451 #constraints 16123
0.15/0.21 c objective is ce32
0.15/0.22 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.15/0.22 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.15/0.22 c bounds 11 >= 0 @ 0.075569
0.24/0.40 c bounds 10 >= 0 @ 0.245991
0.24/0.40 c bounds 10 >= 1 @ 0.253299
0.24/0.41 c bounds 9 >= 1 @ 0.255022
0.24/0.41 c bounds 8 >= 1 @ 0.255708
0.33/0.41 c bounds 7 >= 1 @ 0.256682
0.33/0.41 c bounds 6 >= 1 @ 0.257573
0.33/0.41 c bounds 5 >= 1 @ 0.257712
0.53/0.63 c #Conflicts: 1000 | #Constraints: 17132
0.53/0.63 c #Conflicts: 2000 | #Constraints: 18132
0.53/0.63 c INPROCESSING
0.53/0.63 c GARBAGE COLLECT
0.53/0.63 c rational objective 1
0.93/1.03 c #Conflicts: 3000 | #Constraints: 16023
0.93/1.03 c #Conflicts: 4000 | #Constraints: 17023
0.93/1.03 c INPROCESSING
0.93/1.03 c GARBAGE COLLECT
0.93/1.03 c rational objective 1
1.42/1.52 c #Conflicts: 5000 | #Constraints: 16464
1.42/1.52 c #Conflicts: 6000 | #Constraints: 17464
1.42/1.52 c INPROCESSING
1.42/1.52 c GARBAGE COLLECT
1.42/1.52 c rational objective 1
1.93/2.04 c #Conflicts: 7000 | #Constraints: 14533
1.93/2.04 c #Conflicts: 8000 | #Constraints: 15533
1.93/2.04 c #Conflicts: 9000 | #Constraints: 16533
1.93/2.04 c INPROCESSING
1.93/2.04 c GARBAGE COLLECT
1.93/2.04 c rational objective 1
2.52/2.63 c #Conflicts: 10000 | #Constraints: 15258
2.52/2.63 c #Conflicts: 11000 | #Constraints: 16258
2.52/2.63 c #Conflicts: 12000 | #Constraints: 17258
2.52/2.63 c INPROCESSING
2.52/2.63 c GARBAGE COLLECT
2.52/2.63 c rational objective 1
2.73/2.85 c bounds 5 >= 2 @ 2.62622
3.03/3.17 c #Conflicts: 13000 | #Constraints: 15306
3.03/3.17 c #Conflicts: 14000 | #Constraints: 16306
3.03/3.17 c #Conflicts: 15000 | #Constraints: 17306
3.03/3.17 c INPROCESSING
3.03/3.17 c GARBAGE COLLECT
3.03/3.17 c rational objective 2
3.52/3.68 c #Conflicts: 16000 | #Constraints: 15540
3.52/3.68 c #Conflicts: 17000 | #Constraints: 16540
3.52/3.68 c #Conflicts: 18000 | #Constraints: 17540
3.52/3.68 c INPROCESSING
3.52/3.68 c GARBAGE COLLECT
3.52/3.68 c rational objective 2
4.22/4.37 c #Conflicts: 19000 | #Constraints: 15576
4.22/4.37 c #Conflicts: 20000 | #Constraints: 16576
4.22/4.37 c #Conflicts: 21000 | #Constraints: 17576
4.22/4.37 c INPROCESSING
4.22/4.37 c GARBAGE COLLECT
4.22/4.37 c rational objective 2
4.82/4.97 c #Conflicts: 22000 | #Constraints: 13691
4.82/4.97 c #Conflicts: 23000 | #Constraints: 14691
4.82/4.97 c #Conflicts: 24000 | #Constraints: 15691
4.82/4.97 c #Conflicts: 25000 | #Constraints: 16691
4.82/4.97 c INPROCESSING
4.82/4.97 c GARBAGE COLLECT
4.82/4.97 c rational objective 2
5.51/5.67 c #Conflicts: 26000 | #Constraints: 14312
5.51/5.67 c #Conflicts: 27000 | #Constraints: 15312
5.51/5.67 c #Conflicts: 28000 | #Constraints: 16312
5.51/5.67 c #Conflicts: 29000 | #Constraints: 17312
5.51/5.67 c INPROCESSING
5.51/5.67 c GARBAGE COLLECT
5.51/5.67 c rational objective 2
6.21/6.37 c #Conflicts: 30000 | #Constraints: 14705
6.21/6.37 c #Conflicts: 31000 | #Constraints: 15705
6.21/6.37 c #Conflicts: 32000 | #Constraints: 16705
6.21/6.37 c #Conflicts: 33000 | #Constraints: 17705
6.21/6.37 c INPROCESSING
6.21/6.37 c GARBAGE COLLECT
6.21/6.37 c rational objective 2
7.01/7.16 c #Conflicts: 34000 | #Constraints: 14918
7.01/7.16 c #Conflicts: 35000 | #Constraints: 15918
7.01/7.16 c #Conflicts: 36000 | #Constraints: 16918
7.01/7.16 c #Conflicts: 37000 | #Constraints: 17918
7.01/7.16 c INPROCESSING
7.01/7.16 c GARBAGE COLLECT
7.01/7.16 c rational objective 2
7.71/7.89 c #Conflicts: 38000 | #Constraints: 14917
7.71/7.89 c #Conflicts: 39000 | #Constraints: 15917
7.71/7.89 c #Conflicts: 40000 | #Constraints: 16918
7.71/7.89 c #Conflicts: 41000 | #Constraints: 17918
7.71/7.89 c INPROCESSING
7.71/7.89 c GARBAGE COLLECT
7.71/7.89 c rational objective 2
8.51/8.67 c #Conflicts: 42000 | #Constraints: 14734
8.51/8.67 c #Conflicts: 43000 | #Constraints: 15734
8.51/8.67 c #Conflicts: 44000 | #Constraints: 16734
8.51/8.67 c #Conflicts: 45000 | #Constraints: 17734
8.51/8.67 c #Conflicts: 46000 | #Constraints: 18734
8.51/8.67 c INPROCESSING
8.51/8.67 c GARBAGE COLLECT
8.51/8.67 c rational objective 2
9.40/9.50 c #Conflicts: 47000 | #Constraints: 15337
9.40/9.50 c #Conflicts: 48000 | #Constraints: 16337
9.40/9.50 c #Conflicts: 49000 | #Constraints: 17338
9.40/9.50 c #Conflicts: 50000 | #Constraints: 18338
9.40/9.50 c #Conflicts: 51000 | #Constraints: 19339
9.40/9.50 c INPROCESSING
9.40/9.50 c GARBAGE COLLECT
9.40/9.50 c rational objective 2
10.40/10.50 c #Conflicts: 52000 | #Constraints: 15488
10.40/10.50 c #Conflicts: 53000 | #Constraints: 16488
10.40/10.50 c #Conflicts: 54000 | #Constraints: 17488
10.40/10.50 c #Conflicts: 55000 | #Constraints: 18488
10.40/10.50 c #Conflicts: 56000 | #Constraints: 19488
10.40/10.50 c INPROCESSING
10.40/10.50 c GARBAGE COLLECT
10.40/10.50 c rational objective 2
11.41/11.51 c #Conflicts: 57000 | #Constraints: 15750
11.41/11.51 c #Conflicts: 58000 | #Constraints: 16750
11.41/11.51 c #Conflicts: 59000 | #Constraints: 17750
11.41/11.51 c #Conflicts: 60000 | #Constraints: 18750
11.41/11.51 c #Conflicts: 61000 | #Constraints: 19750
11.41/11.51 c INPROCESSING
11.41/11.51 c GARBAGE COLLECT
11.41/11.51 c rational objective 2
12.40/12.59 c #Conflicts: 62000 | #Constraints: 15793
12.40/12.59 c #Conflicts: 63000 | #Constraints: 16793
12.40/12.59 c #Conflicts: 64000 | #Constraints: 17793
12.40/12.59 c #Conflicts: 65000 | #Constraints: 18793
12.40/12.59 c #Conflicts: 66000 | #Constraints: 19793
12.40/12.59 c INPROCESSING
12.40/12.59 c GARBAGE COLLECT
12.40/12.59 c rational objective 2
14.69/14.83 c #Conflicts: 67000 | #Constraints: 15641
14.69/14.83 c #Conflicts: 68000 | #Constraints: 16695
14.69/14.83 c #Conflicts: 69000 | #Constraints: 17742
14.69/14.83 c #Conflicts: 70000 | #Constraints: 18880
14.69/14.83 c #Conflicts: 71000 | #Constraints: 20002
14.69/14.83 c #Conflicts: 72000 | #Constraints: 21335
14.69/14.83 c INPROCESSING
14.69/14.83 c GARBAGE COLLECT
14.69/14.83 c rational objective 2
15.99/16.14 c #Conflicts: 73000 | #Constraints: 16633
15.99/16.14 c #Conflicts: 74000 | #Constraints: 17633
15.99/16.14 c #Conflicts: 75000 | #Constraints: 18633
15.99/16.14 c #Conflicts: 76000 | #Constraints: 19633
15.99/16.14 c #Conflicts: 77000 | #Constraints: 20633
15.99/16.14 c #Conflicts: 78000 | #Constraints: 21633
15.99/16.14 c INPROCESSING
15.99/16.14 c GARBAGE COLLECT
15.99/16.14 c rational objective 2
17.18/17.36 c #Conflicts: 79000 | #Constraints: 16720
17.18/17.36 c #Conflicts: 80000 | #Constraints: 17720
17.18/17.36 c #Conflicts: 81000 | #Constraints: 18720
17.18/17.36 c #Conflicts: 82000 | #Constraints: 19720
17.18/17.36 c #Conflicts: 83000 | #Constraints: 20720
17.18/17.36 c #Conflicts: 84000 | #Constraints: 21720
17.18/17.36 c INPROCESSING
17.18/17.36 c GARBAGE COLLECT
17.18/17.36 c rational objective 2
18.59/18.74 c #Conflicts: 85000 | #Constraints: 16823
18.59/18.74 c #Conflicts: 86000 | #Constraints: 17823
18.59/18.74 c #Conflicts: 87000 | #Constraints: 18823
18.59/18.74 c #Conflicts: 88000 | #Constraints: 19823
18.59/18.74 c #Conflicts: 89000 | #Constraints: 20823
18.59/18.74 c #Conflicts: 90000 | #Constraints: 21823
18.59/18.74 c INPROCESSING
18.59/18.74 c GARBAGE COLLECT
18.59/18.74 c rational objective 2
19.99/20.11 c #Conflicts: 91000 | #Constraints: 16763
19.99/20.11 c #Conflicts: 92000 | #Constraints: 17763
19.99/20.11 c #Conflicts: 93000 | #Constraints: 18763
19.99/20.11 c #Conflicts: 94000 | #Constraints: 19763
19.99/20.11 c #Conflicts: 95000 | #Constraints: 20763
19.99/20.11 c #Conflicts: 96000 | #Constraints: 21763
19.99/20.11 c INPROCESSING
19.99/20.11 c GARBAGE COLLECT
19.99/20.11 c rational objective 2
21.37/21.59 c #Conflicts: 97000 | #Constraints: 16547
21.37/21.59 c #Conflicts: 98000 | #Constraints: 17547
21.37/21.59 c #Conflicts: 99000 | #Constraints: 18547
21.37/21.59 c #Conflicts: 100000 | #Constraints: 19547
21.37/21.59 c #Conflicts: 101000 | #Constraints: 20547
21.37/21.59 c #Conflicts: 102000 | #Constraints: 21547
21.37/21.59 c #Conflicts: 103000 | #Constraints: 22547
21.37/21.59 c INPROCESSING
21.37/21.59 c GARBAGE COLLECT
21.37/21.59 c rational objective 2
22.77/22.96 c #Conflicts: 104000 | #Constraints: 17133
22.77/22.96 c #Conflicts: 105000 | #Constraints: 18133
22.77/22.96 c #Conflicts: 106000 | #Constraints: 19133
22.77/22.96 c #Conflicts: 107000 | #Constraints: 20133
22.77/22.96 c #Conflicts: 108000 | #Constraints: 21133
22.77/22.96 c #Conflicts: 109000 | #Constraints: 22133
22.77/22.96 c #Conflicts: 110000 | #Constraints: 23133
22.77/22.96 c INPROCESSING
22.77/22.96 c GARBAGE COLLECT
22.77/22.96 c rational objective 2
24.17/24.31 c #Conflicts: 111000 | #Constraints: 17284
24.17/24.31 c #Conflicts: 112000 | #Constraints: 18284
24.17/24.31 c #Conflicts: 113000 | #Constraints: 19284
24.17/24.31 c #Conflicts: 114000 | #Constraints: 20284
24.17/24.31 c #Conflicts: 115000 | #Constraints: 21284
24.17/24.31 c #Conflicts: 116000 | #Constraints: 22284
24.17/24.31 c #Conflicts: 117000 | #Constraints: 23284
24.17/24.31 c INPROCESSING
24.17/24.31 c GARBAGE COLLECT
24.17/24.31 c rational objective 2
25.56/25.75 c #Conflicts: 118000 | #Constraints: 17504
25.56/25.75 c #Conflicts: 119000 | #Constraints: 18504
25.56/25.75 c #Conflicts: 120000 | #Constraints: 19504
25.56/25.75 c #Conflicts: 121000 | #Constraints: 20504
25.56/25.75 c #Conflicts: 122000 | #Constraints: 21504
25.56/25.75 c #Conflicts: 123000 | #Constraints: 22504
25.56/25.75 c #Conflicts: 124000 | #Constraints: 23504
25.56/25.75 c INPROCESSING
25.56/25.75 c GARBAGE COLLECT
25.56/25.75 c rational objective 2
27.06/27.23 c #Conflicts: 125000 | #Constraints: 17482
27.06/27.23 c #Conflicts: 126000 | #Constraints: 18482
27.06/27.23 c #Conflicts: 127000 | #Constraints: 19482
27.06/27.23 c #Conflicts: 128000 | #Constraints: 20482
27.06/27.23 c #Conflicts: 129000 | #Constraints: 21482
27.06/27.23 c #Conflicts: 130000 | #Constraints: 22482
27.06/27.23 c #Conflicts: 131000 | #Constraints: 23482
27.06/27.23 c INPROCESSING
27.06/27.23 c GARBAGE COLLECT
27.06/27.23 c rational objective 2
28.56/28.76 c #Conflicts: 132000 | #Constraints: 17294
28.56/28.76 c #Conflicts: 133000 | #Constraints: 18294
28.56/28.76 c #Conflicts: 134000 | #Constraints: 19294
28.56/28.76 c #Conflicts: 135000 | #Constraints: 20294
28.56/28.76 c #Conflicts: 136000 | #Constraints: 21294
28.56/28.76 c #Conflicts: 137000 | #Constraints: 22294
28.56/28.76 c #Conflicts: 138000 | #Constraints: 23294
28.56/28.76 c #Conflicts: 139000 | #Constraints: 24294
28.56/28.76 c INPROCESSING
28.56/28.76 c GARBAGE COLLECT
28.56/28.76 c rational objective 2
30.16/30.37 c #Conflicts: 140000 | #Constraints: 17897
30.16/30.37 c #Conflicts: 141000 | #Constraints: 18897
30.16/30.37 c #Conflicts: 142000 | #Constraints: 19897
30.16/30.37 c #Conflicts: 143000 | #Constraints: 20897
30.16/30.37 c #Conflicts: 144000 | #Constraints: 21897
30.16/30.37 c #Conflicts: 145000 | #Constraints: 22897
30.16/30.37 c #Conflicts: 146000 | #Constraints: 23897
30.16/30.37 c #Conflicts: 147000 | #Constraints: 24897
30.16/30.37 c INPROCESSING
30.16/30.37 c GARBAGE COLLECT
30.16/30.37 c rational objective 2
31.85/32.04 c #Conflicts: 148000 | #Constraints: 18309
31.85/32.04 c #Conflicts: 149000 | #Constraints: 19309
31.85/32.04 c #Conflicts: 150000 | #Constraints: 20309
31.85/32.04 c #Conflicts: 151000 | #Constraints: 21309
31.85/32.04 c #Conflicts: 152000 | #Constraints: 22309
31.85/32.04 c #Conflicts: 153000 | #Constraints: 23309
31.85/32.04 c #Conflicts: 154000 | #Constraints: 24309
31.85/32.04 c #Conflicts: 155000 | #Constraints: 25309
31.85/32.04 c INPROCESSING
31.85/32.04 c GARBAGE COLLECT
31.85/32.04 c rational objective 2
33.59/33.86 c #Conflicts: 156000 | #Constraints: 18509
33.59/33.86 c #Conflicts: 157000 | #Constraints: 19509
33.59/33.86 c #Conflicts: 158000 | #Constraints: 20509
33.59/33.86 c #Conflicts: 159000 | #Constraints: 21509
33.59/33.86 c #Conflicts: 160000 | #Constraints: 22509
33.59/33.86 c #Conflicts: 161000 | #Constraints: 23509
33.59/33.86 c #Conflicts: 162000 | #Constraints: 24509
33.59/33.86 c #Conflicts: 163000 | #Constraints: 25509
33.59/33.86 c INPROCESSING
33.59/33.86 c GARBAGE COLLECT
33.59/33.86 c rational objective 2
35.58/35.81 c #Conflicts: 164000 | #Constraints: 18526
35.58/35.81 c #Conflicts: 165000 | #Constraints: 19526
35.58/35.81 c #Conflicts: 166000 | #Constraints: 20526
35.58/35.81 c #Conflicts: 167000 | #Constraints: 21526
35.58/35.81 c #Conflicts: 168000 | #Constraints: 22526
35.58/35.81 c #Conflicts: 169000 | #Constraints: 23526
35.58/35.81 c #Conflicts: 170000 | #Constraints: 24526
35.58/35.81 c #Conflicts: 171000 | #Constraints: 25526
35.58/35.81 c INPROCESSING
35.58/35.81 c GARBAGE COLLECT
35.58/35.81 c rational objective 2
37.48/37.72 c #Conflicts: 172000 | #Constraints: 18310
37.48/37.72 c #Conflicts: 173000 | #Constraints: 19310
37.48/37.72 c #Conflicts: 174000 | #Constraints: 20310
37.48/37.72 c #Conflicts: 175000 | #Constraints: 21310
37.48/37.72 c #Conflicts: 176000 | #Constraints: 22310
37.48/37.72 c #Conflicts: 177000 | #Constraints: 23310
37.48/37.72 c #Conflicts: 178000 | #Constraints: 24310
37.48/37.72 c #Conflicts: 179000 | #Constraints: 25310
37.48/37.72 c #Conflicts: 180000 | #Constraints: 26310
37.48/37.72 c INPROCESSING
37.48/37.72 c GARBAGE COLLECT
37.48/37.72 c rational objective 2
39.17/39.49 c #Conflicts: 181000 | #Constraints: 18917
39.17/39.49 c #Conflicts: 182000 | #Constraints: 19917
39.17/39.49 c #Conflicts: 183000 | #Constraints: 20917
39.17/39.49 c #Conflicts: 184000 | #Constraints: 21917
39.17/39.49 c #Conflicts: 185000 | #Constraints: 22917
39.17/39.49 c #Conflicts: 186000 | #Constraints: 23917
39.17/39.49 c #Conflicts: 187000 | #Constraints: 24917
39.17/39.49 c #Conflicts: 188000 | #Constraints: 25917
39.17/39.49 c #Conflicts: 189000 | #Constraints: 26917
39.17/39.49 c INPROCESSING
39.17/39.49 c GARBAGE COLLECT
39.17/39.49 c rational objective 2
41.17/41.43 c #Conflicts: 190000 | #Constraints: 19312
41.17/41.43 c #Conflicts: 191000 | #Constraints: 20312
41.17/41.43 c #Conflicts: 192000 | #Constraints: 21312
41.17/41.43 c #Conflicts: 193000 | #Constraints: 22312
41.17/41.43 c #Conflicts: 194000 | #Constraints: 23312
41.17/41.43 c #Conflicts: 195000 | #Constraints: 24312
41.17/41.43 c #Conflicts: 196000 | #Constraints: 25312
41.17/41.43 c #Conflicts: 197000 | #Constraints: 26312
41.17/41.43 c #Conflicts: 198000 | #Constraints: 27312
41.17/41.43 c INPROCESSING
41.17/41.43 c GARBAGE COLLECT
41.17/41.43 c rational objective 2
43.17/43.45 c #Conflicts: 199000 | #Constraints: 19516
43.17/43.45 c #Conflicts: 200000 | #Constraints: 20516
43.17/43.45 c #Conflicts: 201000 | #Constraints: 21516
43.17/43.45 c #Conflicts: 202000 | #Constraints: 22516
43.17/43.45 c #Conflicts: 203000 | #Constraints: 23516
43.17/43.45 c #Conflicts: 204000 | #Constraints: 24516
43.17/43.45 c #Conflicts: 205000 | #Constraints: 25516
43.17/43.45 c #Conflicts: 206000 | #Constraints: 26516
43.17/43.45 c #Conflicts: 207000 | #Constraints: 27516
43.17/43.45 c INPROCESSING
43.17/43.45 c GARBAGE COLLECT
43.17/43.45 c rational objective 2
45.46/45.79 c #Conflicts: 208000 | #Constraints: 19498
45.46/45.79 c #Conflicts: 209000 | #Constraints: 20498
45.46/45.79 c #Conflicts: 210000 | #Constraints: 21498
45.46/45.79 c #Conflicts: 211000 | #Constraints: 22498
45.46/45.79 c #Conflicts: 212000 | #Constraints: 23498
45.46/45.79 c #Conflicts: 213000 | #Constraints: 24498
45.46/45.79 c #Conflicts: 214000 | #Constraints: 25498
45.46/45.79 c #Conflicts: 215000 | #Constraints: 26498
45.46/45.79 c #Conflicts: 216000 | #Constraints: 27498
45.46/45.79 c INPROCESSING
45.46/45.79 c GARBAGE COLLECT
45.46/45.79 c rational objective 2
49.15/49.42 c #Conflicts: 217000 | #Constraints: 19318
49.15/49.42 c #Conflicts: 218000 | #Constraints: 20318
49.15/49.42 c #Conflicts: 219000 | #Constraints: 21500
49.15/49.42 c #Conflicts: 220000 | #Constraints: 22725
49.15/49.42 c #Conflicts: 221000 | #Constraints: 23792
49.15/49.42 c #Conflicts: 222000 | #Constraints: 24945
49.15/49.42 c #Conflicts: 223000 | #Constraints: 26385
49.15/49.42 c #Conflicts: 224000 | #Constraints: 27693
49.15/49.42 c #Conflicts: 225000 | #Constraints: 28693
49.15/49.42 c #Conflicts: 226000 | #Constraints: 29693
49.15/49.42 c INPROCESSING
49.15/49.42 c GARBAGE COLLECT
49.15/49.42 c rational objective 2
51.55/51.82 c #Conflicts: 227000 | #Constraints: 20605
51.55/51.82 c #Conflicts: 228000 | #Constraints: 21605
51.55/51.82 c #Conflicts: 229000 | #Constraints: 22605
51.55/51.82 c #Conflicts: 230000 | #Constraints: 23605
51.55/51.82 c #Conflicts: 231000 | #Constraints: 24605
51.55/51.82 c #Conflicts: 232000 | #Constraints: 25605
51.55/51.82 c #Conflicts: 233000 | #Constraints: 26605
51.55/51.82 c #Conflicts: 234000 | #Constraints: 27605
51.55/51.82 c #Conflicts: 235000 | #Constraints: 28605
51.55/51.82 c #Conflicts: 236000 | #Constraints: 29605
51.55/51.82 c INPROCESSING
51.55/51.82 c GARBAGE COLLECT
51.55/51.82 c rational objective 2
54.13/54.45 c #Conflicts: 237000 | #Constraints: 20660
54.13/54.45 c #Conflicts: 238000 | #Constraints: 21660
54.13/54.45 c #Conflicts: 239000 | #Constraints: 22660
54.13/54.45 c #Conflicts: 240000 | #Constraints: 23660
54.13/54.45 c #Conflicts: 241000 | #Constraints: 24660
54.13/54.45 c #Conflicts: 242000 | #Constraints: 25660
54.13/54.45 c #Conflicts: 243000 | #Constraints: 26660
54.13/54.45 c #Conflicts: 244000 | #Constraints: 27660
54.13/54.45 c #Conflicts: 245000 | #Constraints: 28660
54.13/54.45 c #Conflicts: 246000 | #Constraints: 29660
54.13/54.45 c INPROCESSING
54.13/54.45 c GARBAGE COLLECT
54.13/54.45 c rational objective 2
56.43/56.71 c #Conflicts: 247000 | #Constraints: 20697
56.43/56.71 c #Conflicts: 248000 | #Constraints: 21697
56.43/56.71 c #Conflicts: 249000 | #Constraints: 22697
56.43/56.71 c #Conflicts: 250000 | #Constraints: 23697
56.43/56.71 c #Conflicts: 251000 | #Constraints: 24697
56.43/56.71 c #Conflicts: 252000 | #Constraints: 25697
56.43/56.71 c #Conflicts: 253000 | #Constraints: 26697
56.43/56.71 c #Conflicts: 254000 | #Constraints: 27697
56.43/56.71 c #Conflicts: 255000 | #Constraints: 28697
56.43/56.71 c #Conflicts: 256000 | #Constraints: 29697
56.43/56.71 c INPROCESSING
56.43/56.71 c GARBAGE COLLECT
56.43/56.71 c rational objective 2
59.02/59.39 c #Conflicts: 257000 | #Constraints: 20590
59.02/59.39 c #Conflicts: 258000 | #Constraints: 21590
59.02/59.39 c #Conflicts: 259000 | #Constraints: 22590
59.02/59.39 c #Conflicts: 260000 | #Constraints: 23590
59.02/59.39 c #Conflicts: 261000 | #Constraints: 24590
59.02/59.39 c #Conflicts: 262000 | #Constraints: 25590
59.02/59.39 c #Conflicts: 263000 | #Constraints: 26590
59.02/59.39 c #Conflicts: 264000 | #Constraints: 27590
59.02/59.39 c #Conflicts: 265000 | #Constraints: 28590
59.02/59.39 c #Conflicts: 266000 | #Constraints: 29590
59.02/59.39 c INPROCESSING
59.02/59.39 c GARBAGE COLLECT
59.02/59.39 c rational objective 2
61.41/61.71 c #Conflicts: 267000 | #Constraints: 20364
61.41/61.71 c #Conflicts: 268000 | #Constraints: 21364
61.41/61.71 c #Conflicts: 269000 | #Constraints: 22364
61.41/61.71 c #Conflicts: 270000 | #Constraints: 23364
61.41/61.71 c #Conflicts: 271000 | #Constraints: 24364
61.41/61.71 c #Conflicts: 272000 | #Constraints: 25364
61.41/61.71 c #Conflicts: 273000 | #Constraints: 26364
61.41/61.71 c #Conflicts: 274000 | #Constraints: 27364
61.41/61.71 c #Conflicts: 275000 | #Constraints: 28364
61.41/61.71 c #Conflicts: 276000 | #Constraints: 29364
61.41/61.71 c #Conflicts: 277000 | #Constraints: 30364
61.41/61.71 c INPROCESSING
61.41/61.71 c GARBAGE COLLECT
61.41/61.71 c rational objective 2
63.96/64.36 c #Conflicts: 278000 | #Constraints: 20939
63.96/64.36 c #Conflicts: 279000 | #Constraints: 21939
63.96/64.36 c #Conflicts: 280000 | #Constraints: 22939
63.96/64.36 c #Conflicts: 281000 | #Constraints: 23939
63.96/64.36 c #Conflicts: 282000 | #Constraints: 24939
63.96/64.36 c #Conflicts: 283000 | #Constraints: 25939
63.96/64.36 c #Conflicts: 284000 | #Constraints: 26939
63.96/64.36 c #Conflicts: 285000 | #Constraints: 27939
63.96/64.36 c #Conflicts: 286000 | #Constraints: 28939
63.96/64.36 c #Conflicts: 287000 | #Constraints: 29939
63.96/64.36 c #Conflicts: 288000 | #Constraints: 30939
63.96/64.36 c INPROCESSING
63.96/64.36 c GARBAGE COLLECT
63.96/64.36 c rational objective 2
65.14/65.56 c #Conflicts: 289000 | #Constraints: 21324
65.14/65.56 c #Conflicts: 290000 | #Constraints: 22324
65.14/65.56 c #Conflicts: 291000 | #Constraints: 23324
65.14/65.56 c #Conflicts: 292000 | #Constraints: 24324
65.14/65.56 c bounds 5 >= 3 @ 63.4481
66.43/66.88 c #Conflicts: 293000 | #Constraints: 25327
66.43/66.88 c #Conflicts: 294000 | #Constraints: 26327
66.43/66.88 c #Conflicts: 295000 | #Constraints: 27327
66.43/66.88 c #Conflicts: 296000 | #Constraints: 28327
66.43/66.88 c #Conflicts: 297000 | #Constraints: 29327
66.43/66.88 c #Conflicts: 298000 | #Constraints: 30327
66.43/66.88 c #Conflicts: 299000 | #Constraints: 31327
66.43/66.88 c INPROCESSING
66.43/66.88 c GARBAGE COLLECT
66.43/66.88 c rational objective 3
69.00/69.42 c #Conflicts: 300000 | #Constraints: 17974
69.00/69.42 c #Conflicts: 301000 | #Constraints: 18974
69.00/69.42 c #Conflicts: 302000 | #Constraints: 19974
69.00/69.42 c #Conflicts: 303000 | #Constraints: 20974
69.00/69.42 c #Conflicts: 304000 | #Constraints: 21974
69.00/69.42 c #Conflicts: 305000 | #Constraints: 22974
69.00/69.42 c #Conflicts: 306000 | #Constraints: 23974
69.00/69.42 c #Conflicts: 307000 | #Constraints: 24974
69.00/69.42 c #Conflicts: 308000 | #Constraints: 25974
69.00/69.42 c #Conflicts: 309000 | #Constraints: 26974
69.00/69.42 c #Conflicts: 310000 | #Constraints: 27974
69.00/69.42 c INPROCESSING
69.00/69.42 c GARBAGE COLLECT
69.00/69.42 c rational objective 3
71.20/71.66 c #Conflicts: 311000 | #Constraints: 19615
71.20/71.66 c #Conflicts: 312000 | #Constraints: 20615
71.20/71.66 c #Conflicts: 313000 | #Constraints: 21615
71.20/71.66 c #Conflicts: 314000 | #Constraints: 22615
71.20/71.66 c #Conflicts: 315000 | #Constraints: 23615
71.20/71.66 c #Conflicts: 316000 | #Constraints: 24615
71.20/71.66 c #Conflicts: 317000 | #Constraints: 25615
71.20/71.66 c #Conflicts: 318000 | #Constraints: 26615
71.20/71.66 c #Conflicts: 319000 | #Constraints: 27615
71.20/71.66 c #Conflicts: 320000 | #Constraints: 28615
71.20/71.66 c #Conflicts: 321000 | #Constraints: 29615
71.20/71.66 c INPROCESSING
71.20/71.66 c GARBAGE COLLECT
71.20/71.66 c rational objective 3
74.29/74.70 c #Conflicts: 322000 | #Constraints: 20255
74.29/74.70 c #Conflicts: 323000 | #Constraints: 21255
74.29/74.70 c #Conflicts: 324000 | #Constraints: 22255
74.29/74.70 c #Conflicts: 325000 | #Constraints: 23255
74.29/74.70 c #Conflicts: 326000 | #Constraints: 24255
74.29/74.70 c #Conflicts: 327000 | #Constraints: 25255
74.29/74.70 c #Conflicts: 328000 | #Constraints: 26255
74.29/74.70 c #Conflicts: 329000 | #Constraints: 27255
74.29/74.70 c #Conflicts: 330000 | #Constraints: 28255
74.29/74.70 c #Conflicts: 331000 | #Constraints: 29255
74.29/74.70 c #Conflicts: 332000 | #Constraints: 30255
74.29/74.70 c #Conflicts: 333000 | #Constraints: 31255
74.29/74.70 c INPROCESSING
74.29/74.70 c GARBAGE COLLECT
74.29/74.70 c rational objective 3
77.28/77.75 c #Conflicts: 334000 | #Constraints: 21281
77.28/77.75 c #Conflicts: 335000 | #Constraints: 22281
77.28/77.75 c #Conflicts: 336000 | #Constraints: 23281
77.28/77.75 c #Conflicts: 337000 | #Constraints: 24281
77.28/77.75 c #Conflicts: 338000 | #Constraints: 25281
77.28/77.75 c #Conflicts: 339000 | #Constraints: 26281
77.28/77.75 c #Conflicts: 340000 | #Constraints: 27281
77.28/77.75 c #Conflicts: 341000 | #Constraints: 28281
77.28/77.75 c #Conflicts: 342000 | #Constraints: 29281
77.28/77.75 c #Conflicts: 343000 | #Constraints: 30281
77.28/77.75 c #Conflicts: 344000 | #Constraints: 31281
77.28/77.75 c #Conflicts: 345000 | #Constraints: 32281
77.28/77.75 c INPROCESSING
77.28/77.75 c GARBAGE COLLECT
77.28/77.75 c rational objective 3
80.08/80.56 c #Conflicts: 346000 | #Constraints: 21852
80.08/80.56 c #Conflicts: 347000 | #Constraints: 22852
80.08/80.56 c #Conflicts: 348000 | #Constraints: 23852
80.08/80.56 c #Conflicts: 349000 | #Constraints: 24852
80.08/80.56 c #Conflicts: 350000 | #Constraints: 25852
80.08/80.56 c #Conflicts: 351000 | #Constraints: 26852
80.08/80.56 c #Conflicts: 352000 | #Constraints: 27852
80.08/80.56 c #Conflicts: 353000 | #Constraints: 28852
80.08/80.56 c #Conflicts: 354000 | #Constraints: 29852
80.08/80.56 c #Conflicts: 355000 | #Constraints: 30852
80.08/80.56 c #Conflicts: 356000 | #Constraints: 31852
80.08/80.56 c #Conflicts: 357000 | #Constraints: 32852
80.08/80.56 c INPROCESSING
80.08/80.56 c GARBAGE COLLECT
80.08/80.56 c rational objective 3
83.07/83.53 c #Conflicts: 358000 | #Constraints: 22165
83.07/83.53 c #Conflicts: 359000 | #Constraints: 23165
83.07/83.53 c #Conflicts: 360000 | #Constraints: 24165
83.07/83.53 c #Conflicts: 361000 | #Constraints: 25165
83.07/83.53 c #Conflicts: 362000 | #Constraints: 26165
83.07/83.53 c #Conflicts: 363000 | #Constraints: 27165
83.07/83.53 c #Conflicts: 364000 | #Constraints: 28165
83.07/83.53 c #Conflicts: 365000 | #Constraints: 29165
83.07/83.53 c #Conflicts: 366000 | #Constraints: 30165
83.07/83.53 c #Conflicts: 367000 | #Constraints: 31165
83.07/83.53 c #Conflicts: 368000 | #Constraints: 32165
83.07/83.53 c #Conflicts: 369000 | #Constraints: 33165
83.07/83.53 c INPROCESSING
83.07/83.53 c GARBAGE COLLECT
83.07/83.53 c rational objective 3
86.07/86.56 c #Conflicts: 370000 | #Constraints: 22103
86.07/86.56 c #Conflicts: 371000 | #Constraints: 23103
86.07/86.56 c #Conflicts: 372000 | #Constraints: 24103
86.07/86.56 c #Conflicts: 373000 | #Constraints: 25103
86.07/86.56 c #Conflicts: 374000 | #Constraints: 26103
86.07/86.56 c #Conflicts: 375000 | #Constraints: 27103
86.07/86.56 c #Conflicts: 376000 | #Constraints: 28103
86.07/86.56 c #Conflicts: 377000 | #Constraints: 29103
86.07/86.56 c #Conflicts: 378000 | #Constraints: 30103
86.07/86.56 c #Conflicts: 379000 | #Constraints: 31103
86.07/86.56 c #Conflicts: 380000 | #Constraints: 32103
86.07/86.56 c #Conflicts: 381000 | #Constraints: 33103
86.07/86.56 c INPROCESSING
86.07/86.56 c GARBAGE COLLECT
86.07/86.56 c rational objective 3
89.55/90.07 c #Conflicts: 382000 | #Constraints: 21942
89.55/90.07 c #Conflicts: 383000 | #Constraints: 22946
89.55/90.07 c #Conflicts: 384000 | #Constraints: 23983
89.55/90.07 c #Conflicts: 385000 | #Constraints: 24986
89.55/90.07 c #Conflicts: 386000 | #Constraints: 25987
89.55/90.07 c #Conflicts: 387000 | #Constraints: 26990
89.55/90.07 c #Conflicts: 388000 | #Constraints: 27992
89.55/90.07 c #Conflicts: 389000 | #Constraints: 28992
89.55/90.07 c #Conflicts: 390000 | #Constraints: 29993
89.55/90.07 c #Conflicts: 391000 | #Constraints: 30995
89.55/90.07 c #Conflicts: 392000 | #Constraints: 32018
89.55/90.07 c #Conflicts: 393000 | #Constraints: 33020
89.55/90.07 c #Conflicts: 394000 | #Constraints: 34123
89.55/90.07 c INPROCESSING
89.55/90.07 c GARBAGE COLLECT
89.55/90.07 c rational objective 3
92.75/93.29 c #Conflicts: 395000 | #Constraints: 21938
92.75/93.29 c #Conflicts: 396000 | #Constraints: 22940
92.75/93.29 c #Conflicts: 397000 | #Constraints: 23944
92.75/93.29 c #Conflicts: 398000 | #Constraints: 24953
92.75/93.29 c #Conflicts: 399000 | #Constraints: 25962
92.75/93.29 c #Conflicts: 400000 | #Constraints: 26965
92.75/93.29 c #Conflicts: 401000 | #Constraints: 28039
92.75/93.29 c #Conflicts: 402000 | #Constraints: 29041
92.75/93.29 c #Conflicts: 403000 | #Constraints: 30044
92.75/93.29 c #Conflicts: 404000 | #Constraints: 31061
92.75/93.29 c #Conflicts: 405000 | #Constraints: 32063
92.75/93.29 c #Conflicts: 406000 | #Constraints: 33065
92.75/93.29 c #Conflicts: 407000 | #Constraints: 34066
92.75/93.29 c INPROCESSING
92.75/93.29 c GARBAGE COLLECT
92.75/93.29 c rational objective 3
97.06/97.63 c #Conflicts: 408000 | #Constraints: 22377
97.06/97.63 c #Conflicts: 409000 | #Constraints: 23377
97.06/97.63 c #Conflicts: 410000 | #Constraints: 24377
97.06/97.63 c #Conflicts: 411000 | #Constraints: 25377
97.06/97.63 c #Conflicts: 412000 | #Constraints: 26377
97.06/97.63 c #Conflicts: 413000 | #Constraints: 27377
97.06/97.63 c #Conflicts: 414000 | #Constraints: 28377
97.06/97.63 c #Conflicts: 415000 | #Constraints: 29523
97.06/97.63 c #Conflicts: 416000 | #Constraints: 30633
97.06/97.63 c #Conflicts: 417000 | #Constraints: 31875
97.06/97.63 c #Conflicts: 418000 | #Constraints: 33082
97.06/97.63 c #Conflicts: 419000 | #Constraints: 34118
97.06/97.63 c #Conflicts: 420000 | #Constraints: 35210
97.06/97.63 c INPROCESSING
97.06/97.63 c GARBAGE COLLECT
97.06/97.63 c rational objective 3
100.15/100.71 c #Conflicts: 421000 | #Constraints: 22936
100.15/100.71 c #Conflicts: 422000 | #Constraints: 23936
100.15/100.71 c #Conflicts: 423000 | #Constraints: 24936
100.15/100.71 c #Conflicts: 424000 | #Constraints: 25936
100.15/100.71 c #Conflicts: 425000 | #Constraints: 26936
100.15/100.71 c #Conflicts: 426000 | #Constraints: 27936
100.15/100.71 c #Conflicts: 427000 | #Constraints: 28936
100.15/100.71 c #Conflicts: 428000 | #Constraints: 29936
100.15/100.71 c #Conflicts: 429000 | #Constraints: 30936
100.15/100.71 c #Conflicts: 430000 | #Constraints: 31936
100.15/100.71 c #Conflicts: 431000 | #Constraints: 32936
100.15/100.71 c #Conflicts: 432000 | #Constraints: 33936
100.15/100.71 c #Conflicts: 433000 | #Constraints: 34936
100.15/100.71 c INPROCESSING
100.15/100.71 c GARBAGE COLLECT
100.15/100.71 c rational objective 3
103.74/104.37 c #Conflicts: 434000 | #Constraints: 22706
103.74/104.37 c #Conflicts: 435000 | #Constraints: 23706
103.74/104.37 c #Conflicts: 436000 | #Constraints: 24706
103.74/104.37 c #Conflicts: 437000 | #Constraints: 25706
103.74/104.37 c #Conflicts: 438000 | #Constraints: 26706
103.74/104.37 c #Conflicts: 439000 | #Constraints: 27706
103.74/104.37 c #Conflicts: 440000 | #Constraints: 28706
103.74/104.37 c #Conflicts: 441000 | #Constraints: 29706
103.74/104.37 c #Conflicts: 442000 | #Constraints: 30706
103.74/104.37 c #Conflicts: 443000 | #Constraints: 31706
103.74/104.37 c #Conflicts: 444000 | #Constraints: 32706
103.74/104.37 c #Conflicts: 445000 | #Constraints: 33706
103.74/104.37 c #Conflicts: 446000 | #Constraints: 34706
103.74/104.37 c INPROCESSING
103.74/104.37 c GARBAGE COLLECT
103.74/104.37 c rational objective 3
107.83/108.48 c #Conflicts: 447000 | #Constraints: 22396
107.83/108.48 c #Conflicts: 448000 | #Constraints: 23396
107.83/108.48 c #Conflicts: 449000 | #Constraints: 24396
107.83/108.48 c #Conflicts: 450000 | #Constraints: 25396
107.83/108.48 c #Conflicts: 451000 | #Constraints: 26396
107.83/108.48 c #Conflicts: 452000 | #Constraints: 27396
107.83/108.48 c #Conflicts: 453000 | #Constraints: 28396
107.83/108.48 c #Conflicts: 454000 | #Constraints: 29396
107.83/108.48 c #Conflicts: 455000 | #Constraints: 30396
107.83/108.48 c #Conflicts: 456000 | #Constraints: 31396
107.83/108.48 c #Conflicts: 457000 | #Constraints: 32396
107.83/108.48 c #Conflicts: 458000 | #Constraints: 33396
107.83/108.48 c #Conflicts: 459000 | #Constraints: 34396
107.83/108.48 c #Conflicts: 460000 | #Constraints: 35396
107.83/108.48 c INPROCESSING
107.83/108.48 c GARBAGE COLLECT
107.83/108.48 c rational objective 3
111.62/112.25 c #Conflicts: 461000 | #Constraints: 22920
111.62/112.25 c #Conflicts: 462000 | #Constraints: 23920
111.62/112.25 c #Conflicts: 463000 | #Constraints: 24920
111.62/112.25 c #Conflicts: 464000 | #Constraints: 25920
111.62/112.25 c #Conflicts: 465000 | #Constraints: 26920
111.62/112.25 c #Conflicts: 466000 | #Constraints: 27920
111.62/112.25 c #Conflicts: 467000 | #Constraints: 28920
111.62/112.25 c #Conflicts: 468000 | #Constraints: 29920
111.62/112.25 c #Conflicts: 469000 | #Constraints: 30920
111.62/112.25 c #Conflicts: 470000 | #Constraints: 31920
111.62/112.25 c #Conflicts: 471000 | #Constraints: 32920
111.62/112.25 c #Conflicts: 472000 | #Constraints: 33920
111.62/112.25 c #Conflicts: 473000 | #Constraints: 34920
111.62/112.25 c #Conflicts: 474000 | #Constraints: 35920
111.62/112.25 c INPROCESSING
111.62/112.25 c GARBAGE COLLECT
111.62/112.25 c rational objective 3
117.31/117.95 c #Conflicts: 475000 | #Constraints: 23307
117.31/117.95 c #Conflicts: 476000 | #Constraints: 24325
117.31/117.95 c #Conflicts: 477000 | #Constraints: 25729
117.31/117.95 c #Conflicts: 478000 | #Constraints: 26881
117.31/117.95 c #Conflicts: 479000 | #Constraints: 27913
117.31/117.95 c #Conflicts: 480000 | #Constraints: 29000
117.31/117.95 c #Conflicts: 481000 | #Constraints: 30114
117.31/117.95 c #Conflicts: 482000 | #Constraints: 31157
117.31/117.95 c #Conflicts: 483000 | #Constraints: 32169
117.31/117.95 c #Conflicts: 484000 | #Constraints: 33200
117.31/117.95 c #Conflicts: 485000 | #Constraints: 34344
117.31/117.95 c #Conflicts: 486000 | #Constraints: 35358
117.31/117.95 c #Conflicts: 487000 | #Constraints: 36378
117.31/117.95 c #Conflicts: 488000 | #Constraints: 37406
117.31/117.95 c INPROCESSING
117.31/117.95 c GARBAGE COLLECT
117.31/117.95 c rational objective 3
120.89/121.57 c #Conflicts: 489000 | #Constraints: 24045
120.89/121.57 c #Conflicts: 490000 | #Constraints: 25045
120.89/121.57 c #Conflicts: 491000 | #Constraints: 26045
120.89/121.57 c #Conflicts: 492000 | #Constraints: 27045
120.89/121.57 c #Conflicts: 493000 | #Constraints: 28045
120.89/121.57 c #Conflicts: 494000 | #Constraints: 29045
120.89/121.57 c #Conflicts: 495000 | #Constraints: 30045
120.89/121.57 c #Conflicts: 496000 | #Constraints: 31045
120.89/121.57 c #Conflicts: 497000 | #Constraints: 32045
120.89/121.57 c #Conflicts: 498000 | #Constraints: 33045
120.89/121.57 c #Conflicts: 499000 | #Constraints: 34045
120.89/121.57 c #Conflicts: 500000 | #Constraints: 35045
120.89/121.57 c #Conflicts: 501000 | #Constraints: 36045
120.89/121.57 c #Conflicts: 502000 | #Constraints: 37045
120.89/121.57 c INPROCESSING
120.89/121.57 c GARBAGE COLLECT
120.89/121.57 c rational objective 3
124.39/125.10 c #Conflicts: 503000 | #Constraints: 23759
124.39/125.10 c #Conflicts: 504000 | #Constraints: 24759
124.39/125.10 c #Conflicts: 505000 | #Constraints: 25759
124.39/125.10 c #Conflicts: 506000 | #Constraints: 26759
124.39/125.10 c #Conflicts: 507000 | #Constraints: 27759
124.39/125.10 c #Conflicts: 508000 | #Constraints: 28759
124.39/125.10 c #Conflicts: 509000 | #Constraints: 29759
124.39/125.10 c #Conflicts: 510000 | #Constraints: 30759
124.39/125.10 c #Conflicts: 511000 | #Constraints: 31759
124.39/125.10 c #Conflicts: 512000 | #Constraints: 32759
124.39/125.10 c #Conflicts: 513000 | #Constraints: 33759
124.39/125.10 c #Conflicts: 514000 | #Constraints: 34759
124.39/125.10 c #Conflicts: 515000 | #Constraints: 35759
124.39/125.10 c #Conflicts: 516000 | #Constraints: 36759
124.39/125.10 c INPROCESSING
124.39/125.10 c GARBAGE COLLECT
124.39/125.10 c rational objective 3
128.67/129.41 c #Conflicts: 517000 | #Constraints: 23408
128.67/129.41 c #Conflicts: 518000 | #Constraints: 24408
128.67/129.41 c #Conflicts: 519000 | #Constraints: 25408
128.67/129.41 c #Conflicts: 520000 | #Constraints: 26408
128.67/129.41 c #Conflicts: 521000 | #Constraints: 27408
128.67/129.41 c #Conflicts: 522000 | #Constraints: 28408
128.67/129.41 c #Conflicts: 523000 | #Constraints: 29408
128.67/129.41 c #Conflicts: 524000 | #Constraints: 30408
128.67/129.41 c #Conflicts: 525000 | #Constraints: 31408
128.67/129.41 c #Conflicts: 526000 | #Constraints: 32408
128.67/129.41 c #Conflicts: 527000 | #Constraints: 33408
128.67/129.41 c #Conflicts: 528000 | #Constraints: 34408
128.67/129.41 c #Conflicts: 529000 | #Constraints: 35408
128.67/129.41 c #Conflicts: 530000 | #Constraints: 36408
128.67/129.41 c #Conflicts: 531000 | #Constraints: 37408
128.67/129.41 c INPROCESSING
128.67/129.41 c GARBAGE COLLECT
128.67/129.41 c rational objective 3
132.86/133.61 c #Conflicts: 532000 | #Constraints: 23943
132.86/133.61 c #Conflicts: 533000 | #Constraints: 24943
132.86/133.61 c #Conflicts: 534000 | #Constraints: 25943
132.86/133.61 c #Conflicts: 535000 | #Constraints: 26943
132.86/133.61 c #Conflicts: 536000 | #Constraints: 27943
132.86/133.61 c #Conflicts: 537000 | #Constraints: 28943
132.86/133.61 c #Conflicts: 538000 | #Constraints: 29943
132.86/133.61 c #Conflicts: 539000 | #Constraints: 30943
132.86/133.61 c #Conflicts: 540000 | #Constraints: 31943
132.86/133.61 c #Conflicts: 541000 | #Constraints: 32943
132.86/133.61 c #Conflicts: 542000 | #Constraints: 33943
132.86/133.61 c #Conflicts: 543000 | #Constraints: 34943
132.86/133.61 c #Conflicts: 544000 | #Constraints: 35943
132.86/133.61 c #Conflicts: 545000 | #Constraints: 36943
132.86/133.61 c #Conflicts: 546000 | #Constraints: 37943
132.86/133.61 c INPROCESSING
132.86/133.61 c GARBAGE COLLECT
132.86/133.61 c rational objective 3
137.26/138.03 c #Conflicts: 547000 | #Constraints: 24304
137.26/138.03 c #Conflicts: 548000 | #Constraints: 25304
137.26/138.03 c #Conflicts: 549000 | #Constraints: 26304
137.26/138.03 c #Conflicts: 550000 | #Constraints: 27304
137.26/138.03 c #Conflicts: 551000 | #Constraints: 28304
137.26/138.03 c #Conflicts: 552000 | #Constraints: 29304
137.26/138.03 c #Conflicts: 553000 | #Constraints: 30304
137.26/138.03 c #Conflicts: 554000 | #Constraints: 31304
137.26/138.03 c #Conflicts: 555000 | #Constraints: 32304
137.26/138.03 c #Conflicts: 556000 | #Constraints: 33304
137.26/138.03 c #Conflicts: 557000 | #Constraints: 34304
137.26/138.03 c #Conflicts: 558000 | #Constraints: 35304
137.26/138.03 c #Conflicts: 559000 | #Constraints: 36304
137.26/138.03 c #Conflicts: 560000 | #Constraints: 37304
137.26/138.03 c #Conflicts: 561000 | #Constraints: 38304
137.26/138.03 c INPROCESSING
137.26/138.03 c GARBAGE COLLECT
137.26/138.03 c rational objective 3
141.54/142.36 c #Conflicts: 562000 | #Constraints: 24498
141.54/142.36 c #Conflicts: 563000 | #Constraints: 25498
141.54/142.36 c #Conflicts: 564000 | #Constraints: 26498
141.54/142.36 c #Conflicts: 565000 | #Constraints: 27498
141.54/142.36 c #Conflicts: 566000 | #Constraints: 28498
141.54/142.36 c #Conflicts: 567000 | #Constraints: 29498
141.54/142.36 c #Conflicts: 568000 | #Constraints: 30498
141.54/142.36 c #Conflicts: 569000 | #Constraints: 31498
141.54/142.36 c #Conflicts: 570000 | #Constraints: 32498
141.54/142.36 c #Conflicts: 571000 | #Constraints: 33498
141.54/142.36 c #Conflicts: 572000 | #Constraints: 34498
141.54/142.36 c #Conflicts: 573000 | #Constraints: 35498
141.54/142.36 c #Conflicts: 574000 | #Constraints: 36498
141.54/142.36 c #Conflicts: 575000 | #Constraints: 37498
141.54/142.36 c #Conflicts: 576000 | #Constraints: 38498
141.54/142.36 c INPROCESSING
141.54/142.36 c GARBAGE COLLECT
141.54/142.36 c rational objective 3
146.33/147.18 c #Conflicts: 577000 | #Constraints: 24482
146.33/147.18 c #Conflicts: 578000 | #Constraints: 25482
146.33/147.18 c #Conflicts: 579000 | #Constraints: 26482
146.33/147.18 c #Conflicts: 580000 | #Constraints: 27482
146.33/147.18 c #Conflicts: 581000 | #Constraints: 28482
146.33/147.18 c #Conflicts: 582000 | #Constraints: 29482
146.33/147.18 c #Conflicts: 583000 | #Constraints: 30482
146.33/147.18 c #Conflicts: 584000 | #Constraints: 31482
146.33/147.18 c #Conflicts: 585000 | #Constraints: 32482
146.33/147.18 c #Conflicts: 586000 | #Constraints: 33482
146.33/147.18 c #Conflicts: 587000 | #Constraints: 34482
146.33/147.18 c #Conflicts: 588000 | #Constraints: 35482
146.33/147.18 c #Conflicts: 589000 | #Constraints: 36482
146.33/147.18 c #Conflicts: 590000 | #Constraints: 37482
146.33/147.18 c #Conflicts: 591000 | #Constraints: 38482
146.33/147.18 c INPROCESSING
146.33/147.18 c GARBAGE COLLECT
146.33/147.18 c rational objective 3
150.91/151.73 c #Conflicts: 592000 | #Constraints: 24286
150.91/151.73 c #Conflicts: 593000 | #Constraints: 25286
150.91/151.73 c #Conflicts: 594000 | #Constraints: 26286
150.91/151.73 c #Conflicts: 595000 | #Constraints: 27286
150.91/151.73 c #Conflicts: 596000 | #Constraints: 28286
150.91/151.73 c #Conflicts: 597000 | #Constraints: 29286
150.91/151.73 c #Conflicts: 598000 | #Constraints: 30286
150.91/151.73 c #Conflicts: 599000 | #Constraints: 31286
150.91/151.73 c #Conflicts: 600000 | #Constraints: 32286
150.91/151.73 c #Conflicts: 601000 | #Constraints: 33286
150.91/151.73 c #Conflicts: 602000 | #Constraints: 34286
150.91/151.73 c #Conflicts: 603000 | #Constraints: 35286
150.91/151.73 c #Conflicts: 604000 | #Constraints: 36286
150.91/151.73 c #Conflicts: 605000 | #Constraints: 37286
150.91/151.73 c #Conflicts: 606000 | #Constraints: 38286
150.91/151.73 c #Conflicts: 607000 | #Constraints: 39286
150.91/151.73 c INPROCESSING
150.91/151.73 c GARBAGE COLLECT
150.91/151.73 c rational objective 3
155.40/156.22 c #Conflicts: 608000 | #Constraints: 24885
155.40/156.22 c #Conflicts: 609000 | #Constraints: 25885
155.40/156.22 c #Conflicts: 610000 | #Constraints: 26885
155.40/156.22 c #Conflicts: 611000 | #Constraints: 27885
155.40/156.22 c #Conflicts: 612000 | #Constraints: 28885
155.40/156.22 c #Conflicts: 613000 | #Constraints: 29885
155.40/156.22 c #Conflicts: 614000 | #Constraints: 30885
155.40/156.22 c #Conflicts: 615000 | #Constraints: 31885
155.40/156.22 c #Conflicts: 616000 | #Constraints: 32885
155.40/156.22 c #Conflicts: 617000 | #Constraints: 33885
155.40/156.22 c #Conflicts: 618000 | #Constraints: 34885
155.40/156.22 c #Conflicts: 619000 | #Constraints: 35885
155.40/156.22 c #Conflicts: 620000 | #Constraints: 36885
155.40/156.22 c #Conflicts: 621000 | #Constraints: 37885
155.40/156.22 c #Conflicts: 622000 | #Constraints: 38885
155.40/156.22 c #Conflicts: 623000 | #Constraints: 39885
155.40/156.22 c INPROCESSING
155.40/156.22 c GARBAGE COLLECT
155.40/156.22 c rational objective 3
160.72/161.67 c #Conflicts: 624000 | #Constraints: 25263
160.72/161.67 c #Conflicts: 625000 | #Constraints: 26263
160.72/161.67 c #Conflicts: 626000 | #Constraints: 27263
160.72/161.67 c #Conflicts: 627000 | #Constraints: 28263
160.72/161.67 c #Conflicts: 628000 | #Constraints: 29263
160.72/161.67 c #Conflicts: 629000 | #Constraints: 30263
160.72/161.67 c #Conflicts: 630000 | #Constraints: 31263
160.72/161.67 c #Conflicts: 631000 | #Constraints: 32263
160.72/161.67 c #Conflicts: 632000 | #Constraints: 33263
160.72/161.67 c #Conflicts: 633000 | #Constraints: 34263
160.72/161.67 c #Conflicts: 634000 | #Constraints: 35263
160.72/161.67 c #Conflicts: 635000 | #Constraints: 36263
160.72/161.67 c #Conflicts: 636000 | #Constraints: 37263
160.72/161.67 c #Conflicts: 637000 | #Constraints: 38263
160.72/161.67 c #Conflicts: 638000 | #Constraints: 39263
160.72/161.67 c #Conflicts: 639000 | #Constraints: 40263
160.72/161.67 c INPROCESSING
160.72/161.67 c GARBAGE COLLECT
160.72/161.67 c rational objective 3
165.01/165.92 c #Conflicts: 640000 | #Constraints: 25481
165.01/165.92 c #Conflicts: 641000 | #Constraints: 26481
165.01/165.92 c #Conflicts: 642000 | #Constraints: 27481
165.01/165.92 c #Conflicts: 643000 | #Constraints: 28481
165.01/165.92 c #Conflicts: 644000 | #Constraints: 29481
165.01/165.92 c #Conflicts: 645000 | #Constraints: 30481
165.01/165.92 c #Conflicts: 646000 | #Constraints: 31481
165.01/165.92 c #Conflicts: 647000 | #Constraints: 32481
165.01/165.92 c #Conflicts: 648000 | #Constraints: 33481
165.01/165.92 c #Conflicts: 649000 | #Constraints: 34481
165.01/165.92 c #Conflicts: 650000 | #Constraints: 35481
165.01/165.92 c #Conflicts: 651000 | #Constraints: 36481
165.01/165.92 c #Conflicts: 652000 | #Constraints: 37481
165.01/165.92 c #Conflicts: 653000 | #Constraints: 38481
165.01/165.92 c #Conflicts: 654000 | #Constraints: 39481
165.01/165.92 c #Conflicts: 655000 | #Constraints: 40481
165.01/165.92 c INPROCESSING
165.01/165.92 c GARBAGE COLLECT
165.01/165.92 c rational objective 3
167.60/168.57 c #Conflicts: 656000 | #Constraints: 25483
167.60/168.57 c #Conflicts: 657000 | #Constraints: 26483
167.60/168.57 c #Conflicts: 658000 | #Constraints: 27483
167.60/168.57 c #Conflicts: 659000 | #Constraints: 28483
167.60/168.57 c #Conflicts: 660000 | #Constraints: 29483
167.60/168.57 c #Conflicts: 661000 | #Constraints: 30483
167.60/168.57 c #Conflicts: 662000 | #Constraints: 31483
167.60/168.57 c #Conflicts: 663000 | #Constraints: 32483
167.60/168.57 c bounds 5 >= 4 @ 163.683
169.80/170.77 c #Conflicts: 664000 | #Constraints: 33484
169.80/170.77 c #Conflicts: 665000 | #Constraints: 34484
169.80/170.77 c #Conflicts: 666000 | #Constraints: 35484
169.80/170.77 c #Conflicts: 667000 | #Constraints: 36484
169.80/170.77 c #Conflicts: 668000 | #Constraints: 37484
169.80/170.77 c #Conflicts: 669000 | #Constraints: 38484
169.80/170.77 c #Conflicts: 670000 | #Constraints: 39484
169.80/170.77 c #Conflicts: 671000 | #Constraints: 40484
169.80/170.77 c INPROCESSING
169.80/170.77 c GARBAGE COLLECT
169.80/170.77 c rational objective 4
174.10/175.01 c #Conflicts: 672000 | #Constraints: 19708
174.10/175.01 c #Conflicts: 673000 | #Constraints: 20708
174.10/175.01 c #Conflicts: 674000 | #Constraints: 21708
174.10/175.01 c #Conflicts: 675000 | #Constraints: 22708
174.10/175.01 c #Conflicts: 676000 | #Constraints: 23708
174.10/175.01 c #Conflicts: 677000 | #Constraints: 24708
174.10/175.01 c #Conflicts: 678000 | #Constraints: 25708
174.10/175.01 c #Conflicts: 679000 | #Constraints: 26708
174.10/175.01 c #Conflicts: 680000 | #Constraints: 27708
174.10/175.01 c #Conflicts: 681000 | #Constraints: 28708
174.10/175.01 c #Conflicts: 682000 | #Constraints: 29708
174.10/175.01 c #Conflicts: 683000 | #Constraints: 30708
174.10/175.01 c #Conflicts: 684000 | #Constraints: 31708
174.10/175.01 c #Conflicts: 685000 | #Constraints: 32708
174.10/175.01 c #Conflicts: 686000 | #Constraints: 33708
174.10/175.01 c #Conflicts: 687000 | #Constraints: 34708
174.10/175.01 c #Conflicts: 688000 | #Constraints: 35708
174.10/175.01 c INPROCESSING
174.10/175.01 c GARBAGE COLLECT
174.10/175.01 c rational objective 4
178.27/179.22 c #Conflicts: 689000 | #Constraints: 22938
178.27/179.22 c #Conflicts: 690000 | #Constraints: 23938
178.27/179.22 c #Conflicts: 691000 | #Constraints: 24938
178.27/179.22 c #Conflicts: 692000 | #Constraints: 25938
178.27/179.22 c #Conflicts: 693000 | #Constraints: 26938
178.27/179.22 c #Conflicts: 694000 | #Constraints: 27938
178.27/179.22 c #Conflicts: 695000 | #Constraints: 28938
178.27/179.22 c #Conflicts: 696000 | #Constraints: 29938
178.27/179.22 c #Conflicts: 697000 | #Constraints: 30938
178.27/179.22 c #Conflicts: 698000 | #Constraints: 31938
178.27/179.22 c #Conflicts: 699000 | #Constraints: 32938
178.27/179.22 c #Conflicts: 700000 | #Constraints: 33938
178.27/179.22 c #Conflicts: 701000 | #Constraints: 34938
178.27/179.22 c #Conflicts: 702000 | #Constraints: 35938
178.27/179.22 c #Conflicts: 703000 | #Constraints: 36938
178.27/179.22 c #Conflicts: 704000 | #Constraints: 37938
178.27/179.22 c #Conflicts: 705000 | #Constraints: 38938
178.27/179.22 c INPROCESSING
178.27/179.22 c GARBAGE COLLECT
178.27/179.22 c rational objective 4
182.47/183.47 c #Conflicts: 706000 | #Constraints: 24551
182.47/183.47 c #Conflicts: 707000 | #Constraints: 25552
182.47/183.47 c #Conflicts: 708000 | #Constraints: 26555
182.47/183.47 c #Conflicts: 709000 | #Constraints: 27594
182.47/183.47 c #Conflicts: 710000 | #Constraints: 28596
182.47/183.47 c #Conflicts: 711000 | #Constraints: 29597
182.47/183.47 c #Conflicts: 712000 | #Constraints: 30598
182.47/183.47 c #Conflicts: 713000 | #Constraints: 31599
182.47/183.47 c #Conflicts: 714000 | #Constraints: 32601
182.47/183.47 c #Conflicts: 715000 | #Constraints: 33603
182.47/183.47 c #Conflicts: 716000 | #Constraints: 34606
182.47/183.47 c #Conflicts: 717000 | #Constraints: 35607
182.47/183.47 c #Conflicts: 718000 | #Constraints: 36608
182.47/183.47 c #Conflicts: 719000 | #Constraints: 37609
182.47/183.47 c #Conflicts: 720000 | #Constraints: 38624
182.47/183.47 c #Conflicts: 721000 | #Constraints: 39628
182.47/183.47 c #Conflicts: 722000 | #Constraints: 40630
182.47/183.47 c INPROCESSING
182.47/183.47 c GARBAGE COLLECT
182.47/183.47 c rational objective 4
188.49/194.61 c #Conflicts: 723000 | #Constraints: 25449
188.49/194.61 c #Conflicts: 724000 | #Constraints: 26450
188.49/194.61 c #Conflicts: 725000 | #Constraints: 27451
188.49/194.61 c #Conflicts: 726000 | #Constraints: 28456
188.49/194.61 c #Conflicts: 727000 | #Constraints: 29550
188.49/194.61 c #Conflicts: 728000 | #Constraints: 30971
188.49/194.61 c #Conflicts: 729000 | #Constraints: 32093
188.49/194.61 c #Conflicts: 730000 | #Constraints: 33096
188.49/194.61 c #Conflicts: 731000 | #Constraints: 34101
188.49/194.61 c #Conflicts: 732000 | #Constraints: 35109
188.49/194.61 c #Conflicts: 733000 | #Constraints: 36110
188.49/194.61 c #Conflicts: 734000 | #Constraints: 37111
188.49/194.61 c #Conflicts: 735000 | #Constraints: 38111
188.49/194.61 c #Conflicts: 736000 | #Constraints: 39116
188.49/194.61 c #Conflicts: 737000 | #Constraints: 40118
188.49/194.61 c #Conflicts: 738000 | #Constraints: 41119
188.49/194.61 c #Conflicts: 739000 | #Constraints: 42121
188.49/194.61 c INPROCESSING
188.49/194.61 c GARBAGE COLLECT
188.49/194.61 c rational objective 4
194.48/200.68 c #Conflicts: 740000 | #Constraints: 26091
194.48/200.68 c #Conflicts: 741000 | #Constraints: 27092
194.48/200.68 c #Conflicts: 742000 | #Constraints: 28131
194.48/200.68 c #Conflicts: 743000 | #Constraints: 29145
194.48/200.68 c #Conflicts: 744000 | #Constraints: 30185
194.48/200.68 c #Conflicts: 745000 | #Constraints: 31406
194.48/200.68 c #Conflicts: 746000 | #Constraints: 32553
194.48/200.68 c #Conflicts: 747000 | #Constraints: 33647
194.48/200.68 c #Conflicts: 748000 | #Constraints: 34695
194.48/200.68 c #Conflicts: 749000 | #Constraints: 35713
194.48/200.68 c #Conflicts: 750000 | #Constraints: 36748
194.48/200.68 c #Conflicts: 751000 | #Constraints: 38084
194.48/200.68 c #Conflicts: 752000 | #Constraints: 39333
194.48/200.68 c #Conflicts: 753000 | #Constraints: 40373
194.48/200.68 c #Conflicts: 754000 | #Constraints: 41408
194.48/200.68 c #Conflicts: 755000 | #Constraints: 42431
194.48/200.68 c #Conflicts: 756000 | #Constraints: 43507
194.48/200.68 c INPROCESSING
194.48/200.68 c GARBAGE COLLECT
194.48/200.68 c rational objective 4
199.56/205.79 c #Conflicts: 757000 | #Constraints: 26593
199.56/205.79 c #Conflicts: 758000 | #Constraints: 27593
199.56/205.79 c #Conflicts: 759000 | #Constraints: 28593
199.56/205.79 c #Conflicts: 760000 | #Constraints: 29593
199.56/205.79 c #Conflicts: 761000 | #Constraints: 30593
199.56/205.79 c #Conflicts: 762000 | #Constraints: 31593
199.56/205.79 c #Conflicts: 763000 | #Constraints: 32593
199.56/205.79 c #Conflicts: 764000 | #Constraints: 33593
199.56/205.79 c #Conflicts: 765000 | #Constraints: 34593
199.56/205.79 c #Conflicts: 766000 | #Constraints: 35593
199.56/205.79 c #Conflicts: 767000 | #Constraints: 36593
199.56/205.79 c #Conflicts: 768000 | #Constraints: 37593
199.56/205.79 c #Conflicts: 769000 | #Constraints: 38593
199.56/205.79 c #Conflicts: 770000 | #Constraints: 39593
199.56/205.79 c #Conflicts: 771000 | #Constraints: 40593
199.56/205.79 c #Conflicts: 772000 | #Constraints: 41593
199.56/205.79 c #Conflicts: 773000 | #Constraints: 42593
199.56/205.79 c #Conflicts: 774000 | #Constraints: 43593
199.56/205.79 c INPROCESSING
199.56/205.79 c GARBAGE COLLECT
199.56/205.79 c rational objective 4
203.95/210.18 c #Conflicts: 775000 | #Constraints: 26814
203.95/210.18 c #Conflicts: 776000 | #Constraints: 27814
203.95/210.18 c #Conflicts: 777000 | #Constraints: 28814
203.95/210.18 c #Conflicts: 778000 | #Constraints: 29814
203.95/210.18 c #Conflicts: 779000 | #Constraints: 30814
203.95/210.18 c #Conflicts: 780000 | #Constraints: 31814
203.95/210.18 c #Conflicts: 781000 | #Constraints: 32814
203.95/210.18 c #Conflicts: 782000 | #Constraints: 33814
203.95/210.18 c #Conflicts: 783000 | #Constraints: 34814
203.95/210.18 c #Conflicts: 784000 | #Constraints: 35814
203.95/210.18 c #Conflicts: 785000 | #Constraints: 36814
203.95/210.18 c #Conflicts: 786000 | #Constraints: 37814
203.95/210.18 c #Conflicts: 787000 | #Constraints: 38814
203.95/210.18 c #Conflicts: 788000 | #Constraints: 39814
203.95/210.18 c #Conflicts: 789000 | #Constraints: 40814
203.95/210.18 c #Conflicts: 790000 | #Constraints: 41814
203.95/210.18 c #Conflicts: 791000 | #Constraints: 42814
203.95/210.18 c #Conflicts: 792000 | #Constraints: 43814
203.95/210.18 c INPROCESSING
203.95/210.18 c GARBAGE COLLECT
203.95/210.18 c rational objective 4
208.64/214.81 c #Conflicts: 793000 | #Constraints: 26006
208.64/214.81 c #Conflicts: 794000 | #Constraints: 27006
208.64/214.81 c #Conflicts: 795000 | #Constraints: 28006
208.64/214.81 c #Conflicts: 796000 | #Constraints: 29006
208.64/214.81 c #Conflicts: 797000 | #Constraints: 30006
208.64/214.81 c #Conflicts: 798000 | #Constraints: 31006
208.64/214.81 c #Conflicts: 799000 | #Constraints: 32006
208.64/214.81 c #Conflicts: 800000 | #Constraints: 33006
208.64/214.81 c #Conflicts: 801000 | #Constraints: 34006
208.64/214.81 c #Conflicts: 802000 | #Constraints: 35006
208.64/214.81 c #Conflicts: 803000 | #Constraints: 36006
208.64/214.81 c #Conflicts: 804000 | #Constraints: 37006
208.64/214.81 c #Conflicts: 805000 | #Constraints: 38006
208.64/214.81 c #Conflicts: 806000 | #Constraints: 39006
208.64/214.81 c #Conflicts: 807000 | #Constraints: 40006
208.64/214.81 c #Conflicts: 808000 | #Constraints: 41006
208.64/214.81 c #Conflicts: 809000 | #Constraints: 42006
208.64/214.81 c #Conflicts: 810000 | #Constraints: 43006
208.64/214.81 c INPROCESSING
208.64/214.81 c GARBAGE COLLECT
208.64/214.81 c rational objective 4
214.06/220.37 c #Conflicts: 811000 | #Constraints: 23522
214.06/220.37 c #Conflicts: 812000 | #Constraints: 24522
214.06/220.37 c #Conflicts: 813000 | #Constraints: 25522
214.06/220.37 c #Conflicts: 814000 | #Constraints: 26522
214.06/220.37 c #Conflicts: 815000 | #Constraints: 27522
214.06/220.37 c #Conflicts: 816000 | #Constraints: 28522
214.06/220.37 c #Conflicts: 817000 | #Constraints: 29522
214.06/220.37 c #Conflicts: 818000 | #Constraints: 30522
214.06/220.37 c #Conflicts: 819000 | #Constraints: 31522
214.06/220.37 c #Conflicts: 820000 | #Constraints: 32522
214.06/220.37 c #Conflicts: 821000 | #Constraints: 33522
214.06/220.37 c #Conflicts: 822000 | #Constraints: 34522
214.06/220.37 c #Conflicts: 823000 | #Constraints: 35522
214.06/220.37 c #Conflicts: 824000 | #Constraints: 36522
214.06/220.37 c #Conflicts: 825000 | #Constraints: 37522
214.06/220.37 c #Conflicts: 826000 | #Constraints: 38522
214.06/220.37 c #Conflicts: 827000 | #Constraints: 39522
214.06/220.37 c #Conflicts: 828000 | #Constraints: 40522
214.06/220.37 c INPROCESSING
214.06/220.37 c GARBAGE COLLECT
214.06/220.37 c rational objective 4
218.54/224.87 c #Conflicts: 829000 | #Constraints: 23555
218.54/224.87 c #Conflicts: 830000 | #Constraints: 24555
218.54/224.87 c #Conflicts: 831000 | #Constraints: 25555
218.54/224.87 c #Conflicts: 832000 | #Constraints: 26555
218.54/224.87 c #Conflicts: 833000 | #Constraints: 27555
218.54/224.87 c #Conflicts: 834000 | #Constraints: 28555
218.54/224.87 c #Conflicts: 835000 | #Constraints: 29555
218.54/224.87 c #Conflicts: 836000 | #Constraints: 30555
218.54/224.87 c #Conflicts: 837000 | #Constraints: 31555
218.54/224.87 c #Conflicts: 838000 | #Constraints: 32555
218.54/224.87 c #Conflicts: 839000 | #Constraints: 33555
218.54/224.87 c #Conflicts: 840000 | #Constraints: 34555
218.54/224.87 c #Conflicts: 841000 | #Constraints: 35555
218.54/224.87 c #Conflicts: 842000 | #Constraints: 36555
218.54/224.87 c #Conflicts: 843000 | #Constraints: 37555
218.54/224.87 c #Conflicts: 844000 | #Constraints: 38555
218.54/224.87 c #Conflicts: 845000 | #Constraints: 39555
218.54/224.87 c #Conflicts: 846000 | #Constraints: 40555
218.54/224.87 c INPROCESSING
218.54/224.87 c GARBAGE COLLECT
218.54/224.87 c rational objective 4
223.43/229.76 c #Conflicts: 847000 | #Constraints: 23363
223.43/229.76 c #Conflicts: 848000 | #Constraints: 24363
223.43/229.76 c #Conflicts: 849000 | #Constraints: 25363
223.43/229.76 c #Conflicts: 850000 | #Constraints: 26363
223.43/229.76 c #Conflicts: 851000 | #Constraints: 27363
223.43/229.76 c #Conflicts: 852000 | #Constraints: 28363
223.43/229.76 c #Conflicts: 853000 | #Constraints: 29363
223.43/229.76 c #Conflicts: 854000 | #Constraints: 30363
223.43/229.76 c #Conflicts: 855000 | #Constraints: 31363
223.43/229.76 c #Conflicts: 856000 | #Constraints: 32363
223.43/229.76 c #Conflicts: 857000 | #Constraints: 33363
223.43/229.76 c #Conflicts: 858000 | #Constraints: 34363
223.43/229.76 c #Conflicts: 859000 | #Constraints: 35363
223.43/229.76 c #Conflicts: 860000 | #Constraints: 36363
223.43/229.76 c #Conflicts: 861000 | #Constraints: 37363
223.43/229.76 c #Conflicts: 862000 | #Constraints: 38363
223.43/229.76 c #Conflicts: 863000 | #Constraints: 39363
223.43/229.76 c #Conflicts: 864000 | #Constraints: 40363
223.43/229.76 c #Conflicts: 865000 | #Constraints: 41363
223.43/229.76 c INPROCESSING
223.43/229.76 c GARBAGE COLLECT
223.43/229.76 c rational objective 4
228.02/234.35 c #Conflicts: 866000 | #Constraints: 23941
228.02/234.35 c #Conflicts: 867000 | #Constraints: 24941
228.02/234.35 c #Conflicts: 868000 | #Constraints: 25941
228.02/234.35 c #Conflicts: 869000 | #Constraints: 26941
228.02/234.35 c #Conflicts: 870000 | #Constraints: 27941
228.02/234.35 c #Conflicts: 871000 | #Constraints: 28941
228.02/234.35 c #Conflicts: 872000 | #Constraints: 29941
228.02/234.35 c #Conflicts: 873000 | #Constraints: 30941
228.02/234.35 c #Conflicts: 874000 | #Constraints: 31941
228.02/234.35 c #Conflicts: 875000 | #Constraints: 32941
228.02/234.35 c #Conflicts: 876000 | #Constraints: 33941
228.02/234.35 c #Conflicts: 877000 | #Constraints: 34941
228.02/234.35 c #Conflicts: 878000 | #Constraints: 35941
228.02/234.35 c #Conflicts: 879000 | #Constraints: 36941
228.02/234.35 c #Conflicts: 880000 | #Constraints: 37941
228.02/234.35 c #Conflicts: 881000 | #Constraints: 38941
228.02/234.35 c #Conflicts: 882000 | #Constraints: 39941
228.02/234.35 c #Conflicts: 883000 | #Constraints: 40941
228.02/234.35 c #Conflicts: 884000 | #Constraints: 41941
228.02/234.35 c INPROCESSING
228.02/234.35 c GARBAGE COLLECT
228.02/234.35 c rational objective 4
233.41/239.72 c #Conflicts: 885000 | #Constraints: 24355
233.41/239.72 c #Conflicts: 886000 | #Constraints: 25355
233.41/239.72 c #Conflicts: 887000 | #Constraints: 26355
233.41/239.72 c #Conflicts: 888000 | #Constraints: 27355
233.41/239.72 c #Conflicts: 889000 | #Constraints: 28355
233.41/239.72 c #Conflicts: 890000 | #Constraints: 29355
233.41/239.72 c #Conflicts: 891000 | #Constraints: 30355
233.41/239.72 c #Conflicts: 892000 | #Constraints: 31355
233.41/239.72 c #Conflicts: 893000 | #Constraints: 32355
233.41/239.72 c #Conflicts: 894000 | #Constraints: 33355
233.41/239.72 c #Conflicts: 895000 | #Constraints: 34355
233.41/239.72 c #Conflicts: 896000 | #Constraints: 35355
233.41/239.72 c #Conflicts: 897000 | #Constraints: 36355
233.41/239.72 c #Conflicts: 898000 | #Constraints: 37355
233.41/239.72 c #Conflicts: 899000 | #Constraints: 38355
233.41/239.72 c #Conflicts: 900000 | #Constraints: 39355
233.41/239.72 c #Conflicts: 901000 | #Constraints: 40355
233.41/239.72 c #Conflicts: 902000 | #Constraints: 41355
233.41/239.72 c #Conflicts: 903000 | #Constraints: 42355
233.41/239.72 c INPROCESSING
233.41/239.72 c GARBAGE COLLECT
233.41/239.72 c rational objective 4
238.10/244.45 c #Conflicts: 904000 | #Constraints: 24565
238.10/244.45 c #Conflicts: 905000 | #Constraints: 25565
238.10/244.45 c #Conflicts: 906000 | #Constraints: 26565
238.10/244.45 c #Conflicts: 907000 | #Constraints: 27565
238.10/244.45 c #Conflicts: 908000 | #Constraints: 28565
238.10/244.45 c #Conflicts: 909000 | #Constraints: 29565
238.10/244.45 c #Conflicts: 910000 | #Constraints: 30565
238.10/244.45 c #Conflicts: 911000 | #Constraints: 31565
238.10/244.45 c #Conflicts: 912000 | #Constraints: 32565
238.10/244.45 c #Conflicts: 913000 | #Constraints: 33565
238.10/244.45 c #Conflicts: 914000 | #Constraints: 34565
238.10/244.45 c #Conflicts: 915000 | #Constraints: 35565
238.10/244.45 c #Conflicts: 916000 | #Constraints: 36565
238.10/244.45 c #Conflicts: 917000 | #Constraints: 37565
238.10/244.45 c #Conflicts: 918000 | #Constraints: 38565
238.10/244.45 c #Conflicts: 919000 | #Constraints: 39565
238.10/244.45 c #Conflicts: 920000 | #Constraints: 40565
238.10/244.45 c #Conflicts: 921000 | #Constraints: 41565
238.10/244.45 c #Conflicts: 922000 | #Constraints: 42565
238.10/244.45 c INPROCESSING
238.10/244.45 c GARBAGE COLLECT
238.10/244.45 c rational objective 4
242.42/248.98 c #Conflicts: 923000 | #Constraints: 24571
242.42/248.98 c #Conflicts: 924000 | #Constraints: 25571
242.42/248.98 c #Conflicts: 925000 | #Constraints: 26573
242.42/248.98 c #Conflicts: 926000 | #Constraints: 27573
242.42/248.98 c #Conflicts: 927000 | #Constraints: 28573
242.42/248.98 c #Conflicts: 928000 | #Constraints: 29574
242.42/248.98 c #Conflicts: 929000 | #Constraints: 30577
242.42/248.98 c #Conflicts: 930000 | #Constraints: 31579
242.42/248.98 c #Conflicts: 931000 | #Constraints: 32579
242.42/248.98 c #Conflicts: 932000 | #Constraints: 33581
242.42/248.98 c #Conflicts: 933000 | #Constraints: 34581
242.42/248.98 c #Conflicts: 934000 | #Constraints: 35583
242.42/248.98 c #Conflicts: 935000 | #Constraints: 36583
242.42/248.98 c #Conflicts: 936000 | #Constraints: 37583
242.42/248.98 c #Conflicts: 937000 | #Constraints: 38584
242.42/248.98 c #Conflicts: 938000 | #Constraints: 39585
242.42/248.98 c #Conflicts: 939000 | #Constraints: 40585
242.42/248.98 c #Conflicts: 940000 | #Constraints: 41585
242.42/248.98 c #Conflicts: 941000 | #Constraints: 42585
242.42/248.98 c INPROCESSING
242.42/248.98 c GARBAGE COLLECT
242.42/248.98 c rational objective 4
247.81/254.31 c #Conflicts: 942000 | #Constraints: 24376
247.81/254.31 c #Conflicts: 943000 | #Constraints: 25376
247.81/254.31 c #Conflicts: 944000 | #Constraints: 26376
247.81/254.31 c #Conflicts: 945000 | #Constraints: 27376
247.81/254.31 c #Conflicts: 946000 | #Constraints: 28376
247.81/254.31 c #Conflicts: 947000 | #Constraints: 29376
247.81/254.31 c #Conflicts: 948000 | #Constraints: 30376
247.81/254.31 c #Conflicts: 949000 | #Constraints: 31376
247.81/254.31 c #Conflicts: 950000 | #Constraints: 32376
247.81/254.31 c #Conflicts: 951000 | #Constraints: 33376
247.81/254.31 c #Conflicts: 952000 | #Constraints: 34376
247.81/254.31 c #Conflicts: 953000 | #Constraints: 35376
247.81/254.31 c #Conflicts: 954000 | #Constraints: 36376
247.81/254.31 c #Conflicts: 955000 | #Constraints: 37376
247.81/254.31 c #Conflicts: 956000 | #Constraints: 38376
247.81/254.31 c #Conflicts: 957000 | #Constraints: 39376
247.81/254.31 c #Conflicts: 958000 | #Constraints: 40376
247.81/254.31 c #Conflicts: 959000 | #Constraints: 41376
247.81/254.31 c #Conflicts: 960000 | #Constraints: 42376
247.81/254.31 c #Conflicts: 961000 | #Constraints: 43376
247.81/254.31 c INPROCESSING
247.81/254.31 c GARBAGE COLLECT
247.81/254.31 c rational objective 4
252.79/259.39 c #Conflicts: 962000 | #Constraints: 24969
252.79/259.39 c #Conflicts: 963000 | #Constraints: 25969
252.79/259.39 c #Conflicts: 964000 | #Constraints: 26969
252.79/259.39 c #Conflicts: 965000 | #Constraints: 27969
252.79/259.39 c #Conflicts: 966000 | #Constraints: 28969
252.79/259.39 c #Conflicts: 967000 | #Constraints: 29969
252.79/259.39 c #Conflicts: 968000 | #Constraints: 30969
252.79/259.39 c #Conflicts: 969000 | #Constraints: 31969
252.79/259.39 c #Conflicts: 970000 | #Constraints: 32969
252.79/259.39 c #Conflicts: 971000 | #Constraints: 33969
252.79/259.39 c #Conflicts: 972000 | #Constraints: 34969
252.79/259.39 c #Conflicts: 973000 | #Constraints: 35969
252.79/259.39 c #Conflicts: 974000 | #Constraints: 36969
252.79/259.39 c #Conflicts: 975000 | #Constraints: 37969
252.79/259.39 c #Conflicts: 976000 | #Constraints: 38969
252.79/259.39 c #Conflicts: 977000 | #Constraints: 39969
252.79/259.39 c #Conflicts: 978000 | #Constraints: 40969
252.79/259.39 c #Conflicts: 979000 | #Constraints: 41969
252.79/259.39 c #Conflicts: 980000 | #Constraints: 42969
252.79/259.39 c #Conflicts: 981000 | #Constraints: 43969
252.79/259.39 c INPROCESSING
252.79/259.39 c GARBAGE COLLECT
252.79/259.39 c rational objective 4
257.88/264.49 c #Conflicts: 982000 | #Constraints: 25372
257.88/264.49 c #Conflicts: 983000 | #Constraints: 26372
257.88/264.49 c #Conflicts: 984000 | #Constraints: 27372
257.88/264.49 c #Conflicts: 985000 | #Constraints: 28372
257.88/264.49 c #Conflicts: 986000 | #Constraints: 29372
257.88/264.49 c #Conflicts: 987000 | #Constraints: 30372
257.88/264.49 c #Conflicts: 988000 | #Constraints: 31372
257.88/264.49 c #Conflicts: 989000 | #Constraints: 32372
257.88/264.49 c #Conflicts: 990000 | #Constraints: 33372
257.88/264.49 c #Conflicts: 991000 | #Constraints: 34372
257.88/264.49 c #Conflicts: 992000 | #Constraints: 35372
257.88/264.49 c #Conflicts: 993000 | #Constraints: 36372
257.88/264.49 c #Conflicts: 994000 | #Constraints: 37372
257.88/264.49 c #Conflicts: 995000 | #Constraints: 38372
257.88/264.49 c #Conflicts: 996000 | #Constraints: 39372
257.88/264.49 c #Conflicts: 997000 | #Constraints: 40372
257.88/264.49 c #Conflicts: 998000 | #Constraints: 41372
257.88/264.49 c #Conflicts: 999000 | #Constraints: 42372
257.88/264.49 c #Conflicts: 1000000 | #Constraints: 43372
257.88/264.49 c #Conflicts: 1001000 | #Constraints: 44372
257.88/264.49 c INPROCESSING
257.88/264.49 c GARBAGE COLLECT
257.88/264.49 c rational objective 4
264.16/270.77 c #Conflicts: 1002000 | #Constraints: 25565
264.16/270.77 c #Conflicts: 1003000 | #Constraints: 26572
264.16/270.77 c #Conflicts: 1004000 | #Constraints: 27594
264.16/270.77 c #Conflicts: 1005000 | #Constraints: 28601
264.16/270.77 c #Conflicts: 1006000 | #Constraints: 29606
264.16/270.77 c #Conflicts: 1007000 | #Constraints: 30615
264.16/270.77 c #Conflicts: 1008000 | #Constraints: 31634
264.16/270.77 c #Conflicts: 1009000 | #Constraints: 32637
264.16/270.77 c #Conflicts: 1010000 | #Constraints: 33931
264.16/270.77 c #Conflicts: 1011000 | #Constraints: 35068
264.16/270.77 c #Conflicts: 1012000 | #Constraints: 36178
264.16/270.77 c #Conflicts: 1013000 | #Constraints: 37253
264.16/270.77 c #Conflicts: 1014000 | #Constraints: 38452
264.16/270.77 c #Conflicts: 1015000 | #Constraints: 39773
264.16/270.77 c #Conflicts: 1016000 | #Constraints: 40866
264.16/270.77 c #Conflicts: 1017000 | #Constraints: 41990
264.16/270.77 c #Conflicts: 1018000 | #Constraints: 43015
264.16/270.77 c #Conflicts: 1019000 | #Constraints: 44035
264.16/270.77 c #Conflicts: 1020000 | #Constraints: 45064
264.16/270.77 c #Conflicts: 1021000 | #Constraints: 46116
264.16/270.77 c INPROCESSING
264.16/270.77 c GARBAGE COLLECT
264.16/270.77 c rational objective 4
269.55/276.15 c #Conflicts: 1022000 | #Constraints: 23737
269.55/276.15 c #Conflicts: 1023000 | #Constraints: 24737
269.55/276.15 c #Conflicts: 1024000 | #Constraints: 25737
269.55/276.15 c #Conflicts: 1025000 | #Constraints: 26737
269.55/276.15 c #Conflicts: 1026000 | #Constraints: 27737
269.55/276.15 c #Conflicts: 1027000 | #Constraints: 28737
269.55/276.15 c #Conflicts: 1028000 | #Constraints: 29737
269.55/276.15 c #Conflicts: 1029000 | #Constraints: 30737
269.55/276.15 c #Conflicts: 1030000 | #Constraints: 31737
269.55/276.15 c #Conflicts: 1031000 | #Constraints: 32737
269.55/276.15 c #Conflicts: 1032000 | #Constraints: 33737
269.55/276.15 c #Conflicts: 1033000 | #Constraints: 34737
269.55/276.15 c #Conflicts: 1034000 | #Constraints: 35737
269.55/276.15 c #Conflicts: 1035000 | #Constraints: 36737
269.55/276.15 c #Conflicts: 1036000 | #Constraints: 37737
269.55/276.15 c #Conflicts: 1037000 | #Constraints: 38737
269.55/276.15 c #Conflicts: 1038000 | #Constraints: 39737
269.55/276.15 c #Conflicts: 1039000 | #Constraints: 40737
269.55/276.15 c #Conflicts: 1040000 | #Constraints: 41737
269.55/276.15 c #Conflicts: 1041000 | #Constraints: 42737
269.55/276.15 c INPROCESSING
269.55/276.15 c GARBAGE COLLECT
269.55/276.15 c rational objective 4
274.52/281.28 c #Conflicts: 1042000 | #Constraints: 24437
274.52/281.28 c #Conflicts: 1043000 | #Constraints: 25437
274.52/281.28 c #Conflicts: 1044000 | #Constraints: 26437
274.52/281.28 c #Conflicts: 1045000 | #Constraints: 27437
274.52/281.28 c #Conflicts: 1046000 | #Constraints: 28437
274.52/281.28 c #Conflicts: 1047000 | #Constraints: 29437
274.52/281.28 c #Conflicts: 1048000 | #Constraints: 30437
274.52/281.28 c #Conflicts: 1049000 | #Constraints: 31437
274.52/281.28 c #Conflicts: 1050000 | #Constraints: 32437
274.52/281.28 c #Conflicts: 1051000 | #Constraints: 33437
274.52/281.28 c #Conflicts: 1052000 | #Constraints: 34437
274.52/281.28 c #Conflicts: 1053000 | #Constraints: 35437
274.52/281.28 c #Conflicts: 1054000 | #Constraints: 36437
274.52/281.28 c #Conflicts: 1055000 | #Constraints: 37437
274.52/281.28 c #Conflicts: 1056000 | #Constraints: 38437
274.52/281.28 c #Conflicts: 1057000 | #Constraints: 39437
274.52/281.28 c #Conflicts: 1058000 | #Constraints: 40437
274.52/281.28 c #Conflicts: 1059000 | #Constraints: 41437
274.52/281.28 c #Conflicts: 1060000 | #Constraints: 42437
274.52/281.28 c #Conflicts: 1061000 | #Constraints: 43437
274.52/281.28 c #Conflicts: 1062000 | #Constraints: 44437
274.52/281.28 c INPROCESSING
274.52/281.28 c GARBAGE COLLECT
274.52/281.28 c rational objective 4
279.80/286.58 c #Conflicts: 1063000 | #Constraints: 25480
279.80/286.58 c #Conflicts: 1064000 | #Constraints: 26480
279.80/286.58 c #Conflicts: 1065000 | #Constraints: 27480
279.80/286.58 c #Conflicts: 1066000 | #Constraints: 28480
279.80/286.58 c #Conflicts: 1067000 | #Constraints: 29480
279.80/286.58 c #Conflicts: 1068000 | #Constraints: 30480
279.80/286.58 c #Conflicts: 1069000 | #Constraints: 31480
279.80/286.58 c #Conflicts: 1070000 | #Constraints: 32480
279.80/286.58 c #Conflicts: 1071000 | #Constraints: 33480
279.80/286.58 c #Conflicts: 1072000 | #Constraints: 34480
279.80/286.58 c #Conflicts: 1073000 | #Constraints: 35480
279.80/286.58 c #Conflicts: 1074000 | #Constraints: 36480
279.80/286.58 c #Conflicts: 1075000 | #Constraints: 37480
279.80/286.58 c #Conflicts: 1076000 | #Constraints: 38480
279.80/286.58 c #Conflicts: 1077000 | #Constraints: 39480
279.80/286.58 c #Conflicts: 1078000 | #Constraints: 40480
279.80/286.58 c #Conflicts: 1079000 | #Constraints: 41480
279.80/286.58 c #Conflicts: 1080000 | #Constraints: 42480
279.80/286.58 c #Conflicts: 1081000 | #Constraints: 43480
279.80/286.58 c #Conflicts: 1082000 | #Constraints: 44480
279.80/286.58 c #Conflicts: 1083000 | #Constraints: 45480
279.80/286.58 c INPROCESSING
279.80/286.58 c GARBAGE COLLECT
279.80/286.58 c rational objective 4
284.98/291.77 c #Conflicts: 1084000 | #Constraints: 26096
284.98/291.77 c #Conflicts: 1085000 | #Constraints: 27096
284.98/291.77 c #Conflicts: 1086000 | #Constraints: 28096
284.98/291.77 c #Conflicts: 1087000 | #Constraints: 29096
284.98/291.77 c #Conflicts: 1088000 | #Constraints: 30096
284.98/291.77 c #Conflicts: 1089000 | #Constraints: 31096
284.98/291.77 c #Conflicts: 1090000 | #Constraints: 32096
284.98/291.77 c #Conflicts: 1091000 | #Constraints: 33096
284.98/291.77 c #Conflicts: 1092000 | #Constraints: 34096
284.98/291.77 c #Conflicts: 1093000 | #Constraints: 35096
284.98/291.77 c #Conflicts: 1094000 | #Constraints: 36096
284.98/291.77 c #Conflicts: 1095000 | #Constraints: 37096
284.98/291.77 c #Conflicts: 1096000 | #Constraints: 38096
284.98/291.77 c #Conflicts: 1097000 | #Constraints: 39096
284.98/291.77 c #Conflicts: 1098000 | #Constraints: 40096
284.98/291.77 c #Conflicts: 1099000 | #Constraints: 41096
284.98/291.77 c #Conflicts: 1100000 | #Constraints: 42096
284.98/291.77 c #Conflicts: 1101000 | #Constraints: 43096
284.98/291.77 c #Conflicts: 1102000 | #Constraints: 44096
284.98/291.77 c #Conflicts: 1103000 | #Constraints: 45096
284.98/291.77 c #Conflicts: 1104000 | #Constraints: 46096
284.98/291.77 c INPROCESSING
284.98/291.77 c GARBAGE COLLECT
284.98/291.77 c rational objective 4
290.27/297.02 c #Conflicts: 1105000 | #Constraints: 26427
290.27/297.02 c #Conflicts: 1106000 | #Constraints: 27427
290.27/297.02 c #Conflicts: 1107000 | #Constraints: 28427
290.27/297.02 c #Conflicts: 1108000 | #Constraints: 29427
290.27/297.02 c #Conflicts: 1109000 | #Constraints: 30427
290.27/297.02 c #Conflicts: 1110000 | #Constraints: 31427
290.27/297.02 c #Conflicts: 1111000 | #Constraints: 32427
290.27/297.02 c #Conflicts: 1112000 | #Constraints: 33427
290.27/297.02 c #Conflicts: 1113000 | #Constraints: 34427
290.27/297.02 c #Conflicts: 1114000 | #Constraints: 35427
290.27/297.02 c #Conflicts: 1115000 | #Constraints: 36427
290.27/297.02 c #Conflicts: 1116000 | #Constraints: 37427
290.27/297.02 c #Conflicts: 1117000 | #Constraints: 38427
290.27/297.02 c #Conflicts: 1118000 | #Constraints: 39427
290.27/297.02 c #Conflicts: 1119000 | #Constraints: 40427
290.27/297.02 c #Conflicts: 1120000 | #Constraints: 41427
290.27/297.02 c #Conflicts: 1121000 | #Constraints: 42427
290.27/297.02 c #Conflicts: 1122000 | #Constraints: 43427
290.27/297.02 c #Conflicts: 1123000 | #Constraints: 44427
290.27/297.02 c #Conflicts: 1124000 | #Constraints: 45427
290.27/297.02 c #Conflicts: 1125000 | #Constraints: 46427
290.27/297.02 c INPROCESSING
290.27/297.02 c GARBAGE COLLECT
290.27/297.02 c rational objective 4
297.85/304.68 c #Conflicts: 1126000 | #Constraints: 26484
297.85/304.68 c #Conflicts: 1127000 | #Constraints: 27484
297.85/304.68 c #Conflicts: 1128000 | #Constraints: 28511
297.85/304.68 c #Conflicts: 1129000 | #Constraints: 29638
297.85/304.68 c #Conflicts: 1130000 | #Constraints: 30781
297.85/304.68 c #Conflicts: 1131000 | #Constraints: 31978
297.85/304.68 c #Conflicts: 1132000 | #Constraints: 33189
297.85/304.68 c #Conflicts: 1133000 | #Constraints: 34193
297.85/304.68 c #Conflicts: 1134000 | #Constraints: 35282
297.85/304.68 c #Conflicts: 1135000 | #Constraints: 36531
297.85/304.68 c #Conflicts: 1136000 | #Constraints: 37663
297.85/304.68 c #Conflicts: 1137000 | #Constraints: 38719
297.85/304.68 c #Conflicts: 1138000 | #Constraints: 39751
297.85/304.68 c #Conflicts: 1139000 | #Constraints: 40945
297.85/304.68 c #Conflicts: 1140000 | #Constraints: 42099
297.85/304.68 c #Conflicts: 1141000 | #Constraints: 43125
297.85/304.68 c #Conflicts: 1142000 | #Constraints: 44177
297.85/304.68 c #Conflicts: 1143000 | #Constraints: 45219
297.85/304.68 c #Conflicts: 1144000 | #Constraints: 46272
297.85/304.68 c #Conflicts: 1145000 | #Constraints: 47407
297.85/304.68 c #Conflicts: 1146000 | #Constraints: 48517
297.85/304.68 c INPROCESSING
297.85/304.68 c GARBAGE COLLECT
297.85/304.68 c rational objective 4
304.61/311.54 c #Conflicts: 1147000 | #Constraints: 27341
304.61/311.54 c #Conflicts: 1148000 | #Constraints: 28341
304.61/311.54 c #Conflicts: 1149000 | #Constraints: 29341
304.61/311.54 c #Conflicts: 1150000 | #Constraints: 30341
304.61/311.54 c #Conflicts: 1151000 | #Constraints: 31341
304.61/311.54 c #Conflicts: 1152000 | #Constraints: 32341
304.61/311.54 c #Conflicts: 1153000 | #Constraints: 33341
304.61/311.54 c #Conflicts: 1154000 | #Constraints: 34341
304.61/311.54 c #Conflicts: 1155000 | #Constraints: 35341
304.61/311.54 c #Conflicts: 1156000 | #Constraints: 36341
304.61/311.54 c #Conflicts: 1157000 | #Constraints: 37341
304.61/311.54 c #Conflicts: 1158000 | #Constraints: 38341
304.61/311.54 c #Conflicts: 1159000 | #Constraints: 39341
304.61/311.54 c #Conflicts: 1160000 | #Constraints: 40341
304.61/311.54 c #Conflicts: 1161000 | #Constraints: 41341
304.61/311.54 c #Conflicts: 1162000 | #Constraints: 42341
304.61/311.54 c #Conflicts: 1163000 | #Constraints: 43341
304.61/311.54 c #Conflicts: 1164000 | #Constraints: 44341
304.61/311.54 c #Conflicts: 1165000 | #Constraints: 45341
304.61/311.54 c #Conflicts: 1166000 | #Constraints: 46341
304.61/311.54 c #Conflicts: 1167000 | #Constraints: 47341
304.61/311.54 c #Conflicts: 1168000 | #Constraints: 48341
304.61/311.54 c INPROCESSING
304.61/311.54 c GARBAGE COLLECT
304.61/311.54 c rational objective 4
310.30/317.23 c #Conflicts: 1169000 | #Constraints: 27382
310.30/317.23 c #Conflicts: 1170000 | #Constraints: 28382
310.30/317.23 c #Conflicts: 1171000 | #Constraints: 29382
310.30/317.23 c #Conflicts: 1172000 | #Constraints: 30382
310.30/317.23 c #Conflicts: 1173000 | #Constraints: 31384
310.30/317.23 c #Conflicts: 1174000 | #Constraints: 32384
310.30/317.23 c #Conflicts: 1175000 | #Constraints: 33385
310.30/317.23 c #Conflicts: 1176000 | #Constraints: 34385
310.30/317.23 c #Conflicts: 1177000 | #Constraints: 35385
310.30/317.23 c #Conflicts: 1178000 | #Constraints: 36385
310.30/317.23 c #Conflicts: 1179000 | #Constraints: 37386
310.30/317.23 c #Conflicts: 1180000 | #Constraints: 38386
310.30/317.23 c #Conflicts: 1181000 | #Constraints: 39388
310.30/317.23 c #Conflicts: 1182000 | #Constraints: 40388
310.30/317.23 c #Conflicts: 1183000 | #Constraints: 41388
310.30/317.23 c #Conflicts: 1184000 | #Constraints: 42389
310.30/317.23 c #Conflicts: 1185000 | #Constraints: 43389
310.30/317.23 c #Conflicts: 1186000 | #Constraints: 44390
310.30/317.23 c #Conflicts: 1187000 | #Constraints: 45390
310.30/317.23 c #Conflicts: 1188000 | #Constraints: 46390
310.30/317.23 c #Conflicts: 1189000 | #Constraints: 47390
310.30/317.23 c #Conflicts: 1190000 | #Constraints: 48390
310.30/317.23 c INPROCESSING
310.30/317.23 c GARBAGE COLLECT
310.30/317.23 c rational objective 4
316.38/323.33 c #Conflicts: 1191000 | #Constraints: 27466
316.38/323.33 c #Conflicts: 1192000 | #Constraints: 28466
316.38/323.33 c #Conflicts: 1193000 | #Constraints: 29466
316.38/323.33 c #Conflicts: 1194000 | #Constraints: 30466
316.38/323.33 c #Conflicts: 1195000 | #Constraints: 31466
316.38/323.33 c #Conflicts: 1196000 | #Constraints: 32466
316.38/323.33 c #Conflicts: 1197000 | #Constraints: 33466
316.38/323.33 c #Conflicts: 1198000 | #Constraints: 34466
316.38/323.33 c #Conflicts: 1199000 | #Constraints: 35466
316.38/323.33 c #Conflicts: 1200000 | #Constraints: 36466
316.38/323.33 c #Conflicts: 1201000 | #Constraints: 37466
316.38/323.33 c #Conflicts: 1202000 | #Constraints: 38466
316.38/323.33 c #Conflicts: 1203000 | #Constraints: 39466
316.38/323.33 c #Conflicts: 1204000 | #Constraints: 40466
316.38/323.33 c #Conflicts: 1205000 | #Constraints: 41466
316.38/323.33 c #Conflicts: 1206000 | #Constraints: 42466
316.38/323.33 c #Conflicts: 1207000 | #Constraints: 43466
316.38/323.33 c #Conflicts: 1208000 | #Constraints: 44466
316.38/323.33 c #Conflicts: 1209000 | #Constraints: 45466
316.38/323.33 c #Conflicts: 1210000 | #Constraints: 46466
316.38/323.33 c #Conflicts: 1211000 | #Constraints: 47466
316.38/323.33 c #Conflicts: 1212000 | #Constraints: 48466
316.38/323.33 c INPROCESSING
316.38/323.33 c GARBAGE COLLECT
316.38/323.33 c rational objective 4
322.36/329.39 c #Conflicts: 1213000 | #Constraints: 27548
322.36/329.39 c #Conflicts: 1214000 | #Constraints: 28548
322.36/329.39 c #Conflicts: 1215000 | #Constraints: 29548
322.36/329.39 c #Conflicts: 1216000 | #Constraints: 30551
322.36/329.39 c #Conflicts: 1217000 | #Constraints: 31552
322.36/329.39 c #Conflicts: 1218000 | #Constraints: 32553
322.36/329.39 c #Conflicts: 1219000 | #Constraints: 33553
322.36/329.39 c #Conflicts: 1220000 | #Constraints: 34553
322.36/329.39 c #Conflicts: 1221000 | #Constraints: 35555
322.36/329.39 c #Conflicts: 1222000 | #Constraints: 36556
322.36/329.39 c #Conflicts: 1223000 | #Constraints: 37556
322.36/329.39 c #Conflicts: 1224000 | #Constraints: 38557
322.36/329.39 c #Conflicts: 1225000 | #Constraints: 39559
322.36/329.39 c #Conflicts: 1226000 | #Constraints: 40564
322.36/329.39 c #Conflicts: 1227000 | #Constraints: 41566
322.36/329.39 c #Conflicts: 1228000 | #Constraints: 42568
322.36/329.39 c #Conflicts: 1229000 | #Constraints: 43570
322.36/329.39 c #Conflicts: 1230000 | #Constraints: 44574
322.36/329.39 c #Conflicts: 1231000 | #Constraints: 45576
322.36/329.39 c #Conflicts: 1232000 | #Constraints: 46587
322.36/329.39 c #Conflicts: 1233000 | #Constraints: 47598
322.36/329.39 c #Conflicts: 1234000 | #Constraints: 48620
322.36/329.39 c INPROCESSING
322.36/329.39 c GARBAGE COLLECT
322.36/329.39 c rational objective 4
328.05/335.06 c #Conflicts: 1235000 | #Constraints: 27530
328.05/335.06 c #Conflicts: 1236000 | #Constraints: 28530
328.05/335.06 c #Conflicts: 1237000 | #Constraints: 29530
328.05/335.06 c #Conflicts: 1238000 | #Constraints: 30530
328.05/335.06 c #Conflicts: 1239000 | #Constraints: 31530
328.05/335.06 c #Conflicts: 1240000 | #Constraints: 32530
328.05/335.06 c #Conflicts: 1241000 | #Constraints: 33530
328.05/335.06 c #Conflicts: 1242000 | #Constraints: 34530
328.05/335.06 c #Conflicts: 1243000 | #Constraints: 35530
328.05/335.06 c #Conflicts: 1244000 | #Constraints: 36530
328.05/335.06 c #Conflicts: 1245000 | #Constraints: 37530
328.05/335.06 c #Conflicts: 1246000 | #Constraints: 38530
328.05/335.06 c #Conflicts: 1247000 | #Constraints: 39530
328.05/335.06 c #Conflicts: 1248000 | #Constraints: 40530
328.05/335.06 c #Conflicts: 1249000 | #Constraints: 41530
328.05/335.06 c #Conflicts: 1250000 | #Constraints: 42530
328.05/335.06 c #Conflicts: 1251000 | #Constraints: 43530
328.05/335.06 c #Conflicts: 1252000 | #Constraints: 44530
328.05/335.06 c #Conflicts: 1253000 | #Constraints: 45530
328.05/335.06 c #Conflicts: 1254000 | #Constraints: 46530
328.05/335.06 c #Conflicts: 1255000 | #Constraints: 47530
328.05/335.06 c #Conflicts: 1256000 | #Constraints: 48530
328.05/335.06 c INPROCESSING
328.05/335.06 c GARBAGE COLLECT
328.05/335.06 c rational objective 4
335.35/346.80 c #Conflicts: 1257000 | #Constraints: 27290
335.35/346.80 c #Conflicts: 1258000 | #Constraints: 28290
335.35/346.80 c #Conflicts: 1259000 | #Constraints: 29290
335.35/346.80 c #Conflicts: 1260000 | #Constraints: 30290
335.35/346.80 c #Conflicts: 1261000 | #Constraints: 31290
335.35/346.80 c #Conflicts: 1262000 | #Constraints: 32290
335.35/346.80 c #Conflicts: 1263000 | #Constraints: 33290
335.35/346.80 c #Conflicts: 1264000 | #Constraints: 34290
335.35/346.80 c #Conflicts: 1265000 | #Constraints: 35290
335.35/346.80 c #Conflicts: 1266000 | #Constraints: 36290
335.35/346.80 c #Conflicts: 1267000 | #Constraints: 37290
335.35/346.80 c #Conflicts: 1268000 | #Constraints: 38290
335.35/346.80 c #Conflicts: 1269000 | #Constraints: 39290
335.35/346.80 c #Conflicts: 1270000 | #Constraints: 40290
335.35/346.80 c #Conflicts: 1271000 | #Constraints: 41290
335.35/346.80 c #Conflicts: 1272000 | #Constraints: 42290
335.35/346.80 c #Conflicts: 1273000 | #Constraints: 43290
335.35/346.80 c #Conflicts: 1274000 | #Constraints: 44290
335.35/346.80 c #Conflicts: 1275000 | #Constraints: 45290
335.35/346.80 c #Conflicts: 1276000 | #Constraints: 46290
335.35/346.80 c #Conflicts: 1277000 | #Constraints: 47290
335.35/346.80 c #Conflicts: 1278000 | #Constraints: 48290
335.35/346.80 c #Conflicts: 1279000 | #Constraints: 49290
335.35/346.80 c INPROCESSING
335.35/346.80 c GARBAGE COLLECT
335.35/346.80 c rational objective 4
341.43/352.95 c #Conflicts: 1280000 | #Constraints: 27879
341.43/352.95 c #Conflicts: 1281000 | #Constraints: 28879
341.43/352.95 c #Conflicts: 1282000 | #Constraints: 29879
341.43/352.95 c #Conflicts: 1283000 | #Constraints: 30879
341.43/352.95 c #Conflicts: 1284000 | #Constraints: 31879
341.43/352.95 c #Conflicts: 1285000 | #Constraints: 32879
341.43/352.95 c #Conflicts: 1286000 | #Constraints: 33879
341.43/352.95 c #Conflicts: 1287000 | #Constraints: 34879
341.43/352.95 c #Conflicts: 1288000 | #Constraints: 35879
341.43/352.95 c #Conflicts: 1289000 | #Constraints: 36879
341.43/352.95 c #Conflicts: 1290000 | #Constraints: 37879
341.43/352.95 c #Conflicts: 1291000 | #Constraints: 38879
341.43/352.95 c #Conflicts: 1292000 | #Constraints: 39879
341.43/352.95 c #Conflicts: 1293000 | #Constraints: 40879
341.43/352.95 c #Conflicts: 1294000 | #Constraints: 41879
341.43/352.95 c #Conflicts: 1295000 | #Constraints: 42879
341.43/352.95 c #Conflicts: 1296000 | #Constraints: 43879
341.43/352.95 c #Conflicts: 1297000 | #Constraints: 44879
341.43/352.95 c #Conflicts: 1298000 | #Constraints: 45879
341.43/352.95 c #Conflicts: 1299000 | #Constraints: 46879
341.43/352.95 c #Conflicts: 1300000 | #Constraints: 47879
341.43/352.95 c #Conflicts: 1301000 | #Constraints: 48879
341.43/352.95 c #Conflicts: 1302000 | #Constraints: 49879
341.43/352.95 c INPROCESSING
341.43/352.95 c GARBAGE COLLECT
341.43/352.95 c rational objective 4
348.62/360.13 c #Conflicts: 1303000 | #Constraints: 28265
348.62/360.13 c #Conflicts: 1304000 | #Constraints: 29265
348.62/360.13 c #Conflicts: 1305000 | #Constraints: 30265
348.62/360.13 c #Conflicts: 1306000 | #Constraints: 31265
348.62/360.13 c #Conflicts: 1307000 | #Constraints: 32265
348.62/360.13 c #Conflicts: 1308000 | #Constraints: 33265
348.62/360.13 c #Conflicts: 1309000 | #Constraints: 34265
348.62/360.13 c #Conflicts: 1310000 | #Constraints: 35265
348.62/360.13 c #Conflicts: 1311000 | #Constraints: 36265
348.62/360.13 c #Conflicts: 1312000 | #Constraints: 37265
348.62/360.13 c #Conflicts: 1313000 | #Constraints: 38265
348.62/360.13 c #Conflicts: 1314000 | #Constraints: 39265
348.62/360.13 c #Conflicts: 1315000 | #Constraints: 40265
348.62/360.13 c #Conflicts: 1316000 | #Constraints: 41265
348.62/360.13 c #Conflicts: 1317000 | #Constraints: 42265
348.62/360.13 c #Conflicts: 1318000 | #Constraints: 43265
348.62/360.13 c #Conflicts: 1319000 | #Constraints: 44265
348.62/360.13 c #Conflicts: 1320000 | #Constraints: 45265
348.62/360.13 c #Conflicts: 1321000 | #Constraints: 46265
348.62/360.13 c #Conflicts: 1322000 | #Constraints: 47265
348.62/360.13 c #Conflicts: 1323000 | #Constraints: 48265
348.62/360.13 c #Conflicts: 1324000 | #Constraints: 49265
348.62/360.13 c #Conflicts: 1325000 | #Constraints: 50265
348.62/360.13 c INPROCESSING
348.62/360.13 c GARBAGE COLLECT
348.62/360.13 c rational objective 4
354.51/366.01 c #Conflicts: 1326000 | #Constraints: 26317
354.51/366.01 c #Conflicts: 1327000 | #Constraints: 27317
354.51/366.01 c #Conflicts: 1328000 | #Constraints: 28317
354.51/366.01 c #Conflicts: 1329000 | #Constraints: 29317
354.51/366.01 c #Conflicts: 1330000 | #Constraints: 30317
354.51/366.01 c #Conflicts: 1331000 | #Constraints: 31317
354.51/366.01 c #Conflicts: 1332000 | #Constraints: 32317
354.51/366.01 c #Conflicts: 1333000 | #Constraints: 33317
354.51/366.01 c #Conflicts: 1334000 | #Constraints: 34317
354.51/366.01 c #Conflicts: 1335000 | #Constraints: 35317
354.51/366.01 c #Conflicts: 1336000 | #Constraints: 36317
354.51/366.01 c #Conflicts: 1337000 | #Constraints: 37317
354.51/366.01 c #Conflicts: 1338000 | #Constraints: 38317
354.51/366.01 c #Conflicts: 1339000 | #Constraints: 39317
354.51/366.01 c #Conflicts: 1340000 | #Constraints: 40317
354.51/366.01 c #Conflicts: 1341000 | #Constraints: 41317
354.51/366.01 c #Conflicts: 1342000 | #Constraints: 42317
354.51/366.01 c #Conflicts: 1343000 | #Constraints: 43317
354.51/366.01 c #Conflicts: 1344000 | #Constraints: 44317
354.51/366.01 c #Conflicts: 1345000 | #Constraints: 45317
354.51/366.01 c #Conflicts: 1346000 | #Constraints: 46317
354.51/366.01 c #Conflicts: 1347000 | #Constraints: 47317
354.51/366.01 c #Conflicts: 1348000 | #Constraints: 48317
354.51/366.01 c INPROCESSING
354.51/366.01 c GARBAGE COLLECT
354.51/366.01 c rational objective 4
360.59/372.15 c #Conflicts: 1349000 | #Constraints: 24440
360.59/372.15 c #Conflicts: 1350000 | #Constraints: 25440
360.59/372.15 c #Conflicts: 1351000 | #Constraints: 26440
360.59/372.15 c #Conflicts: 1352000 | #Constraints: 27440
360.59/372.15 c #Conflicts: 1353000 | #Constraints: 28440
360.59/372.15 c #Conflicts: 1354000 | #Constraints: 29440
360.59/372.15 c #Conflicts: 1355000 | #Constraints: 30440
360.59/372.15 c #Conflicts: 1356000 | #Constraints: 31440
360.59/372.15 c #Conflicts: 1357000 | #Constraints: 32440
360.59/372.15 c #Conflicts: 1358000 | #Constraints: 33440
360.59/372.15 c #Conflicts: 1359000 | #Constraints: 34440
360.59/372.15 c #Conflicts: 1360000 | #Constraints: 35440
360.59/372.15 c #Conflicts: 1361000 | #Constraints: 36440
360.59/372.15 c #Conflicts: 1362000 | #Constraints: 37440
360.59/372.15 c #Conflicts: 1363000 | #Constraints: 38440
360.59/372.15 c #Conflicts: 1364000 | #Constraints: 39440
360.59/372.15 c #Conflicts: 1365000 | #Constraints: 40440
360.59/372.15 c #Conflicts: 1366000 | #Constraints: 41440
360.59/372.15 c #Conflicts: 1367000 | #Constraints: 42440
360.59/372.15 c #Conflicts: 1368000 | #Constraints: 43440
360.59/372.15 c #Conflicts: 1369000 | #Constraints: 44440
360.59/372.15 c #Conflicts: 1370000 | #Constraints: 45440
360.59/372.15 c #Conflicts: 1371000 | #Constraints: 46440
360.59/372.15 c INPROCESSING
360.59/372.15 c GARBAGE COLLECT
360.59/372.15 c rational objective 4
364.97/376.56 c #Conflicts: 1372000 | #Constraints: 25924
364.97/376.56 c #Conflicts: 1373000 | #Constraints: 26924
364.97/376.56 c #Conflicts: 1374000 | #Constraints: 27924
364.97/376.56 c #Conflicts: 1375000 | #Constraints: 28924
364.97/376.56 c #Conflicts: 1376000 | #Constraints: 29924
364.97/376.56 c #Conflicts: 1377000 | #Constraints: 30924
364.97/376.56 c #Conflicts: 1378000 | #Constraints: 31924
364.97/376.56 c #Conflicts: 1379000 | #Constraints: 32924
364.97/376.56 c #Conflicts: 1380000 | #Constraints: 33924
364.97/376.56 c #Conflicts: 1381000 | #Constraints: 34924
364.97/376.56 c #Conflicts: 1382000 | #Constraints: 35924
364.97/376.56 c #Conflicts: 1383000 | #Constraints: 36924
364.97/376.56 c #Conflicts: 1384000 | #Constraints: 37924
364.97/376.56 c #Conflicts: 1385000 | #Constraints: 38924
364.97/376.56 c #Conflicts: 1386000 | #Constraints: 39924
364.97/376.56 c #Conflicts: 1387000 | #Constraints: 40924
364.97/376.56 c #Conflicts: 1388000 | #Constraints: 41924
364.97/376.56 c bounds 5 >= 5 @ 356.187
364.97/376.56 c cpu time 356.187 s
364.97/376.56 c deterministic time 12546596324 1.25e+10
364.97/376.56 c optimization time 0.005824 s
364.97/376.56 c total solve time 356.11 s
364.97/376.56 c core-guided solve time 185.117 s
364.97/376.56 c propagation time 251.943 s
364.97/376.56 c conflict analysis time 79.8469 s
364.97/376.56 c propagations 96434735
364.97/376.56 c resolve steps 18965640
364.97/376.56 c decisions 1723923
364.97/376.56 c conflicts 1388173
364.97/376.56 c restarts 2663
364.97/376.56 c inprocessing phases 108
364.97/376.56 c garbage collections 108 ,( 100.00 )
364.97/376.56 c input clauses 16123 ,( 99.88 )
364.97/376.56 c input cardinalities 18 ,( 0.11 )
364.97/376.56 c input general constraints 2 ,( 0.01 )
364.97/376.56 c input average constraint length 3.02
364.97/376.56 c input average constraint degree 1.01
364.97/376.56 c learned clauses 1336694 ,( 95.55 )
364.97/376.56 c learned cardinalities 218 ,( 0.02 )
364.97/376.56 c learned general constraints 62030 ,( 4.43 )
364.97/376.56 c learned average constraint length 95.80
364.97/376.56 c learned average constraint degree 15550648.51
364.97/376.56 c watched CF 32, 64, 128, Arb: 23786 , 0 , 0 , 0
364.97/376.56 c counting CF 32, 64, 128, Arb: 38247 , 0 , 0 , 0
364.97/376.56 c watched constraints 23786 ,( 38.34 )
364.97/376.56 c counting constraints 38246 ,( 61.66 )
364.97/376.56 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1297035449 , 17812765 , 352045145 ,( 41318256 , 310726889 )
364.97/376.56 c gcd simplifications 647
364.97/376.56 c detected cardinalities 13
364.97/376.56 c weakened non-implied lits 2207471
364.97/376.56 c weakened non-implying lits 19
364.97/376.56 c original variables 1451
364.97/376.56 c clausal propagations 89026205
364.97/376.56 c cardinality propagations 4057471
364.97/376.56 c watched propagations 81689
364.97/376.56 c counting propagations 1878159
364.97/376.56 c watch lookups 3778534650
364.97/376.56 c watch backjump lookups 0
364.97/376.56 c watch checks 6560971617
364.97/376.56 c propagation checks 1564620409
364.97/376.56 c constraint additions 443372173
364.97/376.56 c trail pops 99546387
364.97/376.56 c formula constraints 16123
364.97/376.56 c learned constraints 1388166
364.97/376.56 c bound constraints 10
364.97/376.56 c core-guided constraints 10
364.97/376.56 c encountered formula constraints 8717254
364.97/376.56 c encountered learned constraints 11562880
364.97/376.56 c encountered bound constraints 9
364.97/376.56 c encountered core-guided constraints 3
364.97/376.56 c LP total time 125.116 s
364.97/376.56 c LP solve time 106.35 s
364.97/376.56 c LP constraints added 18405
364.97/376.56 c LP constraints removed 2254
364.97/376.56 c LP pivots internal 1388193
364.97/376.56 c LP pivots root 4236
364.97/376.56 c LP calls 50090
364.97/376.56 c LP optimalities 39676
364.97/376.56 c LP no pivot count 2243
364.97/376.56 c LP infeasibilities 10390
364.97/376.56 c LP valid Farkas constraints 10388
364.97/376.56 c LP learned Farkas constraints 3
364.97/376.56 c LP basis resets 23
364.97/376.56 c LP cycling count 21
364.97/376.56 c LP singular count 0
364.97/376.56 c LP no primal count 0
364.97/376.56 c LP no farkas count 0
364.97/376.56 c LP other issue count 2
364.97/376.56 c LP Gomory cuts 385
364.97/376.56 c LP learned cuts 1897
364.97/376.56 c LP deleted cuts 2254
364.97/376.56 c LP encountered Gomory constraints 62999
364.97/376.56 c LP encountered Farkas constraints 10661
364.97/376.56 c LP encountered learned Farkas constraints 4
364.97/376.56 c CG auxiliary variables introduced 4
364.97/376.56 c CG solutions found 6
364.97/376.56 c CG cores constructed 4
364.97/376.56 c CG core cardinality constraints returned 0
364.97/376.56 c CG unit cores 0
364.97/376.56 c CG single cores 4
364.97/376.56 c CG blocks removed during cardinality reduction 0
364.97/376.56 c CG first core best 0
364.97/376.56 c CG decision core best 0
364.97/376.56 c CG core reduction tie 0
364.97/376.56 c CG core degree average 1.00
364.97/376.56 c CG core slack average 2.25
364.97/376.56 c CG core upper bound improvements 1
364.97/376.56 c STR number of successful calls 0
364.97/376.56 c STR number of unsuccessful calls 0
364.97/376.56 c STR number of inconclusive calls 0
364.97/376.56 c STR number of successful attempts 0
364.97/376.56 c STR number of unsuccessful attempts 0
364.97/376.56 c STR number of inconclusive attempts 0
364.97/376.56 c STR average degree increase per successful call inf
364.97/376.56 c STR average degree increase per successful attempt inf
364.97/376.56 c STR total number of conflicts for successful attempts 0
364.97/376.56 c STR total number of conflicts for unsuccessful attempts 0
364.97/376.56 c STR total number of conflicts for inconclusive attempts 0
364.97/376.56 c STR average number of conflicts per successful attempt inf
364.97/376.56 c STR average number of conflicts per unsuccessful attempt inf
364.97/376.56 c STR average number of conflicts per inconclusive attempt inf
364.97/376.56 c AVG.sumWPerc 54.82
364.97/376.56 c bigint constraints 0
364.97/376.56 o 5
364.97/376.56 s OPTIMUM FOUND
365.04/376.69 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
Thu Jul 3 11:49:14 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: 63665 MiB (58127 MiB free)
memory of node 1: 64507 MiB (54672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517447-1751526944/watcher-4517447-1751526944 -o /tmp/evaluation-result-4517447-1751526944/solver-4517447-1751526944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751526722-80888 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4517447-1751526944.opb PROOFDIR/proof-4517447-1751526944
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=81493, runsolver pid=81490
[startup+0.100061 s]*
/proc/loadavg: 4.07 2.74 1.93 5/274 81495
/proc/meminfo: memFree=115505104/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68372357 4292608 736 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 736 672 219 0 110 0
[pid=81495] ppid=81493 vsize=17856 memory=10316 CPUtime=0.06 cores=4,6
/proc/81495/stat : 81495 (pbsuma) R 81493 81493 80877 0 -1 4194304 2191 0 0 0 6 0 0 0 20 0 1 0 68372358 18284544 2579 18446744073709551615 4210688 4653049 140729057519104 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 37220352 140729057528035 140729057528370 140729057528370 140729057533935 0
/proc/81495/statm: 4464 2579 1024 108 0 1872 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 22048 KiB
Current children cumulated memory: 13260 KiB
[startup+0.205843 s]*
/proc/loadavg: 4.07 2.74 1.93 5/274 81496
/proc/meminfo: memFree=115484912/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=71016 memory=26764 CPUtime=0.09 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 4261 0 0 0 7 2 0 0 20 0 1 0 68372368 72720384 6691 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 17754 6691 2240 1147 0 5181 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 75208 KiB
Current children cumulated memory: 29836 KiB
[startup+0.305714 s]*
/proc/loadavg: 4.07 2.74 1.93 5/274 81496
/proc/meminfo: memFree=115477352/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=79492 memory=35852 CPUtime=0.18 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 6484 0 0 0 16 2 0 0 20 0 1 0 68372368 81399808 8963 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 19873 8963 2304 1147 0 7300 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 38924 KiB
[startup+0.700198 s]
/proc/loadavg: 4.07 2.74 1.93 5/274 81496
/proc/meminfo: memFree=115469288/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=79492 memory=36236 CPUtime=0.57 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 6516 0 0 0 54 3 0 0 20 0 1 0 68372368 81399808 9059 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 19873 9059 2400 1147 0 7300 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 39308 KiB
[startup+1.5002 s]
/proc/loadavg: 4.07 2.74 1.93 5/274 81496
/proc/meminfo: memFree=115469288/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=82872 memory=38796 CPUtime=1.36 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 7172 0 0 0 131 5 0 0 20 0 1 0 68372368 84860928 9699 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 20718 9699 2400 1147 0 8145 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 87064 KiB
Current children cumulated memory: 41868 KiB
[startup+3.1056 s]
/proc/loadavg: 4.07 2.74 1.93 5/274 81497
/proc/meminfo: memFree=115426344/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=84000 memory=41712 CPUtime=2.97 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 7423 0 0 0 287 10 0 0 20 0 1 0 68372368 86016000 10428 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 21000 10428 2400 1147 0 8427 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 88192 KiB
Current children cumulated memory: 44784 KiB
[startup+6.30017 s]
/proc/loadavg: 4.07 2.76 1.95 5/274 81497
/proc/meminfo: memFree=115353692/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=84132 memory=42224 CPUtime=6.15 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 7543 0 0 0 595 20 0 0 20 0 1 0 68372368 86151168 10556 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 21033 10556 2400 1147 0 8460 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 88324 KiB
Current children cumulated memory: 45296 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 2.78 1.96 5/274 81497
/proc/meminfo: memFree=115208416/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=91068 memory=48880 CPUtime=12.54 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 9221 0 0 0 1213 41 0 0 20 0 1 0 68372368 93253632 12220 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 22767 12220 2400 1147 0 10194 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 95260 KiB
Current children cumulated memory: 51952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 2.85 2.00 5/274 81497
/proc/meminfo: memFree=114877140/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=95928 memory=51440 CPUtime=25.31 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 9883 0 0 0 2458 73 0 0 20 0 1 0 68372368 98230272 12860 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 23982 12860 2400 1147 0 11409 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 100120 KiB
Current children cumulated memory: 54512 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 2.95 2.05 5/274 81497
/proc/meminfo: memFree=114047844/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=103652 memory=58352 CPUtime=50.79 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 11560 0 0 0 4944 135 0 0 20 0 1 0 68372368 106139648 14588 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 25913 14588 2464 1147 0 13340 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 107844 KiB
Current children cumulated memory: 61424 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.13 2.16 5/274 81503
/proc/meminfo: memFree=112780716/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=108184 memory=66092 CPUtime=101.68 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 12985 0 0 0 9912 256 0 0 20 0 1 0 68372368 110780416 16523 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 27046 16523 2464 1147 0 14473 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 112376 KiB
Current children cumulated memory: 69164 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 3.35 2.30 5/275 81508
/proc/meminfo: memFree=111539980/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=117964 memory=73080 CPUtime=161.36 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 14219 0 0 0 15754 382 0 0 20 0 1 0 68372368 120795136 18270 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 29491 18270 2464 1147 0 16918 0
Current children cumulated CPU time: 161.42 s
Current children cumulated vsize: 122156 KiB
Current children cumulated memory: 76152 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.49 2.41 5/276 81511
/proc/meminfo: memFree=110156816/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=121000 memory=76024 CPUtime=215.99 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 14978 0 0 0 21088 511 0 0 20 0 1 0 68372368 123904000 19006 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 30250 19006 2464 1147 0 17677 0
Current children cumulated CPU time: 216.05 s
Current children cumulated vsize: 125192 KiB
Current children cumulated memory: 79096 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.60 2.52 5/277 81514
/proc/meminfo: memFree=108411096/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=122704 memory=77816 CPUtime=275.55 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 15404 0 0 0 26892 663 0 0 20 0 1 0 68372368 125648896 19454 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 30676 19454 2464 1147 0 18103 0
Current children cumulated CPU time: 275.61 s
Current children cumulated vsize: 126896 KiB
Current children cumulated memory: 80888 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.69 2.62 3/277 81516
/proc/meminfo: memFree=106718432/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=124368 memory=79480 CPUtime=333.7 cores=4,6
/proc/81496/stat : 81496 (roundingsat) D 81493 81493 80877 0 -1 4194304 15820 0 0 0 32570 800 0 0 20 0 1 0 68372368 127352832 19870 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 31092 19870 2464 1147 0 18519 0
Current children cumulated CPU time: 333.76 s
Current children cumulated vsize: 128560 KiB
Current children cumulated memory: 82552 KiB
[startup+376.696 s]
# the end of solver process 81493 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=356.264 s, system=8.81354 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.05 3.70 2.64 5/277 81516
/proc/meminfo: memFree=106302952/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=124368 memory=79480 CPUtime=346.86 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 15820 0 0 0 33854 832 0 0 20 0 1 0 68372368 127352832 19870 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 31092 19870 2464 1147 0 18519 0
Current children cumulated CPU time: 346.92 s
Current children cumulated vsize: 128560 KiB
Current children cumulated memory: 82552 KiB
[startup+364.8 s]
/proc/loadavg: 4.12 3.73 2.66 5/277 81517
/proc/meminfo: memFree=106164856/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=124368 memory=79480 CPUtime=353.25 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 15820 0 0 0 34477 848 0 0 20 0 1 0 68372368 127352832 19870 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 31092 19870 2464 1147 0 18519 0
Current children cumulated CPU time: 353.31 s
Current children cumulated vsize: 128560 KiB
Current children cumulated memory: 82552 KiB
[startup+371.2 s]
/proc/loadavg: 4.11 3.73 2.67 5/277 81518
/proc/meminfo: memFree=105898480/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=124368 memory=79480 CPUtime=359.62 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 15820 0 0 0 35096 866 0 0 20 0 1 0 68372368 127352832 19870 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 31092 19870 2464 1147 0 18519 0
Current children cumulated CPU time: 359.68 s
Current children cumulated vsize: 128560 KiB
Current children cumulated memory: 82552 KiB
[startup+374.4 s]
/proc/loadavg: 4.10 3.74 2.68 5/277 81518
/proc/meminfo: memFree=105801708/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=124368 memory=79480 CPUtime=362.81 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 15820 0 0 0 35408 873 0 0 20 0 1 0 68372368 127352832 19870 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 31092 19870 2464 1147 0 18519 0
Current children cumulated CPU time: 362.87 s
Current children cumulated vsize: 128560 KiB
Current children cumulated memory: 82552 KiB
[startup+376 s]*
/proc/loadavg: 4.10 3.74 2.68 5/277 81518
/proc/meminfo: memFree=105745328/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=124368 memory=79480 CPUtime=364.42 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 15820 0 0 0 35564 878 0 0 20 0 1 0 68372368 127352832 19870 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 31092 19870 2464 1147 0 18519 0
Current children cumulated CPU time: 364.48 s
Current children cumulated vsize: 128560 KiB
Current children cumulated memory: 82552 KiB
[startup+376.4 s]
/proc/loadavg: 4.10 3.74 2.68 5/277 81518
/proc/meminfo: memFree=105745328/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=124368 memory=79480 CPUtime=364.81 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 15820 0 0 0 35602 879 0 0 20 0 1 0 68372368 127352832 19870 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 31092 19870 2464 1147 0 18519 0
Current children cumulated CPU time: 364.87 s
Current children cumulated vsize: 128560 KiB
Current children cumulated memory: 82552 KiB
[startup+376.6 s]
/proc/loadavg: 4.10 3.74 2.68 5/277 81518
/proc/meminfo: memFree=105745328/131249996 swapFree=33010684/33010684
[pid=81493] ppid=81490 vsize=4192 memory=3072 CPUtime=0.06 cores=4,6
/proc/81493/stat : 81493 (run-opt-ls-log.) S 81490 81493 80877 0 -1 4194304 242 2194 0 0 0 0 6 0 20 0 1 0 68372357 4292608 768 18446744073709551615 94658882174976 94658883069509 140736265804064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94658883308560 94658883356304 94658891161600 140736265808155 140736265808353 140736265808353 140736265813955 0
/proc/81493/statm: 1048 768 704 219 0 110 0
[pid=81496] ppid=81493 vsize=124368 memory=79480 CPUtime=364.98 cores=4,6
/proc/81496/stat : 81496 (roundingsat) R 81493 81493 80877 0 -1 4194304 15820 0 0 0 35619 879 0 0 20 0 1 0 68372368 127352832 19870 18446744073709551615 4227072 8923433 140728541554128 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 33337344 140728541559030 140728541559336 140728541559336 140728541564906 0
/proc/81496/statm: 31092 19870 2464 1147 0 18519 0
Current children cumulated CPU time: 365.04 s
Current children cumulated vsize: 128560 KiB
Current children cumulated memory: 82552 KiB
Child status: 0
Real time (s): 376.696
CPU time (s): 365.078
CPU user time (s): 356.264
CPU system time (s): 8.81354
CPU usage (%): 96.9157
Max. virtual memory (cumulated for all children) (KiB): 128560
Max. memory (cumulated for all children) (KiB): 82552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 356.264
system time used= 8.81354
maximum resident set size= 79480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2418168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3919
involuntary context switches= 819
# summary of solver processes directly reported to runsolver:
# pid: 81493
# total CPU time (s): 365.078
# total CPU user time (s): 356.264
# total CPU system time (s): 8.81354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.786881 second user time and 1.75562 second system time
The end
Launcher Data
Begin job on nodeC024 at 2025-07-03 09:15:45
IDJOB=4517447
IDBENCH=176086
IDSOLVER=3356
FILE ID=nodeC024/4517447-1751526944
RUNJOBID= nodeC024-1751526722-80888
SLURM_JOB_ID= 9598658
Free space on /tmp= 432320 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
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-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517447-1751526944/watcher-4517447-1751526944 -o /tmp/evaluation-result-4517447-1751526944/solver-4517447-1751526944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751526722-80888 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4517447-1751526944.opb PROOFDIR/proof-4517447-1751526944
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f
RANDOM SEED=167391018
nodeC024 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 : 3599.652
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 : 6999.36
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 : 3599.675
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 : 6999.36
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 : 3598.638
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 : 6999.36
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 : 3600.722
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 : 6999.36
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 : 3622.246
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 : 6999.36
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 : 3599.425
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 : 6999.36
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 : 3599.215
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 : 6999.36
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 : 3700.000
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 : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 115507372 kB
MemAvailable: 127463976 kB
Buffers: 3280 kB
Cached: 12723704 kB
SwapCached: 0 kB
Active: 2592104 kB
Inactive: 12403868 kB
Active(anon): 2287076 kB
Inactive(anon): 0 kB
Active(file): 305028 kB
Inactive(file): 12403868 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2008068 kB
Writeback: 36 kB
AnonPages: 2270108 kB
Mapped: 118480 kB
Shmem: 18064 kB
KReclaimable: 173492 kB
Slab: 328324 kB
SReclaimable: 173492 kB
SUnreclaim: 154832 kB
KernelStack: 4480 kB
PageTables: 8116 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2851892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 681984 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432312 MiB
End job on nodeC024 at 2025-07-03 09:22:01