Trace number 4499352
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.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4499352-1751467075.opb'
0.00/0.02 c read 0.07MB (1.15ms)
0.00/0.02 c [cnf: #variables 774 #clauses 995 #duplicates 0 #arr 8079]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 30] (1.00ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c recursing 72 blocks of candidate 3x516r
0.00/0.03 c found row 5x6, generating row predicate
0.00/0.03 c found row 3x516, generating row predicate
0.00/0.03 c (6.58ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 4664 #edges 21948]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 1.73*10^84 #generators 176] (3.03ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c opt it=15, l=5059, m=131, opt=3, avg=63, b=8, gens=176
0.00/0.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.05 c con best_support=8, best_gens=144, +gens=249
0.00/0.05 c (18.34ms)
0.00/0.05 c
0.00/0.05 c finalize break order and special generators
0.00/0.05 c
0.00/0.05 c add generic predicates (break_depth=20)
0.00/0.05 c added predicates for 446 generators (0.84ms)
0.00/0.05 c
0.00/0.05 c generation finished
0.00/0.05 c [sbp: #constraints 10022 #add_vars 3190]
0.00/0.05 c
0.00/0.05 c write result to 'HOME/instance-4499352-1751467075.opb.pre'
0.00/0.05 c wrote 0.41MB (1.17ms)
0.00/0.05 c ------------------------------------------------------------------
0.00/0.05 c 18.34ms 56.39% optimize_gens
0.00/0.05 c 6.58ms 20.23% detect_special
0.00/0.05 c 3.03ms 9.32% detect_generic
0.00/0.05 c 1.17ms 3.58% output
0.00/0.05 c 1.15ms 3.53% parse
0.00/0.05 c 1.00ms 3.07% approx_orbits
0.00/0.05 c 0.84ms 2.57% break_generic
0.00/0.05 c 0.26ms 0.78% other
0.00/0.05 c 0.17ms 0.51% finalize_order
0.00/0.05 c ───────────────────────────────────────────────
0.00/0.05 c 32.52ms 100% total
0.00/0.05 c ------------------------------------------------------------------
0.00/0.06 c RoundingSat 2
0.00/0.06 c branch pb25
0.00/0.06 c commit 63f22ad
0.06/0.11 c #variables 3964 #constraints 11038
0.06/0.11 c objective is ce32
0.06/0.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.14 c initial counting CF 32, 64, 128, Arb: 193 , 0 , 0 , 0
0.06/0.14 c bounds - >= 0 @ 0.056205
0.56/0.61 c #Conflicts: 1000 | #Constraints: 12037
0.56/0.61 c #Conflicts: 2000 | #Constraints: 13038
0.56/0.61 c INPROCESSING
0.56/0.61 c GARBAGE COLLECT
0.56/0.61 c rational objective 3
1.95/2.04 c #Conflicts: 3000 | #Constraints: 12253
1.95/2.04 c #Conflicts: 4000 | #Constraints: 13254
1.95/2.04 c INPROCESSING
1.95/2.04 c GARBAGE COLLECT
1.95/2.04 c rational objective 3
2.64/2.72 c #Conflicts: 5000 | #Constraints: 12593
2.64/2.72 c #Conflicts: 6000 | #Constraints: 13593
2.64/2.72 c INPROCESSING
2.64/2.72 c GARBAGE COLLECT
2.64/2.72 c rational objective 3
3.43/3.51 c #Conflicts: 7000 | #Constraints: 12498
3.43/3.51 c #Conflicts: 8000 | #Constraints: 13498
3.43/3.51 c #Conflicts: 9000 | #Constraints: 14498
3.43/3.51 c INPROCESSING
3.43/3.51 c GARBAGE COLLECT
3.43/3.51 c rational objective 3
4.43/4.57 c #Conflicts: 10000 | #Constraints: 13199
4.43/4.57 c #Conflicts: 11000 | #Constraints: 14199
4.43/4.57 c #Conflicts: 12000 | #Constraints: 15199
4.43/4.57 c INPROCESSING
4.43/4.57 c GARBAGE COLLECT
4.43/4.57 c rational objective 3
6.03/6.15 c #Conflicts: 13000 | #Constraints: 13656
6.03/6.15 c #Conflicts: 14000 | #Constraints: 14659
6.03/6.15 c #Conflicts: 15000 | #Constraints: 15661
6.03/6.15 c INPROCESSING
6.03/6.15 c GARBAGE COLLECT
6.03/6.15 c rational objective 3
7.81/7.90 c #Conflicts: 16000 | #Constraints: 13893
7.81/7.90 c #Conflicts: 17000 | #Constraints: 14896
7.81/7.90 c #Conflicts: 18000 | #Constraints: 15899
7.81/7.90 c INPROCESSING
7.81/7.90 c GARBAGE COLLECT
7.81/7.90 c rational objective 3
9.11/9.22 c #Conflicts: 19000 | #Constraints: 13850
9.11/9.22 c #Conflicts: 20000 | #Constraints: 14850
9.11/9.22 c #Conflicts: 21000 | #Constraints: 15851
9.11/9.22 c INPROCESSING
9.11/9.22 c GARBAGE COLLECT
9.11/9.22 c rational objective 3
10.60/10.72 c #Conflicts: 22000 | #Constraints: 13655
10.60/10.72 c #Conflicts: 23000 | #Constraints: 14655
10.60/10.72 c #Conflicts: 24000 | #Constraints: 15657
10.60/10.72 c #Conflicts: 25000 | #Constraints: 16657
10.60/10.72 c INPROCESSING
10.60/10.72 c GARBAGE COLLECT
10.60/10.72 c rational objective 3
12.70/12.85 c #Conflicts: 26000 | #Constraints: 14254
12.70/12.85 c #Conflicts: 27000 | #Constraints: 15255
12.70/12.85 c #Conflicts: 28000 | #Constraints: 16256
12.70/12.85 c #Conflicts: 29000 | #Constraints: 17256
12.70/12.85 c INPROCESSING
12.70/12.85 c GARBAGE COLLECT
12.70/12.85 c rational objective 3
15.09/15.20 c #Conflicts: 30000 | #Constraints: 14596
15.09/15.20 c #Conflicts: 31000 | #Constraints: 15599
15.09/15.20 c #Conflicts: 32000 | #Constraints: 16599
15.09/15.20 c #Conflicts: 33000 | #Constraints: 17601
15.09/15.20 c INPROCESSING
15.09/15.20 c GARBAGE COLLECT
15.09/15.20 c rational objective 3
17.58/17.74 c #Conflicts: 34000 | #Constraints: 14802
17.58/17.74 c #Conflicts: 35000 | #Constraints: 15802
17.58/17.74 c #Conflicts: 36000 | #Constraints: 16802
17.58/17.74 c #Conflicts: 37000 | #Constraints: 17804
17.58/17.74 c INPROCESSING
17.58/17.74 c GARBAGE COLLECT
17.58/17.74 c rational objective 3
19.59/19.77 c #Conflicts: 38000 | #Constraints: 14738
19.59/19.77 c #Conflicts: 39000 | #Constraints: 15738
19.59/19.77 c #Conflicts: 40000 | #Constraints: 16738
19.59/19.77 c #Conflicts: 41000 | #Constraints: 17739
19.59/19.77 c INPROCESSING
19.59/19.77 c GARBAGE COLLECT
19.59/19.77 c rational objective 3
21.57/21.72 c #Conflicts: 42000 | #Constraints: 14459
21.57/21.72 c #Conflicts: 43000 | #Constraints: 15459
21.57/21.72 c #Conflicts: 44000 | #Constraints: 16462
21.57/21.72 c #Conflicts: 45000 | #Constraints: 17465
21.57/21.72 c #Conflicts: 46000 | #Constraints: 18465
21.57/21.72 c INPROCESSING
21.57/21.72 c GARBAGE COLLECT
21.57/21.72 c rational objective 3
24.17/24.39 c #Conflicts: 47000 | #Constraints: 15016
24.17/24.39 c #Conflicts: 48000 | #Constraints: 16017
24.17/24.39 c #Conflicts: 49000 | #Constraints: 17018
24.17/24.39 c #Conflicts: 50000 | #Constraints: 18019
24.17/24.39 c #Conflicts: 51000 | #Constraints: 19019
24.17/24.39 c INPROCESSING
24.17/24.39 c GARBAGE COLLECT
24.17/24.39 c rational objective 3
26.97/27.19 c #Conflicts: 52000 | #Constraints: 15432
26.97/27.19 c #Conflicts: 53000 | #Constraints: 16432
26.97/27.19 c #Conflicts: 54000 | #Constraints: 17435
26.97/27.19 c #Conflicts: 55000 | #Constraints: 18435
26.97/27.19 c #Conflicts: 56000 | #Constraints: 19435
26.97/27.19 c INPROCESSING
26.97/27.19 c GARBAGE COLLECT
26.97/27.19 c rational objective 3
29.66/29.89 c #Conflicts: 57000 | #Constraints: 15502
29.66/29.89 c #Conflicts: 58000 | #Constraints: 16502
29.66/29.89 c #Conflicts: 59000 | #Constraints: 17503
29.66/29.89 c #Conflicts: 60000 | #Constraints: 18503
29.66/29.89 c #Conflicts: 61000 | #Constraints: 19503
29.66/29.89 c INPROCESSING
29.66/29.89 c GARBAGE COLLECT
29.66/29.89 c rational objective 3
32.25/32.41 c #Conflicts: 62000 | #Constraints: 15493
32.25/32.41 c #Conflicts: 63000 | #Constraints: 16494
32.25/32.41 c #Conflicts: 64000 | #Constraints: 17494
32.25/32.41 c #Conflicts: 65000 | #Constraints: 18495
32.25/32.41 c #Conflicts: 66000 | #Constraints: 19496
32.25/32.41 c INPROCESSING
32.25/32.41 c GARBAGE COLLECT
32.25/32.41 c rational objective 3
35.54/35.79 c #Conflicts: 67000 | #Constraints: 15267
35.54/35.79 c #Conflicts: 68000 | #Constraints: 16269
35.54/35.79 c #Conflicts: 69000 | #Constraints: 17269
35.54/35.79 c #Conflicts: 70000 | #Constraints: 18269
35.54/35.79 c #Conflicts: 71000 | #Constraints: 19271
35.54/35.79 c #Conflicts: 72000 | #Constraints: 20273
35.54/35.79 c INPROCESSING
35.54/35.79 c GARBAGE COLLECT
35.54/35.79 c rational objective 3
38.94/39.17 c #Conflicts: 73000 | #Constraints: 15865
38.94/39.17 c #Conflicts: 74000 | #Constraints: 16868
38.94/39.17 c #Conflicts: 75000 | #Constraints: 17869
38.94/39.17 c #Conflicts: 76000 | #Constraints: 18869
38.94/39.17 c #Conflicts: 77000 | #Constraints: 19869
38.94/39.17 c #Conflicts: 78000 | #Constraints: 20869
38.94/39.17 c INPROCESSING
38.94/39.17 c GARBAGE COLLECT
38.94/39.17 c rational objective 3
41.93/42.17 c #Conflicts: 79000 | #Constraints: 16260
41.93/42.17 c #Conflicts: 80000 | #Constraints: 17260
41.93/42.17 c #Conflicts: 81000 | #Constraints: 18260
41.93/42.17 c #Conflicts: 82000 | #Constraints: 19262
41.93/42.17 c #Conflicts: 83000 | #Constraints: 20263
41.93/42.17 c #Conflicts: 84000 | #Constraints: 21264
41.93/42.17 c INPROCESSING
41.93/42.17 c GARBAGE COLLECT
41.93/42.17 c rational objective 3
46.21/46.43 c #Conflicts: 85000 | #Constraints: 16462
46.21/46.43 c #Conflicts: 86000 | #Constraints: 17463
46.21/46.43 c #Conflicts: 87000 | #Constraints: 18464
46.21/46.43 c #Conflicts: 88000 | #Constraints: 19466
46.21/46.43 c #Conflicts: 89000 | #Constraints: 20469
46.21/46.43 c #Conflicts: 90000 | #Constraints: 21469
46.21/46.43 c INPROCESSING
46.21/46.43 c GARBAGE COLLECT
46.21/46.43 c rational objective 3
50.41/50.65 c #Conflicts: 91000 | #Constraints: 16361
50.41/50.65 c #Conflicts: 92000 | #Constraints: 17362
50.41/50.65 c #Conflicts: 93000 | #Constraints: 18363
50.41/50.65 c #Conflicts: 94000 | #Constraints: 19363
50.41/50.65 c #Conflicts: 95000 | #Constraints: 20363
50.41/50.65 c #Conflicts: 96000 | #Constraints: 21364
50.41/50.65 c INPROCESSING
50.41/50.65 c GARBAGE COLLECT
50.41/50.65 c rational objective 3
54.49/54.72 c #Conflicts: 97000 | #Constraints: 16105
54.49/54.72 c #Conflicts: 98000 | #Constraints: 17105
54.49/54.72 c #Conflicts: 99000 | #Constraints: 18105
54.49/54.72 c #Conflicts: 100000 | #Constraints: 19106
54.49/54.72 c #Conflicts: 101000 | #Constraints: 20109
54.49/54.72 c #Conflicts: 102000 | #Constraints: 21110
54.49/54.72 c #Conflicts: 103000 | #Constraints: 22112
54.49/54.72 c INPROCESSING
54.49/54.72 c GARBAGE COLLECT
54.49/54.72 c rational objective 3
58.39/58.60 c #Conflicts: 104000 | #Constraints: 16701
58.39/58.60 c #Conflicts: 105000 | #Constraints: 17702
58.39/58.60 c #Conflicts: 106000 | #Constraints: 18703
58.39/58.60 c #Conflicts: 107000 | #Constraints: 19705
58.39/58.60 c #Conflicts: 108000 | #Constraints: 20707
58.39/58.60 c #Conflicts: 109000 | #Constraints: 21708
58.39/58.60 c #Conflicts: 110000 | #Constraints: 22708
58.39/58.60 c INPROCESSING
58.39/58.60 c GARBAGE COLLECT
58.39/58.60 c rational objective 3
62.18/62.45 c #Conflicts: 111000 | #Constraints: 17088
62.18/62.45 c #Conflicts: 112000 | #Constraints: 18088
62.18/62.45 c #Conflicts: 113000 | #Constraints: 19089
62.18/62.45 c #Conflicts: 114000 | #Constraints: 20091
62.18/62.45 c #Conflicts: 115000 | #Constraints: 21092
62.18/62.45 c #Conflicts: 116000 | #Constraints: 22094
62.18/62.45 c #Conflicts: 117000 | #Constraints: 23095
62.18/62.45 c INPROCESSING
62.18/62.45 c GARBAGE COLLECT
62.18/62.45 c rational objective 3
66.67/66.92 c #Conflicts: 118000 | #Constraints: 17292
66.67/66.92 c #Conflicts: 119000 | #Constraints: 18292
66.67/66.92 c #Conflicts: 120000 | #Constraints: 19292
66.67/66.92 c #Conflicts: 121000 | #Constraints: 20293
66.67/66.92 c #Conflicts: 122000 | #Constraints: 21294
66.67/66.92 c #Conflicts: 123000 | #Constraints: 22297
66.67/66.92 c #Conflicts: 124000 | #Constraints: 23298
66.67/66.92 c INPROCESSING
66.67/66.92 c GARBAGE COLLECT
66.67/66.92 c rational objective 3
70.95/71.22 c #Conflicts: 125000 | #Constraints: 17255
70.95/71.22 c #Conflicts: 126000 | #Constraints: 18255
70.95/71.22 c #Conflicts: 127000 | #Constraints: 19256
70.95/71.22 c #Conflicts: 128000 | #Constraints: 20257
70.95/71.22 c #Conflicts: 129000 | #Constraints: 21258
70.95/71.22 c #Conflicts: 130000 | #Constraints: 22260
70.95/71.22 c #Conflicts: 131000 | #Constraints: 23263
70.95/71.22 c INPROCESSING
70.95/71.22 c GARBAGE COLLECT
70.95/71.22 c rational objective 3
75.75/76.05 c #Conflicts: 132000 | #Constraints: 17063
75.75/76.05 c #Conflicts: 133000 | #Constraints: 18063
75.75/76.05 c #Conflicts: 134000 | #Constraints: 19065
75.75/76.05 c #Conflicts: 135000 | #Constraints: 20066
75.75/76.05 c #Conflicts: 136000 | #Constraints: 21066
75.75/76.05 c #Conflicts: 137000 | #Constraints: 22068
75.75/76.05 c #Conflicts: 138000 | #Constraints: 23068
75.75/76.05 c #Conflicts: 139000 | #Constraints: 24069
75.75/76.05 c INPROCESSING
75.75/76.05 c GARBAGE COLLECT
75.75/76.05 c rational objective 3
81.23/81.50 c #Conflicts: 140000 | #Constraints: 17591
81.23/81.50 c #Conflicts: 141000 | #Constraints: 18592
81.23/81.50 c #Conflicts: 142000 | #Constraints: 19593
81.23/81.50 c #Conflicts: 143000 | #Constraints: 20596
81.23/81.50 c #Conflicts: 144000 | #Constraints: 21596
81.23/81.50 c #Conflicts: 145000 | #Constraints: 22596
81.23/81.50 c #Conflicts: 146000 | #Constraints: 23597
81.23/81.50 c #Conflicts: 147000 | #Constraints: 24597
81.23/81.50 c INPROCESSING
81.23/81.50 c GARBAGE COLLECT
81.23/81.50 c rational objective 3
87.11/87.42 c #Conflicts: 148000 | #Constraints: 17978
87.11/87.42 c #Conflicts: 149000 | #Constraints: 18978
87.11/87.42 c #Conflicts: 150000 | #Constraints: 19979
87.11/87.42 c #Conflicts: 151000 | #Constraints: 20982
87.11/87.42 c #Conflicts: 152000 | #Constraints: 21982
87.11/87.42 c #Conflicts: 153000 | #Constraints: 22983
87.11/87.42 c #Conflicts: 154000 | #Constraints: 23984
87.11/87.42 c #Conflicts: 155000 | #Constraints: 24985
87.11/87.42 c INPROCESSING
87.11/87.42 c GARBAGE COLLECT
87.11/87.42 c rational objective 3
92.89/93.28 c #Conflicts: 156000 | #Constraints: 18182
92.89/93.28 c #Conflicts: 157000 | #Constraints: 19182
92.89/93.28 c #Conflicts: 158000 | #Constraints: 20183
92.89/93.28 c #Conflicts: 159000 | #Constraints: 21185
92.89/93.28 c #Conflicts: 160000 | #Constraints: 22185
92.89/93.28 c #Conflicts: 161000 | #Constraints: 23185
92.89/93.28 c #Conflicts: 162000 | #Constraints: 24185
92.89/93.28 c #Conflicts: 163000 | #Constraints: 25186
92.89/93.28 c INPROCESSING
92.89/93.28 c GARBAGE COLLECT
92.89/93.28 c rational objective 3
98.17/98.55 c #Conflicts: 164000 | #Constraints: 18177
98.17/98.55 c #Conflicts: 165000 | #Constraints: 19177
98.17/98.55 c #Conflicts: 166000 | #Constraints: 20177
98.17/98.55 c #Conflicts: 167000 | #Constraints: 21177
98.17/98.55 c #Conflicts: 168000 | #Constraints: 22177
98.17/98.55 c #Conflicts: 169000 | #Constraints: 23177
98.17/98.55 c #Conflicts: 170000 | #Constraints: 24177
98.17/98.55 c #Conflicts: 171000 | #Constraints: 25177
98.17/98.55 c INPROCESSING
98.17/98.55 c GARBAGE COLLECT
98.17/98.55 c rational objective 3
104.46/104.89 c #Conflicts: 172000 | #Constraints: 17954
104.46/104.89 c #Conflicts: 173000 | #Constraints: 18955
104.46/104.89 c #Conflicts: 174000 | #Constraints: 19957
104.46/104.89 c #Conflicts: 175000 | #Constraints: 20962
104.46/104.89 c #Conflicts: 176000 | #Constraints: 21964
104.46/104.89 c #Conflicts: 177000 | #Constraints: 22965
104.46/104.89 c #Conflicts: 178000 | #Constraints: 23965
104.46/104.89 c #Conflicts: 179000 | #Constraints: 24966
104.46/104.89 c #Conflicts: 180000 | #Constraints: 25967
104.46/104.89 c INPROCESSING
104.46/104.89 c GARBAGE COLLECT
104.46/104.89 c rational objective 3
110.65/111.09 c #Conflicts: 181000 | #Constraints: 18561
110.65/111.09 c #Conflicts: 182000 | #Constraints: 19561
110.65/111.09 c #Conflicts: 183000 | #Constraints: 20561
110.65/111.09 c #Conflicts: 184000 | #Constraints: 21563
110.65/111.09 c #Conflicts: 185000 | #Constraints: 22564
110.65/111.09 c #Conflicts: 186000 | #Constraints: 23565
110.65/111.09 c #Conflicts: 187000 | #Constraints: 24565
110.65/111.09 c #Conflicts: 188000 | #Constraints: 25566
110.65/111.09 c #Conflicts: 189000 | #Constraints: 26569
110.65/111.09 c INPROCESSING
110.65/111.09 c GARBAGE COLLECT
110.65/111.09 c rational objective 3
116.93/117.36 c #Conflicts: 190000 | #Constraints: 18969
116.93/117.36 c #Conflicts: 191000 | #Constraints: 19969
116.93/117.36 c #Conflicts: 192000 | #Constraints: 20969
116.93/117.36 c #Conflicts: 193000 | #Constraints: 21970
116.93/117.36 c #Conflicts: 194000 | #Constraints: 22971
116.93/117.36 c #Conflicts: 195000 | #Constraints: 23972
116.93/117.36 c #Conflicts: 196000 | #Constraints: 24973
116.93/117.36 c #Conflicts: 197000 | #Constraints: 25973
116.93/117.36 c #Conflicts: 198000 | #Constraints: 26975
116.93/117.36 c INPROCESSING
116.93/117.36 c GARBAGE COLLECT
116.93/117.36 c rational objective 3
126.30/126.70 c #Conflicts: 199000 | #Constraints: 19174
126.30/126.70 c #Conflicts: 200000 | #Constraints: 20176
126.30/126.70 c #Conflicts: 201000 | #Constraints: 21182
126.30/126.70 c #Conflicts: 202000 | #Constraints: 22185
126.30/126.70 c #Conflicts: 203000 | #Constraints: 23188
126.30/126.70 c #Conflicts: 204000 | #Constraints: 24191
126.30/126.70 c #Conflicts: 205000 | #Constraints: 25194
126.30/126.70 c #Conflicts: 206000 | #Constraints: 26194
126.30/126.70 c #Conflicts: 207000 | #Constraints: 27194
126.30/126.70 c INPROCESSING
126.30/126.70 c GARBAGE COLLECT
126.30/126.70 c rational objective 3
136.17/136.61 c #Conflicts: 208000 | #Constraints: 19172
136.17/136.61 c #Conflicts: 209000 | #Constraints: 20175
136.17/136.61 c #Conflicts: 210000 | #Constraints: 21175
136.17/136.61 c #Conflicts: 211000 | #Constraints: 22178
136.17/136.61 c #Conflicts: 212000 | #Constraints: 23180
136.17/136.61 c #Conflicts: 213000 | #Constraints: 24181
136.17/136.61 c #Conflicts: 214000 | #Constraints: 25182
136.17/136.61 c #Conflicts: 215000 | #Constraints: 26184
136.17/136.61 c #Conflicts: 216000 | #Constraints: 27186
136.17/136.61 c INPROCESSING
136.17/136.61 c GARBAGE COLLECT
136.17/136.61 c rational objective 3
144.95/145.42 c #Conflicts: 217000 | #Constraints: 18970
144.95/145.42 c #Conflicts: 218000 | #Constraints: 19971
144.95/145.42 c #Conflicts: 219000 | #Constraints: 20971
144.95/145.42 c #Conflicts: 220000 | #Constraints: 21973
144.95/145.42 c #Conflicts: 221000 | #Constraints: 22973
144.95/145.42 c #Conflicts: 222000 | #Constraints: 23975
144.95/145.42 c #Conflicts: 223000 | #Constraints: 24977
144.95/145.42 c #Conflicts: 224000 | #Constraints: 25978
144.95/145.42 c #Conflicts: 225000 | #Constraints: 26978
144.95/145.42 c #Conflicts: 226000 | #Constraints: 27978
144.95/145.42 c INPROCESSING
144.95/145.42 c GARBAGE COLLECT
144.95/145.42 c rational objective 3
154.21/154.72 c #Conflicts: 227000 | #Constraints: 19435
154.21/154.72 c #Conflicts: 228000 | #Constraints: 20435
154.21/154.72 c #Conflicts: 229000 | #Constraints: 21435
154.21/154.72 c #Conflicts: 230000 | #Constraints: 22436
154.21/154.72 c #Conflicts: 231000 | #Constraints: 23436
154.21/154.72 c #Conflicts: 232000 | #Constraints: 24436
154.21/154.72 c #Conflicts: 233000 | #Constraints: 25437
154.21/154.72 c #Conflicts: 234000 | #Constraints: 26437
154.21/154.72 c #Conflicts: 235000 | #Constraints: 27438
154.21/154.72 c #Conflicts: 236000 | #Constraints: 28438
154.21/154.72 c INPROCESSING
154.21/154.72 c GARBAGE COLLECT
154.21/154.72 c rational objective 3
162.19/162.78 c #Conflicts: 237000 | #Constraints: 19827
162.19/162.78 c #Conflicts: 238000 | #Constraints: 20827
162.19/162.78 c #Conflicts: 239000 | #Constraints: 21829
162.19/162.78 c #Conflicts: 240000 | #Constraints: 22829
162.19/162.78 c #Conflicts: 241000 | #Constraints: 23831
162.19/162.78 c #Conflicts: 242000 | #Constraints: 24833
162.19/162.78 c #Conflicts: 243000 | #Constraints: 25833
162.19/162.78 c #Conflicts: 244000 | #Constraints: 26833
162.19/162.78 c #Conflicts: 245000 | #Constraints: 27833
162.19/162.78 c #Conflicts: 246000 | #Constraints: 28833
162.19/162.78 c INPROCESSING
162.19/162.78 c GARBAGE COLLECT
162.19/162.78 c rational objective 3
169.67/170.27 c #Conflicts: 247000 | #Constraints: 19986
169.67/170.27 c #Conflicts: 248000 | #Constraints: 20986
169.67/170.27 c #Conflicts: 249000 | #Constraints: 21986
169.67/170.27 c #Conflicts: 250000 | #Constraints: 22986
169.67/170.27 c #Conflicts: 251000 | #Constraints: 23986
169.67/170.27 c #Conflicts: 252000 | #Constraints: 24988
169.67/170.27 c #Conflicts: 253000 | #Constraints: 25988
169.67/170.27 c #Conflicts: 254000 | #Constraints: 26988
169.67/170.27 c #Conflicts: 255000 | #Constraints: 27988
169.67/170.27 c #Conflicts: 256000 | #Constraints: 28988
169.67/170.27 c INPROCESSING
169.67/170.27 c GARBAGE COLLECT
169.67/170.27 c rational objective 3
177.55/178.16 c #Conflicts: 257000 | #Constraints: 19956
177.55/178.16 c #Conflicts: 258000 | #Constraints: 20956
177.55/178.16 c #Conflicts: 259000 | #Constraints: 21957
177.55/178.16 c #Conflicts: 260000 | #Constraints: 22957
177.55/178.16 c #Conflicts: 261000 | #Constraints: 23957
177.55/178.16 c #Conflicts: 262000 | #Constraints: 24957
177.55/178.16 c #Conflicts: 263000 | #Constraints: 25958
177.55/178.16 c #Conflicts: 264000 | #Constraints: 26959
177.55/178.16 c #Conflicts: 265000 | #Constraints: 27959
177.55/178.16 c #Conflicts: 266000 | #Constraints: 28960
177.55/178.16 c INPROCESSING
177.55/178.16 c GARBAGE COLLECT
177.55/178.16 c rational objective 3
185.43/186.01 c #Conflicts: 267000 | #Constraints: 19745
185.43/186.01 c #Conflicts: 268000 | #Constraints: 20745
185.43/186.01 c #Conflicts: 269000 | #Constraints: 21745
185.43/186.01 c #Conflicts: 270000 | #Constraints: 22746
185.43/186.01 c #Conflicts: 271000 | #Constraints: 23746
185.43/186.01 c #Conflicts: 272000 | #Constraints: 24748
185.43/186.01 c #Conflicts: 273000 | #Constraints: 25748
185.43/186.01 c #Conflicts: 274000 | #Constraints: 26748
185.43/186.01 c #Conflicts: 275000 | #Constraints: 27748
185.43/186.01 c #Conflicts: 276000 | #Constraints: 28750
185.43/186.01 c #Conflicts: 277000 | #Constraints: 29753
185.43/186.01 c INPROCESSING
185.43/186.01 c GARBAGE COLLECT
185.43/186.01 c rational objective 3
194.70/195.36 c #Conflicts: 278000 | #Constraints: 20343
194.70/195.36 c #Conflicts: 279000 | #Constraints: 21343
194.70/195.36 c #Conflicts: 280000 | #Constraints: 22344
194.70/195.36 c #Conflicts: 281000 | #Constraints: 23344
194.70/195.36 c #Conflicts: 282000 | #Constraints: 24344
194.70/195.36 c #Conflicts: 283000 | #Constraints: 25346
194.70/195.36 c #Conflicts: 284000 | #Constraints: 26347
194.70/195.36 c #Conflicts: 285000 | #Constraints: 27348
194.70/195.36 c #Conflicts: 286000 | #Constraints: 28348
194.70/195.36 c #Conflicts: 287000 | #Constraints: 29348
194.70/195.36 c #Conflicts: 288000 | #Constraints: 30350
194.70/195.36 c INPROCESSING
194.70/195.36 c GARBAGE COLLECT
194.70/195.36 c rational objective 3
203.77/204.48 c #Conflicts: 289000 | #Constraints: 20752
203.77/204.48 c #Conflicts: 290000 | #Constraints: 21753
203.77/204.48 c #Conflicts: 291000 | #Constraints: 22754
203.77/204.48 c #Conflicts: 292000 | #Constraints: 23756
203.77/204.48 c #Conflicts: 293000 | #Constraints: 24758
203.77/204.48 c #Conflicts: 294000 | #Constraints: 25759
203.77/204.48 c #Conflicts: 295000 | #Constraints: 26760
203.77/204.48 c #Conflicts: 296000 | #Constraints: 27762
203.77/204.48 c #Conflicts: 297000 | #Constraints: 28763
203.77/204.48 c #Conflicts: 298000 | #Constraints: 29763
203.77/204.48 c #Conflicts: 299000 | #Constraints: 30763
203.77/204.48 c INPROCESSING
203.77/204.48 c GARBAGE COLLECT
203.77/204.48 c rational objective 3
214.73/215.40 c #Conflicts: 300000 | #Constraints: 20910
214.73/215.40 c #Conflicts: 301000 | #Constraints: 21910
214.73/215.40 c #Conflicts: 302000 | #Constraints: 22911
214.73/215.40 c #Conflicts: 303000 | #Constraints: 23911
214.73/215.40 c #Conflicts: 304000 | #Constraints: 24912
214.73/215.40 c #Conflicts: 305000 | #Constraints: 25913
214.73/215.40 c #Conflicts: 306000 | #Constraints: 26914
214.73/215.40 c #Conflicts: 307000 | #Constraints: 27914
214.73/215.40 c #Conflicts: 308000 | #Constraints: 28915
214.73/215.40 c #Conflicts: 309000 | #Constraints: 29915
214.73/215.40 c #Conflicts: 310000 | #Constraints: 30917
214.73/215.40 c INPROCESSING
214.73/215.40 c GARBAGE COLLECT
214.73/215.40 c rational objective 3
224.80/225.57 c #Conflicts: 311000 | #Constraints: 20885
224.80/225.57 c #Conflicts: 312000 | #Constraints: 21885
224.80/225.57 c #Conflicts: 313000 | #Constraints: 22885
224.80/225.57 c #Conflicts: 314000 | #Constraints: 23885
224.80/225.57 c #Conflicts: 315000 | #Constraints: 24886
224.80/225.57 c #Conflicts: 316000 | #Constraints: 25886
224.80/225.57 c #Conflicts: 317000 | #Constraints: 26886
224.80/225.57 c #Conflicts: 318000 | #Constraints: 27887
224.80/225.57 c #Conflicts: 319000 | #Constraints: 28888
224.80/225.57 c #Conflicts: 320000 | #Constraints: 29889
224.80/225.57 c #Conflicts: 321000 | #Constraints: 30890
224.80/225.57 c INPROCESSING
224.80/225.57 c GARBAGE COLLECT
224.80/225.57 c rational objective 3
234.38/235.11 c #Conflicts: 322000 | #Constraints: 20769
234.38/235.11 c #Conflicts: 323000 | #Constraints: 21769
234.38/235.11 c #Conflicts: 324000 | #Constraints: 22769
234.38/235.11 c #Conflicts: 325000 | #Constraints: 23769
234.38/235.11 c #Conflicts: 326000 | #Constraints: 24770
234.38/235.11 c #Conflicts: 327000 | #Constraints: 25773
234.38/235.11 c #Conflicts: 328000 | #Constraints: 26774
234.38/235.11 c #Conflicts: 329000 | #Constraints: 27776
234.38/235.11 c #Conflicts: 330000 | #Constraints: 28777
234.38/235.11 c #Conflicts: 331000 | #Constraints: 29779
234.38/235.11 c #Conflicts: 332000 | #Constraints: 30780
234.38/235.11 c #Conflicts: 333000 | #Constraints: 31780
234.38/235.11 c INPROCESSING
234.38/235.11 c GARBAGE COLLECT
234.38/235.11 c rational objective 3
244.65/245.47 c #Conflicts: 334000 | #Constraints: 21326
244.65/245.47 c #Conflicts: 335000 | #Constraints: 22327
244.65/245.47 c #Conflicts: 336000 | #Constraints: 23327
244.65/245.47 c #Conflicts: 337000 | #Constraints: 24327
244.65/245.47 c #Conflicts: 338000 | #Constraints: 25328
244.65/245.47 c #Conflicts: 339000 | #Constraints: 26329
244.65/245.47 c #Conflicts: 340000 | #Constraints: 27329
244.65/245.47 c #Conflicts: 341000 | #Constraints: 28329
244.65/245.47 c #Conflicts: 342000 | #Constraints: 29329
244.65/245.47 c #Conflicts: 343000 | #Constraints: 30329
244.65/245.47 c #Conflicts: 344000 | #Constraints: 31330
244.65/245.47 c #Conflicts: 345000 | #Constraints: 32331
244.65/245.47 c INPROCESSING
244.65/245.47 c GARBAGE COLLECT
244.65/245.47 c rational objective 3
255.01/255.85 c #Conflicts: 346000 | #Constraints: 21655
255.01/255.85 c #Conflicts: 347000 | #Constraints: 22655
255.01/255.85 c #Conflicts: 348000 | #Constraints: 23655
255.01/255.85 c #Conflicts: 349000 | #Constraints: 24658
255.01/255.85 c #Conflicts: 350000 | #Constraints: 25659
255.01/255.85 c #Conflicts: 351000 | #Constraints: 26660
255.01/255.85 c #Conflicts: 352000 | #Constraints: 27661
255.01/255.85 c #Conflicts: 353000 | #Constraints: 28661
255.01/255.85 c #Conflicts: 354000 | #Constraints: 29661
255.01/255.85 c #Conflicts: 355000 | #Constraints: 30661
255.01/255.85 c #Conflicts: 356000 | #Constraints: 31662
255.01/255.85 c #Conflicts: 357000 | #Constraints: 32664
255.01/255.85 c INPROCESSING
255.01/255.85 c GARBAGE COLLECT
255.01/255.85 c rational objective 3
267.18/268.10 c #Conflicts: 358000 | #Constraints: 21839
267.18/268.10 c #Conflicts: 359000 | #Constraints: 22839
267.18/268.10 c #Conflicts: 360000 | #Constraints: 23840
267.18/268.10 c #Conflicts: 361000 | #Constraints: 24841
267.18/268.10 c #Conflicts: 362000 | #Constraints: 25843
267.18/268.10 c #Conflicts: 363000 | #Constraints: 26844
267.18/268.10 c #Conflicts: 364000 | #Constraints: 27846
267.18/268.10 c #Conflicts: 365000 | #Constraints: 28847
267.18/268.10 c #Conflicts: 366000 | #Constraints: 29848
267.18/268.10 c #Conflicts: 367000 | #Constraints: 30848
267.18/268.10 c #Conflicts: 368000 | #Constraints: 31850
267.18/268.10 c #Conflicts: 369000 | #Constraints: 32853
267.18/268.10 c INPROCESSING
267.18/268.10 c GARBAGE COLLECT
267.18/268.10 c rational objective 3
278.64/279.59 c #Conflicts: 370000 | #Constraints: 21838
278.64/279.59 c #Conflicts: 371000 | #Constraints: 22838
278.64/279.59 c #Conflicts: 372000 | #Constraints: 23839
278.64/279.59 c #Conflicts: 373000 | #Constraints: 24840
278.64/279.59 c #Conflicts: 374000 | #Constraints: 25842
278.64/279.59 c #Conflicts: 375000 | #Constraints: 26843
278.64/279.59 c #Conflicts: 376000 | #Constraints: 27844
278.64/279.59 c #Conflicts: 377000 | #Constraints: 28845
278.64/279.59 c #Conflicts: 378000 | #Constraints: 29845
278.64/279.59 c #Conflicts: 379000 | #Constraints: 30846
278.64/279.59 c #Conflicts: 380000 | #Constraints: 31846
278.64/279.59 c #Conflicts: 381000 | #Constraints: 32847
278.64/279.59 c INPROCESSING
278.64/279.59 c GARBAGE COLLECT
278.64/279.59 c rational objective 3
290.80/291.74 c #Conflicts: 382000 | #Constraints: 21626
290.80/291.74 c #Conflicts: 383000 | #Constraints: 22626
290.80/291.74 c #Conflicts: 384000 | #Constraints: 23626
290.80/291.74 c #Conflicts: 385000 | #Constraints: 24628
290.80/291.74 c #Conflicts: 386000 | #Constraints: 25628
290.80/291.74 c #Conflicts: 387000 | #Constraints: 26629
290.80/291.74 c #Conflicts: 388000 | #Constraints: 27629
290.80/291.74 c #Conflicts: 389000 | #Constraints: 28630
290.80/291.74 c #Conflicts: 390000 | #Constraints: 29632
290.80/291.74 c #Conflicts: 391000 | #Constraints: 30632
290.80/291.74 c #Conflicts: 392000 | #Constraints: 31632
290.80/291.74 c #Conflicts: 393000 | #Constraints: 32633
290.80/291.74 c #Conflicts: 394000 | #Constraints: 33633
290.80/291.74 c INPROCESSING
290.80/291.74 c GARBAGE COLLECT
290.80/291.74 c rational objective 3
303.66/304.64 c #Conflicts: 395000 | #Constraints: 22260
303.66/304.64 c #Conflicts: 396000 | #Constraints: 23260
303.66/304.64 c #Conflicts: 397000 | #Constraints: 24261
303.66/304.64 c #Conflicts: 398000 | #Constraints: 25262
303.66/304.64 c #Conflicts: 399000 | #Constraints: 26263
303.66/304.64 c #Conflicts: 400000 | #Constraints: 27264
303.66/304.64 c #Conflicts: 401000 | #Constraints: 28264
303.66/304.64 c #Conflicts: 402000 | #Constraints: 29265
303.66/304.64 c #Conflicts: 403000 | #Constraints: 30266
303.66/304.64 c #Conflicts: 404000 | #Constraints: 31266
303.66/304.64 c #Conflicts: 405000 | #Constraints: 32267
303.66/304.64 c #Conflicts: 406000 | #Constraints: 33267
303.66/304.64 c #Conflicts: 407000 | #Constraints: 34267
303.66/304.64 c INPROCESSING
303.66/304.64 c GARBAGE COLLECT
303.66/304.64 c rational objective 3
317.32/318.31 c #Conflicts: 408000 | #Constraints: 22655
317.32/318.31 c #Conflicts: 409000 | #Constraints: 23658
317.32/318.31 c #Conflicts: 410000 | #Constraints: 24659
317.32/318.31 c #Conflicts: 411000 | #Constraints: 25659
317.32/318.31 c #Conflicts: 412000 | #Constraints: 26659
317.32/318.31 c #Conflicts: 413000 | #Constraints: 27661
317.32/318.31 c #Conflicts: 414000 | #Constraints: 28661
317.32/318.31 c #Conflicts: 415000 | #Constraints: 29661
317.32/318.31 c #Conflicts: 416000 | #Constraints: 30661
317.32/318.31 c #Conflicts: 417000 | #Constraints: 31662
317.32/318.31 c #Conflicts: 418000 | #Constraints: 32662
317.32/318.31 c #Conflicts: 419000 | #Constraints: 33662
317.32/318.31 c #Conflicts: 420000 | #Constraints: 34662
317.32/318.31 c INPROCESSING
317.32/318.31 c GARBAGE COLLECT
317.32/318.31 c rational objective 3
328.49/329.51 c #Conflicts: 421000 | #Constraints: 22848
328.49/329.51 c #Conflicts: 422000 | #Constraints: 23848
328.49/329.51 c #Conflicts: 423000 | #Constraints: 24848
328.49/329.51 c #Conflicts: 424000 | #Constraints: 25849
328.49/329.51 c #Conflicts: 425000 | #Constraints: 26849
328.49/329.51 c #Conflicts: 426000 | #Constraints: 27849
328.49/329.51 c #Conflicts: 427000 | #Constraints: 28850
328.49/329.51 c #Conflicts: 428000 | #Constraints: 29850
328.49/329.51 c #Conflicts: 429000 | #Constraints: 30850
328.49/329.51 c #Conflicts: 430000 | #Constraints: 31850
328.49/329.51 c #Conflicts: 431000 | #Constraints: 32850
328.49/329.51 c #Conflicts: 432000 | #Constraints: 33850
328.49/329.51 c #Conflicts: 433000 | #Constraints: 34850
328.49/329.51 c INPROCESSING
328.49/329.51 c GARBAGE COLLECT
328.49/329.51 c rational objective 3
339.45/340.51 c #Conflicts: 434000 | #Constraints: 22824
339.45/340.51 c #Conflicts: 435000 | #Constraints: 23824
339.45/340.51 c #Conflicts: 436000 | #Constraints: 24824
339.45/340.51 c #Conflicts: 437000 | #Constraints: 25825
339.45/340.51 c #Conflicts: 438000 | #Constraints: 26827
339.45/340.51 c #Conflicts: 439000 | #Constraints: 27828
339.45/340.51 c #Conflicts: 440000 | #Constraints: 28828
339.45/340.51 c #Conflicts: 441000 | #Constraints: 29830
339.45/340.51 c #Conflicts: 442000 | #Constraints: 30831
339.45/340.51 c #Conflicts: 443000 | #Constraints: 31832
339.45/340.51 c #Conflicts: 444000 | #Constraints: 32833
339.45/340.51 c #Conflicts: 445000 | #Constraints: 33834
339.45/340.51 c #Conflicts: 446000 | #Constraints: 34838
339.45/340.51 c INPROCESSING
339.45/340.51 c GARBAGE COLLECT
339.45/340.51 c rational objective 3
351.52/352.60 c #Conflicts: 447000 | #Constraints: 22629
351.52/352.60 c #Conflicts: 448000 | #Constraints: 23630
351.52/352.60 c #Conflicts: 449000 | #Constraints: 24631
351.52/352.60 c #Conflicts: 450000 | #Constraints: 25631
351.52/352.60 c #Conflicts: 451000 | #Constraints: 26632
351.52/352.60 c #Conflicts: 452000 | #Constraints: 27633
351.52/352.60 c #Conflicts: 453000 | #Constraints: 28633
351.52/352.60 c #Conflicts: 454000 | #Constraints: 29633
351.52/352.60 c #Conflicts: 455000 | #Constraints: 30634
351.52/352.60 c #Conflicts: 456000 | #Constraints: 31635
351.52/352.60 c #Conflicts: 457000 | #Constraints: 32635
351.52/352.60 c #Conflicts: 458000 | #Constraints: 33636
351.52/352.60 c #Conflicts: 459000 | #Constraints: 34637
351.52/352.60 c #Conflicts: 460000 | #Constraints: 35640
351.52/352.60 c INPROCESSING
351.52/352.60 c GARBAGE COLLECT
351.52/352.60 c rational objective 3
367.77/368.92 c #Conflicts: 461000 | #Constraints: 23229
367.77/368.92 c #Conflicts: 462000 | #Constraints: 24229
367.77/368.92 c #Conflicts: 463000 | #Constraints: 25231
367.77/368.92 c #Conflicts: 464000 | #Constraints: 26234
367.77/368.92 c #Conflicts: 465000 | #Constraints: 27236
367.77/368.92 c #Conflicts: 466000 | #Constraints: 28238
367.77/368.92 c #Conflicts: 467000 | #Constraints: 29239
367.77/368.92 c #Conflicts: 468000 | #Constraints: 30239
367.77/368.92 c #Conflicts: 469000 | #Constraints: 31241
367.77/368.92 c #Conflicts: 470000 | #Constraints: 32241
367.77/368.92 c #Conflicts: 471000 | #Constraints: 33241
367.77/368.92 c #Conflicts: 472000 | #Constraints: 34242
367.77/368.92 c #Conflicts: 473000 | #Constraints: 35243
367.77/368.92 c #Conflicts: 474000 | #Constraints: 36243
367.77/368.92 c INPROCESSING
367.77/368.92 c GARBAGE COLLECT
367.77/368.92 c rational objective 3
384.93/386.19 c #Conflicts: 475000 | #Constraints: 23654
384.93/386.19 c #Conflicts: 476000 | #Constraints: 24655
384.93/386.19 c #Conflicts: 477000 | #Constraints: 25656
384.93/386.19 c #Conflicts: 478000 | #Constraints: 26659
384.93/386.19 c #Conflicts: 479000 | #Constraints: 27661
384.93/386.19 c #Conflicts: 480000 | #Constraints: 28662
384.93/386.19 c #Conflicts: 481000 | #Constraints: 29663
384.93/386.19 c #Conflicts: 482000 | #Constraints: 30664
384.93/386.19 c #Conflicts: 483000 | #Constraints: 31666
384.93/386.19 c #Conflicts: 484000 | #Constraints: 32667
384.93/386.19 c #Conflicts: 485000 | #Constraints: 33670
384.93/386.19 c #Conflicts: 486000 | #Constraints: 34671
384.93/386.19 c #Conflicts: 487000 | #Constraints: 35671
384.93/386.19 c #Conflicts: 488000 | #Constraints: 36671
384.93/386.19 c INPROCESSING
384.93/386.19 c GARBAGE COLLECT
384.93/386.19 c rational objective 3
400.67/401.97 c #Conflicts: 489000 | #Constraints: 23884
400.67/401.97 c #Conflicts: 490000 | #Constraints: 24884
400.67/401.97 c #Conflicts: 491000 | #Constraints: 25884
400.67/401.97 c #Conflicts: 492000 | #Constraints: 26884
400.67/401.97 c #Conflicts: 493000 | #Constraints: 27885
400.67/401.97 c #Conflicts: 494000 | #Constraints: 28885
400.67/401.97 c #Conflicts: 495000 | #Constraints: 29886
400.67/401.97 c #Conflicts: 496000 | #Constraints: 30886
400.67/401.97 c #Conflicts: 497000 | #Constraints: 31886
400.67/401.97 c #Conflicts: 498000 | #Constraints: 32886
400.67/401.97 c #Conflicts: 499000 | #Constraints: 33886
400.67/401.97 c #Conflicts: 500000 | #Constraints: 34886
400.67/401.97 c #Conflicts: 501000 | #Constraints: 35886
400.67/401.97 c #Conflicts: 502000 | #Constraints: 36886
400.67/401.97 c INPROCESSING
400.67/401.97 c GARBAGE COLLECT
400.67/401.97 c rational objective 3
414.93/416.24 c #Conflicts: 503000 | #Constraints: 23858
414.93/416.24 c #Conflicts: 504000 | #Constraints: 24858
414.93/416.24 c #Conflicts: 505000 | #Constraints: 25858
414.93/416.24 c #Conflicts: 506000 | #Constraints: 26858
414.93/416.24 c #Conflicts: 507000 | #Constraints: 27858
414.93/416.24 c #Conflicts: 508000 | #Constraints: 28863
414.93/416.24 c #Conflicts: 509000 | #Constraints: 29864
414.93/416.24 c #Conflicts: 510000 | #Constraints: 30864
414.93/416.24 c #Conflicts: 511000 | #Constraints: 31864
414.93/416.24 c #Conflicts: 512000 | #Constraints: 32865
414.93/416.24 c #Conflicts: 513000 | #Constraints: 33865
414.93/416.24 c #Conflicts: 514000 | #Constraints: 34865
414.93/416.24 c #Conflicts: 515000 | #Constraints: 35866
414.93/416.24 c #Conflicts: 516000 | #Constraints: 36866
414.93/416.24 c INPROCESSING
414.93/416.24 c GARBAGE COLLECT
414.93/416.24 c rational objective 3
429.08/430.48 c #Conflicts: 517000 | #Constraints: 23543
429.08/430.48 c #Conflicts: 518000 | #Constraints: 24543
429.08/430.48 c #Conflicts: 519000 | #Constraints: 25545
429.08/430.48 c #Conflicts: 520000 | #Constraints: 26547
429.08/430.48 c #Conflicts: 521000 | #Constraints: 27549
429.08/430.48 c #Conflicts: 522000 | #Constraints: 28552
429.08/430.48 c #Conflicts: 523000 | #Constraints: 29553
429.08/430.48 c #Conflicts: 524000 | #Constraints: 30554
429.08/430.48 c #Conflicts: 525000 | #Constraints: 31555
429.08/430.48 c #Conflicts: 526000 | #Constraints: 32555
429.08/430.48 c #Conflicts: 527000 | #Constraints: 33555
429.08/430.48 c #Conflicts: 528000 | #Constraints: 34555
429.08/430.48 c #Conflicts: 529000 | #Constraints: 35555
429.08/430.48 c #Conflicts: 530000 | #Constraints: 36556
429.08/430.48 c #Conflicts: 531000 | #Constraints: 37556
429.08/430.48 c INPROCESSING
429.08/430.48 c GARBAGE COLLECT
429.08/430.48 c rational objective 3
445.63/447.02 c #Conflicts: 532000 | #Constraints: 24147
445.63/447.02 c #Conflicts: 533000 | #Constraints: 25148
445.63/447.02 c #Conflicts: 534000 | #Constraints: 26148
445.63/447.02 c #Conflicts: 535000 | #Constraints: 27148
445.63/447.02 c #Conflicts: 536000 | #Constraints: 28148
445.63/447.02 c #Conflicts: 537000 | #Constraints: 29148
445.63/447.02 c #Conflicts: 538000 | #Constraints: 30148
445.63/447.02 c #Conflicts: 539000 | #Constraints: 31148
445.63/447.02 c #Conflicts: 540000 | #Constraints: 32148
445.63/447.02 c #Conflicts: 541000 | #Constraints: 33148
445.63/447.02 c #Conflicts: 542000 | #Constraints: 34148
445.63/447.02 c #Conflicts: 543000 | #Constraints: 35148
445.63/447.02 c #Conflicts: 544000 | #Constraints: 36148
445.63/447.02 c #Conflicts: 545000 | #Constraints: 37148
445.63/447.02 c #Conflicts: 546000 | #Constraints: 38148
445.63/447.02 c INPROCESSING
445.63/447.02 c GARBAGE COLLECT
445.63/447.02 c rational objective 3
461.69/463.19 c #Conflicts: 547000 | #Constraints: 24534
461.69/463.19 c #Conflicts: 548000 | #Constraints: 25535
461.69/463.19 c #Conflicts: 549000 | #Constraints: 26536
461.69/463.19 c #Conflicts: 550000 | #Constraints: 27538
461.69/463.19 c #Conflicts: 551000 | #Constraints: 28538
461.69/463.19 c #Conflicts: 552000 | #Constraints: 29540
461.69/463.19 c #Conflicts: 553000 | #Constraints: 30541
461.69/463.19 c #Conflicts: 554000 | #Constraints: 31541
461.69/463.19 c #Conflicts: 555000 | #Constraints: 32542
461.69/463.19 c #Conflicts: 556000 | #Constraints: 33542
461.69/463.19 c #Conflicts: 557000 | #Constraints: 34542
461.69/463.19 c #Conflicts: 558000 | #Constraints: 35542
461.69/463.19 c #Conflicts: 559000 | #Constraints: 36542
461.69/463.19 c #Conflicts: 560000 | #Constraints: 37543
461.69/463.19 c #Conflicts: 561000 | #Constraints: 38543
461.69/463.19 c INPROCESSING
461.69/463.19 c GARBAGE COLLECT
461.69/463.19 c rational objective 3
477.03/478.57 c #Conflicts: 562000 | #Constraints: 24711
477.03/478.57 c #Conflicts: 563000 | #Constraints: 25711
477.03/478.57 c #Conflicts: 564000 | #Constraints: 26711
477.03/478.57 c #Conflicts: 565000 | #Constraints: 27711
477.03/478.57 c #Conflicts: 566000 | #Constraints: 28711
477.03/478.57 c #Conflicts: 567000 | #Constraints: 29711
477.03/478.57 c #Conflicts: 568000 | #Constraints: 30711
477.03/478.57 c #Conflicts: 569000 | #Constraints: 31711
477.03/478.57 c #Conflicts: 570000 | #Constraints: 32711
477.03/478.57 c #Conflicts: 571000 | #Constraints: 33711
477.03/478.57 c #Conflicts: 572000 | #Constraints: 34711
477.03/478.57 c #Conflicts: 573000 | #Constraints: 35711
477.03/478.57 c #Conflicts: 574000 | #Constraints: 36712
477.03/478.57 c #Conflicts: 575000 | #Constraints: 37712
477.03/478.57 c #Conflicts: 576000 | #Constraints: 38712
477.03/478.57 c INPROCESSING
477.03/478.57 c GARBAGE COLLECT
477.03/478.57 c rational objective 3
493.68/495.28 c #Conflicts: 577000 | #Constraints: 24711
493.68/495.28 c #Conflicts: 578000 | #Constraints: 25711
493.68/495.28 c #Conflicts: 579000 | #Constraints: 26711
493.68/495.28 c #Conflicts: 580000 | #Constraints: 27711
493.68/495.28 c #Conflicts: 581000 | #Constraints: 28711
493.68/495.28 c #Conflicts: 582000 | #Constraints: 29711
493.68/495.28 c #Conflicts: 583000 | #Constraints: 30711
493.68/495.28 c #Conflicts: 584000 | #Constraints: 31711
493.68/495.28 c #Conflicts: 585000 | #Constraints: 32711
493.68/495.28 c #Conflicts: 586000 | #Constraints: 33711
493.68/495.28 c #Conflicts: 587000 | #Constraints: 34711
493.68/495.28 c #Conflicts: 588000 | #Constraints: 35711
493.68/495.28 c #Conflicts: 589000 | #Constraints: 36711
493.68/495.28 c #Conflicts: 590000 | #Constraints: 37711
493.68/495.28 c #Conflicts: 591000 | #Constraints: 38711
493.68/495.28 c INPROCESSING
493.68/495.28 c GARBAGE COLLECT
493.68/495.28 c rational objective 3
509.83/511.48 c #Conflicts: 592000 | #Constraints: 24499
509.83/511.48 c #Conflicts: 593000 | #Constraints: 25499
509.83/511.48 c #Conflicts: 594000 | #Constraints: 26499
509.83/511.48 c #Conflicts: 595000 | #Constraints: 27499
509.83/511.48 c #Conflicts: 596000 | #Constraints: 28499
509.83/511.48 c #Conflicts: 597000 | #Constraints: 29499
509.83/511.48 c #Conflicts: 598000 | #Constraints: 30499
509.83/511.48 c #Conflicts: 599000 | #Constraints: 31500
509.83/511.48 c #Conflicts: 600000 | #Constraints: 32500
509.83/511.48 c #Conflicts: 601000 | #Constraints: 33500
509.83/511.48 c #Conflicts: 602000 | #Constraints: 34502
509.83/511.48 c #Conflicts: 603000 | #Constraints: 35502
509.83/511.48 c #Conflicts: 604000 | #Constraints: 36502
509.83/511.48 c #Conflicts: 605000 | #Constraints: 37502
509.83/511.48 c #Conflicts: 606000 | #Constraints: 38502
509.83/511.48 c #Conflicts: 607000 | #Constraints: 39502
509.83/511.48 c INPROCESSING
509.83/511.48 c GARBAGE COLLECT
509.83/511.48 c rational objective 3
527.38/529.08 c #Conflicts: 608000 | #Constraints: 25092
527.38/529.08 c #Conflicts: 609000 | #Constraints: 26092
527.38/529.08 c #Conflicts: 610000 | #Constraints: 27092
527.38/529.08 c #Conflicts: 611000 | #Constraints: 28093
527.38/529.08 c #Conflicts: 612000 | #Constraints: 29093
527.38/529.08 c #Conflicts: 613000 | #Constraints: 30093
527.38/529.08 c #Conflicts: 614000 | #Constraints: 31096
527.38/529.08 c #Conflicts: 615000 | #Constraints: 32096
527.38/529.08 c #Conflicts: 616000 | #Constraints: 33097
527.38/529.08 c #Conflicts: 617000 | #Constraints: 34101
527.38/529.08 c #Conflicts: 618000 | #Constraints: 35102
527.38/529.08 c #Conflicts: 619000 | #Constraints: 36104
527.38/529.08 c #Conflicts: 620000 | #Constraints: 37104
527.38/529.08 c #Conflicts: 621000 | #Constraints: 38107
527.38/529.08 c #Conflicts: 622000 | #Constraints: 39110
527.38/529.08 c #Conflicts: 623000 | #Constraints: 40111
527.38/529.08 c INPROCESSING
527.38/529.08 c GARBAGE COLLECT
527.38/529.08 c rational objective 3
543.63/545.34 c #Conflicts: 624000 | #Constraints: 25493
543.63/545.34 c #Conflicts: 625000 | #Constraints: 26493
543.63/545.34 c #Conflicts: 626000 | #Constraints: 27493
543.63/545.34 c #Conflicts: 627000 | #Constraints: 28494
543.63/545.34 c #Conflicts: 628000 | #Constraints: 29496
543.63/545.34 c #Conflicts: 629000 | #Constraints: 30496
543.63/545.34 c #Conflicts: 630000 | #Constraints: 31496
543.63/545.34 c #Conflicts: 631000 | #Constraints: 32497
543.63/545.34 c #Conflicts: 632000 | #Constraints: 33498
543.63/545.34 c #Conflicts: 633000 | #Constraints: 34502
543.63/545.34 c #Conflicts: 634000 | #Constraints: 35502
543.63/545.34 c #Conflicts: 635000 | #Constraints: 36502
543.63/545.34 c #Conflicts: 636000 | #Constraints: 37502
543.63/545.34 c #Conflicts: 637000 | #Constraints: 38504
543.63/545.34 c #Conflicts: 638000 | #Constraints: 39505
543.63/545.34 c #Conflicts: 639000 | #Constraints: 40506
543.63/545.34 c INPROCESSING
543.63/545.34 c GARBAGE COLLECT
543.63/545.34 c rational objective 3
564.07/565.82 c #Conflicts: 640000 | #Constraints: 25688
564.07/565.82 c #Conflicts: 641000 | #Constraints: 26688
564.07/565.82 c #Conflicts: 642000 | #Constraints: 27688
564.07/565.82 c #Conflicts: 643000 | #Constraints: 28690
564.07/565.82 c #Conflicts: 644000 | #Constraints: 29690
564.07/565.82 c #Conflicts: 645000 | #Constraints: 30691
564.07/565.82 c #Conflicts: 646000 | #Constraints: 31692
564.07/565.82 c #Conflicts: 647000 | #Constraints: 32692
564.07/565.82 c #Conflicts: 648000 | #Constraints: 33692
564.07/565.82 c #Conflicts: 649000 | #Constraints: 34692
564.07/565.82 c #Conflicts: 650000 | #Constraints: 35692
564.07/565.82 c #Conflicts: 651000 | #Constraints: 36692
564.07/565.82 c #Conflicts: 652000 | #Constraints: 37692
564.07/565.82 c #Conflicts: 653000 | #Constraints: 38692
564.07/565.82 c #Conflicts: 654000 | #Constraints: 39692
564.07/565.82 c #Conflicts: 655000 | #Constraints: 40692
564.07/565.82 c INPROCESSING
564.07/565.82 c GARBAGE COLLECT
564.07/565.82 c rational objective 3
583.11/584.95 c #Conflicts: 656000 | #Constraints: 25675
583.11/584.95 c #Conflicts: 657000 | #Constraints: 26676
583.11/584.95 c #Conflicts: 658000 | #Constraints: 27677
583.11/584.95 c #Conflicts: 659000 | #Constraints: 28681
583.11/584.95 c #Conflicts: 660000 | #Constraints: 29685
583.11/584.95 c #Conflicts: 661000 | #Constraints: 30690
583.11/584.95 c #Conflicts: 662000 | #Constraints: 31690
583.11/584.95 c #Conflicts: 663000 | #Constraints: 32691
583.11/584.95 c #Conflicts: 664000 | #Constraints: 33693
583.11/584.95 c #Conflicts: 665000 | #Constraints: 34694
583.11/584.95 c #Conflicts: 666000 | #Constraints: 35694
583.11/584.95 c #Conflicts: 667000 | #Constraints: 36694
583.11/584.95 c #Conflicts: 668000 | #Constraints: 37695
583.11/584.95 c #Conflicts: 669000 | #Constraints: 38695
583.11/584.95 c #Conflicts: 670000 | #Constraints: 39695
583.11/584.95 c #Conflicts: 671000 | #Constraints: 40695
583.11/584.95 c INPROCESSING
583.11/584.95 c GARBAGE COLLECT
583.11/584.95 c rational objective 3
603.05/604.96 c #Conflicts: 672000 | #Constraints: 25461
603.05/604.96 c #Conflicts: 673000 | #Constraints: 26462
603.05/604.96 c #Conflicts: 674000 | #Constraints: 27462
603.05/604.96 c #Conflicts: 675000 | #Constraints: 28462
603.05/604.96 c #Conflicts: 676000 | #Constraints: 29462
603.05/604.96 c #Conflicts: 677000 | #Constraints: 30462
603.05/604.96 c #Conflicts: 678000 | #Constraints: 31462
603.05/604.96 c #Conflicts: 679000 | #Constraints: 32462
603.05/604.96 c #Conflicts: 680000 | #Constraints: 33462
603.05/604.96 c #Conflicts: 681000 | #Constraints: 34462
603.05/604.96 c #Conflicts: 682000 | #Constraints: 35462
603.05/604.96 c #Conflicts: 683000 | #Constraints: 36462
603.05/604.96 c #Conflicts: 684000 | #Constraints: 37462
603.05/604.96 c #Conflicts: 685000 | #Constraints: 38463
603.05/604.96 c #Conflicts: 686000 | #Constraints: 39463
603.05/604.96 c #Conflicts: 687000 | #Constraints: 40464
603.05/604.96 c #Conflicts: 688000 | #Constraints: 41464
603.05/604.96 c INPROCESSING
603.05/604.96 c GARBAGE COLLECT
603.05/604.96 c rational objective 3
625.89/627.81 c #Conflicts: 689000 | #Constraints: 26043
625.89/627.81 c #Conflicts: 690000 | #Constraints: 27043
625.89/627.81 c #Conflicts: 691000 | #Constraints: 28043
625.89/627.81 c #Conflicts: 692000 | #Constraints: 29044
625.89/627.81 c #Conflicts: 693000 | #Constraints: 30044
625.89/627.81 c #Conflicts: 694000 | #Constraints: 31044
625.89/627.81 c #Conflicts: 695000 | #Constraints: 32044
625.89/627.81 c #Conflicts: 696000 | #Constraints: 33044
625.89/627.81 c #Conflicts: 697000 | #Constraints: 34044
625.89/627.81 c #Conflicts: 698000 | #Constraints: 35044
625.89/627.81 c #Conflicts: 699000 | #Constraints: 36044
625.89/627.81 c #Conflicts: 700000 | #Constraints: 37044
625.89/627.81 c #Conflicts: 701000 | #Constraints: 38044
625.89/627.81 c #Conflicts: 702000 | #Constraints: 39044
625.89/627.81 c #Conflicts: 703000 | #Constraints: 40045
625.89/627.81 c #Conflicts: 704000 | #Constraints: 41045
625.89/627.81 c #Conflicts: 705000 | #Constraints: 42046
625.89/627.81 c INPROCESSING
625.89/627.81 c GARBAGE COLLECT
625.89/627.81 c rational objective 3
646.12/648.17 c #Conflicts: 706000 | #Constraints: 26393
646.12/648.17 c #Conflicts: 707000 | #Constraints: 27396
646.12/648.17 c #Conflicts: 708000 | #Constraints: 28399
646.12/648.17 c #Conflicts: 709000 | #Constraints: 29400
646.12/648.17 c #Conflicts: 710000 | #Constraints: 30401
646.12/648.17 c #Conflicts: 711000 | #Constraints: 31402
646.12/648.17 c #Conflicts: 712000 | #Constraints: 32404
646.12/648.17 c #Conflicts: 713000 | #Constraints: 33404
646.12/648.17 c #Conflicts: 714000 | #Constraints: 34404
646.12/648.17 c #Conflicts: 715000 | #Constraints: 35405
646.12/648.17 c #Conflicts: 716000 | #Constraints: 36406
646.12/648.17 c #Conflicts: 717000 | #Constraints: 37406
646.12/648.17 c #Conflicts: 718000 | #Constraints: 38406
646.12/648.17 c #Conflicts: 719000 | #Constraints: 39407
646.12/648.17 c #Conflicts: 720000 | #Constraints: 40407
646.12/648.17 c #Conflicts: 721000 | #Constraints: 41408
646.12/648.17 c #Conflicts: 722000 | #Constraints: 42408
646.12/648.17 c INPROCESSING
646.12/648.17 c GARBAGE COLLECT
646.12/648.17 c rational objective 3
663.97/666.05 c #Conflicts: 723000 | #Constraints: 26579
663.97/666.05 c #Conflicts: 724000 | #Constraints: 27580
663.97/666.05 c #Conflicts: 725000 | #Constraints: 28581
663.97/666.05 c #Conflicts: 726000 | #Constraints: 29582
663.97/666.05 c #Conflicts: 727000 | #Constraints: 30583
663.97/666.05 c #Conflicts: 728000 | #Constraints: 31583
663.97/666.05 c #Conflicts: 729000 | #Constraints: 32583
663.97/666.05 c #Conflicts: 730000 | #Constraints: 33584
663.97/666.05 c #Conflicts: 731000 | #Constraints: 34584
663.97/666.05 c #Conflicts: 732000 | #Constraints: 35585
663.97/666.05 c #Conflicts: 733000 | #Constraints: 36588
663.97/666.05 c #Conflicts: 734000 | #Constraints: 37588
663.97/666.05 c #Conflicts: 735000 | #Constraints: 38588
663.97/666.05 c #Conflicts: 736000 | #Constraints: 39588
663.97/666.05 c #Conflicts: 737000 | #Constraints: 40588
663.97/666.05 c #Conflicts: 738000 | #Constraints: 41588
663.97/666.05 c #Conflicts: 739000 | #Constraints: 42588
663.97/666.05 c INPROCESSING
663.97/666.05 c GARBAGE COLLECT
663.97/666.05 c rational objective 3
687.40/689.58 c #Conflicts: 740000 | #Constraints: 26571
687.40/689.58 c #Conflicts: 741000 | #Constraints: 27572
687.40/689.58 c #Conflicts: 742000 | #Constraints: 28572
687.40/689.58 c #Conflicts: 743000 | #Constraints: 29574
687.40/689.58 c #Conflicts: 744000 | #Constraints: 30575
687.40/689.58 c #Conflicts: 745000 | #Constraints: 31576
687.40/689.58 c #Conflicts: 746000 | #Constraints: 32576
687.40/689.58 c #Conflicts: 747000 | #Constraints: 33576
687.40/689.58 c #Conflicts: 748000 | #Constraints: 34576
687.40/689.58 c #Conflicts: 749000 | #Constraints: 35576
687.40/689.58 c #Conflicts: 750000 | #Constraints: 36577
687.40/689.58 c #Conflicts: 751000 | #Constraints: 37579
687.40/689.58 c #Conflicts: 752000 | #Constraints: 38579
687.40/689.58 c #Conflicts: 753000 | #Constraints: 39579
687.40/689.58 c #Conflicts: 754000 | #Constraints: 40581
687.40/689.58 c #Conflicts: 755000 | #Constraints: 41583
687.40/689.58 c #Conflicts: 756000 | #Constraints: 42584
687.40/689.58 c INPROCESSING
687.40/689.58 c GARBAGE COLLECT
687.40/689.58 c rational objective 3
709.83/712.01 c #Conflicts: 757000 | #Constraints: 26379
709.83/712.01 c #Conflicts: 758000 | #Constraints: 27379
709.83/712.01 c #Conflicts: 759000 | #Constraints: 28379
709.83/712.01 c #Conflicts: 760000 | #Constraints: 29380
709.83/712.01 c #Conflicts: 761000 | #Constraints: 30380
709.83/712.01 c #Conflicts: 762000 | #Constraints: 31385
709.83/712.01 c #Conflicts: 763000 | #Constraints: 32387
709.83/712.01 c #Conflicts: 764000 | #Constraints: 33388
709.83/712.01 c #Conflicts: 765000 | #Constraints: 34389
709.83/712.01 c #Conflicts: 766000 | #Constraints: 35389
709.83/712.01 c #Conflicts: 767000 | #Constraints: 36389
709.83/712.01 c #Conflicts: 768000 | #Constraints: 37389
709.83/712.01 c #Conflicts: 769000 | #Constraints: 38389
709.83/712.01 c #Conflicts: 770000 | #Constraints: 39390
709.83/712.01 c #Conflicts: 771000 | #Constraints: 40392
709.83/712.01 c #Conflicts: 772000 | #Constraints: 41392
709.83/712.01 c #Conflicts: 773000 | #Constraints: 42392
709.83/712.01 c #Conflicts: 774000 | #Constraints: 43392
709.83/712.01 c INPROCESSING
709.83/712.01 c GARBAGE COLLECT
709.83/712.01 c rational objective 3
734.55/736.83 c #Conflicts: 775000 | #Constraints: 26906
734.55/736.83 c #Conflicts: 776000 | #Constraints: 27906
734.55/736.83 c #Conflicts: 777000 | #Constraints: 28908
734.55/736.83 c #Conflicts: 778000 | #Constraints: 29909
734.55/736.83 c #Conflicts: 779000 | #Constraints: 30910
734.55/736.83 c #Conflicts: 780000 | #Constraints: 31910
734.55/736.83 c #Conflicts: 781000 | #Constraints: 32911
734.55/736.83 c #Conflicts: 782000 | #Constraints: 33913
734.55/736.83 c #Conflicts: 783000 | #Constraints: 34914
734.55/736.83 c #Conflicts: 784000 | #Constraints: 35916
734.55/736.83 c #Conflicts: 785000 | #Constraints: 36917
734.55/736.83 c #Conflicts: 786000 | #Constraints: 37917
734.55/736.83 c #Conflicts: 787000 | #Constraints: 38918
734.55/736.83 c #Conflicts: 788000 | #Constraints: 39919
734.55/736.83 c #Conflicts: 789000 | #Constraints: 40921
734.55/736.83 c #Conflicts: 790000 | #Constraints: 41922
734.55/736.83 c #Conflicts: 791000 | #Constraints: 42922
734.55/736.83 c #Conflicts: 792000 | #Constraints: 43923
734.55/736.83 c INPROCESSING
734.55/736.83 c GARBAGE COLLECT
734.55/736.83 c rational objective 3
758.08/760.43 c #Conflicts: 793000 | #Constraints: 27299
758.08/760.43 c #Conflicts: 794000 | #Constraints: 28300
758.08/760.43 c #Conflicts: 795000 | #Constraints: 29300
758.08/760.43 c #Conflicts: 796000 | #Constraints: 30301
758.08/760.43 c #Conflicts: 797000 | #Constraints: 31302
758.08/760.43 c #Conflicts: 798000 | #Constraints: 32302
758.08/760.43 c #Conflicts: 799000 | #Constraints: 33302
758.08/760.43 c #Conflicts: 800000 | #Constraints: 34302
758.08/760.43 c #Conflicts: 801000 | #Constraints: 35303
758.08/760.43 c #Conflicts: 802000 | #Constraints: 36303
758.08/760.43 c #Conflicts: 803000 | #Constraints: 37304
758.08/760.43 c #Conflicts: 804000 | #Constraints: 38305
758.08/760.43 c #Conflicts: 805000 | #Constraints: 39305
758.08/760.43 c #Conflicts: 806000 | #Constraints: 40305
758.08/760.43 c #Conflicts: 807000 | #Constraints: 41306
758.08/760.43 c #Conflicts: 808000 | #Constraints: 42306
758.08/760.43 c #Conflicts: 809000 | #Constraints: 43306
758.08/760.43 c #Conflicts: 810000 | #Constraints: 44307
758.08/760.43 c INPROCESSING
758.08/760.43 c GARBAGE COLLECT
758.08/760.43 c rational objective 3
780.72/783.13 c #Conflicts: 811000 | #Constraints: 27489
780.72/783.13 c #Conflicts: 812000 | #Constraints: 28489
780.72/783.13 c #Conflicts: 813000 | #Constraints: 29490
780.72/783.13 c #Conflicts: 814000 | #Constraints: 30491
780.72/783.13 c #Conflicts: 815000 | #Constraints: 31492
780.72/783.13 c #Conflicts: 816000 | #Constraints: 32492
780.72/783.13 c #Conflicts: 817000 | #Constraints: 33493
780.72/783.13 c #Conflicts: 818000 | #Constraints: 34495
780.72/783.13 c #Conflicts: 819000 | #Constraints: 35496
780.72/783.13 c #Conflicts: 820000 | #Constraints: 36497
780.72/783.13 c #Conflicts: 821000 | #Constraints: 37497
780.72/783.13 c #Conflicts: 822000 | #Constraints: 38499
780.72/783.13 c #Conflicts: 823000 | #Constraints: 39500
780.72/783.13 c #Conflicts: 824000 | #Constraints: 40501
780.72/783.13 c #Conflicts: 825000 | #Constraints: 41501
780.72/783.13 c #Conflicts: 826000 | #Constraints: 42501
780.72/783.13 c #Conflicts: 827000 | #Constraints: 43501
780.72/783.13 c #Conflicts: 828000 | #Constraints: 44501
780.72/783.13 c INPROCESSING
780.72/783.13 c GARBAGE COLLECT
780.72/783.13 c rational objective 3
810.22/812.73 c #Conflicts: 829000 | #Constraints: 27488
810.22/812.73 c #Conflicts: 830000 | #Constraints: 28488
810.22/812.73 c #Conflicts: 831000 | #Constraints: 29488
810.22/812.73 c #Conflicts: 832000 | #Constraints: 30488
810.22/812.73 c #Conflicts: 833000 | #Constraints: 31488
810.22/812.73 c #Conflicts: 834000 | #Constraints: 32488
810.22/812.73 c #Conflicts: 835000 | #Constraints: 33488
810.22/812.73 c #Conflicts: 836000 | #Constraints: 34488
810.22/812.73 c #Conflicts: 837000 | #Constraints: 35488
810.22/812.73 c #Conflicts: 838000 | #Constraints: 36488
810.22/812.73 c #Conflicts: 839000 | #Constraints: 37488
810.22/812.73 c #Conflicts: 840000 | #Constraints: 38488
810.22/812.73 c #Conflicts: 841000 | #Constraints: 39488
810.22/812.73 c #Conflicts: 842000 | #Constraints: 40488
810.22/812.73 c #Conflicts: 843000 | #Constraints: 41488
810.22/812.73 c #Conflicts: 844000 | #Constraints: 42488
810.22/812.73 c #Conflicts: 845000 | #Constraints: 43488
810.22/812.73 c #Conflicts: 846000 | #Constraints: 44489
810.22/812.73 c INPROCESSING
810.22/812.73 c GARBAGE COLLECT
810.22/812.73 c rational objective 3
831.56/834.13 c #Conflicts: 847000 | #Constraints: 27255
831.56/834.13 c #Conflicts: 848000 | #Constraints: 28255
831.56/834.13 c #Conflicts: 849000 | #Constraints: 29255
831.56/834.13 c #Conflicts: 850000 | #Constraints: 30258
831.56/834.13 c #Conflicts: 851000 | #Constraints: 31261
831.56/834.13 c #Conflicts: 852000 | #Constraints: 32261
831.56/834.13 c #Conflicts: 853000 | #Constraints: 33262
831.56/834.13 c #Conflicts: 854000 | #Constraints: 34263
831.56/834.13 c #Conflicts: 855000 | #Constraints: 35264
831.56/834.13 c #Conflicts: 856000 | #Constraints: 36265
831.56/834.13 c #Conflicts: 857000 | #Constraints: 37265
831.56/834.13 c #Conflicts: 858000 | #Constraints: 38265
831.56/834.13 c #Conflicts: 859000 | #Constraints: 39265
831.56/834.13 c #Conflicts: 860000 | #Constraints: 40267
831.56/834.13 c #Conflicts: 861000 | #Constraints: 41267
831.56/834.13 c #Conflicts: 862000 | #Constraints: 42267
831.56/834.13 c #Conflicts: 863000 | #Constraints: 43267
831.56/834.13 c #Conflicts: 864000 | #Constraints: 44267
831.56/834.13 c #Conflicts: 865000 | #Constraints: 45269
831.56/834.13 c INPROCESSING
831.56/834.13 c GARBAGE COLLECT
831.56/834.13 c rational objective 3
857.58/860.24 c #Conflicts: 866000 | #Constraints: 27877
857.58/860.24 c #Conflicts: 867000 | #Constraints: 28877
857.58/860.24 c #Conflicts: 868000 | #Constraints: 29878
857.58/860.24 c #Conflicts: 869000 | #Constraints: 30880
857.58/860.24 c #Conflicts: 870000 | #Constraints: 31881
857.58/860.24 c #Conflicts: 871000 | #Constraints: 32881
857.58/860.24 c #Conflicts: 872000 | #Constraints: 33882
857.58/860.24 c #Conflicts: 873000 | #Constraints: 34888
857.58/860.24 c #Conflicts: 874000 | #Constraints: 35890
857.58/860.24 c #Conflicts: 875000 | #Constraints: 36891
857.58/860.24 c #Conflicts: 876000 | #Constraints: 37891
857.58/860.24 c #Conflicts: 877000 | #Constraints: 38892
857.58/860.24 c #Conflicts: 878000 | #Constraints: 39893
857.58/860.24 c #Conflicts: 879000 | #Constraints: 40894
857.58/860.24 c #Conflicts: 880000 | #Constraints: 41895
857.58/860.24 c #Conflicts: 881000 | #Constraints: 42897
857.58/860.24 c #Conflicts: 882000 | #Constraints: 43898
857.58/860.24 c #Conflicts: 883000 | #Constraints: 44900
857.58/860.24 c #Conflicts: 884000 | #Constraints: 45900
857.58/860.24 c INPROCESSING
857.58/860.24 c GARBAGE COLLECT
857.58/860.24 c rational objective 3
882.41/885.19 c #Conflicts: 885000 | #Constraints: 28304
882.41/885.19 c #Conflicts: 886000 | #Constraints: 29304
882.41/885.19 c #Conflicts: 887000 | #Constraints: 30305
882.41/885.19 c #Conflicts: 888000 | #Constraints: 31306
882.41/885.19 c #Conflicts: 889000 | #Constraints: 32306
882.41/885.19 c #Conflicts: 890000 | #Constraints: 33306
882.41/885.19 c #Conflicts: 891000 | #Constraints: 34308
882.41/885.19 c #Conflicts: 892000 | #Constraints: 35310
882.41/885.19 c #Conflicts: 893000 | #Constraints: 36311
882.41/885.19 c #Conflicts: 894000 | #Constraints: 37313
882.41/885.19 c #Conflicts: 895000 | #Constraints: 38313
882.41/885.19 c #Conflicts: 896000 | #Constraints: 39313
882.41/885.19 c #Conflicts: 897000 | #Constraints: 40314
882.41/885.19 c #Conflicts: 898000 | #Constraints: 41315
882.41/885.19 c #Conflicts: 899000 | #Constraints: 42316
882.41/885.19 c #Conflicts: 900000 | #Constraints: 43317
882.41/885.19 c #Conflicts: 901000 | #Constraints: 44317
882.41/885.19 c #Conflicts: 902000 | #Constraints: 45317
882.41/885.19 c #Conflicts: 903000 | #Constraints: 46318
882.41/885.19 c INPROCESSING
882.41/885.19 c GARBAGE COLLECT
882.41/885.19 c rational objective 3
908.13/910.96 c #Conflicts: 904000 | #Constraints: 28488
908.13/910.96 c #Conflicts: 905000 | #Constraints: 29488
908.13/910.96 c #Conflicts: 906000 | #Constraints: 30489
908.13/910.96 c #Conflicts: 907000 | #Constraints: 31489
908.13/910.96 c #Conflicts: 908000 | #Constraints: 32489
908.13/910.96 c #Conflicts: 909000 | #Constraints: 33490
908.13/910.96 c #Conflicts: 910000 | #Constraints: 34490
908.13/910.96 c #Conflicts: 911000 | #Constraints: 35491
908.13/910.96 c #Conflicts: 912000 | #Constraints: 36491
908.13/910.96 c #Conflicts: 913000 | #Constraints: 37492
908.13/910.96 c #Conflicts: 914000 | #Constraints: 38492
908.13/910.96 c #Conflicts: 915000 | #Constraints: 39492
908.13/910.96 c #Conflicts: 916000 | #Constraints: 40492
908.13/910.96 c #Conflicts: 917000 | #Constraints: 41492
908.13/910.96 c #Conflicts: 918000 | #Constraints: 42492
908.13/910.96 c #Conflicts: 919000 | #Constraints: 43492
908.13/910.96 c #Conflicts: 920000 | #Constraints: 44493
908.13/910.96 c #Conflicts: 921000 | #Constraints: 45493
908.13/910.96 c #Conflicts: 922000 | #Constraints: 46493
908.13/910.96 c INPROCESSING
908.13/910.96 c GARBAGE COLLECT
908.13/910.96 c rational objective 3
934.58/937.49 c #Conflicts: 923000 | #Constraints: 28515
934.58/937.49 c #Conflicts: 924000 | #Constraints: 29515
934.58/937.49 c #Conflicts: 925000 | #Constraints: 30515
934.58/937.49 c #Conflicts: 926000 | #Constraints: 31517
934.58/937.49 c #Conflicts: 927000 | #Constraints: 32518
934.58/937.49 c #Conflicts: 928000 | #Constraints: 33518
934.58/937.49 c #Conflicts: 929000 | #Constraints: 34518
934.58/937.49 c #Conflicts: 930000 | #Constraints: 35518
934.58/937.49 c #Conflicts: 931000 | #Constraints: 36518
934.58/937.49 c #Conflicts: 932000 | #Constraints: 37518
934.58/937.49 c #Conflicts: 933000 | #Constraints: 38521
934.58/937.49 c #Conflicts: 934000 | #Constraints: 39525
934.58/937.49 c #Conflicts: 935000 | #Constraints: 40526
934.58/937.49 c #Conflicts: 936000 | #Constraints: 41528
934.58/937.49 c #Conflicts: 937000 | #Constraints: 42528
934.58/937.49 c #Conflicts: 938000 | #Constraints: 43528
934.58/937.49 c #Conflicts: 939000 | #Constraints: 44528
934.58/937.49 c #Conflicts: 940000 | #Constraints: 45529
934.58/937.49 c #Conflicts: 941000 | #Constraints: 46531
934.58/937.49 c INPROCESSING
934.58/937.49 c GARBAGE COLLECT
934.58/937.49 c rational objective 3
966.50/969.44 c #Conflicts: 942000 | #Constraints: 28317
966.50/969.44 c #Conflicts: 943000 | #Constraints: 29317
966.50/969.44 c #Conflicts: 944000 | #Constraints: 30317
966.50/969.44 c #Conflicts: 945000 | #Constraints: 31319
966.50/969.44 c #Conflicts: 946000 | #Constraints: 32320
966.50/969.44 c #Conflicts: 947000 | #Constraints: 33322
966.50/969.44 c #Conflicts: 948000 | #Constraints: 34322
966.50/969.44 c #Conflicts: 949000 | #Constraints: 35322
966.50/969.44 c #Conflicts: 950000 | #Constraints: 36322
966.50/969.44 c #Conflicts: 951000 | #Constraints: 37323
966.50/969.44 c #Conflicts: 952000 | #Constraints: 38323
966.50/969.44 c #Conflicts: 953000 | #Constraints: 39323
966.50/969.44 c #Conflicts: 954000 | #Constraints: 40324
966.50/969.44 c #Conflicts: 955000 | #Constraints: 41325
966.50/969.44 c #Conflicts: 956000 | #Constraints: 42325
966.50/969.44 c #Conflicts: 957000 | #Constraints: 43325
966.50/969.44 c #Conflicts: 958000 | #Constraints: 44326
966.50/969.44 c #Conflicts: 959000 | #Constraints: 45326
966.50/969.44 c #Conflicts: 960000 | #Constraints: 46327
966.50/969.44 c #Conflicts: 961000 | #Constraints: 47327
966.50/969.44 c INPROCESSING
966.50/969.44 c GARBAGE COLLECT
966.50/969.44 c rational objective 3
994.03/997.02 c #Conflicts: 962000 | #Constraints: 28885
994.03/997.02 c #Conflicts: 963000 | #Constraints: 29887
994.03/997.02 c #Conflicts: 964000 | #Constraints: 30888
994.03/997.02 c #Conflicts: 965000 | #Constraints: 31889
994.03/997.02 c #Conflicts: 966000 | #Constraints: 32893
994.03/997.02 c #Conflicts: 967000 | #Constraints: 33894
994.03/997.02 c #Conflicts: 968000 | #Constraints: 34895
994.03/997.02 c #Conflicts: 969000 | #Constraints: 35897
994.03/997.02 c #Conflicts: 970000 | #Constraints: 36898
994.03/997.02 c #Conflicts: 971000 | #Constraints: 37900
994.03/997.02 c #Conflicts: 972000 | #Constraints: 38902
994.03/997.02 c #Conflicts: 973000 | #Constraints: 39904
994.03/997.02 c #Conflicts: 974000 | #Constraints: 40906
994.03/997.02 c #Conflicts: 975000 | #Constraints: 41906
994.03/997.02 c #Conflicts: 976000 | #Constraints: 42908
994.03/997.02 c #Conflicts: 977000 | #Constraints: 43908
994.03/997.02 c #Conflicts: 978000 | #Constraints: 44908
994.03/997.02 c #Conflicts: 979000 | #Constraints: 45908
994.03/997.02 c #Conflicts: 980000 | #Constraints: 46909
994.03/997.02 c #Conflicts: 981000 | #Constraints: 47910
994.03/997.02 c INPROCESSING
994.03/997.02 c GARBAGE COLLECT
994.03/997.02 c rational objective 3
1018.36/1021.47 c #Conflicts: 982000 | #Constraints: 29283
1018.36/1021.47 c #Conflicts: 983000 | #Constraints: 30283
1018.36/1021.47 c #Conflicts: 984000 | #Constraints: 31283
1018.36/1021.47 c #Conflicts: 985000 | #Constraints: 32285
1018.36/1021.47 c #Conflicts: 986000 | #Constraints: 33286
1018.36/1021.47 c #Conflicts: 987000 | #Constraints: 34287
1018.36/1021.47 c #Conflicts: 988000 | #Constraints: 35287
1018.36/1021.47 c #Conflicts: 989000 | #Constraints: 36287
1018.36/1021.47 c #Conflicts: 990000 | #Constraints: 37290
1018.36/1021.47 c #Conflicts: 991000 | #Constraints: 38290
1018.36/1021.47 c #Conflicts: 992000 | #Constraints: 39291
1018.36/1021.47 c #Conflicts: 993000 | #Constraints: 40293
1018.36/1021.47 c #Conflicts: 994000 | #Constraints: 41293
1018.36/1021.47 c #Conflicts: 995000 | #Constraints: 42294
1018.36/1021.47 c #Conflicts: 996000 | #Constraints: 43296
1018.36/1021.47 c #Conflicts: 997000 | #Constraints: 44298
1018.36/1021.47 c #Conflicts: 998000 | #Constraints: 45298
1018.36/1021.47 c #Conflicts: 999000 | #Constraints: 46298
1018.36/1021.47 c #Conflicts: 1000000 | #Constraints: 47299
1018.36/1021.47 c #Conflicts: 1001000 | #Constraints: 48301
1018.36/1021.47 c INPROCESSING
1018.36/1021.47 c GARBAGE COLLECT
1018.36/1021.47 c rational objective 3
1052.37/1055.54 c #Conflicts: 1002000 | #Constraints: 29469
1052.37/1055.54 c #Conflicts: 1003000 | #Constraints: 30478
1052.37/1055.54 c #Conflicts: 1004000 | #Constraints: 31489
1052.37/1055.54 c #Conflicts: 1005000 | #Constraints: 32493
1052.37/1055.54 c #Conflicts: 1006000 | #Constraints: 33494
1052.37/1055.54 c #Conflicts: 1007000 | #Constraints: 34496
1052.37/1055.54 c #Conflicts: 1008000 | #Constraints: 35497
1052.37/1055.54 c #Conflicts: 1009000 | #Constraints: 36498
1052.37/1055.54 c #Conflicts: 1010000 | #Constraints: 37498
1052.37/1055.54 c #Conflicts: 1011000 | #Constraints: 38501
1052.37/1055.54 c #Conflicts: 1012000 | #Constraints: 39506
1052.37/1055.54 c #Conflicts: 1013000 | #Constraints: 40516
1052.37/1055.54 c #Conflicts: 1014000 | #Constraints: 41518
1052.37/1055.54 c #Conflicts: 1015000 | #Constraints: 42518
1052.37/1055.54 c #Conflicts: 1016000 | #Constraints: 43518
1052.37/1055.54 c #Conflicts: 1017000 | #Constraints: 44518
1052.37/1055.54 c #Conflicts: 1018000 | #Constraints: 45518
1052.37/1055.54 c #Conflicts: 1019000 | #Constraints: 46519
1052.37/1055.54 c #Conflicts: 1020000 | #Constraints: 47519
1052.37/1055.54 c #Conflicts: 1021000 | #Constraints: 48519
1052.37/1055.54 c INPROCESSING
1052.37/1055.54 c GARBAGE COLLECT
1052.37/1055.54 c rational objective 3
1081.50/1084.78 c #Conflicts: 1022000 | #Constraints: 29489
1081.50/1084.78 c #Conflicts: 1023000 | #Constraints: 30489
1081.50/1084.78 c #Conflicts: 1024000 | #Constraints: 31489
1081.50/1084.78 c #Conflicts: 1025000 | #Constraints: 32489
1081.50/1084.78 c #Conflicts: 1026000 | #Constraints: 33489
1081.50/1084.78 c #Conflicts: 1027000 | #Constraints: 34490
1081.50/1084.78 c #Conflicts: 1028000 | #Constraints: 35490
1081.50/1084.78 c #Conflicts: 1029000 | #Constraints: 36491
1081.50/1084.78 c #Conflicts: 1030000 | #Constraints: 37494
1081.50/1084.78 c #Conflicts: 1031000 | #Constraints: 38494
1081.50/1084.78 c #Conflicts: 1032000 | #Constraints: 39495
1081.50/1084.78 c #Conflicts: 1033000 | #Constraints: 40495
1081.50/1084.78 c #Conflicts: 1034000 | #Constraints: 41497
1081.50/1084.78 c #Conflicts: 1035000 | #Constraints: 42498
1081.50/1084.78 c #Conflicts: 1036000 | #Constraints: 43499
1081.50/1084.78 c #Conflicts: 1037000 | #Constraints: 44500
1081.50/1084.78 c #Conflicts: 1038000 | #Constraints: 45500
1081.50/1084.78 c #Conflicts: 1039000 | #Constraints: 46501
1081.50/1084.78 c #Conflicts: 1040000 | #Constraints: 47501
1081.50/1084.78 c #Conflicts: 1041000 | #Constraints: 48502
1081.50/1084.78 c INPROCESSING
1081.50/1084.78 c GARBAGE COLLECT
1081.50/1084.78 c rational objective 3
1112.42/1115.79 c #Conflicts: 1042000 | #Constraints: 29296
1112.42/1115.79 c #Conflicts: 1043000 | #Constraints: 30296
1112.42/1115.79 c #Conflicts: 1044000 | #Constraints: 31297
1112.42/1115.79 c #Conflicts: 1045000 | #Constraints: 32300
1112.42/1115.79 c #Conflicts: 1046000 | #Constraints: 33301
1112.42/1115.79 c #Conflicts: 1047000 | #Constraints: 34306
1112.42/1115.79 c #Conflicts: 1048000 | #Constraints: 35307
1112.42/1115.79 c #Conflicts: 1049000 | #Constraints: 36307
1112.42/1115.79 c #Conflicts: 1050000 | #Constraints: 37308
1112.42/1115.79 c #Conflicts: 1051000 | #Constraints: 38308
1112.42/1115.79 c #Conflicts: 1052000 | #Constraints: 39309
1112.42/1115.79 c #Conflicts: 1053000 | #Constraints: 40309
1112.42/1115.79 c #Conflicts: 1054000 | #Constraints: 41309
1112.42/1115.79 c #Conflicts: 1055000 | #Constraints: 42309
1112.42/1115.79 c #Conflicts: 1056000 | #Constraints: 43310
1112.42/1115.79 c #Conflicts: 1057000 | #Constraints: 44310
1112.42/1115.79 c #Conflicts: 1058000 | #Constraints: 45310
1112.42/1115.79 c #Conflicts: 1059000 | #Constraints: 46310
1112.42/1115.79 c #Conflicts: 1060000 | #Constraints: 47310
1112.42/1115.79 c #Conflicts: 1061000 | #Constraints: 48310
1112.42/1115.79 c #Conflicts: 1062000 | #Constraints: 49310
1112.42/1115.79 c INPROCESSING
1112.42/1115.79 c GARBAGE COLLECT
1112.42/1115.79 c rational objective 3
1141.85/1145.20 c #Conflicts: 1063000 | #Constraints: 29884
1141.85/1145.20 c #Conflicts: 1064000 | #Constraints: 30884
1141.85/1145.20 c #Conflicts: 1065000 | #Constraints: 31884
1141.85/1145.20 c #Conflicts: 1066000 | #Constraints: 32884
1141.85/1145.20 c #Conflicts: 1067000 | #Constraints: 33884
1141.85/1145.20 c #Conflicts: 1068000 | #Constraints: 34887
1141.85/1145.20 c #Conflicts: 1069000 | #Constraints: 35887
1141.85/1145.20 c #Conflicts: 1070000 | #Constraints: 36888
1141.85/1145.20 c #Conflicts: 1071000 | #Constraints: 37888
1141.85/1145.20 c #Conflicts: 1072000 | #Constraints: 38889
1141.85/1145.20 c #Conflicts: 1073000 | #Constraints: 39890
1141.85/1145.20 c #Conflicts: 1074000 | #Constraints: 40890
1141.85/1145.20 c #Conflicts: 1075000 | #Constraints: 41891
1141.85/1145.20 c #Conflicts: 1076000 | #Constraints: 42891
1141.85/1145.20 c #Conflicts: 1077000 | #Constraints: 43893
1141.85/1145.20 c #Conflicts: 1078000 | #Constraints: 44893
1141.85/1145.20 c #Conflicts: 1079000 | #Constraints: 45893
1141.85/1145.20 c #Conflicts: 1080000 | #Constraints: 46894
1141.85/1145.20 c #Conflicts: 1081000 | #Constraints: 47894
1141.85/1145.20 c #Conflicts: 1082000 | #Constraints: 48895
1141.85/1145.20 c #Conflicts: 1083000 | #Constraints: 49896
1141.85/1145.20 c INPROCESSING
1141.85/1145.20 c GARBAGE COLLECT
1141.85/1145.20 c rational objective 3
1180.05/1183.51 c #Conflicts: 1084000 | #Constraints: 30217
1180.05/1183.51 c #Conflicts: 1085000 | #Constraints: 31219
1180.05/1183.51 c #Conflicts: 1086000 | #Constraints: 32220
1180.05/1183.51 c #Conflicts: 1087000 | #Constraints: 33220
1180.05/1183.51 c #Conflicts: 1088000 | #Constraints: 34220
1180.05/1183.51 c #Conflicts: 1089000 | #Constraints: 35220
1180.05/1183.51 c #Conflicts: 1090000 | #Constraints: 36220
1180.05/1183.51 c #Conflicts: 1091000 | #Constraints: 37220
1180.05/1183.51 c #Conflicts: 1092000 | #Constraints: 38221
1180.05/1183.51 c #Conflicts: 1093000 | #Constraints: 39221
1180.05/1183.51 c #Conflicts: 1094000 | #Constraints: 40221
1180.05/1183.51 c #Conflicts: 1095000 | #Constraints: 41223
1180.05/1183.51 c #Conflicts: 1096000 | #Constraints: 42223
1180.05/1183.51 c #Conflicts: 1097000 | #Constraints: 43224
1180.05/1183.51 c #Conflicts: 1098000 | #Constraints: 44224
1180.05/1183.51 c #Conflicts: 1099000 | #Constraints: 45224
1180.05/1183.51 c #Conflicts: 1100000 | #Constraints: 46224
1180.05/1183.51 c #Conflicts: 1101000 | #Constraints: 47226
1180.05/1183.51 c #Conflicts: 1102000 | #Constraints: 48226
1180.05/1183.51 c #Conflicts: 1103000 | #Constraints: 49226
1180.05/1183.51 c #Conflicts: 1104000 | #Constraints: 50226
1180.05/1183.51 c INPROCESSING
1180.05/1183.51 c GARBAGE COLLECT
1180.05/1183.51 c rational objective 3
1210.07/1213.62 c #Conflicts: 1105000 | #Constraints: 30406
1210.07/1213.62 c #Conflicts: 1106000 | #Constraints: 31407
1210.07/1213.62 c #Conflicts: 1107000 | #Constraints: 32408
1210.07/1213.62 c #Conflicts: 1108000 | #Constraints: 33409
1210.07/1213.62 c #Conflicts: 1109000 | #Constraints: 34410
1210.07/1213.62 c #Conflicts: 1110000 | #Constraints: 35411
1210.07/1213.62 c #Conflicts: 1111000 | #Constraints: 36411
1210.07/1213.62 c #Conflicts: 1112000 | #Constraints: 37412
1210.07/1213.62 c #Conflicts: 1113000 | #Constraints: 38412
1210.07/1213.62 c #Conflicts: 1114000 | #Constraints: 39412
1210.07/1213.62 c #Conflicts: 1115000 | #Constraints: 40412
1210.07/1213.62 c #Conflicts: 1116000 | #Constraints: 41412
1210.07/1213.62 c #Conflicts: 1117000 | #Constraints: 42412
1210.07/1213.62 c #Conflicts: 1118000 | #Constraints: 43412
1210.07/1213.62 c #Conflicts: 1119000 | #Constraints: 44412
1210.07/1213.62 c #Conflicts: 1120000 | #Constraints: 45413
1210.07/1213.62 c #Conflicts: 1121000 | #Constraints: 46414
1210.07/1213.62 c #Conflicts: 1122000 | #Constraints: 47414
1210.07/1213.62 c #Conflicts: 1123000 | #Constraints: 48415
1210.07/1213.62 c #Conflicts: 1124000 | #Constraints: 49417
1210.07/1213.62 c #Conflicts: 1125000 | #Constraints: 50418
1210.07/1213.62 c INPROCESSING
1210.07/1213.62 c GARBAGE COLLECT
1210.07/1213.62 c rational objective 3
1244.68/1248.39 c #Conflicts: 1126000 | #Constraints: 30341
1244.68/1248.39 c #Conflicts: 1127000 | #Constraints: 31341
1244.68/1248.39 c #Conflicts: 1128000 | #Constraints: 32342
1244.68/1248.39 c #Conflicts: 1129000 | #Constraints: 33342
1244.68/1248.39 c #Conflicts: 1130000 | #Constraints: 34342
1244.68/1248.39 c #Conflicts: 1131000 | #Constraints: 35342
1244.68/1248.39 c #Conflicts: 1132000 | #Constraints: 36342
1244.68/1248.39 c #Conflicts: 1133000 | #Constraints: 37343
1244.68/1248.39 c #Conflicts: 1134000 | #Constraints: 38343
1244.68/1248.39 c #Conflicts: 1135000 | #Constraints: 39343
1244.68/1248.39 c #Conflicts: 1136000 | #Constraints: 40343
1244.68/1248.39 c #Conflicts: 1137000 | #Constraints: 41343
1244.68/1248.39 c #Conflicts: 1138000 | #Constraints: 42343
1244.68/1248.39 c #Conflicts: 1139000 | #Constraints: 43343
1244.68/1248.39 c #Conflicts: 1140000 | #Constraints: 44343
1244.68/1248.39 c #Conflicts: 1141000 | #Constraints: 45343
1244.68/1248.39 c #Conflicts: 1142000 | #Constraints: 46344
1244.68/1248.39 c #Conflicts: 1143000 | #Constraints: 47344
1244.68/1248.39 c #Conflicts: 1144000 | #Constraints: 48344
1244.68/1248.39 c #Conflicts: 1145000 | #Constraints: 49344
1244.68/1248.39 c #Conflicts: 1146000 | #Constraints: 50344
1244.68/1248.39 c INPROCESSING
1244.68/1248.39 c GARBAGE COLLECT
1244.68/1248.39 c rational objective 3
1276.20/1279.93 c #Conflicts: 1147000 | #Constraints: 30077
1276.20/1279.93 c #Conflicts: 1148000 | #Constraints: 31078
1276.20/1279.93 c #Conflicts: 1149000 | #Constraints: 32078
1276.20/1279.93 c #Conflicts: 1150000 | #Constraints: 33080
1276.20/1279.93 c #Conflicts: 1151000 | #Constraints: 34081
1276.20/1279.93 c #Conflicts: 1152000 | #Constraints: 35082
1276.20/1279.93 c #Conflicts: 1153000 | #Constraints: 36083
1276.20/1279.93 c #Conflicts: 1154000 | #Constraints: 37083
1276.20/1279.93 c #Conflicts: 1155000 | #Constraints: 38084
1276.20/1279.93 c #Conflicts: 1156000 | #Constraints: 39085
1276.20/1279.93 c #Conflicts: 1157000 | #Constraints: 40086
1276.20/1279.93 c #Conflicts: 1158000 | #Constraints: 41087
1276.20/1279.93 c #Conflicts: 1159000 | #Constraints: 42087
1276.20/1279.93 c #Conflicts: 1160000 | #Constraints: 43087
1276.20/1279.93 c #Conflicts: 1161000 | #Constraints: 44088
1276.20/1279.93 c #Conflicts: 1162000 | #Constraints: 45089
1276.20/1279.93 c #Conflicts: 1163000 | #Constraints: 46090
1276.20/1279.93 c #Conflicts: 1164000 | #Constraints: 47090
1276.20/1279.93 c #Conflicts: 1165000 | #Constraints: 48092
1276.20/1279.93 c #Conflicts: 1166000 | #Constraints: 49096
1276.20/1279.93 c #Conflicts: 1167000 | #Constraints: 50097
1276.20/1279.93 c #Conflicts: 1168000 | #Constraints: 51097
1276.20/1279.93 c INPROCESSING
1276.20/1279.93 c GARBAGE COLLECT
1276.20/1279.93 c rational objective 3
1306.73/1310.59 c #Conflicts: 1169000 | #Constraints: 30616
1306.73/1310.59 c #Conflicts: 1170000 | #Constraints: 31616
1306.73/1310.59 c #Conflicts: 1171000 | #Constraints: 32617
1306.73/1310.59 c #Conflicts: 1172000 | #Constraints: 33617
1306.73/1310.59 c #Conflicts: 1173000 | #Constraints: 34617
1306.73/1310.59 c #Conflicts: 1174000 | #Constraints: 35617
1306.73/1310.59 c #Conflicts: 1175000 | #Constraints: 36619
1306.73/1310.59 c #Conflicts: 1176000 | #Constraints: 37619
1306.73/1310.59 c #Conflicts: 1177000 | #Constraints: 38619
1306.73/1310.59 c #Conflicts: 1178000 | #Constraints: 39620
1306.73/1310.59 c #Conflicts: 1179000 | #Constraints: 40620
1306.73/1310.59 c #Conflicts: 1180000 | #Constraints: 41621
1306.73/1310.59 c #Conflicts: 1181000 | #Constraints: 42621
1306.73/1310.59 c #Conflicts: 1182000 | #Constraints: 43622
1306.73/1310.59 c #Conflicts: 1183000 | #Constraints: 44622
1306.73/1310.59 c #Conflicts: 1184000 | #Constraints: 45622
1306.73/1310.59 c #Conflicts: 1185000 | #Constraints: 46623
1306.73/1310.59 c #Conflicts: 1186000 | #Constraints: 47623
1306.73/1310.59 c #Conflicts: 1187000 | #Constraints: 48626
1306.73/1310.59 c #Conflicts: 1188000 | #Constraints: 49626
1306.73/1310.59 c #Conflicts: 1189000 | #Constraints: 50627
1306.73/1310.59 c #Conflicts: 1190000 | #Constraints: 51628
1306.73/1310.59 c INPROCESSING
1306.73/1310.59 c GARBAGE COLLECT
1306.73/1310.59 c rational objective 3
1342.14/1346.10 c #Conflicts: 1191000 | #Constraints: 31034
1342.14/1346.10 c #Conflicts: 1192000 | #Constraints: 32034
1342.14/1346.10 c #Conflicts: 1193000 | #Constraints: 33035
1342.14/1346.10 c #Conflicts: 1194000 | #Constraints: 34036
1342.14/1346.10 c #Conflicts: 1195000 | #Constraints: 35038
1342.14/1346.10 c #Conflicts: 1196000 | #Constraints: 36041
1342.14/1346.10 c #Conflicts: 1197000 | #Constraints: 37041
1342.14/1346.10 c #Conflicts: 1198000 | #Constraints: 38041
1342.14/1346.10 c #Conflicts: 1199000 | #Constraints: 39043
1342.14/1346.10 c #Conflicts: 1200000 | #Constraints: 40044
1342.14/1346.10 c #Conflicts: 1201000 | #Constraints: 41046
1342.14/1346.10 c #Conflicts: 1202000 | #Constraints: 42046
1342.14/1346.10 c #Conflicts: 1203000 | #Constraints: 43046
1342.14/1346.10 c #Conflicts: 1204000 | #Constraints: 44046
1342.14/1346.10 c #Conflicts: 1205000 | #Constraints: 45046
1342.14/1346.10 c #Conflicts: 1206000 | #Constraints: 46047
1342.14/1346.10 c #Conflicts: 1207000 | #Constraints: 47047
1342.14/1346.10 c #Conflicts: 1208000 | #Constraints: 48047
1342.14/1346.10 c #Conflicts: 1209000 | #Constraints: 49047
1342.14/1346.10 c #Conflicts: 1210000 | #Constraints: 50048
1342.14/1346.10 c #Conflicts: 1211000 | #Constraints: 51048
1342.14/1346.10 c #Conflicts: 1212000 | #Constraints: 52048
1342.14/1346.10 c INPROCESSING
1342.14/1346.10 c GARBAGE COLLECT
1342.14/1346.10 c rational objective 3
1378.43/1382.42 c #Conflicts: 1213000 | #Constraints: 31193
1378.43/1382.42 c #Conflicts: 1214000 | #Constraints: 32193
1378.43/1382.42 c #Conflicts: 1215000 | #Constraints: 33195
1378.43/1382.42 c #Conflicts: 1216000 | #Constraints: 34196
1378.43/1382.42 c #Conflicts: 1217000 | #Constraints: 35197
1378.43/1382.42 c #Conflicts: 1218000 | #Constraints: 36197
1378.43/1382.42 c #Conflicts: 1219000 | #Constraints: 37197
1378.43/1382.42 c #Conflicts: 1220000 | #Constraints: 38199
1378.43/1382.42 c #Conflicts: 1221000 | #Constraints: 39202
1378.43/1382.42 c #Conflicts: 1222000 | #Constraints: 40202
1378.43/1382.42 c #Conflicts: 1223000 | #Constraints: 41203
1378.43/1382.42 c #Conflicts: 1224000 | #Constraints: 42204
1378.43/1382.42 c #Conflicts: 1225000 | #Constraints: 43204
1378.43/1382.42 c #Conflicts: 1226000 | #Constraints: 44204
1378.43/1382.42 c #Conflicts: 1227000 | #Constraints: 45205
1378.43/1382.42 c #Conflicts: 1228000 | #Constraints: 46207
1378.43/1382.42 c #Conflicts: 1229000 | #Constraints: 47207
1378.43/1382.42 c #Conflicts: 1230000 | #Constraints: 48210
1378.43/1382.42 c #Conflicts: 1231000 | #Constraints: 49212
1378.43/1382.42 c #Conflicts: 1232000 | #Constraints: 50212
1378.43/1382.42 c #Conflicts: 1233000 | #Constraints: 51212
1378.43/1382.42 c #Conflicts: 1234000 | #Constraints: 52213
1378.43/1382.42 c INPROCESSING
1378.43/1382.42 c GARBAGE COLLECT
1378.43/1382.42 c rational objective 3
1412.73/1416.84 c #Conflicts: 1235000 | #Constraints: 31091
1412.73/1416.84 c #Conflicts: 1236000 | #Constraints: 32091
1412.73/1416.84 c #Conflicts: 1237000 | #Constraints: 33092
1412.73/1416.84 c #Conflicts: 1238000 | #Constraints: 34093
1412.73/1416.84 c #Conflicts: 1239000 | #Constraints: 35093
1412.73/1416.84 c #Conflicts: 1240000 | #Constraints: 36095
1412.73/1416.84 c #Conflicts: 1241000 | #Constraints: 37097
1412.73/1416.84 c #Conflicts: 1242000 | #Constraints: 38098
1412.73/1416.84 c #Conflicts: 1243000 | #Constraints: 39099
1412.73/1416.84 c #Conflicts: 1244000 | #Constraints: 40099
1412.73/1416.84 c #Conflicts: 1245000 | #Constraints: 41100
1412.73/1416.84 c #Conflicts: 1246000 | #Constraints: 42100
1412.73/1416.84 c #Conflicts: 1247000 | #Constraints: 43100
1412.73/1416.84 c #Conflicts: 1248000 | #Constraints: 44102
1412.73/1416.84 c #Conflicts: 1249000 | #Constraints: 45106
1412.73/1416.84 c #Conflicts: 1250000 | #Constraints: 46110
1412.73/1416.84 c #Conflicts: 1251000 | #Constraints: 47111
1412.73/1416.84 c #Conflicts: 1252000 | #Constraints: 48113
1412.73/1416.84 c #Conflicts: 1253000 | #Constraints: 49114
1412.73/1416.84 c #Conflicts: 1254000 | #Constraints: 50114
1412.73/1416.84 c #Conflicts: 1255000 | #Constraints: 51115
1412.73/1416.84 c #Conflicts: 1256000 | #Constraints: 52115
1412.73/1416.84 c INPROCESSING
1412.73/1416.84 c GARBAGE COLLECT
1412.73/1416.84 c rational objective 3
1447.24/1451.43 c #Conflicts: 1257000 | #Constraints: 30819
1447.24/1451.43 c #Conflicts: 1258000 | #Constraints: 31819
1447.24/1451.43 c #Conflicts: 1259000 | #Constraints: 32820
1447.24/1451.43 c #Conflicts: 1260000 | #Constraints: 33821
1447.24/1451.43 c #Conflicts: 1261000 | #Constraints: 34823
1447.24/1451.43 c #Conflicts: 1262000 | #Constraints: 35824
1447.24/1451.43 c #Conflicts: 1263000 | #Constraints: 36825
1447.24/1451.43 c #Conflicts: 1264000 | #Constraints: 37826
1447.24/1451.43 c #Conflicts: 1265000 | #Constraints: 38826
1447.24/1451.43 c #Conflicts: 1266000 | #Constraints: 39826
1447.24/1451.43 c #Conflicts: 1267000 | #Constraints: 40827
1447.24/1451.43 c #Conflicts: 1268000 | #Constraints: 41828
1447.24/1451.43 c #Conflicts: 1269000 | #Constraints: 42828
1447.24/1451.43 c #Conflicts: 1270000 | #Constraints: 43830
1447.24/1451.43 c #Conflicts: 1271000 | #Constraints: 44833
1447.24/1451.43 c #Conflicts: 1272000 | #Constraints: 45834
1447.24/1451.43 c #Conflicts: 1273000 | #Constraints: 46835
1447.24/1451.43 c #Conflicts: 1274000 | #Constraints: 47836
1447.24/1451.43 c #Conflicts: 1275000 | #Constraints: 48839
1447.24/1451.43 c #Conflicts: 1276000 | #Constraints: 49840
1447.24/1451.43 c #Conflicts: 1277000 | #Constraints: 50840
1447.24/1451.43 c #Conflicts: 1278000 | #Constraints: 51840
1447.24/1451.43 c #Conflicts: 1279000 | #Constraints: 52840
1447.24/1451.43 c INPROCESSING
1447.24/1451.43 c GARBAGE COLLECT
1447.24/1451.43 c rational objective 3
1483.64/1487.94 c #Conflicts: 1280000 | #Constraints: 31394
1483.64/1487.94 c #Conflicts: 1281000 | #Constraints: 32394
1483.64/1487.94 c #Conflicts: 1282000 | #Constraints: 33394
1483.64/1487.94 c #Conflicts: 1283000 | #Constraints: 34396
1483.64/1487.94 c #Conflicts: 1284000 | #Constraints: 35396
1483.64/1487.94 c #Conflicts: 1285000 | #Constraints: 36398
1483.64/1487.94 c #Conflicts: 1286000 | #Constraints: 37398
1483.64/1487.94 c #Conflicts: 1287000 | #Constraints: 38400
1483.64/1487.94 c #Conflicts: 1288000 | #Constraints: 39400
1483.64/1487.94 c #Conflicts: 1289000 | #Constraints: 40400
1483.64/1487.94 c #Conflicts: 1290000 | #Constraints: 41402
1483.64/1487.94 c #Conflicts: 1291000 | #Constraints: 42402
1483.64/1487.94 c #Conflicts: 1292000 | #Constraints: 43403
1483.64/1487.94 c #Conflicts: 1293000 | #Constraints: 44404
1483.64/1487.94 c #Conflicts: 1294000 | #Constraints: 45405
1483.64/1487.94 c #Conflicts: 1295000 | #Constraints: 46406
1483.64/1487.94 c #Conflicts: 1296000 | #Constraints: 47406
1483.64/1487.94 c #Conflicts: 1297000 | #Constraints: 48406
1483.64/1487.94 c #Conflicts: 1298000 | #Constraints: 49406
1483.64/1487.94 c #Conflicts: 1299000 | #Constraints: 50406
1483.64/1487.94 c #Conflicts: 1300000 | #Constraints: 51407
1483.64/1487.94 c #Conflicts: 1301000 | #Constraints: 52407
1483.64/1487.94 c #Conflicts: 1302000 | #Constraints: 53408
1483.64/1487.94 c INPROCESSING
1483.64/1487.94 c GARBAGE COLLECT
1483.64/1487.94 c rational objective 3
1526.92/1531.34 c #Conflicts: 1303000 | #Constraints: 31691
1526.92/1531.34 c #Conflicts: 1304000 | #Constraints: 32693
1526.92/1531.34 c #Conflicts: 1305000 | #Constraints: 33693
1526.92/1531.34 c #Conflicts: 1306000 | #Constraints: 34694
1526.92/1531.34 c #Conflicts: 1307000 | #Constraints: 35696
1526.92/1531.34 c #Conflicts: 1308000 | #Constraints: 36696
1526.92/1531.34 c #Conflicts: 1309000 | #Constraints: 37696
1526.92/1531.34 c #Conflicts: 1310000 | #Constraints: 38696
1526.92/1531.34 c #Conflicts: 1311000 | #Constraints: 39696
1526.92/1531.34 c #Conflicts: 1312000 | #Constraints: 40697
1526.92/1531.34 c #Conflicts: 1313000 | #Constraints: 41697
1526.92/1531.34 c #Conflicts: 1314000 | #Constraints: 42698
1526.92/1531.34 c #Conflicts: 1315000 | #Constraints: 43698
1526.92/1531.34 c #Conflicts: 1316000 | #Constraints: 44698
1526.92/1531.34 c #Conflicts: 1317000 | #Constraints: 45699
1526.92/1531.34 c #Conflicts: 1318000 | #Constraints: 46699
1526.92/1531.34 c #Conflicts: 1319000 | #Constraints: 47699
1526.92/1531.34 c #Conflicts: 1320000 | #Constraints: 48700
1526.92/1531.34 c #Conflicts: 1321000 | #Constraints: 49700
1526.92/1531.34 c #Conflicts: 1322000 | #Constraints: 50700
1526.92/1531.34 c #Conflicts: 1323000 | #Constraints: 51701
1526.92/1531.34 c #Conflicts: 1324000 | #Constraints: 52702
1526.92/1531.34 c #Conflicts: 1325000 | #Constraints: 53702
1526.92/1531.34 c INPROCESSING
1526.92/1531.34 c GARBAGE COLLECT
1526.92/1531.34 c rational objective 3
1564.62/1569.16 c #Conflicts: 1326000 | #Constraints: 31853
1564.62/1569.16 c #Conflicts: 1327000 | #Constraints: 32854
1564.62/1569.16 c #Conflicts: 1328000 | #Constraints: 33854
1564.62/1569.16 c #Conflicts: 1329000 | #Constraints: 34856
1564.62/1569.16 c #Conflicts: 1330000 | #Constraints: 35856
1564.62/1569.16 c #Conflicts: 1331000 | #Constraints: 36857
1564.62/1569.16 c #Conflicts: 1332000 | #Constraints: 37857
1564.62/1569.16 c #Conflicts: 1333000 | #Constraints: 38857
1564.62/1569.16 c #Conflicts: 1334000 | #Constraints: 39857
1564.62/1569.16 c #Conflicts: 1335000 | #Constraints: 40857
1564.62/1569.16 c #Conflicts: 1336000 | #Constraints: 41857
1564.62/1569.16 c #Conflicts: 1337000 | #Constraints: 42859
1564.62/1569.16 c #Conflicts: 1338000 | #Constraints: 43860
1564.62/1569.16 c #Conflicts: 1339000 | #Constraints: 44860
1564.62/1569.16 c #Conflicts: 1340000 | #Constraints: 45860
1564.62/1569.16 c #Conflicts: 1341000 | #Constraints: 46860
1564.62/1569.16 c #Conflicts: 1342000 | #Constraints: 47860
1564.62/1569.16 c #Conflicts: 1343000 | #Constraints: 48861
1564.62/1569.16 c #Conflicts: 1344000 | #Constraints: 49862
1564.62/1569.16 c #Conflicts: 1345000 | #Constraints: 50863
1564.62/1569.16 c #Conflicts: 1346000 | #Constraints: 51863
1564.62/1569.16 c #Conflicts: 1347000 | #Constraints: 52865
1564.62/1569.16 c #Conflicts: 1348000 | #Constraints: 53867
1564.62/1569.16 c INPROCESSING
1564.62/1569.16 c GARBAGE COLLECT
1564.62/1569.16 c rational objective 3
1602.90/1607.51 c #Conflicts: 1349000 | #Constraints: 31842
1602.90/1607.51 c #Conflicts: 1350000 | #Constraints: 32842
1602.90/1607.51 c #Conflicts: 1351000 | #Constraints: 33843
1602.90/1607.51 c #Conflicts: 1352000 | #Constraints: 34844
1602.90/1607.51 c #Conflicts: 1353000 | #Constraints: 35845
1602.90/1607.51 c #Conflicts: 1354000 | #Constraints: 36846
1602.90/1607.51 c #Conflicts: 1355000 | #Constraints: 37846
1602.90/1607.51 c #Conflicts: 1356000 | #Constraints: 38846
1602.90/1607.51 c #Conflicts: 1357000 | #Constraints: 39848
1602.90/1607.51 c #Conflicts: 1358000 | #Constraints: 40848
1602.90/1607.51 c #Conflicts: 1359000 | #Constraints: 41849
1602.90/1607.51 c #Conflicts: 1360000 | #Constraints: 42849
1602.90/1607.51 c #Conflicts: 1361000 | #Constraints: 43850
1602.90/1607.51 c #Conflicts: 1362000 | #Constraints: 44851
1602.90/1607.51 c #Conflicts: 1363000 | #Constraints: 45851
1602.90/1607.51 c #Conflicts: 1364000 | #Constraints: 46851
1602.90/1607.51 c #Conflicts: 1365000 | #Constraints: 47852
1602.90/1607.51 c #Conflicts: 1366000 | #Constraints: 48854
1602.90/1607.51 c #Conflicts: 1367000 | #Constraints: 49855
1602.90/1607.51 c #Conflicts: 1368000 | #Constraints: 50855
1602.90/1607.51 c #Conflicts: 1369000 | #Constraints: 51855
1602.90/1607.51 c #Conflicts: 1370000 | #Constraints: 52855
1602.90/1607.51 c #Conflicts: 1371000 | #Constraints: 53856
1602.90/1607.51 c INPROCESSING
1602.90/1607.51 c GARBAGE COLLECT
1602.90/1607.51 c rational objective 3
1641.19/1645.98 c #Conflicts: 1372000 | #Constraints: 31611
1641.19/1645.98 c #Conflicts: 1373000 | #Constraints: 32611
1641.19/1645.98 c #Conflicts: 1374000 | #Constraints: 33612
1641.19/1645.98 c #Conflicts: 1375000 | #Constraints: 34612
1641.19/1645.98 c #Conflicts: 1376000 | #Constraints: 35613
1641.19/1645.98 c #Conflicts: 1377000 | #Constraints: 36614
1641.19/1645.98 c #Conflicts: 1378000 | #Constraints: 37614
1641.19/1645.98 c #Conflicts: 1379000 | #Constraints: 38614
1641.19/1645.98 c #Conflicts: 1380000 | #Constraints: 39614
1641.19/1645.98 c #Conflicts: 1381000 | #Constraints: 40615
1641.19/1645.98 c #Conflicts: 1382000 | #Constraints: 41615
1641.19/1645.98 c #Conflicts: 1383000 | #Constraints: 42616
1641.19/1645.98 c #Conflicts: 1384000 | #Constraints: 43619
1641.19/1645.98 c #Conflicts: 1385000 | #Constraints: 44620
1641.19/1645.98 c #Conflicts: 1386000 | #Constraints: 45620
1641.19/1645.98 c #Conflicts: 1387000 | #Constraints: 46621
1641.19/1645.98 c #Conflicts: 1388000 | #Constraints: 47623
1641.19/1645.98 c #Conflicts: 1389000 | #Constraints: 48623
1641.19/1645.98 c #Conflicts: 1390000 | #Constraints: 49623
1641.19/1645.98 c #Conflicts: 1391000 | #Constraints: 50623
1641.19/1645.98 c #Conflicts: 1392000 | #Constraints: 51625
1641.19/1645.98 c #Conflicts: 1393000 | #Constraints: 52625
1641.19/1645.98 c #Conflicts: 1394000 | #Constraints: 53625
1641.19/1645.98 c #Conflicts: 1395000 | #Constraints: 54625
1641.19/1645.98 c INPROCESSING
1641.19/1645.98 c GARBAGE COLLECT
1641.19/1645.98 c rational objective 3
1687.45/1692.37 c #Conflicts: 1396000 | #Constraints: 32218
1687.45/1692.37 c #Conflicts: 1397000 | #Constraints: 33218
1687.45/1692.37 c #Conflicts: 1398000 | #Constraints: 34221
1687.45/1692.37 c #Conflicts: 1399000 | #Constraints: 35225
1687.45/1692.37 c #Conflicts: 1400000 | #Constraints: 36225
1687.45/1692.37 c #Conflicts: 1401000 | #Constraints: 37228
1687.45/1692.37 c #Conflicts: 1402000 | #Constraints: 38229
1687.45/1692.37 c #Conflicts: 1403000 | #Constraints: 39229
1687.45/1692.37 c #Conflicts: 1404000 | #Constraints: 40229
1687.45/1692.37 c #Conflicts: 1405000 | #Constraints: 41229
1687.45/1692.37 c #Conflicts: 1406000 | #Constraints: 42231
1687.45/1692.37 c #Conflicts: 1407000 | #Constraints: 43232
1687.45/1692.37 c #Conflicts: 1408000 | #Constraints: 44233
1687.45/1692.37 c #Conflicts: 1409000 | #Constraints: 45235
1687.45/1692.37 c #Conflicts: 1410000 | #Constraints: 46237
1687.45/1692.37 c #Conflicts: 1411000 | #Constraints: 47240
1687.45/1692.37 c #Conflicts: 1412000 | #Constraints: 48242
1687.45/1692.37 c #Conflicts: 1413000 | #Constraints: 49243
1687.45/1692.37 c #Conflicts: 1414000 | #Constraints: 50244
1687.45/1692.37 c #Conflicts: 1415000 | #Constraints: 51245
1687.45/1692.37 c #Conflicts: 1416000 | #Constraints: 52246
1687.45/1692.37 c #Conflicts: 1417000 | #Constraints: 53247
1687.45/1692.37 c #Conflicts: 1418000 | #Constraints: 54247
1687.45/1692.37 c #Conflicts: 1419000 | #Constraints: 55250
1687.45/1692.37 c INPROCESSING
1687.45/1692.37 c GARBAGE COLLECT
1687.45/1692.37 c rational objective 3
1728.83/1733.87 c #Conflicts: 1420000 | #Constraints: 32561
1728.83/1733.87 c #Conflicts: 1421000 | #Constraints: 33564
1728.83/1733.87 c #Conflicts: 1422000 | #Constraints: 34565
1728.83/1733.87 c #Conflicts: 1423000 | #Constraints: 35566
1728.83/1733.87 c #Conflicts: 1424000 | #Constraints: 36568
1728.83/1733.87 c #Conflicts: 1425000 | #Constraints: 37568
1728.83/1733.87 c #Conflicts: 1426000 | #Constraints: 38569
1728.83/1733.87 c #Conflicts: 1427000 | #Constraints: 39570
1728.83/1733.87 c #Conflicts: 1428000 | #Constraints: 40571
1728.83/1733.87 c #Conflicts: 1429000 | #Constraints: 41572
1728.83/1733.87 c #Conflicts: 1430000 | #Constraints: 42572
1728.83/1733.87 c #Conflicts: 1431000 | #Constraints: 43573
1728.83/1733.87 c #Conflicts: 1432000 | #Constraints: 44574
1728.83/1733.87 c #Conflicts: 1433000 | #Constraints: 45574
1728.83/1733.87 c #Conflicts: 1434000 | #Constraints: 46575
1728.83/1733.87 c #Conflicts: 1435000 | #Constraints: 47575
1728.83/1733.87 c #Conflicts: 1436000 | #Constraints: 48576
1728.83/1733.87 c #Conflicts: 1437000 | #Constraints: 49579
1728.83/1733.87 c #Conflicts: 1438000 | #Constraints: 50581
1728.83/1733.87 c #Conflicts: 1439000 | #Constraints: 51584
1728.83/1733.87 c #Conflicts: 1440000 | #Constraints: 52584
1728.83/1733.87 c #Conflicts: 1441000 | #Constraints: 53586
1728.83/1733.87 c #Conflicts: 1442000 | #Constraints: 54588
1728.83/1733.87 c #Conflicts: 1443000 | #Constraints: 55589
1728.83/1733.87 c INPROCESSING
1728.83/1733.87 c GARBAGE COLLECT
1728.83/1733.87 c rational objective 3
1780.48/1785.62 c #Conflicts: 1444000 | #Constraints: 32788
1780.48/1785.62 c #Conflicts: 1445000 | #Constraints: 33788
1780.48/1785.62 c #Conflicts: 1446000 | #Constraints: 34789
1780.48/1785.62 c #Conflicts: 1447000 | #Constraints: 35793
1780.48/1785.62 c #Conflicts: 1448000 | #Constraints: 36795
1780.48/1785.62 c #Conflicts: 1449000 | #Constraints: 37800
1780.48/1785.62 c #Conflicts: 1450000 | #Constraints: 38800
1780.48/1785.62 c #Conflicts: 1451000 | #Constraints: 39802
1780.48/1785.62 c #Conflicts: 1452000 | #Constraints: 40802
1780.48/1785.62 c #Conflicts: 1453000 | #Constraints: 41805
1780.48/1785.62 c #Conflicts: 1454000 | #Constraints: 42805
1780.48/1785.62 c #Conflicts: 1455000 | #Constraints: 43807
1780.48/1785.62 c #Conflicts: 1456000 | #Constraints: 44807
1780.48/1785.62 c #Conflicts: 1457000 | #Constraints: 45807
1780.48/1785.62 c #Conflicts: 1458000 | #Constraints: 46808
1780.48/1785.62 c #Conflicts: 1459000 | #Constraints: 47809
1780.48/1785.62 c #Conflicts: 1460000 | #Constraints: 48809
1780.48/1785.62 c #Conflicts: 1461000 | #Constraints: 49811
1780.48/1785.62 c #Conflicts: 1462000 | #Constraints: 50812
1780.48/1785.62 c #Conflicts: 1463000 | #Constraints: 51813
1780.48/1785.62 c #Conflicts: 1464000 | #Constraints: 52813
1780.48/1785.62 c #Conflicts: 1465000 | #Constraints: 53814
1780.48/1785.62 c #Conflicts: 1466000 | #Constraints: 54814
1780.48/1785.62 c #Conflicts: 1467000 | #Constraints: 55815
1780.48/1785.62 c INPROCESSING
1780.48/1785.62 c GARBAGE COLLECT
1780.48/1785.62 c rational objective 3
1821.36/1826.64 c #Conflicts: 1468000 | #Constraints: 32825
1821.36/1826.64 c #Conflicts: 1469000 | #Constraints: 33826
1821.36/1826.64 c #Conflicts: 1470000 | #Constraints: 34827
1821.36/1826.64 c #Conflicts: 1471000 | #Constraints: 35830
1821.36/1826.64 c #Conflicts: 1472000 | #Constraints: 36834
1821.36/1826.64 c #Conflicts: 1473000 | #Constraints: 37835
1821.36/1826.64 c #Conflicts: 1474000 | #Constraints: 38837
1821.36/1826.64 c #Conflicts: 1475000 | #Constraints: 39837
1821.36/1826.64 c #Conflicts: 1476000 | #Constraints: 40837
1821.36/1826.64 c #Conflicts: 1477000 | #Constraints: 41838
1821.36/1826.64 c #Conflicts: 1478000 | #Constraints: 42842
1821.36/1826.64 c #Conflicts: 1479000 | #Constraints: 43845
1821.36/1826.64 c #Conflicts: 1480000 | #Constraints: 44846
1821.36/1826.64 c #Conflicts: 1481000 | #Constraints: 45846
1821.36/1826.64 c #Conflicts: 1482000 | #Constraints: 46846
1821.36/1826.64 c #Conflicts: 1483000 | #Constraints: 47846
1821.36/1826.64 c #Conflicts: 1484000 | #Constraints: 48849
1821.36/1826.64 c #Conflicts: 1485000 | #Constraints: 49850
1821.36/1826.64 c #Conflicts: 1486000 | #Constraints: 50850
1821.36/1826.64 c #Conflicts: 1487000 | #Constraints: 51853
1821.36/1826.64 c #Conflicts: 1488000 | #Constraints: 52855
1821.36/1826.64 c #Conflicts: 1489000 | #Constraints: 53859
1821.36/1826.64 c #Conflicts: 1490000 | #Constraints: 54860
1821.36/1826.64 c #Conflicts: 1491000 | #Constraints: 55860
1821.36/1826.64 c INPROCESSING
1821.36/1826.64 c GARBAGE COLLECT
1821.36/1826.64 c rational objective 3
1867.94/1873.39 c #Conflicts: 1492000 | #Constraints: 32572
1867.94/1873.39 c #Conflicts: 1493000 | #Constraints: 33572
1867.94/1873.39 c #Conflicts: 1494000 | #Constraints: 34572
1867.94/1873.39 c #Conflicts: 1495000 | #Constraints: 35572
1867.94/1873.39 c #Conflicts: 1496000 | #Constraints: 36573
1867.94/1873.39 c #Conflicts: 1497000 | #Constraints: 37578
1867.94/1873.39 c #Conflicts: 1498000 | #Constraints: 38581
1867.94/1873.39 c #Conflicts: 1499000 | #Constraints: 39582
1867.94/1873.39 c #Conflicts: 1500000 | #Constraints: 40584
1867.94/1873.39 c #Conflicts: 1501000 | #Constraints: 41586
1867.94/1873.39 c #Conflicts: 1502000 | #Constraints: 42587
1867.94/1873.39 c #Conflicts: 1503000 | #Constraints: 43588
1867.94/1873.39 c #Conflicts: 1504000 | #Constraints: 44592
1867.94/1873.39 c #Conflicts: 1505000 | #Constraints: 45594
1867.94/1873.39 c #Conflicts: 1506000 | #Constraints: 46594
1867.94/1873.39 c #Conflicts: 1507000 | #Constraints: 47596
1867.94/1873.39 c #Conflicts: 1508000 | #Constraints: 48598
1867.94/1873.39 c #Conflicts: 1509000 | #Constraints: 49598
1867.94/1873.39 c #Conflicts: 1510000 | #Constraints: 50598
1867.94/1873.39 c #Conflicts: 1511000 | #Constraints: 51598
1867.94/1873.39 c #Conflicts: 1512000 | #Constraints: 52599
1867.94/1873.39 c #Conflicts: 1513000 | #Constraints: 53599
1867.94/1873.39 c #Conflicts: 1514000 | #Constraints: 54599
1867.94/1873.39 c #Conflicts: 1515000 | #Constraints: 55599
1867.94/1873.39 c #Conflicts: 1516000 | #Constraints: 56599
1867.94/1873.39 c INPROCESSING
1867.94/1873.39 c GARBAGE COLLECT
1867.94/1873.39 c rational objective 3
1913.13/1918.64 c #Conflicts: 1517000 | #Constraints: 33203
1913.13/1918.64 c #Conflicts: 1518000 | #Constraints: 34205
1913.13/1918.64 c #Conflicts: 1519000 | #Constraints: 35207
1913.13/1918.64 c #Conflicts: 1520000 | #Constraints: 36210
1913.13/1918.64 c #Conflicts: 1521000 | #Constraints: 37210
1913.13/1918.64 c #Conflicts: 1522000 | #Constraints: 38211
1913.13/1918.64 c #Conflicts: 1523000 | #Constraints: 39212
1913.13/1918.64 c #Conflicts: 1524000 | #Constraints: 40215
1913.13/1918.64 c #Conflicts: 1525000 | #Constraints: 41220
1913.13/1918.64 c #Conflicts: 1526000 | #Constraints: 42222
1913.13/1918.64 c #Conflicts: 1527000 | #Constraints: 43222
1913.13/1918.64 c #Conflicts: 1528000 | #Constraints: 44223
1913.13/1918.64 c #Conflicts: 1529000 | #Constraints: 45223
1913.13/1918.64 c #Conflicts: 1530000 | #Constraints: 46225
1913.13/1918.64 c #Conflicts: 1531000 | #Constraints: 47227
1913.13/1918.64 c #Conflicts: 1532000 | #Constraints: 48227
1913.13/1918.64 c #Conflicts: 1533000 | #Constraints: 49227
1913.13/1918.64 c #Conflicts: 1534000 | #Constraints: 50227
1913.13/1918.64 c #Conflicts: 1535000 | #Constraints: 51228
1913.13/1918.64 c #Conflicts: 1536000 | #Constraints: 52230
1913.13/1918.64 c #Conflicts: 1537000 | #Constraints: 53230
1913.13/1918.64 c #Conflicts: 1538000 | #Constraints: 54230
1913.13/1918.64 c #Conflicts: 1539000 | #Constraints: 55230
1913.13/1918.64 c #Conflicts: 1540000 | #Constraints: 56230
1913.13/1918.64 c #Conflicts: 1541000 | #Constraints: 57230
1913.13/1918.64 c INPROCESSING
1913.13/1918.64 c GARBAGE COLLECT
1913.13/1918.64 c rational objective 3
1955.12/1960.79 c #Conflicts: 1542000 | #Constraints: 33550
1955.12/1960.79 c #Conflicts: 1543000 | #Constraints: 34553
1955.12/1960.79 c #Conflicts: 1544000 | #Constraints: 35554
1955.12/1960.79 c #Conflicts: 1545000 | #Constraints: 36556
1955.12/1960.79 c #Conflicts: 1546000 | #Constraints: 37557
1955.12/1960.79 c #Conflicts: 1547000 | #Constraints: 38558
1955.12/1960.79 c #Conflicts: 1548000 | #Constraints: 39560
1955.12/1960.79 c #Conflicts: 1549000 | #Constraints: 40560
1955.12/1960.79 c #Conflicts: 1550000 | #Constraints: 41560
1955.12/1960.79 c #Conflicts: 1551000 | #Constraints: 42560
1955.12/1960.79 c #Conflicts: 1552000 | #Constraints: 43561
1955.12/1960.79 c #Conflicts: 1553000 | #Constraints: 44563
1955.12/1960.79 c #Conflicts: 1554000 | #Constraints: 45563
1955.12/1960.79 c #Conflicts: 1555000 | #Constraints: 46565
1955.12/1960.79 c #Conflicts: 1556000 | #Constraints: 47567
1955.12/1960.79 c #Conflicts: 1557000 | #Constraints: 48568
1955.12/1960.79 c #Conflicts: 1558000 | #Constraints: 49569
1955.12/1960.79 c #Conflicts: 1559000 | #Constraints: 50572
1955.12/1960.79 c #Conflicts: 1560000 | #Constraints: 51576
1955.12/1960.79 c #Conflicts: 1561000 | #Constraints: 52579
1955.12/1960.79 c #Conflicts: 1562000 | #Constraints: 53580
1955.12/1960.79 c #Conflicts: 1563000 | #Constraints: 54581
1955.12/1960.79 c #Conflicts: 1564000 | #Constraints: 55582
1955.12/1960.79 c #Conflicts: 1565000 | #Constraints: 56584
1955.12/1960.79 c #Conflicts: 1566000 | #Constraints: 57584
1955.12/1960.79 c INPROCESSING
1955.12/1960.79 c GARBAGE COLLECT
1955.12/1960.79 c rational objective 3
2005.10/2010.87 c #Conflicts: 1567000 | #Constraints: 33627
2005.10/2010.87 c #Conflicts: 1568000 | #Constraints: 34627
2005.10/2010.87 c #Conflicts: 1569000 | #Constraints: 35628
2005.10/2010.87 c #Conflicts: 1570000 | #Constraints: 36628
2005.10/2010.87 c #Conflicts: 1571000 | #Constraints: 37628
2005.10/2010.87 c #Conflicts: 1572000 | #Constraints: 38628
2005.10/2010.87 c #Conflicts: 1573000 | #Constraints: 39628
2005.10/2010.87 c #Conflicts: 1574000 | #Constraints: 40628
2005.10/2010.87 c #Conflicts: 1575000 | #Constraints: 41628
2005.10/2010.87 c #Conflicts: 1576000 | #Constraints: 42628
2005.10/2010.87 c #Conflicts: 1577000 | #Constraints: 43629
2005.10/2010.87 c #Conflicts: 1578000 | #Constraints: 44629
2005.10/2010.87 c #Conflicts: 1579000 | #Constraints: 45629
2005.10/2010.87 c #Conflicts: 1580000 | #Constraints: 46629
2005.10/2010.87 c #Conflicts: 1581000 | #Constraints: 47629
2005.10/2010.87 c #Conflicts: 1582000 | #Constraints: 48629
2005.10/2010.87 c #Conflicts: 1583000 | #Constraints: 49629
2005.10/2010.87 c #Conflicts: 1584000 | #Constraints: 50629
2005.10/2010.87 c #Conflicts: 1585000 | #Constraints: 51629
2005.10/2010.87 c #Conflicts: 1586000 | #Constraints: 52629
2005.10/2010.87 c #Conflicts: 1587000 | #Constraints: 53629
2005.10/2010.87 c #Conflicts: 1588000 | #Constraints: 54629
2005.10/2010.87 c #Conflicts: 1589000 | #Constraints: 55629
2005.10/2010.87 c #Conflicts: 1590000 | #Constraints: 56629
2005.10/2010.87 c #Conflicts: 1591000 | #Constraints: 57629
2005.10/2010.87 c INPROCESSING
2005.10/2010.87 c GARBAGE COLLECT
2005.10/2010.87 c rational objective 3
2052.47/2058.32 c #Conflicts: 1592000 | #Constraints: 33615
2052.47/2058.32 c #Conflicts: 1593000 | #Constraints: 34615
2052.47/2058.32 c #Conflicts: 1594000 | #Constraints: 35615
2052.47/2058.32 c #Conflicts: 1595000 | #Constraints: 36615
2052.47/2058.32 c #Conflicts: 1596000 | #Constraints: 37616
2052.47/2058.32 c #Conflicts: 1597000 | #Constraints: 38620
2052.47/2058.32 c #Conflicts: 1598000 | #Constraints: 39621
2052.47/2058.32 c #Conflicts: 1599000 | #Constraints: 40625
2052.47/2058.32 c #Conflicts: 1600000 | #Constraints: 41626
2052.47/2058.32 c #Conflicts: 1601000 | #Constraints: 42627
2052.47/2058.32 c #Conflicts: 1602000 | #Constraints: 43631
2052.47/2058.32 c #Conflicts: 1603000 | #Constraints: 44634
2052.47/2058.32 c #Conflicts: 1604000 | #Constraints: 45637
2052.47/2058.32 c #Conflicts: 1605000 | #Constraints: 46637
2052.47/2058.32 c #Conflicts: 1606000 | #Constraints: 47638
2052.47/2058.32 c #Conflicts: 1607000 | #Constraints: 48639
2052.47/2058.32 c #Conflicts: 1608000 | #Constraints: 49642
2052.47/2058.32 c #Conflicts: 1609000 | #Constraints: 50649
2052.47/2058.32 c #Conflicts: 1610000 | #Constraints: 51650
2052.47/2058.32 c #Conflicts: 1611000 | #Constraints: 52657
2052.47/2058.32 c #Conflicts: 1612000 | #Constraints: 53661
2052.47/2058.32 c #Conflicts: 1613000 | #Constraints: 54664
2052.47/2058.32 c #Conflicts: 1614000 | #Constraints: 55666
2052.47/2058.32 c #Conflicts: 1615000 | #Constraints: 56666
2052.47/2058.32 c #Conflicts: 1616000 | #Constraints: 57667
2052.47/2058.32 c INPROCESSING
2052.47/2058.32 c GARBAGE COLLECT
2052.47/2058.32 c rational objective 3
2103.05/2109.05 c #Conflicts: 1617000 | #Constraints: 33444
2103.05/2109.05 c #Conflicts: 1618000 | #Constraints: 34444
2103.05/2109.05 c #Conflicts: 1619000 | #Constraints: 35444
2103.05/2109.05 c #Conflicts: 1620000 | #Constraints: 36445
2103.05/2109.05 c #Conflicts: 1621000 | #Constraints: 37446
2103.05/2109.05 c #Conflicts: 1622000 | #Constraints: 38446
2103.05/2109.05 c #Conflicts: 1623000 | #Constraints: 39447
2103.05/2109.05 c #Conflicts: 1624000 | #Constraints: 40448
2103.05/2109.05 c #Conflicts: 1625000 | #Constraints: 41448
2103.05/2109.05 c #Conflicts: 1626000 | #Constraints: 42448
2103.05/2109.05 c #Conflicts: 1627000 | #Constraints: 43448
2103.05/2109.05 c #Conflicts: 1628000 | #Constraints: 44448
2103.05/2109.05 c #Conflicts: 1629000 | #Constraints: 45449
2103.05/2109.05 c #Conflicts: 1630000 | #Constraints: 46450
2103.05/2109.05 c #Conflicts: 1631000 | #Constraints: 47450
2103.05/2109.05 c #Conflicts: 1632000 | #Constraints: 48450
2103.05/2109.05 c #Conflicts: 1633000 | #Constraints: 49450
2103.05/2109.05 c #Conflicts: 1634000 | #Constraints: 50450
2103.05/2109.05 c #Conflicts: 1635000 | #Constraints: 51451
2103.05/2109.05 c #Conflicts: 1636000 | #Constraints: 52451
2103.05/2109.05 c #Conflicts: 1637000 | #Constraints: 53451
2103.05/2109.05 c #Conflicts: 1638000 | #Constraints: 54451
2103.05/2109.05 c #Conflicts: 1639000 | #Constraints: 55451
2103.05/2109.05 c #Conflicts: 1640000 | #Constraints: 56452
2103.05/2109.05 c #Conflicts: 1641000 | #Constraints: 57454
2103.05/2109.05 c #Conflicts: 1642000 | #Constraints: 58454
2103.05/2109.05 c INPROCESSING
2103.05/2109.05 c GARBAGE COLLECT
2103.05/2109.05 c rational objective 3
2151.33/2157.48 c #Conflicts: 1643000 | #Constraints: 34040
2151.33/2157.48 c #Conflicts: 1644000 | #Constraints: 35040
2151.33/2157.48 c #Conflicts: 1645000 | #Constraints: 36041
2151.33/2157.48 c #Conflicts: 1646000 | #Constraints: 37042
2151.33/2157.48 c #Conflicts: 1647000 | #Constraints: 38042
2151.33/2157.48 c #Conflicts: 1648000 | #Constraints: 39042
2151.33/2157.48 c #Conflicts: 1649000 | #Constraints: 40042
2151.33/2157.48 c #Conflicts: 1650000 | #Constraints: 41042
2151.33/2157.48 c #Conflicts: 1651000 | #Constraints: 42042
2151.33/2157.48 c #Conflicts: 1652000 | #Constraints: 43042
2151.33/2157.48 c #Conflicts: 1653000 | #Constraints: 44042
2151.33/2157.48 c #Conflicts: 1654000 | #Constraints: 45043
2151.33/2157.48 c #Conflicts: 1655000 | #Constraints: 46044
2151.33/2157.48 c #Conflicts: 1656000 | #Constraints: 47044
2151.33/2157.48 c #Conflicts: 1657000 | #Constraints: 48044
2151.33/2157.48 c #Conflicts: 1658000 | #Constraints: 49044
2151.33/2157.48 c #Conflicts: 1659000 | #Constraints: 50044
2151.33/2157.48 c #Conflicts: 1660000 | #Constraints: 51044
2151.33/2157.48 c #Conflicts: 1661000 | #Constraints: 52044
2151.33/2157.48 c #Conflicts: 1662000 | #Constraints: 53044
2151.33/2157.48 c #Conflicts: 1663000 | #Constraints: 54044
2151.33/2157.48 c #Conflicts: 1664000 | #Constraints: 55044
2151.33/2157.48 c #Conflicts: 1665000 | #Constraints: 56045
2151.33/2157.48 c #Conflicts: 1666000 | #Constraints: 57046
2151.33/2157.48 c #Conflicts: 1667000 | #Constraints: 58046
2151.33/2157.48 c #Conflicts: 1668000 | #Constraints: 59046
2151.33/2157.48 c INPROCESSING
2151.33/2157.48 c GARBAGE COLLECT
2151.33/2157.48 c rational objective 3
2201.31/2207.57 c #Conflicts: 1669000 | #Constraints: 34403
2201.31/2207.57 c #Conflicts: 1670000 | #Constraints: 35407
2201.31/2207.57 c #Conflicts: 1671000 | #Constraints: 36408
2201.31/2207.57 c #Conflicts: 1672000 | #Constraints: 37408
2201.31/2207.57 c #Conflicts: 1673000 | #Constraints: 38408
2201.31/2207.57 c #Conflicts: 1674000 | #Constraints: 39410
2201.31/2207.57 c #Conflicts: 1675000 | #Constraints: 40410
2201.31/2207.57 c #Conflicts: 1676000 | #Constraints: 41412
2201.31/2207.57 c #Conflicts: 1677000 | #Constraints: 42412
2201.31/2207.57 c #Conflicts: 1678000 | #Constraints: 43414
2201.31/2207.57 c #Conflicts: 1679000 | #Constraints: 44416
2201.31/2207.57 c #Conflicts: 1680000 | #Constraints: 45416
2201.31/2207.57 c #Conflicts: 1681000 | #Constraints: 46418
2201.31/2207.57 c #Conflicts: 1682000 | #Constraints: 47419
2201.31/2207.57 c #Conflicts: 1683000 | #Constraints: 48422
2201.31/2207.57 c #Conflicts: 1684000 | #Constraints: 49422
2201.31/2207.57 c #Conflicts: 1685000 | #Constraints: 50424
2201.31/2207.57 c #Conflicts: 1686000 | #Constraints: 51424
2201.31/2207.57 c #Conflicts: 1687000 | #Constraints: 52426
2201.31/2207.57 c #Conflicts: 1688000 | #Constraints: 53426
2201.31/2207.57 c #Conflicts: 1689000 | #Constraints: 54426
2201.31/2207.57 c #Conflicts: 1690000 | #Constraints: 55426
2201.31/2207.57 c #Conflicts: 1691000 | #Constraints: 56427
2201.31/2207.57 c #Conflicts: 1692000 | #Constraints: 57428
2201.31/2207.57 c #Conflicts: 1693000 | #Constraints: 58429
2201.31/2207.57 c #Conflicts: 1694000 | #Constraints: 59429
2201.31/2207.57 c INPROCESSING
2201.31/2207.57 c GARBAGE COLLECT
2201.31/2207.57 c rational objective 3
2253.07/2259.47 c #Conflicts: 1695000 | #Constraints: 34580
2253.07/2259.47 c #Conflicts: 1696000 | #Constraints: 35581
2253.07/2259.47 c #Conflicts: 1697000 | #Constraints: 36583
2253.07/2259.47 c #Conflicts: 1698000 | #Constraints: 37583
2253.07/2259.47 c #Conflicts: 1699000 | #Constraints: 38583
2253.07/2259.47 c #Conflicts: 1700000 | #Constraints: 39583
2253.07/2259.47 c #Conflicts: 1701000 | #Constraints: 40583
2253.07/2259.47 c #Conflicts: 1702000 | #Constraints: 41584
2253.07/2259.47 c #Conflicts: 1703000 | #Constraints: 42584
2253.07/2259.47 c #Conflicts: 1704000 | #Constraints: 43584
2253.07/2259.47 c #Conflicts: 1705000 | #Constraints: 44584
2253.07/2259.47 c #Conflicts: 1706000 | #Constraints: 45584
2253.07/2259.47 c #Conflicts: 1707000 | #Constraints: 46584
2253.07/2259.47 c #Conflicts: 1708000 | #Constraints: 47584
2253.07/2259.47 c #Conflicts: 1709000 | #Constraints: 48584
2253.07/2259.47 c #Conflicts: 1710000 | #Constraints: 49584
2253.07/2259.47 c #Conflicts: 1711000 | #Constraints: 50585
2253.07/2259.47 c #Conflicts: 1712000 | #Constraints: 51587
2253.07/2259.47 c #Conflicts: 1713000 | #Constraints: 52587
2253.07/2259.47 c #Conflicts: 1714000 | #Constraints: 53587
2253.07/2259.47 c #Conflicts: 1715000 | #Constraints: 54587
2253.07/2259.47 c #Conflicts: 1716000 | #Constraints: 55587
2253.07/2259.47 c #Conflicts: 1717000 | #Constraints: 56587
2253.07/2259.47 c #Conflicts: 1718000 | #Constraints: 57588
2253.07/2259.47 c #Conflicts: 1719000 | #Constraints: 58588
2253.07/2259.47 c #Conflicts: 1720000 | #Constraints: 59588
2253.07/2259.47 c INPROCESSING
2253.07/2259.47 c GARBAGE COLLECT
2253.07/2259.47 c rational objective 3
2319.21/2325.78 c #Conflicts: 1721000 | #Constraints: 34601
2319.21/2325.78 c #Conflicts: 1722000 | #Constraints: 35603
2319.21/2325.78 c #Conflicts: 1723000 | #Constraints: 36603
2319.21/2325.78 c #Conflicts: 1724000 | #Constraints: 37604
2319.21/2325.78 c #Conflicts: 1725000 | #Constraints: 38605
2319.21/2325.78 c #Conflicts: 1726000 | #Constraints: 39606
2319.21/2325.78 c #Conflicts: 1727000 | #Constraints: 40609
2319.21/2325.78 c #Conflicts: 1728000 | #Constraints: 41609
2319.21/2325.78 c #Conflicts: 1729000 | #Constraints: 42609
2319.21/2325.78 c #Conflicts: 1730000 | #Constraints: 43610
2319.21/2325.78 c #Conflicts: 1731000 | #Constraints: 44611
2319.21/2325.78 c #Conflicts: 1732000 | #Constraints: 45611
2319.21/2325.78 c #Conflicts: 1733000 | #Constraints: 46611
2319.21/2325.78 c #Conflicts: 1734000 | #Constraints: 47611
2319.21/2325.78 c #Conflicts: 1735000 | #Constraints: 48611
2319.21/2325.78 c #Conflicts: 1736000 | #Constraints: 49611
2319.21/2325.78 c #Conflicts: 1737000 | #Constraints: 50611
2319.21/2325.78 c #Conflicts: 1738000 | #Constraints: 51611
2319.21/2325.78 c #Conflicts: 1739000 | #Constraints: 52611
2319.21/2325.78 c #Conflicts: 1740000 | #Constraints: 53612
2319.21/2325.78 c #Conflicts: 1741000 | #Constraints: 54612
2319.21/2325.78 c #Conflicts: 1742000 | #Constraints: 55612
2319.21/2325.78 c #Conflicts: 1743000 | #Constraints: 56612
2319.21/2325.78 c #Conflicts: 1744000 | #Constraints: 57612
2319.21/2325.78 c #Conflicts: 1745000 | #Constraints: 58612
2319.21/2325.78 c #Conflicts: 1746000 | #Constraints: 59613
2319.21/2325.78 c INPROCESSING
2319.21/2325.78 c GARBAGE COLLECT
2319.21/2325.78 c rational objective 3
2372.17/2378.83 c #Conflicts: 1747000 | #Constraints: 34372
2372.17/2378.83 c #Conflicts: 1748000 | #Constraints: 35372
2372.17/2378.83 c #Conflicts: 1749000 | #Constraints: 36372
2372.17/2378.83 c #Conflicts: 1750000 | #Constraints: 37375
2372.17/2378.83 c #Conflicts: 1751000 | #Constraints: 38379
2372.17/2378.83 c #Conflicts: 1752000 | #Constraints: 39385
2372.17/2378.83 c #Conflicts: 1753000 | #Constraints: 40385
2372.17/2378.83 c #Conflicts: 1754000 | #Constraints: 41386
2372.17/2378.83 c #Conflicts: 1755000 | #Constraints: 42386
2372.17/2378.83 c #Conflicts: 1756000 | #Constraints: 43387
2372.17/2378.83 c #Conflicts: 1757000 | #Constraints: 44387
2372.17/2378.83 c #Conflicts: 1758000 | #Constraints: 45389
2372.17/2378.83 c #Conflicts: 1759000 | #Constraints: 46390
2372.17/2378.83 c #Conflicts: 1760000 | #Constraints: 47390
2372.17/2378.83 c #Conflicts: 1761000 | #Constraints: 48390
2372.17/2378.83 c #Conflicts: 1762000 | #Constraints: 49392
2372.17/2378.83 c #Conflicts: 1763000 | #Constraints: 50392
2372.17/2378.83 c #Conflicts: 1764000 | #Constraints: 51394
2372.17/2378.83 c #Conflicts: 1765000 | #Constraints: 52394
2372.17/2378.83 c #Conflicts: 1766000 | #Constraints: 53395
2372.17/2378.83 c #Conflicts: 1767000 | #Constraints: 54395
2372.17/2378.83 c #Conflicts: 1768000 | #Constraints: 55395
2372.17/2378.83 c #Conflicts: 1769000 | #Constraints: 56396
2372.17/2378.83 c #Conflicts: 1770000 | #Constraints: 57397
2372.17/2378.83 c #Conflicts: 1771000 | #Constraints: 58398
2372.17/2378.83 c #Conflicts: 1772000 | #Constraints: 59398
2372.17/2378.83 c #Conflicts: 1773000 | #Constraints: 60398
2372.17/2378.83 c INPROCESSING
2372.17/2378.83 c GARBAGE COLLECT
2372.17/2378.83 c rational objective 3
2427.04/2433.82 c #Conflicts: 1774000 | #Constraints: 34944
2427.04/2433.82 c #Conflicts: 1775000 | #Constraints: 35944
2427.04/2433.82 c #Conflicts: 1776000 | #Constraints: 36945
2427.04/2433.82 c #Conflicts: 1777000 | #Constraints: 37946
2427.04/2433.82 c #Conflicts: 1778000 | #Constraints: 38946
2427.04/2433.82 c #Conflicts: 1779000 | #Constraints: 39946
2427.04/2433.82 c #Conflicts: 1780000 | #Constraints: 40947
2427.04/2433.82 c #Conflicts: 1781000 | #Constraints: 41947
2427.04/2433.82 c #Conflicts: 1782000 | #Constraints: 42951
2427.04/2433.82 c #Conflicts: 1783000 | #Constraints: 43951
2427.04/2433.82 c #Conflicts: 1784000 | #Constraints: 44951
2427.04/2433.82 c #Conflicts: 1785000 | #Constraints: 45954
2427.04/2433.82 c #Conflicts: 1786000 | #Constraints: 46956
2427.04/2433.82 c #Conflicts: 1787000 | #Constraints: 47957
2427.04/2433.82 c #Conflicts: 1788000 | #Constraints: 48958
2427.04/2433.82 c #Conflicts: 1789000 | #Constraints: 49960
2427.04/2433.82 c #Conflicts: 1790000 | #Constraints: 50963
2427.04/2433.82 c #Conflicts: 1791000 | #Constraints: 51964
2427.04/2433.82 c #Conflicts: 1792000 | #Constraints: 52966
2427.04/2433.82 c #Conflicts: 1793000 | #Constraints: 53967
2427.04/2433.82 c #Conflicts: 1794000 | #Constraints: 54968
2427.04/2433.82 c #Conflicts: 1795000 | #Constraints: 55968
2427.04/2433.82 c #Conflicts: 1796000 | #Constraints: 56971
2427.04/2433.82 c #Conflicts: 1797000 | #Constraints: 57972
2427.04/2433.82 c #Conflicts: 1798000 | #Constraints: 58973
2427.04/2433.82 c #Conflicts: 1799000 | #Constraints: 59974
2427.04/2433.82 c #Conflicts: 1800000 | #Constraints: 60975
2427.04/2433.82 c INPROCESSING
2427.04/2433.82 c GARBAGE COLLECT
2427.04/2433.82 c rational objective 3
2483.60/2490.51 c #Conflicts: 1801000 | #Constraints: 35334
2483.60/2490.51 c #Conflicts: 1802000 | #Constraints: 36335
2483.60/2490.51 c #Conflicts: 1803000 | #Constraints: 37337
2483.60/2490.51 c #Conflicts: 1804000 | #Constraints: 38337
2483.60/2490.51 c #Conflicts: 1805000 | #Constraints: 39337
2483.60/2490.51 c #Conflicts: 1806000 | #Constraints: 40337
2483.60/2490.51 c #Conflicts: 1807000 | #Constraints: 41338
2483.60/2490.51 c #Conflicts: 1808000 | #Constraints: 42339
2483.60/2490.51 c #Conflicts: 1809000 | #Constraints: 43340
2483.60/2490.51 c #Conflicts: 1810000 | #Constraints: 44340
2483.60/2490.51 c #Conflicts: 1811000 | #Constraints: 45344
2483.60/2490.51 c #Conflicts: 1812000 | #Constraints: 46346
2483.60/2490.51 c #Conflicts: 1813000 | #Constraints: 47346
2483.60/2490.51 c #Conflicts: 1814000 | #Constraints: 48348
2483.60/2490.51 c #Conflicts: 1815000 | #Constraints: 49350
2483.60/2490.51 c #Conflicts: 1816000 | #Constraints: 50350
2483.60/2490.51 c #Conflicts: 1817000 | #Constraints: 51350
2483.60/2490.51 c #Conflicts: 1818000 | #Constraints: 52351
2483.60/2490.51 c #Conflicts: 1819000 | #Constraints: 53354
2483.60/2490.51 c #Conflicts: 1820000 | #Constraints: 54357
2483.60/2490.51 c #Conflicts: 1821000 | #Constraints: 55361
2483.60/2490.51 c #Conflicts: 1822000 | #Constraints: 56362
2483.60/2490.51 c #Conflicts: 1823000 | #Constraints: 57364
2483.60/2490.51 c #Conflicts: 1824000 | #Constraints: 58368
2483.60/2490.51 c #Conflicts: 1825000 | #Constraints: 59369
2483.60/2490.51 c #Conflicts: 1826000 | #Constraints: 60370
2483.60/2490.51 c #Conflicts: 1827000 | #Constraints: 61370
2483.60/2490.51 c INPROCESSING
2483.60/2490.51 c GARBAGE COLLECT
2483.60/2490.51 c rational objective 3
2541.16/2548.21 c #Conflicts: 1828000 | #Constraints: 35554
2541.16/2548.21 c #Conflicts: 1829000 | #Constraints: 36555
2541.16/2548.21 c #Conflicts: 1830000 | #Constraints: 37556
2541.16/2548.21 c #Conflicts: 1831000 | #Constraints: 38558
2541.16/2548.21 c #Conflicts: 1832000 | #Constraints: 39561
2541.16/2548.21 c #Conflicts: 1833000 | #Constraints: 40562
2541.16/2548.21 c #Conflicts: 1834000 | #Constraints: 41565
2541.16/2548.21 c #Conflicts: 1835000 | #Constraints: 42565
2541.16/2548.21 c #Conflicts: 1836000 | #Constraints: 43565
2541.16/2548.21 c #Conflicts: 1837000 | #Constraints: 44566
2541.16/2548.21 c #Conflicts: 1838000 | #Constraints: 45566
2541.16/2548.21 c #Conflicts: 1839000 | #Constraints: 46566
2541.16/2548.21 c #Conflicts: 1840000 | #Constraints: 47566
2541.16/2548.21 c #Conflicts: 1841000 | #Constraints: 48567
2541.16/2548.21 c #Conflicts: 1842000 | #Constraints: 49567
2541.16/2548.21 c #Conflicts: 1843000 | #Constraints: 50567
2541.16/2548.21 c #Conflicts: 1844000 | #Constraints: 51567
2541.16/2548.21 c #Conflicts: 1845000 | #Constraints: 52568
2541.16/2548.21 c #Conflicts: 1846000 | #Constraints: 53568
2541.16/2548.21 c #Conflicts: 1847000 | #Constraints: 54569
2541.16/2548.21 c #Conflicts: 1848000 | #Constraints: 55570
2541.16/2548.21 c #Conflicts: 1849000 | #Constraints: 56571
2541.16/2548.21 c #Conflicts: 1850000 | #Constraints: 57572
2541.16/2548.21 c #Conflicts: 1851000 | #Constraints: 58573
2541.16/2548.21 c #Conflicts: 1852000 | #Constraints: 59573
2541.16/2548.21 c #Conflicts: 1853000 | #Constraints: 60574
2541.16/2548.21 c #Conflicts: 1854000 | #Constraints: 61576
2541.16/2548.21 c INPROCESSING
2541.16/2548.21 c GARBAGE COLLECT
2541.16/2548.21 c rational objective 3
2604.61/2611.88 c #Conflicts: 1855000 | #Constraints: 35570
2604.61/2611.88 c #Conflicts: 1856000 | #Constraints: 36571
2604.61/2611.88 c #Conflicts: 1857000 | #Constraints: 37571
2604.61/2611.88 c #Conflicts: 1858000 | #Constraints: 38571
2604.61/2611.88 c #Conflicts: 1859000 | #Constraints: 39572
2604.61/2611.88 c #Conflicts: 1860000 | #Constraints: 40574
2604.61/2611.88 c #Conflicts: 1861000 | #Constraints: 41576
2604.61/2611.88 c #Conflicts: 1862000 | #Constraints: 42576
2604.61/2611.88 c #Conflicts: 1863000 | #Constraints: 43578
2604.61/2611.88 c #Conflicts: 1864000 | #Constraints: 44578
2604.61/2611.88 c #Conflicts: 1865000 | #Constraints: 45580
2604.61/2611.88 c #Conflicts: 1866000 | #Constraints: 46580
2604.61/2611.88 c #Conflicts: 1867000 | #Constraints: 47581
2604.61/2611.88 c #Conflicts: 1868000 | #Constraints: 48583
2604.61/2611.88 c #Conflicts: 1869000 | #Constraints: 49583
2604.61/2611.88 c #Conflicts: 1870000 | #Constraints: 50583
2604.61/2611.88 c #Conflicts: 1871000 | #Constraints: 51583
2604.61/2611.88 c #Conflicts: 1872000 | #Constraints: 52583
2604.61/2611.88 c #Conflicts: 1873000 | #Constraints: 53585
2604.61/2611.88 c #Conflicts: 1874000 | #Constraints: 54585
2604.61/2611.88 c #Conflicts: 1875000 | #Constraints: 55590
2604.61/2611.88 c #Conflicts: 1876000 | #Constraints: 56591
2604.61/2611.88 c #Conflicts: 1877000 | #Constraints: 57592
2604.61/2611.88 c #Conflicts: 1878000 | #Constraints: 58592
2604.61/2611.88 c #Conflicts: 1879000 | #Constraints: 59593
2604.61/2611.88 c #Conflicts: 1880000 | #Constraints: 60593
2604.61/2611.88 c #Conflicts: 1881000 | #Constraints: 61594
2604.61/2611.88 c INPROCESSING
2604.61/2611.88 c GARBAGE COLLECT
2604.61/2611.88 c rational objective 3
2662.85/2670.29 c #Conflicts: 1882000 | #Constraints: 35365
2662.85/2670.29 c #Conflicts: 1883000 | #Constraints: 36365
2662.85/2670.29 c #Conflicts: 1884000 | #Constraints: 37367
2662.85/2670.29 c #Conflicts: 1885000 | #Constraints: 38368
2662.85/2670.29 c #Conflicts: 1886000 | #Constraints: 39369
2662.85/2670.29 c #Conflicts: 1887000 | #Constraints: 40370
2662.85/2670.29 c #Conflicts: 1888000 | #Constraints: 41370
2662.85/2670.29 c #Conflicts: 1889000 | #Constraints: 42371
2662.85/2670.29 c #Conflicts: 1890000 | #Constraints: 43373
2662.85/2670.29 c #Conflicts: 1891000 | #Constraints: 44373
2662.85/2670.29 c #Conflicts: 1892000 | #Constraints: 45373
2662.85/2670.29 c #Conflicts: 1893000 | #Constraints: 46373
2662.85/2670.29 c #Conflicts: 1894000 | #Constraints: 47373
2662.85/2670.29 c #Conflicts: 1895000 | #Constraints: 48374
2662.85/2670.29 c #Conflicts: 1896000 | #Constraints: 49375
2662.85/2670.29 c #Conflicts: 1897000 | #Constraints: 50375
2662.85/2670.29 c #Conflicts: 1898000 | #Constraints: 51375
2662.85/2670.29 c #Conflicts: 1899000 | #Constraints: 52375
2662.85/2670.29 c #Conflicts: 1900000 | #Constraints: 53375
2662.85/2670.29 c #Conflicts: 1901000 | #Constraints: 54375
2662.85/2670.29 c #Conflicts: 1902000 | #Constraints: 55375
2662.85/2670.29 c #Conflicts: 1903000 | #Constraints: 56375
2662.85/2670.29 c #Conflicts: 1904000 | #Constraints: 57375
2662.85/2670.29 c #Conflicts: 1905000 | #Constraints: 58376
2662.85/2670.29 c #Conflicts: 1906000 | #Constraints: 59376
2662.85/2670.29 c #Conflicts: 1907000 | #Constraints: 60376
2662.85/2670.29 c #Conflicts: 1908000 | #Constraints: 61376
2662.85/2670.29 c #Conflicts: 1909000 | #Constraints: 62376
2662.85/2670.29 c INPROCESSING
2662.85/2670.29 c GARBAGE COLLECT
2662.85/2670.29 c rational objective 3
2717.62/2725.15 c #Conflicts: 1910000 | #Constraints: 35924
2717.62/2725.15 c #Conflicts: 1911000 | #Constraints: 36924
2717.62/2725.15 c #Conflicts: 1912000 | #Constraints: 37928
2717.62/2725.15 c #Conflicts: 1913000 | #Constraints: 38931
2717.62/2725.15 c #Conflicts: 1914000 | #Constraints: 39932
2717.62/2725.15 c #Conflicts: 1915000 | #Constraints: 40933
2717.62/2725.15 c #Conflicts: 1916000 | #Constraints: 41934
2717.62/2725.15 c #Conflicts: 1917000 | #Constraints: 42935
2717.62/2725.15 c #Conflicts: 1918000 | #Constraints: 43937
2717.62/2725.15 c #Conflicts: 1919000 | #Constraints: 44938
2717.62/2725.15 c #Conflicts: 1920000 | #Constraints: 45938
2717.62/2725.15 c #Conflicts: 1921000 | #Constraints: 46940
2717.62/2725.15 c #Conflicts: 1922000 | #Constraints: 47940
2717.62/2725.15 c #Conflicts: 1923000 | #Constraints: 48942
2717.62/2725.15 c #Conflicts: 1924000 | #Constraints: 49942
2717.62/2725.15 c #Conflicts: 1925000 | #Constraints: 50942
2717.62/2725.15 c #Conflicts: 1926000 | #Constraints: 51944
2717.62/2725.15 c #Conflicts: 1927000 | #Constraints: 52945
2717.62/2725.15 c #Conflicts: 1928000 | #Constraints: 53945
2717.62/2725.15 c #Conflicts: 1929000 | #Constraints: 54945
2717.62/2725.15 c #Conflicts: 1930000 | #Constraints: 55945
2717.62/2725.15 c #Conflicts: 1931000 | #Constraints: 56945
2717.62/2725.15 c #Conflicts: 1932000 | #Constraints: 57945
2717.62/2725.15 c #Conflicts: 1933000 | #Constraints: 58946
2717.62/2725.15 c #Conflicts: 1934000 | #Constraints: 59946
2717.62/2725.15 c #Conflicts: 1935000 | #Constraints: 60947
2717.62/2725.15 c #Conflicts: 1936000 | #Constraints: 61947
2717.62/2725.15 c #Conflicts: 1937000 | #Constraints: 62947
2717.62/2725.15 c INPROCESSING
2717.62/2725.15 c GARBAGE COLLECT
2717.62/2725.15 c rational objective 3
2773.27/2780.96 c #Conflicts: 1938000 | #Constraints: 36343
2773.27/2780.96 c #Conflicts: 1939000 | #Constraints: 37343
2773.27/2780.96 c #Conflicts: 1940000 | #Constraints: 38344
2773.27/2780.96 c #Conflicts: 1941000 | #Constraints: 39345
2773.27/2780.96 c #Conflicts: 1942000 | #Constraints: 40346
2773.27/2780.96 c #Conflicts: 1943000 | #Constraints: 41346
2773.27/2780.96 c #Conflicts: 1944000 | #Constraints: 42348
2773.27/2780.96 c #Conflicts: 1945000 | #Constraints: 43349
2773.27/2780.96 c #Conflicts: 1946000 | #Constraints: 44350
2773.27/2780.96 c #Conflicts: 1947000 | #Constraints: 45352
2773.27/2780.96 c #Conflicts: 1948000 | #Constraints: 46353
2773.27/2780.96 c #Conflicts: 1949000 | #Constraints: 47355
2773.27/2780.96 c #Conflicts: 1950000 | #Constraints: 48355
2773.27/2780.96 c #Conflicts: 1951000 | #Constraints: 49356
2773.27/2780.96 c #Conflicts: 1952000 | #Constraints: 50357
2773.27/2780.96 c #Conflicts: 1953000 | #Constraints: 51357
2773.27/2780.96 c #Conflicts: 1954000 | #Constraints: 52357
2773.27/2780.96 c #Conflicts: 1955000 | #Constraints: 53357
2773.27/2780.96 c #Conflicts: 1956000 | #Constraints: 54358
2773.27/2780.96 c #Conflicts: 1957000 | #Constraints: 55359
2773.27/2780.96 c #Conflicts: 1958000 | #Constraints: 56359
2773.27/2780.96 c #Conflicts: 1959000 | #Constraints: 57359
2773.27/2780.96 c #Conflicts: 1960000 | #Constraints: 58359
2773.27/2780.96 c #Conflicts: 1961000 | #Constraints: 59360
2773.27/2780.96 c #Conflicts: 1962000 | #Constraints: 60360
2773.27/2780.96 c #Conflicts: 1963000 | #Constraints: 61360
2773.27/2780.96 c #Conflicts: 1964000 | #Constraints: 62362
2773.27/2780.96 c #Conflicts: 1965000 | #Constraints: 63362
2773.27/2780.96 c INPROCESSING
2773.27/2780.96 c GARBAGE COLLECT
2773.27/2780.96 c rational objective 3
2832.42/2840.29 c #Conflicts: 1966000 | #Constraints: 36479
2832.42/2840.29 c #Conflicts: 1967000 | #Constraints: 37479
2832.42/2840.29 c #Conflicts: 1968000 | #Constraints: 38479
2832.42/2840.29 c #Conflicts: 1969000 | #Constraints: 39479
2832.42/2840.29 c #Conflicts: 1970000 | #Constraints: 40479
2832.42/2840.29 c #Conflicts: 1971000 | #Constraints: 41479
2832.42/2840.29 c #Conflicts: 1972000 | #Constraints: 42481
2832.42/2840.29 c #Conflicts: 1973000 | #Constraints: 43482
2832.42/2840.29 c #Conflicts: 1974000 | #Constraints: 44483
2832.42/2840.29 c #Conflicts: 1975000 | #Constraints: 45484
2832.42/2840.29 c #Conflicts: 1976000 | #Constraints: 46484
2832.42/2840.29 c #Conflicts: 1977000 | #Constraints: 47485
2832.42/2840.29 c #Conflicts: 1978000 | #Constraints: 48485
2832.42/2840.29 c #Conflicts: 1979000 | #Constraints: 49486
2832.42/2840.29 c #Conflicts: 1980000 | #Constraints: 50486
2832.42/2840.29 c #Conflicts: 1981000 | #Constraints: 51486
2832.42/2840.29 c #Conflicts: 1982000 | #Constraints: 52486
2832.42/2840.29 c #Conflicts: 1983000 | #Constraints: 53486
2832.42/2840.29 c #Conflicts: 1984000 | #Constraints: 54486
2832.42/2840.29 c #Conflicts: 1985000 | #Constraints: 55486
2832.42/2840.29 c #Conflicts: 1986000 | #Constraints: 56486
2832.42/2840.29 c #Conflicts: 1987000 | #Constraints: 57486
2832.42/2840.29 c #Conflicts: 1988000 | #Constraints: 58486
2832.42/2840.29 c #Conflicts: 1989000 | #Constraints: 59486
2832.42/2840.29 c #Conflicts: 1990000 | #Constraints: 60486
2832.42/2840.29 c #Conflicts: 1991000 | #Constraints: 61486
2832.42/2840.29 c #Conflicts: 1992000 | #Constraints: 62486
2832.42/2840.29 c #Conflicts: 1993000 | #Constraints: 63486
2832.42/2840.29 c INPROCESSING
2832.42/2840.29 c GARBAGE COLLECT
2832.42/2840.29 c rational objective 3
2891.67/2899.61 c #Conflicts: 1994000 | #Constraints: 36487
2891.67/2899.61 c #Conflicts: 1995000 | #Constraints: 37487
2891.67/2899.61 c #Conflicts: 1996000 | #Constraints: 38487
2891.67/2899.61 c #Conflicts: 1997000 | #Constraints: 39487
2891.67/2899.61 c #Conflicts: 1998000 | #Constraints: 40487
2891.67/2899.61 c #Conflicts: 1999000 | #Constraints: 41488
2891.67/2899.61 c #Conflicts: 2000000 | #Constraints: 42491
2891.67/2899.61 c #Conflicts: 2001000 | #Constraints: 43491
2891.67/2899.61 c #Conflicts: 2002000 | #Constraints: 44491
2891.67/2899.61 c #Conflicts: 2003000 | #Constraints: 45491
2891.67/2899.61 c #Conflicts: 2004000 | #Constraints: 46491
2891.67/2899.61 c #Conflicts: 2005000 | #Constraints: 47492
2891.67/2899.61 c #Conflicts: 2006000 | #Constraints: 48493
2891.67/2899.61 c #Conflicts: 2007000 | #Constraints: 49494
2891.67/2899.61 c #Conflicts: 2008000 | #Constraints: 50496
2891.67/2899.61 c #Conflicts: 2009000 | #Constraints: 51497
2891.67/2899.61 c #Conflicts: 2010000 | #Constraints: 52499
2891.67/2899.61 c #Conflicts: 2011000 | #Constraints: 53499
2891.67/2899.61 c #Conflicts: 2012000 | #Constraints: 54500
2891.67/2899.61 c #Conflicts: 2013000 | #Constraints: 55500
2891.67/2899.62 c #Conflicts: 2014000 | #Constraints: 56500
2891.67/2899.62 c #Conflicts: 2015000 | #Constraints: 57500
2891.67/2899.62 c #Conflicts: 2016000 | #Constraints: 58501
2891.67/2899.62 c #Conflicts: 2017000 | #Constraints: 59501
2891.67/2899.62 c #Conflicts: 2018000 | #Constraints: 60501
2891.67/2899.62 c #Conflicts: 2019000 | #Constraints: 61501
2891.67/2899.62 c #Conflicts: 2020000 | #Constraints: 62502
2891.67/2899.62 c #Conflicts: 2021000 | #Constraints: 63502
2891.67/2899.62 c INPROCESSING
2891.67/2899.62 c GARBAGE COLLECT
2891.67/2899.62 c rational objective 3
2951.22/2959.38 c #Conflicts: 2022000 | #Constraints: 36208
2951.22/2959.38 c #Conflicts: 2023000 | #Constraints: 37208
2951.22/2959.38 c #Conflicts: 2024000 | #Constraints: 38210
2951.22/2959.38 c #Conflicts: 2025000 | #Constraints: 39212
2951.22/2959.38 c #Conflicts: 2026000 | #Constraints: 40212
2951.22/2959.38 c #Conflicts: 2027000 | #Constraints: 41212
2951.22/2959.38 c #Conflicts: 2028000 | #Constraints: 42214
2951.22/2959.38 c #Conflicts: 2029000 | #Constraints: 43214
2951.22/2959.38 c #Conflicts: 2030000 | #Constraints: 44215
2951.22/2959.38 c #Conflicts: 2031000 | #Constraints: 45216
2951.22/2959.38 c #Conflicts: 2032000 | #Constraints: 46216
2951.22/2959.38 c #Conflicts: 2033000 | #Constraints: 47217
2951.22/2959.38 c #Conflicts: 2034000 | #Constraints: 48218
2951.22/2959.38 c #Conflicts: 2035000 | #Constraints: 49219
2951.22/2959.38 c #Conflicts: 2036000 | #Constraints: 50219
2951.22/2959.38 c #Conflicts: 2037000 | #Constraints: 51220
2951.22/2959.38 c #Conflicts: 2038000 | #Constraints: 52220
2951.22/2959.38 c #Conflicts: 2039000 | #Constraints: 53221
2951.22/2959.38 c #Conflicts: 2040000 | #Constraints: 54222
2951.22/2959.38 c #Conflicts: 2041000 | #Constraints: 55222
2951.22/2959.38 c #Conflicts: 2042000 | #Constraints: 56222
2951.22/2959.38 c #Conflicts: 2043000 | #Constraints: 57222
2951.22/2959.38 c #Conflicts: 2044000 | #Constraints: 58223
2951.22/2959.38 c #Conflicts: 2045000 | #Constraints: 59223
2951.22/2959.38 c #Conflicts: 2046000 | #Constraints: 60223
2951.22/2959.38 c #Conflicts: 2047000 | #Constraints: 61224
2951.22/2959.38 c #Conflicts: 2048000 | #Constraints: 62224
2951.22/2959.38 c #Conflicts: 2049000 | #Constraints: 63224
2951.22/2959.38 c #Conflicts: 2050000 | #Constraints: 64224
2951.22/2959.38 c INPROCESSING
2951.22/2959.38 c GARBAGE COLLECT
2951.22/2959.38 c rational objective 3
3011.87/3020.16 c #Conflicts: 2051000 | #Constraints: 36768
3011.87/3020.16 c #Conflicts: 2052000 | #Constraints: 37768
3011.87/3020.16 c #Conflicts: 2053000 | #Constraints: 38768
3011.87/3020.16 c #Conflicts: 2054000 | #Constraints: 39769
3011.87/3020.16 c #Conflicts: 2055000 | #Constraints: 40770
3011.87/3020.16 c #Conflicts: 2056000 | #Constraints: 41770
3011.87/3020.16 c #Conflicts: 2057000 | #Constraints: 42771
3011.87/3020.16 c #Conflicts: 2058000 | #Constraints: 43773
3011.87/3020.16 c #Conflicts: 2059000 | #Constraints: 44774
3011.87/3020.16 c #Conflicts: 2060000 | #Constraints: 45774
3011.87/3020.16 c #Conflicts: 2061000 | #Constraints: 46774
3011.87/3020.16 c #Conflicts: 2062000 | #Constraints: 47774
3011.87/3020.16 c #Conflicts: 2063000 | #Constraints: 48774
3011.87/3020.16 c #Conflicts: 2064000 | #Constraints: 49775
3011.87/3020.16 c #Conflicts: 2065000 | #Constraints: 50776
3011.87/3020.16 c #Conflicts: 2066000 | #Constraints: 51776
3011.87/3020.16 c #Conflicts: 2067000 | #Constraints: 52776
3011.87/3020.16 c #Conflicts: 2068000 | #Constraints: 53776
3011.87/3020.16 c #Conflicts: 2069000 | #Constraints: 54776
3011.87/3020.16 c #Conflicts: 2070000 | #Constraints: 55776
3011.87/3020.16 c #Conflicts: 2071000 | #Constraints: 56776
3011.87/3020.16 c #Conflicts: 2072000 | #Constraints: 57776
3011.87/3020.16 c #Conflicts: 2073000 | #Constraints: 58776
3011.87/3020.16 c #Conflicts: 2074000 | #Constraints: 59776
3011.87/3020.16 c #Conflicts: 2075000 | #Constraints: 60776
3011.87/3020.16 c #Conflicts: 2076000 | #Constraints: 61776
3011.87/3020.16 c #Conflicts: 2077000 | #Constraints: 62776
3011.87/3020.16 c #Conflicts: 2078000 | #Constraints: 63776
3011.87/3020.16 c #Conflicts: 2079000 | #Constraints: 64776
3011.87/3020.16 c INPROCESSING
3011.87/3020.16 c GARBAGE COLLECT
3011.87/3020.16 c rational objective 3
3089.26/3097.77 c #Conflicts: 2080000 | #Constraints: 37164
3089.26/3097.77 c #Conflicts: 2081000 | #Constraints: 38164
3089.26/3097.77 c #Conflicts: 2082000 | #Constraints: 39165
3089.26/3097.77 c #Conflicts: 2083000 | #Constraints: 40165
3089.26/3097.77 c #Conflicts: 2084000 | #Constraints: 41166
3089.26/3097.77 c #Conflicts: 2085000 | #Constraints: 42170
3089.26/3097.77 c #Conflicts: 2086000 | #Constraints: 43171
3089.26/3097.77 c #Conflicts: 2087000 | #Constraints: 44173
3089.26/3097.77 c #Conflicts: 2088000 | #Constraints: 45173
3089.26/3097.77 c #Conflicts: 2089000 | #Constraints: 46175
3089.26/3097.77 c #Conflicts: 2090000 | #Constraints: 47180
3089.26/3097.77 c #Conflicts: 2091000 | #Constraints: 48182
3089.26/3097.77 c #Conflicts: 2092000 | #Constraints: 49182
3089.26/3097.77 c #Conflicts: 2093000 | #Constraints: 50184
3089.26/3097.77 c #Conflicts: 2094000 | #Constraints: 51184
3089.26/3097.77 c #Conflicts: 2095000 | #Constraints: 52185
3089.26/3097.77 c #Conflicts: 2096000 | #Constraints: 53186
3089.26/3097.77 c #Conflicts: 2097000 | #Constraints: 54188
3089.26/3097.77 c #Conflicts: 2098000 | #Constraints: 55188
3089.26/3097.77 c #Conflicts: 2099000 | #Constraints: 56188
3089.26/3097.77 c #Conflicts: 2100000 | #Constraints: 57188
3089.26/3097.77 c #Conflicts: 2101000 | #Constraints: 58188
3089.26/3097.77 c #Conflicts: 2102000 | #Constraints: 59188
3089.26/3097.77 c #Conflicts: 2103000 | #Constraints: 60188
3089.26/3097.77 c #Conflicts: 2104000 | #Constraints: 61188
3089.26/3097.77 c #Conflicts: 2105000 | #Constraints: 62188
3089.26/3097.77 c #Conflicts: 2106000 | #Constraints: 63188
3089.26/3097.77 c #Conflicts: 2107000 | #Constraints: 64189
3089.26/3097.77 c #Conflicts: 2108000 | #Constraints: 65189
3089.26/3097.77 c INPROCESSING
3089.26/3097.77 c GARBAGE COLLECT
3089.26/3097.77 c rational objective 3
3160.19/3168.82 c #Conflicts: 2109000 | #Constraints: 37350
3160.19/3168.82 c #Conflicts: 2110000 | #Constraints: 38351
3160.19/3168.82 c #Conflicts: 2111000 | #Constraints: 39352
3160.19/3168.82 c #Conflicts: 2112000 | #Constraints: 40352
3160.19/3168.82 c #Conflicts: 2113000 | #Constraints: 41354
3160.19/3168.82 c #Conflicts: 2114000 | #Constraints: 42355
3160.19/3168.82 c #Conflicts: 2115000 | #Constraints: 43357
3160.19/3168.82 c #Conflicts: 2116000 | #Constraints: 44358
3160.19/3168.82 c #Conflicts: 2117000 | #Constraints: 45360
3160.19/3168.82 c #Conflicts: 2118000 | #Constraints: 46362
3160.19/3168.82 c #Conflicts: 2119000 | #Constraints: 47366
3160.19/3168.82 c #Conflicts: 2120000 | #Constraints: 48366
3160.19/3168.82 c #Conflicts: 2121000 | #Constraints: 49370
3160.19/3168.82 c #Conflicts: 2122000 | #Constraints: 50371
3160.19/3168.82 c #Conflicts: 2123000 | #Constraints: 51371
3160.19/3168.82 c #Conflicts: 2124000 | #Constraints: 52372
3160.19/3168.82 c #Conflicts: 2125000 | #Constraints: 53374
3160.19/3168.82 c #Conflicts: 2126000 | #Constraints: 54374
3160.19/3168.82 c #Conflicts: 2127000 | #Constraints: 55374
3160.19/3168.82 c #Conflicts: 2128000 | #Constraints: 56376
3160.19/3168.82 c #Conflicts: 2129000 | #Constraints: 57377
3160.19/3168.82 c #Conflicts: 2130000 | #Constraints: 58378
3160.19/3168.82 c #Conflicts: 2131000 | #Constraints: 59379
3160.19/3168.82 c #Conflicts: 2132000 | #Constraints: 60380
3160.19/3168.82 c #Conflicts: 2133000 | #Constraints: 61381
3160.19/3168.82 c #Conflicts: 2134000 | #Constraints: 62381
3160.19/3168.82 c #Conflicts: 2135000 | #Constraints: 63381
3160.19/3168.82 c #Conflicts: 2136000 | #Constraints: 64382
3160.19/3168.82 c #Conflicts: 2137000 | #Constraints: 65383
3160.19/3168.82 c INPROCESSING
3160.19/3168.82 c GARBAGE COLLECT
3160.19/3168.82 c rational objective 3
3228.11/3236.97 c #Conflicts: 2138000 | #Constraints: 37308
3228.11/3236.97 c #Conflicts: 2139000 | #Constraints: 38308
3228.11/3236.97 c #Conflicts: 2140000 | #Constraints: 39308
3228.11/3236.97 c #Conflicts: 2141000 | #Constraints: 40309
3228.11/3236.97 c #Conflicts: 2142000 | #Constraints: 41311
3228.11/3236.97 c #Conflicts: 2143000 | #Constraints: 42312
3228.11/3236.97 c #Conflicts: 2144000 | #Constraints: 43312
3228.11/3236.97 c #Conflicts: 2145000 | #Constraints: 44313
3228.11/3236.97 c #Conflicts: 2146000 | #Constraints: 45313
3228.11/3236.97 c #Conflicts: 2147000 | #Constraints: 46314
3228.11/3236.97 c #Conflicts: 2148000 | #Constraints: 47314
3228.11/3236.97 c #Conflicts: 2149000 | #Constraints: 48314
3228.11/3236.97 c #Conflicts: 2150000 | #Constraints: 49315
3228.11/3236.97 c #Conflicts: 2151000 | #Constraints: 50316
3228.11/3236.97 c #Conflicts: 2152000 | #Constraints: 51317
3228.11/3236.97 c #Conflicts: 2153000 | #Constraints: 52317
3228.11/3236.97 c #Conflicts: 2154000 | #Constraints: 53317
3228.11/3236.97 c #Conflicts: 2155000 | #Constraints: 54317
3228.11/3236.97 c #Conflicts: 2156000 | #Constraints: 55317
3228.11/3236.97 c #Conflicts: 2157000 | #Constraints: 56318
3228.11/3236.97 c #Conflicts: 2158000 | #Constraints: 57319
3228.11/3236.97 c #Conflicts: 2159000 | #Constraints: 58320
3228.11/3236.97 c #Conflicts: 2160000 | #Constraints: 59320
3228.11/3236.97 c #Conflicts: 2161000 | #Constraints: 60320
3228.11/3236.97 c #Conflicts: 2162000 | #Constraints: 61321
3228.11/3236.97 c #Conflicts: 2163000 | #Constraints: 62321
3228.11/3236.97 c #Conflicts: 2164000 | #Constraints: 63322
3228.11/3236.97 c #Conflicts: 2165000 | #Constraints: 64323
3228.11/3236.97 c #Conflicts: 2166000 | #Constraints: 65324
3228.11/3236.97 c INPROCESSING
3228.11/3236.97 c GARBAGE COLLECT
3228.11/3236.97 c rational objective 3
3301.84/3310.82 c #Conflicts: 2167000 | #Constraints: 37105
3301.84/3310.82 c #Conflicts: 2168000 | #Constraints: 38105
3301.84/3310.82 c #Conflicts: 2169000 | #Constraints: 39105
3301.84/3310.82 c #Conflicts: 2170000 | #Constraints: 40107
3301.84/3310.82 c #Conflicts: 2171000 | #Constraints: 41108
3301.84/3310.82 c #Conflicts: 2172000 | #Constraints: 42109
3301.84/3310.82 c #Conflicts: 2173000 | #Constraints: 43109
3301.84/3310.82 c #Conflicts: 2174000 | #Constraints: 44109
3301.84/3310.82 c #Conflicts: 2175000 | #Constraints: 45109
3301.84/3310.82 c #Conflicts: 2176000 | #Constraints: 46109
3301.84/3310.82 c #Conflicts: 2177000 | #Constraints: 47109
3301.84/3310.82 c #Conflicts: 2178000 | #Constraints: 48109
3301.84/3310.82 c #Conflicts: 2179000 | #Constraints: 49109
3301.84/3310.82 c #Conflicts: 2180000 | #Constraints: 50109
3301.84/3310.82 c #Conflicts: 2181000 | #Constraints: 51110
3301.84/3310.82 c #Conflicts: 2182000 | #Constraints: 52111
3301.84/3310.82 c #Conflicts: 2183000 | #Constraints: 53112
3301.84/3310.82 c #Conflicts: 2184000 | #Constraints: 54113
3301.84/3310.82 c #Conflicts: 2185000 | #Constraints: 55113
3301.84/3310.82 c #Conflicts: 2186000 | #Constraints: 56114
3301.84/3310.82 c #Conflicts: 2187000 | #Constraints: 57115
3301.84/3310.82 c #Conflicts: 2188000 | #Constraints: 58116
3301.84/3310.82 c #Conflicts: 2189000 | #Constraints: 59117
3301.84/3310.82 c #Conflicts: 2190000 | #Constraints: 60117
3301.84/3310.82 c #Conflicts: 2191000 | #Constraints: 61118
3301.84/3310.82 c #Conflicts: 2192000 | #Constraints: 62120
3301.84/3310.82 c #Conflicts: 2193000 | #Constraints: 63120
3301.84/3310.82 c #Conflicts: 2194000 | #Constraints: 64121
3301.84/3310.82 c #Conflicts: 2195000 | #Constraints: 65122
3301.84/3310.82 c #Conflicts: 2196000 | #Constraints: 66125
3301.84/3310.82 c INPROCESSING
3301.84/3310.82 c GARBAGE COLLECT
3301.84/3310.82 c rational objective 3
3369.28/3378.42 c #Conflicts: 2197000 | #Constraints: 37729
3369.28/3378.42 c #Conflicts: 2198000 | #Constraints: 38730
3369.28/3378.42 c #Conflicts: 2199000 | #Constraints: 39730
3369.28/3378.42 c #Conflicts: 2200000 | #Constraints: 40731
3369.28/3378.42 c #Conflicts: 2201000 | #Constraints: 41732
3369.28/3378.42 c #Conflicts: 2202000 | #Constraints: 42733
3369.28/3378.42 c #Conflicts: 2203000 | #Constraints: 43735
3369.28/3378.42 c #Conflicts: 2204000 | #Constraints: 44735
3369.28/3378.42 c #Conflicts: 2205000 | #Constraints: 45735
3369.28/3378.42 c #Conflicts: 2206000 | #Constraints: 46736
3369.28/3378.42 c #Conflicts: 2207000 | #Constraints: 47736
3369.28/3378.42 c #Conflicts: 2208000 | #Constraints: 48737
3369.28/3378.42 c #Conflicts: 2209000 | #Constraints: 49737
3369.28/3378.42 c #Conflicts: 2210000 | #Constraints: 50737
3369.28/3378.42 c #Conflicts: 2211000 | #Constraints: 51737
3369.28/3378.42 c #Conflicts: 2212000 | #Constraints: 52738
3369.28/3378.42 c #Conflicts: 2213000 | #Constraints: 53738
3369.28/3378.42 c #Conflicts: 2214000 | #Constraints: 54739
3369.28/3378.42 c #Conflicts: 2215000 | #Constraints: 55739
3369.28/3378.42 c #Conflicts: 2216000 | #Constraints: 56739
3369.28/3378.42 c #Conflicts: 2217000 | #Constraints: 57739
3369.28/3378.42 c #Conflicts: 2218000 | #Constraints: 58739
3369.28/3378.42 c #Conflicts: 2219000 | #Constraints: 59739
3369.28/3378.42 c #Conflicts: 2220000 | #Constraints: 60739
3369.28/3378.42 c #Conflicts: 2221000 | #Constraints: 61739
3369.28/3378.42 c #Conflicts: 2222000 | #Constraints: 62739
3369.28/3378.42 c #Conflicts: 2223000 | #Constraints: 63741
3369.28/3378.42 c #Conflicts: 2224000 | #Constraints: 64741
3369.28/3378.42 c #Conflicts: 2225000 | #Constraints: 65741
3369.28/3378.42 c #Conflicts: 2226000 | #Constraints: 66742
3369.28/3378.42 c INPROCESSING
3369.28/3378.42 c GARBAGE COLLECT
3369.28/3378.42 c rational objective 3
3446.49/3455.86 c #Conflicts: 2227000 | #Constraints: 38093
3446.49/3455.86 c #Conflicts: 2228000 | #Constraints: 39093
3446.49/3455.86 c #Conflicts: 2229000 | #Constraints: 40093
3446.49/3455.86 c #Conflicts: 2230000 | #Constraints: 41095
3446.49/3455.86 c #Conflicts: 2231000 | #Constraints: 42097
3446.49/3455.86 c #Conflicts: 2232000 | #Constraints: 43099
3446.49/3455.86 c #Conflicts: 2233000 | #Constraints: 44099
3446.49/3455.86 c #Conflicts: 2234000 | #Constraints: 45102
3446.49/3455.86 c #Conflicts: 2235000 | #Constraints: 46104
3446.49/3455.86 c #Conflicts: 2236000 | #Constraints: 47106
3446.49/3455.86 c #Conflicts: 2237000 | #Constraints: 48106
3446.49/3455.86 c #Conflicts: 2238000 | #Constraints: 49107
3446.49/3455.86 c #Conflicts: 2239000 | #Constraints: 50108
3446.49/3455.86 c #Conflicts: 2240000 | #Constraints: 51111
3446.49/3455.86 c #Conflicts: 2241000 | #Constraints: 52113
3446.49/3455.86 c #Conflicts: 2242000 | #Constraints: 53113
3446.49/3455.86 c #Conflicts: 2243000 | #Constraints: 54114
3446.49/3455.86 c #Conflicts: 2244000 | #Constraints: 55115
3446.49/3455.86 c #Conflicts: 2245000 | #Constraints: 56116
3446.49/3455.86 c #Conflicts: 2246000 | #Constraints: 57116
3446.49/3455.86 c #Conflicts: 2247000 | #Constraints: 58116
3446.49/3455.86 c #Conflicts: 2248000 | #Constraints: 59116
3446.49/3455.86 c #Conflicts: 2249000 | #Constraints: 60117
3446.49/3455.86 c #Conflicts: 2250000 | #Constraints: 61117
3446.49/3455.86 c #Conflicts: 2251000 | #Constraints: 62120
3446.49/3455.86 c #Conflicts: 2252000 | #Constraints: 63122
3446.49/3455.86 c #Conflicts: 2253000 | #Constraints: 64122
3446.49/3455.86 c #Conflicts: 2254000 | #Constraints: 65122
3446.49/3455.86 c #Conflicts: 2255000 | #Constraints: 66122
3446.49/3455.86 c #Conflicts: 2256000 | #Constraints: 67123
3446.49/3455.86 c INPROCESSING
3446.49/3455.86 c GARBAGE COLLECT
3446.49/3455.86 c rational objective 3
3507.66/3517.15 c #Conflicts: 2257000 | #Constraints: 38349
3507.66/3517.15 c #Conflicts: 2258000 | #Constraints: 39351
3507.66/3517.15 c #Conflicts: 2259000 | #Constraints: 40351
3507.66/3517.15 c #Conflicts: 2260000 | #Constraints: 41351
3507.66/3517.15 c #Conflicts: 2261000 | #Constraints: 42351
3507.66/3517.15 c #Conflicts: 2262000 | #Constraints: 43352
3507.66/3517.15 c #Conflicts: 2263000 | #Constraints: 44352
3507.66/3517.15 c #Conflicts: 2264000 | #Constraints: 45353
3507.66/3517.15 c #Conflicts: 2265000 | #Constraints: 46353
3507.66/3517.15 c #Conflicts: 2266000 | #Constraints: 47355
3507.66/3517.15 c #Conflicts: 2267000 | #Constraints: 48355
3507.66/3517.15 c #Conflicts: 2268000 | #Constraints: 49356
3507.66/3517.15 c #Conflicts: 2269000 | #Constraints: 50359
3507.66/3517.15 c #Conflicts: 2270000 | #Constraints: 51359
3507.66/3517.15 c #Conflicts: 2271000 | #Constraints: 52359
3507.66/3517.15 c #Conflicts: 2272000 | #Constraints: 53359
3507.66/3517.15 c #Conflicts: 2273000 | #Constraints: 54359
3507.66/3517.15 c #Conflicts: 2274000 | #Constraints: 55360
3507.66/3517.15 c #Conflicts: 2275000 | #Constraints: 56360
3507.66/3517.15 c #Conflicts: 2276000 | #Constraints: 57360
3507.66/3517.15 c #Conflicts: 2277000 | #Constraints: 58360
3507.66/3517.15 c #Conflicts: 2278000 | #Constraints: 59360
3507.66/3517.15 c #Conflicts: 2279000 | #Constraints: 60360
3507.66/3517.15 c #Conflicts: 2280000 | #Constraints: 61360
3507.66/3517.15 c #Conflicts: 2281000 | #Constraints: 62360
3507.66/3517.15 c #Conflicts: 2282000 | #Constraints: 63360
3507.66/3517.15 c #Conflicts: 2283000 | #Constraints: 64361
3507.66/3517.15 c #Conflicts: 2284000 | #Constraints: 65361
3507.66/3517.15 c #Conflicts: 2285000 | #Constraints: 66361
3507.66/3517.15 c #Conflicts: 2286000 | #Constraints: 67361
3507.66/3517.15 c INPROCESSING
3507.66/3517.15 c GARBAGE COLLECT
3507.66/3517.15 c rational objective 3
3584.17/3593.83 c #Conflicts: 2287000 | #Constraints: 38218
3584.17/3593.83 c #Conflicts: 2288000 | #Constraints: 39218
3584.17/3593.83 c #Conflicts: 2289000 | #Constraints: 40219
3584.17/3593.83 c #Conflicts: 2290000 | #Constraints: 41219
3584.17/3593.83 c #Conflicts: 2291000 | #Constraints: 42219
3584.17/3593.83 c #Conflicts: 2292000 | #Constraints: 43219
3584.17/3593.83 c #Conflicts: 2293000 | #Constraints: 44219
3584.17/3593.83 c #Conflicts: 2294000 | #Constraints: 45219
3584.17/3593.83 c #Conflicts: 2295000 | #Constraints: 46220
3584.17/3593.83 c #Conflicts: 2296000 | #Constraints: 47221
3584.17/3593.83 c #Conflicts: 2297000 | #Constraints: 48221
3584.17/3593.83 c #Conflicts: 2298000 | #Constraints: 49222
3584.17/3593.83 c #Conflicts: 2299000 | #Constraints: 50222
3584.17/3593.83 c #Conflicts: 2300000 | #Constraints: 51223
3584.17/3593.83 c #Conflicts: 2301000 | #Constraints: 52224
3584.17/3593.83 c #Conflicts: 2302000 | #Constraints: 53225
3584.17/3593.83 c #Conflicts: 2303000 | #Constraints: 54225
3584.17/3593.83 c #Conflicts: 2304000 | #Constraints: 55225
3584.17/3593.83 c #Conflicts: 2305000 | #Constraints: 56225
3584.17/3593.83 c #Conflicts: 2306000 | #Constraints: 57225
3584.17/3593.83 c #Conflicts: 2307000 | #Constraints: 58225
3584.17/3593.83 c #Conflicts: 2308000 | #Constraints: 59225
3584.17/3593.83 c #Conflicts: 2309000 | #Constraints: 60225
3584.17/3593.83 c #Conflicts: 2310000 | #Constraints: 61225
3584.17/3593.83 c #Conflicts: 2311000 | #Constraints: 62225
3584.17/3593.83 c #Conflicts: 2312000 | #Constraints: 63226
3584.17/3593.83 c #Conflicts: 2313000 | #Constraints: 64227
3584.17/3593.83 c #Conflicts: 2314000 | #Constraints: 65227
3584.17/3593.83 c #Conflicts: 2315000 | #Constraints: 66227
3584.17/3593.83 c #Conflicts: 2316000 | #Constraints: 67227
3584.17/3593.83 c INPROCESSING
3584.17/3593.83 c GARBAGE COLLECT
3584.17/3593.83 c rational objective 3
3600.03/3609.70 c #Conflicts: 2317000 | #Constraints: 38004
3600.03/3609.70 c #Conflicts: 2318000 | #Constraints: 39004
3600.03/3609.70 c #Conflicts: 2319000 | #Constraints: 40004
3600.03/3609.70 c #Conflicts: 2320000 | #Constraints: 41005
3600.03/3609.70 c #Conflicts: 2321000 | #Constraints: 42005
3600.03/3609.70 c #Conflicts: 2322000 | #Constraints: 43006
3600.03/3609.70 c #Conflicts: 2323000 | #Constraints: 44006
3600.03/3609.70 c #Conflicts: 2324000 | #Constraints: 45006
3600.03/3609.70 c #Conflicts: 2325000 | #Constraints: 46007
3600.03/3609.70 c #Conflicts: 2326000 | #Constraints: 47008
3600.03/3609.70 c #Conflicts: 2327000 | #Constraints: 48008
3600.03/3609.70 c cpu time 3583.81 s
3600.03/3609.70 c deterministic time 277360390197 2.77e+11
3600.03/3609.70 c optimization time 15.6182 s
3600.03/3609.70 c total solve time 3568.16 s
3600.03/3609.70 c core-guided solve time 1758.36 s
3600.03/3609.70 c propagation time 2498.07 s
3600.03/3609.70 c conflict analysis time 1021.26 s
3600.03/3609.70 c propagations 595273911
3600.03/3609.70 c resolve steps 44804059
3600.03/3609.70 c decisions 3417647
3600.03/3609.70 c conflicts 2327896
3600.03/3609.70 c restarts 4094
3600.03/3609.70 c inprocessing phases 143
3600.03/3609.70 c garbage collections 143 ,( 100.00 )
3600.03/3609.70 c input clauses 10815 ,( 97.98 )
3600.03/3609.70 c input cardinalities 31 ,( 0.28 )
3600.03/3609.70 c input general constraints 192 ,( 1.74 )
3600.03/3609.70 c input average constraint length 3.40
3600.03/3609.70 c input average constraint degree 6.20
3600.03/3609.70 c learned clauses 939851 ,( 40.34 )
3600.03/3609.70 c learned cardinalities 6487 ,( 0.28 )
3600.03/3609.70 c learned general constraints 1383686 ,( 59.39 )
3600.03/3609.70 c learned average constraint length 115.65
3600.03/3609.70 c learned average constraint degree 557268172.39
3600.03/3609.70 c watched CF 32, 64, 128, Arb: 387184 , 0 , 0 , 0
3600.03/3609.70 c counting CF 32, 64, 128, Arb: 996695 , 0 , 0 , 0
3600.03/3609.70 c watched constraints 387184 ,( 27.98 )
3600.03/3609.70 c counting constraints 996694 ,( 72.02 )
3600.03/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 756369996 , 97886177 , 7901513083 ,( 307413594 , 7594099489 )
3600.03/3609.70 c gcd simplifications 338193
3600.03/3609.70 c detected cardinalities 270
3600.03/3609.70 c weakened non-implied lits 142955249
3600.03/3609.70 c weakened non-implying lits 748597
3600.03/3609.70 c original variables 3964
3600.03/3609.70 c clausal propagations 335687182
3600.03/3609.70 c cardinality propagations 11384414
3600.03/3609.70 c watched propagations 2161048
3600.03/3609.70 c counting propagations 243021657
3600.03/3609.70 c watch lookups 229289468475
3600.03/3609.70 c watch backjump lookups 0
3600.03/3609.70 c watch checks 8292548392
3600.03/3609.70 c propagation checks 36861384255
3600.03/3609.70 c constraint additions 1714925123
3600.03/3609.70 c trail pops 601016291
3600.03/3609.70 c formula constraints 11038
3600.03/3609.70 c learned constraints 2326165
3600.03/3609.70 c bound constraints 0
3600.03/3609.70 c core-guided constraints 0
3600.03/3609.70 c encountered formula constraints 26902969
3600.03/3609.70 c encountered learned constraints 18685875
3600.03/3609.70 c encountered bound constraints 0
3600.03/3609.70 c encountered core-guided constraints 0
3600.03/3609.70 c LP total time 392.268 s
3600.03/3609.70 c LP solve time 366.69 s
3600.03/3609.70 c LP constraints added 12427
3600.03/3609.70 c LP constraints removed 1380
3600.03/3609.70 c LP pivots internal 2327996
3600.03/3609.70 c LP pivots root 28106
3600.03/3609.70 c LP calls 7516
3600.03/3609.70 c LP optimalities 5577
3600.03/3609.70 c LP no pivot count 164
3600.03/3609.70 c LP infeasibilities 1934
3600.03/3609.70 c LP valid Farkas constraints 1930
3600.03/3609.70 c LP learned Farkas constraints 1730
3600.03/3609.70 c LP basis resets 6
3600.03/3609.70 c LP cycling count 0
3600.03/3609.70 c LP singular count 2
3600.03/3609.70 c LP no primal count 0
3600.03/3609.70 c LP no farkas count 4
3600.03/3609.70 c LP other issue count 0
3600.03/3609.70 c LP Gomory cuts 199
3600.03/3609.70 c LP learned cuts 1190
3600.03/3609.70 c LP deleted cuts 1380
3600.03/3609.70 c LP encountered Gomory constraints 73666
3600.03/3609.70 c LP encountered Farkas constraints 1461083
3600.03/3609.70 c LP encountered learned Farkas constraints 6632
3600.03/3609.70 c CG auxiliary variables introduced 0
3600.03/3609.70 c CG solutions found 0
3600.03/3609.70 c CG cores constructed 0
3600.03/3609.70 c CG core cardinality constraints returned 0
3600.03/3609.70 c CG unit cores 0
3600.03/3609.70 c CG single cores 0
3600.03/3609.70 c CG blocks removed during cardinality reduction 0
3600.03/3609.70 c CG first core best 0
3600.03/3609.70 c CG decision core best 0
3600.03/3609.70 c CG core reduction tie 0
3600.03/3609.70 c CG core degree average 0.00
3600.03/3609.70 c CG core slack average 0.00
3600.03/3609.70 c CG core upper bound improvements 0
3600.03/3609.70 c STR number of successful calls 0
3600.03/3609.70 c STR number of unsuccessful calls 0
3600.03/3609.70 c STR number of inconclusive calls 0
3600.03/3609.70 c STR number of successful attempts 0
3600.03/3609.70 c STR number of unsuccessful attempts 0
3600.03/3609.70 c STR number of inconclusive attempts 0
3600.03/3609.70 c STR average degree increase per successful call inf
3600.03/3609.70 c STR average degree increase per successful attempt inf
3600.03/3609.70 c STR total number of conflicts for successful attempts 0
3600.03/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.70 c STR average number of conflicts per successful attempt inf
3600.03/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.70 c AVG.sumWPerc 59.15
3600.03/3609.70 c bigint constraints 0
3600.03/3609.70 s UNKNOWN
3600.03/3609.70 c Program interrupted by user.
Verifier Data
ERROR: no interpretation found !
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61917 MiB free)
memory of node 1: 64465 MiB (63534 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499352-1751467075/watcher-4499352-1751467075 -o /tmp/evaluation-result-4499352-1751467075/solver-4499352-1751467075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751467075-60645 --watchdog 3760 run-opt-ls.sh HOME/instance-4499352-1751467075.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=60694, runsolver pid=60685
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.44 1.98 2.52 6/269 60708
/proc/meminfo: memFree=128446752/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=63008 memory=18848 CPUtime=0.03 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 2683 0 0 0 2 1 0 0 20 0 1 0 62385052 64520192 4712 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 15752 4712 2304 1147 0 3179 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 67200 KiB
Current children cumulated memory: 21792 KiB
[startup+0.204761 s]*
/proc/loadavg: 1.44 1.98 2.52 5/269 60709
/proc/meminfo: memFree=128421236/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=76960 memory=31076 CPUtime=0.14 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 5690 0 0 0 12 2 0 0 20 0 1 0 62385052 78807040 7769 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 19240 7769 2432 1147 0 6667 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 81152 KiB
Current children cumulated memory: 34020 KiB
[startup+0.304992 s]*
/proc/loadavg: 1.44 1.98 2.52 6/269 60709
/proc/meminfo: memFree=128420432/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=77440 memory=31332 CPUtime=0.23 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 5747 0 0 0 21 2 0 0 20 0 1 0 62385052 79298560 7833 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 19360 7833 2432 1147 0 6787 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 81632 KiB
Current children cumulated memory: 34276 KiB
[startup+0.700158 s]
/proc/loadavg: 1.44 1.98 2.52 6/269 60710
/proc/meminfo: memFree=128387944/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=78976 memory=33380 CPUtime=0.62 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 6224 0 0 0 59 3 0 0 20 0 1 0 62385052 80871424 8345 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 19744 8345 2464 1147 0 7171 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 83168 KiB
Current children cumulated memory: 36324 KiB
[startup+1.50015 s]
/proc/loadavg: 1.44 1.98 2.52 5/266 60711
/proc/meminfo: memFree=128209188/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=83692 memory=37476 CPUtime=1.42 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 7233 0 0 0 137 5 0 0 20 0 1 0 62385052 85700608 9369 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 20923 9369 2464 1147 0 8350 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 87884 KiB
Current children cumulated memory: 40420 KiB
[startup+3.10455 s]
/proc/loadavg: 1.44 1.98 2.52 6/269 60758
/proc/meminfo: memFree=128152212/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=85420 memory=41288 CPUtime=3.01 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 7693 0 0 0 293 8 0 0 20 0 1 0 62385052 87470080 10322 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 21355 10322 2464 1147 0 8782 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 89612 KiB
Current children cumulated memory: 44232 KiB
[startup+6.30015 s]
/proc/loadavg: 1.64 2.02 2.53 4/264 60766
/proc/meminfo: memFree=128177208/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=87252 memory=43336 CPUtime=6.19 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 8211 0 0 0 606 13 0 0 20 0 1 0 62385052 89346048 10834 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 21813 10834 2464 1147 0 9240 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 91444 KiB
Current children cumulated memory: 46280 KiB
[startup+12.7002 s]
/proc/loadavg: 1.83 2.05 2.53 5/269 60805
/proc/meminfo: memFree=128102556/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=88616 memory=44616 CPUtime=12.57 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 8524 0 0 0 1235 22 0 0 20 0 1 0 62385052 90742784 11154 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 22154 11154 2464 1147 0 9581 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 92808 KiB
Current children cumulated memory: 47560 KiB
[startup+25.5002 s]
/proc/loadavg: 2.39 2.16 2.56 5/269 60805
/proc/meminfo: memFree=128082876/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=94660 memory=48584 CPUtime=25.34 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 9518 0 0 0 2496 38 0 0 20 0 1 0 62385052 96931840 12146 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 23665 12146 2464 1147 0 11092 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 98852 KiB
Current children cumulated memory: 51528 KiB
[startup+51.1055 s]
/proc/loadavg: 2.94 2.31 2.60 5/269 60806
/proc/meminfo: memFree=128004776/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=98456 memory=53832 CPUtime=50.88 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 10846 0 0 0 5023 65 0 0 20 0 1 0 62385052 100818944 13458 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 24614 13458 2464 1147 0 12041 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 102648 KiB
Current children cumulated memory: 56776 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.59 2.68 5/269 60809
/proc/meminfo: memFree=127874272/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=109952 memory=62664 CPUtime=101.94 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 12905 0 0 0 10075 119 0 0 20 0 1 0 62385052 112590848 15666 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 27488 15666 2464 1147 0 14915 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 114144 KiB
Current children cumulated memory: 65608 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.88 2.78 5/269 60811
/proc/meminfo: memFree=127756528/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=128556 memory=78412 CPUtime=161.77 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 16078 0 0 0 16012 165 0 0 20 0 1 0 62385052 131641344 19603 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 32139 19603 2464 1147 0 19566 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 132748 KiB
Current children cumulated memory: 81356 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.10 2.86 5/268 60813
/proc/meminfo: memFree=127650872/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=133104 memory=82636 CPUtime=221.58 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 17146 0 0 0 21942 216 0 0 20 0 1 0 62385052 136298496 20659 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 33276 20659 2464 1147 0 20703 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 137296 KiB
################
# More data... #
################
/proc/60708/statm: 57085 42159 2560 1147 0 44512 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 232532 KiB
Current children cumulated memory: 171580 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/268 61115
/proc/meminfo: memFree=126433560/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=228340 memory=168636 CPUtime=3153.68 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 32748 0 0 0 313885 1483 0 0 20 0 1 0 62385052 233820160 42159 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 57085 42159 2560 1147 0 44512 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 232532 KiB
Current children cumulated memory: 171580 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/270 61119
/proc/meminfo: memFree=126409440/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=229112 memory=171068 CPUtime=3213.52 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 32902 0 0 0 319851 1501 0 0 20 0 1 0 62385052 234610688 42767 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 57278 42767 2560 1147 0 44705 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 233304 KiB
Current children cumulated memory: 174012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.20 4.09 5/270 61167
/proc/meminfo: memFree=126464172/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=229628 memory=174652 CPUtime=3273.37 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 33006 0 0 0 325818 1519 0 0 20 0 1 0 62385052 235139072 43663 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 57407 43663 2560 1147 0 44834 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 233820 KiB
Current children cumulated memory: 177596 KiB
[startup+3342.3 s]
/proc/loadavg: 4.61 4.28 4.12 5/270 61169
/proc/meminfo: memFree=125514264/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=229888 memory=175036 CPUtime=3333.23 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 33114 0 0 0 331786 1537 0 0 20 0 1 0 62385052 235405312 43759 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 57472 43759 2560 1147 0 44899 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 234080 KiB
Current children cumulated memory: 177980 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.25 4.12 5/269 61174
/proc/meminfo: memFree=124795704/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=230152 memory=175420 CPUtime=3393.09 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 33180 0 0 0 337751 1558 0 0 20 0 1 0 62385052 235675648 43855 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 57538 43855 2560 1147 0 44965 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 234344 KiB
Current children cumulated memory: 178364 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.22 4.12 5/269 61176
/proc/meminfo: memFree=124472792/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=231696 memory=176572 CPUtime=3452.95 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 33495 0 0 0 343722 1573 0 0 20 0 1 0 62385052 237256704 44143 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 57924 44143 2560 1147 0 45351 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 235888 KiB
Current children cumulated memory: 179516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.21 4.12 5/268 61178
/proc/meminfo: memFree=124123620/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=231696 memory=176572 CPUtime=3512.81 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 33496 0 0 0 349687 1594 0 0 20 0 1 0 62385052 237256704 44143 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 57924 44143 2560 1147 0 45351 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 235888 KiB
Current children cumulated memory: 179516 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.18 4.11 5/267 61180
/proc/meminfo: memFree=123883840/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=231696 memory=176572 CPUtime=3572.67 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 33496 0 0 0 355656 1611 0 0 20 0 1 0 62385052 237256704 44143 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 57924 44143 2560 1147 0 45351 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 235888 KiB
Current children cumulated memory: 179516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.15 4.18 4.11 5/267 61181
/proc/meminfo: memFree=123760976/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=231696 memory=176828 CPUtime=3600 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 33547 0 0 0 358381 1619 0 0 20 0 1 0 62385052 237256704 44207 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 57924 44207 2560 1147 0 45351 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 235888 KiB
Current children cumulated memory: 179772 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 60694 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.032561 s, system=0.004413 s
[startup+3609.7 s]
# the end of solver process 60708 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.85 s, system=16.2061 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.15 4.18 4.11 5/267 61181
/proc/meminfo: memFree=123760976/131250000 swapFree=33007332/33010684
[pid=60694] ppid=60685 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/60694/stat : 60694 (run-opt-ls.sh) S 60685 60694 60629 0 -1 4194304 239 966 0 0 0 0 3 0 20 0 1 0 62385046 4292608 736 18446744073709551615 94085006340096 94085007234629 140728074249552 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94085007473680 94085007521424 94085024202752 140728074254695 140728074254821 140728074254821 140728074260423 0
/proc/60694/statm: 1048 736 672 219 0 110 0
[pid=60708] ppid=60694 vsize=231696 memory=176828 CPUtime=3600 cores=4,6
/proc/60708/stat : 60708 (roundingsat) R 60694 60694 60629 0 -1 4194304 33547 0 0 0 358381 1619 0 0 20 0 1 0 62385052 237256704 44207 18446744073709551615 4227072 8923433 140727042373008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19927040 140727042378054 140727042378280 140727042378280 140727042383850 0
/proc/60708/statm: 57924 44207 2560 1147 0 45351 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 235888 KiB
Current children cumulated memory: 179772 KiB
Child status: 2
Real time (s): 3609.7
CPU time (s): 3600.05
CPU user time (s): 3583.85
CPU system time (s): 16.2061
CPU usage (%): 99.7327
Max. virtual memory (cumulated for all children) (KiB): 235888
Max. memory (cumulated for all children) (KiB): 179772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.85
system time used= 16.2061
maximum resident set size= 176956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 317
involuntary context switches= 1844
# summary of solver processes directly reported to runsolver:
# pid: 60694,60708
# total CPU time (s): 3600.05
# total CPU user time (s): 3583.85
# total CPU system time (s): 16.2061
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86789 second user time and 16.9449 second system time
The end
Launcher Data
Begin job on nodeC019 at 2025-07-02 16:37:55
IDJOB=4499352
IDBENCH=148776
IDSOLVER=3355
FILE ID=nodeC019/4499352-1751467075
RUNJOBID= nodeC019-1751467075-60645
SLURM_JOB_ID= 9598485
Free space on /tmp= 431740 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499352-1751467075/watcher-4499352-1751467075 -o /tmp/evaluation-result-4499352-1751467075/solver-4499352-1751467075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751467075-60645 --watchdog 3760 run-opt-ls.sh HOME/instance-4499352-1751467075.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=272786780
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.685
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.680
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.164
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.821
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.681
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.689
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.170
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3638.278
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128463044 kB
MemAvailable: 129770512 kB
Buffers: 904 kB
Cached: 2112352 kB
SwapCached: 440 kB
Active: 211456 kB
Inactive: 1967820 kB
Active(anon): 53756 kB
Inactive(anon): 27780 kB
Active(file): 157700 kB
Inactive(file): 1940040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29808 kB
Writeback: 0 kB
AnonPages: 69020 kB
Mapped: 102740 kB
Shmem: 15192 kB
KReclaimable: 97932 kB
Slab: 184896 kB
SReclaimable: 97932 kB
SUnreclaim: 86964 kB
KernelStack: 4108 kB
PageTables: 2692 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 329036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431704 MiB
End job on nodeC019 at 2025-07-02 17:38:05