Trace number 4532502
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-PB09/
OPT-LIN/flexray/normalized-fx30.opb |
| MD5SUM | 91ecd4a7d2e975c8e8a35b07ef7013ef |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 17.5328 |
| 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 | 774 |
| Total number of constraints | 994 |
| Number of constraints which are clauses | 771 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 192 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 192 |
| Number of terms in the objective function | 3 |
| 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 | 3 |
| Number of bits of the sum of numbers in the objective function | 2 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 380 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-4532502-1752683038.opb'
0.00/0.01 c read 0.07MB (1.00ms)
0.00/0.01 c [cnf: #variables 774 #clauses 995 #duplicates 0 #arr 8079]
0.00/0.01 c output proof to '/tmp/proof-4532502-1752683038'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 30] (0.97ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c recursing 72 blocks of candidate 3x516r
0.00/0.02 c found row 5x6, generating row predicate
0.00/0.02 c found row 3x516, generating row predicate
0.00/0.02 c (6.20ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 4664 #edges 21948]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 1.73*10^84 #generators 176] (3.09ms)
0.00/0.02 c
0.00/0.02 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.02 c opt it=15, l=5059, m=131, opt=3, avg=63, b=8, gens=176
0.00/0.02 c opt it=31, l=6087, m=246, opt=7, avg=62, b=8, gens=176
0.00/0.02 c ran it=0, +gens=21
0.00/0.04 c con best_support=8, best_gens=144, +gens=249
0.00/0.04 c (18.77ms)
0.00/0.04 c
0.00/0.04 c finalize break order and special generators
0.00/0.04 c
0.00/0.04 c add generic predicates (break_depth=20)
0.00/0.04 c added predicates for 446 generators (0.27ms)
0.00/0.06 c
0.00/0.06 c generation finished
0.00/0.06 c [sbp: #constraints 10022 #add_vars 3190]
0.00/0.06 c
0.00/0.06 c write result to 'HOME/instance-4532502-1752683038.opb.pre'
0.00/0.06 c wrote 0.41MB (1.07ms)
0.00/0.06 c ------------------------------------------------------------------
0.00/0.06 c 19.87ms 38.64% other
0.00/0.06 c 18.77ms 36.51% optimize_gens
0.00/0.06 c 6.20ms 12.06% detect_special
0.00/0.06 c 3.09ms 6.00% detect_generic
0.00/0.06 c 1.07ms 2.09% output
0.00/0.06 c 1.00ms 1.94% parse
0.00/0.06 c 0.97ms 1.88% approx_orbits
0.00/0.06 c 0.27ms 0.52% break_generic
0.00/0.06 c 0.18ms 0.36% finalize_order
0.00/0.06 c ───────────────────────────────────────────────
0.00/0.06 c 51.42ms 100% total
0.00/0.06 c ------------------------------------------------------------------
0.00/0.07 c RoundingSat 2
0.00/0.07 c branch pb25
0.00/0.07 c commit 0f876b3
0.06/0.14 c #variables 3964 #constraints 11038
0.06/0.14 c objective is ce32
0.06/0.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.14 c initial counting CF 32, 64, 128, Arb: 193 , 0 , 0 , 0
0.06/0.14 c bounds - >= 0 @ 0.050148
0.65/0.70 c #Conflicts: 1000 | #Constraints: 12037
0.65/0.70 c #Conflicts: 2000 | #Constraints: 13039
0.65/0.70 c INPROCESSING
0.65/0.70 c GARBAGE COLLECT
0.65/0.70 c rational objective 3
1.76/1.80 c #Conflicts: 3000 | #Constraints: 12124
1.76/1.80 c #Conflicts: 4000 | #Constraints: 13126
1.76/1.80 c INPROCESSING
1.76/1.80 c GARBAGE COLLECT
1.76/1.80 c rational objective 3
2.65/2.75 c #Conflicts: 5000 | #Constraints: 12473
2.65/2.75 c #Conflicts: 6000 | #Constraints: 13473
2.65/2.75 c INPROCESSING
2.65/2.75 c GARBAGE COLLECT
2.65/2.75 c rational objective 3
4.25/4.33 c #Conflicts: 7000 | #Constraints: 12477
4.25/4.33 c #Conflicts: 8000 | #Constraints: 13479
4.25/4.33 c #Conflicts: 9000 | #Constraints: 14479
4.25/4.33 c INPROCESSING
4.25/4.33 c GARBAGE COLLECT
4.25/4.33 c rational objective 3
5.54/5.66 c #Conflicts: 10000 | #Constraints: 13189
5.54/5.66 c #Conflicts: 11000 | #Constraints: 14190
5.54/5.66 c #Conflicts: 12000 | #Constraints: 15190
5.54/5.66 c INPROCESSING
5.54/5.66 c GARBAGE COLLECT
5.54/5.66 c rational objective 3
6.94/7.10 c #Conflicts: 13000 | #Constraints: 13589
6.94/7.10 c #Conflicts: 14000 | #Constraints: 14590
6.94/7.10 c #Conflicts: 15000 | #Constraints: 15594
6.94/7.10 c INPROCESSING
6.94/7.10 c GARBAGE COLLECT
6.94/7.10 c rational objective 3
9.03/9.11 c #Conflicts: 16000 | #Constraints: 13823
9.03/9.11 c #Conflicts: 17000 | #Constraints: 14824
9.03/9.11 c #Conflicts: 18000 | #Constraints: 15825
9.03/9.11 c INPROCESSING
9.03/9.11 c GARBAGE COLLECT
9.03/9.11 c rational objective 3
11.02/11.16 c #Conflicts: 19000 | #Constraints: 13782
11.02/11.16 c #Conflicts: 20000 | #Constraints: 14783
11.02/11.16 c #Conflicts: 21000 | #Constraints: 15784
11.02/11.16 c INPROCESSING
11.02/11.16 c GARBAGE COLLECT
11.02/11.16 c rational objective 3
13.01/13.19 c #Conflicts: 22000 | #Constraints: 13584
13.01/13.19 c #Conflicts: 23000 | #Constraints: 14584
13.01/13.19 c #Conflicts: 24000 | #Constraints: 15584
13.01/13.19 c #Conflicts: 25000 | #Constraints: 16584
13.01/13.19 c INPROCESSING
13.01/13.19 c GARBAGE COLLECT
13.01/13.19 c rational objective 3
15.29/15.45 c #Conflicts: 26000 | #Constraints: 14098
15.29/15.45 c #Conflicts: 27000 | #Constraints: 15099
15.29/15.45 c #Conflicts: 28000 | #Constraints: 16100
15.29/15.45 c #Conflicts: 29000 | #Constraints: 17101
15.29/15.45 c INPROCESSING
15.29/15.45 c GARBAGE COLLECT
15.29/15.45 c rational objective 3
17.38/17.55 c #Conflicts: 30000 | #Constraints: 14450
17.38/17.55 c #Conflicts: 31000 | #Constraints: 15451
17.38/17.55 c #Conflicts: 32000 | #Constraints: 16452
17.38/17.55 c #Conflicts: 33000 | #Constraints: 17453
17.38/17.55 c INPROCESSING
17.38/17.55 c GARBAGE COLLECT
17.38/17.55 c rational objective 3
20.07/20.26 c #Conflicts: 34000 | #Constraints: 14624
20.07/20.26 c #Conflicts: 35000 | #Constraints: 15625
20.07/20.26 c #Conflicts: 36000 | #Constraints: 16628
20.07/20.26 c #Conflicts: 37000 | #Constraints: 17630
20.07/20.26 c INPROCESSING
20.07/20.26 c GARBAGE COLLECT
20.07/20.26 c rational objective 3
22.97/23.19 c #Conflicts: 38000 | #Constraints: 14636
22.97/23.19 c #Conflicts: 39000 | #Constraints: 15638
22.97/23.19 c #Conflicts: 40000 | #Constraints: 16638
22.97/23.19 c #Conflicts: 41000 | #Constraints: 17639
22.97/23.19 c INPROCESSING
22.97/23.19 c GARBAGE COLLECT
22.97/23.19 c rational objective 3
25.17/25.38 c #Conflicts: 42000 | #Constraints: 14406
25.17/25.38 c #Conflicts: 43000 | #Constraints: 15406
25.17/25.38 c #Conflicts: 44000 | #Constraints: 16407
25.17/25.38 c #Conflicts: 45000 | #Constraints: 17410
25.17/25.38 c #Conflicts: 46000 | #Constraints: 18412
25.17/25.38 c INPROCESSING
25.17/25.38 c GARBAGE COLLECT
25.17/25.38 c rational objective 3
28.56/28.78 c #Conflicts: 47000 | #Constraints: 14991
28.56/28.78 c #Conflicts: 48000 | #Constraints: 15992
28.56/28.78 c #Conflicts: 49000 | #Constraints: 16994
28.56/28.78 c #Conflicts: 50000 | #Constraints: 17996
28.56/28.78 c #Conflicts: 51000 | #Constraints: 18997
28.56/28.78 c INPROCESSING
28.56/28.78 c GARBAGE COLLECT
28.56/28.78 c rational objective 3
33.82/34.04 c #Conflicts: 52000 | #Constraints: 15398
33.82/34.04 c #Conflicts: 53000 | #Constraints: 16398
33.82/34.04 c #Conflicts: 54000 | #Constraints: 17398
33.82/34.04 c #Conflicts: 55000 | #Constraints: 18398
33.82/34.04 c #Conflicts: 56000 | #Constraints: 19398
33.82/34.04 c INPROCESSING
33.82/34.04 c GARBAGE COLLECT
33.82/34.04 c rational objective 3
36.50/36.70 c #Conflicts: 57000 | #Constraints: 15597
36.50/36.70 c #Conflicts: 58000 | #Constraints: 16597
36.50/36.70 c #Conflicts: 59000 | #Constraints: 17597
36.50/36.70 c #Conflicts: 60000 | #Constraints: 18597
36.50/36.70 c #Conflicts: 61000 | #Constraints: 19597
36.50/36.70 c INPROCESSING
36.50/36.70 c GARBAGE COLLECT
36.50/36.70 c rational objective 3
40.59/40.84 c #Conflicts: 62000 | #Constraints: 15594
40.59/40.84 c #Conflicts: 63000 | #Constraints: 16594
40.59/40.84 c #Conflicts: 64000 | #Constraints: 17594
40.59/40.84 c #Conflicts: 65000 | #Constraints: 18594
40.59/40.84 c #Conflicts: 66000 | #Constraints: 19594
40.59/40.84 c INPROCESSING
40.59/40.84 c GARBAGE COLLECT
40.59/40.84 c rational objective 3
44.38/44.60 c #Conflicts: 67000 | #Constraints: 15308
44.38/44.60 c #Conflicts: 68000 | #Constraints: 16308
44.38/44.60 c #Conflicts: 69000 | #Constraints: 17308
44.38/44.60 c #Conflicts: 70000 | #Constraints: 18308
44.38/44.60 c #Conflicts: 71000 | #Constraints: 19309
44.38/44.60 c #Conflicts: 72000 | #Constraints: 20309
44.38/44.60 c INPROCESSING
44.38/44.60 c GARBAGE COLLECT
44.38/44.60 c rational objective 3
48.67/48.92 c #Conflicts: 73000 | #Constraints: 15876
48.67/48.92 c #Conflicts: 74000 | #Constraints: 16876
48.67/48.92 c #Conflicts: 75000 | #Constraints: 17876
48.67/48.92 c #Conflicts: 76000 | #Constraints: 18876
48.67/48.92 c #Conflicts: 77000 | #Constraints: 19876
48.67/48.92 c #Conflicts: 78000 | #Constraints: 20876
48.67/48.92 c INPROCESSING
48.67/48.92 c GARBAGE COLLECT
48.67/48.92 c rational objective 3
52.05/52.30 c #Conflicts: 79000 | #Constraints: 16281
52.05/52.30 c #Conflicts: 80000 | #Constraints: 17281
52.05/52.30 c #Conflicts: 81000 | #Constraints: 18281
52.05/52.30 c #Conflicts: 82000 | #Constraints: 19281
52.05/52.30 c #Conflicts: 83000 | #Constraints: 20288
52.05/52.30 c #Conflicts: 84000 | #Constraints: 21288
52.05/52.30 c INPROCESSING
52.05/52.30 c GARBAGE COLLECT
52.05/52.30 c rational objective 3
56.04/56.39 c #Conflicts: 85000 | #Constraints: 16476
56.04/56.39 c #Conflicts: 86000 | #Constraints: 17476
56.04/56.39 c #Conflicts: 87000 | #Constraints: 18476
56.04/56.39 c #Conflicts: 88000 | #Constraints: 19476
56.04/56.39 c #Conflicts: 89000 | #Constraints: 20476
56.04/56.39 c #Conflicts: 90000 | #Constraints: 21476
56.04/56.39 c INPROCESSING
56.04/56.39 c GARBAGE COLLECT
56.04/56.39 c rational objective 3
60.54/60.88 c #Conflicts: 91000 | #Constraints: 16475
60.54/60.88 c #Conflicts: 92000 | #Constraints: 17475
60.54/60.88 c #Conflicts: 93000 | #Constraints: 18475
60.54/60.88 c #Conflicts: 94000 | #Constraints: 19475
60.54/60.88 c #Conflicts: 95000 | #Constraints: 20475
60.54/60.88 c #Conflicts: 96000 | #Constraints: 21476
60.54/60.88 c INPROCESSING
60.54/60.88 c GARBAGE COLLECT
60.54/60.88 c rational objective 3
64.83/65.19 c #Conflicts: 97000 | #Constraints: 16270
64.83/65.19 c #Conflicts: 98000 | #Constraints: 17270
64.83/65.19 c #Conflicts: 99000 | #Constraints: 18271
64.83/65.19 c #Conflicts: 100000 | #Constraints: 19271
64.83/65.19 c #Conflicts: 101000 | #Constraints: 20272
64.83/65.19 c #Conflicts: 102000 | #Constraints: 21273
64.83/65.19 c #Conflicts: 103000 | #Constraints: 22273
64.83/65.19 c INPROCESSING
64.83/65.19 c GARBAGE COLLECT
64.83/65.19 c rational objective 3
69.91/70.27 c #Conflicts: 104000 | #Constraints: 16873
69.91/70.27 c #Conflicts: 105000 | #Constraints: 17873
69.91/70.27 c #Conflicts: 106000 | #Constraints: 18874
69.91/70.27 c #Conflicts: 107000 | #Constraints: 19874
69.91/70.27 c #Conflicts: 108000 | #Constraints: 20874
69.91/70.27 c #Conflicts: 109000 | #Constraints: 21874
69.91/70.27 c #Conflicts: 110000 | #Constraints: 22875
69.91/70.27 c INPROCESSING
69.91/70.27 c GARBAGE COLLECT
69.91/70.27 c rational objective 3
74.30/74.64 c #Conflicts: 111000 | #Constraints: 17213
74.30/74.64 c #Conflicts: 112000 | #Constraints: 18213
74.30/74.64 c #Conflicts: 113000 | #Constraints: 19213
74.30/74.64 c #Conflicts: 114000 | #Constraints: 20216
74.30/74.64 c #Conflicts: 115000 | #Constraints: 21217
74.30/74.64 c #Conflicts: 116000 | #Constraints: 22218
74.30/74.64 c #Conflicts: 117000 | #Constraints: 23218
74.30/74.64 c INPROCESSING
74.30/74.64 c GARBAGE COLLECT
74.30/74.64 c rational objective 3
79.39/79.77 c #Conflicts: 118000 | #Constraints: 17359
79.39/79.77 c #Conflicts: 119000 | #Constraints: 18360
79.39/79.77 c #Conflicts: 120000 | #Constraints: 19361
79.39/79.77 c #Conflicts: 121000 | #Constraints: 20361
79.39/79.77 c #Conflicts: 122000 | #Constraints: 21363
79.39/79.77 c #Conflicts: 123000 | #Constraints: 22365
79.39/79.77 c #Conflicts: 124000 | #Constraints: 23366
79.39/79.77 c INPROCESSING
79.39/79.77 c GARBAGE COLLECT
79.39/79.77 c rational objective 3
84.78/85.14 c #Conflicts: 125000 | #Constraints: 17337
84.78/85.14 c #Conflicts: 126000 | #Constraints: 18337
84.78/85.14 c #Conflicts: 127000 | #Constraints: 19337
84.78/85.14 c #Conflicts: 128000 | #Constraints: 20337
84.78/85.14 c #Conflicts: 129000 | #Constraints: 21337
84.78/85.14 c #Conflicts: 130000 | #Constraints: 22337
84.78/85.14 c #Conflicts: 131000 | #Constraints: 23337
84.78/85.14 c INPROCESSING
84.78/85.14 c GARBAGE COLLECT
84.78/85.14 c rational objective 3
90.17/90.51 c #Conflicts: 132000 | #Constraints: 17128
90.17/90.51 c #Conflicts: 133000 | #Constraints: 18128
90.17/90.51 c #Conflicts: 134000 | #Constraints: 19128
90.17/90.51 c #Conflicts: 135000 | #Constraints: 20128
90.17/90.51 c #Conflicts: 136000 | #Constraints: 21130
90.17/90.51 c #Conflicts: 137000 | #Constraints: 22132
90.17/90.51 c #Conflicts: 138000 | #Constraints: 23133
90.17/90.51 c #Conflicts: 139000 | #Constraints: 24135
90.17/90.51 c INPROCESSING
90.17/90.51 c GARBAGE COLLECT
90.17/90.51 c rational objective 3
95.94/96.34 c #Conflicts: 140000 | #Constraints: 17740
95.94/96.34 c #Conflicts: 141000 | #Constraints: 18742
95.94/96.34 c #Conflicts: 142000 | #Constraints: 19743
95.94/96.34 c #Conflicts: 143000 | #Constraints: 20744
95.94/96.34 c #Conflicts: 144000 | #Constraints: 21745
95.94/96.34 c #Conflicts: 145000 | #Constraints: 22747
95.94/96.34 c #Conflicts: 146000 | #Constraints: 23748
95.94/96.34 c #Conflicts: 147000 | #Constraints: 24749
95.94/96.34 c INPROCESSING
95.94/96.34 c GARBAGE COLLECT
95.94/96.34 c rational objective 3
101.13/101.52 c #Conflicts: 148000 | #Constraints: 18115
101.13/101.52 c #Conflicts: 149000 | #Constraints: 19115
101.13/101.52 c #Conflicts: 150000 | #Constraints: 20117
101.13/101.52 c #Conflicts: 151000 | #Constraints: 21119
101.13/101.52 c #Conflicts: 152000 | #Constraints: 22120
101.13/101.52 c #Conflicts: 153000 | #Constraints: 23121
101.13/101.52 c #Conflicts: 154000 | #Constraints: 24121
101.13/101.52 c #Conflicts: 155000 | #Constraints: 25122
101.13/101.52 c INPROCESSING
101.13/101.52 c GARBAGE COLLECT
101.13/101.52 c rational objective 3
108.01/108.49 c #Conflicts: 156000 | #Constraints: 18311
108.01/108.49 c #Conflicts: 157000 | #Constraints: 19313
108.01/108.49 c #Conflicts: 158000 | #Constraints: 20315
108.01/108.49 c #Conflicts: 159000 | #Constraints: 21317
108.01/108.49 c #Conflicts: 160000 | #Constraints: 22317
108.01/108.49 c #Conflicts: 161000 | #Constraints: 23317
108.01/108.49 c #Conflicts: 162000 | #Constraints: 24318
108.01/108.49 c #Conflicts: 163000 | #Constraints: 25318
108.01/108.49 c INPROCESSING
108.01/108.49 c GARBAGE COLLECT
108.01/108.49 c rational objective 3
114.99/115.48 c #Conflicts: 164000 | #Constraints: 18321
114.99/115.48 c #Conflicts: 165000 | #Constraints: 19321
114.99/115.48 c #Conflicts: 166000 | #Constraints: 20322
114.99/115.48 c #Conflicts: 167000 | #Constraints: 21322
114.99/115.48 c #Conflicts: 168000 | #Constraints: 22322
114.99/115.48 c #Conflicts: 169000 | #Constraints: 23323
114.99/115.48 c #Conflicts: 170000 | #Constraints: 24323
114.99/115.48 c #Conflicts: 171000 | #Constraints: 25323
114.99/115.48 c INPROCESSING
114.99/115.48 c GARBAGE COLLECT
114.99/115.48 c rational objective 3
121.68/122.14 c #Conflicts: 172000 | #Constraints: 18081
121.68/122.14 c #Conflicts: 173000 | #Constraints: 19081
121.68/122.14 c #Conflicts: 174000 | #Constraints: 20082
121.68/122.14 c #Conflicts: 175000 | #Constraints: 21082
121.68/122.14 c #Conflicts: 176000 | #Constraints: 22082
121.68/122.14 c #Conflicts: 177000 | #Constraints: 23083
121.68/122.14 c #Conflicts: 178000 | #Constraints: 24083
121.68/122.14 c #Conflicts: 179000 | #Constraints: 25086
121.68/122.14 c #Conflicts: 180000 | #Constraints: 26086
121.68/122.14 c INPROCESSING
121.68/122.14 c GARBAGE COLLECT
121.68/122.14 c rational objective 3
129.45/129.98 c #Conflicts: 181000 | #Constraints: 18649
129.45/129.98 c #Conflicts: 182000 | #Constraints: 19650
129.45/129.98 c #Conflicts: 183000 | #Constraints: 20651
129.45/129.98 c #Conflicts: 184000 | #Constraints: 21652
129.45/129.98 c #Conflicts: 185000 | #Constraints: 22652
129.45/129.98 c #Conflicts: 186000 | #Constraints: 23653
129.45/129.98 c #Conflicts: 187000 | #Constraints: 24653
129.45/129.98 c #Conflicts: 188000 | #Constraints: 25653
129.45/129.98 c #Conflicts: 189000 | #Constraints: 26653
129.45/129.98 c INPROCESSING
129.45/129.98 c GARBAGE COLLECT
129.45/129.98 c rational objective 3
136.84/137.35 c #Conflicts: 190000 | #Constraints: 19046
136.84/137.35 c #Conflicts: 191000 | #Constraints: 20047
136.84/137.35 c #Conflicts: 192000 | #Constraints: 21048
136.84/137.35 c #Conflicts: 193000 | #Constraints: 22048
136.84/137.35 c #Conflicts: 194000 | #Constraints: 23050
136.84/137.35 c #Conflicts: 195000 | #Constraints: 24052
136.84/137.35 c #Conflicts: 196000 | #Constraints: 25053
136.84/137.35 c #Conflicts: 197000 | #Constraints: 26053
136.84/137.35 c #Conflicts: 198000 | #Constraints: 27053
136.84/137.35 c INPROCESSING
136.84/137.35 c GARBAGE COLLECT
136.84/137.35 c rational objective 3
145.62/146.13 c #Conflicts: 199000 | #Constraints: 19166
145.62/146.13 c #Conflicts: 200000 | #Constraints: 20168
145.62/146.13 c #Conflicts: 201000 | #Constraints: 21170
145.62/146.13 c #Conflicts: 202000 | #Constraints: 22170
145.62/146.13 c #Conflicts: 203000 | #Constraints: 23173
145.62/146.13 c #Conflicts: 204000 | #Constraints: 24175
145.62/146.13 c #Conflicts: 205000 | #Constraints: 25176
145.62/146.13 c #Conflicts: 206000 | #Constraints: 26180
145.62/146.13 c #Conflicts: 207000 | #Constraints: 27182
145.62/146.13 c INPROCESSING
145.62/146.13 c GARBAGE COLLECT
145.62/146.13 c rational objective 3
152.90/153.40 c #Conflicts: 208000 | #Constraints: 19148
152.90/153.40 c #Conflicts: 209000 | #Constraints: 20148
152.90/153.40 c #Conflicts: 210000 | #Constraints: 21149
152.90/153.40 c #Conflicts: 211000 | #Constraints: 22151
152.90/153.40 c #Conflicts: 212000 | #Constraints: 23152
152.90/153.40 c #Conflicts: 213000 | #Constraints: 24153
152.90/153.40 c #Conflicts: 214000 | #Constraints: 25154
152.90/153.40 c #Conflicts: 215000 | #Constraints: 26156
152.90/153.40 c #Conflicts: 216000 | #Constraints: 27157
152.90/153.40 c INPROCESSING
152.90/153.40 c GARBAGE COLLECT
152.90/153.40 c rational objective 3
161.38/161.92 c #Conflicts: 217000 | #Constraints: 18933
161.38/161.92 c #Conflicts: 218000 | #Constraints: 19933
161.38/161.92 c #Conflicts: 219000 | #Constraints: 20934
161.38/161.92 c #Conflicts: 220000 | #Constraints: 21935
161.38/161.92 c #Conflicts: 221000 | #Constraints: 22936
161.38/161.92 c #Conflicts: 222000 | #Constraints: 23936
161.38/161.92 c #Conflicts: 223000 | #Constraints: 24936
161.38/161.92 c #Conflicts: 224000 | #Constraints: 25937
161.38/161.92 c #Conflicts: 225000 | #Constraints: 26938
161.38/161.92 c #Conflicts: 226000 | #Constraints: 27940
161.38/161.92 c INPROCESSING
161.38/161.92 c GARBAGE COLLECT
161.38/161.92 c rational objective 3
169.85/170.48 c #Conflicts: 227000 | #Constraints: 19537
169.85/170.48 c #Conflicts: 228000 | #Constraints: 20537
169.85/170.48 c #Conflicts: 229000 | #Constraints: 21541
169.85/170.48 c #Conflicts: 230000 | #Constraints: 22542
169.85/170.48 c #Conflicts: 231000 | #Constraints: 23543
169.85/170.48 c #Conflicts: 232000 | #Constraints: 24543
169.85/170.48 c #Conflicts: 233000 | #Constraints: 25543
169.85/170.48 c #Conflicts: 234000 | #Constraints: 26543
169.85/170.48 c #Conflicts: 235000 | #Constraints: 27544
169.85/170.48 c #Conflicts: 236000 | #Constraints: 28546
169.85/170.48 c INPROCESSING
169.85/170.48 c GARBAGE COLLECT
169.85/170.48 c rational objective 3
177.44/178.07 c #Conflicts: 237000 | #Constraints: 19931
177.44/178.07 c #Conflicts: 238000 | #Constraints: 20931
177.44/178.07 c #Conflicts: 239000 | #Constraints: 21932
177.44/178.07 c #Conflicts: 240000 | #Constraints: 22933
177.44/178.07 c #Conflicts: 241000 | #Constraints: 23933
177.44/178.07 c #Conflicts: 242000 | #Constraints: 24936
177.44/178.07 c #Conflicts: 243000 | #Constraints: 25938
177.44/178.07 c #Conflicts: 244000 | #Constraints: 26940
177.44/178.07 c #Conflicts: 245000 | #Constraints: 27941
177.44/178.07 c #Conflicts: 246000 | #Constraints: 28941
177.44/178.07 c INPROCESSING
177.44/178.07 c GARBAGE COLLECT
177.44/178.07 c rational objective 3
185.82/186.43 c #Conflicts: 247000 | #Constraints: 20143
185.82/186.43 c #Conflicts: 248000 | #Constraints: 21144
185.82/186.43 c #Conflicts: 249000 | #Constraints: 22145
185.82/186.43 c #Conflicts: 250000 | #Constraints: 23146
185.82/186.43 c #Conflicts: 251000 | #Constraints: 24147
185.82/186.43 c #Conflicts: 252000 | #Constraints: 25149
185.82/186.43 c #Conflicts: 253000 | #Constraints: 26154
185.82/186.43 c #Conflicts: 254000 | #Constraints: 27155
185.82/186.43 c #Conflicts: 255000 | #Constraints: 28156
185.82/186.43 c #Conflicts: 256000 | #Constraints: 29156
185.82/186.43 c INPROCESSING
185.82/186.43 c GARBAGE COLLECT
185.82/186.43 c rational objective 3
194.00/194.65 c #Conflicts: 257000 | #Constraints: 20140
194.00/194.65 c #Conflicts: 258000 | #Constraints: 21141
194.00/194.65 c #Conflicts: 259000 | #Constraints: 22141
194.00/194.65 c #Conflicts: 260000 | #Constraints: 23141
194.00/194.65 c #Conflicts: 261000 | #Constraints: 24143
194.00/194.65 c #Conflicts: 262000 | #Constraints: 25144
194.00/194.65 c #Conflicts: 263000 | #Constraints: 26144
194.00/194.65 c #Conflicts: 264000 | #Constraints: 27144
194.00/194.65 c #Conflicts: 265000 | #Constraints: 28144
194.00/194.65 c #Conflicts: 266000 | #Constraints: 29144
194.00/194.65 c INPROCESSING
194.00/194.65 c GARBAGE COLLECT
194.00/194.65 c rational objective 3
204.37/205.04 c #Conflicts: 267000 | #Constraints: 19921
204.37/205.04 c #Conflicts: 268000 | #Constraints: 20921
204.37/205.04 c #Conflicts: 269000 | #Constraints: 21921
204.37/205.04 c #Conflicts: 270000 | #Constraints: 22922
204.37/205.04 c #Conflicts: 271000 | #Constraints: 23924
204.37/205.04 c #Conflicts: 272000 | #Constraints: 24925
204.37/205.04 c #Conflicts: 273000 | #Constraints: 25926
204.37/205.04 c #Conflicts: 274000 | #Constraints: 26926
204.37/205.04 c #Conflicts: 275000 | #Constraints: 27927
204.37/205.04 c #Conflicts: 276000 | #Constraints: 28929
204.37/205.04 c #Conflicts: 277000 | #Constraints: 29929
204.37/205.04 c INPROCESSING
204.37/205.04 c GARBAGE COLLECT
204.37/205.04 c rational objective 3
215.53/216.22 c #Conflicts: 278000 | #Constraints: 20523
215.53/216.22 c #Conflicts: 279000 | #Constraints: 21523
215.53/216.22 c #Conflicts: 280000 | #Constraints: 22527
215.53/216.22 c #Conflicts: 281000 | #Constraints: 23527
215.53/216.22 c #Conflicts: 282000 | #Constraints: 24528
215.53/216.22 c #Conflicts: 283000 | #Constraints: 25528
215.53/216.22 c #Conflicts: 284000 | #Constraints: 26529
215.53/216.22 c #Conflicts: 285000 | #Constraints: 27529
215.53/216.22 c #Conflicts: 286000 | #Constraints: 28530
215.53/216.22 c #Conflicts: 287000 | #Constraints: 29530
215.53/216.22 c #Conflicts: 288000 | #Constraints: 30531
215.53/216.22 c INPROCESSING
215.53/216.22 c GARBAGE COLLECT
215.53/216.22 c rational objective 3
225.61/226.38 c #Conflicts: 289000 | #Constraints: 20912
225.61/226.38 c #Conflicts: 290000 | #Constraints: 21912
225.61/226.38 c #Conflicts: 291000 | #Constraints: 22912
225.61/226.38 c #Conflicts: 292000 | #Constraints: 23912
225.61/226.38 c #Conflicts: 293000 | #Constraints: 24912
225.61/226.38 c #Conflicts: 294000 | #Constraints: 25914
225.61/226.38 c #Conflicts: 295000 | #Constraints: 26914
225.61/226.38 c #Conflicts: 296000 | #Constraints: 27914
225.61/226.38 c #Conflicts: 297000 | #Constraints: 28914
225.61/226.38 c #Conflicts: 298000 | #Constraints: 29914
225.61/226.38 c #Conflicts: 299000 | #Constraints: 30914
225.61/226.38 c INPROCESSING
225.61/226.38 c GARBAGE COLLECT
225.61/226.38 c rational objective 3
237.18/237.92 c #Conflicts: 300000 | #Constraints: 21048
237.18/237.92 c #Conflicts: 301000 | #Constraints: 22048
237.18/237.92 c #Conflicts: 302000 | #Constraints: 23048
237.18/237.92 c #Conflicts: 303000 | #Constraints: 24050
237.18/237.92 c #Conflicts: 304000 | #Constraints: 25051
237.18/237.92 c #Conflicts: 305000 | #Constraints: 26057
237.18/237.92 c #Conflicts: 306000 | #Constraints: 27057
237.18/237.92 c #Conflicts: 307000 | #Constraints: 28057
237.18/237.92 c #Conflicts: 308000 | #Constraints: 29059
237.18/237.92 c #Conflicts: 309000 | #Constraints: 30060
237.18/237.92 c #Conflicts: 310000 | #Constraints: 31061
237.18/237.92 c INPROCESSING
237.18/237.92 c GARBAGE COLLECT
237.18/237.92 c rational objective 3
252.05/252.80 c #Conflicts: 311000 | #Constraints: 20795
252.05/252.80 c #Conflicts: 312000 | #Constraints: 21797
252.05/252.80 c #Conflicts: 313000 | #Constraints: 22797
252.05/252.80 c #Conflicts: 314000 | #Constraints: 23798
252.05/252.80 c #Conflicts: 315000 | #Constraints: 24800
252.05/252.80 c #Conflicts: 316000 | #Constraints: 25801
252.05/252.80 c #Conflicts: 317000 | #Constraints: 26802
252.05/252.80 c #Conflicts: 318000 | #Constraints: 27807
252.05/252.80 c #Conflicts: 319000 | #Constraints: 28808
252.05/252.80 c #Conflicts: 320000 | #Constraints: 29808
252.05/252.80 c #Conflicts: 321000 | #Constraints: 30808
252.05/252.80 c INPROCESSING
252.05/252.80 c GARBAGE COLLECT
252.05/252.80 c rational objective 3
264.81/265.60 c #Conflicts: 322000 | #Constraints: 20563
264.81/265.60 c #Conflicts: 323000 | #Constraints: 21563
264.81/265.60 c #Conflicts: 324000 | #Constraints: 22563
264.81/265.60 c #Conflicts: 325000 | #Constraints: 23565
264.81/265.60 c #Conflicts: 326000 | #Constraints: 24566
264.81/265.60 c #Conflicts: 327000 | #Constraints: 25568
264.81/265.60 c #Conflicts: 328000 | #Constraints: 26570
264.81/265.60 c #Conflicts: 329000 | #Constraints: 27570
264.81/265.60 c #Conflicts: 330000 | #Constraints: 28572
264.81/265.60 c #Conflicts: 331000 | #Constraints: 29572
264.81/265.60 c #Conflicts: 332000 | #Constraints: 30572
264.81/265.60 c #Conflicts: 333000 | #Constraints: 31572
264.81/265.60 c INPROCESSING
264.81/265.60 c GARBAGE COLLECT
264.81/265.60 c rational objective 3
275.59/276.45 c #Conflicts: 334000 | #Constraints: 21169
275.59/276.45 c #Conflicts: 335000 | #Constraints: 22172
275.59/276.45 c #Conflicts: 336000 | #Constraints: 23174
275.59/276.45 c #Conflicts: 337000 | #Constraints: 24176
275.59/276.45 c #Conflicts: 338000 | #Constraints: 25176
275.59/276.45 c #Conflicts: 339000 | #Constraints: 26176
275.59/276.45 c #Conflicts: 340000 | #Constraints: 27177
275.59/276.45 c #Conflicts: 341000 | #Constraints: 28177
275.59/276.45 c #Conflicts: 342000 | #Constraints: 29181
275.59/276.45 c #Conflicts: 343000 | #Constraints: 30182
275.59/276.45 c #Conflicts: 344000 | #Constraints: 31182
275.59/276.45 c #Conflicts: 345000 | #Constraints: 32183
275.59/276.45 c INPROCESSING
275.59/276.45 c GARBAGE COLLECT
275.59/276.45 c rational objective 3
288.65/289.51 c #Conflicts: 346000 | #Constraints: 21566
288.65/289.51 c #Conflicts: 347000 | #Constraints: 22566
288.65/289.51 c #Conflicts: 348000 | #Constraints: 23566
288.65/289.51 c #Conflicts: 349000 | #Constraints: 24566
288.65/289.51 c #Conflicts: 350000 | #Constraints: 25566
288.65/289.51 c #Conflicts: 351000 | #Constraints: 26567
288.65/289.51 c #Conflicts: 352000 | #Constraints: 27569
288.65/289.51 c #Conflicts: 353000 | #Constraints: 28571
288.65/289.51 c #Conflicts: 354000 | #Constraints: 29571
288.65/289.51 c #Conflicts: 355000 | #Constraints: 30572
288.65/289.51 c #Conflicts: 356000 | #Constraints: 31572
288.65/289.51 c #Conflicts: 357000 | #Constraints: 32572
288.65/289.51 c INPROCESSING
288.65/289.51 c GARBAGE COLLECT
288.65/289.51 c rational objective 3
300.52/301.49 c #Conflicts: 358000 | #Constraints: 21752
300.52/301.49 c #Conflicts: 359000 | #Constraints: 22752
300.52/301.49 c #Conflicts: 360000 | #Constraints: 23753
300.52/301.49 c #Conflicts: 361000 | #Constraints: 24756
300.52/301.49 c #Conflicts: 362000 | #Constraints: 25758
300.52/301.49 c #Conflicts: 363000 | #Constraints: 26759
300.52/301.49 c #Conflicts: 364000 | #Constraints: 27761
300.52/301.49 c #Conflicts: 365000 | #Constraints: 28763
300.52/301.49 c #Conflicts: 366000 | #Constraints: 29765
300.52/301.49 c #Conflicts: 367000 | #Constraints: 30765
300.52/301.49 c #Conflicts: 368000 | #Constraints: 31767
300.52/301.49 c #Conflicts: 369000 | #Constraints: 32768
300.52/301.49 c INPROCESSING
300.52/301.49 c GARBAGE COLLECT
300.52/301.49 c rational objective 3
315.28/316.24 c #Conflicts: 370000 | #Constraints: 21763
315.28/316.24 c #Conflicts: 371000 | #Constraints: 22763
315.28/316.24 c #Conflicts: 372000 | #Constraints: 23763
315.28/316.24 c #Conflicts: 373000 | #Constraints: 24764
315.28/316.24 c #Conflicts: 374000 | #Constraints: 25764
315.28/316.24 c #Conflicts: 375000 | #Constraints: 26764
315.28/316.24 c #Conflicts: 376000 | #Constraints: 27765
315.28/316.24 c #Conflicts: 377000 | #Constraints: 28765
315.28/316.24 c #Conflicts: 378000 | #Constraints: 29765
315.28/316.24 c #Conflicts: 379000 | #Constraints: 30766
315.28/316.24 c #Conflicts: 380000 | #Constraints: 31766
315.28/316.24 c #Conflicts: 381000 | #Constraints: 32766
315.28/316.24 c INPROCESSING
315.28/316.24 c GARBAGE COLLECT
315.28/316.24 c rational objective 3
326.16/327.19 c #Conflicts: 382000 | #Constraints: 21539
326.16/327.19 c #Conflicts: 383000 | #Constraints: 22539
326.16/327.19 c #Conflicts: 384000 | #Constraints: 23539
326.16/327.19 c #Conflicts: 385000 | #Constraints: 24539
326.16/327.19 c #Conflicts: 386000 | #Constraints: 25539
326.16/327.19 c #Conflicts: 387000 | #Constraints: 26539
326.16/327.19 c #Conflicts: 388000 | #Constraints: 27539
326.16/327.19 c #Conflicts: 389000 | #Constraints: 28539
326.16/327.19 c #Conflicts: 390000 | #Constraints: 29539
326.16/327.19 c #Conflicts: 391000 | #Constraints: 30539
326.16/327.19 c #Conflicts: 392000 | #Constraints: 31540
326.16/327.19 c #Conflicts: 393000 | #Constraints: 32541
326.16/327.19 c #Conflicts: 394000 | #Constraints: 33545
326.16/327.19 c INPROCESSING
326.16/327.19 c GARBAGE COLLECT
326.16/327.19 c rational objective 3
341.72/342.79 c #Conflicts: 395000 | #Constraints: 22098
341.72/342.79 c #Conflicts: 396000 | #Constraints: 23098
341.72/342.79 c #Conflicts: 397000 | #Constraints: 24101
341.72/342.79 c #Conflicts: 398000 | #Constraints: 25103
341.72/342.79 c #Conflicts: 399000 | #Constraints: 26107
341.72/342.79 c #Conflicts: 400000 | #Constraints: 27108
341.72/342.79 c #Conflicts: 401000 | #Constraints: 28110
341.72/342.79 c #Conflicts: 402000 | #Constraints: 29111
341.72/342.79 c #Conflicts: 403000 | #Constraints: 30113
341.72/342.79 c #Conflicts: 404000 | #Constraints: 31114
341.72/342.79 c #Conflicts: 405000 | #Constraints: 32114
341.72/342.79 c #Conflicts: 406000 | #Constraints: 33115
341.72/342.79 c #Conflicts: 407000 | #Constraints: 34117
341.72/342.79 c INPROCESSING
341.72/342.79 c GARBAGE COLLECT
341.72/342.79 c rational objective 3
357.47/358.53 c #Conflicts: 408000 | #Constraints: 22494
357.47/358.53 c #Conflicts: 409000 | #Constraints: 23494
357.47/358.53 c #Conflicts: 410000 | #Constraints: 24495
357.47/358.53 c #Conflicts: 411000 | #Constraints: 25495
357.47/358.53 c #Conflicts: 412000 | #Constraints: 26496
357.47/358.53 c #Conflicts: 413000 | #Constraints: 27497
357.47/358.53 c #Conflicts: 414000 | #Constraints: 28497
357.47/358.53 c #Conflicts: 415000 | #Constraints: 29497
357.47/358.53 c #Conflicts: 416000 | #Constraints: 30498
357.47/358.53 c #Conflicts: 417000 | #Constraints: 31499
357.47/358.53 c #Conflicts: 418000 | #Constraints: 32500
357.47/358.53 c #Conflicts: 419000 | #Constraints: 33500
357.47/358.53 c #Conflicts: 420000 | #Constraints: 34500
357.47/358.53 c INPROCESSING
357.47/358.53 c GARBAGE COLLECT
357.47/358.53 c rational objective 3
374.83/375.91 c #Conflicts: 421000 | #Constraints: 22683
374.83/375.91 c #Conflicts: 422000 | #Constraints: 23683
374.83/375.91 c #Conflicts: 423000 | #Constraints: 24684
374.83/375.91 c #Conflicts: 424000 | #Constraints: 25685
374.83/375.91 c #Conflicts: 425000 | #Constraints: 26686
374.83/375.91 c #Conflicts: 426000 | #Constraints: 27687
374.83/375.91 c #Conflicts: 427000 | #Constraints: 28688
374.83/375.91 c #Conflicts: 428000 | #Constraints: 29689
374.83/375.91 c #Conflicts: 429000 | #Constraints: 30690
374.83/375.91 c #Conflicts: 430000 | #Constraints: 31691
374.83/375.91 c #Conflicts: 431000 | #Constraints: 32692
374.83/375.91 c #Conflicts: 432000 | #Constraints: 33693
374.83/375.91 c #Conflicts: 433000 | #Constraints: 34697
374.83/375.91 c INPROCESSING
374.83/375.91 c GARBAGE COLLECT
374.83/375.91 c rational objective 3
390.59/391.71 c #Conflicts: 434000 | #Constraints: 22626
390.59/391.71 c #Conflicts: 435000 | #Constraints: 23627
390.59/391.71 c #Conflicts: 436000 | #Constraints: 24630
390.59/391.71 c #Conflicts: 437000 | #Constraints: 25630
390.59/391.71 c #Conflicts: 438000 | #Constraints: 26631
390.59/391.71 c #Conflicts: 439000 | #Constraints: 27631
390.59/391.71 c #Conflicts: 440000 | #Constraints: 28631
390.59/391.71 c #Conflicts: 441000 | #Constraints: 29632
390.59/391.71 c #Conflicts: 442000 | #Constraints: 30632
390.59/391.71 c #Conflicts: 443000 | #Constraints: 31633
390.59/391.71 c #Conflicts: 444000 | #Constraints: 32634
390.59/391.71 c #Conflicts: 445000 | #Constraints: 33635
390.59/391.71 c #Conflicts: 446000 | #Constraints: 34636
390.59/391.71 c INPROCESSING
390.59/391.71 c GARBAGE COLLECT
390.59/391.71 c rational objective 3
406.14/407.35 c #Conflicts: 447000 | #Constraints: 22354
406.14/407.35 c #Conflicts: 448000 | #Constraints: 23354
406.14/407.35 c #Conflicts: 449000 | #Constraints: 24355
406.14/407.35 c #Conflicts: 450000 | #Constraints: 25355
406.14/407.35 c #Conflicts: 451000 | #Constraints: 26356
406.14/407.35 c #Conflicts: 452000 | #Constraints: 27358
406.14/407.35 c #Conflicts: 453000 | #Constraints: 28359
406.14/407.35 c #Conflicts: 454000 | #Constraints: 29359
406.14/407.35 c #Conflicts: 455000 | #Constraints: 30361
406.14/407.35 c #Conflicts: 456000 | #Constraints: 31362
406.14/407.35 c #Conflicts: 457000 | #Constraints: 32364
406.14/407.35 c #Conflicts: 458000 | #Constraints: 33364
406.14/407.35 c #Conflicts: 459000 | #Constraints: 34365
406.14/407.35 c #Conflicts: 460000 | #Constraints: 35365
406.14/407.35 c INPROCESSING
406.14/407.35 c GARBAGE COLLECT
406.14/407.35 c rational objective 3
421.82/423.10 c #Conflicts: 461000 | #Constraints: 22956
421.82/423.10 c #Conflicts: 462000 | #Constraints: 23956
421.82/423.10 c #Conflicts: 463000 | #Constraints: 24958
421.82/423.10 c #Conflicts: 464000 | #Constraints: 25958
421.82/423.10 c #Conflicts: 465000 | #Constraints: 26958
421.82/423.10 c #Conflicts: 466000 | #Constraints: 27960
421.82/423.10 c #Conflicts: 467000 | #Constraints: 28961
421.82/423.10 c #Conflicts: 468000 | #Constraints: 29964
421.82/423.10 c #Conflicts: 469000 | #Constraints: 30965
421.82/423.10 c #Conflicts: 470000 | #Constraints: 31965
421.82/423.10 c #Conflicts: 471000 | #Constraints: 32967
421.82/423.10 c #Conflicts: 472000 | #Constraints: 33967
421.82/423.10 c #Conflicts: 473000 | #Constraints: 34967
421.82/423.10 c #Conflicts: 474000 | #Constraints: 35969
421.82/423.10 c INPROCESSING
421.82/423.10 c GARBAGE COLLECT
421.82/423.10 c rational objective 3
437.06/438.34 c #Conflicts: 475000 | #Constraints: 23366
437.06/438.34 c #Conflicts: 476000 | #Constraints: 24366
437.06/438.34 c #Conflicts: 477000 | #Constraints: 25366
437.06/438.34 c #Conflicts: 478000 | #Constraints: 26367
437.06/438.34 c #Conflicts: 479000 | #Constraints: 27368
437.06/438.34 c #Conflicts: 480000 | #Constraints: 28370
437.06/438.34 c #Conflicts: 481000 | #Constraints: 29371
437.06/438.34 c #Conflicts: 482000 | #Constraints: 30372
437.06/438.34 c #Conflicts: 483000 | #Constraints: 31373
437.06/438.34 c #Conflicts: 484000 | #Constraints: 32373
437.06/438.34 c #Conflicts: 485000 | #Constraints: 33373
437.06/438.34 c #Conflicts: 486000 | #Constraints: 34374
437.06/438.34 c #Conflicts: 487000 | #Constraints: 35375
437.06/438.34 c #Conflicts: 488000 | #Constraints: 36375
437.06/438.34 c INPROCESSING
437.06/438.34 c GARBAGE COLLECT
437.06/438.34 c rational objective 3
449.33/450.64 c #Conflicts: 489000 | #Constraints: 23525
449.33/450.64 c #Conflicts: 490000 | #Constraints: 24525
449.33/450.64 c #Conflicts: 491000 | #Constraints: 25525
449.33/450.64 c #Conflicts: 492000 | #Constraints: 26526
449.33/450.64 c #Conflicts: 493000 | #Constraints: 27527
449.33/450.64 c #Conflicts: 494000 | #Constraints: 28527
449.33/450.64 c #Conflicts: 495000 | #Constraints: 29528
449.33/450.64 c #Conflicts: 496000 | #Constraints: 30528
449.33/450.64 c #Conflicts: 497000 | #Constraints: 31528
449.33/450.64 c #Conflicts: 498000 | #Constraints: 32529
449.33/450.64 c #Conflicts: 499000 | #Constraints: 33529
449.33/450.64 c #Conflicts: 500000 | #Constraints: 34529
449.33/450.64 c #Conflicts: 501000 | #Constraints: 35531
449.33/450.64 c #Conflicts: 502000 | #Constraints: 36531
449.33/450.64 c INPROCESSING
449.33/450.64 c GARBAGE COLLECT
449.33/450.64 c rational objective 3
466.19/467.57 c #Conflicts: 503000 | #Constraints: 23516
466.19/467.57 c #Conflicts: 504000 | #Constraints: 24517
466.19/467.57 c #Conflicts: 505000 | #Constraints: 25520
466.19/467.57 c #Conflicts: 506000 | #Constraints: 26521
466.19/467.57 c #Conflicts: 507000 | #Constraints: 27522
466.19/467.57 c #Conflicts: 508000 | #Constraints: 28525
466.19/467.57 c #Conflicts: 509000 | #Constraints: 29529
466.19/467.57 c #Conflicts: 510000 | #Constraints: 30532
466.19/467.57 c #Conflicts: 511000 | #Constraints: 31533
466.19/467.57 c #Conflicts: 512000 | #Constraints: 32535
466.19/467.57 c #Conflicts: 513000 | #Constraints: 33536
466.19/467.57 c #Conflicts: 514000 | #Constraints: 34537
466.19/467.57 c #Conflicts: 515000 | #Constraints: 35537
466.19/467.57 c #Conflicts: 516000 | #Constraints: 36538
466.19/467.57 c INPROCESSING
466.19/467.57 c GARBAGE COLLECT
466.19/467.57 c rational objective 3
483.16/484.57 c #Conflicts: 517000 | #Constraints: 23329
483.16/484.57 c #Conflicts: 518000 | #Constraints: 24329
483.16/484.57 c #Conflicts: 519000 | #Constraints: 25330
483.16/484.57 c #Conflicts: 520000 | #Constraints: 26330
483.16/484.57 c #Conflicts: 521000 | #Constraints: 27330
483.16/484.57 c #Conflicts: 522000 | #Constraints: 28331
483.16/484.57 c #Conflicts: 523000 | #Constraints: 29334
483.16/484.57 c #Conflicts: 524000 | #Constraints: 30335
483.16/484.57 c #Conflicts: 525000 | #Constraints: 31335
483.16/484.57 c #Conflicts: 526000 | #Constraints: 32336
483.16/484.57 c #Conflicts: 527000 | #Constraints: 33336
483.16/484.57 c #Conflicts: 528000 | #Constraints: 34337
483.16/484.57 c #Conflicts: 529000 | #Constraints: 35337
483.16/484.57 c #Conflicts: 530000 | #Constraints: 36338
483.16/484.57 c #Conflicts: 531000 | #Constraints: 37338
483.16/484.57 c INPROCESSING
483.16/484.57 c GARBAGE COLLECT
483.16/484.57 c rational objective 3
502.00/503.46 c #Conflicts: 532000 | #Constraints: 23927
502.00/503.46 c #Conflicts: 533000 | #Constraints: 24927
502.00/503.46 c #Conflicts: 534000 | #Constraints: 25928
502.00/503.46 c #Conflicts: 535000 | #Constraints: 26928
502.00/503.46 c #Conflicts: 536000 | #Constraints: 27930
502.00/503.46 c #Conflicts: 537000 | #Constraints: 28933
502.00/503.46 c #Conflicts: 538000 | #Constraints: 29933
502.00/503.46 c #Conflicts: 539000 | #Constraints: 30933
502.00/503.46 c #Conflicts: 540000 | #Constraints: 31933
502.00/503.46 c #Conflicts: 541000 | #Constraints: 32933
502.00/503.46 c #Conflicts: 542000 | #Constraints: 33934
502.00/503.46 c #Conflicts: 543000 | #Constraints: 34936
502.00/503.46 c #Conflicts: 544000 | #Constraints: 35936
502.00/503.46 c #Conflicts: 545000 | #Constraints: 36936
502.00/503.46 c #Conflicts: 546000 | #Constraints: 37936
502.00/503.46 c INPROCESSING
502.00/503.46 c GARBAGE COLLECT
502.00/503.46 c rational objective 3
520.85/522.33 c #Conflicts: 547000 | #Constraints: 24319
520.85/522.33 c #Conflicts: 548000 | #Constraints: 25321
520.85/522.33 c #Conflicts: 549000 | #Constraints: 26321
520.85/522.33 c #Conflicts: 550000 | #Constraints: 27322
520.85/522.33 c #Conflicts: 551000 | #Constraints: 28322
520.85/522.33 c #Conflicts: 552000 | #Constraints: 29323
520.85/522.33 c #Conflicts: 553000 | #Constraints: 30324
520.85/522.33 c #Conflicts: 554000 | #Constraints: 31324
520.85/522.33 c #Conflicts: 555000 | #Constraints: 32324
520.85/522.33 c #Conflicts: 556000 | #Constraints: 33324
520.85/522.33 c #Conflicts: 557000 | #Constraints: 34325
520.85/522.33 c #Conflicts: 558000 | #Constraints: 35328
520.85/522.33 c #Conflicts: 559000 | #Constraints: 36328
520.85/522.33 c #Conflicts: 560000 | #Constraints: 37329
520.85/522.33 c #Conflicts: 561000 | #Constraints: 38330
520.85/522.33 c INPROCESSING
520.85/522.33 c GARBAGE COLLECT
520.85/522.33 c rational objective 3
539.40/540.94 c #Conflicts: 562000 | #Constraints: 24512
539.40/540.94 c #Conflicts: 563000 | #Constraints: 25512
539.40/540.94 c #Conflicts: 564000 | #Constraints: 26515
539.40/540.94 c #Conflicts: 565000 | #Constraints: 27516
539.40/540.94 c #Conflicts: 566000 | #Constraints: 28517
539.40/540.94 c #Conflicts: 567000 | #Constraints: 29517
539.40/540.94 c #Conflicts: 568000 | #Constraints: 30519
539.40/540.94 c #Conflicts: 569000 | #Constraints: 31521
539.40/540.94 c #Conflicts: 570000 | #Constraints: 32521
539.40/540.94 c #Conflicts: 571000 | #Constraints: 33524
539.40/540.94 c #Conflicts: 572000 | #Constraints: 34524
539.40/540.94 c #Conflicts: 573000 | #Constraints: 35526
539.40/540.94 c #Conflicts: 574000 | #Constraints: 36528
539.40/540.94 c #Conflicts: 575000 | #Constraints: 37529
539.40/540.94 c #Conflicts: 576000 | #Constraints: 38531
539.40/540.94 c INPROCESSING
539.40/540.94 c GARBAGE COLLECT
539.40/540.94 c rational objective 3
557.25/558.80 c #Conflicts: 577000 | #Constraints: 24537
557.25/558.80 c #Conflicts: 578000 | #Constraints: 25537
557.25/558.80 c #Conflicts: 579000 | #Constraints: 26538
557.25/558.80 c #Conflicts: 580000 | #Constraints: 27541
557.25/558.80 c #Conflicts: 581000 | #Constraints: 28544
557.25/558.80 c #Conflicts: 582000 | #Constraints: 29544
557.25/558.80 c #Conflicts: 583000 | #Constraints: 30545
557.25/558.80 c #Conflicts: 584000 | #Constraints: 31547
557.25/558.80 c #Conflicts: 585000 | #Constraints: 32547
557.25/558.80 c #Conflicts: 586000 | #Constraints: 33547
557.25/558.80 c #Conflicts: 587000 | #Constraints: 34548
557.25/558.80 c #Conflicts: 588000 | #Constraints: 35549
557.25/558.80 c #Conflicts: 589000 | #Constraints: 36549
557.25/558.80 c #Conflicts: 590000 | #Constraints: 37551
557.25/558.80 c #Conflicts: 591000 | #Constraints: 38551
557.25/558.80 c INPROCESSING
557.25/558.80 c GARBAGE COLLECT
557.25/558.80 c rational objective 3
581.59/583.23 c #Conflicts: 592000 | #Constraints: 24323
581.59/583.23 c #Conflicts: 593000 | #Constraints: 25323
581.59/583.23 c #Conflicts: 594000 | #Constraints: 26323
581.59/583.23 c #Conflicts: 595000 | #Constraints: 27323
581.59/583.23 c #Conflicts: 596000 | #Constraints: 28323
581.59/583.23 c #Conflicts: 597000 | #Constraints: 29323
581.59/583.23 c #Conflicts: 598000 | #Constraints: 30323
581.59/583.23 c #Conflicts: 599000 | #Constraints: 31324
581.59/583.23 c #Conflicts: 600000 | #Constraints: 32325
581.59/583.23 c #Conflicts: 601000 | #Constraints: 33325
581.59/583.23 c #Conflicts: 602000 | #Constraints: 34325
581.59/583.23 c #Conflicts: 603000 | #Constraints: 35325
581.59/583.23 c #Conflicts: 604000 | #Constraints: 36326
581.59/583.23 c #Conflicts: 605000 | #Constraints: 37327
581.59/583.23 c #Conflicts: 606000 | #Constraints: 38328
581.59/583.23 c #Conflicts: 607000 | #Constraints: 39329
581.59/583.23 c INPROCESSING
581.59/583.23 c GARBAGE COLLECT
581.59/583.23 c rational objective 3
600.55/602.22 c #Conflicts: 608000 | #Constraints: 24888
600.55/602.22 c #Conflicts: 609000 | #Constraints: 25889
600.55/602.22 c #Conflicts: 610000 | #Constraints: 26889
600.55/602.22 c #Conflicts: 611000 | #Constraints: 27890
600.55/602.22 c #Conflicts: 612000 | #Constraints: 28892
600.55/602.22 c #Conflicts: 613000 | #Constraints: 29896
600.55/602.22 c #Conflicts: 614000 | #Constraints: 30896
600.55/602.22 c #Conflicts: 615000 | #Constraints: 31896
600.55/602.22 c #Conflicts: 616000 | #Constraints: 32896
600.55/602.22 c #Conflicts: 617000 | #Constraints: 33896
600.55/602.22 c #Conflicts: 618000 | #Constraints: 34896
600.55/602.22 c #Conflicts: 619000 | #Constraints: 35896
600.55/602.22 c #Conflicts: 620000 | #Constraints: 36896
600.55/602.22 c #Conflicts: 621000 | #Constraints: 37896
600.55/602.22 c #Conflicts: 622000 | #Constraints: 38896
600.55/602.22 c #Conflicts: 623000 | #Constraints: 39896
600.55/602.22 c INPROCESSING
600.55/602.22 c GARBAGE COLLECT
600.55/602.22 c rational objective 3
620.69/622.48 c #Conflicts: 624000 | #Constraints: 25282
620.69/622.48 c #Conflicts: 625000 | #Constraints: 26282
620.69/622.48 c #Conflicts: 626000 | #Constraints: 27282
620.69/622.48 c #Conflicts: 627000 | #Constraints: 28283
620.69/622.48 c #Conflicts: 628000 | #Constraints: 29283
620.69/622.48 c #Conflicts: 629000 | #Constraints: 30284
620.69/622.48 c #Conflicts: 630000 | #Constraints: 31284
620.69/622.48 c #Conflicts: 631000 | #Constraints: 32284
620.69/622.48 c #Conflicts: 632000 | #Constraints: 33285
620.69/622.48 c #Conflicts: 633000 | #Constraints: 34287
620.69/622.48 c #Conflicts: 634000 | #Constraints: 35287
620.69/622.48 c #Conflicts: 635000 | #Constraints: 36287
620.69/622.48 c #Conflicts: 636000 | #Constraints: 37288
620.69/622.48 c #Conflicts: 637000 | #Constraints: 38288
620.69/622.48 c #Conflicts: 638000 | #Constraints: 39288
620.69/622.48 c #Conflicts: 639000 | #Constraints: 40288
620.69/622.48 c INPROCESSING
620.69/622.48 c GARBAGE COLLECT
620.69/622.48 c rational objective 3
642.83/644.68 c #Conflicts: 640000 | #Constraints: 25481
642.83/644.68 c #Conflicts: 641000 | #Constraints: 26481
642.83/644.68 c #Conflicts: 642000 | #Constraints: 27484
642.83/644.68 c #Conflicts: 643000 | #Constraints: 28484
642.83/644.68 c #Conflicts: 644000 | #Constraints: 29485
642.83/644.68 c #Conflicts: 645000 | #Constraints: 30486
642.83/644.68 c #Conflicts: 646000 | #Constraints: 31487
642.83/644.68 c #Conflicts: 647000 | #Constraints: 32487
642.83/644.68 c #Conflicts: 648000 | #Constraints: 33489
642.83/644.68 c #Conflicts: 649000 | #Constraints: 34490
642.83/644.68 c #Conflicts: 650000 | #Constraints: 35492
642.83/644.68 c #Conflicts: 651000 | #Constraints: 36493
642.83/644.68 c #Conflicts: 652000 | #Constraints: 37495
642.83/644.68 c #Conflicts: 653000 | #Constraints: 38498
642.83/644.68 c #Conflicts: 654000 | #Constraints: 39499
642.83/644.68 c #Conflicts: 655000 | #Constraints: 40501
642.83/644.68 c INPROCESSING
642.83/644.68 c GARBAGE COLLECT
642.83/644.68 c rational objective 3
662.38/664.26 c #Conflicts: 656000 | #Constraints: 25490
662.38/664.26 c #Conflicts: 657000 | #Constraints: 26490
662.38/664.26 c #Conflicts: 658000 | #Constraints: 27491
662.38/664.26 c #Conflicts: 659000 | #Constraints: 28492
662.38/664.26 c #Conflicts: 660000 | #Constraints: 29493
662.38/664.26 c #Conflicts: 661000 | #Constraints: 30494
662.38/664.26 c #Conflicts: 662000 | #Constraints: 31496
662.38/664.26 c #Conflicts: 663000 | #Constraints: 32497
662.38/664.26 c #Conflicts: 664000 | #Constraints: 33499
662.38/664.26 c #Conflicts: 665000 | #Constraints: 34501
662.38/664.26 c #Conflicts: 666000 | #Constraints: 35502
662.38/664.26 c #Conflicts: 667000 | #Constraints: 36504
662.38/664.26 c #Conflicts: 668000 | #Constraints: 37505
662.38/664.26 c #Conflicts: 669000 | #Constraints: 38505
662.38/664.26 c #Conflicts: 670000 | #Constraints: 39507
662.38/664.26 c #Conflicts: 671000 | #Constraints: 40508
662.38/664.26 c INPROCESSING
662.38/664.26 c GARBAGE COLLECT
662.38/664.26 c rational objective 3
685.32/687.21 c #Conflicts: 672000 | #Constraints: 25269
685.32/687.21 c #Conflicts: 673000 | #Constraints: 26269
685.32/687.21 c #Conflicts: 674000 | #Constraints: 27273
685.32/687.21 c #Conflicts: 675000 | #Constraints: 28273
685.32/687.21 c #Conflicts: 676000 | #Constraints: 29273
685.32/687.21 c #Conflicts: 677000 | #Constraints: 30273
685.32/687.21 c #Conflicts: 678000 | #Constraints: 31274
685.32/687.21 c #Conflicts: 679000 | #Constraints: 32274
685.32/687.21 c #Conflicts: 680000 | #Constraints: 33275
685.32/687.21 c #Conflicts: 681000 | #Constraints: 34275
685.32/687.21 c #Conflicts: 682000 | #Constraints: 35276
685.32/687.21 c #Conflicts: 683000 | #Constraints: 36276
685.32/687.21 c #Conflicts: 684000 | #Constraints: 37276
685.32/687.21 c #Conflicts: 685000 | #Constraints: 38276
685.32/687.21 c #Conflicts: 686000 | #Constraints: 39277
685.32/687.21 c #Conflicts: 687000 | #Constraints: 40278
685.32/687.21 c #Conflicts: 688000 | #Constraints: 41279
685.32/687.21 c INPROCESSING
685.32/687.21 c GARBAGE COLLECT
685.32/687.21 c rational objective 3
709.45/711.43 c #Conflicts: 689000 | #Constraints: 25840
709.45/711.43 c #Conflicts: 690000 | #Constraints: 26840
709.45/711.43 c #Conflicts: 691000 | #Constraints: 27841
709.45/711.43 c #Conflicts: 692000 | #Constraints: 28842
709.45/711.43 c #Conflicts: 693000 | #Constraints: 29843
709.45/711.43 c #Conflicts: 694000 | #Constraints: 30844
709.45/711.43 c #Conflicts: 695000 | #Constraints: 31847
709.45/711.43 c #Conflicts: 696000 | #Constraints: 32850
709.45/711.43 c #Conflicts: 697000 | #Constraints: 33853
709.45/711.43 c #Conflicts: 698000 | #Constraints: 34857
709.45/711.43 c #Conflicts: 699000 | #Constraints: 35859
709.45/711.43 c #Conflicts: 700000 | #Constraints: 36860
709.45/711.43 c #Conflicts: 701000 | #Constraints: 37863
709.45/711.43 c #Conflicts: 702000 | #Constraints: 38866
709.45/711.43 c #Conflicts: 703000 | #Constraints: 39870
709.45/711.43 c #Conflicts: 704000 | #Constraints: 40871
709.45/711.43 c #Conflicts: 705000 | #Constraints: 41872
709.45/711.43 c INPROCESSING
709.45/711.43 c GARBAGE COLLECT
709.45/711.43 c rational objective 3
732.11/734.19 c #Conflicts: 706000 | #Constraints: 26193
732.11/734.19 c #Conflicts: 707000 | #Constraints: 27198
732.11/734.19 c #Conflicts: 708000 | #Constraints: 28201
732.11/734.19 c #Conflicts: 709000 | #Constraints: 29202
732.11/734.19 c #Conflicts: 710000 | #Constraints: 30203
732.11/734.19 c #Conflicts: 711000 | #Constraints: 31206
732.11/734.19 c #Conflicts: 712000 | #Constraints: 32208
732.11/734.19 c #Conflicts: 713000 | #Constraints: 33210
732.11/734.19 c #Conflicts: 714000 | #Constraints: 34210
732.11/734.19 c #Conflicts: 715000 | #Constraints: 35212
732.11/734.19 c #Conflicts: 716000 | #Constraints: 36215
732.11/734.19 c #Conflicts: 717000 | #Constraints: 37220
732.11/734.19 c #Conflicts: 718000 | #Constraints: 38221
732.11/734.19 c #Conflicts: 719000 | #Constraints: 39222
732.11/734.19 c #Conflicts: 720000 | #Constraints: 40222
732.11/734.19 c #Conflicts: 721000 | #Constraints: 41223
732.11/734.19 c #Conflicts: 722000 | #Constraints: 42224
732.11/734.19 c INPROCESSING
732.11/734.19 c GARBAGE COLLECT
732.11/734.19 c rational objective 3
754.95/757.08 c #Conflicts: 723000 | #Constraints: 26386
754.95/757.08 c #Conflicts: 724000 | #Constraints: 27386
754.95/757.08 c #Conflicts: 725000 | #Constraints: 28388
754.95/757.08 c #Conflicts: 726000 | #Constraints: 29389
754.95/757.08 c #Conflicts: 727000 | #Constraints: 30390
754.95/757.08 c #Conflicts: 728000 | #Constraints: 31390
754.95/757.08 c #Conflicts: 729000 | #Constraints: 32390
754.95/757.08 c #Conflicts: 730000 | #Constraints: 33392
754.95/757.08 c #Conflicts: 731000 | #Constraints: 34393
754.95/757.08 c #Conflicts: 732000 | #Constraints: 35393
754.95/757.08 c #Conflicts: 733000 | #Constraints: 36393
754.95/757.08 c #Conflicts: 734000 | #Constraints: 37393
754.95/757.08 c #Conflicts: 735000 | #Constraints: 38394
754.95/757.08 c #Conflicts: 736000 | #Constraints: 39394
754.95/757.08 c #Conflicts: 737000 | #Constraints: 40394
754.95/757.08 c #Conflicts: 738000 | #Constraints: 41395
754.95/757.08 c #Conflicts: 739000 | #Constraints: 42395
754.95/757.08 c INPROCESSING
754.95/757.08 c GARBAGE COLLECT
754.95/757.08 c rational objective 3
779.99/782.13 c #Conflicts: 740000 | #Constraints: 26360
779.99/782.13 c #Conflicts: 741000 | #Constraints: 27360
779.99/782.13 c #Conflicts: 742000 | #Constraints: 28360
779.99/782.13 c #Conflicts: 743000 | #Constraints: 29361
779.99/782.13 c #Conflicts: 744000 | #Constraints: 30361
779.99/782.13 c #Conflicts: 745000 | #Constraints: 31362
779.99/782.13 c #Conflicts: 746000 | #Constraints: 32363
779.99/782.13 c #Conflicts: 747000 | #Constraints: 33365
779.99/782.13 c #Conflicts: 748000 | #Constraints: 34368
779.99/782.13 c #Conflicts: 749000 | #Constraints: 35368
779.99/782.13 c #Conflicts: 750000 | #Constraints: 36372
779.99/782.13 c #Conflicts: 751000 | #Constraints: 37373
779.99/782.13 c #Conflicts: 752000 | #Constraints: 38377
779.99/782.13 c #Conflicts: 753000 | #Constraints: 39379
779.99/782.13 c #Conflicts: 754000 | #Constraints: 40381
779.99/782.13 c #Conflicts: 755000 | #Constraints: 41383
779.99/782.13 c #Conflicts: 756000 | #Constraints: 42383
779.99/782.13 c INPROCESSING
779.99/782.13 c GARBAGE COLLECT
779.99/782.13 c rational objective 3
800.83/803.01 c #Conflicts: 757000 | #Constraints: 26110
800.83/803.01 c #Conflicts: 758000 | #Constraints: 27110
800.83/803.01 c #Conflicts: 759000 | #Constraints: 28111
800.83/803.01 c #Conflicts: 760000 | #Constraints: 29111
800.83/803.01 c #Conflicts: 761000 | #Constraints: 30112
800.83/803.01 c #Conflicts: 762000 | #Constraints: 31112
800.83/803.01 c #Conflicts: 763000 | #Constraints: 32113
800.83/803.01 c #Conflicts: 764000 | #Constraints: 33113
800.83/803.01 c #Conflicts: 765000 | #Constraints: 34114
800.83/803.01 c #Conflicts: 766000 | #Constraints: 35114
800.83/803.01 c #Conflicts: 767000 | #Constraints: 36116
800.83/803.01 c #Conflicts: 768000 | #Constraints: 37117
800.83/803.01 c #Conflicts: 769000 | #Constraints: 38117
800.83/803.01 c #Conflicts: 770000 | #Constraints: 39117
800.83/803.01 c #Conflicts: 771000 | #Constraints: 40117
800.83/803.01 c #Conflicts: 772000 | #Constraints: 41117
800.83/803.01 c #Conflicts: 773000 | #Constraints: 42117
800.83/803.01 c #Conflicts: 774000 | #Constraints: 43118
800.83/803.01 c INPROCESSING
800.83/803.01 c GARBAGE COLLECT
800.83/803.01 c rational objective 3
823.56/825.88 c #Conflicts: 775000 | #Constraints: 26672
823.56/825.88 c #Conflicts: 776000 | #Constraints: 27672
823.56/825.88 c #Conflicts: 777000 | #Constraints: 28675
823.56/825.88 c #Conflicts: 778000 | #Constraints: 29676
823.56/825.88 c #Conflicts: 779000 | #Constraints: 30676
823.56/825.88 c #Conflicts: 780000 | #Constraints: 31676
823.56/825.88 c #Conflicts: 781000 | #Constraints: 32676
823.56/825.88 c #Conflicts: 782000 | #Constraints: 33676
823.56/825.88 c #Conflicts: 783000 | #Constraints: 34677
823.56/825.88 c #Conflicts: 784000 | #Constraints: 35679
823.56/825.88 c #Conflicts: 785000 | #Constraints: 36681
823.56/825.88 c #Conflicts: 786000 | #Constraints: 37682
823.56/825.88 c #Conflicts: 787000 | #Constraints: 38683
823.56/825.88 c #Conflicts: 788000 | #Constraints: 39684
823.56/825.88 c #Conflicts: 789000 | #Constraints: 40685
823.56/825.88 c #Conflicts: 790000 | #Constraints: 41685
823.56/825.88 c #Conflicts: 791000 | #Constraints: 42685
823.56/825.88 c #Conflicts: 792000 | #Constraints: 43685
823.56/825.88 c INPROCESSING
823.56/825.88 c GARBAGE COLLECT
823.56/825.88 c rational objective 3
849.30/851.65 c #Conflicts: 793000 | #Constraints: 27074
849.30/851.65 c #Conflicts: 794000 | #Constraints: 28074
849.30/851.65 c #Conflicts: 795000 | #Constraints: 29075
849.30/851.65 c #Conflicts: 796000 | #Constraints: 30079
849.30/851.65 c #Conflicts: 797000 | #Constraints: 31082
849.30/851.65 c #Conflicts: 798000 | #Constraints: 32084
849.30/851.65 c #Conflicts: 799000 | #Constraints: 33085
849.30/851.65 c #Conflicts: 800000 | #Constraints: 34087
849.30/851.65 c #Conflicts: 801000 | #Constraints: 35091
849.30/851.65 c #Conflicts: 802000 | #Constraints: 36093
849.30/851.65 c #Conflicts: 803000 | #Constraints: 37095
849.30/851.65 c #Conflicts: 804000 | #Constraints: 38095
849.30/851.65 c #Conflicts: 805000 | #Constraints: 39096
849.30/851.65 c #Conflicts: 806000 | #Constraints: 40096
849.30/851.65 c #Conflicts: 807000 | #Constraints: 41096
849.30/851.65 c #Conflicts: 808000 | #Constraints: 42096
849.30/851.65 c #Conflicts: 809000 | #Constraints: 43096
849.30/851.65 c #Conflicts: 810000 | #Constraints: 44098
849.30/851.65 c INPROCESSING
849.30/851.65 c GARBAGE COLLECT
849.30/851.65 c rational objective 3
872.05/874.42 c #Conflicts: 811000 | #Constraints: 27270
872.05/874.42 c #Conflicts: 812000 | #Constraints: 28270
872.05/874.42 c #Conflicts: 813000 | #Constraints: 29271
872.05/874.42 c #Conflicts: 814000 | #Constraints: 30271
872.05/874.42 c #Conflicts: 815000 | #Constraints: 31272
872.05/874.42 c #Conflicts: 816000 | #Constraints: 32273
872.05/874.42 c #Conflicts: 817000 | #Constraints: 33273
872.05/874.42 c #Conflicts: 818000 | #Constraints: 34274
872.05/874.42 c #Conflicts: 819000 | #Constraints: 35274
872.05/874.42 c #Conflicts: 820000 | #Constraints: 36274
872.05/874.42 c #Conflicts: 821000 | #Constraints: 37275
872.05/874.42 c #Conflicts: 822000 | #Constraints: 38275
872.05/874.42 c #Conflicts: 823000 | #Constraints: 39275
872.05/874.42 c #Conflicts: 824000 | #Constraints: 40275
872.05/874.42 c #Conflicts: 825000 | #Constraints: 41275
872.05/874.42 c #Conflicts: 826000 | #Constraints: 42276
872.05/874.42 c #Conflicts: 827000 | #Constraints: 43276
872.05/874.42 c #Conflicts: 828000 | #Constraints: 44276
872.05/874.42 c INPROCESSING
872.05/874.42 c GARBAGE COLLECT
872.05/874.42 c rational objective 3
895.08/897.58 c #Conflicts: 829000 | #Constraints: 27269
895.08/897.58 c #Conflicts: 830000 | #Constraints: 28269
895.08/897.58 c #Conflicts: 831000 | #Constraints: 29269
895.08/897.58 c #Conflicts: 832000 | #Constraints: 30270
895.08/897.58 c #Conflicts: 833000 | #Constraints: 31270
895.08/897.58 c #Conflicts: 834000 | #Constraints: 32271
895.08/897.58 c #Conflicts: 835000 | #Constraints: 33272
895.08/897.58 c #Conflicts: 836000 | #Constraints: 34272
895.08/897.58 c #Conflicts: 837000 | #Constraints: 35272
895.08/897.58 c #Conflicts: 838000 | #Constraints: 36273
895.08/897.58 c #Conflicts: 839000 | #Constraints: 37273
895.08/897.58 c #Conflicts: 840000 | #Constraints: 38273
895.08/897.58 c #Conflicts: 841000 | #Constraints: 39273
895.08/897.58 c #Conflicts: 842000 | #Constraints: 40275
895.08/897.58 c #Conflicts: 843000 | #Constraints: 41276
895.08/897.58 c #Conflicts: 844000 | #Constraints: 42276
895.08/897.58 c #Conflicts: 845000 | #Constraints: 43276
895.08/897.58 c #Conflicts: 846000 | #Constraints: 44276
895.08/897.58 c INPROCESSING
895.08/897.58 c GARBAGE COLLECT
895.08/897.58 c rational objective 3
925.01/927.51 c #Conflicts: 847000 | #Constraints: 27003
925.01/927.51 c #Conflicts: 848000 | #Constraints: 28003
925.01/927.51 c #Conflicts: 849000 | #Constraints: 29003
925.01/927.51 c #Conflicts: 850000 | #Constraints: 30006
925.01/927.51 c #Conflicts: 851000 | #Constraints: 31007
925.01/927.51 c #Conflicts: 852000 | #Constraints: 32008
925.01/927.51 c #Conflicts: 853000 | #Constraints: 33009
925.01/927.51 c #Conflicts: 854000 | #Constraints: 34012
925.01/927.51 c #Conflicts: 855000 | #Constraints: 35014
925.01/927.51 c #Conflicts: 856000 | #Constraints: 36014
925.01/927.51 c #Conflicts: 857000 | #Constraints: 37015
925.01/927.51 c #Conflicts: 858000 | #Constraints: 38017
925.01/927.51 c #Conflicts: 859000 | #Constraints: 39017
925.01/927.51 c #Conflicts: 860000 | #Constraints: 40017
925.01/927.51 c #Conflicts: 861000 | #Constraints: 41018
925.01/927.51 c #Conflicts: 862000 | #Constraints: 42018
925.01/927.51 c #Conflicts: 863000 | #Constraints: 43019
925.01/927.51 c #Conflicts: 864000 | #Constraints: 44019
925.01/927.51 c #Conflicts: 865000 | #Constraints: 45020
925.01/927.51 c INPROCESSING
925.01/927.51 c GARBAGE COLLECT
925.01/927.51 c rational objective 3
952.44/955.04 c #Conflicts: 866000 | #Constraints: 27600
952.44/955.04 c #Conflicts: 867000 | #Constraints: 28602
952.44/955.04 c #Conflicts: 868000 | #Constraints: 29605
952.44/955.04 c #Conflicts: 869000 | #Constraints: 30608
952.44/955.04 c #Conflicts: 870000 | #Constraints: 31609
952.44/955.04 c #Conflicts: 871000 | #Constraints: 32610
952.44/955.04 c #Conflicts: 872000 | #Constraints: 33610
952.44/955.04 c #Conflicts: 873000 | #Constraints: 34611
952.44/955.04 c #Conflicts: 874000 | #Constraints: 35613
952.44/955.04 c #Conflicts: 875000 | #Constraints: 36616
952.44/955.04 c #Conflicts: 876000 | #Constraints: 37617
952.44/955.04 c #Conflicts: 877000 | #Constraints: 38618
952.44/955.04 c #Conflicts: 878000 | #Constraints: 39620
952.44/955.04 c #Conflicts: 879000 | #Constraints: 40622
952.44/955.04 c #Conflicts: 880000 | #Constraints: 41623
952.44/955.04 c #Conflicts: 881000 | #Constraints: 42623
952.44/955.04 c #Conflicts: 882000 | #Constraints: 43623
952.44/955.04 c #Conflicts: 883000 | #Constraints: 44623
952.44/955.04 c #Conflicts: 884000 | #Constraints: 45623
952.44/955.04 c INPROCESSING
952.44/955.04 c GARBAGE COLLECT
952.44/955.04 c rational objective 3
978.28/980.93 c #Conflicts: 885000 | #Constraints: 27928
978.28/980.93 c #Conflicts: 886000 | #Constraints: 28928
978.28/980.93 c #Conflicts: 887000 | #Constraints: 29931
978.28/980.93 c #Conflicts: 888000 | #Constraints: 30933
978.28/980.93 c #Conflicts: 889000 | #Constraints: 31935
978.28/980.93 c #Conflicts: 890000 | #Constraints: 32935
978.28/980.93 c #Conflicts: 891000 | #Constraints: 33936
978.28/980.93 c #Conflicts: 892000 | #Constraints: 34939
978.28/980.93 c #Conflicts: 893000 | #Constraints: 35940
978.28/980.93 c #Conflicts: 894000 | #Constraints: 36941
978.28/980.93 c #Conflicts: 895000 | #Constraints: 37943
978.28/980.93 c #Conflicts: 896000 | #Constraints: 38944
978.28/980.93 c #Conflicts: 897000 | #Constraints: 39946
978.28/980.93 c #Conflicts: 898000 | #Constraints: 40947
978.28/980.93 c #Conflicts: 899000 | #Constraints: 41954
978.28/980.93 c #Conflicts: 900000 | #Constraints: 42955
978.28/980.93 c #Conflicts: 901000 | #Constraints: 43956
978.28/980.93 c #Conflicts: 902000 | #Constraints: 44957
978.28/980.93 c #Conflicts: 903000 | #Constraints: 45957
978.28/980.93 c INPROCESSING
978.28/980.93 c GARBAGE COLLECT
978.28/980.93 c rational objective 3
1008.40/1011.10 c #Conflicts: 904000 | #Constraints: 28125
1008.40/1011.10 c #Conflicts: 905000 | #Constraints: 29125
1008.40/1011.10 c #Conflicts: 906000 | #Constraints: 30125
1008.40/1011.10 c #Conflicts: 907000 | #Constraints: 31127
1008.40/1011.10 c #Conflicts: 908000 | #Constraints: 32127
1008.40/1011.10 c #Conflicts: 909000 | #Constraints: 33127
1008.40/1011.10 c #Conflicts: 910000 | #Constraints: 34128
1008.40/1011.10 c #Conflicts: 911000 | #Constraints: 35130
1008.40/1011.10 c #Conflicts: 912000 | #Constraints: 36132
1008.40/1011.10 c #Conflicts: 913000 | #Constraints: 37133
1008.40/1011.10 c #Conflicts: 914000 | #Constraints: 38133
1008.40/1011.10 c #Conflicts: 915000 | #Constraints: 39135
1008.40/1011.10 c #Conflicts: 916000 | #Constraints: 40135
1008.40/1011.10 c #Conflicts: 917000 | #Constraints: 41135
1008.40/1011.10 c #Conflicts: 918000 | #Constraints: 42135
1008.40/1011.10 c #Conflicts: 919000 | #Constraints: 43135
1008.40/1011.10 c #Conflicts: 920000 | #Constraints: 44135
1008.40/1011.10 c #Conflicts: 921000 | #Constraints: 45135
1008.40/1011.10 c #Conflicts: 922000 | #Constraints: 46135
1008.40/1011.10 c INPROCESSING
1008.40/1011.10 c GARBAGE COLLECT
1008.40/1011.10 c rational objective 3
1038.22/1041.09 c #Conflicts: 923000 | #Constraints: 28081
1038.22/1041.09 c #Conflicts: 924000 | #Constraints: 29081
1038.22/1041.09 c #Conflicts: 925000 | #Constraints: 30082
1038.22/1041.09 c #Conflicts: 926000 | #Constraints: 31084
1038.22/1041.09 c #Conflicts: 927000 | #Constraints: 32084
1038.22/1041.09 c #Conflicts: 928000 | #Constraints: 33086
1038.22/1041.09 c #Conflicts: 929000 | #Constraints: 34090
1038.22/1041.09 c #Conflicts: 930000 | #Constraints: 35091
1038.22/1041.09 c #Conflicts: 931000 | #Constraints: 36091
1038.22/1041.09 c #Conflicts: 932000 | #Constraints: 37091
1038.22/1041.09 c #Conflicts: 933000 | #Constraints: 38091
1038.22/1041.09 c #Conflicts: 934000 | #Constraints: 39091
1038.22/1041.09 c #Conflicts: 935000 | #Constraints: 40093
1038.22/1041.09 c #Conflicts: 936000 | #Constraints: 41093
1038.22/1041.09 c #Conflicts: 937000 | #Constraints: 42093
1038.22/1041.09 c #Conflicts: 938000 | #Constraints: 43094
1038.22/1041.09 c #Conflicts: 939000 | #Constraints: 44096
1038.22/1041.09 c #Conflicts: 940000 | #Constraints: 45098
1038.22/1041.09 c #Conflicts: 941000 | #Constraints: 46099
1038.22/1041.09 c INPROCESSING
1038.22/1041.09 c GARBAGE COLLECT
1038.22/1041.09 c rational objective 3
1070.73/1073.68 c #Conflicts: 942000 | #Constraints: 27881
1070.73/1073.68 c #Conflicts: 943000 | #Constraints: 28881
1070.73/1073.68 c #Conflicts: 944000 | #Constraints: 29882
1070.73/1073.68 c #Conflicts: 945000 | #Constraints: 30885
1070.73/1073.68 c #Conflicts: 946000 | #Constraints: 31886
1070.73/1073.68 c #Conflicts: 947000 | #Constraints: 32886
1070.73/1073.68 c #Conflicts: 948000 | #Constraints: 33889
1070.73/1073.68 c #Conflicts: 949000 | #Constraints: 34889
1070.73/1073.68 c #Conflicts: 950000 | #Constraints: 35889
1070.73/1073.68 c #Conflicts: 951000 | #Constraints: 36891
1070.73/1073.68 c #Conflicts: 952000 | #Constraints: 37891
1070.73/1073.68 c #Conflicts: 953000 | #Constraints: 38893
1070.73/1073.68 c #Conflicts: 954000 | #Constraints: 39895
1070.73/1073.68 c #Conflicts: 955000 | #Constraints: 40895
1070.73/1073.68 c #Conflicts: 956000 | #Constraints: 41896
1070.73/1073.68 c #Conflicts: 957000 | #Constraints: 42897
1070.73/1073.68 c #Conflicts: 958000 | #Constraints: 43897
1070.73/1073.68 c #Conflicts: 959000 | #Constraints: 44897
1070.73/1073.68 c #Conflicts: 960000 | #Constraints: 45899
1070.73/1073.68 c #Conflicts: 961000 | #Constraints: 46899
1070.73/1073.68 c INPROCESSING
1070.73/1073.68 c GARBAGE COLLECT
1070.73/1073.68 c rational objective 3
1099.46/1102.40 c #Conflicts: 962000 | #Constraints: 28425
1099.46/1102.40 c #Conflicts: 963000 | #Constraints: 29427
1099.46/1102.40 c #Conflicts: 964000 | #Constraints: 30427
1099.46/1102.40 c #Conflicts: 965000 | #Constraints: 31428
1099.46/1102.40 c #Conflicts: 966000 | #Constraints: 32430
1099.46/1102.40 c #Conflicts: 967000 | #Constraints: 33430
1099.46/1102.40 c #Conflicts: 968000 | #Constraints: 34432
1099.46/1102.40 c #Conflicts: 969000 | #Constraints: 35433
1099.46/1102.40 c #Conflicts: 970000 | #Constraints: 36434
1099.46/1102.40 c #Conflicts: 971000 | #Constraints: 37434
1099.46/1102.40 c #Conflicts: 972000 | #Constraints: 38434
1099.46/1102.40 c #Conflicts: 973000 | #Constraints: 39434
1099.46/1102.40 c #Conflicts: 974000 | #Constraints: 40434
1099.46/1102.40 c #Conflicts: 975000 | #Constraints: 41434
1099.46/1102.40 c #Conflicts: 976000 | #Constraints: 42434
1099.46/1102.40 c #Conflicts: 977000 | #Constraints: 43435
1099.46/1102.40 c #Conflicts: 978000 | #Constraints: 44435
1099.46/1102.40 c #Conflicts: 979000 | #Constraints: 45435
1099.46/1102.40 c #Conflicts: 980000 | #Constraints: 46436
1099.46/1102.40 c #Conflicts: 981000 | #Constraints: 47436
1099.46/1102.40 c INPROCESSING
1099.46/1102.40 c GARBAGE COLLECT
1099.46/1102.40 c rational objective 3
1134.27/1137.38 c #Conflicts: 982000 | #Constraints: 28815
1134.27/1137.38 c #Conflicts: 983000 | #Constraints: 29815
1134.27/1137.38 c #Conflicts: 984000 | #Constraints: 30818
1134.27/1137.38 c #Conflicts: 985000 | #Constraints: 31822
1134.27/1137.38 c #Conflicts: 986000 | #Constraints: 32824
1134.27/1137.38 c #Conflicts: 987000 | #Constraints: 33826
1134.27/1137.38 c #Conflicts: 988000 | #Constraints: 34827
1134.27/1137.38 c #Conflicts: 989000 | #Constraints: 35828
1134.27/1137.38 c #Conflicts: 990000 | #Constraints: 36829
1134.27/1137.38 c #Conflicts: 991000 | #Constraints: 37830
1134.27/1137.38 c #Conflicts: 992000 | #Constraints: 38833
1134.27/1137.38 c #Conflicts: 993000 | #Constraints: 39835
1134.27/1137.38 c #Conflicts: 994000 | #Constraints: 40836
1134.27/1137.38 c #Conflicts: 995000 | #Constraints: 41837
1134.27/1137.38 c #Conflicts: 996000 | #Constraints: 42839
1134.27/1137.38 c #Conflicts: 997000 | #Constraints: 43840
1134.27/1137.38 c #Conflicts: 998000 | #Constraints: 44841
1134.27/1137.38 c #Conflicts: 999000 | #Constraints: 45844
1134.27/1137.38 c #Conflicts: 1000000 | #Constraints: 46846
1134.27/1137.38 c #Conflicts: 1001000 | #Constraints: 47847
1134.27/1137.38 c INPROCESSING
1134.27/1137.38 c GARBAGE COLLECT
1134.27/1137.38 c rational objective 3
1169.58/1172.73 c #Conflicts: 1002000 | #Constraints: 29001
1169.58/1172.73 c #Conflicts: 1003000 | #Constraints: 30001
1169.58/1172.73 c #Conflicts: 1004000 | #Constraints: 31002
1169.58/1172.73 c #Conflicts: 1005000 | #Constraints: 32002
1169.58/1172.73 c #Conflicts: 1006000 | #Constraints: 33002
1169.58/1172.73 c #Conflicts: 1007000 | #Constraints: 34003
1169.58/1172.73 c #Conflicts: 1008000 | #Constraints: 35003
1169.58/1172.73 c #Conflicts: 1009000 | #Constraints: 36003
1169.58/1172.73 c #Conflicts: 1010000 | #Constraints: 37004
1169.58/1172.73 c #Conflicts: 1011000 | #Constraints: 38004
1169.58/1172.73 c #Conflicts: 1012000 | #Constraints: 39004
1169.58/1172.73 c #Conflicts: 1013000 | #Constraints: 40006
1169.58/1172.73 c #Conflicts: 1014000 | #Constraints: 41008
1169.58/1172.73 c #Conflicts: 1015000 | #Constraints: 42009
1169.58/1172.73 c #Conflicts: 1016000 | #Constraints: 43011
1169.58/1172.73 c #Conflicts: 1017000 | #Constraints: 44014
1169.58/1172.73 c #Conflicts: 1018000 | #Constraints: 45014
1169.58/1172.73 c #Conflicts: 1019000 | #Constraints: 46014
1169.58/1172.73 c #Conflicts: 1020000 | #Constraints: 47014
1169.58/1172.73 c #Conflicts: 1021000 | #Constraints: 48014
1169.58/1172.73 c INPROCESSING
1169.58/1172.73 c GARBAGE COLLECT
1169.58/1172.73 c rational objective 3
1201.40/1204.60 c #Conflicts: 1022000 | #Constraints: 28942
1201.40/1204.60 c #Conflicts: 1023000 | #Constraints: 29944
1201.40/1204.60 c #Conflicts: 1024000 | #Constraints: 30947
1201.40/1204.60 c #Conflicts: 1025000 | #Constraints: 31947
1201.40/1204.60 c #Conflicts: 1026000 | #Constraints: 32948
1201.40/1204.60 c #Conflicts: 1027000 | #Constraints: 33948
1201.40/1204.60 c #Conflicts: 1028000 | #Constraints: 34948
1201.40/1204.60 c #Conflicts: 1029000 | #Constraints: 35949
1201.40/1204.60 c #Conflicts: 1030000 | #Constraints: 36949
1201.40/1204.60 c #Conflicts: 1031000 | #Constraints: 37949
1201.40/1204.60 c #Conflicts: 1032000 | #Constraints: 38949
1201.40/1204.60 c #Conflicts: 1033000 | #Constraints: 39949
1201.40/1204.60 c #Conflicts: 1034000 | #Constraints: 40950
1201.40/1204.60 c #Conflicts: 1035000 | #Constraints: 41951
1201.40/1204.60 c #Conflicts: 1036000 | #Constraints: 42952
1201.40/1204.60 c #Conflicts: 1037000 | #Constraints: 43952
1201.40/1204.60 c #Conflicts: 1038000 | #Constraints: 44952
1201.40/1204.60 c #Conflicts: 1039000 | #Constraints: 45952
1201.40/1204.60 c #Conflicts: 1040000 | #Constraints: 46952
1201.40/1204.60 c #Conflicts: 1041000 | #Constraints: 47953
1201.40/1204.60 c INPROCESSING
1201.40/1204.60 c GARBAGE COLLECT
1201.40/1204.60 c rational objective 3
1242.69/1246.02 c #Conflicts: 1042000 | #Constraints: 28686
1242.69/1246.02 c #Conflicts: 1043000 | #Constraints: 29686
1242.69/1246.02 c #Conflicts: 1044000 | #Constraints: 30686
1242.69/1246.02 c #Conflicts: 1045000 | #Constraints: 31689
1242.69/1246.02 c #Conflicts: 1046000 | #Constraints: 32693
1242.69/1246.02 c #Conflicts: 1047000 | #Constraints: 33697
1242.69/1246.02 c #Conflicts: 1048000 | #Constraints: 34698
1242.69/1246.02 c #Conflicts: 1049000 | #Constraints: 35698
1242.69/1246.02 c #Conflicts: 1050000 | #Constraints: 36698
1242.69/1246.02 c #Conflicts: 1051000 | #Constraints: 37700
1242.69/1246.02 c #Conflicts: 1052000 | #Constraints: 38700
1242.69/1246.02 c #Conflicts: 1053000 | #Constraints: 39701
1242.69/1246.02 c #Conflicts: 1054000 | #Constraints: 40701
1242.69/1246.02 c #Conflicts: 1055000 | #Constraints: 41701
1242.69/1246.02 c #Conflicts: 1056000 | #Constraints: 42702
1242.69/1246.02 c #Conflicts: 1057000 | #Constraints: 43703
1242.69/1246.02 c #Conflicts: 1058000 | #Constraints: 44703
1242.69/1246.02 c #Conflicts: 1059000 | #Constraints: 45703
1242.69/1246.02 c #Conflicts: 1060000 | #Constraints: 46703
1242.69/1246.02 c #Conflicts: 1061000 | #Constraints: 47705
1242.69/1246.02 c #Conflicts: 1062000 | #Constraints: 48705
1242.69/1246.02 c INPROCESSING
1242.69/1246.02 c GARBAGE COLLECT
1242.69/1246.02 c rational objective 3
1272.91/1276.31 c #Conflicts: 1063000 | #Constraints: 29287
1272.91/1276.31 c #Conflicts: 1064000 | #Constraints: 30287
1272.91/1276.31 c #Conflicts: 1065000 | #Constraints: 31288
1272.91/1276.31 c #Conflicts: 1066000 | #Constraints: 32288
1272.91/1276.31 c #Conflicts: 1067000 | #Constraints: 33289
1272.91/1276.31 c #Conflicts: 1068000 | #Constraints: 34289
1272.91/1276.31 c #Conflicts: 1069000 | #Constraints: 35289
1272.91/1276.31 c #Conflicts: 1070000 | #Constraints: 36290
1272.91/1276.31 c #Conflicts: 1071000 | #Constraints: 37290
1272.91/1276.31 c #Conflicts: 1072000 | #Constraints: 38292
1272.91/1276.31 c #Conflicts: 1073000 | #Constraints: 39293
1272.91/1276.31 c #Conflicts: 1074000 | #Constraints: 40294
1272.91/1276.31 c #Conflicts: 1075000 | #Constraints: 41295
1272.91/1276.31 c #Conflicts: 1076000 | #Constraints: 42296
1272.91/1276.31 c #Conflicts: 1077000 | #Constraints: 43297
1272.91/1276.31 c #Conflicts: 1078000 | #Constraints: 44299
1272.91/1276.31 c #Conflicts: 1079000 | #Constraints: 45299
1272.91/1276.31 c #Conflicts: 1080000 | #Constraints: 46300
1272.91/1276.31 c #Conflicts: 1081000 | #Constraints: 47300
1272.91/1276.31 c #Conflicts: 1082000 | #Constraints: 48300
1272.91/1276.31 c #Conflicts: 1083000 | #Constraints: 49300
1272.91/1276.31 c INPROCESSING
1272.91/1276.31 c GARBAGE COLLECT
1272.91/1276.31 c rational objective 3
1309.23/1312.78 c #Conflicts: 1084000 | #Constraints: 29663
1309.23/1312.78 c #Conflicts: 1085000 | #Constraints: 30664
1309.23/1312.78 c #Conflicts: 1086000 | #Constraints: 31665
1309.23/1312.78 c #Conflicts: 1087000 | #Constraints: 32666
1309.23/1312.78 c #Conflicts: 1088000 | #Constraints: 33666
1309.23/1312.78 c #Conflicts: 1089000 | #Constraints: 34666
1309.23/1312.78 c #Conflicts: 1090000 | #Constraints: 35666
1309.23/1312.78 c #Conflicts: 1091000 | #Constraints: 36667
1309.23/1312.78 c #Conflicts: 1092000 | #Constraints: 37668
1309.23/1312.78 c #Conflicts: 1093000 | #Constraints: 38668
1309.23/1312.78 c #Conflicts: 1094000 | #Constraints: 39668
1309.23/1312.78 c #Conflicts: 1095000 | #Constraints: 40668
1309.23/1312.78 c #Conflicts: 1096000 | #Constraints: 41669
1309.23/1312.78 c #Conflicts: 1097000 | #Constraints: 42669
1309.23/1312.78 c #Conflicts: 1098000 | #Constraints: 43670
1309.23/1312.78 c #Conflicts: 1099000 | #Constraints: 44670
1309.23/1312.78 c #Conflicts: 1100000 | #Constraints: 45670
1309.23/1312.78 c #Conflicts: 1101000 | #Constraints: 46671
1309.23/1312.78 c #Conflicts: 1102000 | #Constraints: 47672
1309.23/1312.78 c #Conflicts: 1103000 | #Constraints: 48673
1309.23/1312.78 c #Conflicts: 1104000 | #Constraints: 49675
1309.23/1312.78 c INPROCESSING
1309.23/1312.78 c GARBAGE COLLECT
1309.23/1312.78 c rational objective 3
1345.03/1348.67 c #Conflicts: 1105000 | #Constraints: 29868
1345.03/1348.67 c #Conflicts: 1106000 | #Constraints: 30869
1345.03/1348.67 c #Conflicts: 1107000 | #Constraints: 31871
1345.03/1348.67 c #Conflicts: 1108000 | #Constraints: 32874
1345.03/1348.67 c #Conflicts: 1109000 | #Constraints: 33876
1345.03/1348.67 c #Conflicts: 1110000 | #Constraints: 34876
1345.03/1348.67 c #Conflicts: 1111000 | #Constraints: 35876
1345.03/1348.67 c #Conflicts: 1112000 | #Constraints: 36876
1345.03/1348.67 c #Conflicts: 1113000 | #Constraints: 37877
1345.03/1348.67 c #Conflicts: 1114000 | #Constraints: 38877
1345.03/1348.67 c #Conflicts: 1115000 | #Constraints: 39878
1345.03/1348.67 c #Conflicts: 1116000 | #Constraints: 40880
1345.03/1348.67 c #Conflicts: 1117000 | #Constraints: 41881
1345.03/1348.67 c #Conflicts: 1118000 | #Constraints: 42882
1345.03/1348.67 c #Conflicts: 1119000 | #Constraints: 43884
1345.03/1348.67 c #Conflicts: 1120000 | #Constraints: 44885
1345.03/1348.67 c #Conflicts: 1121000 | #Constraints: 45887
1345.03/1348.67 c #Conflicts: 1122000 | #Constraints: 46889
1345.03/1348.67 c #Conflicts: 1123000 | #Constraints: 47891
1345.03/1348.67 c #Conflicts: 1124000 | #Constraints: 48891
1345.03/1348.67 c #Conflicts: 1125000 | #Constraints: 49892
1345.03/1348.67 c INPROCESSING
1345.03/1348.67 c GARBAGE COLLECT
1345.03/1348.67 c rational objective 3
1380.64/1384.33 c #Conflicts: 1126000 | #Constraints: 29874
1380.64/1384.33 c #Conflicts: 1127000 | #Constraints: 30874
1380.64/1384.33 c #Conflicts: 1128000 | #Constraints: 31874
1380.64/1384.33 c #Conflicts: 1129000 | #Constraints: 32874
1380.64/1384.33 c #Conflicts: 1130000 | #Constraints: 33874
1380.64/1384.33 c #Conflicts: 1131000 | #Constraints: 34875
1380.64/1384.33 c #Conflicts: 1132000 | #Constraints: 35875
1380.64/1384.33 c #Conflicts: 1133000 | #Constraints: 36875
1380.64/1384.33 c #Conflicts: 1134000 | #Constraints: 37875
1380.64/1384.33 c #Conflicts: 1135000 | #Constraints: 38876
1380.64/1384.33 c #Conflicts: 1136000 | #Constraints: 39876
1380.64/1384.33 c #Conflicts: 1137000 | #Constraints: 40876
1380.64/1384.33 c #Conflicts: 1138000 | #Constraints: 41876
1380.64/1384.33 c #Conflicts: 1139000 | #Constraints: 42876
1380.64/1384.33 c #Conflicts: 1140000 | #Constraints: 43876
1380.64/1384.33 c #Conflicts: 1141000 | #Constraints: 44876
1380.64/1384.33 c #Conflicts: 1142000 | #Constraints: 45876
1380.64/1384.33 c #Conflicts: 1143000 | #Constraints: 46876
1380.64/1384.33 c #Conflicts: 1144000 | #Constraints: 47876
1380.64/1384.33 c #Conflicts: 1145000 | #Constraints: 48876
1380.64/1384.33 c #Conflicts: 1146000 | #Constraints: 49876
1380.64/1384.33 c INPROCESSING
1380.64/1384.33 c GARBAGE COLLECT
1380.64/1384.33 c rational objective 3
1414.96/1418.72 c #Conflicts: 1147000 | #Constraints: 29638
1414.96/1418.72 c #Conflicts: 1148000 | #Constraints: 30638
1414.96/1418.72 c #Conflicts: 1149000 | #Constraints: 31639
1414.96/1418.72 c #Conflicts: 1150000 | #Constraints: 32639
1414.96/1418.72 c #Conflicts: 1151000 | #Constraints: 33640
1414.96/1418.72 c #Conflicts: 1152000 | #Constraints: 34640
1414.96/1418.72 c #Conflicts: 1153000 | #Constraints: 35640
1414.96/1418.72 c #Conflicts: 1154000 | #Constraints: 36642
1414.96/1418.72 c #Conflicts: 1155000 | #Constraints: 37643
1414.96/1418.72 c #Conflicts: 1156000 | #Constraints: 38645
1414.96/1418.72 c #Conflicts: 1157000 | #Constraints: 39646
1414.96/1418.72 c #Conflicts: 1158000 | #Constraints: 40647
1414.96/1418.72 c #Conflicts: 1159000 | #Constraints: 41648
1414.96/1418.72 c #Conflicts: 1160000 | #Constraints: 42649
1414.96/1418.72 c #Conflicts: 1161000 | #Constraints: 43649
1414.96/1418.72 c #Conflicts: 1162000 | #Constraints: 44649
1414.96/1418.72 c #Conflicts: 1163000 | #Constraints: 45652
1414.96/1418.72 c #Conflicts: 1164000 | #Constraints: 46653
1414.96/1418.72 c #Conflicts: 1165000 | #Constraints: 47654
1414.96/1418.72 c #Conflicts: 1166000 | #Constraints: 48655
1414.96/1418.72 c #Conflicts: 1167000 | #Constraints: 49655
1414.96/1418.72 c #Conflicts: 1168000 | #Constraints: 50657
1414.96/1418.72 c INPROCESSING
1414.96/1418.72 c GARBAGE COLLECT
1414.96/1418.72 c rational objective 3
1454.05/1457.93 c #Conflicts: 1169000 | #Constraints: 30235
1454.05/1457.93 c #Conflicts: 1170000 | #Constraints: 31235
1454.05/1457.93 c #Conflicts: 1171000 | #Constraints: 32235
1454.05/1457.93 c #Conflicts: 1172000 | #Constraints: 33237
1454.05/1457.93 c #Conflicts: 1173000 | #Constraints: 34238
1454.05/1457.93 c #Conflicts: 1174000 | #Constraints: 35239
1454.05/1457.93 c #Conflicts: 1175000 | #Constraints: 36239
1454.05/1457.93 c #Conflicts: 1176000 | #Constraints: 37240
1454.05/1457.93 c #Conflicts: 1177000 | #Constraints: 38243
1454.05/1457.93 c #Conflicts: 1178000 | #Constraints: 39244
1454.05/1457.93 c #Conflicts: 1179000 | #Constraints: 40245
1454.05/1457.93 c #Conflicts: 1180000 | #Constraints: 41247
1454.05/1457.93 c #Conflicts: 1181000 | #Constraints: 42247
1454.05/1457.93 c #Conflicts: 1182000 | #Constraints: 43247
1454.05/1457.93 c #Conflicts: 1183000 | #Constraints: 44247
1454.05/1457.93 c #Conflicts: 1184000 | #Constraints: 45247
1454.05/1457.93 c #Conflicts: 1185000 | #Constraints: 46248
1454.05/1457.93 c #Conflicts: 1186000 | #Constraints: 47248
1454.05/1457.93 c #Conflicts: 1187000 | #Constraints: 48248
1454.05/1457.93 c #Conflicts: 1188000 | #Constraints: 49248
1454.05/1457.93 c #Conflicts: 1189000 | #Constraints: 50248
1454.05/1457.93 c #Conflicts: 1190000 | #Constraints: 51249
1454.05/1457.93 c INPROCESSING
1454.05/1457.93 c GARBAGE COLLECT
1454.05/1457.93 c rational objective 3
1493.35/1497.33 c #Conflicts: 1191000 | #Constraints: 30589
1493.35/1497.33 c #Conflicts: 1192000 | #Constraints: 31589
1493.35/1497.33 c #Conflicts: 1193000 | #Constraints: 32590
1493.35/1497.33 c #Conflicts: 1194000 | #Constraints: 33592
1493.35/1497.33 c #Conflicts: 1195000 | #Constraints: 34593
1493.35/1497.33 c #Conflicts: 1196000 | #Constraints: 35594
1493.35/1497.33 c #Conflicts: 1197000 | #Constraints: 36594
1493.35/1497.33 c #Conflicts: 1198000 | #Constraints: 37594
1493.35/1497.33 c #Conflicts: 1199000 | #Constraints: 38595
1493.35/1497.33 c #Conflicts: 1200000 | #Constraints: 39595
1493.35/1497.33 c #Conflicts: 1201000 | #Constraints: 40595
1493.35/1497.33 c #Conflicts: 1202000 | #Constraints: 41595
1493.35/1497.33 c #Conflicts: 1203000 | #Constraints: 42595
1493.35/1497.33 c #Conflicts: 1204000 | #Constraints: 43595
1493.35/1497.33 c #Conflicts: 1205000 | #Constraints: 44595
1493.35/1497.33 c #Conflicts: 1206000 | #Constraints: 45595
1493.35/1497.33 c #Conflicts: 1207000 | #Constraints: 46595
1493.35/1497.33 c #Conflicts: 1208000 | #Constraints: 47595
1493.35/1497.33 c #Conflicts: 1209000 | #Constraints: 48595
1493.35/1497.33 c #Conflicts: 1210000 | #Constraints: 49595
1493.35/1497.33 c #Conflicts: 1211000 | #Constraints: 50595
1493.35/1497.33 c #Conflicts: 1212000 | #Constraints: 51595
1493.35/1497.33 c INPROCESSING
1493.35/1497.33 c GARBAGE COLLECT
1493.35/1497.33 c rational objective 3
1537.44/1541.58 c #Conflicts: 1213000 | #Constraints: 30787
1537.44/1541.58 c #Conflicts: 1214000 | #Constraints: 31787
1537.44/1541.58 c #Conflicts: 1215000 | #Constraints: 32787
1537.44/1541.58 c #Conflicts: 1216000 | #Constraints: 33787
1537.44/1541.58 c #Conflicts: 1217000 | #Constraints: 34787
1537.44/1541.58 c #Conflicts: 1218000 | #Constraints: 35789
1537.44/1541.58 c #Conflicts: 1219000 | #Constraints: 36790
1537.44/1541.58 c #Conflicts: 1220000 | #Constraints: 37791
1537.44/1541.58 c #Conflicts: 1221000 | #Constraints: 38793
1537.44/1541.58 c #Conflicts: 1222000 | #Constraints: 39793
1537.44/1541.58 c #Conflicts: 1223000 | #Constraints: 40794
1537.44/1541.58 c #Conflicts: 1224000 | #Constraints: 41797
1537.44/1541.58 c #Conflicts: 1225000 | #Constraints: 42800
1537.44/1541.58 c #Conflicts: 1226000 | #Constraints: 43801
1537.44/1541.58 c #Conflicts: 1227000 | #Constraints: 44805
1537.44/1541.58 c #Conflicts: 1228000 | #Constraints: 45806
1537.44/1541.58 c #Conflicts: 1229000 | #Constraints: 46810
1537.44/1541.58 c #Conflicts: 1230000 | #Constraints: 47811
1537.44/1541.58 c #Conflicts: 1231000 | #Constraints: 48812
1537.44/1541.58 c #Conflicts: 1232000 | #Constraints: 49812
1537.44/1541.58 c #Conflicts: 1233000 | #Constraints: 50812
1537.44/1541.58 c #Conflicts: 1234000 | #Constraints: 51813
1537.44/1541.58 c INPROCESSING
1537.44/1541.58 c GARBAGE COLLECT
1537.44/1541.58 c rational objective 3
1578.64/1582.82 c #Conflicts: 1235000 | #Constraints: 30785
1578.64/1582.82 c #Conflicts: 1236000 | #Constraints: 31785
1578.64/1582.82 c #Conflicts: 1237000 | #Constraints: 32785
1578.64/1582.82 c #Conflicts: 1238000 | #Constraints: 33785
1578.64/1582.82 c #Conflicts: 1239000 | #Constraints: 34785
1578.64/1582.82 c #Conflicts: 1240000 | #Constraints: 35785
1578.64/1582.82 c #Conflicts: 1241000 | #Constraints: 36785
1578.64/1582.82 c #Conflicts: 1242000 | #Constraints: 37785
1578.64/1582.82 c #Conflicts: 1243000 | #Constraints: 38785
1578.64/1582.82 c #Conflicts: 1244000 | #Constraints: 39785
1578.64/1582.82 c #Conflicts: 1245000 | #Constraints: 40785
1578.64/1582.82 c #Conflicts: 1246000 | #Constraints: 41786
1578.64/1582.82 c #Conflicts: 1247000 | #Constraints: 42786
1578.64/1582.82 c #Conflicts: 1248000 | #Constraints: 43786
1578.64/1582.82 c #Conflicts: 1249000 | #Constraints: 44786
1578.64/1582.82 c #Conflicts: 1250000 | #Constraints: 45786
1578.64/1582.82 c #Conflicts: 1251000 | #Constraints: 46786
1578.64/1582.82 c #Conflicts: 1252000 | #Constraints: 47786
1578.64/1582.82 c #Conflicts: 1253000 | #Constraints: 48786
1578.64/1582.82 c #Conflicts: 1254000 | #Constraints: 49786
1578.64/1582.82 c #Conflicts: 1255000 | #Constraints: 50786
1578.64/1582.82 c #Conflicts: 1256000 | #Constraints: 51786
1578.64/1582.82 c INPROCESSING
1578.64/1582.82 c GARBAGE COLLECT
1578.64/1582.82 c rational objective 3
1620.62/1624.99 c #Conflicts: 1257000 | #Constraints: 30568
1620.62/1624.99 c #Conflicts: 1258000 | #Constraints: 31568
1620.62/1624.99 c #Conflicts: 1259000 | #Constraints: 32568
1620.62/1624.99 c #Conflicts: 1260000 | #Constraints: 33568
1620.62/1624.99 c #Conflicts: 1261000 | #Constraints: 34568
1620.62/1624.99 c #Conflicts: 1262000 | #Constraints: 35568
1620.62/1624.99 c #Conflicts: 1263000 | #Constraints: 36568
1620.62/1624.99 c #Conflicts: 1264000 | #Constraints: 37568
1620.62/1624.99 c #Conflicts: 1265000 | #Constraints: 38568
1620.62/1624.99 c #Conflicts: 1266000 | #Constraints: 39568
1620.62/1624.99 c #Conflicts: 1267000 | #Constraints: 40570
1620.62/1624.99 c #Conflicts: 1268000 | #Constraints: 41578
1620.62/1624.99 c #Conflicts: 1269000 | #Constraints: 42578
1620.62/1624.99 c #Conflicts: 1270000 | #Constraints: 43581
1620.62/1624.99 c #Conflicts: 1271000 | #Constraints: 44581
1620.62/1624.99 c #Conflicts: 1272000 | #Constraints: 45586
1620.62/1624.99 c #Conflicts: 1273000 | #Constraints: 46586
1620.62/1624.99 c #Conflicts: 1274000 | #Constraints: 47603
1620.62/1624.99 c #Conflicts: 1275000 | #Constraints: 48609
1620.62/1624.99 c #Conflicts: 1276000 | #Constraints: 49611
1620.62/1624.99 c #Conflicts: 1277000 | #Constraints: 50612
1620.62/1624.99 c #Conflicts: 1278000 | #Constraints: 51612
1620.62/1624.99 c #Conflicts: 1279000 | #Constraints: 52617
1620.62/1624.99 c INPROCESSING
1620.62/1624.99 c GARBAGE COLLECT
1620.62/1624.99 c rational objective 3
1660.62/1665.03 c #Conflicts: 1280000 | #Constraints: 31193
1660.62/1665.03 c #Conflicts: 1281000 | #Constraints: 32193
1660.62/1665.03 c #Conflicts: 1282000 | #Constraints: 33193
1660.62/1665.03 c #Conflicts: 1283000 | #Constraints: 34193
1660.62/1665.03 c #Conflicts: 1284000 | #Constraints: 35193
1660.62/1665.03 c #Conflicts: 1285000 | #Constraints: 36194
1660.62/1665.03 c #Conflicts: 1286000 | #Constraints: 37194
1660.62/1665.03 c #Conflicts: 1287000 | #Constraints: 38194
1660.62/1665.03 c #Conflicts: 1288000 | #Constraints: 39194
1660.62/1665.03 c #Conflicts: 1289000 | #Constraints: 40194
1660.62/1665.03 c #Conflicts: 1290000 | #Constraints: 41194
1660.62/1665.03 c #Conflicts: 1291000 | #Constraints: 42194
1660.62/1665.03 c #Conflicts: 1292000 | #Constraints: 43195
1660.62/1665.03 c #Conflicts: 1293000 | #Constraints: 44195
1660.62/1665.03 c #Conflicts: 1294000 | #Constraints: 45195
1660.62/1665.03 c #Conflicts: 1295000 | #Constraints: 46195
1660.62/1665.03 c #Conflicts: 1296000 | #Constraints: 47195
1660.62/1665.03 c #Conflicts: 1297000 | #Constraints: 48197
1660.62/1665.03 c #Conflicts: 1298000 | #Constraints: 49197
1660.62/1665.03 c #Conflicts: 1299000 | #Constraints: 50197
1660.62/1665.03 c #Conflicts: 1300000 | #Constraints: 51197
1660.62/1665.03 c #Conflicts: 1301000 | #Constraints: 52198
1660.62/1665.03 c #Conflicts: 1302000 | #Constraints: 53199
1660.62/1665.03 c INPROCESSING
1660.62/1665.03 c GARBAGE COLLECT
1660.62/1665.03 c rational objective 3
1704.01/1708.57 c #Conflicts: 1303000 | #Constraints: 31523
1704.01/1708.57 c #Conflicts: 1304000 | #Constraints: 32523
1704.01/1708.57 c #Conflicts: 1305000 | #Constraints: 33523
1704.01/1708.57 c #Conflicts: 1306000 | #Constraints: 34523
1704.01/1708.57 c #Conflicts: 1307000 | #Constraints: 35524
1704.01/1708.57 c #Conflicts: 1308000 | #Constraints: 36524
1704.01/1708.57 c #Conflicts: 1309000 | #Constraints: 37524
1704.01/1708.57 c #Conflicts: 1310000 | #Constraints: 38524
1704.01/1708.57 c #Conflicts: 1311000 | #Constraints: 39524
1704.01/1708.57 c #Conflicts: 1312000 | #Constraints: 40524
1704.01/1708.57 c #Conflicts: 1313000 | #Constraints: 41524
1704.01/1708.57 c #Conflicts: 1314000 | #Constraints: 42524
1704.01/1708.57 c #Conflicts: 1315000 | #Constraints: 43524
1704.01/1708.57 c #Conflicts: 1316000 | #Constraints: 44524
1704.01/1708.57 c #Conflicts: 1317000 | #Constraints: 45524
1704.01/1708.57 c #Conflicts: 1318000 | #Constraints: 46524
1704.01/1708.57 c #Conflicts: 1319000 | #Constraints: 47524
1704.01/1708.57 c #Conflicts: 1320000 | #Constraints: 48524
1704.01/1708.57 c #Conflicts: 1321000 | #Constraints: 49524
1704.01/1708.57 c #Conflicts: 1322000 | #Constraints: 50525
1704.01/1708.57 c #Conflicts: 1323000 | #Constraints: 51525
1704.01/1708.57 c #Conflicts: 1324000 | #Constraints: 52525
1704.01/1708.57 c #Conflicts: 1325000 | #Constraints: 53525
1704.01/1708.57 c INPROCESSING
1704.01/1708.57 c GARBAGE COLLECT
1704.01/1708.57 c rational objective 3
1753.98/1758.61 c #Conflicts: 1326000 | #Constraints: 31746
1753.98/1758.61 c #Conflicts: 1327000 | #Constraints: 32746
1753.98/1758.61 c #Conflicts: 1328000 | #Constraints: 33746
1753.98/1758.61 c #Conflicts: 1329000 | #Constraints: 34746
1753.98/1758.61 c #Conflicts: 1330000 | #Constraints: 35746
1753.98/1758.61 c #Conflicts: 1331000 | #Constraints: 36746
1753.98/1758.61 c #Conflicts: 1332000 | #Constraints: 37746
1753.98/1758.61 c #Conflicts: 1333000 | #Constraints: 38747
1753.98/1758.61 c #Conflicts: 1334000 | #Constraints: 39747
1753.98/1758.61 c #Conflicts: 1335000 | #Constraints: 40747
1753.98/1758.61 c #Conflicts: 1336000 | #Constraints: 41748
1753.98/1758.61 c #Conflicts: 1337000 | #Constraints: 42749
1753.98/1758.61 c #Conflicts: 1338000 | #Constraints: 43749
1753.98/1758.61 c #Conflicts: 1339000 | #Constraints: 44749
1753.98/1758.61 c #Conflicts: 1340000 | #Constraints: 45749
1753.98/1758.61 c #Conflicts: 1341000 | #Constraints: 46749
1753.98/1758.61 c #Conflicts: 1342000 | #Constraints: 47750
1753.98/1758.61 c #Conflicts: 1343000 | #Constraints: 48750
1753.98/1758.61 c #Conflicts: 1344000 | #Constraints: 49750
1753.98/1758.61 c #Conflicts: 1345000 | #Constraints: 50750
1753.98/1758.61 c #Conflicts: 1346000 | #Constraints: 51750
1753.98/1758.61 c #Conflicts: 1347000 | #Constraints: 52751
1753.98/1758.61 c #Conflicts: 1348000 | #Constraints: 53751
1753.98/1758.61 c INPROCESSING
1753.98/1758.61 c GARBAGE COLLECT
1753.98/1758.61 c rational objective 3
1804.15/1808.92 c #Conflicts: 1349000 | #Constraints: 31694
1804.15/1808.92 c #Conflicts: 1350000 | #Constraints: 32694
1804.15/1808.92 c #Conflicts: 1351000 | #Constraints: 33694
1804.15/1808.92 c #Conflicts: 1352000 | #Constraints: 34694
1804.15/1808.92 c #Conflicts: 1353000 | #Constraints: 35694
1804.15/1808.92 c #Conflicts: 1354000 | #Constraints: 36695
1804.15/1808.92 c #Conflicts: 1355000 | #Constraints: 37696
1804.15/1808.92 c #Conflicts: 1356000 | #Constraints: 38696
1804.15/1808.92 c #Conflicts: 1357000 | #Constraints: 39696
1804.15/1808.92 c #Conflicts: 1358000 | #Constraints: 40696
1804.15/1808.92 c #Conflicts: 1359000 | #Constraints: 41696
1804.15/1808.92 c #Conflicts: 1360000 | #Constraints: 42696
1804.15/1808.92 c #Conflicts: 1361000 | #Constraints: 43696
1804.15/1808.92 c #Conflicts: 1362000 | #Constraints: 44696
1804.15/1808.92 c #Conflicts: 1363000 | #Constraints: 45696
1804.15/1808.92 c #Conflicts: 1364000 | #Constraints: 46696
1804.15/1808.92 c #Conflicts: 1365000 | #Constraints: 47696
1804.15/1808.92 c #Conflicts: 1366000 | #Constraints: 48696
1804.15/1808.92 c #Conflicts: 1367000 | #Constraints: 49696
1804.15/1808.92 c #Conflicts: 1368000 | #Constraints: 50696
1804.15/1808.92 c #Conflicts: 1369000 | #Constraints: 51696
1804.15/1808.92 c #Conflicts: 1370000 | #Constraints: 52696
1804.15/1808.92 c #Conflicts: 1371000 | #Constraints: 53696
1804.15/1808.92 c INPROCESSING
1804.15/1808.92 c GARBAGE COLLECT
1804.15/1808.92 c rational objective 3
1846.44/1851.37 c #Conflicts: 1372000 | #Constraints: 31501
1846.44/1851.37 c #Conflicts: 1373000 | #Constraints: 32501
1846.44/1851.37 c #Conflicts: 1374000 | #Constraints: 33501
1846.44/1851.37 c #Conflicts: 1375000 | #Constraints: 34501
1846.44/1851.37 c #Conflicts: 1376000 | #Constraints: 35503
1846.44/1851.37 c #Conflicts: 1377000 | #Constraints: 36505
1846.44/1851.37 c #Conflicts: 1378000 | #Constraints: 37508
1846.44/1851.37 c #Conflicts: 1379000 | #Constraints: 38510
1846.44/1851.37 c #Conflicts: 1380000 | #Constraints: 39511
1846.44/1851.37 c #Conflicts: 1381000 | #Constraints: 40512
1846.44/1851.37 c #Conflicts: 1382000 | #Constraints: 41514
1846.44/1851.37 c #Conflicts: 1383000 | #Constraints: 42514
1846.44/1851.37 c #Conflicts: 1384000 | #Constraints: 43514
1846.44/1851.37 c #Conflicts: 1385000 | #Constraints: 44514
1846.44/1851.37 c #Conflicts: 1386000 | #Constraints: 45514
1846.44/1851.37 c #Conflicts: 1387000 | #Constraints: 46515
1846.44/1851.37 c #Conflicts: 1388000 | #Constraints: 47516
1846.44/1851.37 c #Conflicts: 1389000 | #Constraints: 48516
1846.44/1851.37 c #Conflicts: 1390000 | #Constraints: 49517
1846.44/1851.37 c #Conflicts: 1391000 | #Constraints: 50517
1846.44/1851.37 c #Conflicts: 1392000 | #Constraints: 51518
1846.44/1851.37 c #Conflicts: 1393000 | #Constraints: 52520
1846.44/1851.37 c #Conflicts: 1394000 | #Constraints: 53520
1846.44/1851.37 c #Conflicts: 1395000 | #Constraints: 54521
1846.44/1851.37 c INPROCESSING
1846.44/1851.37 c GARBAGE COLLECT
1846.44/1851.37 c rational objective 3
1888.23/1893.29 c #Conflicts: 1396000 | #Constraints: 32101
1888.23/1893.29 c #Conflicts: 1397000 | #Constraints: 33102
1888.23/1893.29 c #Conflicts: 1398000 | #Constraints: 34102
1888.23/1893.29 c #Conflicts: 1399000 | #Constraints: 35103
1888.23/1893.29 c #Conflicts: 1400000 | #Constraints: 36105
1888.23/1893.29 c #Conflicts: 1401000 | #Constraints: 37105
1888.23/1893.29 c #Conflicts: 1402000 | #Constraints: 38106
1888.23/1893.29 c #Conflicts: 1403000 | #Constraints: 39106
1888.23/1893.29 c #Conflicts: 1404000 | #Constraints: 40106
1888.23/1893.29 c #Conflicts: 1405000 | #Constraints: 41106
1888.23/1893.29 c #Conflicts: 1406000 | #Constraints: 42106
1888.23/1893.29 c #Conflicts: 1407000 | #Constraints: 43107
1888.23/1893.29 c #Conflicts: 1408000 | #Constraints: 44108
1888.23/1893.29 c #Conflicts: 1409000 | #Constraints: 45109
1888.23/1893.29 c #Conflicts: 1410000 | #Constraints: 46117
1888.23/1893.29 c #Conflicts: 1411000 | #Constraints: 47117
1888.23/1893.29 c #Conflicts: 1412000 | #Constraints: 48118
1888.23/1893.29 c #Conflicts: 1413000 | #Constraints: 49118
1888.23/1893.29 c #Conflicts: 1414000 | #Constraints: 50118
1888.23/1893.29 c #Conflicts: 1415000 | #Constraints: 51118
1888.23/1893.29 c #Conflicts: 1416000 | #Constraints: 52119
1888.23/1893.29 c #Conflicts: 1417000 | #Constraints: 53119
1888.23/1893.29 c #Conflicts: 1418000 | #Constraints: 54119
1888.23/1893.29 c #Conflicts: 1419000 | #Constraints: 55119
1888.23/1893.29 c INPROCESSING
1888.23/1893.29 c GARBAGE COLLECT
1888.23/1893.29 c rational objective 3
1940.80/1945.98 c #Conflicts: 1420000 | #Constraints: 32487
1940.80/1945.98 c #Conflicts: 1421000 | #Constraints: 33487
1940.80/1945.98 c #Conflicts: 1422000 | #Constraints: 34487
1940.80/1945.98 c #Conflicts: 1423000 | #Constraints: 35487
1940.80/1945.98 c #Conflicts: 1424000 | #Constraints: 36487
1940.80/1945.98 c #Conflicts: 1425000 | #Constraints: 37487
1940.80/1945.98 c #Conflicts: 1426000 | #Constraints: 38487
1940.80/1945.98 c #Conflicts: 1427000 | #Constraints: 39487
1940.80/1945.98 c #Conflicts: 1428000 | #Constraints: 40488
1940.80/1945.98 c #Conflicts: 1429000 | #Constraints: 41488
1940.80/1945.98 c #Conflicts: 1430000 | #Constraints: 42488
1940.80/1945.98 c #Conflicts: 1431000 | #Constraints: 43489
1940.80/1945.98 c #Conflicts: 1432000 | #Constraints: 44489
1940.80/1945.98 c #Conflicts: 1433000 | #Constraints: 45489
1940.80/1945.98 c #Conflicts: 1434000 | #Constraints: 46489
1940.80/1945.98 c #Conflicts: 1435000 | #Constraints: 47489
1940.80/1945.98 c #Conflicts: 1436000 | #Constraints: 48489
1940.80/1945.98 c #Conflicts: 1437000 | #Constraints: 49489
1940.80/1945.98 c #Conflicts: 1438000 | #Constraints: 50490
1940.80/1945.98 c #Conflicts: 1439000 | #Constraints: 51490
1940.80/1945.98 c #Conflicts: 1440000 | #Constraints: 52490
1940.80/1945.98 c #Conflicts: 1441000 | #Constraints: 53490
1940.80/1945.98 c #Conflicts: 1442000 | #Constraints: 54490
1940.80/1945.98 c #Conflicts: 1443000 | #Constraints: 55490
1940.80/1945.98 c INPROCESSING
1940.80/1945.98 c GARBAGE COLLECT
1940.80/1945.98 c rational objective 3
1982.90/1988.12 c #Conflicts: 1444000 | #Constraints: 32671
1982.90/1988.12 c #Conflicts: 1445000 | #Constraints: 33671
1982.90/1988.12 c #Conflicts: 1446000 | #Constraints: 34671
1982.90/1988.12 c #Conflicts: 1447000 | #Constraints: 35671
1982.90/1988.12 c #Conflicts: 1448000 | #Constraints: 36671
1982.90/1988.12 c #Conflicts: 1449000 | #Constraints: 37671
1982.90/1988.12 c #Conflicts: 1450000 | #Constraints: 38671
1982.90/1988.12 c #Conflicts: 1451000 | #Constraints: 39671
1982.90/1988.12 c #Conflicts: 1452000 | #Constraints: 40671
1982.90/1988.12 c #Conflicts: 1453000 | #Constraints: 41672
1982.90/1988.12 c #Conflicts: 1454000 | #Constraints: 42672
1982.90/1988.12 c #Conflicts: 1455000 | #Constraints: 43672
1982.90/1988.12 c #Conflicts: 1456000 | #Constraints: 44673
1982.90/1988.12 c #Conflicts: 1457000 | #Constraints: 45673
1982.90/1988.12 c #Conflicts: 1458000 | #Constraints: 46673
1982.90/1988.12 c #Conflicts: 1459000 | #Constraints: 47674
1982.90/1988.12 c #Conflicts: 1460000 | #Constraints: 48674
1982.90/1988.12 c #Conflicts: 1461000 | #Constraints: 49674
1982.90/1988.12 c #Conflicts: 1462000 | #Constraints: 50675
1982.90/1988.12 c #Conflicts: 1463000 | #Constraints: 51675
1982.90/1988.12 c #Conflicts: 1464000 | #Constraints: 52675
1982.90/1988.12 c #Conflicts: 1465000 | #Constraints: 53675
1982.90/1988.12 c #Conflicts: 1466000 | #Constraints: 54675
1982.90/1988.12 c #Conflicts: 1467000 | #Constraints: 55675
1982.90/1988.12 c INPROCESSING
1982.90/1988.12 c GARBAGE COLLECT
1982.90/1988.12 c rational objective 3
2026.88/2032.29 c #Conflicts: 1468000 | #Constraints: 32664
2026.88/2032.29 c #Conflicts: 1469000 | #Constraints: 33664
2026.88/2032.29 c #Conflicts: 1470000 | #Constraints: 34664
2026.88/2032.29 c #Conflicts: 1471000 | #Constraints: 35664
2026.88/2032.29 c #Conflicts: 1472000 | #Constraints: 36665
2026.88/2032.29 c #Conflicts: 1473000 | #Constraints: 37666
2026.88/2032.29 c #Conflicts: 1474000 | #Constraints: 38667
2026.88/2032.29 c #Conflicts: 1475000 | #Constraints: 39668
2026.88/2032.29 c #Conflicts: 1476000 | #Constraints: 40670
2026.88/2032.29 c #Conflicts: 1477000 | #Constraints: 41670
2026.88/2032.29 c #Conflicts: 1478000 | #Constraints: 42672
2026.88/2032.29 c #Conflicts: 1479000 | #Constraints: 43673
2026.88/2032.29 c #Conflicts: 1480000 | #Constraints: 44674
2026.88/2032.29 c #Conflicts: 1481000 | #Constraints: 45674
2026.88/2032.29 c #Conflicts: 1482000 | #Constraints: 46678
2026.88/2032.29 c #Conflicts: 1483000 | #Constraints: 47678
2026.88/2032.29 c #Conflicts: 1484000 | #Constraints: 48679
2026.88/2032.29 c #Conflicts: 1485000 | #Constraints: 49680
2026.88/2032.29 c #Conflicts: 1486000 | #Constraints: 50681
2026.88/2032.29 c #Conflicts: 1487000 | #Constraints: 51683
2026.88/2032.29 c #Conflicts: 1488000 | #Constraints: 52686
2026.88/2032.29 c #Conflicts: 1489000 | #Constraints: 53689
2026.88/2032.29 c #Conflicts: 1490000 | #Constraints: 54689
2026.88/2032.29 c #Conflicts: 1491000 | #Constraints: 55689
2026.88/2032.29 c INPROCESSING
2026.88/2032.29 c GARBAGE COLLECT
2026.88/2032.29 c rational objective 3
2071.87/2077.39 c #Conflicts: 1492000 | #Constraints: 32455
2071.87/2077.39 c #Conflicts: 1493000 | #Constraints: 33455
2071.87/2077.39 c #Conflicts: 1494000 | #Constraints: 34456
2071.87/2077.39 c #Conflicts: 1495000 | #Constraints: 35456
2071.87/2077.39 c #Conflicts: 1496000 | #Constraints: 36457
2071.87/2077.39 c #Conflicts: 1497000 | #Constraints: 37457
2071.87/2077.39 c #Conflicts: 1498000 | #Constraints: 38458
2071.87/2077.39 c #Conflicts: 1499000 | #Constraints: 39458
2071.87/2077.39 c #Conflicts: 1500000 | #Constraints: 40458
2071.87/2077.39 c #Conflicts: 1501000 | #Constraints: 41458
2071.87/2077.39 c #Conflicts: 1502000 | #Constraints: 42458
2071.87/2077.39 c #Conflicts: 1503000 | #Constraints: 43458
2071.87/2077.39 c #Conflicts: 1504000 | #Constraints: 44458
2071.87/2077.39 c #Conflicts: 1505000 | #Constraints: 45458
2071.87/2077.39 c #Conflicts: 1506000 | #Constraints: 46458
2071.87/2077.39 c #Conflicts: 1507000 | #Constraints: 47459
2071.87/2077.39 c #Conflicts: 1508000 | #Constraints: 48459
2071.87/2077.39 c #Conflicts: 1509000 | #Constraints: 49459
2071.87/2077.39 c #Conflicts: 1510000 | #Constraints: 50459
2071.87/2077.39 c #Conflicts: 1511000 | #Constraints: 51460
2071.87/2077.39 c #Conflicts: 1512000 | #Constraints: 52460
2071.87/2077.39 c #Conflicts: 1513000 | #Constraints: 53460
2071.87/2077.39 c #Conflicts: 1514000 | #Constraints: 54461
2071.87/2077.39 c #Conflicts: 1515000 | #Constraints: 55461
2071.87/2077.39 c #Conflicts: 1516000 | #Constraints: 56462
2071.87/2077.39 c INPROCESSING
2071.87/2077.39 c GARBAGE COLLECT
2071.87/2077.39 c rational objective 3
2119.25/2124.84 c #Conflicts: 1517000 | #Constraints: 33031
2119.25/2124.84 c #Conflicts: 1518000 | #Constraints: 34031
2119.25/2124.84 c #Conflicts: 1519000 | #Constraints: 35031
2119.25/2124.84 c #Conflicts: 1520000 | #Constraints: 36032
2119.25/2124.84 c #Conflicts: 1521000 | #Constraints: 37034
2119.25/2124.84 c #Conflicts: 1522000 | #Constraints: 38034
2119.25/2124.84 c #Conflicts: 1523000 | #Constraints: 39035
2119.25/2124.84 c #Conflicts: 1524000 | #Constraints: 40037
2119.25/2124.84 c #Conflicts: 1525000 | #Constraints: 41039
2119.25/2124.84 c #Conflicts: 1526000 | #Constraints: 42040
2119.25/2124.84 c #Conflicts: 1527000 | #Constraints: 43043
2119.25/2124.84 c #Conflicts: 1528000 | #Constraints: 44044
2119.25/2124.84 c #Conflicts: 1529000 | #Constraints: 45046
2119.25/2124.84 c #Conflicts: 1530000 | #Constraints: 46046
2119.25/2124.84 c #Conflicts: 1531000 | #Constraints: 47047
2119.25/2124.84 c #Conflicts: 1532000 | #Constraints: 48049
2119.25/2124.84 c #Conflicts: 1533000 | #Constraints: 49050
2119.25/2124.84 c #Conflicts: 1534000 | #Constraints: 50050
2119.25/2124.84 c #Conflicts: 1535000 | #Constraints: 51053
2119.25/2124.84 c #Conflicts: 1536000 | #Constraints: 52054
2119.25/2124.84 c #Conflicts: 1537000 | #Constraints: 53054
2119.25/2124.84 c #Conflicts: 1538000 | #Constraints: 54056
2119.25/2124.84 c #Conflicts: 1539000 | #Constraints: 55057
2119.25/2124.84 c #Conflicts: 1540000 | #Constraints: 56057
2119.25/2124.84 c #Conflicts: 1541000 | #Constraints: 57059
2119.25/2124.84 c INPROCESSING
2119.25/2124.84 c GARBAGE COLLECT
2119.25/2124.84 c rational objective 3
2162.04/2167.77 c #Conflicts: 1542000 | #Constraints: 33459
2162.04/2167.77 c #Conflicts: 1543000 | #Constraints: 34459
2162.04/2167.77 c #Conflicts: 1544000 | #Constraints: 35460
2162.04/2167.77 c #Conflicts: 1545000 | #Constraints: 36461
2162.04/2167.77 c #Conflicts: 1546000 | #Constraints: 37463
2162.04/2167.77 c #Conflicts: 1547000 | #Constraints: 38464
2162.04/2167.77 c #Conflicts: 1548000 | #Constraints: 39466
2162.04/2167.77 c #Conflicts: 1549000 | #Constraints: 40466
2162.04/2167.77 c #Conflicts: 1550000 | #Constraints: 41468
2162.04/2167.77 c #Conflicts: 1551000 | #Constraints: 42469
2162.04/2167.77 c #Conflicts: 1552000 | #Constraints: 43469
2162.04/2167.77 c #Conflicts: 1553000 | #Constraints: 44469
2162.04/2167.77 c #Conflicts: 1554000 | #Constraints: 45469
2162.04/2167.77 c #Conflicts: 1555000 | #Constraints: 46469
2162.04/2167.77 c #Conflicts: 1556000 | #Constraints: 47469
2162.04/2167.77 c #Conflicts: 1557000 | #Constraints: 48470
2162.04/2167.77 c #Conflicts: 1558000 | #Constraints: 49470
2162.04/2167.77 c #Conflicts: 1559000 | #Constraints: 50471
2162.04/2167.77 c #Conflicts: 1560000 | #Constraints: 51471
2162.04/2167.77 c #Conflicts: 1561000 | #Constraints: 52472
2162.04/2167.77 c #Conflicts: 1562000 | #Constraints: 53474
2162.04/2167.77 c #Conflicts: 1563000 | #Constraints: 54475
2162.04/2167.77 c #Conflicts: 1564000 | #Constraints: 55475
2162.04/2167.77 c #Conflicts: 1565000 | #Constraints: 56475
2162.04/2167.77 c #Conflicts: 1566000 | #Constraints: 57475
2162.04/2167.77 c INPROCESSING
2162.04/2167.77 c GARBAGE COLLECT
2162.04/2167.77 c rational objective 3
2219.48/2225.34 c #Conflicts: 1567000 | #Constraints: 33543
2219.48/2225.34 c #Conflicts: 1568000 | #Constraints: 34543
2219.48/2225.34 c #Conflicts: 1569000 | #Constraints: 35545
2219.48/2225.34 c #Conflicts: 1570000 | #Constraints: 36550
2219.48/2225.34 c #Conflicts: 1571000 | #Constraints: 37553
2219.48/2225.34 c #Conflicts: 1572000 | #Constraints: 38555
2219.48/2225.34 c #Conflicts: 1573000 | #Constraints: 39557
2219.48/2225.34 c #Conflicts: 1574000 | #Constraints: 40558
2219.48/2225.34 c #Conflicts: 1575000 | #Constraints: 41559
2219.48/2225.34 c #Conflicts: 1576000 | #Constraints: 42559
2219.48/2225.34 c #Conflicts: 1577000 | #Constraints: 43562
2219.48/2225.34 c #Conflicts: 1578000 | #Constraints: 44563
2219.48/2225.34 c #Conflicts: 1579000 | #Constraints: 45565
2219.48/2225.34 c #Conflicts: 1580000 | #Constraints: 46566
2219.48/2225.34 c #Conflicts: 1581000 | #Constraints: 47567
2219.48/2225.34 c #Conflicts: 1582000 | #Constraints: 48568
2219.48/2225.34 c #Conflicts: 1583000 | #Constraints: 49569
2219.48/2225.34 c #Conflicts: 1584000 | #Constraints: 50569
2219.48/2225.34 c #Conflicts: 1585000 | #Constraints: 51569
2219.48/2225.34 c #Conflicts: 1586000 | #Constraints: 52570
2219.48/2225.34 c #Conflicts: 1587000 | #Constraints: 53571
2219.48/2225.34 c #Conflicts: 1588000 | #Constraints: 54572
2219.48/2225.34 c #Conflicts: 1589000 | #Constraints: 55572
2219.48/2225.34 c #Conflicts: 1590000 | #Constraints: 56573
2219.48/2225.34 c #Conflicts: 1591000 | #Constraints: 57574
2219.48/2225.34 c INPROCESSING
2219.48/2225.34 c GARBAGE COLLECT
2219.48/2225.34 c rational objective 3
2271.26/2277.23 c #Conflicts: 1592000 | #Constraints: 33585
2271.26/2277.23 c #Conflicts: 1593000 | #Constraints: 34585
2271.26/2277.23 c #Conflicts: 1594000 | #Constraints: 35585
2271.26/2277.23 c #Conflicts: 1595000 | #Constraints: 36587
2271.26/2277.23 c #Conflicts: 1596000 | #Constraints: 37587
2271.26/2277.23 c #Conflicts: 1597000 | #Constraints: 38587
2271.26/2277.23 c #Conflicts: 1598000 | #Constraints: 39589
2271.26/2277.23 c #Conflicts: 1599000 | #Constraints: 40589
2271.26/2277.23 c #Conflicts: 1600000 | #Constraints: 41589
2271.26/2277.23 c #Conflicts: 1601000 | #Constraints: 42589
2271.26/2277.23 c #Conflicts: 1602000 | #Constraints: 43590
2271.26/2277.23 c #Conflicts: 1603000 | #Constraints: 44590
2271.26/2277.23 c #Conflicts: 1604000 | #Constraints: 45591
2271.26/2277.23 c #Conflicts: 1605000 | #Constraints: 46591
2271.26/2277.23 c #Conflicts: 1606000 | #Constraints: 47593
2271.26/2277.23 c #Conflicts: 1607000 | #Constraints: 48594
2271.26/2277.23 c #Conflicts: 1608000 | #Constraints: 49594
2271.26/2277.23 c #Conflicts: 1609000 | #Constraints: 50595
2271.26/2277.23 c #Conflicts: 1610000 | #Constraints: 51595
2271.26/2277.23 c #Conflicts: 1611000 | #Constraints: 52595
2271.26/2277.23 c #Conflicts: 1612000 | #Constraints: 53596
2271.26/2277.23 c #Conflicts: 1613000 | #Constraints: 54596
2271.26/2277.23 c #Conflicts: 1614000 | #Constraints: 55597
2271.26/2277.23 c #Conflicts: 1615000 | #Constraints: 56598
2271.26/2277.23 c #Conflicts: 1616000 | #Constraints: 57600
2271.26/2277.23 c INPROCESSING
2271.26/2277.23 c GARBAGE COLLECT
2271.26/2277.23 c rational objective 3
2325.41/2331.55 c #Conflicts: 1617000 | #Constraints: 33379
2325.41/2331.55 c #Conflicts: 1618000 | #Constraints: 34380
2325.41/2331.55 c #Conflicts: 1619000 | #Constraints: 35380
2325.41/2331.55 c #Conflicts: 1620000 | #Constraints: 36382
2325.41/2331.55 c #Conflicts: 1621000 | #Constraints: 37382
2325.41/2331.55 c #Conflicts: 1622000 | #Constraints: 38382
2325.41/2331.55 c #Conflicts: 1623000 | #Constraints: 39382
2325.41/2331.55 c #Conflicts: 1624000 | #Constraints: 40383
2325.41/2331.55 c #Conflicts: 1625000 | #Constraints: 41384
2325.41/2331.55 c #Conflicts: 1626000 | #Constraints: 42384
2325.41/2331.55 c #Conflicts: 1627000 | #Constraints: 43384
2325.41/2331.55 c #Conflicts: 1628000 | #Constraints: 44384
2325.41/2331.55 c #Conflicts: 1629000 | #Constraints: 45384
2325.41/2331.55 c #Conflicts: 1630000 | #Constraints: 46384
2325.41/2331.55 c #Conflicts: 1631000 | #Constraints: 47384
2325.41/2331.55 c #Conflicts: 1632000 | #Constraints: 48386
2325.41/2331.55 c #Conflicts: 1633000 | #Constraints: 49387
2325.41/2331.55 c #Conflicts: 1634000 | #Constraints: 50388
2325.41/2331.55 c #Conflicts: 1635000 | #Constraints: 51388
2325.41/2331.55 c #Conflicts: 1636000 | #Constraints: 52389
2325.41/2331.55 c #Conflicts: 1637000 | #Constraints: 53389
2325.41/2331.55 c #Conflicts: 1638000 | #Constraints: 54389
2325.41/2331.55 c #Conflicts: 1639000 | #Constraints: 55389
2325.41/2331.55 c #Conflicts: 1640000 | #Constraints: 56389
2325.41/2331.55 c #Conflicts: 1641000 | #Constraints: 57389
2325.41/2331.55 c #Conflicts: 1642000 | #Constraints: 58389
2325.41/2331.55 c INPROCESSING
2325.41/2331.55 c GARBAGE COLLECT
2325.41/2331.55 c rational objective 3
2376.88/2383.12 c #Conflicts: 1643000 | #Constraints: 33951
2376.88/2383.12 c #Conflicts: 1644000 | #Constraints: 34952
2376.88/2383.12 c #Conflicts: 1645000 | #Constraints: 35952
2376.88/2383.12 c #Conflicts: 1646000 | #Constraints: 36954
2376.88/2383.12 c #Conflicts: 1647000 | #Constraints: 37956
2376.88/2383.12 c #Conflicts: 1648000 | #Constraints: 38959
2376.88/2383.12 c #Conflicts: 1649000 | #Constraints: 39959
2376.88/2383.12 c #Conflicts: 1650000 | #Constraints: 40960
2376.88/2383.12 c #Conflicts: 1651000 | #Constraints: 41962
2376.88/2383.12 c #Conflicts: 1652000 | #Constraints: 42966
2376.88/2383.12 c #Conflicts: 1653000 | #Constraints: 43966
2376.88/2383.12 c #Conflicts: 1654000 | #Constraints: 44966
2376.88/2383.12 c #Conflicts: 1655000 | #Constraints: 45966
2376.88/2383.12 c #Conflicts: 1656000 | #Constraints: 46967
2376.88/2383.12 c #Conflicts: 1657000 | #Constraints: 47968
2376.88/2383.12 c #Conflicts: 1658000 | #Constraints: 48969
2376.88/2383.12 c #Conflicts: 1659000 | #Constraints: 49969
2376.88/2383.12 c #Conflicts: 1660000 | #Constraints: 50970
2376.88/2383.12 c #Conflicts: 1661000 | #Constraints: 51970
2376.88/2383.12 c #Conflicts: 1662000 | #Constraints: 52970
2376.88/2383.12 c #Conflicts: 1663000 | #Constraints: 53972
2376.88/2383.12 c #Conflicts: 1664000 | #Constraints: 54974
2376.88/2383.12 c #Conflicts: 1665000 | #Constraints: 55974
2376.88/2383.12 c #Conflicts: 1666000 | #Constraints: 56974
2376.88/2383.12 c #Conflicts: 1667000 | #Constraints: 57975
2376.88/2383.12 c #Conflicts: 1668000 | #Constraints: 58976
2376.88/2383.12 c INPROCESSING
2376.88/2383.12 c GARBAGE COLLECT
2376.88/2383.12 c rational objective 3
2427.14/2433.51 c #Conflicts: 1669000 | #Constraints: 34308
2427.14/2433.51 c #Conflicts: 1670000 | #Constraints: 35308
2427.14/2433.51 c #Conflicts: 1671000 | #Constraints: 36308
2427.14/2433.51 c #Conflicts: 1672000 | #Constraints: 37308
2427.14/2433.51 c #Conflicts: 1673000 | #Constraints: 38309
2427.14/2433.51 c #Conflicts: 1674000 | #Constraints: 39309
2427.14/2433.51 c #Conflicts: 1675000 | #Constraints: 40309
2427.14/2433.51 c #Conflicts: 1676000 | #Constraints: 41311
2427.14/2433.51 c #Conflicts: 1677000 | #Constraints: 42313
2427.14/2433.51 c #Conflicts: 1678000 | #Constraints: 43314
2427.14/2433.51 c #Conflicts: 1679000 | #Constraints: 44314
2427.14/2433.51 c #Conflicts: 1680000 | #Constraints: 45314
2427.14/2433.51 c #Conflicts: 1681000 | #Constraints: 46315
2427.14/2433.51 c #Conflicts: 1682000 | #Constraints: 47315
2427.14/2433.51 c #Conflicts: 1683000 | #Constraints: 48316
2427.14/2433.51 c #Conflicts: 1684000 | #Constraints: 49317
2427.14/2433.51 c #Conflicts: 1685000 | #Constraints: 50319
2427.14/2433.51 c #Conflicts: 1686000 | #Constraints: 51320
2427.14/2433.51 c #Conflicts: 1687000 | #Constraints: 52321
2427.14/2433.51 c #Conflicts: 1688000 | #Constraints: 53321
2427.14/2433.52 c #Conflicts: 1689000 | #Constraints: 54321
2427.14/2433.52 c #Conflicts: 1690000 | #Constraints: 55321
2427.14/2433.52 c #Conflicts: 1691000 | #Constraints: 56322
2427.14/2433.52 c #Conflicts: 1692000 | #Constraints: 57322
2427.14/2433.52 c #Conflicts: 1693000 | #Constraints: 58323
2427.14/2433.52 c #Conflicts: 1694000 | #Constraints: 59323
2427.14/2433.52 c INPROCESSING
2427.14/2433.52 c GARBAGE COLLECT
2427.14/2433.52 c rational objective 3
2479.52/2486.06 c #Conflicts: 1695000 | #Constraints: 34506
2479.52/2486.06 c #Conflicts: 1696000 | #Constraints: 35506
2479.52/2486.06 c #Conflicts: 1697000 | #Constraints: 36506
2479.52/2486.06 c #Conflicts: 1698000 | #Constraints: 37508
2479.52/2486.06 c #Conflicts: 1699000 | #Constraints: 38509
2479.52/2486.06 c #Conflicts: 1700000 | #Constraints: 39510
2479.52/2486.06 c #Conflicts: 1701000 | #Constraints: 40512
2479.52/2486.06 c #Conflicts: 1702000 | #Constraints: 41512
2479.52/2486.06 c #Conflicts: 1703000 | #Constraints: 42514
2479.52/2486.06 c #Conflicts: 1704000 | #Constraints: 43514
2479.52/2486.06 c #Conflicts: 1705000 | #Constraints: 44516
2479.52/2486.06 c #Conflicts: 1706000 | #Constraints: 45517
2479.52/2486.06 c #Conflicts: 1707000 | #Constraints: 46517
2479.52/2486.06 c #Conflicts: 1708000 | #Constraints: 47517
2479.52/2486.06 c #Conflicts: 1709000 | #Constraints: 48517
2479.52/2486.06 c #Conflicts: 1710000 | #Constraints: 49518
2479.52/2486.06 c #Conflicts: 1711000 | #Constraints: 50519
2479.52/2486.06 c #Conflicts: 1712000 | #Constraints: 51520
2479.52/2486.06 c #Conflicts: 1713000 | #Constraints: 52520
2479.52/2486.06 c #Conflicts: 1714000 | #Constraints: 53521
2479.52/2486.06 c #Conflicts: 1715000 | #Constraints: 54521
2479.52/2486.06 c #Conflicts: 1716000 | #Constraints: 55522
2479.52/2486.06 c #Conflicts: 1717000 | #Constraints: 56524
2479.52/2486.06 c #Conflicts: 1718000 | #Constraints: 57525
2479.52/2486.06 c #Conflicts: 1719000 | #Constraints: 58525
2479.52/2486.06 c #Conflicts: 1720000 | #Constraints: 59527
2479.52/2486.06 c INPROCESSING
2479.52/2486.06 c GARBAGE COLLECT
2479.52/2486.06 c rational objective 3
2528.99/2535.63 c #Conflicts: 1721000 | #Constraints: 34496
2528.99/2535.63 c #Conflicts: 1722000 | #Constraints: 35496
2528.99/2535.63 c #Conflicts: 1723000 | #Constraints: 36498
2528.99/2535.63 c #Conflicts: 1724000 | #Constraints: 37500
2528.99/2535.63 c #Conflicts: 1725000 | #Constraints: 38501
2528.99/2535.63 c #Conflicts: 1726000 | #Constraints: 39502
2528.99/2535.63 c #Conflicts: 1727000 | #Constraints: 40505
2528.99/2535.63 c #Conflicts: 1728000 | #Constraints: 41506
2528.99/2535.63 c #Conflicts: 1729000 | #Constraints: 42507
2528.99/2535.63 c #Conflicts: 1730000 | #Constraints: 43508
2528.99/2535.63 c #Conflicts: 1731000 | #Constraints: 44509
2528.99/2535.63 c #Conflicts: 1732000 | #Constraints: 45510
2528.99/2535.63 c #Conflicts: 1733000 | #Constraints: 46511
2528.99/2535.63 c #Conflicts: 1734000 | #Constraints: 47511
2528.99/2535.63 c #Conflicts: 1735000 | #Constraints: 48512
2528.99/2535.63 c #Conflicts: 1736000 | #Constraints: 49512
2528.99/2535.63 c #Conflicts: 1737000 | #Constraints: 50512
2528.99/2535.63 c #Conflicts: 1738000 | #Constraints: 51512
2528.99/2535.63 c #Conflicts: 1739000 | #Constraints: 52514
2528.99/2535.63 c #Conflicts: 1740000 | #Constraints: 53514
2528.99/2535.63 c #Conflicts: 1741000 | #Constraints: 54515
2528.99/2535.63 c #Conflicts: 1742000 | #Constraints: 55516
2528.99/2535.63 c #Conflicts: 1743000 | #Constraints: 56516
2528.99/2535.63 c #Conflicts: 1744000 | #Constraints: 57516
2528.99/2535.63 c #Conflicts: 1745000 | #Constraints: 58516
2528.99/2535.63 c #Conflicts: 1746000 | #Constraints: 59516
2528.99/2535.63 c INPROCESSING
2528.99/2535.63 c GARBAGE COLLECT
2528.99/2535.63 c rational objective 3
2592.12/2598.99 c #Conflicts: 1747000 | #Constraints: 34285
2592.12/2598.99 c #Conflicts: 1748000 | #Constraints: 35285
2592.12/2598.99 c #Conflicts: 1749000 | #Constraints: 36285
2592.12/2598.99 c #Conflicts: 1750000 | #Constraints: 37285
2592.12/2598.99 c #Conflicts: 1751000 | #Constraints: 38286
2592.12/2598.99 c #Conflicts: 1752000 | #Constraints: 39287
2592.12/2598.99 c #Conflicts: 1753000 | #Constraints: 40287
2592.12/2598.99 c #Conflicts: 1754000 | #Constraints: 41287
2592.12/2598.99 c #Conflicts: 1755000 | #Constraints: 42287
2592.12/2598.99 c #Conflicts: 1756000 | #Constraints: 43287
2592.12/2598.99 c #Conflicts: 1757000 | #Constraints: 44287
2592.12/2598.99 c #Conflicts: 1758000 | #Constraints: 45287
2592.12/2598.99 c #Conflicts: 1759000 | #Constraints: 46288
2592.12/2598.99 c #Conflicts: 1760000 | #Constraints: 47288
2592.12/2598.99 c #Conflicts: 1761000 | #Constraints: 48288
2592.12/2598.99 c #Conflicts: 1762000 | #Constraints: 49288
2592.12/2598.99 c #Conflicts: 1763000 | #Constraints: 50288
2592.12/2598.99 c #Conflicts: 1764000 | #Constraints: 51289
2592.12/2598.99 c #Conflicts: 1765000 | #Constraints: 52290
2592.12/2598.99 c #Conflicts: 1766000 | #Constraints: 53291
2592.12/2598.99 c #Conflicts: 1767000 | #Constraints: 54292
2592.12/2598.99 c #Conflicts: 1768000 | #Constraints: 55292
2592.12/2598.99 c #Conflicts: 1769000 | #Constraints: 56292
2592.12/2598.99 c #Conflicts: 1770000 | #Constraints: 57293
2592.12/2598.99 c #Conflicts: 1771000 | #Constraints: 58293
2592.12/2598.99 c #Conflicts: 1772000 | #Constraints: 59293
2592.12/2598.99 c #Conflicts: 1773000 | #Constraints: 60294
2592.12/2598.99 c INPROCESSING
2592.12/2598.99 c GARBAGE COLLECT
2592.12/2598.99 c rational objective 3
2645.68/2652.61 c #Conflicts: 1774000 | #Constraints: 34936
2645.68/2652.61 c #Conflicts: 1775000 | #Constraints: 35936
2645.68/2652.61 c #Conflicts: 1776000 | #Constraints: 36937
2645.68/2652.61 c #Conflicts: 1777000 | #Constraints: 37938
2645.68/2652.61 c #Conflicts: 1778000 | #Constraints: 38940
2645.68/2652.61 c #Conflicts: 1779000 | #Constraints: 39941
2645.68/2652.61 c #Conflicts: 1780000 | #Constraints: 40941
2645.68/2652.61 c #Conflicts: 1781000 | #Constraints: 41942
2645.68/2652.61 c #Conflicts: 1782000 | #Constraints: 42942
2645.68/2652.61 c #Conflicts: 1783000 | #Constraints: 43943
2645.68/2652.61 c #Conflicts: 1784000 | #Constraints: 44943
2645.68/2652.61 c #Conflicts: 1785000 | #Constraints: 45943
2645.68/2652.61 c #Conflicts: 1786000 | #Constraints: 46944
2645.68/2652.61 c #Conflicts: 1787000 | #Constraints: 47944
2645.68/2652.61 c #Conflicts: 1788000 | #Constraints: 48946
2645.68/2652.61 c #Conflicts: 1789000 | #Constraints: 49946
2645.68/2652.61 c #Conflicts: 1790000 | #Constraints: 50946
2645.68/2652.61 c #Conflicts: 1791000 | #Constraints: 51946
2645.68/2652.61 c #Conflicts: 1792000 | #Constraints: 52947
2645.68/2652.61 c #Conflicts: 1793000 | #Constraints: 53947
2645.68/2652.61 c #Conflicts: 1794000 | #Constraints: 54948
2645.68/2652.61 c #Conflicts: 1795000 | #Constraints: 55948
2645.68/2652.61 c #Conflicts: 1796000 | #Constraints: 56950
2645.68/2652.61 c #Conflicts: 1797000 | #Constraints: 57952
2645.68/2652.61 c #Conflicts: 1798000 | #Constraints: 58952
2645.68/2652.61 c #Conflicts: 1799000 | #Constraints: 59952
2645.68/2652.61 c #Conflicts: 1800000 | #Constraints: 60952
2645.68/2652.61 c INPROCESSING
2645.68/2652.61 c GARBAGE COLLECT
2645.68/2652.61 c rational objective 3
2702.34/2709.43 c #Conflicts: 1801000 | #Constraints: 35327
2702.34/2709.43 c #Conflicts: 1802000 | #Constraints: 36327
2702.34/2709.43 c #Conflicts: 1803000 | #Constraints: 37329
2702.34/2709.43 c #Conflicts: 1804000 | #Constraints: 38330
2702.34/2709.43 c #Conflicts: 1805000 | #Constraints: 39332
2702.34/2709.43 c #Conflicts: 1806000 | #Constraints: 40334
2702.34/2709.43 c #Conflicts: 1807000 | #Constraints: 41339
2702.34/2709.43 c #Conflicts: 1808000 | #Constraints: 42340
2702.34/2709.43 c #Conflicts: 1809000 | #Constraints: 43341
2702.34/2709.43 c #Conflicts: 1810000 | #Constraints: 44342
2702.34/2709.43 c #Conflicts: 1811000 | #Constraints: 45342
2702.34/2709.43 c #Conflicts: 1812000 | #Constraints: 46342
2702.34/2709.43 c #Conflicts: 1813000 | #Constraints: 47343
2702.34/2709.43 c #Conflicts: 1814000 | #Constraints: 48345
2702.34/2709.43 c #Conflicts: 1815000 | #Constraints: 49347
2702.34/2709.43 c #Conflicts: 1816000 | #Constraints: 50347
2702.34/2709.43 c #Conflicts: 1817000 | #Constraints: 51347
2702.34/2709.43 c #Conflicts: 1818000 | #Constraints: 52347
2702.34/2709.43 c #Conflicts: 1819000 | #Constraints: 53347
2702.34/2709.43 c #Conflicts: 1820000 | #Constraints: 54348
2702.34/2709.43 c #Conflicts: 1821000 | #Constraints: 55350
2702.34/2709.43 c #Conflicts: 1822000 | #Constraints: 56350
2702.34/2709.43 c #Conflicts: 1823000 | #Constraints: 57350
2702.34/2709.43 c #Conflicts: 1824000 | #Constraints: 58351
2702.34/2709.43 c #Conflicts: 1825000 | #Constraints: 59351
2702.34/2709.43 c #Conflicts: 1826000 | #Constraints: 60351
2702.34/2709.43 c #Conflicts: 1827000 | #Constraints: 61351
2702.34/2709.43 c INPROCESSING
2702.34/2709.43 c GARBAGE COLLECT
2702.34/2709.43 c rational objective 3
2755.99/2763.20 c #Conflicts: 1828000 | #Constraints: 35501
2755.99/2763.20 c #Conflicts: 1829000 | #Constraints: 36501
2755.99/2763.20 c #Conflicts: 1830000 | #Constraints: 37503
2755.99/2763.20 c #Conflicts: 1831000 | #Constraints: 38506
2755.99/2763.20 c #Conflicts: 1832000 | #Constraints: 39508
2755.99/2763.20 c #Conflicts: 1833000 | #Constraints: 40510
2755.99/2763.20 c #Conflicts: 1834000 | #Constraints: 41510
2755.99/2763.20 c #Conflicts: 1835000 | #Constraints: 42512
2755.99/2763.20 c #Conflicts: 1836000 | #Constraints: 43514
2755.99/2763.20 c #Conflicts: 1837000 | #Constraints: 44514
2755.99/2763.20 c #Conflicts: 1838000 | #Constraints: 45514
2755.99/2763.20 c #Conflicts: 1839000 | #Constraints: 46514
2755.99/2763.20 c #Conflicts: 1840000 | #Constraints: 47514
2755.99/2763.20 c #Conflicts: 1841000 | #Constraints: 48514
2755.99/2763.20 c #Conflicts: 1842000 | #Constraints: 49515
2755.99/2763.20 c #Conflicts: 1843000 | #Constraints: 50515
2755.99/2763.20 c #Conflicts: 1844000 | #Constraints: 51515
2755.99/2763.20 c #Conflicts: 1845000 | #Constraints: 52515
2755.99/2763.20 c #Conflicts: 1846000 | #Constraints: 53516
2755.99/2763.20 c #Conflicts: 1847000 | #Constraints: 54518
2755.99/2763.20 c #Conflicts: 1848000 | #Constraints: 55520
2755.99/2763.20 c #Conflicts: 1849000 | #Constraints: 56521
2755.99/2763.20 c #Conflicts: 1850000 | #Constraints: 57524
2755.99/2763.20 c #Conflicts: 1851000 | #Constraints: 58526
2755.99/2763.20 c #Conflicts: 1852000 | #Constraints: 59528
2755.99/2763.20 c #Conflicts: 1853000 | #Constraints: 60528
2755.99/2763.20 c #Conflicts: 1854000 | #Constraints: 61528
2755.99/2763.20 c INPROCESSING
2755.99/2763.20 c GARBAGE COLLECT
2755.99/2763.20 c rational objective 3
2811.65/2819.01 c #Conflicts: 1855000 | #Constraints: 35505
2811.65/2819.01 c #Conflicts: 1856000 | #Constraints: 36507
2811.65/2819.01 c #Conflicts: 1857000 | #Constraints: 37507
2811.65/2819.01 c #Conflicts: 1858000 | #Constraints: 38508
2811.65/2819.01 c #Conflicts: 1859000 | #Constraints: 39509
2811.65/2819.01 c #Conflicts: 1860000 | #Constraints: 40509
2811.65/2819.01 c #Conflicts: 1861000 | #Constraints: 41510
2811.65/2819.01 c #Conflicts: 1862000 | #Constraints: 42510
2811.65/2819.01 c #Conflicts: 1863000 | #Constraints: 43510
2811.65/2819.01 c #Conflicts: 1864000 | #Constraints: 44511
2811.65/2819.01 c #Conflicts: 1865000 | #Constraints: 45511
2811.65/2819.01 c #Conflicts: 1866000 | #Constraints: 46512
2811.65/2819.01 c #Conflicts: 1867000 | #Constraints: 47512
2811.65/2819.01 c #Conflicts: 1868000 | #Constraints: 48512
2811.65/2819.01 c #Conflicts: 1869000 | #Constraints: 49512
2811.65/2819.01 c #Conflicts: 1870000 | #Constraints: 50512
2811.65/2819.01 c #Conflicts: 1871000 | #Constraints: 51512
2811.65/2819.01 c #Conflicts: 1872000 | #Constraints: 52512
2811.65/2819.01 c #Conflicts: 1873000 | #Constraints: 53513
2811.65/2819.01 c #Conflicts: 1874000 | #Constraints: 54513
2811.65/2819.01 c #Conflicts: 1875000 | #Constraints: 55513
2811.65/2819.01 c #Conflicts: 1876000 | #Constraints: 56514
2811.65/2819.01 c #Conflicts: 1877000 | #Constraints: 57515
2811.65/2819.01 c #Conflicts: 1878000 | #Constraints: 58515
2811.65/2819.01 c #Conflicts: 1879000 | #Constraints: 59515
2811.65/2819.01 c #Conflicts: 1880000 | #Constraints: 60515
2811.65/2819.01 c #Conflicts: 1881000 | #Constraints: 61515
2811.65/2819.01 c INPROCESSING
2811.65/2819.01 c GARBAGE COLLECT
2811.65/2819.01 c rational objective 3
2867.21/2874.74 c #Conflicts: 1882000 | #Constraints: 35282
2867.21/2874.74 c #Conflicts: 1883000 | #Constraints: 36282
2867.21/2874.74 c #Conflicts: 1884000 | #Constraints: 37282
2867.21/2874.74 c #Conflicts: 1885000 | #Constraints: 38283
2867.21/2874.74 c #Conflicts: 1886000 | #Constraints: 39283
2867.21/2874.74 c #Conflicts: 1887000 | #Constraints: 40285
2867.21/2874.74 c #Conflicts: 1888000 | #Constraints: 41286
2867.21/2874.74 c #Conflicts: 1889000 | #Constraints: 42286
2867.21/2874.74 c #Conflicts: 1890000 | #Constraints: 43288
2867.21/2874.74 c #Conflicts: 1891000 | #Constraints: 44291
2867.21/2874.74 c #Conflicts: 1892000 | #Constraints: 45291
2867.21/2874.74 c #Conflicts: 1893000 | #Constraints: 46291
2867.21/2874.74 c #Conflicts: 1894000 | #Constraints: 47291
2867.21/2874.74 c #Conflicts: 1895000 | #Constraints: 48291
2867.21/2874.74 c #Conflicts: 1896000 | #Constraints: 49291
2867.21/2874.74 c #Conflicts: 1897000 | #Constraints: 50291
2867.21/2874.74 c #Conflicts: 1898000 | #Constraints: 51292
2867.21/2874.74 c #Conflicts: 1899000 | #Constraints: 52292
2867.21/2874.74 c #Conflicts: 1900000 | #Constraints: 53293
2867.21/2874.74 c #Conflicts: 1901000 | #Constraints: 54293
2867.21/2874.74 c #Conflicts: 1902000 | #Constraints: 55293
2867.21/2874.74 c #Conflicts: 1903000 | #Constraints: 56294
2867.21/2874.74 c #Conflicts: 1904000 | #Constraints: 57295
2867.21/2874.74 c #Conflicts: 1905000 | #Constraints: 58295
2867.21/2874.74 c #Conflicts: 1906000 | #Constraints: 59295
2867.21/2874.74 c #Conflicts: 1907000 | #Constraints: 60295
2867.21/2874.74 c #Conflicts: 1908000 | #Constraints: 61295
2867.21/2874.74 c #Conflicts: 1909000 | #Constraints: 62295
2867.21/2874.74 c INPROCESSING
2867.21/2874.74 c GARBAGE COLLECT
2867.21/2874.74 c rational objective 3
2927.36/2935.06 c #Conflicts: 1910000 | #Constraints: 35842
2927.36/2935.06 c #Conflicts: 1911000 | #Constraints: 36843
2927.36/2935.06 c #Conflicts: 1912000 | #Constraints: 37844
2927.36/2935.06 c #Conflicts: 1913000 | #Constraints: 38844
2927.36/2935.06 c #Conflicts: 1914000 | #Constraints: 39845
2927.36/2935.06 c #Conflicts: 1915000 | #Constraints: 40845
2927.36/2935.06 c #Conflicts: 1916000 | #Constraints: 41845
2927.36/2935.06 c #Conflicts: 1917000 | #Constraints: 42845
2927.36/2935.06 c #Conflicts: 1918000 | #Constraints: 43845
2927.36/2935.06 c #Conflicts: 1919000 | #Constraints: 44845
2927.36/2935.06 c #Conflicts: 1920000 | #Constraints: 45846
2927.36/2935.06 c #Conflicts: 1921000 | #Constraints: 46846
2927.36/2935.06 c #Conflicts: 1922000 | #Constraints: 47846
2927.36/2935.06 c #Conflicts: 1923000 | #Constraints: 48846
2927.36/2935.06 c #Conflicts: 1924000 | #Constraints: 49846
2927.36/2935.06 c #Conflicts: 1925000 | #Constraints: 50847
2927.36/2935.06 c #Conflicts: 1926000 | #Constraints: 51847
2927.36/2935.06 c #Conflicts: 1927000 | #Constraints: 52848
2927.36/2935.06 c #Conflicts: 1928000 | #Constraints: 53848
2927.36/2935.06 c #Conflicts: 1929000 | #Constraints: 54848
2927.36/2935.06 c #Conflicts: 1930000 | #Constraints: 55848
2927.36/2935.06 c #Conflicts: 1931000 | #Constraints: 56848
2927.36/2935.06 c #Conflicts: 1932000 | #Constraints: 57848
2927.36/2935.06 c #Conflicts: 1933000 | #Constraints: 58848
2927.36/2935.06 c #Conflicts: 1934000 | #Constraints: 59849
2927.36/2935.06 c #Conflicts: 1935000 | #Constraints: 60849
2927.36/2935.06 c #Conflicts: 1936000 | #Constraints: 61850
2927.36/2935.06 c #Conflicts: 1937000 | #Constraints: 62850
2927.36/2935.06 c INPROCESSING
2927.36/2935.06 c GARBAGE COLLECT
2927.36/2935.06 c rational objective 3
2986.80/2994.64 c #Conflicts: 1938000 | #Constraints: 36201
2986.80/2994.64 c #Conflicts: 1939000 | #Constraints: 37202
2986.80/2994.64 c #Conflicts: 1940000 | #Constraints: 38202
2986.80/2994.64 c #Conflicts: 1941000 | #Constraints: 39202
2986.80/2994.64 c #Conflicts: 1942000 | #Constraints: 40203
2986.80/2994.64 c #Conflicts: 1943000 | #Constraints: 41203
2986.80/2994.64 c #Conflicts: 1944000 | #Constraints: 42203
2986.80/2994.64 c #Conflicts: 1945000 | #Constraints: 43203
2986.80/2994.64 c #Conflicts: 1946000 | #Constraints: 44203
2986.80/2994.64 c #Conflicts: 1947000 | #Constraints: 45204
2986.80/2994.64 c #Conflicts: 1948000 | #Constraints: 46204
2986.80/2994.64 c #Conflicts: 1949000 | #Constraints: 47204
2986.80/2994.64 c #Conflicts: 1950000 | #Constraints: 48204
2986.80/2994.64 c #Conflicts: 1951000 | #Constraints: 49204
2986.80/2994.64 c #Conflicts: 1952000 | #Constraints: 50204
2986.80/2994.64 c #Conflicts: 1953000 | #Constraints: 51204
2986.80/2994.64 c #Conflicts: 1954000 | #Constraints: 52204
2986.80/2994.64 c #Conflicts: 1955000 | #Constraints: 53204
2986.80/2994.64 c #Conflicts: 1956000 | #Constraints: 54204
2986.80/2994.64 c #Conflicts: 1957000 | #Constraints: 55205
2986.80/2994.64 c #Conflicts: 1958000 | #Constraints: 56208
2986.80/2994.64 c #Conflicts: 1959000 | #Constraints: 57208
2986.80/2994.64 c #Conflicts: 1960000 | #Constraints: 58209
2986.80/2994.64 c #Conflicts: 1961000 | #Constraints: 59211
2986.80/2994.64 c #Conflicts: 1962000 | #Constraints: 60211
2986.80/2994.64 c #Conflicts: 1963000 | #Constraints: 61211
2986.80/2994.64 c #Conflicts: 1964000 | #Constraints: 62211
2986.80/2994.64 c #Conflicts: 1965000 | #Constraints: 63211
2986.80/2994.64 c INPROCESSING
2986.80/2994.64 c GARBAGE COLLECT
2986.80/2994.64 c rational objective 3
3055.92/3063.93 c #Conflicts: 1966000 | #Constraints: 36418
3055.92/3063.93 c #Conflicts: 1967000 | #Constraints: 37419
3055.92/3063.93 c #Conflicts: 1968000 | #Constraints: 38421
3055.92/3063.93 c #Conflicts: 1969000 | #Constraints: 39422
3055.92/3063.93 c #Conflicts: 1970000 | #Constraints: 40426
3055.92/3063.93 c #Conflicts: 1971000 | #Constraints: 41427
3055.92/3063.93 c #Conflicts: 1972000 | #Constraints: 42429
3055.92/3063.93 c #Conflicts: 1973000 | #Constraints: 43431
3055.92/3063.93 c #Conflicts: 1974000 | #Constraints: 44432
3055.92/3063.93 c #Conflicts: 1975000 | #Constraints: 45433
3055.92/3063.93 c #Conflicts: 1976000 | #Constraints: 46435
3055.92/3063.93 c #Conflicts: 1977000 | #Constraints: 47436
3055.92/3063.93 c #Conflicts: 1978000 | #Constraints: 48437
3055.92/3063.93 c #Conflicts: 1979000 | #Constraints: 49437
3055.92/3063.93 c #Conflicts: 1980000 | #Constraints: 50437
3055.92/3063.93 c #Conflicts: 1981000 | #Constraints: 51438
3055.92/3063.93 c #Conflicts: 1982000 | #Constraints: 52439
3055.92/3063.93 c #Conflicts: 1983000 | #Constraints: 53439
3055.92/3063.93 c #Conflicts: 1984000 | #Constraints: 54440
3055.92/3063.93 c #Conflicts: 1985000 | #Constraints: 55440
3055.92/3063.93 c #Conflicts: 1986000 | #Constraints: 56442
3055.92/3063.93 c #Conflicts: 1987000 | #Constraints: 57444
3055.92/3063.93 c #Conflicts: 1988000 | #Constraints: 58444
3055.92/3063.93 c #Conflicts: 1989000 | #Constraints: 59446
3055.92/3063.93 c #Conflicts: 1990000 | #Constraints: 60446
3055.92/3063.93 c #Conflicts: 1991000 | #Constraints: 61446
3055.92/3063.93 c #Conflicts: 1992000 | #Constraints: 62446
3055.92/3063.93 c #Conflicts: 1993000 | #Constraints: 63446
3055.92/3063.93 c INPROCESSING
3055.92/3063.93 c GARBAGE COLLECT
3055.92/3063.93 c rational objective 3
3120.04/3128.23 c #Conflicts: 1994000 | #Constraints: 36458
3120.04/3128.23 c #Conflicts: 1995000 | #Constraints: 37459
3120.04/3128.23 c #Conflicts: 1996000 | #Constraints: 38462
3120.04/3128.23 c #Conflicts: 1997000 | #Constraints: 39463
3120.04/3128.23 c #Conflicts: 1998000 | #Constraints: 40464
3120.04/3128.23 c #Conflicts: 1999000 | #Constraints: 41464
3120.04/3128.23 c #Conflicts: 2000000 | #Constraints: 42465
3120.04/3128.23 c #Conflicts: 2001000 | #Constraints: 43470
3120.04/3128.23 c #Conflicts: 2002000 | #Constraints: 44472
3120.04/3128.23 c #Conflicts: 2003000 | #Constraints: 45474
3120.04/3128.23 c #Conflicts: 2004000 | #Constraints: 46476
3120.04/3128.23 c #Conflicts: 2005000 | #Constraints: 47479
3120.04/3128.23 c #Conflicts: 2006000 | #Constraints: 48481
3120.04/3128.23 c #Conflicts: 2007000 | #Constraints: 49484
3120.04/3128.23 c #Conflicts: 2008000 | #Constraints: 50486
3120.04/3128.23 c #Conflicts: 2009000 | #Constraints: 51486
3120.04/3128.23 c #Conflicts: 2010000 | #Constraints: 52488
3120.04/3128.23 c #Conflicts: 2011000 | #Constraints: 53488
3120.04/3128.23 c #Conflicts: 2012000 | #Constraints: 54491
3120.04/3128.23 c #Conflicts: 2013000 | #Constraints: 55492
3120.04/3128.23 c #Conflicts: 2014000 | #Constraints: 56492
3120.04/3128.23 c #Conflicts: 2015000 | #Constraints: 57492
3120.04/3128.23 c #Conflicts: 2016000 | #Constraints: 58492
3120.04/3128.23 c #Conflicts: 2017000 | #Constraints: 59492
3120.04/3128.23 c #Conflicts: 2018000 | #Constraints: 60494
3120.04/3128.23 c #Conflicts: 2019000 | #Constraints: 61494
3120.04/3128.23 c #Conflicts: 2020000 | #Constraints: 62494
3120.04/3128.23 c #Conflicts: 2021000 | #Constraints: 63494
3120.04/3128.23 c INPROCESSING
3120.04/3128.23 c GARBAGE COLLECT
3120.04/3128.23 c rational objective 3
3175.91/3184.22 c #Conflicts: 2022000 | #Constraints: 36162
3175.91/3184.22 c #Conflicts: 2023000 | #Constraints: 37162
3175.91/3184.22 c #Conflicts: 2024000 | #Constraints: 38164
3175.91/3184.22 c #Conflicts: 2025000 | #Constraints: 39165
3175.91/3184.22 c #Conflicts: 2026000 | #Constraints: 40166
3175.91/3184.22 c #Conflicts: 2027000 | #Constraints: 41166
3175.91/3184.22 c #Conflicts: 2028000 | #Constraints: 42167
3175.91/3184.22 c #Conflicts: 2029000 | #Constraints: 43167
3175.91/3184.22 c #Conflicts: 2030000 | #Constraints: 44169
3175.91/3184.22 c #Conflicts: 2031000 | #Constraints: 45170
3175.91/3184.22 c #Conflicts: 2032000 | #Constraints: 46173
3175.91/3184.22 c #Conflicts: 2033000 | #Constraints: 47174
3175.91/3184.22 c #Conflicts: 2034000 | #Constraints: 48175
3175.91/3184.22 c #Conflicts: 2035000 | #Constraints: 49176
3175.91/3184.22 c #Conflicts: 2036000 | #Constraints: 50176
3175.91/3184.22 c #Conflicts: 2037000 | #Constraints: 51179
3175.91/3184.22 c #Conflicts: 2038000 | #Constraints: 52182
3175.91/3184.22 c #Conflicts: 2039000 | #Constraints: 53186
3175.91/3184.22 c #Conflicts: 2040000 | #Constraints: 54187
3175.91/3184.22 c #Conflicts: 2041000 | #Constraints: 55188
3175.91/3184.22 c #Conflicts: 2042000 | #Constraints: 56189
3175.91/3184.22 c #Conflicts: 2043000 | #Constraints: 57189
3175.91/3184.22 c #Conflicts: 2044000 | #Constraints: 58189
3175.91/3184.22 c #Conflicts: 2045000 | #Constraints: 59190
3175.91/3184.22 c #Conflicts: 2046000 | #Constraints: 60190
3175.91/3184.22 c #Conflicts: 2047000 | #Constraints: 61190
3175.91/3184.22 c #Conflicts: 2048000 | #Constraints: 62191
3175.91/3184.22 c #Conflicts: 2049000 | #Constraints: 63192
3175.91/3184.22 c #Conflicts: 2050000 | #Constraints: 64194
3175.91/3184.22 c INPROCESSING
3175.91/3184.22 c GARBAGE COLLECT
3175.91/3184.22 c rational objective 3
3241.74/3250.29 c #Conflicts: 2051000 | #Constraints: 36723
3241.74/3250.29 c #Conflicts: 2052000 | #Constraints: 37724
3241.74/3250.29 c #Conflicts: 2053000 | #Constraints: 38724
3241.74/3250.29 c #Conflicts: 2054000 | #Constraints: 39726
3241.74/3250.29 c #Conflicts: 2055000 | #Constraints: 40728
3241.74/3250.29 c #Conflicts: 2056000 | #Constraints: 41733
3241.74/3250.29 c #Conflicts: 2057000 | #Constraints: 42734
3241.74/3250.29 c #Conflicts: 2058000 | #Constraints: 43735
3241.74/3250.29 c #Conflicts: 2059000 | #Constraints: 44738
3241.74/3250.29 c #Conflicts: 2060000 | #Constraints: 45741
3241.74/3250.29 c #Conflicts: 2061000 | #Constraints: 46741
3241.74/3250.29 c #Conflicts: 2062000 | #Constraints: 47743
3241.74/3250.29 c #Conflicts: 2063000 | #Constraints: 48745
3241.74/3250.29 c #Conflicts: 2064000 | #Constraints: 49746
3241.74/3250.29 c #Conflicts: 2065000 | #Constraints: 50749
3241.74/3250.29 c #Conflicts: 2066000 | #Constraints: 51750
3241.74/3250.29 c #Conflicts: 2067000 | #Constraints: 52750
3241.74/3250.29 c #Conflicts: 2068000 | #Constraints: 53751
3241.74/3250.29 c #Conflicts: 2069000 | #Constraints: 54753
3241.74/3250.29 c #Conflicts: 2070000 | #Constraints: 55754
3241.74/3250.29 c #Conflicts: 2071000 | #Constraints: 56755
3241.74/3250.29 c #Conflicts: 2072000 | #Constraints: 57755
3241.74/3250.29 c #Conflicts: 2073000 | #Constraints: 58756
3241.74/3250.29 c #Conflicts: 2074000 | #Constraints: 59758
3241.74/3250.29 c #Conflicts: 2075000 | #Constraints: 60758
3241.74/3250.29 c #Conflicts: 2076000 | #Constraints: 61759
3241.74/3250.29 c #Conflicts: 2077000 | #Constraints: 62759
3241.74/3250.29 c #Conflicts: 2078000 | #Constraints: 63759
3241.74/3250.29 c #Conflicts: 2079000 | #Constraints: 64760
3241.74/3250.29 c INPROCESSING
3241.74/3250.29 c GARBAGE COLLECT
3241.74/3250.29 c rational objective 3
3312.26/3320.94 c #Conflicts: 2080000 | #Constraints: 37154
3312.26/3320.94 c #Conflicts: 2081000 | #Constraints: 38154
3312.26/3320.94 c #Conflicts: 2082000 | #Constraints: 39154
3312.26/3320.94 c #Conflicts: 2083000 | #Constraints: 40157
3312.26/3320.94 c #Conflicts: 2084000 | #Constraints: 41159
3312.26/3320.94 c #Conflicts: 2085000 | #Constraints: 42161
3312.26/3320.94 c #Conflicts: 2086000 | #Constraints: 43162
3312.26/3320.94 c #Conflicts: 2087000 | #Constraints: 44164
3312.26/3320.94 c #Conflicts: 2088000 | #Constraints: 45166
3312.26/3320.94 c #Conflicts: 2089000 | #Constraints: 46168
3312.26/3320.94 c #Conflicts: 2090000 | #Constraints: 47171
3312.26/3320.94 c #Conflicts: 2091000 | #Constraints: 48175
3312.26/3320.94 c #Conflicts: 2092000 | #Constraints: 49178
3312.26/3320.94 c #Conflicts: 2093000 | #Constraints: 50178
3312.26/3320.94 c #Conflicts: 2094000 | #Constraints: 51179
3312.26/3320.94 c #Conflicts: 2095000 | #Constraints: 52180
3312.26/3320.94 c #Conflicts: 2096000 | #Constraints: 53181
3312.26/3320.94 c #Conflicts: 2097000 | #Constraints: 54182
3312.26/3320.94 c #Conflicts: 2098000 | #Constraints: 55183
3312.26/3320.94 c #Conflicts: 2099000 | #Constraints: 56184
3312.26/3320.94 c #Conflicts: 2100000 | #Constraints: 57184
3312.26/3320.94 c #Conflicts: 2101000 | #Constraints: 58185
3312.26/3320.94 c #Conflicts: 2102000 | #Constraints: 59185
3312.26/3320.94 c #Conflicts: 2103000 | #Constraints: 60186
3312.26/3320.94 c #Conflicts: 2104000 | #Constraints: 61186
3312.26/3320.94 c #Conflicts: 2105000 | #Constraints: 62187
3312.26/3320.94 c #Conflicts: 2106000 | #Constraints: 63188
3312.26/3320.94 c #Conflicts: 2107000 | #Constraints: 64189
3312.26/3320.94 c #Conflicts: 2108000 | #Constraints: 65190
3312.26/3320.94 c INPROCESSING
3312.26/3320.94 c GARBAGE COLLECT
3312.26/3320.94 c rational objective 3
3367.32/3376.10 c #Conflicts: 2109000 | #Constraints: 37338
3367.32/3376.10 c #Conflicts: 2110000 | #Constraints: 38338
3367.32/3376.10 c #Conflicts: 2111000 | #Constraints: 39338
3367.32/3376.10 c #Conflicts: 2112000 | #Constraints: 40338
3367.32/3376.10 c #Conflicts: 2113000 | #Constraints: 41339
3367.32/3376.10 c #Conflicts: 2114000 | #Constraints: 42340
3367.32/3376.10 c #Conflicts: 2115000 | #Constraints: 43341
3367.32/3376.10 c #Conflicts: 2116000 | #Constraints: 44342
3367.32/3376.10 c #Conflicts: 2117000 | #Constraints: 45342
3367.32/3376.10 c #Conflicts: 2118000 | #Constraints: 46342
3367.32/3376.10 c #Conflicts: 2119000 | #Constraints: 47343
3367.32/3376.10 c #Conflicts: 2120000 | #Constraints: 48343
3367.32/3376.10 c #Conflicts: 2121000 | #Constraints: 49344
3367.32/3376.10 c #Conflicts: 2122000 | #Constraints: 50344
3367.32/3376.10 c #Conflicts: 2123000 | #Constraints: 51345
3367.32/3376.10 c #Conflicts: 2124000 | #Constraints: 52347
3367.32/3376.10 c #Conflicts: 2125000 | #Constraints: 53349
3367.32/3376.10 c #Conflicts: 2126000 | #Constraints: 54351
3367.32/3376.10 c #Conflicts: 2127000 | #Constraints: 55353
3367.32/3376.10 c #Conflicts: 2128000 | #Constraints: 56354
3367.32/3376.10 c #Conflicts: 2129000 | #Constraints: 57354
3367.32/3376.10 c #Conflicts: 2130000 | #Constraints: 58355
3367.32/3376.10 c #Conflicts: 2131000 | #Constraints: 59356
3367.32/3376.10 c #Conflicts: 2132000 | #Constraints: 60357
3367.32/3376.10 c #Conflicts: 2133000 | #Constraints: 61358
3367.32/3376.10 c #Conflicts: 2134000 | #Constraints: 62358
3367.32/3376.10 c #Conflicts: 2135000 | #Constraints: 63358
3367.32/3376.10 c #Conflicts: 2136000 | #Constraints: 64358
3367.32/3376.10 c #Conflicts: 2137000 | #Constraints: 65359
3367.32/3376.10 c INPROCESSING
3367.32/3376.10 c GARBAGE COLLECT
3367.32/3376.10 c rational objective 3
3444.62/3453.66 c #Conflicts: 2138000 | #Constraints: 37335
3444.62/3453.66 c #Conflicts: 2139000 | #Constraints: 38337
3444.62/3453.66 c #Conflicts: 2140000 | #Constraints: 39340
3444.62/3453.66 c #Conflicts: 2141000 | #Constraints: 40342
3444.62/3453.66 c #Conflicts: 2142000 | #Constraints: 41346
3444.62/3453.66 c #Conflicts: 2143000 | #Constraints: 42348
3444.62/3453.66 c #Conflicts: 2144000 | #Constraints: 43351
3444.62/3453.66 c #Conflicts: 2145000 | #Constraints: 44354
3444.62/3453.66 c #Conflicts: 2146000 | #Constraints: 45356
3444.62/3453.66 c #Conflicts: 2147000 | #Constraints: 46358
3444.62/3453.66 c #Conflicts: 2148000 | #Constraints: 47359
3444.62/3453.66 c #Conflicts: 2149000 | #Constraints: 48359
3444.62/3453.66 c #Conflicts: 2150000 | #Constraints: 49359
3444.62/3453.66 c #Conflicts: 2151000 | #Constraints: 50359
3444.62/3453.66 c #Conflicts: 2152000 | #Constraints: 51359
3444.62/3453.66 c #Conflicts: 2153000 | #Constraints: 52361
3444.62/3453.66 c #Conflicts: 2154000 | #Constraints: 53362
3444.62/3453.66 c #Conflicts: 2155000 | #Constraints: 54363
3444.62/3453.66 c #Conflicts: 2156000 | #Constraints: 55364
3444.62/3453.66 c #Conflicts: 2157000 | #Constraints: 56365
3444.62/3453.66 c #Conflicts: 2158000 | #Constraints: 57366
3444.62/3453.66 c #Conflicts: 2159000 | #Constraints: 58367
3444.62/3453.66 c #Conflicts: 2160000 | #Constraints: 59367
3444.62/3453.66 c #Conflicts: 2161000 | #Constraints: 60367
3444.62/3453.66 c #Conflicts: 2162000 | #Constraints: 61367
3444.62/3453.66 c #Conflicts: 2163000 | #Constraints: 62367
3444.62/3453.66 c #Conflicts: 2164000 | #Constraints: 63368
3444.62/3453.66 c #Conflicts: 2165000 | #Constraints: 64369
3444.62/3453.66 c #Conflicts: 2166000 | #Constraints: 65369
3444.62/3453.66 c INPROCESSING
3444.62/3453.66 c GARBAGE COLLECT
3444.62/3453.66 c rational objective 3
3519.83/3529.08 c #Conflicts: 2167000 | #Constraints: 37125
3519.83/3529.08 c #Conflicts: 2168000 | #Constraints: 38125
3519.83/3529.08 c #Conflicts: 2169000 | #Constraints: 39125
3519.83/3529.08 c #Conflicts: 2170000 | #Constraints: 40126
3519.83/3529.08 c #Conflicts: 2171000 | #Constraints: 41126
3519.83/3529.08 c #Conflicts: 2172000 | #Constraints: 42126
3519.83/3529.08 c #Conflicts: 2173000 | #Constraints: 43128
3519.83/3529.08 c #Conflicts: 2174000 | #Constraints: 44130
3519.83/3529.08 c #Conflicts: 2175000 | #Constraints: 45132
3519.83/3529.08 c #Conflicts: 2176000 | #Constraints: 46134
3519.83/3529.08 c #Conflicts: 2177000 | #Constraints: 47134
3519.83/3529.08 c #Conflicts: 2178000 | #Constraints: 48134
3519.83/3529.08 c #Conflicts: 2179000 | #Constraints: 49134
3519.83/3529.08 c #Conflicts: 2180000 | #Constraints: 50136
3519.83/3529.08 c #Conflicts: 2181000 | #Constraints: 51138
3519.83/3529.08 c #Conflicts: 2182000 | #Constraints: 52138
3519.83/3529.08 c #Conflicts: 2183000 | #Constraints: 53138
3519.83/3529.08 c #Conflicts: 2184000 | #Constraints: 54138
3519.83/3529.08 c #Conflicts: 2185000 | #Constraints: 55138
3519.83/3529.08 c #Conflicts: 2186000 | #Constraints: 56140
3519.83/3529.08 c #Conflicts: 2187000 | #Constraints: 57141
3519.83/3529.08 c #Conflicts: 2188000 | #Constraints: 58142
3519.83/3529.08 c #Conflicts: 2189000 | #Constraints: 59142
3519.83/3529.08 c #Conflicts: 2190000 | #Constraints: 60142
3519.83/3529.08 c #Conflicts: 2191000 | #Constraints: 61143
3519.83/3529.08 c #Conflicts: 2192000 | #Constraints: 62144
3519.83/3529.08 c #Conflicts: 2193000 | #Constraints: 63144
3519.83/3529.08 c #Conflicts: 2194000 | #Constraints: 64145
3519.83/3529.08 c #Conflicts: 2195000 | #Constraints: 65145
3519.83/3529.08 c #Conflicts: 2196000 | #Constraints: 66146
3519.83/3529.08 c INPROCESSING
3519.83/3529.08 c GARBAGE COLLECT
3519.83/3529.08 c rational objective 3
3595.33/3604.70 c #Conflicts: 2197000 | #Constraints: 37716
3595.33/3604.70 c #Conflicts: 2198000 | #Constraints: 38719
3595.33/3604.70 c #Conflicts: 2199000 | #Constraints: 39721
3595.33/3604.70 c #Conflicts: 2200000 | #Constraints: 40721
3595.33/3604.70 c #Conflicts: 2201000 | #Constraints: 41722
3595.33/3604.70 c #Conflicts: 2202000 | #Constraints: 42722
3595.33/3604.70 c #Conflicts: 2203000 | #Constraints: 43722
3595.33/3604.70 c #Conflicts: 2204000 | #Constraints: 44723
3595.33/3604.70 c #Conflicts: 2205000 | #Constraints: 45724
3595.33/3604.70 c #Conflicts: 2206000 | #Constraints: 46731
3595.33/3604.70 c #Conflicts: 2207000 | #Constraints: 47732
3595.33/3604.70 c #Conflicts: 2208000 | #Constraints: 48734
3595.33/3604.70 c #Conflicts: 2209000 | #Constraints: 49735
3595.33/3604.70 c #Conflicts: 2210000 | #Constraints: 50738
3595.33/3604.70 c #Conflicts: 2211000 | #Constraints: 51741
3595.33/3604.70 c #Conflicts: 2212000 | #Constraints: 52744
3595.33/3604.70 c #Conflicts: 2213000 | #Constraints: 53745
3595.33/3604.70 c #Conflicts: 2214000 | #Constraints: 54745
3595.33/3604.70 c #Conflicts: 2215000 | #Constraints: 55746
3595.33/3604.70 c #Conflicts: 2216000 | #Constraints: 56749
3595.33/3604.70 c #Conflicts: 2217000 | #Constraints: 57750
3595.33/3604.70 c #Conflicts: 2218000 | #Constraints: 58751
3595.33/3604.70 c #Conflicts: 2219000 | #Constraints: 59751
3595.33/3604.70 c #Conflicts: 2220000 | #Constraints: 60751
3595.33/3604.70 c #Conflicts: 2221000 | #Constraints: 61755
3595.33/3604.70 c #Conflicts: 2222000 | #Constraints: 62756
3595.33/3604.70 c #Conflicts: 2223000 | #Constraints: 63759
3595.33/3604.70 c #Conflicts: 2224000 | #Constraints: 64760
3595.33/3604.70 c #Conflicts: 2225000 | #Constraints: 65763
3595.33/3604.70 c #Conflicts: 2226000 | #Constraints: 66764
3595.33/3604.70 c INPROCESSING
3595.33/3604.70 c GARBAGE COLLECT
3595.33/3604.70 c rational objective 3
3600.01/3609.43 c #Conflicts: 2227000 | #Constraints: 38118
3600.01/3609.43 c #Conflicts: 2228000 | #Constraints: 39119
3600.01/3609.43 c #Conflicts: 2229000 | #Constraints: 40120
3600.01/3609.43 c #Conflicts: 2230000 | #Constraints: 41121
3600.01/3609.43 c cpu time 3571.33 s
3600.01/3609.43 c deterministic time 264165524383 2.64e+11
3600.01/3609.43 c optimization time 4.36294 s
3600.01/3609.43 c total solve time 3566.91 s
3600.01/3609.43 c core-guided solve time 1820.54 s
3600.01/3609.43 c propagation time 2351.55 s
3600.01/3609.43 c conflict analysis time 1119.82 s
3600.01/3609.43 c propagations 578769198
3600.01/3609.43 c resolve steps 43890289
3600.01/3609.43 c decisions 3311550
3600.01/3609.43 c conflicts 2230176
3600.01/3609.43 c restarts 4093
3600.01/3609.43 c inprocessing phases 140
3600.01/3609.43 c garbage collections 140 ,( 100.00 )
3600.01/3609.43 c input clauses 10815 ,( 97.98 )
3600.01/3609.43 c input cardinalities 31 ,( 0.28 )
3600.01/3609.43 c input general constraints 192 ,( 1.74 )
3600.01/3609.43 c input average constraint length 3.40
3600.01/3609.43 c input average constraint degree 6.20
3600.01/3609.43 c learned clauses 878047 ,( 39.34 )
3600.01/3609.43 c learned cardinalities 4929 ,( 0.22 )
3600.01/3609.43 c learned general constraints 1349206 ,( 60.44 )
3600.01/3609.43 c learned average constraint length 114.52
3600.01/3609.43 c learned average constraint degree 477371552.15
3600.01/3609.43 c watched CF 32, 64, 128, Arb: 368114 , 0 , 0 , 0
3600.01/3609.43 c counting CF 32, 64, 128, Arb: 981285 , 0 , 0 , 0
3600.01/3609.43 c watched constraints 368114 ,( 27.28 )
3600.01/3609.43 c counting constraints 981284 ,( 72.72 )
3600.01/3609.43 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 707118653 , 84564850 , 8416398136 ,( 259316218 , 8157081918 )
3600.01/3609.43 c gcd simplifications 321028
3600.01/3609.43 c detected cardinalities 287
3600.01/3609.43 c weakened non-implied lits 139663481
3600.01/3609.43 c weakened non-implying lits 1031985
3600.01/3609.43 c original variables 3964
3600.01/3609.43 c clausal propagations 328636287
3600.01/3609.43 c cardinality propagations 10389594
3600.01/3609.43 c watched propagations 1917660
3600.01/3609.43 c counting propagations 234917601
3600.01/3609.43 c watch lookups 221112991532
3600.01/3609.43 c watch backjump lookups 0
3600.01/3609.43 c watch checks 7470127733
3600.01/3609.43 c propagation checks 32763330807
3600.01/3609.43 c constraint additions 1650415689
3600.01/3609.43 c trail pops 584307304
3600.01/3609.43 c formula constraints 11038
3600.01/3609.43 c learned constraints 2228478
3600.01/3609.43 c bound constraints 0
3600.01/3609.43 c core-guided constraints 0
3600.01/3609.43 c encountered formula constraints 27998619
3600.01/3609.43 c encountered learned constraints 16658481
3600.01/3609.43 c encountered bound constraints 0
3600.01/3609.43 c encountered core-guided constraints 0
3600.01/3609.43 c LP total time 390.085 s
3600.01/3609.43 c LP solve time 347.14 s
3600.01/3609.43 c LP constraints added 12417
3600.01/3609.43 c LP constraints removed 1361
3600.01/3609.43 c LP pivots internal 2230207
3600.01/3609.43 c LP pivots root 40362
3600.01/3609.43 c LP calls 7051
3600.01/3609.43 c LP optimalities 5247
3600.01/3609.43 c LP no pivot count 191
3600.01/3609.43 c LP infeasibilities 1800
3600.01/3609.43 c LP valid Farkas constraints 1794
3600.01/3609.43 c LP learned Farkas constraints 1697
3600.01/3609.43 c LP basis resets 6
3600.01/3609.43 c LP cycling count 0
3600.01/3609.43 c LP singular count 0
3600.01/3609.43 c LP no primal count 0
3600.01/3609.43 c LP no farkas count 6
3600.01/3609.43 c LP other issue count 0
3600.01/3609.43 c LP Gomory cuts 213
3600.01/3609.43 c LP learned cuts 1166
3600.01/3609.43 c LP deleted cuts 1361
3600.01/3609.43 c LP encountered Gomory constraints 98102
3600.01/3609.43 c LP encountered Farkas constraints 1310918
3600.01/3609.43 c LP encountered learned Farkas constraints 52648
3600.01/3609.43 c CG auxiliary variables introduced 0
3600.01/3609.43 c CG solutions found 0
3600.01/3609.43 c CG cores constructed 0
3600.01/3609.43 c CG core cardinality constraints returned 0
3600.01/3609.43 c CG unit cores 0
3600.01/3609.43 c CG single cores 0
3600.01/3609.43 c CG blocks removed during cardinality reduction 0
3600.01/3609.43 c CG first core best 0
3600.01/3609.43 c CG decision core best 0
3600.01/3609.43 c CG core reduction tie 0
3600.01/3609.43 c CG core degree average 0.00
3600.01/3609.43 c CG core slack average 0.00
3600.01/3609.43 c CG core upper bound improvements 0
3600.01/3609.43 c STR number of successful calls 0
3600.01/3609.43 c STR number of unsuccessful calls 0
3600.01/3609.43 c STR number of inconclusive calls 0
3600.01/3609.43 c STR number of successful attempts 0
3600.01/3609.43 c STR number of unsuccessful attempts 0
3600.01/3609.43 c STR number of inconclusive attempts 0
3600.01/3609.43 c STR average degree increase per successful call inf
3600.01/3609.43 c STR average degree increase per successful attempt inf
3600.01/3609.43 c STR total number of conflicts for successful attempts 0
3600.01/3609.43 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.43 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.43 c STR average number of conflicts per successful attempt inf
3600.01/3609.43 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.43 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.43 c AVG.sumWPerc 60.55
3600.01/3609.43 c bigint constraints 0
3600.01/3609.43 s UNKNOWN
3600.01/3609.43 c Program interrupted by user.
Verifier Data
ERROR: no interpretation found !
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 (48492 MiB free)
memory of node 1: 64465 MiB (44472 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532502-1752683038/watcher-4532502-1752683038 -o /tmp/evaluation-result-4532502-1752683038/solver-4532502-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752683038-136375 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532502-1752683038.opb /tmp/proof-4532502-1752683038
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=136422, runsolver pid=136413
[startup+0.100061 s]*
/proc/loadavg: 0.10 0.10 0.09 5/263 136428
/proc/meminfo: memFree=95177140/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=56900 memory=12128 CPUtime=0.02 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 773 0 0 0 2 0 0 0 20 0 1 0 183982503 58265600 3032 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 14225 3032 1952 1147 0 1651 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61092 KiB
Current children cumulated memory: 15200 KiB
[startup+0.205295 s]*
/proc/loadavg: 0.10 0.10 0.09 4/269 136439
/proc/meminfo: memFree=95155668/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=74036 memory=27988 CPUtime=0.13 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 4953 0 0 0 11 2 0 0 20 0 1 0 183982503 75812864 6997 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 18509 6997 2368 1147 0 5935 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 78228 KiB
Current children cumulated memory: 31060 KiB
[startup+0.305571 s]*
/proc/loadavg: 0.10 0.10 0.09 5/269 136439
/proc/meminfo: memFree=95103840/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=74232 memory=28372 CPUtime=0.23 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 5053 0 0 0 21 2 0 0 20 0 1 0 183982503 76013568 7093 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 18558 7093 2368 1147 0 5984 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 78424 KiB
Current children cumulated memory: 31444 KiB
[startup+0.700195 s]
/proc/loadavg: 0.10 0.10 0.09 6/269 136439
/proc/meminfo: memFree=94981232/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=76084 memory=30164 CPUtime=0.61 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 5520 0 0 0 58 3 0 0 20 0 1 0 183982503 77910016 7541 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 19021 7541 2368 1147 0 6447 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 80276 KiB
Current children cumulated memory: 33236 KiB
[startup+1.50017 s]
/proc/loadavg: 0.10 0.10 0.09 4/264 136449
/proc/meminfo: memFree=94914188/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=80016 memory=33748 CPUtime=1.42 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 6400 0 0 0 137 5 0 0 20 0 1 0 183982503 81936384 8437 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 20004 8437 2368 1147 0 7430 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 84208 KiB
Current children cumulated memory: 36820 KiB
[startup+3.10528 s]
/proc/loadavg: 0.10 0.10 0.09 3/259 136457
/proc/meminfo: memFree=94800264/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=83184 memory=37204 CPUtime=3.01 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 7281 0 0 0 293 8 0 0 20 0 1 0 183982503 85180416 9301 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 20796 9301 2368 1147 0 8222 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 87376 KiB
Current children cumulated memory: 40276 KiB
[startup+6.30021 s]
/proc/loadavg: 0.41 0.16 0.11 5/268 136506
/proc/meminfo: memFree=94761248/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=84736 memory=40620 CPUtime=6.19 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 7630 0 0 0 605 14 0 0 20 0 1 0 183982503 86769664 10155 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 21184 10155 2368 1147 0 8610 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 88928 KiB
Current children cumulated memory: 43692 KiB
[startup+12.7002 s]
/proc/loadavg: 0.70 0.23 0.13 4/267 136543
/proc/meminfo: memFree=94540900/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=88028 memory=44076 CPUtime=12.57 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 8529 0 0 0 1231 26 0 0 20 0 1 0 183982503 90140672 11019 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 22007 11019 2368 1147 0 9433 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 92220 KiB
Current children cumulated memory: 47148 KiB
[startup+25.5002 s]
/proc/loadavg: 1.59 0.45 0.21 5/272 136595
/proc/meminfo: memFree=93866252/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=91544 memory=47532 CPUtime=25.33 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 9381 0 0 0 2485 48 0 0 20 0 1 0 183982503 93741056 11883 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 22886 11883 2368 1147 0 10312 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 95736 KiB
Current children cumulated memory: 50604 KiB
[startup+51.1055 s]
/proc/loadavg: 2.82 0.83 0.34 5/273 136646
/proc/meminfo: memFree=92618724/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=98792 memory=52524 CPUtime=50.82 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 10666 0 0 0 4994 88 0 0 20 0 1 0 183982503 101163008 13131 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 24698 13131 2368 1147 0 12124 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 102984 KiB
Current children cumulated memory: 55596 KiB
[startup+102.3 s]
/proc/loadavg: 3.74 1.38 0.56 5/275 136649
/proc/meminfo: memFree=90053408/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=108020 memory=59564 CPUtime=101.89 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 12457 0 0 0 10031 158 0 0 20 0 1 0 183982503 110612480 14891 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 27005 14891 2368 1147 0 14431 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 112212 KiB
Current children cumulated memory: 62636 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 1.95 0.81 5/276 136653
/proc/meminfo: memFree=87605784/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=117124 memory=72276 CPUtime=161.73 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 14859 0 0 0 15940 233 0 0 20 0 1 0 183982503 119934976 18069 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 29281 18069 2368 1147 0 16707 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 121316 KiB
Current children cumulated memory: 75348 KiB
[startup+222.3 s]
/proc/loadavg: 4.35 2.41 1.03 6/276 136655
/proc/meminfo: memFree=84832680/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=119684 memory=74836 CPUtime=221.58 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 15503 0 0 0 21847 311 0 0 20 0 1 0 183982503 122556416 18709 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 29921 18709 2368 1147 0 17347 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 123876 KiB
################
# More data... #
################
/proc/136428/statm: 53859 37952 2496 1147 0 41285 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 219628 KiB
Current children cumulated memory: 154880 KiB
[startup+3102.3 s]
/proc/loadavg: 4.43 4.42 4.26 5/276 136838
/proc/meminfo: memFree=791912/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=217556 memory=155008 CPUtime=3094.17 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 31908 0 0 0 306862 2555 0 0 20 0 1 0 183982503 222777344 38752 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 54389 38752 2496 1147 0 41815 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 221748 KiB
Current children cumulated memory: 158080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.44 4.42 4.27 5/276 136840
/proc/meminfo: memFree=803052/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=217556 memory=155008 CPUtime=3154.02 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 31910 0 0 0 312803 2599 0 0 20 0 1 0 183982503 222777344 38752 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 54389 38752 2496 1147 0 41815 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 221748 KiB
Current children cumulated memory: 158080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.48 4.43 4.28 5/276 136842
/proc/meminfo: memFree=677668/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=217820 memory=155520 CPUtime=3213.87 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 32022 0 0 0 318751 2636 0 0 20 0 1 0 183982503 223047680 38880 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 54455 38880 2496 1147 0 41881 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 222012 KiB
Current children cumulated memory: 158592 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.41 4.28 5/273 136844
/proc/meminfo: memFree=793440/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=218756 memory=157824 CPUtime=3273.72 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 32616 0 0 0 324696 2676 0 0 20 0 1 0 183982503 224006144 39456 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 54689 39456 2496 1147 0 42115 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 222948 KiB
Current children cumulated memory: 160896 KiB
[startup+3342.3 s]
/proc/loadavg: 4.46 4.44 4.30 5/273 136849
/proc/meminfo: memFree=883380/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=219304 memory=158464 CPUtime=3333.57 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 32782 0 0 0 330643 2714 0 0 20 0 1 0 183982503 224567296 39616 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 54826 39616 2496 1147 0 42252 0
Current children cumulated CPU time: 3333.61 s
Current children cumulated vsize: 223496 KiB
Current children cumulated memory: 161536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.57 4.47 4.32 5/275 136856
/proc/meminfo: memFree=824908/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=220436 memory=159488 CPUtime=3393.41 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 33028 0 0 0 336593 2748 0 0 20 0 1 0 183982503 225726464 39872 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 55109 39872 2496 1147 0 42535 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 224628 KiB
Current children cumulated memory: 162560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.44 4.32 5/275 136857
/proc/meminfo: memFree=753612/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=220952 memory=160256 CPUtime=3453.26 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 33222 0 0 0 342547 2779 0 0 20 0 1 0 183982503 226254848 40064 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 55238 40064 2496 1147 0 42664 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 225144 KiB
Current children cumulated memory: 163328 KiB
[startup+3522.3 s]
/proc/loadavg: 4.42 4.44 4.32 5/275 136859
/proc/meminfo: memFree=858496/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=220952 memory=160384 CPUtime=3513.1 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 33237 0 0 0 348497 2813 0 0 20 0 1 0 183982503 226254848 40096 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 55238 40096 2496 1147 0 42664 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 225144 KiB
Current children cumulated memory: 163456 KiB
[startup+3582.3 s]
/proc/loadavg: 4.28 4.40 4.32 5/275 136861
/proc/meminfo: memFree=696328/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=223416 memory=162048 CPUtime=3572.94 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 33674 0 0 0 354444 2850 0 0 20 0 1 0 183982503 228777984 40512 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 55854 40512 2496 1147 0 43280 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 227608 KiB
Current children cumulated memory: 165120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.23 4.38 4.31 5/272 136863
/proc/meminfo: memFree=672588/131249996 swapFree=33010160/33010684
[pid=136422] ppid=136413 vsize=4192 memory=3072 CPUtime=0.04 cores=4,6
/proc/136422/stat : 136422 (run-opt-break-l) S 136413 136422 136357 0 -1 4194304 238 984 0 0 0 0 4 0 20 0 1 0 183982496 4292608 768 18446744073709551615 93860131618816 93860132513349 140727107470560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93860132752400 93860132800144 93860150968320 140727107475769 140727107475932 140727107475932 140727107481536 0
/proc/136422/statm: 1048 768 704 219 0 110 0
[pid=136428] ppid=136422 vsize=229052 memory=168916 CPUtime=3599.97 cores=4,6
/proc/136428/stat : 136428 (roundingsat) R 136422 136422 136357 0 -1 4194304 34872 0 0 0 357132 2865 0 0 20 0 1 0 183982503 234549248 42229 18446744073709551615 4227072 8923577 140734390966640 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 10178560 140734390974776 140734390975014 140734390975014 140734390980586 0
/proc/136428/statm: 57263 42229 2496 1147 0 44689 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 233244 KiB
Current children cumulated memory: 171988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 136422 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.048149 s, system=0.00757 s
[startup+3609.44 s]
# the end of solver process 136428 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3571.38 s, system=28.6712 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.44
CPU time (s): 3600.05
CPU user time (s): 3571.38
CPU system time (s): 28.6712
CPU usage (%): 99.7398
Max. virtual memory (cumulated for all children) (KiB): 233244
Max. memory (cumulated for all children) (KiB): 171988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.38
system time used= 28.6712
maximum resident set size= 169172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36111
page faults= 3
swaps= 0
block input operations= 3784
block output operations= 19173328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250
involuntary context switches= 5103
# summary of solver processes directly reported to runsolver:
# pid: 136422,136428
# total CPU time (s): 3600.05
# total CPU user time (s): 3571.38
# total CPU system time (s): 28.6712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24516 second user time and 16.3559 second system time
The end
Launcher Data
Begin job on nodeC032 at 2025-07-16 18:23:59
IDJOB=4532502
IDBENCH=148776
IDSOLVER=3393
FILE ID=nodeC032/4532502-1752683038
RUNJOBID= nodeC032-1752683038-136375
SLURM_JOB_ID= 9686927
Free space on /tmp= 429548 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532502-1752683038/watcher-4532502-1752683038 -o /tmp/evaluation-result-4532502-1752683038/solver-4532502-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752683038-136375 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532502-1752683038.opb /tmp/proof-4532502-1752683038
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=210464024
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.846
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 : 3597.468
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 : 3599.790
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 : 2721.825
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 : 3602.773
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 : 3299.554
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 : 3599.842
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 : 2828.333
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: 95201120 kB
MemAvailable: 129592576 kB
Buffers: 2728 kB
Cached: 35073360 kB
SwapCached: 20 kB
Active: 845648 kB
Inactive: 34306420 kB
Active(anon): 99100 kB
Inactive(anon): 3124 kB
Active(file): 746548 kB
Inactive(file): 34303296 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23776 kB
Writeback: 0 kB
AnonPages: 78892 kB
Mapped: 113532 kB
Shmem: 26240 kB
KReclaimable: 361704 kB
Slab: 460900 kB
SReclaimable: 361704 kB
SUnreclaim: 99196 kB
KernelStack: 4208 kB
PageTables: 3072 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 387796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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= 293192 MiB
End job on nodeC032 at 2025-07-16 19:24:08