Trace number 4499355
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-4499355-1751407031.opb'
0.00/0.01 c read 0.07MB (1.17ms)
0.00/0.01 c [cnf: #variables 774 #clauses 995 #duplicates 0 #arr 8079]
0.00/0.02 c output proof to 'PROOFDIR/proof-4499355-1751407031'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 30] (1.13ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c recursing 72 blocks of candidate 3x516r
0.00/0.03 c found row 5x6, generating row predicate
0.00/0.03 c found row 3x516, generating row predicate
0.00/0.03 c (7.47ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 4664 #edges 21948]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 1.73*10^84 #generators 176] (3.62ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c opt it=15, l=5059, m=131, opt=3, avg=63, b=8, gens=176
0.00/0.04 c opt it=31, l=6087, m=246, opt=7, avg=62, b=8, gens=176
0.00/0.04 c ran it=0, +gens=21
0.00/0.05 c con best_support=8, best_gens=144, +gens=249
0.00/0.05 c (22.16ms)
0.00/0.05 c
0.00/0.05 c finalize break order and special generators
0.00/0.06 c
0.00/0.06 c add generic predicates (break_depth=20)
0.00/0.06 c added predicates for 446 generators (0.29ms)
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 10022 #add_vars 3190]
0.00/0.09 c
0.00/0.09 c write result to 'HOME/instance-4499355-1751407031.opb.pre'
0.00/0.09 c wrote 0.41MB (1.68ms)
0.00/0.09 c ------------------------------------------------------------------
0.00/0.09 c 39.08ms 50.88% other
0.00/0.09 c 22.16ms 28.85% optimize_gens
0.00/0.09 c 7.47ms 9.72% detect_special
0.00/0.09 c 3.62ms 4.71% detect_generic
0.00/0.09 c 1.68ms 2.19% output
0.00/0.09 c 1.17ms 1.53% parse
0.00/0.09 c 1.13ms 1.47% approx_orbits
0.00/0.09 c 0.29ms 0.38% break_generic
0.00/0.09 c 0.21ms 0.27% finalize_order
0.00/0.09 c ───────────────────────────────────────────────
0.00/0.09 c 76.82ms 100% total
0.00/0.09 c ------------------------------------------------------------------
0.00/0.12 c RoundingSat 2
0.00/0.12 c branch pb25
0.00/0.12 c commit 63f22ad
0.15/0.24 c #variables 3964 #constraints 11038
0.15/0.24 c objective is ce32
0.15/0.24 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.15/0.24 c initial counting CF 32, 64, 128, Arb: 193 , 0 , 0 , 0
0.15/0.24 c bounds - >= 0 @ 0.101894
1.33/1.46 c #Conflicts: 1000 | #Constraints: 12037
1.33/1.46 c #Conflicts: 2000 | #Constraints: 13039
1.33/1.46 c INPROCESSING
1.33/1.46 c GARBAGE COLLECT
1.33/1.46 c rational objective 3
2.62/2.78 c #Conflicts: 3000 | #Constraints: 12124
2.62/2.78 c #Conflicts: 4000 | #Constraints: 13126
2.62/2.78 c INPROCESSING
2.62/2.78 c GARBAGE COLLECT
2.62/2.78 c rational objective 3
3.62/3.78 c #Conflicts: 5000 | #Constraints: 12473
3.62/3.78 c #Conflicts: 6000 | #Constraints: 13473
3.62/3.78 c INPROCESSING
3.62/3.78 c GARBAGE COLLECT
3.62/3.78 c rational objective 3
5.22/5.35 c #Conflicts: 7000 | #Constraints: 12477
5.22/5.35 c #Conflicts: 8000 | #Constraints: 13479
5.22/5.35 c #Conflicts: 9000 | #Constraints: 14479
5.22/5.35 c INPROCESSING
5.22/5.35 c GARBAGE COLLECT
5.22/5.35 c rational objective 3
6.52/6.67 c #Conflicts: 10000 | #Constraints: 13189
6.52/6.67 c #Conflicts: 11000 | #Constraints: 14190
6.52/6.67 c #Conflicts: 12000 | #Constraints: 15190
6.52/6.67 c INPROCESSING
6.52/6.67 c GARBAGE COLLECT
6.52/6.67 c rational objective 3
7.92/8.08 c #Conflicts: 13000 | #Constraints: 13589
7.92/8.08 c #Conflicts: 14000 | #Constraints: 14590
7.92/8.08 c #Conflicts: 15000 | #Constraints: 15594
7.92/8.08 c INPROCESSING
7.92/8.08 c GARBAGE COLLECT
7.92/8.08 c rational objective 3
9.92/10.08 c #Conflicts: 16000 | #Constraints: 13823
9.92/10.08 c #Conflicts: 17000 | #Constraints: 14824
9.92/10.08 c #Conflicts: 18000 | #Constraints: 15825
9.92/10.08 c INPROCESSING
9.92/10.08 c GARBAGE COLLECT
9.92/10.08 c rational objective 3
11.92/12.11 c #Conflicts: 19000 | #Constraints: 13782
11.92/12.11 c #Conflicts: 20000 | #Constraints: 14783
11.92/12.11 c #Conflicts: 21000 | #Constraints: 15784
11.92/12.11 c INPROCESSING
11.92/12.11 c GARBAGE COLLECT
11.92/12.11 c rational objective 3
14.01/14.13 c #Conflicts: 22000 | #Constraints: 13584
14.01/14.13 c #Conflicts: 23000 | #Constraints: 14584
14.01/14.13 c #Conflicts: 24000 | #Constraints: 15584
14.01/14.13 c #Conflicts: 25000 | #Constraints: 16584
14.01/14.13 c INPROCESSING
14.01/14.13 c GARBAGE COLLECT
14.01/14.13 c rational objective 3
16.18/16.36 c #Conflicts: 26000 | #Constraints: 14098
16.18/16.36 c #Conflicts: 27000 | #Constraints: 15099
16.18/16.36 c #Conflicts: 28000 | #Constraints: 16100
16.18/16.36 c #Conflicts: 29000 | #Constraints: 17101
16.18/16.36 c INPROCESSING
16.18/16.36 c GARBAGE COLLECT
16.18/16.36 c rational objective 3
18.28/18.44 c #Conflicts: 30000 | #Constraints: 14450
18.28/18.44 c #Conflicts: 31000 | #Constraints: 15451
18.28/18.44 c #Conflicts: 32000 | #Constraints: 16452
18.28/18.44 c #Conflicts: 33000 | #Constraints: 17453
18.28/18.44 c INPROCESSING
18.28/18.44 c GARBAGE COLLECT
18.28/18.44 c rational objective 3
20.98/21.14 c #Conflicts: 34000 | #Constraints: 14624
20.98/21.14 c #Conflicts: 35000 | #Constraints: 15625
20.98/21.14 c #Conflicts: 36000 | #Constraints: 16628
20.98/21.14 c #Conflicts: 37000 | #Constraints: 17630
20.98/21.14 c INPROCESSING
20.98/21.14 c GARBAGE COLLECT
20.98/21.14 c rational objective 3
23.88/24.07 c #Conflicts: 38000 | #Constraints: 14636
23.88/24.07 c #Conflicts: 39000 | #Constraints: 15638
23.88/24.07 c #Conflicts: 40000 | #Constraints: 16638
23.88/24.07 c #Conflicts: 41000 | #Constraints: 17639
23.88/24.07 c INPROCESSING
23.88/24.07 c GARBAGE COLLECT
23.88/24.07 c rational objective 3
26.06/26.26 c #Conflicts: 42000 | #Constraints: 14406
26.06/26.26 c #Conflicts: 43000 | #Constraints: 15406
26.06/26.26 c #Conflicts: 44000 | #Constraints: 16407
26.06/26.26 c #Conflicts: 45000 | #Constraints: 17410
26.06/26.26 c #Conflicts: 46000 | #Constraints: 18412
26.06/26.26 c INPROCESSING
26.06/26.26 c GARBAGE COLLECT
26.06/26.26 c rational objective 3
29.44/29.64 c #Conflicts: 47000 | #Constraints: 14991
29.44/29.64 c #Conflicts: 48000 | #Constraints: 15992
29.44/29.64 c #Conflicts: 49000 | #Constraints: 16994
29.44/29.64 c #Conflicts: 50000 | #Constraints: 17996
29.44/29.64 c #Conflicts: 51000 | #Constraints: 18997
29.44/29.64 c INPROCESSING
29.44/29.64 c GARBAGE COLLECT
29.44/29.64 c rational objective 3
34.62/34.85 c #Conflicts: 52000 | #Constraints: 15398
34.62/34.85 c #Conflicts: 53000 | #Constraints: 16398
34.62/34.85 c #Conflicts: 54000 | #Constraints: 17398
34.62/34.85 c #Conflicts: 55000 | #Constraints: 18398
34.62/34.85 c #Conflicts: 56000 | #Constraints: 19398
34.62/34.85 c INPROCESSING
34.62/34.85 c GARBAGE COLLECT
34.62/34.85 c rational objective 3
37.22/37.46 c #Conflicts: 57000 | #Constraints: 15597
37.22/37.46 c #Conflicts: 58000 | #Constraints: 16597
37.22/37.46 c #Conflicts: 59000 | #Constraints: 17597
37.22/37.46 c #Conflicts: 60000 | #Constraints: 18597
37.22/37.46 c #Conflicts: 61000 | #Constraints: 19597
37.22/37.46 c INPROCESSING
37.22/37.46 c GARBAGE COLLECT
37.22/37.46 c rational objective 3
41.30/41.57 c #Conflicts: 62000 | #Constraints: 15594
41.30/41.57 c #Conflicts: 63000 | #Constraints: 16594
41.30/41.57 c #Conflicts: 64000 | #Constraints: 17594
41.30/41.57 c #Conflicts: 65000 | #Constraints: 18594
41.30/41.57 c #Conflicts: 66000 | #Constraints: 19594
41.30/41.57 c INPROCESSING
41.30/41.57 c GARBAGE COLLECT
41.30/41.57 c rational objective 3
44.99/45.27 c #Conflicts: 67000 | #Constraints: 15308
44.99/45.27 c #Conflicts: 68000 | #Constraints: 16308
44.99/45.27 c #Conflicts: 69000 | #Constraints: 17308
44.99/45.27 c #Conflicts: 70000 | #Constraints: 18308
44.99/45.27 c #Conflicts: 71000 | #Constraints: 19309
44.99/45.27 c #Conflicts: 72000 | #Constraints: 20309
44.99/45.27 c INPROCESSING
44.99/45.27 c GARBAGE COLLECT
44.99/45.27 c rational objective 3
49.27/49.56 c #Conflicts: 73000 | #Constraints: 15876
49.27/49.56 c #Conflicts: 74000 | #Constraints: 16876
49.27/49.56 c #Conflicts: 75000 | #Constraints: 17876
49.27/49.56 c #Conflicts: 76000 | #Constraints: 18876
49.27/49.56 c #Conflicts: 77000 | #Constraints: 19876
49.27/49.56 c #Conflicts: 78000 | #Constraints: 20876
49.27/49.56 c INPROCESSING
49.27/49.56 c GARBAGE COLLECT
49.27/49.56 c rational objective 3
52.67/52.92 c #Conflicts: 79000 | #Constraints: 16281
52.67/52.92 c #Conflicts: 80000 | #Constraints: 17281
52.67/52.92 c #Conflicts: 81000 | #Constraints: 18281
52.67/52.92 c #Conflicts: 82000 | #Constraints: 19281
52.67/52.92 c #Conflicts: 83000 | #Constraints: 20288
52.67/52.92 c #Conflicts: 84000 | #Constraints: 21288
52.67/52.92 c INPROCESSING
52.67/52.92 c GARBAGE COLLECT
52.67/52.92 c rational objective 3
56.65/56.99 c #Conflicts: 85000 | #Constraints: 16476
56.65/56.99 c #Conflicts: 86000 | #Constraints: 17476
56.65/56.99 c #Conflicts: 87000 | #Constraints: 18476
56.65/56.99 c #Conflicts: 88000 | #Constraints: 19476
56.65/56.99 c #Conflicts: 89000 | #Constraints: 20476
56.65/56.99 c #Conflicts: 90000 | #Constraints: 21476
56.65/56.99 c INPROCESSING
56.65/56.99 c GARBAGE COLLECT
56.65/56.99 c rational objective 3
61.86/62.43 c #Conflicts: 91000 | #Constraints: 16475
61.86/62.43 c #Conflicts: 92000 | #Constraints: 17475
61.86/62.43 c #Conflicts: 93000 | #Constraints: 18475
61.86/62.43 c #Conflicts: 94000 | #Constraints: 19475
61.86/62.43 c #Conflicts: 95000 | #Constraints: 20475
61.86/62.43 c #Conflicts: 96000 | #Constraints: 21476
61.86/62.43 c INPROCESSING
61.86/62.43 c GARBAGE COLLECT
61.86/62.43 c rational objective 3
66.75/67.36 c #Conflicts: 97000 | #Constraints: 16270
66.75/67.36 c #Conflicts: 98000 | #Constraints: 17270
66.75/67.36 c #Conflicts: 99000 | #Constraints: 18271
66.75/67.36 c #Conflicts: 100000 | #Constraints: 19271
66.75/67.36 c #Conflicts: 101000 | #Constraints: 20272
66.75/67.36 c #Conflicts: 102000 | #Constraints: 21273
66.75/67.36 c #Conflicts: 103000 | #Constraints: 22273
66.75/67.36 c INPROCESSING
66.75/67.36 c GARBAGE COLLECT
66.75/67.36 c rational objective 3
71.83/72.46 c #Conflicts: 104000 | #Constraints: 16873
71.83/72.46 c #Conflicts: 105000 | #Constraints: 17873
71.83/72.46 c #Conflicts: 106000 | #Constraints: 18874
71.83/72.46 c #Conflicts: 107000 | #Constraints: 19874
71.83/72.46 c #Conflicts: 108000 | #Constraints: 20874
71.83/72.46 c #Conflicts: 109000 | #Constraints: 21874
71.83/72.46 c #Conflicts: 110000 | #Constraints: 22875
71.83/72.46 c INPROCESSING
71.83/72.46 c GARBAGE COLLECT
71.83/72.46 c rational objective 3
76.22/76.81 c #Conflicts: 111000 | #Constraints: 17213
76.22/76.81 c #Conflicts: 112000 | #Constraints: 18213
76.22/76.81 c #Conflicts: 113000 | #Constraints: 19213
76.22/76.81 c #Conflicts: 114000 | #Constraints: 20216
76.22/76.81 c #Conflicts: 115000 | #Constraints: 21217
76.22/76.81 c #Conflicts: 116000 | #Constraints: 22218
76.22/76.81 c #Conflicts: 117000 | #Constraints: 23218
76.22/76.81 c INPROCESSING
76.22/76.81 c GARBAGE COLLECT
76.22/76.81 c rational objective 3
81.31/81.93 c #Conflicts: 118000 | #Constraints: 17359
81.31/81.93 c #Conflicts: 119000 | #Constraints: 18360
81.31/81.93 c #Conflicts: 120000 | #Constraints: 19361
81.31/81.93 c #Conflicts: 121000 | #Constraints: 20361
81.31/81.93 c #Conflicts: 122000 | #Constraints: 21363
81.31/81.93 c #Conflicts: 123000 | #Constraints: 22365
81.31/81.93 c #Conflicts: 124000 | #Constraints: 23366
81.31/81.93 c INPROCESSING
81.31/81.93 c GARBAGE COLLECT
81.31/81.93 c rational objective 3
86.69/87.30 c #Conflicts: 125000 | #Constraints: 17337
86.69/87.30 c #Conflicts: 126000 | #Constraints: 18337
86.69/87.30 c #Conflicts: 127000 | #Constraints: 19337
86.69/87.30 c #Conflicts: 128000 | #Constraints: 20337
86.69/87.30 c #Conflicts: 129000 | #Constraints: 21337
86.69/87.30 c #Conflicts: 130000 | #Constraints: 22337
86.69/87.30 c #Conflicts: 131000 | #Constraints: 23337
86.69/87.30 c INPROCESSING
86.69/87.30 c GARBAGE COLLECT
86.69/87.30 c rational objective 3
92.04/93.08 c #Conflicts: 132000 | #Constraints: 17128
92.04/93.08 c #Conflicts: 133000 | #Constraints: 18128
92.04/93.08 c #Conflicts: 134000 | #Constraints: 19128
92.04/93.08 c #Conflicts: 135000 | #Constraints: 20128
92.04/93.08 c #Conflicts: 136000 | #Constraints: 21130
92.04/93.08 c #Conflicts: 137000 | #Constraints: 22132
92.04/93.08 c #Conflicts: 138000 | #Constraints: 23133
92.04/93.08 c #Conflicts: 139000 | #Constraints: 24135
92.04/93.08 c INPROCESSING
92.04/93.08 c GARBAGE COLLECT
92.04/93.08 c rational objective 3
97.80/98.87 c #Conflicts: 140000 | #Constraints: 17740
97.80/98.87 c #Conflicts: 141000 | #Constraints: 18742
97.80/98.87 c #Conflicts: 142000 | #Constraints: 19743
97.80/98.87 c #Conflicts: 143000 | #Constraints: 20744
97.80/98.87 c #Conflicts: 144000 | #Constraints: 21745
97.80/98.87 c #Conflicts: 145000 | #Constraints: 22747
97.80/98.87 c #Conflicts: 146000 | #Constraints: 23748
97.80/98.87 c #Conflicts: 147000 | #Constraints: 24749
97.80/98.87 c INPROCESSING
97.80/98.87 c GARBAGE COLLECT
97.80/98.87 c rational objective 3
103.00/104.05 c #Conflicts: 148000 | #Constraints: 18115
103.00/104.05 c #Conflicts: 149000 | #Constraints: 19115
103.00/104.05 c #Conflicts: 150000 | #Constraints: 20117
103.00/104.05 c #Conflicts: 151000 | #Constraints: 21119
103.00/104.05 c #Conflicts: 152000 | #Constraints: 22120
103.00/104.05 c #Conflicts: 153000 | #Constraints: 23121
103.00/104.05 c #Conflicts: 154000 | #Constraints: 24121
103.00/104.05 c #Conflicts: 155000 | #Constraints: 25122
103.00/104.05 c INPROCESSING
103.00/104.05 c GARBAGE COLLECT
103.00/104.05 c rational objective 3
109.98/111.01 c #Conflicts: 156000 | #Constraints: 18311
109.98/111.01 c #Conflicts: 157000 | #Constraints: 19313
109.98/111.01 c #Conflicts: 158000 | #Constraints: 20315
109.98/111.01 c #Conflicts: 159000 | #Constraints: 21317
109.98/111.01 c #Conflicts: 160000 | #Constraints: 22317
109.98/111.01 c #Conflicts: 161000 | #Constraints: 23317
109.98/111.01 c #Conflicts: 162000 | #Constraints: 24318
109.98/111.01 c #Conflicts: 163000 | #Constraints: 25318
109.98/111.01 c INPROCESSING
109.98/111.01 c GARBAGE COLLECT
109.98/111.01 c rational objective 3
116.85/117.98 c #Conflicts: 164000 | #Constraints: 18321
116.85/117.98 c #Conflicts: 165000 | #Constraints: 19321
116.85/117.98 c #Conflicts: 166000 | #Constraints: 20322
116.85/117.98 c #Conflicts: 167000 | #Constraints: 21322
116.85/117.98 c #Conflicts: 168000 | #Constraints: 22322
116.85/117.98 c #Conflicts: 169000 | #Constraints: 23323
116.85/117.98 c #Conflicts: 170000 | #Constraints: 24323
116.85/117.98 c #Conflicts: 171000 | #Constraints: 25323
116.85/117.98 c INPROCESSING
116.85/117.98 c GARBAGE COLLECT
116.85/117.98 c rational objective 3
123.70/125.02 c #Conflicts: 172000 | #Constraints: 18081
123.70/125.02 c #Conflicts: 173000 | #Constraints: 19081
123.70/125.02 c #Conflicts: 174000 | #Constraints: 20082
123.70/125.02 c #Conflicts: 175000 | #Constraints: 21082
123.70/125.02 c #Conflicts: 176000 | #Constraints: 22082
123.70/125.02 c #Conflicts: 177000 | #Constraints: 23083
123.70/125.02 c #Conflicts: 178000 | #Constraints: 24083
123.70/125.02 c #Conflicts: 179000 | #Constraints: 25086
123.70/125.02 c #Conflicts: 180000 | #Constraints: 26086
123.70/125.02 c INPROCESSING
123.70/125.02 c GARBAGE COLLECT
123.70/125.02 c rational objective 3
131.56/132.98 c #Conflicts: 181000 | #Constraints: 18649
131.56/132.98 c #Conflicts: 182000 | #Constraints: 19650
131.56/132.98 c #Conflicts: 183000 | #Constraints: 20651
131.56/132.98 c #Conflicts: 184000 | #Constraints: 21652
131.56/132.98 c #Conflicts: 185000 | #Constraints: 22652
131.56/132.98 c #Conflicts: 186000 | #Constraints: 23653
131.56/132.98 c #Conflicts: 187000 | #Constraints: 24653
131.56/132.98 c #Conflicts: 188000 | #Constraints: 25653
131.56/132.98 c #Conflicts: 189000 | #Constraints: 26653
131.56/132.98 c INPROCESSING
131.56/132.98 c GARBAGE COLLECT
131.56/132.98 c rational objective 3
139.05/140.45 c #Conflicts: 190000 | #Constraints: 19046
139.05/140.45 c #Conflicts: 191000 | #Constraints: 20047
139.05/140.45 c #Conflicts: 192000 | #Constraints: 21048
139.05/140.45 c #Conflicts: 193000 | #Constraints: 22048
139.05/140.45 c #Conflicts: 194000 | #Constraints: 23050
139.05/140.45 c #Conflicts: 195000 | #Constraints: 24052
139.05/140.45 c #Conflicts: 196000 | #Constraints: 25053
139.05/140.45 c #Conflicts: 197000 | #Constraints: 26053
139.05/140.45 c #Conflicts: 198000 | #Constraints: 27053
139.05/140.45 c INPROCESSING
139.05/140.45 c GARBAGE COLLECT
139.05/140.45 c rational objective 3
148.12/149.51 c #Conflicts: 199000 | #Constraints: 19166
148.12/149.51 c #Conflicts: 200000 | #Constraints: 20168
148.12/149.51 c #Conflicts: 201000 | #Constraints: 21170
148.12/149.51 c #Conflicts: 202000 | #Constraints: 22170
148.12/149.51 c #Conflicts: 203000 | #Constraints: 23173
148.12/149.51 c #Conflicts: 204000 | #Constraints: 24175
148.12/149.51 c #Conflicts: 205000 | #Constraints: 25176
148.12/149.51 c #Conflicts: 206000 | #Constraints: 26180
148.12/149.51 c #Conflicts: 207000 | #Constraints: 27182
148.12/149.51 c INPROCESSING
148.12/149.51 c GARBAGE COLLECT
148.12/149.51 c rational objective 3
155.59/157.20 c #Conflicts: 208000 | #Constraints: 19148
155.59/157.20 c #Conflicts: 209000 | #Constraints: 20148
155.59/157.20 c #Conflicts: 210000 | #Constraints: 21149
155.59/157.20 c #Conflicts: 211000 | #Constraints: 22151
155.59/157.20 c #Conflicts: 212000 | #Constraints: 23152
155.59/157.20 c #Conflicts: 213000 | #Constraints: 24153
155.59/157.20 c #Conflicts: 214000 | #Constraints: 25154
155.59/157.20 c #Conflicts: 215000 | #Constraints: 26156
155.59/157.20 c #Conflicts: 216000 | #Constraints: 27157
155.59/157.20 c INPROCESSING
155.59/157.20 c GARBAGE COLLECT
155.59/157.20 c rational objective 3
164.16/165.88 c #Conflicts: 217000 | #Constraints: 18933
164.16/165.88 c #Conflicts: 218000 | #Constraints: 19933
164.16/165.88 c #Conflicts: 219000 | #Constraints: 20934
164.16/165.88 c #Conflicts: 220000 | #Constraints: 21935
164.16/165.88 c #Conflicts: 221000 | #Constraints: 22936
164.16/165.88 c #Conflicts: 222000 | #Constraints: 23936
164.16/165.88 c #Conflicts: 223000 | #Constraints: 24936
164.16/165.88 c #Conflicts: 224000 | #Constraints: 25937
164.16/165.88 c #Conflicts: 225000 | #Constraints: 26938
164.16/165.88 c #Conflicts: 226000 | #Constraints: 27940
164.16/165.88 c INPROCESSING
164.16/165.88 c GARBAGE COLLECT
164.16/165.88 c rational objective 3
172.93/174.67 c #Conflicts: 227000 | #Constraints: 19537
172.93/174.67 c #Conflicts: 228000 | #Constraints: 20537
172.93/174.67 c #Conflicts: 229000 | #Constraints: 21541
172.93/174.67 c #Conflicts: 230000 | #Constraints: 22542
172.93/174.67 c #Conflicts: 231000 | #Constraints: 23543
172.93/174.67 c #Conflicts: 232000 | #Constraints: 24543
172.93/174.67 c #Conflicts: 233000 | #Constraints: 25543
172.93/174.67 c #Conflicts: 234000 | #Constraints: 26543
172.93/174.67 c #Conflicts: 235000 | #Constraints: 27544
172.93/174.67 c #Conflicts: 236000 | #Constraints: 28546
172.93/174.67 c INPROCESSING
172.93/174.67 c GARBAGE COLLECT
172.93/174.67 c rational objective 3
180.72/182.41 c #Conflicts: 237000 | #Constraints: 19931
180.72/182.41 c #Conflicts: 238000 | #Constraints: 20931
180.72/182.41 c #Conflicts: 239000 | #Constraints: 21932
180.72/182.41 c #Conflicts: 240000 | #Constraints: 22933
180.72/182.41 c #Conflicts: 241000 | #Constraints: 23933
180.72/182.41 c #Conflicts: 242000 | #Constraints: 24936
180.72/182.41 c #Conflicts: 243000 | #Constraints: 25938
180.72/182.41 c #Conflicts: 244000 | #Constraints: 26940
180.72/182.41 c #Conflicts: 245000 | #Constraints: 27941
180.72/182.41 c #Conflicts: 246000 | #Constraints: 28941
180.72/182.41 c INPROCESSING
180.72/182.41 c GARBAGE COLLECT
180.72/182.41 c rational objective 3
190.65/192.64 c #Conflicts: 247000 | #Constraints: 20143
190.65/192.64 c #Conflicts: 248000 | #Constraints: 21144
190.65/192.64 c #Conflicts: 249000 | #Constraints: 22145
190.65/192.64 c #Conflicts: 250000 | #Constraints: 23146
190.65/192.64 c #Conflicts: 251000 | #Constraints: 24147
190.65/192.64 c #Conflicts: 252000 | #Constraints: 25149
190.65/192.64 c #Conflicts: 253000 | #Constraints: 26154
190.65/192.64 c #Conflicts: 254000 | #Constraints: 27155
190.65/192.64 c #Conflicts: 255000 | #Constraints: 28156
190.65/192.64 c #Conflicts: 256000 | #Constraints: 29156
190.65/192.64 c INPROCESSING
190.65/192.64 c GARBAGE COLLECT
190.65/192.64 c rational objective 3
199.04/201.11 c #Conflicts: 257000 | #Constraints: 20140
199.04/201.11 c #Conflicts: 258000 | #Constraints: 21141
199.04/201.11 c #Conflicts: 259000 | #Constraints: 22141
199.04/201.11 c #Conflicts: 260000 | #Constraints: 23141
199.04/201.11 c #Conflicts: 261000 | #Constraints: 24143
199.04/201.11 c #Conflicts: 262000 | #Constraints: 25144
199.04/201.11 c #Conflicts: 263000 | #Constraints: 26144
199.04/201.11 c #Conflicts: 264000 | #Constraints: 27144
199.04/201.11 c #Conflicts: 265000 | #Constraints: 28144
199.04/201.11 c #Conflicts: 266000 | #Constraints: 29144
199.04/201.11 c INPROCESSING
199.04/201.11 c GARBAGE COLLECT
199.04/201.11 c rational objective 3
209.60/211.67 c #Conflicts: 267000 | #Constraints: 19921
209.60/211.67 c #Conflicts: 268000 | #Constraints: 20921
209.60/211.67 c #Conflicts: 269000 | #Constraints: 21921
209.60/211.67 c #Conflicts: 270000 | #Constraints: 22922
209.60/211.67 c #Conflicts: 271000 | #Constraints: 23924
209.60/211.67 c #Conflicts: 272000 | #Constraints: 24925
209.60/211.67 c #Conflicts: 273000 | #Constraints: 25926
209.60/211.67 c #Conflicts: 274000 | #Constraints: 26926
209.60/211.67 c #Conflicts: 275000 | #Constraints: 27927
209.60/211.67 c #Conflicts: 276000 | #Constraints: 28929
209.60/211.67 c #Conflicts: 277000 | #Constraints: 29929
209.60/211.67 c INPROCESSING
209.60/211.67 c GARBAGE COLLECT
209.60/211.67 c rational objective 3
220.91/223.27 c #Conflicts: 278000 | #Constraints: 20523
220.91/223.27 c #Conflicts: 279000 | #Constraints: 21523
220.91/223.27 c #Conflicts: 280000 | #Constraints: 22527
220.91/223.27 c #Conflicts: 281000 | #Constraints: 23527
220.91/223.27 c #Conflicts: 282000 | #Constraints: 24528
220.91/223.27 c #Conflicts: 283000 | #Constraints: 25528
220.91/223.27 c #Conflicts: 284000 | #Constraints: 26529
220.91/223.27 c #Conflicts: 285000 | #Constraints: 27529
220.91/223.27 c #Conflicts: 286000 | #Constraints: 28530
220.91/223.27 c #Conflicts: 287000 | #Constraints: 29530
220.91/223.27 c #Conflicts: 288000 | #Constraints: 30531
220.91/223.27 c INPROCESSING
220.91/223.27 c GARBAGE COLLECT
220.91/223.27 c rational objective 3
231.18/233.56 c #Conflicts: 289000 | #Constraints: 20912
231.18/233.56 c #Conflicts: 290000 | #Constraints: 21912
231.18/233.56 c #Conflicts: 291000 | #Constraints: 22912
231.18/233.56 c #Conflicts: 292000 | #Constraints: 23912
231.18/233.56 c #Conflicts: 293000 | #Constraints: 24912
231.18/233.56 c #Conflicts: 294000 | #Constraints: 25914
231.18/233.56 c #Conflicts: 295000 | #Constraints: 26914
231.18/233.56 c #Conflicts: 296000 | #Constraints: 27914
231.18/233.56 c #Conflicts: 297000 | #Constraints: 28914
231.18/233.56 c #Conflicts: 298000 | #Constraints: 29914
231.18/233.56 c #Conflicts: 299000 | #Constraints: 30914
231.18/233.56 c INPROCESSING
231.18/233.56 c GARBAGE COLLECT
231.18/233.56 c rational objective 3
242.85/245.21 c #Conflicts: 300000 | #Constraints: 21048
242.85/245.21 c #Conflicts: 301000 | #Constraints: 22048
242.85/245.21 c #Conflicts: 302000 | #Constraints: 23048
242.85/245.21 c #Conflicts: 303000 | #Constraints: 24050
242.85/245.21 c #Conflicts: 304000 | #Constraints: 25051
242.85/245.21 c #Conflicts: 305000 | #Constraints: 26057
242.85/245.21 c #Conflicts: 306000 | #Constraints: 27057
242.85/245.21 c #Conflicts: 307000 | #Constraints: 28057
242.85/245.21 c #Conflicts: 308000 | #Constraints: 29059
242.85/245.21 c #Conflicts: 309000 | #Constraints: 30060
242.85/245.21 c #Conflicts: 310000 | #Constraints: 31061
242.85/245.21 c INPROCESSING
242.85/245.21 c GARBAGE COLLECT
242.85/245.21 c rational objective 3
257.92/260.51 c #Conflicts: 311000 | #Constraints: 20795
257.92/260.51 c #Conflicts: 312000 | #Constraints: 21797
257.92/260.51 c #Conflicts: 313000 | #Constraints: 22797
257.92/260.51 c #Conflicts: 314000 | #Constraints: 23798
257.92/260.51 c #Conflicts: 315000 | #Constraints: 24800
257.92/260.51 c #Conflicts: 316000 | #Constraints: 25801
257.92/260.51 c #Conflicts: 317000 | #Constraints: 26802
257.92/260.51 c #Conflicts: 318000 | #Constraints: 27807
257.92/260.51 c #Conflicts: 319000 | #Constraints: 28808
257.92/260.51 c #Conflicts: 320000 | #Constraints: 29808
257.92/260.51 c #Conflicts: 321000 | #Constraints: 30808
257.92/260.51 c INPROCESSING
257.92/260.51 c GARBAGE COLLECT
257.92/260.51 c rational objective 3
270.78/273.49 c #Conflicts: 322000 | #Constraints: 20563
270.78/273.49 c #Conflicts: 323000 | #Constraints: 21563
270.78/273.49 c #Conflicts: 324000 | #Constraints: 22563
270.78/273.49 c #Conflicts: 325000 | #Constraints: 23565
270.78/273.49 c #Conflicts: 326000 | #Constraints: 24566
270.78/273.49 c #Conflicts: 327000 | #Constraints: 25568
270.78/273.49 c #Conflicts: 328000 | #Constraints: 26570
270.78/273.49 c #Conflicts: 329000 | #Constraints: 27570
270.78/273.49 c #Conflicts: 330000 | #Constraints: 28572
270.78/273.49 c #Conflicts: 331000 | #Constraints: 29572
270.78/273.49 c #Conflicts: 332000 | #Constraints: 30572
270.78/273.49 c #Conflicts: 333000 | #Constraints: 31572
270.78/273.49 c INPROCESSING
270.78/273.49 c GARBAGE COLLECT
270.78/273.49 c rational objective 3
283.16/286.04 c #Conflicts: 334000 | #Constraints: 21169
283.16/286.04 c #Conflicts: 335000 | #Constraints: 22172
283.16/286.04 c #Conflicts: 336000 | #Constraints: 23174
283.16/286.04 c #Conflicts: 337000 | #Constraints: 24176
283.16/286.04 c #Conflicts: 338000 | #Constraints: 25176
283.16/286.04 c #Conflicts: 339000 | #Constraints: 26176
283.16/286.04 c #Conflicts: 340000 | #Constraints: 27177
283.16/286.04 c #Conflicts: 341000 | #Constraints: 28177
283.16/286.04 c #Conflicts: 342000 | #Constraints: 29181
283.16/286.04 c #Conflicts: 343000 | #Constraints: 30182
283.16/286.04 c #Conflicts: 344000 | #Constraints: 31182
283.16/286.04 c #Conflicts: 345000 | #Constraints: 32183
283.16/286.04 c INPROCESSING
283.16/286.04 c GARBAGE COLLECT
283.16/286.04 c rational objective 3
296.52/299.45 c #Conflicts: 346000 | #Constraints: 21566
296.52/299.45 c #Conflicts: 347000 | #Constraints: 22566
296.52/299.45 c #Conflicts: 348000 | #Constraints: 23566
296.52/299.45 c #Conflicts: 349000 | #Constraints: 24566
296.52/299.45 c #Conflicts: 350000 | #Constraints: 25566
296.52/299.45 c #Conflicts: 351000 | #Constraints: 26567
296.52/299.45 c #Conflicts: 352000 | #Constraints: 27569
296.52/299.45 c #Conflicts: 353000 | #Constraints: 28571
296.52/299.45 c #Conflicts: 354000 | #Constraints: 29571
296.52/299.45 c #Conflicts: 355000 | #Constraints: 30572
296.52/299.45 c #Conflicts: 356000 | #Constraints: 31572
296.52/299.45 c #Conflicts: 357000 | #Constraints: 32572
296.52/299.45 c INPROCESSING
296.52/299.45 c GARBAGE COLLECT
296.52/299.45 c rational objective 3
308.70/311.87 c #Conflicts: 358000 | #Constraints: 21752
308.70/311.87 c #Conflicts: 359000 | #Constraints: 22752
308.70/311.87 c #Conflicts: 360000 | #Constraints: 23753
308.70/311.87 c #Conflicts: 361000 | #Constraints: 24756
308.70/311.87 c #Conflicts: 362000 | #Constraints: 25758
308.70/311.87 c #Conflicts: 363000 | #Constraints: 26759
308.70/311.87 c #Conflicts: 364000 | #Constraints: 27761
308.70/311.87 c #Conflicts: 365000 | #Constraints: 28763
308.70/311.87 c #Conflicts: 366000 | #Constraints: 29765
308.70/311.87 c #Conflicts: 367000 | #Constraints: 30765
308.70/311.87 c #Conflicts: 368000 | #Constraints: 31767
308.70/311.87 c #Conflicts: 369000 | #Constraints: 32768
308.70/311.87 c INPROCESSING
308.70/311.87 c GARBAGE COLLECT
308.70/311.87 c rational objective 3
323.65/326.87 c #Conflicts: 370000 | #Constraints: 21763
323.65/326.87 c #Conflicts: 371000 | #Constraints: 22763
323.65/326.87 c #Conflicts: 372000 | #Constraints: 23763
323.65/326.87 c #Conflicts: 373000 | #Constraints: 24764
323.65/326.87 c #Conflicts: 374000 | #Constraints: 25764
323.65/326.87 c #Conflicts: 375000 | #Constraints: 26764
323.65/326.87 c #Conflicts: 376000 | #Constraints: 27765
323.65/326.87 c #Conflicts: 377000 | #Constraints: 28765
323.65/326.87 c #Conflicts: 378000 | #Constraints: 29765
323.65/326.87 c #Conflicts: 379000 | #Constraints: 30766
323.65/326.87 c #Conflicts: 380000 | #Constraints: 31766
323.65/326.87 c #Conflicts: 381000 | #Constraints: 32766
323.65/326.87 c INPROCESSING
323.65/326.87 c GARBAGE COLLECT
323.65/326.87 c rational objective 3
334.78/338.22 c #Conflicts: 382000 | #Constraints: 21539
334.78/338.22 c #Conflicts: 383000 | #Constraints: 22539
334.78/338.22 c #Conflicts: 384000 | #Constraints: 23539
334.78/338.22 c #Conflicts: 385000 | #Constraints: 24539
334.78/338.22 c #Conflicts: 386000 | #Constraints: 25539
334.78/338.22 c #Conflicts: 387000 | #Constraints: 26539
334.78/338.22 c #Conflicts: 388000 | #Constraints: 27539
334.78/338.22 c #Conflicts: 389000 | #Constraints: 28539
334.78/338.22 c #Conflicts: 390000 | #Constraints: 29539
334.78/338.22 c #Conflicts: 391000 | #Constraints: 30539
334.78/338.22 c #Conflicts: 392000 | #Constraints: 31540
334.78/338.22 c #Conflicts: 393000 | #Constraints: 32541
334.78/338.22 c #Conflicts: 394000 | #Constraints: 33545
334.78/338.22 c INPROCESSING
334.78/338.22 c GARBAGE COLLECT
334.78/338.22 c rational objective 3
350.74/354.29 c #Conflicts: 395000 | #Constraints: 22098
350.74/354.29 c #Conflicts: 396000 | #Constraints: 23098
350.74/354.29 c #Conflicts: 397000 | #Constraints: 24101
350.74/354.29 c #Conflicts: 398000 | #Constraints: 25103
350.74/354.29 c #Conflicts: 399000 | #Constraints: 26107
350.74/354.29 c #Conflicts: 400000 | #Constraints: 27108
350.74/354.29 c #Conflicts: 401000 | #Constraints: 28110
350.74/354.29 c #Conflicts: 402000 | #Constraints: 29111
350.74/354.29 c #Conflicts: 403000 | #Constraints: 30113
350.74/354.29 c #Conflicts: 404000 | #Constraints: 31114
350.74/354.29 c #Conflicts: 405000 | #Constraints: 32114
350.74/354.29 c #Conflicts: 406000 | #Constraints: 33115
350.74/354.29 c #Conflicts: 407000 | #Constraints: 34117
350.74/354.29 c INPROCESSING
350.74/354.29 c GARBAGE COLLECT
350.74/354.29 c rational objective 3
368.25/372.09 c #Conflicts: 408000 | #Constraints: 22494
368.25/372.09 c #Conflicts: 409000 | #Constraints: 23494
368.25/372.09 c #Conflicts: 410000 | #Constraints: 24495
368.25/372.09 c #Conflicts: 411000 | #Constraints: 25495
368.25/372.09 c #Conflicts: 412000 | #Constraints: 26496
368.25/372.09 c #Conflicts: 413000 | #Constraints: 27497
368.25/372.09 c #Conflicts: 414000 | #Constraints: 28497
368.25/372.09 c #Conflicts: 415000 | #Constraints: 29497
368.25/372.09 c #Conflicts: 416000 | #Constraints: 30498
368.25/372.09 c #Conflicts: 417000 | #Constraints: 31499
368.25/372.09 c #Conflicts: 418000 | #Constraints: 32500
368.25/372.09 c #Conflicts: 419000 | #Constraints: 33500
368.25/372.09 c #Conflicts: 420000 | #Constraints: 34500
368.25/372.09 c INPROCESSING
368.25/372.09 c GARBAGE COLLECT
368.25/372.09 c rational objective 3
385.79/389.67 c #Conflicts: 421000 | #Constraints: 22683
385.79/389.67 c #Conflicts: 422000 | #Constraints: 23683
385.79/389.67 c #Conflicts: 423000 | #Constraints: 24684
385.79/389.67 c #Conflicts: 424000 | #Constraints: 25685
385.79/389.67 c #Conflicts: 425000 | #Constraints: 26686
385.79/389.67 c #Conflicts: 426000 | #Constraints: 27687
385.79/389.67 c #Conflicts: 427000 | #Constraints: 28688
385.79/389.67 c #Conflicts: 428000 | #Constraints: 29689
385.79/389.67 c #Conflicts: 429000 | #Constraints: 30690
385.79/389.67 c #Conflicts: 430000 | #Constraints: 31691
385.79/389.67 c #Conflicts: 431000 | #Constraints: 32692
385.79/389.67 c #Conflicts: 432000 | #Constraints: 33693
385.79/389.67 c #Conflicts: 433000 | #Constraints: 34697
385.79/389.67 c INPROCESSING
385.79/389.67 c GARBAGE COLLECT
385.79/389.67 c rational objective 3
402.00/406.14 c #Conflicts: 434000 | #Constraints: 22626
402.00/406.14 c #Conflicts: 435000 | #Constraints: 23627
402.00/406.14 c #Conflicts: 436000 | #Constraints: 24630
402.00/406.14 c #Conflicts: 437000 | #Constraints: 25630
402.00/406.14 c #Conflicts: 438000 | #Constraints: 26631
402.00/406.14 c #Conflicts: 439000 | #Constraints: 27631
402.00/406.14 c #Conflicts: 440000 | #Constraints: 28631
402.00/406.14 c #Conflicts: 441000 | #Constraints: 29632
402.00/406.14 c #Conflicts: 442000 | #Constraints: 30632
402.00/406.14 c #Conflicts: 443000 | #Constraints: 31633
402.00/406.14 c #Conflicts: 444000 | #Constraints: 32634
402.00/406.14 c #Conflicts: 445000 | #Constraints: 33635
402.00/406.14 c #Conflicts: 446000 | #Constraints: 34636
402.00/406.14 c INPROCESSING
402.00/406.14 c GARBAGE COLLECT
402.00/406.14 c rational objective 3
417.85/422.09 c #Conflicts: 447000 | #Constraints: 22354
417.85/422.09 c #Conflicts: 448000 | #Constraints: 23354
417.85/422.09 c #Conflicts: 449000 | #Constraints: 24355
417.85/422.09 c #Conflicts: 450000 | #Constraints: 25355
417.85/422.09 c #Conflicts: 451000 | #Constraints: 26356
417.85/422.09 c #Conflicts: 452000 | #Constraints: 27358
417.85/422.09 c #Conflicts: 453000 | #Constraints: 28359
417.85/422.09 c #Conflicts: 454000 | #Constraints: 29359
417.85/422.09 c #Conflicts: 455000 | #Constraints: 30361
417.85/422.09 c #Conflicts: 456000 | #Constraints: 31362
417.85/422.09 c #Conflicts: 457000 | #Constraints: 32364
417.85/422.09 c #Conflicts: 458000 | #Constraints: 33364
417.85/422.09 c #Conflicts: 459000 | #Constraints: 34365
417.85/422.09 c #Conflicts: 460000 | #Constraints: 35365
417.85/422.09 c INPROCESSING
417.85/422.09 c GARBAGE COLLECT
417.85/422.09 c rational objective 3
434.22/438.63 c #Conflicts: 461000 | #Constraints: 22956
434.22/438.63 c #Conflicts: 462000 | #Constraints: 23956
434.22/438.63 c #Conflicts: 463000 | #Constraints: 24958
434.22/438.63 c #Conflicts: 464000 | #Constraints: 25958
434.22/438.63 c #Conflicts: 465000 | #Constraints: 26958
434.22/438.63 c #Conflicts: 466000 | #Constraints: 27960
434.22/438.63 c #Conflicts: 467000 | #Constraints: 28961
434.22/438.63 c #Conflicts: 468000 | #Constraints: 29964
434.22/438.63 c #Conflicts: 469000 | #Constraints: 30965
434.22/438.63 c #Conflicts: 470000 | #Constraints: 31965
434.22/438.63 c #Conflicts: 471000 | #Constraints: 32967
434.22/438.63 c #Conflicts: 472000 | #Constraints: 33967
434.22/438.63 c #Conflicts: 473000 | #Constraints: 34967
434.22/438.63 c #Conflicts: 474000 | #Constraints: 35969
434.22/438.63 c INPROCESSING
434.22/438.63 c GARBAGE COLLECT
434.22/438.63 c rational objective 3
449.70/454.18 c #Conflicts: 475000 | #Constraints: 23366
449.70/454.18 c #Conflicts: 476000 | #Constraints: 24366
449.70/454.18 c #Conflicts: 477000 | #Constraints: 25366
449.70/454.18 c #Conflicts: 478000 | #Constraints: 26367
449.70/454.18 c #Conflicts: 479000 | #Constraints: 27368
449.70/454.18 c #Conflicts: 480000 | #Constraints: 28370
449.70/454.18 c #Conflicts: 481000 | #Constraints: 29371
449.70/454.18 c #Conflicts: 482000 | #Constraints: 30372
449.70/454.18 c #Conflicts: 483000 | #Constraints: 31373
449.70/454.18 c #Conflicts: 484000 | #Constraints: 32373
449.70/454.18 c #Conflicts: 485000 | #Constraints: 33373
449.70/454.18 c #Conflicts: 486000 | #Constraints: 34374
449.70/454.18 c #Conflicts: 487000 | #Constraints: 35375
449.70/454.18 c #Conflicts: 488000 | #Constraints: 36375
449.70/454.18 c INPROCESSING
449.70/454.18 c GARBAGE COLLECT
449.70/454.18 c rational objective 3
463.46/468.19 c #Conflicts: 489000 | #Constraints: 23525
463.46/468.19 c #Conflicts: 490000 | #Constraints: 24525
463.46/468.19 c #Conflicts: 491000 | #Constraints: 25525
463.46/468.19 c #Conflicts: 492000 | #Constraints: 26526
463.46/468.19 c #Conflicts: 493000 | #Constraints: 27527
463.46/468.19 c #Conflicts: 494000 | #Constraints: 28527
463.46/468.19 c #Conflicts: 495000 | #Constraints: 29528
463.46/468.19 c #Conflicts: 496000 | #Constraints: 30528
463.46/468.19 c #Conflicts: 497000 | #Constraints: 31528
463.46/468.19 c #Conflicts: 498000 | #Constraints: 32529
463.46/468.19 c #Conflicts: 499000 | #Constraints: 33529
463.46/468.19 c #Conflicts: 500000 | #Constraints: 34529
463.46/468.19 c #Conflicts: 501000 | #Constraints: 35531
463.46/468.19 c #Conflicts: 502000 | #Constraints: 36531
463.46/468.19 c INPROCESSING
463.46/468.19 c GARBAGE COLLECT
463.46/468.19 c rational objective 3
481.06/485.83 c #Conflicts: 503000 | #Constraints: 23516
481.06/485.83 c #Conflicts: 504000 | #Constraints: 24517
481.06/485.83 c #Conflicts: 505000 | #Constraints: 25520
481.06/485.83 c #Conflicts: 506000 | #Constraints: 26521
481.06/485.83 c #Conflicts: 507000 | #Constraints: 27522
481.06/485.83 c #Conflicts: 508000 | #Constraints: 28525
481.06/485.83 c #Conflicts: 509000 | #Constraints: 29529
481.06/485.83 c #Conflicts: 510000 | #Constraints: 30532
481.06/485.83 c #Conflicts: 511000 | #Constraints: 31533
481.06/485.83 c #Conflicts: 512000 | #Constraints: 32535
481.06/485.83 c #Conflicts: 513000 | #Constraints: 33536
481.06/485.83 c #Conflicts: 514000 | #Constraints: 34537
481.06/485.83 c #Conflicts: 515000 | #Constraints: 35537
481.06/485.83 c #Conflicts: 516000 | #Constraints: 36538
481.06/485.83 c INPROCESSING
481.06/485.83 c GARBAGE COLLECT
481.06/485.83 c rational objective 3
499.09/505.40 c #Conflicts: 517000 | #Constraints: 23329
499.09/505.40 c #Conflicts: 518000 | #Constraints: 24329
499.09/505.40 c #Conflicts: 519000 | #Constraints: 25330
499.09/505.40 c #Conflicts: 520000 | #Constraints: 26330
499.09/505.40 c #Conflicts: 521000 | #Constraints: 27330
499.09/505.40 c #Conflicts: 522000 | #Constraints: 28331
499.09/505.40 c #Conflicts: 523000 | #Constraints: 29334
499.09/505.40 c #Conflicts: 524000 | #Constraints: 30335
499.09/505.40 c #Conflicts: 525000 | #Constraints: 31335
499.09/505.40 c #Conflicts: 526000 | #Constraints: 32336
499.09/505.40 c #Conflicts: 527000 | #Constraints: 33336
499.09/505.40 c #Conflicts: 528000 | #Constraints: 34337
499.09/505.40 c #Conflicts: 529000 | #Constraints: 35337
499.09/505.40 c #Conflicts: 530000 | #Constraints: 36338
499.09/505.40 c #Conflicts: 531000 | #Constraints: 37338
499.09/505.40 c INPROCESSING
499.09/505.40 c GARBAGE COLLECT
499.09/505.40 c rational objective 3
518.24/524.61 c #Conflicts: 532000 | #Constraints: 23927
518.24/524.61 c #Conflicts: 533000 | #Constraints: 24927
518.24/524.61 c #Conflicts: 534000 | #Constraints: 25928
518.24/524.61 c #Conflicts: 535000 | #Constraints: 26928
518.24/524.61 c #Conflicts: 536000 | #Constraints: 27930
518.24/524.61 c #Conflicts: 537000 | #Constraints: 28933
518.24/524.61 c #Conflicts: 538000 | #Constraints: 29933
518.24/524.61 c #Conflicts: 539000 | #Constraints: 30933
518.24/524.61 c #Conflicts: 540000 | #Constraints: 31933
518.24/524.61 c #Conflicts: 541000 | #Constraints: 32933
518.24/524.61 c #Conflicts: 542000 | #Constraints: 33934
518.24/524.61 c #Conflicts: 543000 | #Constraints: 34936
518.24/524.61 c #Conflicts: 544000 | #Constraints: 35936
518.24/524.61 c #Conflicts: 545000 | #Constraints: 36936
518.24/524.61 c #Conflicts: 546000 | #Constraints: 37936
518.24/524.61 c INPROCESSING
518.24/524.61 c GARBAGE COLLECT
518.24/524.61 c rational objective 3
537.09/543.63 c #Conflicts: 547000 | #Constraints: 24319
537.09/543.63 c #Conflicts: 548000 | #Constraints: 25321
537.09/543.63 c #Conflicts: 549000 | #Constraints: 26321
537.09/543.63 c #Conflicts: 550000 | #Constraints: 27322
537.09/543.63 c #Conflicts: 551000 | #Constraints: 28322
537.09/543.63 c #Conflicts: 552000 | #Constraints: 29323
537.09/543.63 c #Conflicts: 553000 | #Constraints: 30324
537.09/543.63 c #Conflicts: 554000 | #Constraints: 31324
537.09/543.63 c #Conflicts: 555000 | #Constraints: 32324
537.09/543.63 c #Conflicts: 556000 | #Constraints: 33324
537.09/543.63 c #Conflicts: 557000 | #Constraints: 34325
537.09/543.63 c #Conflicts: 558000 | #Constraints: 35328
537.09/543.63 c #Conflicts: 559000 | #Constraints: 36328
537.09/543.63 c #Conflicts: 560000 | #Constraints: 37329
537.09/543.63 c #Conflicts: 561000 | #Constraints: 38330
537.09/543.63 c INPROCESSING
537.09/543.63 c GARBAGE COLLECT
537.09/543.63 c rational objective 3
555.64/562.50 c #Conflicts: 562000 | #Constraints: 24512
555.64/562.50 c #Conflicts: 563000 | #Constraints: 25512
555.64/562.50 c #Conflicts: 564000 | #Constraints: 26515
555.64/562.50 c #Conflicts: 565000 | #Constraints: 27516
555.64/562.50 c #Conflicts: 566000 | #Constraints: 28517
555.64/562.50 c #Conflicts: 567000 | #Constraints: 29517
555.64/562.50 c #Conflicts: 568000 | #Constraints: 30519
555.64/562.50 c #Conflicts: 569000 | #Constraints: 31521
555.64/562.50 c #Conflicts: 570000 | #Constraints: 32521
555.64/562.50 c #Conflicts: 571000 | #Constraints: 33524
555.64/562.50 c #Conflicts: 572000 | #Constraints: 34524
555.64/562.50 c #Conflicts: 573000 | #Constraints: 35526
555.64/562.50 c #Conflicts: 574000 | #Constraints: 36528
555.64/562.50 c #Conflicts: 575000 | #Constraints: 37529
555.64/562.50 c #Conflicts: 576000 | #Constraints: 38531
555.64/562.50 c INPROCESSING
555.64/562.50 c GARBAGE COLLECT
555.64/562.50 c rational objective 3
573.88/580.82 c #Conflicts: 577000 | #Constraints: 24537
573.88/580.82 c #Conflicts: 578000 | #Constraints: 25537
573.88/580.82 c #Conflicts: 579000 | #Constraints: 26538
573.88/580.82 c #Conflicts: 580000 | #Constraints: 27541
573.88/580.82 c #Conflicts: 581000 | #Constraints: 28544
573.88/580.82 c #Conflicts: 582000 | #Constraints: 29544
573.88/580.82 c #Conflicts: 583000 | #Constraints: 30545
573.88/580.82 c #Conflicts: 584000 | #Constraints: 31547
573.88/580.82 c #Conflicts: 585000 | #Constraints: 32547
573.88/580.82 c #Conflicts: 586000 | #Constraints: 33547
573.88/580.82 c #Conflicts: 587000 | #Constraints: 34548
573.88/580.82 c #Conflicts: 588000 | #Constraints: 35549
573.88/580.82 c #Conflicts: 589000 | #Constraints: 36549
573.88/580.82 c #Conflicts: 590000 | #Constraints: 37551
573.88/580.82 c #Conflicts: 591000 | #Constraints: 38551
573.88/580.82 c INPROCESSING
573.88/580.82 c GARBAGE COLLECT
573.88/580.82 c rational objective 3
598.63/605.75 c #Conflicts: 592000 | #Constraints: 24323
598.63/605.75 c #Conflicts: 593000 | #Constraints: 25323
598.63/605.75 c #Conflicts: 594000 | #Constraints: 26323
598.63/605.75 c #Conflicts: 595000 | #Constraints: 27323
598.63/605.75 c #Conflicts: 596000 | #Constraints: 28323
598.63/605.75 c #Conflicts: 597000 | #Constraints: 29323
598.63/605.75 c #Conflicts: 598000 | #Constraints: 30323
598.63/605.75 c #Conflicts: 599000 | #Constraints: 31324
598.63/605.75 c #Conflicts: 600000 | #Constraints: 32325
598.63/605.75 c #Conflicts: 601000 | #Constraints: 33325
598.63/605.75 c #Conflicts: 602000 | #Constraints: 34325
598.63/605.75 c #Conflicts: 603000 | #Constraints: 35325
598.63/605.75 c #Conflicts: 604000 | #Constraints: 36326
598.63/605.75 c #Conflicts: 605000 | #Constraints: 37327
598.63/605.75 c #Conflicts: 606000 | #Constraints: 38328
598.63/605.75 c #Conflicts: 607000 | #Constraints: 39329
598.63/605.75 c INPROCESSING
598.63/605.75 c GARBAGE COLLECT
598.63/605.75 c rational objective 3
617.95/625.35 c #Conflicts: 608000 | #Constraints: 24888
617.95/625.35 c #Conflicts: 609000 | #Constraints: 25889
617.95/625.35 c #Conflicts: 610000 | #Constraints: 26889
617.95/625.35 c #Conflicts: 611000 | #Constraints: 27890
617.95/625.35 c #Conflicts: 612000 | #Constraints: 28892
617.95/625.35 c #Conflicts: 613000 | #Constraints: 29896
617.95/625.35 c #Conflicts: 614000 | #Constraints: 30896
617.95/625.35 c #Conflicts: 615000 | #Constraints: 31896
617.95/625.35 c #Conflicts: 616000 | #Constraints: 32896
617.95/625.35 c #Conflicts: 617000 | #Constraints: 33896
617.95/625.35 c #Conflicts: 618000 | #Constraints: 34896
617.95/625.35 c #Conflicts: 619000 | #Constraints: 35896
617.95/625.35 c #Conflicts: 620000 | #Constraints: 36896
617.95/625.35 c #Conflicts: 621000 | #Constraints: 37896
617.95/625.35 c #Conflicts: 622000 | #Constraints: 38896
617.95/625.35 c #Conflicts: 623000 | #Constraints: 39896
617.95/625.35 c INPROCESSING
617.95/625.35 c GARBAGE COLLECT
617.95/625.35 c rational objective 3
638.59/646.02 c #Conflicts: 624000 | #Constraints: 25282
638.59/646.02 c #Conflicts: 625000 | #Constraints: 26282
638.59/646.02 c #Conflicts: 626000 | #Constraints: 27282
638.59/646.02 c #Conflicts: 627000 | #Constraints: 28283
638.59/646.02 c #Conflicts: 628000 | #Constraints: 29283
638.59/646.02 c #Conflicts: 629000 | #Constraints: 30284
638.59/646.02 c #Conflicts: 630000 | #Constraints: 31284
638.59/646.02 c #Conflicts: 631000 | #Constraints: 32284
638.59/646.02 c #Conflicts: 632000 | #Constraints: 33285
638.59/646.02 c #Conflicts: 633000 | #Constraints: 34287
638.59/646.02 c #Conflicts: 634000 | #Constraints: 35287
638.59/646.02 c #Conflicts: 635000 | #Constraints: 36287
638.59/646.02 c #Conflicts: 636000 | #Constraints: 37288
638.59/646.02 c #Conflicts: 637000 | #Constraints: 38288
638.59/646.02 c #Conflicts: 638000 | #Constraints: 39288
638.59/646.02 c #Conflicts: 639000 | #Constraints: 40288
638.59/646.02 c INPROCESSING
638.59/646.02 c GARBAGE COLLECT
638.59/646.02 c rational objective 3
661.33/668.95 c #Conflicts: 640000 | #Constraints: 25481
661.33/668.95 c #Conflicts: 641000 | #Constraints: 26481
661.33/668.95 c #Conflicts: 642000 | #Constraints: 27484
661.33/668.95 c #Conflicts: 643000 | #Constraints: 28484
661.33/668.95 c #Conflicts: 644000 | #Constraints: 29485
661.33/668.95 c #Conflicts: 645000 | #Constraints: 30486
661.33/668.95 c #Conflicts: 646000 | #Constraints: 31487
661.33/668.95 c #Conflicts: 647000 | #Constraints: 32487
661.33/668.95 c #Conflicts: 648000 | #Constraints: 33489
661.33/668.95 c #Conflicts: 649000 | #Constraints: 34490
661.33/668.95 c #Conflicts: 650000 | #Constraints: 35492
661.33/668.95 c #Conflicts: 651000 | #Constraints: 36493
661.33/668.95 c #Conflicts: 652000 | #Constraints: 37495
661.33/668.95 c #Conflicts: 653000 | #Constraints: 38498
661.33/668.95 c #Conflicts: 654000 | #Constraints: 39499
661.33/668.95 c #Conflicts: 655000 | #Constraints: 40501
661.33/668.95 c INPROCESSING
661.33/668.95 c GARBAGE COLLECT
661.33/668.95 c rational objective 3
681.18/689.00 c #Conflicts: 656000 | #Constraints: 25490
681.18/689.00 c #Conflicts: 657000 | #Constraints: 26490
681.18/689.00 c #Conflicts: 658000 | #Constraints: 27491
681.18/689.00 c #Conflicts: 659000 | #Constraints: 28492
681.18/689.00 c #Conflicts: 660000 | #Constraints: 29493
681.18/689.00 c #Conflicts: 661000 | #Constraints: 30494
681.18/689.00 c #Conflicts: 662000 | #Constraints: 31496
681.18/689.00 c #Conflicts: 663000 | #Constraints: 32497
681.18/689.00 c #Conflicts: 664000 | #Constraints: 33499
681.18/689.00 c #Conflicts: 665000 | #Constraints: 34501
681.18/689.00 c #Conflicts: 666000 | #Constraints: 35502
681.18/689.00 c #Conflicts: 667000 | #Constraints: 36504
681.18/689.00 c #Conflicts: 668000 | #Constraints: 37505
681.18/689.00 c #Conflicts: 669000 | #Constraints: 38505
681.18/689.00 c #Conflicts: 670000 | #Constraints: 39507
681.18/689.00 c #Conflicts: 671000 | #Constraints: 40508
681.18/689.00 c INPROCESSING
681.18/689.00 c GARBAGE COLLECT
681.18/689.00 c rational objective 3
705.94/713.88 c #Conflicts: 672000 | #Constraints: 25269
705.94/713.88 c #Conflicts: 673000 | #Constraints: 26269
705.94/713.88 c #Conflicts: 674000 | #Constraints: 27273
705.94/713.88 c #Conflicts: 675000 | #Constraints: 28273
705.94/713.88 c #Conflicts: 676000 | #Constraints: 29273
705.94/713.88 c #Conflicts: 677000 | #Constraints: 30273
705.94/713.88 c #Conflicts: 678000 | #Constraints: 31274
705.94/713.88 c #Conflicts: 679000 | #Constraints: 32274
705.94/713.88 c #Conflicts: 680000 | #Constraints: 33275
705.94/713.88 c #Conflicts: 681000 | #Constraints: 34275
705.94/713.88 c #Conflicts: 682000 | #Constraints: 35276
705.94/713.88 c #Conflicts: 683000 | #Constraints: 36276
705.94/713.88 c #Conflicts: 684000 | #Constraints: 37276
705.94/713.88 c #Conflicts: 685000 | #Constraints: 38276
705.94/713.88 c #Conflicts: 686000 | #Constraints: 39277
705.94/713.88 c #Conflicts: 687000 | #Constraints: 40278
705.94/713.88 c #Conflicts: 688000 | #Constraints: 41279
705.94/713.88 c INPROCESSING
705.94/713.88 c GARBAGE COLLECT
705.94/713.88 c rational objective 3
730.66/738.70 c #Conflicts: 689000 | #Constraints: 25840
730.66/738.70 c #Conflicts: 690000 | #Constraints: 26840
730.66/738.70 c #Conflicts: 691000 | #Constraints: 27841
730.66/738.70 c #Conflicts: 692000 | #Constraints: 28842
730.66/738.70 c #Conflicts: 693000 | #Constraints: 29843
730.66/738.70 c #Conflicts: 694000 | #Constraints: 30844
730.66/738.70 c #Conflicts: 695000 | #Constraints: 31847
730.66/738.70 c #Conflicts: 696000 | #Constraints: 32850
730.66/738.70 c #Conflicts: 697000 | #Constraints: 33853
730.66/738.70 c #Conflicts: 698000 | #Constraints: 34857
730.66/738.70 c #Conflicts: 699000 | #Constraints: 35859
730.66/738.70 c #Conflicts: 700000 | #Constraints: 36860
730.66/738.70 c #Conflicts: 701000 | #Constraints: 37863
730.66/738.70 c #Conflicts: 702000 | #Constraints: 38866
730.66/738.70 c #Conflicts: 703000 | #Constraints: 39870
730.66/738.70 c #Conflicts: 704000 | #Constraints: 40871
730.66/738.70 c #Conflicts: 705000 | #Constraints: 41872
730.66/738.70 c INPROCESSING
730.66/738.70 c GARBAGE COLLECT
730.66/738.70 c rational objective 3
753.98/762.08 c #Conflicts: 706000 | #Constraints: 26193
753.98/762.08 c #Conflicts: 707000 | #Constraints: 27198
753.98/762.08 c #Conflicts: 708000 | #Constraints: 28201
753.98/762.08 c #Conflicts: 709000 | #Constraints: 29202
753.98/762.08 c #Conflicts: 710000 | #Constraints: 30203
753.98/762.08 c #Conflicts: 711000 | #Constraints: 31206
753.98/762.08 c #Conflicts: 712000 | #Constraints: 32208
753.98/762.08 c #Conflicts: 713000 | #Constraints: 33210
753.98/762.08 c #Conflicts: 714000 | #Constraints: 34210
753.98/762.08 c #Conflicts: 715000 | #Constraints: 35212
753.98/762.08 c #Conflicts: 716000 | #Constraints: 36215
753.98/762.08 c #Conflicts: 717000 | #Constraints: 37220
753.98/762.08 c #Conflicts: 718000 | #Constraints: 38221
753.98/762.08 c #Conflicts: 719000 | #Constraints: 39222
753.98/762.08 c #Conflicts: 720000 | #Constraints: 40222
753.98/762.08 c #Conflicts: 721000 | #Constraints: 41223
753.98/762.08 c #Conflicts: 722000 | #Constraints: 42224
753.98/762.08 c INPROCESSING
753.98/762.08 c GARBAGE COLLECT
753.98/762.08 c rational objective 3
777.57/785.86 c #Conflicts: 723000 | #Constraints: 26386
777.57/785.86 c #Conflicts: 724000 | #Constraints: 27386
777.57/785.86 c #Conflicts: 725000 | #Constraints: 28388
777.57/785.86 c #Conflicts: 726000 | #Constraints: 29389
777.57/785.86 c #Conflicts: 727000 | #Constraints: 30390
777.57/785.86 c #Conflicts: 728000 | #Constraints: 31390
777.57/785.86 c #Conflicts: 729000 | #Constraints: 32390
777.57/785.86 c #Conflicts: 730000 | #Constraints: 33392
777.57/785.86 c #Conflicts: 731000 | #Constraints: 34393
777.57/785.86 c #Conflicts: 732000 | #Constraints: 35393
777.57/785.86 c #Conflicts: 733000 | #Constraints: 36393
777.57/785.86 c #Conflicts: 734000 | #Constraints: 37393
777.57/785.86 c #Conflicts: 735000 | #Constraints: 38394
777.57/785.86 c #Conflicts: 736000 | #Constraints: 39394
777.57/785.86 c #Conflicts: 737000 | #Constraints: 40394
777.57/785.86 c #Conflicts: 738000 | #Constraints: 41395
777.57/785.86 c #Conflicts: 739000 | #Constraints: 42395
777.57/785.86 c INPROCESSING
777.57/785.86 c GARBAGE COLLECT
777.57/785.86 c rational objective 3
804.32/812.78 c #Conflicts: 740000 | #Constraints: 26360
804.32/812.78 c #Conflicts: 741000 | #Constraints: 27360
804.32/812.78 c #Conflicts: 742000 | #Constraints: 28360
804.32/812.78 c #Conflicts: 743000 | #Constraints: 29361
804.32/812.78 c #Conflicts: 744000 | #Constraints: 30361
804.32/812.78 c #Conflicts: 745000 | #Constraints: 31362
804.32/812.78 c #Conflicts: 746000 | #Constraints: 32363
804.32/812.78 c #Conflicts: 747000 | #Constraints: 33365
804.32/812.78 c #Conflicts: 748000 | #Constraints: 34368
804.32/812.78 c #Conflicts: 749000 | #Constraints: 35368
804.32/812.78 c #Conflicts: 750000 | #Constraints: 36372
804.32/812.78 c #Conflicts: 751000 | #Constraints: 37373
804.32/812.78 c #Conflicts: 752000 | #Constraints: 38377
804.32/812.78 c #Conflicts: 753000 | #Constraints: 39379
804.32/812.78 c #Conflicts: 754000 | #Constraints: 40381
804.32/812.78 c #Conflicts: 755000 | #Constraints: 41383
804.32/812.78 c #Conflicts: 756000 | #Constraints: 42383
804.32/812.78 c INPROCESSING
804.32/812.78 c GARBAGE COLLECT
804.32/812.78 c rational objective 3
825.92/834.49 c #Conflicts: 757000 | #Constraints: 26110
825.92/834.49 c #Conflicts: 758000 | #Constraints: 27110
825.92/834.49 c #Conflicts: 759000 | #Constraints: 28111
825.92/834.49 c #Conflicts: 760000 | #Constraints: 29111
825.92/834.49 c #Conflicts: 761000 | #Constraints: 30112
825.92/834.49 c #Conflicts: 762000 | #Constraints: 31112
825.92/834.49 c #Conflicts: 763000 | #Constraints: 32113
825.92/834.49 c #Conflicts: 764000 | #Constraints: 33113
825.92/834.49 c #Conflicts: 765000 | #Constraints: 34114
825.92/834.49 c #Conflicts: 766000 | #Constraints: 35114
825.92/834.49 c #Conflicts: 767000 | #Constraints: 36116
825.92/834.49 c #Conflicts: 768000 | #Constraints: 37117
825.92/834.49 c #Conflicts: 769000 | #Constraints: 38117
825.92/834.49 c #Conflicts: 770000 | #Constraints: 39117
825.92/834.49 c #Conflicts: 771000 | #Constraints: 40117
825.92/834.49 c #Conflicts: 772000 | #Constraints: 41117
825.92/834.49 c #Conflicts: 773000 | #Constraints: 42117
825.92/834.49 c #Conflicts: 774000 | #Constraints: 43118
825.92/834.49 c INPROCESSING
825.92/834.49 c GARBAGE COLLECT
825.92/834.49 c rational objective 3
849.94/858.52 c #Conflicts: 775000 | #Constraints: 26672
849.94/858.52 c #Conflicts: 776000 | #Constraints: 27672
849.94/858.52 c #Conflicts: 777000 | #Constraints: 28675
849.94/858.52 c #Conflicts: 778000 | #Constraints: 29676
849.94/858.52 c #Conflicts: 779000 | #Constraints: 30676
849.94/858.52 c #Conflicts: 780000 | #Constraints: 31676
849.94/858.52 c #Conflicts: 781000 | #Constraints: 32676
849.94/858.52 c #Conflicts: 782000 | #Constraints: 33676
849.94/858.52 c #Conflicts: 783000 | #Constraints: 34677
849.94/858.52 c #Conflicts: 784000 | #Constraints: 35679
849.94/858.52 c #Conflicts: 785000 | #Constraints: 36681
849.94/858.52 c #Conflicts: 786000 | #Constraints: 37682
849.94/858.52 c #Conflicts: 787000 | #Constraints: 38683
849.94/858.52 c #Conflicts: 788000 | #Constraints: 39684
849.94/858.52 c #Conflicts: 789000 | #Constraints: 40685
849.94/858.52 c #Conflicts: 790000 | #Constraints: 41685
849.94/858.52 c #Conflicts: 791000 | #Constraints: 42685
849.94/858.52 c #Conflicts: 792000 | #Constraints: 43685
849.94/858.52 c INPROCESSING
849.94/858.52 c GARBAGE COLLECT
849.94/858.52 c rational objective 3
876.20/884.99 c #Conflicts: 793000 | #Constraints: 27074
876.20/884.99 c #Conflicts: 794000 | #Constraints: 28074
876.20/884.99 c #Conflicts: 795000 | #Constraints: 29075
876.20/884.99 c #Conflicts: 796000 | #Constraints: 30079
876.20/884.99 c #Conflicts: 797000 | #Constraints: 31082
876.20/884.99 c #Conflicts: 798000 | #Constraints: 32084
876.20/884.99 c #Conflicts: 799000 | #Constraints: 33085
876.20/884.99 c #Conflicts: 800000 | #Constraints: 34087
876.20/884.99 c #Conflicts: 801000 | #Constraints: 35091
876.20/884.99 c #Conflicts: 802000 | #Constraints: 36093
876.20/884.99 c #Conflicts: 803000 | #Constraints: 37095
876.20/884.99 c #Conflicts: 804000 | #Constraints: 38095
876.20/884.99 c #Conflicts: 805000 | #Constraints: 39096
876.20/884.99 c #Conflicts: 806000 | #Constraints: 40096
876.20/884.99 c #Conflicts: 807000 | #Constraints: 41096
876.20/884.99 c #Conflicts: 808000 | #Constraints: 42096
876.20/884.99 c #Conflicts: 809000 | #Constraints: 43096
876.20/884.99 c #Conflicts: 810000 | #Constraints: 44098
876.20/884.99 c INPROCESSING
876.20/884.99 c GARBAGE COLLECT
876.20/884.99 c rational objective 3
900.46/909.44 c #Conflicts: 811000 | #Constraints: 27270
900.46/909.44 c #Conflicts: 812000 | #Constraints: 28270
900.46/909.44 c #Conflicts: 813000 | #Constraints: 29271
900.46/909.44 c #Conflicts: 814000 | #Constraints: 30271
900.46/909.44 c #Conflicts: 815000 | #Constraints: 31272
900.46/909.44 c #Conflicts: 816000 | #Constraints: 32273
900.46/909.44 c #Conflicts: 817000 | #Constraints: 33273
900.46/909.44 c #Conflicts: 818000 | #Constraints: 34274
900.46/909.44 c #Conflicts: 819000 | #Constraints: 35274
900.46/909.44 c #Conflicts: 820000 | #Constraints: 36274
900.46/909.44 c #Conflicts: 821000 | #Constraints: 37275
900.46/909.44 c #Conflicts: 822000 | #Constraints: 38275
900.46/909.44 c #Conflicts: 823000 | #Constraints: 39275
900.46/909.44 c #Conflicts: 824000 | #Constraints: 40275
900.46/909.44 c #Conflicts: 825000 | #Constraints: 41275
900.46/909.44 c #Conflicts: 826000 | #Constraints: 42276
900.46/909.44 c #Conflicts: 827000 | #Constraints: 43276
900.46/909.44 c #Conflicts: 828000 | #Constraints: 44276
900.46/909.44 c INPROCESSING
900.46/909.44 c GARBAGE COLLECT
900.46/909.44 c rational objective 3
923.74/932.89 c #Conflicts: 829000 | #Constraints: 27269
923.74/932.89 c #Conflicts: 830000 | #Constraints: 28269
923.74/932.89 c #Conflicts: 831000 | #Constraints: 29269
923.74/932.89 c #Conflicts: 832000 | #Constraints: 30270
923.74/932.89 c #Conflicts: 833000 | #Constraints: 31270
923.74/932.89 c #Conflicts: 834000 | #Constraints: 32271
923.74/932.89 c #Conflicts: 835000 | #Constraints: 33272
923.74/932.89 c #Conflicts: 836000 | #Constraints: 34272
923.74/932.89 c #Conflicts: 837000 | #Constraints: 35272
923.74/932.89 c #Conflicts: 838000 | #Constraints: 36273
923.74/932.89 c #Conflicts: 839000 | #Constraints: 37273
923.74/932.89 c #Conflicts: 840000 | #Constraints: 38273
923.74/932.89 c #Conflicts: 841000 | #Constraints: 39273
923.74/932.89 c #Conflicts: 842000 | #Constraints: 40275
923.74/932.89 c #Conflicts: 843000 | #Constraints: 41276
923.74/932.89 c #Conflicts: 844000 | #Constraints: 42276
923.74/932.89 c #Conflicts: 845000 | #Constraints: 43276
923.74/932.89 c #Conflicts: 846000 | #Constraints: 44276
923.74/932.89 c INPROCESSING
923.74/932.89 c GARBAGE COLLECT
923.74/932.89 c rational objective 3
954.19/963.47 c #Conflicts: 847000 | #Constraints: 27003
954.19/963.47 c #Conflicts: 848000 | #Constraints: 28003
954.19/963.47 c #Conflicts: 849000 | #Constraints: 29003
954.19/963.47 c #Conflicts: 850000 | #Constraints: 30006
954.19/963.47 c #Conflicts: 851000 | #Constraints: 31007
954.19/963.47 c #Conflicts: 852000 | #Constraints: 32008
954.19/963.47 c #Conflicts: 853000 | #Constraints: 33009
954.19/963.47 c #Conflicts: 854000 | #Constraints: 34012
954.19/963.47 c #Conflicts: 855000 | #Constraints: 35014
954.19/963.47 c #Conflicts: 856000 | #Constraints: 36014
954.19/963.47 c #Conflicts: 857000 | #Constraints: 37015
954.19/963.47 c #Conflicts: 858000 | #Constraints: 38017
954.19/963.47 c #Conflicts: 859000 | #Constraints: 39017
954.19/963.47 c #Conflicts: 860000 | #Constraints: 40017
954.19/963.47 c #Conflicts: 861000 | #Constraints: 41018
954.19/963.47 c #Conflicts: 862000 | #Constraints: 42018
954.19/963.47 c #Conflicts: 863000 | #Constraints: 43019
954.19/963.47 c #Conflicts: 864000 | #Constraints: 44019
954.19/963.47 c #Conflicts: 865000 | #Constraints: 45020
954.19/963.47 c INPROCESSING
954.19/963.47 c GARBAGE COLLECT
954.19/963.47 c rational objective 3
982.84/992.20 c #Conflicts: 866000 | #Constraints: 27600
982.84/992.20 c #Conflicts: 867000 | #Constraints: 28602
982.84/992.20 c #Conflicts: 868000 | #Constraints: 29605
982.84/992.20 c #Conflicts: 869000 | #Constraints: 30608
982.84/992.20 c #Conflicts: 870000 | #Constraints: 31609
982.84/992.20 c #Conflicts: 871000 | #Constraints: 32610
982.84/992.20 c #Conflicts: 872000 | #Constraints: 33610
982.84/992.20 c #Conflicts: 873000 | #Constraints: 34611
982.84/992.20 c #Conflicts: 874000 | #Constraints: 35613
982.84/992.20 c #Conflicts: 875000 | #Constraints: 36616
982.84/992.20 c #Conflicts: 876000 | #Constraints: 37617
982.84/992.20 c #Conflicts: 877000 | #Constraints: 38618
982.84/992.20 c #Conflicts: 878000 | #Constraints: 39620
982.84/992.20 c #Conflicts: 879000 | #Constraints: 40622
982.84/992.20 c #Conflicts: 880000 | #Constraints: 41623
982.84/992.20 c #Conflicts: 881000 | #Constraints: 42623
982.84/992.20 c #Conflicts: 882000 | #Constraints: 43623
982.84/992.20 c #Conflicts: 883000 | #Constraints: 44623
982.84/992.20 c #Conflicts: 884000 | #Constraints: 45623
982.84/992.20 c INPROCESSING
982.84/992.20 c GARBAGE COLLECT
982.84/992.20 c rational objective 3
1009.09/1018.66 c #Conflicts: 885000 | #Constraints: 27928
1009.09/1018.66 c #Conflicts: 886000 | #Constraints: 28928
1009.09/1018.66 c #Conflicts: 887000 | #Constraints: 29931
1009.09/1018.66 c #Conflicts: 888000 | #Constraints: 30933
1009.09/1018.66 c #Conflicts: 889000 | #Constraints: 31935
1009.09/1018.66 c #Conflicts: 890000 | #Constraints: 32935
1009.09/1018.66 c #Conflicts: 891000 | #Constraints: 33936
1009.09/1018.66 c #Conflicts: 892000 | #Constraints: 34939
1009.09/1018.66 c #Conflicts: 893000 | #Constraints: 35940
1009.09/1018.66 c #Conflicts: 894000 | #Constraints: 36941
1009.09/1018.66 c #Conflicts: 895000 | #Constraints: 37943
1009.09/1018.66 c #Conflicts: 896000 | #Constraints: 38944
1009.09/1018.66 c #Conflicts: 897000 | #Constraints: 39946
1009.09/1018.66 c #Conflicts: 898000 | #Constraints: 40947
1009.09/1018.66 c #Conflicts: 899000 | #Constraints: 41954
1009.09/1018.66 c #Conflicts: 900000 | #Constraints: 42955
1009.09/1018.66 c #Conflicts: 901000 | #Constraints: 43956
1009.09/1018.66 c #Conflicts: 902000 | #Constraints: 44957
1009.09/1018.66 c #Conflicts: 903000 | #Constraints: 45957
1009.09/1018.66 c INPROCESSING
1009.09/1018.66 c GARBAGE COLLECT
1009.09/1018.66 c rational objective 3
1038.90/1048.52 c #Conflicts: 904000 | #Constraints: 28125
1038.90/1048.52 c #Conflicts: 905000 | #Constraints: 29125
1038.90/1048.52 c #Conflicts: 906000 | #Constraints: 30125
1038.90/1048.52 c #Conflicts: 907000 | #Constraints: 31127
1038.90/1048.52 c #Conflicts: 908000 | #Constraints: 32127
1038.90/1048.52 c #Conflicts: 909000 | #Constraints: 33127
1038.90/1048.52 c #Conflicts: 910000 | #Constraints: 34128
1038.90/1048.52 c #Conflicts: 911000 | #Constraints: 35130
1038.90/1048.52 c #Conflicts: 912000 | #Constraints: 36132
1038.90/1048.52 c #Conflicts: 913000 | #Constraints: 37133
1038.90/1048.52 c #Conflicts: 914000 | #Constraints: 38133
1038.90/1048.52 c #Conflicts: 915000 | #Constraints: 39135
1038.90/1048.52 c #Conflicts: 916000 | #Constraints: 40135
1038.90/1048.52 c #Conflicts: 917000 | #Constraints: 41135
1038.90/1048.52 c #Conflicts: 918000 | #Constraints: 42135
1038.90/1048.52 c #Conflicts: 919000 | #Constraints: 43135
1038.90/1048.52 c #Conflicts: 920000 | #Constraints: 44135
1038.90/1048.52 c #Conflicts: 921000 | #Constraints: 45135
1038.90/1048.52 c #Conflicts: 922000 | #Constraints: 46135
1038.90/1048.52 c INPROCESSING
1038.90/1048.52 c GARBAGE COLLECT
1038.90/1048.52 c rational objective 3
1073.00/1084.64 c #Conflicts: 923000 | #Constraints: 28081
1073.00/1084.64 c #Conflicts: 924000 | #Constraints: 29081
1073.00/1084.64 c #Conflicts: 925000 | #Constraints: 30082
1073.00/1084.64 c #Conflicts: 926000 | #Constraints: 31084
1073.00/1084.64 c #Conflicts: 927000 | #Constraints: 32084
1073.00/1084.64 c #Conflicts: 928000 | #Constraints: 33086
1073.00/1084.64 c #Conflicts: 929000 | #Constraints: 34090
1073.00/1084.64 c #Conflicts: 930000 | #Constraints: 35091
1073.00/1084.64 c #Conflicts: 931000 | #Constraints: 36091
1073.00/1084.64 c #Conflicts: 932000 | #Constraints: 37091
1073.00/1084.64 c #Conflicts: 933000 | #Constraints: 38091
1073.00/1084.64 c #Conflicts: 934000 | #Constraints: 39091
1073.00/1084.64 c #Conflicts: 935000 | #Constraints: 40093
1073.00/1084.64 c #Conflicts: 936000 | #Constraints: 41093
1073.00/1084.64 c #Conflicts: 937000 | #Constraints: 42093
1073.00/1084.64 c #Conflicts: 938000 | #Constraints: 43094
1073.00/1084.64 c #Conflicts: 939000 | #Constraints: 44096
1073.00/1084.64 c #Conflicts: 940000 | #Constraints: 45098
1073.00/1084.64 c #Conflicts: 941000 | #Constraints: 46099
1073.00/1084.64 c INPROCESSING
1073.00/1084.64 c GARBAGE COLLECT
1073.00/1084.64 c rational objective 3
1105.26/1117.03 c #Conflicts: 942000 | #Constraints: 27881
1105.26/1117.03 c #Conflicts: 943000 | #Constraints: 28881
1105.26/1117.03 c #Conflicts: 944000 | #Constraints: 29882
1105.26/1117.03 c #Conflicts: 945000 | #Constraints: 30885
1105.26/1117.03 c #Conflicts: 946000 | #Constraints: 31886
1105.26/1117.03 c #Conflicts: 947000 | #Constraints: 32886
1105.26/1117.03 c #Conflicts: 948000 | #Constraints: 33889
1105.26/1117.03 c #Conflicts: 949000 | #Constraints: 34889
1105.26/1117.03 c #Conflicts: 950000 | #Constraints: 35889
1105.26/1117.03 c #Conflicts: 951000 | #Constraints: 36891
1105.26/1117.03 c #Conflicts: 952000 | #Constraints: 37891
1105.26/1117.03 c #Conflicts: 953000 | #Constraints: 38893
1105.26/1117.03 c #Conflicts: 954000 | #Constraints: 39895
1105.26/1117.03 c #Conflicts: 955000 | #Constraints: 40895
1105.26/1117.03 c #Conflicts: 956000 | #Constraints: 41896
1105.26/1117.03 c #Conflicts: 957000 | #Constraints: 42897
1105.26/1117.03 c #Conflicts: 958000 | #Constraints: 43897
1105.26/1117.03 c #Conflicts: 959000 | #Constraints: 44897
1105.26/1117.03 c #Conflicts: 960000 | #Constraints: 45899
1105.26/1117.03 c #Conflicts: 961000 | #Constraints: 46899
1105.26/1117.03 c INPROCESSING
1105.26/1117.03 c GARBAGE COLLECT
1105.26/1117.03 c rational objective 3
1134.14/1146.07 c #Conflicts: 962000 | #Constraints: 28425
1134.14/1146.07 c #Conflicts: 963000 | #Constraints: 29427
1134.14/1146.07 c #Conflicts: 964000 | #Constraints: 30427
1134.14/1146.07 c #Conflicts: 965000 | #Constraints: 31428
1134.14/1146.07 c #Conflicts: 966000 | #Constraints: 32430
1134.14/1146.07 c #Conflicts: 967000 | #Constraints: 33430
1134.14/1146.07 c #Conflicts: 968000 | #Constraints: 34432
1134.14/1146.07 c #Conflicts: 969000 | #Constraints: 35433
1134.14/1146.07 c #Conflicts: 970000 | #Constraints: 36434
1134.14/1146.07 c #Conflicts: 971000 | #Constraints: 37434
1134.14/1146.07 c #Conflicts: 972000 | #Constraints: 38434
1134.14/1146.07 c #Conflicts: 973000 | #Constraints: 39434
1134.14/1146.07 c #Conflicts: 974000 | #Constraints: 40434
1134.14/1146.07 c #Conflicts: 975000 | #Constraints: 41434
1134.14/1146.07 c #Conflicts: 976000 | #Constraints: 42434
1134.14/1146.07 c #Conflicts: 977000 | #Constraints: 43435
1134.14/1146.07 c #Conflicts: 978000 | #Constraints: 44435
1134.14/1146.07 c #Conflicts: 979000 | #Constraints: 45435
1134.14/1146.07 c #Conflicts: 980000 | #Constraints: 46436
1134.14/1146.07 c #Conflicts: 981000 | #Constraints: 47436
1134.14/1146.07 c INPROCESSING
1134.14/1146.07 c GARBAGE COLLECT
1134.14/1146.07 c rational objective 3
1169.55/1181.62 c #Conflicts: 982000 | #Constraints: 28815
1169.55/1181.62 c #Conflicts: 983000 | #Constraints: 29815
1169.55/1181.62 c #Conflicts: 984000 | #Constraints: 30818
1169.55/1181.62 c #Conflicts: 985000 | #Constraints: 31822
1169.55/1181.62 c #Conflicts: 986000 | #Constraints: 32824
1169.55/1181.62 c #Conflicts: 987000 | #Constraints: 33826
1169.55/1181.62 c #Conflicts: 988000 | #Constraints: 34827
1169.55/1181.62 c #Conflicts: 989000 | #Constraints: 35828
1169.55/1181.62 c #Conflicts: 990000 | #Constraints: 36829
1169.55/1181.62 c #Conflicts: 991000 | #Constraints: 37830
1169.55/1181.62 c #Conflicts: 992000 | #Constraints: 38833
1169.55/1181.62 c #Conflicts: 993000 | #Constraints: 39835
1169.55/1181.62 c #Conflicts: 994000 | #Constraints: 40836
1169.55/1181.62 c #Conflicts: 995000 | #Constraints: 41837
1169.55/1181.62 c #Conflicts: 996000 | #Constraints: 42839
1169.55/1181.62 c #Conflicts: 997000 | #Constraints: 43840
1169.55/1181.62 c #Conflicts: 998000 | #Constraints: 44841
1169.55/1181.62 c #Conflicts: 999000 | #Constraints: 45844
1169.55/1181.62 c #Conflicts: 1000000 | #Constraints: 46846
1169.55/1181.62 c #Conflicts: 1001000 | #Constraints: 47847
1169.55/1181.62 c INPROCESSING
1169.55/1181.62 c GARBAGE COLLECT
1169.55/1181.62 c rational objective 3
1205.56/1217.86 c #Conflicts: 1002000 | #Constraints: 29001
1205.56/1217.86 c #Conflicts: 1003000 | #Constraints: 30001
1205.56/1217.86 c #Conflicts: 1004000 | #Constraints: 31002
1205.56/1217.86 c #Conflicts: 1005000 | #Constraints: 32002
1205.56/1217.86 c #Conflicts: 1006000 | #Constraints: 33002
1205.56/1217.86 c #Conflicts: 1007000 | #Constraints: 34003
1205.56/1217.86 c #Conflicts: 1008000 | #Constraints: 35003
1205.56/1217.86 c #Conflicts: 1009000 | #Constraints: 36003
1205.56/1217.86 c #Conflicts: 1010000 | #Constraints: 37004
1205.56/1217.86 c #Conflicts: 1011000 | #Constraints: 38004
1205.56/1217.86 c #Conflicts: 1012000 | #Constraints: 39004
1205.56/1217.86 c #Conflicts: 1013000 | #Constraints: 40006
1205.56/1217.86 c #Conflicts: 1014000 | #Constraints: 41008
1205.56/1217.86 c #Conflicts: 1015000 | #Constraints: 42009
1205.56/1217.86 c #Conflicts: 1016000 | #Constraints: 43011
1205.56/1217.86 c #Conflicts: 1017000 | #Constraints: 44014
1205.56/1217.86 c #Conflicts: 1018000 | #Constraints: 45014
1205.56/1217.86 c #Conflicts: 1019000 | #Constraints: 46014
1205.56/1217.86 c #Conflicts: 1020000 | #Constraints: 47014
1205.56/1217.86 c #Conflicts: 1021000 | #Constraints: 48014
1205.56/1217.86 c INPROCESSING
1205.56/1217.86 c GARBAGE COLLECT
1205.56/1217.86 c rational objective 3
1238.21/1250.68 c #Conflicts: 1022000 | #Constraints: 28942
1238.21/1250.68 c #Conflicts: 1023000 | #Constraints: 29944
1238.21/1250.68 c #Conflicts: 1024000 | #Constraints: 30947
1238.21/1250.68 c #Conflicts: 1025000 | #Constraints: 31947
1238.21/1250.68 c #Conflicts: 1026000 | #Constraints: 32948
1238.21/1250.68 c #Conflicts: 1027000 | #Constraints: 33948
1238.21/1250.68 c #Conflicts: 1028000 | #Constraints: 34948
1238.21/1250.68 c #Conflicts: 1029000 | #Constraints: 35949
1238.21/1250.68 c #Conflicts: 1030000 | #Constraints: 36949
1238.21/1250.68 c #Conflicts: 1031000 | #Constraints: 37949
1238.21/1250.68 c #Conflicts: 1032000 | #Constraints: 38949
1238.21/1250.68 c #Conflicts: 1033000 | #Constraints: 39949
1238.21/1250.68 c #Conflicts: 1034000 | #Constraints: 40950
1238.21/1250.68 c #Conflicts: 1035000 | #Constraints: 41951
1238.21/1250.68 c #Conflicts: 1036000 | #Constraints: 42952
1238.21/1250.68 c #Conflicts: 1037000 | #Constraints: 43952
1238.21/1250.68 c #Conflicts: 1038000 | #Constraints: 44952
1238.21/1250.68 c #Conflicts: 1039000 | #Constraints: 45952
1238.21/1250.68 c #Conflicts: 1040000 | #Constraints: 46952
1238.21/1250.68 c #Conflicts: 1041000 | #Constraints: 47953
1238.21/1250.68 c INPROCESSING
1238.21/1250.68 c GARBAGE COLLECT
1238.21/1250.68 c rational objective 3
1279.64/1292.24 c #Conflicts: 1042000 | #Constraints: 28686
1279.64/1292.24 c #Conflicts: 1043000 | #Constraints: 29686
1279.64/1292.24 c #Conflicts: 1044000 | #Constraints: 30686
1279.64/1292.24 c #Conflicts: 1045000 | #Constraints: 31689
1279.64/1292.24 c #Conflicts: 1046000 | #Constraints: 32693
1279.64/1292.24 c #Conflicts: 1047000 | #Constraints: 33697
1279.64/1292.24 c #Conflicts: 1048000 | #Constraints: 34698
1279.64/1292.24 c #Conflicts: 1049000 | #Constraints: 35698
1279.64/1292.24 c #Conflicts: 1050000 | #Constraints: 36698
1279.64/1292.24 c #Conflicts: 1051000 | #Constraints: 37700
1279.64/1292.24 c #Conflicts: 1052000 | #Constraints: 38700
1279.64/1292.24 c #Conflicts: 1053000 | #Constraints: 39701
1279.64/1292.24 c #Conflicts: 1054000 | #Constraints: 40701
1279.64/1292.24 c #Conflicts: 1055000 | #Constraints: 41701
1279.64/1292.24 c #Conflicts: 1056000 | #Constraints: 42702
1279.64/1292.24 c #Conflicts: 1057000 | #Constraints: 43703
1279.64/1292.24 c #Conflicts: 1058000 | #Constraints: 44703
1279.64/1292.24 c #Conflicts: 1059000 | #Constraints: 45703
1279.64/1292.24 c #Conflicts: 1060000 | #Constraints: 46703
1279.64/1292.24 c #Conflicts: 1061000 | #Constraints: 47705
1279.64/1292.24 c #Conflicts: 1062000 | #Constraints: 48705
1279.64/1292.24 c INPROCESSING
1279.64/1292.24 c GARBAGE COLLECT
1279.64/1292.24 c rational objective 3
1310.68/1323.41 c #Conflicts: 1063000 | #Constraints: 29287
1310.68/1323.41 c #Conflicts: 1064000 | #Constraints: 30287
1310.68/1323.41 c #Conflicts: 1065000 | #Constraints: 31288
1310.68/1323.41 c #Conflicts: 1066000 | #Constraints: 32288
1310.68/1323.41 c #Conflicts: 1067000 | #Constraints: 33289
1310.68/1323.41 c #Conflicts: 1068000 | #Constraints: 34289
1310.68/1323.41 c #Conflicts: 1069000 | #Constraints: 35289
1310.68/1323.41 c #Conflicts: 1070000 | #Constraints: 36290
1310.68/1323.41 c #Conflicts: 1071000 | #Constraints: 37290
1310.68/1323.41 c #Conflicts: 1072000 | #Constraints: 38292
1310.68/1323.41 c #Conflicts: 1073000 | #Constraints: 39293
1310.68/1323.41 c #Conflicts: 1074000 | #Constraints: 40294
1310.68/1323.41 c #Conflicts: 1075000 | #Constraints: 41295
1310.68/1323.41 c #Conflicts: 1076000 | #Constraints: 42296
1310.68/1323.41 c #Conflicts: 1077000 | #Constraints: 43297
1310.68/1323.41 c #Conflicts: 1078000 | #Constraints: 44299
1310.68/1323.41 c #Conflicts: 1079000 | #Constraints: 45299
1310.68/1323.41 c #Conflicts: 1080000 | #Constraints: 46300
1310.68/1323.41 c #Conflicts: 1081000 | #Constraints: 47300
1310.68/1323.41 c #Conflicts: 1082000 | #Constraints: 48300
1310.68/1323.41 c #Conflicts: 1083000 | #Constraints: 49300
1310.68/1323.41 c INPROCESSING
1310.68/1323.41 c GARBAGE COLLECT
1310.68/1323.41 c rational objective 3
1350.81/1364.12 c #Conflicts: 1084000 | #Constraints: 29663
1350.81/1364.12 c #Conflicts: 1085000 | #Constraints: 30664
1350.81/1364.12 c #Conflicts: 1086000 | #Constraints: 31665
1350.81/1364.12 c #Conflicts: 1087000 | #Constraints: 32666
1350.81/1364.12 c #Conflicts: 1088000 | #Constraints: 33666
1350.81/1364.12 c #Conflicts: 1089000 | #Constraints: 34666
1350.81/1364.12 c #Conflicts: 1090000 | #Constraints: 35666
1350.81/1364.12 c #Conflicts: 1091000 | #Constraints: 36667
1350.81/1364.12 c #Conflicts: 1092000 | #Constraints: 37668
1350.81/1364.12 c #Conflicts: 1093000 | #Constraints: 38668
1350.81/1364.12 c #Conflicts: 1094000 | #Constraints: 39668
1350.81/1364.12 c #Conflicts: 1095000 | #Constraints: 40668
1350.81/1364.12 c #Conflicts: 1096000 | #Constraints: 41669
1350.81/1364.12 c #Conflicts: 1097000 | #Constraints: 42669
1350.81/1364.12 c #Conflicts: 1098000 | #Constraints: 43670
1350.81/1364.12 c #Conflicts: 1099000 | #Constraints: 44670
1350.81/1364.12 c #Conflicts: 1100000 | #Constraints: 45670
1350.81/1364.12 c #Conflicts: 1101000 | #Constraints: 46671
1350.81/1364.12 c #Conflicts: 1102000 | #Constraints: 47672
1350.81/1364.12 c #Conflicts: 1103000 | #Constraints: 48673
1350.81/1364.12 c #Conflicts: 1104000 | #Constraints: 49675
1350.81/1364.12 c INPROCESSING
1350.81/1364.12 c GARBAGE COLLECT
1350.81/1364.12 c rational objective 3
1389.39/1403.28 c #Conflicts: 1105000 | #Constraints: 29868
1389.39/1403.28 c #Conflicts: 1106000 | #Constraints: 30869
1389.39/1403.28 c #Conflicts: 1107000 | #Constraints: 31871
1389.39/1403.28 c #Conflicts: 1108000 | #Constraints: 32874
1389.39/1403.28 c #Conflicts: 1109000 | #Constraints: 33876
1389.39/1403.28 c #Conflicts: 1110000 | #Constraints: 34876
1389.39/1403.28 c #Conflicts: 1111000 | #Constraints: 35876
1389.39/1403.28 c #Conflicts: 1112000 | #Constraints: 36876
1389.39/1403.28 c #Conflicts: 1113000 | #Constraints: 37877
1389.39/1403.28 c #Conflicts: 1114000 | #Constraints: 38877
1389.39/1403.28 c #Conflicts: 1115000 | #Constraints: 39878
1389.39/1403.28 c #Conflicts: 1116000 | #Constraints: 40880
1389.39/1403.28 c #Conflicts: 1117000 | #Constraints: 41881
1389.39/1403.28 c #Conflicts: 1118000 | #Constraints: 42882
1389.39/1403.28 c #Conflicts: 1119000 | #Constraints: 43884
1389.39/1403.28 c #Conflicts: 1120000 | #Constraints: 44885
1389.39/1403.28 c #Conflicts: 1121000 | #Constraints: 45887
1389.39/1403.28 c #Conflicts: 1122000 | #Constraints: 46889
1389.39/1403.28 c #Conflicts: 1123000 | #Constraints: 47891
1389.39/1403.28 c #Conflicts: 1124000 | #Constraints: 48891
1389.39/1403.28 c #Conflicts: 1125000 | #Constraints: 49892
1389.39/1403.28 c INPROCESSING
1389.39/1403.28 c GARBAGE COLLECT
1389.39/1403.28 c rational objective 3
1426.60/1440.73 c #Conflicts: 1126000 | #Constraints: 29874
1426.60/1440.73 c #Conflicts: 1127000 | #Constraints: 30874
1426.60/1440.73 c #Conflicts: 1128000 | #Constraints: 31874
1426.60/1440.73 c #Conflicts: 1129000 | #Constraints: 32874
1426.60/1440.73 c #Conflicts: 1130000 | #Constraints: 33874
1426.60/1440.73 c #Conflicts: 1131000 | #Constraints: 34875
1426.60/1440.73 c #Conflicts: 1132000 | #Constraints: 35875
1426.60/1440.73 c #Conflicts: 1133000 | #Constraints: 36875
1426.60/1440.73 c #Conflicts: 1134000 | #Constraints: 37875
1426.60/1440.73 c #Conflicts: 1135000 | #Constraints: 38876
1426.60/1440.73 c #Conflicts: 1136000 | #Constraints: 39876
1426.60/1440.73 c #Conflicts: 1137000 | #Constraints: 40876
1426.60/1440.73 c #Conflicts: 1138000 | #Constraints: 41876
1426.60/1440.73 c #Conflicts: 1139000 | #Constraints: 42876
1426.60/1440.73 c #Conflicts: 1140000 | #Constraints: 43876
1426.60/1440.73 c #Conflicts: 1141000 | #Constraints: 44876
1426.60/1440.73 c #Conflicts: 1142000 | #Constraints: 45876
1426.60/1440.73 c #Conflicts: 1143000 | #Constraints: 46876
1426.60/1440.73 c #Conflicts: 1144000 | #Constraints: 47876
1426.60/1440.73 c #Conflicts: 1145000 | #Constraints: 48876
1426.60/1440.73 c #Conflicts: 1146000 | #Constraints: 49876
1426.60/1440.73 c INPROCESSING
1426.60/1440.73 c GARBAGE COLLECT
1426.60/1440.73 c rational objective 3
1461.54/1475.93 c #Conflicts: 1147000 | #Constraints: 29638
1461.54/1475.93 c #Conflicts: 1148000 | #Constraints: 30638
1461.54/1475.93 c #Conflicts: 1149000 | #Constraints: 31639
1461.54/1475.93 c #Conflicts: 1150000 | #Constraints: 32639
1461.54/1475.93 c #Conflicts: 1151000 | #Constraints: 33640
1461.54/1475.93 c #Conflicts: 1152000 | #Constraints: 34640
1461.54/1475.93 c #Conflicts: 1153000 | #Constraints: 35640
1461.54/1475.93 c #Conflicts: 1154000 | #Constraints: 36642
1461.54/1475.93 c #Conflicts: 1155000 | #Constraints: 37643
1461.54/1475.93 c #Conflicts: 1156000 | #Constraints: 38645
1461.54/1475.93 c #Conflicts: 1157000 | #Constraints: 39646
1461.54/1475.93 c #Conflicts: 1158000 | #Constraints: 40647
1461.54/1475.93 c #Conflicts: 1159000 | #Constraints: 41648
1461.54/1475.93 c #Conflicts: 1160000 | #Constraints: 42649
1461.54/1475.93 c #Conflicts: 1161000 | #Constraints: 43649
1461.54/1475.93 c #Conflicts: 1162000 | #Constraints: 44649
1461.54/1475.93 c #Conflicts: 1163000 | #Constraints: 45652
1461.54/1475.93 c #Conflicts: 1164000 | #Constraints: 46653
1461.54/1475.93 c #Conflicts: 1165000 | #Constraints: 47654
1461.54/1475.93 c #Conflicts: 1166000 | #Constraints: 48655
1461.54/1475.93 c #Conflicts: 1167000 | #Constraints: 49655
1461.54/1475.93 c #Conflicts: 1168000 | #Constraints: 50657
1461.54/1475.93 c INPROCESSING
1461.54/1475.93 c GARBAGE COLLECT
1461.54/1475.93 c rational objective 3
1502.89/1517.91 c #Conflicts: 1169000 | #Constraints: 30235
1502.89/1517.91 c #Conflicts: 1170000 | #Constraints: 31235
1502.89/1517.91 c #Conflicts: 1171000 | #Constraints: 32235
1502.89/1517.91 c #Conflicts: 1172000 | #Constraints: 33237
1502.89/1517.91 c #Conflicts: 1173000 | #Constraints: 34238
1502.89/1517.91 c #Conflicts: 1174000 | #Constraints: 35239
1502.89/1517.91 c #Conflicts: 1175000 | #Constraints: 36239
1502.89/1517.91 c #Conflicts: 1176000 | #Constraints: 37240
1502.89/1517.91 c #Conflicts: 1177000 | #Constraints: 38243
1502.89/1517.91 c #Conflicts: 1178000 | #Constraints: 39244
1502.89/1517.91 c #Conflicts: 1179000 | #Constraints: 40245
1502.89/1517.91 c #Conflicts: 1180000 | #Constraints: 41247
1502.89/1517.91 c #Conflicts: 1181000 | #Constraints: 42247
1502.89/1517.91 c #Conflicts: 1182000 | #Constraints: 43247
1502.89/1517.91 c #Conflicts: 1183000 | #Constraints: 44247
1502.89/1517.91 c #Conflicts: 1184000 | #Constraints: 45247
1502.89/1517.91 c #Conflicts: 1185000 | #Constraints: 46248
1502.89/1517.91 c #Conflicts: 1186000 | #Constraints: 47248
1502.89/1517.91 c #Conflicts: 1187000 | #Constraints: 48248
1502.89/1517.91 c #Conflicts: 1188000 | #Constraints: 49248
1502.89/1517.91 c #Conflicts: 1189000 | #Constraints: 50248
1502.89/1517.91 c #Conflicts: 1190000 | #Constraints: 51249
1502.89/1517.91 c INPROCESSING
1502.89/1517.91 c GARBAGE COLLECT
1502.89/1517.91 c rational objective 3
1542.99/1558.33 c #Conflicts: 1191000 | #Constraints: 30589
1542.99/1558.33 c #Conflicts: 1192000 | #Constraints: 31589
1542.99/1558.33 c #Conflicts: 1193000 | #Constraints: 32590
1542.99/1558.33 c #Conflicts: 1194000 | #Constraints: 33592
1542.99/1558.33 c #Conflicts: 1195000 | #Constraints: 34593
1542.99/1558.33 c #Conflicts: 1196000 | #Constraints: 35594
1542.99/1558.33 c #Conflicts: 1197000 | #Constraints: 36594
1542.99/1558.33 c #Conflicts: 1198000 | #Constraints: 37594
1542.99/1558.33 c #Conflicts: 1199000 | #Constraints: 38595
1542.99/1558.33 c #Conflicts: 1200000 | #Constraints: 39595
1542.99/1558.33 c #Conflicts: 1201000 | #Constraints: 40595
1542.99/1558.33 c #Conflicts: 1202000 | #Constraints: 41595
1542.99/1558.33 c #Conflicts: 1203000 | #Constraints: 42595
1542.99/1558.33 c #Conflicts: 1204000 | #Constraints: 43595
1542.99/1558.33 c #Conflicts: 1205000 | #Constraints: 44595
1542.99/1558.33 c #Conflicts: 1206000 | #Constraints: 45595
1542.99/1558.33 c #Conflicts: 1207000 | #Constraints: 46595
1542.99/1558.33 c #Conflicts: 1208000 | #Constraints: 47595
1542.99/1558.33 c #Conflicts: 1209000 | #Constraints: 48595
1542.99/1558.33 c #Conflicts: 1210000 | #Constraints: 49595
1542.99/1558.33 c #Conflicts: 1211000 | #Constraints: 50595
1542.99/1558.33 c #Conflicts: 1212000 | #Constraints: 51595
1542.99/1558.33 c INPROCESSING
1542.99/1558.33 c GARBAGE COLLECT
1542.99/1558.33 c rational objective 3
1588.43/1604.69 c #Conflicts: 1213000 | #Constraints: 30787
1588.43/1604.69 c #Conflicts: 1214000 | #Constraints: 31787
1588.43/1604.69 c #Conflicts: 1215000 | #Constraints: 32787
1588.43/1604.69 c #Conflicts: 1216000 | #Constraints: 33787
1588.43/1604.69 c #Conflicts: 1217000 | #Constraints: 34787
1588.43/1604.69 c #Conflicts: 1218000 | #Constraints: 35789
1588.43/1604.69 c #Conflicts: 1219000 | #Constraints: 36790
1588.43/1604.69 c #Conflicts: 1220000 | #Constraints: 37791
1588.43/1604.69 c #Conflicts: 1221000 | #Constraints: 38793
1588.43/1604.69 c #Conflicts: 1222000 | #Constraints: 39793
1588.43/1604.69 c #Conflicts: 1223000 | #Constraints: 40794
1588.43/1604.69 c #Conflicts: 1224000 | #Constraints: 41797
1588.43/1604.69 c #Conflicts: 1225000 | #Constraints: 42800
1588.43/1604.69 c #Conflicts: 1226000 | #Constraints: 43801
1588.43/1604.69 c #Conflicts: 1227000 | #Constraints: 44805
1588.43/1604.69 c #Conflicts: 1228000 | #Constraints: 45806
1588.43/1604.69 c #Conflicts: 1229000 | #Constraints: 46810
1588.43/1604.69 c #Conflicts: 1230000 | #Constraints: 47811
1588.43/1604.69 c #Conflicts: 1231000 | #Constraints: 48812
1588.43/1604.69 c #Conflicts: 1232000 | #Constraints: 49812
1588.43/1604.69 c #Conflicts: 1233000 | #Constraints: 50812
1588.43/1604.69 c #Conflicts: 1234000 | #Constraints: 51813
1588.43/1604.69 c INPROCESSING
1588.43/1604.69 c GARBAGE COLLECT
1588.43/1604.69 c rational objective 3
1631.00/1647.65 c #Conflicts: 1235000 | #Constraints: 30785
1631.00/1647.65 c #Conflicts: 1236000 | #Constraints: 31785
1631.00/1647.65 c #Conflicts: 1237000 | #Constraints: 32785
1631.00/1647.65 c #Conflicts: 1238000 | #Constraints: 33785
1631.00/1647.65 c #Conflicts: 1239000 | #Constraints: 34785
1631.00/1647.65 c #Conflicts: 1240000 | #Constraints: 35785
1631.00/1647.65 c #Conflicts: 1241000 | #Constraints: 36785
1631.00/1647.65 c #Conflicts: 1242000 | #Constraints: 37785
1631.00/1647.65 c #Conflicts: 1243000 | #Constraints: 38785
1631.00/1647.65 c #Conflicts: 1244000 | #Constraints: 39785
1631.00/1647.65 c #Conflicts: 1245000 | #Constraints: 40785
1631.00/1647.65 c #Conflicts: 1246000 | #Constraints: 41786
1631.00/1647.65 c #Conflicts: 1247000 | #Constraints: 42786
1631.00/1647.65 c #Conflicts: 1248000 | #Constraints: 43786
1631.00/1647.65 c #Conflicts: 1249000 | #Constraints: 44786
1631.00/1647.65 c #Conflicts: 1250000 | #Constraints: 45786
1631.00/1647.65 c #Conflicts: 1251000 | #Constraints: 46786
1631.00/1647.65 c #Conflicts: 1252000 | #Constraints: 47786
1631.00/1647.65 c #Conflicts: 1253000 | #Constraints: 48786
1631.00/1647.65 c #Conflicts: 1254000 | #Constraints: 49786
1631.00/1647.65 c #Conflicts: 1255000 | #Constraints: 50786
1631.00/1647.65 c #Conflicts: 1256000 | #Constraints: 51786
1631.00/1647.65 c INPROCESSING
1631.00/1647.65 c GARBAGE COLLECT
1631.00/1647.65 c rational objective 3
1675.64/1692.70 c #Conflicts: 1257000 | #Constraints: 30568
1675.64/1692.70 c #Conflicts: 1258000 | #Constraints: 31568
1675.64/1692.70 c #Conflicts: 1259000 | #Constraints: 32568
1675.64/1692.70 c #Conflicts: 1260000 | #Constraints: 33568
1675.64/1692.70 c #Conflicts: 1261000 | #Constraints: 34568
1675.64/1692.70 c #Conflicts: 1262000 | #Constraints: 35568
1675.64/1692.70 c #Conflicts: 1263000 | #Constraints: 36568
1675.64/1692.70 c #Conflicts: 1264000 | #Constraints: 37568
1675.64/1692.70 c #Conflicts: 1265000 | #Constraints: 38568
1675.64/1692.70 c #Conflicts: 1266000 | #Constraints: 39568
1675.64/1692.70 c #Conflicts: 1267000 | #Constraints: 40570
1675.64/1692.70 c #Conflicts: 1268000 | #Constraints: 41578
1675.64/1692.70 c #Conflicts: 1269000 | #Constraints: 42578
1675.64/1692.70 c #Conflicts: 1270000 | #Constraints: 43581
1675.64/1692.70 c #Conflicts: 1271000 | #Constraints: 44581
1675.64/1692.70 c #Conflicts: 1272000 | #Constraints: 45586
1675.64/1692.70 c #Conflicts: 1273000 | #Constraints: 46586
1675.64/1692.70 c #Conflicts: 1274000 | #Constraints: 47603
1675.64/1692.70 c #Conflicts: 1275000 | #Constraints: 48609
1675.64/1692.70 c #Conflicts: 1276000 | #Constraints: 49611
1675.64/1692.70 c #Conflicts: 1277000 | #Constraints: 50612
1675.64/1692.70 c #Conflicts: 1278000 | #Constraints: 51612
1675.64/1692.70 c #Conflicts: 1279000 | #Constraints: 52617
1675.64/1692.70 c INPROCESSING
1675.64/1692.70 c GARBAGE COLLECT
1675.64/1692.70 c rational objective 3
1715.92/1733.31 c #Conflicts: 1280000 | #Constraints: 31193
1715.92/1733.31 c #Conflicts: 1281000 | #Constraints: 32193
1715.92/1733.31 c #Conflicts: 1282000 | #Constraints: 33193
1715.92/1733.31 c #Conflicts: 1283000 | #Constraints: 34193
1715.92/1733.31 c #Conflicts: 1284000 | #Constraints: 35193
1715.92/1733.31 c #Conflicts: 1285000 | #Constraints: 36194
1715.92/1733.31 c #Conflicts: 1286000 | #Constraints: 37194
1715.92/1733.31 c #Conflicts: 1287000 | #Constraints: 38194
1715.92/1733.31 c #Conflicts: 1288000 | #Constraints: 39194
1715.92/1733.31 c #Conflicts: 1289000 | #Constraints: 40194
1715.92/1733.31 c #Conflicts: 1290000 | #Constraints: 41194
1715.92/1733.31 c #Conflicts: 1291000 | #Constraints: 42194
1715.92/1733.31 c #Conflicts: 1292000 | #Constraints: 43195
1715.92/1733.31 c #Conflicts: 1293000 | #Constraints: 44195
1715.92/1733.31 c #Conflicts: 1294000 | #Constraints: 45195
1715.92/1733.31 c #Conflicts: 1295000 | #Constraints: 46195
1715.92/1733.31 c #Conflicts: 1296000 | #Constraints: 47195
1715.92/1733.31 c #Conflicts: 1297000 | #Constraints: 48197
1715.92/1733.31 c #Conflicts: 1298000 | #Constraints: 49197
1715.92/1733.31 c #Conflicts: 1299000 | #Constraints: 50197
1715.92/1733.31 c #Conflicts: 1300000 | #Constraints: 51197
1715.92/1733.31 c #Conflicts: 1301000 | #Constraints: 52198
1715.92/1733.31 c #Conflicts: 1302000 | #Constraints: 53199
1715.92/1733.31 c INPROCESSING
1715.92/1733.31 c GARBAGE COLLECT
1715.92/1733.31 c rational objective 3
1760.25/1777.95 c #Conflicts: 1303000 | #Constraints: 31523
1760.25/1777.95 c #Conflicts: 1304000 | #Constraints: 32523
1760.25/1777.95 c #Conflicts: 1305000 | #Constraints: 33523
1760.25/1777.95 c #Conflicts: 1306000 | #Constraints: 34523
1760.25/1777.95 c #Conflicts: 1307000 | #Constraints: 35524
1760.25/1777.95 c #Conflicts: 1308000 | #Constraints: 36524
1760.25/1777.95 c #Conflicts: 1309000 | #Constraints: 37524
1760.25/1777.95 c #Conflicts: 1310000 | #Constraints: 38524
1760.25/1777.95 c #Conflicts: 1311000 | #Constraints: 39524
1760.25/1777.95 c #Conflicts: 1312000 | #Constraints: 40524
1760.25/1777.95 c #Conflicts: 1313000 | #Constraints: 41524
1760.25/1777.95 c #Conflicts: 1314000 | #Constraints: 42524
1760.25/1777.95 c #Conflicts: 1315000 | #Constraints: 43524
1760.25/1777.95 c #Conflicts: 1316000 | #Constraints: 44524
1760.25/1777.95 c #Conflicts: 1317000 | #Constraints: 45524
1760.25/1777.95 c #Conflicts: 1318000 | #Constraints: 46524
1760.25/1777.95 c #Conflicts: 1319000 | #Constraints: 47524
1760.25/1777.95 c #Conflicts: 1320000 | #Constraints: 48524
1760.25/1777.95 c #Conflicts: 1321000 | #Constraints: 49524
1760.25/1777.95 c #Conflicts: 1322000 | #Constraints: 50525
1760.25/1777.95 c #Conflicts: 1323000 | #Constraints: 51525
1760.25/1777.95 c #Conflicts: 1324000 | #Constraints: 52525
1760.25/1777.95 c #Conflicts: 1325000 | #Constraints: 53525
1760.25/1777.95 c INPROCESSING
1760.25/1777.95 c GARBAGE COLLECT
1760.25/1777.95 c rational objective 3
1811.54/1829.58 c #Conflicts: 1326000 | #Constraints: 31746
1811.54/1829.58 c #Conflicts: 1327000 | #Constraints: 32746
1811.54/1829.58 c #Conflicts: 1328000 | #Constraints: 33746
1811.54/1829.58 c #Conflicts: 1329000 | #Constraints: 34746
1811.54/1829.58 c #Conflicts: 1330000 | #Constraints: 35746
1811.54/1829.58 c #Conflicts: 1331000 | #Constraints: 36746
1811.54/1829.58 c #Conflicts: 1332000 | #Constraints: 37746
1811.54/1829.58 c #Conflicts: 1333000 | #Constraints: 38747
1811.54/1829.58 c #Conflicts: 1334000 | #Constraints: 39747
1811.54/1829.58 c #Conflicts: 1335000 | #Constraints: 40747
1811.54/1829.58 c #Conflicts: 1336000 | #Constraints: 41748
1811.54/1829.58 c #Conflicts: 1337000 | #Constraints: 42749
1811.54/1829.58 c #Conflicts: 1338000 | #Constraints: 43749
1811.54/1829.58 c #Conflicts: 1339000 | #Constraints: 44749
1811.54/1829.58 c #Conflicts: 1340000 | #Constraints: 45749
1811.54/1829.58 c #Conflicts: 1341000 | #Constraints: 46749
1811.54/1829.58 c #Conflicts: 1342000 | #Constraints: 47750
1811.54/1829.58 c #Conflicts: 1343000 | #Constraints: 48750
1811.54/1829.58 c #Conflicts: 1344000 | #Constraints: 49750
1811.54/1829.58 c #Conflicts: 1345000 | #Constraints: 50750
1811.54/1829.58 c #Conflicts: 1346000 | #Constraints: 51750
1811.54/1829.58 c #Conflicts: 1347000 | #Constraints: 52751
1811.54/1829.58 c #Conflicts: 1348000 | #Constraints: 53751
1811.54/1829.58 c INPROCESSING
1811.54/1829.58 c GARBAGE COLLECT
1811.54/1829.58 c rational objective 3
1862.75/1881.15 c #Conflicts: 1349000 | #Constraints: 31694
1862.75/1881.15 c #Conflicts: 1350000 | #Constraints: 32694
1862.75/1881.15 c #Conflicts: 1351000 | #Constraints: 33694
1862.75/1881.15 c #Conflicts: 1352000 | #Constraints: 34694
1862.75/1881.15 c #Conflicts: 1353000 | #Constraints: 35694
1862.75/1881.15 c #Conflicts: 1354000 | #Constraints: 36695
1862.75/1881.15 c #Conflicts: 1355000 | #Constraints: 37696
1862.75/1881.15 c #Conflicts: 1356000 | #Constraints: 38696
1862.75/1881.15 c #Conflicts: 1357000 | #Constraints: 39696
1862.75/1881.15 c #Conflicts: 1358000 | #Constraints: 40696
1862.75/1881.15 c #Conflicts: 1359000 | #Constraints: 41696
1862.75/1881.15 c #Conflicts: 1360000 | #Constraints: 42696
1862.75/1881.15 c #Conflicts: 1361000 | #Constraints: 43696
1862.75/1881.15 c #Conflicts: 1362000 | #Constraints: 44696
1862.75/1881.15 c #Conflicts: 1363000 | #Constraints: 45696
1862.75/1881.15 c #Conflicts: 1364000 | #Constraints: 46696
1862.75/1881.15 c #Conflicts: 1365000 | #Constraints: 47696
1862.75/1881.15 c #Conflicts: 1366000 | #Constraints: 48696
1862.75/1881.15 c #Conflicts: 1367000 | #Constraints: 49696
1862.75/1881.15 c #Conflicts: 1368000 | #Constraints: 50696
1862.75/1881.15 c #Conflicts: 1369000 | #Constraints: 51696
1862.75/1881.15 c #Conflicts: 1370000 | #Constraints: 52696
1862.75/1881.15 c #Conflicts: 1371000 | #Constraints: 53696
1862.75/1881.15 c INPROCESSING
1862.75/1881.15 c GARBAGE COLLECT
1862.75/1881.15 c rational objective 3
1905.15/1923.88 c #Conflicts: 1372000 | #Constraints: 31501
1905.15/1923.88 c #Conflicts: 1373000 | #Constraints: 32501
1905.15/1923.88 c #Conflicts: 1374000 | #Constraints: 33501
1905.15/1923.88 c #Conflicts: 1375000 | #Constraints: 34501
1905.15/1923.88 c #Conflicts: 1376000 | #Constraints: 35503
1905.15/1923.88 c #Conflicts: 1377000 | #Constraints: 36505
1905.15/1923.88 c #Conflicts: 1378000 | #Constraints: 37508
1905.15/1923.88 c #Conflicts: 1379000 | #Constraints: 38510
1905.15/1923.88 c #Conflicts: 1380000 | #Constraints: 39511
1905.15/1923.88 c #Conflicts: 1381000 | #Constraints: 40512
1905.15/1923.88 c #Conflicts: 1382000 | #Constraints: 41514
1905.15/1923.88 c #Conflicts: 1383000 | #Constraints: 42514
1905.15/1923.88 c #Conflicts: 1384000 | #Constraints: 43514
1905.15/1923.88 c #Conflicts: 1385000 | #Constraints: 44514
1905.15/1923.88 c #Conflicts: 1386000 | #Constraints: 45514
1905.15/1923.88 c #Conflicts: 1387000 | #Constraints: 46515
1905.15/1923.88 c #Conflicts: 1388000 | #Constraints: 47516
1905.15/1923.88 c #Conflicts: 1389000 | #Constraints: 48516
1905.15/1923.88 c #Conflicts: 1390000 | #Constraints: 49517
1905.15/1923.88 c #Conflicts: 1391000 | #Constraints: 50517
1905.15/1923.88 c #Conflicts: 1392000 | #Constraints: 51518
1905.15/1923.88 c #Conflicts: 1393000 | #Constraints: 52520
1905.15/1923.88 c #Conflicts: 1394000 | #Constraints: 53520
1905.15/1923.88 c #Conflicts: 1395000 | #Constraints: 54521
1905.15/1923.88 c INPROCESSING
1905.15/1923.88 c GARBAGE COLLECT
1905.15/1923.88 c rational objective 3
1947.04/1965.88 c #Conflicts: 1396000 | #Constraints: 32101
1947.04/1965.88 c #Conflicts: 1397000 | #Constraints: 33102
1947.04/1965.88 c #Conflicts: 1398000 | #Constraints: 34102
1947.04/1965.88 c #Conflicts: 1399000 | #Constraints: 35103
1947.04/1965.88 c #Conflicts: 1400000 | #Constraints: 36105
1947.04/1965.88 c #Conflicts: 1401000 | #Constraints: 37105
1947.04/1965.88 c #Conflicts: 1402000 | #Constraints: 38106
1947.04/1965.88 c #Conflicts: 1403000 | #Constraints: 39106
1947.04/1965.88 c #Conflicts: 1404000 | #Constraints: 40106
1947.04/1965.88 c #Conflicts: 1405000 | #Constraints: 41106
1947.04/1965.88 c #Conflicts: 1406000 | #Constraints: 42106
1947.04/1965.88 c #Conflicts: 1407000 | #Constraints: 43107
1947.04/1965.88 c #Conflicts: 1408000 | #Constraints: 44108
1947.04/1965.88 c #Conflicts: 1409000 | #Constraints: 45109
1947.04/1965.88 c #Conflicts: 1410000 | #Constraints: 46117
1947.04/1965.88 c #Conflicts: 1411000 | #Constraints: 47117
1947.04/1965.88 c #Conflicts: 1412000 | #Constraints: 48118
1947.04/1965.88 c #Conflicts: 1413000 | #Constraints: 49118
1947.04/1965.88 c #Conflicts: 1414000 | #Constraints: 50118
1947.04/1965.88 c #Conflicts: 1415000 | #Constraints: 51118
1947.04/1965.88 c #Conflicts: 1416000 | #Constraints: 52119
1947.04/1965.88 c #Conflicts: 1417000 | #Constraints: 53119
1947.04/1965.88 c #Conflicts: 1418000 | #Constraints: 54119
1947.04/1965.88 c #Conflicts: 1419000 | #Constraints: 55119
1947.04/1965.88 c INPROCESSING
1947.04/1965.88 c GARBAGE COLLECT
1947.04/1965.88 c rational objective 3
1999.72/2020.64 c #Conflicts: 1420000 | #Constraints: 32487
1999.72/2020.64 c #Conflicts: 1421000 | #Constraints: 33487
1999.72/2020.64 c #Conflicts: 1422000 | #Constraints: 34487
1999.72/2020.64 c #Conflicts: 1423000 | #Constraints: 35487
1999.72/2020.64 c #Conflicts: 1424000 | #Constraints: 36487
1999.72/2020.64 c #Conflicts: 1425000 | #Constraints: 37487
1999.72/2020.64 c #Conflicts: 1426000 | #Constraints: 38487
1999.72/2020.64 c #Conflicts: 1427000 | #Constraints: 39487
1999.72/2020.64 c #Conflicts: 1428000 | #Constraints: 40488
1999.72/2020.64 c #Conflicts: 1429000 | #Constraints: 41488
1999.72/2020.64 c #Conflicts: 1430000 | #Constraints: 42488
1999.72/2020.64 c #Conflicts: 1431000 | #Constraints: 43489
1999.72/2020.64 c #Conflicts: 1432000 | #Constraints: 44489
1999.72/2020.64 c #Conflicts: 1433000 | #Constraints: 45489
1999.72/2020.64 c #Conflicts: 1434000 | #Constraints: 46489
1999.72/2020.64 c #Conflicts: 1435000 | #Constraints: 47489
1999.72/2020.64 c #Conflicts: 1436000 | #Constraints: 48489
1999.72/2020.64 c #Conflicts: 1437000 | #Constraints: 49489
1999.72/2020.64 c #Conflicts: 1438000 | #Constraints: 50490
1999.72/2020.64 c #Conflicts: 1439000 | #Constraints: 51490
1999.72/2020.64 c #Conflicts: 1440000 | #Constraints: 52490
1999.72/2020.64 c #Conflicts: 1441000 | #Constraints: 53490
1999.72/2020.64 c #Conflicts: 1442000 | #Constraints: 54490
1999.72/2020.64 c #Conflicts: 1443000 | #Constraints: 55490
1999.72/2020.64 c INPROCESSING
1999.72/2020.64 c GARBAGE COLLECT
1999.72/2020.64 c rational objective 3
2043.22/2068.82 c #Conflicts: 1444000 | #Constraints: 32671
2043.22/2068.82 c #Conflicts: 1445000 | #Constraints: 33671
2043.22/2068.82 c #Conflicts: 1446000 | #Constraints: 34671
2043.22/2068.82 c #Conflicts: 1447000 | #Constraints: 35671
2043.22/2068.82 c #Conflicts: 1448000 | #Constraints: 36671
2043.22/2068.82 c #Conflicts: 1449000 | #Constraints: 37671
2043.22/2068.82 c #Conflicts: 1450000 | #Constraints: 38671
2043.22/2068.82 c #Conflicts: 1451000 | #Constraints: 39671
2043.22/2068.82 c #Conflicts: 1452000 | #Constraints: 40671
2043.22/2068.82 c #Conflicts: 1453000 | #Constraints: 41672
2043.22/2068.82 c #Conflicts: 1454000 | #Constraints: 42672
2043.22/2068.82 c #Conflicts: 1455000 | #Constraints: 43672
2043.22/2068.82 c #Conflicts: 1456000 | #Constraints: 44673
2043.22/2068.82 c #Conflicts: 1457000 | #Constraints: 45673
2043.22/2068.82 c #Conflicts: 1458000 | #Constraints: 46673
2043.22/2068.82 c #Conflicts: 1459000 | #Constraints: 47674
2043.22/2068.82 c #Conflicts: 1460000 | #Constraints: 48674
2043.22/2068.82 c #Conflicts: 1461000 | #Constraints: 49674
2043.22/2068.82 c #Conflicts: 1462000 | #Constraints: 50675
2043.22/2068.82 c #Conflicts: 1463000 | #Constraints: 51675
2043.22/2068.82 c #Conflicts: 1464000 | #Constraints: 52675
2043.22/2068.82 c #Conflicts: 1465000 | #Constraints: 53675
2043.22/2068.82 c #Conflicts: 1466000 | #Constraints: 54675
2043.22/2068.82 c #Conflicts: 1467000 | #Constraints: 55675
2043.22/2068.82 c INPROCESSING
2043.22/2068.82 c GARBAGE COLLECT
2043.22/2068.82 c rational objective 3
2087.04/2112.94 c #Conflicts: 1468000 | #Constraints: 32664
2087.04/2112.94 c #Conflicts: 1469000 | #Constraints: 33664
2087.04/2112.94 c #Conflicts: 1470000 | #Constraints: 34664
2087.04/2112.94 c #Conflicts: 1471000 | #Constraints: 35664
2087.04/2112.94 c #Conflicts: 1472000 | #Constraints: 36665
2087.04/2112.94 c #Conflicts: 1473000 | #Constraints: 37666
2087.04/2112.94 c #Conflicts: 1474000 | #Constraints: 38667
2087.04/2112.94 c #Conflicts: 1475000 | #Constraints: 39668
2087.04/2112.94 c #Conflicts: 1476000 | #Constraints: 40670
2087.04/2112.94 c #Conflicts: 1477000 | #Constraints: 41670
2087.04/2112.94 c #Conflicts: 1478000 | #Constraints: 42672
2087.04/2112.94 c #Conflicts: 1479000 | #Constraints: 43673
2087.04/2112.94 c #Conflicts: 1480000 | #Constraints: 44674
2087.04/2112.94 c #Conflicts: 1481000 | #Constraints: 45674
2087.04/2112.94 c #Conflicts: 1482000 | #Constraints: 46678
2087.04/2112.94 c #Conflicts: 1483000 | #Constraints: 47678
2087.04/2112.94 c #Conflicts: 1484000 | #Constraints: 48679
2087.04/2112.94 c #Conflicts: 1485000 | #Constraints: 49680
2087.04/2112.94 c #Conflicts: 1486000 | #Constraints: 50681
2087.04/2112.94 c #Conflicts: 1487000 | #Constraints: 51683
2087.04/2112.94 c #Conflicts: 1488000 | #Constraints: 52686
2087.04/2112.94 c #Conflicts: 1489000 | #Constraints: 53689
2087.04/2112.94 c #Conflicts: 1490000 | #Constraints: 54689
2087.04/2112.94 c #Conflicts: 1491000 | #Constraints: 55689
2087.04/2112.94 c INPROCESSING
2087.04/2112.94 c GARBAGE COLLECT
2087.04/2112.94 c rational objective 3
2131.96/2158.05 c #Conflicts: 1492000 | #Constraints: 32455
2131.96/2158.05 c #Conflicts: 1493000 | #Constraints: 33455
2131.96/2158.05 c #Conflicts: 1494000 | #Constraints: 34456
2131.96/2158.05 c #Conflicts: 1495000 | #Constraints: 35456
2131.96/2158.05 c #Conflicts: 1496000 | #Constraints: 36457
2131.96/2158.05 c #Conflicts: 1497000 | #Constraints: 37457
2131.96/2158.05 c #Conflicts: 1498000 | #Constraints: 38458
2131.96/2158.05 c #Conflicts: 1499000 | #Constraints: 39458
2131.96/2158.05 c #Conflicts: 1500000 | #Constraints: 40458
2131.96/2158.05 c #Conflicts: 1501000 | #Constraints: 41458
2131.96/2158.05 c #Conflicts: 1502000 | #Constraints: 42458
2131.96/2158.05 c #Conflicts: 1503000 | #Constraints: 43458
2131.96/2158.05 c #Conflicts: 1504000 | #Constraints: 44458
2131.96/2158.05 c #Conflicts: 1505000 | #Constraints: 45458
2131.96/2158.05 c #Conflicts: 1506000 | #Constraints: 46458
2131.96/2158.05 c #Conflicts: 1507000 | #Constraints: 47459
2131.96/2158.05 c #Conflicts: 1508000 | #Constraints: 48459
2131.96/2158.05 c #Conflicts: 1509000 | #Constraints: 49459
2131.96/2158.05 c #Conflicts: 1510000 | #Constraints: 50459
2131.96/2158.05 c #Conflicts: 1511000 | #Constraints: 51460
2131.96/2158.05 c #Conflicts: 1512000 | #Constraints: 52460
2131.96/2158.05 c #Conflicts: 1513000 | #Constraints: 53460
2131.96/2158.05 c #Conflicts: 1514000 | #Constraints: 54461
2131.96/2158.05 c #Conflicts: 1515000 | #Constraints: 55461
2131.96/2158.05 c #Conflicts: 1516000 | #Constraints: 56462
2131.96/2158.05 c INPROCESSING
2131.96/2158.05 c GARBAGE COLLECT
2131.96/2158.05 c rational objective 3
2180.12/2207.83 c #Conflicts: 1517000 | #Constraints: 33031
2180.12/2207.83 c #Conflicts: 1518000 | #Constraints: 34031
2180.12/2207.83 c #Conflicts: 1519000 | #Constraints: 35031
2180.12/2207.83 c #Conflicts: 1520000 | #Constraints: 36032
2180.12/2207.83 c #Conflicts: 1521000 | #Constraints: 37034
2180.12/2207.83 c #Conflicts: 1522000 | #Constraints: 38034
2180.12/2207.83 c #Conflicts: 1523000 | #Constraints: 39035
2180.12/2207.83 c #Conflicts: 1524000 | #Constraints: 40037
2180.12/2207.83 c #Conflicts: 1525000 | #Constraints: 41039
2180.12/2207.83 c #Conflicts: 1526000 | #Constraints: 42040
2180.12/2207.83 c #Conflicts: 1527000 | #Constraints: 43043
2180.12/2207.83 c #Conflicts: 1528000 | #Constraints: 44044
2180.12/2207.83 c #Conflicts: 1529000 | #Constraints: 45046
2180.12/2207.83 c #Conflicts: 1530000 | #Constraints: 46046
2180.12/2207.83 c #Conflicts: 1531000 | #Constraints: 47047
2180.12/2207.83 c #Conflicts: 1532000 | #Constraints: 48049
2180.12/2207.83 c #Conflicts: 1533000 | #Constraints: 49050
2180.12/2207.83 c #Conflicts: 1534000 | #Constraints: 50050
2180.12/2207.83 c #Conflicts: 1535000 | #Constraints: 51053
2180.12/2207.83 c #Conflicts: 1536000 | #Constraints: 52054
2180.12/2207.83 c #Conflicts: 1537000 | #Constraints: 53054
2180.12/2207.83 c #Conflicts: 1538000 | #Constraints: 54056
2180.12/2207.83 c #Conflicts: 1539000 | #Constraints: 55057
2180.12/2207.83 c #Conflicts: 1540000 | #Constraints: 56057
2180.12/2207.83 c #Conflicts: 1541000 | #Constraints: 57059
2180.12/2207.83 c INPROCESSING
2180.12/2207.83 c GARBAGE COLLECT
2180.12/2207.83 c rational objective 3
2223.83/2251.70 c #Conflicts: 1542000 | #Constraints: 33459
2223.83/2251.70 c #Conflicts: 1543000 | #Constraints: 34459
2223.83/2251.70 c #Conflicts: 1544000 | #Constraints: 35460
2223.83/2251.70 c #Conflicts: 1545000 | #Constraints: 36461
2223.83/2251.70 c #Conflicts: 1546000 | #Constraints: 37463
2223.83/2251.70 c #Conflicts: 1547000 | #Constraints: 38464
2223.83/2251.70 c #Conflicts: 1548000 | #Constraints: 39466
2223.83/2251.70 c #Conflicts: 1549000 | #Constraints: 40466
2223.83/2251.70 c #Conflicts: 1550000 | #Constraints: 41468
2223.83/2251.70 c #Conflicts: 1551000 | #Constraints: 42469
2223.83/2251.70 c #Conflicts: 1552000 | #Constraints: 43469
2223.83/2251.70 c #Conflicts: 1553000 | #Constraints: 44469
2223.83/2251.70 c #Conflicts: 1554000 | #Constraints: 45469
2223.83/2251.70 c #Conflicts: 1555000 | #Constraints: 46469
2223.83/2251.70 c #Conflicts: 1556000 | #Constraints: 47469
2223.83/2251.70 c #Conflicts: 1557000 | #Constraints: 48470
2223.83/2251.70 c #Conflicts: 1558000 | #Constraints: 49470
2223.83/2251.70 c #Conflicts: 1559000 | #Constraints: 50471
2223.83/2251.70 c #Conflicts: 1560000 | #Constraints: 51471
2223.83/2251.70 c #Conflicts: 1561000 | #Constraints: 52472
2223.83/2251.70 c #Conflicts: 1562000 | #Constraints: 53474
2223.83/2251.70 c #Conflicts: 1563000 | #Constraints: 54475
2223.83/2251.70 c #Conflicts: 1564000 | #Constraints: 55475
2223.83/2251.70 c #Conflicts: 1565000 | #Constraints: 56475
2223.83/2251.70 c #Conflicts: 1566000 | #Constraints: 57475
2223.83/2251.70 c INPROCESSING
2223.83/2251.70 c GARBAGE COLLECT
2223.83/2251.70 c rational objective 3
2280.64/2308.83 c #Conflicts: 1567000 | #Constraints: 33543
2280.64/2308.83 c #Conflicts: 1568000 | #Constraints: 34543
2280.64/2308.83 c #Conflicts: 1569000 | #Constraints: 35545
2280.64/2308.83 c #Conflicts: 1570000 | #Constraints: 36550
2280.64/2308.83 c #Conflicts: 1571000 | #Constraints: 37553
2280.64/2308.83 c #Conflicts: 1572000 | #Constraints: 38555
2280.64/2308.83 c #Conflicts: 1573000 | #Constraints: 39557
2280.64/2308.83 c #Conflicts: 1574000 | #Constraints: 40558
2280.64/2308.83 c #Conflicts: 1575000 | #Constraints: 41559
2280.64/2308.83 c #Conflicts: 1576000 | #Constraints: 42559
2280.64/2308.83 c #Conflicts: 1577000 | #Constraints: 43562
2280.64/2308.83 c #Conflicts: 1578000 | #Constraints: 44563
2280.64/2308.83 c #Conflicts: 1579000 | #Constraints: 45565
2280.64/2308.83 c #Conflicts: 1580000 | #Constraints: 46566
2280.64/2308.83 c #Conflicts: 1581000 | #Constraints: 47567
2280.64/2308.83 c #Conflicts: 1582000 | #Constraints: 48568
2280.64/2308.83 c #Conflicts: 1583000 | #Constraints: 49569
2280.64/2308.83 c #Conflicts: 1584000 | #Constraints: 50569
2280.64/2308.83 c #Conflicts: 1585000 | #Constraints: 51569
2280.64/2308.83 c #Conflicts: 1586000 | #Constraints: 52570
2280.64/2308.83 c #Conflicts: 1587000 | #Constraints: 53571
2280.64/2308.83 c #Conflicts: 1588000 | #Constraints: 54572
2280.64/2308.83 c #Conflicts: 1589000 | #Constraints: 55572
2280.64/2308.83 c #Conflicts: 1590000 | #Constraints: 56573
2280.64/2308.83 c #Conflicts: 1591000 | #Constraints: 57574
2280.64/2308.83 c INPROCESSING
2280.64/2308.83 c GARBAGE COLLECT
2280.64/2308.83 c rational objective 3
2332.10/2360.54 c #Conflicts: 1592000 | #Constraints: 33585
2332.10/2360.54 c #Conflicts: 1593000 | #Constraints: 34585
2332.10/2360.54 c #Conflicts: 1594000 | #Constraints: 35585
2332.10/2360.54 c #Conflicts: 1595000 | #Constraints: 36587
2332.10/2360.54 c #Conflicts: 1596000 | #Constraints: 37587
2332.10/2360.54 c #Conflicts: 1597000 | #Constraints: 38587
2332.10/2360.54 c #Conflicts: 1598000 | #Constraints: 39589
2332.10/2360.54 c #Conflicts: 1599000 | #Constraints: 40589
2332.10/2360.54 c #Conflicts: 1600000 | #Constraints: 41589
2332.10/2360.54 c #Conflicts: 1601000 | #Constraints: 42589
2332.10/2360.54 c #Conflicts: 1602000 | #Constraints: 43590
2332.10/2360.54 c #Conflicts: 1603000 | #Constraints: 44590
2332.10/2360.54 c #Conflicts: 1604000 | #Constraints: 45591
2332.10/2360.54 c #Conflicts: 1605000 | #Constraints: 46591
2332.10/2360.54 c #Conflicts: 1606000 | #Constraints: 47593
2332.10/2360.54 c #Conflicts: 1607000 | #Constraints: 48594
2332.10/2360.54 c #Conflicts: 1608000 | #Constraints: 49594
2332.10/2360.54 c #Conflicts: 1609000 | #Constraints: 50595
2332.10/2360.54 c #Conflicts: 1610000 | #Constraints: 51595
2332.10/2360.54 c #Conflicts: 1611000 | #Constraints: 52595
2332.10/2360.54 c #Conflicts: 1612000 | #Constraints: 53596
2332.10/2360.54 c #Conflicts: 1613000 | #Constraints: 54596
2332.10/2360.54 c #Conflicts: 1614000 | #Constraints: 55597
2332.10/2360.54 c #Conflicts: 1615000 | #Constraints: 56598
2332.10/2360.54 c #Conflicts: 1616000 | #Constraints: 57600
2332.10/2360.54 c INPROCESSING
2332.10/2360.54 c GARBAGE COLLECT
2332.10/2360.54 c rational objective 3
2385.99/2414.65 c #Conflicts: 1617000 | #Constraints: 33379
2385.99/2414.65 c #Conflicts: 1618000 | #Constraints: 34380
2385.99/2414.65 c #Conflicts: 1619000 | #Constraints: 35380
2385.99/2414.65 c #Conflicts: 1620000 | #Constraints: 36382
2385.99/2414.65 c #Conflicts: 1621000 | #Constraints: 37382
2385.99/2414.65 c #Conflicts: 1622000 | #Constraints: 38382
2385.99/2414.65 c #Conflicts: 1623000 | #Constraints: 39382
2385.99/2414.65 c #Conflicts: 1624000 | #Constraints: 40383
2385.99/2414.65 c #Conflicts: 1625000 | #Constraints: 41384
2385.99/2414.65 c #Conflicts: 1626000 | #Constraints: 42384
2385.99/2414.65 c #Conflicts: 1627000 | #Constraints: 43384
2385.99/2414.65 c #Conflicts: 1628000 | #Constraints: 44384
2385.99/2414.65 c #Conflicts: 1629000 | #Constraints: 45384
2385.99/2414.65 c #Conflicts: 1630000 | #Constraints: 46384
2385.99/2414.65 c #Conflicts: 1631000 | #Constraints: 47384
2385.99/2414.65 c #Conflicts: 1632000 | #Constraints: 48386
2385.99/2414.65 c #Conflicts: 1633000 | #Constraints: 49387
2385.99/2414.65 c #Conflicts: 1634000 | #Constraints: 50388
2385.99/2414.65 c #Conflicts: 1635000 | #Constraints: 51388
2385.99/2414.65 c #Conflicts: 1636000 | #Constraints: 52389
2385.99/2414.65 c #Conflicts: 1637000 | #Constraints: 53389
2385.99/2414.65 c #Conflicts: 1638000 | #Constraints: 54389
2385.99/2414.65 c #Conflicts: 1639000 | #Constraints: 55389
2385.99/2414.65 c #Conflicts: 1640000 | #Constraints: 56389
2385.99/2414.65 c #Conflicts: 1641000 | #Constraints: 57389
2385.99/2414.65 c #Conflicts: 1642000 | #Constraints: 58389
2385.99/2414.65 c INPROCESSING
2385.99/2414.65 c GARBAGE COLLECT
2385.99/2414.65 c rational objective 3
2436.94/2465.87 c #Conflicts: 1643000 | #Constraints: 33951
2436.94/2465.87 c #Conflicts: 1644000 | #Constraints: 34952
2436.94/2465.87 c #Conflicts: 1645000 | #Constraints: 35952
2436.94/2465.87 c #Conflicts: 1646000 | #Constraints: 36954
2436.94/2465.87 c #Conflicts: 1647000 | #Constraints: 37956
2436.94/2465.87 c #Conflicts: 1648000 | #Constraints: 38959
2436.94/2465.87 c #Conflicts: 1649000 | #Constraints: 39959
2436.94/2465.87 c #Conflicts: 1650000 | #Constraints: 40960
2436.94/2465.87 c #Conflicts: 1651000 | #Constraints: 41962
2436.94/2465.87 c #Conflicts: 1652000 | #Constraints: 42966
2436.94/2465.87 c #Conflicts: 1653000 | #Constraints: 43966
2436.94/2465.87 c #Conflicts: 1654000 | #Constraints: 44966
2436.94/2465.87 c #Conflicts: 1655000 | #Constraints: 45966
2436.94/2465.87 c #Conflicts: 1656000 | #Constraints: 46967
2436.94/2465.87 c #Conflicts: 1657000 | #Constraints: 47968
2436.94/2465.87 c #Conflicts: 1658000 | #Constraints: 48969
2436.94/2465.87 c #Conflicts: 1659000 | #Constraints: 49969
2436.94/2465.87 c #Conflicts: 1660000 | #Constraints: 50970
2436.94/2465.87 c #Conflicts: 1661000 | #Constraints: 51970
2436.94/2465.87 c #Conflicts: 1662000 | #Constraints: 52970
2436.94/2465.87 c #Conflicts: 1663000 | #Constraints: 53972
2436.94/2465.87 c #Conflicts: 1664000 | #Constraints: 54974
2436.94/2465.87 c #Conflicts: 1665000 | #Constraints: 55974
2436.94/2465.87 c #Conflicts: 1666000 | #Constraints: 56974
2436.94/2465.87 c #Conflicts: 1667000 | #Constraints: 57975
2436.94/2465.87 c #Conflicts: 1668000 | #Constraints: 58976
2436.94/2465.87 c INPROCESSING
2436.94/2465.87 c GARBAGE COLLECT
2436.94/2465.87 c rational objective 3
2488.41/2517.71 c #Conflicts: 1669000 | #Constraints: 34308
2488.41/2517.71 c #Conflicts: 1670000 | #Constraints: 35308
2488.41/2517.71 c #Conflicts: 1671000 | #Constraints: 36308
2488.41/2517.71 c #Conflicts: 1672000 | #Constraints: 37308
2488.41/2517.71 c #Conflicts: 1673000 | #Constraints: 38309
2488.41/2517.71 c #Conflicts: 1674000 | #Constraints: 39309
2488.41/2517.71 c #Conflicts: 1675000 | #Constraints: 40309
2488.41/2517.71 c #Conflicts: 1676000 | #Constraints: 41311
2488.41/2517.71 c #Conflicts: 1677000 | #Constraints: 42313
2488.41/2517.71 c #Conflicts: 1678000 | #Constraints: 43314
2488.41/2517.71 c #Conflicts: 1679000 | #Constraints: 44314
2488.41/2517.71 c #Conflicts: 1680000 | #Constraints: 45314
2488.41/2517.71 c #Conflicts: 1681000 | #Constraints: 46315
2488.41/2517.71 c #Conflicts: 1682000 | #Constraints: 47315
2488.41/2517.71 c #Conflicts: 1683000 | #Constraints: 48316
2488.41/2517.71 c #Conflicts: 1684000 | #Constraints: 49317
2488.41/2517.71 c #Conflicts: 1685000 | #Constraints: 50319
2488.41/2517.71 c #Conflicts: 1686000 | #Constraints: 51320
2488.41/2517.71 c #Conflicts: 1687000 | #Constraints: 52321
2488.41/2517.71 c #Conflicts: 1688000 | #Constraints: 53321
2488.41/2517.71 c #Conflicts: 1689000 | #Constraints: 54321
2488.41/2517.71 c #Conflicts: 1690000 | #Constraints: 55321
2488.41/2517.71 c #Conflicts: 1691000 | #Constraints: 56322
2488.41/2517.71 c #Conflicts: 1692000 | #Constraints: 57322
2488.41/2517.71 c #Conflicts: 1693000 | #Constraints: 58323
2488.41/2517.71 c #Conflicts: 1694000 | #Constraints: 59323
2488.41/2517.71 c INPROCESSING
2488.41/2517.71 c GARBAGE COLLECT
2488.41/2517.71 c rational objective 3
2542.01/2571.62 c #Conflicts: 1695000 | #Constraints: 34506
2542.01/2571.62 c #Conflicts: 1696000 | #Constraints: 35506
2542.01/2571.62 c #Conflicts: 1697000 | #Constraints: 36506
2542.01/2571.62 c #Conflicts: 1698000 | #Constraints: 37508
2542.01/2571.62 c #Conflicts: 1699000 | #Constraints: 38509
2542.01/2571.62 c #Conflicts: 1700000 | #Constraints: 39510
2542.01/2571.62 c #Conflicts: 1701000 | #Constraints: 40512
2542.01/2571.62 c #Conflicts: 1702000 | #Constraints: 41512
2542.01/2571.62 c #Conflicts: 1703000 | #Constraints: 42514
2542.01/2571.62 c #Conflicts: 1704000 | #Constraints: 43514
2542.01/2571.62 c #Conflicts: 1705000 | #Constraints: 44516
2542.01/2571.62 c #Conflicts: 1706000 | #Constraints: 45517
2542.01/2571.62 c #Conflicts: 1707000 | #Constraints: 46517
2542.01/2571.62 c #Conflicts: 1708000 | #Constraints: 47517
2542.01/2571.62 c #Conflicts: 1709000 | #Constraints: 48517
2542.01/2571.62 c #Conflicts: 1710000 | #Constraints: 49518
2542.01/2571.62 c #Conflicts: 1711000 | #Constraints: 50519
2542.01/2571.62 c #Conflicts: 1712000 | #Constraints: 51520
2542.01/2571.62 c #Conflicts: 1713000 | #Constraints: 52520
2542.01/2571.62 c #Conflicts: 1714000 | #Constraints: 53521
2542.01/2571.62 c #Conflicts: 1715000 | #Constraints: 54521
2542.01/2571.62 c #Conflicts: 1716000 | #Constraints: 55522
2542.01/2571.62 c #Conflicts: 1717000 | #Constraints: 56524
2542.01/2571.62 c #Conflicts: 1718000 | #Constraints: 57525
2542.01/2571.62 c #Conflicts: 1719000 | #Constraints: 58525
2542.01/2571.62 c #Conflicts: 1720000 | #Constraints: 59527
2542.01/2571.62 c INPROCESSING
2542.01/2571.62 c GARBAGE COLLECT
2542.01/2571.62 c rational objective 3
2591.08/2621.16 c #Conflicts: 1721000 | #Constraints: 34496
2591.08/2621.16 c #Conflicts: 1722000 | #Constraints: 35496
2591.08/2621.16 c #Conflicts: 1723000 | #Constraints: 36498
2591.08/2621.16 c #Conflicts: 1724000 | #Constraints: 37500
2591.08/2621.16 c #Conflicts: 1725000 | #Constraints: 38501
2591.08/2621.16 c #Conflicts: 1726000 | #Constraints: 39502
2591.08/2621.16 c #Conflicts: 1727000 | #Constraints: 40505
2591.08/2621.16 c #Conflicts: 1728000 | #Constraints: 41506
2591.08/2621.16 c #Conflicts: 1729000 | #Constraints: 42507
2591.08/2621.16 c #Conflicts: 1730000 | #Constraints: 43508
2591.08/2621.16 c #Conflicts: 1731000 | #Constraints: 44509
2591.08/2621.16 c #Conflicts: 1732000 | #Constraints: 45510
2591.08/2621.16 c #Conflicts: 1733000 | #Constraints: 46511
2591.08/2621.16 c #Conflicts: 1734000 | #Constraints: 47511
2591.08/2621.16 c #Conflicts: 1735000 | #Constraints: 48512
2591.08/2621.16 c #Conflicts: 1736000 | #Constraints: 49512
2591.08/2621.16 c #Conflicts: 1737000 | #Constraints: 50512
2591.08/2621.16 c #Conflicts: 1738000 | #Constraints: 51512
2591.08/2621.16 c #Conflicts: 1739000 | #Constraints: 52514
2591.08/2621.16 c #Conflicts: 1740000 | #Constraints: 53514
2591.08/2621.16 c #Conflicts: 1741000 | #Constraints: 54515
2591.08/2621.16 c #Conflicts: 1742000 | #Constraints: 55516
2591.08/2621.16 c #Conflicts: 1743000 | #Constraints: 56516
2591.08/2621.16 c #Conflicts: 1744000 | #Constraints: 57516
2591.08/2621.16 c #Conflicts: 1745000 | #Constraints: 58516
2591.08/2621.16 c #Conflicts: 1746000 | #Constraints: 59516
2591.08/2621.16 c INPROCESSING
2591.08/2621.16 c GARBAGE COLLECT
2591.08/2621.16 c rational objective 3
2653.09/2683.87 c #Conflicts: 1747000 | #Constraints: 34285
2653.09/2683.87 c #Conflicts: 1748000 | #Constraints: 35285
2653.09/2683.87 c #Conflicts: 1749000 | #Constraints: 36285
2653.09/2683.87 c #Conflicts: 1750000 | #Constraints: 37285
2653.09/2683.87 c #Conflicts: 1751000 | #Constraints: 38286
2653.09/2683.87 c #Conflicts: 1752000 | #Constraints: 39287
2653.09/2683.87 c #Conflicts: 1753000 | #Constraints: 40287
2653.09/2683.87 c #Conflicts: 1754000 | #Constraints: 41287
2653.09/2683.87 c #Conflicts: 1755000 | #Constraints: 42287
2653.09/2683.87 c #Conflicts: 1756000 | #Constraints: 43287
2653.09/2683.87 c #Conflicts: 1757000 | #Constraints: 44287
2653.09/2683.87 c #Conflicts: 1758000 | #Constraints: 45287
2653.09/2683.87 c #Conflicts: 1759000 | #Constraints: 46288
2653.09/2683.87 c #Conflicts: 1760000 | #Constraints: 47288
2653.09/2683.87 c #Conflicts: 1761000 | #Constraints: 48288
2653.09/2683.87 c #Conflicts: 1762000 | #Constraints: 49288
2653.09/2683.87 c #Conflicts: 1763000 | #Constraints: 50288
2653.09/2683.87 c #Conflicts: 1764000 | #Constraints: 51289
2653.09/2683.87 c #Conflicts: 1765000 | #Constraints: 52290
2653.09/2683.87 c #Conflicts: 1766000 | #Constraints: 53291
2653.09/2683.87 c #Conflicts: 1767000 | #Constraints: 54292
2653.09/2683.87 c #Conflicts: 1768000 | #Constraints: 55292
2653.09/2683.87 c #Conflicts: 1769000 | #Constraints: 56292
2653.09/2683.87 c #Conflicts: 1770000 | #Constraints: 57293
2653.09/2683.87 c #Conflicts: 1771000 | #Constraints: 58293
2653.09/2683.87 c #Conflicts: 1772000 | #Constraints: 59293
2653.09/2683.87 c #Conflicts: 1773000 | #Constraints: 60294
2653.09/2683.87 c INPROCESSING
2653.09/2683.87 c GARBAGE COLLECT
2653.09/2683.87 c rational objective 3
2707.71/2738.72 c #Conflicts: 1774000 | #Constraints: 34936
2707.71/2738.72 c #Conflicts: 1775000 | #Constraints: 35936
2707.71/2738.72 c #Conflicts: 1776000 | #Constraints: 36937
2707.71/2738.72 c #Conflicts: 1777000 | #Constraints: 37938
2707.71/2738.72 c #Conflicts: 1778000 | #Constraints: 38940
2707.71/2738.72 c #Conflicts: 1779000 | #Constraints: 39941
2707.71/2738.72 c #Conflicts: 1780000 | #Constraints: 40941
2707.71/2738.72 c #Conflicts: 1781000 | #Constraints: 41942
2707.71/2738.72 c #Conflicts: 1782000 | #Constraints: 42942
2707.71/2738.72 c #Conflicts: 1783000 | #Constraints: 43943
2707.71/2738.72 c #Conflicts: 1784000 | #Constraints: 44943
2707.71/2738.72 c #Conflicts: 1785000 | #Constraints: 45943
2707.71/2738.72 c #Conflicts: 1786000 | #Constraints: 46944
2707.71/2738.72 c #Conflicts: 1787000 | #Constraints: 47944
2707.71/2738.72 c #Conflicts: 1788000 | #Constraints: 48946
2707.71/2738.72 c #Conflicts: 1789000 | #Constraints: 49946
2707.71/2738.72 c #Conflicts: 1790000 | #Constraints: 50946
2707.71/2738.72 c #Conflicts: 1791000 | #Constraints: 51946
2707.71/2738.72 c #Conflicts: 1792000 | #Constraints: 52947
2707.71/2738.72 c #Conflicts: 1793000 | #Constraints: 53947
2707.71/2738.72 c #Conflicts: 1794000 | #Constraints: 54948
2707.71/2738.72 c #Conflicts: 1795000 | #Constraints: 55948
2707.71/2738.72 c #Conflicts: 1796000 | #Constraints: 56950
2707.71/2738.72 c #Conflicts: 1797000 | #Constraints: 57952
2707.71/2738.72 c #Conflicts: 1798000 | #Constraints: 58952
2707.71/2738.72 c #Conflicts: 1799000 | #Constraints: 59952
2707.71/2738.72 c #Conflicts: 1800000 | #Constraints: 60952
2707.71/2738.72 c INPROCESSING
2707.71/2738.72 c GARBAGE COLLECT
2707.71/2738.72 c rational objective 3
2766.06/2797.45 c #Conflicts: 1801000 | #Constraints: 35327
2766.06/2797.45 c #Conflicts: 1802000 | #Constraints: 36327
2766.06/2797.45 c #Conflicts: 1803000 | #Constraints: 37329
2766.06/2797.45 c #Conflicts: 1804000 | #Constraints: 38330
2766.06/2797.45 c #Conflicts: 1805000 | #Constraints: 39332
2766.06/2797.45 c #Conflicts: 1806000 | #Constraints: 40334
2766.06/2797.45 c #Conflicts: 1807000 | #Constraints: 41339
2766.06/2797.45 c #Conflicts: 1808000 | #Constraints: 42340
2766.06/2797.45 c #Conflicts: 1809000 | #Constraints: 43341
2766.06/2797.45 c #Conflicts: 1810000 | #Constraints: 44342
2766.06/2797.45 c #Conflicts: 1811000 | #Constraints: 45342
2766.06/2797.45 c #Conflicts: 1812000 | #Constraints: 46342
2766.06/2797.45 c #Conflicts: 1813000 | #Constraints: 47343
2766.06/2797.45 c #Conflicts: 1814000 | #Constraints: 48345
2766.06/2797.45 c #Conflicts: 1815000 | #Constraints: 49347
2766.06/2797.45 c #Conflicts: 1816000 | #Constraints: 50347
2766.06/2797.45 c #Conflicts: 1817000 | #Constraints: 51347
2766.06/2797.45 c #Conflicts: 1818000 | #Constraints: 52347
2766.06/2797.45 c #Conflicts: 1819000 | #Constraints: 53347
2766.06/2797.45 c #Conflicts: 1820000 | #Constraints: 54348
2766.06/2797.45 c #Conflicts: 1821000 | #Constraints: 55350
2766.06/2797.45 c #Conflicts: 1822000 | #Constraints: 56350
2766.06/2797.45 c #Conflicts: 1823000 | #Constraints: 57350
2766.06/2797.45 c #Conflicts: 1824000 | #Constraints: 58351
2766.06/2797.45 c #Conflicts: 1825000 | #Constraints: 59351
2766.06/2797.45 c #Conflicts: 1826000 | #Constraints: 60351
2766.06/2797.45 c #Conflicts: 1827000 | #Constraints: 61351
2766.06/2797.45 c INPROCESSING
2766.06/2797.45 c GARBAGE COLLECT
2766.06/2797.45 c rational objective 3
2819.61/2851.21 c #Conflicts: 1828000 | #Constraints: 35501
2819.61/2851.21 c #Conflicts: 1829000 | #Constraints: 36501
2819.61/2851.21 c #Conflicts: 1830000 | #Constraints: 37503
2819.61/2851.21 c #Conflicts: 1831000 | #Constraints: 38506
2819.61/2851.21 c #Conflicts: 1832000 | #Constraints: 39508
2819.61/2851.21 c #Conflicts: 1833000 | #Constraints: 40510
2819.61/2851.21 c #Conflicts: 1834000 | #Constraints: 41510
2819.61/2851.21 c #Conflicts: 1835000 | #Constraints: 42512
2819.61/2851.21 c #Conflicts: 1836000 | #Constraints: 43514
2819.61/2851.21 c #Conflicts: 1837000 | #Constraints: 44514
2819.61/2851.21 c #Conflicts: 1838000 | #Constraints: 45514
2819.61/2851.21 c #Conflicts: 1839000 | #Constraints: 46514
2819.61/2851.21 c #Conflicts: 1840000 | #Constraints: 47514
2819.61/2851.21 c #Conflicts: 1841000 | #Constraints: 48514
2819.61/2851.21 c #Conflicts: 1842000 | #Constraints: 49515
2819.61/2851.21 c #Conflicts: 1843000 | #Constraints: 50515
2819.61/2851.21 c #Conflicts: 1844000 | #Constraints: 51515
2819.61/2851.21 c #Conflicts: 1845000 | #Constraints: 52515
2819.61/2851.21 c #Conflicts: 1846000 | #Constraints: 53516
2819.61/2851.21 c #Conflicts: 1847000 | #Constraints: 54518
2819.61/2851.21 c #Conflicts: 1848000 | #Constraints: 55520
2819.61/2851.21 c #Conflicts: 1849000 | #Constraints: 56521
2819.61/2851.21 c #Conflicts: 1850000 | #Constraints: 57524
2819.61/2851.21 c #Conflicts: 1851000 | #Constraints: 58526
2819.61/2851.21 c #Conflicts: 1852000 | #Constraints: 59528
2819.61/2851.21 c #Conflicts: 1853000 | #Constraints: 60528
2819.61/2851.21 c #Conflicts: 1854000 | #Constraints: 61528
2819.61/2851.21 c INPROCESSING
2819.61/2851.21 c GARBAGE COLLECT
2819.61/2851.21 c rational objective 3
2873.94/2905.75 c #Conflicts: 1855000 | #Constraints: 35505
2873.94/2905.75 c #Conflicts: 1856000 | #Constraints: 36507
2873.94/2905.75 c #Conflicts: 1857000 | #Constraints: 37507
2873.94/2905.75 c #Conflicts: 1858000 | #Constraints: 38508
2873.94/2905.75 c #Conflicts: 1859000 | #Constraints: 39509
2873.94/2905.75 c #Conflicts: 1860000 | #Constraints: 40509
2873.94/2905.75 c #Conflicts: 1861000 | #Constraints: 41510
2873.94/2905.75 c #Conflicts: 1862000 | #Constraints: 42510
2873.94/2905.75 c #Conflicts: 1863000 | #Constraints: 43510
2873.94/2905.75 c #Conflicts: 1864000 | #Constraints: 44511
2873.94/2905.75 c #Conflicts: 1865000 | #Constraints: 45511
2873.94/2905.75 c #Conflicts: 1866000 | #Constraints: 46512
2873.94/2905.75 c #Conflicts: 1867000 | #Constraints: 47512
2873.94/2905.75 c #Conflicts: 1868000 | #Constraints: 48512
2873.94/2905.75 c #Conflicts: 1869000 | #Constraints: 49512
2873.94/2905.75 c #Conflicts: 1870000 | #Constraints: 50512
2873.94/2905.75 c #Conflicts: 1871000 | #Constraints: 51512
2873.94/2905.75 c #Conflicts: 1872000 | #Constraints: 52512
2873.94/2905.75 c #Conflicts: 1873000 | #Constraints: 53513
2873.94/2905.75 c #Conflicts: 1874000 | #Constraints: 54513
2873.94/2905.75 c #Conflicts: 1875000 | #Constraints: 55513
2873.94/2905.75 c #Conflicts: 1876000 | #Constraints: 56514
2873.94/2905.75 c #Conflicts: 1877000 | #Constraints: 57515
2873.94/2905.75 c #Conflicts: 1878000 | #Constraints: 58515
2873.94/2905.75 c #Conflicts: 1879000 | #Constraints: 59515
2873.94/2905.75 c #Conflicts: 1880000 | #Constraints: 60515
2873.94/2905.75 c #Conflicts: 1881000 | #Constraints: 61515
2873.94/2905.75 c INPROCESSING
2873.94/2905.75 c GARBAGE COLLECT
2873.94/2905.75 c rational objective 3
2929.64/2961.85 c #Conflicts: 1882000 | #Constraints: 35282
2929.64/2961.85 c #Conflicts: 1883000 | #Constraints: 36282
2929.64/2961.85 c #Conflicts: 1884000 | #Constraints: 37282
2929.64/2961.85 c #Conflicts: 1885000 | #Constraints: 38283
2929.64/2961.85 c #Conflicts: 1886000 | #Constraints: 39283
2929.64/2961.85 c #Conflicts: 1887000 | #Constraints: 40285
2929.64/2961.85 c #Conflicts: 1888000 | #Constraints: 41286
2929.64/2961.85 c #Conflicts: 1889000 | #Constraints: 42286
2929.64/2961.85 c #Conflicts: 1890000 | #Constraints: 43288
2929.64/2961.85 c #Conflicts: 1891000 | #Constraints: 44291
2929.64/2961.85 c #Conflicts: 1892000 | #Constraints: 45291
2929.64/2961.85 c #Conflicts: 1893000 | #Constraints: 46291
2929.64/2961.85 c #Conflicts: 1894000 | #Constraints: 47291
2929.64/2961.85 c #Conflicts: 1895000 | #Constraints: 48291
2929.64/2961.85 c #Conflicts: 1896000 | #Constraints: 49291
2929.64/2961.85 c #Conflicts: 1897000 | #Constraints: 50291
2929.64/2961.85 c #Conflicts: 1898000 | #Constraints: 51292
2929.64/2961.85 c #Conflicts: 1899000 | #Constraints: 52292
2929.64/2961.85 c #Conflicts: 1900000 | #Constraints: 53293
2929.64/2961.85 c #Conflicts: 1901000 | #Constraints: 54293
2929.64/2961.85 c #Conflicts: 1902000 | #Constraints: 55293
2929.64/2961.85 c #Conflicts: 1903000 | #Constraints: 56294
2929.64/2961.85 c #Conflicts: 1904000 | #Constraints: 57295
2929.64/2961.85 c #Conflicts: 1905000 | #Constraints: 58295
2929.64/2961.85 c #Conflicts: 1906000 | #Constraints: 59295
2929.64/2961.85 c #Conflicts: 1907000 | #Constraints: 60295
2929.64/2961.85 c #Conflicts: 1908000 | #Constraints: 61295
2929.64/2961.85 c #Conflicts: 1909000 | #Constraints: 62295
2929.64/2961.85 c INPROCESSING
2929.64/2961.85 c GARBAGE COLLECT
2929.64/2961.85 c rational objective 3
2991.42/3023.97 c #Conflicts: 1910000 | #Constraints: 35842
2991.42/3023.97 c #Conflicts: 1911000 | #Constraints: 36843
2991.42/3023.97 c #Conflicts: 1912000 | #Constraints: 37844
2991.42/3023.97 c #Conflicts: 1913000 | #Constraints: 38844
2991.42/3023.97 c #Conflicts: 1914000 | #Constraints: 39845
2991.42/3023.97 c #Conflicts: 1915000 | #Constraints: 40845
2991.42/3023.97 c #Conflicts: 1916000 | #Constraints: 41845
2991.42/3023.97 c #Conflicts: 1917000 | #Constraints: 42845
2991.42/3023.97 c #Conflicts: 1918000 | #Constraints: 43845
2991.42/3023.97 c #Conflicts: 1919000 | #Constraints: 44845
2991.42/3023.97 c #Conflicts: 1920000 | #Constraints: 45846
2991.42/3023.97 c #Conflicts: 1921000 | #Constraints: 46846
2991.42/3023.97 c #Conflicts: 1922000 | #Constraints: 47846
2991.42/3023.97 c #Conflicts: 1923000 | #Constraints: 48846
2991.42/3023.97 c #Conflicts: 1924000 | #Constraints: 49846
2991.42/3023.97 c #Conflicts: 1925000 | #Constraints: 50847
2991.42/3023.97 c #Conflicts: 1926000 | #Constraints: 51847
2991.42/3023.97 c #Conflicts: 1927000 | #Constraints: 52848
2991.42/3023.97 c #Conflicts: 1928000 | #Constraints: 53848
2991.42/3023.97 c #Conflicts: 1929000 | #Constraints: 54848
2991.42/3023.97 c #Conflicts: 1930000 | #Constraints: 55848
2991.42/3023.97 c #Conflicts: 1931000 | #Constraints: 56848
2991.42/3023.97 c #Conflicts: 1932000 | #Constraints: 57848
2991.42/3023.97 c #Conflicts: 1933000 | #Constraints: 58848
2991.42/3023.97 c #Conflicts: 1934000 | #Constraints: 59849
2991.42/3023.97 c #Conflicts: 1935000 | #Constraints: 60849
2991.42/3023.97 c #Conflicts: 1936000 | #Constraints: 61850
2991.42/3023.97 c #Conflicts: 1937000 | #Constraints: 62850
2991.42/3023.97 c INPROCESSING
2991.42/3023.97 c GARBAGE COLLECT
2991.42/3023.97 c rational objective 3
3051.87/3084.78 c #Conflicts: 1938000 | #Constraints: 36201
3051.87/3084.78 c #Conflicts: 1939000 | #Constraints: 37202
3051.87/3084.78 c #Conflicts: 1940000 | #Constraints: 38202
3051.87/3084.78 c #Conflicts: 1941000 | #Constraints: 39202
3051.87/3084.78 c #Conflicts: 1942000 | #Constraints: 40203
3051.87/3084.78 c #Conflicts: 1943000 | #Constraints: 41203
3051.87/3084.78 c #Conflicts: 1944000 | #Constraints: 42203
3051.87/3084.78 c #Conflicts: 1945000 | #Constraints: 43203
3051.87/3084.78 c #Conflicts: 1946000 | #Constraints: 44203
3051.87/3084.78 c #Conflicts: 1947000 | #Constraints: 45204
3051.87/3084.78 c #Conflicts: 1948000 | #Constraints: 46204
3051.87/3084.78 c #Conflicts: 1949000 | #Constraints: 47204
3051.87/3084.78 c #Conflicts: 1950000 | #Constraints: 48204
3051.87/3084.78 c #Conflicts: 1951000 | #Constraints: 49204
3051.87/3084.78 c #Conflicts: 1952000 | #Constraints: 50204
3051.87/3084.78 c #Conflicts: 1953000 | #Constraints: 51204
3051.87/3084.78 c #Conflicts: 1954000 | #Constraints: 52204
3051.87/3084.78 c #Conflicts: 1955000 | #Constraints: 53204
3051.87/3084.78 c #Conflicts: 1956000 | #Constraints: 54204
3051.87/3084.78 c #Conflicts: 1957000 | #Constraints: 55205
3051.87/3084.78 c #Conflicts: 1958000 | #Constraints: 56208
3051.87/3084.78 c #Conflicts: 1959000 | #Constraints: 57208
3051.87/3084.78 c #Conflicts: 1960000 | #Constraints: 58209
3051.87/3084.78 c #Conflicts: 1961000 | #Constraints: 59211
3051.87/3084.78 c #Conflicts: 1962000 | #Constraints: 60211
3051.87/3084.78 c #Conflicts: 1963000 | #Constraints: 61211
3051.87/3084.78 c #Conflicts: 1964000 | #Constraints: 62211
3051.87/3084.78 c #Conflicts: 1965000 | #Constraints: 63211
3051.87/3084.78 c INPROCESSING
3051.87/3084.78 c GARBAGE COLLECT
3051.87/3084.78 c rational objective 3
3122.67/3155.99 c #Conflicts: 1966000 | #Constraints: 36418
3122.67/3155.99 c #Conflicts: 1967000 | #Constraints: 37419
3122.67/3155.99 c #Conflicts: 1968000 | #Constraints: 38421
3122.67/3155.99 c #Conflicts: 1969000 | #Constraints: 39422
3122.67/3155.99 c #Conflicts: 1970000 | #Constraints: 40426
3122.67/3155.99 c #Conflicts: 1971000 | #Constraints: 41427
3122.67/3155.99 c #Conflicts: 1972000 | #Constraints: 42429
3122.67/3155.99 c #Conflicts: 1973000 | #Constraints: 43431
3122.67/3155.99 c #Conflicts: 1974000 | #Constraints: 44432
3122.67/3155.99 c #Conflicts: 1975000 | #Constraints: 45433
3122.67/3155.99 c #Conflicts: 1976000 | #Constraints: 46435
3122.67/3155.99 c #Conflicts: 1977000 | #Constraints: 47436
3122.67/3155.99 c #Conflicts: 1978000 | #Constraints: 48437
3122.67/3155.99 c #Conflicts: 1979000 | #Constraints: 49437
3122.67/3155.99 c #Conflicts: 1980000 | #Constraints: 50437
3122.67/3155.99 c #Conflicts: 1981000 | #Constraints: 51438
3122.67/3155.99 c #Conflicts: 1982000 | #Constraints: 52439
3122.67/3155.99 c #Conflicts: 1983000 | #Constraints: 53439
3122.67/3155.99 c #Conflicts: 1984000 | #Constraints: 54440
3122.67/3155.99 c #Conflicts: 1985000 | #Constraints: 55440
3122.67/3155.99 c #Conflicts: 1986000 | #Constraints: 56442
3122.67/3155.99 c #Conflicts: 1987000 | #Constraints: 57444
3122.67/3155.99 c #Conflicts: 1988000 | #Constraints: 58444
3122.67/3155.99 c #Conflicts: 1989000 | #Constraints: 59446
3122.67/3155.99 c #Conflicts: 1990000 | #Constraints: 60446
3122.67/3155.99 c #Conflicts: 1991000 | #Constraints: 61446
3122.67/3155.99 c #Conflicts: 1992000 | #Constraints: 62446
3122.67/3155.99 c #Conflicts: 1993000 | #Constraints: 63446
3122.67/3155.99 c INPROCESSING
3122.67/3155.99 c GARBAGE COLLECT
3122.67/3155.99 c rational objective 3
3186.28/3220.09 c #Conflicts: 1994000 | #Constraints: 36458
3186.28/3220.09 c #Conflicts: 1995000 | #Constraints: 37459
3186.28/3220.09 c #Conflicts: 1996000 | #Constraints: 38462
3186.28/3220.09 c #Conflicts: 1997000 | #Constraints: 39463
3186.28/3220.09 c #Conflicts: 1998000 | #Constraints: 40464
3186.28/3220.09 c #Conflicts: 1999000 | #Constraints: 41464
3186.28/3220.09 c #Conflicts: 2000000 | #Constraints: 42465
3186.28/3220.09 c #Conflicts: 2001000 | #Constraints: 43470
3186.28/3220.09 c #Conflicts: 2002000 | #Constraints: 44472
3186.28/3220.09 c #Conflicts: 2003000 | #Constraints: 45474
3186.28/3220.09 c #Conflicts: 2004000 | #Constraints: 46476
3186.28/3220.09 c #Conflicts: 2005000 | #Constraints: 47479
3186.28/3220.09 c #Conflicts: 2006000 | #Constraints: 48481
3186.28/3220.09 c #Conflicts: 2007000 | #Constraints: 49484
3186.28/3220.09 c #Conflicts: 2008000 | #Constraints: 50486
3186.28/3220.09 c #Conflicts: 2009000 | #Constraints: 51486
3186.28/3220.09 c #Conflicts: 2010000 | #Constraints: 52488
3186.28/3220.09 c #Conflicts: 2011000 | #Constraints: 53488
3186.28/3220.09 c #Conflicts: 2012000 | #Constraints: 54491
3186.28/3220.09 c #Conflicts: 2013000 | #Constraints: 55492
3186.28/3220.09 c #Conflicts: 2014000 | #Constraints: 56492
3186.28/3220.09 c #Conflicts: 2015000 | #Constraints: 57492
3186.28/3220.09 c #Conflicts: 2016000 | #Constraints: 58492
3186.28/3220.09 c #Conflicts: 2017000 | #Constraints: 59492
3186.28/3220.09 c #Conflicts: 2018000 | #Constraints: 60494
3186.28/3220.09 c #Conflicts: 2019000 | #Constraints: 61494
3186.28/3220.09 c #Conflicts: 2020000 | #Constraints: 62494
3186.28/3220.09 c #Conflicts: 2021000 | #Constraints: 63494
3186.28/3220.09 c INPROCESSING
3186.28/3220.09 c GARBAGE COLLECT
3186.28/3220.09 c rational objective 3
3240.06/3274.23 c #Conflicts: 2022000 | #Constraints: 36162
3240.06/3274.23 c #Conflicts: 2023000 | #Constraints: 37162
3240.06/3274.23 c #Conflicts: 2024000 | #Constraints: 38164
3240.06/3274.23 c #Conflicts: 2025000 | #Constraints: 39165
3240.06/3274.23 c #Conflicts: 2026000 | #Constraints: 40166
3240.06/3274.23 c #Conflicts: 2027000 | #Constraints: 41166
3240.06/3274.23 c #Conflicts: 2028000 | #Constraints: 42167
3240.06/3274.23 c #Conflicts: 2029000 | #Constraints: 43167
3240.06/3274.23 c #Conflicts: 2030000 | #Constraints: 44169
3240.06/3274.23 c #Conflicts: 2031000 | #Constraints: 45170
3240.06/3274.23 c #Conflicts: 2032000 | #Constraints: 46173
3240.06/3274.23 c #Conflicts: 2033000 | #Constraints: 47174
3240.06/3274.23 c #Conflicts: 2034000 | #Constraints: 48175
3240.06/3274.23 c #Conflicts: 2035000 | #Constraints: 49176
3240.06/3274.23 c #Conflicts: 2036000 | #Constraints: 50176
3240.06/3274.23 c #Conflicts: 2037000 | #Constraints: 51179
3240.06/3274.23 c #Conflicts: 2038000 | #Constraints: 52182
3240.06/3274.23 c #Conflicts: 2039000 | #Constraints: 53186
3240.06/3274.23 c #Conflicts: 2040000 | #Constraints: 54187
3240.06/3274.23 c #Conflicts: 2041000 | #Constraints: 55188
3240.06/3274.23 c #Conflicts: 2042000 | #Constraints: 56189
3240.06/3274.23 c #Conflicts: 2043000 | #Constraints: 57189
3240.06/3274.23 c #Conflicts: 2044000 | #Constraints: 58189
3240.06/3274.23 c #Conflicts: 2045000 | #Constraints: 59190
3240.06/3274.23 c #Conflicts: 2046000 | #Constraints: 60190
3240.06/3274.23 c #Conflicts: 2047000 | #Constraints: 61190
3240.06/3274.23 c #Conflicts: 2048000 | #Constraints: 62191
3240.06/3274.23 c #Conflicts: 2049000 | #Constraints: 63192
3240.06/3274.23 c #Conflicts: 2050000 | #Constraints: 64194
3240.06/3274.23 c INPROCESSING
3240.06/3274.23 c GARBAGE COLLECT
3240.06/3274.23 c rational objective 3
3302.89/3337.40 c #Conflicts: 2051000 | #Constraints: 36723
3302.89/3337.40 c #Conflicts: 2052000 | #Constraints: 37724
3302.89/3337.40 c #Conflicts: 2053000 | #Constraints: 38724
3302.89/3337.40 c #Conflicts: 2054000 | #Constraints: 39726
3302.89/3337.40 c #Conflicts: 2055000 | #Constraints: 40728
3302.89/3337.40 c #Conflicts: 2056000 | #Constraints: 41733
3302.89/3337.40 c #Conflicts: 2057000 | #Constraints: 42734
3302.89/3337.40 c #Conflicts: 2058000 | #Constraints: 43735
3302.89/3337.40 c #Conflicts: 2059000 | #Constraints: 44738
3302.89/3337.40 c #Conflicts: 2060000 | #Constraints: 45741
3302.89/3337.40 c #Conflicts: 2061000 | #Constraints: 46741
3302.89/3337.40 c #Conflicts: 2062000 | #Constraints: 47743
3302.89/3337.40 c #Conflicts: 2063000 | #Constraints: 48745
3302.89/3337.40 c #Conflicts: 2064000 | #Constraints: 49746
3302.89/3337.40 c #Conflicts: 2065000 | #Constraints: 50749
3302.89/3337.40 c #Conflicts: 2066000 | #Constraints: 51750
3302.89/3337.40 c #Conflicts: 2067000 | #Constraints: 52750
3302.89/3337.40 c #Conflicts: 2068000 | #Constraints: 53751
3302.89/3337.40 c #Conflicts: 2069000 | #Constraints: 54753
3302.89/3337.40 c #Conflicts: 2070000 | #Constraints: 55754
3302.89/3337.40 c #Conflicts: 2071000 | #Constraints: 56755
3302.89/3337.40 c #Conflicts: 2072000 | #Constraints: 57755
3302.89/3337.40 c #Conflicts: 2073000 | #Constraints: 58756
3302.89/3337.40 c #Conflicts: 2074000 | #Constraints: 59758
3302.89/3337.40 c #Conflicts: 2075000 | #Constraints: 60758
3302.89/3337.40 c #Conflicts: 2076000 | #Constraints: 61759
3302.89/3337.40 c #Conflicts: 2077000 | #Constraints: 62759
3302.89/3337.40 c #Conflicts: 2078000 | #Constraints: 63759
3302.89/3337.40 c #Conflicts: 2079000 | #Constraints: 64760
3302.89/3337.40 c INPROCESSING
3302.89/3337.40 c GARBAGE COLLECT
3302.89/3337.40 c rational objective 3
3369.17/3404.29 c #Conflicts: 2080000 | #Constraints: 37154
3369.17/3404.29 c #Conflicts: 2081000 | #Constraints: 38154
3369.17/3404.29 c #Conflicts: 2082000 | #Constraints: 39154
3369.17/3404.29 c #Conflicts: 2083000 | #Constraints: 40157
3369.17/3404.29 c #Conflicts: 2084000 | #Constraints: 41159
3369.17/3404.29 c #Conflicts: 2085000 | #Constraints: 42161
3369.17/3404.29 c #Conflicts: 2086000 | #Constraints: 43162
3369.17/3404.29 c #Conflicts: 2087000 | #Constraints: 44164
3369.17/3404.29 c #Conflicts: 2088000 | #Constraints: 45166
3369.17/3404.29 c #Conflicts: 2089000 | #Constraints: 46168
3369.17/3404.29 c #Conflicts: 2090000 | #Constraints: 47171
3369.17/3404.29 c #Conflicts: 2091000 | #Constraints: 48175
3369.17/3404.29 c #Conflicts: 2092000 | #Constraints: 49178
3369.17/3404.29 c #Conflicts: 2093000 | #Constraints: 50178
3369.17/3404.29 c #Conflicts: 2094000 | #Constraints: 51179
3369.17/3404.29 c #Conflicts: 2095000 | #Constraints: 52180
3369.17/3404.29 c #Conflicts: 2096000 | #Constraints: 53181
3369.17/3404.29 c #Conflicts: 2097000 | #Constraints: 54182
3369.17/3404.29 c #Conflicts: 2098000 | #Constraints: 55183
3369.17/3404.29 c #Conflicts: 2099000 | #Constraints: 56184
3369.17/3404.29 c #Conflicts: 2100000 | #Constraints: 57184
3369.17/3404.29 c #Conflicts: 2101000 | #Constraints: 58185
3369.17/3404.29 c #Conflicts: 2102000 | #Constraints: 59185
3369.17/3404.29 c #Conflicts: 2103000 | #Constraints: 60186
3369.17/3404.29 c #Conflicts: 2104000 | #Constraints: 61186
3369.17/3404.29 c #Conflicts: 2105000 | #Constraints: 62187
3369.17/3404.29 c #Conflicts: 2106000 | #Constraints: 63188
3369.17/3404.29 c #Conflicts: 2107000 | #Constraints: 64189
3369.17/3404.29 c #Conflicts: 2108000 | #Constraints: 65190
3369.17/3404.29 c INPROCESSING
3369.17/3404.29 c GARBAGE COLLECT
3369.17/3404.29 c rational objective 3
3422.87/3458.27 c #Conflicts: 2109000 | #Constraints: 37338
3422.87/3458.27 c #Conflicts: 2110000 | #Constraints: 38338
3422.87/3458.27 c #Conflicts: 2111000 | #Constraints: 39338
3422.87/3458.27 c #Conflicts: 2112000 | #Constraints: 40338
3422.87/3458.27 c #Conflicts: 2113000 | #Constraints: 41339
3422.87/3458.27 c #Conflicts: 2114000 | #Constraints: 42340
3422.87/3458.27 c #Conflicts: 2115000 | #Constraints: 43341
3422.87/3458.27 c #Conflicts: 2116000 | #Constraints: 44342
3422.87/3458.27 c #Conflicts: 2117000 | #Constraints: 45342
3422.87/3458.27 c #Conflicts: 2118000 | #Constraints: 46342
3422.87/3458.27 c #Conflicts: 2119000 | #Constraints: 47343
3422.87/3458.27 c #Conflicts: 2120000 | #Constraints: 48343
3422.87/3458.27 c #Conflicts: 2121000 | #Constraints: 49344
3422.87/3458.27 c #Conflicts: 2122000 | #Constraints: 50344
3422.87/3458.27 c #Conflicts: 2123000 | #Constraints: 51345
3422.87/3458.27 c #Conflicts: 2124000 | #Constraints: 52347
3422.87/3458.27 c #Conflicts: 2125000 | #Constraints: 53349
3422.87/3458.27 c #Conflicts: 2126000 | #Constraints: 54351
3422.87/3458.27 c #Conflicts: 2127000 | #Constraints: 55353
3422.87/3458.27 c #Conflicts: 2128000 | #Constraints: 56354
3422.87/3458.28 c #Conflicts: 2129000 | #Constraints: 57354
3422.87/3458.28 c #Conflicts: 2130000 | #Constraints: 58355
3422.87/3458.28 c #Conflicts: 2131000 | #Constraints: 59356
3422.87/3458.28 c #Conflicts: 2132000 | #Constraints: 60357
3422.87/3458.28 c #Conflicts: 2133000 | #Constraints: 61358
3422.87/3458.28 c #Conflicts: 2134000 | #Constraints: 62358
3422.87/3458.28 c #Conflicts: 2135000 | #Constraints: 63358
3422.87/3458.28 c #Conflicts: 2136000 | #Constraints: 64358
3422.87/3458.28 c #Conflicts: 2137000 | #Constraints: 65359
3422.87/3458.28 c INPROCESSING
3422.87/3458.28 c GARBAGE COLLECT
3422.87/3458.28 c rational objective 3
3496.14/3531.88 c #Conflicts: 2138000 | #Constraints: 37335
3496.14/3531.88 c #Conflicts: 2139000 | #Constraints: 38337
3496.14/3531.88 c #Conflicts: 2140000 | #Constraints: 39340
3496.14/3531.88 c #Conflicts: 2141000 | #Constraints: 40342
3496.14/3531.88 c #Conflicts: 2142000 | #Constraints: 41346
3496.14/3531.88 c #Conflicts: 2143000 | #Constraints: 42348
3496.14/3531.88 c #Conflicts: 2144000 | #Constraints: 43351
3496.14/3531.88 c #Conflicts: 2145000 | #Constraints: 44354
3496.14/3531.88 c #Conflicts: 2146000 | #Constraints: 45356
3496.14/3531.88 c #Conflicts: 2147000 | #Constraints: 46358
3496.14/3531.88 c #Conflicts: 2148000 | #Constraints: 47359
3496.14/3531.88 c #Conflicts: 2149000 | #Constraints: 48359
3496.14/3531.88 c #Conflicts: 2150000 | #Constraints: 49359
3496.14/3531.88 c #Conflicts: 2151000 | #Constraints: 50359
3496.14/3531.88 c #Conflicts: 2152000 | #Constraints: 51359
3496.14/3531.88 c #Conflicts: 2153000 | #Constraints: 52361
3496.14/3531.88 c #Conflicts: 2154000 | #Constraints: 53362
3496.14/3531.88 c #Conflicts: 2155000 | #Constraints: 54363
3496.14/3531.88 c #Conflicts: 2156000 | #Constraints: 55364
3496.14/3531.88 c #Conflicts: 2157000 | #Constraints: 56365
3496.14/3531.88 c #Conflicts: 2158000 | #Constraints: 57366
3496.14/3531.88 c #Conflicts: 2159000 | #Constraints: 58367
3496.14/3531.88 c #Conflicts: 2160000 | #Constraints: 59367
3496.14/3531.88 c #Conflicts: 2161000 | #Constraints: 60367
3496.14/3531.88 c #Conflicts: 2162000 | #Constraints: 61367
3496.14/3531.88 c #Conflicts: 2163000 | #Constraints: 62367
3496.14/3531.88 c #Conflicts: 2164000 | #Constraints: 63368
3496.14/3531.88 c #Conflicts: 2165000 | #Constraints: 64369
3496.14/3531.88 c #Conflicts: 2166000 | #Constraints: 65369
3496.14/3531.88 c INPROCESSING
3496.14/3531.88 c GARBAGE COLLECT
3496.14/3531.88 c rational objective 3
3567.11/3603.16 c #Conflicts: 2167000 | #Constraints: 37125
3567.11/3603.16 c #Conflicts: 2168000 | #Constraints: 38125
3567.11/3603.16 c #Conflicts: 2169000 | #Constraints: 39125
3567.11/3603.16 c #Conflicts: 2170000 | #Constraints: 40126
3567.11/3603.16 c #Conflicts: 2171000 | #Constraints: 41126
3567.11/3603.16 c #Conflicts: 2172000 | #Constraints: 42126
3567.11/3603.16 c #Conflicts: 2173000 | #Constraints: 43128
3567.11/3603.16 c #Conflicts: 2174000 | #Constraints: 44130
3567.11/3603.16 c #Conflicts: 2175000 | #Constraints: 45132
3567.11/3603.16 c #Conflicts: 2176000 | #Constraints: 46134
3567.11/3603.16 c #Conflicts: 2177000 | #Constraints: 47134
3567.11/3603.16 c #Conflicts: 2178000 | #Constraints: 48134
3567.11/3603.16 c #Conflicts: 2179000 | #Constraints: 49134
3567.11/3603.16 c #Conflicts: 2180000 | #Constraints: 50136
3567.11/3603.16 c #Conflicts: 2181000 | #Constraints: 51138
3567.11/3603.16 c #Conflicts: 2182000 | #Constraints: 52138
3567.11/3603.16 c #Conflicts: 2183000 | #Constraints: 53138
3567.11/3603.16 c #Conflicts: 2184000 | #Constraints: 54138
3567.11/3603.16 c #Conflicts: 2185000 | #Constraints: 55138
3567.11/3603.16 c #Conflicts: 2186000 | #Constraints: 56140
3567.11/3603.17 c #Conflicts: 2187000 | #Constraints: 57141
3567.11/3603.17 c #Conflicts: 2188000 | #Constraints: 58142
3567.11/3603.17 c #Conflicts: 2189000 | #Constraints: 59142
3567.11/3603.17 c #Conflicts: 2190000 | #Constraints: 60142
3567.11/3603.17 c #Conflicts: 2191000 | #Constraints: 61143
3567.11/3603.17 c #Conflicts: 2192000 | #Constraints: 62144
3567.11/3603.17 c #Conflicts: 2193000 | #Constraints: 63144
3567.11/3603.17 c #Conflicts: 2194000 | #Constraints: 64145
3567.11/3603.17 c #Conflicts: 2195000 | #Constraints: 65145
3567.11/3603.17 c #Conflicts: 2196000 | #Constraints: 66146
3567.11/3603.17 c INPROCESSING
3567.11/3603.17 c GARBAGE COLLECT
3567.11/3603.17 c rational objective 3
3600.04/3636.20 c #Conflicts: 2197000 | #Constraints: 37716
3600.04/3636.20 c #Conflicts: 2198000 | #Constraints: 38719
3600.04/3636.20 c #Conflicts: 2199000 | #Constraints: 39721
3600.04/3636.20 c #Conflicts: 2200000 | #Constraints: 40721
3600.04/3636.20 c #Conflicts: 2201000 | #Constraints: 41722
3600.04/3636.20 c #Conflicts: 2202000 | #Constraints: 42722
3600.04/3636.20 c #Conflicts: 2203000 | #Constraints: 43722
3600.04/3636.20 c #Conflicts: 2204000 | #Constraints: 44723
3600.04/3636.20 c #Conflicts: 2205000 | #Constraints: 45724
3600.04/3636.20 c #Conflicts: 2206000 | #Constraints: 46731
3600.04/3636.20 c #Conflicts: 2207000 | #Constraints: 47732
3600.04/3636.20 c #Conflicts: 2208000 | #Constraints: 48734
3600.04/3636.20 c #Conflicts: 2209000 | #Constraints: 49735
3600.04/3636.20 c #Conflicts: 2210000 | #Constraints: 50738
3600.04/3636.20 c #Conflicts: 2211000 | #Constraints: 51741
3600.04/3636.20 c #Conflicts: 2212000 | #Constraints: 52744
3600.04/3636.20 c #Conflicts: 2213000 | #Constraints: 53745
3600.04/3636.20 c #Conflicts: 2214000 | #Constraints: 54745
3600.04/3636.20 c cpu time 3571.91 s
3600.04/3636.20 c deterministic time 260454962547 2.60e+11
3600.04/3636.20 c optimization time 32.34 s
3600.04/3636.20 c total solve time 3539.47 s
3600.04/3636.20 c core-guided solve time 1776.52 s
3600.04/3636.20 c propagation time 2358.3 s
3600.04/3636.20 c conflict analysis time 1112.25 s
3600.04/3636.20 c propagations 575208109
3600.04/3636.20 c resolve steps 43607275
3600.04/3636.20 c decisions 3289039
3600.04/3636.20 c conflicts 2214524
3600.04/3636.20 c restarts 4093
3600.04/3636.20 c inprocessing phases 139
3600.04/3636.20 c garbage collections 139 ,( 100.00 )
3600.04/3636.20 c input clauses 10815 ,( 97.98 )
3600.04/3636.20 c input cardinalities 31 ,( 0.28 )
3600.04/3636.20 c input general constraints 192 ,( 1.74 )
3600.04/3636.20 c input average constraint length 3.40
3600.04/3636.20 c input average constraint degree 6.20
3600.04/3636.20 c learned clauses 873289 ,( 39.40 )
3600.04/3636.20 c learned cardinalities 4899 ,( 0.22 )
3600.04/3636.20 c learned general constraints 1338319 ,( 60.38 )
3600.04/3636.20 c learned average constraint length 114.38
3600.04/3636.20 c learned average constraint degree 476515646.62
3600.04/3636.20 c watched CF 32, 64, 128, Arb: 364918 , 0 , 0 , 0
3600.04/3636.20 c counting CF 32, 64, 128, Arb: 973594 , 0 , 0 , 0
3600.04/3636.20 c watched constraints 364918 ,( 27.26 )
3600.04/3636.20 c counting constraints 973593 ,( 72.74 )
3600.04/3636.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 702727394 , 83888411 , 8320540647 ,( 256309642 , 8064231005 )
3600.04/3636.20 c gcd simplifications 319097
3600.04/3636.20 c detected cardinalities 283
3600.04/3636.20 c weakened non-implied lits 138652155
3600.04/3636.20 c weakened non-implying lits 1027635
3600.04/3636.20 c original variables 3964
3600.04/3636.20 c clausal propagations 326629261
3600.04/3636.20 c cardinality propagations 10316236
3600.04/3636.20 c watched propagations 1900425
3600.04/3636.20 c counting propagations 233475216
3600.04/3636.20 c watch lookups 217866759070
3600.04/3636.20 c watch backjump lookups 0
3600.04/3636.20 c watch checks 7380090957
3600.04/3636.20 c propagation checks 32408663635
3600.04/3636.20 c constraint additions 1637988732
3600.04/3636.20 c trail pops 580708101
3600.04/3636.20 c formula constraints 11038
3600.04/3636.20 c learned constraints 2212848
3600.04/3636.20 c bound constraints 0
3600.04/3636.20 c core-guided constraints 0
3600.04/3636.20 c encountered formula constraints 27826423
3600.04/3636.20 c encountered learned constraints 16544533
3600.04/3636.20 c encountered bound constraints 0
3600.04/3636.20 c encountered core-guided constraints 0
3600.04/3636.20 c LP total time 391.233 s
3600.04/3636.20 c LP solve time 348.96 s
3600.04/3636.20 c LP constraints added 12399
3600.04/3636.20 c LP constraints removed 1351
3600.04/3636.20 c LP pivots internal 2214686
3600.04/3636.20 c LP pivots root 40217
3600.04/3636.20 c LP calls 6964
3600.04/3636.20 c LP optimalities 5182
3600.04/3636.20 c LP no pivot count 189
3600.04/3636.20 c LP infeasibilities 1778
3600.04/3636.20 c LP valid Farkas constraints 1772
3600.04/3636.20 c LP learned Farkas constraints 1675
3600.04/3636.20 c LP basis resets 6
3600.04/3636.20 c LP cycling count 0
3600.04/3636.20 c LP singular count 0
3600.04/3636.20 c LP no primal count 0
3600.04/3636.20 c LP no farkas count 6
3600.04/3636.20 c LP other issue count 0
3600.04/3636.20 c LP Gomory cuts 212
3600.04/3636.20 c LP learned cuts 1149
3600.04/3636.20 c LP deleted cuts 1351
3600.04/3636.20 c LP encountered Gomory constraints 97538
3600.04/3636.20 c LP encountered Farkas constraints 1299376
3600.04/3636.20 c LP encountered learned Farkas constraints 52254
3600.04/3636.20 c CG auxiliary variables introduced 0
3600.04/3636.20 c CG solutions found 0
3600.04/3636.20 c CG cores constructed 0
3600.04/3636.20 c CG core cardinality constraints returned 0
3600.04/3636.20 c CG unit cores 0
3600.04/3636.20 c CG single cores 0
3600.04/3636.20 c CG blocks removed during cardinality reduction 0
3600.04/3636.20 c CG first core best 0
3600.04/3636.20 c CG decision core best 0
3600.04/3636.20 c CG core reduction tie 0
3600.04/3636.20 c CG core degree average 0.00
3600.04/3636.20 c CG core slack average 0.00
3600.04/3636.20 c CG core upper bound improvements 0
3600.04/3636.20 c STR number of successful calls 0
3600.04/3636.20 c STR number of unsuccessful calls 0
3600.04/3636.20 c STR number of inconclusive calls 0
3600.04/3636.20 c STR number of successful attempts 0
3600.04/3636.20 c STR number of unsuccessful attempts 0
3600.04/3636.20 c STR number of inconclusive attempts 0
3600.04/3636.20 c STR average degree increase per successful call inf
3600.04/3636.20 c STR average degree increase per successful attempt inf
3600.04/3636.20 c STR total number of conflicts for successful attempts 0
3600.04/3636.20 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3636.20 c STR total number of conflicts for inconclusive attempts 0
3600.04/3636.20 c STR average number of conflicts per successful attempt inf
3600.04/3636.20 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3636.20 c STR average number of conflicts per inconclusive attempt inf
3600.04/3636.20 c AVG.sumWPerc 60.56
3600.04/3636.20 c bigint constraints 0
3600.04/3636.20 s UNKNOWN
3600.04/3636.20 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: 63794 MiB (47985 MiB free)
memory of node 1: 64507 MiB (60537 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499355-1751407031/watcher-4499355-1751407031 -o /tmp/evaluation-result-4499355-1751407031/solver-4499355-1751407031 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54956 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4499355-1751407031.opb PROOFDIR/proof-4499355-1751407031
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56603, runsolver pid=56600
[startup+0.100064 s]*
/proc/loadavg: 4.19 4.15 4.18 4/265 56605
/proc/meminfo: memFree=111118184/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) R 56600 56603 54941 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+0.208614 s]*
/proc/loadavg: 4.19 4.15 4.18 5/265 56606
/proc/meminfo: memFree=111112388/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=63060 memory=18576 CPUtime=0.08 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 2724 0 0 0 7 1 0 0 20 0 1 0 56381970 64573440 4644 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 15765 4644 2208 1147 0 3192 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 67252 KiB
Current children cumulated memory: 21648 KiB
[startup+0.308473 s]*
/proc/loadavg: 4.19 4.15 4.18 5/265 56606
/proc/meminfo: memFree=111096432/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=73868 memory=27568 CPUtime=0.18 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 4923 0 0 0 15 3 0 0 20 0 1 0 56381970 75640832 6892 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 18467 6892 2304 1147 0 5894 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 78060 KiB
Current children cumulated memory: 30640 KiB
[startup+0.700323 s]
/proc/loadavg: 4.19 4.15 4.18 5/265 56606
/proc/meminfo: memFree=111092400/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=74228 memory=28208 CPUtime=0.57 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 5054 0 0 0 52 5 0 0 20 0 1 0 56381970 76009472 7052 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 18557 7052 2336 1147 0 5984 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 78420 KiB
Current children cumulated memory: 31280 KiB
[startup+1.50041 s]
/proc/loadavg: 4.19 4.15 4.18 5/265 56606
/proc/meminfo: memFree=111084336/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=76608 memory=30768 CPUtime=1.36 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 5657 0 0 0 129 7 0 0 20 0 1 0 56381970 78446592 7692 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 19152 7692 2368 1147 0 6579 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 80800 KiB
Current children cumulated memory: 33840 KiB
[startup+3.11419 s]
/proc/loadavg: 4.19 4.15 4.18 5/265 56606
/proc/meminfo: memFree=111052308/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=80980 memory=34864 CPUtime=2.97 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 6695 0 0 0 286 11 0 0 20 0 1 0 56381970 82923520 8716 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 20245 8716 2368 1147 0 7672 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 85172 KiB
Current children cumulated memory: 37936 KiB
[startup+6.30035 s]
/proc/loadavg: 4.17 4.15 4.18 5/265 56606
/proc/meminfo: memFree=110988212/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=84732 memory=40580 CPUtime=6.15 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 7628 0 0 0 597 18 0 0 20 0 1 0 56381970 86765568 10145 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 21183 10145 2368 1147 0 8610 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 88924 KiB
Current children cumulated memory: 43652 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.15 4.17 5/265 56606
/proc/meminfo: memFree=110871700/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=87792 memory=43780 CPUtime=12.53 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 8450 0 0 0 1225 28 0 0 20 0 1 0 56381970 89899008 10945 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 21948 10945 2368 1147 0 9375 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 91984 KiB
Current children cumulated memory: 46852 KiB
[startup+25.5004 s]
/proc/loadavg: 4.20 4.16 4.18 5/265 56606
/proc/meminfo: memFree=110632524/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=91508 memory=47492 CPUtime=25.29 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 9383 0 0 0 2482 47 0 0 20 0 1 0 56381970 93704192 11873 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 22877 11873 2368 1147 0 10304 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 95700 KiB
Current children cumulated memory: 50564 KiB
[startup+51.1143 s]
/proc/loadavg: 4.20 4.16 4.18 5/265 56607
/proc/meminfo: memFree=110053664/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=98772 memory=52356 CPUtime=50.82 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 10658 0 0 0 4995 87 0 0 20 0 1 0 56381970 101142528 13089 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 24693 13089 2368 1147 0 12120 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 102964 KiB
Current children cumulated memory: 55428 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.17 4/265 56608
/proc/meminfo: memFree=109097400/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=108068 memory=59396 CPUtime=101.22 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 12404 0 0 0 9962 160 0 0 20 0 1 0 56381970 110661632 14849 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 27017 14849 2368 1147 0 14444 0
Current children cumulated CPU time: 101.29 s
Current children cumulated vsize: 112260 KiB
Current children cumulated memory: 62468 KiB
[startup+162.3 s]
/proc/loadavg: 4.35 4.19 4.18 5/259 56610
/proc/meminfo: memFree=107859316/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=115848 memory=70476 CPUtime=160.6 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 14687 0 0 0 15826 234 0 0 20 0 1 0 56381970 118628352 17619 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 28962 17619 2368 1147 0 16389 0
Current children cumulated CPU time: 160.67 s
Current children cumulated vsize: 120040 KiB
Current children cumulated memory: 73548 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/262 56625
/proc/meminfo: memFree=106869988/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=118784 memory=73420 CPUtime=219.95 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 15432 0 0 0 21687 308 0 0 20 0 1 0 56381970 121634816 18355 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 29696 18355 2368 1147 0 17123 0
Current children cumulated CPU time: 220.02 s
Current children cumulated vsize: 122976 KiB
Current children cumulated memory: 76492 KiB
################
# More data... #
################
/proc/56606/statm: 53762 38399 2464 1147 0 41189 0
Current children cumulated CPU time: 3009.7 s
Current children cumulated vsize: 219240 KiB
Current children cumulated memory: 156668 KiB
[startup+3102.3 s]
/proc/loadavg: 2.10 2.28 2.77 3/246 56902
/proc/meminfo: memFree=103737688/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=215048 memory=153596 CPUtime=3069.3 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 30992 0 0 0 304450 2480 0 0 20 0 1 0 56381970 220209152 38399 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 53762 38399 2464 1147 0 41189 0
Current children cumulated CPU time: 3069.37 s
Current children cumulated vsize: 219240 KiB
Current children cumulated memory: 156668 KiB
[startup+3162.3 s]
/proc/loadavg: 2.12 2.24 2.73 3/245 56904
/proc/meminfo: memFree=103437416/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=217072 memory=157232 CPUtime=3128.98 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 31411 0 0 0 310380 2518 0 0 20 0 1 0 56381970 222281728 39308 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 54268 39308 2464 1147 0 41695 0
Current children cumulated CPU time: 3129.05 s
Current children cumulated vsize: 221264 KiB
Current children cumulated memory: 160304 KiB
[startup+3222.3 s]
/proc/loadavg: 2.00 2.19 2.68 2/236 56938
/proc/meminfo: memFree=121385704/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=217072 memory=157232 CPUtime=3188.49 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 31413 0 0 0 316290 2559 0 0 20 0 1 0 56381970 222281728 39308 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 54268 39308 2464 1147 0 41695 0
Current children cumulated CPU time: 3188.56 s
Current children cumulated vsize: 221264 KiB
Current children cumulated memory: 160304 KiB
[startup+3282.3 s]
/proc/loadavg: 1.41 1.99 2.58 2/237 56941
/proc/meminfo: memFree=121240336/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=217072 memory=157232 CPUtime=3248.01 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 31417 0 0 0 322201 2600 0 0 20 0 1 0 56381970 222281728 39308 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 54268 39308 2464 1147 0 41695 0
Current children cumulated CPU time: 3248.08 s
Current children cumulated vsize: 221264 KiB
Current children cumulated memory: 160304 KiB
[startup+3342.3 s]
/proc/loadavg: 1.19 1.82 2.48 2/237 56943
/proc/meminfo: memFree=121088072/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=218236 memory=160744 CPUtime=3307.7 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 31671 0 0 0 328133 2637 0 0 20 0 1 0 56381970 223473664 40186 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 54559 40186 2464 1147 0 41986 0
Current children cumulated CPU time: 3307.77 s
Current children cumulated vsize: 222428 KiB
Current children cumulated memory: 163816 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.68 2.39 2/238 56948
/proc/meminfo: memFree=120953372/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=218236 memory=160744 CPUtime=3367.21 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 31671 0 0 0 334053 2668 0 0 20 0 1 0 56381970 223473664 40186 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 54559 40186 2464 1147 0 41986 0
Current children cumulated CPU time: 3367.28 s
Current children cumulated vsize: 222428 KiB
Current children cumulated memory: 163816 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 1.57 2.31 2/238 56952
/proc/meminfo: memFree=120796704/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=219796 memory=162280 CPUtime=3426.89 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 32053 0 0 0 339986 2703 0 0 20 0 1 0 56381970 225071104 40570 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 54949 40570 2464 1147 0 42376 0
Current children cumulated CPU time: 3426.96 s
Current children cumulated vsize: 223988 KiB
Current children cumulated memory: 165352 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.50 2.23 2/238 56954
/proc/meminfo: memFree=120704708/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=219796 memory=162408 CPUtime=3486.6 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 32054 0 0 0 345920 2740 0 0 20 0 1 0 56381970 225071104 40602 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 54949 40602 2464 1147 0 42376 0
Current children cumulated CPU time: 3486.67 s
Current children cumulated vsize: 223988 KiB
Current children cumulated memory: 165480 KiB
[startup+3582.3 s]
/proc/loadavg: 1.05 1.40 2.15 2/237 56956
/proc/meminfo: memFree=120574492/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=220312 memory=163048 CPUtime=3546.3 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 32225 0 0 0 351856 2774 0 0 20 0 1 0 56381970 225599488 40762 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 55078 40762 2464 1147 0 42505 0
Current children cumulated CPU time: 3546.37 s
Current children cumulated vsize: 224504 KiB
Current children cumulated memory: 166120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3636.2 s]
/proc/loadavg: 1.14 1.36 2.09 2/239 56964
/proc/meminfo: memFree=120463872/131382112 swapFree=33009904/33010684
[pid=56603] ppid=56600 vsize=4192 memory=3072 CPUtime=0.07 cores=1,3
/proc/56603/stat : 56603 (run-opt-break-l) S 56600 56603 54941 0 -1 4194304 242 983 0 0 0 0 6 1 20 0 1 0 56381959 4292608 768 18446744073709551615 93878479929344 93878480823877 140727237174272 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878481062928 93878481110672 93878503415808 140727237175573 140727237175774 140727237175774 140727237181376 0
/proc/56603/statm: 1048 768 704 219 0 110 0
[pid=56606] ppid=56603 vsize=222620 memory=164584 CPUtime=3599.97 cores=1,3
/proc/56606/stat : 56606 (roundingsat) R 56603 56603 54941 0 -1 4194304 32605 0 0 0 357191 2806 0 0 20 0 1 0 56381970 227962880 41146 18446744073709551615 4227072 8923433 140735030329568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40714240 140735030335764 140735030336040 140735030336040 140735030341610 0
/proc/56606/statm: 55655 41146 2464 1147 0 43082 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 226812 KiB
Current children cumulated memory: 167656 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3636.21 s]
# the end of solver process 56603 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.065313 s, system=0.010953 s
Sleeping 2 seconds
[startup+3636.27 s]
# the end of solver process 56606 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3571.99 s, system=28.0889 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): 3636.27
CPU time (s): 3600.07
CPU user time (s): 3571.99
CPU system time (s): 28.0889
CPU usage (%): 99.0046
Max. virtual memory (cumulated for all children) (KiB): 226812
Max. memory (cumulated for all children) (KiB): 167656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.99
system time used= 28.0889
maximum resident set size= 164840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19039632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2985
involuntary context switches= 9265
# summary of solver processes directly reported to runsolver:
# pid: 56603,56606
# total CPU time (s): 3600.07
# total CPU user time (s): 3571.99
# total CPU system time (s): 28.0889
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4538 second user time and 36.9994 second system time
The end
Launcher Data
Begin job on nodeC001 at 2025-07-01 23:57:11
IDJOB=4499355
IDBENCH=148776
IDSOLVER=3360
FILE ID=nodeC001/4499355-1751407031
RUNJOBID= nodeC001-1751398041-54956
SLURM_JOB_ID= 9598279
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4499355-1751407031/watcher-4499355-1751407031 -o /tmp/evaluation-result-4499355-1751407031/solver-4499355-1751407031 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54956 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4499355-1751407031.opb PROOFDIR/proof-4499355-1751407031
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=1849188118
nodeC001 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 : 0xb00001f
cpu MHz : 3491.660
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.165
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.750
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 2993.534
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3491.745
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3691.412
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.307
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.475
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 111128160 kB
MemAvailable: 128208708 kB
Buffers: 1668 kB
Cached: 17861528 kB
SwapCached: 20 kB
Active: 2136884 kB
Inactive: 17554156 kB
Active(anon): 1823176 kB
Inactive(anon): 22636 kB
Active(file): 313708 kB
Inactive(file): 17531520 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 108876 kB
Writeback: 0 kB
AnonPages: 1830796 kB
Mapped: 115920 kB
Shmem: 17896 kB
KReclaimable: 149508 kB
Slab: 236936 kB
SReclaimable: 149508 kB
SUnreclaim: 87428 kB
KernelStack: 4224 kB
PageTables: 7080 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2411372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149688 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 202752 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC001 at 2025-07-02 00:57:47