Trace number 4531947
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-4531947-1752683078.opb'
0.00/0.01 c read 0.07MB (1.03ms)
0.00/0.01 c [cnf: #variables 774 #clauses 995 #duplicates 0 #arr 8079]
0.00/0.01 c output proof to '/tmp/proof-4531947-1752683078'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 30] (0.98ms)
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.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c recursing 72 blocks of candidate 3x516r
0.00/0.02 c found row 5x6, generating row predicate
0.00/0.02 c found row 3x516, generating row predicate
0.00/0.02 c (6.42ms)
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.16ms)
0.00/0.02 c
0.00/0.02 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c opt it=15, l=5059, m=131, opt=3, avg=63, b=8, gens=176
0.00/0.03 c opt it=31, l=6087, m=246, opt=7, avg=62, b=8, gens=176
0.00/0.03 c ran it=0, +gens=21
0.00/0.04 c con best_support=8, best_gens=144, +gens=249
0.00/0.04 c (18.96ms)
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.23ms)
0.00/0.06 c
0.00/0.06 c generation finished
0.00/0.06 c [sbp: #constraints 10022 #add_vars 3190]
0.00/0.06 c
0.00/0.06 c write result to 'HOME/instance-4531947-1752683078.opb.pre'
0.00/0.06 c wrote 0.41MB (1.14ms)
0.00/0.07 c ------------------------------------------------------------------
0.00/0.07 c 20.14ms 38.55% other
0.00/0.07 c 18.96ms 36.29% optimize_gens
0.00/0.07 c 6.42ms 12.29% detect_special
0.00/0.07 c 3.16ms 6.05% detect_generic
0.00/0.07 c 1.14ms 2.18% output
0.00/0.07 c 1.03ms 1.97% parse
0.00/0.07 c 0.98ms 1.88% approx_orbits
0.00/0.07 c 0.23ms 0.44% break_generic
0.00/0.07 c 0.18ms 0.35% finalize_order
0.00/0.07 c ───────────────────────────────────────────────
0.00/0.07 c 52.26ms 100% total
0.00/0.07 c ------------------------------------------------------------------
0.00/0.08 c RoundingSat 2
0.00/0.08 c branch pb25
0.00/0.08 c commit 0f876b3
0.07/0.15 c #variables 3964 #constraints 11038
0.07/0.15 c objective is ce32
0.07/0.17 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.17 c initial counting CF 32, 64, 128, Arb: 193 , 0 , 0 , 0
0.07/0.17 c bounds - >= 0 @ 0.077035
0.66/0.76 c #Conflicts: 1000 | #Constraints: 12037
0.66/0.76 c #Conflicts: 2000 | #Constraints: 13038
0.66/0.76 c INPROCESSING
0.66/0.76 c GARBAGE COLLECT
0.66/0.76 c rational objective 3
2.26/2.38 c #Conflicts: 3000 | #Constraints: 12253
2.26/2.38 c #Conflicts: 4000 | #Constraints: 13254
2.26/2.38 c INPROCESSING
2.26/2.38 c GARBAGE COLLECT
2.26/2.38 c rational objective 3
3.15/3.22 c #Conflicts: 5000 | #Constraints: 12593
3.15/3.22 c #Conflicts: 6000 | #Constraints: 13593
3.15/3.22 c INPROCESSING
3.15/3.22 c GARBAGE COLLECT
3.15/3.22 c rational objective 3
4.15/4.24 c #Conflicts: 7000 | #Constraints: 12498
4.15/4.24 c #Conflicts: 8000 | #Constraints: 13498
4.15/4.24 c #Conflicts: 9000 | #Constraints: 14498
4.15/4.24 c INPROCESSING
4.15/4.24 c GARBAGE COLLECT
4.15/4.24 c rational objective 3
5.54/5.61 c #Conflicts: 10000 | #Constraints: 13199
5.54/5.61 c #Conflicts: 11000 | #Constraints: 14199
5.54/5.61 c #Conflicts: 12000 | #Constraints: 15199
5.54/5.61 c INPROCESSING
5.54/5.61 c GARBAGE COLLECT
5.54/5.61 c rational objective 3
7.34/7.45 c #Conflicts: 13000 | #Constraints: 13656
7.34/7.45 c #Conflicts: 14000 | #Constraints: 14659
7.34/7.45 c #Conflicts: 15000 | #Constraints: 15661
7.34/7.45 c INPROCESSING
7.34/7.45 c GARBAGE COLLECT
7.34/7.45 c rational objective 3
9.33/9.47 c #Conflicts: 16000 | #Constraints: 13893
9.33/9.47 c #Conflicts: 17000 | #Constraints: 14896
9.33/9.47 c #Conflicts: 18000 | #Constraints: 15899
9.33/9.47 c INPROCESSING
9.33/9.47 c GARBAGE COLLECT
9.33/9.47 c rational objective 3
10.83/10.96 c #Conflicts: 19000 | #Constraints: 13850
10.83/10.96 c #Conflicts: 20000 | #Constraints: 14850
10.83/10.96 c #Conflicts: 21000 | #Constraints: 15851
10.83/10.96 c INPROCESSING
10.83/10.96 c GARBAGE COLLECT
10.83/10.96 c rational objective 3
12.53/12.69 c #Conflicts: 22000 | #Constraints: 13655
12.53/12.69 c #Conflicts: 23000 | #Constraints: 14655
12.53/12.69 c #Conflicts: 24000 | #Constraints: 15657
12.53/12.69 c #Conflicts: 25000 | #Constraints: 16657
12.53/12.69 c INPROCESSING
12.53/12.69 c GARBAGE COLLECT
12.53/12.69 c rational objective 3
15.03/15.14 c #Conflicts: 26000 | #Constraints: 14254
15.03/15.14 c #Conflicts: 27000 | #Constraints: 15255
15.03/15.14 c #Conflicts: 28000 | #Constraints: 16256
15.03/15.14 c #Conflicts: 29000 | #Constraints: 17256
15.03/15.14 c INPROCESSING
15.03/15.14 c GARBAGE COLLECT
15.03/15.14 c rational objective 3
17.61/17.76 c #Conflicts: 30000 | #Constraints: 14596
17.61/17.76 c #Conflicts: 31000 | #Constraints: 15599
17.61/17.76 c #Conflicts: 32000 | #Constraints: 16599
17.61/17.76 c #Conflicts: 33000 | #Constraints: 17601
17.61/17.76 c INPROCESSING
17.61/17.76 c GARBAGE COLLECT
17.61/17.76 c rational objective 3
20.50/20.67 c #Conflicts: 34000 | #Constraints: 14802
20.50/20.67 c #Conflicts: 35000 | #Constraints: 15802
20.50/20.67 c #Conflicts: 36000 | #Constraints: 16802
20.50/20.67 c #Conflicts: 37000 | #Constraints: 17804
20.50/20.67 c INPROCESSING
20.50/20.67 c GARBAGE COLLECT
20.50/20.67 c rational objective 3
22.79/22.97 c #Conflicts: 38000 | #Constraints: 14738
22.79/22.97 c #Conflicts: 39000 | #Constraints: 15738
22.79/22.97 c #Conflicts: 40000 | #Constraints: 16738
22.79/22.97 c #Conflicts: 41000 | #Constraints: 17739
22.79/22.97 c INPROCESSING
22.79/22.97 c GARBAGE COLLECT
22.79/22.97 c rational objective 3
25.09/25.22 c #Conflicts: 42000 | #Constraints: 14459
25.09/25.22 c #Conflicts: 43000 | #Constraints: 15459
25.09/25.22 c #Conflicts: 44000 | #Constraints: 16462
25.09/25.22 c #Conflicts: 45000 | #Constraints: 17465
25.09/25.22 c #Conflicts: 46000 | #Constraints: 18465
25.09/25.22 c INPROCESSING
25.09/25.22 c GARBAGE COLLECT
25.09/25.22 c rational objective 3
28.08/28.29 c #Conflicts: 47000 | #Constraints: 15016
28.08/28.29 c #Conflicts: 48000 | #Constraints: 16017
28.08/28.29 c #Conflicts: 49000 | #Constraints: 17018
28.08/28.29 c #Conflicts: 50000 | #Constraints: 18019
28.08/28.29 c #Conflicts: 51000 | #Constraints: 19019
28.08/28.29 c INPROCESSING
28.08/28.29 c GARBAGE COLLECT
28.08/28.29 c rational objective 3
31.27/31.45 c #Conflicts: 52000 | #Constraints: 15432
31.27/31.45 c #Conflicts: 53000 | #Constraints: 16432
31.27/31.45 c #Conflicts: 54000 | #Constraints: 17435
31.27/31.45 c #Conflicts: 55000 | #Constraints: 18435
31.27/31.45 c #Conflicts: 56000 | #Constraints: 19435
31.27/31.45 c INPROCESSING
31.27/31.45 c GARBAGE COLLECT
31.27/31.45 c rational objective 3
34.26/34.46 c #Conflicts: 57000 | #Constraints: 15502
34.26/34.46 c #Conflicts: 58000 | #Constraints: 16502
34.26/34.46 c #Conflicts: 59000 | #Constraints: 17503
34.26/34.46 c #Conflicts: 60000 | #Constraints: 18503
34.26/34.46 c #Conflicts: 61000 | #Constraints: 19503
34.26/34.46 c INPROCESSING
34.26/34.46 c GARBAGE COLLECT
34.26/34.46 c rational objective 3
37.25/37.44 c #Conflicts: 62000 | #Constraints: 15493
37.25/37.44 c #Conflicts: 63000 | #Constraints: 16494
37.25/37.44 c #Conflicts: 64000 | #Constraints: 17494
37.25/37.44 c #Conflicts: 65000 | #Constraints: 18495
37.25/37.44 c #Conflicts: 66000 | #Constraints: 19496
37.25/37.44 c INPROCESSING
37.25/37.44 c GARBAGE COLLECT
37.25/37.44 c rational objective 3
40.95/41.14 c #Conflicts: 67000 | #Constraints: 15267
40.95/41.14 c #Conflicts: 68000 | #Constraints: 16269
40.95/41.14 c #Conflicts: 69000 | #Constraints: 17269
40.95/41.14 c #Conflicts: 70000 | #Constraints: 18269
40.95/41.14 c #Conflicts: 71000 | #Constraints: 19271
40.95/41.14 c #Conflicts: 72000 | #Constraints: 20273
40.95/41.14 c INPROCESSING
40.95/41.14 c GARBAGE COLLECT
40.95/41.14 c rational objective 3
44.63/44.89 c #Conflicts: 73000 | #Constraints: 15865
44.63/44.89 c #Conflicts: 74000 | #Constraints: 16868
44.63/44.89 c #Conflicts: 75000 | #Constraints: 17869
44.63/44.89 c #Conflicts: 76000 | #Constraints: 18869
44.63/44.89 c #Conflicts: 77000 | #Constraints: 19869
44.63/44.89 c #Conflicts: 78000 | #Constraints: 20869
44.63/44.89 c INPROCESSING
44.63/44.89 c GARBAGE COLLECT
44.63/44.89 c rational objective 3
48.21/48.45 c #Conflicts: 79000 | #Constraints: 16260
48.21/48.45 c #Conflicts: 80000 | #Constraints: 17260
48.21/48.45 c #Conflicts: 81000 | #Constraints: 18260
48.21/48.45 c #Conflicts: 82000 | #Constraints: 19262
48.21/48.45 c #Conflicts: 83000 | #Constraints: 20263
48.21/48.45 c #Conflicts: 84000 | #Constraints: 21264
48.21/48.45 c INPROCESSING
48.21/48.45 c GARBAGE COLLECT
48.21/48.45 c rational objective 3
52.81/53.08 c #Conflicts: 85000 | #Constraints: 16462
52.81/53.08 c #Conflicts: 86000 | #Constraints: 17463
52.81/53.08 c #Conflicts: 87000 | #Constraints: 18464
52.81/53.08 c #Conflicts: 88000 | #Constraints: 19466
52.81/53.08 c #Conflicts: 89000 | #Constraints: 20469
52.81/53.08 c #Conflicts: 90000 | #Constraints: 21469
52.81/53.08 c INPROCESSING
52.81/53.08 c GARBAGE COLLECT
52.81/53.08 c rational objective 3
57.38/57.69 c #Conflicts: 91000 | #Constraints: 16361
57.38/57.69 c #Conflicts: 92000 | #Constraints: 17362
57.38/57.69 c #Conflicts: 93000 | #Constraints: 18363
57.38/57.69 c #Conflicts: 94000 | #Constraints: 19363
57.38/57.69 c #Conflicts: 95000 | #Constraints: 20363
57.38/57.69 c #Conflicts: 96000 | #Constraints: 21364
57.38/57.69 c INPROCESSING
57.38/57.69 c GARBAGE COLLECT
57.38/57.69 c rational objective 3
61.88/62.14 c #Conflicts: 97000 | #Constraints: 16105
61.88/62.14 c #Conflicts: 98000 | #Constraints: 17105
61.88/62.14 c #Conflicts: 99000 | #Constraints: 18105
61.88/62.14 c #Conflicts: 100000 | #Constraints: 19106
61.88/62.14 c #Conflicts: 101000 | #Constraints: 20109
61.88/62.14 c #Conflicts: 102000 | #Constraints: 21110
61.88/62.14 c #Conflicts: 103000 | #Constraints: 22112
61.88/62.14 c INPROCESSING
61.88/62.14 c GARBAGE COLLECT
61.88/62.14 c rational objective 3
66.15/66.49 c #Conflicts: 104000 | #Constraints: 16701
66.15/66.49 c #Conflicts: 105000 | #Constraints: 17702
66.15/66.49 c #Conflicts: 106000 | #Constraints: 18703
66.15/66.49 c #Conflicts: 107000 | #Constraints: 19705
66.15/66.49 c #Conflicts: 108000 | #Constraints: 20707
66.15/66.49 c #Conflicts: 109000 | #Constraints: 21708
66.15/66.49 c #Conflicts: 110000 | #Constraints: 22708
66.15/66.49 c INPROCESSING
66.15/66.49 c GARBAGE COLLECT
66.15/66.49 c rational objective 3
70.44/70.75 c #Conflicts: 111000 | #Constraints: 17088
70.44/70.75 c #Conflicts: 112000 | #Constraints: 18088
70.44/70.75 c #Conflicts: 113000 | #Constraints: 19089
70.44/70.75 c #Conflicts: 114000 | #Constraints: 20091
70.44/70.75 c #Conflicts: 115000 | #Constraints: 21092
70.44/70.75 c #Conflicts: 116000 | #Constraints: 22094
70.44/70.75 c #Conflicts: 117000 | #Constraints: 23095
70.44/70.75 c INPROCESSING
70.44/70.75 c GARBAGE COLLECT
70.44/70.75 c rational objective 3
75.22/75.51 c #Conflicts: 118000 | #Constraints: 17292
75.22/75.51 c #Conflicts: 119000 | #Constraints: 18292
75.22/75.51 c #Conflicts: 120000 | #Constraints: 19292
75.22/75.51 c #Conflicts: 121000 | #Constraints: 20293
75.22/75.51 c #Conflicts: 122000 | #Constraints: 21294
75.22/75.51 c #Conflicts: 123000 | #Constraints: 22297
75.22/75.51 c #Conflicts: 124000 | #Constraints: 23298
75.22/75.51 c INPROCESSING
75.22/75.51 c GARBAGE COLLECT
75.22/75.51 c rational objective 3
79.90/80.23 c #Conflicts: 125000 | #Constraints: 17255
79.90/80.23 c #Conflicts: 126000 | #Constraints: 18255
79.90/80.23 c #Conflicts: 127000 | #Constraints: 19256
79.90/80.23 c #Conflicts: 128000 | #Constraints: 20257
79.90/80.23 c #Conflicts: 129000 | #Constraints: 21258
79.90/80.23 c #Conflicts: 130000 | #Constraints: 22260
79.90/80.23 c #Conflicts: 131000 | #Constraints: 23263
79.90/80.23 c INPROCESSING
79.90/80.23 c GARBAGE COLLECT
79.90/80.23 c rational objective 3
84.98/85.34 c #Conflicts: 132000 | #Constraints: 17063
84.98/85.34 c #Conflicts: 133000 | #Constraints: 18063
84.98/85.34 c #Conflicts: 134000 | #Constraints: 19065
84.98/85.34 c #Conflicts: 135000 | #Constraints: 20066
84.98/85.34 c #Conflicts: 136000 | #Constraints: 21066
84.98/85.34 c #Conflicts: 137000 | #Constraints: 22068
84.98/85.34 c #Conflicts: 138000 | #Constraints: 23068
84.98/85.34 c #Conflicts: 139000 | #Constraints: 24069
84.98/85.34 c INPROCESSING
84.98/85.34 c GARBAGE COLLECT
84.98/85.34 c rational objective 3
90.86/91.25 c #Conflicts: 140000 | #Constraints: 17591
90.86/91.25 c #Conflicts: 141000 | #Constraints: 18592
90.86/91.25 c #Conflicts: 142000 | #Constraints: 19593
90.86/91.25 c #Conflicts: 143000 | #Constraints: 20596
90.86/91.25 c #Conflicts: 144000 | #Constraints: 21596
90.86/91.25 c #Conflicts: 145000 | #Constraints: 22596
90.86/91.25 c #Conflicts: 146000 | #Constraints: 23597
90.86/91.25 c #Conflicts: 147000 | #Constraints: 24597
90.86/91.25 c INPROCESSING
90.86/91.25 c GARBAGE COLLECT
90.86/91.25 c rational objective 3
97.04/97.49 c #Conflicts: 148000 | #Constraints: 17978
97.04/97.49 c #Conflicts: 149000 | #Constraints: 18978
97.04/97.49 c #Conflicts: 150000 | #Constraints: 19979
97.04/97.49 c #Conflicts: 151000 | #Constraints: 20982
97.04/97.49 c #Conflicts: 152000 | #Constraints: 21982
97.04/97.49 c #Conflicts: 153000 | #Constraints: 22983
97.04/97.49 c #Conflicts: 154000 | #Constraints: 23984
97.04/97.49 c #Conflicts: 155000 | #Constraints: 24985
97.04/97.49 c INPROCESSING
97.04/97.49 c GARBAGE COLLECT
97.04/97.49 c rational objective 3
103.42/103.80 c #Conflicts: 156000 | #Constraints: 18182
103.42/103.80 c #Conflicts: 157000 | #Constraints: 19182
103.42/103.80 c #Conflicts: 158000 | #Constraints: 20183
103.42/103.80 c #Conflicts: 159000 | #Constraints: 21185
103.42/103.80 c #Conflicts: 160000 | #Constraints: 22185
103.42/103.80 c #Conflicts: 161000 | #Constraints: 23185
103.42/103.80 c #Conflicts: 162000 | #Constraints: 24185
103.42/103.80 c #Conflicts: 163000 | #Constraints: 25186
103.42/103.80 c INPROCESSING
103.42/103.80 c GARBAGE COLLECT
103.42/103.80 c rational objective 3
109.09/109.52 c #Conflicts: 164000 | #Constraints: 18177
109.09/109.52 c #Conflicts: 165000 | #Constraints: 19177
109.09/109.52 c #Conflicts: 166000 | #Constraints: 20177
109.09/109.52 c #Conflicts: 167000 | #Constraints: 21177
109.09/109.52 c #Conflicts: 168000 | #Constraints: 22177
109.09/109.52 c #Conflicts: 169000 | #Constraints: 23177
109.09/109.52 c #Conflicts: 170000 | #Constraints: 24177
109.09/109.52 c #Conflicts: 171000 | #Constraints: 25177
109.09/109.52 c INPROCESSING
109.09/109.52 c GARBAGE COLLECT
109.09/109.52 c rational objective 3
115.87/116.31 c #Conflicts: 172000 | #Constraints: 17954
115.87/116.31 c #Conflicts: 173000 | #Constraints: 18955
115.87/116.31 c #Conflicts: 174000 | #Constraints: 19957
115.87/116.31 c #Conflicts: 175000 | #Constraints: 20962
115.87/116.31 c #Conflicts: 176000 | #Constraints: 21964
115.87/116.31 c #Conflicts: 177000 | #Constraints: 22965
115.87/116.31 c #Conflicts: 178000 | #Constraints: 23965
115.87/116.31 c #Conflicts: 179000 | #Constraints: 24966
115.87/116.31 c #Conflicts: 180000 | #Constraints: 25967
115.87/116.31 c INPROCESSING
115.87/116.31 c GARBAGE COLLECT
115.87/116.31 c rational objective 3
122.66/123.16 c #Conflicts: 181000 | #Constraints: 18561
122.66/123.16 c #Conflicts: 182000 | #Constraints: 19561
122.66/123.16 c #Conflicts: 183000 | #Constraints: 20561
122.66/123.16 c #Conflicts: 184000 | #Constraints: 21563
122.66/123.16 c #Conflicts: 185000 | #Constraints: 22564
122.66/123.16 c #Conflicts: 186000 | #Constraints: 23565
122.66/123.16 c #Conflicts: 187000 | #Constraints: 24565
122.66/123.16 c #Conflicts: 188000 | #Constraints: 25566
122.66/123.16 c #Conflicts: 189000 | #Constraints: 26569
122.66/123.16 c INPROCESSING
122.66/123.16 c GARBAGE COLLECT
122.66/123.16 c rational objective 3
129.53/130.01 c #Conflicts: 190000 | #Constraints: 18969
129.53/130.01 c #Conflicts: 191000 | #Constraints: 19969
129.53/130.01 c #Conflicts: 192000 | #Constraints: 20969
129.53/130.01 c #Conflicts: 193000 | #Constraints: 21970
129.53/130.01 c #Conflicts: 194000 | #Constraints: 22971
129.53/130.01 c #Conflicts: 195000 | #Constraints: 23972
129.53/130.01 c #Conflicts: 196000 | #Constraints: 24973
129.53/130.01 c #Conflicts: 197000 | #Constraints: 25973
129.53/130.01 c #Conflicts: 198000 | #Constraints: 26975
129.53/130.01 c INPROCESSING
129.53/130.01 c GARBAGE COLLECT
129.53/130.01 c rational objective 3
139.58/140.17 c #Conflicts: 199000 | #Constraints: 19174
139.58/140.17 c #Conflicts: 200000 | #Constraints: 20176
139.58/140.17 c #Conflicts: 201000 | #Constraints: 21182
139.58/140.17 c #Conflicts: 202000 | #Constraints: 22185
139.58/140.17 c #Conflicts: 203000 | #Constraints: 23188
139.58/140.17 c #Conflicts: 204000 | #Constraints: 24191
139.58/140.17 c #Conflicts: 205000 | #Constraints: 25194
139.58/140.17 c #Conflicts: 206000 | #Constraints: 26194
139.58/140.17 c #Conflicts: 207000 | #Constraints: 27194
139.58/140.17 c INPROCESSING
139.58/140.17 c GARBAGE COLLECT
139.58/140.17 c rational objective 3
150.24/150.84 c #Conflicts: 208000 | #Constraints: 19172
150.24/150.84 c #Conflicts: 209000 | #Constraints: 20175
150.24/150.84 c #Conflicts: 210000 | #Constraints: 21175
150.24/150.84 c #Conflicts: 211000 | #Constraints: 22178
150.24/150.84 c #Conflicts: 212000 | #Constraints: 23180
150.24/150.84 c #Conflicts: 213000 | #Constraints: 24181
150.24/150.84 c #Conflicts: 214000 | #Constraints: 25182
150.24/150.84 c #Conflicts: 215000 | #Constraints: 26184
150.24/150.84 c #Conflicts: 216000 | #Constraints: 27186
150.24/150.84 c INPROCESSING
150.24/150.84 c GARBAGE COLLECT
150.24/150.84 c rational objective 3
159.60/160.22 c #Conflicts: 217000 | #Constraints: 18970
159.60/160.22 c #Conflicts: 218000 | #Constraints: 19971
159.60/160.22 c #Conflicts: 219000 | #Constraints: 20971
159.60/160.22 c #Conflicts: 220000 | #Constraints: 21973
159.60/160.22 c #Conflicts: 221000 | #Constraints: 22973
159.60/160.22 c #Conflicts: 222000 | #Constraints: 23975
159.60/160.22 c #Conflicts: 223000 | #Constraints: 24977
159.60/160.22 c #Conflicts: 224000 | #Constraints: 25978
159.60/160.22 c #Conflicts: 225000 | #Constraints: 26978
159.60/160.22 c #Conflicts: 226000 | #Constraints: 27978
159.60/160.22 c INPROCESSING
159.60/160.22 c GARBAGE COLLECT
159.60/160.22 c rational objective 3
169.15/169.87 c #Conflicts: 227000 | #Constraints: 19435
169.15/169.87 c #Conflicts: 228000 | #Constraints: 20435
169.15/169.87 c #Conflicts: 229000 | #Constraints: 21435
169.15/169.87 c #Conflicts: 230000 | #Constraints: 22436
169.15/169.87 c #Conflicts: 231000 | #Constraints: 23436
169.15/169.87 c #Conflicts: 232000 | #Constraints: 24436
169.15/169.87 c #Conflicts: 233000 | #Constraints: 25437
169.15/169.87 c #Conflicts: 234000 | #Constraints: 26437
169.15/169.87 c #Conflicts: 235000 | #Constraints: 27438
169.15/169.87 c #Conflicts: 236000 | #Constraints: 28438
169.15/169.87 c INPROCESSING
169.15/169.87 c GARBAGE COLLECT
169.15/169.87 c rational objective 3
177.63/178.31 c #Conflicts: 237000 | #Constraints: 19827
177.63/178.31 c #Conflicts: 238000 | #Constraints: 20827
177.63/178.31 c #Conflicts: 239000 | #Constraints: 21829
177.63/178.31 c #Conflicts: 240000 | #Constraints: 22829
177.63/178.31 c #Conflicts: 241000 | #Constraints: 23831
177.63/178.31 c #Conflicts: 242000 | #Constraints: 24833
177.63/178.31 c #Conflicts: 243000 | #Constraints: 25833
177.63/178.31 c #Conflicts: 244000 | #Constraints: 26833
177.63/178.31 c #Conflicts: 245000 | #Constraints: 27833
177.63/178.31 c #Conflicts: 246000 | #Constraints: 28833
177.63/178.31 c INPROCESSING
177.63/178.31 c GARBAGE COLLECT
177.63/178.31 c rational objective 3
185.51/186.23 c #Conflicts: 247000 | #Constraints: 19986
185.51/186.23 c #Conflicts: 248000 | #Constraints: 20986
185.51/186.23 c #Conflicts: 249000 | #Constraints: 21986
185.51/186.23 c #Conflicts: 250000 | #Constraints: 22986
185.51/186.23 c #Conflicts: 251000 | #Constraints: 23986
185.51/186.23 c #Conflicts: 252000 | #Constraints: 24988
185.51/186.23 c #Conflicts: 253000 | #Constraints: 25988
185.51/186.23 c #Conflicts: 254000 | #Constraints: 26988
185.51/186.23 c #Conflicts: 255000 | #Constraints: 27988
185.51/186.23 c #Conflicts: 256000 | #Constraints: 28988
185.51/186.23 c INPROCESSING
185.51/186.23 c GARBAGE COLLECT
185.51/186.23 c rational objective 3
193.88/194.68 c #Conflicts: 257000 | #Constraints: 19956
193.88/194.68 c #Conflicts: 258000 | #Constraints: 20956
193.88/194.68 c #Conflicts: 259000 | #Constraints: 21957
193.88/194.68 c #Conflicts: 260000 | #Constraints: 22957
193.88/194.68 c #Conflicts: 261000 | #Constraints: 23957
193.88/194.68 c #Conflicts: 262000 | #Constraints: 24957
193.88/194.68 c #Conflicts: 263000 | #Constraints: 25958
193.88/194.68 c #Conflicts: 264000 | #Constraints: 26959
193.88/194.68 c #Conflicts: 265000 | #Constraints: 27959
193.88/194.68 c #Conflicts: 266000 | #Constraints: 28960
193.88/194.68 c INPROCESSING
193.88/194.68 c GARBAGE COLLECT
193.88/194.68 c rational objective 3
202.15/202.95 c #Conflicts: 267000 | #Constraints: 19745
202.15/202.95 c #Conflicts: 268000 | #Constraints: 20745
202.15/202.95 c #Conflicts: 269000 | #Constraints: 21745
202.15/202.95 c #Conflicts: 270000 | #Constraints: 22746
202.15/202.95 c #Conflicts: 271000 | #Constraints: 23746
202.15/202.95 c #Conflicts: 272000 | #Constraints: 24748
202.15/202.95 c #Conflicts: 273000 | #Constraints: 25748
202.15/202.95 c #Conflicts: 274000 | #Constraints: 26748
202.15/202.95 c #Conflicts: 275000 | #Constraints: 27748
202.15/202.95 c #Conflicts: 276000 | #Constraints: 28750
202.15/202.95 c #Conflicts: 277000 | #Constraints: 29753
202.15/202.95 c INPROCESSING
202.15/202.95 c GARBAGE COLLECT
202.15/202.95 c rational objective 3
211.82/212.66 c #Conflicts: 278000 | #Constraints: 20343
211.82/212.66 c #Conflicts: 279000 | #Constraints: 21343
211.82/212.66 c #Conflicts: 280000 | #Constraints: 22344
211.82/212.66 c #Conflicts: 281000 | #Constraints: 23344
211.82/212.66 c #Conflicts: 282000 | #Constraints: 24344
211.82/212.66 c #Conflicts: 283000 | #Constraints: 25346
211.82/212.66 c #Conflicts: 284000 | #Constraints: 26347
211.82/212.66 c #Conflicts: 285000 | #Constraints: 27348
211.82/212.66 c #Conflicts: 286000 | #Constraints: 28348
211.82/212.66 c #Conflicts: 287000 | #Constraints: 29348
211.82/212.66 c #Conflicts: 288000 | #Constraints: 30350
211.82/212.66 c INPROCESSING
211.82/212.66 c GARBAGE COLLECT
211.82/212.66 c rational objective 3
221.39/222.20 c #Conflicts: 289000 | #Constraints: 20752
221.39/222.20 c #Conflicts: 290000 | #Constraints: 21753
221.39/222.20 c #Conflicts: 291000 | #Constraints: 22754
221.39/222.20 c #Conflicts: 292000 | #Constraints: 23756
221.39/222.20 c #Conflicts: 293000 | #Constraints: 24758
221.39/222.20 c #Conflicts: 294000 | #Constraints: 25759
221.39/222.20 c #Conflicts: 295000 | #Constraints: 26760
221.39/222.20 c #Conflicts: 296000 | #Constraints: 27762
221.39/222.20 c #Conflicts: 297000 | #Constraints: 28763
221.39/222.20 c #Conflicts: 298000 | #Constraints: 29763
221.39/222.20 c #Conflicts: 299000 | #Constraints: 30763
221.39/222.20 c INPROCESSING
221.39/222.20 c GARBAGE COLLECT
221.39/222.20 c rational objective 3
232.76/233.67 c #Conflicts: 300000 | #Constraints: 20910
232.76/233.67 c #Conflicts: 301000 | #Constraints: 21910
232.76/233.67 c #Conflicts: 302000 | #Constraints: 22911
232.76/233.67 c #Conflicts: 303000 | #Constraints: 23911
232.76/233.67 c #Conflicts: 304000 | #Constraints: 24912
232.76/233.67 c #Conflicts: 305000 | #Constraints: 25913
232.76/233.67 c #Conflicts: 306000 | #Constraints: 26914
232.76/233.67 c #Conflicts: 307000 | #Constraints: 27914
232.76/233.67 c #Conflicts: 308000 | #Constraints: 28915
232.76/233.67 c #Conflicts: 309000 | #Constraints: 29915
232.76/233.67 c #Conflicts: 310000 | #Constraints: 30917
232.76/233.67 c INPROCESSING
232.76/233.67 c GARBAGE COLLECT
232.76/233.67 c rational objective 3
243.33/244.28 c #Conflicts: 311000 | #Constraints: 20885
243.33/244.28 c #Conflicts: 312000 | #Constraints: 21885
243.33/244.28 c #Conflicts: 313000 | #Constraints: 22885
243.33/244.28 c #Conflicts: 314000 | #Constraints: 23885
243.33/244.28 c #Conflicts: 315000 | #Constraints: 24886
243.33/244.28 c #Conflicts: 316000 | #Constraints: 25886
243.33/244.28 c #Conflicts: 317000 | #Constraints: 26886
243.33/244.28 c #Conflicts: 318000 | #Constraints: 27887
243.33/244.28 c #Conflicts: 319000 | #Constraints: 28888
243.33/244.28 c #Conflicts: 320000 | #Constraints: 29889
243.33/244.28 c #Conflicts: 321000 | #Constraints: 30890
243.33/244.28 c INPROCESSING
243.33/244.28 c GARBAGE COLLECT
243.33/244.28 c rational objective 3
253.60/254.53 c #Conflicts: 322000 | #Constraints: 20769
253.60/254.53 c #Conflicts: 323000 | #Constraints: 21769
253.60/254.53 c #Conflicts: 324000 | #Constraints: 22769
253.60/254.53 c #Conflicts: 325000 | #Constraints: 23769
253.60/254.53 c #Conflicts: 326000 | #Constraints: 24770
253.60/254.53 c #Conflicts: 327000 | #Constraints: 25773
253.60/254.53 c #Conflicts: 328000 | #Constraints: 26774
253.60/254.53 c #Conflicts: 329000 | #Constraints: 27776
253.60/254.53 c #Conflicts: 330000 | #Constraints: 28777
253.60/254.53 c #Conflicts: 331000 | #Constraints: 29779
253.60/254.53 c #Conflicts: 332000 | #Constraints: 30780
253.60/254.53 c #Conflicts: 333000 | #Constraints: 31780
253.60/254.53 c INPROCESSING
253.60/254.53 c GARBAGE COLLECT
253.60/254.53 c rational objective 3
264.37/265.39 c #Conflicts: 334000 | #Constraints: 21326
264.37/265.39 c #Conflicts: 335000 | #Constraints: 22327
264.37/265.39 c #Conflicts: 336000 | #Constraints: 23327
264.37/265.39 c #Conflicts: 337000 | #Constraints: 24327
264.37/265.39 c #Conflicts: 338000 | #Constraints: 25328
264.37/265.39 c #Conflicts: 339000 | #Constraints: 26329
264.37/265.39 c #Conflicts: 340000 | #Constraints: 27329
264.37/265.39 c #Conflicts: 341000 | #Constraints: 28329
264.37/265.39 c #Conflicts: 342000 | #Constraints: 29329
264.37/265.39 c #Conflicts: 343000 | #Constraints: 30329
264.37/265.39 c #Conflicts: 344000 | #Constraints: 31330
264.37/265.39 c #Conflicts: 345000 | #Constraints: 32331
264.37/265.39 c INPROCESSING
264.37/265.39 c GARBAGE COLLECT
264.37/265.39 c rational objective 3
275.33/276.30 c #Conflicts: 346000 | #Constraints: 21655
275.33/276.30 c #Conflicts: 347000 | #Constraints: 22655
275.33/276.30 c #Conflicts: 348000 | #Constraints: 23655
275.33/276.30 c #Conflicts: 349000 | #Constraints: 24658
275.33/276.30 c #Conflicts: 350000 | #Constraints: 25659
275.33/276.30 c #Conflicts: 351000 | #Constraints: 26660
275.33/276.30 c #Conflicts: 352000 | #Constraints: 27661
275.33/276.30 c #Conflicts: 353000 | #Constraints: 28661
275.33/276.30 c #Conflicts: 354000 | #Constraints: 29661
275.33/276.30 c #Conflicts: 355000 | #Constraints: 30661
275.33/276.30 c #Conflicts: 356000 | #Constraints: 31662
275.33/276.30 c #Conflicts: 357000 | #Constraints: 32664
275.33/276.30 c INPROCESSING
275.33/276.30 c GARBAGE COLLECT
275.33/276.30 c rational objective 3
288.01/289.06 c #Conflicts: 358000 | #Constraints: 21839
288.01/289.06 c #Conflicts: 359000 | #Constraints: 22839
288.01/289.06 c #Conflicts: 360000 | #Constraints: 23840
288.01/289.06 c #Conflicts: 361000 | #Constraints: 24841
288.01/289.06 c #Conflicts: 362000 | #Constraints: 25843
288.01/289.06 c #Conflicts: 363000 | #Constraints: 26844
288.01/289.06 c #Conflicts: 364000 | #Constraints: 27846
288.01/289.06 c #Conflicts: 365000 | #Constraints: 28847
288.01/289.06 c #Conflicts: 366000 | #Constraints: 29848
288.01/289.06 c #Conflicts: 367000 | #Constraints: 30848
288.01/289.06 c #Conflicts: 368000 | #Constraints: 31850
288.01/289.06 c #Conflicts: 369000 | #Constraints: 32853
288.01/289.06 c INPROCESSING
288.01/289.06 c GARBAGE COLLECT
288.01/289.06 c rational objective 3
299.97/301.09 c #Conflicts: 370000 | #Constraints: 21838
299.97/301.09 c #Conflicts: 371000 | #Constraints: 22838
299.97/301.09 c #Conflicts: 372000 | #Constraints: 23839
299.97/301.09 c #Conflicts: 373000 | #Constraints: 24840
299.97/301.09 c #Conflicts: 374000 | #Constraints: 25842
299.97/301.09 c #Conflicts: 375000 | #Constraints: 26843
299.97/301.09 c #Conflicts: 376000 | #Constraints: 27844
299.97/301.09 c #Conflicts: 377000 | #Constraints: 28845
299.97/301.09 c #Conflicts: 378000 | #Constraints: 29845
299.97/301.09 c #Conflicts: 379000 | #Constraints: 30846
299.97/301.09 c #Conflicts: 380000 | #Constraints: 31846
299.97/301.09 c #Conflicts: 381000 | #Constraints: 32847
299.97/301.09 c INPROCESSING
299.97/301.09 c GARBAGE COLLECT
299.97/301.09 c rational objective 3
312.62/313.73 c #Conflicts: 382000 | #Constraints: 21626
312.62/313.73 c #Conflicts: 383000 | #Constraints: 22626
312.62/313.73 c #Conflicts: 384000 | #Constraints: 23626
312.62/313.73 c #Conflicts: 385000 | #Constraints: 24628
312.62/313.73 c #Conflicts: 386000 | #Constraints: 25628
312.62/313.73 c #Conflicts: 387000 | #Constraints: 26629
312.62/313.73 c #Conflicts: 388000 | #Constraints: 27629
312.62/313.73 c #Conflicts: 389000 | #Constraints: 28630
312.62/313.73 c #Conflicts: 390000 | #Constraints: 29632
312.62/313.73 c #Conflicts: 391000 | #Constraints: 30632
312.62/313.73 c #Conflicts: 392000 | #Constraints: 31632
312.62/313.73 c #Conflicts: 393000 | #Constraints: 32633
312.62/313.73 c #Conflicts: 394000 | #Constraints: 33633
312.62/313.73 c INPROCESSING
312.62/313.73 c GARBAGE COLLECT
312.62/313.73 c rational objective 3
326.27/327.42 c #Conflicts: 395000 | #Constraints: 22260
326.27/327.42 c #Conflicts: 396000 | #Constraints: 23260
326.27/327.42 c #Conflicts: 397000 | #Constraints: 24261
326.27/327.42 c #Conflicts: 398000 | #Constraints: 25262
326.27/327.42 c #Conflicts: 399000 | #Constraints: 26263
326.27/327.42 c #Conflicts: 400000 | #Constraints: 27264
326.27/327.42 c #Conflicts: 401000 | #Constraints: 28264
326.27/327.42 c #Conflicts: 402000 | #Constraints: 29265
326.27/327.42 c #Conflicts: 403000 | #Constraints: 30266
326.27/327.42 c #Conflicts: 404000 | #Constraints: 31266
326.27/327.42 c #Conflicts: 405000 | #Constraints: 32267
326.27/327.42 c #Conflicts: 406000 | #Constraints: 33267
326.27/327.42 c #Conflicts: 407000 | #Constraints: 34267
326.27/327.42 c INPROCESSING
326.27/327.42 c GARBAGE COLLECT
326.27/327.42 c rational objective 3
340.43/341.68 c #Conflicts: 408000 | #Constraints: 22655
340.43/341.68 c #Conflicts: 409000 | #Constraints: 23658
340.43/341.68 c #Conflicts: 410000 | #Constraints: 24659
340.43/341.68 c #Conflicts: 411000 | #Constraints: 25659
340.43/341.68 c #Conflicts: 412000 | #Constraints: 26659
340.43/341.68 c #Conflicts: 413000 | #Constraints: 27661
340.43/341.68 c #Conflicts: 414000 | #Constraints: 28661
340.43/341.68 c #Conflicts: 415000 | #Constraints: 29661
340.43/341.68 c #Conflicts: 416000 | #Constraints: 30661
340.43/341.68 c #Conflicts: 417000 | #Constraints: 31662
340.43/341.68 c #Conflicts: 418000 | #Constraints: 32662
340.43/341.68 c #Conflicts: 419000 | #Constraints: 33662
340.43/341.68 c #Conflicts: 420000 | #Constraints: 34662
340.43/341.68 c INPROCESSING
340.43/341.68 c GARBAGE COLLECT
340.43/341.68 c rational objective 3
352.29/353.55 c #Conflicts: 421000 | #Constraints: 22848
352.29/353.55 c #Conflicts: 422000 | #Constraints: 23848
352.29/353.55 c #Conflicts: 423000 | #Constraints: 24848
352.29/353.55 c #Conflicts: 424000 | #Constraints: 25849
352.29/353.55 c #Conflicts: 425000 | #Constraints: 26849
352.29/353.55 c #Conflicts: 426000 | #Constraints: 27849
352.29/353.55 c #Conflicts: 427000 | #Constraints: 28850
352.29/353.55 c #Conflicts: 428000 | #Constraints: 29850
352.29/353.55 c #Conflicts: 429000 | #Constraints: 30850
352.29/353.55 c #Conflicts: 430000 | #Constraints: 31850
352.29/353.55 c #Conflicts: 431000 | #Constraints: 32850
352.29/353.55 c #Conflicts: 432000 | #Constraints: 33850
352.29/353.55 c #Conflicts: 433000 | #Constraints: 34850
352.29/353.55 c INPROCESSING
352.29/353.55 c GARBAGE COLLECT
352.29/353.55 c rational objective 3
363.86/365.18 c #Conflicts: 434000 | #Constraints: 22824
363.86/365.18 c #Conflicts: 435000 | #Constraints: 23824
363.86/365.18 c #Conflicts: 436000 | #Constraints: 24824
363.86/365.18 c #Conflicts: 437000 | #Constraints: 25825
363.86/365.18 c #Conflicts: 438000 | #Constraints: 26827
363.86/365.18 c #Conflicts: 439000 | #Constraints: 27828
363.86/365.18 c #Conflicts: 440000 | #Constraints: 28828
363.86/365.18 c #Conflicts: 441000 | #Constraints: 29830
363.86/365.18 c #Conflicts: 442000 | #Constraints: 30831
363.86/365.18 c #Conflicts: 443000 | #Constraints: 31832
363.86/365.18 c #Conflicts: 444000 | #Constraints: 32833
363.86/365.18 c #Conflicts: 445000 | #Constraints: 33834
363.86/365.18 c #Conflicts: 446000 | #Constraints: 34838
363.86/365.18 c INPROCESSING
363.86/365.18 c GARBAGE COLLECT
363.86/365.18 c rational objective 3
376.41/377.75 c #Conflicts: 447000 | #Constraints: 22629
376.41/377.75 c #Conflicts: 448000 | #Constraints: 23630
376.41/377.75 c #Conflicts: 449000 | #Constraints: 24631
376.41/377.75 c #Conflicts: 450000 | #Constraints: 25631
376.41/377.75 c #Conflicts: 451000 | #Constraints: 26632
376.41/377.75 c #Conflicts: 452000 | #Constraints: 27633
376.41/377.75 c #Conflicts: 453000 | #Constraints: 28633
376.41/377.75 c #Conflicts: 454000 | #Constraints: 29633
376.41/377.75 c #Conflicts: 455000 | #Constraints: 30634
376.41/377.75 c #Conflicts: 456000 | #Constraints: 31635
376.41/377.75 c #Conflicts: 457000 | #Constraints: 32635
376.41/377.75 c #Conflicts: 458000 | #Constraints: 33636
376.41/377.75 c #Conflicts: 459000 | #Constraints: 34637
376.41/377.75 c #Conflicts: 460000 | #Constraints: 35640
376.41/377.75 c INPROCESSING
376.41/377.75 c GARBAGE COLLECT
376.41/377.75 c rational objective 3
393.66/395.02 c #Conflicts: 461000 | #Constraints: 23229
393.66/395.02 c #Conflicts: 462000 | #Constraints: 24229
393.66/395.02 c #Conflicts: 463000 | #Constraints: 25231
393.66/395.02 c #Conflicts: 464000 | #Constraints: 26234
393.66/395.02 c #Conflicts: 465000 | #Constraints: 27236
393.66/395.02 c #Conflicts: 466000 | #Constraints: 28238
393.66/395.02 c #Conflicts: 467000 | #Constraints: 29239
393.66/395.02 c #Conflicts: 468000 | #Constraints: 30239
393.66/395.02 c #Conflicts: 469000 | #Constraints: 31241
393.66/395.02 c #Conflicts: 470000 | #Constraints: 32241
393.66/395.02 c #Conflicts: 471000 | #Constraints: 33241
393.66/395.02 c #Conflicts: 472000 | #Constraints: 34242
393.66/395.02 c #Conflicts: 473000 | #Constraints: 35243
393.66/395.02 c #Conflicts: 474000 | #Constraints: 36243
393.66/395.02 c INPROCESSING
393.66/395.02 c GARBAGE COLLECT
393.66/395.02 c rational objective 3
411.59/413.03 c #Conflicts: 475000 | #Constraints: 23654
411.59/413.03 c #Conflicts: 476000 | #Constraints: 24655
411.59/413.03 c #Conflicts: 477000 | #Constraints: 25656
411.59/413.03 c #Conflicts: 478000 | #Constraints: 26659
411.59/413.03 c #Conflicts: 479000 | #Constraints: 27661
411.59/413.03 c #Conflicts: 480000 | #Constraints: 28662
411.59/413.03 c #Conflicts: 481000 | #Constraints: 29663
411.59/413.03 c #Conflicts: 482000 | #Constraints: 30664
411.59/413.03 c #Conflicts: 483000 | #Constraints: 31666
411.59/413.03 c #Conflicts: 484000 | #Constraints: 32667
411.59/413.03 c #Conflicts: 485000 | #Constraints: 33670
411.59/413.03 c #Conflicts: 486000 | #Constraints: 34671
411.59/413.03 c #Conflicts: 487000 | #Constraints: 35671
411.59/413.03 c #Conflicts: 488000 | #Constraints: 36671
411.59/413.03 c INPROCESSING
411.59/413.03 c GARBAGE COLLECT
411.59/413.03 c rational objective 3
428.02/429.50 c #Conflicts: 489000 | #Constraints: 23884
428.02/429.50 c #Conflicts: 490000 | #Constraints: 24884
428.02/429.50 c #Conflicts: 491000 | #Constraints: 25884
428.02/429.50 c #Conflicts: 492000 | #Constraints: 26884
428.02/429.50 c #Conflicts: 493000 | #Constraints: 27885
428.02/429.50 c #Conflicts: 494000 | #Constraints: 28885
428.02/429.50 c #Conflicts: 495000 | #Constraints: 29886
428.02/429.50 c #Conflicts: 496000 | #Constraints: 30886
428.02/429.50 c #Conflicts: 497000 | #Constraints: 31886
428.02/429.50 c #Conflicts: 498000 | #Constraints: 32886
428.02/429.50 c #Conflicts: 499000 | #Constraints: 33886
428.02/429.50 c #Conflicts: 500000 | #Constraints: 34886
428.02/429.50 c #Conflicts: 501000 | #Constraints: 35886
428.02/429.50 c #Conflicts: 502000 | #Constraints: 36886
428.02/429.50 c INPROCESSING
428.02/429.50 c GARBAGE COLLECT
428.02/429.50 c rational objective 3
443.09/444.68 c #Conflicts: 503000 | #Constraints: 23858
443.09/444.68 c #Conflicts: 504000 | #Constraints: 24858
443.09/444.68 c #Conflicts: 505000 | #Constraints: 25858
443.09/444.68 c #Conflicts: 506000 | #Constraints: 26858
443.09/444.68 c #Conflicts: 507000 | #Constraints: 27858
443.09/444.68 c #Conflicts: 508000 | #Constraints: 28863
443.09/444.68 c #Conflicts: 509000 | #Constraints: 29864
443.09/444.68 c #Conflicts: 510000 | #Constraints: 30864
443.09/444.68 c #Conflicts: 511000 | #Constraints: 31864
443.09/444.68 c #Conflicts: 512000 | #Constraints: 32865
443.09/444.68 c #Conflicts: 513000 | #Constraints: 33865
443.09/444.68 c #Conflicts: 514000 | #Constraints: 34865
443.09/444.68 c #Conflicts: 515000 | #Constraints: 35866
443.09/444.68 c #Conflicts: 516000 | #Constraints: 36866
443.09/444.68 c INPROCESSING
443.09/444.68 c GARBAGE COLLECT
443.09/444.68 c rational objective 3
457.64/459.25 c #Conflicts: 517000 | #Constraints: 23543
457.64/459.25 c #Conflicts: 518000 | #Constraints: 24543
457.64/459.25 c #Conflicts: 519000 | #Constraints: 25545
457.64/459.25 c #Conflicts: 520000 | #Constraints: 26547
457.64/459.25 c #Conflicts: 521000 | #Constraints: 27549
457.64/459.25 c #Conflicts: 522000 | #Constraints: 28552
457.64/459.25 c #Conflicts: 523000 | #Constraints: 29553
457.64/459.25 c #Conflicts: 524000 | #Constraints: 30554
457.64/459.25 c #Conflicts: 525000 | #Constraints: 31555
457.64/459.25 c #Conflicts: 526000 | #Constraints: 32555
457.64/459.25 c #Conflicts: 527000 | #Constraints: 33555
457.64/459.25 c #Conflicts: 528000 | #Constraints: 34555
457.64/459.25 c #Conflicts: 529000 | #Constraints: 35555
457.64/459.25 c #Conflicts: 530000 | #Constraints: 36556
457.64/459.25 c #Conflicts: 531000 | #Constraints: 37556
457.64/459.25 c INPROCESSING
457.64/459.25 c GARBAGE COLLECT
457.64/459.25 c rational objective 3
474.78/476.45 c #Conflicts: 532000 | #Constraints: 24147
474.78/476.45 c #Conflicts: 533000 | #Constraints: 25148
474.78/476.45 c #Conflicts: 534000 | #Constraints: 26148
474.78/476.45 c #Conflicts: 535000 | #Constraints: 27148
474.78/476.45 c #Conflicts: 536000 | #Constraints: 28148
474.78/476.45 c #Conflicts: 537000 | #Constraints: 29148
474.78/476.45 c #Conflicts: 538000 | #Constraints: 30148
474.78/476.45 c #Conflicts: 539000 | #Constraints: 31148
474.78/476.45 c #Conflicts: 540000 | #Constraints: 32148
474.78/476.45 c #Conflicts: 541000 | #Constraints: 33148
474.78/476.45 c #Conflicts: 542000 | #Constraints: 34148
474.78/476.45 c #Conflicts: 543000 | #Constraints: 35148
474.78/476.45 c #Conflicts: 544000 | #Constraints: 36148
474.78/476.45 c #Conflicts: 545000 | #Constraints: 37148
474.78/476.45 c #Conflicts: 546000 | #Constraints: 38148
474.78/476.45 c INPROCESSING
474.78/476.45 c GARBAGE COLLECT
474.78/476.45 c rational objective 3
491.35/493.04 c #Conflicts: 547000 | #Constraints: 24534
491.35/493.04 c #Conflicts: 548000 | #Constraints: 25535
491.35/493.04 c #Conflicts: 549000 | #Constraints: 26536
491.35/493.04 c #Conflicts: 550000 | #Constraints: 27538
491.35/493.04 c #Conflicts: 551000 | #Constraints: 28538
491.35/493.04 c #Conflicts: 552000 | #Constraints: 29540
491.35/493.04 c #Conflicts: 553000 | #Constraints: 30541
491.35/493.04 c #Conflicts: 554000 | #Constraints: 31541
491.35/493.04 c #Conflicts: 555000 | #Constraints: 32542
491.35/493.04 c #Conflicts: 556000 | #Constraints: 33542
491.35/493.04 c #Conflicts: 557000 | #Constraints: 34542
491.35/493.04 c #Conflicts: 558000 | #Constraints: 35542
491.35/493.04 c #Conflicts: 559000 | #Constraints: 36542
491.35/493.04 c #Conflicts: 560000 | #Constraints: 37543
491.35/493.04 c #Conflicts: 561000 | #Constraints: 38543
491.35/493.04 c INPROCESSING
491.35/493.04 c GARBAGE COLLECT
491.35/493.04 c rational objective 3
507.29/509.03 c #Conflicts: 562000 | #Constraints: 24711
507.29/509.03 c #Conflicts: 563000 | #Constraints: 25711
507.29/509.03 c #Conflicts: 564000 | #Constraints: 26711
507.29/509.03 c #Conflicts: 565000 | #Constraints: 27711
507.29/509.03 c #Conflicts: 566000 | #Constraints: 28711
507.29/509.03 c #Conflicts: 567000 | #Constraints: 29711
507.29/509.03 c #Conflicts: 568000 | #Constraints: 30711
507.29/509.03 c #Conflicts: 569000 | #Constraints: 31711
507.29/509.03 c #Conflicts: 570000 | #Constraints: 32711
507.29/509.03 c #Conflicts: 571000 | #Constraints: 33711
507.29/509.03 c #Conflicts: 572000 | #Constraints: 34711
507.29/509.03 c #Conflicts: 573000 | #Constraints: 35711
507.29/509.03 c #Conflicts: 574000 | #Constraints: 36712
507.29/509.03 c #Conflicts: 575000 | #Constraints: 37712
507.29/509.03 c #Conflicts: 576000 | #Constraints: 38712
507.29/509.03 c INPROCESSING
507.29/509.03 c GARBAGE COLLECT
507.29/509.03 c rational objective 3
524.53/526.34 c #Conflicts: 577000 | #Constraints: 24711
524.53/526.34 c #Conflicts: 578000 | #Constraints: 25711
524.53/526.34 c #Conflicts: 579000 | #Constraints: 26711
524.53/526.34 c #Conflicts: 580000 | #Constraints: 27711
524.53/526.34 c #Conflicts: 581000 | #Constraints: 28711
524.53/526.34 c #Conflicts: 582000 | #Constraints: 29711
524.53/526.34 c #Conflicts: 583000 | #Constraints: 30711
524.53/526.34 c #Conflicts: 584000 | #Constraints: 31711
524.53/526.34 c #Conflicts: 585000 | #Constraints: 32711
524.53/526.34 c #Conflicts: 586000 | #Constraints: 33711
524.53/526.34 c #Conflicts: 587000 | #Constraints: 34711
524.53/526.34 c #Conflicts: 588000 | #Constraints: 35711
524.53/526.34 c #Conflicts: 589000 | #Constraints: 36711
524.53/526.34 c #Conflicts: 590000 | #Constraints: 37711
524.53/526.34 c #Conflicts: 591000 | #Constraints: 38711
524.53/526.34 c INPROCESSING
524.53/526.34 c GARBAGE COLLECT
524.53/526.34 c rational objective 3
541.48/543.33 c #Conflicts: 592000 | #Constraints: 24499
541.48/543.33 c #Conflicts: 593000 | #Constraints: 25499
541.48/543.33 c #Conflicts: 594000 | #Constraints: 26499
541.48/543.33 c #Conflicts: 595000 | #Constraints: 27499
541.48/543.33 c #Conflicts: 596000 | #Constraints: 28499
541.48/543.33 c #Conflicts: 597000 | #Constraints: 29499
541.48/543.33 c #Conflicts: 598000 | #Constraints: 30499
541.48/543.33 c #Conflicts: 599000 | #Constraints: 31500
541.48/543.33 c #Conflicts: 600000 | #Constraints: 32500
541.48/543.33 c #Conflicts: 601000 | #Constraints: 33500
541.48/543.33 c #Conflicts: 602000 | #Constraints: 34502
541.48/543.33 c #Conflicts: 603000 | #Constraints: 35502
541.48/543.33 c #Conflicts: 604000 | #Constraints: 36502
541.48/543.33 c #Conflicts: 605000 | #Constraints: 37502
541.48/543.33 c #Conflicts: 606000 | #Constraints: 38502
541.48/543.33 c #Conflicts: 607000 | #Constraints: 39502
541.48/543.33 c INPROCESSING
541.48/543.33 c GARBAGE COLLECT
541.48/543.33 c rational objective 3
559.93/561.81 c #Conflicts: 608000 | #Constraints: 25092
559.93/561.81 c #Conflicts: 609000 | #Constraints: 26092
559.93/561.81 c #Conflicts: 610000 | #Constraints: 27092
559.93/561.81 c #Conflicts: 611000 | #Constraints: 28093
559.93/561.81 c #Conflicts: 612000 | #Constraints: 29093
559.93/561.81 c #Conflicts: 613000 | #Constraints: 30093
559.93/561.81 c #Conflicts: 614000 | #Constraints: 31096
559.93/561.81 c #Conflicts: 615000 | #Constraints: 32096
559.93/561.81 c #Conflicts: 616000 | #Constraints: 33097
559.93/561.81 c #Conflicts: 617000 | #Constraints: 34101
559.93/561.81 c #Conflicts: 618000 | #Constraints: 35102
559.93/561.81 c #Conflicts: 619000 | #Constraints: 36104
559.93/561.81 c #Conflicts: 620000 | #Constraints: 37104
559.93/561.81 c #Conflicts: 621000 | #Constraints: 38107
559.93/561.81 c #Conflicts: 622000 | #Constraints: 39110
559.93/561.81 c #Conflicts: 623000 | #Constraints: 40111
559.93/561.81 c INPROCESSING
559.93/561.81 c GARBAGE COLLECT
559.93/561.81 c rational objective 3
576.67/578.64 c #Conflicts: 624000 | #Constraints: 25493
576.67/578.64 c #Conflicts: 625000 | #Constraints: 26493
576.67/578.64 c #Conflicts: 626000 | #Constraints: 27493
576.67/578.64 c #Conflicts: 627000 | #Constraints: 28494
576.67/578.64 c #Conflicts: 628000 | #Constraints: 29496
576.67/578.64 c #Conflicts: 629000 | #Constraints: 30496
576.67/578.64 c #Conflicts: 630000 | #Constraints: 31496
576.67/578.64 c #Conflicts: 631000 | #Constraints: 32497
576.67/578.64 c #Conflicts: 632000 | #Constraints: 33498
576.67/578.64 c #Conflicts: 633000 | #Constraints: 34502
576.67/578.64 c #Conflicts: 634000 | #Constraints: 35502
576.67/578.64 c #Conflicts: 635000 | #Constraints: 36502
576.67/578.64 c #Conflicts: 636000 | #Constraints: 37502
576.67/578.64 c #Conflicts: 637000 | #Constraints: 38504
576.67/578.64 c #Conflicts: 638000 | #Constraints: 39505
576.67/578.64 c #Conflicts: 639000 | #Constraints: 40506
576.67/578.64 c INPROCESSING
576.67/578.64 c GARBAGE COLLECT
576.67/578.64 c rational objective 3
598.02/600.04 c #Conflicts: 640000 | #Constraints: 25688
598.02/600.04 c #Conflicts: 641000 | #Constraints: 26688
598.02/600.04 c #Conflicts: 642000 | #Constraints: 27688
598.02/600.04 c #Conflicts: 643000 | #Constraints: 28690
598.02/600.04 c #Conflicts: 644000 | #Constraints: 29690
598.02/600.04 c #Conflicts: 645000 | #Constraints: 30691
598.02/600.04 c #Conflicts: 646000 | #Constraints: 31692
598.02/600.04 c #Conflicts: 647000 | #Constraints: 32692
598.02/600.04 c #Conflicts: 648000 | #Constraints: 33692
598.02/600.04 c #Conflicts: 649000 | #Constraints: 34692
598.02/600.04 c #Conflicts: 650000 | #Constraints: 35692
598.02/600.04 c #Conflicts: 651000 | #Constraints: 36692
598.02/600.04 c #Conflicts: 652000 | #Constraints: 37692
598.02/600.04 c #Conflicts: 653000 | #Constraints: 38692
598.02/600.04 c #Conflicts: 654000 | #Constraints: 39692
598.02/600.04 c #Conflicts: 655000 | #Constraints: 40692
598.02/600.04 c INPROCESSING
598.02/600.04 c GARBAGE COLLECT
598.02/600.04 c rational objective 3
617.64/619.77 c #Conflicts: 656000 | #Constraints: 25675
617.64/619.77 c #Conflicts: 657000 | #Constraints: 26676
617.64/619.77 c #Conflicts: 658000 | #Constraints: 27677
617.64/619.77 c #Conflicts: 659000 | #Constraints: 28681
617.64/619.77 c #Conflicts: 660000 | #Constraints: 29685
617.64/619.77 c #Conflicts: 661000 | #Constraints: 30690
617.64/619.77 c #Conflicts: 662000 | #Constraints: 31690
617.64/619.77 c #Conflicts: 663000 | #Constraints: 32691
617.64/619.77 c #Conflicts: 664000 | #Constraints: 33693
617.64/619.77 c #Conflicts: 665000 | #Constraints: 34694
617.64/619.77 c #Conflicts: 666000 | #Constraints: 35694
617.64/619.77 c #Conflicts: 667000 | #Constraints: 36694
617.64/619.77 c #Conflicts: 668000 | #Constraints: 37695
617.64/619.77 c #Conflicts: 669000 | #Constraints: 38695
617.64/619.77 c #Conflicts: 670000 | #Constraints: 39695
617.64/619.77 c #Conflicts: 671000 | #Constraints: 40695
617.64/619.77 c INPROCESSING
617.64/619.77 c GARBAGE COLLECT
617.64/619.77 c rational objective 3
638.27/640.48 c #Conflicts: 672000 | #Constraints: 25461
638.27/640.48 c #Conflicts: 673000 | #Constraints: 26462
638.27/640.48 c #Conflicts: 674000 | #Constraints: 27462
638.27/640.48 c #Conflicts: 675000 | #Constraints: 28462
638.27/640.48 c #Conflicts: 676000 | #Constraints: 29462
638.27/640.48 c #Conflicts: 677000 | #Constraints: 30462
638.27/640.48 c #Conflicts: 678000 | #Constraints: 31462
638.27/640.48 c #Conflicts: 679000 | #Constraints: 32462
638.27/640.48 c #Conflicts: 680000 | #Constraints: 33462
638.27/640.48 c #Conflicts: 681000 | #Constraints: 34462
638.27/640.48 c #Conflicts: 682000 | #Constraints: 35462
638.27/640.48 c #Conflicts: 683000 | #Constraints: 36462
638.27/640.48 c #Conflicts: 684000 | #Constraints: 37462
638.27/640.48 c #Conflicts: 685000 | #Constraints: 38463
638.27/640.48 c #Conflicts: 686000 | #Constraints: 39463
638.27/640.48 c #Conflicts: 687000 | #Constraints: 40464
638.27/640.48 c #Conflicts: 688000 | #Constraints: 41464
638.27/640.48 c INPROCESSING
638.27/640.48 c GARBAGE COLLECT
638.27/640.48 c rational objective 3
661.69/663.91 c #Conflicts: 689000 | #Constraints: 26043
661.69/663.91 c #Conflicts: 690000 | #Constraints: 27043
661.69/663.91 c #Conflicts: 691000 | #Constraints: 28043
661.69/663.91 c #Conflicts: 692000 | #Constraints: 29044
661.69/663.91 c #Conflicts: 693000 | #Constraints: 30044
661.69/663.91 c #Conflicts: 694000 | #Constraints: 31044
661.69/663.91 c #Conflicts: 695000 | #Constraints: 32044
661.69/663.91 c #Conflicts: 696000 | #Constraints: 33044
661.69/663.91 c #Conflicts: 697000 | #Constraints: 34044
661.69/663.91 c #Conflicts: 698000 | #Constraints: 35044
661.69/663.91 c #Conflicts: 699000 | #Constraints: 36044
661.69/663.91 c #Conflicts: 700000 | #Constraints: 37044
661.69/663.91 c #Conflicts: 701000 | #Constraints: 38044
661.69/663.91 c #Conflicts: 702000 | #Constraints: 39044
661.69/663.91 c #Conflicts: 703000 | #Constraints: 40045
661.69/663.91 c #Conflicts: 704000 | #Constraints: 41045
661.69/663.91 c #Conflicts: 705000 | #Constraints: 42046
661.69/663.91 c INPROCESSING
661.69/663.91 c GARBAGE COLLECT
661.69/663.91 c rational objective 3
682.61/684.94 c #Conflicts: 706000 | #Constraints: 26393
682.61/684.94 c #Conflicts: 707000 | #Constraints: 27396
682.61/684.94 c #Conflicts: 708000 | #Constraints: 28399
682.61/684.94 c #Conflicts: 709000 | #Constraints: 29400
682.61/684.94 c #Conflicts: 710000 | #Constraints: 30401
682.61/684.94 c #Conflicts: 711000 | #Constraints: 31402
682.61/684.94 c #Conflicts: 712000 | #Constraints: 32404
682.61/684.94 c #Conflicts: 713000 | #Constraints: 33404
682.61/684.94 c #Conflicts: 714000 | #Constraints: 34404
682.61/684.94 c #Conflicts: 715000 | #Constraints: 35405
682.61/684.94 c #Conflicts: 716000 | #Constraints: 36406
682.61/684.94 c #Conflicts: 717000 | #Constraints: 37406
682.61/684.94 c #Conflicts: 718000 | #Constraints: 38406
682.61/684.94 c #Conflicts: 719000 | #Constraints: 39407
682.61/684.94 c #Conflicts: 720000 | #Constraints: 40407
682.61/684.94 c #Conflicts: 721000 | #Constraints: 41408
682.61/684.94 c #Conflicts: 722000 | #Constraints: 42408
682.61/684.94 c INPROCESSING
682.61/684.94 c GARBAGE COLLECT
682.61/684.94 c rational objective 3
701.25/703.65 c #Conflicts: 723000 | #Constraints: 26579
701.25/703.65 c #Conflicts: 724000 | #Constraints: 27580
701.25/703.65 c #Conflicts: 725000 | #Constraints: 28581
701.25/703.65 c #Conflicts: 726000 | #Constraints: 29582
701.25/703.65 c #Conflicts: 727000 | #Constraints: 30583
701.25/703.65 c #Conflicts: 728000 | #Constraints: 31583
701.25/703.65 c #Conflicts: 729000 | #Constraints: 32583
701.25/703.65 c #Conflicts: 730000 | #Constraints: 33584
701.25/703.65 c #Conflicts: 731000 | #Constraints: 34584
701.25/703.65 c #Conflicts: 732000 | #Constraints: 35585
701.25/703.65 c #Conflicts: 733000 | #Constraints: 36588
701.25/703.65 c #Conflicts: 734000 | #Constraints: 37588
701.25/703.65 c #Conflicts: 735000 | #Constraints: 38588
701.25/703.65 c #Conflicts: 736000 | #Constraints: 39588
701.25/703.65 c #Conflicts: 737000 | #Constraints: 40588
701.25/703.65 c #Conflicts: 738000 | #Constraints: 41588
701.25/703.65 c #Conflicts: 739000 | #Constraints: 42588
701.25/703.65 c INPROCESSING
701.25/703.65 c GARBAGE COLLECT
701.25/703.65 c rational objective 3
725.87/728.37 c #Conflicts: 740000 | #Constraints: 26571
725.87/728.37 c #Conflicts: 741000 | #Constraints: 27572
725.87/728.37 c #Conflicts: 742000 | #Constraints: 28572
725.87/728.37 c #Conflicts: 743000 | #Constraints: 29574
725.87/728.37 c #Conflicts: 744000 | #Constraints: 30575
725.87/728.37 c #Conflicts: 745000 | #Constraints: 31576
725.87/728.37 c #Conflicts: 746000 | #Constraints: 32576
725.87/728.37 c #Conflicts: 747000 | #Constraints: 33576
725.87/728.37 c #Conflicts: 748000 | #Constraints: 34576
725.87/728.37 c #Conflicts: 749000 | #Constraints: 35576
725.87/728.37 c #Conflicts: 750000 | #Constraints: 36577
725.87/728.37 c #Conflicts: 751000 | #Constraints: 37579
725.87/728.37 c #Conflicts: 752000 | #Constraints: 38579
725.87/728.37 c #Conflicts: 753000 | #Constraints: 39579
725.87/728.37 c #Conflicts: 754000 | #Constraints: 40581
725.87/728.37 c #Conflicts: 755000 | #Constraints: 41583
725.87/728.37 c #Conflicts: 756000 | #Constraints: 42584
725.87/728.37 c INPROCESSING
725.87/728.37 c GARBAGE COLLECT
725.87/728.37 c rational objective 3
748.99/751.51 c #Conflicts: 757000 | #Constraints: 26379
748.99/751.51 c #Conflicts: 758000 | #Constraints: 27379
748.99/751.51 c #Conflicts: 759000 | #Constraints: 28379
748.99/751.51 c #Conflicts: 760000 | #Constraints: 29380
748.99/751.51 c #Conflicts: 761000 | #Constraints: 30380
748.99/751.51 c #Conflicts: 762000 | #Constraints: 31385
748.99/751.51 c #Conflicts: 763000 | #Constraints: 32387
748.99/751.51 c #Conflicts: 764000 | #Constraints: 33388
748.99/751.51 c #Conflicts: 765000 | #Constraints: 34389
748.99/751.51 c #Conflicts: 766000 | #Constraints: 35389
748.99/751.51 c #Conflicts: 767000 | #Constraints: 36389
748.99/751.51 c #Conflicts: 768000 | #Constraints: 37389
748.99/751.51 c #Conflicts: 769000 | #Constraints: 38389
748.99/751.51 c #Conflicts: 770000 | #Constraints: 39390
748.99/751.51 c #Conflicts: 771000 | #Constraints: 40392
748.99/751.51 c #Conflicts: 772000 | #Constraints: 41392
748.99/751.51 c #Conflicts: 773000 | #Constraints: 42392
748.99/751.51 c #Conflicts: 774000 | #Constraints: 43392
748.99/751.51 c INPROCESSING
748.99/751.51 c GARBAGE COLLECT
748.99/751.51 c rational objective 3
774.31/776.99 c #Conflicts: 775000 | #Constraints: 26906
774.31/776.99 c #Conflicts: 776000 | #Constraints: 27906
774.31/776.99 c #Conflicts: 777000 | #Constraints: 28908
774.31/776.99 c #Conflicts: 778000 | #Constraints: 29909
774.31/776.99 c #Conflicts: 779000 | #Constraints: 30910
774.31/776.99 c #Conflicts: 780000 | #Constraints: 31910
774.31/776.99 c #Conflicts: 781000 | #Constraints: 32911
774.31/776.99 c #Conflicts: 782000 | #Constraints: 33913
774.31/776.99 c #Conflicts: 783000 | #Constraints: 34914
774.31/776.99 c #Conflicts: 784000 | #Constraints: 35916
774.31/776.99 c #Conflicts: 785000 | #Constraints: 36917
774.31/776.99 c #Conflicts: 786000 | #Constraints: 37917
774.31/776.99 c #Conflicts: 787000 | #Constraints: 38918
774.31/776.99 c #Conflicts: 788000 | #Constraints: 39919
774.31/776.99 c #Conflicts: 789000 | #Constraints: 40921
774.31/776.99 c #Conflicts: 790000 | #Constraints: 41922
774.31/776.99 c #Conflicts: 791000 | #Constraints: 42922
774.31/776.99 c #Conflicts: 792000 | #Constraints: 43923
774.31/776.99 c INPROCESSING
774.31/776.99 c GARBAGE COLLECT
774.31/776.99 c rational objective 3
798.63/801.30 c #Conflicts: 793000 | #Constraints: 27299
798.63/801.30 c #Conflicts: 794000 | #Constraints: 28300
798.63/801.30 c #Conflicts: 795000 | #Constraints: 29300
798.63/801.30 c #Conflicts: 796000 | #Constraints: 30301
798.63/801.30 c #Conflicts: 797000 | #Constraints: 31302
798.63/801.30 c #Conflicts: 798000 | #Constraints: 32302
798.63/801.30 c #Conflicts: 799000 | #Constraints: 33302
798.63/801.30 c #Conflicts: 800000 | #Constraints: 34302
798.63/801.30 c #Conflicts: 801000 | #Constraints: 35303
798.63/801.30 c #Conflicts: 802000 | #Constraints: 36303
798.63/801.30 c #Conflicts: 803000 | #Constraints: 37304
798.63/801.30 c #Conflicts: 804000 | #Constraints: 38305
798.63/801.30 c #Conflicts: 805000 | #Constraints: 39305
798.63/801.30 c #Conflicts: 806000 | #Constraints: 40305
798.63/801.30 c #Conflicts: 807000 | #Constraints: 41306
798.63/801.30 c #Conflicts: 808000 | #Constraints: 42306
798.63/801.30 c #Conflicts: 809000 | #Constraints: 43306
798.63/801.30 c #Conflicts: 810000 | #Constraints: 44307
798.63/801.30 c INPROCESSING
798.63/801.30 c GARBAGE COLLECT
798.63/801.30 c rational objective 3
821.76/824.52 c #Conflicts: 811000 | #Constraints: 27489
821.76/824.52 c #Conflicts: 812000 | #Constraints: 28489
821.76/824.52 c #Conflicts: 813000 | #Constraints: 29490
821.76/824.52 c #Conflicts: 814000 | #Constraints: 30491
821.76/824.52 c #Conflicts: 815000 | #Constraints: 31492
821.76/824.52 c #Conflicts: 816000 | #Constraints: 32492
821.76/824.52 c #Conflicts: 817000 | #Constraints: 33493
821.76/824.52 c #Conflicts: 818000 | #Constraints: 34495
821.76/824.52 c #Conflicts: 819000 | #Constraints: 35496
821.76/824.52 c #Conflicts: 820000 | #Constraints: 36497
821.76/824.52 c #Conflicts: 821000 | #Constraints: 37497
821.76/824.52 c #Conflicts: 822000 | #Constraints: 38499
821.76/824.52 c #Conflicts: 823000 | #Constraints: 39500
821.76/824.52 c #Conflicts: 824000 | #Constraints: 40501
821.76/824.52 c #Conflicts: 825000 | #Constraints: 41501
821.76/824.52 c #Conflicts: 826000 | #Constraints: 42501
821.76/824.52 c #Conflicts: 827000 | #Constraints: 43501
821.76/824.52 c #Conflicts: 828000 | #Constraints: 44501
821.76/824.52 c INPROCESSING
821.76/824.52 c GARBAGE COLLECT
821.76/824.52 c rational objective 3
852.18/855.01 c #Conflicts: 829000 | #Constraints: 27488
852.18/855.01 c #Conflicts: 830000 | #Constraints: 28488
852.18/855.01 c #Conflicts: 831000 | #Constraints: 29488
852.18/855.01 c #Conflicts: 832000 | #Constraints: 30488
852.18/855.01 c #Conflicts: 833000 | #Constraints: 31488
852.18/855.01 c #Conflicts: 834000 | #Constraints: 32488
852.18/855.01 c #Conflicts: 835000 | #Constraints: 33488
852.18/855.01 c #Conflicts: 836000 | #Constraints: 34488
852.18/855.01 c #Conflicts: 837000 | #Constraints: 35488
852.18/855.01 c #Conflicts: 838000 | #Constraints: 36488
852.18/855.01 c #Conflicts: 839000 | #Constraints: 37488
852.18/855.01 c #Conflicts: 840000 | #Constraints: 38488
852.18/855.01 c #Conflicts: 841000 | #Constraints: 39488
852.18/855.01 c #Conflicts: 842000 | #Constraints: 40488
852.18/855.01 c #Conflicts: 843000 | #Constraints: 41488
852.18/855.01 c #Conflicts: 844000 | #Constraints: 42488
852.18/855.01 c #Conflicts: 845000 | #Constraints: 43488
852.18/855.01 c #Conflicts: 846000 | #Constraints: 44489
852.18/855.01 c INPROCESSING
852.18/855.01 c GARBAGE COLLECT
852.18/855.01 c rational objective 3
874.10/877.03 c #Conflicts: 847000 | #Constraints: 27255
874.10/877.03 c #Conflicts: 848000 | #Constraints: 28255
874.10/877.03 c #Conflicts: 849000 | #Constraints: 29255
874.10/877.03 c #Conflicts: 850000 | #Constraints: 30258
874.10/877.03 c #Conflicts: 851000 | #Constraints: 31261
874.10/877.03 c #Conflicts: 852000 | #Constraints: 32261
874.10/877.03 c #Conflicts: 853000 | #Constraints: 33262
874.10/877.03 c #Conflicts: 854000 | #Constraints: 34263
874.10/877.03 c #Conflicts: 855000 | #Constraints: 35264
874.10/877.03 c #Conflicts: 856000 | #Constraints: 36265
874.10/877.03 c #Conflicts: 857000 | #Constraints: 37265
874.10/877.03 c #Conflicts: 858000 | #Constraints: 38265
874.10/877.03 c #Conflicts: 859000 | #Constraints: 39265
874.10/877.03 c #Conflicts: 860000 | #Constraints: 40267
874.10/877.03 c #Conflicts: 861000 | #Constraints: 41267
874.10/877.03 c #Conflicts: 862000 | #Constraints: 42267
874.10/877.03 c #Conflicts: 863000 | #Constraints: 43267
874.10/877.03 c #Conflicts: 864000 | #Constraints: 44267
874.10/877.03 c #Conflicts: 865000 | #Constraints: 45269
874.10/877.03 c INPROCESSING
874.10/877.03 c GARBAGE COLLECT
874.10/877.03 c rational objective 3
900.60/903.65 c #Conflicts: 866000 | #Constraints: 27877
900.60/903.65 c #Conflicts: 867000 | #Constraints: 28877
900.60/903.65 c #Conflicts: 868000 | #Constraints: 29878
900.60/903.65 c #Conflicts: 869000 | #Constraints: 30880
900.60/903.65 c #Conflicts: 870000 | #Constraints: 31881
900.60/903.65 c #Conflicts: 871000 | #Constraints: 32881
900.60/903.65 c #Conflicts: 872000 | #Constraints: 33882
900.60/903.65 c #Conflicts: 873000 | #Constraints: 34888
900.60/903.65 c #Conflicts: 874000 | #Constraints: 35890
900.60/903.65 c #Conflicts: 875000 | #Constraints: 36891
900.60/903.65 c #Conflicts: 876000 | #Constraints: 37891
900.60/903.65 c #Conflicts: 877000 | #Constraints: 38892
900.60/903.65 c #Conflicts: 878000 | #Constraints: 39893
900.60/903.65 c #Conflicts: 879000 | #Constraints: 40894
900.60/903.65 c #Conflicts: 880000 | #Constraints: 41895
900.60/903.65 c #Conflicts: 881000 | #Constraints: 42897
900.60/903.65 c #Conflicts: 882000 | #Constraints: 43898
900.60/903.65 c #Conflicts: 883000 | #Constraints: 44900
900.60/903.65 c #Conflicts: 884000 | #Constraints: 45900
900.60/903.65 c INPROCESSING
900.60/903.65 c GARBAGE COLLECT
900.60/903.65 c rational objective 3
926.32/929.41 c #Conflicts: 885000 | #Constraints: 28304
926.32/929.41 c #Conflicts: 886000 | #Constraints: 29304
926.32/929.41 c #Conflicts: 887000 | #Constraints: 30305
926.32/929.41 c #Conflicts: 888000 | #Constraints: 31306
926.32/929.41 c #Conflicts: 889000 | #Constraints: 32306
926.32/929.41 c #Conflicts: 890000 | #Constraints: 33306
926.32/929.41 c #Conflicts: 891000 | #Constraints: 34308
926.32/929.41 c #Conflicts: 892000 | #Constraints: 35310
926.32/929.41 c #Conflicts: 893000 | #Constraints: 36311
926.32/929.41 c #Conflicts: 894000 | #Constraints: 37313
926.32/929.41 c #Conflicts: 895000 | #Constraints: 38313
926.32/929.41 c #Conflicts: 896000 | #Constraints: 39313
926.32/929.41 c #Conflicts: 897000 | #Constraints: 40314
926.32/929.41 c #Conflicts: 898000 | #Constraints: 41315
926.32/929.41 c #Conflicts: 899000 | #Constraints: 42316
926.32/929.41 c #Conflicts: 900000 | #Constraints: 43317
926.32/929.41 c #Conflicts: 901000 | #Constraints: 44317
926.32/929.41 c #Conflicts: 902000 | #Constraints: 45317
926.32/929.41 c #Conflicts: 903000 | #Constraints: 46318
926.32/929.41 c INPROCESSING
926.32/929.41 c GARBAGE COLLECT
926.32/929.41 c rational objective 3
953.53/956.78 c #Conflicts: 904000 | #Constraints: 28488
953.53/956.78 c #Conflicts: 905000 | #Constraints: 29488
953.53/956.78 c #Conflicts: 906000 | #Constraints: 30489
953.53/956.78 c #Conflicts: 907000 | #Constraints: 31489
953.53/956.78 c #Conflicts: 908000 | #Constraints: 32489
953.53/956.78 c #Conflicts: 909000 | #Constraints: 33490
953.53/956.78 c #Conflicts: 910000 | #Constraints: 34490
953.53/956.78 c #Conflicts: 911000 | #Constraints: 35491
953.53/956.78 c #Conflicts: 912000 | #Constraints: 36491
953.53/956.78 c #Conflicts: 913000 | #Constraints: 37492
953.53/956.78 c #Conflicts: 914000 | #Constraints: 38492
953.53/956.78 c #Conflicts: 915000 | #Constraints: 39492
953.53/956.78 c #Conflicts: 916000 | #Constraints: 40492
953.53/956.78 c #Conflicts: 917000 | #Constraints: 41492
953.53/956.78 c #Conflicts: 918000 | #Constraints: 42492
953.53/956.78 c #Conflicts: 919000 | #Constraints: 43492
953.53/956.78 c #Conflicts: 920000 | #Constraints: 44493
953.53/956.78 c #Conflicts: 921000 | #Constraints: 45493
953.53/956.78 c #Conflicts: 922000 | #Constraints: 46493
953.53/956.78 c INPROCESSING
953.53/956.78 c GARBAGE COLLECT
953.53/956.78 c rational objective 3
981.33/984.62 c #Conflicts: 923000 | #Constraints: 28515
981.33/984.62 c #Conflicts: 924000 | #Constraints: 29515
981.33/984.62 c #Conflicts: 925000 | #Constraints: 30515
981.33/984.62 c #Conflicts: 926000 | #Constraints: 31517
981.33/984.62 c #Conflicts: 927000 | #Constraints: 32518
981.33/984.62 c #Conflicts: 928000 | #Constraints: 33518
981.33/984.62 c #Conflicts: 929000 | #Constraints: 34518
981.33/984.62 c #Conflicts: 930000 | #Constraints: 35518
981.33/984.62 c #Conflicts: 931000 | #Constraints: 36518
981.33/984.62 c #Conflicts: 932000 | #Constraints: 37518
981.33/984.62 c #Conflicts: 933000 | #Constraints: 38521
981.33/984.62 c #Conflicts: 934000 | #Constraints: 39525
981.33/984.62 c #Conflicts: 935000 | #Constraints: 40526
981.33/984.62 c #Conflicts: 936000 | #Constraints: 41528
981.33/984.62 c #Conflicts: 937000 | #Constraints: 42528
981.33/984.62 c #Conflicts: 938000 | #Constraints: 43528
981.33/984.62 c #Conflicts: 939000 | #Constraints: 44528
981.33/984.62 c #Conflicts: 940000 | #Constraints: 45529
981.33/984.62 c #Conflicts: 941000 | #Constraints: 46531
981.33/984.62 c INPROCESSING
981.33/984.62 c GARBAGE COLLECT
981.33/984.62 c rational objective 3
1014.74/1018.14 c #Conflicts: 942000 | #Constraints: 28317
1014.74/1018.14 c #Conflicts: 943000 | #Constraints: 29317
1014.74/1018.14 c #Conflicts: 944000 | #Constraints: 30317
1014.74/1018.14 c #Conflicts: 945000 | #Constraints: 31319
1014.74/1018.14 c #Conflicts: 946000 | #Constraints: 32320
1014.74/1018.14 c #Conflicts: 947000 | #Constraints: 33322
1014.74/1018.14 c #Conflicts: 948000 | #Constraints: 34322
1014.74/1018.14 c #Conflicts: 949000 | #Constraints: 35322
1014.74/1018.14 c #Conflicts: 950000 | #Constraints: 36322
1014.74/1018.14 c #Conflicts: 951000 | #Constraints: 37323
1014.74/1018.14 c #Conflicts: 952000 | #Constraints: 38323
1014.74/1018.14 c #Conflicts: 953000 | #Constraints: 39323
1014.74/1018.14 c #Conflicts: 954000 | #Constraints: 40324
1014.74/1018.14 c #Conflicts: 955000 | #Constraints: 41325
1014.74/1018.14 c #Conflicts: 956000 | #Constraints: 42325
1014.74/1018.14 c #Conflicts: 957000 | #Constraints: 43325
1014.74/1018.14 c #Conflicts: 958000 | #Constraints: 44326
1014.74/1018.14 c #Conflicts: 959000 | #Constraints: 45326
1014.74/1018.14 c #Conflicts: 960000 | #Constraints: 46327
1014.74/1018.14 c #Conflicts: 961000 | #Constraints: 47327
1014.74/1018.14 c INPROCESSING
1014.74/1018.14 c GARBAGE COLLECT
1014.74/1018.14 c rational objective 3
1043.04/1046.58 c #Conflicts: 962000 | #Constraints: 28885
1043.04/1046.58 c #Conflicts: 963000 | #Constraints: 29887
1043.04/1046.58 c #Conflicts: 964000 | #Constraints: 30888
1043.04/1046.58 c #Conflicts: 965000 | #Constraints: 31889
1043.04/1046.58 c #Conflicts: 966000 | #Constraints: 32893
1043.04/1046.58 c #Conflicts: 967000 | #Constraints: 33894
1043.04/1046.58 c #Conflicts: 968000 | #Constraints: 34895
1043.04/1046.58 c #Conflicts: 969000 | #Constraints: 35897
1043.04/1046.58 c #Conflicts: 970000 | #Constraints: 36898
1043.04/1046.58 c #Conflicts: 971000 | #Constraints: 37900
1043.04/1046.58 c #Conflicts: 972000 | #Constraints: 38902
1043.04/1046.58 c #Conflicts: 973000 | #Constraints: 39904
1043.04/1046.58 c #Conflicts: 974000 | #Constraints: 40906
1043.04/1046.58 c #Conflicts: 975000 | #Constraints: 41906
1043.04/1046.58 c #Conflicts: 976000 | #Constraints: 42908
1043.04/1046.58 c #Conflicts: 977000 | #Constraints: 43908
1043.04/1046.58 c #Conflicts: 978000 | #Constraints: 44908
1043.04/1046.58 c #Conflicts: 979000 | #Constraints: 45908
1043.04/1046.58 c #Conflicts: 980000 | #Constraints: 46909
1043.04/1046.58 c #Conflicts: 981000 | #Constraints: 47910
1043.04/1046.58 c INPROCESSING
1043.04/1046.58 c GARBAGE COLLECT
1043.04/1046.58 c rational objective 3
1068.57/1072.19 c #Conflicts: 982000 | #Constraints: 29283
1068.57/1072.19 c #Conflicts: 983000 | #Constraints: 30283
1068.57/1072.19 c #Conflicts: 984000 | #Constraints: 31283
1068.57/1072.19 c #Conflicts: 985000 | #Constraints: 32285
1068.57/1072.19 c #Conflicts: 986000 | #Constraints: 33286
1068.57/1072.19 c #Conflicts: 987000 | #Constraints: 34287
1068.57/1072.19 c #Conflicts: 988000 | #Constraints: 35287
1068.57/1072.19 c #Conflicts: 989000 | #Constraints: 36287
1068.57/1072.19 c #Conflicts: 990000 | #Constraints: 37290
1068.57/1072.19 c #Conflicts: 991000 | #Constraints: 38290
1068.57/1072.19 c #Conflicts: 992000 | #Constraints: 39291
1068.57/1072.19 c #Conflicts: 993000 | #Constraints: 40293
1068.57/1072.19 c #Conflicts: 994000 | #Constraints: 41293
1068.57/1072.19 c #Conflicts: 995000 | #Constraints: 42294
1068.57/1072.19 c #Conflicts: 996000 | #Constraints: 43296
1068.57/1072.19 c #Conflicts: 997000 | #Constraints: 44298
1068.57/1072.19 c #Conflicts: 998000 | #Constraints: 45298
1068.57/1072.19 c #Conflicts: 999000 | #Constraints: 46298
1068.57/1072.19 c #Conflicts: 1000000 | #Constraints: 47299
1068.57/1072.19 c #Conflicts: 1001000 | #Constraints: 48301
1068.57/1072.19 c INPROCESSING
1068.57/1072.19 c GARBAGE COLLECT
1068.57/1072.19 c rational objective 3
1103.85/1107.51 c #Conflicts: 1002000 | #Constraints: 29469
1103.85/1107.51 c #Conflicts: 1003000 | #Constraints: 30478
1103.85/1107.51 c #Conflicts: 1004000 | #Constraints: 31489
1103.85/1107.51 c #Conflicts: 1005000 | #Constraints: 32493
1103.85/1107.51 c #Conflicts: 1006000 | #Constraints: 33494
1103.85/1107.51 c #Conflicts: 1007000 | #Constraints: 34496
1103.85/1107.51 c #Conflicts: 1008000 | #Constraints: 35497
1103.85/1107.51 c #Conflicts: 1009000 | #Constraints: 36498
1103.85/1107.51 c #Conflicts: 1010000 | #Constraints: 37498
1103.85/1107.51 c #Conflicts: 1011000 | #Constraints: 38501
1103.85/1107.51 c #Conflicts: 1012000 | #Constraints: 39506
1103.85/1107.51 c #Conflicts: 1013000 | #Constraints: 40516
1103.85/1107.51 c #Conflicts: 1014000 | #Constraints: 41518
1103.85/1107.51 c #Conflicts: 1015000 | #Constraints: 42518
1103.85/1107.51 c #Conflicts: 1016000 | #Constraints: 43518
1103.85/1107.51 c #Conflicts: 1017000 | #Constraints: 44518
1103.85/1107.51 c #Conflicts: 1018000 | #Constraints: 45518
1103.85/1107.51 c #Conflicts: 1019000 | #Constraints: 46519
1103.85/1107.51 c #Conflicts: 1020000 | #Constraints: 47519
1103.85/1107.51 c #Conflicts: 1021000 | #Constraints: 48519
1103.85/1107.51 c INPROCESSING
1103.85/1107.51 c GARBAGE COLLECT
1103.85/1107.51 c rational objective 3
1133.85/1137.62 c #Conflicts: 1022000 | #Constraints: 29489
1133.85/1137.62 c #Conflicts: 1023000 | #Constraints: 30489
1133.85/1137.62 c #Conflicts: 1024000 | #Constraints: 31489
1133.85/1137.62 c #Conflicts: 1025000 | #Constraints: 32489
1133.85/1137.62 c #Conflicts: 1026000 | #Constraints: 33489
1133.85/1137.62 c #Conflicts: 1027000 | #Constraints: 34490
1133.85/1137.62 c #Conflicts: 1028000 | #Constraints: 35490
1133.85/1137.62 c #Conflicts: 1029000 | #Constraints: 36491
1133.85/1137.62 c #Conflicts: 1030000 | #Constraints: 37494
1133.85/1137.62 c #Conflicts: 1031000 | #Constraints: 38494
1133.85/1137.62 c #Conflicts: 1032000 | #Constraints: 39495
1133.85/1137.62 c #Conflicts: 1033000 | #Constraints: 40495
1133.85/1137.62 c #Conflicts: 1034000 | #Constraints: 41497
1133.85/1137.62 c #Conflicts: 1035000 | #Constraints: 42498
1133.85/1137.62 c #Conflicts: 1036000 | #Constraints: 43499
1133.85/1137.62 c #Conflicts: 1037000 | #Constraints: 44500
1133.85/1137.62 c #Conflicts: 1038000 | #Constraints: 45500
1133.85/1137.62 c #Conflicts: 1039000 | #Constraints: 46501
1133.85/1137.62 c #Conflicts: 1040000 | #Constraints: 47501
1133.85/1137.62 c #Conflicts: 1041000 | #Constraints: 48502
1133.85/1137.62 c INPROCESSING
1133.85/1137.62 c GARBAGE COLLECT
1133.85/1137.62 c rational objective 3
1165.76/1169.64 c #Conflicts: 1042000 | #Constraints: 29296
1165.76/1169.64 c #Conflicts: 1043000 | #Constraints: 30296
1165.76/1169.64 c #Conflicts: 1044000 | #Constraints: 31297
1165.76/1169.64 c #Conflicts: 1045000 | #Constraints: 32300
1165.76/1169.64 c #Conflicts: 1046000 | #Constraints: 33301
1165.76/1169.64 c #Conflicts: 1047000 | #Constraints: 34306
1165.76/1169.64 c #Conflicts: 1048000 | #Constraints: 35307
1165.76/1169.64 c #Conflicts: 1049000 | #Constraints: 36307
1165.76/1169.64 c #Conflicts: 1050000 | #Constraints: 37308
1165.76/1169.64 c #Conflicts: 1051000 | #Constraints: 38308
1165.76/1169.64 c #Conflicts: 1052000 | #Constraints: 39309
1165.76/1169.64 c #Conflicts: 1053000 | #Constraints: 40309
1165.76/1169.64 c #Conflicts: 1054000 | #Constraints: 41309
1165.76/1169.64 c #Conflicts: 1055000 | #Constraints: 42309
1165.76/1169.64 c #Conflicts: 1056000 | #Constraints: 43310
1165.76/1169.64 c #Conflicts: 1057000 | #Constraints: 44310
1165.76/1169.64 c #Conflicts: 1058000 | #Constraints: 45310
1165.76/1169.64 c #Conflicts: 1059000 | #Constraints: 46310
1165.76/1169.64 c #Conflicts: 1060000 | #Constraints: 47310
1165.76/1169.64 c #Conflicts: 1061000 | #Constraints: 48310
1165.76/1169.64 c #Conflicts: 1062000 | #Constraints: 49310
1165.76/1169.64 c INPROCESSING
1165.76/1169.64 c GARBAGE COLLECT
1165.76/1169.64 c rational objective 3
1195.66/1199.67 c #Conflicts: 1063000 | #Constraints: 29884
1195.66/1199.67 c #Conflicts: 1064000 | #Constraints: 30884
1195.66/1199.67 c #Conflicts: 1065000 | #Constraints: 31884
1195.66/1199.67 c #Conflicts: 1066000 | #Constraints: 32884
1195.66/1199.67 c #Conflicts: 1067000 | #Constraints: 33884
1195.66/1199.67 c #Conflicts: 1068000 | #Constraints: 34887
1195.66/1199.67 c #Conflicts: 1069000 | #Constraints: 35887
1195.66/1199.67 c #Conflicts: 1070000 | #Constraints: 36888
1195.66/1199.67 c #Conflicts: 1071000 | #Constraints: 37888
1195.66/1199.67 c #Conflicts: 1072000 | #Constraints: 38889
1195.66/1199.67 c #Conflicts: 1073000 | #Constraints: 39890
1195.66/1199.67 c #Conflicts: 1074000 | #Constraints: 40890
1195.66/1199.67 c #Conflicts: 1075000 | #Constraints: 41891
1195.66/1199.67 c #Conflicts: 1076000 | #Constraints: 42891
1195.66/1199.67 c #Conflicts: 1077000 | #Constraints: 43893
1195.66/1199.67 c #Conflicts: 1078000 | #Constraints: 44893
1195.66/1199.67 c #Conflicts: 1079000 | #Constraints: 45893
1195.66/1199.67 c #Conflicts: 1080000 | #Constraints: 46894
1195.66/1199.67 c #Conflicts: 1081000 | #Constraints: 47894
1195.66/1199.67 c #Conflicts: 1082000 | #Constraints: 48895
1195.66/1199.67 c #Conflicts: 1083000 | #Constraints: 49896
1195.66/1199.67 c INPROCESSING
1195.66/1199.67 c GARBAGE COLLECT
1195.66/1199.67 c rational objective 3
1234.84/1238.96 c #Conflicts: 1084000 | #Constraints: 30217
1234.84/1238.96 c #Conflicts: 1085000 | #Constraints: 31219
1234.84/1238.96 c #Conflicts: 1086000 | #Constraints: 32220
1234.84/1238.96 c #Conflicts: 1087000 | #Constraints: 33220
1234.84/1238.96 c #Conflicts: 1088000 | #Constraints: 34220
1234.84/1238.96 c #Conflicts: 1089000 | #Constraints: 35220
1234.84/1238.96 c #Conflicts: 1090000 | #Constraints: 36220
1234.84/1238.96 c #Conflicts: 1091000 | #Constraints: 37220
1234.84/1238.96 c #Conflicts: 1092000 | #Constraints: 38221
1234.84/1238.96 c #Conflicts: 1093000 | #Constraints: 39221
1234.84/1238.96 c #Conflicts: 1094000 | #Constraints: 40221
1234.84/1238.96 c #Conflicts: 1095000 | #Constraints: 41223
1234.84/1238.96 c #Conflicts: 1096000 | #Constraints: 42223
1234.84/1238.96 c #Conflicts: 1097000 | #Constraints: 43224
1234.84/1238.96 c #Conflicts: 1098000 | #Constraints: 44224
1234.84/1238.96 c #Conflicts: 1099000 | #Constraints: 45224
1234.84/1238.96 c #Conflicts: 1100000 | #Constraints: 46224
1234.84/1238.96 c #Conflicts: 1101000 | #Constraints: 47226
1234.84/1238.96 c #Conflicts: 1102000 | #Constraints: 48226
1234.84/1238.96 c #Conflicts: 1103000 | #Constraints: 49226
1234.84/1238.96 c #Conflicts: 1104000 | #Constraints: 50226
1234.84/1238.96 c INPROCESSING
1234.84/1238.96 c GARBAGE COLLECT
1234.84/1238.96 c rational objective 3
1266.04/1270.29 c #Conflicts: 1105000 | #Constraints: 30406
1266.04/1270.29 c #Conflicts: 1106000 | #Constraints: 31407
1266.04/1270.29 c #Conflicts: 1107000 | #Constraints: 32408
1266.04/1270.29 c #Conflicts: 1108000 | #Constraints: 33409
1266.04/1270.29 c #Conflicts: 1109000 | #Constraints: 34410
1266.04/1270.29 c #Conflicts: 1110000 | #Constraints: 35411
1266.04/1270.29 c #Conflicts: 1111000 | #Constraints: 36411
1266.04/1270.29 c #Conflicts: 1112000 | #Constraints: 37412
1266.04/1270.29 c #Conflicts: 1113000 | #Constraints: 38412
1266.04/1270.29 c #Conflicts: 1114000 | #Constraints: 39412
1266.04/1270.29 c #Conflicts: 1115000 | #Constraints: 40412
1266.04/1270.29 c #Conflicts: 1116000 | #Constraints: 41412
1266.04/1270.29 c #Conflicts: 1117000 | #Constraints: 42412
1266.04/1270.29 c #Conflicts: 1118000 | #Constraints: 43412
1266.04/1270.29 c #Conflicts: 1119000 | #Constraints: 44412
1266.04/1270.29 c #Conflicts: 1120000 | #Constraints: 45413
1266.04/1270.29 c #Conflicts: 1121000 | #Constraints: 46414
1266.04/1270.29 c #Conflicts: 1122000 | #Constraints: 47414
1266.04/1270.29 c #Conflicts: 1123000 | #Constraints: 48415
1266.04/1270.29 c #Conflicts: 1124000 | #Constraints: 49417
1266.04/1270.29 c #Conflicts: 1125000 | #Constraints: 50418
1266.04/1270.29 c INPROCESSING
1266.04/1270.29 c GARBAGE COLLECT
1266.04/1270.29 c rational objective 3
1301.63/1306.00 c #Conflicts: 1126000 | #Constraints: 30341
1301.63/1306.00 c #Conflicts: 1127000 | #Constraints: 31341
1301.63/1306.00 c #Conflicts: 1128000 | #Constraints: 32342
1301.63/1306.00 c #Conflicts: 1129000 | #Constraints: 33342
1301.63/1306.00 c #Conflicts: 1130000 | #Constraints: 34342
1301.63/1306.00 c #Conflicts: 1131000 | #Constraints: 35342
1301.63/1306.00 c #Conflicts: 1132000 | #Constraints: 36342
1301.63/1306.00 c #Conflicts: 1133000 | #Constraints: 37343
1301.63/1306.00 c #Conflicts: 1134000 | #Constraints: 38343
1301.63/1306.00 c #Conflicts: 1135000 | #Constraints: 39343
1301.63/1306.00 c #Conflicts: 1136000 | #Constraints: 40343
1301.63/1306.00 c #Conflicts: 1137000 | #Constraints: 41343
1301.63/1306.00 c #Conflicts: 1138000 | #Constraints: 42343
1301.63/1306.00 c #Conflicts: 1139000 | #Constraints: 43343
1301.63/1306.00 c #Conflicts: 1140000 | #Constraints: 44343
1301.63/1306.00 c #Conflicts: 1141000 | #Constraints: 45343
1301.63/1306.00 c #Conflicts: 1142000 | #Constraints: 46344
1301.63/1306.00 c #Conflicts: 1143000 | #Constraints: 47344
1301.63/1306.00 c #Conflicts: 1144000 | #Constraints: 48344
1301.63/1306.00 c #Conflicts: 1145000 | #Constraints: 49344
1301.63/1306.00 c #Conflicts: 1146000 | #Constraints: 50344
1301.63/1306.00 c INPROCESSING
1301.63/1306.00 c GARBAGE COLLECT
1301.63/1306.00 c rational objective 3
1334.02/1338.46 c #Conflicts: 1147000 | #Constraints: 30077
1334.02/1338.46 c #Conflicts: 1148000 | #Constraints: 31078
1334.02/1338.46 c #Conflicts: 1149000 | #Constraints: 32078
1334.02/1338.46 c #Conflicts: 1150000 | #Constraints: 33080
1334.02/1338.46 c #Conflicts: 1151000 | #Constraints: 34081
1334.02/1338.46 c #Conflicts: 1152000 | #Constraints: 35082
1334.02/1338.46 c #Conflicts: 1153000 | #Constraints: 36083
1334.02/1338.46 c #Conflicts: 1154000 | #Constraints: 37083
1334.02/1338.46 c #Conflicts: 1155000 | #Constraints: 38084
1334.02/1338.46 c #Conflicts: 1156000 | #Constraints: 39085
1334.02/1338.46 c #Conflicts: 1157000 | #Constraints: 40086
1334.02/1338.46 c #Conflicts: 1158000 | #Constraints: 41087
1334.02/1338.46 c #Conflicts: 1159000 | #Constraints: 42087
1334.02/1338.46 c #Conflicts: 1160000 | #Constraints: 43087
1334.02/1338.46 c #Conflicts: 1161000 | #Constraints: 44088
1334.02/1338.46 c #Conflicts: 1162000 | #Constraints: 45089
1334.02/1338.46 c #Conflicts: 1163000 | #Constraints: 46090
1334.02/1338.46 c #Conflicts: 1164000 | #Constraints: 47090
1334.02/1338.46 c #Conflicts: 1165000 | #Constraints: 48092
1334.02/1338.46 c #Conflicts: 1166000 | #Constraints: 49096
1334.02/1338.46 c #Conflicts: 1167000 | #Constraints: 50097
1334.02/1338.46 c #Conflicts: 1168000 | #Constraints: 51097
1334.02/1338.46 c INPROCESSING
1334.02/1338.46 c GARBAGE COLLECT
1334.02/1338.46 c rational objective 3
1365.54/1370.04 c #Conflicts: 1169000 | #Constraints: 30616
1365.54/1370.04 c #Conflicts: 1170000 | #Constraints: 31616
1365.54/1370.04 c #Conflicts: 1171000 | #Constraints: 32617
1365.54/1370.04 c #Conflicts: 1172000 | #Constraints: 33617
1365.54/1370.04 c #Conflicts: 1173000 | #Constraints: 34617
1365.54/1370.04 c #Conflicts: 1174000 | #Constraints: 35617
1365.54/1370.04 c #Conflicts: 1175000 | #Constraints: 36619
1365.54/1370.04 c #Conflicts: 1176000 | #Constraints: 37619
1365.54/1370.04 c #Conflicts: 1177000 | #Constraints: 38619
1365.54/1370.04 c #Conflicts: 1178000 | #Constraints: 39620
1365.54/1370.04 c #Conflicts: 1179000 | #Constraints: 40620
1365.54/1370.04 c #Conflicts: 1180000 | #Constraints: 41621
1365.54/1370.04 c #Conflicts: 1181000 | #Constraints: 42621
1365.54/1370.04 c #Conflicts: 1182000 | #Constraints: 43622
1365.54/1370.04 c #Conflicts: 1183000 | #Constraints: 44622
1365.54/1370.04 c #Conflicts: 1184000 | #Constraints: 45622
1365.54/1370.04 c #Conflicts: 1185000 | #Constraints: 46623
1365.54/1370.04 c #Conflicts: 1186000 | #Constraints: 47623
1365.54/1370.04 c #Conflicts: 1187000 | #Constraints: 48626
1365.54/1370.04 c #Conflicts: 1188000 | #Constraints: 49626
1365.54/1370.04 c #Conflicts: 1189000 | #Constraints: 50627
1365.54/1370.04 c #Conflicts: 1190000 | #Constraints: 51628
1365.54/1370.04 c INPROCESSING
1365.54/1370.04 c GARBAGE COLLECT
1365.54/1370.04 c rational objective 3
1402.51/1407.16 c #Conflicts: 1191000 | #Constraints: 31034
1402.51/1407.16 c #Conflicts: 1192000 | #Constraints: 32034
1402.51/1407.16 c #Conflicts: 1193000 | #Constraints: 33035
1402.51/1407.16 c #Conflicts: 1194000 | #Constraints: 34036
1402.51/1407.16 c #Conflicts: 1195000 | #Constraints: 35038
1402.51/1407.16 c #Conflicts: 1196000 | #Constraints: 36041
1402.51/1407.16 c #Conflicts: 1197000 | #Constraints: 37041
1402.51/1407.16 c #Conflicts: 1198000 | #Constraints: 38041
1402.51/1407.16 c #Conflicts: 1199000 | #Constraints: 39043
1402.51/1407.16 c #Conflicts: 1200000 | #Constraints: 40044
1402.51/1407.16 c #Conflicts: 1201000 | #Constraints: 41046
1402.51/1407.16 c #Conflicts: 1202000 | #Constraints: 42046
1402.51/1407.16 c #Conflicts: 1203000 | #Constraints: 43046
1402.51/1407.16 c #Conflicts: 1204000 | #Constraints: 44046
1402.51/1407.16 c #Conflicts: 1205000 | #Constraints: 45046
1402.51/1407.16 c #Conflicts: 1206000 | #Constraints: 46047
1402.51/1407.16 c #Conflicts: 1207000 | #Constraints: 47047
1402.51/1407.16 c #Conflicts: 1208000 | #Constraints: 48047
1402.51/1407.16 c #Conflicts: 1209000 | #Constraints: 49047
1402.51/1407.16 c #Conflicts: 1210000 | #Constraints: 50048
1402.51/1407.16 c #Conflicts: 1211000 | #Constraints: 51048
1402.51/1407.16 c #Conflicts: 1212000 | #Constraints: 52048
1402.51/1407.16 c INPROCESSING
1402.51/1407.16 c GARBAGE COLLECT
1402.51/1407.16 c rational objective 3
1440.86/1445.62 c #Conflicts: 1213000 | #Constraints: 31193
1440.86/1445.62 c #Conflicts: 1214000 | #Constraints: 32193
1440.86/1445.62 c #Conflicts: 1215000 | #Constraints: 33195
1440.86/1445.62 c #Conflicts: 1216000 | #Constraints: 34196
1440.86/1445.62 c #Conflicts: 1217000 | #Constraints: 35197
1440.86/1445.62 c #Conflicts: 1218000 | #Constraints: 36197
1440.86/1445.62 c #Conflicts: 1219000 | #Constraints: 37197
1440.86/1445.62 c #Conflicts: 1220000 | #Constraints: 38199
1440.86/1445.62 c #Conflicts: 1221000 | #Constraints: 39202
1440.86/1445.62 c #Conflicts: 1222000 | #Constraints: 40202
1440.86/1445.62 c #Conflicts: 1223000 | #Constraints: 41203
1440.86/1445.62 c #Conflicts: 1224000 | #Constraints: 42204
1440.86/1445.62 c #Conflicts: 1225000 | #Constraints: 43204
1440.86/1445.62 c #Conflicts: 1226000 | #Constraints: 44204
1440.86/1445.62 c #Conflicts: 1227000 | #Constraints: 45205
1440.86/1445.62 c #Conflicts: 1228000 | #Constraints: 46207
1440.86/1445.62 c #Conflicts: 1229000 | #Constraints: 47207
1440.86/1445.62 c #Conflicts: 1230000 | #Constraints: 48210
1440.86/1445.62 c #Conflicts: 1231000 | #Constraints: 49212
1440.86/1445.62 c #Conflicts: 1232000 | #Constraints: 50212
1440.86/1445.62 c #Conflicts: 1233000 | #Constraints: 51212
1440.86/1445.62 c #Conflicts: 1234000 | #Constraints: 52213
1440.86/1445.62 c INPROCESSING
1440.86/1445.62 c GARBAGE COLLECT
1440.86/1445.62 c rational objective 3
1476.72/1481.67 c #Conflicts: 1235000 | #Constraints: 31091
1476.72/1481.67 c #Conflicts: 1236000 | #Constraints: 32091
1476.72/1481.67 c #Conflicts: 1237000 | #Constraints: 33092
1476.72/1481.67 c #Conflicts: 1238000 | #Constraints: 34093
1476.72/1481.67 c #Conflicts: 1239000 | #Constraints: 35093
1476.72/1481.67 c #Conflicts: 1240000 | #Constraints: 36095
1476.72/1481.67 c #Conflicts: 1241000 | #Constraints: 37097
1476.72/1481.67 c #Conflicts: 1242000 | #Constraints: 38098
1476.72/1481.67 c #Conflicts: 1243000 | #Constraints: 39099
1476.72/1481.67 c #Conflicts: 1244000 | #Constraints: 40099
1476.72/1481.67 c #Conflicts: 1245000 | #Constraints: 41100
1476.72/1481.67 c #Conflicts: 1246000 | #Constraints: 42100
1476.72/1481.67 c #Conflicts: 1247000 | #Constraints: 43100
1476.72/1481.67 c #Conflicts: 1248000 | #Constraints: 44102
1476.72/1481.67 c #Conflicts: 1249000 | #Constraints: 45106
1476.72/1481.67 c #Conflicts: 1250000 | #Constraints: 46110
1476.72/1481.67 c #Conflicts: 1251000 | #Constraints: 47111
1476.72/1481.67 c #Conflicts: 1252000 | #Constraints: 48113
1476.72/1481.67 c #Conflicts: 1253000 | #Constraints: 49114
1476.72/1481.67 c #Conflicts: 1254000 | #Constraints: 50114
1476.72/1481.67 c #Conflicts: 1255000 | #Constraints: 51115
1476.72/1481.67 c #Conflicts: 1256000 | #Constraints: 52115
1476.72/1481.67 c INPROCESSING
1476.72/1481.67 c GARBAGE COLLECT
1476.72/1481.67 c rational objective 3
1513.19/1518.21 c #Conflicts: 1257000 | #Constraints: 30819
1513.19/1518.21 c #Conflicts: 1258000 | #Constraints: 31819
1513.19/1518.21 c #Conflicts: 1259000 | #Constraints: 32820
1513.19/1518.21 c #Conflicts: 1260000 | #Constraints: 33821
1513.19/1518.21 c #Conflicts: 1261000 | #Constraints: 34823
1513.19/1518.21 c #Conflicts: 1262000 | #Constraints: 35824
1513.19/1518.21 c #Conflicts: 1263000 | #Constraints: 36825
1513.19/1518.21 c #Conflicts: 1264000 | #Constraints: 37826
1513.19/1518.21 c #Conflicts: 1265000 | #Constraints: 38826
1513.19/1518.21 c #Conflicts: 1266000 | #Constraints: 39826
1513.19/1518.21 c #Conflicts: 1267000 | #Constraints: 40827
1513.19/1518.21 c #Conflicts: 1268000 | #Constraints: 41828
1513.19/1518.21 c #Conflicts: 1269000 | #Constraints: 42828
1513.19/1518.21 c #Conflicts: 1270000 | #Constraints: 43830
1513.19/1518.21 c #Conflicts: 1271000 | #Constraints: 44833
1513.19/1518.21 c #Conflicts: 1272000 | #Constraints: 45834
1513.19/1518.21 c #Conflicts: 1273000 | #Constraints: 46835
1513.19/1518.21 c #Conflicts: 1274000 | #Constraints: 47836
1513.19/1518.21 c #Conflicts: 1275000 | #Constraints: 48839
1513.19/1518.21 c #Conflicts: 1276000 | #Constraints: 49840
1513.19/1518.21 c #Conflicts: 1277000 | #Constraints: 50840
1513.19/1518.21 c #Conflicts: 1278000 | #Constraints: 51840
1513.19/1518.21 c #Conflicts: 1279000 | #Constraints: 52840
1513.19/1518.21 c INPROCESSING
1513.19/1518.21 c GARBAGE COLLECT
1513.19/1518.21 c rational objective 3
1551.73/1556.92 c #Conflicts: 1280000 | #Constraints: 31394
1551.73/1556.92 c #Conflicts: 1281000 | #Constraints: 32394
1551.73/1556.92 c #Conflicts: 1282000 | #Constraints: 33394
1551.73/1556.92 c #Conflicts: 1283000 | #Constraints: 34396
1551.73/1556.92 c #Conflicts: 1284000 | #Constraints: 35396
1551.73/1556.92 c #Conflicts: 1285000 | #Constraints: 36398
1551.73/1556.92 c #Conflicts: 1286000 | #Constraints: 37398
1551.73/1556.92 c #Conflicts: 1287000 | #Constraints: 38400
1551.73/1556.92 c #Conflicts: 1288000 | #Constraints: 39400
1551.73/1556.92 c #Conflicts: 1289000 | #Constraints: 40400
1551.73/1556.92 c #Conflicts: 1290000 | #Constraints: 41402
1551.73/1556.92 c #Conflicts: 1291000 | #Constraints: 42402
1551.73/1556.92 c #Conflicts: 1292000 | #Constraints: 43403
1551.73/1556.92 c #Conflicts: 1293000 | #Constraints: 44404
1551.73/1556.92 c #Conflicts: 1294000 | #Constraints: 45405
1551.73/1556.92 c #Conflicts: 1295000 | #Constraints: 46406
1551.73/1556.92 c #Conflicts: 1296000 | #Constraints: 47406
1551.73/1556.92 c #Conflicts: 1297000 | #Constraints: 48406
1551.73/1556.92 c #Conflicts: 1298000 | #Constraints: 49406
1551.73/1556.92 c #Conflicts: 1299000 | #Constraints: 50406
1551.73/1556.92 c #Conflicts: 1300000 | #Constraints: 51407
1551.73/1556.92 c #Conflicts: 1301000 | #Constraints: 52407
1551.73/1556.92 c #Conflicts: 1302000 | #Constraints: 53408
1551.73/1556.92 c INPROCESSING
1551.73/1556.92 c GARBAGE COLLECT
1551.73/1556.92 c rational objective 3
1596.79/1602.17 c #Conflicts: 1303000 | #Constraints: 31691
1596.79/1602.17 c #Conflicts: 1304000 | #Constraints: 32693
1596.79/1602.17 c #Conflicts: 1305000 | #Constraints: 33693
1596.79/1602.17 c #Conflicts: 1306000 | #Constraints: 34694
1596.79/1602.17 c #Conflicts: 1307000 | #Constraints: 35696
1596.79/1602.17 c #Conflicts: 1308000 | #Constraints: 36696
1596.79/1602.17 c #Conflicts: 1309000 | #Constraints: 37696
1596.79/1602.17 c #Conflicts: 1310000 | #Constraints: 38696
1596.79/1602.17 c #Conflicts: 1311000 | #Constraints: 39696
1596.79/1602.17 c #Conflicts: 1312000 | #Constraints: 40697
1596.79/1602.17 c #Conflicts: 1313000 | #Constraints: 41697
1596.79/1602.17 c #Conflicts: 1314000 | #Constraints: 42698
1596.79/1602.17 c #Conflicts: 1315000 | #Constraints: 43698
1596.79/1602.17 c #Conflicts: 1316000 | #Constraints: 44698
1596.79/1602.17 c #Conflicts: 1317000 | #Constraints: 45699
1596.79/1602.17 c #Conflicts: 1318000 | #Constraints: 46699
1596.79/1602.17 c #Conflicts: 1319000 | #Constraints: 47699
1596.79/1602.17 c #Conflicts: 1320000 | #Constraints: 48700
1596.79/1602.17 c #Conflicts: 1321000 | #Constraints: 49700
1596.79/1602.17 c #Conflicts: 1322000 | #Constraints: 50700
1596.79/1602.17 c #Conflicts: 1323000 | #Constraints: 51701
1596.79/1602.17 c #Conflicts: 1324000 | #Constraints: 52702
1596.79/1602.17 c #Conflicts: 1325000 | #Constraints: 53702
1596.79/1602.17 c INPROCESSING
1596.79/1602.17 c GARBAGE COLLECT
1596.79/1602.17 c rational objective 3
1636.03/1641.52 c #Conflicts: 1326000 | #Constraints: 31853
1636.03/1641.52 c #Conflicts: 1327000 | #Constraints: 32854
1636.03/1641.52 c #Conflicts: 1328000 | #Constraints: 33854
1636.03/1641.52 c #Conflicts: 1329000 | #Constraints: 34856
1636.03/1641.52 c #Conflicts: 1330000 | #Constraints: 35856
1636.03/1641.52 c #Conflicts: 1331000 | #Constraints: 36857
1636.03/1641.52 c #Conflicts: 1332000 | #Constraints: 37857
1636.03/1641.52 c #Conflicts: 1333000 | #Constraints: 38857
1636.03/1641.52 c #Conflicts: 1334000 | #Constraints: 39857
1636.03/1641.52 c #Conflicts: 1335000 | #Constraints: 40857
1636.03/1641.52 c #Conflicts: 1336000 | #Constraints: 41857
1636.03/1641.52 c #Conflicts: 1337000 | #Constraints: 42859
1636.03/1641.52 c #Conflicts: 1338000 | #Constraints: 43860
1636.03/1641.52 c #Conflicts: 1339000 | #Constraints: 44860
1636.03/1641.52 c #Conflicts: 1340000 | #Constraints: 45860
1636.03/1641.52 c #Conflicts: 1341000 | #Constraints: 46860
1636.03/1641.52 c #Conflicts: 1342000 | #Constraints: 47860
1636.03/1641.52 c #Conflicts: 1343000 | #Constraints: 48861
1636.03/1641.52 c #Conflicts: 1344000 | #Constraints: 49862
1636.03/1641.52 c #Conflicts: 1345000 | #Constraints: 50863
1636.03/1641.52 c #Conflicts: 1346000 | #Constraints: 51863
1636.03/1641.52 c #Conflicts: 1347000 | #Constraints: 52865
1636.03/1641.52 c #Conflicts: 1348000 | #Constraints: 53867
1636.03/1641.52 c INPROCESSING
1636.03/1641.52 c GARBAGE COLLECT
1636.03/1641.52 c rational objective 3
1675.40/1681.05 c #Conflicts: 1349000 | #Constraints: 31842
1675.40/1681.05 c #Conflicts: 1350000 | #Constraints: 32842
1675.40/1681.05 c #Conflicts: 1351000 | #Constraints: 33843
1675.40/1681.05 c #Conflicts: 1352000 | #Constraints: 34844
1675.40/1681.05 c #Conflicts: 1353000 | #Constraints: 35845
1675.40/1681.05 c #Conflicts: 1354000 | #Constraints: 36846
1675.40/1681.05 c #Conflicts: 1355000 | #Constraints: 37846
1675.40/1681.05 c #Conflicts: 1356000 | #Constraints: 38846
1675.40/1681.05 c #Conflicts: 1357000 | #Constraints: 39848
1675.40/1681.05 c #Conflicts: 1358000 | #Constraints: 40848
1675.40/1681.05 c #Conflicts: 1359000 | #Constraints: 41849
1675.40/1681.05 c #Conflicts: 1360000 | #Constraints: 42849
1675.40/1681.05 c #Conflicts: 1361000 | #Constraints: 43850
1675.40/1681.05 c #Conflicts: 1362000 | #Constraints: 44851
1675.40/1681.05 c #Conflicts: 1363000 | #Constraints: 45851
1675.40/1681.05 c #Conflicts: 1364000 | #Constraints: 46851
1675.40/1681.05 c #Conflicts: 1365000 | #Constraints: 47852
1675.40/1681.05 c #Conflicts: 1366000 | #Constraints: 48854
1675.40/1681.05 c #Conflicts: 1367000 | #Constraints: 49855
1675.40/1681.05 c #Conflicts: 1368000 | #Constraints: 50855
1675.40/1681.05 c #Conflicts: 1369000 | #Constraints: 51855
1675.40/1681.05 c #Conflicts: 1370000 | #Constraints: 52855
1675.40/1681.05 c #Conflicts: 1371000 | #Constraints: 53856
1675.40/1681.05 c INPROCESSING
1675.40/1681.05 c GARBAGE COLLECT
1675.40/1681.05 c rational objective 3
1715.15/1720.97 c #Conflicts: 1372000 | #Constraints: 31611
1715.15/1720.97 c #Conflicts: 1373000 | #Constraints: 32611
1715.15/1720.97 c #Conflicts: 1374000 | #Constraints: 33612
1715.15/1720.97 c #Conflicts: 1375000 | #Constraints: 34612
1715.15/1720.97 c #Conflicts: 1376000 | #Constraints: 35613
1715.15/1720.97 c #Conflicts: 1377000 | #Constraints: 36614
1715.15/1720.97 c #Conflicts: 1378000 | #Constraints: 37614
1715.15/1720.97 c #Conflicts: 1379000 | #Constraints: 38614
1715.15/1720.97 c #Conflicts: 1380000 | #Constraints: 39614
1715.15/1720.97 c #Conflicts: 1381000 | #Constraints: 40615
1715.15/1720.97 c #Conflicts: 1382000 | #Constraints: 41615
1715.15/1720.97 c #Conflicts: 1383000 | #Constraints: 42616
1715.15/1720.97 c #Conflicts: 1384000 | #Constraints: 43619
1715.15/1720.97 c #Conflicts: 1385000 | #Constraints: 44620
1715.15/1720.97 c #Conflicts: 1386000 | #Constraints: 45620
1715.15/1720.97 c #Conflicts: 1387000 | #Constraints: 46621
1715.15/1720.97 c #Conflicts: 1388000 | #Constraints: 47623
1715.15/1720.97 c #Conflicts: 1389000 | #Constraints: 48623
1715.15/1720.97 c #Conflicts: 1390000 | #Constraints: 49623
1715.15/1720.97 c #Conflicts: 1391000 | #Constraints: 50623
1715.15/1720.97 c #Conflicts: 1392000 | #Constraints: 51625
1715.15/1720.97 c #Conflicts: 1393000 | #Constraints: 52625
1715.15/1720.97 c #Conflicts: 1394000 | #Constraints: 53625
1715.15/1720.97 c #Conflicts: 1395000 | #Constraints: 54625
1715.15/1720.97 c INPROCESSING
1715.15/1720.97 c GARBAGE COLLECT
1715.15/1720.97 c rational objective 3
1762.48/1768.43 c #Conflicts: 1396000 | #Constraints: 32218
1762.48/1768.43 c #Conflicts: 1397000 | #Constraints: 33218
1762.48/1768.43 c #Conflicts: 1398000 | #Constraints: 34221
1762.48/1768.43 c #Conflicts: 1399000 | #Constraints: 35225
1762.48/1768.43 c #Conflicts: 1400000 | #Constraints: 36225
1762.48/1768.43 c #Conflicts: 1401000 | #Constraints: 37228
1762.48/1768.43 c #Conflicts: 1402000 | #Constraints: 38229
1762.48/1768.43 c #Conflicts: 1403000 | #Constraints: 39229
1762.48/1768.43 c #Conflicts: 1404000 | #Constraints: 40229
1762.48/1768.43 c #Conflicts: 1405000 | #Constraints: 41229
1762.48/1768.43 c #Conflicts: 1406000 | #Constraints: 42231
1762.48/1768.43 c #Conflicts: 1407000 | #Constraints: 43232
1762.48/1768.43 c #Conflicts: 1408000 | #Constraints: 44233
1762.48/1768.43 c #Conflicts: 1409000 | #Constraints: 45235
1762.48/1768.43 c #Conflicts: 1410000 | #Constraints: 46237
1762.48/1768.43 c #Conflicts: 1411000 | #Constraints: 47240
1762.48/1768.43 c #Conflicts: 1412000 | #Constraints: 48242
1762.48/1768.43 c #Conflicts: 1413000 | #Constraints: 49243
1762.48/1768.43 c #Conflicts: 1414000 | #Constraints: 50244
1762.48/1768.43 c #Conflicts: 1415000 | #Constraints: 51245
1762.48/1768.43 c #Conflicts: 1416000 | #Constraints: 52246
1762.48/1768.43 c #Conflicts: 1417000 | #Constraints: 53247
1762.48/1768.43 c #Conflicts: 1418000 | #Constraints: 54247
1762.48/1768.43 c #Conflicts: 1419000 | #Constraints: 55250
1762.48/1768.43 c INPROCESSING
1762.48/1768.43 c GARBAGE COLLECT
1762.48/1768.43 c rational objective 3
1805.42/1811.55 c #Conflicts: 1420000 | #Constraints: 32561
1805.42/1811.55 c #Conflicts: 1421000 | #Constraints: 33564
1805.42/1811.55 c #Conflicts: 1422000 | #Constraints: 34565
1805.42/1811.55 c #Conflicts: 1423000 | #Constraints: 35566
1805.42/1811.55 c #Conflicts: 1424000 | #Constraints: 36568
1805.42/1811.55 c #Conflicts: 1425000 | #Constraints: 37568
1805.42/1811.55 c #Conflicts: 1426000 | #Constraints: 38569
1805.42/1811.55 c #Conflicts: 1427000 | #Constraints: 39570
1805.42/1811.55 c #Conflicts: 1428000 | #Constraints: 40571
1805.42/1811.55 c #Conflicts: 1429000 | #Constraints: 41572
1805.42/1811.55 c #Conflicts: 1430000 | #Constraints: 42572
1805.42/1811.55 c #Conflicts: 1431000 | #Constraints: 43573
1805.42/1811.55 c #Conflicts: 1432000 | #Constraints: 44574
1805.42/1811.55 c #Conflicts: 1433000 | #Constraints: 45574
1805.42/1811.55 c #Conflicts: 1434000 | #Constraints: 46575
1805.42/1811.55 c #Conflicts: 1435000 | #Constraints: 47575
1805.42/1811.55 c #Conflicts: 1436000 | #Constraints: 48576
1805.42/1811.55 c #Conflicts: 1437000 | #Constraints: 49579
1805.42/1811.55 c #Conflicts: 1438000 | #Constraints: 50581
1805.42/1811.55 c #Conflicts: 1439000 | #Constraints: 51584
1805.42/1811.55 c #Conflicts: 1440000 | #Constraints: 52584
1805.42/1811.55 c #Conflicts: 1441000 | #Constraints: 53586
1805.42/1811.55 c #Conflicts: 1442000 | #Constraints: 54588
1805.42/1811.55 c #Conflicts: 1443000 | #Constraints: 55589
1805.42/1811.55 c INPROCESSING
1805.42/1811.55 c GARBAGE COLLECT
1805.42/1811.55 c rational objective 3
1858.93/1865.29 c #Conflicts: 1444000 | #Constraints: 32788
1858.93/1865.29 c #Conflicts: 1445000 | #Constraints: 33788
1858.93/1865.29 c #Conflicts: 1446000 | #Constraints: 34789
1858.93/1865.29 c #Conflicts: 1447000 | #Constraints: 35793
1858.93/1865.29 c #Conflicts: 1448000 | #Constraints: 36795
1858.93/1865.29 c #Conflicts: 1449000 | #Constraints: 37800
1858.93/1865.29 c #Conflicts: 1450000 | #Constraints: 38800
1858.93/1865.29 c #Conflicts: 1451000 | #Constraints: 39802
1858.93/1865.29 c #Conflicts: 1452000 | #Constraints: 40802
1858.93/1865.29 c #Conflicts: 1453000 | #Constraints: 41805
1858.93/1865.29 c #Conflicts: 1454000 | #Constraints: 42805
1858.93/1865.29 c #Conflicts: 1455000 | #Constraints: 43807
1858.93/1865.29 c #Conflicts: 1456000 | #Constraints: 44807
1858.93/1865.29 c #Conflicts: 1457000 | #Constraints: 45807
1858.93/1865.29 c #Conflicts: 1458000 | #Constraints: 46808
1858.93/1865.29 c #Conflicts: 1459000 | #Constraints: 47809
1858.93/1865.29 c #Conflicts: 1460000 | #Constraints: 48809
1858.93/1865.29 c #Conflicts: 1461000 | #Constraints: 49811
1858.93/1865.29 c #Conflicts: 1462000 | #Constraints: 50812
1858.93/1865.29 c #Conflicts: 1463000 | #Constraints: 51813
1858.93/1865.29 c #Conflicts: 1464000 | #Constraints: 52813
1858.93/1865.29 c #Conflicts: 1465000 | #Constraints: 53814
1858.93/1865.29 c #Conflicts: 1466000 | #Constraints: 54814
1858.93/1865.29 c #Conflicts: 1467000 | #Constraints: 55815
1858.93/1865.29 c INPROCESSING
1858.93/1865.29 c GARBAGE COLLECT
1858.93/1865.29 c rational objective 3
1901.77/1908.29 c #Conflicts: 1468000 | #Constraints: 32825
1901.77/1908.29 c #Conflicts: 1469000 | #Constraints: 33826
1901.77/1908.29 c #Conflicts: 1470000 | #Constraints: 34827
1901.77/1908.29 c #Conflicts: 1471000 | #Constraints: 35830
1901.77/1908.29 c #Conflicts: 1472000 | #Constraints: 36834
1901.77/1908.29 c #Conflicts: 1473000 | #Constraints: 37835
1901.77/1908.29 c #Conflicts: 1474000 | #Constraints: 38837
1901.77/1908.29 c #Conflicts: 1475000 | #Constraints: 39837
1901.77/1908.29 c #Conflicts: 1476000 | #Constraints: 40837
1901.77/1908.29 c #Conflicts: 1477000 | #Constraints: 41838
1901.77/1908.29 c #Conflicts: 1478000 | #Constraints: 42842
1901.77/1908.29 c #Conflicts: 1479000 | #Constraints: 43845
1901.77/1908.29 c #Conflicts: 1480000 | #Constraints: 44846
1901.77/1908.29 c #Conflicts: 1481000 | #Constraints: 45846
1901.77/1908.29 c #Conflicts: 1482000 | #Constraints: 46846
1901.77/1908.29 c #Conflicts: 1483000 | #Constraints: 47846
1901.77/1908.29 c #Conflicts: 1484000 | #Constraints: 48849
1901.77/1908.29 c #Conflicts: 1485000 | #Constraints: 49850
1901.77/1908.29 c #Conflicts: 1486000 | #Constraints: 50850
1901.77/1908.29 c #Conflicts: 1487000 | #Constraints: 51853
1901.77/1908.29 c #Conflicts: 1488000 | #Constraints: 52855
1901.77/1908.29 c #Conflicts: 1489000 | #Constraints: 53859
1901.77/1908.29 c #Conflicts: 1490000 | #Constraints: 54860
1901.77/1908.29 c #Conflicts: 1491000 | #Constraints: 55860
1901.77/1908.29 c INPROCESSING
1901.77/1908.29 c GARBAGE COLLECT
1901.77/1908.29 c rational objective 3
1949.80/1956.48 c #Conflicts: 1492000 | #Constraints: 32572
1949.80/1956.48 c #Conflicts: 1493000 | #Constraints: 33572
1949.80/1956.48 c #Conflicts: 1494000 | #Constraints: 34572
1949.80/1956.48 c #Conflicts: 1495000 | #Constraints: 35572
1949.80/1956.48 c #Conflicts: 1496000 | #Constraints: 36573
1949.80/1956.48 c #Conflicts: 1497000 | #Constraints: 37578
1949.80/1956.48 c #Conflicts: 1498000 | #Constraints: 38581
1949.80/1956.48 c #Conflicts: 1499000 | #Constraints: 39582
1949.80/1956.48 c #Conflicts: 1500000 | #Constraints: 40584
1949.80/1956.48 c #Conflicts: 1501000 | #Constraints: 41586
1949.80/1956.48 c #Conflicts: 1502000 | #Constraints: 42587
1949.80/1956.48 c #Conflicts: 1503000 | #Constraints: 43588
1949.80/1956.48 c #Conflicts: 1504000 | #Constraints: 44592
1949.80/1956.48 c #Conflicts: 1505000 | #Constraints: 45594
1949.80/1956.48 c #Conflicts: 1506000 | #Constraints: 46594
1949.80/1956.48 c #Conflicts: 1507000 | #Constraints: 47596
1949.80/1956.48 c #Conflicts: 1508000 | #Constraints: 48598
1949.80/1956.48 c #Conflicts: 1509000 | #Constraints: 49598
1949.80/1956.48 c #Conflicts: 1510000 | #Constraints: 50598
1949.80/1956.48 c #Conflicts: 1511000 | #Constraints: 51598
1949.80/1956.48 c #Conflicts: 1512000 | #Constraints: 52599
1949.80/1956.48 c #Conflicts: 1513000 | #Constraints: 53599
1949.80/1956.48 c #Conflicts: 1514000 | #Constraints: 54599
1949.80/1956.48 c #Conflicts: 1515000 | #Constraints: 55599
1949.80/1956.48 c #Conflicts: 1516000 | #Constraints: 56599
1949.80/1956.48 c INPROCESSING
1949.80/1956.48 c GARBAGE COLLECT
1949.80/1956.48 c rational objective 3
1996.53/2003.35 c #Conflicts: 1517000 | #Constraints: 33203
1996.53/2003.35 c #Conflicts: 1518000 | #Constraints: 34205
1996.53/2003.35 c #Conflicts: 1519000 | #Constraints: 35207
1996.53/2003.35 c #Conflicts: 1520000 | #Constraints: 36210
1996.53/2003.35 c #Conflicts: 1521000 | #Constraints: 37210
1996.53/2003.35 c #Conflicts: 1522000 | #Constraints: 38211
1996.53/2003.35 c #Conflicts: 1523000 | #Constraints: 39212
1996.53/2003.35 c #Conflicts: 1524000 | #Constraints: 40215
1996.53/2003.35 c #Conflicts: 1525000 | #Constraints: 41220
1996.53/2003.35 c #Conflicts: 1526000 | #Constraints: 42222
1996.53/2003.35 c #Conflicts: 1527000 | #Constraints: 43222
1996.53/2003.35 c #Conflicts: 1528000 | #Constraints: 44223
1996.53/2003.35 c #Conflicts: 1529000 | #Constraints: 45223
1996.53/2003.35 c #Conflicts: 1530000 | #Constraints: 46225
1996.53/2003.35 c #Conflicts: 1531000 | #Constraints: 47227
1996.53/2003.35 c #Conflicts: 1532000 | #Constraints: 48227
1996.53/2003.35 c #Conflicts: 1533000 | #Constraints: 49227
1996.53/2003.35 c #Conflicts: 1534000 | #Constraints: 50227
1996.53/2003.35 c #Conflicts: 1535000 | #Constraints: 51228
1996.53/2003.35 c #Conflicts: 1536000 | #Constraints: 52230
1996.53/2003.35 c #Conflicts: 1537000 | #Constraints: 53230
1996.53/2003.35 c #Conflicts: 1538000 | #Constraints: 54230
1996.53/2003.35 c #Conflicts: 1539000 | #Constraints: 55230
1996.53/2003.35 c #Conflicts: 1540000 | #Constraints: 56230
1996.53/2003.35 c #Conflicts: 1541000 | #Constraints: 57230
1996.53/2003.35 c INPROCESSING
1996.53/2003.35 c GARBAGE COLLECT
1996.53/2003.35 c rational objective 3
2040.09/2047.05 c #Conflicts: 1542000 | #Constraints: 33550
2040.09/2047.05 c #Conflicts: 1543000 | #Constraints: 34553
2040.09/2047.05 c #Conflicts: 1544000 | #Constraints: 35554
2040.09/2047.05 c #Conflicts: 1545000 | #Constraints: 36556
2040.09/2047.05 c #Conflicts: 1546000 | #Constraints: 37557
2040.09/2047.05 c #Conflicts: 1547000 | #Constraints: 38558
2040.09/2047.05 c #Conflicts: 1548000 | #Constraints: 39560
2040.09/2047.05 c #Conflicts: 1549000 | #Constraints: 40560
2040.09/2047.05 c #Conflicts: 1550000 | #Constraints: 41560
2040.09/2047.05 c #Conflicts: 1551000 | #Constraints: 42560
2040.09/2047.05 c #Conflicts: 1552000 | #Constraints: 43561
2040.09/2047.05 c #Conflicts: 1553000 | #Constraints: 44563
2040.09/2047.05 c #Conflicts: 1554000 | #Constraints: 45563
2040.09/2047.05 c #Conflicts: 1555000 | #Constraints: 46565
2040.09/2047.05 c #Conflicts: 1556000 | #Constraints: 47567
2040.09/2047.05 c #Conflicts: 1557000 | #Constraints: 48568
2040.09/2047.05 c #Conflicts: 1558000 | #Constraints: 49569
2040.09/2047.05 c #Conflicts: 1559000 | #Constraints: 50572
2040.09/2047.05 c #Conflicts: 1560000 | #Constraints: 51576
2040.09/2047.05 c #Conflicts: 1561000 | #Constraints: 52579
2040.09/2047.05 c #Conflicts: 1562000 | #Constraints: 53580
2040.09/2047.05 c #Conflicts: 1563000 | #Constraints: 54581
2040.09/2047.05 c #Conflicts: 1564000 | #Constraints: 55582
2040.09/2047.05 c #Conflicts: 1565000 | #Constraints: 56584
2040.09/2047.05 c #Conflicts: 1566000 | #Constraints: 57584
2040.09/2047.05 c INPROCESSING
2040.09/2047.05 c GARBAGE COLLECT
2040.09/2047.05 c rational objective 3
2091.51/2098.66 c #Conflicts: 1567000 | #Constraints: 33627
2091.51/2098.66 c #Conflicts: 1568000 | #Constraints: 34627
2091.51/2098.66 c #Conflicts: 1569000 | #Constraints: 35628
2091.51/2098.66 c #Conflicts: 1570000 | #Constraints: 36628
2091.51/2098.66 c #Conflicts: 1571000 | #Constraints: 37628
2091.51/2098.66 c #Conflicts: 1572000 | #Constraints: 38628
2091.51/2098.66 c #Conflicts: 1573000 | #Constraints: 39628
2091.51/2098.66 c #Conflicts: 1574000 | #Constraints: 40628
2091.51/2098.66 c #Conflicts: 1575000 | #Constraints: 41628
2091.51/2098.66 c #Conflicts: 1576000 | #Constraints: 42628
2091.51/2098.66 c #Conflicts: 1577000 | #Constraints: 43629
2091.51/2098.66 c #Conflicts: 1578000 | #Constraints: 44629
2091.51/2098.66 c #Conflicts: 1579000 | #Constraints: 45629
2091.51/2098.66 c #Conflicts: 1580000 | #Constraints: 46629
2091.51/2098.66 c #Conflicts: 1581000 | #Constraints: 47629
2091.51/2098.66 c #Conflicts: 1582000 | #Constraints: 48629
2091.51/2098.66 c #Conflicts: 1583000 | #Constraints: 49629
2091.51/2098.66 c #Conflicts: 1584000 | #Constraints: 50629
2091.51/2098.66 c #Conflicts: 1585000 | #Constraints: 51629
2091.51/2098.66 c #Conflicts: 1586000 | #Constraints: 52629
2091.51/2098.66 c #Conflicts: 1587000 | #Constraints: 53629
2091.51/2098.66 c #Conflicts: 1588000 | #Constraints: 54629
2091.51/2098.66 c #Conflicts: 1589000 | #Constraints: 55629
2091.51/2098.66 c #Conflicts: 1590000 | #Constraints: 56629
2091.51/2098.66 c #Conflicts: 1591000 | #Constraints: 57629
2091.51/2098.66 c INPROCESSING
2091.51/2098.66 c GARBAGE COLLECT
2091.51/2098.66 c rational objective 3
2140.26/2147.52 c #Conflicts: 1592000 | #Constraints: 33615
2140.26/2147.52 c #Conflicts: 1593000 | #Constraints: 34615
2140.26/2147.52 c #Conflicts: 1594000 | #Constraints: 35615
2140.26/2147.52 c #Conflicts: 1595000 | #Constraints: 36615
2140.26/2147.52 c #Conflicts: 1596000 | #Constraints: 37616
2140.26/2147.52 c #Conflicts: 1597000 | #Constraints: 38620
2140.26/2147.52 c #Conflicts: 1598000 | #Constraints: 39621
2140.26/2147.52 c #Conflicts: 1599000 | #Constraints: 40625
2140.26/2147.52 c #Conflicts: 1600000 | #Constraints: 41626
2140.26/2147.52 c #Conflicts: 1601000 | #Constraints: 42627
2140.26/2147.52 c #Conflicts: 1602000 | #Constraints: 43631
2140.26/2147.52 c #Conflicts: 1603000 | #Constraints: 44634
2140.26/2147.52 c #Conflicts: 1604000 | #Constraints: 45637
2140.26/2147.52 c #Conflicts: 1605000 | #Constraints: 46637
2140.26/2147.52 c #Conflicts: 1606000 | #Constraints: 47638
2140.26/2147.52 c #Conflicts: 1607000 | #Constraints: 48639
2140.26/2147.52 c #Conflicts: 1608000 | #Constraints: 49642
2140.26/2147.52 c #Conflicts: 1609000 | #Constraints: 50649
2140.26/2147.52 c #Conflicts: 1610000 | #Constraints: 51650
2140.26/2147.52 c #Conflicts: 1611000 | #Constraints: 52657
2140.26/2147.52 c #Conflicts: 1612000 | #Constraints: 53661
2140.26/2147.52 c #Conflicts: 1613000 | #Constraints: 54664
2140.26/2147.52 c #Conflicts: 1614000 | #Constraints: 55666
2140.26/2147.52 c #Conflicts: 1615000 | #Constraints: 56666
2140.26/2147.52 c #Conflicts: 1616000 | #Constraints: 57667
2140.26/2147.52 c INPROCESSING
2140.26/2147.52 c GARBAGE COLLECT
2140.26/2147.52 c rational objective 3
2192.09/2199.51 c #Conflicts: 1617000 | #Constraints: 33444
2192.09/2199.51 c #Conflicts: 1618000 | #Constraints: 34444
2192.09/2199.51 c #Conflicts: 1619000 | #Constraints: 35444
2192.09/2199.51 c #Conflicts: 1620000 | #Constraints: 36445
2192.09/2199.51 c #Conflicts: 1621000 | #Constraints: 37446
2192.09/2199.51 c #Conflicts: 1622000 | #Constraints: 38446
2192.09/2199.51 c #Conflicts: 1623000 | #Constraints: 39447
2192.09/2199.51 c #Conflicts: 1624000 | #Constraints: 40448
2192.09/2199.51 c #Conflicts: 1625000 | #Constraints: 41448
2192.09/2199.51 c #Conflicts: 1626000 | #Constraints: 42448
2192.09/2199.51 c #Conflicts: 1627000 | #Constraints: 43448
2192.09/2199.51 c #Conflicts: 1628000 | #Constraints: 44448
2192.09/2199.51 c #Conflicts: 1629000 | #Constraints: 45449
2192.09/2199.51 c #Conflicts: 1630000 | #Constraints: 46450
2192.09/2199.51 c #Conflicts: 1631000 | #Constraints: 47450
2192.09/2199.51 c #Conflicts: 1632000 | #Constraints: 48450
2192.09/2199.51 c #Conflicts: 1633000 | #Constraints: 49450
2192.09/2199.51 c #Conflicts: 1634000 | #Constraints: 50450
2192.09/2199.51 c #Conflicts: 1635000 | #Constraints: 51451
2192.09/2199.51 c #Conflicts: 1636000 | #Constraints: 52451
2192.09/2199.51 c #Conflicts: 1637000 | #Constraints: 53451
2192.09/2199.51 c #Conflicts: 1638000 | #Constraints: 54451
2192.09/2199.51 c #Conflicts: 1639000 | #Constraints: 55451
2192.09/2199.51 c #Conflicts: 1640000 | #Constraints: 56452
2192.09/2199.51 c #Conflicts: 1641000 | #Constraints: 57454
2192.09/2199.51 c #Conflicts: 1642000 | #Constraints: 58454
2192.09/2199.51 c INPROCESSING
2192.09/2199.51 c GARBAGE COLLECT
2192.09/2199.51 c rational objective 3
2242.45/2250.04 c #Conflicts: 1643000 | #Constraints: 34040
2242.45/2250.04 c #Conflicts: 1644000 | #Constraints: 35040
2242.45/2250.04 c #Conflicts: 1645000 | #Constraints: 36041
2242.45/2250.04 c #Conflicts: 1646000 | #Constraints: 37042
2242.45/2250.04 c #Conflicts: 1647000 | #Constraints: 38042
2242.45/2250.04 c #Conflicts: 1648000 | #Constraints: 39042
2242.45/2250.04 c #Conflicts: 1649000 | #Constraints: 40042
2242.45/2250.04 c #Conflicts: 1650000 | #Constraints: 41042
2242.45/2250.04 c #Conflicts: 1651000 | #Constraints: 42042
2242.45/2250.04 c #Conflicts: 1652000 | #Constraints: 43042
2242.45/2250.04 c #Conflicts: 1653000 | #Constraints: 44042
2242.45/2250.04 c #Conflicts: 1654000 | #Constraints: 45043
2242.45/2250.04 c #Conflicts: 1655000 | #Constraints: 46044
2242.45/2250.04 c #Conflicts: 1656000 | #Constraints: 47044
2242.45/2250.04 c #Conflicts: 1657000 | #Constraints: 48044
2242.45/2250.04 c #Conflicts: 1658000 | #Constraints: 49044
2242.45/2250.04 c #Conflicts: 1659000 | #Constraints: 50044
2242.45/2250.04 c #Conflicts: 1660000 | #Constraints: 51044
2242.45/2250.04 c #Conflicts: 1661000 | #Constraints: 52044
2242.45/2250.04 c #Conflicts: 1662000 | #Constraints: 53044
2242.45/2250.04 c #Conflicts: 1663000 | #Constraints: 54044
2242.45/2250.04 c #Conflicts: 1664000 | #Constraints: 55044
2242.45/2250.04 c #Conflicts: 1665000 | #Constraints: 56045
2242.45/2250.04 c #Conflicts: 1666000 | #Constraints: 57046
2242.45/2250.04 c #Conflicts: 1667000 | #Constraints: 58046
2242.45/2250.04 c #Conflicts: 1668000 | #Constraints: 59046
2242.45/2250.04 c INPROCESSING
2242.45/2250.04 c GARBAGE COLLECT
2242.45/2250.04 c rational objective 3
2294.56/2302.39 c #Conflicts: 1669000 | #Constraints: 34403
2294.56/2302.39 c #Conflicts: 1670000 | #Constraints: 35407
2294.56/2302.39 c #Conflicts: 1671000 | #Constraints: 36408
2294.56/2302.39 c #Conflicts: 1672000 | #Constraints: 37408
2294.56/2302.39 c #Conflicts: 1673000 | #Constraints: 38408
2294.56/2302.39 c #Conflicts: 1674000 | #Constraints: 39410
2294.56/2302.39 c #Conflicts: 1675000 | #Constraints: 40410
2294.56/2302.39 c #Conflicts: 1676000 | #Constraints: 41412
2294.56/2302.39 c #Conflicts: 1677000 | #Constraints: 42412
2294.56/2302.39 c #Conflicts: 1678000 | #Constraints: 43414
2294.56/2302.39 c #Conflicts: 1679000 | #Constraints: 44416
2294.56/2302.39 c #Conflicts: 1680000 | #Constraints: 45416
2294.56/2302.39 c #Conflicts: 1681000 | #Constraints: 46418
2294.56/2302.39 c #Conflicts: 1682000 | #Constraints: 47419
2294.56/2302.39 c #Conflicts: 1683000 | #Constraints: 48422
2294.56/2302.39 c #Conflicts: 1684000 | #Constraints: 49422
2294.56/2302.39 c #Conflicts: 1685000 | #Constraints: 50424
2294.56/2302.39 c #Conflicts: 1686000 | #Constraints: 51424
2294.56/2302.39 c #Conflicts: 1687000 | #Constraints: 52426
2294.56/2302.39 c #Conflicts: 1688000 | #Constraints: 53426
2294.56/2302.39 c #Conflicts: 1689000 | #Constraints: 54426
2294.56/2302.39 c #Conflicts: 1690000 | #Constraints: 55426
2294.56/2302.39 c #Conflicts: 1691000 | #Constraints: 56427
2294.56/2302.39 c #Conflicts: 1692000 | #Constraints: 57428
2294.56/2302.39 c #Conflicts: 1693000 | #Constraints: 58429
2294.56/2302.39 c #Conflicts: 1694000 | #Constraints: 59429
2294.56/2302.39 c INPROCESSING
2294.56/2302.39 c GARBAGE COLLECT
2294.56/2302.39 c rational objective 3
2347.60/2355.50 c #Conflicts: 1695000 | #Constraints: 34580
2347.60/2355.50 c #Conflicts: 1696000 | #Constraints: 35581
2347.60/2355.50 c #Conflicts: 1697000 | #Constraints: 36583
2347.60/2355.50 c #Conflicts: 1698000 | #Constraints: 37583
2347.60/2355.50 c #Conflicts: 1699000 | #Constraints: 38583
2347.60/2355.50 c #Conflicts: 1700000 | #Constraints: 39583
2347.60/2355.50 c #Conflicts: 1701000 | #Constraints: 40583
2347.60/2355.50 c #Conflicts: 1702000 | #Constraints: 41584
2347.60/2355.50 c #Conflicts: 1703000 | #Constraints: 42584
2347.60/2355.50 c #Conflicts: 1704000 | #Constraints: 43584
2347.60/2355.50 c #Conflicts: 1705000 | #Constraints: 44584
2347.60/2355.50 c #Conflicts: 1706000 | #Constraints: 45584
2347.60/2355.50 c #Conflicts: 1707000 | #Constraints: 46584
2347.60/2355.50 c #Conflicts: 1708000 | #Constraints: 47584
2347.60/2355.50 c #Conflicts: 1709000 | #Constraints: 48584
2347.60/2355.50 c #Conflicts: 1710000 | #Constraints: 49584
2347.60/2355.50 c #Conflicts: 1711000 | #Constraints: 50585
2347.60/2355.50 c #Conflicts: 1712000 | #Constraints: 51587
2347.60/2355.50 c #Conflicts: 1713000 | #Constraints: 52587
2347.60/2355.50 c #Conflicts: 1714000 | #Constraints: 53587
2347.60/2355.50 c #Conflicts: 1715000 | #Constraints: 54587
2347.60/2355.50 c #Conflicts: 1716000 | #Constraints: 55587
2347.60/2355.50 c #Conflicts: 1717000 | #Constraints: 56587
2347.60/2355.50 c #Conflicts: 1718000 | #Constraints: 57588
2347.60/2355.50 c #Conflicts: 1719000 | #Constraints: 58588
2347.60/2355.50 c #Conflicts: 1720000 | #Constraints: 59588
2347.60/2355.50 c INPROCESSING
2347.60/2355.50 c GARBAGE COLLECT
2347.60/2355.50 c rational objective 3
2415.99/2424.15 c #Conflicts: 1721000 | #Constraints: 34601
2415.99/2424.15 c #Conflicts: 1722000 | #Constraints: 35603
2415.99/2424.15 c #Conflicts: 1723000 | #Constraints: 36603
2415.99/2424.15 c #Conflicts: 1724000 | #Constraints: 37604
2415.99/2424.15 c #Conflicts: 1725000 | #Constraints: 38605
2415.99/2424.15 c #Conflicts: 1726000 | #Constraints: 39606
2415.99/2424.15 c #Conflicts: 1727000 | #Constraints: 40609
2415.99/2424.15 c #Conflicts: 1728000 | #Constraints: 41609
2415.99/2424.15 c #Conflicts: 1729000 | #Constraints: 42609
2415.99/2424.15 c #Conflicts: 1730000 | #Constraints: 43610
2415.99/2424.15 c #Conflicts: 1731000 | #Constraints: 44611
2415.99/2424.15 c #Conflicts: 1732000 | #Constraints: 45611
2415.99/2424.15 c #Conflicts: 1733000 | #Constraints: 46611
2415.99/2424.15 c #Conflicts: 1734000 | #Constraints: 47611
2415.99/2424.15 c #Conflicts: 1735000 | #Constraints: 48611
2415.99/2424.15 c #Conflicts: 1736000 | #Constraints: 49611
2415.99/2424.15 c #Conflicts: 1737000 | #Constraints: 50611
2415.99/2424.15 c #Conflicts: 1738000 | #Constraints: 51611
2415.99/2424.15 c #Conflicts: 1739000 | #Constraints: 52611
2415.99/2424.15 c #Conflicts: 1740000 | #Constraints: 53612
2415.99/2424.15 c #Conflicts: 1741000 | #Constraints: 54612
2415.99/2424.15 c #Conflicts: 1742000 | #Constraints: 55612
2415.99/2424.15 c #Conflicts: 1743000 | #Constraints: 56612
2415.99/2424.15 c #Conflicts: 1744000 | #Constraints: 57612
2415.99/2424.15 c #Conflicts: 1745000 | #Constraints: 58612
2415.99/2424.15 c #Conflicts: 1746000 | #Constraints: 59613
2415.99/2424.15 c INPROCESSING
2415.99/2424.15 c GARBAGE COLLECT
2415.99/2424.15 c rational objective 3
2470.72/2479.04 c #Conflicts: 1747000 | #Constraints: 34372
2470.72/2479.04 c #Conflicts: 1748000 | #Constraints: 35372
2470.72/2479.04 c #Conflicts: 1749000 | #Constraints: 36372
2470.72/2479.04 c #Conflicts: 1750000 | #Constraints: 37375
2470.72/2479.04 c #Conflicts: 1751000 | #Constraints: 38379
2470.72/2479.04 c #Conflicts: 1752000 | #Constraints: 39385
2470.72/2479.04 c #Conflicts: 1753000 | #Constraints: 40385
2470.72/2479.04 c #Conflicts: 1754000 | #Constraints: 41386
2470.72/2479.04 c #Conflicts: 1755000 | #Constraints: 42386
2470.72/2479.04 c #Conflicts: 1756000 | #Constraints: 43387
2470.72/2479.04 c #Conflicts: 1757000 | #Constraints: 44387
2470.72/2479.04 c #Conflicts: 1758000 | #Constraints: 45389
2470.72/2479.04 c #Conflicts: 1759000 | #Constraints: 46390
2470.72/2479.04 c #Conflicts: 1760000 | #Constraints: 47390
2470.72/2479.04 c #Conflicts: 1761000 | #Constraints: 48390
2470.72/2479.04 c #Conflicts: 1762000 | #Constraints: 49392
2470.72/2479.04 c #Conflicts: 1763000 | #Constraints: 50392
2470.72/2479.04 c #Conflicts: 1764000 | #Constraints: 51394
2470.72/2479.04 c #Conflicts: 1765000 | #Constraints: 52394
2470.72/2479.04 c #Conflicts: 1766000 | #Constraints: 53395
2470.72/2479.04 c #Conflicts: 1767000 | #Constraints: 54395
2470.72/2479.04 c #Conflicts: 1768000 | #Constraints: 55395
2470.72/2479.04 c #Conflicts: 1769000 | #Constraints: 56396
2470.72/2479.04 c #Conflicts: 1770000 | #Constraints: 57397
2470.72/2479.04 c #Conflicts: 1771000 | #Constraints: 58398
2470.72/2479.04 c #Conflicts: 1772000 | #Constraints: 59398
2470.72/2479.04 c #Conflicts: 1773000 | #Constraints: 60398
2470.72/2479.04 c INPROCESSING
2470.72/2479.04 c GARBAGE COLLECT
2470.72/2479.04 c rational objective 3
2527.93/2536.40 c #Conflicts: 1774000 | #Constraints: 34944
2527.93/2536.40 c #Conflicts: 1775000 | #Constraints: 35944
2527.93/2536.40 c #Conflicts: 1776000 | #Constraints: 36945
2527.93/2536.40 c #Conflicts: 1777000 | #Constraints: 37946
2527.93/2536.40 c #Conflicts: 1778000 | #Constraints: 38946
2527.93/2536.40 c #Conflicts: 1779000 | #Constraints: 39946
2527.93/2536.40 c #Conflicts: 1780000 | #Constraints: 40947
2527.93/2536.40 c #Conflicts: 1781000 | #Constraints: 41947
2527.93/2536.40 c #Conflicts: 1782000 | #Constraints: 42951
2527.93/2536.40 c #Conflicts: 1783000 | #Constraints: 43951
2527.93/2536.40 c #Conflicts: 1784000 | #Constraints: 44951
2527.93/2536.40 c #Conflicts: 1785000 | #Constraints: 45954
2527.93/2536.40 c #Conflicts: 1786000 | #Constraints: 46956
2527.93/2536.40 c #Conflicts: 1787000 | #Constraints: 47957
2527.93/2536.40 c #Conflicts: 1788000 | #Constraints: 48958
2527.93/2536.40 c #Conflicts: 1789000 | #Constraints: 49960
2527.93/2536.40 c #Conflicts: 1790000 | #Constraints: 50963
2527.93/2536.40 c #Conflicts: 1791000 | #Constraints: 51964
2527.93/2536.40 c #Conflicts: 1792000 | #Constraints: 52966
2527.93/2536.40 c #Conflicts: 1793000 | #Constraints: 53967
2527.93/2536.40 c #Conflicts: 1794000 | #Constraints: 54968
2527.93/2536.40 c #Conflicts: 1795000 | #Constraints: 55968
2527.93/2536.40 c #Conflicts: 1796000 | #Constraints: 56971
2527.93/2536.40 c #Conflicts: 1797000 | #Constraints: 57972
2527.93/2536.40 c #Conflicts: 1798000 | #Constraints: 58973
2527.93/2536.40 c #Conflicts: 1799000 | #Constraints: 59974
2527.93/2536.40 c #Conflicts: 1800000 | #Constraints: 60975
2527.93/2536.40 c INPROCESSING
2527.93/2536.40 c GARBAGE COLLECT
2527.93/2536.40 c rational objective 3
2586.64/2595.32 c #Conflicts: 1801000 | #Constraints: 35334
2586.64/2595.32 c #Conflicts: 1802000 | #Constraints: 36335
2586.64/2595.32 c #Conflicts: 1803000 | #Constraints: 37337
2586.64/2595.32 c #Conflicts: 1804000 | #Constraints: 38337
2586.64/2595.32 c #Conflicts: 1805000 | #Constraints: 39337
2586.64/2595.32 c #Conflicts: 1806000 | #Constraints: 40337
2586.64/2595.32 c #Conflicts: 1807000 | #Constraints: 41338
2586.64/2595.32 c #Conflicts: 1808000 | #Constraints: 42339
2586.64/2595.32 c #Conflicts: 1809000 | #Constraints: 43340
2586.64/2595.32 c #Conflicts: 1810000 | #Constraints: 44340
2586.64/2595.32 c #Conflicts: 1811000 | #Constraints: 45344
2586.64/2595.32 c #Conflicts: 1812000 | #Constraints: 46346
2586.64/2595.32 c #Conflicts: 1813000 | #Constraints: 47346
2586.64/2595.32 c #Conflicts: 1814000 | #Constraints: 48348
2586.64/2595.32 c #Conflicts: 1815000 | #Constraints: 49350
2586.64/2595.32 c #Conflicts: 1816000 | #Constraints: 50350
2586.64/2595.32 c #Conflicts: 1817000 | #Constraints: 51350
2586.64/2595.32 c #Conflicts: 1818000 | #Constraints: 52351
2586.64/2595.32 c #Conflicts: 1819000 | #Constraints: 53354
2586.64/2595.32 c #Conflicts: 1820000 | #Constraints: 54357
2586.64/2595.32 c #Conflicts: 1821000 | #Constraints: 55361
2586.64/2595.32 c #Conflicts: 1822000 | #Constraints: 56362
2586.64/2595.32 c #Conflicts: 1823000 | #Constraints: 57364
2586.64/2595.32 c #Conflicts: 1824000 | #Constraints: 58368
2586.64/2595.32 c #Conflicts: 1825000 | #Constraints: 59369
2586.64/2595.32 c #Conflicts: 1826000 | #Constraints: 60370
2586.64/2595.32 c #Conflicts: 1827000 | #Constraints: 61370
2586.64/2595.32 c INPROCESSING
2586.64/2595.32 c GARBAGE COLLECT
2586.64/2595.32 c rational objective 3
2646.16/2655.06 c #Conflicts: 1828000 | #Constraints: 35554
2646.16/2655.06 c #Conflicts: 1829000 | #Constraints: 36555
2646.16/2655.06 c #Conflicts: 1830000 | #Constraints: 37556
2646.16/2655.06 c #Conflicts: 1831000 | #Constraints: 38558
2646.16/2655.06 c #Conflicts: 1832000 | #Constraints: 39561
2646.16/2655.06 c #Conflicts: 1833000 | #Constraints: 40562
2646.16/2655.06 c #Conflicts: 1834000 | #Constraints: 41565
2646.16/2655.06 c #Conflicts: 1835000 | #Constraints: 42565
2646.16/2655.06 c #Conflicts: 1836000 | #Constraints: 43565
2646.16/2655.06 c #Conflicts: 1837000 | #Constraints: 44566
2646.16/2655.06 c #Conflicts: 1838000 | #Constraints: 45566
2646.16/2655.06 c #Conflicts: 1839000 | #Constraints: 46566
2646.16/2655.06 c #Conflicts: 1840000 | #Constraints: 47566
2646.16/2655.06 c #Conflicts: 1841000 | #Constraints: 48567
2646.16/2655.06 c #Conflicts: 1842000 | #Constraints: 49567
2646.16/2655.06 c #Conflicts: 1843000 | #Constraints: 50567
2646.16/2655.06 c #Conflicts: 1844000 | #Constraints: 51567
2646.16/2655.06 c #Conflicts: 1845000 | #Constraints: 52568
2646.16/2655.06 c #Conflicts: 1846000 | #Constraints: 53568
2646.16/2655.06 c #Conflicts: 1847000 | #Constraints: 54569
2646.16/2655.06 c #Conflicts: 1848000 | #Constraints: 55570
2646.16/2655.06 c #Conflicts: 1849000 | #Constraints: 56571
2646.16/2655.06 c #Conflicts: 1850000 | #Constraints: 57572
2646.16/2655.06 c #Conflicts: 1851000 | #Constraints: 58573
2646.16/2655.06 c #Conflicts: 1852000 | #Constraints: 59573
2646.16/2655.06 c #Conflicts: 1853000 | #Constraints: 60574
2646.16/2655.06 c #Conflicts: 1854000 | #Constraints: 61576
2646.16/2655.06 c INPROCESSING
2646.16/2655.06 c GARBAGE COLLECT
2646.16/2655.06 c rational objective 3
2711.11/2720.23 c #Conflicts: 1855000 | #Constraints: 35570
2711.11/2720.23 c #Conflicts: 1856000 | #Constraints: 36571
2711.11/2720.23 c #Conflicts: 1857000 | #Constraints: 37571
2711.11/2720.23 c #Conflicts: 1858000 | #Constraints: 38571
2711.11/2720.23 c #Conflicts: 1859000 | #Constraints: 39572
2711.11/2720.23 c #Conflicts: 1860000 | #Constraints: 40574
2711.11/2720.23 c #Conflicts: 1861000 | #Constraints: 41576
2711.11/2720.23 c #Conflicts: 1862000 | #Constraints: 42576
2711.11/2720.23 c #Conflicts: 1863000 | #Constraints: 43578
2711.11/2720.23 c #Conflicts: 1864000 | #Constraints: 44578
2711.11/2720.23 c #Conflicts: 1865000 | #Constraints: 45580
2711.11/2720.23 c #Conflicts: 1866000 | #Constraints: 46580
2711.11/2720.23 c #Conflicts: 1867000 | #Constraints: 47581
2711.11/2720.23 c #Conflicts: 1868000 | #Constraints: 48583
2711.11/2720.23 c #Conflicts: 1869000 | #Constraints: 49583
2711.11/2720.23 c #Conflicts: 1870000 | #Constraints: 50583
2711.11/2720.23 c #Conflicts: 1871000 | #Constraints: 51583
2711.11/2720.23 c #Conflicts: 1872000 | #Constraints: 52583
2711.11/2720.23 c #Conflicts: 1873000 | #Constraints: 53585
2711.11/2720.23 c #Conflicts: 1874000 | #Constraints: 54585
2711.11/2720.23 c #Conflicts: 1875000 | #Constraints: 55590
2711.11/2720.23 c #Conflicts: 1876000 | #Constraints: 56591
2711.11/2720.23 c #Conflicts: 1877000 | #Constraints: 57592
2711.11/2720.23 c #Conflicts: 1878000 | #Constraints: 58592
2711.11/2720.23 c #Conflicts: 1879000 | #Constraints: 59593
2711.11/2720.23 c #Conflicts: 1880000 | #Constraints: 60593
2711.11/2720.23 c #Conflicts: 1881000 | #Constraints: 61594
2711.11/2720.23 c INPROCESSING
2711.11/2720.23 c GARBAGE COLLECT
2711.11/2720.23 c rational objective 3
2770.00/2779.33 c #Conflicts: 1882000 | #Constraints: 35365
2770.00/2779.33 c #Conflicts: 1883000 | #Constraints: 36365
2770.00/2779.33 c #Conflicts: 1884000 | #Constraints: 37367
2770.00/2779.33 c #Conflicts: 1885000 | #Constraints: 38368
2770.00/2779.33 c #Conflicts: 1886000 | #Constraints: 39369
2770.00/2779.33 c #Conflicts: 1887000 | #Constraints: 40370
2770.00/2779.33 c #Conflicts: 1888000 | #Constraints: 41370
2770.00/2779.33 c #Conflicts: 1889000 | #Constraints: 42371
2770.00/2779.33 c #Conflicts: 1890000 | #Constraints: 43373
2770.00/2779.33 c #Conflicts: 1891000 | #Constraints: 44373
2770.00/2779.33 c #Conflicts: 1892000 | #Constraints: 45373
2770.00/2779.33 c #Conflicts: 1893000 | #Constraints: 46373
2770.00/2779.33 c #Conflicts: 1894000 | #Constraints: 47373
2770.00/2779.33 c #Conflicts: 1895000 | #Constraints: 48374
2770.00/2779.33 c #Conflicts: 1896000 | #Constraints: 49375
2770.00/2779.33 c #Conflicts: 1897000 | #Constraints: 50375
2770.00/2779.33 c #Conflicts: 1898000 | #Constraints: 51375
2770.00/2779.33 c #Conflicts: 1899000 | #Constraints: 52375
2770.00/2779.33 c #Conflicts: 1900000 | #Constraints: 53375
2770.00/2779.33 c #Conflicts: 1901000 | #Constraints: 54375
2770.00/2779.33 c #Conflicts: 1902000 | #Constraints: 55375
2770.00/2779.33 c #Conflicts: 1903000 | #Constraints: 56375
2770.00/2779.33 c #Conflicts: 1904000 | #Constraints: 57375
2770.00/2779.33 c #Conflicts: 1905000 | #Constraints: 58376
2770.00/2779.33 c #Conflicts: 1906000 | #Constraints: 59376
2770.00/2779.33 c #Conflicts: 1907000 | #Constraints: 60376
2770.00/2779.33 c #Conflicts: 1908000 | #Constraints: 61376
2770.00/2779.33 c #Conflicts: 1909000 | #Constraints: 62376
2770.00/2779.33 c INPROCESSING
2770.00/2779.33 c GARBAGE COLLECT
2770.00/2779.33 c rational objective 3
2826.01/2835.53 c #Conflicts: 1910000 | #Constraints: 35924
2826.01/2835.53 c #Conflicts: 1911000 | #Constraints: 36924
2826.01/2835.53 c #Conflicts: 1912000 | #Constraints: 37928
2826.01/2835.53 c #Conflicts: 1913000 | #Constraints: 38931
2826.01/2835.53 c #Conflicts: 1914000 | #Constraints: 39932
2826.01/2835.53 c #Conflicts: 1915000 | #Constraints: 40933
2826.01/2835.53 c #Conflicts: 1916000 | #Constraints: 41934
2826.01/2835.53 c #Conflicts: 1917000 | #Constraints: 42935
2826.01/2835.53 c #Conflicts: 1918000 | #Constraints: 43937
2826.01/2835.53 c #Conflicts: 1919000 | #Constraints: 44938
2826.01/2835.53 c #Conflicts: 1920000 | #Constraints: 45938
2826.01/2835.53 c #Conflicts: 1921000 | #Constraints: 46940
2826.01/2835.53 c #Conflicts: 1922000 | #Constraints: 47940
2826.01/2835.53 c #Conflicts: 1923000 | #Constraints: 48942
2826.01/2835.53 c #Conflicts: 1924000 | #Constraints: 49942
2826.01/2835.53 c #Conflicts: 1925000 | #Constraints: 50942
2826.01/2835.53 c #Conflicts: 1926000 | #Constraints: 51944
2826.01/2835.53 c #Conflicts: 1927000 | #Constraints: 52945
2826.01/2835.53 c #Conflicts: 1928000 | #Constraints: 53945
2826.01/2835.53 c #Conflicts: 1929000 | #Constraints: 54945
2826.01/2835.53 c #Conflicts: 1930000 | #Constraints: 55945
2826.01/2835.53 c #Conflicts: 1931000 | #Constraints: 56945
2826.01/2835.53 c #Conflicts: 1932000 | #Constraints: 57945
2826.01/2835.53 c #Conflicts: 1933000 | #Constraints: 58946
2826.01/2835.53 c #Conflicts: 1934000 | #Constraints: 59946
2826.01/2835.53 c #Conflicts: 1935000 | #Constraints: 60947
2826.01/2835.53 c #Conflicts: 1936000 | #Constraints: 61947
2826.01/2835.53 c #Conflicts: 1937000 | #Constraints: 62947
2826.01/2835.53 c INPROCESSING
2826.01/2835.53 c GARBAGE COLLECT
2826.01/2835.53 c rational objective 3
2882.73/2892.46 c #Conflicts: 1938000 | #Constraints: 36343
2882.73/2892.46 c #Conflicts: 1939000 | #Constraints: 37343
2882.73/2892.46 c #Conflicts: 1940000 | #Constraints: 38344
2882.73/2892.46 c #Conflicts: 1941000 | #Constraints: 39345
2882.73/2892.46 c #Conflicts: 1942000 | #Constraints: 40346
2882.73/2892.46 c #Conflicts: 1943000 | #Constraints: 41346
2882.73/2892.46 c #Conflicts: 1944000 | #Constraints: 42348
2882.73/2892.46 c #Conflicts: 1945000 | #Constraints: 43349
2882.73/2892.46 c #Conflicts: 1946000 | #Constraints: 44350
2882.73/2892.46 c #Conflicts: 1947000 | #Constraints: 45352
2882.73/2892.46 c #Conflicts: 1948000 | #Constraints: 46353
2882.73/2892.46 c #Conflicts: 1949000 | #Constraints: 47355
2882.73/2892.46 c #Conflicts: 1950000 | #Constraints: 48355
2882.73/2892.46 c #Conflicts: 1951000 | #Constraints: 49356
2882.73/2892.46 c #Conflicts: 1952000 | #Constraints: 50357
2882.73/2892.46 c #Conflicts: 1953000 | #Constraints: 51357
2882.73/2892.46 c #Conflicts: 1954000 | #Constraints: 52357
2882.73/2892.46 c #Conflicts: 1955000 | #Constraints: 53357
2882.73/2892.46 c #Conflicts: 1956000 | #Constraints: 54358
2882.73/2892.46 c #Conflicts: 1957000 | #Constraints: 55359
2882.73/2892.46 c #Conflicts: 1958000 | #Constraints: 56359
2882.73/2892.46 c #Conflicts: 1959000 | #Constraints: 57359
2882.73/2892.46 c #Conflicts: 1960000 | #Constraints: 58359
2882.73/2892.46 c #Conflicts: 1961000 | #Constraints: 59360
2882.73/2892.46 c #Conflicts: 1962000 | #Constraints: 60360
2882.73/2892.46 c #Conflicts: 1963000 | #Constraints: 61360
2882.73/2892.46 c #Conflicts: 1964000 | #Constraints: 62362
2882.73/2892.46 c #Conflicts: 1965000 | #Constraints: 63362
2882.73/2892.46 c INPROCESSING
2882.73/2892.46 c GARBAGE COLLECT
2882.73/2892.46 c rational objective 3
2943.04/2953.01 c #Conflicts: 1966000 | #Constraints: 36479
2943.04/2953.01 c #Conflicts: 1967000 | #Constraints: 37479
2943.04/2953.01 c #Conflicts: 1968000 | #Constraints: 38479
2943.04/2953.01 c #Conflicts: 1969000 | #Constraints: 39479
2943.04/2953.01 c #Conflicts: 1970000 | #Constraints: 40479
2943.04/2953.01 c #Conflicts: 1971000 | #Constraints: 41479
2943.04/2953.01 c #Conflicts: 1972000 | #Constraints: 42481
2943.04/2953.01 c #Conflicts: 1973000 | #Constraints: 43482
2943.04/2953.01 c #Conflicts: 1974000 | #Constraints: 44483
2943.04/2953.01 c #Conflicts: 1975000 | #Constraints: 45484
2943.04/2953.01 c #Conflicts: 1976000 | #Constraints: 46484
2943.04/2953.01 c #Conflicts: 1977000 | #Constraints: 47485
2943.04/2953.01 c #Conflicts: 1978000 | #Constraints: 48485
2943.04/2953.01 c #Conflicts: 1979000 | #Constraints: 49486
2943.04/2953.01 c #Conflicts: 1980000 | #Constraints: 50486
2943.04/2953.01 c #Conflicts: 1981000 | #Constraints: 51486
2943.04/2953.01 c #Conflicts: 1982000 | #Constraints: 52486
2943.04/2953.01 c #Conflicts: 1983000 | #Constraints: 53486
2943.04/2953.01 c #Conflicts: 1984000 | #Constraints: 54486
2943.04/2953.01 c #Conflicts: 1985000 | #Constraints: 55486
2943.04/2953.01 c #Conflicts: 1986000 | #Constraints: 56486
2943.04/2953.01 c #Conflicts: 1987000 | #Constraints: 57486
2943.04/2953.01 c #Conflicts: 1988000 | #Constraints: 58486
2943.04/2953.01 c #Conflicts: 1989000 | #Constraints: 59486
2943.04/2953.01 c #Conflicts: 1990000 | #Constraints: 60486
2943.04/2953.01 c #Conflicts: 1991000 | #Constraints: 61486
2943.04/2953.01 c #Conflicts: 1992000 | #Constraints: 62486
2943.04/2953.01 c #Conflicts: 1993000 | #Constraints: 63486
2943.04/2953.01 c INPROCESSING
2943.04/2953.01 c GARBAGE COLLECT
2943.04/2953.01 c rational objective 3
3003.97/3014.10 c #Conflicts: 1994000 | #Constraints: 36487
3003.97/3014.10 c #Conflicts: 1995000 | #Constraints: 37487
3003.97/3014.10 c #Conflicts: 1996000 | #Constraints: 38487
3003.97/3014.10 c #Conflicts: 1997000 | #Constraints: 39487
3003.97/3014.10 c #Conflicts: 1998000 | #Constraints: 40487
3003.97/3014.10 c #Conflicts: 1999000 | #Constraints: 41488
3003.97/3014.10 c #Conflicts: 2000000 | #Constraints: 42491
3003.97/3014.10 c #Conflicts: 2001000 | #Constraints: 43491
3003.97/3014.10 c #Conflicts: 2002000 | #Constraints: 44491
3003.97/3014.10 c #Conflicts: 2003000 | #Constraints: 45491
3003.97/3014.10 c #Conflicts: 2004000 | #Constraints: 46491
3003.97/3014.10 c #Conflicts: 2005000 | #Constraints: 47492
3003.97/3014.10 c #Conflicts: 2006000 | #Constraints: 48493
3003.97/3014.10 c #Conflicts: 2007000 | #Constraints: 49494
3003.97/3014.10 c #Conflicts: 2008000 | #Constraints: 50496
3003.97/3014.10 c #Conflicts: 2009000 | #Constraints: 51497
3003.97/3014.10 c #Conflicts: 2010000 | #Constraints: 52499
3003.97/3014.10 c #Conflicts: 2011000 | #Constraints: 53499
3003.97/3014.10 c #Conflicts: 2012000 | #Constraints: 54500
3003.97/3014.10 c #Conflicts: 2013000 | #Constraints: 55500
3003.97/3014.10 c #Conflicts: 2014000 | #Constraints: 56500
3003.97/3014.10 c #Conflicts: 2015000 | #Constraints: 57500
3003.97/3014.10 c #Conflicts: 2016000 | #Constraints: 58501
3003.97/3014.10 c #Conflicts: 2017000 | #Constraints: 59501
3003.97/3014.10 c #Conflicts: 2018000 | #Constraints: 60501
3003.97/3014.10 c #Conflicts: 2019000 | #Constraints: 61501
3003.97/3014.10 c #Conflicts: 2020000 | #Constraints: 62502
3003.97/3014.10 c #Conflicts: 2021000 | #Constraints: 63502
3003.97/3014.10 c INPROCESSING
3003.97/3014.10 c GARBAGE COLLECT
3003.97/3014.10 c rational objective 3
3064.96/3075.21 c #Conflicts: 2022000 | #Constraints: 36208
3064.96/3075.21 c #Conflicts: 2023000 | #Constraints: 37208
3064.96/3075.21 c #Conflicts: 2024000 | #Constraints: 38210
3064.96/3075.21 c #Conflicts: 2025000 | #Constraints: 39212
3064.96/3075.21 c #Conflicts: 2026000 | #Constraints: 40212
3064.96/3075.21 c #Conflicts: 2027000 | #Constraints: 41212
3064.96/3075.21 c #Conflicts: 2028000 | #Constraints: 42214
3064.96/3075.21 c #Conflicts: 2029000 | #Constraints: 43214
3064.96/3075.21 c #Conflicts: 2030000 | #Constraints: 44215
3064.96/3075.21 c #Conflicts: 2031000 | #Constraints: 45216
3064.96/3075.21 c #Conflicts: 2032000 | #Constraints: 46216
3064.96/3075.21 c #Conflicts: 2033000 | #Constraints: 47217
3064.96/3075.21 c #Conflicts: 2034000 | #Constraints: 48218
3064.96/3075.21 c #Conflicts: 2035000 | #Constraints: 49219
3064.96/3075.21 c #Conflicts: 2036000 | #Constraints: 50219
3064.96/3075.21 c #Conflicts: 2037000 | #Constraints: 51220
3064.96/3075.21 c #Conflicts: 2038000 | #Constraints: 52220
3064.96/3075.21 c #Conflicts: 2039000 | #Constraints: 53221
3064.96/3075.21 c #Conflicts: 2040000 | #Constraints: 54222
3064.96/3075.21 c #Conflicts: 2041000 | #Constraints: 55222
3064.96/3075.21 c #Conflicts: 2042000 | #Constraints: 56222
3064.96/3075.21 c #Conflicts: 2043000 | #Constraints: 57222
3064.96/3075.21 c #Conflicts: 2044000 | #Constraints: 58223
3064.96/3075.21 c #Conflicts: 2045000 | #Constraints: 59223
3064.96/3075.21 c #Conflicts: 2046000 | #Constraints: 60223
3064.96/3075.21 c #Conflicts: 2047000 | #Constraints: 61224
3064.96/3075.21 c #Conflicts: 2048000 | #Constraints: 62224
3064.96/3075.21 c #Conflicts: 2049000 | #Constraints: 63224
3064.96/3075.21 c #Conflicts: 2050000 | #Constraints: 64224
3064.96/3075.21 c INPROCESSING
3064.96/3075.21 c GARBAGE COLLECT
3064.96/3075.21 c rational objective 3
3126.58/3137.03 c #Conflicts: 2051000 | #Constraints: 36768
3126.58/3137.03 c #Conflicts: 2052000 | #Constraints: 37768
3126.58/3137.03 c #Conflicts: 2053000 | #Constraints: 38768
3126.58/3137.03 c #Conflicts: 2054000 | #Constraints: 39769
3126.58/3137.03 c #Conflicts: 2055000 | #Constraints: 40770
3126.58/3137.03 c #Conflicts: 2056000 | #Constraints: 41770
3126.58/3137.03 c #Conflicts: 2057000 | #Constraints: 42771
3126.58/3137.03 c #Conflicts: 2058000 | #Constraints: 43773
3126.58/3137.03 c #Conflicts: 2059000 | #Constraints: 44774
3126.58/3137.03 c #Conflicts: 2060000 | #Constraints: 45774
3126.58/3137.03 c #Conflicts: 2061000 | #Constraints: 46774
3126.58/3137.03 c #Conflicts: 2062000 | #Constraints: 47774
3126.58/3137.03 c #Conflicts: 2063000 | #Constraints: 48774
3126.58/3137.03 c #Conflicts: 2064000 | #Constraints: 49775
3126.58/3137.03 c #Conflicts: 2065000 | #Constraints: 50776
3126.58/3137.03 c #Conflicts: 2066000 | #Constraints: 51776
3126.58/3137.03 c #Conflicts: 2067000 | #Constraints: 52776
3126.58/3137.03 c #Conflicts: 2068000 | #Constraints: 53776
3126.58/3137.03 c #Conflicts: 2069000 | #Constraints: 54776
3126.58/3137.03 c #Conflicts: 2070000 | #Constraints: 55776
3126.58/3137.03 c #Conflicts: 2071000 | #Constraints: 56776
3126.58/3137.03 c #Conflicts: 2072000 | #Constraints: 57776
3126.58/3137.03 c #Conflicts: 2073000 | #Constraints: 58776
3126.58/3137.03 c #Conflicts: 2074000 | #Constraints: 59776
3126.58/3137.03 c #Conflicts: 2075000 | #Constraints: 60776
3126.58/3137.03 c #Conflicts: 2076000 | #Constraints: 61776
3126.58/3137.03 c #Conflicts: 2077000 | #Constraints: 62776
3126.58/3137.03 c #Conflicts: 2078000 | #Constraints: 63776
3126.58/3137.03 c #Conflicts: 2079000 | #Constraints: 64776
3126.58/3137.03 c INPROCESSING
3126.58/3137.03 c GARBAGE COLLECT
3126.58/3137.03 c rational objective 3
3205.22/3215.94 c #Conflicts: 2080000 | #Constraints: 37164
3205.22/3215.94 c #Conflicts: 2081000 | #Constraints: 38164
3205.22/3215.94 c #Conflicts: 2082000 | #Constraints: 39165
3205.22/3215.94 c #Conflicts: 2083000 | #Constraints: 40165
3205.22/3215.94 c #Conflicts: 2084000 | #Constraints: 41166
3205.22/3215.94 c #Conflicts: 2085000 | #Constraints: 42170
3205.22/3215.94 c #Conflicts: 2086000 | #Constraints: 43171
3205.22/3215.94 c #Conflicts: 2087000 | #Constraints: 44173
3205.22/3215.94 c #Conflicts: 2088000 | #Constraints: 45173
3205.22/3215.94 c #Conflicts: 2089000 | #Constraints: 46175
3205.22/3215.94 c #Conflicts: 2090000 | #Constraints: 47180
3205.22/3215.94 c #Conflicts: 2091000 | #Constraints: 48182
3205.22/3215.94 c #Conflicts: 2092000 | #Constraints: 49182
3205.22/3215.94 c #Conflicts: 2093000 | #Constraints: 50184
3205.22/3215.94 c #Conflicts: 2094000 | #Constraints: 51184
3205.22/3215.94 c #Conflicts: 2095000 | #Constraints: 52185
3205.22/3215.94 c #Conflicts: 2096000 | #Constraints: 53186
3205.22/3215.94 c #Conflicts: 2097000 | #Constraints: 54188
3205.22/3215.94 c #Conflicts: 2098000 | #Constraints: 55188
3205.22/3215.94 c #Conflicts: 2099000 | #Constraints: 56188
3205.22/3215.94 c #Conflicts: 2100000 | #Constraints: 57188
3205.22/3215.94 c #Conflicts: 2101000 | #Constraints: 58188
3205.22/3215.94 c #Conflicts: 2102000 | #Constraints: 59188
3205.22/3215.94 c #Conflicts: 2103000 | #Constraints: 60188
3205.22/3215.94 c #Conflicts: 2104000 | #Constraints: 61188
3205.22/3215.94 c #Conflicts: 2105000 | #Constraints: 62188
3205.22/3215.94 c #Conflicts: 2106000 | #Constraints: 63188
3205.22/3215.94 c #Conflicts: 2107000 | #Constraints: 64189
3205.22/3215.94 c #Conflicts: 2108000 | #Constraints: 65189
3205.22/3215.94 c INPROCESSING
3205.22/3215.94 c GARBAGE COLLECT
3205.22/3215.94 c rational objective 3
3278.21/3289.12 c #Conflicts: 2109000 | #Constraints: 37350
3278.21/3289.12 c #Conflicts: 2110000 | #Constraints: 38351
3278.21/3289.12 c #Conflicts: 2111000 | #Constraints: 39352
3278.21/3289.12 c #Conflicts: 2112000 | #Constraints: 40352
3278.21/3289.12 c #Conflicts: 2113000 | #Constraints: 41354
3278.21/3289.12 c #Conflicts: 2114000 | #Constraints: 42355
3278.21/3289.12 c #Conflicts: 2115000 | #Constraints: 43357
3278.21/3289.12 c #Conflicts: 2116000 | #Constraints: 44358
3278.21/3289.12 c #Conflicts: 2117000 | #Constraints: 45360
3278.21/3289.12 c #Conflicts: 2118000 | #Constraints: 46362
3278.21/3289.12 c #Conflicts: 2119000 | #Constraints: 47366
3278.21/3289.12 c #Conflicts: 2120000 | #Constraints: 48366
3278.21/3289.12 c #Conflicts: 2121000 | #Constraints: 49370
3278.21/3289.12 c #Conflicts: 2122000 | #Constraints: 50371
3278.21/3289.12 c #Conflicts: 2123000 | #Constraints: 51371
3278.21/3289.12 c #Conflicts: 2124000 | #Constraints: 52372
3278.21/3289.12 c #Conflicts: 2125000 | #Constraints: 53374
3278.21/3289.12 c #Conflicts: 2126000 | #Constraints: 54374
3278.21/3289.12 c #Conflicts: 2127000 | #Constraints: 55374
3278.21/3289.12 c #Conflicts: 2128000 | #Constraints: 56376
3278.21/3289.12 c #Conflicts: 2129000 | #Constraints: 57377
3278.21/3289.12 c #Conflicts: 2130000 | #Constraints: 58378
3278.21/3289.12 c #Conflicts: 2131000 | #Constraints: 59379
3278.21/3289.12 c #Conflicts: 2132000 | #Constraints: 60380
3278.21/3289.12 c #Conflicts: 2133000 | #Constraints: 61381
3278.21/3289.12 c #Conflicts: 2134000 | #Constraints: 62381
3278.21/3289.12 c #Conflicts: 2135000 | #Constraints: 63381
3278.21/3289.12 c #Conflicts: 2136000 | #Constraints: 64382
3278.21/3289.12 c #Conflicts: 2137000 | #Constraints: 65383
3278.21/3289.12 c INPROCESSING
3278.21/3289.12 c GARBAGE COLLECT
3278.21/3289.12 c rational objective 3
3347.89/3359.01 c #Conflicts: 2138000 | #Constraints: 37308
3347.89/3359.01 c #Conflicts: 2139000 | #Constraints: 38308
3347.89/3359.01 c #Conflicts: 2140000 | #Constraints: 39308
3347.89/3359.01 c #Conflicts: 2141000 | #Constraints: 40309
3347.89/3359.01 c #Conflicts: 2142000 | #Constraints: 41311
3347.89/3359.01 c #Conflicts: 2143000 | #Constraints: 42312
3347.89/3359.01 c #Conflicts: 2144000 | #Constraints: 43312
3347.89/3359.01 c #Conflicts: 2145000 | #Constraints: 44313
3347.89/3359.01 c #Conflicts: 2146000 | #Constraints: 45313
3347.89/3359.01 c #Conflicts: 2147000 | #Constraints: 46314
3347.89/3359.01 c #Conflicts: 2148000 | #Constraints: 47314
3347.89/3359.01 c #Conflicts: 2149000 | #Constraints: 48314
3347.89/3359.01 c #Conflicts: 2150000 | #Constraints: 49315
3347.89/3359.01 c #Conflicts: 2151000 | #Constraints: 50316
3347.89/3359.01 c #Conflicts: 2152000 | #Constraints: 51317
3347.89/3359.01 c #Conflicts: 2153000 | #Constraints: 52317
3347.89/3359.01 c #Conflicts: 2154000 | #Constraints: 53317
3347.89/3359.01 c #Conflicts: 2155000 | #Constraints: 54317
3347.89/3359.01 c #Conflicts: 2156000 | #Constraints: 55317
3347.89/3359.01 c #Conflicts: 2157000 | #Constraints: 56318
3347.89/3359.01 c #Conflicts: 2158000 | #Constraints: 57319
3347.89/3359.01 c #Conflicts: 2159000 | #Constraints: 58320
3347.89/3359.01 c #Conflicts: 2160000 | #Constraints: 59320
3347.89/3359.01 c #Conflicts: 2161000 | #Constraints: 60320
3347.89/3359.01 c #Conflicts: 2162000 | #Constraints: 61321
3347.89/3359.01 c #Conflicts: 2163000 | #Constraints: 62321
3347.89/3359.01 c #Conflicts: 2164000 | #Constraints: 63322
3347.89/3359.01 c #Conflicts: 2165000 | #Constraints: 64323
3347.89/3359.01 c #Conflicts: 2166000 | #Constraints: 65324
3347.89/3359.01 c INPROCESSING
3347.89/3359.01 c GARBAGE COLLECT
3347.89/3359.01 c rational objective 3
3427.13/3438.53 c #Conflicts: 2167000 | #Constraints: 37105
3427.13/3438.53 c #Conflicts: 2168000 | #Constraints: 38105
3427.13/3438.53 c #Conflicts: 2169000 | #Constraints: 39105
3427.13/3438.53 c #Conflicts: 2170000 | #Constraints: 40107
3427.13/3438.53 c #Conflicts: 2171000 | #Constraints: 41108
3427.13/3438.53 c #Conflicts: 2172000 | #Constraints: 42109
3427.13/3438.53 c #Conflicts: 2173000 | #Constraints: 43109
3427.13/3438.53 c #Conflicts: 2174000 | #Constraints: 44109
3427.13/3438.53 c #Conflicts: 2175000 | #Constraints: 45109
3427.13/3438.53 c #Conflicts: 2176000 | #Constraints: 46109
3427.13/3438.53 c #Conflicts: 2177000 | #Constraints: 47109
3427.13/3438.53 c #Conflicts: 2178000 | #Constraints: 48109
3427.13/3438.53 c #Conflicts: 2179000 | #Constraints: 49109
3427.13/3438.53 c #Conflicts: 2180000 | #Constraints: 50109
3427.13/3438.53 c #Conflicts: 2181000 | #Constraints: 51110
3427.13/3438.53 c #Conflicts: 2182000 | #Constraints: 52111
3427.13/3438.53 c #Conflicts: 2183000 | #Constraints: 53112
3427.13/3438.53 c #Conflicts: 2184000 | #Constraints: 54113
3427.13/3438.53 c #Conflicts: 2185000 | #Constraints: 55113
3427.13/3438.53 c #Conflicts: 2186000 | #Constraints: 56114
3427.13/3438.53 c #Conflicts: 2187000 | #Constraints: 57115
3427.13/3438.53 c #Conflicts: 2188000 | #Constraints: 58116
3427.13/3438.53 c #Conflicts: 2189000 | #Constraints: 59117
3427.13/3438.53 c #Conflicts: 2190000 | #Constraints: 60117
3427.13/3438.53 c #Conflicts: 2191000 | #Constraints: 61118
3427.13/3438.53 c #Conflicts: 2192000 | #Constraints: 62120
3427.13/3438.53 c #Conflicts: 2193000 | #Constraints: 63120
3427.13/3438.53 c #Conflicts: 2194000 | #Constraints: 64121
3427.13/3438.53 c #Conflicts: 2195000 | #Constraints: 65122
3427.13/3438.53 c #Conflicts: 2196000 | #Constraints: 66125
3427.13/3438.53 c INPROCESSING
3427.13/3438.53 c GARBAGE COLLECT
3427.13/3438.53 c rational objective 3
3499.89/3511.52 c #Conflicts: 2197000 | #Constraints: 37729
3499.89/3511.52 c #Conflicts: 2198000 | #Constraints: 38730
3499.89/3511.52 c #Conflicts: 2199000 | #Constraints: 39730
3499.89/3511.52 c #Conflicts: 2200000 | #Constraints: 40731
3499.89/3511.52 c #Conflicts: 2201000 | #Constraints: 41732
3499.89/3511.52 c #Conflicts: 2202000 | #Constraints: 42733
3499.89/3511.52 c #Conflicts: 2203000 | #Constraints: 43735
3499.89/3511.52 c #Conflicts: 2204000 | #Constraints: 44735
3499.89/3511.52 c #Conflicts: 2205000 | #Constraints: 45735
3499.89/3511.52 c #Conflicts: 2206000 | #Constraints: 46736
3499.89/3511.52 c #Conflicts: 2207000 | #Constraints: 47736
3499.89/3511.52 c #Conflicts: 2208000 | #Constraints: 48737
3499.89/3511.52 c #Conflicts: 2209000 | #Constraints: 49737
3499.89/3511.52 c #Conflicts: 2210000 | #Constraints: 50737
3499.89/3511.52 c #Conflicts: 2211000 | #Constraints: 51737
3499.89/3511.52 c #Conflicts: 2212000 | #Constraints: 52738
3499.89/3511.52 c #Conflicts: 2213000 | #Constraints: 53738
3499.89/3511.52 c #Conflicts: 2214000 | #Constraints: 54739
3499.89/3511.52 c #Conflicts: 2215000 | #Constraints: 55739
3499.89/3511.52 c #Conflicts: 2216000 | #Constraints: 56739
3499.89/3511.52 c #Conflicts: 2217000 | #Constraints: 57739
3499.89/3511.52 c #Conflicts: 2218000 | #Constraints: 58739
3499.89/3511.52 c #Conflicts: 2219000 | #Constraints: 59739
3499.89/3511.52 c #Conflicts: 2220000 | #Constraints: 60739
3499.89/3511.52 c #Conflicts: 2221000 | #Constraints: 61739
3499.89/3511.52 c #Conflicts: 2222000 | #Constraints: 62739
3499.89/3511.52 c #Conflicts: 2223000 | #Constraints: 63741
3499.89/3511.52 c #Conflicts: 2224000 | #Constraints: 64741
3499.89/3511.52 c #Conflicts: 2225000 | #Constraints: 65741
3499.89/3511.52 c #Conflicts: 2226000 | #Constraints: 66742
3499.89/3511.52 c INPROCESSING
3499.89/3511.52 c GARBAGE COLLECT
3499.89/3511.52 c rational objective 3
3581.77/3593.70 c #Conflicts: 2227000 | #Constraints: 38093
3581.77/3593.70 c #Conflicts: 2228000 | #Constraints: 39093
3581.77/3593.70 c #Conflicts: 2229000 | #Constraints: 40093
3581.77/3593.70 c #Conflicts: 2230000 | #Constraints: 41095
3581.77/3593.70 c #Conflicts: 2231000 | #Constraints: 42097
3581.77/3593.70 c #Conflicts: 2232000 | #Constraints: 43099
3581.77/3593.70 c #Conflicts: 2233000 | #Constraints: 44099
3581.77/3593.70 c #Conflicts: 2234000 | #Constraints: 45102
3581.77/3593.70 c #Conflicts: 2235000 | #Constraints: 46104
3581.77/3593.70 c #Conflicts: 2236000 | #Constraints: 47106
3581.77/3593.70 c #Conflicts: 2237000 | #Constraints: 48106
3581.77/3593.70 c #Conflicts: 2238000 | #Constraints: 49107
3581.77/3593.70 c #Conflicts: 2239000 | #Constraints: 50108
3581.77/3593.70 c #Conflicts: 2240000 | #Constraints: 51111
3581.77/3593.70 c #Conflicts: 2241000 | #Constraints: 52113
3581.77/3593.70 c #Conflicts: 2242000 | #Constraints: 53113
3581.77/3593.70 c #Conflicts: 2243000 | #Constraints: 54114
3581.77/3593.70 c #Conflicts: 2244000 | #Constraints: 55115
3581.77/3593.70 c #Conflicts: 2245000 | #Constraints: 56116
3581.77/3593.70 c #Conflicts: 2246000 | #Constraints: 57116
3581.77/3593.70 c #Conflicts: 2247000 | #Constraints: 58116
3581.77/3593.70 c #Conflicts: 2248000 | #Constraints: 59116
3581.77/3593.70 c #Conflicts: 2249000 | #Constraints: 60117
3581.77/3593.70 c #Conflicts: 2250000 | #Constraints: 61117
3581.77/3593.70 c #Conflicts: 2251000 | #Constraints: 62120
3581.77/3593.70 c #Conflicts: 2252000 | #Constraints: 63122
3581.77/3593.70 c #Conflicts: 2253000 | #Constraints: 64122
3581.77/3593.70 c #Conflicts: 2254000 | #Constraints: 65122
3581.77/3593.70 c #Conflicts: 2255000 | #Constraints: 66122
3581.77/3593.70 c #Conflicts: 2256000 | #Constraints: 67123
3581.77/3593.70 c INPROCESSING
3581.77/3593.70 c GARBAGE COLLECT
3581.77/3593.70 c rational objective 3
3600.09/3612.11 c #Conflicts: 2257000 | #Constraints: 38349
3600.09/3612.11 c #Conflicts: 2258000 | #Constraints: 39351
3600.09/3612.11 c #Conflicts: 2259000 | #Constraints: 40351
3600.09/3612.11 c #Conflicts: 2260000 | #Constraints: 41351
3600.09/3612.11 c #Conflicts: 2261000 | #Constraints: 42351
3600.09/3612.11 c #Conflicts: 2262000 | #Constraints: 43352
3600.09/3612.11 c #Conflicts: 2263000 | #Constraints: 44352
3600.09/3612.11 c #Conflicts: 2264000 | #Constraints: 45353
3600.09/3612.11 c #Conflicts: 2265000 | #Constraints: 46353
3600.09/3612.11 c #Conflicts: 2266000 | #Constraints: 47355
3600.09/3612.11 c #Conflicts: 2267000 | #Constraints: 48355
3600.09/3612.11 c #Conflicts: 2268000 | #Constraints: 49356
3600.09/3612.11 c cpu time 3572.37 s
3600.09/3612.11 c deterministic time 266285129358 2.66e+11
3600.09/3612.11 c optimization time 18.0463 s
3600.09/3612.11 c total solve time 3554.27 s
3600.09/3612.11 c core-guided solve time 1756.22 s
3600.09/3612.11 c propagation time 2366.82 s
3600.09/3612.11 c conflict analysis time 1108.92 s
3600.09/3612.11 c propagations 580051924
3600.09/3612.11 c resolve steps 43589312
3600.09/3612.11 c decisions 3338621
3600.09/3612.11 c conflicts 2268336
3600.09/3612.11 c restarts 4094
3600.09/3612.11 c inprocessing phases 141
3600.09/3612.11 c garbage collections 141 ,( 100.00 )
3600.09/3612.11 c input clauses 10815 ,( 97.98 )
3600.09/3612.11 c input cardinalities 31 ,( 0.28 )
3600.09/3612.11 c input general constraints 192 ,( 1.74 )
3600.09/3612.11 c input average constraint length 3.40
3600.09/3612.11 c input average constraint degree 6.20
3600.09/3612.11 c learned clauses 912857 ,( 40.21 )
3600.09/3612.11 c learned cardinalities 6359 ,( 0.28 )
3600.09/3612.11 c learned general constraints 1351230 ,( 59.51 )
3600.09/3612.11 c learned average constraint length 115.73
3600.09/3612.11 c learned average constraint degree 555352220.39
3600.09/3612.11 c watched CF 32, 64, 128, Arb: 377955 , 0 , 0 , 0
3600.09/3612.11 c counting CF 32, 64, 128, Arb: 973468 , 0 , 0 , 0
3600.09/3612.11 c watched constraints 377955 ,( 27.97 )
3600.09/3612.11 c counting constraints 973467 ,( 72.03 )
3600.09/3612.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 727460222 , 94219391 , 7637155133 ,( 298586981 , 7338568152 )
3600.09/3612.11 c gcd simplifications 330092
3600.09/3612.11 c detected cardinalities 268
3600.09/3612.11 c weakened non-implied lits 139382695
3600.09/3612.11 c weakened non-implying lits 730614
3600.09/3612.11 c original variables 3964
3600.09/3612.11 c clausal propagations 326934192
3600.09/3612.11 c cardinality propagations 11044037
3600.09/3612.11 c watched propagations 2102053
3600.09/3612.11 c counting propagations 237026497
3600.09/3612.11 c watch lookups 219775411390
3600.09/3612.11 c watch backjump lookups 0
3600.09/3612.11 c watch checks 8029155923
3600.09/3612.11 c propagation checks 35638270983
3600.09/3612.11 c constraint additions 1670947721
3600.09/3612.11 c trail pops 585656200
3600.09/3612.11 c formula constraints 11038
3600.09/3612.11 c learned constraints 2266622
3600.09/3612.11 c bound constraints 0
3600.09/3612.11 c core-guided constraints 0
3600.09/3612.11 c encountered formula constraints 26190549
3600.09/3612.11 c encountered learned constraints 18161510
3600.09/3612.11 c encountered bound constraints 0
3600.09/3612.11 c encountered core-guided constraints 0
3600.09/3612.11 c LP total time 393.514 s
3600.09/3612.11 c LP solve time 352.01 s
3600.09/3612.11 c LP constraints added 12398
3600.09/3612.11 c LP constraints removed 1350
3600.09/3612.11 c LP pivots internal 2268489
3600.09/3612.11 c LP pivots root 28106
3600.09/3612.11 c LP calls 7402
3600.09/3612.11 c LP optimalities 5480
3600.09/3612.11 c LP no pivot count 162
3600.09/3612.11 c LP infeasibilities 1917
3600.09/3612.11 c LP valid Farkas constraints 1913
3600.09/3612.11 c LP learned Farkas constraints 1713
3600.09/3612.11 c LP basis resets 6
3600.09/3612.11 c LP cycling count 0
3600.09/3612.11 c LP singular count 2
3600.09/3612.11 c LP no primal count 0
3600.09/3612.11 c LP no farkas count 4
3600.09/3612.11 c LP other issue count 0
3600.09/3612.11 c LP Gomory cuts 198
3600.09/3612.11 c LP learned cuts 1162
3600.09/3612.11 c LP deleted cuts 1350
3600.09/3612.11 c LP encountered Gomory constraints 71094
3600.09/3612.11 c LP encountered Farkas constraints 1426218
3600.09/3612.11 c LP encountered learned Farkas constraints 6564
3600.09/3612.11 c CG auxiliary variables introduced 0
3600.09/3612.11 c CG solutions found 0
3600.09/3612.11 c CG cores constructed 0
3600.09/3612.11 c CG core cardinality constraints returned 0
3600.09/3612.11 c CG unit cores 0
3600.09/3612.11 c CG single cores 0
3600.09/3612.11 c CG blocks removed during cardinality reduction 0
3600.09/3612.11 c CG first core best 0
3600.09/3612.11 c CG decision core best 0
3600.09/3612.11 c CG core reduction tie 0
3600.09/3612.11 c CG core degree average 0.00
3600.09/3612.11 c CG core slack average 0.00
3600.09/3612.11 c CG core upper bound improvements 0
3600.09/3612.11 c STR number of successful calls 0
3600.09/3612.11 c STR number of unsuccessful calls 0
3600.09/3612.11 c STR number of inconclusive calls 0
3600.09/3612.11 c STR number of successful attempts 0
3600.09/3612.11 c STR number of unsuccessful attempts 0
3600.09/3612.11 c STR number of inconclusive attempts 0
3600.09/3612.11 c STR average degree increase per successful call inf
3600.09/3612.11 c STR average degree increase per successful attempt inf
3600.09/3612.11 c STR total number of conflicts for successful attempts 0
3600.09/3612.11 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3612.11 c STR total number of conflicts for inconclusive attempts 0
3600.09/3612.11 c STR average number of conflicts per successful attempt inf
3600.09/3612.11 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3612.11 c STR average number of conflicts per inconclusive attempt inf
3600.09/3612.11 c AVG.sumWPerc 59.15
3600.09/3612.11 c bigint constraints 0
3600.09/3612.11 s UNKNOWN
3600.09/3612.11 c Program interrupted by user.
Verifier Data
ERROR: no interpretation found !
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (45785 MiB free)
memory of node 1: 64507 MiB (50286 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531947-1752683078/watcher-4531947-1752683078 -o /tmp/evaluation-result-4531947-1752683078/solver-4531947-1752683078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752683051-144305 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531947-1752683078.opb /tmp/proof-4531947-1752683078
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=144418, runsolver pid=144415
[startup+0.1001 s]*
/proc/loadavg: 1.55 0.45 0.21 5/257 144421
/proc/meminfo: memFree=98361284/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=58724 memory=14272 CPUtime=0.02 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 1217 0 0 0 2 0 0 0 20 0 1 0 183987488 60133376 3568 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 14681 3568 2048 1147 0 2107 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62916 KiB
Current children cumulated memory: 17216 KiB
[startup+0.213354 s]*
/proc/loadavg: 1.55 0.45 0.21 5/257 144421
/proc/meminfo: memFree=98329164/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=77540 memory=31900 CPUtime=0.14 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 5902 0 0 0 12 2 0 0 20 0 1 0 183987488 79400960 7975 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 19385 7975 2432 1147 0 6811 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 81732 KiB
Current children cumulated memory: 34844 KiB
[startup+0.313376 s]*
/proc/loadavg: 1.55 0.45 0.21 5/257 144421
/proc/meminfo: memFree=98329164/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=77540 memory=31900 CPUtime=0.23 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 5905 0 0 0 21 2 0 0 20 0 1 0 183987488 79400960 7975 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 19385 7975 2432 1147 0 6811 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 81732 KiB
Current children cumulated memory: 34844 KiB
[startup+0.700387 s]
/proc/loadavg: 1.55 0.45 0.21 5/257 144421
/proc/meminfo: memFree=98325384/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=79176 memory=33564 CPUtime=0.61 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 6292 0 0 0 58 3 0 0 20 0 1 0 183987488 81076224 8391 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 19794 8391 2464 1147 0 7220 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 83368 KiB
Current children cumulated memory: 36508 KiB
[startup+1.50037 s]
/proc/loadavg: 1.55 0.45 0.21 5/257 144421
/proc/meminfo: memFree=98288848/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=85172 memory=39324 CPUtime=1.4 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 7736 0 0 0 135 5 0 0 20 0 1 0 183987488 87216128 9831 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 21293 9831 2464 1147 0 8719 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 89364 KiB
Current children cumulated memory: 42268 KiB
[startup+3.11303 s]
/proc/loadavg: 1.55 0.45 0.21 5/257 144421
/proc/meminfo: memFree=98191844/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=87240 memory=43436 CPUtime=3.02 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 8247 0 0 0 293 9 0 0 20 0 1 0 183987488 89333760 10859 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 21810 10859 2464 1147 0 9236 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 91432 KiB
Current children cumulated memory: 46380 KiB
[startup+6.30035 s]
/proc/loadavg: 1.83 0.52 0.23 5/257 144421
/proc/meminfo: memFree=98039900/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=90264 memory=46508 CPUtime=6.19 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 9056 0 0 0 603 16 0 0 20 0 1 0 183987488 92430336 11627 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 22566 11627 2464 1147 0 9992 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 94456 KiB
Current children cumulated memory: 49452 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 0.60 0.26 5/257 144421
/proc/meminfo: memFree=97772300/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=90132 memory=46508 CPUtime=12.58 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 9065 0 0 0 1229 29 0 0 20 0 1 0 183987488 92295168 11627 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 22533 11627 2464 1147 0 9959 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 94324 KiB
Current children cumulated memory: 49452 KiB
[startup+25.5004 s]
/proc/loadavg: 2.65 0.80 0.33 5/257 144421
/proc/meminfo: memFree=97191696/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=96196 memory=50220 CPUtime=25.33 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 10028 0 0 0 2484 49 0 0 20 0 1 0 183987488 98504704 12555 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 24049 12555 2464 1147 0 11475 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 100388 KiB
Current children cumulated memory: 53164 KiB
[startup+51.1131 s]
/proc/loadavg: 3.26 1.09 0.44 5/257 144422
/proc/meminfo: memFree=96159172/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=101616 memory=56364 CPUtime=50.86 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 11605 0 0 0 4997 89 0 0 20 0 1 0 183987488 104054784 14091 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 25404 14091 2464 1147 0 12830 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 105808 KiB
Current children cumulated memory: 59308 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 1.59 0.64 6/257 144423
/proc/meminfo: memFree=94289500/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=112352 memory=65620 CPUtime=101.87 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 13424 0 0 0 10016 171 0 0 20 0 1 0 183987488 115048448 16405 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 28088 16405 2464 1147 0 15514 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 116544 KiB
Current children cumulated memory: 68564 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 2.11 0.88 5/258 144426
/proc/meminfo: memFree=92137364/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=131192 memory=82352 CPUtime=161.64 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 16317 0 0 0 15918 246 0 0 20 0 1 0 183987488 134340608 20588 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 32798 20588 2464 1147 0 20224 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 135384 KiB
Current children cumulated memory: 85296 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 2.50 1.10 5/258 144428
/proc/meminfo: memFree=90221196/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=132344 memory=83888 CPUtime=221.44 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 16605 0 0 0 21823 321 0 0 20 0 1 0 183987488 135520256 20972 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 33086 20972 2464 1147 0 20512 0
Current children cumulated CPU time: 221.49 s
################
# More data... #
################
/proc/144421/statm: 56163 41915 2528 1147 0 43589 0
Current children cumulated CPU time: 3091.98 s
Current children cumulated vsize: 228844 KiB
Current children cumulated memory: 170604 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.27 4.19 5/259 144598
/proc/meminfo: memFree=37734180/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=225168 memory=168172 CPUtime=3151.74 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 31770 0 0 0 312652 2522 0 0 20 0 1 0 183987488 230572032 42043 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 56292 42043 2528 1147 0 43718 0
Current children cumulated CPU time: 3151.79 s
Current children cumulated vsize: 229360 KiB
Current children cumulated memory: 171116 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.25 4.18 5/258 144600
/proc/meminfo: memFree=36930480/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=233364 memory=175220 CPUtime=3211.56 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 33021 0 0 0 318604 2552 0 0 20 0 1 0 183987488 238964736 43805 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 58341 43805 2528 1147 0 45767 0
Current children cumulated CPU time: 3211.61 s
Current children cumulated vsize: 237556 KiB
Current children cumulated memory: 178164 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.25 4.18 5/258 144602
/proc/meminfo: memFree=36136684/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=233364 memory=178676 CPUtime=3271.37 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 33024 0 0 0 324554 2583 0 0 20 0 1 0 183987488 238964736 44669 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 58341 44669 2528 1147 0 45767 0
Current children cumulated CPU time: 3271.42 s
Current children cumulated vsize: 237556 KiB
Current children cumulated memory: 181620 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.24 4.18 5/256 144604
/proc/meminfo: memFree=35395020/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=234648 memory=179828 CPUtime=3331.18 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 33304 0 0 0 330501 2617 0 0 20 0 1 0 183987488 240279552 44957 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 58662 44957 2528 1147 0 46088 0
Current children cumulated CPU time: 3331.23 s
Current children cumulated vsize: 238840 KiB
Current children cumulated memory: 182772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.26 4.19 5/257 144607
/proc/meminfo: memFree=34649368/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=234908 memory=180212 CPUtime=3390.99 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 33410 0 0 0 336449 2650 0 0 20 0 1 0 183987488 240545792 45053 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 58727 45053 2528 1147 0 46153 0
Current children cumulated CPU time: 3391.04 s
Current children cumulated vsize: 239100 KiB
Current children cumulated memory: 183156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.23 4.18 5/255 144609
/proc/meminfo: memFree=33937256/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=235168 memory=180468 CPUtime=3450.81 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 33475 0 0 0 342399 2682 0 0 20 0 1 0 183987488 240812032 45117 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 58792 45117 2528 1147 0 46218 0
Current children cumulated CPU time: 3450.86 s
Current children cumulated vsize: 239360 KiB
Current children cumulated memory: 183412 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/255 144611
/proc/meminfo: memFree=33191396/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=235436 memory=180724 CPUtime=3510.6 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 33542 0 0 0 348346 2714 0 0 20 0 1 0 183987488 241086464 45181 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 58859 45181 2528 1147 0 46285 0
Current children cumulated CPU time: 3510.65 s
Current children cumulated vsize: 239628 KiB
Current children cumulated memory: 183668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.22 4.18 5/255 144613
/proc/meminfo: memFree=32448992/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=235436 memory=180724 CPUtime=3570.39 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 33542 0 0 0 354293 2746 0 0 20 0 1 0 183987488 241086464 45181 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 58859 45181 2528 1147 0 46285 0
Current children cumulated CPU time: 3570.44 s
Current children cumulated vsize: 239628 KiB
Current children cumulated memory: 183668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.04 4.18 4.17 4/247 144926
/proc/meminfo: memFree=88129284/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=236976 memory=182004 CPUtime=3600.04 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 33855 0 0 0 357236 2768 0 0 20 0 1 0 183987488 242663424 45501 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 59244 45501 2528 1147 0 46670 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 241168 KiB
Current children cumulated memory: 184948 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.12 s]
# the end of solver process 144418 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.05349 s, system=0.003906 s
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 144421 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3572.43 s, system=27.6952 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.04 4.18 4.17 4/247 144926
/proc/meminfo: memFree=88129284/131382116 swapFree=33010684/33010684
[pid=144418] ppid=144415 vsize=4192 memory=2944 CPUtime=0.05 cores=5,7
/proc/144418/stat : 144418 (run-opt-ls-log.) S 144415 144418 144152 0 -1 4194304 239 987 0 0 0 0 5 0 20 0 1 0 183987480 4292608 736 18446744073709551615 93856906129408 93856907023941 140737120854672 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93856907262992 93856907310736 93856911622144 140737120860479 140737120860639 140737120860639 140737120866243 0
/proc/144418/statm: 1048 736 672 219 0 110 0
[pid=144421] ppid=144418 vsize=236976 memory=182004 CPUtime=3600.04 cores=5,7
/proc/144421/stat : 144421 (roundingsat) R 144418 144418 144152 0 -1 4194304 33855 0 0 0 357236 2768 0 0 20 0 1 0 183987488 242663424 45501 18446744073709551615 4227072 8923577 140731420861872 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 13647872 140731420870938 140731420871206 140731420871206 140731420876778 0
/proc/144421/statm: 59244 45501 2528 1147 0 46670 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 241168 KiB
Current children cumulated memory: 184948 KiB
Child status: 2
Real time (s): 3612.12
CPU time (s): 3600.12
CPU user time (s): 3572.43
CPU system time (s): 27.6952
CPU usage (%): 99.6678
Max. virtual memory (cumulated for all children) (KiB): 241168
Max. memory (cumulated for all children) (KiB): 184948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.43
system time used= 27.6952
maximum resident set size= 182260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35100
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19211496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 277
involuntary context switches= 23481
# summary of solver processes directly reported to runsolver:
# pid: 144418,144421
# total CPU time (s): 3600.12
# total CPU user time (s): 3572.43
# total CPU system time (s): 27.6952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7269 second user time and 36.0379 second system time
The end
Launcher Data
Begin job on nodeC011 at 2025-07-16 18:24:38
IDJOB=4531947
IDBENCH=148776
IDSOLVER=3392
FILE ID=nodeC011/4531947-1752683078
RUNJOBID= nodeC011-1752683051-144305
SLURM_JOB_ID= 9686940
Free space on /tmp= 431112 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531947-1752683078/watcher-4531947-1752683078 -o /tmp/evaluation-result-4531947-1752683078/solver-4531947-1752683078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752683051-144305 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531947-1752683078.opb /tmp/proof-4531947-1752683078
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=1377291164
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.308
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.148
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.849
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.460
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.169
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.538
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.640
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.317
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 98377384 kB
MemAvailable: 129823320 kB
Buffers: 3276 kB
Cached: 32217216 kB
SwapCached: 0 kB
Active: 657580 kB
Inactive: 31702332 kB
Active(anon): 163580 kB
Inactive(anon): 2076 kB
Active(file): 494000 kB
Inactive(file): 31700256 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1231588 kB
Writeback: 136 kB
AnonPages: 142560 kB
Mapped: 122308 kB
Shmem: 26152 kB
KReclaimable: 182232 kB
Slab: 275232 kB
SReclaimable: 182232 kB
SUnreclaim: 93000 kB
KernelStack: 4128 kB
PageTables: 3452 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 492656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 416632 MiB
End job on nodeC011 at 2025-07-16 19:24:50