Trace number 4532129
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-4532129-1752597038.opb'
0.00/0.01 c read 0.40MB (5.53ms)
0.00/0.01 c [cnf: #variables 364 #clauses 12832 #duplicates 0 #arr 38844]
0.00/0.01 c output proof to 'PROOFDIR/proof-4532129-1752597038'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 8] (2.43ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c candidate Johnson 13, ar 2
0.00/0.07 c found row 13x28, generating row predicate
0.00/0.07 c found row 8x26, generating row predicate
0.00/0.07 c found Johnson 13, ar 2, block_sz 42
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (57.57ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 14275 #edges 79846]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 1.00*10^0 #generators 0] (1.91ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 3292 #add_vars 1087]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4532129-1752597038.opb.pre'
0.00/0.08 c wrote 0.51MB (1.27ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 57.57ms 78.60% detect_special
0.00/0.08 c 5.53ms 7.55% parse
0.00/0.08 c 4.53ms 6.18% other
0.00/0.08 c 2.43ms 3.31% approx_orbits
0.00/0.08 c 1.91ms 2.60% detect_generic
0.00/0.08 c 1.27ms 1.74% output
0.00/0.08 c 0.01ms 0.02% finalize_order
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 73.24ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.00/0.09 c RoundingSat 2
0.00/0.09 c branch pb25
0.00/0.09 c commit 0f876b3
0.07/0.20 c #variables 1451 #constraints 16123
0.07/0.20 c objective is ce32
0.07/0.20 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.20 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.20 c bounds 11 >= 0 @ 0.085552
0.26/0.38 c bounds 10 >= 0 @ 0.26111
0.26/0.39 c bounds 10 >= 1 @ 0.268396
0.26/0.39 c bounds 9 >= 1 @ 0.270018
0.26/0.39 c bounds 8 >= 1 @ 0.270327
0.26/0.39 c bounds 7 >= 1 @ 0.270662
0.26/0.39 c bounds 6 >= 1 @ 0.271943
0.26/0.39 c bounds 5 >= 1 @ 0.272652
0.57/0.61 c #Conflicts: 1000 | #Constraints: 17132
0.57/0.61 c #Conflicts: 2000 | #Constraints: 18132
0.57/0.61 c INPROCESSING
0.57/0.61 c GARBAGE COLLECT
0.57/0.61 c rational objective 1
0.96/1.01 c #Conflicts: 3000 | #Constraints: 16023
0.96/1.01 c #Conflicts: 4000 | #Constraints: 17023
0.96/1.01 c INPROCESSING
0.96/1.01 c GARBAGE COLLECT
0.96/1.01 c rational objective 1
1.35/1.49 c #Conflicts: 5000 | #Constraints: 16464
1.35/1.49 c #Conflicts: 6000 | #Constraints: 17464
1.35/1.49 c INPROCESSING
1.35/1.49 c GARBAGE COLLECT
1.35/1.49 c rational objective 1
1.86/2.00 c #Conflicts: 7000 | #Constraints: 14533
1.86/2.00 c #Conflicts: 8000 | #Constraints: 15533
1.86/2.00 c #Conflicts: 9000 | #Constraints: 16533
1.86/2.00 c INPROCESSING
1.86/2.00 c GARBAGE COLLECT
1.86/2.00 c rational objective 1
2.45/2.59 c #Conflicts: 10000 | #Constraints: 15258
2.45/2.59 c #Conflicts: 11000 | #Constraints: 16258
2.45/2.59 c #Conflicts: 12000 | #Constraints: 17258
2.45/2.59 c INPROCESSING
2.45/2.59 c GARBAGE COLLECT
2.45/2.59 c rational objective 1
2.75/2.81 c bounds 5 >= 2 @ 2.61973
3.06/3.13 c #Conflicts: 13000 | #Constraints: 15306
3.06/3.13 c #Conflicts: 14000 | #Constraints: 16306
3.06/3.13 c #Conflicts: 15000 | #Constraints: 17306
3.06/3.13 c INPROCESSING
3.06/3.13 c GARBAGE COLLECT
3.06/3.13 c rational objective 2
3.55/3.64 c #Conflicts: 16000 | #Constraints: 15540
3.55/3.64 c #Conflicts: 17000 | #Constraints: 16540
3.55/3.64 c #Conflicts: 18000 | #Constraints: 17540
3.55/3.64 c INPROCESSING
3.55/3.64 c GARBAGE COLLECT
3.55/3.64 c rational objective 2
4.25/4.32 c #Conflicts: 19000 | #Constraints: 15576
4.25/4.32 c #Conflicts: 20000 | #Constraints: 16576
4.25/4.32 c #Conflicts: 21000 | #Constraints: 17576
4.25/4.32 c INPROCESSING
4.25/4.32 c GARBAGE COLLECT
4.25/4.32 c rational objective 2
4.85/4.93 c #Conflicts: 22000 | #Constraints: 13691
4.85/4.93 c #Conflicts: 23000 | #Constraints: 14691
4.85/4.93 c #Conflicts: 24000 | #Constraints: 15691
4.85/4.93 c #Conflicts: 25000 | #Constraints: 16691
4.85/4.93 c INPROCESSING
4.85/4.93 c GARBAGE COLLECT
4.85/4.93 c rational objective 2
5.54/5.65 c #Conflicts: 26000 | #Constraints: 14312
5.54/5.65 c #Conflicts: 27000 | #Constraints: 15312
5.54/5.65 c #Conflicts: 28000 | #Constraints: 16312
5.54/5.65 c #Conflicts: 29000 | #Constraints: 17312
5.54/5.65 c INPROCESSING
5.54/5.65 c GARBAGE COLLECT
5.54/5.65 c rational objective 2
6.34/6.40 c #Conflicts: 30000 | #Constraints: 14705
6.34/6.40 c #Conflicts: 31000 | #Constraints: 15705
6.34/6.40 c #Conflicts: 32000 | #Constraints: 16705
6.34/6.40 c #Conflicts: 33000 | #Constraints: 17705
6.34/6.40 c INPROCESSING
6.34/6.40 c GARBAGE COLLECT
6.34/6.40 c rational objective 2
7.14/7.22 c #Conflicts: 34000 | #Constraints: 14918
7.14/7.22 c #Conflicts: 35000 | #Constraints: 15918
7.14/7.22 c #Conflicts: 36000 | #Constraints: 16918
7.14/7.22 c #Conflicts: 37000 | #Constraints: 17918
7.14/7.22 c INPROCESSING
7.14/7.22 c GARBAGE COLLECT
7.14/7.22 c rational objective 2
7.94/8.01 c #Conflicts: 38000 | #Constraints: 14917
7.94/8.01 c #Conflicts: 39000 | #Constraints: 15917
7.94/8.01 c #Conflicts: 40000 | #Constraints: 16918
7.94/8.01 c #Conflicts: 41000 | #Constraints: 17918
7.94/8.01 c INPROCESSING
7.94/8.01 c GARBAGE COLLECT
7.94/8.01 c rational objective 2
8.74/8.82 c #Conflicts: 42000 | #Constraints: 14734
8.74/8.82 c #Conflicts: 43000 | #Constraints: 15734
8.74/8.82 c #Conflicts: 44000 | #Constraints: 16734
8.74/8.82 c #Conflicts: 45000 | #Constraints: 17734
8.74/8.82 c #Conflicts: 46000 | #Constraints: 18734
8.74/8.82 c INPROCESSING
8.74/8.82 c GARBAGE COLLECT
8.74/8.82 c rational objective 2
9.53/9.69 c #Conflicts: 47000 | #Constraints: 15337
9.53/9.69 c #Conflicts: 48000 | #Constraints: 16337
9.53/9.69 c #Conflicts: 49000 | #Constraints: 17338
9.53/9.69 c #Conflicts: 50000 | #Constraints: 18338
9.53/9.69 c #Conflicts: 51000 | #Constraints: 19339
9.53/9.69 c INPROCESSING
9.53/9.69 c GARBAGE COLLECT
9.53/9.69 c rational objective 2
10.62/10.73 c #Conflicts: 52000 | #Constraints: 15488
10.62/10.73 c #Conflicts: 53000 | #Constraints: 16488
10.62/10.73 c #Conflicts: 54000 | #Constraints: 17488
10.62/10.73 c #Conflicts: 55000 | #Constraints: 18488
10.62/10.73 c #Conflicts: 56000 | #Constraints: 19488
10.62/10.73 c INPROCESSING
10.62/10.73 c GARBAGE COLLECT
10.62/10.73 c rational objective 2
11.63/11.79 c #Conflicts: 57000 | #Constraints: 15750
11.63/11.79 c #Conflicts: 58000 | #Constraints: 16750
11.63/11.79 c #Conflicts: 59000 | #Constraints: 17750
11.63/11.79 c #Conflicts: 60000 | #Constraints: 18750
11.63/11.79 c #Conflicts: 61000 | #Constraints: 19750
11.63/11.79 c INPROCESSING
11.63/11.79 c GARBAGE COLLECT
11.63/11.79 c rational objective 2
12.72/12.89 c #Conflicts: 62000 | #Constraints: 15793
12.72/12.89 c #Conflicts: 63000 | #Constraints: 16793
12.72/12.89 c #Conflicts: 64000 | #Constraints: 17793
12.72/12.89 c #Conflicts: 65000 | #Constraints: 18793
12.72/12.89 c #Conflicts: 66000 | #Constraints: 19793
12.72/12.89 c INPROCESSING
12.72/12.89 c GARBAGE COLLECT
12.72/12.89 c rational objective 2
15.12/15.22 c #Conflicts: 67000 | #Constraints: 15641
15.12/15.22 c #Conflicts: 68000 | #Constraints: 16695
15.12/15.22 c #Conflicts: 69000 | #Constraints: 17742
15.12/15.22 c #Conflicts: 70000 | #Constraints: 18880
15.12/15.22 c #Conflicts: 71000 | #Constraints: 20002
15.12/15.22 c #Conflicts: 72000 | #Constraints: 21335
15.12/15.22 c INPROCESSING
15.12/15.22 c GARBAGE COLLECT
15.12/15.22 c rational objective 2
16.41/16.54 c #Conflicts: 73000 | #Constraints: 16633
16.41/16.54 c #Conflicts: 74000 | #Constraints: 17633
16.41/16.54 c #Conflicts: 75000 | #Constraints: 18633
16.41/16.54 c #Conflicts: 76000 | #Constraints: 19633
16.41/16.54 c #Conflicts: 77000 | #Constraints: 20633
16.41/16.54 c #Conflicts: 78000 | #Constraints: 21633
16.41/16.54 c INPROCESSING
16.41/16.54 c GARBAGE COLLECT
16.41/16.54 c rational objective 2
17.71/17.80 c #Conflicts: 79000 | #Constraints: 16720
17.71/17.80 c #Conflicts: 80000 | #Constraints: 17720
17.71/17.80 c #Conflicts: 81000 | #Constraints: 18720
17.71/17.80 c #Conflicts: 82000 | #Constraints: 19720
17.71/17.80 c #Conflicts: 83000 | #Constraints: 20720
17.71/17.80 c #Conflicts: 84000 | #Constraints: 21720
17.71/17.80 c INPROCESSING
17.71/17.80 c GARBAGE COLLECT
17.71/17.80 c rational objective 2
19.11/19.23 c #Conflicts: 85000 | #Constraints: 16823
19.11/19.23 c #Conflicts: 86000 | #Constraints: 17823
19.11/19.23 c #Conflicts: 87000 | #Constraints: 18823
19.11/19.23 c #Conflicts: 88000 | #Constraints: 19823
19.11/19.23 c #Conflicts: 89000 | #Constraints: 20823
19.11/19.23 c #Conflicts: 90000 | #Constraints: 21823
19.11/19.23 c INPROCESSING
19.11/19.23 c GARBAGE COLLECT
19.11/19.23 c rational objective 2
20.60/20.72 c #Conflicts: 91000 | #Constraints: 16763
20.60/20.72 c #Conflicts: 92000 | #Constraints: 17763
20.60/20.72 c #Conflicts: 93000 | #Constraints: 18763
20.60/20.72 c #Conflicts: 94000 | #Constraints: 19763
20.60/20.72 c #Conflicts: 95000 | #Constraints: 20763
20.60/20.72 c #Conflicts: 96000 | #Constraints: 21763
20.60/20.72 c INPROCESSING
20.60/20.72 c GARBAGE COLLECT
20.60/20.72 c rational objective 2
22.19/22.30 c #Conflicts: 97000 | #Constraints: 16547
22.19/22.30 c #Conflicts: 98000 | #Constraints: 17547
22.19/22.30 c #Conflicts: 99000 | #Constraints: 18547
22.19/22.30 c #Conflicts: 100000 | #Constraints: 19547
22.19/22.30 c #Conflicts: 101000 | #Constraints: 20547
22.19/22.30 c #Conflicts: 102000 | #Constraints: 21547
22.19/22.30 c #Conflicts: 103000 | #Constraints: 22547
22.19/22.30 c INPROCESSING
22.19/22.30 c GARBAGE COLLECT
22.19/22.30 c rational objective 2
23.59/23.71 c #Conflicts: 104000 | #Constraints: 17133
23.59/23.71 c #Conflicts: 105000 | #Constraints: 18133
23.59/23.71 c #Conflicts: 106000 | #Constraints: 19133
23.59/23.71 c #Conflicts: 107000 | #Constraints: 20133
23.59/23.71 c #Conflicts: 108000 | #Constraints: 21133
23.59/23.71 c #Conflicts: 109000 | #Constraints: 22133
23.59/23.71 c #Conflicts: 110000 | #Constraints: 23133
23.59/23.71 c INPROCESSING
23.59/23.71 c GARBAGE COLLECT
23.59/23.71 c rational objective 2
24.90/25.08 c #Conflicts: 111000 | #Constraints: 17284
24.90/25.08 c #Conflicts: 112000 | #Constraints: 18284
24.90/25.08 c #Conflicts: 113000 | #Constraints: 19284
24.90/25.08 c #Conflicts: 114000 | #Constraints: 20284
24.90/25.08 c #Conflicts: 115000 | #Constraints: 21284
24.90/25.08 c #Conflicts: 116000 | #Constraints: 22284
24.90/25.08 c #Conflicts: 117000 | #Constraints: 23284
24.90/25.08 c INPROCESSING
24.90/25.08 c GARBAGE COLLECT
24.90/25.08 c rational objective 2
26.38/26.55 c #Conflicts: 118000 | #Constraints: 17504
26.38/26.55 c #Conflicts: 119000 | #Constraints: 18504
26.38/26.55 c #Conflicts: 120000 | #Constraints: 19504
26.38/26.55 c #Conflicts: 121000 | #Constraints: 20504
26.38/26.55 c #Conflicts: 122000 | #Constraints: 21504
26.38/26.55 c #Conflicts: 123000 | #Constraints: 22504
26.38/26.55 c #Conflicts: 124000 | #Constraints: 23504
26.38/26.55 c INPROCESSING
26.38/26.55 c GARBAGE COLLECT
26.38/26.55 c rational objective 2
27.89/28.07 c #Conflicts: 125000 | #Constraints: 17482
27.89/28.07 c #Conflicts: 126000 | #Constraints: 18482
27.89/28.07 c #Conflicts: 127000 | #Constraints: 19482
27.89/28.07 c #Conflicts: 128000 | #Constraints: 20482
27.89/28.07 c #Conflicts: 129000 | #Constraints: 21482
27.89/28.07 c #Conflicts: 130000 | #Constraints: 22482
27.89/28.07 c #Conflicts: 131000 | #Constraints: 23482
27.89/28.07 c INPROCESSING
27.89/28.07 c GARBAGE COLLECT
27.89/28.07 c rational objective 2
29.48/29.62 c #Conflicts: 132000 | #Constraints: 17294
29.48/29.62 c #Conflicts: 133000 | #Constraints: 18294
29.48/29.62 c #Conflicts: 134000 | #Constraints: 19294
29.48/29.62 c #Conflicts: 135000 | #Constraints: 20294
29.48/29.62 c #Conflicts: 136000 | #Constraints: 21294
29.48/29.62 c #Conflicts: 137000 | #Constraints: 22294
29.48/29.62 c #Conflicts: 138000 | #Constraints: 23294
29.48/29.62 c #Conflicts: 139000 | #Constraints: 24294
29.48/29.62 c INPROCESSING
29.48/29.62 c GARBAGE COLLECT
29.48/29.62 c rational objective 2
31.07/31.27 c #Conflicts: 140000 | #Constraints: 17897
31.07/31.27 c #Conflicts: 141000 | #Constraints: 18897
31.07/31.27 c #Conflicts: 142000 | #Constraints: 19897
31.07/31.27 c #Conflicts: 143000 | #Constraints: 20897
31.07/31.27 c #Conflicts: 144000 | #Constraints: 21897
31.07/31.27 c #Conflicts: 145000 | #Constraints: 22897
31.07/31.27 c #Conflicts: 146000 | #Constraints: 23897
31.07/31.27 c #Conflicts: 147000 | #Constraints: 24897
31.07/31.27 c INPROCESSING
31.07/31.27 c GARBAGE COLLECT
31.07/31.27 c rational objective 2
32.79/33.14 c #Conflicts: 148000 | #Constraints: 18309
32.79/33.14 c #Conflicts: 149000 | #Constraints: 19309
32.79/33.14 c #Conflicts: 150000 | #Constraints: 20309
32.79/33.14 c #Conflicts: 151000 | #Constraints: 21309
32.79/33.14 c #Conflicts: 152000 | #Constraints: 22309
32.79/33.14 c #Conflicts: 153000 | #Constraints: 23309
32.79/33.14 c #Conflicts: 154000 | #Constraints: 24309
32.79/33.14 c #Conflicts: 155000 | #Constraints: 25309
32.79/33.14 c INPROCESSING
32.79/33.14 c GARBAGE COLLECT
32.79/33.14 c rational objective 2
34.58/34.90 c #Conflicts: 156000 | #Constraints: 18509
34.58/34.90 c #Conflicts: 157000 | #Constraints: 19509
34.58/34.90 c #Conflicts: 158000 | #Constraints: 20509
34.58/34.90 c #Conflicts: 159000 | #Constraints: 21509
34.58/34.90 c #Conflicts: 160000 | #Constraints: 22509
34.58/34.90 c #Conflicts: 161000 | #Constraints: 23509
34.58/34.90 c #Conflicts: 162000 | #Constraints: 24509
34.58/34.90 c #Conflicts: 163000 | #Constraints: 25509
34.58/34.90 c INPROCESSING
34.58/34.90 c GARBAGE COLLECT
34.58/34.90 c rational objective 2
36.48/36.88 c #Conflicts: 164000 | #Constraints: 18526
36.48/36.88 c #Conflicts: 165000 | #Constraints: 19526
36.48/36.88 c #Conflicts: 166000 | #Constraints: 20526
36.48/36.88 c #Conflicts: 167000 | #Constraints: 21526
36.48/36.88 c #Conflicts: 168000 | #Constraints: 22526
36.48/36.88 c #Conflicts: 169000 | #Constraints: 23526
36.48/36.88 c #Conflicts: 170000 | #Constraints: 24526
36.48/36.88 c #Conflicts: 171000 | #Constraints: 25526
36.48/36.88 c INPROCESSING
36.48/36.88 c GARBAGE COLLECT
36.48/36.88 c rational objective 2
38.47/38.87 c #Conflicts: 172000 | #Constraints: 18310
38.47/38.87 c #Conflicts: 173000 | #Constraints: 19310
38.47/38.87 c #Conflicts: 174000 | #Constraints: 20310
38.47/38.87 c #Conflicts: 175000 | #Constraints: 21310
38.47/38.87 c #Conflicts: 176000 | #Constraints: 22310
38.47/38.87 c #Conflicts: 177000 | #Constraints: 23310
38.47/38.87 c #Conflicts: 178000 | #Constraints: 24310
38.47/38.87 c #Conflicts: 179000 | #Constraints: 25310
38.47/38.87 c #Conflicts: 180000 | #Constraints: 26310
38.47/38.87 c INPROCESSING
38.47/38.87 c GARBAGE COLLECT
38.47/38.87 c rational objective 2
40.36/40.73 c #Conflicts: 181000 | #Constraints: 18917
40.36/40.73 c #Conflicts: 182000 | #Constraints: 19917
40.36/40.73 c #Conflicts: 183000 | #Constraints: 20917
40.36/40.73 c #Conflicts: 184000 | #Constraints: 21917
40.36/40.73 c #Conflicts: 185000 | #Constraints: 22917
40.36/40.73 c #Conflicts: 186000 | #Constraints: 23917
40.36/40.73 c #Conflicts: 187000 | #Constraints: 24917
40.36/40.73 c #Conflicts: 188000 | #Constraints: 25917
40.36/40.73 c #Conflicts: 189000 | #Constraints: 26917
40.36/40.73 c INPROCESSING
40.36/40.73 c GARBAGE COLLECT
40.36/40.73 c rational objective 2
42.46/42.83 c #Conflicts: 190000 | #Constraints: 19312
42.46/42.83 c #Conflicts: 191000 | #Constraints: 20312
42.46/42.83 c #Conflicts: 192000 | #Constraints: 21312
42.46/42.83 c #Conflicts: 193000 | #Constraints: 22312
42.46/42.83 c #Conflicts: 194000 | #Constraints: 23312
42.46/42.83 c #Conflicts: 195000 | #Constraints: 24312
42.46/42.83 c #Conflicts: 196000 | #Constraints: 25312
42.46/42.83 c #Conflicts: 197000 | #Constraints: 26312
42.46/42.83 c #Conflicts: 198000 | #Constraints: 27312
42.46/42.83 c INPROCESSING
42.46/42.83 c GARBAGE COLLECT
42.46/42.83 c rational objective 2
44.55/44.93 c #Conflicts: 199000 | #Constraints: 19516
44.55/44.93 c #Conflicts: 200000 | #Constraints: 20516
44.55/44.93 c #Conflicts: 201000 | #Constraints: 21516
44.55/44.93 c #Conflicts: 202000 | #Constraints: 22516
44.55/44.93 c #Conflicts: 203000 | #Constraints: 23516
44.55/44.93 c #Conflicts: 204000 | #Constraints: 24516
44.55/44.93 c #Conflicts: 205000 | #Constraints: 25516
44.55/44.93 c #Conflicts: 206000 | #Constraints: 26516
44.55/44.93 c #Conflicts: 207000 | #Constraints: 27516
44.55/44.93 c INPROCESSING
44.55/44.93 c GARBAGE COLLECT
44.55/44.93 c rational objective 2
46.95/47.37 c #Conflicts: 208000 | #Constraints: 19498
46.95/47.37 c #Conflicts: 209000 | #Constraints: 20498
46.95/47.37 c #Conflicts: 210000 | #Constraints: 21498
46.95/47.37 c #Conflicts: 211000 | #Constraints: 22498
46.95/47.37 c #Conflicts: 212000 | #Constraints: 23498
46.95/47.37 c #Conflicts: 213000 | #Constraints: 24498
46.95/47.37 c #Conflicts: 214000 | #Constraints: 25498
46.95/47.37 c #Conflicts: 215000 | #Constraints: 26498
46.95/47.37 c #Conflicts: 216000 | #Constraints: 27498
46.95/47.37 c INPROCESSING
46.95/47.37 c GARBAGE COLLECT
46.95/47.37 c rational objective 2
50.84/51.21 c #Conflicts: 217000 | #Constraints: 19318
50.84/51.21 c #Conflicts: 218000 | #Constraints: 20318
50.84/51.21 c #Conflicts: 219000 | #Constraints: 21500
50.84/51.21 c #Conflicts: 220000 | #Constraints: 22725
50.84/51.21 c #Conflicts: 221000 | #Constraints: 23792
50.84/51.21 c #Conflicts: 222000 | #Constraints: 24945
50.84/51.21 c #Conflicts: 223000 | #Constraints: 26385
50.84/51.21 c #Conflicts: 224000 | #Constraints: 27693
50.84/51.21 c #Conflicts: 225000 | #Constraints: 28693
50.84/51.21 c #Conflicts: 226000 | #Constraints: 29693
50.84/51.21 c INPROCESSING
50.84/51.21 c GARBAGE COLLECT
50.84/51.21 c rational objective 2
53.23/53.66 c #Conflicts: 227000 | #Constraints: 20605
53.23/53.66 c #Conflicts: 228000 | #Constraints: 21605
53.23/53.66 c #Conflicts: 229000 | #Constraints: 22605
53.23/53.66 c #Conflicts: 230000 | #Constraints: 23605
53.23/53.66 c #Conflicts: 231000 | #Constraints: 24605
53.23/53.66 c #Conflicts: 232000 | #Constraints: 25605
53.23/53.66 c #Conflicts: 233000 | #Constraints: 26605
53.23/53.66 c #Conflicts: 234000 | #Constraints: 27605
53.23/53.66 c #Conflicts: 235000 | #Constraints: 28605
53.23/53.66 c #Conflicts: 236000 | #Constraints: 29605
53.23/53.66 c INPROCESSING
53.23/53.66 c GARBAGE COLLECT
53.23/53.66 c rational objective 2
55.92/56.39 c #Conflicts: 237000 | #Constraints: 20660
55.92/56.39 c #Conflicts: 238000 | #Constraints: 21660
55.92/56.39 c #Conflicts: 239000 | #Constraints: 22660
55.92/56.39 c #Conflicts: 240000 | #Constraints: 23660
55.92/56.39 c #Conflicts: 241000 | #Constraints: 24660
55.92/56.39 c #Conflicts: 242000 | #Constraints: 25660
55.92/56.39 c #Conflicts: 243000 | #Constraints: 26660
55.92/56.39 c #Conflicts: 244000 | #Constraints: 27660
55.92/56.39 c #Conflicts: 245000 | #Constraints: 28660
55.92/56.39 c #Conflicts: 246000 | #Constraints: 29660
55.92/56.39 c INPROCESSING
55.92/56.39 c GARBAGE COLLECT
55.92/56.39 c rational objective 2
58.21/58.68 c #Conflicts: 247000 | #Constraints: 20697
58.21/58.68 c #Conflicts: 248000 | #Constraints: 21697
58.21/58.68 c #Conflicts: 249000 | #Constraints: 22697
58.21/58.68 c #Conflicts: 250000 | #Constraints: 23697
58.21/58.68 c #Conflicts: 251000 | #Constraints: 24697
58.21/58.68 c #Conflicts: 252000 | #Constraints: 25697
58.21/58.68 c #Conflicts: 253000 | #Constraints: 26697
58.21/58.68 c #Conflicts: 254000 | #Constraints: 27697
58.21/58.68 c #Conflicts: 255000 | #Constraints: 28697
58.21/58.68 c #Conflicts: 256000 | #Constraints: 29697
58.21/58.68 c INPROCESSING
58.21/58.68 c GARBAGE COLLECT
58.21/58.68 c rational objective 2
61.11/61.58 c #Conflicts: 257000 | #Constraints: 20590
61.11/61.58 c #Conflicts: 258000 | #Constraints: 21590
61.11/61.58 c #Conflicts: 259000 | #Constraints: 22590
61.11/61.58 c #Conflicts: 260000 | #Constraints: 23590
61.11/61.58 c #Conflicts: 261000 | #Constraints: 24590
61.11/61.58 c #Conflicts: 262000 | #Constraints: 25590
61.11/61.58 c #Conflicts: 263000 | #Constraints: 26590
61.11/61.58 c #Conflicts: 264000 | #Constraints: 27590
61.11/61.58 c #Conflicts: 265000 | #Constraints: 28590
61.11/61.58 c #Conflicts: 266000 | #Constraints: 29590
61.11/61.58 c INPROCESSING
61.11/61.58 c GARBAGE COLLECT
61.11/61.58 c rational objective 2
63.68/64.20 c #Conflicts: 267000 | #Constraints: 20364
63.68/64.20 c #Conflicts: 268000 | #Constraints: 21364
63.68/64.20 c #Conflicts: 269000 | #Constraints: 22364
63.68/64.20 c #Conflicts: 270000 | #Constraints: 23364
63.68/64.20 c #Conflicts: 271000 | #Constraints: 24364
63.68/64.20 c #Conflicts: 272000 | #Constraints: 25364
63.68/64.20 c #Conflicts: 273000 | #Constraints: 26364
63.68/64.20 c #Conflicts: 274000 | #Constraints: 27364
63.68/64.20 c #Conflicts: 275000 | #Constraints: 28364
63.68/64.20 c #Conflicts: 276000 | #Constraints: 29364
63.68/64.20 c #Conflicts: 277000 | #Constraints: 30364
63.68/64.20 c INPROCESSING
63.68/64.20 c GARBAGE COLLECT
63.68/64.20 c rational objective 2
66.37/66.92 c #Conflicts: 278000 | #Constraints: 20939
66.37/66.92 c #Conflicts: 279000 | #Constraints: 21939
66.37/66.92 c #Conflicts: 280000 | #Constraints: 22939
66.37/66.92 c #Conflicts: 281000 | #Constraints: 23939
66.37/66.92 c #Conflicts: 282000 | #Constraints: 24939
66.37/66.92 c #Conflicts: 283000 | #Constraints: 25939
66.37/66.92 c #Conflicts: 284000 | #Constraints: 26939
66.37/66.92 c #Conflicts: 285000 | #Constraints: 27939
66.37/66.92 c #Conflicts: 286000 | #Constraints: 28939
66.37/66.92 c #Conflicts: 287000 | #Constraints: 29939
66.37/66.92 c #Conflicts: 288000 | #Constraints: 30939
66.37/66.92 c INPROCESSING
66.37/66.92 c GARBAGE COLLECT
66.37/66.92 c rational objective 2
67.57/68.19 c #Conflicts: 289000 | #Constraints: 21324
67.57/68.19 c #Conflicts: 290000 | #Constraints: 22324
67.57/68.19 c #Conflicts: 291000 | #Constraints: 23324
67.57/68.19 c #Conflicts: 292000 | #Constraints: 24324
67.57/68.19 c bounds 5 >= 3 @ 65.7728
68.97/69.55 c #Conflicts: 293000 | #Constraints: 25327
68.97/69.55 c #Conflicts: 294000 | #Constraints: 26327
68.97/69.55 c #Conflicts: 295000 | #Constraints: 27327
68.97/69.55 c #Conflicts: 296000 | #Constraints: 28327
68.97/69.55 c #Conflicts: 297000 | #Constraints: 29327
68.97/69.55 c #Conflicts: 298000 | #Constraints: 30327
68.97/69.55 c #Conflicts: 299000 | #Constraints: 31327
68.97/69.55 c INPROCESSING
68.97/69.55 c GARBAGE COLLECT
68.97/69.55 c rational objective 3
71.56/72.19 c #Conflicts: 300000 | #Constraints: 17974
71.56/72.19 c #Conflicts: 301000 | #Constraints: 18974
71.56/72.19 c #Conflicts: 302000 | #Constraints: 19974
71.56/72.19 c #Conflicts: 303000 | #Constraints: 20974
71.56/72.19 c #Conflicts: 304000 | #Constraints: 21974
71.56/72.19 c #Conflicts: 305000 | #Constraints: 22974
71.56/72.19 c #Conflicts: 306000 | #Constraints: 23974
71.56/72.19 c #Conflicts: 307000 | #Constraints: 24974
71.56/72.19 c #Conflicts: 308000 | #Constraints: 25974
71.56/72.19 c #Conflicts: 309000 | #Constraints: 26974
71.56/72.19 c #Conflicts: 310000 | #Constraints: 27974
71.56/72.19 c INPROCESSING
71.56/72.19 c GARBAGE COLLECT
71.56/72.19 c rational objective 3
73.95/74.57 c #Conflicts: 311000 | #Constraints: 19615
73.95/74.57 c #Conflicts: 312000 | #Constraints: 20615
73.95/74.57 c #Conflicts: 313000 | #Constraints: 21615
73.95/74.57 c #Conflicts: 314000 | #Constraints: 22615
73.95/74.57 c #Conflicts: 315000 | #Constraints: 23615
73.95/74.57 c #Conflicts: 316000 | #Constraints: 24615
73.95/74.57 c #Conflicts: 317000 | #Constraints: 25615
73.95/74.57 c #Conflicts: 318000 | #Constraints: 26615
73.95/74.57 c #Conflicts: 319000 | #Constraints: 27615
73.95/74.57 c #Conflicts: 320000 | #Constraints: 28615
73.95/74.57 c #Conflicts: 321000 | #Constraints: 29615
73.95/74.57 c INPROCESSING
73.95/74.57 c GARBAGE COLLECT
73.95/74.57 c rational objective 3
77.24/77.88 c #Conflicts: 322000 | #Constraints: 20255
77.24/77.88 c #Conflicts: 323000 | #Constraints: 21255
77.24/77.88 c #Conflicts: 324000 | #Constraints: 22255
77.24/77.88 c #Conflicts: 325000 | #Constraints: 23255
77.24/77.88 c #Conflicts: 326000 | #Constraints: 24255
77.24/77.88 c #Conflicts: 327000 | #Constraints: 25255
77.24/77.88 c #Conflicts: 328000 | #Constraints: 26255
77.24/77.88 c #Conflicts: 329000 | #Constraints: 27255
77.24/77.88 c #Conflicts: 330000 | #Constraints: 28255
77.24/77.88 c #Conflicts: 331000 | #Constraints: 29255
77.24/77.88 c #Conflicts: 332000 | #Constraints: 30255
77.24/77.88 c #Conflicts: 333000 | #Constraints: 31255
77.24/77.88 c INPROCESSING
77.24/77.88 c GARBAGE COLLECT
77.24/77.88 c rational objective 3
80.44/81.05 c #Conflicts: 334000 | #Constraints: 21281
80.44/81.05 c #Conflicts: 335000 | #Constraints: 22281
80.44/81.05 c #Conflicts: 336000 | #Constraints: 23281
80.44/81.05 c #Conflicts: 337000 | #Constraints: 24281
80.44/81.05 c #Conflicts: 338000 | #Constraints: 25281
80.44/81.05 c #Conflicts: 339000 | #Constraints: 26281
80.44/81.05 c #Conflicts: 340000 | #Constraints: 27281
80.44/81.05 c #Conflicts: 341000 | #Constraints: 28281
80.44/81.05 c #Conflicts: 342000 | #Constraints: 29281
80.44/81.05 c #Conflicts: 343000 | #Constraints: 30281
80.44/81.05 c #Conflicts: 344000 | #Constraints: 31281
80.44/81.05 c #Conflicts: 345000 | #Constraints: 32281
80.44/81.05 c INPROCESSING
80.44/81.05 c GARBAGE COLLECT
80.44/81.05 c rational objective 3
83.43/84.05 c #Conflicts: 346000 | #Constraints: 21852
83.43/84.05 c #Conflicts: 347000 | #Constraints: 22852
83.43/84.05 c #Conflicts: 348000 | #Constraints: 23852
83.43/84.05 c #Conflicts: 349000 | #Constraints: 24852
83.43/84.05 c #Conflicts: 350000 | #Constraints: 25852
83.43/84.05 c #Conflicts: 351000 | #Constraints: 26852
83.43/84.05 c #Conflicts: 352000 | #Constraints: 27852
83.43/84.05 c #Conflicts: 353000 | #Constraints: 28852
83.43/84.05 c #Conflicts: 354000 | #Constraints: 29852
83.43/84.05 c #Conflicts: 355000 | #Constraints: 30852
83.43/84.05 c #Conflicts: 356000 | #Constraints: 31852
83.43/84.05 c #Conflicts: 357000 | #Constraints: 32852
83.43/84.05 c INPROCESSING
83.43/84.05 c GARBAGE COLLECT
83.43/84.05 c rational objective 3
86.61/87.20 c #Conflicts: 358000 | #Constraints: 22165
86.61/87.20 c #Conflicts: 359000 | #Constraints: 23165
86.61/87.20 c #Conflicts: 360000 | #Constraints: 24165
86.61/87.20 c #Conflicts: 361000 | #Constraints: 25165
86.61/87.20 c #Conflicts: 362000 | #Constraints: 26165
86.61/87.20 c #Conflicts: 363000 | #Constraints: 27165
86.61/87.20 c #Conflicts: 364000 | #Constraints: 28165
86.61/87.20 c #Conflicts: 365000 | #Constraints: 29165
86.61/87.20 c #Conflicts: 366000 | #Constraints: 30165
86.61/87.20 c #Conflicts: 367000 | #Constraints: 31165
86.61/87.20 c #Conflicts: 368000 | #Constraints: 32165
86.61/87.20 c #Conflicts: 369000 | #Constraints: 33165
86.61/87.20 c INPROCESSING
86.61/87.20 c GARBAGE COLLECT
86.61/87.20 c rational objective 3
89.80/90.48 c #Conflicts: 370000 | #Constraints: 22103
89.80/90.48 c #Conflicts: 371000 | #Constraints: 23103
89.80/90.48 c #Conflicts: 372000 | #Constraints: 24103
89.80/90.48 c #Conflicts: 373000 | #Constraints: 25103
89.80/90.48 c #Conflicts: 374000 | #Constraints: 26103
89.80/90.48 c #Conflicts: 375000 | #Constraints: 27103
89.80/90.48 c #Conflicts: 376000 | #Constraints: 28103
89.80/90.48 c #Conflicts: 377000 | #Constraints: 29103
89.80/90.48 c #Conflicts: 378000 | #Constraints: 30103
89.80/90.48 c #Conflicts: 379000 | #Constraints: 31103
89.80/90.48 c #Conflicts: 380000 | #Constraints: 32103
89.80/90.48 c #Conflicts: 381000 | #Constraints: 33103
89.80/90.48 c INPROCESSING
89.80/90.48 c GARBAGE COLLECT
89.80/90.48 c rational objective 3
93.52/94.29 c #Conflicts: 382000 | #Constraints: 21942
93.52/94.29 c #Conflicts: 383000 | #Constraints: 22946
93.52/94.29 c #Conflicts: 384000 | #Constraints: 23983
93.52/94.29 c #Conflicts: 385000 | #Constraints: 24986
93.52/94.29 c #Conflicts: 386000 | #Constraints: 25987
93.52/94.29 c #Conflicts: 387000 | #Constraints: 26990
93.52/94.29 c #Conflicts: 388000 | #Constraints: 27992
93.52/94.29 c #Conflicts: 389000 | #Constraints: 28992
93.52/94.29 c #Conflicts: 390000 | #Constraints: 29993
93.52/94.29 c #Conflicts: 391000 | #Constraints: 30995
93.52/94.29 c #Conflicts: 392000 | #Constraints: 32018
93.52/94.29 c #Conflicts: 393000 | #Constraints: 33020
93.52/94.29 c #Conflicts: 394000 | #Constraints: 34123
93.52/94.29 c INPROCESSING
93.52/94.29 c GARBAGE COLLECT
93.52/94.29 c rational objective 3
97.02/97.71 c #Conflicts: 395000 | #Constraints: 21938
97.02/97.71 c #Conflicts: 396000 | #Constraints: 22940
97.02/97.71 c #Conflicts: 397000 | #Constraints: 23944
97.02/97.71 c #Conflicts: 398000 | #Constraints: 24953
97.02/97.71 c #Conflicts: 399000 | #Constraints: 25962
97.02/97.71 c #Conflicts: 400000 | #Constraints: 26965
97.02/97.71 c #Conflicts: 401000 | #Constraints: 28039
97.02/97.71 c #Conflicts: 402000 | #Constraints: 29041
97.02/97.71 c #Conflicts: 403000 | #Constraints: 30044
97.02/97.71 c #Conflicts: 404000 | #Constraints: 31061
97.02/97.71 c #Conflicts: 405000 | #Constraints: 32063
97.02/97.71 c #Conflicts: 406000 | #Constraints: 33065
97.02/97.71 c #Conflicts: 407000 | #Constraints: 34066
97.02/97.71 c INPROCESSING
97.02/97.71 c GARBAGE COLLECT
97.02/97.71 c rational objective 3
101.50/102.24 c #Conflicts: 408000 | #Constraints: 22377
101.50/102.24 c #Conflicts: 409000 | #Constraints: 23377
101.50/102.24 c #Conflicts: 410000 | #Constraints: 24377
101.50/102.24 c #Conflicts: 411000 | #Constraints: 25377
101.50/102.24 c #Conflicts: 412000 | #Constraints: 26377
101.50/102.24 c #Conflicts: 413000 | #Constraints: 27377
101.50/102.24 c #Conflicts: 414000 | #Constraints: 28377
101.50/102.24 c #Conflicts: 415000 | #Constraints: 29523
101.50/102.24 c #Conflicts: 416000 | #Constraints: 30633
101.50/102.24 c #Conflicts: 417000 | #Constraints: 31875
101.50/102.24 c #Conflicts: 418000 | #Constraints: 33082
101.50/102.24 c #Conflicts: 419000 | #Constraints: 34118
101.50/102.24 c #Conflicts: 420000 | #Constraints: 35210
101.50/102.24 c INPROCESSING
101.50/102.24 c GARBAGE COLLECT
101.50/102.24 c rational objective 3
104.69/105.47 c #Conflicts: 421000 | #Constraints: 22936
104.69/105.47 c #Conflicts: 422000 | #Constraints: 23936
104.69/105.47 c #Conflicts: 423000 | #Constraints: 24936
104.69/105.47 c #Conflicts: 424000 | #Constraints: 25936
104.69/105.47 c #Conflicts: 425000 | #Constraints: 26936
104.69/105.47 c #Conflicts: 426000 | #Constraints: 27936
104.69/105.47 c #Conflicts: 427000 | #Constraints: 28936
104.69/105.47 c #Conflicts: 428000 | #Constraints: 29936
104.69/105.47 c #Conflicts: 429000 | #Constraints: 30936
104.69/105.47 c #Conflicts: 430000 | #Constraints: 31936
104.69/105.47 c #Conflicts: 431000 | #Constraints: 32936
104.69/105.47 c #Conflicts: 432000 | #Constraints: 33936
104.69/105.47 c #Conflicts: 433000 | #Constraints: 34936
104.69/105.47 c INPROCESSING
104.69/105.47 c GARBAGE COLLECT
104.69/105.47 c rational objective 3
108.68/109.47 c #Conflicts: 434000 | #Constraints: 22706
108.68/109.47 c #Conflicts: 435000 | #Constraints: 23706
108.68/109.47 c #Conflicts: 436000 | #Constraints: 24706
108.68/109.47 c #Conflicts: 437000 | #Constraints: 25706
108.68/109.47 c #Conflicts: 438000 | #Constraints: 26706
108.68/109.47 c #Conflicts: 439000 | #Constraints: 27706
108.68/109.47 c #Conflicts: 440000 | #Constraints: 28706
108.68/109.47 c #Conflicts: 441000 | #Constraints: 29706
108.68/109.47 c #Conflicts: 442000 | #Constraints: 30706
108.68/109.47 c #Conflicts: 443000 | #Constraints: 31706
108.68/109.47 c #Conflicts: 444000 | #Constraints: 32706
108.68/109.47 c #Conflicts: 445000 | #Constraints: 33706
108.68/109.47 c #Conflicts: 446000 | #Constraints: 34706
108.68/109.47 c INPROCESSING
108.68/109.47 c GARBAGE COLLECT
108.68/109.47 c rational objective 3
112.77/113.59 c #Conflicts: 447000 | #Constraints: 22396
112.77/113.59 c #Conflicts: 448000 | #Constraints: 23396
112.77/113.59 c #Conflicts: 449000 | #Constraints: 24396
112.77/113.59 c #Conflicts: 450000 | #Constraints: 25396
112.77/113.59 c #Conflicts: 451000 | #Constraints: 26396
112.77/113.59 c #Conflicts: 452000 | #Constraints: 27396
112.77/113.59 c #Conflicts: 453000 | #Constraints: 28396
112.77/113.59 c #Conflicts: 454000 | #Constraints: 29396
112.77/113.59 c #Conflicts: 455000 | #Constraints: 30396
112.77/113.59 c #Conflicts: 456000 | #Constraints: 31396
112.77/113.59 c #Conflicts: 457000 | #Constraints: 32396
112.77/113.59 c #Conflicts: 458000 | #Constraints: 33396
112.77/113.59 c #Conflicts: 459000 | #Constraints: 34396
112.77/113.59 c #Conflicts: 460000 | #Constraints: 35396
112.77/113.59 c INPROCESSING
112.77/113.59 c GARBAGE COLLECT
112.77/113.59 c rational objective 3
116.66/117.40 c #Conflicts: 461000 | #Constraints: 22920
116.66/117.40 c #Conflicts: 462000 | #Constraints: 23920
116.66/117.40 c #Conflicts: 463000 | #Constraints: 24920
116.66/117.40 c #Conflicts: 464000 | #Constraints: 25920
116.66/117.40 c #Conflicts: 465000 | #Constraints: 26920
116.66/117.40 c #Conflicts: 466000 | #Constraints: 27920
116.66/117.40 c #Conflicts: 467000 | #Constraints: 28920
116.66/117.40 c #Conflicts: 468000 | #Constraints: 29920
116.66/117.40 c #Conflicts: 469000 | #Constraints: 30920
116.66/117.40 c #Conflicts: 470000 | #Constraints: 31920
116.66/117.40 c #Conflicts: 471000 | #Constraints: 32920
116.66/117.40 c #Conflicts: 472000 | #Constraints: 33920
116.66/117.40 c #Conflicts: 473000 | #Constraints: 34920
116.66/117.40 c #Conflicts: 474000 | #Constraints: 35920
116.66/117.40 c INPROCESSING
116.66/117.40 c GARBAGE COLLECT
116.66/117.40 c rational objective 3
122.04/122.86 c #Conflicts: 475000 | #Constraints: 23307
122.04/122.86 c #Conflicts: 476000 | #Constraints: 24325
122.04/122.86 c #Conflicts: 477000 | #Constraints: 25729
122.04/122.86 c #Conflicts: 478000 | #Constraints: 26881
122.04/122.86 c #Conflicts: 479000 | #Constraints: 27913
122.04/122.86 c #Conflicts: 480000 | #Constraints: 29000
122.04/122.86 c #Conflicts: 481000 | #Constraints: 30114
122.04/122.86 c #Conflicts: 482000 | #Constraints: 31157
122.04/122.86 c #Conflicts: 483000 | #Constraints: 32169
122.04/122.86 c #Conflicts: 484000 | #Constraints: 33200
122.04/122.86 c #Conflicts: 485000 | #Constraints: 34344
122.04/122.86 c #Conflicts: 486000 | #Constraints: 35358
122.04/122.86 c #Conflicts: 487000 | #Constraints: 36378
122.04/122.86 c #Conflicts: 488000 | #Constraints: 37406
122.04/122.86 c INPROCESSING
122.04/122.86 c GARBAGE COLLECT
122.04/122.86 c rational objective 3
125.51/126.42 c #Conflicts: 489000 | #Constraints: 24045
125.51/126.42 c #Conflicts: 490000 | #Constraints: 25045
125.51/126.42 c #Conflicts: 491000 | #Constraints: 26045
125.51/126.42 c #Conflicts: 492000 | #Constraints: 27045
125.51/126.42 c #Conflicts: 493000 | #Constraints: 28045
125.51/126.42 c #Conflicts: 494000 | #Constraints: 29045
125.51/126.42 c #Conflicts: 495000 | #Constraints: 30045
125.51/126.42 c #Conflicts: 496000 | #Constraints: 31045
125.51/126.42 c #Conflicts: 497000 | #Constraints: 32045
125.51/126.42 c #Conflicts: 498000 | #Constraints: 33045
125.51/126.42 c #Conflicts: 499000 | #Constraints: 34045
125.51/126.42 c #Conflicts: 500000 | #Constraints: 35045
125.51/126.42 c #Conflicts: 501000 | #Constraints: 36045
125.51/126.42 c #Conflicts: 502000 | #Constraints: 37045
125.51/126.42 c INPROCESSING
125.51/126.42 c GARBAGE COLLECT
125.51/126.42 c rational objective 3
128.90/129.84 c #Conflicts: 503000 | #Constraints: 23759
128.90/129.84 c #Conflicts: 504000 | #Constraints: 24759
128.90/129.84 c #Conflicts: 505000 | #Constraints: 25759
128.90/129.84 c #Conflicts: 506000 | #Constraints: 26759
128.90/129.84 c #Conflicts: 507000 | #Constraints: 27759
128.90/129.84 c #Conflicts: 508000 | #Constraints: 28759
128.90/129.84 c #Conflicts: 509000 | #Constraints: 29759
128.90/129.84 c #Conflicts: 510000 | #Constraints: 30759
128.90/129.84 c #Conflicts: 511000 | #Constraints: 31759
128.90/129.84 c #Conflicts: 512000 | #Constraints: 32759
128.90/129.84 c #Conflicts: 513000 | #Constraints: 33759
128.90/129.84 c #Conflicts: 514000 | #Constraints: 34759
128.90/129.84 c #Conflicts: 515000 | #Constraints: 35759
128.90/129.84 c #Conflicts: 516000 | #Constraints: 36759
128.90/129.84 c INPROCESSING
128.90/129.84 c GARBAGE COLLECT
128.90/129.84 c rational objective 3
132.99/133.98 c #Conflicts: 517000 | #Constraints: 23408
132.99/133.98 c #Conflicts: 518000 | #Constraints: 24408
132.99/133.98 c #Conflicts: 519000 | #Constraints: 25408
132.99/133.98 c #Conflicts: 520000 | #Constraints: 26408
132.99/133.98 c #Conflicts: 521000 | #Constraints: 27408
132.99/133.98 c #Conflicts: 522000 | #Constraints: 28408
132.99/133.98 c #Conflicts: 523000 | #Constraints: 29408
132.99/133.98 c #Conflicts: 524000 | #Constraints: 30408
132.99/133.98 c #Conflicts: 525000 | #Constraints: 31408
132.99/133.98 c #Conflicts: 526000 | #Constraints: 32408
132.99/133.98 c #Conflicts: 527000 | #Constraints: 33408
132.99/133.98 c #Conflicts: 528000 | #Constraints: 34408
132.99/133.98 c #Conflicts: 529000 | #Constraints: 35408
132.99/133.98 c #Conflicts: 530000 | #Constraints: 36408
132.99/133.98 c #Conflicts: 531000 | #Constraints: 37408
132.99/133.98 c INPROCESSING
132.99/133.98 c GARBAGE COLLECT
132.99/133.98 c rational objective 3
137.09/138.02 c #Conflicts: 532000 | #Constraints: 23943
137.09/138.02 c #Conflicts: 533000 | #Constraints: 24943
137.09/138.02 c #Conflicts: 534000 | #Constraints: 25943
137.09/138.02 c #Conflicts: 535000 | #Constraints: 26943
137.09/138.02 c #Conflicts: 536000 | #Constraints: 27943
137.09/138.02 c #Conflicts: 537000 | #Constraints: 28943
137.09/138.02 c #Conflicts: 538000 | #Constraints: 29943
137.09/138.02 c #Conflicts: 539000 | #Constraints: 30943
137.09/138.02 c #Conflicts: 540000 | #Constraints: 31943
137.09/138.02 c #Conflicts: 541000 | #Constraints: 32943
137.09/138.02 c #Conflicts: 542000 | #Constraints: 33943
137.09/138.02 c #Conflicts: 543000 | #Constraints: 34943
137.09/138.02 c #Conflicts: 544000 | #Constraints: 35943
137.09/138.02 c #Conflicts: 545000 | #Constraints: 36943
137.09/138.02 c #Conflicts: 546000 | #Constraints: 37943
137.09/138.02 c INPROCESSING
137.09/138.02 c GARBAGE COLLECT
137.09/138.02 c rational objective 3
141.37/142.33 c #Conflicts: 547000 | #Constraints: 24304
141.37/142.33 c #Conflicts: 548000 | #Constraints: 25304
141.37/142.33 c #Conflicts: 549000 | #Constraints: 26304
141.37/142.33 c #Conflicts: 550000 | #Constraints: 27304
141.37/142.33 c #Conflicts: 551000 | #Constraints: 28304
141.37/142.33 c #Conflicts: 552000 | #Constraints: 29304
141.37/142.33 c #Conflicts: 553000 | #Constraints: 30304
141.37/142.33 c #Conflicts: 554000 | #Constraints: 31304
141.37/142.33 c #Conflicts: 555000 | #Constraints: 32304
141.37/142.33 c #Conflicts: 556000 | #Constraints: 33304
141.37/142.33 c #Conflicts: 557000 | #Constraints: 34304
141.37/142.33 c #Conflicts: 558000 | #Constraints: 35304
141.37/142.33 c #Conflicts: 559000 | #Constraints: 36304
141.37/142.33 c #Conflicts: 560000 | #Constraints: 37304
141.37/142.33 c #Conflicts: 561000 | #Constraints: 38304
141.37/142.33 c INPROCESSING
141.37/142.33 c GARBAGE COLLECT
141.37/142.33 c rational objective 3
145.66/146.61 c #Conflicts: 562000 | #Constraints: 24498
145.66/146.61 c #Conflicts: 563000 | #Constraints: 25498
145.66/146.61 c #Conflicts: 564000 | #Constraints: 26498
145.66/146.61 c #Conflicts: 565000 | #Constraints: 27498
145.66/146.61 c #Conflicts: 566000 | #Constraints: 28498
145.66/146.61 c #Conflicts: 567000 | #Constraints: 29498
145.66/146.61 c #Conflicts: 568000 | #Constraints: 30498
145.66/146.61 c #Conflicts: 569000 | #Constraints: 31498
145.66/146.61 c #Conflicts: 570000 | #Constraints: 32498
145.66/146.61 c #Conflicts: 571000 | #Constraints: 33498
145.66/146.61 c #Conflicts: 572000 | #Constraints: 34498
145.66/146.61 c #Conflicts: 573000 | #Constraints: 35498
145.66/146.61 c #Conflicts: 574000 | #Constraints: 36498
145.66/146.61 c #Conflicts: 575000 | #Constraints: 37498
145.66/146.61 c #Conflicts: 576000 | #Constraints: 38498
145.66/146.61 c INPROCESSING
145.66/146.61 c GARBAGE COLLECT
145.66/146.61 c rational objective 3
150.24/151.28 c #Conflicts: 577000 | #Constraints: 24482
150.24/151.28 c #Conflicts: 578000 | #Constraints: 25482
150.24/151.28 c #Conflicts: 579000 | #Constraints: 26482
150.24/151.28 c #Conflicts: 580000 | #Constraints: 27482
150.24/151.28 c #Conflicts: 581000 | #Constraints: 28482
150.24/151.28 c #Conflicts: 582000 | #Constraints: 29482
150.24/151.28 c #Conflicts: 583000 | #Constraints: 30482
150.24/151.28 c #Conflicts: 584000 | #Constraints: 31482
150.24/151.28 c #Conflicts: 585000 | #Constraints: 32482
150.24/151.28 c #Conflicts: 586000 | #Constraints: 33482
150.24/151.28 c #Conflicts: 587000 | #Constraints: 34482
150.24/151.28 c #Conflicts: 588000 | #Constraints: 35482
150.24/151.28 c #Conflicts: 589000 | #Constraints: 36482
150.24/151.28 c #Conflicts: 590000 | #Constraints: 37482
150.24/151.28 c #Conflicts: 591000 | #Constraints: 38482
150.24/151.28 c INPROCESSING
150.24/151.28 c GARBAGE COLLECT
150.24/151.28 c rational objective 3
154.78/156.20 c #Conflicts: 592000 | #Constraints: 24286
154.78/156.20 c #Conflicts: 593000 | #Constraints: 25286
154.78/156.20 c #Conflicts: 594000 | #Constraints: 26286
154.78/156.20 c #Conflicts: 595000 | #Constraints: 27286
154.78/156.20 c #Conflicts: 596000 | #Constraints: 28286
154.78/156.20 c #Conflicts: 597000 | #Constraints: 29286
154.78/156.20 c #Conflicts: 598000 | #Constraints: 30286
154.78/156.20 c #Conflicts: 599000 | #Constraints: 31286
154.78/156.20 c #Conflicts: 600000 | #Constraints: 32286
154.78/156.20 c #Conflicts: 601000 | #Constraints: 33286
154.78/156.20 c #Conflicts: 602000 | #Constraints: 34286
154.78/156.20 c #Conflicts: 603000 | #Constraints: 35286
154.78/156.20 c #Conflicts: 604000 | #Constraints: 36286
154.78/156.20 c #Conflicts: 605000 | #Constraints: 37286
154.78/156.20 c #Conflicts: 606000 | #Constraints: 38286
154.78/156.20 c #Conflicts: 607000 | #Constraints: 39286
154.78/156.20 c INPROCESSING
154.78/156.20 c GARBAGE COLLECT
154.78/156.20 c rational objective 3
159.07/160.58 c #Conflicts: 608000 | #Constraints: 24885
159.07/160.58 c #Conflicts: 609000 | #Constraints: 25885
159.07/160.58 c #Conflicts: 610000 | #Constraints: 26885
159.07/160.58 c #Conflicts: 611000 | #Constraints: 27885
159.07/160.58 c #Conflicts: 612000 | #Constraints: 28885
159.07/160.58 c #Conflicts: 613000 | #Constraints: 29885
159.07/160.58 c #Conflicts: 614000 | #Constraints: 30885
159.07/160.58 c #Conflicts: 615000 | #Constraints: 31885
159.07/160.58 c #Conflicts: 616000 | #Constraints: 32885
159.07/160.58 c #Conflicts: 617000 | #Constraints: 33885
159.07/160.58 c #Conflicts: 618000 | #Constraints: 34885
159.07/160.58 c #Conflicts: 619000 | #Constraints: 35885
159.07/160.58 c #Conflicts: 620000 | #Constraints: 36885
159.07/160.58 c #Conflicts: 621000 | #Constraints: 37885
159.07/160.58 c #Conflicts: 622000 | #Constraints: 38885
159.07/160.58 c #Conflicts: 623000 | #Constraints: 39885
159.07/160.58 c INPROCESSING
159.07/160.58 c GARBAGE COLLECT
159.07/160.58 c rational objective 3
164.35/165.83 c #Conflicts: 624000 | #Constraints: 25263
164.35/165.83 c #Conflicts: 625000 | #Constraints: 26263
164.35/165.83 c #Conflicts: 626000 | #Constraints: 27263
164.35/165.83 c #Conflicts: 627000 | #Constraints: 28263
164.35/165.83 c #Conflicts: 628000 | #Constraints: 29263
164.35/165.83 c #Conflicts: 629000 | #Constraints: 30263
164.35/165.83 c #Conflicts: 630000 | #Constraints: 31263
164.35/165.83 c #Conflicts: 631000 | #Constraints: 32263
164.35/165.83 c #Conflicts: 632000 | #Constraints: 33263
164.35/165.83 c #Conflicts: 633000 | #Constraints: 34263
164.35/165.83 c #Conflicts: 634000 | #Constraints: 35263
164.35/165.83 c #Conflicts: 635000 | #Constraints: 36263
164.35/165.83 c #Conflicts: 636000 | #Constraints: 37263
164.35/165.83 c #Conflicts: 637000 | #Constraints: 38263
164.35/165.83 c #Conflicts: 638000 | #Constraints: 39263
164.35/165.83 c #Conflicts: 639000 | #Constraints: 40263
164.35/165.83 c INPROCESSING
164.35/165.83 c GARBAGE COLLECT
164.35/165.83 c rational objective 3
168.45/169.96 c #Conflicts: 640000 | #Constraints: 25481
168.45/169.96 c #Conflicts: 641000 | #Constraints: 26481
168.45/169.96 c #Conflicts: 642000 | #Constraints: 27481
168.45/169.96 c #Conflicts: 643000 | #Constraints: 28481
168.45/169.96 c #Conflicts: 644000 | #Constraints: 29481
168.45/169.96 c #Conflicts: 645000 | #Constraints: 30481
168.45/169.96 c #Conflicts: 646000 | #Constraints: 31481
168.45/169.96 c #Conflicts: 647000 | #Constraints: 32481
168.45/169.96 c #Conflicts: 648000 | #Constraints: 33481
168.45/169.96 c #Conflicts: 649000 | #Constraints: 34481
168.45/169.96 c #Conflicts: 650000 | #Constraints: 35481
168.45/169.96 c #Conflicts: 651000 | #Constraints: 36481
168.45/169.96 c #Conflicts: 652000 | #Constraints: 37481
168.45/169.96 c #Conflicts: 653000 | #Constraints: 38481
168.45/169.96 c #Conflicts: 654000 | #Constraints: 39481
168.45/169.96 c #Conflicts: 655000 | #Constraints: 40481
168.45/169.96 c INPROCESSING
168.45/169.96 c GARBAGE COLLECT
168.45/169.96 c rational objective 3
171.04/172.51 c #Conflicts: 656000 | #Constraints: 25483
171.04/172.51 c #Conflicts: 657000 | #Constraints: 26483
171.04/172.51 c #Conflicts: 658000 | #Constraints: 27483
171.04/172.51 c #Conflicts: 659000 | #Constraints: 28483
171.04/172.51 c #Conflicts: 660000 | #Constraints: 29483
171.04/172.51 c #Conflicts: 661000 | #Constraints: 30483
171.04/172.51 c #Conflicts: 662000 | #Constraints: 31483
171.04/172.51 c #Conflicts: 663000 | #Constraints: 32483
171.04/172.51 c bounds 5 >= 4 @ 166.708
173.14/174.64 c #Conflicts: 664000 | #Constraints: 33484
173.14/174.64 c #Conflicts: 665000 | #Constraints: 34484
173.14/174.64 c #Conflicts: 666000 | #Constraints: 35484
173.14/174.64 c #Conflicts: 667000 | #Constraints: 36484
173.14/174.64 c #Conflicts: 668000 | #Constraints: 37484
173.14/174.64 c #Conflicts: 669000 | #Constraints: 38484
173.14/174.64 c #Conflicts: 670000 | #Constraints: 39484
173.14/174.64 c #Conflicts: 671000 | #Constraints: 40484
173.14/174.64 c INPROCESSING
173.14/174.64 c GARBAGE COLLECT
173.14/174.64 c rational objective 4
177.23/178.72 c #Conflicts: 672000 | #Constraints: 19708
177.23/178.72 c #Conflicts: 673000 | #Constraints: 20708
177.23/178.72 c #Conflicts: 674000 | #Constraints: 21708
177.23/178.72 c #Conflicts: 675000 | #Constraints: 22708
177.23/178.72 c #Conflicts: 676000 | #Constraints: 23708
177.23/178.72 c #Conflicts: 677000 | #Constraints: 24708
177.23/178.72 c #Conflicts: 678000 | #Constraints: 25708
177.23/178.72 c #Conflicts: 679000 | #Constraints: 26708
177.23/178.72 c #Conflicts: 680000 | #Constraints: 27708
177.23/178.72 c #Conflicts: 681000 | #Constraints: 28708
177.23/178.72 c #Conflicts: 682000 | #Constraints: 29708
177.23/178.72 c #Conflicts: 683000 | #Constraints: 30708
177.23/178.72 c #Conflicts: 684000 | #Constraints: 31708
177.23/178.72 c #Conflicts: 685000 | #Constraints: 32708
177.23/178.72 c #Conflicts: 686000 | #Constraints: 33708
177.23/178.72 c #Conflicts: 687000 | #Constraints: 34708
177.23/178.72 c #Conflicts: 688000 | #Constraints: 35708
177.23/178.72 c INPROCESSING
177.23/178.72 c GARBAGE COLLECT
177.23/178.72 c rational objective 4
181.21/182.75 c #Conflicts: 689000 | #Constraints: 22938
181.21/182.75 c #Conflicts: 690000 | #Constraints: 23938
181.21/182.75 c #Conflicts: 691000 | #Constraints: 24938
181.21/182.75 c #Conflicts: 692000 | #Constraints: 25938
181.21/182.75 c #Conflicts: 693000 | #Constraints: 26938
181.21/182.75 c #Conflicts: 694000 | #Constraints: 27938
181.21/182.75 c #Conflicts: 695000 | #Constraints: 28938
181.21/182.75 c #Conflicts: 696000 | #Constraints: 29938
181.21/182.75 c #Conflicts: 697000 | #Constraints: 30938
181.21/182.75 c #Conflicts: 698000 | #Constraints: 31938
181.21/182.75 c #Conflicts: 699000 | #Constraints: 32938
181.21/182.75 c #Conflicts: 700000 | #Constraints: 33938
181.21/182.75 c #Conflicts: 701000 | #Constraints: 34938
181.21/182.75 c #Conflicts: 702000 | #Constraints: 35938
181.21/182.75 c #Conflicts: 703000 | #Constraints: 36938
181.21/182.75 c #Conflicts: 704000 | #Constraints: 37938
181.21/182.75 c #Conflicts: 705000 | #Constraints: 38938
181.21/182.75 c INPROCESSING
181.21/182.75 c GARBAGE COLLECT
181.21/182.75 c rational objective 4
185.27/186.90 c #Conflicts: 706000 | #Constraints: 24551
185.27/186.90 c #Conflicts: 707000 | #Constraints: 25552
185.27/186.90 c #Conflicts: 708000 | #Constraints: 26555
185.27/186.90 c #Conflicts: 709000 | #Constraints: 27594
185.27/186.90 c #Conflicts: 710000 | #Constraints: 28596
185.27/186.90 c #Conflicts: 711000 | #Constraints: 29597
185.27/186.90 c #Conflicts: 712000 | #Constraints: 30598
185.27/186.90 c #Conflicts: 713000 | #Constraints: 31599
185.27/186.90 c #Conflicts: 714000 | #Constraints: 32601
185.27/186.90 c #Conflicts: 715000 | #Constraints: 33603
185.27/186.90 c #Conflicts: 716000 | #Constraints: 34606
185.27/186.90 c #Conflicts: 717000 | #Constraints: 35607
185.27/186.90 c #Conflicts: 718000 | #Constraints: 36608
185.27/186.90 c #Conflicts: 719000 | #Constraints: 37609
185.27/186.90 c #Conflicts: 720000 | #Constraints: 38624
185.27/186.90 c #Conflicts: 721000 | #Constraints: 39628
185.27/186.90 c #Conflicts: 722000 | #Constraints: 40630
185.27/186.90 c INPROCESSING
185.27/186.90 c GARBAGE COLLECT
185.27/186.90 c rational objective 4
191.16/192.85 c #Conflicts: 723000 | #Constraints: 25449
191.16/192.85 c #Conflicts: 724000 | #Constraints: 26450
191.16/192.85 c #Conflicts: 725000 | #Constraints: 27451
191.16/192.85 c #Conflicts: 726000 | #Constraints: 28456
191.16/192.85 c #Conflicts: 727000 | #Constraints: 29550
191.16/192.85 c #Conflicts: 728000 | #Constraints: 30971
191.16/192.85 c #Conflicts: 729000 | #Constraints: 32093
191.16/192.85 c #Conflicts: 730000 | #Constraints: 33096
191.16/192.85 c #Conflicts: 731000 | #Constraints: 34101
191.16/192.85 c #Conflicts: 732000 | #Constraints: 35109
191.16/192.85 c #Conflicts: 733000 | #Constraints: 36110
191.16/192.85 c #Conflicts: 734000 | #Constraints: 37111
191.16/192.85 c #Conflicts: 735000 | #Constraints: 38111
191.16/192.85 c #Conflicts: 736000 | #Constraints: 39116
191.16/192.85 c #Conflicts: 737000 | #Constraints: 40118
191.16/192.85 c #Conflicts: 738000 | #Constraints: 41119
191.16/192.85 c #Conflicts: 739000 | #Constraints: 42121
191.16/192.85 c INPROCESSING
191.16/192.85 c GARBAGE COLLECT
191.16/192.85 c rational objective 4
197.24/198.92 c #Conflicts: 740000 | #Constraints: 26091
197.24/198.92 c #Conflicts: 741000 | #Constraints: 27092
197.24/198.92 c #Conflicts: 742000 | #Constraints: 28131
197.24/198.92 c #Conflicts: 743000 | #Constraints: 29145
197.24/198.92 c #Conflicts: 744000 | #Constraints: 30185
197.24/198.92 c #Conflicts: 745000 | #Constraints: 31406
197.24/198.92 c #Conflicts: 746000 | #Constraints: 32553
197.24/198.92 c #Conflicts: 747000 | #Constraints: 33647
197.24/198.92 c #Conflicts: 748000 | #Constraints: 34695
197.24/198.92 c #Conflicts: 749000 | #Constraints: 35713
197.24/198.92 c #Conflicts: 750000 | #Constraints: 36748
197.24/198.92 c #Conflicts: 751000 | #Constraints: 38084
197.24/198.92 c #Conflicts: 752000 | #Constraints: 39333
197.24/198.92 c #Conflicts: 753000 | #Constraints: 40373
197.24/198.92 c #Conflicts: 754000 | #Constraints: 41408
197.24/198.92 c #Conflicts: 755000 | #Constraints: 42431
197.24/198.92 c #Conflicts: 756000 | #Constraints: 43507
197.24/198.92 c INPROCESSING
197.24/198.92 c GARBAGE COLLECT
197.24/198.92 c rational objective 4
202.23/203.97 c #Conflicts: 757000 | #Constraints: 26593
202.23/203.97 c #Conflicts: 758000 | #Constraints: 27593
202.23/203.97 c #Conflicts: 759000 | #Constraints: 28593
202.23/203.97 c #Conflicts: 760000 | #Constraints: 29593
202.23/203.97 c #Conflicts: 761000 | #Constraints: 30593
202.23/203.97 c #Conflicts: 762000 | #Constraints: 31593
202.23/203.97 c #Conflicts: 763000 | #Constraints: 32593
202.23/203.97 c #Conflicts: 764000 | #Constraints: 33593
202.23/203.97 c #Conflicts: 765000 | #Constraints: 34593
202.23/203.97 c #Conflicts: 766000 | #Constraints: 35593
202.23/203.97 c #Conflicts: 767000 | #Constraints: 36593
202.23/203.97 c #Conflicts: 768000 | #Constraints: 37593
202.23/203.97 c #Conflicts: 769000 | #Constraints: 38593
202.23/203.97 c #Conflicts: 770000 | #Constraints: 39593
202.23/203.97 c #Conflicts: 771000 | #Constraints: 40593
202.23/203.97 c #Conflicts: 772000 | #Constraints: 41593
202.23/203.97 c #Conflicts: 773000 | #Constraints: 42593
202.23/203.97 c #Conflicts: 774000 | #Constraints: 43593
202.23/203.97 c INPROCESSING
202.23/203.97 c GARBAGE COLLECT
202.23/203.97 c rational objective 4
206.42/208.19 c #Conflicts: 775000 | #Constraints: 26814
206.42/208.19 c #Conflicts: 776000 | #Constraints: 27814
206.42/208.19 c #Conflicts: 777000 | #Constraints: 28814
206.42/208.19 c #Conflicts: 778000 | #Constraints: 29814
206.42/208.19 c #Conflicts: 779000 | #Constraints: 30814
206.42/208.19 c #Conflicts: 780000 | #Constraints: 31814
206.42/208.19 c #Conflicts: 781000 | #Constraints: 32814
206.42/208.19 c #Conflicts: 782000 | #Constraints: 33814
206.42/208.19 c #Conflicts: 783000 | #Constraints: 34814
206.42/208.19 c #Conflicts: 784000 | #Constraints: 35814
206.42/208.19 c #Conflicts: 785000 | #Constraints: 36814
206.42/208.19 c #Conflicts: 786000 | #Constraints: 37814
206.42/208.19 c #Conflicts: 787000 | #Constraints: 38814
206.42/208.19 c #Conflicts: 788000 | #Constraints: 39814
206.42/208.19 c #Conflicts: 789000 | #Constraints: 40814
206.42/208.19 c #Conflicts: 790000 | #Constraints: 41814
206.42/208.19 c #Conflicts: 791000 | #Constraints: 42814
206.42/208.19 c #Conflicts: 792000 | #Constraints: 43814
206.42/208.19 c INPROCESSING
206.42/208.19 c GARBAGE COLLECT
206.42/208.19 c rational objective 4
210.90/212.66 c #Conflicts: 793000 | #Constraints: 26006
210.90/212.66 c #Conflicts: 794000 | #Constraints: 27006
210.90/212.66 c #Conflicts: 795000 | #Constraints: 28006
210.90/212.66 c #Conflicts: 796000 | #Constraints: 29006
210.90/212.66 c #Conflicts: 797000 | #Constraints: 30006
210.90/212.66 c #Conflicts: 798000 | #Constraints: 31006
210.90/212.66 c #Conflicts: 799000 | #Constraints: 32006
210.90/212.66 c #Conflicts: 800000 | #Constraints: 33006
210.90/212.66 c #Conflicts: 801000 | #Constraints: 34006
210.90/212.66 c #Conflicts: 802000 | #Constraints: 35006
210.90/212.66 c #Conflicts: 803000 | #Constraints: 36006
210.90/212.66 c #Conflicts: 804000 | #Constraints: 37006
210.90/212.66 c #Conflicts: 805000 | #Constraints: 38006
210.90/212.66 c #Conflicts: 806000 | #Constraints: 39006
210.90/212.66 c #Conflicts: 807000 | #Constraints: 40006
210.90/212.66 c #Conflicts: 808000 | #Constraints: 41006
210.90/212.66 c #Conflicts: 809000 | #Constraints: 42006
210.90/212.66 c #Conflicts: 810000 | #Constraints: 43006
210.90/212.66 c INPROCESSING
210.90/212.66 c GARBAGE COLLECT
210.90/212.66 c rational objective 4
216.38/218.20 c #Conflicts: 811000 | #Constraints: 23522
216.38/218.20 c #Conflicts: 812000 | #Constraints: 24522
216.38/218.20 c #Conflicts: 813000 | #Constraints: 25522
216.38/218.20 c #Conflicts: 814000 | #Constraints: 26522
216.38/218.20 c #Conflicts: 815000 | #Constraints: 27522
216.38/218.20 c #Conflicts: 816000 | #Constraints: 28522
216.38/218.20 c #Conflicts: 817000 | #Constraints: 29522
216.38/218.20 c #Conflicts: 818000 | #Constraints: 30522
216.38/218.20 c #Conflicts: 819000 | #Constraints: 31522
216.38/218.20 c #Conflicts: 820000 | #Constraints: 32522
216.38/218.20 c #Conflicts: 821000 | #Constraints: 33522
216.38/218.20 c #Conflicts: 822000 | #Constraints: 34522
216.38/218.20 c #Conflicts: 823000 | #Constraints: 35522
216.38/218.20 c #Conflicts: 824000 | #Constraints: 36522
216.38/218.20 c #Conflicts: 825000 | #Constraints: 37522
216.38/218.20 c #Conflicts: 826000 | #Constraints: 38522
216.38/218.20 c #Conflicts: 827000 | #Constraints: 39522
216.38/218.20 c #Conflicts: 828000 | #Constraints: 40522
216.38/218.20 c INPROCESSING
216.38/218.20 c GARBAGE COLLECT
216.38/218.20 c rational objective 4
220.87/222.76 c #Conflicts: 829000 | #Constraints: 23555
220.87/222.76 c #Conflicts: 830000 | #Constraints: 24555
220.87/222.76 c #Conflicts: 831000 | #Constraints: 25555
220.87/222.76 c #Conflicts: 832000 | #Constraints: 26555
220.87/222.76 c #Conflicts: 833000 | #Constraints: 27555
220.87/222.76 c #Conflicts: 834000 | #Constraints: 28555
220.87/222.76 c #Conflicts: 835000 | #Constraints: 29555
220.87/222.76 c #Conflicts: 836000 | #Constraints: 30555
220.87/222.76 c #Conflicts: 837000 | #Constraints: 31555
220.87/222.76 c #Conflicts: 838000 | #Constraints: 32555
220.87/222.76 c #Conflicts: 839000 | #Constraints: 33555
220.87/222.76 c #Conflicts: 840000 | #Constraints: 34555
220.87/222.76 c #Conflicts: 841000 | #Constraints: 35555
220.87/222.76 c #Conflicts: 842000 | #Constraints: 36555
220.87/222.76 c #Conflicts: 843000 | #Constraints: 37555
220.87/222.76 c #Conflicts: 844000 | #Constraints: 38555
220.87/222.76 c #Conflicts: 845000 | #Constraints: 39555
220.87/222.76 c #Conflicts: 846000 | #Constraints: 40555
220.87/222.76 c INPROCESSING
220.87/222.76 c GARBAGE COLLECT
220.87/222.76 c rational objective 4
225.75/227.68 c #Conflicts: 847000 | #Constraints: 23363
225.75/227.68 c #Conflicts: 848000 | #Constraints: 24363
225.75/227.68 c #Conflicts: 849000 | #Constraints: 25363
225.75/227.68 c #Conflicts: 850000 | #Constraints: 26363
225.75/227.68 c #Conflicts: 851000 | #Constraints: 27363
225.75/227.68 c #Conflicts: 852000 | #Constraints: 28363
225.75/227.68 c #Conflicts: 853000 | #Constraints: 29363
225.75/227.68 c #Conflicts: 854000 | #Constraints: 30363
225.75/227.68 c #Conflicts: 855000 | #Constraints: 31363
225.75/227.68 c #Conflicts: 856000 | #Constraints: 32363
225.75/227.68 c #Conflicts: 857000 | #Constraints: 33363
225.75/227.68 c #Conflicts: 858000 | #Constraints: 34363
225.75/227.68 c #Conflicts: 859000 | #Constraints: 35363
225.75/227.68 c #Conflicts: 860000 | #Constraints: 36363
225.75/227.68 c #Conflicts: 861000 | #Constraints: 37363
225.75/227.68 c #Conflicts: 862000 | #Constraints: 38363
225.75/227.68 c #Conflicts: 863000 | #Constraints: 39363
225.75/227.68 c #Conflicts: 864000 | #Constraints: 40363
225.75/227.68 c #Conflicts: 865000 | #Constraints: 41363
225.75/227.68 c INPROCESSING
225.75/227.68 c GARBAGE COLLECT
225.75/227.68 c rational objective 4
230.25/232.20 c #Conflicts: 866000 | #Constraints: 23941
230.25/232.20 c #Conflicts: 867000 | #Constraints: 24941
230.25/232.20 c #Conflicts: 868000 | #Constraints: 25941
230.25/232.20 c #Conflicts: 869000 | #Constraints: 26941
230.25/232.20 c #Conflicts: 870000 | #Constraints: 27941
230.25/232.20 c #Conflicts: 871000 | #Constraints: 28941
230.25/232.20 c #Conflicts: 872000 | #Constraints: 29941
230.25/232.20 c #Conflicts: 873000 | #Constraints: 30941
230.25/232.20 c #Conflicts: 874000 | #Constraints: 31941
230.25/232.20 c #Conflicts: 875000 | #Constraints: 32941
230.25/232.20 c #Conflicts: 876000 | #Constraints: 33941
230.25/232.20 c #Conflicts: 877000 | #Constraints: 34941
230.25/232.20 c #Conflicts: 878000 | #Constraints: 35941
230.25/232.20 c #Conflicts: 879000 | #Constraints: 36941
230.25/232.20 c #Conflicts: 880000 | #Constraints: 37941
230.25/232.20 c #Conflicts: 881000 | #Constraints: 38941
230.25/232.20 c #Conflicts: 882000 | #Constraints: 39941
230.25/232.20 c #Conflicts: 883000 | #Constraints: 40941
230.25/232.20 c #Conflicts: 884000 | #Constraints: 41941
230.25/232.20 c INPROCESSING
230.25/232.20 c GARBAGE COLLECT
230.25/232.20 c rational objective 4
235.62/237.59 c #Conflicts: 885000 | #Constraints: 24355
235.62/237.59 c #Conflicts: 886000 | #Constraints: 25355
235.62/237.59 c #Conflicts: 887000 | #Constraints: 26355
235.62/237.59 c #Conflicts: 888000 | #Constraints: 27355
235.62/237.59 c #Conflicts: 889000 | #Constraints: 28355
235.62/237.59 c #Conflicts: 890000 | #Constraints: 29355
235.62/237.59 c #Conflicts: 891000 | #Constraints: 30355
235.62/237.59 c #Conflicts: 892000 | #Constraints: 31355
235.62/237.59 c #Conflicts: 893000 | #Constraints: 32355
235.62/237.59 c #Conflicts: 894000 | #Constraints: 33355
235.62/237.59 c #Conflicts: 895000 | #Constraints: 34355
235.62/237.59 c #Conflicts: 896000 | #Constraints: 35355
235.62/237.59 c #Conflicts: 897000 | #Constraints: 36355
235.62/237.59 c #Conflicts: 898000 | #Constraints: 37355
235.62/237.59 c #Conflicts: 899000 | #Constraints: 38355
235.62/237.59 c #Conflicts: 900000 | #Constraints: 39355
235.62/237.59 c #Conflicts: 901000 | #Constraints: 40355
235.62/237.59 c #Conflicts: 902000 | #Constraints: 41355
235.62/237.59 c #Conflicts: 903000 | #Constraints: 42355
235.62/237.59 c INPROCESSING
235.62/237.59 c GARBAGE COLLECT
235.62/237.59 c rational objective 4
240.32/242.26 c #Conflicts: 904000 | #Constraints: 24565
240.32/242.26 c #Conflicts: 905000 | #Constraints: 25565
240.32/242.26 c #Conflicts: 906000 | #Constraints: 26565
240.32/242.26 c #Conflicts: 907000 | #Constraints: 27565
240.32/242.26 c #Conflicts: 908000 | #Constraints: 28565
240.32/242.26 c #Conflicts: 909000 | #Constraints: 29565
240.32/242.26 c #Conflicts: 910000 | #Constraints: 30565
240.32/242.26 c #Conflicts: 911000 | #Constraints: 31565
240.32/242.26 c #Conflicts: 912000 | #Constraints: 32565
240.32/242.26 c #Conflicts: 913000 | #Constraints: 33565
240.32/242.26 c #Conflicts: 914000 | #Constraints: 34565
240.32/242.26 c #Conflicts: 915000 | #Constraints: 35565
240.32/242.26 c #Conflicts: 916000 | #Constraints: 36565
240.32/242.26 c #Conflicts: 917000 | #Constraints: 37565
240.32/242.26 c #Conflicts: 918000 | #Constraints: 38565
240.32/242.26 c #Conflicts: 919000 | #Constraints: 39565
240.32/242.26 c #Conflicts: 920000 | #Constraints: 40565
240.32/242.26 c #Conflicts: 921000 | #Constraints: 41565
240.32/242.26 c #Conflicts: 922000 | #Constraints: 42565
240.32/242.26 c INPROCESSING
240.32/242.26 c GARBAGE COLLECT
240.32/242.26 c rational objective 4
244.80/246.73 c #Conflicts: 923000 | #Constraints: 24571
244.80/246.73 c #Conflicts: 924000 | #Constraints: 25571
244.80/246.73 c #Conflicts: 925000 | #Constraints: 26573
244.80/246.73 c #Conflicts: 926000 | #Constraints: 27573
244.80/246.73 c #Conflicts: 927000 | #Constraints: 28573
244.80/246.73 c #Conflicts: 928000 | #Constraints: 29574
244.80/246.73 c #Conflicts: 929000 | #Constraints: 30577
244.80/246.73 c #Conflicts: 930000 | #Constraints: 31579
244.80/246.73 c #Conflicts: 931000 | #Constraints: 32579
244.80/246.73 c #Conflicts: 932000 | #Constraints: 33581
244.80/246.73 c #Conflicts: 933000 | #Constraints: 34581
244.80/246.73 c #Conflicts: 934000 | #Constraints: 35583
244.80/246.73 c #Conflicts: 935000 | #Constraints: 36583
244.80/246.73 c #Conflicts: 936000 | #Constraints: 37583
244.80/246.73 c #Conflicts: 937000 | #Constraints: 38584
244.80/246.73 c #Conflicts: 938000 | #Constraints: 39585
244.80/246.73 c #Conflicts: 939000 | #Constraints: 40585
244.80/246.73 c #Conflicts: 940000 | #Constraints: 41585
244.80/246.73 c #Conflicts: 941000 | #Constraints: 42585
244.80/246.73 c INPROCESSING
244.80/246.73 c GARBAGE COLLECT
244.80/246.73 c rational objective 4
250.19/252.43 c #Conflicts: 942000 | #Constraints: 24376
250.19/252.43 c #Conflicts: 943000 | #Constraints: 25376
250.19/252.43 c #Conflicts: 944000 | #Constraints: 26376
250.19/252.43 c #Conflicts: 945000 | #Constraints: 27376
250.19/252.43 c #Conflicts: 946000 | #Constraints: 28376
250.19/252.43 c #Conflicts: 947000 | #Constraints: 29376
250.19/252.43 c #Conflicts: 948000 | #Constraints: 30376
250.19/252.43 c #Conflicts: 949000 | #Constraints: 31376
250.19/252.43 c #Conflicts: 950000 | #Constraints: 32376
250.19/252.43 c #Conflicts: 951000 | #Constraints: 33376
250.19/252.43 c #Conflicts: 952000 | #Constraints: 34376
250.19/252.43 c #Conflicts: 953000 | #Constraints: 35376
250.19/252.43 c #Conflicts: 954000 | #Constraints: 36376
250.19/252.43 c #Conflicts: 955000 | #Constraints: 37376
250.19/252.43 c #Conflicts: 956000 | #Constraints: 38376
250.19/252.43 c #Conflicts: 957000 | #Constraints: 39376
250.19/252.43 c #Conflicts: 958000 | #Constraints: 40376
250.19/252.43 c #Conflicts: 959000 | #Constraints: 41376
250.19/252.43 c #Conflicts: 960000 | #Constraints: 42376
250.19/252.43 c #Conflicts: 961000 | #Constraints: 43376
250.19/252.43 c INPROCESSING
250.19/252.43 c GARBAGE COLLECT
250.19/252.43 c rational objective 4
255.28/257.52 c #Conflicts: 962000 | #Constraints: 24969
255.28/257.52 c #Conflicts: 963000 | #Constraints: 25969
255.28/257.52 c #Conflicts: 964000 | #Constraints: 26969
255.28/257.52 c #Conflicts: 965000 | #Constraints: 27969
255.28/257.52 c #Conflicts: 966000 | #Constraints: 28969
255.28/257.52 c #Conflicts: 967000 | #Constraints: 29969
255.28/257.52 c #Conflicts: 968000 | #Constraints: 30969
255.28/257.52 c #Conflicts: 969000 | #Constraints: 31969
255.28/257.52 c #Conflicts: 970000 | #Constraints: 32969
255.28/257.52 c #Conflicts: 971000 | #Constraints: 33969
255.28/257.52 c #Conflicts: 972000 | #Constraints: 34969
255.28/257.52 c #Conflicts: 973000 | #Constraints: 35969
255.28/257.52 c #Conflicts: 974000 | #Constraints: 36969
255.28/257.52 c #Conflicts: 975000 | #Constraints: 37969
255.28/257.52 c #Conflicts: 976000 | #Constraints: 38969
255.28/257.52 c #Conflicts: 977000 | #Constraints: 39969
255.28/257.52 c #Conflicts: 978000 | #Constraints: 40969
255.28/257.52 c #Conflicts: 979000 | #Constraints: 41969
255.28/257.52 c #Conflicts: 980000 | #Constraints: 42969
255.28/257.52 c #Conflicts: 981000 | #Constraints: 43969
255.28/257.52 c INPROCESSING
255.28/257.52 c GARBAGE COLLECT
255.28/257.52 c rational objective 4
260.36/262.62 c #Conflicts: 982000 | #Constraints: 25372
260.36/262.62 c #Conflicts: 983000 | #Constraints: 26372
260.36/262.62 c #Conflicts: 984000 | #Constraints: 27372
260.36/262.62 c #Conflicts: 985000 | #Constraints: 28372
260.36/262.62 c #Conflicts: 986000 | #Constraints: 29372
260.36/262.62 c #Conflicts: 987000 | #Constraints: 30372
260.36/262.62 c #Conflicts: 988000 | #Constraints: 31372
260.36/262.62 c #Conflicts: 989000 | #Constraints: 32372
260.36/262.62 c #Conflicts: 990000 | #Constraints: 33372
260.36/262.62 c #Conflicts: 991000 | #Constraints: 34372
260.36/262.62 c #Conflicts: 992000 | #Constraints: 35372
260.36/262.62 c #Conflicts: 993000 | #Constraints: 36372
260.36/262.62 c #Conflicts: 994000 | #Constraints: 37372
260.36/262.62 c #Conflicts: 995000 | #Constraints: 38372
260.36/262.62 c #Conflicts: 996000 | #Constraints: 39372
260.36/262.62 c #Conflicts: 997000 | #Constraints: 40372
260.36/262.62 c #Conflicts: 998000 | #Constraints: 41372
260.36/262.62 c #Conflicts: 999000 | #Constraints: 42372
260.36/262.62 c #Conflicts: 1000000 | #Constraints: 43372
260.36/262.62 c #Conflicts: 1001000 | #Constraints: 44372
260.36/262.62 c INPROCESSING
260.36/262.62 c GARBAGE COLLECT
260.36/262.62 c rational objective 4
266.64/268.96 c #Conflicts: 1002000 | #Constraints: 25565
266.64/268.96 c #Conflicts: 1003000 | #Constraints: 26572
266.64/268.96 c #Conflicts: 1004000 | #Constraints: 27594
266.64/268.96 c #Conflicts: 1005000 | #Constraints: 28601
266.64/268.96 c #Conflicts: 1006000 | #Constraints: 29606
266.64/268.96 c #Conflicts: 1007000 | #Constraints: 30615
266.64/268.96 c #Conflicts: 1008000 | #Constraints: 31634
266.64/268.96 c #Conflicts: 1009000 | #Constraints: 32637
266.64/268.96 c #Conflicts: 1010000 | #Constraints: 33931
266.64/268.96 c #Conflicts: 1011000 | #Constraints: 35068
266.64/268.96 c #Conflicts: 1012000 | #Constraints: 36178
266.64/268.96 c #Conflicts: 1013000 | #Constraints: 37253
266.64/268.96 c #Conflicts: 1014000 | #Constraints: 38452
266.64/268.96 c #Conflicts: 1015000 | #Constraints: 39773
266.64/268.96 c #Conflicts: 1016000 | #Constraints: 40866
266.64/268.96 c #Conflicts: 1017000 | #Constraints: 41990
266.64/268.96 c #Conflicts: 1018000 | #Constraints: 43015
266.64/268.96 c #Conflicts: 1019000 | #Constraints: 44035
266.64/268.96 c #Conflicts: 1020000 | #Constraints: 45064
266.64/268.96 c #Conflicts: 1021000 | #Constraints: 46116
266.64/268.96 c INPROCESSING
266.64/268.96 c GARBAGE COLLECT
266.64/268.96 c rational objective 4
272.13/274.44 c #Conflicts: 1022000 | #Constraints: 23737
272.13/274.44 c #Conflicts: 1023000 | #Constraints: 24737
272.13/274.44 c #Conflicts: 1024000 | #Constraints: 25737
272.13/274.44 c #Conflicts: 1025000 | #Constraints: 26737
272.13/274.44 c #Conflicts: 1026000 | #Constraints: 27737
272.13/274.44 c #Conflicts: 1027000 | #Constraints: 28737
272.13/274.44 c #Conflicts: 1028000 | #Constraints: 29737
272.13/274.44 c #Conflicts: 1029000 | #Constraints: 30737
272.13/274.44 c #Conflicts: 1030000 | #Constraints: 31737
272.13/274.44 c #Conflicts: 1031000 | #Constraints: 32737
272.13/274.44 c #Conflicts: 1032000 | #Constraints: 33737
272.13/274.44 c #Conflicts: 1033000 | #Constraints: 34737
272.13/274.44 c #Conflicts: 1034000 | #Constraints: 35737
272.13/274.44 c #Conflicts: 1035000 | #Constraints: 36737
272.13/274.44 c #Conflicts: 1036000 | #Constraints: 37737
272.13/274.44 c #Conflicts: 1037000 | #Constraints: 38737
272.13/274.44 c #Conflicts: 1038000 | #Constraints: 39737
272.13/274.44 c #Conflicts: 1039000 | #Constraints: 40737
272.13/274.44 c #Conflicts: 1040000 | #Constraints: 41737
272.13/274.44 c #Conflicts: 1041000 | #Constraints: 42737
272.13/274.44 c INPROCESSING
272.13/274.44 c GARBAGE COLLECT
272.13/274.44 c rational objective 4
277.21/279.77 c #Conflicts: 1042000 | #Constraints: 24437
277.21/279.77 c #Conflicts: 1043000 | #Constraints: 25437
277.21/279.77 c #Conflicts: 1044000 | #Constraints: 26437
277.21/279.77 c #Conflicts: 1045000 | #Constraints: 27437
277.21/279.77 c #Conflicts: 1046000 | #Constraints: 28437
277.21/279.77 c #Conflicts: 1047000 | #Constraints: 29437
277.21/279.77 c #Conflicts: 1048000 | #Constraints: 30437
277.21/279.77 c #Conflicts: 1049000 | #Constraints: 31437
277.21/279.77 c #Conflicts: 1050000 | #Constraints: 32437
277.21/279.77 c #Conflicts: 1051000 | #Constraints: 33437
277.21/279.77 c #Conflicts: 1052000 | #Constraints: 34437
277.21/279.77 c #Conflicts: 1053000 | #Constraints: 35437
277.21/279.77 c #Conflicts: 1054000 | #Constraints: 36437
277.21/279.77 c #Conflicts: 1055000 | #Constraints: 37437
277.21/279.77 c #Conflicts: 1056000 | #Constraints: 38437
277.21/279.77 c #Conflicts: 1057000 | #Constraints: 39437
277.21/279.77 c #Conflicts: 1058000 | #Constraints: 40437
277.21/279.77 c #Conflicts: 1059000 | #Constraints: 41437
277.21/279.77 c #Conflicts: 1060000 | #Constraints: 42437
277.21/279.77 c #Conflicts: 1061000 | #Constraints: 43437
277.21/279.77 c #Conflicts: 1062000 | #Constraints: 44437
277.21/279.77 c INPROCESSING
277.21/279.77 c GARBAGE COLLECT
277.21/279.77 c rational objective 4
282.69/285.25 c #Conflicts: 1063000 | #Constraints: 25480
282.69/285.25 c #Conflicts: 1064000 | #Constraints: 26480
282.69/285.25 c #Conflicts: 1065000 | #Constraints: 27480
282.69/285.25 c #Conflicts: 1066000 | #Constraints: 28480
282.69/285.25 c #Conflicts: 1067000 | #Constraints: 29480
282.69/285.25 c #Conflicts: 1068000 | #Constraints: 30480
282.69/285.25 c #Conflicts: 1069000 | #Constraints: 31480
282.69/285.25 c #Conflicts: 1070000 | #Constraints: 32480
282.69/285.25 c #Conflicts: 1071000 | #Constraints: 33480
282.69/285.25 c #Conflicts: 1072000 | #Constraints: 34480
282.69/285.25 c #Conflicts: 1073000 | #Constraints: 35480
282.69/285.25 c #Conflicts: 1074000 | #Constraints: 36480
282.69/285.25 c #Conflicts: 1075000 | #Constraints: 37480
282.69/285.25 c #Conflicts: 1076000 | #Constraints: 38480
282.69/285.25 c #Conflicts: 1077000 | #Constraints: 39480
282.69/285.25 c #Conflicts: 1078000 | #Constraints: 40480
282.69/285.25 c #Conflicts: 1079000 | #Constraints: 41480
282.69/285.25 c #Conflicts: 1080000 | #Constraints: 42480
282.69/285.25 c #Conflicts: 1081000 | #Constraints: 43480
282.69/285.25 c #Conflicts: 1082000 | #Constraints: 44480
282.69/285.25 c #Conflicts: 1083000 | #Constraints: 45480
282.69/285.25 c INPROCESSING
282.69/285.25 c GARBAGE COLLECT
282.69/285.25 c rational objective 4
288.08/290.60 c #Conflicts: 1084000 | #Constraints: 26096
288.08/290.60 c #Conflicts: 1085000 | #Constraints: 27096
288.08/290.60 c #Conflicts: 1086000 | #Constraints: 28096
288.08/290.60 c #Conflicts: 1087000 | #Constraints: 29096
288.08/290.60 c #Conflicts: 1088000 | #Constraints: 30096
288.08/290.60 c #Conflicts: 1089000 | #Constraints: 31096
288.08/290.60 c #Conflicts: 1090000 | #Constraints: 32096
288.08/290.60 c #Conflicts: 1091000 | #Constraints: 33096
288.08/290.60 c #Conflicts: 1092000 | #Constraints: 34096
288.08/290.60 c #Conflicts: 1093000 | #Constraints: 35096
288.08/290.60 c #Conflicts: 1094000 | #Constraints: 36096
288.08/290.60 c #Conflicts: 1095000 | #Constraints: 37096
288.08/290.60 c #Conflicts: 1096000 | #Constraints: 38096
288.08/290.60 c #Conflicts: 1097000 | #Constraints: 39096
288.08/290.60 c #Conflicts: 1098000 | #Constraints: 40096
288.08/290.60 c #Conflicts: 1099000 | #Constraints: 41096
288.08/290.60 c #Conflicts: 1100000 | #Constraints: 42096
288.08/290.60 c #Conflicts: 1101000 | #Constraints: 43096
288.08/290.60 c #Conflicts: 1102000 | #Constraints: 44096
288.08/290.60 c #Conflicts: 1103000 | #Constraints: 45096
288.08/290.60 c #Conflicts: 1104000 | #Constraints: 46096
288.08/290.60 c INPROCESSING
288.08/290.60 c GARBAGE COLLECT
288.08/290.60 c rational objective 4
293.36/295.99 c #Conflicts: 1105000 | #Constraints: 26427
293.36/295.99 c #Conflicts: 1106000 | #Constraints: 27427
293.36/295.99 c #Conflicts: 1107000 | #Constraints: 28427
293.36/295.99 c #Conflicts: 1108000 | #Constraints: 29427
293.36/295.99 c #Conflicts: 1109000 | #Constraints: 30427
293.36/295.99 c #Conflicts: 1110000 | #Constraints: 31427
293.36/295.99 c #Conflicts: 1111000 | #Constraints: 32427
293.36/295.99 c #Conflicts: 1112000 | #Constraints: 33427
293.36/295.99 c #Conflicts: 1113000 | #Constraints: 34427
293.36/295.99 c #Conflicts: 1114000 | #Constraints: 35427
293.36/295.99 c #Conflicts: 1115000 | #Constraints: 36427
293.36/295.99 c #Conflicts: 1116000 | #Constraints: 37427
293.36/295.99 c #Conflicts: 1117000 | #Constraints: 38427
293.36/295.99 c #Conflicts: 1118000 | #Constraints: 39427
293.36/295.99 c #Conflicts: 1119000 | #Constraints: 40427
293.36/295.99 c #Conflicts: 1120000 | #Constraints: 41427
293.36/295.99 c #Conflicts: 1121000 | #Constraints: 42427
293.36/295.99 c #Conflicts: 1122000 | #Constraints: 43427
293.36/295.99 c #Conflicts: 1123000 | #Constraints: 44427
293.36/295.99 c #Conflicts: 1124000 | #Constraints: 45427
293.36/295.99 c #Conflicts: 1125000 | #Constraints: 46427
293.36/295.99 c INPROCESSING
293.36/295.99 c GARBAGE COLLECT
293.36/295.99 c rational objective 4
301.34/303.93 c #Conflicts: 1126000 | #Constraints: 26484
301.34/303.93 c #Conflicts: 1127000 | #Constraints: 27484
301.34/303.93 c #Conflicts: 1128000 | #Constraints: 28511
301.34/303.93 c #Conflicts: 1129000 | #Constraints: 29638
301.34/303.93 c #Conflicts: 1130000 | #Constraints: 30781
301.34/303.93 c #Conflicts: 1131000 | #Constraints: 31978
301.34/303.93 c #Conflicts: 1132000 | #Constraints: 33189
301.34/303.93 c #Conflicts: 1133000 | #Constraints: 34193
301.34/303.93 c #Conflicts: 1134000 | #Constraints: 35282
301.34/303.93 c #Conflicts: 1135000 | #Constraints: 36531
301.34/303.93 c #Conflicts: 1136000 | #Constraints: 37663
301.34/303.93 c #Conflicts: 1137000 | #Constraints: 38719
301.34/303.93 c #Conflicts: 1138000 | #Constraints: 39751
301.34/303.93 c #Conflicts: 1139000 | #Constraints: 40945
301.34/303.93 c #Conflicts: 1140000 | #Constraints: 42099
301.34/303.93 c #Conflicts: 1141000 | #Constraints: 43125
301.34/303.93 c #Conflicts: 1142000 | #Constraints: 44177
301.34/303.93 c #Conflicts: 1143000 | #Constraints: 45219
301.34/303.93 c #Conflicts: 1144000 | #Constraints: 46272
301.34/303.93 c #Conflicts: 1145000 | #Constraints: 47407
301.34/303.93 c #Conflicts: 1146000 | #Constraints: 48517
301.34/303.93 c INPROCESSING
301.34/303.93 c GARBAGE COLLECT
301.34/303.93 c rational objective 4
308.44/311.94 c #Conflicts: 1147000 | #Constraints: 27341
308.44/311.94 c #Conflicts: 1148000 | #Constraints: 28341
308.44/311.94 c #Conflicts: 1149000 | #Constraints: 29341
308.44/311.94 c #Conflicts: 1150000 | #Constraints: 30341
308.44/311.94 c #Conflicts: 1151000 | #Constraints: 31341
308.44/311.94 c #Conflicts: 1152000 | #Constraints: 32341
308.44/311.94 c #Conflicts: 1153000 | #Constraints: 33341
308.44/311.94 c #Conflicts: 1154000 | #Constraints: 34341
308.44/311.94 c #Conflicts: 1155000 | #Constraints: 35341
308.44/311.94 c #Conflicts: 1156000 | #Constraints: 36341
308.44/311.94 c #Conflicts: 1157000 | #Constraints: 37341
308.44/311.94 c #Conflicts: 1158000 | #Constraints: 38341
308.44/311.94 c #Conflicts: 1159000 | #Constraints: 39341
308.44/311.94 c #Conflicts: 1160000 | #Constraints: 40341
308.44/311.94 c #Conflicts: 1161000 | #Constraints: 41341
308.44/311.94 c #Conflicts: 1162000 | #Constraints: 42341
308.44/311.94 c #Conflicts: 1163000 | #Constraints: 43341
308.44/311.94 c #Conflicts: 1164000 | #Constraints: 44341
308.44/311.94 c #Conflicts: 1165000 | #Constraints: 45341
308.44/311.94 c #Conflicts: 1166000 | #Constraints: 46341
308.44/311.94 c #Conflicts: 1167000 | #Constraints: 47341
308.44/311.94 c #Conflicts: 1168000 | #Constraints: 48341
308.44/311.94 c INPROCESSING
308.44/311.94 c GARBAGE COLLECT
308.44/311.94 c rational objective 4
314.42/317.95 c #Conflicts: 1169000 | #Constraints: 27382
314.42/317.95 c #Conflicts: 1170000 | #Constraints: 28382
314.42/317.95 c #Conflicts: 1171000 | #Constraints: 29382
314.42/317.95 c #Conflicts: 1172000 | #Constraints: 30382
314.42/317.95 c #Conflicts: 1173000 | #Constraints: 31384
314.42/317.95 c #Conflicts: 1174000 | #Constraints: 32384
314.42/317.95 c #Conflicts: 1175000 | #Constraints: 33385
314.42/317.95 c #Conflicts: 1176000 | #Constraints: 34385
314.42/317.95 c #Conflicts: 1177000 | #Constraints: 35385
314.42/317.95 c #Conflicts: 1178000 | #Constraints: 36385
314.42/317.95 c #Conflicts: 1179000 | #Constraints: 37386
314.42/317.95 c #Conflicts: 1180000 | #Constraints: 38386
314.42/317.95 c #Conflicts: 1181000 | #Constraints: 39388
314.42/317.95 c #Conflicts: 1182000 | #Constraints: 40388
314.42/317.95 c #Conflicts: 1183000 | #Constraints: 41388
314.42/317.95 c #Conflicts: 1184000 | #Constraints: 42389
314.42/317.95 c #Conflicts: 1185000 | #Constraints: 43389
314.42/317.95 c #Conflicts: 1186000 | #Constraints: 44390
314.42/317.95 c #Conflicts: 1187000 | #Constraints: 45390
314.42/317.95 c #Conflicts: 1188000 | #Constraints: 46390
314.42/317.95 c #Conflicts: 1189000 | #Constraints: 47390
314.42/317.95 c #Conflicts: 1190000 | #Constraints: 48390
314.42/317.95 c INPROCESSING
314.42/317.95 c GARBAGE COLLECT
314.42/317.95 c rational objective 4
320.71/324.28 c #Conflicts: 1191000 | #Constraints: 27466
320.71/324.28 c #Conflicts: 1192000 | #Constraints: 28466
320.71/324.28 c #Conflicts: 1193000 | #Constraints: 29466
320.71/324.28 c #Conflicts: 1194000 | #Constraints: 30466
320.71/324.28 c #Conflicts: 1195000 | #Constraints: 31466
320.71/324.28 c #Conflicts: 1196000 | #Constraints: 32466
320.71/324.28 c #Conflicts: 1197000 | #Constraints: 33466
320.71/324.28 c #Conflicts: 1198000 | #Constraints: 34466
320.71/324.28 c #Conflicts: 1199000 | #Constraints: 35466
320.71/324.28 c #Conflicts: 1200000 | #Constraints: 36466
320.71/324.28 c #Conflicts: 1201000 | #Constraints: 37466
320.71/324.28 c #Conflicts: 1202000 | #Constraints: 38466
320.71/324.28 c #Conflicts: 1203000 | #Constraints: 39466
320.71/324.28 c #Conflicts: 1204000 | #Constraints: 40466
320.71/324.28 c #Conflicts: 1205000 | #Constraints: 41466
320.71/324.28 c #Conflicts: 1206000 | #Constraints: 42466
320.71/324.28 c #Conflicts: 1207000 | #Constraints: 43466
320.71/324.28 c #Conflicts: 1208000 | #Constraints: 44466
320.71/324.28 c #Conflicts: 1209000 | #Constraints: 45466
320.71/324.28 c #Conflicts: 1210000 | #Constraints: 46466
320.71/324.28 c #Conflicts: 1211000 | #Constraints: 47466
320.71/324.28 c #Conflicts: 1212000 | #Constraints: 48466
320.71/324.28 c INPROCESSING
320.71/324.28 c GARBAGE COLLECT
320.71/324.28 c rational objective 4
327.19/330.72 c #Conflicts: 1213000 | #Constraints: 27548
327.19/330.72 c #Conflicts: 1214000 | #Constraints: 28548
327.19/330.72 c #Conflicts: 1215000 | #Constraints: 29548
327.19/330.72 c #Conflicts: 1216000 | #Constraints: 30551
327.19/330.72 c #Conflicts: 1217000 | #Constraints: 31552
327.19/330.72 c #Conflicts: 1218000 | #Constraints: 32553
327.19/330.72 c #Conflicts: 1219000 | #Constraints: 33553
327.19/330.72 c #Conflicts: 1220000 | #Constraints: 34553
327.19/330.72 c #Conflicts: 1221000 | #Constraints: 35555
327.19/330.72 c #Conflicts: 1222000 | #Constraints: 36556
327.19/330.72 c #Conflicts: 1223000 | #Constraints: 37556
327.19/330.72 c #Conflicts: 1224000 | #Constraints: 38557
327.19/330.72 c #Conflicts: 1225000 | #Constraints: 39559
327.19/330.72 c #Conflicts: 1226000 | #Constraints: 40564
327.19/330.72 c #Conflicts: 1227000 | #Constraints: 41566
327.19/330.72 c #Conflicts: 1228000 | #Constraints: 42568
327.19/330.72 c #Conflicts: 1229000 | #Constraints: 43570
327.19/330.72 c #Conflicts: 1230000 | #Constraints: 44574
327.19/330.72 c #Conflicts: 1231000 | #Constraints: 45576
327.19/330.72 c #Conflicts: 1232000 | #Constraints: 46587
327.19/330.72 c #Conflicts: 1233000 | #Constraints: 47598
327.19/330.72 c #Conflicts: 1234000 | #Constraints: 48620
327.19/330.72 c INPROCESSING
327.19/330.72 c GARBAGE COLLECT
327.19/330.72 c rational objective 4
333.17/336.70 c #Conflicts: 1235000 | #Constraints: 27530
333.17/336.70 c #Conflicts: 1236000 | #Constraints: 28530
333.17/336.70 c #Conflicts: 1237000 | #Constraints: 29530
333.17/336.70 c #Conflicts: 1238000 | #Constraints: 30530
333.17/336.70 c #Conflicts: 1239000 | #Constraints: 31530
333.17/336.70 c #Conflicts: 1240000 | #Constraints: 32530
333.17/336.70 c #Conflicts: 1241000 | #Constraints: 33530
333.17/336.70 c #Conflicts: 1242000 | #Constraints: 34530
333.17/336.70 c #Conflicts: 1243000 | #Constraints: 35530
333.17/336.70 c #Conflicts: 1244000 | #Constraints: 36530
333.17/336.70 c #Conflicts: 1245000 | #Constraints: 37530
333.17/336.70 c #Conflicts: 1246000 | #Constraints: 38530
333.17/336.70 c #Conflicts: 1247000 | #Constraints: 39530
333.17/336.70 c #Conflicts: 1248000 | #Constraints: 40530
333.17/336.70 c #Conflicts: 1249000 | #Constraints: 41530
333.17/336.70 c #Conflicts: 1250000 | #Constraints: 42530
333.17/336.70 c #Conflicts: 1251000 | #Constraints: 43530
333.17/336.70 c #Conflicts: 1252000 | #Constraints: 44530
333.17/336.70 c #Conflicts: 1253000 | #Constraints: 45530
333.17/336.70 c #Conflicts: 1254000 | #Constraints: 46530
333.17/336.70 c #Conflicts: 1255000 | #Constraints: 47530
333.17/336.70 c #Conflicts: 1256000 | #Constraints: 48530
333.17/336.70 c INPROCESSING
333.17/336.70 c GARBAGE COLLECT
333.17/336.70 c rational objective 4
340.75/344.52 c #Conflicts: 1257000 | #Constraints: 27290
340.75/344.52 c #Conflicts: 1258000 | #Constraints: 28290
340.75/344.52 c #Conflicts: 1259000 | #Constraints: 29290
340.75/344.52 c #Conflicts: 1260000 | #Constraints: 30290
340.75/344.52 c #Conflicts: 1261000 | #Constraints: 31290
340.75/344.52 c #Conflicts: 1262000 | #Constraints: 32290
340.75/344.52 c #Conflicts: 1263000 | #Constraints: 33290
340.75/344.52 c #Conflicts: 1264000 | #Constraints: 34290
340.75/344.52 c #Conflicts: 1265000 | #Constraints: 35290
340.75/344.52 c #Conflicts: 1266000 | #Constraints: 36290
340.75/344.52 c #Conflicts: 1267000 | #Constraints: 37290
340.75/344.52 c #Conflicts: 1268000 | #Constraints: 38290
340.75/344.52 c #Conflicts: 1269000 | #Constraints: 39290
340.75/344.52 c #Conflicts: 1270000 | #Constraints: 40290
340.75/344.52 c #Conflicts: 1271000 | #Constraints: 41290
340.75/344.52 c #Conflicts: 1272000 | #Constraints: 42290
340.75/344.52 c #Conflicts: 1273000 | #Constraints: 43290
340.75/344.52 c #Conflicts: 1274000 | #Constraints: 44290
340.75/344.52 c #Conflicts: 1275000 | #Constraints: 45290
340.75/344.52 c #Conflicts: 1276000 | #Constraints: 46290
340.75/344.52 c #Conflicts: 1277000 | #Constraints: 47290
340.75/344.52 c #Conflicts: 1278000 | #Constraints: 48290
340.75/344.52 c #Conflicts: 1279000 | #Constraints: 49290
340.75/344.52 c INPROCESSING
340.75/344.52 c GARBAGE COLLECT
340.75/344.52 c rational objective 4
346.94/350.79 c #Conflicts: 1280000 | #Constraints: 27879
346.94/350.79 c #Conflicts: 1281000 | #Constraints: 28879
346.94/350.79 c #Conflicts: 1282000 | #Constraints: 29879
346.94/350.79 c #Conflicts: 1283000 | #Constraints: 30879
346.94/350.79 c #Conflicts: 1284000 | #Constraints: 31879
346.94/350.79 c #Conflicts: 1285000 | #Constraints: 32879
346.94/350.79 c #Conflicts: 1286000 | #Constraints: 33879
346.94/350.79 c #Conflicts: 1287000 | #Constraints: 34879
346.94/350.79 c #Conflicts: 1288000 | #Constraints: 35879
346.94/350.79 c #Conflicts: 1289000 | #Constraints: 36879
346.94/350.79 c #Conflicts: 1290000 | #Constraints: 37879
346.94/350.79 c #Conflicts: 1291000 | #Constraints: 38879
346.94/350.79 c #Conflicts: 1292000 | #Constraints: 39879
346.94/350.79 c #Conflicts: 1293000 | #Constraints: 40879
346.94/350.79 c #Conflicts: 1294000 | #Constraints: 41879
346.94/350.79 c #Conflicts: 1295000 | #Constraints: 42879
346.94/350.79 c #Conflicts: 1296000 | #Constraints: 43879
346.94/350.79 c #Conflicts: 1297000 | #Constraints: 44879
346.94/350.79 c #Conflicts: 1298000 | #Constraints: 45879
346.94/350.79 c #Conflicts: 1299000 | #Constraints: 46879
346.94/350.79 c #Conflicts: 1300000 | #Constraints: 47879
346.94/350.79 c #Conflicts: 1301000 | #Constraints: 48879
346.94/350.79 c #Conflicts: 1302000 | #Constraints: 49879
346.94/350.79 c INPROCESSING
346.94/350.79 c GARBAGE COLLECT
346.94/350.79 c rational objective 4
354.40/358.25 c #Conflicts: 1303000 | #Constraints: 28265
354.40/358.25 c #Conflicts: 1304000 | #Constraints: 29265
354.40/358.25 c #Conflicts: 1305000 | #Constraints: 30265
354.40/358.25 c #Conflicts: 1306000 | #Constraints: 31265
354.40/358.25 c #Conflicts: 1307000 | #Constraints: 32265
354.40/358.25 c #Conflicts: 1308000 | #Constraints: 33265
354.40/358.25 c #Conflicts: 1309000 | #Constraints: 34265
354.40/358.25 c #Conflicts: 1310000 | #Constraints: 35265
354.40/358.25 c #Conflicts: 1311000 | #Constraints: 36265
354.40/358.25 c #Conflicts: 1312000 | #Constraints: 37265
354.40/358.25 c #Conflicts: 1313000 | #Constraints: 38265
354.40/358.25 c #Conflicts: 1314000 | #Constraints: 39265
354.40/358.25 c #Conflicts: 1315000 | #Constraints: 40265
354.40/358.25 c #Conflicts: 1316000 | #Constraints: 41265
354.40/358.25 c #Conflicts: 1317000 | #Constraints: 42265
354.40/358.25 c #Conflicts: 1318000 | #Constraints: 43265
354.40/358.25 c #Conflicts: 1319000 | #Constraints: 44265
354.40/358.25 c #Conflicts: 1320000 | #Constraints: 45265
354.40/358.25 c #Conflicts: 1321000 | #Constraints: 46265
354.40/358.25 c #Conflicts: 1322000 | #Constraints: 47265
354.40/358.25 c #Conflicts: 1323000 | #Constraints: 48265
354.40/358.25 c #Conflicts: 1324000 | #Constraints: 49265
354.40/358.25 c #Conflicts: 1325000 | #Constraints: 50265
354.40/358.25 c INPROCESSING
354.40/358.25 c GARBAGE COLLECT
354.40/358.25 c rational objective 4
360.68/364.58 c #Conflicts: 1326000 | #Constraints: 26317
360.68/364.58 c #Conflicts: 1327000 | #Constraints: 27317
360.68/364.58 c #Conflicts: 1328000 | #Constraints: 28317
360.68/364.58 c #Conflicts: 1329000 | #Constraints: 29317
360.68/364.58 c #Conflicts: 1330000 | #Constraints: 30317
360.68/364.58 c #Conflicts: 1331000 | #Constraints: 31317
360.68/364.58 c #Conflicts: 1332000 | #Constraints: 32317
360.68/364.58 c #Conflicts: 1333000 | #Constraints: 33317
360.68/364.58 c #Conflicts: 1334000 | #Constraints: 34317
360.68/364.58 c #Conflicts: 1335000 | #Constraints: 35317
360.68/364.58 c #Conflicts: 1336000 | #Constraints: 36317
360.68/364.58 c #Conflicts: 1337000 | #Constraints: 37317
360.68/364.58 c #Conflicts: 1338000 | #Constraints: 38317
360.68/364.58 c #Conflicts: 1339000 | #Constraints: 39317
360.68/364.58 c #Conflicts: 1340000 | #Constraints: 40317
360.68/364.58 c #Conflicts: 1341000 | #Constraints: 41317
360.68/364.58 c #Conflicts: 1342000 | #Constraints: 42317
360.68/364.58 c #Conflicts: 1343000 | #Constraints: 43317
360.68/364.58 c #Conflicts: 1344000 | #Constraints: 44317
360.68/364.58 c #Conflicts: 1345000 | #Constraints: 45317
360.68/364.58 c #Conflicts: 1346000 | #Constraints: 46317
360.68/364.58 c #Conflicts: 1347000 | #Constraints: 47317
360.68/364.58 c #Conflicts: 1348000 | #Constraints: 48317
360.68/364.58 c INPROCESSING
360.68/364.58 c GARBAGE COLLECT
360.68/364.58 c rational objective 4
367.35/371.45 c #Conflicts: 1349000 | #Constraints: 24440
367.35/371.45 c #Conflicts: 1350000 | #Constraints: 25440
367.35/371.45 c #Conflicts: 1351000 | #Constraints: 26440
367.35/371.45 c #Conflicts: 1352000 | #Constraints: 27440
367.35/371.45 c #Conflicts: 1353000 | #Constraints: 28440
367.35/371.45 c #Conflicts: 1354000 | #Constraints: 29440
367.35/371.45 c #Conflicts: 1355000 | #Constraints: 30440
367.35/371.45 c #Conflicts: 1356000 | #Constraints: 31440
367.35/371.45 c #Conflicts: 1357000 | #Constraints: 32440
367.35/371.45 c #Conflicts: 1358000 | #Constraints: 33440
367.35/371.45 c #Conflicts: 1359000 | #Constraints: 34440
367.35/371.45 c #Conflicts: 1360000 | #Constraints: 35440
367.35/371.45 c #Conflicts: 1361000 | #Constraints: 36440
367.35/371.45 c #Conflicts: 1362000 | #Constraints: 37440
367.35/371.45 c #Conflicts: 1363000 | #Constraints: 38440
367.35/371.45 c #Conflicts: 1364000 | #Constraints: 39440
367.35/371.45 c #Conflicts: 1365000 | #Constraints: 40440
367.35/371.45 c #Conflicts: 1366000 | #Constraints: 41440
367.35/371.45 c #Conflicts: 1367000 | #Constraints: 42440
367.35/371.45 c #Conflicts: 1368000 | #Constraints: 43440
367.35/371.45 c #Conflicts: 1369000 | #Constraints: 44440
367.35/371.45 c #Conflicts: 1370000 | #Constraints: 45440
367.35/371.45 c #Conflicts: 1371000 | #Constraints: 46440
367.35/371.45 c INPROCESSING
367.35/371.45 c GARBAGE COLLECT
367.35/371.45 c rational objective 4
372.14/376.25 c #Conflicts: 1372000 | #Constraints: 25924
372.14/376.25 c #Conflicts: 1373000 | #Constraints: 26924
372.14/376.25 c #Conflicts: 1374000 | #Constraints: 27924
372.14/376.25 c #Conflicts: 1375000 | #Constraints: 28924
372.14/376.25 c #Conflicts: 1376000 | #Constraints: 29924
372.14/376.25 c #Conflicts: 1377000 | #Constraints: 30924
372.14/376.25 c #Conflicts: 1378000 | #Constraints: 31924
372.14/376.25 c #Conflicts: 1379000 | #Constraints: 32924
372.14/376.25 c #Conflicts: 1380000 | #Constraints: 33924
372.14/376.25 c #Conflicts: 1381000 | #Constraints: 34924
372.14/376.25 c #Conflicts: 1382000 | #Constraints: 35924
372.14/376.25 c #Conflicts: 1383000 | #Constraints: 36924
372.14/376.25 c #Conflicts: 1384000 | #Constraints: 37924
372.14/376.25 c #Conflicts: 1385000 | #Constraints: 38924
372.14/376.25 c #Conflicts: 1386000 | #Constraints: 39924
372.14/376.25 c #Conflicts: 1387000 | #Constraints: 40924
372.14/376.25 c #Conflicts: 1388000 | #Constraints: 41924
372.14/376.25 c bounds 5 >= 5 @ 362.632
372.14/376.25 c cpu time 362.632 s
372.14/376.25 c deterministic time 12546596324 1.25e+10
372.14/376.25 c optimization time 0.006877 s
372.14/376.25 c total solve time 362.544 s
372.14/376.25 c core-guided solve time 188.759 s
372.14/376.25 c propagation time 257.563 s
372.14/376.25 c conflict analysis time 80.3543 s
372.14/376.25 c propagations 96434735
372.14/376.25 c resolve steps 18965640
372.14/376.25 c decisions 1723923
372.14/376.25 c conflicts 1388173
372.14/376.25 c restarts 2663
372.14/376.25 c inprocessing phases 108
372.14/376.25 c garbage collections 108 ,( 100.00 )
372.14/376.25 c input clauses 16123 ,( 99.88 )
372.14/376.25 c input cardinalities 18 ,( 0.11 )
372.14/376.25 c input general constraints 2 ,( 0.01 )
372.14/376.25 c input average constraint length 3.02
372.14/376.25 c input average constraint degree 1.01
372.14/376.25 c learned clauses 1336694 ,( 95.55 )
372.14/376.25 c learned cardinalities 218 ,( 0.02 )
372.14/376.25 c learned general constraints 62030 ,( 4.43 )
372.14/376.25 c learned average constraint length 95.80
372.14/376.25 c learned average constraint degree 15550648.51
372.14/376.25 c watched CF 32, 64, 128, Arb: 23786 , 0 , 0 , 0
372.14/376.25 c counting CF 32, 64, 128, Arb: 38247 , 0 , 0 , 0
372.14/376.25 c watched constraints 23786 ,( 38.34 )
372.14/376.25 c counting constraints 38246 ,( 61.66 )
372.14/376.25 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1297035449 , 17812765 , 352045145 ,( 41318256 , 310726889 )
372.14/376.25 c gcd simplifications 647
372.14/376.25 c detected cardinalities 13
372.14/376.25 c weakened non-implied lits 2207471
372.14/376.25 c weakened non-implying lits 19
372.14/376.25 c original variables 1451
372.14/376.25 c clausal propagations 89026205
372.14/376.25 c cardinality propagations 4057471
372.14/376.25 c watched propagations 81689
372.14/376.25 c counting propagations 1878159
372.14/376.25 c watch lookups 3778534650
372.14/376.25 c watch backjump lookups 0
372.14/376.25 c watch checks 6560971617
372.14/376.25 c propagation checks 1564620409
372.14/376.25 c constraint additions 443372173
372.14/376.25 c trail pops 99546387
372.14/376.25 c formula constraints 16123
372.14/376.25 c learned constraints 1388166
372.14/376.25 c bound constraints 10
372.14/376.25 c core-guided constraints 10
372.14/376.25 c encountered formula constraints 8717254
372.14/376.25 c encountered learned constraints 11562880
372.14/376.25 c encountered bound constraints 9
372.14/376.25 c encountered core-guided constraints 3
372.14/376.25 c LP total time 127.481 s
372.14/376.25 c LP solve time 108.23 s
372.14/376.25 c LP constraints added 18405
372.14/376.25 c LP constraints removed 2254
372.14/376.25 c LP pivots internal 1388193
372.14/376.25 c LP pivots root 4236
372.14/376.25 c LP calls 50090
372.14/376.25 c LP optimalities 39676
372.14/376.25 c LP no pivot count 2243
372.14/376.25 c LP infeasibilities 10390
372.14/376.25 c LP valid Farkas constraints 10388
372.14/376.25 c LP learned Farkas constraints 3
372.14/376.25 c LP basis resets 23
372.14/376.25 c LP cycling count 21
372.14/376.25 c LP singular count 0
372.14/376.25 c LP no primal count 0
372.14/376.25 c LP no farkas count 0
372.14/376.25 c LP other issue count 2
372.14/376.25 c LP Gomory cuts 385
372.14/376.25 c LP learned cuts 1897
372.14/376.25 c LP deleted cuts 2254
372.14/376.25 c LP encountered Gomory constraints 62999
372.14/376.25 c LP encountered Farkas constraints 10661
372.14/376.25 c LP encountered learned Farkas constraints 4
372.14/376.25 c CG auxiliary variables introduced 4
372.14/376.25 c CG solutions found 6
372.14/376.25 c CG cores constructed 4
372.14/376.25 c CG core cardinality constraints returned 0
372.14/376.25 c CG unit cores 0
372.14/376.25 c CG single cores 4
372.14/376.25 c CG blocks removed during cardinality reduction 0
372.14/376.25 c CG first core best 0
372.14/376.25 c CG decision core best 0
372.14/376.25 c CG core reduction tie 0
372.14/376.25 c CG core degree average 1.00
372.14/376.25 c CG core slack average 2.25
372.14/376.25 c CG core upper bound improvements 1
372.14/376.25 c STR number of successful calls 0
372.14/376.25 c STR number of unsuccessful calls 0
372.14/376.25 c STR number of inconclusive calls 0
372.14/376.25 c STR number of successful attempts 0
372.14/376.25 c STR number of unsuccessful attempts 0
372.14/376.25 c STR number of inconclusive attempts 0
372.14/376.25 c STR average degree increase per successful call inf
372.14/376.25 c STR average degree increase per successful attempt inf
372.14/376.25 c STR total number of conflicts for successful attempts 0
372.14/376.25 c STR total number of conflicts for unsuccessful attempts 0
372.14/376.25 c STR total number of conflicts for inconclusive attempts 0
372.14/376.25 c STR average number of conflicts per successful attempt inf
372.14/376.25 c STR average number of conflicts per unsuccessful attempt inf
372.14/376.25 c STR average number of conflicts per inconclusive attempt inf
372.14/376.25 c AVG.sumWPerc 54.82
372.14/376.25 c bigint constraints 0
372.14/376.25 o 5
372.14/376.25 s OPTIMUM FOUND
372.14/376.28 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 x15 x16 x17 x18 x19 -x20 x21 -x22 x23 x24 x25 x26 x27 -x28 -x29 -x30 x31 x32 x33 -x34 x35 x36 x37 x38 x39 -x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 -x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 x88 x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 x276 -x277 -x278 x279 x280 x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Wed Jul 16 14:19:26 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 5 <= obj <= 5
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 5 <= obj <= 5
--summary--
ALL OK
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61846 MiB free)
memory of node 1: 64465 MiB (59206 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532129-1752597038/watcher-4532129-1752597038 -o /tmp/evaluation-result-4532129-1752597038/solver-4532129-1752597038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752596989-129395 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532129-1752597038.opb PROOFDIR/proof-4532129-1752597038
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=129795, runsolver pid=129792
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.97 3.29 4.05 5/276 129798
/proc/meminfo: memFree=123955820/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=55696 memory=9216 CPUtime=0 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 430 0 0 0 0 0 0 0 20 0 1 0 175382450 57032704 2304 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 13924 2304 2080 1147 0 1350 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 59888 KiB
Current children cumulated memory: 12288 KiB
[startup+0.206003 s]*
/proc/loadavg: 2.97 3.29 4.05 5/276 129798
/proc/meminfo: memFree=123945176/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=77416 memory=34104 CPUtime=0.1 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 5964 0 0 0 9 1 0 0 20 0 1 0 175382450 79273984 8526 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 19354 8526 2368 1147 0 6780 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 81608 KiB
Current children cumulated memory: 37176 KiB
[startup+0.306054 s]*
/proc/loadavg: 2.97 3.29 4.05 5/276 129798
/proc/meminfo: memFree=123941144/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=79496 memory=36152 CPUtime=0.19 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 6485 0 0 0 18 1 0 0 20 0 1 0 175382450 81403904 9038 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 19874 9038 2368 1147 0 7300 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 83688 KiB
Current children cumulated memory: 39224 KiB
[startup+0.700182 s]
/proc/loadavg: 2.97 3.29 4.05 5/276 129798
/proc/meminfo: memFree=123941272/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=80736 memory=37304 CPUtime=0.59 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 6723 0 0 0 56 3 0 0 20 0 1 0 175382450 82673664 9326 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 20184 9326 2464 1147 0 7610 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 84928 KiB
Current children cumulated memory: 40376 KiB
[startup+1.5002 s]
/proc/loadavg: 2.97 3.29 4.05 5/276 129798
/proc/meminfo: memFree=123941272/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=82876 memory=39096 CPUtime=1.39 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 7173 0 0 0 134 5 0 0 20 0 1 0 175382450 84865024 9774 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 20719 9774 2464 1147 0 8145 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 87068 KiB
Current children cumulated memory: 42168 KiB
[startup+3.10599 s]
/proc/loadavg: 3.05 3.30 4.05 5/277 129799
/proc/meminfo: memFree=123953088/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=84004 memory=42020 CPUtime=2.99 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 7428 0 0 0 290 9 0 0 20 0 1 0 175382450 86020096 10505 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 21001 10505 2464 1147 0 8427 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 88196 KiB
Current children cumulated memory: 45092 KiB
[startup+6.30019 s]
/proc/loadavg: 3.05 3.30 4.05 5/277 129799
/proc/meminfo: memFree=123936240/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=84136 memory=42532 CPUtime=6.17 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 7544 0 0 0 597 20 0 0 20 0 1 0 175382450 86155264 10633 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 21034 10633 2464 1147 0 8460 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 88328 KiB
Current children cumulated memory: 45604 KiB
[startup+12.7002 s]
/proc/loadavg: 3.20 3.32 4.05 5/278 129801
/proc/meminfo: memFree=123873460/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=91072 memory=49188 CPUtime=12.56 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 9222 0 0 0 1216 40 0 0 20 0 1 0 175382450 93257728 12297 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 22768 12297 2464 1147 0 10194 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 95264 KiB
Current children cumulated memory: 52260 KiB
[startup+25.5002 s]
/proc/loadavg: 3.32 3.35 4.04 5/279 129802
/proc/meminfo: memFree=123620756/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=95932 memory=51748 CPUtime=25.31 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 9884 0 0 0 2457 74 0 0 20 0 1 0 175382450 98234368 12937 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 23983 12937 2464 1147 0 11409 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 100124 KiB
Current children cumulated memory: 54820 KiB
[startup+51.106 s]
/proc/loadavg: 3.63 3.42 4.05 5/279 129850
/proc/meminfo: memFree=123081184/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=102056 memory=56996 CPUtime=50.67 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 11141 0 0 0 4928 139 0 0 20 0 1 0 175382450 104505344 14249 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 25514 14249 2528 1147 0 12940 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 106248 KiB
Current children cumulated memory: 60068 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 3.53 4.05 5/279 129857
/proc/meminfo: memFree=121318408/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=108012 memory=66272 CPUtime=101.54 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 12943 0 0 0 9879 275 0 0 20 0 1 0 175382450 110604288 16568 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 27003 16568 2528 1147 0 14429 0
Current children cumulated CPU time: 101.61 s
Current children cumulated vsize: 112204 KiB
Current children cumulated memory: 69344 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.64 4.05 5/280 129860
/proc/meminfo: memFree=119197136/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=119080 memory=71776 CPUtime=160.8 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 14356 0 0 0 15672 408 0 0 20 0 1 0 175382450 121937920 17944 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 29770 17944 2528 1147 0 17196 0
Current children cumulated CPU time: 160.87 s
Current children cumulated vsize: 123272 KiB
Current children cumulated memory: 74848 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.73 4.05 5/280 129862
/proc/meminfo: memFree=117992912/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=121236 memory=76552 CPUtime=220.4 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 15038 0 0 0 21493 547 0 0 20 0 1 0 175382450 124145664 19138 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 30309 19138 2528 1147 0 17735 0
Current children cumulated CPU time: 220.47 s
Current children cumulated vsize: 125428 KiB
Current children cumulated memory: 79624 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.80 4.05 5/276 129865
/proc/meminfo: memFree=116500652/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=122964 memory=78344 CPUtime=279.73 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 15470 0 0 0 27262 711 0 0 20 0 1 0 175382450 125915136 19586 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 30741 19586 2528 1147 0 18167 0
Current children cumulated CPU time: 279.8 s
Current children cumulated vsize: 127156 KiB
Current children cumulated memory: 81416 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.87 4.06 5/274 129867
/proc/meminfo: memFree=114409104/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=125072 memory=80392 CPUtime=338.49 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 15997 0 0 0 32987 862 0 0 20 0 1 0 175382450 128073728 20098 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 31268 20098 2528 1147 0 18694 0
Current children cumulated CPU time: 338.56 s
Current children cumulated vsize: 129264 KiB
Current children cumulated memory: 83464 KiB
[startup+376.291 s]
# the end of solver process 129795 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=362.709 s, system=9.51578 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.11 3.88 4.06 5/274 129867
/proc/meminfo: memFree=114093516/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=125072 memory=80392 CPUtime=354.54 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 15997 0 0 0 34552 902 0 0 20 0 1 0 175382450 128073728 20098 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 31268 20098 2528 1147 0 18694 0
Current children cumulated CPU time: 354.61 s
Current children cumulated vsize: 129264 KiB
Current children cumulated memory: 83464 KiB
[startup+364.8 s]
/proc/loadavg: 4.10 3.88 4.06 5/274 129867
/proc/meminfo: memFree=113835724/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=125072 memory=80392 CPUtime=360.92 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 15997 0 0 0 35174 918 0 0 20 0 1 0 175382450 128073728 20098 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 31268 20098 2528 1147 0 18694 0
Current children cumulated CPU time: 360.99 s
Current children cumulated vsize: 129264 KiB
Current children cumulated memory: 83464 KiB
[startup+371.2 s]
/proc/loadavg: 4.09 3.88 4.06 5/273 129867
/proc/meminfo: memFree=113626048/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=125072 memory=80392 CPUtime=367.09 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 15997 0 0 0 35773 936 0 0 20 0 1 0 175382450 128073728 20098 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 31268 20098 2528 1147 0 18694 0
Current children cumulated CPU time: 367.16 s
Current children cumulated vsize: 129264 KiB
Current children cumulated memory: 83464 KiB
[startup+374.4 s]
/proc/loadavg: 4.08 3.88 4.06 5/273 129867
/proc/meminfo: memFree=113547696/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=125072 memory=80392 CPUtime=370.27 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 15997 0 0 0 36082 945 0 0 20 0 1 0 175382450 128073728 20098 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 31268 20098 2528 1147 0 18694 0
Current children cumulated CPU time: 370.34 s
Current children cumulated vsize: 129264 KiB
Current children cumulated memory: 83464 KiB
[startup+375.2 s]
/proc/loadavg: 4.08 3.88 4.06 5/274 129869
/proc/meminfo: memFree=113523256/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=125072 memory=80392 CPUtime=371.08 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 15997 0 0 0 36160 948 0 0 20 0 1 0 175382450 128073728 20098 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 31268 20098 2528 1147 0 18694 0
Current children cumulated CPU time: 371.15 s
Current children cumulated vsize: 129264 KiB
Current children cumulated memory: 83464 KiB
[startup+376 s]*
/proc/loadavg: 4.08 3.88 4.06 5/274 129869
/proc/meminfo: memFree=113498560/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=125072 memory=80392 CPUtime=371.88 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 15997 0 0 0 36239 949 0 0 20 0 1 0 175382450 128073728 20098 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 31268 20098 2528 1147 0 18694 0
Current children cumulated CPU time: 371.95 s
Current children cumulated vsize: 129264 KiB
Current children cumulated memory: 83464 KiB
[startup+376.2 s]
/proc/loadavg: 4.08 3.88 4.06 5/274 129869
/proc/meminfo: memFree=113498560/131249996 swapFree=33010160/33010684
[pid=129795] ppid=129792 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/129795/stat : 129795 (run-opt-ls-log.) S 129792 129795 128779 0 -1 4194304 241 2190 0 0 0 0 7 0 20 0 1 0 175382441 4292608 768 18446744073709551615 93929414942720 93929415837253 140724336361872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93929416076304 93929416124048 93929423224832 140724336367897 140724336368095 140724336368095 140724336373699 0
/proc/129795/statm: 1048 768 704 219 0 110 0
[pid=129798] ppid=129795 vsize=125072 memory=80392 CPUtime=372.07 cores=1,3
/proc/129798/stat : 129798 (roundingsat) R 129795 129795 128779 0 -1 4194304 15997 0 0 0 36258 949 0 0 20 0 1 0 175382450 128073728 20098 18446744073709551615 4227072 8923577 140732049630720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 32661504 140732049639668 140732049639974 140732049639974 140732049645546 0
/proc/129798/statm: 31268 20098 2528 1147 0 18694 0
Current children cumulated CPU time: 372.14 s
Current children cumulated vsize: 129264 KiB
Current children cumulated memory: 83464 KiB
Child status: 0
Real time (s): 376.291
CPU time (s): 372.224
CPU user time (s): 362.709
CPU system time (s): 9.51578
CPU usage (%): 98.9193
Max. virtual memory (cumulated for all children) (KiB): 129264
Max. memory (cumulated for all children) (KiB): 83464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 362.709
system time used= 9.51578
maximum resident set size= 80392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18452
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2418208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 367
involuntary context switches= 509
# summary of solver processes directly reported to runsolver:
# pid: 129795
# total CPU time (s): 372.224
# total CPU user time (s): 362.709
# total CPU system time (s): 9.51578
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.814178 second user time and 1.80595 second system time
The end
Launcher Data
Begin job on nodeC032 at 2025-07-15 18:30:38
IDJOB=4532129
IDBENCH=176086
IDSOLVER=3392
FILE ID=nodeC032/4532129-1752597038
RUNJOBID= nodeC032-1752596989-129395
SLURM_JOB_ID= 9684386
Free space on /tmp= 429512 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=8.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532129-1752597038/watcher-4532129-1752597038 -o /tmp/evaluation-result-4532129-1752597038/solver-4532129-1752597038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752596989-129395 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532129-1752597038.opb PROOFDIR/proof-4532129-1752597038
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f
RANDOM SEED=1425650774
nodeC032 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.900
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.69
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.479
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.69
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 : 3601.664
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.69
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 : 3491.909
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.69
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 : 3599.845
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.69
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.829
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.69
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 : 3583.141
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.69
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 : 3881.420
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 123958056 kB
MemAvailable: 128765052 kB
Buffers: 2728 kB
Cached: 5489516 kB
SwapCached: 20 kB
Active: 1652040 kB
Inactive: 4782424 kB
Active(anon): 965340 kB
Inactive(anon): 3124 kB
Active(file): 686700 kB
Inactive(file): 4779300 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 174492 kB
Writeback: 0 kB
AnonPages: 945308 kB
Mapped: 121744 kB
Shmem: 26240 kB
KReclaimable: 360472 kB
Slab: 463484 kB
SReclaimable: 360472 kB
SUnreclaim: 103012 kB
KernelStack: 4464 kB
PageTables: 5136 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1348392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150808 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 339968 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429504 MiB
End job on nodeC032 at 2025-07-15 18:36:54