Trace number 4499354
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-4499354-1751406179.opb'
0.00/0.01 c read 0.07MB (1.00ms)
0.00/0.01 c [cnf: #variables 774 #clauses 995 #duplicates 0 #arr 8079]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 30] (0.99ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c recursing 72 blocks of candidate 3x516r
0.00/0.01 c found row 5x6, generating row predicate
0.00/0.02 c found row 3x516, generating row predicate
0.00/0.02 c (6.46ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 4664 #edges 21948]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 1.73*10^84 #generators 176] (3.06ms)
0.00/0.02 c
0.00/0.02 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.02 c opt it=15, l=5059, m=131, opt=3, avg=63, b=8, gens=176
0.00/0.02 c opt it=31, l=6087, m=246, opt=7, avg=62, b=8, gens=176
0.00/0.02 c ran it=0, +gens=21
0.00/0.04 c con best_support=8, best_gens=144, +gens=249
0.00/0.04 c (19.05ms)
0.00/0.04 c
0.00/0.04 c finalize break order and special generators
0.00/0.04 c
0.00/0.04 c add generic predicates (break_depth=20)
0.00/0.04 c added predicates for 446 generators (0.86ms)
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 10022 #add_vars 3190]
0.00/0.04 c
0.00/0.04 c write result to 'HOME/instance-4499354-1751406179.opb.pre'
0.00/0.04 c wrote 0.41MB (1.18ms)
0.00/0.04 c ------------------------------------------------------------------
0.00/0.04 c 19.05ms 57.66% optimize_gens
0.00/0.04 c 6.46ms 19.54% detect_special
0.00/0.04 c 3.06ms 9.26% detect_generic
0.00/0.04 c 1.18ms 3.57% output
0.00/0.04 c 1.00ms 3.02% parse
0.00/0.04 c 0.99ms 3.01% approx_orbits
0.00/0.04 c 0.86ms 2.59% break_generic
0.00/0.04 c 0.27ms 0.82% other
0.00/0.04 c 0.17ms 0.52% finalize_order
0.00/0.04 c ───────────────────────────────────────────────
0.00/0.04 c 33.04ms 100% total
0.00/0.04 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.00/0.10 c #variables 3964 #constraints 11038
0.00/0.10 c objective is ce32
0.00/0.10 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.10 c initial counting CF 32, 64, 128, Arb: 193 , 0 , 0 , 0
0.00/0.10 c bounds - >= 0 @ 0.03559
0.47/0.59 c #Conflicts: 1000 | #Constraints: 12037
0.47/0.59 c #Conflicts: 2000 | #Constraints: 13039
0.47/0.59 c INPROCESSING
0.47/0.59 c GARBAGE COLLECT
0.47/0.59 c rational objective 3
1.36/1.49 c #Conflicts: 3000 | #Constraints: 12124
1.36/1.49 c #Conflicts: 4000 | #Constraints: 13126
1.36/1.49 c INPROCESSING
1.36/1.49 c GARBAGE COLLECT
1.36/1.49 c rational objective 3
2.16/2.26 c #Conflicts: 5000 | #Constraints: 12473
2.16/2.26 c #Conflicts: 6000 | #Constraints: 13473
2.16/2.26 c INPROCESSING
2.16/2.26 c GARBAGE COLLECT
2.16/2.26 c rational objective 3
3.45/3.51 c #Conflicts: 7000 | #Constraints: 12477
3.45/3.51 c #Conflicts: 8000 | #Constraints: 13479
3.45/3.51 c #Conflicts: 9000 | #Constraints: 14479
3.45/3.51 c INPROCESSING
3.45/3.51 c GARBAGE COLLECT
3.45/3.51 c rational objective 3
4.65/4.70 c #Conflicts: 10000 | #Constraints: 13189
4.65/4.70 c #Conflicts: 11000 | #Constraints: 14190
4.65/4.70 c #Conflicts: 12000 | #Constraints: 15190
4.65/4.70 c INPROCESSING
4.65/4.70 c GARBAGE COLLECT
4.65/4.70 c rational objective 3
5.75/5.88 c #Conflicts: 13000 | #Constraints: 13589
5.75/5.88 c #Conflicts: 14000 | #Constraints: 14590
5.75/5.88 c #Conflicts: 15000 | #Constraints: 15594
5.75/5.88 c INPROCESSING
5.75/5.88 c GARBAGE COLLECT
5.75/5.88 c rational objective 3
7.44/7.59 c #Conflicts: 16000 | #Constraints: 13823
7.44/7.59 c #Conflicts: 17000 | #Constraints: 14824
7.44/7.59 c #Conflicts: 18000 | #Constraints: 15825
7.44/7.59 c INPROCESSING
7.44/7.59 c GARBAGE COLLECT
7.44/7.59 c rational objective 3
9.13/9.27 c #Conflicts: 19000 | #Constraints: 13782
9.13/9.27 c #Conflicts: 20000 | #Constraints: 14783
9.13/9.27 c #Conflicts: 21000 | #Constraints: 15784
9.13/9.27 c INPROCESSING
9.13/9.27 c GARBAGE COLLECT
9.13/9.27 c rational objective 3
10.83/10.96 c #Conflicts: 22000 | #Constraints: 13584
10.83/10.96 c #Conflicts: 23000 | #Constraints: 14584
10.83/10.96 c #Conflicts: 24000 | #Constraints: 15584
10.83/10.96 c #Conflicts: 25000 | #Constraints: 16584
10.83/10.96 c INPROCESSING
10.83/10.96 c GARBAGE COLLECT
10.83/10.96 c rational objective 3
12.82/12.95 c #Conflicts: 26000 | #Constraints: 14098
12.82/12.95 c #Conflicts: 27000 | #Constraints: 15099
12.82/12.95 c #Conflicts: 28000 | #Constraints: 16100
12.82/12.95 c #Conflicts: 29000 | #Constraints: 17101
12.82/12.95 c INPROCESSING
12.82/12.95 c GARBAGE COLLECT
12.82/12.95 c rational objective 3
14.52/14.61 c #Conflicts: 30000 | #Constraints: 14450
14.52/14.61 c #Conflicts: 31000 | #Constraints: 15451
14.52/14.61 c #Conflicts: 32000 | #Constraints: 16452
14.52/14.61 c #Conflicts: 33000 | #Constraints: 17453
14.52/14.61 c INPROCESSING
14.52/14.61 c GARBAGE COLLECT
14.52/14.61 c rational objective 3
16.71/16.90 c #Conflicts: 34000 | #Constraints: 14624
16.71/16.90 c #Conflicts: 35000 | #Constraints: 15625
16.71/16.90 c #Conflicts: 36000 | #Constraints: 16628
16.71/16.90 c #Conflicts: 37000 | #Constraints: 17630
16.71/16.90 c INPROCESSING
16.71/16.90 c GARBAGE COLLECT
16.71/16.90 c rational objective 3
19.11/19.27 c #Conflicts: 38000 | #Constraints: 14636
19.11/19.27 c #Conflicts: 39000 | #Constraints: 15638
19.11/19.27 c #Conflicts: 40000 | #Constraints: 16638
19.11/19.27 c #Conflicts: 41000 | #Constraints: 17639
19.11/19.27 c INPROCESSING
19.11/19.27 c GARBAGE COLLECT
19.11/19.27 c rational objective 3
21.01/21.11 c #Conflicts: 42000 | #Constraints: 14406
21.01/21.11 c #Conflicts: 43000 | #Constraints: 15406
21.01/21.11 c #Conflicts: 44000 | #Constraints: 16407
21.01/21.11 c #Conflicts: 45000 | #Constraints: 17410
21.01/21.11 c #Conflicts: 46000 | #Constraints: 18412
21.01/21.11 c INPROCESSING
21.01/21.11 c GARBAGE COLLECT
21.01/21.11 c rational objective 3
23.90/24.09 c #Conflicts: 47000 | #Constraints: 14991
23.90/24.09 c #Conflicts: 48000 | #Constraints: 15992
23.90/24.09 c #Conflicts: 49000 | #Constraints: 16994
23.90/24.09 c #Conflicts: 50000 | #Constraints: 17996
23.90/24.09 c #Conflicts: 51000 | #Constraints: 18997
23.90/24.09 c INPROCESSING
23.90/24.09 c GARBAGE COLLECT
23.90/24.09 c rational objective 3
28.78/28.96 c #Conflicts: 52000 | #Constraints: 15398
28.78/28.96 c #Conflicts: 53000 | #Constraints: 16398
28.78/28.96 c #Conflicts: 54000 | #Constraints: 17398
28.78/28.96 c #Conflicts: 55000 | #Constraints: 18398
28.78/28.96 c #Conflicts: 56000 | #Constraints: 19398
28.78/28.96 c INPROCESSING
28.78/28.96 c GARBAGE COLLECT
28.78/28.96 c rational objective 3
30.89/31.04 c #Conflicts: 57000 | #Constraints: 15597
30.89/31.04 c #Conflicts: 58000 | #Constraints: 16597
30.89/31.04 c #Conflicts: 59000 | #Constraints: 17597
30.89/31.04 c #Conflicts: 60000 | #Constraints: 18597
30.89/31.04 c #Conflicts: 61000 | #Constraints: 19597
30.89/31.04 c INPROCESSING
30.89/31.04 c GARBAGE COLLECT
30.89/31.04 c rational objective 3
34.57/34.74 c #Conflicts: 62000 | #Constraints: 15594
34.57/34.74 c #Conflicts: 63000 | #Constraints: 16594
34.57/34.74 c #Conflicts: 64000 | #Constraints: 17594
34.57/34.74 c #Conflicts: 65000 | #Constraints: 18594
34.57/34.74 c #Conflicts: 66000 | #Constraints: 19594
34.57/34.74 c INPROCESSING
34.57/34.74 c GARBAGE COLLECT
34.57/34.74 c rational objective 3
37.76/37.98 c #Conflicts: 67000 | #Constraints: 15308
37.76/37.98 c #Conflicts: 68000 | #Constraints: 16308
37.76/37.98 c #Conflicts: 69000 | #Constraints: 17308
37.76/37.98 c #Conflicts: 70000 | #Constraints: 18308
37.76/37.98 c #Conflicts: 71000 | #Constraints: 19309
37.76/37.98 c #Conflicts: 72000 | #Constraints: 20309
37.76/37.98 c INPROCESSING
37.76/37.98 c GARBAGE COLLECT
37.76/37.98 c rational objective 3
41.65/41.89 c #Conflicts: 73000 | #Constraints: 15876
41.65/41.89 c #Conflicts: 74000 | #Constraints: 16876
41.65/41.89 c #Conflicts: 75000 | #Constraints: 17876
41.65/41.89 c #Conflicts: 76000 | #Constraints: 18876
41.65/41.89 c #Conflicts: 77000 | #Constraints: 19876
41.65/41.89 c #Conflicts: 78000 | #Constraints: 20876
41.65/41.89 c INPROCESSING
41.65/41.89 c GARBAGE COLLECT
41.65/41.89 c rational objective 3
44.74/44.94 c #Conflicts: 79000 | #Constraints: 16281
44.74/44.94 c #Conflicts: 80000 | #Constraints: 17281
44.74/44.94 c #Conflicts: 81000 | #Constraints: 18281
44.74/44.94 c #Conflicts: 82000 | #Constraints: 19281
44.74/44.94 c #Conflicts: 83000 | #Constraints: 20288
44.74/44.94 c #Conflicts: 84000 | #Constraints: 21288
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c rational objective 3
48.33/48.57 c #Conflicts: 85000 | #Constraints: 16476
48.33/48.57 c #Conflicts: 86000 | #Constraints: 17476
48.33/48.57 c #Conflicts: 87000 | #Constraints: 18476
48.33/48.57 c #Conflicts: 88000 | #Constraints: 19476
48.33/48.57 c #Conflicts: 89000 | #Constraints: 20476
48.33/48.57 c #Conflicts: 90000 | #Constraints: 21476
48.33/48.57 c INPROCESSING
48.33/48.57 c GARBAGE COLLECT
48.33/48.57 c rational objective 3
52.03/52.26 c #Conflicts: 91000 | #Constraints: 16475
52.03/52.26 c #Conflicts: 92000 | #Constraints: 17475
52.03/52.26 c #Conflicts: 93000 | #Constraints: 18475
52.03/52.26 c #Conflicts: 94000 | #Constraints: 19475
52.03/52.26 c #Conflicts: 95000 | #Constraints: 20475
52.03/52.26 c #Conflicts: 96000 | #Constraints: 21476
52.03/52.26 c INPROCESSING
52.03/52.26 c GARBAGE COLLECT
52.03/52.26 c rational objective 3
55.82/56.06 c #Conflicts: 97000 | #Constraints: 16270
55.82/56.06 c #Conflicts: 98000 | #Constraints: 17270
55.82/56.06 c #Conflicts: 99000 | #Constraints: 18271
55.82/56.06 c #Conflicts: 100000 | #Constraints: 19271
55.82/56.06 c #Conflicts: 101000 | #Constraints: 20272
55.82/56.06 c #Conflicts: 102000 | #Constraints: 21273
55.82/56.06 c #Conflicts: 103000 | #Constraints: 22273
55.82/56.06 c INPROCESSING
55.82/56.06 c GARBAGE COLLECT
55.82/56.06 c rational objective 3
60.50/60.71 c #Conflicts: 104000 | #Constraints: 16873
60.50/60.71 c #Conflicts: 105000 | #Constraints: 17873
60.50/60.71 c #Conflicts: 106000 | #Constraints: 18874
60.50/60.71 c #Conflicts: 107000 | #Constraints: 19874
60.50/60.71 c #Conflicts: 108000 | #Constraints: 20874
60.50/60.71 c #Conflicts: 109000 | #Constraints: 21874
60.50/60.71 c #Conflicts: 110000 | #Constraints: 22875
60.50/60.71 c INPROCESSING
60.50/60.71 c GARBAGE COLLECT
60.50/60.71 c rational objective 3
64.29/64.59 c #Conflicts: 111000 | #Constraints: 17213
64.29/64.59 c #Conflicts: 112000 | #Constraints: 18213
64.29/64.59 c #Conflicts: 113000 | #Constraints: 19213
64.29/64.59 c #Conflicts: 114000 | #Constraints: 20216
64.29/64.59 c #Conflicts: 115000 | #Constraints: 21217
64.29/64.59 c #Conflicts: 116000 | #Constraints: 22218
64.29/64.59 c #Conflicts: 117000 | #Constraints: 23218
64.29/64.59 c INPROCESSING
64.29/64.59 c GARBAGE COLLECT
64.29/64.59 c rational objective 3
68.97/69.25 c #Conflicts: 118000 | #Constraints: 17359
68.97/69.25 c #Conflicts: 119000 | #Constraints: 18360
68.97/69.25 c #Conflicts: 120000 | #Constraints: 19361
68.97/69.25 c #Conflicts: 121000 | #Constraints: 20361
68.97/69.25 c #Conflicts: 122000 | #Constraints: 21363
68.97/69.25 c #Conflicts: 123000 | #Constraints: 22365
68.97/69.25 c #Conflicts: 124000 | #Constraints: 23366
68.97/69.25 c INPROCESSING
68.97/69.25 c GARBAGE COLLECT
68.97/69.25 c rational objective 3
73.87/74.14 c #Conflicts: 125000 | #Constraints: 17337
73.87/74.14 c #Conflicts: 126000 | #Constraints: 18337
73.87/74.14 c #Conflicts: 127000 | #Constraints: 19337
73.87/74.14 c #Conflicts: 128000 | #Constraints: 20337
73.87/74.14 c #Conflicts: 129000 | #Constraints: 21337
73.87/74.14 c #Conflicts: 130000 | #Constraints: 22337
73.87/74.14 c #Conflicts: 131000 | #Constraints: 23337
73.87/74.14 c INPROCESSING
73.87/74.14 c GARBAGE COLLECT
73.87/74.14 c rational objective 3
78.65/78.97 c #Conflicts: 132000 | #Constraints: 17128
78.65/78.97 c #Conflicts: 133000 | #Constraints: 18128
78.65/78.97 c #Conflicts: 134000 | #Constraints: 19128
78.65/78.97 c #Conflicts: 135000 | #Constraints: 20128
78.65/78.97 c #Conflicts: 136000 | #Constraints: 21130
78.65/78.97 c #Conflicts: 137000 | #Constraints: 22132
78.65/78.97 c #Conflicts: 138000 | #Constraints: 23133
78.65/78.97 c #Conflicts: 139000 | #Constraints: 24135
78.65/78.97 c INPROCESSING
78.65/78.97 c GARBAGE COLLECT
78.65/78.97 c rational objective 3
83.93/84.23 c #Conflicts: 140000 | #Constraints: 17740
83.93/84.23 c #Conflicts: 141000 | #Constraints: 18742
83.93/84.23 c #Conflicts: 142000 | #Constraints: 19743
83.93/84.23 c #Conflicts: 143000 | #Constraints: 20744
83.93/84.23 c #Conflicts: 144000 | #Constraints: 21745
83.93/84.23 c #Conflicts: 145000 | #Constraints: 22747
83.93/84.23 c #Conflicts: 146000 | #Constraints: 23748
83.93/84.23 c #Conflicts: 147000 | #Constraints: 24749
83.93/84.23 c INPROCESSING
83.93/84.23 c GARBAGE COLLECT
83.93/84.23 c rational objective 3
88.52/88.88 c #Conflicts: 148000 | #Constraints: 18115
88.52/88.88 c #Conflicts: 149000 | #Constraints: 19115
88.52/88.88 c #Conflicts: 150000 | #Constraints: 20117
88.52/88.88 c #Conflicts: 151000 | #Constraints: 21119
88.52/88.88 c #Conflicts: 152000 | #Constraints: 22120
88.52/88.88 c #Conflicts: 153000 | #Constraints: 23121
88.52/88.88 c #Conflicts: 154000 | #Constraints: 24121
88.52/88.88 c #Conflicts: 155000 | #Constraints: 25122
88.52/88.88 c INPROCESSING
88.52/88.88 c GARBAGE COLLECT
88.52/88.88 c rational objective 3
94.81/95.16 c #Conflicts: 156000 | #Constraints: 18311
94.81/95.16 c #Conflicts: 157000 | #Constraints: 19313
94.81/95.16 c #Conflicts: 158000 | #Constraints: 20315
94.81/95.16 c #Conflicts: 159000 | #Constraints: 21317
94.81/95.16 c #Conflicts: 160000 | #Constraints: 22317
94.81/95.16 c #Conflicts: 161000 | #Constraints: 23317
94.81/95.16 c #Conflicts: 162000 | #Constraints: 24318
94.81/95.16 c #Conflicts: 163000 | #Constraints: 25318
94.81/95.16 c INPROCESSING
94.81/95.16 c GARBAGE COLLECT
94.81/95.16 c rational objective 3
101.09/101.45 c #Conflicts: 164000 | #Constraints: 18321
101.09/101.45 c #Conflicts: 165000 | #Constraints: 19321
101.09/101.45 c #Conflicts: 166000 | #Constraints: 20322
101.09/101.45 c #Conflicts: 167000 | #Constraints: 21322
101.09/101.45 c #Conflicts: 168000 | #Constraints: 22322
101.09/101.45 c #Conflicts: 169000 | #Constraints: 23323
101.09/101.45 c #Conflicts: 170000 | #Constraints: 24323
101.09/101.45 c #Conflicts: 171000 | #Constraints: 25323
101.09/101.45 c INPROCESSING
101.09/101.45 c GARBAGE COLLECT
101.09/101.45 c rational objective 3
107.17/107.56 c #Conflicts: 172000 | #Constraints: 18081
107.17/107.56 c #Conflicts: 173000 | #Constraints: 19081
107.17/107.56 c #Conflicts: 174000 | #Constraints: 20082
107.17/107.56 c #Conflicts: 175000 | #Constraints: 21082
107.17/107.56 c #Conflicts: 176000 | #Constraints: 22082
107.17/107.56 c #Conflicts: 177000 | #Constraints: 23083
107.17/107.56 c #Conflicts: 178000 | #Constraints: 24083
107.17/107.56 c #Conflicts: 179000 | #Constraints: 25086
107.17/107.56 c #Conflicts: 180000 | #Constraints: 26086
107.17/107.56 c INPROCESSING
107.17/107.56 c GARBAGE COLLECT
107.17/107.56 c rational objective 3
114.45/114.85 c #Conflicts: 181000 | #Constraints: 18649
114.45/114.85 c #Conflicts: 182000 | #Constraints: 19650
114.45/114.85 c #Conflicts: 183000 | #Constraints: 20651
114.45/114.85 c #Conflicts: 184000 | #Constraints: 21652
114.45/114.85 c #Conflicts: 185000 | #Constraints: 22652
114.45/114.85 c #Conflicts: 186000 | #Constraints: 23653
114.45/114.85 c #Conflicts: 187000 | #Constraints: 24653
114.45/114.85 c #Conflicts: 188000 | #Constraints: 25653
114.45/114.85 c #Conflicts: 189000 | #Constraints: 26653
114.45/114.85 c INPROCESSING
114.45/114.85 c GARBAGE COLLECT
114.45/114.85 c rational objective 3
121.34/121.77 c #Conflicts: 190000 | #Constraints: 19046
121.34/121.77 c #Conflicts: 191000 | #Constraints: 20047
121.34/121.77 c #Conflicts: 192000 | #Constraints: 21048
121.34/121.77 c #Conflicts: 193000 | #Constraints: 22048
121.34/121.77 c #Conflicts: 194000 | #Constraints: 23050
121.34/121.77 c #Conflicts: 195000 | #Constraints: 24052
121.34/121.77 c #Conflicts: 196000 | #Constraints: 25053
121.34/121.77 c #Conflicts: 197000 | #Constraints: 26053
121.34/121.77 c #Conflicts: 198000 | #Constraints: 27053
121.34/121.77 c INPROCESSING
121.34/121.77 c GARBAGE COLLECT
121.34/121.77 c rational objective 3
129.51/129.93 c #Conflicts: 199000 | #Constraints: 19166
129.51/129.93 c #Conflicts: 200000 | #Constraints: 20168
129.51/129.93 c #Conflicts: 201000 | #Constraints: 21170
129.51/129.93 c #Conflicts: 202000 | #Constraints: 22170
129.51/129.93 c #Conflicts: 203000 | #Constraints: 23173
129.51/129.93 c #Conflicts: 204000 | #Constraints: 24175
129.51/129.93 c #Conflicts: 205000 | #Constraints: 25176
129.51/129.93 c #Conflicts: 206000 | #Constraints: 26180
129.51/129.93 c #Conflicts: 207000 | #Constraints: 27182
129.51/129.93 c INPROCESSING
129.51/129.93 c GARBAGE COLLECT
129.51/129.93 c rational objective 3
136.19/136.64 c #Conflicts: 208000 | #Constraints: 19148
136.19/136.64 c #Conflicts: 209000 | #Constraints: 20148
136.19/136.64 c #Conflicts: 210000 | #Constraints: 21149
136.19/136.64 c #Conflicts: 211000 | #Constraints: 22151
136.19/136.64 c #Conflicts: 212000 | #Constraints: 23152
136.19/136.64 c #Conflicts: 213000 | #Constraints: 24153
136.19/136.64 c #Conflicts: 214000 | #Constraints: 25154
136.19/136.64 c #Conflicts: 215000 | #Constraints: 26156
136.19/136.64 c #Conflicts: 216000 | #Constraints: 27157
136.19/136.64 c INPROCESSING
136.19/136.64 c GARBAGE COLLECT
136.19/136.64 c rational objective 3
143.97/144.47 c #Conflicts: 217000 | #Constraints: 18933
143.97/144.47 c #Conflicts: 218000 | #Constraints: 19933
143.97/144.47 c #Conflicts: 219000 | #Constraints: 20934
143.97/144.47 c #Conflicts: 220000 | #Constraints: 21935
143.97/144.47 c #Conflicts: 221000 | #Constraints: 22936
143.97/144.47 c #Conflicts: 222000 | #Constraints: 23936
143.97/144.47 c #Conflicts: 223000 | #Constraints: 24936
143.97/144.47 c #Conflicts: 224000 | #Constraints: 25937
143.97/144.47 c #Conflicts: 225000 | #Constraints: 26938
143.97/144.47 c #Conflicts: 226000 | #Constraints: 27940
143.97/144.47 c INPROCESSING
143.97/144.47 c GARBAGE COLLECT
143.97/144.47 c rational objective 3
152.05/152.57 c #Conflicts: 227000 | #Constraints: 19537
152.05/152.57 c #Conflicts: 228000 | #Constraints: 20537
152.05/152.57 c #Conflicts: 229000 | #Constraints: 21541
152.05/152.57 c #Conflicts: 230000 | #Constraints: 22542
152.05/152.57 c #Conflicts: 231000 | #Constraints: 23543
152.05/152.57 c #Conflicts: 232000 | #Constraints: 24543
152.05/152.57 c #Conflicts: 233000 | #Constraints: 25543
152.05/152.57 c #Conflicts: 234000 | #Constraints: 26543
152.05/152.57 c #Conflicts: 235000 | #Constraints: 27544
152.05/152.57 c #Conflicts: 236000 | #Constraints: 28546
152.05/152.57 c INPROCESSING
152.05/152.57 c GARBAGE COLLECT
152.05/152.57 c rational objective 3
159.04/159.57 c #Conflicts: 237000 | #Constraints: 19931
159.04/159.57 c #Conflicts: 238000 | #Constraints: 20931
159.04/159.57 c #Conflicts: 239000 | #Constraints: 21932
159.04/159.57 c #Conflicts: 240000 | #Constraints: 22933
159.04/159.57 c #Conflicts: 241000 | #Constraints: 23933
159.04/159.57 c #Conflicts: 242000 | #Constraints: 24936
159.04/159.57 c #Conflicts: 243000 | #Constraints: 25938
159.04/159.57 c #Conflicts: 244000 | #Constraints: 26940
159.04/159.57 c #Conflicts: 245000 | #Constraints: 27941
159.04/159.57 c #Conflicts: 246000 | #Constraints: 28941
159.04/159.57 c INPROCESSING
159.04/159.57 c GARBAGE COLLECT
159.04/159.57 c rational objective 3
166.91/167.49 c #Conflicts: 247000 | #Constraints: 20143
166.91/167.49 c #Conflicts: 248000 | #Constraints: 21144
166.91/167.49 c #Conflicts: 249000 | #Constraints: 22145
166.91/167.49 c #Conflicts: 250000 | #Constraints: 23146
166.91/167.49 c #Conflicts: 251000 | #Constraints: 24147
166.91/167.49 c #Conflicts: 252000 | #Constraints: 25149
166.91/167.49 c #Conflicts: 253000 | #Constraints: 26154
166.91/167.49 c #Conflicts: 254000 | #Constraints: 27155
166.91/167.49 c #Conflicts: 255000 | #Constraints: 28156
166.91/167.49 c #Conflicts: 256000 | #Constraints: 29156
166.91/167.49 c INPROCESSING
166.91/167.49 c GARBAGE COLLECT
166.91/167.49 c rational objective 3
174.50/175.09 c #Conflicts: 257000 | #Constraints: 20140
174.50/175.09 c #Conflicts: 258000 | #Constraints: 21141
174.50/175.09 c #Conflicts: 259000 | #Constraints: 22141
174.50/175.09 c #Conflicts: 260000 | #Constraints: 23141
174.50/175.09 c #Conflicts: 261000 | #Constraints: 24143
174.50/175.09 c #Conflicts: 262000 | #Constraints: 25144
174.50/175.09 c #Conflicts: 263000 | #Constraints: 26144
174.50/175.09 c #Conflicts: 264000 | #Constraints: 27144
174.50/175.09 c #Conflicts: 265000 | #Constraints: 28144
174.50/175.09 c #Conflicts: 266000 | #Constraints: 29144
174.50/175.09 c INPROCESSING
174.50/175.09 c GARBAGE COLLECT
174.50/175.09 c rational objective 3
183.87/184.49 c #Conflicts: 267000 | #Constraints: 19921
183.87/184.49 c #Conflicts: 268000 | #Constraints: 20921
183.87/184.49 c #Conflicts: 269000 | #Constraints: 21921
183.87/184.49 c #Conflicts: 270000 | #Constraints: 22922
183.87/184.49 c #Conflicts: 271000 | #Constraints: 23924
183.87/184.49 c #Conflicts: 272000 | #Constraints: 24925
183.87/184.49 c #Conflicts: 273000 | #Constraints: 25926
183.87/184.49 c #Conflicts: 274000 | #Constraints: 26926
183.87/184.49 c #Conflicts: 275000 | #Constraints: 27927
183.87/184.49 c #Conflicts: 276000 | #Constraints: 28929
183.87/184.49 c #Conflicts: 277000 | #Constraints: 29929
183.87/184.49 c INPROCESSING
183.87/184.49 c GARBAGE COLLECT
183.87/184.49 c rational objective 3
194.24/194.86 c #Conflicts: 278000 | #Constraints: 20523
194.24/194.86 c #Conflicts: 279000 | #Constraints: 21523
194.24/194.86 c #Conflicts: 280000 | #Constraints: 22527
194.24/194.86 c #Conflicts: 281000 | #Constraints: 23527
194.24/194.86 c #Conflicts: 282000 | #Constraints: 24528
194.24/194.86 c #Conflicts: 283000 | #Constraints: 25528
194.24/194.86 c #Conflicts: 284000 | #Constraints: 26529
194.24/194.86 c #Conflicts: 285000 | #Constraints: 27529
194.24/194.86 c #Conflicts: 286000 | #Constraints: 28530
194.24/194.86 c #Conflicts: 287000 | #Constraints: 29530
194.24/194.86 c #Conflicts: 288000 | #Constraints: 30531
194.24/194.86 c INPROCESSING
194.24/194.86 c GARBAGE COLLECT
194.24/194.86 c rational objective 3
203.81/204.44 c #Conflicts: 289000 | #Constraints: 20912
203.81/204.44 c #Conflicts: 290000 | #Constraints: 21912
203.81/204.44 c #Conflicts: 291000 | #Constraints: 22912
203.81/204.44 c #Conflicts: 292000 | #Constraints: 23912
203.81/204.44 c #Conflicts: 293000 | #Constraints: 24912
203.81/204.44 c #Conflicts: 294000 | #Constraints: 25914
203.81/204.44 c #Conflicts: 295000 | #Constraints: 26914
203.81/204.44 c #Conflicts: 296000 | #Constraints: 27914
203.81/204.44 c #Conflicts: 297000 | #Constraints: 28914
203.81/204.44 c #Conflicts: 298000 | #Constraints: 29914
203.81/204.44 c #Conflicts: 299000 | #Constraints: 30914
203.81/204.44 c INPROCESSING
203.81/204.44 c GARBAGE COLLECT
203.81/204.44 c rational objective 3
214.39/215.01 c #Conflicts: 300000 | #Constraints: 21048
214.39/215.01 c #Conflicts: 301000 | #Constraints: 22048
214.39/215.01 c #Conflicts: 302000 | #Constraints: 23048
214.39/215.01 c #Conflicts: 303000 | #Constraints: 24050
214.39/215.01 c #Conflicts: 304000 | #Constraints: 25051
214.39/215.01 c #Conflicts: 305000 | #Constraints: 26057
214.39/215.01 c #Conflicts: 306000 | #Constraints: 27057
214.39/215.01 c #Conflicts: 307000 | #Constraints: 28057
214.39/215.01 c #Conflicts: 308000 | #Constraints: 29059
214.39/215.01 c #Conflicts: 309000 | #Constraints: 30060
214.39/215.01 c #Conflicts: 310000 | #Constraints: 31061
214.39/215.01 c INPROCESSING
214.39/215.01 c GARBAGE COLLECT
214.39/215.01 c rational objective 3
228.25/228.98 c #Conflicts: 311000 | #Constraints: 20795
228.25/228.98 c #Conflicts: 312000 | #Constraints: 21797
228.25/228.98 c #Conflicts: 313000 | #Constraints: 22797
228.25/228.98 c #Conflicts: 314000 | #Constraints: 23798
228.25/228.98 c #Conflicts: 315000 | #Constraints: 24800
228.25/228.98 c #Conflicts: 316000 | #Constraints: 25801
228.25/228.98 c #Conflicts: 317000 | #Constraints: 26802
228.25/228.98 c #Conflicts: 318000 | #Constraints: 27807
228.25/228.98 c #Conflicts: 319000 | #Constraints: 28808
228.25/228.98 c #Conflicts: 320000 | #Constraints: 29808
228.25/228.98 c #Conflicts: 321000 | #Constraints: 30808
228.25/228.98 c INPROCESSING
228.25/228.98 c GARBAGE COLLECT
228.25/228.98 c rational objective 3
240.11/240.85 c #Conflicts: 322000 | #Constraints: 20563
240.11/240.85 c #Conflicts: 323000 | #Constraints: 21563
240.11/240.85 c #Conflicts: 324000 | #Constraints: 22563
240.11/240.85 c #Conflicts: 325000 | #Constraints: 23565
240.11/240.85 c #Conflicts: 326000 | #Constraints: 24566
240.11/240.85 c #Conflicts: 327000 | #Constraints: 25568
240.11/240.85 c #Conflicts: 328000 | #Constraints: 26570
240.11/240.85 c #Conflicts: 329000 | #Constraints: 27570
240.11/240.85 c #Conflicts: 330000 | #Constraints: 28572
240.11/240.85 c #Conflicts: 331000 | #Constraints: 29572
240.11/240.85 c #Conflicts: 332000 | #Constraints: 30572
240.11/240.85 c #Conflicts: 333000 | #Constraints: 31572
240.11/240.85 c INPROCESSING
240.11/240.85 c GARBAGE COLLECT
240.11/240.85 c rational objective 3
250.29/251.03 c #Conflicts: 334000 | #Constraints: 21169
250.29/251.03 c #Conflicts: 335000 | #Constraints: 22172
250.29/251.03 c #Conflicts: 336000 | #Constraints: 23174
250.29/251.03 c #Conflicts: 337000 | #Constraints: 24176
250.29/251.03 c #Conflicts: 338000 | #Constraints: 25176
250.29/251.03 c #Conflicts: 339000 | #Constraints: 26176
250.29/251.03 c #Conflicts: 340000 | #Constraints: 27177
250.29/251.03 c #Conflicts: 341000 | #Constraints: 28177
250.29/251.03 c #Conflicts: 342000 | #Constraints: 29181
250.29/251.03 c #Conflicts: 343000 | #Constraints: 30182
250.29/251.03 c #Conflicts: 344000 | #Constraints: 31182
250.29/251.03 c #Conflicts: 345000 | #Constraints: 32183
250.29/251.03 c INPROCESSING
250.29/251.03 c GARBAGE COLLECT
250.29/251.03 c rational objective 3
262.66/263.45 c #Conflicts: 346000 | #Constraints: 21566
262.66/263.45 c #Conflicts: 347000 | #Constraints: 22566
262.66/263.45 c #Conflicts: 348000 | #Constraints: 23566
262.66/263.45 c #Conflicts: 349000 | #Constraints: 24566
262.66/263.45 c #Conflicts: 350000 | #Constraints: 25566
262.66/263.45 c #Conflicts: 351000 | #Constraints: 26567
262.66/263.45 c #Conflicts: 352000 | #Constraints: 27569
262.66/263.45 c #Conflicts: 353000 | #Constraints: 28571
262.66/263.45 c #Conflicts: 354000 | #Constraints: 29571
262.66/263.45 c #Conflicts: 355000 | #Constraints: 30572
262.66/263.45 c #Conflicts: 356000 | #Constraints: 31572
262.66/263.45 c #Conflicts: 357000 | #Constraints: 32572
262.66/263.45 c INPROCESSING
262.66/263.45 c GARBAGE COLLECT
262.66/263.45 c rational objective 3
273.83/274.61 c #Conflicts: 358000 | #Constraints: 21752
273.83/274.61 c #Conflicts: 359000 | #Constraints: 22752
273.83/274.61 c #Conflicts: 360000 | #Constraints: 23753
273.83/274.61 c #Conflicts: 361000 | #Constraints: 24756
273.83/274.61 c #Conflicts: 362000 | #Constraints: 25758
273.83/274.61 c #Conflicts: 363000 | #Constraints: 26759
273.83/274.61 c #Conflicts: 364000 | #Constraints: 27761
273.83/274.61 c #Conflicts: 365000 | #Constraints: 28763
273.83/274.61 c #Conflicts: 366000 | #Constraints: 29765
273.83/274.61 c #Conflicts: 367000 | #Constraints: 30765
273.83/274.61 c #Conflicts: 368000 | #Constraints: 31767
273.83/274.61 c #Conflicts: 369000 | #Constraints: 32768
273.83/274.61 c INPROCESSING
273.83/274.61 c GARBAGE COLLECT
273.83/274.61 c rational objective 3
287.70/288.58 c #Conflicts: 370000 | #Constraints: 21763
287.70/288.58 c #Conflicts: 371000 | #Constraints: 22763
287.70/288.58 c #Conflicts: 372000 | #Constraints: 23763
287.70/288.58 c #Conflicts: 373000 | #Constraints: 24764
287.70/288.58 c #Conflicts: 374000 | #Constraints: 25764
287.70/288.58 c #Conflicts: 375000 | #Constraints: 26764
287.70/288.58 c #Conflicts: 376000 | #Constraints: 27765
287.70/288.58 c #Conflicts: 377000 | #Constraints: 28765
287.70/288.58 c #Conflicts: 378000 | #Constraints: 29765
287.70/288.58 c #Conflicts: 379000 | #Constraints: 30766
287.70/288.58 c #Conflicts: 380000 | #Constraints: 31766
287.70/288.58 c #Conflicts: 381000 | #Constraints: 32766
287.70/288.58 c INPROCESSING
287.70/288.58 c GARBAGE COLLECT
287.70/288.58 c rational objective 3
297.87/298.77 c #Conflicts: 382000 | #Constraints: 21539
297.87/298.77 c #Conflicts: 383000 | #Constraints: 22539
297.87/298.77 c #Conflicts: 384000 | #Constraints: 23539
297.87/298.77 c #Conflicts: 385000 | #Constraints: 24539
297.87/298.77 c #Conflicts: 386000 | #Constraints: 25539
297.87/298.77 c #Conflicts: 387000 | #Constraints: 26539
297.87/298.77 c #Conflicts: 388000 | #Constraints: 27539
297.87/298.77 c #Conflicts: 389000 | #Constraints: 28539
297.87/298.77 c #Conflicts: 390000 | #Constraints: 29539
297.87/298.77 c #Conflicts: 391000 | #Constraints: 30539
297.87/298.77 c #Conflicts: 392000 | #Constraints: 31540
297.87/298.77 c #Conflicts: 393000 | #Constraints: 32541
297.87/298.77 c #Conflicts: 394000 | #Constraints: 33545
297.87/298.77 c INPROCESSING
297.87/298.77 c GARBAGE COLLECT
297.87/298.77 c rational objective 3
312.43/313.33 c #Conflicts: 395000 | #Constraints: 22098
312.43/313.33 c #Conflicts: 396000 | #Constraints: 23098
312.43/313.33 c #Conflicts: 397000 | #Constraints: 24101
312.43/313.33 c #Conflicts: 398000 | #Constraints: 25103
312.43/313.33 c #Conflicts: 399000 | #Constraints: 26107
312.43/313.33 c #Conflicts: 400000 | #Constraints: 27108
312.43/313.33 c #Conflicts: 401000 | #Constraints: 28110
312.43/313.33 c #Conflicts: 402000 | #Constraints: 29111
312.43/313.33 c #Conflicts: 403000 | #Constraints: 30113
312.43/313.33 c #Conflicts: 404000 | #Constraints: 31114
312.43/313.33 c #Conflicts: 405000 | #Constraints: 32114
312.43/313.33 c #Conflicts: 406000 | #Constraints: 33115
312.43/313.33 c #Conflicts: 407000 | #Constraints: 34117
312.43/313.33 c INPROCESSING
312.43/313.33 c GARBAGE COLLECT
312.43/313.33 c rational objective 3
327.09/328.08 c #Conflicts: 408000 | #Constraints: 22494
327.09/328.08 c #Conflicts: 409000 | #Constraints: 23494
327.09/328.08 c #Conflicts: 410000 | #Constraints: 24495
327.09/328.08 c #Conflicts: 411000 | #Constraints: 25495
327.09/328.08 c #Conflicts: 412000 | #Constraints: 26496
327.09/328.08 c #Conflicts: 413000 | #Constraints: 27497
327.09/328.08 c #Conflicts: 414000 | #Constraints: 28497
327.09/328.08 c #Conflicts: 415000 | #Constraints: 29497
327.09/328.08 c #Conflicts: 416000 | #Constraints: 30498
327.09/328.08 c #Conflicts: 417000 | #Constraints: 31499
327.09/328.08 c #Conflicts: 418000 | #Constraints: 32500
327.09/328.08 c #Conflicts: 419000 | #Constraints: 33500
327.09/328.08 c #Conflicts: 420000 | #Constraints: 34500
327.09/328.08 c INPROCESSING
327.09/328.08 c GARBAGE COLLECT
327.09/328.08 c rational objective 3
343.35/344.31 c #Conflicts: 421000 | #Constraints: 22683
343.35/344.31 c #Conflicts: 422000 | #Constraints: 23683
343.35/344.31 c #Conflicts: 423000 | #Constraints: 24684
343.35/344.31 c #Conflicts: 424000 | #Constraints: 25685
343.35/344.31 c #Conflicts: 425000 | #Constraints: 26686
343.35/344.31 c #Conflicts: 426000 | #Constraints: 27687
343.35/344.31 c #Conflicts: 427000 | #Constraints: 28688
343.35/344.31 c #Conflicts: 428000 | #Constraints: 29689
343.35/344.31 c #Conflicts: 429000 | #Constraints: 30690
343.35/344.31 c #Conflicts: 430000 | #Constraints: 31691
343.35/344.31 c #Conflicts: 431000 | #Constraints: 32692
343.35/344.31 c #Conflicts: 432000 | #Constraints: 33693
343.35/344.31 c #Conflicts: 433000 | #Constraints: 34697
343.35/344.31 c INPROCESSING
343.35/344.31 c GARBAGE COLLECT
343.35/344.31 c rational objective 3
358.31/359.32 c #Conflicts: 434000 | #Constraints: 22626
358.31/359.32 c #Conflicts: 435000 | #Constraints: 23627
358.31/359.32 c #Conflicts: 436000 | #Constraints: 24630
358.31/359.32 c #Conflicts: 437000 | #Constraints: 25630
358.31/359.32 c #Conflicts: 438000 | #Constraints: 26631
358.31/359.32 c #Conflicts: 439000 | #Constraints: 27631
358.31/359.32 c #Conflicts: 440000 | #Constraints: 28631
358.31/359.32 c #Conflicts: 441000 | #Constraints: 29632
358.31/359.32 c #Conflicts: 442000 | #Constraints: 30632
358.31/359.32 c #Conflicts: 443000 | #Constraints: 31633
358.31/359.32 c #Conflicts: 444000 | #Constraints: 32634
358.31/359.32 c #Conflicts: 445000 | #Constraints: 33635
358.31/359.32 c #Conflicts: 446000 | #Constraints: 34636
358.31/359.32 c INPROCESSING
358.31/359.32 c GARBAGE COLLECT
358.31/359.32 c rational objective 3
372.87/373.94 c #Conflicts: 447000 | #Constraints: 22354
372.87/373.94 c #Conflicts: 448000 | #Constraints: 23354
372.87/373.94 c #Conflicts: 449000 | #Constraints: 24355
372.87/373.94 c #Conflicts: 450000 | #Constraints: 25355
372.87/373.94 c #Conflicts: 451000 | #Constraints: 26356
372.87/373.94 c #Conflicts: 452000 | #Constraints: 27358
372.87/373.94 c #Conflicts: 453000 | #Constraints: 28359
372.87/373.94 c #Conflicts: 454000 | #Constraints: 29359
372.87/373.94 c #Conflicts: 455000 | #Constraints: 30361
372.87/373.94 c #Conflicts: 456000 | #Constraints: 31362
372.87/373.94 c #Conflicts: 457000 | #Constraints: 32364
372.87/373.94 c #Conflicts: 458000 | #Constraints: 33364
372.87/373.94 c #Conflicts: 459000 | #Constraints: 34365
372.87/373.94 c #Conflicts: 460000 | #Constraints: 35365
372.87/373.94 c INPROCESSING
372.87/373.94 c GARBAGE COLLECT
372.87/373.94 c rational objective 3
387.63/388.76 c #Conflicts: 461000 | #Constraints: 22956
387.63/388.76 c #Conflicts: 462000 | #Constraints: 23956
387.63/388.76 c #Conflicts: 463000 | #Constraints: 24958
387.63/388.76 c #Conflicts: 464000 | #Constraints: 25958
387.63/388.76 c #Conflicts: 465000 | #Constraints: 26958
387.63/388.76 c #Conflicts: 466000 | #Constraints: 27960
387.63/388.76 c #Conflicts: 467000 | #Constraints: 28961
387.63/388.76 c #Conflicts: 468000 | #Constraints: 29964
387.63/388.76 c #Conflicts: 469000 | #Constraints: 30965
387.63/388.76 c #Conflicts: 470000 | #Constraints: 31965
387.63/388.76 c #Conflicts: 471000 | #Constraints: 32967
387.63/388.76 c #Conflicts: 472000 | #Constraints: 33967
387.63/388.76 c #Conflicts: 473000 | #Constraints: 34967
387.63/388.76 c #Conflicts: 474000 | #Constraints: 35969
387.63/388.76 c INPROCESSING
387.63/388.76 c GARBAGE COLLECT
387.63/388.76 c rational objective 3
401.91/403.08 c #Conflicts: 475000 | #Constraints: 23366
401.91/403.08 c #Conflicts: 476000 | #Constraints: 24366
401.91/403.08 c #Conflicts: 477000 | #Constraints: 25366
401.91/403.08 c #Conflicts: 478000 | #Constraints: 26367
401.91/403.08 c #Conflicts: 479000 | #Constraints: 27368
401.91/403.08 c #Conflicts: 480000 | #Constraints: 28370
401.91/403.08 c #Conflicts: 481000 | #Constraints: 29371
401.91/403.08 c #Conflicts: 482000 | #Constraints: 30372
401.91/403.08 c #Conflicts: 483000 | #Constraints: 31373
401.91/403.08 c #Conflicts: 484000 | #Constraints: 32373
401.91/403.08 c #Conflicts: 485000 | #Constraints: 33373
401.91/403.08 c #Conflicts: 486000 | #Constraints: 34374
401.91/403.08 c #Conflicts: 487000 | #Constraints: 35375
401.91/403.08 c #Conflicts: 488000 | #Constraints: 36375
401.91/403.08 c INPROCESSING
401.91/403.08 c GARBAGE COLLECT
401.91/403.08 c rational objective 3
413.37/414.60 c #Conflicts: 489000 | #Constraints: 23525
413.37/414.60 c #Conflicts: 490000 | #Constraints: 24525
413.37/414.60 c #Conflicts: 491000 | #Constraints: 25525
413.37/414.60 c #Conflicts: 492000 | #Constraints: 26526
413.37/414.60 c #Conflicts: 493000 | #Constraints: 27527
413.37/414.60 c #Conflicts: 494000 | #Constraints: 28527
413.37/414.60 c #Conflicts: 495000 | #Constraints: 29528
413.37/414.60 c #Conflicts: 496000 | #Constraints: 30528
413.37/414.60 c #Conflicts: 497000 | #Constraints: 31528
413.37/414.60 c #Conflicts: 498000 | #Constraints: 32529
413.37/414.60 c #Conflicts: 499000 | #Constraints: 33529
413.37/414.60 c #Conflicts: 500000 | #Constraints: 34529
413.37/414.60 c #Conflicts: 501000 | #Constraints: 35531
413.37/414.60 c #Conflicts: 502000 | #Constraints: 36531
413.37/414.60 c INPROCESSING
413.37/414.60 c GARBAGE COLLECT
413.37/414.60 c rational objective 3
429.22/430.45 c #Conflicts: 503000 | #Constraints: 23516
429.22/430.45 c #Conflicts: 504000 | #Constraints: 24517
429.22/430.45 c #Conflicts: 505000 | #Constraints: 25520
429.22/430.45 c #Conflicts: 506000 | #Constraints: 26521
429.22/430.45 c #Conflicts: 507000 | #Constraints: 27522
429.22/430.45 c #Conflicts: 508000 | #Constraints: 28525
429.22/430.45 c #Conflicts: 509000 | #Constraints: 29529
429.22/430.45 c #Conflicts: 510000 | #Constraints: 30532
429.22/430.45 c #Conflicts: 511000 | #Constraints: 31533
429.22/430.45 c #Conflicts: 512000 | #Constraints: 32535
429.22/430.45 c #Conflicts: 513000 | #Constraints: 33536
429.22/430.45 c #Conflicts: 514000 | #Constraints: 34537
429.22/430.45 c #Conflicts: 515000 | #Constraints: 35537
429.22/430.45 c #Conflicts: 516000 | #Constraints: 36538
429.22/430.45 c INPROCESSING
429.22/430.45 c GARBAGE COLLECT
429.22/430.45 c rational objective 3
445.38/446.61 c #Conflicts: 517000 | #Constraints: 23329
445.38/446.61 c #Conflicts: 518000 | #Constraints: 24329
445.38/446.61 c #Conflicts: 519000 | #Constraints: 25330
445.38/446.61 c #Conflicts: 520000 | #Constraints: 26330
445.38/446.61 c #Conflicts: 521000 | #Constraints: 27330
445.38/446.61 c #Conflicts: 522000 | #Constraints: 28331
445.38/446.61 c #Conflicts: 523000 | #Constraints: 29334
445.38/446.61 c #Conflicts: 524000 | #Constraints: 30335
445.38/446.61 c #Conflicts: 525000 | #Constraints: 31335
445.38/446.61 c #Conflicts: 526000 | #Constraints: 32336
445.38/446.61 c #Conflicts: 527000 | #Constraints: 33336
445.38/446.61 c #Conflicts: 528000 | #Constraints: 34337
445.38/446.61 c #Conflicts: 529000 | #Constraints: 35337
445.38/446.61 c #Conflicts: 530000 | #Constraints: 36338
445.38/446.61 c #Conflicts: 531000 | #Constraints: 37338
445.38/446.61 c INPROCESSING
445.38/446.61 c GARBAGE COLLECT
445.38/446.61 c rational objective 3
463.44/464.73 c #Conflicts: 532000 | #Constraints: 23927
463.44/464.73 c #Conflicts: 533000 | #Constraints: 24927
463.44/464.73 c #Conflicts: 534000 | #Constraints: 25928
463.44/464.73 c #Conflicts: 535000 | #Constraints: 26928
463.44/464.73 c #Conflicts: 536000 | #Constraints: 27930
463.44/464.73 c #Conflicts: 537000 | #Constraints: 28933
463.44/464.73 c #Conflicts: 538000 | #Constraints: 29933
463.44/464.73 c #Conflicts: 539000 | #Constraints: 30933
463.44/464.73 c #Conflicts: 540000 | #Constraints: 31933
463.44/464.73 c #Conflicts: 541000 | #Constraints: 32933
463.44/464.73 c #Conflicts: 542000 | #Constraints: 33934
463.44/464.73 c #Conflicts: 543000 | #Constraints: 34936
463.44/464.73 c #Conflicts: 544000 | #Constraints: 35936
463.44/464.73 c #Conflicts: 545000 | #Constraints: 36936
463.44/464.73 c #Conflicts: 546000 | #Constraints: 37936
463.44/464.73 c INPROCESSING
463.44/464.73 c GARBAGE COLLECT
463.44/464.73 c rational objective 3
481.09/482.43 c #Conflicts: 547000 | #Constraints: 24319
481.09/482.43 c #Conflicts: 548000 | #Constraints: 25321
481.09/482.43 c #Conflicts: 549000 | #Constraints: 26321
481.09/482.43 c #Conflicts: 550000 | #Constraints: 27322
481.09/482.43 c #Conflicts: 551000 | #Constraints: 28322
481.09/482.43 c #Conflicts: 552000 | #Constraints: 29323
481.09/482.43 c #Conflicts: 553000 | #Constraints: 30324
481.09/482.43 c #Conflicts: 554000 | #Constraints: 31324
481.09/482.43 c #Conflicts: 555000 | #Constraints: 32324
481.09/482.43 c #Conflicts: 556000 | #Constraints: 33324
481.09/482.43 c #Conflicts: 557000 | #Constraints: 34325
481.09/482.43 c #Conflicts: 558000 | #Constraints: 35328
481.09/482.43 c #Conflicts: 559000 | #Constraints: 36328
481.09/482.43 c #Conflicts: 560000 | #Constraints: 37329
481.09/482.43 c #Conflicts: 561000 | #Constraints: 38330
481.09/482.43 c INPROCESSING
481.09/482.43 c GARBAGE COLLECT
481.09/482.43 c rational objective 3
498.04/499.49 c #Conflicts: 562000 | #Constraints: 24512
498.04/499.49 c #Conflicts: 563000 | #Constraints: 25512
498.04/499.49 c #Conflicts: 564000 | #Constraints: 26515
498.04/499.49 c #Conflicts: 565000 | #Constraints: 27516
498.04/499.49 c #Conflicts: 566000 | #Constraints: 28517
498.04/499.49 c #Conflicts: 567000 | #Constraints: 29517
498.04/499.49 c #Conflicts: 568000 | #Constraints: 30519
498.04/499.49 c #Conflicts: 569000 | #Constraints: 31521
498.04/499.49 c #Conflicts: 570000 | #Constraints: 32521
498.04/499.49 c #Conflicts: 571000 | #Constraints: 33524
498.04/499.49 c #Conflicts: 572000 | #Constraints: 34524
498.04/499.49 c #Conflicts: 573000 | #Constraints: 35526
498.04/499.49 c #Conflicts: 574000 | #Constraints: 36528
498.04/499.49 c #Conflicts: 575000 | #Constraints: 37529
498.04/499.49 c #Conflicts: 576000 | #Constraints: 38531
498.04/499.49 c INPROCESSING
498.04/499.49 c GARBAGE COLLECT
498.04/499.49 c rational objective 3
515.20/516.64 c #Conflicts: 577000 | #Constraints: 24537
515.20/516.64 c #Conflicts: 578000 | #Constraints: 25537
515.20/516.64 c #Conflicts: 579000 | #Constraints: 26538
515.20/516.64 c #Conflicts: 580000 | #Constraints: 27541
515.20/516.64 c #Conflicts: 581000 | #Constraints: 28544
515.20/516.64 c #Conflicts: 582000 | #Constraints: 29544
515.20/516.64 c #Conflicts: 583000 | #Constraints: 30545
515.20/516.64 c #Conflicts: 584000 | #Constraints: 31547
515.20/516.64 c #Conflicts: 585000 | #Constraints: 32547
515.20/516.64 c #Conflicts: 586000 | #Constraints: 33547
515.20/516.64 c #Conflicts: 587000 | #Constraints: 34548
515.20/516.64 c #Conflicts: 588000 | #Constraints: 35549
515.20/516.64 c #Conflicts: 589000 | #Constraints: 36549
515.20/516.64 c #Conflicts: 590000 | #Constraints: 37551
515.20/516.64 c #Conflicts: 591000 | #Constraints: 38551
515.20/516.64 c INPROCESSING
515.20/516.64 c GARBAGE COLLECT
515.20/516.64 c rational objective 3
538.43/539.99 c #Conflicts: 592000 | #Constraints: 24323
538.43/539.99 c #Conflicts: 593000 | #Constraints: 25323
538.43/539.99 c #Conflicts: 594000 | #Constraints: 26323
538.43/539.99 c #Conflicts: 595000 | #Constraints: 27323
538.43/539.99 c #Conflicts: 596000 | #Constraints: 28323
538.43/539.99 c #Conflicts: 597000 | #Constraints: 29323
538.43/539.99 c #Conflicts: 598000 | #Constraints: 30323
538.43/539.99 c #Conflicts: 599000 | #Constraints: 31324
538.43/539.99 c #Conflicts: 600000 | #Constraints: 32325
538.43/539.99 c #Conflicts: 601000 | #Constraints: 33325
538.43/539.99 c #Conflicts: 602000 | #Constraints: 34325
538.43/539.99 c #Conflicts: 603000 | #Constraints: 35325
538.43/539.99 c #Conflicts: 604000 | #Constraints: 36326
538.43/539.99 c #Conflicts: 605000 | #Constraints: 37327
538.43/539.99 c #Conflicts: 606000 | #Constraints: 38328
538.43/539.99 c #Conflicts: 607000 | #Constraints: 39329
538.43/539.99 c INPROCESSING
538.43/539.99 c GARBAGE COLLECT
538.43/539.99 c rational objective 3
556.49/558.02 c #Conflicts: 608000 | #Constraints: 24888
556.49/558.02 c #Conflicts: 609000 | #Constraints: 25889
556.49/558.02 c #Conflicts: 610000 | #Constraints: 26889
556.49/558.02 c #Conflicts: 611000 | #Constraints: 27890
556.49/558.02 c #Conflicts: 612000 | #Constraints: 28892
556.49/558.02 c #Conflicts: 613000 | #Constraints: 29896
556.49/558.02 c #Conflicts: 614000 | #Constraints: 30896
556.49/558.02 c #Conflicts: 615000 | #Constraints: 31896
556.49/558.02 c #Conflicts: 616000 | #Constraints: 32896
556.49/558.02 c #Conflicts: 617000 | #Constraints: 33896
556.49/558.02 c #Conflicts: 618000 | #Constraints: 34896
556.49/558.02 c #Conflicts: 619000 | #Constraints: 35896
556.49/558.02 c #Conflicts: 620000 | #Constraints: 36896
556.49/558.02 c #Conflicts: 621000 | #Constraints: 37896
556.49/558.02 c #Conflicts: 622000 | #Constraints: 38896
556.49/558.02 c #Conflicts: 623000 | #Constraints: 39896
556.49/558.02 c INPROCESSING
556.49/558.02 c GARBAGE COLLECT
556.49/558.02 c rational objective 3
575.74/577.38 c #Conflicts: 624000 | #Constraints: 25282
575.74/577.38 c #Conflicts: 625000 | #Constraints: 26282
575.74/577.38 c #Conflicts: 626000 | #Constraints: 27282
575.74/577.38 c #Conflicts: 627000 | #Constraints: 28283
575.74/577.38 c #Conflicts: 628000 | #Constraints: 29283
575.74/577.38 c #Conflicts: 629000 | #Constraints: 30284
575.74/577.38 c #Conflicts: 630000 | #Constraints: 31284
575.74/577.38 c #Conflicts: 631000 | #Constraints: 32284
575.74/577.38 c #Conflicts: 632000 | #Constraints: 33285
575.74/577.38 c #Conflicts: 633000 | #Constraints: 34287
575.74/577.38 c #Conflicts: 634000 | #Constraints: 35287
575.74/577.38 c #Conflicts: 635000 | #Constraints: 36287
575.74/577.38 c #Conflicts: 636000 | #Constraints: 37288
575.74/577.38 c #Conflicts: 637000 | #Constraints: 38288
575.74/577.38 c #Conflicts: 638000 | #Constraints: 39288
575.74/577.38 c #Conflicts: 639000 | #Constraints: 40288
575.74/577.38 c INPROCESSING
575.74/577.38 c GARBAGE COLLECT
575.74/577.38 c rational objective 3
596.59/598.28 c #Conflicts: 640000 | #Constraints: 25481
596.59/598.28 c #Conflicts: 641000 | #Constraints: 26481
596.59/598.28 c #Conflicts: 642000 | #Constraints: 27484
596.59/598.28 c #Conflicts: 643000 | #Constraints: 28484
596.59/598.28 c #Conflicts: 644000 | #Constraints: 29485
596.59/598.28 c #Conflicts: 645000 | #Constraints: 30486
596.59/598.28 c #Conflicts: 646000 | #Constraints: 31487
596.59/598.28 c #Conflicts: 647000 | #Constraints: 32487
596.59/598.28 c #Conflicts: 648000 | #Constraints: 33489
596.59/598.28 c #Conflicts: 649000 | #Constraints: 34490
596.59/598.28 c #Conflicts: 650000 | #Constraints: 35492
596.59/598.28 c #Conflicts: 651000 | #Constraints: 36493
596.59/598.28 c #Conflicts: 652000 | #Constraints: 37495
596.59/598.28 c #Conflicts: 653000 | #Constraints: 38498
596.59/598.28 c #Conflicts: 654000 | #Constraints: 39499
596.59/598.28 c #Conflicts: 655000 | #Constraints: 40501
596.59/598.28 c INPROCESSING
596.59/598.28 c GARBAGE COLLECT
596.59/598.28 c rational objective 3
615.04/616.70 c #Conflicts: 656000 | #Constraints: 25490
615.04/616.70 c #Conflicts: 657000 | #Constraints: 26490
615.04/616.70 c #Conflicts: 658000 | #Constraints: 27491
615.04/616.70 c #Conflicts: 659000 | #Constraints: 28492
615.04/616.70 c #Conflicts: 660000 | #Constraints: 29493
615.04/616.70 c #Conflicts: 661000 | #Constraints: 30494
615.04/616.70 c #Conflicts: 662000 | #Constraints: 31496
615.04/616.70 c #Conflicts: 663000 | #Constraints: 32497
615.04/616.70 c #Conflicts: 664000 | #Constraints: 33499
615.04/616.70 c #Conflicts: 665000 | #Constraints: 34501
615.04/616.70 c #Conflicts: 666000 | #Constraints: 35502
615.04/616.70 c #Conflicts: 667000 | #Constraints: 36504
615.04/616.70 c #Conflicts: 668000 | #Constraints: 37505
615.04/616.70 c #Conflicts: 669000 | #Constraints: 38505
615.04/616.70 c #Conflicts: 670000 | #Constraints: 39507
615.04/616.70 c #Conflicts: 671000 | #Constraints: 40508
615.04/616.70 c INPROCESSING
615.04/616.70 c GARBAGE COLLECT
615.04/616.70 c rational objective 3
636.88/638.63 c #Conflicts: 672000 | #Constraints: 25269
636.88/638.63 c #Conflicts: 673000 | #Constraints: 26269
636.88/638.63 c #Conflicts: 674000 | #Constraints: 27273
636.88/638.63 c #Conflicts: 675000 | #Constraints: 28273
636.88/638.63 c #Conflicts: 676000 | #Constraints: 29273
636.88/638.63 c #Conflicts: 677000 | #Constraints: 30273
636.88/638.63 c #Conflicts: 678000 | #Constraints: 31274
636.88/638.63 c #Conflicts: 679000 | #Constraints: 32274
636.88/638.63 c #Conflicts: 680000 | #Constraints: 33275
636.88/638.63 c #Conflicts: 681000 | #Constraints: 34275
636.88/638.63 c #Conflicts: 682000 | #Constraints: 35276
636.88/638.63 c #Conflicts: 683000 | #Constraints: 36276
636.88/638.63 c #Conflicts: 684000 | #Constraints: 37276
636.88/638.63 c #Conflicts: 685000 | #Constraints: 38276
636.88/638.63 c #Conflicts: 686000 | #Constraints: 39277
636.88/638.63 c #Conflicts: 687000 | #Constraints: 40278
636.88/638.63 c #Conflicts: 688000 | #Constraints: 41279
636.88/638.63 c INPROCESSING
636.88/638.63 c GARBAGE COLLECT
636.88/638.63 c rational objective 3
660.01/661.81 c #Conflicts: 689000 | #Constraints: 25840
660.01/661.81 c #Conflicts: 690000 | #Constraints: 26840
660.01/661.81 c #Conflicts: 691000 | #Constraints: 27841
660.01/661.81 c #Conflicts: 692000 | #Constraints: 28842
660.01/661.81 c #Conflicts: 693000 | #Constraints: 29843
660.01/661.81 c #Conflicts: 694000 | #Constraints: 30844
660.01/661.81 c #Conflicts: 695000 | #Constraints: 31847
660.01/661.81 c #Conflicts: 696000 | #Constraints: 32850
660.01/661.81 c #Conflicts: 697000 | #Constraints: 33853
660.01/661.81 c #Conflicts: 698000 | #Constraints: 34857
660.01/661.81 c #Conflicts: 699000 | #Constraints: 35859
660.01/661.81 c #Conflicts: 700000 | #Constraints: 36860
660.01/661.81 c #Conflicts: 701000 | #Constraints: 37863
660.01/661.81 c #Conflicts: 702000 | #Constraints: 38866
660.01/661.81 c #Conflicts: 703000 | #Constraints: 39870
660.01/661.81 c #Conflicts: 704000 | #Constraints: 40871
660.01/661.81 c #Conflicts: 705000 | #Constraints: 41872
660.01/661.81 c INPROCESSING
660.01/661.81 c GARBAGE COLLECT
660.01/661.81 c rational objective 3
681.76/683.65 c #Conflicts: 706000 | #Constraints: 26193
681.76/683.65 c #Conflicts: 707000 | #Constraints: 27198
681.76/683.65 c #Conflicts: 708000 | #Constraints: 28201
681.76/683.65 c #Conflicts: 709000 | #Constraints: 29202
681.76/683.65 c #Conflicts: 710000 | #Constraints: 30203
681.76/683.65 c #Conflicts: 711000 | #Constraints: 31206
681.76/683.65 c #Conflicts: 712000 | #Constraints: 32208
681.76/683.65 c #Conflicts: 713000 | #Constraints: 33210
681.76/683.65 c #Conflicts: 714000 | #Constraints: 34210
681.76/683.65 c #Conflicts: 715000 | #Constraints: 35212
681.76/683.65 c #Conflicts: 716000 | #Constraints: 36215
681.76/683.65 c #Conflicts: 717000 | #Constraints: 37220
681.76/683.65 c #Conflicts: 718000 | #Constraints: 38221
681.76/683.65 c #Conflicts: 719000 | #Constraints: 39222
681.76/683.65 c #Conflicts: 720000 | #Constraints: 40222
681.76/683.65 c #Conflicts: 721000 | #Constraints: 41223
681.76/683.65 c #Conflicts: 722000 | #Constraints: 42224
681.76/683.65 c INPROCESSING
681.76/683.65 c GARBAGE COLLECT
681.76/683.65 c rational objective 3
704.00/705.94 c #Conflicts: 723000 | #Constraints: 26386
704.00/705.94 c #Conflicts: 724000 | #Constraints: 27386
704.00/705.94 c #Conflicts: 725000 | #Constraints: 28388
704.00/705.94 c #Conflicts: 726000 | #Constraints: 29389
704.00/705.94 c #Conflicts: 727000 | #Constraints: 30390
704.00/705.94 c #Conflicts: 728000 | #Constraints: 31390
704.00/705.94 c #Conflicts: 729000 | #Constraints: 32390
704.00/705.94 c #Conflicts: 730000 | #Constraints: 33392
704.00/705.94 c #Conflicts: 731000 | #Constraints: 34393
704.00/705.94 c #Conflicts: 732000 | #Constraints: 35393
704.00/705.94 c #Conflicts: 733000 | #Constraints: 36393
704.00/705.94 c #Conflicts: 734000 | #Constraints: 37393
704.00/705.94 c #Conflicts: 735000 | #Constraints: 38394
704.00/705.94 c #Conflicts: 736000 | #Constraints: 39394
704.00/705.94 c #Conflicts: 737000 | #Constraints: 40394
704.00/705.94 c #Conflicts: 738000 | #Constraints: 41395
704.00/705.94 c #Conflicts: 739000 | #Constraints: 42395
704.00/705.94 c INPROCESSING
704.00/705.94 c GARBAGE COLLECT
704.00/705.94 c rational objective 3
728.24/730.24 c #Conflicts: 740000 | #Constraints: 26360
728.24/730.24 c #Conflicts: 741000 | #Constraints: 27360
728.24/730.24 c #Conflicts: 742000 | #Constraints: 28360
728.24/730.24 c #Conflicts: 743000 | #Constraints: 29361
728.24/730.24 c #Conflicts: 744000 | #Constraints: 30361
728.24/730.24 c #Conflicts: 745000 | #Constraints: 31362
728.24/730.24 c #Conflicts: 746000 | #Constraints: 32363
728.24/730.24 c #Conflicts: 747000 | #Constraints: 33365
728.24/730.24 c #Conflicts: 748000 | #Constraints: 34368
728.24/730.24 c #Conflicts: 749000 | #Constraints: 35368
728.24/730.24 c #Conflicts: 750000 | #Constraints: 36372
728.24/730.24 c #Conflicts: 751000 | #Constraints: 37373
728.24/730.24 c #Conflicts: 752000 | #Constraints: 38377
728.24/730.24 c #Conflicts: 753000 | #Constraints: 39379
728.24/730.24 c #Conflicts: 754000 | #Constraints: 40381
728.24/730.24 c #Conflicts: 755000 | #Constraints: 41383
728.24/730.24 c #Conflicts: 756000 | #Constraints: 42383
728.24/730.24 c INPROCESSING
728.24/730.24 c GARBAGE COLLECT
728.24/730.24 c rational objective 3
748.18/750.29 c #Conflicts: 757000 | #Constraints: 26110
748.18/750.29 c #Conflicts: 758000 | #Constraints: 27110
748.18/750.29 c #Conflicts: 759000 | #Constraints: 28111
748.18/750.29 c #Conflicts: 760000 | #Constraints: 29111
748.18/750.29 c #Conflicts: 761000 | #Constraints: 30112
748.18/750.29 c #Conflicts: 762000 | #Constraints: 31112
748.18/750.29 c #Conflicts: 763000 | #Constraints: 32113
748.18/750.29 c #Conflicts: 764000 | #Constraints: 33113
748.18/750.29 c #Conflicts: 765000 | #Constraints: 34114
748.18/750.29 c #Conflicts: 766000 | #Constraints: 35114
748.18/750.29 c #Conflicts: 767000 | #Constraints: 36116
748.18/750.29 c #Conflicts: 768000 | #Constraints: 37117
748.18/750.29 c #Conflicts: 769000 | #Constraints: 38117
748.18/750.29 c #Conflicts: 770000 | #Constraints: 39117
748.18/750.29 c #Conflicts: 771000 | #Constraints: 40117
748.18/750.29 c #Conflicts: 772000 | #Constraints: 41117
748.18/750.29 c #Conflicts: 773000 | #Constraints: 42117
748.18/750.29 c #Conflicts: 774000 | #Constraints: 43118
748.18/750.29 c INPROCESSING
748.18/750.29 c GARBAGE COLLECT
748.18/750.29 c rational objective 3
769.83/771.91 c #Conflicts: 775000 | #Constraints: 26672
769.83/771.91 c #Conflicts: 776000 | #Constraints: 27672
769.83/771.91 c #Conflicts: 777000 | #Constraints: 28675
769.83/771.91 c #Conflicts: 778000 | #Constraints: 29676
769.83/771.91 c #Conflicts: 779000 | #Constraints: 30676
769.83/771.91 c #Conflicts: 780000 | #Constraints: 31676
769.83/771.91 c #Conflicts: 781000 | #Constraints: 32676
769.83/771.91 c #Conflicts: 782000 | #Constraints: 33676
769.83/771.91 c #Conflicts: 783000 | #Constraints: 34677
769.83/771.91 c #Conflicts: 784000 | #Constraints: 35679
769.83/771.91 c #Conflicts: 785000 | #Constraints: 36681
769.83/771.91 c #Conflicts: 786000 | #Constraints: 37682
769.83/771.91 c #Conflicts: 787000 | #Constraints: 38683
769.83/771.91 c #Conflicts: 788000 | #Constraints: 39684
769.83/771.91 c #Conflicts: 789000 | #Constraints: 40685
769.83/771.91 c #Conflicts: 790000 | #Constraints: 41685
769.83/771.91 c #Conflicts: 791000 | #Constraints: 42685
769.83/771.91 c #Conflicts: 792000 | #Constraints: 43685
769.83/771.91 c INPROCESSING
769.83/771.91 c GARBAGE COLLECT
769.83/771.91 c rational objective 3
794.27/796.45 c #Conflicts: 793000 | #Constraints: 27074
794.27/796.45 c #Conflicts: 794000 | #Constraints: 28074
794.27/796.45 c #Conflicts: 795000 | #Constraints: 29075
794.27/796.45 c #Conflicts: 796000 | #Constraints: 30079
794.27/796.45 c #Conflicts: 797000 | #Constraints: 31082
794.27/796.45 c #Conflicts: 798000 | #Constraints: 32084
794.27/796.45 c #Conflicts: 799000 | #Constraints: 33085
794.27/796.45 c #Conflicts: 800000 | #Constraints: 34087
794.27/796.45 c #Conflicts: 801000 | #Constraints: 35091
794.27/796.45 c #Conflicts: 802000 | #Constraints: 36093
794.27/796.45 c #Conflicts: 803000 | #Constraints: 37095
794.27/796.45 c #Conflicts: 804000 | #Constraints: 38095
794.27/796.45 c #Conflicts: 805000 | #Constraints: 39096
794.27/796.45 c #Conflicts: 806000 | #Constraints: 40096
794.27/796.45 c #Conflicts: 807000 | #Constraints: 41096
794.27/796.45 c #Conflicts: 808000 | #Constraints: 42096
794.27/796.45 c #Conflicts: 809000 | #Constraints: 43096
794.27/796.45 c #Conflicts: 810000 | #Constraints: 44098
794.27/796.45 c INPROCESSING
794.27/796.45 c GARBAGE COLLECT
794.27/796.45 c rational objective 3
816.20/818.41 c #Conflicts: 811000 | #Constraints: 27270
816.20/818.41 c #Conflicts: 812000 | #Constraints: 28270
816.20/818.41 c #Conflicts: 813000 | #Constraints: 29271
816.20/818.41 c #Conflicts: 814000 | #Constraints: 30271
816.20/818.41 c #Conflicts: 815000 | #Constraints: 31272
816.20/818.41 c #Conflicts: 816000 | #Constraints: 32273
816.20/818.41 c #Conflicts: 817000 | #Constraints: 33273
816.20/818.41 c #Conflicts: 818000 | #Constraints: 34274
816.20/818.41 c #Conflicts: 819000 | #Constraints: 35274
816.20/818.41 c #Conflicts: 820000 | #Constraints: 36274
816.20/818.41 c #Conflicts: 821000 | #Constraints: 37275
816.20/818.41 c #Conflicts: 822000 | #Constraints: 38275
816.20/818.41 c #Conflicts: 823000 | #Constraints: 39275
816.20/818.41 c #Conflicts: 824000 | #Constraints: 40275
816.20/818.41 c #Conflicts: 825000 | #Constraints: 41275
816.20/818.41 c #Conflicts: 826000 | #Constraints: 42276
816.20/818.41 c #Conflicts: 827000 | #Constraints: 43276
816.20/818.41 c #Conflicts: 828000 | #Constraints: 44276
816.20/818.41 c INPROCESSING
816.20/818.41 c GARBAGE COLLECT
816.20/818.41 c rational objective 3
838.05/840.39 c #Conflicts: 829000 | #Constraints: 27269
838.05/840.39 c #Conflicts: 830000 | #Constraints: 28269
838.05/840.39 c #Conflicts: 831000 | #Constraints: 29269
838.05/840.39 c #Conflicts: 832000 | #Constraints: 30270
838.05/840.39 c #Conflicts: 833000 | #Constraints: 31270
838.05/840.39 c #Conflicts: 834000 | #Constraints: 32271
838.05/840.39 c #Conflicts: 835000 | #Constraints: 33272
838.05/840.39 c #Conflicts: 836000 | #Constraints: 34272
838.05/840.39 c #Conflicts: 837000 | #Constraints: 35272
838.05/840.39 c #Conflicts: 838000 | #Constraints: 36273
838.05/840.39 c #Conflicts: 839000 | #Constraints: 37273
838.05/840.39 c #Conflicts: 840000 | #Constraints: 38273
838.05/840.39 c #Conflicts: 841000 | #Constraints: 39273
838.05/840.39 c #Conflicts: 842000 | #Constraints: 40275
838.05/840.39 c #Conflicts: 843000 | #Constraints: 41276
838.05/840.39 c #Conflicts: 844000 | #Constraints: 42276
838.05/840.39 c #Conflicts: 845000 | #Constraints: 43276
838.05/840.39 c #Conflicts: 846000 | #Constraints: 44276
838.05/840.39 c INPROCESSING
838.05/840.39 c GARBAGE COLLECT
838.05/840.39 c rational objective 3
866.58/868.95 c #Conflicts: 847000 | #Constraints: 27003
866.58/868.95 c #Conflicts: 848000 | #Constraints: 28003
866.58/868.95 c #Conflicts: 849000 | #Constraints: 29003
866.58/868.95 c #Conflicts: 850000 | #Constraints: 30006
866.58/868.95 c #Conflicts: 851000 | #Constraints: 31007
866.58/868.95 c #Conflicts: 852000 | #Constraints: 32008
866.58/868.95 c #Conflicts: 853000 | #Constraints: 33009
866.58/868.95 c #Conflicts: 854000 | #Constraints: 34012
866.58/868.95 c #Conflicts: 855000 | #Constraints: 35014
866.58/868.95 c #Conflicts: 856000 | #Constraints: 36014
866.58/868.95 c #Conflicts: 857000 | #Constraints: 37015
866.58/868.95 c #Conflicts: 858000 | #Constraints: 38017
866.58/868.95 c #Conflicts: 859000 | #Constraints: 39017
866.58/868.95 c #Conflicts: 860000 | #Constraints: 40017
866.58/868.95 c #Conflicts: 861000 | #Constraints: 41018
866.58/868.95 c #Conflicts: 862000 | #Constraints: 42018
866.58/868.95 c #Conflicts: 863000 | #Constraints: 43019
866.58/868.95 c #Conflicts: 864000 | #Constraints: 44019
866.58/868.95 c #Conflicts: 865000 | #Constraints: 45020
866.58/868.95 c INPROCESSING
866.58/868.95 c GARBAGE COLLECT
866.58/868.95 c rational objective 3
892.81/895.27 c #Conflicts: 866000 | #Constraints: 27600
892.81/895.27 c #Conflicts: 867000 | #Constraints: 28602
892.81/895.27 c #Conflicts: 868000 | #Constraints: 29605
892.81/895.27 c #Conflicts: 869000 | #Constraints: 30608
892.81/895.27 c #Conflicts: 870000 | #Constraints: 31609
892.81/895.27 c #Conflicts: 871000 | #Constraints: 32610
892.81/895.27 c #Conflicts: 872000 | #Constraints: 33610
892.81/895.27 c #Conflicts: 873000 | #Constraints: 34611
892.81/895.27 c #Conflicts: 874000 | #Constraints: 35613
892.81/895.27 c #Conflicts: 875000 | #Constraints: 36616
892.81/895.27 c #Conflicts: 876000 | #Constraints: 37617
892.81/895.27 c #Conflicts: 877000 | #Constraints: 38618
892.81/895.27 c #Conflicts: 878000 | #Constraints: 39620
892.81/895.27 c #Conflicts: 879000 | #Constraints: 40622
892.81/895.27 c #Conflicts: 880000 | #Constraints: 41623
892.81/895.27 c #Conflicts: 881000 | #Constraints: 42623
892.81/895.27 c #Conflicts: 882000 | #Constraints: 43623
892.81/895.27 c #Conflicts: 883000 | #Constraints: 44623
892.81/895.27 c #Conflicts: 884000 | #Constraints: 45623
892.81/895.27 c INPROCESSING
892.81/895.27 c GARBAGE COLLECT
892.81/895.27 c rational objective 3
917.55/920.01 c #Conflicts: 885000 | #Constraints: 27928
917.55/920.01 c #Conflicts: 886000 | #Constraints: 28928
917.55/920.01 c #Conflicts: 887000 | #Constraints: 29931
917.55/920.01 c #Conflicts: 888000 | #Constraints: 30933
917.55/920.01 c #Conflicts: 889000 | #Constraints: 31935
917.55/920.01 c #Conflicts: 890000 | #Constraints: 32935
917.55/920.01 c #Conflicts: 891000 | #Constraints: 33936
917.55/920.01 c #Conflicts: 892000 | #Constraints: 34939
917.55/920.01 c #Conflicts: 893000 | #Constraints: 35940
917.55/920.01 c #Conflicts: 894000 | #Constraints: 36941
917.55/920.01 c #Conflicts: 895000 | #Constraints: 37943
917.55/920.01 c #Conflicts: 896000 | #Constraints: 38944
917.55/920.01 c #Conflicts: 897000 | #Constraints: 39946
917.55/920.01 c #Conflicts: 898000 | #Constraints: 40947
917.55/920.01 c #Conflicts: 899000 | #Constraints: 41954
917.55/920.01 c #Conflicts: 900000 | #Constraints: 42955
917.55/920.01 c #Conflicts: 901000 | #Constraints: 43956
917.55/920.01 c #Conflicts: 902000 | #Constraints: 44957
917.55/920.01 c #Conflicts: 903000 | #Constraints: 45957
917.55/920.01 c INPROCESSING
917.55/920.01 c GARBAGE COLLECT
917.55/920.01 c rational objective 3
945.57/948.11 c #Conflicts: 904000 | #Constraints: 28125
945.57/948.11 c #Conflicts: 905000 | #Constraints: 29125
945.57/948.11 c #Conflicts: 906000 | #Constraints: 30125
945.57/948.11 c #Conflicts: 907000 | #Constraints: 31127
945.57/948.11 c #Conflicts: 908000 | #Constraints: 32127
945.57/948.11 c #Conflicts: 909000 | #Constraints: 33127
945.57/948.11 c #Conflicts: 910000 | #Constraints: 34128
945.57/948.11 c #Conflicts: 911000 | #Constraints: 35130
945.57/948.11 c #Conflicts: 912000 | #Constraints: 36132
945.57/948.11 c #Conflicts: 913000 | #Constraints: 37133
945.57/948.11 c #Conflicts: 914000 | #Constraints: 38133
945.57/948.11 c #Conflicts: 915000 | #Constraints: 39135
945.57/948.11 c #Conflicts: 916000 | #Constraints: 40135
945.57/948.11 c #Conflicts: 917000 | #Constraints: 41135
945.57/948.11 c #Conflicts: 918000 | #Constraints: 42135
945.57/948.11 c #Conflicts: 919000 | #Constraints: 43135
945.57/948.11 c #Conflicts: 920000 | #Constraints: 44135
945.57/948.11 c #Conflicts: 921000 | #Constraints: 45135
945.57/948.11 c #Conflicts: 922000 | #Constraints: 46135
945.57/948.11 c INPROCESSING
945.57/948.11 c GARBAGE COLLECT
945.57/948.11 c rational objective 3
974.30/976.96 c #Conflicts: 923000 | #Constraints: 28081
974.30/976.96 c #Conflicts: 924000 | #Constraints: 29081
974.30/976.96 c #Conflicts: 925000 | #Constraints: 30082
974.30/976.96 c #Conflicts: 926000 | #Constraints: 31084
974.30/976.96 c #Conflicts: 927000 | #Constraints: 32084
974.30/976.96 c #Conflicts: 928000 | #Constraints: 33086
974.30/976.96 c #Conflicts: 929000 | #Constraints: 34090
974.30/976.96 c #Conflicts: 930000 | #Constraints: 35091
974.30/976.96 c #Conflicts: 931000 | #Constraints: 36091
974.30/976.96 c #Conflicts: 932000 | #Constraints: 37091
974.30/976.96 c #Conflicts: 933000 | #Constraints: 38091
974.30/976.96 c #Conflicts: 934000 | #Constraints: 39091
974.30/976.96 c #Conflicts: 935000 | #Constraints: 40093
974.30/976.96 c #Conflicts: 936000 | #Constraints: 41093
974.30/976.96 c #Conflicts: 937000 | #Constraints: 42093
974.30/976.96 c #Conflicts: 938000 | #Constraints: 43094
974.30/976.96 c #Conflicts: 939000 | #Constraints: 44096
974.30/976.96 c #Conflicts: 940000 | #Constraints: 45098
974.30/976.96 c #Conflicts: 941000 | #Constraints: 46099
974.30/976.96 c INPROCESSING
974.30/976.96 c GARBAGE COLLECT
974.30/976.96 c rational objective 3
1004.72/1007.48 c #Conflicts: 942000 | #Constraints: 27881
1004.72/1007.48 c #Conflicts: 943000 | #Constraints: 28881
1004.72/1007.48 c #Conflicts: 944000 | #Constraints: 29882
1004.72/1007.48 c #Conflicts: 945000 | #Constraints: 30885
1004.72/1007.48 c #Conflicts: 946000 | #Constraints: 31886
1004.72/1007.48 c #Conflicts: 947000 | #Constraints: 32886
1004.72/1007.48 c #Conflicts: 948000 | #Constraints: 33889
1004.72/1007.48 c #Conflicts: 949000 | #Constraints: 34889
1004.72/1007.48 c #Conflicts: 950000 | #Constraints: 35889
1004.72/1007.48 c #Conflicts: 951000 | #Constraints: 36891
1004.72/1007.48 c #Conflicts: 952000 | #Constraints: 37891
1004.72/1007.48 c #Conflicts: 953000 | #Constraints: 38893
1004.72/1007.48 c #Conflicts: 954000 | #Constraints: 39895
1004.72/1007.48 c #Conflicts: 955000 | #Constraints: 40895
1004.72/1007.48 c #Conflicts: 956000 | #Constraints: 41896
1004.72/1007.48 c #Conflicts: 957000 | #Constraints: 42897
1004.72/1007.48 c #Conflicts: 958000 | #Constraints: 43897
1004.72/1007.48 c #Conflicts: 959000 | #Constraints: 44897
1004.72/1007.48 c #Conflicts: 960000 | #Constraints: 45899
1004.72/1007.48 c #Conflicts: 961000 | #Constraints: 46899
1004.72/1007.48 c INPROCESSING
1004.72/1007.48 c GARBAGE COLLECT
1004.72/1007.48 c rational objective 3
1032.04/1034.82 c #Conflicts: 962000 | #Constraints: 28425
1032.04/1034.82 c #Conflicts: 963000 | #Constraints: 29427
1032.04/1034.82 c #Conflicts: 964000 | #Constraints: 30427
1032.04/1034.82 c #Conflicts: 965000 | #Constraints: 31428
1032.04/1034.82 c #Conflicts: 966000 | #Constraints: 32430
1032.04/1034.82 c #Conflicts: 967000 | #Constraints: 33430
1032.04/1034.82 c #Conflicts: 968000 | #Constraints: 34432
1032.04/1034.82 c #Conflicts: 969000 | #Constraints: 35433
1032.04/1034.82 c #Conflicts: 970000 | #Constraints: 36434
1032.04/1034.82 c #Conflicts: 971000 | #Constraints: 37434
1032.04/1034.82 c #Conflicts: 972000 | #Constraints: 38434
1032.04/1034.82 c #Conflicts: 973000 | #Constraints: 39434
1032.04/1034.82 c #Conflicts: 974000 | #Constraints: 40434
1032.04/1034.82 c #Conflicts: 975000 | #Constraints: 41434
1032.04/1034.82 c #Conflicts: 976000 | #Constraints: 42434
1032.04/1034.82 c #Conflicts: 977000 | #Constraints: 43435
1032.04/1034.82 c #Conflicts: 978000 | #Constraints: 44435
1032.04/1034.82 c #Conflicts: 979000 | #Constraints: 45435
1032.04/1034.82 c #Conflicts: 980000 | #Constraints: 46436
1032.04/1034.82 c #Conflicts: 981000 | #Constraints: 47436
1032.04/1034.82 c INPROCESSING
1032.04/1034.82 c GARBAGE COLLECT
1032.04/1034.82 c rational objective 3
1065.24/1068.13 c #Conflicts: 982000 | #Constraints: 28815
1065.24/1068.13 c #Conflicts: 983000 | #Constraints: 29815
1065.24/1068.13 c #Conflicts: 984000 | #Constraints: 30818
1065.24/1068.13 c #Conflicts: 985000 | #Constraints: 31822
1065.24/1068.13 c #Conflicts: 986000 | #Constraints: 32824
1065.24/1068.13 c #Conflicts: 987000 | #Constraints: 33826
1065.24/1068.13 c #Conflicts: 988000 | #Constraints: 34827
1065.24/1068.13 c #Conflicts: 989000 | #Constraints: 35828
1065.24/1068.13 c #Conflicts: 990000 | #Constraints: 36829
1065.24/1068.13 c #Conflicts: 991000 | #Constraints: 37830
1065.24/1068.13 c #Conflicts: 992000 | #Constraints: 38833
1065.24/1068.13 c #Conflicts: 993000 | #Constraints: 39835
1065.24/1068.13 c #Conflicts: 994000 | #Constraints: 40836
1065.24/1068.13 c #Conflicts: 995000 | #Constraints: 41837
1065.24/1068.13 c #Conflicts: 996000 | #Constraints: 42839
1065.24/1068.13 c #Conflicts: 997000 | #Constraints: 43840
1065.24/1068.13 c #Conflicts: 998000 | #Constraints: 44841
1065.24/1068.13 c #Conflicts: 999000 | #Constraints: 45844
1065.24/1068.13 c #Conflicts: 1000000 | #Constraints: 46846
1065.24/1068.13 c #Conflicts: 1001000 | #Constraints: 47847
1065.24/1068.13 c INPROCESSING
1065.24/1068.13 c GARBAGE COLLECT
1065.24/1068.13 c rational objective 3
1099.44/1102.42 c #Conflicts: 1002000 | #Constraints: 29001
1099.44/1102.42 c #Conflicts: 1003000 | #Constraints: 30001
1099.44/1102.42 c #Conflicts: 1004000 | #Constraints: 31002
1099.44/1102.42 c #Conflicts: 1005000 | #Constraints: 32002
1099.44/1102.42 c #Conflicts: 1006000 | #Constraints: 33002
1099.44/1102.42 c #Conflicts: 1007000 | #Constraints: 34003
1099.44/1102.42 c #Conflicts: 1008000 | #Constraints: 35003
1099.44/1102.42 c #Conflicts: 1009000 | #Constraints: 36003
1099.44/1102.42 c #Conflicts: 1010000 | #Constraints: 37004
1099.44/1102.42 c #Conflicts: 1011000 | #Constraints: 38004
1099.44/1102.42 c #Conflicts: 1012000 | #Constraints: 39004
1099.44/1102.42 c #Conflicts: 1013000 | #Constraints: 40006
1099.44/1102.42 c #Conflicts: 1014000 | #Constraints: 41008
1099.44/1102.42 c #Conflicts: 1015000 | #Constraints: 42009
1099.44/1102.42 c #Conflicts: 1016000 | #Constraints: 43011
1099.44/1102.42 c #Conflicts: 1017000 | #Constraints: 44014
1099.44/1102.42 c #Conflicts: 1018000 | #Constraints: 45014
1099.44/1102.42 c #Conflicts: 1019000 | #Constraints: 46014
1099.44/1102.42 c #Conflicts: 1020000 | #Constraints: 47014
1099.44/1102.42 c #Conflicts: 1021000 | #Constraints: 48014
1099.44/1102.42 c INPROCESSING
1099.44/1102.42 c GARBAGE COLLECT
1099.44/1102.42 c rational objective 3
1130.34/1133.48 c #Conflicts: 1022000 | #Constraints: 28942
1130.34/1133.48 c #Conflicts: 1023000 | #Constraints: 29944
1130.34/1133.48 c #Conflicts: 1024000 | #Constraints: 30947
1130.34/1133.48 c #Conflicts: 1025000 | #Constraints: 31947
1130.34/1133.48 c #Conflicts: 1026000 | #Constraints: 32948
1130.34/1133.48 c #Conflicts: 1027000 | #Constraints: 33948
1130.34/1133.48 c #Conflicts: 1028000 | #Constraints: 34948
1130.34/1133.48 c #Conflicts: 1029000 | #Constraints: 35949
1130.34/1133.48 c #Conflicts: 1030000 | #Constraints: 36949
1130.34/1133.48 c #Conflicts: 1031000 | #Constraints: 37949
1130.34/1133.48 c #Conflicts: 1032000 | #Constraints: 38949
1130.34/1133.48 c #Conflicts: 1033000 | #Constraints: 39949
1130.34/1133.48 c #Conflicts: 1034000 | #Constraints: 40950
1130.34/1133.48 c #Conflicts: 1035000 | #Constraints: 41951
1130.34/1133.48 c #Conflicts: 1036000 | #Constraints: 42952
1130.34/1133.48 c #Conflicts: 1037000 | #Constraints: 43952
1130.34/1133.48 c #Conflicts: 1038000 | #Constraints: 44952
1130.34/1133.48 c #Conflicts: 1039000 | #Constraints: 45952
1130.34/1133.48 c #Conflicts: 1040000 | #Constraints: 46952
1130.34/1133.48 c #Conflicts: 1041000 | #Constraints: 47953
1130.34/1133.48 c INPROCESSING
1130.34/1133.48 c GARBAGE COLLECT
1130.34/1133.48 c rational objective 3
1169.51/1172.78 c #Conflicts: 1042000 | #Constraints: 28686
1169.51/1172.78 c #Conflicts: 1043000 | #Constraints: 29686
1169.51/1172.78 c #Conflicts: 1044000 | #Constraints: 30686
1169.51/1172.78 c #Conflicts: 1045000 | #Constraints: 31689
1169.51/1172.78 c #Conflicts: 1046000 | #Constraints: 32693
1169.51/1172.78 c #Conflicts: 1047000 | #Constraints: 33697
1169.51/1172.78 c #Conflicts: 1048000 | #Constraints: 34698
1169.51/1172.78 c #Conflicts: 1049000 | #Constraints: 35698
1169.51/1172.78 c #Conflicts: 1050000 | #Constraints: 36698
1169.51/1172.78 c #Conflicts: 1051000 | #Constraints: 37700
1169.51/1172.78 c #Conflicts: 1052000 | #Constraints: 38700
1169.51/1172.78 c #Conflicts: 1053000 | #Constraints: 39701
1169.51/1172.78 c #Conflicts: 1054000 | #Constraints: 40701
1169.51/1172.78 c #Conflicts: 1055000 | #Constraints: 41701
1169.51/1172.78 c #Conflicts: 1056000 | #Constraints: 42702
1169.51/1172.78 c #Conflicts: 1057000 | #Constraints: 43703
1169.51/1172.78 c #Conflicts: 1058000 | #Constraints: 44703
1169.51/1172.78 c #Conflicts: 1059000 | #Constraints: 45703
1169.51/1172.78 c #Conflicts: 1060000 | #Constraints: 46703
1169.51/1172.78 c #Conflicts: 1061000 | #Constraints: 47705
1169.51/1172.78 c #Conflicts: 1062000 | #Constraints: 48705
1169.51/1172.78 c INPROCESSING
1169.51/1172.78 c GARBAGE COLLECT
1169.51/1172.78 c rational objective 3
1198.83/1202.16 c #Conflicts: 1063000 | #Constraints: 29287
1198.83/1202.16 c #Conflicts: 1064000 | #Constraints: 30287
1198.83/1202.16 c #Conflicts: 1065000 | #Constraints: 31288
1198.83/1202.16 c #Conflicts: 1066000 | #Constraints: 32288
1198.83/1202.16 c #Conflicts: 1067000 | #Constraints: 33289
1198.83/1202.16 c #Conflicts: 1068000 | #Constraints: 34289
1198.83/1202.16 c #Conflicts: 1069000 | #Constraints: 35289
1198.83/1202.16 c #Conflicts: 1070000 | #Constraints: 36290
1198.83/1202.16 c #Conflicts: 1071000 | #Constraints: 37290
1198.83/1202.16 c #Conflicts: 1072000 | #Constraints: 38292
1198.83/1202.16 c #Conflicts: 1073000 | #Constraints: 39293
1198.83/1202.16 c #Conflicts: 1074000 | #Constraints: 40294
1198.83/1202.16 c #Conflicts: 1075000 | #Constraints: 41295
1198.83/1202.16 c #Conflicts: 1076000 | #Constraints: 42296
1198.83/1202.16 c #Conflicts: 1077000 | #Constraints: 43297
1198.83/1202.16 c #Conflicts: 1078000 | #Constraints: 44299
1198.83/1202.16 c #Conflicts: 1079000 | #Constraints: 45299
1198.83/1202.16 c #Conflicts: 1080000 | #Constraints: 46300
1198.83/1202.16 c #Conflicts: 1081000 | #Constraints: 47300
1198.83/1202.16 c #Conflicts: 1082000 | #Constraints: 48300
1198.83/1202.16 c #Conflicts: 1083000 | #Constraints: 49300
1198.83/1202.16 c INPROCESSING
1198.83/1202.16 c GARBAGE COLLECT
1198.83/1202.16 c rational objective 3
1234.12/1237.52 c #Conflicts: 1084000 | #Constraints: 29663
1234.12/1237.52 c #Conflicts: 1085000 | #Constraints: 30664
1234.12/1237.52 c #Conflicts: 1086000 | #Constraints: 31665
1234.12/1237.52 c #Conflicts: 1087000 | #Constraints: 32666
1234.12/1237.52 c #Conflicts: 1088000 | #Constraints: 33666
1234.12/1237.52 c #Conflicts: 1089000 | #Constraints: 34666
1234.12/1237.52 c #Conflicts: 1090000 | #Constraints: 35666
1234.12/1237.52 c #Conflicts: 1091000 | #Constraints: 36667
1234.12/1237.52 c #Conflicts: 1092000 | #Constraints: 37668
1234.12/1237.52 c #Conflicts: 1093000 | #Constraints: 38668
1234.12/1237.52 c #Conflicts: 1094000 | #Constraints: 39668
1234.12/1237.52 c #Conflicts: 1095000 | #Constraints: 40668
1234.12/1237.52 c #Conflicts: 1096000 | #Constraints: 41669
1234.12/1237.52 c #Conflicts: 1097000 | #Constraints: 42669
1234.12/1237.52 c #Conflicts: 1098000 | #Constraints: 43670
1234.12/1237.52 c #Conflicts: 1099000 | #Constraints: 44670
1234.12/1237.52 c #Conflicts: 1100000 | #Constraints: 45670
1234.12/1237.52 c #Conflicts: 1101000 | #Constraints: 46671
1234.12/1237.52 c #Conflicts: 1102000 | #Constraints: 47672
1234.12/1237.52 c #Conflicts: 1103000 | #Constraints: 48673
1234.12/1237.52 c #Conflicts: 1104000 | #Constraints: 49675
1234.12/1237.52 c INPROCESSING
1234.12/1237.52 c GARBAGE COLLECT
1234.12/1237.52 c rational objective 3
1268.51/1272.05 c #Conflicts: 1105000 | #Constraints: 29868
1268.51/1272.05 c #Conflicts: 1106000 | #Constraints: 30869
1268.51/1272.05 c #Conflicts: 1107000 | #Constraints: 31871
1268.51/1272.05 c #Conflicts: 1108000 | #Constraints: 32874
1268.51/1272.05 c #Conflicts: 1109000 | #Constraints: 33876
1268.51/1272.05 c #Conflicts: 1110000 | #Constraints: 34876
1268.51/1272.05 c #Conflicts: 1111000 | #Constraints: 35876
1268.51/1272.05 c #Conflicts: 1112000 | #Constraints: 36876
1268.51/1272.05 c #Conflicts: 1113000 | #Constraints: 37877
1268.51/1272.05 c #Conflicts: 1114000 | #Constraints: 38877
1268.51/1272.05 c #Conflicts: 1115000 | #Constraints: 39878
1268.51/1272.05 c #Conflicts: 1116000 | #Constraints: 40880
1268.51/1272.05 c #Conflicts: 1117000 | #Constraints: 41881
1268.51/1272.05 c #Conflicts: 1118000 | #Constraints: 42882
1268.51/1272.05 c #Conflicts: 1119000 | #Constraints: 43884
1268.51/1272.05 c #Conflicts: 1120000 | #Constraints: 44885
1268.51/1272.05 c #Conflicts: 1121000 | #Constraints: 45887
1268.51/1272.05 c #Conflicts: 1122000 | #Constraints: 46889
1268.51/1272.05 c #Conflicts: 1123000 | #Constraints: 47891
1268.51/1272.05 c #Conflicts: 1124000 | #Constraints: 48891
1268.51/1272.05 c #Conflicts: 1125000 | #Constraints: 49892
1268.51/1272.05 c INPROCESSING
1268.51/1272.05 c GARBAGE COLLECT
1268.51/1272.05 c rational objective 3
1302.61/1306.27 c #Conflicts: 1126000 | #Constraints: 29874
1302.61/1306.27 c #Conflicts: 1127000 | #Constraints: 30874
1302.61/1306.27 c #Conflicts: 1128000 | #Constraints: 31874
1302.61/1306.27 c #Conflicts: 1129000 | #Constraints: 32874
1302.61/1306.27 c #Conflicts: 1130000 | #Constraints: 33874
1302.61/1306.27 c #Conflicts: 1131000 | #Constraints: 34875
1302.61/1306.27 c #Conflicts: 1132000 | #Constraints: 35875
1302.61/1306.27 c #Conflicts: 1133000 | #Constraints: 36875
1302.61/1306.27 c #Conflicts: 1134000 | #Constraints: 37875
1302.61/1306.27 c #Conflicts: 1135000 | #Constraints: 38876
1302.61/1306.27 c #Conflicts: 1136000 | #Constraints: 39876
1302.61/1306.27 c #Conflicts: 1137000 | #Constraints: 40876
1302.61/1306.27 c #Conflicts: 1138000 | #Constraints: 41876
1302.61/1306.27 c #Conflicts: 1139000 | #Constraints: 42876
1302.61/1306.27 c #Conflicts: 1140000 | #Constraints: 43876
1302.61/1306.27 c #Conflicts: 1141000 | #Constraints: 44876
1302.61/1306.27 c #Conflicts: 1142000 | #Constraints: 45876
1302.61/1306.27 c #Conflicts: 1143000 | #Constraints: 46876
1302.61/1306.27 c #Conflicts: 1144000 | #Constraints: 47876
1302.61/1306.27 c #Conflicts: 1145000 | #Constraints: 48876
1302.61/1306.27 c #Conflicts: 1146000 | #Constraints: 49876
1302.61/1306.27 c INPROCESSING
1302.61/1306.27 c GARBAGE COLLECT
1302.61/1306.27 c rational objective 3
1335.90/1339.62 c #Conflicts: 1147000 | #Constraints: 29638
1335.90/1339.62 c #Conflicts: 1148000 | #Constraints: 30638
1335.90/1339.62 c #Conflicts: 1149000 | #Constraints: 31639
1335.90/1339.62 c #Conflicts: 1150000 | #Constraints: 32639
1335.90/1339.62 c #Conflicts: 1151000 | #Constraints: 33640
1335.90/1339.62 c #Conflicts: 1152000 | #Constraints: 34640
1335.90/1339.62 c #Conflicts: 1153000 | #Constraints: 35640
1335.90/1339.62 c #Conflicts: 1154000 | #Constraints: 36642
1335.90/1339.62 c #Conflicts: 1155000 | #Constraints: 37643
1335.90/1339.62 c #Conflicts: 1156000 | #Constraints: 38645
1335.90/1339.62 c #Conflicts: 1157000 | #Constraints: 39646
1335.90/1339.62 c #Conflicts: 1158000 | #Constraints: 40647
1335.90/1339.62 c #Conflicts: 1159000 | #Constraints: 41648
1335.90/1339.62 c #Conflicts: 1160000 | #Constraints: 42649
1335.90/1339.62 c #Conflicts: 1161000 | #Constraints: 43649
1335.90/1339.62 c #Conflicts: 1162000 | #Constraints: 44649
1335.90/1339.62 c #Conflicts: 1163000 | #Constraints: 45652
1335.90/1339.62 c #Conflicts: 1164000 | #Constraints: 46653
1335.90/1339.62 c #Conflicts: 1165000 | #Constraints: 47654
1335.90/1339.62 c #Conflicts: 1166000 | #Constraints: 48655
1335.90/1339.62 c #Conflicts: 1167000 | #Constraints: 49655
1335.90/1339.62 c #Conflicts: 1168000 | #Constraints: 50657
1335.90/1339.62 c INPROCESSING
1335.90/1339.62 c GARBAGE COLLECT
1335.90/1339.62 c rational objective 3
1374.30/1378.18 c #Conflicts: 1169000 | #Constraints: 30235
1374.30/1378.18 c #Conflicts: 1170000 | #Constraints: 31235
1374.30/1378.18 c #Conflicts: 1171000 | #Constraints: 32235
1374.30/1378.18 c #Conflicts: 1172000 | #Constraints: 33237
1374.30/1378.18 c #Conflicts: 1173000 | #Constraints: 34238
1374.30/1378.18 c #Conflicts: 1174000 | #Constraints: 35239
1374.30/1378.18 c #Conflicts: 1175000 | #Constraints: 36239
1374.30/1378.18 c #Conflicts: 1176000 | #Constraints: 37240
1374.30/1378.18 c #Conflicts: 1177000 | #Constraints: 38243
1374.30/1378.18 c #Conflicts: 1178000 | #Constraints: 39244
1374.30/1378.18 c #Conflicts: 1179000 | #Constraints: 40245
1374.30/1378.18 c #Conflicts: 1180000 | #Constraints: 41247
1374.30/1378.18 c #Conflicts: 1181000 | #Constraints: 42247
1374.30/1378.18 c #Conflicts: 1182000 | #Constraints: 43247
1374.30/1378.18 c #Conflicts: 1183000 | #Constraints: 44247
1374.30/1378.18 c #Conflicts: 1184000 | #Constraints: 45247
1374.30/1378.18 c #Conflicts: 1185000 | #Constraints: 46248
1374.30/1378.18 c #Conflicts: 1186000 | #Constraints: 47248
1374.30/1378.18 c #Conflicts: 1187000 | #Constraints: 48248
1374.30/1378.18 c #Conflicts: 1188000 | #Constraints: 49248
1374.30/1378.18 c #Conflicts: 1189000 | #Constraints: 50248
1374.30/1378.18 c #Conflicts: 1190000 | #Constraints: 51249
1374.30/1378.18 c INPROCESSING
1374.30/1378.18 c GARBAGE COLLECT
1374.30/1378.18 c rational objective 3
1412.37/1416.38 c #Conflicts: 1191000 | #Constraints: 30589
1412.37/1416.38 c #Conflicts: 1192000 | #Constraints: 31589
1412.37/1416.38 c #Conflicts: 1193000 | #Constraints: 32590
1412.37/1416.38 c #Conflicts: 1194000 | #Constraints: 33592
1412.37/1416.38 c #Conflicts: 1195000 | #Constraints: 34593
1412.37/1416.38 c #Conflicts: 1196000 | #Constraints: 35594
1412.37/1416.38 c #Conflicts: 1197000 | #Constraints: 36594
1412.37/1416.38 c #Conflicts: 1198000 | #Constraints: 37594
1412.37/1416.38 c #Conflicts: 1199000 | #Constraints: 38595
1412.37/1416.38 c #Conflicts: 1200000 | #Constraints: 39595
1412.37/1416.38 c #Conflicts: 1201000 | #Constraints: 40595
1412.37/1416.38 c #Conflicts: 1202000 | #Constraints: 41595
1412.37/1416.38 c #Conflicts: 1203000 | #Constraints: 42595
1412.37/1416.38 c #Conflicts: 1204000 | #Constraints: 43595
1412.37/1416.38 c #Conflicts: 1205000 | #Constraints: 44595
1412.37/1416.38 c #Conflicts: 1206000 | #Constraints: 45595
1412.37/1416.38 c #Conflicts: 1207000 | #Constraints: 46595
1412.37/1416.38 c #Conflicts: 1208000 | #Constraints: 47595
1412.37/1416.38 c #Conflicts: 1209000 | #Constraints: 48595
1412.37/1416.38 c #Conflicts: 1210000 | #Constraints: 49595
1412.37/1416.38 c #Conflicts: 1211000 | #Constraints: 50595
1412.37/1416.38 c #Conflicts: 1212000 | #Constraints: 51595
1412.37/1416.38 c INPROCESSING
1412.37/1416.38 c GARBAGE COLLECT
1412.37/1416.38 c rational objective 3
1455.24/1459.31 c #Conflicts: 1213000 | #Constraints: 30787
1455.24/1459.31 c #Conflicts: 1214000 | #Constraints: 31787
1455.24/1459.31 c #Conflicts: 1215000 | #Constraints: 32787
1455.24/1459.31 c #Conflicts: 1216000 | #Constraints: 33787
1455.24/1459.31 c #Conflicts: 1217000 | #Constraints: 34787
1455.24/1459.31 c #Conflicts: 1218000 | #Constraints: 35789
1455.24/1459.31 c #Conflicts: 1219000 | #Constraints: 36790
1455.24/1459.31 c #Conflicts: 1220000 | #Constraints: 37791
1455.24/1459.31 c #Conflicts: 1221000 | #Constraints: 38793
1455.24/1459.31 c #Conflicts: 1222000 | #Constraints: 39793
1455.24/1459.31 c #Conflicts: 1223000 | #Constraints: 40794
1455.24/1459.31 c #Conflicts: 1224000 | #Constraints: 41797
1455.24/1459.31 c #Conflicts: 1225000 | #Constraints: 42800
1455.24/1459.31 c #Conflicts: 1226000 | #Constraints: 43801
1455.24/1459.31 c #Conflicts: 1227000 | #Constraints: 44805
1455.24/1459.31 c #Conflicts: 1228000 | #Constraints: 45806
1455.24/1459.31 c #Conflicts: 1229000 | #Constraints: 46810
1455.24/1459.31 c #Conflicts: 1230000 | #Constraints: 47811
1455.24/1459.31 c #Conflicts: 1231000 | #Constraints: 48812
1455.24/1459.31 c #Conflicts: 1232000 | #Constraints: 49812
1455.24/1459.31 c #Conflicts: 1233000 | #Constraints: 50812
1455.24/1459.31 c #Conflicts: 1234000 | #Constraints: 51813
1455.24/1459.31 c INPROCESSING
1455.24/1459.31 c GARBAGE COLLECT
1455.24/1459.31 c rational objective 3
1495.32/1499.54 c #Conflicts: 1235000 | #Constraints: 30785
1495.32/1499.54 c #Conflicts: 1236000 | #Constraints: 31785
1495.32/1499.54 c #Conflicts: 1237000 | #Constraints: 32785
1495.32/1499.54 c #Conflicts: 1238000 | #Constraints: 33785
1495.32/1499.54 c #Conflicts: 1239000 | #Constraints: 34785
1495.32/1499.54 c #Conflicts: 1240000 | #Constraints: 35785
1495.32/1499.54 c #Conflicts: 1241000 | #Constraints: 36785
1495.32/1499.54 c #Conflicts: 1242000 | #Constraints: 37785
1495.32/1499.54 c #Conflicts: 1243000 | #Constraints: 38785
1495.32/1499.54 c #Conflicts: 1244000 | #Constraints: 39785
1495.32/1499.54 c #Conflicts: 1245000 | #Constraints: 40785
1495.32/1499.54 c #Conflicts: 1246000 | #Constraints: 41786
1495.32/1499.54 c #Conflicts: 1247000 | #Constraints: 42786
1495.32/1499.54 c #Conflicts: 1248000 | #Constraints: 43786
1495.32/1499.54 c #Conflicts: 1249000 | #Constraints: 44786
1495.32/1499.54 c #Conflicts: 1250000 | #Constraints: 45786
1495.32/1499.54 c #Conflicts: 1251000 | #Constraints: 46786
1495.32/1499.54 c #Conflicts: 1252000 | #Constraints: 47786
1495.32/1499.54 c #Conflicts: 1253000 | #Constraints: 48786
1495.32/1499.54 c #Conflicts: 1254000 | #Constraints: 49786
1495.32/1499.54 c #Conflicts: 1255000 | #Constraints: 50786
1495.32/1499.54 c #Conflicts: 1256000 | #Constraints: 51786
1495.32/1499.54 c INPROCESSING
1495.32/1499.54 c GARBAGE COLLECT
1495.32/1499.54 c rational objective 3
1536.19/1540.53 c #Conflicts: 1257000 | #Constraints: 30568
1536.19/1540.53 c #Conflicts: 1258000 | #Constraints: 31568
1536.19/1540.53 c #Conflicts: 1259000 | #Constraints: 32568
1536.19/1540.53 c #Conflicts: 1260000 | #Constraints: 33568
1536.19/1540.53 c #Conflicts: 1261000 | #Constraints: 34568
1536.19/1540.53 c #Conflicts: 1262000 | #Constraints: 35568
1536.19/1540.53 c #Conflicts: 1263000 | #Constraints: 36568
1536.19/1540.53 c #Conflicts: 1264000 | #Constraints: 37568
1536.19/1540.53 c #Conflicts: 1265000 | #Constraints: 38568
1536.19/1540.53 c #Conflicts: 1266000 | #Constraints: 39568
1536.19/1540.53 c #Conflicts: 1267000 | #Constraints: 40570
1536.19/1540.53 c #Conflicts: 1268000 | #Constraints: 41578
1536.19/1540.53 c #Conflicts: 1269000 | #Constraints: 42578
1536.19/1540.53 c #Conflicts: 1270000 | #Constraints: 43581
1536.19/1540.53 c #Conflicts: 1271000 | #Constraints: 44581
1536.19/1540.53 c #Conflicts: 1272000 | #Constraints: 45586
1536.19/1540.53 c #Conflicts: 1273000 | #Constraints: 46586
1536.19/1540.53 c #Conflicts: 1274000 | #Constraints: 47603
1536.19/1540.53 c #Conflicts: 1275000 | #Constraints: 48609
1536.19/1540.53 c #Conflicts: 1276000 | #Constraints: 49611
1536.19/1540.53 c #Conflicts: 1277000 | #Constraints: 50612
1536.19/1540.53 c #Conflicts: 1278000 | #Constraints: 51612
1536.19/1540.53 c #Conflicts: 1279000 | #Constraints: 52617
1536.19/1540.53 c INPROCESSING
1536.19/1540.53 c GARBAGE COLLECT
1536.19/1540.53 c rational objective 3
1574.47/1578.94 c #Conflicts: 1280000 | #Constraints: 31193
1574.47/1578.94 c #Conflicts: 1281000 | #Constraints: 32193
1574.47/1578.94 c #Conflicts: 1282000 | #Constraints: 33193
1574.47/1578.94 c #Conflicts: 1283000 | #Constraints: 34193
1574.47/1578.94 c #Conflicts: 1284000 | #Constraints: 35193
1574.47/1578.94 c #Conflicts: 1285000 | #Constraints: 36194
1574.47/1578.94 c #Conflicts: 1286000 | #Constraints: 37194
1574.47/1578.94 c #Conflicts: 1287000 | #Constraints: 38194
1574.47/1578.94 c #Conflicts: 1288000 | #Constraints: 39194
1574.47/1578.94 c #Conflicts: 1289000 | #Constraints: 40194
1574.47/1578.94 c #Conflicts: 1290000 | #Constraints: 41194
1574.47/1578.94 c #Conflicts: 1291000 | #Constraints: 42194
1574.47/1578.94 c #Conflicts: 1292000 | #Constraints: 43195
1574.47/1578.94 c #Conflicts: 1293000 | #Constraints: 44195
1574.47/1578.94 c #Conflicts: 1294000 | #Constraints: 45195
1574.47/1578.94 c #Conflicts: 1295000 | #Constraints: 46195
1574.47/1578.94 c #Conflicts: 1296000 | #Constraints: 47195
1574.47/1578.94 c #Conflicts: 1297000 | #Constraints: 48197
1574.47/1578.94 c #Conflicts: 1298000 | #Constraints: 49197
1574.47/1578.94 c #Conflicts: 1299000 | #Constraints: 50197
1574.47/1578.94 c #Conflicts: 1300000 | #Constraints: 51197
1574.47/1578.94 c #Conflicts: 1301000 | #Constraints: 52198
1574.47/1578.94 c #Conflicts: 1302000 | #Constraints: 53199
1574.47/1578.94 c INPROCESSING
1574.47/1578.94 c GARBAGE COLLECT
1574.47/1578.94 c rational objective 3
1616.25/1620.85 c #Conflicts: 1303000 | #Constraints: 31523
1616.25/1620.85 c #Conflicts: 1304000 | #Constraints: 32523
1616.25/1620.85 c #Conflicts: 1305000 | #Constraints: 33523
1616.25/1620.85 c #Conflicts: 1306000 | #Constraints: 34523
1616.25/1620.85 c #Conflicts: 1307000 | #Constraints: 35524
1616.25/1620.85 c #Conflicts: 1308000 | #Constraints: 36524
1616.25/1620.85 c #Conflicts: 1309000 | #Constraints: 37524
1616.25/1620.85 c #Conflicts: 1310000 | #Constraints: 38524
1616.25/1620.85 c #Conflicts: 1311000 | #Constraints: 39524
1616.25/1620.85 c #Conflicts: 1312000 | #Constraints: 40524
1616.25/1620.85 c #Conflicts: 1313000 | #Constraints: 41524
1616.25/1620.85 c #Conflicts: 1314000 | #Constraints: 42524
1616.25/1620.85 c #Conflicts: 1315000 | #Constraints: 43524
1616.25/1620.85 c #Conflicts: 1316000 | #Constraints: 44524
1616.25/1620.85 c #Conflicts: 1317000 | #Constraints: 45524
1616.25/1620.85 c #Conflicts: 1318000 | #Constraints: 46524
1616.25/1620.85 c #Conflicts: 1319000 | #Constraints: 47524
1616.25/1620.85 c #Conflicts: 1320000 | #Constraints: 48524
1616.25/1620.85 c #Conflicts: 1321000 | #Constraints: 49524
1616.25/1620.85 c #Conflicts: 1322000 | #Constraints: 50525
1616.25/1620.85 c #Conflicts: 1323000 | #Constraints: 51525
1616.25/1620.85 c #Conflicts: 1324000 | #Constraints: 52525
1616.25/1620.85 c #Conflicts: 1325000 | #Constraints: 53525
1616.25/1620.85 c INPROCESSING
1616.25/1620.85 c GARBAGE COLLECT
1616.25/1620.85 c rational objective 3
1664.80/1669.51 c #Conflicts: 1326000 | #Constraints: 31746
1664.80/1669.51 c #Conflicts: 1327000 | #Constraints: 32746
1664.80/1669.51 c #Conflicts: 1328000 | #Constraints: 33746
1664.80/1669.51 c #Conflicts: 1329000 | #Constraints: 34746
1664.80/1669.51 c #Conflicts: 1330000 | #Constraints: 35746
1664.80/1669.51 c #Conflicts: 1331000 | #Constraints: 36746
1664.80/1669.51 c #Conflicts: 1332000 | #Constraints: 37746
1664.80/1669.51 c #Conflicts: 1333000 | #Constraints: 38747
1664.80/1669.51 c #Conflicts: 1334000 | #Constraints: 39747
1664.80/1669.51 c #Conflicts: 1335000 | #Constraints: 40747
1664.80/1669.51 c #Conflicts: 1336000 | #Constraints: 41748
1664.80/1669.51 c #Conflicts: 1337000 | #Constraints: 42749
1664.80/1669.51 c #Conflicts: 1338000 | #Constraints: 43749
1664.80/1669.51 c #Conflicts: 1339000 | #Constraints: 44749
1664.80/1669.51 c #Conflicts: 1340000 | #Constraints: 45749
1664.80/1669.51 c #Conflicts: 1341000 | #Constraints: 46749
1664.80/1669.51 c #Conflicts: 1342000 | #Constraints: 47750
1664.80/1669.51 c #Conflicts: 1343000 | #Constraints: 48750
1664.80/1669.51 c #Conflicts: 1344000 | #Constraints: 49750
1664.80/1669.51 c #Conflicts: 1345000 | #Constraints: 50750
1664.80/1669.51 c #Conflicts: 1346000 | #Constraints: 51750
1664.80/1669.51 c #Conflicts: 1347000 | #Constraints: 52751
1664.80/1669.51 c #Conflicts: 1348000 | #Constraints: 53751
1664.80/1669.51 c INPROCESSING
1664.80/1669.51 c GARBAGE COLLECT
1664.80/1669.51 c rational objective 3
1713.75/1718.63 c #Conflicts: 1349000 | #Constraints: 31694
1713.75/1718.63 c #Conflicts: 1350000 | #Constraints: 32694
1713.75/1718.63 c #Conflicts: 1351000 | #Constraints: 33694
1713.75/1718.63 c #Conflicts: 1352000 | #Constraints: 34694
1713.75/1718.63 c #Conflicts: 1353000 | #Constraints: 35694
1713.75/1718.63 c #Conflicts: 1354000 | #Constraints: 36695
1713.75/1718.63 c #Conflicts: 1355000 | #Constraints: 37696
1713.75/1718.63 c #Conflicts: 1356000 | #Constraints: 38696
1713.75/1718.63 c #Conflicts: 1357000 | #Constraints: 39696
1713.75/1718.63 c #Conflicts: 1358000 | #Constraints: 40696
1713.75/1718.63 c #Conflicts: 1359000 | #Constraints: 41696
1713.75/1718.63 c #Conflicts: 1360000 | #Constraints: 42696
1713.75/1718.63 c #Conflicts: 1361000 | #Constraints: 43696
1713.75/1718.63 c #Conflicts: 1362000 | #Constraints: 44696
1713.75/1718.63 c #Conflicts: 1363000 | #Constraints: 45696
1713.75/1718.63 c #Conflicts: 1364000 | #Constraints: 46696
1713.75/1718.63 c #Conflicts: 1365000 | #Constraints: 47696
1713.75/1718.63 c #Conflicts: 1366000 | #Constraints: 48696
1713.75/1718.63 c #Conflicts: 1367000 | #Constraints: 49696
1713.75/1718.63 c #Conflicts: 1368000 | #Constraints: 50696
1713.75/1718.63 c #Conflicts: 1369000 | #Constraints: 51696
1713.75/1718.63 c #Conflicts: 1370000 | #Constraints: 52696
1713.75/1718.63 c #Conflicts: 1371000 | #Constraints: 53696
1713.75/1718.63 c INPROCESSING
1713.75/1718.63 c GARBAGE COLLECT
1713.75/1718.63 c rational objective 3
1754.52/1759.50 c #Conflicts: 1372000 | #Constraints: 31501
1754.52/1759.50 c #Conflicts: 1373000 | #Constraints: 32501
1754.52/1759.50 c #Conflicts: 1374000 | #Constraints: 33501
1754.52/1759.50 c #Conflicts: 1375000 | #Constraints: 34501
1754.52/1759.50 c #Conflicts: 1376000 | #Constraints: 35503
1754.52/1759.50 c #Conflicts: 1377000 | #Constraints: 36505
1754.52/1759.50 c #Conflicts: 1378000 | #Constraints: 37508
1754.52/1759.50 c #Conflicts: 1379000 | #Constraints: 38510
1754.52/1759.50 c #Conflicts: 1380000 | #Constraints: 39511
1754.52/1759.50 c #Conflicts: 1381000 | #Constraints: 40512
1754.52/1759.50 c #Conflicts: 1382000 | #Constraints: 41514
1754.52/1759.50 c #Conflicts: 1383000 | #Constraints: 42514
1754.52/1759.50 c #Conflicts: 1384000 | #Constraints: 43514
1754.52/1759.50 c #Conflicts: 1385000 | #Constraints: 44514
1754.52/1759.50 c #Conflicts: 1386000 | #Constraints: 45514
1754.52/1759.50 c #Conflicts: 1387000 | #Constraints: 46515
1754.52/1759.50 c #Conflicts: 1388000 | #Constraints: 47516
1754.52/1759.50 c #Conflicts: 1389000 | #Constraints: 48516
1754.52/1759.50 c #Conflicts: 1390000 | #Constraints: 49517
1754.52/1759.50 c #Conflicts: 1391000 | #Constraints: 50517
1754.52/1759.50 c #Conflicts: 1392000 | #Constraints: 51518
1754.52/1759.50 c #Conflicts: 1393000 | #Constraints: 52520
1754.52/1759.50 c #Conflicts: 1394000 | #Constraints: 53520
1754.52/1759.50 c #Conflicts: 1395000 | #Constraints: 54521
1754.52/1759.50 c INPROCESSING
1754.52/1759.50 c GARBAGE COLLECT
1754.52/1759.50 c rational objective 3
1795.30/1800.49 c #Conflicts: 1396000 | #Constraints: 32101
1795.30/1800.49 c #Conflicts: 1397000 | #Constraints: 33102
1795.30/1800.49 c #Conflicts: 1398000 | #Constraints: 34102
1795.30/1800.49 c #Conflicts: 1399000 | #Constraints: 35103
1795.30/1800.49 c #Conflicts: 1400000 | #Constraints: 36105
1795.30/1800.49 c #Conflicts: 1401000 | #Constraints: 37105
1795.30/1800.49 c #Conflicts: 1402000 | #Constraints: 38106
1795.30/1800.49 c #Conflicts: 1403000 | #Constraints: 39106
1795.30/1800.49 c #Conflicts: 1404000 | #Constraints: 40106
1795.30/1800.49 c #Conflicts: 1405000 | #Constraints: 41106
1795.30/1800.49 c #Conflicts: 1406000 | #Constraints: 42106
1795.30/1800.49 c #Conflicts: 1407000 | #Constraints: 43107
1795.30/1800.49 c #Conflicts: 1408000 | #Constraints: 44108
1795.30/1800.49 c #Conflicts: 1409000 | #Constraints: 45109
1795.30/1800.49 c #Conflicts: 1410000 | #Constraints: 46117
1795.30/1800.49 c #Conflicts: 1411000 | #Constraints: 47117
1795.30/1800.49 c #Conflicts: 1412000 | #Constraints: 48118
1795.30/1800.49 c #Conflicts: 1413000 | #Constraints: 49118
1795.30/1800.49 c #Conflicts: 1414000 | #Constraints: 50118
1795.30/1800.49 c #Conflicts: 1415000 | #Constraints: 51118
1795.30/1800.49 c #Conflicts: 1416000 | #Constraints: 52119
1795.30/1800.49 c #Conflicts: 1417000 | #Constraints: 53119
1795.30/1800.49 c #Conflicts: 1418000 | #Constraints: 54119
1795.30/1800.49 c #Conflicts: 1419000 | #Constraints: 55119
1795.30/1800.49 c INPROCESSING
1795.30/1800.49 c GARBAGE COLLECT
1795.30/1800.49 c rational objective 3
1845.75/1851.08 c #Conflicts: 1420000 | #Constraints: 32487
1845.75/1851.08 c #Conflicts: 1421000 | #Constraints: 33487
1845.75/1851.08 c #Conflicts: 1422000 | #Constraints: 34487
1845.75/1851.08 c #Conflicts: 1423000 | #Constraints: 35487
1845.75/1851.08 c #Conflicts: 1424000 | #Constraints: 36487
1845.75/1851.08 c #Conflicts: 1425000 | #Constraints: 37487
1845.75/1851.08 c #Conflicts: 1426000 | #Constraints: 38487
1845.75/1851.08 c #Conflicts: 1427000 | #Constraints: 39487
1845.75/1851.08 c #Conflicts: 1428000 | #Constraints: 40488
1845.75/1851.08 c #Conflicts: 1429000 | #Constraints: 41488
1845.75/1851.08 c #Conflicts: 1430000 | #Constraints: 42488
1845.75/1851.08 c #Conflicts: 1431000 | #Constraints: 43489
1845.75/1851.08 c #Conflicts: 1432000 | #Constraints: 44489
1845.75/1851.08 c #Conflicts: 1433000 | #Constraints: 45489
1845.75/1851.08 c #Conflicts: 1434000 | #Constraints: 46489
1845.75/1851.08 c #Conflicts: 1435000 | #Constraints: 47489
1845.75/1851.08 c #Conflicts: 1436000 | #Constraints: 48489
1845.75/1851.08 c #Conflicts: 1437000 | #Constraints: 49489
1845.75/1851.08 c #Conflicts: 1438000 | #Constraints: 50490
1845.75/1851.08 c #Conflicts: 1439000 | #Constraints: 51490
1845.75/1851.08 c #Conflicts: 1440000 | #Constraints: 52490
1845.75/1851.08 c #Conflicts: 1441000 | #Constraints: 53490
1845.75/1851.08 c #Conflicts: 1442000 | #Constraints: 54490
1845.75/1851.08 c #Conflicts: 1443000 | #Constraints: 55490
1845.75/1851.08 c INPROCESSING
1845.75/1851.08 c GARBAGE COLLECT
1845.75/1851.08 c rational objective 3
1886.82/1892.30 c #Conflicts: 1444000 | #Constraints: 32671
1886.82/1892.30 c #Conflicts: 1445000 | #Constraints: 33671
1886.82/1892.30 c #Conflicts: 1446000 | #Constraints: 34671
1886.82/1892.30 c #Conflicts: 1447000 | #Constraints: 35671
1886.82/1892.30 c #Conflicts: 1448000 | #Constraints: 36671
1886.82/1892.30 c #Conflicts: 1449000 | #Constraints: 37671
1886.82/1892.30 c #Conflicts: 1450000 | #Constraints: 38671
1886.82/1892.30 c #Conflicts: 1451000 | #Constraints: 39671
1886.82/1892.30 c #Conflicts: 1452000 | #Constraints: 40671
1886.82/1892.30 c #Conflicts: 1453000 | #Constraints: 41672
1886.82/1892.30 c #Conflicts: 1454000 | #Constraints: 42672
1886.82/1892.30 c #Conflicts: 1455000 | #Constraints: 43672
1886.82/1892.30 c #Conflicts: 1456000 | #Constraints: 44673
1886.82/1892.30 c #Conflicts: 1457000 | #Constraints: 45673
1886.82/1892.30 c #Conflicts: 1458000 | #Constraints: 46673
1886.82/1892.30 c #Conflicts: 1459000 | #Constraints: 47674
1886.82/1892.30 c #Conflicts: 1460000 | #Constraints: 48674
1886.82/1892.30 c #Conflicts: 1461000 | #Constraints: 49674
1886.82/1892.30 c #Conflicts: 1462000 | #Constraints: 50675
1886.82/1892.30 c #Conflicts: 1463000 | #Constraints: 51675
1886.82/1892.30 c #Conflicts: 1464000 | #Constraints: 52675
1886.82/1892.30 c #Conflicts: 1465000 | #Constraints: 53675
1886.82/1892.30 c #Conflicts: 1466000 | #Constraints: 54675
1886.82/1892.30 c #Conflicts: 1467000 | #Constraints: 55675
1886.82/1892.30 c INPROCESSING
1886.82/1892.30 c GARBAGE COLLECT
1886.82/1892.30 c rational objective 3
1929.09/1934.61 c #Conflicts: 1468000 | #Constraints: 32664
1929.09/1934.61 c #Conflicts: 1469000 | #Constraints: 33664
1929.09/1934.61 c #Conflicts: 1470000 | #Constraints: 34664
1929.09/1934.61 c #Conflicts: 1471000 | #Constraints: 35664
1929.09/1934.61 c #Conflicts: 1472000 | #Constraints: 36665
1929.09/1934.61 c #Conflicts: 1473000 | #Constraints: 37666
1929.09/1934.61 c #Conflicts: 1474000 | #Constraints: 38667
1929.09/1934.61 c #Conflicts: 1475000 | #Constraints: 39668
1929.09/1934.61 c #Conflicts: 1476000 | #Constraints: 40670
1929.09/1934.61 c #Conflicts: 1477000 | #Constraints: 41670
1929.09/1934.61 c #Conflicts: 1478000 | #Constraints: 42672
1929.09/1934.61 c #Conflicts: 1479000 | #Constraints: 43673
1929.09/1934.61 c #Conflicts: 1480000 | #Constraints: 44674
1929.09/1934.61 c #Conflicts: 1481000 | #Constraints: 45674
1929.09/1934.61 c #Conflicts: 1482000 | #Constraints: 46678
1929.09/1934.61 c #Conflicts: 1483000 | #Constraints: 47678
1929.09/1934.61 c #Conflicts: 1484000 | #Constraints: 48679
1929.09/1934.61 c #Conflicts: 1485000 | #Constraints: 49680
1929.09/1934.61 c #Conflicts: 1486000 | #Constraints: 50681
1929.09/1934.61 c #Conflicts: 1487000 | #Constraints: 51683
1929.09/1934.61 c #Conflicts: 1488000 | #Constraints: 52686
1929.09/1934.61 c #Conflicts: 1489000 | #Constraints: 53689
1929.09/1934.61 c #Conflicts: 1490000 | #Constraints: 54689
1929.09/1934.61 c #Conflicts: 1491000 | #Constraints: 55689
1929.09/1934.61 c INPROCESSING
1929.09/1934.61 c GARBAGE COLLECT
1929.09/1934.61 c rational objective 3
1971.56/1977.27 c #Conflicts: 1492000 | #Constraints: 32455
1971.56/1977.27 c #Conflicts: 1493000 | #Constraints: 33455
1971.56/1977.27 c #Conflicts: 1494000 | #Constraints: 34456
1971.56/1977.27 c #Conflicts: 1495000 | #Constraints: 35456
1971.56/1977.27 c #Conflicts: 1496000 | #Constraints: 36457
1971.56/1977.27 c #Conflicts: 1497000 | #Constraints: 37457
1971.56/1977.27 c #Conflicts: 1498000 | #Constraints: 38458
1971.56/1977.27 c #Conflicts: 1499000 | #Constraints: 39458
1971.56/1977.27 c #Conflicts: 1500000 | #Constraints: 40458
1971.56/1977.27 c #Conflicts: 1501000 | #Constraints: 41458
1971.56/1977.27 c #Conflicts: 1502000 | #Constraints: 42458
1971.56/1977.27 c #Conflicts: 1503000 | #Constraints: 43458
1971.56/1977.27 c #Conflicts: 1504000 | #Constraints: 44458
1971.56/1977.27 c #Conflicts: 1505000 | #Constraints: 45458
1971.56/1977.27 c #Conflicts: 1506000 | #Constraints: 46458
1971.56/1977.27 c #Conflicts: 1507000 | #Constraints: 47459
1971.56/1977.27 c #Conflicts: 1508000 | #Constraints: 48459
1971.56/1977.27 c #Conflicts: 1509000 | #Constraints: 49459
1971.56/1977.27 c #Conflicts: 1510000 | #Constraints: 50459
1971.56/1977.27 c #Conflicts: 1511000 | #Constraints: 51460
1971.56/1977.27 c #Conflicts: 1512000 | #Constraints: 52460
1971.56/1977.27 c #Conflicts: 1513000 | #Constraints: 53460
1971.56/1977.27 c #Conflicts: 1514000 | #Constraints: 54461
1971.56/1977.27 c #Conflicts: 1515000 | #Constraints: 55461
1971.56/1977.27 c #Conflicts: 1516000 | #Constraints: 56462
1971.56/1977.27 c INPROCESSING
1971.56/1977.27 c GARBAGE COLLECT
1971.56/1977.27 c rational objective 3
2016.24/2022.03 c #Conflicts: 1517000 | #Constraints: 33031
2016.24/2022.03 c #Conflicts: 1518000 | #Constraints: 34031
2016.24/2022.03 c #Conflicts: 1519000 | #Constraints: 35031
2016.24/2022.03 c #Conflicts: 1520000 | #Constraints: 36032
2016.24/2022.03 c #Conflicts: 1521000 | #Constraints: 37034
2016.24/2022.03 c #Conflicts: 1522000 | #Constraints: 38034
2016.24/2022.03 c #Conflicts: 1523000 | #Constraints: 39035
2016.24/2022.03 c #Conflicts: 1524000 | #Constraints: 40037
2016.24/2022.03 c #Conflicts: 1525000 | #Constraints: 41039
2016.24/2022.03 c #Conflicts: 1526000 | #Constraints: 42040
2016.24/2022.03 c #Conflicts: 1527000 | #Constraints: 43043
2016.24/2022.03 c #Conflicts: 1528000 | #Constraints: 44044
2016.24/2022.03 c #Conflicts: 1529000 | #Constraints: 45046
2016.24/2022.03 c #Conflicts: 1530000 | #Constraints: 46046
2016.24/2022.03 c #Conflicts: 1531000 | #Constraints: 47047
2016.24/2022.03 c #Conflicts: 1532000 | #Constraints: 48049
2016.24/2022.03 c #Conflicts: 1533000 | #Constraints: 49050
2016.24/2022.03 c #Conflicts: 1534000 | #Constraints: 50050
2016.24/2022.03 c #Conflicts: 1535000 | #Constraints: 51053
2016.24/2022.03 c #Conflicts: 1536000 | #Constraints: 52054
2016.24/2022.03 c #Conflicts: 1537000 | #Constraints: 53054
2016.24/2022.03 c #Conflicts: 1538000 | #Constraints: 54056
2016.24/2022.03 c #Conflicts: 1539000 | #Constraints: 55057
2016.24/2022.03 c #Conflicts: 1540000 | #Constraints: 56057
2016.24/2022.03 c #Conflicts: 1541000 | #Constraints: 57059
2016.24/2022.03 c INPROCESSING
2016.24/2022.03 c GARBAGE COLLECT
2016.24/2022.03 c rational objective 3
2057.13/2063.08 c #Conflicts: 1542000 | #Constraints: 33459
2057.13/2063.08 c #Conflicts: 1543000 | #Constraints: 34459
2057.13/2063.08 c #Conflicts: 1544000 | #Constraints: 35460
2057.13/2063.08 c #Conflicts: 1545000 | #Constraints: 36461
2057.13/2063.08 c #Conflicts: 1546000 | #Constraints: 37463
2057.13/2063.08 c #Conflicts: 1547000 | #Constraints: 38464
2057.13/2063.08 c #Conflicts: 1548000 | #Constraints: 39466
2057.13/2063.08 c #Conflicts: 1549000 | #Constraints: 40466
2057.13/2063.08 c #Conflicts: 1550000 | #Constraints: 41468
2057.13/2063.08 c #Conflicts: 1551000 | #Constraints: 42469
2057.13/2063.08 c #Conflicts: 1552000 | #Constraints: 43469
2057.13/2063.08 c #Conflicts: 1553000 | #Constraints: 44469
2057.13/2063.08 c #Conflicts: 1554000 | #Constraints: 45469
2057.13/2063.08 c #Conflicts: 1555000 | #Constraints: 46469
2057.13/2063.08 c #Conflicts: 1556000 | #Constraints: 47469
2057.13/2063.08 c #Conflicts: 1557000 | #Constraints: 48470
2057.13/2063.08 c #Conflicts: 1558000 | #Constraints: 49470
2057.13/2063.08 c #Conflicts: 1559000 | #Constraints: 50471
2057.13/2063.08 c #Conflicts: 1560000 | #Constraints: 51471
2057.13/2063.08 c #Conflicts: 1561000 | #Constraints: 52472
2057.13/2063.08 c #Conflicts: 1562000 | #Constraints: 53474
2057.13/2063.08 c #Conflicts: 1563000 | #Constraints: 54475
2057.13/2063.08 c #Conflicts: 1564000 | #Constraints: 55475
2057.13/2063.08 c #Conflicts: 1565000 | #Constraints: 56475
2057.13/2063.08 c #Conflicts: 1566000 | #Constraints: 57475
2057.13/2063.08 c INPROCESSING
2057.13/2063.08 c GARBAGE COLLECT
2057.13/2063.08 c rational objective 3
2112.26/2118.32 c #Conflicts: 1567000 | #Constraints: 33543
2112.26/2118.32 c #Conflicts: 1568000 | #Constraints: 34543
2112.26/2118.32 c #Conflicts: 1569000 | #Constraints: 35545
2112.26/2118.32 c #Conflicts: 1570000 | #Constraints: 36550
2112.26/2118.32 c #Conflicts: 1571000 | #Constraints: 37553
2112.26/2118.32 c #Conflicts: 1572000 | #Constraints: 38555
2112.26/2118.32 c #Conflicts: 1573000 | #Constraints: 39557
2112.26/2118.32 c #Conflicts: 1574000 | #Constraints: 40558
2112.26/2118.32 c #Conflicts: 1575000 | #Constraints: 41559
2112.26/2118.32 c #Conflicts: 1576000 | #Constraints: 42559
2112.26/2118.32 c #Conflicts: 1577000 | #Constraints: 43562
2112.26/2118.32 c #Conflicts: 1578000 | #Constraints: 44563
2112.26/2118.32 c #Conflicts: 1579000 | #Constraints: 45565
2112.26/2118.32 c #Conflicts: 1580000 | #Constraints: 46566
2112.26/2118.32 c #Conflicts: 1581000 | #Constraints: 47567
2112.26/2118.32 c #Conflicts: 1582000 | #Constraints: 48568
2112.26/2118.32 c #Conflicts: 1583000 | #Constraints: 49569
2112.26/2118.32 c #Conflicts: 1584000 | #Constraints: 50569
2112.26/2118.32 c #Conflicts: 1585000 | #Constraints: 51569
2112.26/2118.32 c #Conflicts: 1586000 | #Constraints: 52570
2112.26/2118.32 c #Conflicts: 1587000 | #Constraints: 53571
2112.26/2118.32 c #Conflicts: 1588000 | #Constraints: 54572
2112.26/2118.32 c #Conflicts: 1589000 | #Constraints: 55572
2112.26/2118.32 c #Conflicts: 1590000 | #Constraints: 56573
2112.26/2118.32 c #Conflicts: 1591000 | #Constraints: 57574
2112.26/2118.32 c INPROCESSING
2112.26/2118.32 c GARBAGE COLLECT
2112.26/2118.32 c rational objective 3
2161.22/2167.42 c #Conflicts: 1592000 | #Constraints: 33585
2161.22/2167.42 c #Conflicts: 1593000 | #Constraints: 34585
2161.22/2167.42 c #Conflicts: 1594000 | #Constraints: 35585
2161.22/2167.42 c #Conflicts: 1595000 | #Constraints: 36587
2161.22/2167.42 c #Conflicts: 1596000 | #Constraints: 37587
2161.22/2167.42 c #Conflicts: 1597000 | #Constraints: 38587
2161.22/2167.42 c #Conflicts: 1598000 | #Constraints: 39589
2161.22/2167.42 c #Conflicts: 1599000 | #Constraints: 40589
2161.22/2167.42 c #Conflicts: 1600000 | #Constraints: 41589
2161.22/2167.42 c #Conflicts: 1601000 | #Constraints: 42589
2161.22/2167.42 c #Conflicts: 1602000 | #Constraints: 43590
2161.22/2167.42 c #Conflicts: 1603000 | #Constraints: 44590
2161.22/2167.42 c #Conflicts: 1604000 | #Constraints: 45591
2161.22/2167.42 c #Conflicts: 1605000 | #Constraints: 46591
2161.22/2167.42 c #Conflicts: 1606000 | #Constraints: 47593
2161.22/2167.42 c #Conflicts: 1607000 | #Constraints: 48594
2161.22/2167.42 c #Conflicts: 1608000 | #Constraints: 49594
2161.22/2167.42 c #Conflicts: 1609000 | #Constraints: 50595
2161.22/2167.42 c #Conflicts: 1610000 | #Constraints: 51595
2161.22/2167.42 c #Conflicts: 1611000 | #Constraints: 52595
2161.22/2167.42 c #Conflicts: 1612000 | #Constraints: 53596
2161.22/2167.42 c #Conflicts: 1613000 | #Constraints: 54596
2161.22/2167.42 c #Conflicts: 1614000 | #Constraints: 55597
2161.22/2167.42 c #Conflicts: 1615000 | #Constraints: 56598
2161.22/2167.42 c #Conflicts: 1616000 | #Constraints: 57600
2161.22/2167.42 c INPROCESSING
2161.22/2167.42 c GARBAGE COLLECT
2161.22/2167.42 c rational objective 3
2211.77/2218.18 c #Conflicts: 1617000 | #Constraints: 33379
2211.77/2218.18 c #Conflicts: 1618000 | #Constraints: 34380
2211.77/2218.18 c #Conflicts: 1619000 | #Constraints: 35380
2211.77/2218.18 c #Conflicts: 1620000 | #Constraints: 36382
2211.77/2218.18 c #Conflicts: 1621000 | #Constraints: 37382
2211.77/2218.18 c #Conflicts: 1622000 | #Constraints: 38382
2211.77/2218.18 c #Conflicts: 1623000 | #Constraints: 39382
2211.77/2218.18 c #Conflicts: 1624000 | #Constraints: 40383
2211.77/2218.18 c #Conflicts: 1625000 | #Constraints: 41384
2211.77/2218.18 c #Conflicts: 1626000 | #Constraints: 42384
2211.77/2218.18 c #Conflicts: 1627000 | #Constraints: 43384
2211.77/2218.18 c #Conflicts: 1628000 | #Constraints: 44384
2211.77/2218.18 c #Conflicts: 1629000 | #Constraints: 45384
2211.77/2218.18 c #Conflicts: 1630000 | #Constraints: 46384
2211.77/2218.18 c #Conflicts: 1631000 | #Constraints: 47384
2211.77/2218.18 c #Conflicts: 1632000 | #Constraints: 48386
2211.77/2218.18 c #Conflicts: 1633000 | #Constraints: 49387
2211.77/2218.18 c #Conflicts: 1634000 | #Constraints: 50388
2211.77/2218.18 c #Conflicts: 1635000 | #Constraints: 51388
2211.77/2218.18 c #Conflicts: 1636000 | #Constraints: 52389
2211.77/2218.18 c #Conflicts: 1637000 | #Constraints: 53389
2211.77/2218.18 c #Conflicts: 1638000 | #Constraints: 54389
2211.77/2218.18 c #Conflicts: 1639000 | #Constraints: 55389
2211.77/2218.18 c #Conflicts: 1640000 | #Constraints: 56389
2211.77/2218.18 c #Conflicts: 1641000 | #Constraints: 57389
2211.77/2218.18 c #Conflicts: 1642000 | #Constraints: 58389
2211.77/2218.18 c INPROCESSING
2211.77/2218.18 c GARBAGE COLLECT
2211.77/2218.18 c rational objective 3
2260.23/2266.79 c #Conflicts: 1643000 | #Constraints: 33951
2260.23/2266.79 c #Conflicts: 1644000 | #Constraints: 34952
2260.23/2266.79 c #Conflicts: 1645000 | #Constraints: 35952
2260.23/2266.79 c #Conflicts: 1646000 | #Constraints: 36954
2260.23/2266.79 c #Conflicts: 1647000 | #Constraints: 37956
2260.23/2266.79 c #Conflicts: 1648000 | #Constraints: 38959
2260.23/2266.79 c #Conflicts: 1649000 | #Constraints: 39959
2260.23/2266.79 c #Conflicts: 1650000 | #Constraints: 40960
2260.23/2266.79 c #Conflicts: 1651000 | #Constraints: 41962
2260.23/2266.79 c #Conflicts: 1652000 | #Constraints: 42966
2260.23/2266.79 c #Conflicts: 1653000 | #Constraints: 43966
2260.23/2266.79 c #Conflicts: 1654000 | #Constraints: 44966
2260.23/2266.79 c #Conflicts: 1655000 | #Constraints: 45966
2260.23/2266.79 c #Conflicts: 1656000 | #Constraints: 46967
2260.23/2266.79 c #Conflicts: 1657000 | #Constraints: 47968
2260.23/2266.79 c #Conflicts: 1658000 | #Constraints: 48969
2260.23/2266.79 c #Conflicts: 1659000 | #Constraints: 49969
2260.23/2266.79 c #Conflicts: 1660000 | #Constraints: 50970
2260.23/2266.79 c #Conflicts: 1661000 | #Constraints: 51970
2260.23/2266.79 c #Conflicts: 1662000 | #Constraints: 52970
2260.23/2266.79 c #Conflicts: 1663000 | #Constraints: 53972
2260.23/2266.79 c #Conflicts: 1664000 | #Constraints: 54974
2260.23/2266.79 c #Conflicts: 1665000 | #Constraints: 55974
2260.23/2266.79 c #Conflicts: 1666000 | #Constraints: 56974
2260.23/2266.79 c #Conflicts: 1667000 | #Constraints: 57975
2260.23/2266.79 c #Conflicts: 1668000 | #Constraints: 58976
2260.23/2266.79 c INPROCESSING
2260.23/2266.79 c GARBAGE COLLECT
2260.23/2266.79 c rational objective 3
2308.30/2314.96 c #Conflicts: 1669000 | #Constraints: 34308
2308.30/2314.96 c #Conflicts: 1670000 | #Constraints: 35308
2308.30/2314.96 c #Conflicts: 1671000 | #Constraints: 36308
2308.30/2314.96 c #Conflicts: 1672000 | #Constraints: 37308
2308.30/2314.96 c #Conflicts: 1673000 | #Constraints: 38309
2308.30/2314.96 c #Conflicts: 1674000 | #Constraints: 39309
2308.30/2314.96 c #Conflicts: 1675000 | #Constraints: 40309
2308.30/2314.96 c #Conflicts: 1676000 | #Constraints: 41311
2308.30/2314.96 c #Conflicts: 1677000 | #Constraints: 42313
2308.30/2314.96 c #Conflicts: 1678000 | #Constraints: 43314
2308.30/2314.96 c #Conflicts: 1679000 | #Constraints: 44314
2308.30/2314.96 c #Conflicts: 1680000 | #Constraints: 45314
2308.30/2314.96 c #Conflicts: 1681000 | #Constraints: 46315
2308.30/2314.96 c #Conflicts: 1682000 | #Constraints: 47315
2308.30/2314.96 c #Conflicts: 1683000 | #Constraints: 48316
2308.30/2314.96 c #Conflicts: 1684000 | #Constraints: 49317
2308.30/2314.96 c #Conflicts: 1685000 | #Constraints: 50319
2308.30/2314.96 c #Conflicts: 1686000 | #Constraints: 51320
2308.30/2314.96 c #Conflicts: 1687000 | #Constraints: 52321
2308.30/2314.96 c #Conflicts: 1688000 | #Constraints: 53321
2308.30/2314.96 c #Conflicts: 1689000 | #Constraints: 54321
2308.30/2314.96 c #Conflicts: 1690000 | #Constraints: 55321
2308.30/2314.96 c #Conflicts: 1691000 | #Constraints: 56322
2308.30/2314.96 c #Conflicts: 1692000 | #Constraints: 57322
2308.30/2314.96 c #Conflicts: 1693000 | #Constraints: 58323
2308.30/2314.96 c #Conflicts: 1694000 | #Constraints: 59323
2308.30/2314.96 c INPROCESSING
2308.30/2314.96 c GARBAGE COLLECT
2308.30/2314.96 c rational objective 3
2357.16/2363.91 c #Conflicts: 1695000 | #Constraints: 34506
2357.16/2363.91 c #Conflicts: 1696000 | #Constraints: 35506
2357.16/2363.91 c #Conflicts: 1697000 | #Constraints: 36506
2357.16/2363.91 c #Conflicts: 1698000 | #Constraints: 37508
2357.16/2363.91 c #Conflicts: 1699000 | #Constraints: 38509
2357.16/2363.91 c #Conflicts: 1700000 | #Constraints: 39510
2357.16/2363.91 c #Conflicts: 1701000 | #Constraints: 40512
2357.16/2363.91 c #Conflicts: 1702000 | #Constraints: 41512
2357.16/2363.91 c #Conflicts: 1703000 | #Constraints: 42514
2357.16/2363.91 c #Conflicts: 1704000 | #Constraints: 43514
2357.16/2363.91 c #Conflicts: 1705000 | #Constraints: 44516
2357.16/2363.91 c #Conflicts: 1706000 | #Constraints: 45517
2357.16/2363.91 c #Conflicts: 1707000 | #Constraints: 46517
2357.16/2363.91 c #Conflicts: 1708000 | #Constraints: 47517
2357.16/2363.91 c #Conflicts: 1709000 | #Constraints: 48517
2357.16/2363.91 c #Conflicts: 1710000 | #Constraints: 49518
2357.16/2363.91 c #Conflicts: 1711000 | #Constraints: 50519
2357.16/2363.91 c #Conflicts: 1712000 | #Constraints: 51520
2357.16/2363.91 c #Conflicts: 1713000 | #Constraints: 52520
2357.16/2363.91 c #Conflicts: 1714000 | #Constraints: 53521
2357.16/2363.91 c #Conflicts: 1715000 | #Constraints: 54521
2357.16/2363.91 c #Conflicts: 1716000 | #Constraints: 55522
2357.16/2363.91 c #Conflicts: 1717000 | #Constraints: 56524
2357.16/2363.91 c #Conflicts: 1718000 | #Constraints: 57525
2357.16/2363.91 c #Conflicts: 1719000 | #Constraints: 58525
2357.16/2363.91 c #Conflicts: 1720000 | #Constraints: 59527
2357.16/2363.91 c INPROCESSING
2357.16/2363.91 c GARBAGE COLLECT
2357.16/2363.91 c rational objective 3
2404.32/2411.27 c #Conflicts: 1721000 | #Constraints: 34496
2404.32/2411.27 c #Conflicts: 1722000 | #Constraints: 35496
2404.32/2411.27 c #Conflicts: 1723000 | #Constraints: 36498
2404.32/2411.27 c #Conflicts: 1724000 | #Constraints: 37500
2404.32/2411.27 c #Conflicts: 1725000 | #Constraints: 38501
2404.32/2411.27 c #Conflicts: 1726000 | #Constraints: 39502
2404.32/2411.27 c #Conflicts: 1727000 | #Constraints: 40505
2404.32/2411.27 c #Conflicts: 1728000 | #Constraints: 41506
2404.32/2411.27 c #Conflicts: 1729000 | #Constraints: 42507
2404.32/2411.27 c #Conflicts: 1730000 | #Constraints: 43508
2404.32/2411.27 c #Conflicts: 1731000 | #Constraints: 44509
2404.32/2411.27 c #Conflicts: 1732000 | #Constraints: 45510
2404.32/2411.27 c #Conflicts: 1733000 | #Constraints: 46511
2404.32/2411.27 c #Conflicts: 1734000 | #Constraints: 47511
2404.32/2411.27 c #Conflicts: 1735000 | #Constraints: 48512
2404.32/2411.27 c #Conflicts: 1736000 | #Constraints: 49512
2404.32/2411.27 c #Conflicts: 1737000 | #Constraints: 50512
2404.32/2411.27 c #Conflicts: 1738000 | #Constraints: 51512
2404.32/2411.27 c #Conflicts: 1739000 | #Constraints: 52514
2404.32/2411.27 c #Conflicts: 1740000 | #Constraints: 53514
2404.32/2411.27 c #Conflicts: 1741000 | #Constraints: 54515
2404.32/2411.27 c #Conflicts: 1742000 | #Constraints: 55516
2404.32/2411.27 c #Conflicts: 1743000 | #Constraints: 56516
2404.32/2411.27 c #Conflicts: 1744000 | #Constraints: 57516
2404.32/2411.27 c #Conflicts: 1745000 | #Constraints: 58516
2404.32/2411.27 c #Conflicts: 1746000 | #Constraints: 59516
2404.32/2411.27 c INPROCESSING
2404.32/2411.27 c GARBAGE COLLECT
2404.32/2411.27 c rational objective 3
2463.06/2470.10 c #Conflicts: 1747000 | #Constraints: 34285
2463.06/2470.10 c #Conflicts: 1748000 | #Constraints: 35285
2463.06/2470.10 c #Conflicts: 1749000 | #Constraints: 36285
2463.06/2470.10 c #Conflicts: 1750000 | #Constraints: 37285
2463.06/2470.10 c #Conflicts: 1751000 | #Constraints: 38286
2463.06/2470.10 c #Conflicts: 1752000 | #Constraints: 39287
2463.06/2470.10 c #Conflicts: 1753000 | #Constraints: 40287
2463.06/2470.10 c #Conflicts: 1754000 | #Constraints: 41287
2463.06/2470.10 c #Conflicts: 1755000 | #Constraints: 42287
2463.06/2470.10 c #Conflicts: 1756000 | #Constraints: 43287
2463.06/2470.10 c #Conflicts: 1757000 | #Constraints: 44287
2463.06/2470.10 c #Conflicts: 1758000 | #Constraints: 45287
2463.06/2470.10 c #Conflicts: 1759000 | #Constraints: 46288
2463.06/2470.10 c #Conflicts: 1760000 | #Constraints: 47288
2463.06/2470.10 c #Conflicts: 1761000 | #Constraints: 48288
2463.06/2470.10 c #Conflicts: 1762000 | #Constraints: 49288
2463.06/2470.10 c #Conflicts: 1763000 | #Constraints: 50288
2463.06/2470.10 c #Conflicts: 1764000 | #Constraints: 51289
2463.06/2470.10 c #Conflicts: 1765000 | #Constraints: 52290
2463.06/2470.10 c #Conflicts: 1766000 | #Constraints: 53291
2463.06/2470.10 c #Conflicts: 1767000 | #Constraints: 54292
2463.06/2470.10 c #Conflicts: 1768000 | #Constraints: 55292
2463.06/2470.10 c #Conflicts: 1769000 | #Constraints: 56292
2463.06/2470.10 c #Conflicts: 1770000 | #Constraints: 57293
2463.06/2470.10 c #Conflicts: 1771000 | #Constraints: 58293
2463.06/2470.10 c #Conflicts: 1772000 | #Constraints: 59293
2463.06/2470.10 c #Conflicts: 1773000 | #Constraints: 60294
2463.06/2470.10 c INPROCESSING
2463.06/2470.10 c GARBAGE COLLECT
2463.06/2470.10 c rational objective 3
2514.40/2521.62 c #Conflicts: 1774000 | #Constraints: 34936
2514.40/2521.62 c #Conflicts: 1775000 | #Constraints: 35936
2514.40/2521.62 c #Conflicts: 1776000 | #Constraints: 36937
2514.40/2521.62 c #Conflicts: 1777000 | #Constraints: 37938
2514.40/2521.62 c #Conflicts: 1778000 | #Constraints: 38940
2514.40/2521.62 c #Conflicts: 1779000 | #Constraints: 39941
2514.40/2521.62 c #Conflicts: 1780000 | #Constraints: 40941
2514.40/2521.62 c #Conflicts: 1781000 | #Constraints: 41942
2514.40/2521.62 c #Conflicts: 1782000 | #Constraints: 42942
2514.40/2521.62 c #Conflicts: 1783000 | #Constraints: 43943
2514.40/2521.62 c #Conflicts: 1784000 | #Constraints: 44943
2514.40/2521.62 c #Conflicts: 1785000 | #Constraints: 45943
2514.40/2521.62 c #Conflicts: 1786000 | #Constraints: 46944
2514.40/2521.62 c #Conflicts: 1787000 | #Constraints: 47944
2514.40/2521.62 c #Conflicts: 1788000 | #Constraints: 48946
2514.40/2521.62 c #Conflicts: 1789000 | #Constraints: 49946
2514.40/2521.62 c #Conflicts: 1790000 | #Constraints: 50946
2514.40/2521.62 c #Conflicts: 1791000 | #Constraints: 51946
2514.40/2521.62 c #Conflicts: 1792000 | #Constraints: 52947
2514.40/2521.62 c #Conflicts: 1793000 | #Constraints: 53947
2514.40/2521.62 c #Conflicts: 1794000 | #Constraints: 54948
2514.40/2521.62 c #Conflicts: 1795000 | #Constraints: 55948
2514.40/2521.62 c #Conflicts: 1796000 | #Constraints: 56950
2514.40/2521.62 c #Conflicts: 1797000 | #Constraints: 57952
2514.40/2521.62 c #Conflicts: 1798000 | #Constraints: 58952
2514.40/2521.62 c #Conflicts: 1799000 | #Constraints: 59952
2514.40/2521.62 c #Conflicts: 1800000 | #Constraints: 60952
2514.40/2521.62 c INPROCESSING
2514.40/2521.62 c GARBAGE COLLECT
2514.40/2521.62 c rational objective 3
2568.65/2576.04 c #Conflicts: 1801000 | #Constraints: 35327
2568.65/2576.04 c #Conflicts: 1802000 | #Constraints: 36327
2568.65/2576.04 c #Conflicts: 1803000 | #Constraints: 37329
2568.65/2576.04 c #Conflicts: 1804000 | #Constraints: 38330
2568.65/2576.04 c #Conflicts: 1805000 | #Constraints: 39332
2568.65/2576.04 c #Conflicts: 1806000 | #Constraints: 40334
2568.65/2576.04 c #Conflicts: 1807000 | #Constraints: 41339
2568.65/2576.04 c #Conflicts: 1808000 | #Constraints: 42340
2568.65/2576.04 c #Conflicts: 1809000 | #Constraints: 43341
2568.65/2576.04 c #Conflicts: 1810000 | #Constraints: 44342
2568.65/2576.04 c #Conflicts: 1811000 | #Constraints: 45342
2568.65/2576.04 c #Conflicts: 1812000 | #Constraints: 46342
2568.65/2576.04 c #Conflicts: 1813000 | #Constraints: 47343
2568.65/2576.04 c #Conflicts: 1814000 | #Constraints: 48345
2568.65/2576.04 c #Conflicts: 1815000 | #Constraints: 49347
2568.65/2576.04 c #Conflicts: 1816000 | #Constraints: 50347
2568.65/2576.04 c #Conflicts: 1817000 | #Constraints: 51347
2568.65/2576.04 c #Conflicts: 1818000 | #Constraints: 52347
2568.65/2576.04 c #Conflicts: 1819000 | #Constraints: 53347
2568.65/2576.04 c #Conflicts: 1820000 | #Constraints: 54348
2568.65/2576.04 c #Conflicts: 1821000 | #Constraints: 55350
2568.65/2576.04 c #Conflicts: 1822000 | #Constraints: 56350
2568.65/2576.04 c #Conflicts: 1823000 | #Constraints: 57350
2568.65/2576.04 c #Conflicts: 1824000 | #Constraints: 58351
2568.65/2576.04 c #Conflicts: 1825000 | #Constraints: 59351
2568.65/2576.04 c #Conflicts: 1826000 | #Constraints: 60351
2568.65/2576.04 c #Conflicts: 1827000 | #Constraints: 61351
2568.65/2576.04 c INPROCESSING
2568.65/2576.04 c GARBAGE COLLECT
2568.65/2576.04 c rational objective 3
2620.00/2627.52 c #Conflicts: 1828000 | #Constraints: 35501
2620.00/2627.52 c #Conflicts: 1829000 | #Constraints: 36501
2620.00/2627.52 c #Conflicts: 1830000 | #Constraints: 37503
2620.00/2627.52 c #Conflicts: 1831000 | #Constraints: 38506
2620.00/2627.52 c #Conflicts: 1832000 | #Constraints: 39508
2620.00/2627.52 c #Conflicts: 1833000 | #Constraints: 40510
2620.00/2627.52 c #Conflicts: 1834000 | #Constraints: 41510
2620.00/2627.52 c #Conflicts: 1835000 | #Constraints: 42512
2620.00/2627.52 c #Conflicts: 1836000 | #Constraints: 43514
2620.00/2627.52 c #Conflicts: 1837000 | #Constraints: 44514
2620.00/2627.52 c #Conflicts: 1838000 | #Constraints: 45514
2620.00/2627.52 c #Conflicts: 1839000 | #Constraints: 46514
2620.00/2627.52 c #Conflicts: 1840000 | #Constraints: 47514
2620.00/2627.52 c #Conflicts: 1841000 | #Constraints: 48514
2620.00/2627.52 c #Conflicts: 1842000 | #Constraints: 49515
2620.00/2627.52 c #Conflicts: 1843000 | #Constraints: 50515
2620.00/2627.52 c #Conflicts: 1844000 | #Constraints: 51515
2620.00/2627.52 c #Conflicts: 1845000 | #Constraints: 52515
2620.00/2627.52 c #Conflicts: 1846000 | #Constraints: 53516
2620.00/2627.52 c #Conflicts: 1847000 | #Constraints: 54518
2620.00/2627.52 c #Conflicts: 1848000 | #Constraints: 55520
2620.00/2627.52 c #Conflicts: 1849000 | #Constraints: 56521
2620.00/2627.52 c #Conflicts: 1850000 | #Constraints: 57524
2620.00/2627.52 c #Conflicts: 1851000 | #Constraints: 58526
2620.00/2627.52 c #Conflicts: 1852000 | #Constraints: 59528
2620.00/2627.52 c #Conflicts: 1853000 | #Constraints: 60528
2620.00/2627.52 c #Conflicts: 1854000 | #Constraints: 61528
2620.00/2627.52 c INPROCESSING
2620.00/2627.52 c GARBAGE COLLECT
2620.00/2627.52 c rational objective 3
2672.55/2680.27 c #Conflicts: 1855000 | #Constraints: 35505
2672.55/2680.27 c #Conflicts: 1856000 | #Constraints: 36507
2672.55/2680.27 c #Conflicts: 1857000 | #Constraints: 37507
2672.55/2680.27 c #Conflicts: 1858000 | #Constraints: 38508
2672.55/2680.27 c #Conflicts: 1859000 | #Constraints: 39509
2672.55/2680.27 c #Conflicts: 1860000 | #Constraints: 40509
2672.55/2680.27 c #Conflicts: 1861000 | #Constraints: 41510
2672.55/2680.27 c #Conflicts: 1862000 | #Constraints: 42510
2672.55/2680.27 c #Conflicts: 1863000 | #Constraints: 43510
2672.55/2680.27 c #Conflicts: 1864000 | #Constraints: 44511
2672.55/2680.27 c #Conflicts: 1865000 | #Constraints: 45511
2672.55/2680.27 c #Conflicts: 1866000 | #Constraints: 46512
2672.55/2680.27 c #Conflicts: 1867000 | #Constraints: 47512
2672.55/2680.27 c #Conflicts: 1868000 | #Constraints: 48512
2672.55/2680.27 c #Conflicts: 1869000 | #Constraints: 49512
2672.55/2680.27 c #Conflicts: 1870000 | #Constraints: 50512
2672.55/2680.27 c #Conflicts: 1871000 | #Constraints: 51512
2672.55/2680.27 c #Conflicts: 1872000 | #Constraints: 52512
2672.55/2680.27 c #Conflicts: 1873000 | #Constraints: 53513
2672.55/2680.27 c #Conflicts: 1874000 | #Constraints: 54513
2672.55/2680.27 c #Conflicts: 1875000 | #Constraints: 55513
2672.55/2680.27 c #Conflicts: 1876000 | #Constraints: 56514
2672.55/2680.27 c #Conflicts: 1877000 | #Constraints: 57515
2672.55/2680.27 c #Conflicts: 1878000 | #Constraints: 58515
2672.55/2680.27 c #Conflicts: 1879000 | #Constraints: 59515
2672.55/2680.27 c #Conflicts: 1880000 | #Constraints: 60515
2672.55/2680.27 c #Conflicts: 1881000 | #Constraints: 61515
2672.55/2680.27 c INPROCESSING
2672.55/2680.27 c GARBAGE COLLECT
2672.55/2680.27 c rational objective 3
2723.90/2731.75 c #Conflicts: 1882000 | #Constraints: 35282
2723.90/2731.75 c #Conflicts: 1883000 | #Constraints: 36282
2723.90/2731.75 c #Conflicts: 1884000 | #Constraints: 37282
2723.90/2731.75 c #Conflicts: 1885000 | #Constraints: 38283
2723.90/2731.75 c #Conflicts: 1886000 | #Constraints: 39283
2723.90/2731.75 c #Conflicts: 1887000 | #Constraints: 40285
2723.90/2731.75 c #Conflicts: 1888000 | #Constraints: 41286
2723.90/2731.75 c #Conflicts: 1889000 | #Constraints: 42286
2723.90/2731.75 c #Conflicts: 1890000 | #Constraints: 43288
2723.90/2731.75 c #Conflicts: 1891000 | #Constraints: 44291
2723.90/2731.75 c #Conflicts: 1892000 | #Constraints: 45291
2723.90/2731.75 c #Conflicts: 1893000 | #Constraints: 46291
2723.90/2731.75 c #Conflicts: 1894000 | #Constraints: 47291
2723.90/2731.75 c #Conflicts: 1895000 | #Constraints: 48291
2723.90/2731.75 c #Conflicts: 1896000 | #Constraints: 49291
2723.90/2731.75 c #Conflicts: 1897000 | #Constraints: 50291
2723.90/2731.75 c #Conflicts: 1898000 | #Constraints: 51292
2723.90/2731.75 c #Conflicts: 1899000 | #Constraints: 52292
2723.90/2731.75 c #Conflicts: 1900000 | #Constraints: 53293
2723.90/2731.75 c #Conflicts: 1901000 | #Constraints: 54293
2723.90/2731.75 c #Conflicts: 1902000 | #Constraints: 55293
2723.90/2731.75 c #Conflicts: 1903000 | #Constraints: 56294
2723.90/2731.75 c #Conflicts: 1904000 | #Constraints: 57295
2723.90/2731.75 c #Conflicts: 1905000 | #Constraints: 58295
2723.90/2731.75 c #Conflicts: 1906000 | #Constraints: 59295
2723.90/2731.75 c #Conflicts: 1907000 | #Constraints: 60295
2723.90/2731.75 c #Conflicts: 1908000 | #Constraints: 61295
2723.90/2731.75 c #Conflicts: 1909000 | #Constraints: 62295
2723.90/2731.75 c INPROCESSING
2723.90/2731.75 c GARBAGE COLLECT
2723.90/2731.75 c rational objective 3
2778.85/2786.81 c #Conflicts: 1910000 | #Constraints: 35842
2778.85/2786.81 c #Conflicts: 1911000 | #Constraints: 36843
2778.85/2786.81 c #Conflicts: 1912000 | #Constraints: 37844
2778.85/2786.81 c #Conflicts: 1913000 | #Constraints: 38844
2778.85/2786.81 c #Conflicts: 1914000 | #Constraints: 39845
2778.85/2786.81 c #Conflicts: 1915000 | #Constraints: 40845
2778.85/2786.81 c #Conflicts: 1916000 | #Constraints: 41845
2778.85/2786.81 c #Conflicts: 1917000 | #Constraints: 42845
2778.85/2786.81 c #Conflicts: 1918000 | #Constraints: 43845
2778.85/2786.81 c #Conflicts: 1919000 | #Constraints: 44845
2778.85/2786.81 c #Conflicts: 1920000 | #Constraints: 45846
2778.85/2786.81 c #Conflicts: 1921000 | #Constraints: 46846
2778.85/2786.81 c #Conflicts: 1922000 | #Constraints: 47846
2778.85/2786.81 c #Conflicts: 1923000 | #Constraints: 48846
2778.85/2786.81 c #Conflicts: 1924000 | #Constraints: 49846
2778.85/2786.81 c #Conflicts: 1925000 | #Constraints: 50847
2778.85/2786.81 c #Conflicts: 1926000 | #Constraints: 51847
2778.85/2786.81 c #Conflicts: 1927000 | #Constraints: 52848
2778.85/2786.81 c #Conflicts: 1928000 | #Constraints: 53848
2778.85/2786.81 c #Conflicts: 1929000 | #Constraints: 54848
2778.85/2786.81 c #Conflicts: 1930000 | #Constraints: 55848
2778.85/2786.81 c #Conflicts: 1931000 | #Constraints: 56848
2778.85/2786.81 c #Conflicts: 1932000 | #Constraints: 57848
2778.85/2786.81 c #Conflicts: 1933000 | #Constraints: 58848
2778.85/2786.81 c #Conflicts: 1934000 | #Constraints: 59849
2778.85/2786.81 c #Conflicts: 1935000 | #Constraints: 60849
2778.85/2786.81 c #Conflicts: 1936000 | #Constraints: 61850
2778.85/2786.81 c #Conflicts: 1937000 | #Constraints: 62850
2778.85/2786.81 c INPROCESSING
2778.85/2786.81 c GARBAGE COLLECT
2778.85/2786.81 c rational objective 3
2832.69/2840.84 c #Conflicts: 1938000 | #Constraints: 36201
2832.69/2840.84 c #Conflicts: 1939000 | #Constraints: 37202
2832.69/2840.84 c #Conflicts: 1940000 | #Constraints: 38202
2832.69/2840.84 c #Conflicts: 1941000 | #Constraints: 39202
2832.69/2840.84 c #Conflicts: 1942000 | #Constraints: 40203
2832.69/2840.84 c #Conflicts: 1943000 | #Constraints: 41203
2832.69/2840.84 c #Conflicts: 1944000 | #Constraints: 42203
2832.69/2840.84 c #Conflicts: 1945000 | #Constraints: 43203
2832.69/2840.84 c #Conflicts: 1946000 | #Constraints: 44203
2832.69/2840.84 c #Conflicts: 1947000 | #Constraints: 45204
2832.69/2840.84 c #Conflicts: 1948000 | #Constraints: 46204
2832.69/2840.84 c #Conflicts: 1949000 | #Constraints: 47204
2832.69/2840.84 c #Conflicts: 1950000 | #Constraints: 48204
2832.69/2840.84 c #Conflicts: 1951000 | #Constraints: 49204
2832.69/2840.84 c #Conflicts: 1952000 | #Constraints: 50204
2832.69/2840.84 c #Conflicts: 1953000 | #Constraints: 51204
2832.69/2840.84 c #Conflicts: 1954000 | #Constraints: 52204
2832.69/2840.84 c #Conflicts: 1955000 | #Constraints: 53204
2832.69/2840.84 c #Conflicts: 1956000 | #Constraints: 54204
2832.69/2840.84 c #Conflicts: 1957000 | #Constraints: 55205
2832.69/2840.84 c #Conflicts: 1958000 | #Constraints: 56208
2832.69/2840.84 c #Conflicts: 1959000 | #Constraints: 57208
2832.69/2840.84 c #Conflicts: 1960000 | #Constraints: 58209
2832.69/2840.84 c #Conflicts: 1961000 | #Constraints: 59211
2832.69/2840.84 c #Conflicts: 1962000 | #Constraints: 60211
2832.69/2840.84 c #Conflicts: 1963000 | #Constraints: 61211
2832.69/2840.84 c #Conflicts: 1964000 | #Constraints: 62211
2832.69/2840.84 c #Conflicts: 1965000 | #Constraints: 63211
2832.69/2840.84 c INPROCESSING
2832.69/2840.84 c GARBAGE COLLECT
2832.69/2840.84 c rational objective 3
2895.01/2903.37 c #Conflicts: 1966000 | #Constraints: 36418
2895.01/2903.37 c #Conflicts: 1967000 | #Constraints: 37419
2895.01/2903.37 c #Conflicts: 1968000 | #Constraints: 38421
2895.01/2903.37 c #Conflicts: 1969000 | #Constraints: 39422
2895.01/2903.37 c #Conflicts: 1970000 | #Constraints: 40426
2895.01/2903.37 c #Conflicts: 1971000 | #Constraints: 41427
2895.01/2903.37 c #Conflicts: 1972000 | #Constraints: 42429
2895.01/2903.37 c #Conflicts: 1973000 | #Constraints: 43431
2895.01/2903.37 c #Conflicts: 1974000 | #Constraints: 44432
2895.01/2903.37 c #Conflicts: 1975000 | #Constraints: 45433
2895.01/2903.37 c #Conflicts: 1976000 | #Constraints: 46435
2895.01/2903.37 c #Conflicts: 1977000 | #Constraints: 47436
2895.01/2903.37 c #Conflicts: 1978000 | #Constraints: 48437
2895.01/2903.37 c #Conflicts: 1979000 | #Constraints: 49437
2895.01/2903.37 c #Conflicts: 1980000 | #Constraints: 50437
2895.01/2903.37 c #Conflicts: 1981000 | #Constraints: 51438
2895.01/2903.37 c #Conflicts: 1982000 | #Constraints: 52439
2895.01/2903.37 c #Conflicts: 1983000 | #Constraints: 53439
2895.01/2903.37 c #Conflicts: 1984000 | #Constraints: 54440
2895.01/2903.37 c #Conflicts: 1985000 | #Constraints: 55440
2895.01/2903.37 c #Conflicts: 1986000 | #Constraints: 56442
2895.01/2903.37 c #Conflicts: 1987000 | #Constraints: 57444
2895.01/2903.37 c #Conflicts: 1988000 | #Constraints: 58444
2895.01/2903.37 c #Conflicts: 1989000 | #Constraints: 59446
2895.01/2903.37 c #Conflicts: 1990000 | #Constraints: 60446
2895.01/2903.37 c #Conflicts: 1991000 | #Constraints: 61446
2895.01/2903.37 c #Conflicts: 1992000 | #Constraints: 62446
2895.01/2903.37 c #Conflicts: 1993000 | #Constraints: 63446
2895.01/2903.37 c INPROCESSING
2895.01/2903.37 c GARBAGE COLLECT
2895.01/2903.37 c rational objective 3
2951.66/2960.18 c #Conflicts: 1994000 | #Constraints: 36458
2951.66/2960.18 c #Conflicts: 1995000 | #Constraints: 37459
2951.66/2960.18 c #Conflicts: 1996000 | #Constraints: 38462
2951.66/2960.18 c #Conflicts: 1997000 | #Constraints: 39463
2951.66/2960.18 c #Conflicts: 1998000 | #Constraints: 40464
2951.66/2960.18 c #Conflicts: 1999000 | #Constraints: 41464
2951.66/2960.18 c #Conflicts: 2000000 | #Constraints: 42465
2951.66/2960.18 c #Conflicts: 2001000 | #Constraints: 43470
2951.66/2960.18 c #Conflicts: 2002000 | #Constraints: 44472
2951.66/2960.18 c #Conflicts: 2003000 | #Constraints: 45474
2951.66/2960.18 c #Conflicts: 2004000 | #Constraints: 46476
2951.66/2960.18 c #Conflicts: 2005000 | #Constraints: 47479
2951.66/2960.18 c #Conflicts: 2006000 | #Constraints: 48481
2951.66/2960.18 c #Conflicts: 2007000 | #Constraints: 49484
2951.66/2960.18 c #Conflicts: 2008000 | #Constraints: 50486
2951.66/2960.18 c #Conflicts: 2009000 | #Constraints: 51486
2951.66/2960.18 c #Conflicts: 2010000 | #Constraints: 52488
2951.66/2960.18 c #Conflicts: 2011000 | #Constraints: 53488
2951.66/2960.18 c #Conflicts: 2012000 | #Constraints: 54491
2951.66/2960.18 c #Conflicts: 2013000 | #Constraints: 55492
2951.66/2960.18 c #Conflicts: 2014000 | #Constraints: 56492
2951.66/2960.18 c #Conflicts: 2015000 | #Constraints: 57492
2951.66/2960.18 c #Conflicts: 2016000 | #Constraints: 58492
2951.66/2960.18 c #Conflicts: 2017000 | #Constraints: 59492
2951.66/2960.18 c #Conflicts: 2018000 | #Constraints: 60494
2951.66/2960.18 c #Conflicts: 2019000 | #Constraints: 61494
2951.66/2960.18 c #Conflicts: 2020000 | #Constraints: 62494
2951.66/2960.18 c #Conflicts: 2021000 | #Constraints: 63494
2951.66/2960.18 c INPROCESSING
2951.66/2960.18 c GARBAGE COLLECT
2951.66/2960.18 c rational objective 3
3002.61/3011.22 c #Conflicts: 2022000 | #Constraints: 36162
3002.61/3011.22 c #Conflicts: 2023000 | #Constraints: 37162
3002.61/3011.22 c #Conflicts: 2024000 | #Constraints: 38164
3002.61/3011.22 c #Conflicts: 2025000 | #Constraints: 39165
3002.61/3011.22 c #Conflicts: 2026000 | #Constraints: 40166
3002.61/3011.22 c #Conflicts: 2027000 | #Constraints: 41166
3002.61/3011.22 c #Conflicts: 2028000 | #Constraints: 42167
3002.61/3011.22 c #Conflicts: 2029000 | #Constraints: 43167
3002.61/3011.22 c #Conflicts: 2030000 | #Constraints: 44169
3002.61/3011.22 c #Conflicts: 2031000 | #Constraints: 45170
3002.61/3011.22 c #Conflicts: 2032000 | #Constraints: 46173
3002.61/3011.22 c #Conflicts: 2033000 | #Constraints: 47174
3002.61/3011.22 c #Conflicts: 2034000 | #Constraints: 48175
3002.61/3011.22 c #Conflicts: 2035000 | #Constraints: 49176
3002.61/3011.22 c #Conflicts: 2036000 | #Constraints: 50176
3002.61/3011.22 c #Conflicts: 2037000 | #Constraints: 51179
3002.61/3011.22 c #Conflicts: 2038000 | #Constraints: 52182
3002.61/3011.22 c #Conflicts: 2039000 | #Constraints: 53186
3002.61/3011.22 c #Conflicts: 2040000 | #Constraints: 54187
3002.61/3011.22 c #Conflicts: 2041000 | #Constraints: 55188
3002.61/3011.22 c #Conflicts: 2042000 | #Constraints: 56189
3002.61/3011.22 c #Conflicts: 2043000 | #Constraints: 57189
3002.61/3011.22 c #Conflicts: 2044000 | #Constraints: 58189
3002.61/3011.22 c #Conflicts: 2045000 | #Constraints: 59190
3002.61/3011.22 c #Conflicts: 2046000 | #Constraints: 60190
3002.61/3011.22 c #Conflicts: 2047000 | #Constraints: 61190
3002.61/3011.22 c #Conflicts: 2048000 | #Constraints: 62191
3002.61/3011.22 c #Conflicts: 2049000 | #Constraints: 63192
3002.61/3011.22 c #Conflicts: 2050000 | #Constraints: 64194
3002.61/3011.22 c INPROCESSING
3002.61/3011.22 c GARBAGE COLLECT
3002.61/3011.22 c rational objective 3
3062.34/3071.13 c #Conflicts: 2051000 | #Constraints: 36723
3062.34/3071.13 c #Conflicts: 2052000 | #Constraints: 37724
3062.34/3071.13 c #Conflicts: 2053000 | #Constraints: 38724
3062.34/3071.13 c #Conflicts: 2054000 | #Constraints: 39726
3062.34/3071.13 c #Conflicts: 2055000 | #Constraints: 40728
3062.34/3071.13 c #Conflicts: 2056000 | #Constraints: 41733
3062.34/3071.13 c #Conflicts: 2057000 | #Constraints: 42734
3062.34/3071.13 c #Conflicts: 2058000 | #Constraints: 43735
3062.34/3071.13 c #Conflicts: 2059000 | #Constraints: 44738
3062.34/3071.13 c #Conflicts: 2060000 | #Constraints: 45741
3062.34/3071.13 c #Conflicts: 2061000 | #Constraints: 46741
3062.34/3071.13 c #Conflicts: 2062000 | #Constraints: 47743
3062.34/3071.13 c #Conflicts: 2063000 | #Constraints: 48745
3062.34/3071.13 c #Conflicts: 2064000 | #Constraints: 49746
3062.34/3071.13 c #Conflicts: 2065000 | #Constraints: 50749
3062.34/3071.13 c #Conflicts: 2066000 | #Constraints: 51750
3062.34/3071.13 c #Conflicts: 2067000 | #Constraints: 52750
3062.34/3071.13 c #Conflicts: 2068000 | #Constraints: 53751
3062.34/3071.13 c #Conflicts: 2069000 | #Constraints: 54753
3062.34/3071.13 c #Conflicts: 2070000 | #Constraints: 55754
3062.34/3071.13 c #Conflicts: 2071000 | #Constraints: 56755
3062.34/3071.13 c #Conflicts: 2072000 | #Constraints: 57755
3062.34/3071.13 c #Conflicts: 2073000 | #Constraints: 58756
3062.34/3071.13 c #Conflicts: 2074000 | #Constraints: 59758
3062.34/3071.13 c #Conflicts: 2075000 | #Constraints: 60758
3062.34/3071.13 c #Conflicts: 2076000 | #Constraints: 61759
3062.34/3071.13 c #Conflicts: 2077000 | #Constraints: 62759
3062.34/3071.13 c #Conflicts: 2078000 | #Constraints: 63759
3062.34/3071.13 c #Conflicts: 2079000 | #Constraints: 64760
3062.34/3071.13 c INPROCESSING
3062.34/3071.13 c GARBAGE COLLECT
3062.34/3071.13 c rational objective 3
3126.25/3135.28 c #Conflicts: 2080000 | #Constraints: 37154
3126.25/3135.28 c #Conflicts: 2081000 | #Constraints: 38154
3126.25/3135.28 c #Conflicts: 2082000 | #Constraints: 39154
3126.25/3135.28 c #Conflicts: 2083000 | #Constraints: 40157
3126.25/3135.28 c #Conflicts: 2084000 | #Constraints: 41159
3126.25/3135.28 c #Conflicts: 2085000 | #Constraints: 42161
3126.25/3135.28 c #Conflicts: 2086000 | #Constraints: 43162
3126.25/3135.28 c #Conflicts: 2087000 | #Constraints: 44164
3126.25/3135.28 c #Conflicts: 2088000 | #Constraints: 45166
3126.25/3135.28 c #Conflicts: 2089000 | #Constraints: 46168
3126.25/3135.28 c #Conflicts: 2090000 | #Constraints: 47171
3126.25/3135.28 c #Conflicts: 2091000 | #Constraints: 48175
3126.25/3135.28 c #Conflicts: 2092000 | #Constraints: 49178
3126.25/3135.28 c #Conflicts: 2093000 | #Constraints: 50178
3126.25/3135.28 c #Conflicts: 2094000 | #Constraints: 51179
3126.25/3135.28 c #Conflicts: 2095000 | #Constraints: 52180
3126.25/3135.28 c #Conflicts: 2096000 | #Constraints: 53181
3126.25/3135.28 c #Conflicts: 2097000 | #Constraints: 54182
3126.25/3135.28 c #Conflicts: 2098000 | #Constraints: 55183
3126.25/3135.28 c #Conflicts: 2099000 | #Constraints: 56184
3126.25/3135.28 c #Conflicts: 2100000 | #Constraints: 57184
3126.25/3135.28 c #Conflicts: 2101000 | #Constraints: 58185
3126.25/3135.28 c #Conflicts: 2102000 | #Constraints: 59185
3126.25/3135.28 c #Conflicts: 2103000 | #Constraints: 60186
3126.25/3135.28 c #Conflicts: 2104000 | #Constraints: 61186
3126.25/3135.28 c #Conflicts: 2105000 | #Constraints: 62187
3126.25/3135.28 c #Conflicts: 2106000 | #Constraints: 63188
3126.25/3135.28 c #Conflicts: 2107000 | #Constraints: 64189
3126.25/3135.28 c #Conflicts: 2108000 | #Constraints: 65190
3126.25/3135.28 c INPROCESSING
3126.25/3135.28 c GARBAGE COLLECT
3126.25/3135.28 c rational objective 3
3176.02/3185.20 c #Conflicts: 2109000 | #Constraints: 37338
3176.02/3185.20 c #Conflicts: 2110000 | #Constraints: 38338
3176.02/3185.20 c #Conflicts: 2111000 | #Constraints: 39338
3176.02/3185.20 c #Conflicts: 2112000 | #Constraints: 40338
3176.02/3185.20 c #Conflicts: 2113000 | #Constraints: 41339
3176.02/3185.20 c #Conflicts: 2114000 | #Constraints: 42340
3176.02/3185.20 c #Conflicts: 2115000 | #Constraints: 43341
3176.02/3185.20 c #Conflicts: 2116000 | #Constraints: 44342
3176.02/3185.20 c #Conflicts: 2117000 | #Constraints: 45342
3176.02/3185.20 c #Conflicts: 2118000 | #Constraints: 46342
3176.02/3185.20 c #Conflicts: 2119000 | #Constraints: 47343
3176.02/3185.20 c #Conflicts: 2120000 | #Constraints: 48343
3176.02/3185.20 c #Conflicts: 2121000 | #Constraints: 49344
3176.02/3185.20 c #Conflicts: 2122000 | #Constraints: 50344
3176.02/3185.20 c #Conflicts: 2123000 | #Constraints: 51345
3176.02/3185.20 c #Conflicts: 2124000 | #Constraints: 52347
3176.02/3185.20 c #Conflicts: 2125000 | #Constraints: 53349
3176.02/3185.20 c #Conflicts: 2126000 | #Constraints: 54351
3176.02/3185.20 c #Conflicts: 2127000 | #Constraints: 55353
3176.02/3185.20 c #Conflicts: 2128000 | #Constraints: 56354
3176.02/3185.20 c #Conflicts: 2129000 | #Constraints: 57354
3176.02/3185.20 c #Conflicts: 2130000 | #Constraints: 58355
3176.02/3185.20 c #Conflicts: 2131000 | #Constraints: 59356
3176.02/3185.20 c #Conflicts: 2132000 | #Constraints: 60357
3176.02/3185.20 c #Conflicts: 2133000 | #Constraints: 61358
3176.02/3185.20 c #Conflicts: 2134000 | #Constraints: 62358
3176.02/3185.20 c #Conflicts: 2135000 | #Constraints: 63358
3176.02/3185.20 c #Conflicts: 2136000 | #Constraints: 64358
3176.02/3185.20 c #Conflicts: 2137000 | #Constraints: 65359
3176.02/3185.20 c INPROCESSING
3176.02/3185.20 c GARBAGE COLLECT
3176.02/3185.20 c rational objective 3
3247.61/3256.98 c #Conflicts: 2138000 | #Constraints: 37335
3247.61/3256.98 c #Conflicts: 2139000 | #Constraints: 38337
3247.61/3256.98 c #Conflicts: 2140000 | #Constraints: 39340
3247.61/3256.98 c #Conflicts: 2141000 | #Constraints: 40342
3247.61/3256.98 c #Conflicts: 2142000 | #Constraints: 41346
3247.61/3256.98 c #Conflicts: 2143000 | #Constraints: 42348
3247.61/3256.98 c #Conflicts: 2144000 | #Constraints: 43351
3247.61/3256.98 c #Conflicts: 2145000 | #Constraints: 44354
3247.61/3256.98 c #Conflicts: 2146000 | #Constraints: 45356
3247.61/3256.98 c #Conflicts: 2147000 | #Constraints: 46358
3247.61/3256.98 c #Conflicts: 2148000 | #Constraints: 47359
3247.61/3256.98 c #Conflicts: 2149000 | #Constraints: 48359
3247.61/3256.98 c #Conflicts: 2150000 | #Constraints: 49359
3247.61/3256.98 c #Conflicts: 2151000 | #Constraints: 50359
3247.61/3256.98 c #Conflicts: 2152000 | #Constraints: 51359
3247.61/3256.98 c #Conflicts: 2153000 | #Constraints: 52361
3247.61/3256.98 c #Conflicts: 2154000 | #Constraints: 53362
3247.61/3256.98 c #Conflicts: 2155000 | #Constraints: 54363
3247.61/3256.98 c #Conflicts: 2156000 | #Constraints: 55364
3247.61/3256.98 c #Conflicts: 2157000 | #Constraints: 56365
3247.61/3256.98 c #Conflicts: 2158000 | #Constraints: 57366
3247.61/3256.98 c #Conflicts: 2159000 | #Constraints: 58367
3247.61/3256.98 c #Conflicts: 2160000 | #Constraints: 59367
3247.61/3256.98 c #Conflicts: 2161000 | #Constraints: 60367
3247.61/3256.98 c #Conflicts: 2162000 | #Constraints: 61367
3247.61/3256.98 c #Conflicts: 2163000 | #Constraints: 62367
3247.61/3256.98 c #Conflicts: 2164000 | #Constraints: 63368
3247.61/3256.98 c #Conflicts: 2165000 | #Constraints: 64369
3247.61/3256.98 c #Conflicts: 2166000 | #Constraints: 65369
3247.61/3256.98 c INPROCESSING
3247.61/3256.98 c GARBAGE COLLECT
3247.61/3256.98 c rational objective 3
3316.72/3326.25 c #Conflicts: 2167000 | #Constraints: 37125
3316.72/3326.25 c #Conflicts: 2168000 | #Constraints: 38125
3316.72/3326.25 c #Conflicts: 2169000 | #Constraints: 39125
3316.72/3326.25 c #Conflicts: 2170000 | #Constraints: 40126
3316.72/3326.25 c #Conflicts: 2171000 | #Constraints: 41126
3316.72/3326.25 c #Conflicts: 2172000 | #Constraints: 42126
3316.72/3326.25 c #Conflicts: 2173000 | #Constraints: 43128
3316.72/3326.25 c #Conflicts: 2174000 | #Constraints: 44130
3316.72/3326.25 c #Conflicts: 2175000 | #Constraints: 45132
3316.72/3326.25 c #Conflicts: 2176000 | #Constraints: 46134
3316.72/3326.25 c #Conflicts: 2177000 | #Constraints: 47134
3316.72/3326.25 c #Conflicts: 2178000 | #Constraints: 48134
3316.72/3326.25 c #Conflicts: 2179000 | #Constraints: 49134
3316.72/3326.25 c #Conflicts: 2180000 | #Constraints: 50136
3316.72/3326.25 c #Conflicts: 2181000 | #Constraints: 51138
3316.72/3326.25 c #Conflicts: 2182000 | #Constraints: 52138
3316.72/3326.25 c #Conflicts: 2183000 | #Constraints: 53138
3316.72/3326.25 c #Conflicts: 2184000 | #Constraints: 54138
3316.72/3326.25 c #Conflicts: 2185000 | #Constraints: 55138
3316.72/3326.25 c #Conflicts: 2186000 | #Constraints: 56140
3316.72/3326.25 c #Conflicts: 2187000 | #Constraints: 57141
3316.72/3326.25 c #Conflicts: 2188000 | #Constraints: 58142
3316.72/3326.25 c #Conflicts: 2189000 | #Constraints: 59142
3316.72/3326.25 c #Conflicts: 2190000 | #Constraints: 60142
3316.72/3326.25 c #Conflicts: 2191000 | #Constraints: 61143
3316.72/3326.25 c #Conflicts: 2192000 | #Constraints: 62144
3316.72/3326.25 c #Conflicts: 2193000 | #Constraints: 63144
3316.72/3326.25 c #Conflicts: 2194000 | #Constraints: 64145
3316.72/3326.25 c #Conflicts: 2195000 | #Constraints: 65145
3316.72/3326.25 c #Conflicts: 2196000 | #Constraints: 66146
3316.72/3326.25 c INPROCESSING
3316.72/3326.25 c GARBAGE COLLECT
3316.72/3326.25 c rational objective 3
3386.02/3395.73 c #Conflicts: 2197000 | #Constraints: 37716
3386.02/3395.73 c #Conflicts: 2198000 | #Constraints: 38719
3386.02/3395.73 c #Conflicts: 2199000 | #Constraints: 39721
3386.02/3395.73 c #Conflicts: 2200000 | #Constraints: 40721
3386.02/3395.73 c #Conflicts: 2201000 | #Constraints: 41722
3386.02/3395.73 c #Conflicts: 2202000 | #Constraints: 42722
3386.02/3395.73 c #Conflicts: 2203000 | #Constraints: 43722
3386.02/3395.73 c #Conflicts: 2204000 | #Constraints: 44723
3386.02/3395.73 c #Conflicts: 2205000 | #Constraints: 45724
3386.02/3395.73 c #Conflicts: 2206000 | #Constraints: 46731
3386.02/3395.73 c #Conflicts: 2207000 | #Constraints: 47732
3386.02/3395.73 c #Conflicts: 2208000 | #Constraints: 48734
3386.02/3395.73 c #Conflicts: 2209000 | #Constraints: 49735
3386.02/3395.73 c #Conflicts: 2210000 | #Constraints: 50738
3386.02/3395.73 c #Conflicts: 2211000 | #Constraints: 51741
3386.02/3395.73 c #Conflicts: 2212000 | #Constraints: 52744
3386.02/3395.73 c #Conflicts: 2213000 | #Constraints: 53745
3386.02/3395.73 c #Conflicts: 2214000 | #Constraints: 54745
3386.02/3395.73 c #Conflicts: 2215000 | #Constraints: 55746
3386.02/3395.73 c #Conflicts: 2216000 | #Constraints: 56749
3386.02/3395.73 c #Conflicts: 2217000 | #Constraints: 57750
3386.02/3395.73 c #Conflicts: 2218000 | #Constraints: 58751
3386.02/3395.73 c #Conflicts: 2219000 | #Constraints: 59751
3386.02/3395.73 c #Conflicts: 2220000 | #Constraints: 60751
3386.02/3395.73 c #Conflicts: 2221000 | #Constraints: 61755
3386.02/3395.73 c #Conflicts: 2222000 | #Constraints: 62756
3386.02/3395.73 c #Conflicts: 2223000 | #Constraints: 63759
3386.02/3395.73 c #Conflicts: 2224000 | #Constraints: 64760
3386.02/3395.73 c #Conflicts: 2225000 | #Constraints: 65763
3386.02/3395.73 c #Conflicts: 2226000 | #Constraints: 66764
3386.02/3395.73 c INPROCESSING
3386.02/3395.73 c GARBAGE COLLECT
3386.02/3395.73 c rational objective 3
3458.53/3468.47 c #Conflicts: 2227000 | #Constraints: 38118
3458.53/3468.47 c #Conflicts: 2228000 | #Constraints: 39119
3458.53/3468.47 c #Conflicts: 2229000 | #Constraints: 40120
3458.53/3468.47 c #Conflicts: 2230000 | #Constraints: 41121
3458.53/3468.47 c #Conflicts: 2231000 | #Constraints: 42122
3458.53/3468.47 c #Conflicts: 2232000 | #Constraints: 43123
3458.53/3468.47 c #Conflicts: 2233000 | #Constraints: 44123
3458.53/3468.47 c #Conflicts: 2234000 | #Constraints: 45124
3458.53/3468.47 c #Conflicts: 2235000 | #Constraints: 46127
3458.53/3468.47 c #Conflicts: 2236000 | #Constraints: 47128
3458.53/3468.47 c #Conflicts: 2237000 | #Constraints: 48129
3458.53/3468.47 c #Conflicts: 2238000 | #Constraints: 49129
3458.53/3468.47 c #Conflicts: 2239000 | #Constraints: 50130
3458.53/3468.47 c #Conflicts: 2240000 | #Constraints: 51130
3458.53/3468.47 c #Conflicts: 2241000 | #Constraints: 52130
3458.53/3468.47 c #Conflicts: 2242000 | #Constraints: 53130
3458.53/3468.47 c #Conflicts: 2243000 | #Constraints: 54131
3458.53/3468.47 c #Conflicts: 2244000 | #Constraints: 55135
3458.53/3468.47 c #Conflicts: 2245000 | #Constraints: 56136
3458.53/3468.47 c #Conflicts: 2246000 | #Constraints: 57137
3458.53/3468.47 c #Conflicts: 2247000 | #Constraints: 58139
3458.53/3468.47 c #Conflicts: 2248000 | #Constraints: 59140
3458.53/3468.47 c #Conflicts: 2249000 | #Constraints: 60141
3458.53/3468.47 c #Conflicts: 2250000 | #Constraints: 61145
3458.53/3468.47 c #Conflicts: 2251000 | #Constraints: 62147
3458.53/3468.47 c #Conflicts: 2252000 | #Constraints: 63147
3458.53/3468.47 c #Conflicts: 2253000 | #Constraints: 64149
3458.53/3468.47 c #Conflicts: 2254000 | #Constraints: 65149
3458.53/3468.47 c #Conflicts: 2255000 | #Constraints: 66149
3458.53/3468.47 c #Conflicts: 2256000 | #Constraints: 67150
3458.53/3468.47 c INPROCESSING
3458.53/3468.47 c GARBAGE COLLECT
3458.53/3468.47 c rational objective 3
3521.98/3532.08 c #Conflicts: 2257000 | #Constraints: 38311
3521.98/3532.08 c #Conflicts: 2258000 | #Constraints: 39311
3521.98/3532.08 c #Conflicts: 2259000 | #Constraints: 40312
3521.98/3532.08 c #Conflicts: 2260000 | #Constraints: 41313
3521.98/3532.08 c #Conflicts: 2261000 | #Constraints: 42313
3521.98/3532.08 c #Conflicts: 2262000 | #Constraints: 43313
3521.98/3532.08 c #Conflicts: 2263000 | #Constraints: 44313
3521.98/3532.08 c #Conflicts: 2264000 | #Constraints: 45313
3521.98/3532.08 c #Conflicts: 2265000 | #Constraints: 46314
3521.98/3532.08 c #Conflicts: 2266000 | #Constraints: 47316
3521.98/3532.08 c #Conflicts: 2267000 | #Constraints: 48316
3521.98/3532.08 c #Conflicts: 2268000 | #Constraints: 49316
3521.98/3532.08 c #Conflicts: 2269000 | #Constraints: 50316
3521.98/3532.08 c #Conflicts: 2270000 | #Constraints: 51316
3521.98/3532.08 c #Conflicts: 2271000 | #Constraints: 52316
3521.98/3532.08 c #Conflicts: 2272000 | #Constraints: 53317
3521.98/3532.08 c #Conflicts: 2273000 | #Constraints: 54317
3521.98/3532.08 c #Conflicts: 2274000 | #Constraints: 55317
3521.98/3532.08 c #Conflicts: 2275000 | #Constraints: 56317
3521.98/3532.08 c #Conflicts: 2276000 | #Constraints: 57317
3521.98/3532.08 c #Conflicts: 2277000 | #Constraints: 58317
3521.98/3532.08 c #Conflicts: 2278000 | #Constraints: 59317
3521.98/3532.08 c #Conflicts: 2279000 | #Constraints: 60318
3521.98/3532.08 c #Conflicts: 2280000 | #Constraints: 61318
3521.98/3532.08 c #Conflicts: 2281000 | #Constraints: 62318
3521.98/3532.08 c #Conflicts: 2282000 | #Constraints: 63319
3521.98/3532.08 c #Conflicts: 2283000 | #Constraints: 64319
3521.98/3532.08 c #Conflicts: 2284000 | #Constraints: 65319
3521.98/3532.08 c #Conflicts: 2285000 | #Constraints: 66321
3521.98/3532.08 c #Conflicts: 2286000 | #Constraints: 67323
3521.98/3532.08 c INPROCESSING
3521.98/3532.08 c GARBAGE COLLECT
3521.98/3532.08 c rational objective 3
3590.52/3600.71 c #Conflicts: 2287000 | #Constraints: 38311
3590.52/3600.71 c #Conflicts: 2288000 | #Constraints: 39311
3590.52/3600.71 c #Conflicts: 2289000 | #Constraints: 40311
3590.52/3600.71 c #Conflicts: 2290000 | #Constraints: 41312
3590.52/3600.71 c #Conflicts: 2291000 | #Constraints: 42312
3590.52/3600.71 c #Conflicts: 2292000 | #Constraints: 43312
3590.52/3600.71 c #Conflicts: 2293000 | #Constraints: 44313
3590.52/3600.71 c #Conflicts: 2294000 | #Constraints: 45313
3590.52/3600.71 c #Conflicts: 2295000 | #Constraints: 46313
3590.52/3600.71 c #Conflicts: 2296000 | #Constraints: 47314
3590.52/3600.71 c #Conflicts: 2297000 | #Constraints: 48314
3590.52/3600.71 c #Conflicts: 2298000 | #Constraints: 49314
3590.52/3600.71 c #Conflicts: 2299000 | #Constraints: 50316
3590.52/3600.71 c #Conflicts: 2300000 | #Constraints: 51316
3590.52/3600.71 c #Conflicts: 2301000 | #Constraints: 52317
3590.52/3600.71 c #Conflicts: 2302000 | #Constraints: 53318
3590.52/3600.71 c #Conflicts: 2303000 | #Constraints: 54318
3590.52/3600.71 c #Conflicts: 2304000 | #Constraints: 55319
3590.52/3600.71 c #Conflicts: 2305000 | #Constraints: 56320
3590.52/3600.71 c #Conflicts: 2306000 | #Constraints: 57320
3590.52/3600.71 c #Conflicts: 2307000 | #Constraints: 58320
3590.52/3600.71 c #Conflicts: 2308000 | #Constraints: 59320
3590.52/3600.71 c #Conflicts: 2309000 | #Constraints: 60321
3590.52/3600.71 c #Conflicts: 2310000 | #Constraints: 61321
3590.52/3600.71 c #Conflicts: 2311000 | #Constraints: 62322
3590.52/3600.71 c #Conflicts: 2312000 | #Constraints: 63322
3590.52/3600.71 c #Conflicts: 2313000 | #Constraints: 64322
3590.52/3600.71 c #Conflicts: 2314000 | #Constraints: 65322
3590.52/3600.71 c #Conflicts: 2315000 | #Constraints: 66322
3590.52/3600.71 c #Conflicts: 2316000 | #Constraints: 67322
3590.52/3600.71 c INPROCESSING
3590.52/3600.71 c GARBAGE COLLECT
3590.52/3600.71 c rational objective 3
3600.00/3610.20 c #Conflicts: 2317000 | #Constraints: 38115
3600.00/3610.20 c #Conflicts: 2318000 | #Constraints: 39115
3600.00/3610.20 c #Conflicts: 2319000 | #Constraints: 40116
3600.00/3610.20 c #Conflicts: 2320000 | #Constraints: 41117
3600.00/3610.20 c #Conflicts: 2321000 | #Constraints: 42117
3600.00/3610.20 c #Conflicts: 2322000 | #Constraints: 43117
3600.00/3610.20 c #Conflicts: 2323000 | #Constraints: 44117
3600.00/3610.20 c #Conflicts: 2324000 | #Constraints: 45117
3600.00/3610.20 c cpu time 3583.42 s
3600.00/3610.20 c deterministic time 282201182198 2.82e+11
3600.00/3610.20 c optimization time 9.29842 s
3600.00/3610.20 c total solve time 3574.08 s
3600.00/3610.20 c core-guided solve time 1782.67 s
3600.00/3610.20 c propagation time 2482.34 s
3600.00/3610.20 c conflict analysis time 1034.23 s
3600.00/3610.20 c propagations 602631174
3600.00/3610.20 c resolve steps 45798736
3600.00/3610.20 c decisions 3442097
3600.00/3610.20 c conflicts 2324756
3600.00/3610.20 c restarts 4094
3600.00/3610.20 c inprocessing phases 143
3600.00/3610.20 c garbage collections 143 ,( 100.00 )
3600.00/3610.20 c input clauses 10815 ,( 97.98 )
3600.00/3610.20 c input cardinalities 31 ,( 0.28 )
3600.00/3610.20 c input general constraints 192 ,( 1.74 )
3600.00/3610.20 c input average constraint length 3.40
3600.00/3610.20 c input average constraint degree 6.20
3600.00/3610.20 c learned clauses 916562 ,( 39.39 )
3600.00/3610.20 c learned cardinalities 5094 ,( 0.22 )
3600.00/3610.20 c learned general constraints 1405166 ,( 60.39 )
3600.00/3610.20 c learned average constraint length 114.59
3600.00/3610.20 c learned average constraint degree 478716561.21
3600.00/3610.20 c watched CF 32, 64, 128, Arb: 383266 , 0 , 0 , 0
3600.00/3610.20 c counting CF 32, 64, 128, Arb: 1022093 , 0 , 0 , 0
3600.00/3610.20 c watched constraints 383266 ,( 27.27 )
3600.00/3610.20 c counting constraints 1022092 ,( 72.73 )
3600.00/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 743983500 , 89146972 , 8914813569 ,( 273439179 , 8641374390 )
3600.00/3610.20 c gcd simplifications 332947
3600.00/3610.20 c detected cardinalities 292
3600.00/3610.20 c weakened non-implied lits 145511065
3600.00/3610.20 c weakened non-implying lits 1063961
3600.00/3610.20 c original variables 3964
3600.00/3610.20 c clausal propagations 342285286
3600.00/3610.20 c cardinality propagations 10864240
3600.00/3610.20 c watched propagations 2008947
3600.00/3610.20 c counting propagations 244444965
3600.00/3610.20 c watch lookups 236689120532
3600.00/3610.20 c watch backjump lookups 0
3600.00/3610.20 c watch checks 7885845508
3600.00/3610.20 c propagation checks 34686306941
3600.00/3610.20 c constraint additions 1723074893
3600.00/3610.20 c trail pops 608395316
3600.00/3610.20 c formula constraints 11038
3600.00/3610.20 c learned constraints 2323003
3600.00/3610.20 c bound constraints 0
3600.00/3610.20 c core-guided constraints 0
3600.00/3610.20 c encountered formula constraints 29148960
3600.00/3610.20 c encountered learned constraints 17440429
3600.00/3610.20 c encountered bound constraints 0
3600.00/3610.20 c encountered core-guided constraints 0
3600.00/3610.20 c LP total time 391.091 s
3600.00/3610.20 c LP solve time 364.66 s
3600.00/3610.20 c LP constraints added 12450
3600.00/3610.20 c LP constraints removed 1400
3600.00/3610.20 c LP pivots internal 2325076
3600.00/3610.20 c LP pivots root 40660
3600.00/3610.20 c LP calls 7390
3600.00/3610.20 c LP optimalities 5531
3600.00/3610.20 c LP no pivot count 198
3600.00/3610.20 c LP infeasibilities 1855
3600.00/3610.20 c LP valid Farkas constraints 1849
3600.00/3610.20 c LP learned Farkas constraints 1752
3600.00/3610.20 c LP basis resets 6
3600.00/3610.20 c LP cycling count 0
3600.00/3610.20 c LP singular count 0
3600.00/3610.20 c LP no primal count 0
3600.00/3610.20 c LP no farkas count 6
3600.00/3610.20 c LP other issue count 0
3600.00/3610.20 c LP Gomory cuts 218
3600.00/3610.20 c LP learned cuts 1194
3600.00/3610.20 c LP deleted cuts 1400
3600.00/3610.20 c LP encountered Gomory constraints 102112
3600.00/3610.20 c LP encountered Farkas constraints 1375569
3600.00/3610.20 c LP encountered learned Farkas constraints 54670
3600.00/3610.20 c CG auxiliary variables introduced 0
3600.00/3610.20 c CG solutions found 0
3600.00/3610.20 c CG cores constructed 0
3600.00/3610.20 c CG core cardinality constraints returned 0
3600.00/3610.20 c CG unit cores 0
3600.00/3610.20 c CG single cores 0
3600.00/3610.20 c CG blocks removed during cardinality reduction 0
3600.00/3610.20 c CG first core best 0
3600.00/3610.20 c CG decision core best 0
3600.00/3610.20 c CG core reduction tie 0
3600.00/3610.20 c CG core degree average 0.00
3600.00/3610.20 c CG core slack average 0.00
3600.00/3610.20 c CG core upper bound improvements 0
3600.00/3610.20 c STR number of successful calls 0
3600.00/3610.20 c STR number of unsuccessful calls 0
3600.00/3610.20 c STR number of inconclusive calls 0
3600.00/3610.20 c STR number of successful attempts 0
3600.00/3610.20 c STR number of unsuccessful attempts 0
3600.00/3610.20 c STR number of inconclusive attempts 0
3600.00/3610.20 c STR average degree increase per successful call inf
3600.00/3610.20 c STR average degree increase per successful attempt inf
3600.00/3610.20 c STR total number of conflicts for successful attempts 0
3600.00/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.20 c STR average number of conflicts per successful attempt inf
3600.00/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.20 c AVG.sumWPerc 60.56
3600.00/3610.20 c bigint constraints 0
3600.00/3610.20 s UNKNOWN
3600.00/3610.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: 63708 MiB (62153 MiB free)
memory of node 1: 64465 MiB (63084 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499354-1751406179/watcher-4499354-1751406179 -o /tmp/evaluation-result-4499354-1751406179/solver-4499354-1751406179 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54921 --watchdog 3760 run-opt-break.sh HOME/instance-4499354-1751406179.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=56372, runsolver pid=56369
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 56375
/proc/meminfo: memFree=128237852/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=68992 memory=22196 CPUtime=0.04 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 3592 0 0 0 3 1 0 0 20 0 1 0 56240458 70647808 5549 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 17248 5549 2272 1147 0 4675 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 73184 KiB
Current children cumulated memory: 25268 KiB
[startup+0.205659 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 56375
/proc/meminfo: memFree=128229788/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=73732 memory=27572 CPUtime=0.15 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 4876 0 0 0 13 2 0 0 20 0 1 0 56240458 75501568 6893 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 18433 6893 2336 1147 0 5860 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 77924 KiB
Current children cumulated memory: 30644 KiB
[startup+0.305529 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 56375
/proc/meminfo: memFree=128229800/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=74416 memory=28340 CPUtime=0.25 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 5086 0 0 0 23 2 0 0 20 0 1 0 56240458 76201984 7085 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 18604 7085 2336 1147 0 6031 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 78608 KiB
Current children cumulated memory: 31412 KiB
[startup+0.700187 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 56375
/proc/meminfo: memFree=128229800/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=75640 memory=29748 CPUtime=0.64 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 5392 0 0 0 61 3 0 0 20 0 1 0 56240458 77455360 7437 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 18910 7437 2368 1147 0 6337 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 79832 KiB
Current children cumulated memory: 32820 KiB
[startup+1.50021 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 56375
/proc/meminfo: memFree=128221736/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=79080 memory=32948 CPUtime=1.43 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 6216 0 0 0 139 4 0 0 20 0 1 0 56240458 80977920 8237 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 19770 8237 2368 1147 0 7197 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 83272 KiB
Current children cumulated memory: 36020 KiB
[startup+3.1054 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 56375
/proc/meminfo: memFree=128222240/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=81336 memory=35380 CPUtime=3.04 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 6805 0 0 0 296 8 0 0 20 0 1 0 56240458 83288064 8845 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 20334 8845 2368 1147 0 7761 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 85528 KiB
Current children cumulated memory: 38452 KiB
[startup+6.30017 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 56376
/proc/meminfo: memFree=128222492/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=83016 memory=38992 CPUtime=6.22 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 7197 0 0 0 610 12 0 0 20 0 1 0 56240458 85008384 9748 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 20754 9748 2368 1147 0 8181 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 87208 KiB
Current children cumulated memory: 42064 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 56376
/proc/meminfo: memFree=128182808/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=85516 memory=41552 CPUtime=12.61 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 7880 0 0 0 1242 19 0 0 20 0 1 0 56240458 87568384 10388 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 21379 10388 2368 1147 0 8806 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 89708 KiB
Current children cumulated memory: 44624 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.07 4.08 5/269 56376
/proc/meminfo: memFree=128123964/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=90984 memory=45264 CPUtime=25.38 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 8813 0 0 0 2504 34 0 0 20 0 1 0 56240458 93167616 11316 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 22746 11316 2368 1147 0 10173 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 95176 KiB
Current children cumulated memory: 48336 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.10 4.09 5/269 56376
/proc/meminfo: memFree=127975540/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=98952 memory=52816 CPUtime=50.91 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 10698 0 0 0 5027 64 0 0 20 0 1 0 56240458 101326848 13204 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 24738 13204 2368 1147 0 12165 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 103144 KiB
Current children cumulated memory: 55888 KiB
[startup+102.3 s]
/proc/loadavg: 4.36 4.18 4.12 5/269 56378
/proc/meminfo: memFree=127938148/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=105276 memory=57936 CPUtime=101.97 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 11995 0 0 0 10078 119 0 0 20 0 1 0 56240458 107802624 14484 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 26319 14484 2368 1147 0 13746 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 109468 KiB
Current children cumulated memory: 61008 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/269 56384
/proc/meminfo: memFree=127902492/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=114096 memory=68812 CPUtime=161.81 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 14224 0 0 0 16008 173 0 0 20 0 1 0 56240458 116834304 17203 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 28524 17203 2368 1147 0 15951 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 118288 KiB
Current children cumulated memory: 71884 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/269 56386
/proc/meminfo: memFree=127696280/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=116552 memory=71116 CPUtime=221.65 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 14793 0 0 0 21948 217 0 0 20 0 1 0 56240458 119349248 17779 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 29138 17779 2368 1147 0 16565 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/loadavg: 3.09 3.43 3.79 4/260 56718
/proc/meminfo: memFree=127844160/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=211344 memory=151864 CPUtime=3033.6 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 30158 0 0 0 301883 1477 0 0 20 0 1 0 56240458 216416256 37966 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 52836 37966 2464 1147 0 40263 0
Current children cumulated CPU time: 3033.62 s
Current children cumulated vsize: 215536 KiB
Current children cumulated memory: 154936 KiB
[startup+3102.3 s]
/proc/loadavg: 3.10 3.37 3.75 4/260 56720
/proc/meminfo: memFree=127845280/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=212660 memory=154992 CPUtime=3093.43 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 30440 0 0 0 307845 1498 0 0 20 0 1 0 56240458 217763840 38748 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 53165 38748 2464 1147 0 40592 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 216852 KiB
Current children cumulated memory: 158064 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.31 3.70 4/260 56722
/proc/meminfo: memFree=127846392/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=212920 memory=155376 CPUtime=3153.26 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 30546 0 0 0 313804 1522 0 0 20 0 1 0 56240458 218030080 38844 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 53230 38844 2464 1147 0 40657 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 217112 KiB
Current children cumulated memory: 158448 KiB
[startup+3222.3 s]
/proc/loadavg: 3.07 3.27 3.66 4/261 56729
/proc/meminfo: memFree=127844800/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=213948 memory=156272 CPUtime=3213.1 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 30755 0 0 0 319768 1542 0 0 20 0 1 0 56240458 219082752 39068 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 53487 39068 2464 1147 0 40914 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 218140 KiB
Current children cumulated memory: 159344 KiB
[startup+3282.3 s]
/proc/loadavg: 2.46 3.06 3.56 3/256 56763
/proc/meminfo: memFree=127921704/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=214564 memory=157040 CPUtime=3272.92 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 30946 0 0 0 325733 1559 0 0 20 0 1 0 56240458 219713536 39260 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 53641 39260 2464 1147 0 41068 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 218756 KiB
Current children cumulated memory: 160112 KiB
[startup+3342.3 s]
/proc/loadavg: 2.25 2.89 3.47 3/255 56765
/proc/meminfo: memFree=127922320/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=217020 memory=158576 CPUtime=3332.76 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 31354 0 0 0 331699 1577 0 0 20 0 1 0 56240458 222228480 39644 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 54255 39644 2464 1147 0 41682 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 221212 KiB
Current children cumulated memory: 161648 KiB
[startup+3402.3 s]
/proc/loadavg: 2.20 2.76 3.39 3/255 56767
/proc/meminfo: memFree=127918760/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=222656 memory=164200 CPUtime=3392.59 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 32230 0 0 0 337665 1594 0 0 20 0 1 0 56240458 227999744 41050 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 55664 41050 2464 1147 0 43091 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 226848 KiB
Current children cumulated memory: 167272 KiB
[startup+3462.3 s]
/proc/loadavg: 2.05 2.62 3.30 2/248 56800
/proc/meminfo: memFree=129412220/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=223340 memory=164584 CPUtime=3452.42 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 32338 0 0 0 343633 1609 0 0 20 0 1 0 56240458 228700160 41146 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 55835 41146 2464 1147 0 43262 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 227532 KiB
Current children cumulated memory: 167656 KiB
[startup+3522.3 s]
/proc/loadavg: 1.46 2.34 3.16 2/249 56803
/proc/meminfo: memFree=129413076/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=225992 memory=166376 CPUtime=3512.28 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 32786 0 0 0 349600 1628 0 0 20 0 1 0 56240458 231415808 41594 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 56498 41594 2464 1147 0 43925 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 230184 KiB
Current children cumulated memory: 169448 KiB
[startup+3582.3 s]
/proc/loadavg: 1.23 2.11 3.03 2/246 56805
/proc/meminfo: memFree=129398732/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=226252 memory=170856 CPUtime=3572.14 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 32900 0 0 0 355566 1648 0 0 20 0 1 0 56240458 231682048 42714 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 56563 42714 2464 1147 0 43990 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 230444 KiB
Current children cumulated memory: 173928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 1.22 2.02 2.97 2/246 56805
/proc/meminfo: memFree=129390988/131250000 swapFree=33010684/33010684
[pid=56372] ppid=56369 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/56372/stat : 56372 (run-opt-break.s) S 56369 56372 54907 0 -1 4194304 238 964 0 0 0 0 2 0 20 0 1 0 56240454 4292608 768 18446744073709551615 94277572046848 94277572941381 140732902548848 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94277573180432 94277573228176 94277581766656 140732902553953 140732902554082 140732902554082 140732902559684 0
/proc/56372/statm: 1048 768 704 219 0 110 0
[pid=56375] ppid=56372 vsize=227024 memory=171496 CPUtime=3599.98 cores=4,6
/proc/56375/stat : 56375 (roundingsat) R 56372 56372 54907 0 -1 4194304 33050 0 0 0 358341 1657 0 0 20 0 1 0 56240458 232472576 42874 18446744073709551615 4227072 8923433 140720361082736 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 30593024 140720361085284 140720361085480 140720361085480 140720361091050 0
/proc/56375/statm: 56756 42874 2464 1147 0 44183 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 231216 KiB
Current children cumulated memory: 174568 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.2 s]
# the end of solver process 56372 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.45 s, system=16.5806 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.2
CPU time (s): 3600.03
CPU user time (s): 3583.45
CPU system time (s): 16.5806
CPU usage (%): 99.7182
Max. virtual memory (cumulated for all children) (KiB): 231216
Max. memory (cumulated for all children) (KiB): 174568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.45
system time used= 16.5806
maximum resident set size= 171752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 258
involuntary context switches= 3384
# summary of solver processes directly reported to runsolver:
# pid: 56372
# total CPU time (s): 3600.03
# total CPU user time (s): 3583.45
# total CPU system time (s): 16.5806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26812 second user time and 17.3205 second system time
The end
Launcher Data
Begin job on nodeC028 at 2025-07-01 23:42:59
IDJOB=4499354
IDBENCH=148776
IDSOLVER=3359
FILE ID=nodeC028/4499354-1751406179
RUNJOBID= nodeC028-1751398701-54921
SLURM_JOB_ID= 9598282
Free space on /tmp= 432892 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499354-1751406179/watcher-4499354-1751406179 -o /tmp/evaluation-result-4499354-1751406179/solver-4499354-1751406179 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54921 --watchdog 3760 run-opt-break.sh HOME/instance-4499354-1751406179.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=1494088024
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.088
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.117
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.630
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.577
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.083
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3447.774
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128243392 kB
MemAvailable: 128414056 kB
Buffers: 3280 kB
Cached: 976904 kB
SwapCached: 0 kB
Active: 1701012 kB
Inactive: 667772 kB
Active(anon): 1406672 kB
Inactive(anon): 0 kB
Active(file): 294340 kB
Inactive(file): 667772 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7148 kB
Writeback: 4 kB
AnonPages: 1390768 kB
Mapped: 117584 kB
Shmem: 18068 kB
KReclaimable: 95584 kB
Slab: 182344 kB
SReclaimable: 95584 kB
SUnreclaim: 86760 kB
KernelStack: 4300 kB
PageTables: 6260 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1902692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 184320 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432912 MiB
End job on nodeC028 at 2025-07-02 00:43:10