Trace number 4499353
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-4499353-1751410769.opb'
0.00/0.02 c read 0.07MB (2.85ms)
0.00/0.02 c [cnf: #variables 774 #clauses 995 #duplicates 0 #arr 8079]
0.00/0.02 c output proof to 'PROOFDIR/proof-4499353-1751410769'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 30] (2.71ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c recursing 72 blocks of candidate 3x516r
0.00/0.04 c found row 5x6, generating row predicate
0.00/0.05 c found row 3x516, generating row predicate
0.00/0.05 c (18.48ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 4664 #edges 21948]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 1.73*10^84 #generators 176] (8.96ms)
0.00/0.05 c
0.00/0.05 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06 c opt it=15, l=5059, m=131, opt=3, avg=63, b=8, gens=176
0.00/0.06 c opt it=31, l=6087, m=246, opt=7, avg=62, b=8, gens=176
0.00/0.07 c ran it=0, +gens=21
0.07/0.12 c con best_support=8, best_gens=144, +gens=249
0.07/0.12 c (64.79ms)
0.07/0.12 c
0.07/0.12 c finalize break order and special generators
0.07/0.12 c
0.07/0.12 c add generic predicates (break_depth=20)
0.07/0.12 c added predicates for 446 generators (0.67ms)
0.07/0.18 c
0.07/0.18 c generation finished
0.07/0.18 c [sbp: #constraints 10022 #add_vars 3190]
0.07/0.18 c
0.07/0.18 c write result to 'HOME/instance-4499353-1751410769.opb.pre'
0.07/0.18 c wrote 0.41MB (3.07ms)
0.07/0.18 c ------------------------------------------------------------------
0.07/0.18 c 64.79ms 39.97% optimize_gens
0.07/0.18 c 60.04ms 37.04% other
0.07/0.18 c 18.48ms 11.40% detect_special
0.07/0.18 c 8.96ms 5.53% detect_generic
0.07/0.18 c 3.07ms 1.90% output
0.07/0.18 c 2.84ms 1.75% parse
0.07/0.18 c 2.71ms 1.67% approx_orbits
0.07/0.18 c 0.67ms 0.41% break_generic
0.07/0.18 c 0.51ms 0.31% finalize_order
0.07/0.18 c ───────────────────────────────────────────────
0.07/0.18 c 162.08ms 100% total
0.07/0.18 c ------------------------------------------------------------------
0.07/0.22 c RoundingSat 2
0.07/0.22 c branch pb25
0.07/0.22 c commit 63f22ad
0.36/0.42 c #variables 3964 #constraints 11038
0.36/0.42 c objective is ce32
0.36/0.49 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.36/0.49 c initial counting CF 32, 64, 128, Arb: 193 , 0 , 0 , 0
0.36/0.49 c bounds - >= 0 @ 0.234461
1.42/1.56 c #Conflicts: 1000 | #Constraints: 12037
1.42/1.56 c #Conflicts: 2000 | #Constraints: 13038
1.42/1.56 c INPROCESSING
1.42/1.56 c GARBAGE COLLECT
1.42/1.56 c rational objective 3
3.20/3.39 c #Conflicts: 3000 | #Constraints: 12253
3.20/3.39 c #Conflicts: 4000 | #Constraints: 13254
3.20/3.39 c INPROCESSING
3.20/3.39 c GARBAGE COLLECT
3.20/3.39 c rational objective 3
4.09/4.26 c #Conflicts: 5000 | #Constraints: 12593
4.09/4.26 c #Conflicts: 6000 | #Constraints: 13593
4.09/4.26 c INPROCESSING
4.09/4.26 c GARBAGE COLLECT
4.09/4.26 c rational objective 3
5.08/5.28 c #Conflicts: 7000 | #Constraints: 12498
5.08/5.28 c #Conflicts: 8000 | #Constraints: 13498
5.08/5.28 c #Conflicts: 9000 | #Constraints: 14498
5.08/5.28 c INPROCESSING
5.08/5.28 c GARBAGE COLLECT
5.08/5.28 c rational objective 3
6.48/6.67 c #Conflicts: 10000 | #Constraints: 13199
6.48/6.67 c #Conflicts: 11000 | #Constraints: 14199
6.48/6.67 c #Conflicts: 12000 | #Constraints: 15199
6.48/6.67 c INPROCESSING
6.48/6.67 c GARBAGE COLLECT
6.48/6.67 c rational objective 3
8.37/8.53 c #Conflicts: 13000 | #Constraints: 13656
8.37/8.53 c #Conflicts: 14000 | #Constraints: 14659
8.37/8.53 c #Conflicts: 15000 | #Constraints: 15661
8.37/8.53 c INPROCESSING
8.37/8.53 c GARBAGE COLLECT
8.37/8.53 c rational objective 3
10.36/10.57 c #Conflicts: 16000 | #Constraints: 13893
10.36/10.57 c #Conflicts: 17000 | #Constraints: 14896
10.36/10.57 c #Conflicts: 18000 | #Constraints: 15899
10.36/10.57 c INPROCESSING
10.36/10.57 c GARBAGE COLLECT
10.36/10.57 c rational objective 3
11.87/12.08 c #Conflicts: 19000 | #Constraints: 13850
11.87/12.08 c #Conflicts: 20000 | #Constraints: 14850
11.87/12.08 c #Conflicts: 21000 | #Constraints: 15851
11.87/12.08 c INPROCESSING
11.87/12.08 c GARBAGE COLLECT
11.87/12.08 c rational objective 3
13.65/13.82 c #Conflicts: 22000 | #Constraints: 13655
13.65/13.82 c #Conflicts: 23000 | #Constraints: 14655
13.65/13.82 c #Conflicts: 24000 | #Constraints: 15657
13.65/13.82 c #Conflicts: 25000 | #Constraints: 16657
13.65/13.82 c INPROCESSING
13.65/13.82 c GARBAGE COLLECT
13.65/13.82 c rational objective 3
16.05/16.30 c #Conflicts: 26000 | #Constraints: 14254
16.05/16.30 c #Conflicts: 27000 | #Constraints: 15255
16.05/16.30 c #Conflicts: 28000 | #Constraints: 16256
16.05/16.30 c #Conflicts: 29000 | #Constraints: 17256
16.05/16.30 c INPROCESSING
16.05/16.30 c GARBAGE COLLECT
16.05/16.30 c rational objective 3
18.73/18.94 c #Conflicts: 30000 | #Constraints: 14596
18.73/18.94 c #Conflicts: 31000 | #Constraints: 15599
18.73/18.94 c #Conflicts: 32000 | #Constraints: 16599
18.73/18.94 c #Conflicts: 33000 | #Constraints: 17601
18.73/18.94 c INPROCESSING
18.73/18.94 c GARBAGE COLLECT
18.73/18.94 c rational objective 3
21.73/21.91 c #Conflicts: 34000 | #Constraints: 14802
21.73/21.91 c #Conflicts: 35000 | #Constraints: 15802
21.73/21.91 c #Conflicts: 36000 | #Constraints: 16802
21.73/21.91 c #Conflicts: 37000 | #Constraints: 17804
21.73/21.91 c INPROCESSING
21.73/21.91 c GARBAGE COLLECT
21.73/21.91 c rational objective 3
24.02/24.26 c #Conflicts: 38000 | #Constraints: 14738
24.02/24.26 c #Conflicts: 39000 | #Constraints: 15738
24.02/24.26 c #Conflicts: 40000 | #Constraints: 16738
24.02/24.26 c #Conflicts: 41000 | #Constraints: 17739
24.02/24.26 c INPROCESSING
24.02/24.26 c GARBAGE COLLECT
24.02/24.26 c rational objective 3
26.31/26.52 c #Conflicts: 42000 | #Constraints: 14459
26.31/26.52 c #Conflicts: 43000 | #Constraints: 15459
26.31/26.52 c #Conflicts: 44000 | #Constraints: 16462
26.31/26.52 c #Conflicts: 45000 | #Constraints: 17465
26.31/26.52 c #Conflicts: 46000 | #Constraints: 18465
26.31/26.52 c INPROCESSING
26.31/26.52 c GARBAGE COLLECT
26.31/26.52 c rational objective 3
29.40/29.62 c #Conflicts: 47000 | #Constraints: 15016
29.40/29.62 c #Conflicts: 48000 | #Constraints: 16017
29.40/29.62 c #Conflicts: 49000 | #Constraints: 17018
29.40/29.62 c #Conflicts: 50000 | #Constraints: 18019
29.40/29.62 c #Conflicts: 51000 | #Constraints: 19019
29.40/29.62 c INPROCESSING
29.40/29.62 c GARBAGE COLLECT
29.40/29.62 c rational objective 3
33.35/33.72 c #Conflicts: 52000 | #Constraints: 15432
33.35/33.72 c #Conflicts: 53000 | #Constraints: 16432
33.35/33.72 c #Conflicts: 54000 | #Constraints: 17435
33.35/33.72 c #Conflicts: 55000 | #Constraints: 18435
33.35/33.72 c #Conflicts: 56000 | #Constraints: 19435
33.35/33.72 c INPROCESSING
33.35/33.72 c GARBAGE COLLECT
33.35/33.72 c rational objective 3
36.39/36.83 c #Conflicts: 57000 | #Constraints: 15502
36.39/36.83 c #Conflicts: 58000 | #Constraints: 16502
36.39/36.83 c #Conflicts: 59000 | #Constraints: 17503
36.39/36.83 c #Conflicts: 60000 | #Constraints: 18503
36.39/36.83 c #Conflicts: 61000 | #Constraints: 19503
36.39/36.83 c INPROCESSING
36.39/36.83 c GARBAGE COLLECT
36.39/36.83 c rational objective 3
39.37/39.84 c #Conflicts: 62000 | #Constraints: 15493
39.37/39.84 c #Conflicts: 63000 | #Constraints: 16494
39.37/39.84 c #Conflicts: 64000 | #Constraints: 17494
39.37/39.84 c #Conflicts: 65000 | #Constraints: 18495
39.37/39.84 c #Conflicts: 66000 | #Constraints: 19496
39.37/39.84 c INPROCESSING
39.37/39.84 c GARBAGE COLLECT
39.37/39.84 c rational objective 3
43.94/44.48 c #Conflicts: 67000 | #Constraints: 15267
43.94/44.48 c #Conflicts: 68000 | #Constraints: 16269
43.94/44.48 c #Conflicts: 69000 | #Constraints: 17269
43.94/44.48 c #Conflicts: 70000 | #Constraints: 18269
43.94/44.48 c #Conflicts: 71000 | #Constraints: 19271
43.94/44.48 c #Conflicts: 72000 | #Constraints: 20273
43.94/44.48 c INPROCESSING
43.94/44.48 c GARBAGE COLLECT
43.94/44.48 c rational objective 3
47.73/48.26 c #Conflicts: 73000 | #Constraints: 15865
47.73/48.26 c #Conflicts: 74000 | #Constraints: 16868
47.73/48.26 c #Conflicts: 75000 | #Constraints: 17869
47.73/48.26 c #Conflicts: 76000 | #Constraints: 18869
47.73/48.26 c #Conflicts: 77000 | #Constraints: 19869
47.73/48.26 c #Conflicts: 78000 | #Constraints: 20869
47.73/48.26 c INPROCESSING
47.73/48.26 c GARBAGE COLLECT
47.73/48.26 c rational objective 3
51.31/51.84 c #Conflicts: 79000 | #Constraints: 16260
51.31/51.84 c #Conflicts: 80000 | #Constraints: 17260
51.31/51.84 c #Conflicts: 81000 | #Constraints: 18260
51.31/51.84 c #Conflicts: 82000 | #Constraints: 19262
51.31/51.84 c #Conflicts: 83000 | #Constraints: 20263
51.31/51.84 c #Conflicts: 84000 | #Constraints: 21264
51.31/51.84 c INPROCESSING
51.31/51.84 c GARBAGE COLLECT
51.31/51.84 c rational objective 3
56.01/56.53 c #Conflicts: 85000 | #Constraints: 16462
56.01/56.53 c #Conflicts: 86000 | #Constraints: 17463
56.01/56.53 c #Conflicts: 87000 | #Constraints: 18464
56.01/56.53 c #Conflicts: 88000 | #Constraints: 19466
56.01/56.53 c #Conflicts: 89000 | #Constraints: 20469
56.01/56.53 c #Conflicts: 90000 | #Constraints: 21469
56.01/56.53 c INPROCESSING
56.01/56.53 c GARBAGE COLLECT
56.01/56.53 c rational objective 3
60.60/61.18 c #Conflicts: 91000 | #Constraints: 16361
60.60/61.18 c #Conflicts: 92000 | #Constraints: 17362
60.60/61.18 c #Conflicts: 93000 | #Constraints: 18363
60.60/61.18 c #Conflicts: 94000 | #Constraints: 19363
60.60/61.18 c #Conflicts: 95000 | #Constraints: 20363
60.60/61.18 c #Conflicts: 96000 | #Constraints: 21364
60.60/61.18 c INPROCESSING
60.60/61.18 c GARBAGE COLLECT
60.60/61.18 c rational objective 3
66.03/66.71 c #Conflicts: 97000 | #Constraints: 16105
66.03/66.71 c #Conflicts: 98000 | #Constraints: 17105
66.03/66.71 c #Conflicts: 99000 | #Constraints: 18105
66.03/66.71 c #Conflicts: 100000 | #Constraints: 19106
66.03/66.71 c #Conflicts: 101000 | #Constraints: 20109
66.03/66.71 c #Conflicts: 102000 | #Constraints: 21110
66.03/66.71 c #Conflicts: 103000 | #Constraints: 22112
66.03/66.71 c INPROCESSING
66.03/66.71 c GARBAGE COLLECT
66.03/66.71 c rational objective 3
70.38/71.14 c #Conflicts: 104000 | #Constraints: 16701
70.38/71.14 c #Conflicts: 105000 | #Constraints: 17702
70.38/71.14 c #Conflicts: 106000 | #Constraints: 18703
70.38/71.14 c #Conflicts: 107000 | #Constraints: 19705
70.38/71.14 c #Conflicts: 108000 | #Constraints: 20707
70.38/71.14 c #Conflicts: 109000 | #Constraints: 21708
70.38/71.14 c #Conflicts: 110000 | #Constraints: 22708
70.38/71.14 c INPROCESSING
70.38/71.14 c GARBAGE COLLECT
70.38/71.14 c rational objective 3
74.63/75.46 c #Conflicts: 111000 | #Constraints: 17088
74.63/75.46 c #Conflicts: 112000 | #Constraints: 18088
74.63/75.46 c #Conflicts: 113000 | #Constraints: 19089
74.63/75.46 c #Conflicts: 114000 | #Constraints: 20091
74.63/75.46 c #Conflicts: 115000 | #Constraints: 21092
74.63/75.46 c #Conflicts: 116000 | #Constraints: 22094
74.63/75.46 c #Conflicts: 117000 | #Constraints: 23095
74.63/75.46 c INPROCESSING
74.63/75.46 c GARBAGE COLLECT
74.63/75.46 c rational objective 3
79.47/80.31 c #Conflicts: 118000 | #Constraints: 17292
79.47/80.31 c #Conflicts: 119000 | #Constraints: 18292
79.47/80.31 c #Conflicts: 120000 | #Constraints: 19292
79.47/80.31 c #Conflicts: 121000 | #Constraints: 20293
79.47/80.31 c #Conflicts: 122000 | #Constraints: 21294
79.47/80.31 c #Conflicts: 123000 | #Constraints: 22297
79.47/80.31 c #Conflicts: 124000 | #Constraints: 23298
79.47/80.31 c INPROCESSING
79.47/80.31 c GARBAGE COLLECT
79.47/80.31 c rational objective 3
84.23/85.12 c #Conflicts: 125000 | #Constraints: 17255
84.23/85.12 c #Conflicts: 126000 | #Constraints: 18255
84.23/85.12 c #Conflicts: 127000 | #Constraints: 19256
84.23/85.12 c #Conflicts: 128000 | #Constraints: 20257
84.23/85.12 c #Conflicts: 129000 | #Constraints: 21258
84.23/85.12 c #Conflicts: 130000 | #Constraints: 22260
84.23/85.12 c #Conflicts: 131000 | #Constraints: 23263
84.23/85.12 c INPROCESSING
84.23/85.12 c GARBAGE COLLECT
84.23/85.12 c rational objective 3
89.37/90.31 c #Conflicts: 132000 | #Constraints: 17063
89.37/90.31 c #Conflicts: 133000 | #Constraints: 18063
89.37/90.31 c #Conflicts: 134000 | #Constraints: 19065
89.37/90.31 c #Conflicts: 135000 | #Constraints: 20066
89.37/90.31 c #Conflicts: 136000 | #Constraints: 21066
89.37/90.31 c #Conflicts: 137000 | #Constraints: 22068
89.37/90.31 c #Conflicts: 138000 | #Constraints: 23068
89.37/90.31 c #Conflicts: 139000 | #Constraints: 24069
89.37/90.31 c INPROCESSING
89.37/90.31 c GARBAGE COLLECT
89.37/90.31 c rational objective 3
96.18/97.24 c #Conflicts: 140000 | #Constraints: 17591
96.18/97.24 c #Conflicts: 141000 | #Constraints: 18592
96.18/97.24 c #Conflicts: 142000 | #Constraints: 19593
96.18/97.24 c #Conflicts: 143000 | #Constraints: 20596
96.18/97.24 c #Conflicts: 144000 | #Constraints: 21596
96.18/97.24 c #Conflicts: 145000 | #Constraints: 22596
96.18/97.24 c #Conflicts: 146000 | #Constraints: 23597
96.18/97.24 c #Conflicts: 147000 | #Constraints: 24597
96.18/97.24 c INPROCESSING
96.18/97.24 c GARBAGE COLLECT
96.18/97.24 c rational objective 3
102.45/103.59 c #Conflicts: 148000 | #Constraints: 17978
102.45/103.59 c #Conflicts: 149000 | #Constraints: 18978
102.45/103.59 c #Conflicts: 150000 | #Constraints: 19979
102.45/103.59 c #Conflicts: 151000 | #Constraints: 20982
102.45/103.59 c #Conflicts: 152000 | #Constraints: 21982
102.45/103.59 c #Conflicts: 153000 | #Constraints: 22983
102.45/103.59 c #Conflicts: 154000 | #Constraints: 23984
102.45/103.59 c #Conflicts: 155000 | #Constraints: 24985
102.45/103.59 c INPROCESSING
102.45/103.59 c GARBAGE COLLECT
102.45/103.59 c rational objective 3
108.83/109.91 c #Conflicts: 156000 | #Constraints: 18182
108.83/109.91 c #Conflicts: 157000 | #Constraints: 19182
108.83/109.91 c #Conflicts: 158000 | #Constraints: 20183
108.83/109.91 c #Conflicts: 159000 | #Constraints: 21185
108.83/109.91 c #Conflicts: 160000 | #Constraints: 22185
108.83/109.91 c #Conflicts: 161000 | #Constraints: 23185
108.83/109.91 c #Conflicts: 162000 | #Constraints: 24185
108.83/109.91 c #Conflicts: 163000 | #Constraints: 25186
108.83/109.91 c INPROCESSING
108.83/109.91 c GARBAGE COLLECT
108.83/109.91 c rational objective 3
114.51/115.60 c #Conflicts: 164000 | #Constraints: 18177
114.51/115.60 c #Conflicts: 165000 | #Constraints: 19177
114.51/115.60 c #Conflicts: 166000 | #Constraints: 20177
114.51/115.60 c #Conflicts: 167000 | #Constraints: 21177
114.51/115.60 c #Conflicts: 168000 | #Constraints: 22177
114.51/115.60 c #Conflicts: 169000 | #Constraints: 23177
114.51/115.60 c #Conflicts: 170000 | #Constraints: 24177
114.51/115.60 c #Conflicts: 171000 | #Constraints: 25177
114.51/115.60 c INPROCESSING
114.51/115.60 c GARBAGE COLLECT
114.51/115.60 c rational objective 3
121.18/122.37 c #Conflicts: 172000 | #Constraints: 17954
121.18/122.37 c #Conflicts: 173000 | #Constraints: 18955
121.18/122.37 c #Conflicts: 174000 | #Constraints: 19957
121.18/122.37 c #Conflicts: 175000 | #Constraints: 20962
121.18/122.37 c #Conflicts: 176000 | #Constraints: 21964
121.18/122.37 c #Conflicts: 177000 | #Constraints: 22965
121.18/122.37 c #Conflicts: 178000 | #Constraints: 23965
121.18/122.37 c #Conflicts: 179000 | #Constraints: 24966
121.18/122.37 c #Conflicts: 180000 | #Constraints: 25967
121.18/122.37 c INPROCESSING
121.18/122.37 c GARBAGE COLLECT
121.18/122.37 c rational objective 3
127.98/129.29 c #Conflicts: 181000 | #Constraints: 18561
127.98/129.29 c #Conflicts: 182000 | #Constraints: 19561
127.98/129.29 c #Conflicts: 183000 | #Constraints: 20561
127.98/129.29 c #Conflicts: 184000 | #Constraints: 21563
127.98/129.29 c #Conflicts: 185000 | #Constraints: 22564
127.98/129.29 c #Conflicts: 186000 | #Constraints: 23565
127.98/129.29 c #Conflicts: 187000 | #Constraints: 24565
127.98/129.29 c #Conflicts: 188000 | #Constraints: 25566
127.98/129.29 c #Conflicts: 189000 | #Constraints: 26569
127.98/129.29 c INPROCESSING
127.98/129.29 c GARBAGE COLLECT
127.98/129.29 c rational objective 3
134.77/136.08 c #Conflicts: 190000 | #Constraints: 18969
134.77/136.08 c #Conflicts: 191000 | #Constraints: 19969
134.77/136.08 c #Conflicts: 192000 | #Constraints: 20969
134.77/136.08 c #Conflicts: 193000 | #Constraints: 21970
134.77/136.08 c #Conflicts: 194000 | #Constraints: 22971
134.77/136.08 c #Conflicts: 195000 | #Constraints: 23972
134.77/136.08 c #Conflicts: 196000 | #Constraints: 24973
134.77/136.08 c #Conflicts: 197000 | #Constraints: 25973
134.77/136.08 c #Conflicts: 198000 | #Constraints: 26975
134.77/136.08 c INPROCESSING
134.77/136.08 c GARBAGE COLLECT
134.77/136.08 c rational objective 3
144.85/146.18 c #Conflicts: 199000 | #Constraints: 19174
144.85/146.18 c #Conflicts: 200000 | #Constraints: 20176
144.85/146.18 c #Conflicts: 201000 | #Constraints: 21182
144.85/146.18 c #Conflicts: 202000 | #Constraints: 22185
144.85/146.18 c #Conflicts: 203000 | #Constraints: 23188
144.85/146.18 c #Conflicts: 204000 | #Constraints: 24191
144.85/146.18 c #Conflicts: 205000 | #Constraints: 25194
144.85/146.18 c #Conflicts: 206000 | #Constraints: 26194
144.85/146.18 c #Conflicts: 207000 | #Constraints: 27194
144.85/146.18 c INPROCESSING
144.85/146.18 c GARBAGE COLLECT
144.85/146.18 c rational objective 3
155.50/156.92 c #Conflicts: 208000 | #Constraints: 19172
155.50/156.92 c #Conflicts: 209000 | #Constraints: 20175
155.50/156.92 c #Conflicts: 210000 | #Constraints: 21175
155.50/156.92 c #Conflicts: 211000 | #Constraints: 22178
155.50/156.92 c #Conflicts: 212000 | #Constraints: 23180
155.50/156.92 c #Conflicts: 213000 | #Constraints: 24181
155.50/156.92 c #Conflicts: 214000 | #Constraints: 25182
155.50/156.92 c #Conflicts: 215000 | #Constraints: 26184
155.50/156.92 c #Conflicts: 216000 | #Constraints: 27186
155.50/156.92 c INPROCESSING
155.50/156.92 c GARBAGE COLLECT
155.50/156.92 c rational objective 3
164.88/166.34 c #Conflicts: 217000 | #Constraints: 18970
164.88/166.34 c #Conflicts: 218000 | #Constraints: 19971
164.88/166.34 c #Conflicts: 219000 | #Constraints: 20971
164.88/166.34 c #Conflicts: 220000 | #Constraints: 21973
164.88/166.34 c #Conflicts: 221000 | #Constraints: 22973
164.88/166.34 c #Conflicts: 222000 | #Constraints: 23975
164.88/166.34 c #Conflicts: 223000 | #Constraints: 24977
164.88/166.34 c #Conflicts: 224000 | #Constraints: 25978
164.88/166.34 c #Conflicts: 225000 | #Constraints: 26978
164.88/166.34 c #Conflicts: 226000 | #Constraints: 27978
164.88/166.34 c INPROCESSING
164.88/166.34 c GARBAGE COLLECT
164.88/166.34 c rational objective 3
174.56/176.09 c #Conflicts: 227000 | #Constraints: 19435
174.56/176.09 c #Conflicts: 228000 | #Constraints: 20435
174.56/176.09 c #Conflicts: 229000 | #Constraints: 21435
174.56/176.09 c #Conflicts: 230000 | #Constraints: 22436
174.56/176.09 c #Conflicts: 231000 | #Constraints: 23436
174.56/176.09 c #Conflicts: 232000 | #Constraints: 24436
174.56/176.09 c #Conflicts: 233000 | #Constraints: 25437
174.56/176.09 c #Conflicts: 234000 | #Constraints: 26437
174.56/176.09 c #Conflicts: 235000 | #Constraints: 27438
174.56/176.09 c #Conflicts: 236000 | #Constraints: 28438
174.56/176.09 c INPROCESSING
174.56/176.09 c GARBAGE COLLECT
174.56/176.09 c rational objective 3
183.14/184.79 c #Conflicts: 237000 | #Constraints: 19827
183.14/184.79 c #Conflicts: 238000 | #Constraints: 20827
183.14/184.79 c #Conflicts: 239000 | #Constraints: 21829
183.14/184.79 c #Conflicts: 240000 | #Constraints: 22829
183.14/184.79 c #Conflicts: 241000 | #Constraints: 23831
183.14/184.79 c #Conflicts: 242000 | #Constraints: 24833
183.14/184.79 c #Conflicts: 243000 | #Constraints: 25833
183.14/184.79 c #Conflicts: 244000 | #Constraints: 26833
183.14/184.79 c #Conflicts: 245000 | #Constraints: 27833
183.14/184.79 c #Conflicts: 246000 | #Constraints: 28833
183.14/184.79 c INPROCESSING
183.14/184.79 c GARBAGE COLLECT
183.14/184.79 c rational objective 3
191.22/192.84 c #Conflicts: 247000 | #Constraints: 19986
191.22/192.84 c #Conflicts: 248000 | #Constraints: 20986
191.22/192.84 c #Conflicts: 249000 | #Constraints: 21986
191.22/192.84 c #Conflicts: 250000 | #Constraints: 22986
191.22/192.84 c #Conflicts: 251000 | #Constraints: 23986
191.22/192.84 c #Conflicts: 252000 | #Constraints: 24988
191.22/192.84 c #Conflicts: 253000 | #Constraints: 25988
191.22/192.84 c #Conflicts: 254000 | #Constraints: 26988
191.22/192.84 c #Conflicts: 255000 | #Constraints: 27988
191.22/192.84 c #Conflicts: 256000 | #Constraints: 28988
191.22/192.84 c INPROCESSING
191.22/192.84 c GARBAGE COLLECT
191.22/192.84 c rational objective 3
199.69/201.37 c #Conflicts: 257000 | #Constraints: 19956
199.69/201.37 c #Conflicts: 258000 | #Constraints: 20956
199.69/201.37 c #Conflicts: 259000 | #Constraints: 21957
199.69/201.37 c #Conflicts: 260000 | #Constraints: 22957
199.69/201.37 c #Conflicts: 261000 | #Constraints: 23957
199.69/201.37 c #Conflicts: 262000 | #Constraints: 24957
199.69/201.37 c #Conflicts: 263000 | #Constraints: 25958
199.69/201.37 c #Conflicts: 264000 | #Constraints: 26959
199.69/201.37 c #Conflicts: 265000 | #Constraints: 27959
199.69/201.37 c #Conflicts: 266000 | #Constraints: 28960
199.69/201.37 c INPROCESSING
199.69/201.37 c GARBAGE COLLECT
199.69/201.37 c rational objective 3
208.06/209.72 c #Conflicts: 267000 | #Constraints: 19745
208.06/209.72 c #Conflicts: 268000 | #Constraints: 20745
208.06/209.72 c #Conflicts: 269000 | #Constraints: 21745
208.06/209.72 c #Conflicts: 270000 | #Constraints: 22746
208.06/209.72 c #Conflicts: 271000 | #Constraints: 23746
208.06/209.72 c #Conflicts: 272000 | #Constraints: 24748
208.06/209.72 c #Conflicts: 273000 | #Constraints: 25748
208.06/209.72 c #Conflicts: 274000 | #Constraints: 26748
208.06/209.72 c #Conflicts: 275000 | #Constraints: 27748
208.06/209.72 c #Conflicts: 276000 | #Constraints: 28750
208.06/209.72 c #Conflicts: 277000 | #Constraints: 29753
208.06/209.72 c INPROCESSING
208.06/209.72 c GARBAGE COLLECT
208.06/209.72 c rational objective 3
217.85/219.69 c #Conflicts: 278000 | #Constraints: 20343
217.85/219.69 c #Conflicts: 279000 | #Constraints: 21343
217.85/219.69 c #Conflicts: 280000 | #Constraints: 22344
217.85/219.69 c #Conflicts: 281000 | #Constraints: 23344
217.85/219.69 c #Conflicts: 282000 | #Constraints: 24344
217.85/219.69 c #Conflicts: 283000 | #Constraints: 25346
217.85/219.69 c #Conflicts: 284000 | #Constraints: 26347
217.85/219.69 c #Conflicts: 285000 | #Constraints: 27348
217.85/219.69 c #Conflicts: 286000 | #Constraints: 28348
217.85/219.69 c #Conflicts: 287000 | #Constraints: 29348
217.85/219.69 c #Conflicts: 288000 | #Constraints: 30350
217.85/219.69 c INPROCESSING
217.85/219.69 c GARBAGE COLLECT
217.85/219.69 c rational objective 3
227.53/229.32 c #Conflicts: 289000 | #Constraints: 20752
227.53/229.32 c #Conflicts: 290000 | #Constraints: 21753
227.53/229.32 c #Conflicts: 291000 | #Constraints: 22754
227.53/229.32 c #Conflicts: 292000 | #Constraints: 23756
227.53/229.32 c #Conflicts: 293000 | #Constraints: 24758
227.53/229.32 c #Conflicts: 294000 | #Constraints: 25759
227.53/229.32 c #Conflicts: 295000 | #Constraints: 26760
227.53/229.32 c #Conflicts: 296000 | #Constraints: 27762
227.53/229.32 c #Conflicts: 297000 | #Constraints: 28763
227.53/229.32 c #Conflicts: 298000 | #Constraints: 29763
227.53/229.32 c #Conflicts: 299000 | #Constraints: 30763
227.53/229.32 c INPROCESSING
227.53/229.32 c GARBAGE COLLECT
227.53/229.32 c rational objective 3
238.99/240.87 c #Conflicts: 300000 | #Constraints: 20910
238.99/240.87 c #Conflicts: 301000 | #Constraints: 21910
238.99/240.87 c #Conflicts: 302000 | #Constraints: 22911
238.99/240.87 c #Conflicts: 303000 | #Constraints: 23911
238.99/240.87 c #Conflicts: 304000 | #Constraints: 24912
238.99/240.87 c #Conflicts: 305000 | #Constraints: 25913
238.99/240.87 c #Conflicts: 306000 | #Constraints: 26914
238.99/240.87 c #Conflicts: 307000 | #Constraints: 27914
238.99/240.87 c #Conflicts: 308000 | #Constraints: 28915
238.99/240.87 c #Conflicts: 309000 | #Constraints: 29915
238.99/240.87 c #Conflicts: 310000 | #Constraints: 30917
238.99/240.87 c INPROCESSING
238.99/240.87 c GARBAGE COLLECT
238.99/240.87 c rational objective 3
250.50/252.55 c #Conflicts: 311000 | #Constraints: 20885
250.50/252.55 c #Conflicts: 312000 | #Constraints: 21885
250.50/252.55 c #Conflicts: 313000 | #Constraints: 22885
250.50/252.55 c #Conflicts: 314000 | #Constraints: 23885
250.50/252.55 c #Conflicts: 315000 | #Constraints: 24886
250.50/252.55 c #Conflicts: 316000 | #Constraints: 25886
250.50/252.55 c #Conflicts: 317000 | #Constraints: 26886
250.50/252.55 c #Conflicts: 318000 | #Constraints: 27887
250.50/252.55 c #Conflicts: 319000 | #Constraints: 28888
250.50/252.55 c #Conflicts: 320000 | #Constraints: 29889
250.50/252.55 c #Conflicts: 321000 | #Constraints: 30890
250.50/252.55 c INPROCESSING
250.50/252.55 c GARBAGE COLLECT
250.50/252.55 c rational objective 3
260.80/262.91 c #Conflicts: 322000 | #Constraints: 20769
260.80/262.91 c #Conflicts: 323000 | #Constraints: 21769
260.80/262.91 c #Conflicts: 324000 | #Constraints: 22769
260.80/262.91 c #Conflicts: 325000 | #Constraints: 23769
260.80/262.91 c #Conflicts: 326000 | #Constraints: 24770
260.80/262.91 c #Conflicts: 327000 | #Constraints: 25773
260.80/262.91 c #Conflicts: 328000 | #Constraints: 26774
260.80/262.91 c #Conflicts: 329000 | #Constraints: 27776
260.80/262.91 c #Conflicts: 330000 | #Constraints: 28777
260.80/262.91 c #Conflicts: 331000 | #Constraints: 29779
260.80/262.91 c #Conflicts: 332000 | #Constraints: 30780
260.80/262.91 c #Conflicts: 333000 | #Constraints: 31780
260.80/262.91 c INPROCESSING
260.80/262.91 c GARBAGE COLLECT
260.80/262.91 c rational objective 3
272.37/274.69 c #Conflicts: 334000 | #Constraints: 21326
272.37/274.69 c #Conflicts: 335000 | #Constraints: 22327
272.37/274.69 c #Conflicts: 336000 | #Constraints: 23327
272.37/274.69 c #Conflicts: 337000 | #Constraints: 24327
272.37/274.69 c #Conflicts: 338000 | #Constraints: 25328
272.37/274.69 c #Conflicts: 339000 | #Constraints: 26329
272.37/274.69 c #Conflicts: 340000 | #Constraints: 27329
272.37/274.69 c #Conflicts: 341000 | #Constraints: 28329
272.37/274.69 c #Conflicts: 342000 | #Constraints: 29329
272.37/274.69 c #Conflicts: 343000 | #Constraints: 30329
272.37/274.69 c #Conflicts: 344000 | #Constraints: 31330
272.37/274.69 c #Conflicts: 345000 | #Constraints: 32331
272.37/274.69 c INPROCESSING
272.37/274.69 c GARBAGE COLLECT
272.37/274.69 c rational objective 3
284.28/286.78 c #Conflicts: 346000 | #Constraints: 21655
284.28/286.78 c #Conflicts: 347000 | #Constraints: 22655
284.28/286.78 c #Conflicts: 348000 | #Constraints: 23655
284.28/286.78 c #Conflicts: 349000 | #Constraints: 24658
284.28/286.78 c #Conflicts: 350000 | #Constraints: 25659
284.28/286.78 c #Conflicts: 351000 | #Constraints: 26660
284.28/286.78 c #Conflicts: 352000 | #Constraints: 27661
284.28/286.78 c #Conflicts: 353000 | #Constraints: 28661
284.28/286.78 c #Conflicts: 354000 | #Constraints: 29661
284.28/286.78 c #Conflicts: 355000 | #Constraints: 30661
284.28/286.78 c #Conflicts: 356000 | #Constraints: 31662
284.28/286.78 c #Conflicts: 357000 | #Constraints: 32664
284.28/286.78 c INPROCESSING
284.28/286.78 c GARBAGE COLLECT
284.28/286.78 c rational objective 3
298.16/300.71 c #Conflicts: 358000 | #Constraints: 21839
298.16/300.71 c #Conflicts: 359000 | #Constraints: 22839
298.16/300.71 c #Conflicts: 360000 | #Constraints: 23840
298.16/300.71 c #Conflicts: 361000 | #Constraints: 24841
298.16/300.71 c #Conflicts: 362000 | #Constraints: 25843
298.16/300.71 c #Conflicts: 363000 | #Constraints: 26844
298.16/300.71 c #Conflicts: 364000 | #Constraints: 27846
298.16/300.71 c #Conflicts: 365000 | #Constraints: 28847
298.16/300.71 c #Conflicts: 366000 | #Constraints: 29848
298.16/300.71 c #Conflicts: 367000 | #Constraints: 30848
298.16/300.71 c #Conflicts: 368000 | #Constraints: 31850
298.16/300.71 c #Conflicts: 369000 | #Constraints: 32853
298.16/300.71 c INPROCESSING
298.16/300.71 c GARBAGE COLLECT
298.16/300.71 c rational objective 3
310.24/312.96 c #Conflicts: 370000 | #Constraints: 21838
310.24/312.96 c #Conflicts: 371000 | #Constraints: 22838
310.24/312.96 c #Conflicts: 372000 | #Constraints: 23839
310.24/312.96 c #Conflicts: 373000 | #Constraints: 24840
310.24/312.96 c #Conflicts: 374000 | #Constraints: 25842
310.24/312.96 c #Conflicts: 375000 | #Constraints: 26843
310.24/312.96 c #Conflicts: 376000 | #Constraints: 27844
310.24/312.96 c #Conflicts: 377000 | #Constraints: 28845
310.24/312.96 c #Conflicts: 378000 | #Constraints: 29845
310.24/312.96 c #Conflicts: 379000 | #Constraints: 30846
310.24/312.96 c #Conflicts: 380000 | #Constraints: 31846
310.24/312.96 c #Conflicts: 381000 | #Constraints: 32847
310.24/312.96 c INPROCESSING
310.24/312.96 c GARBAGE COLLECT
310.24/312.96 c rational objective 3
322.90/325.67 c #Conflicts: 382000 | #Constraints: 21626
322.90/325.67 c #Conflicts: 383000 | #Constraints: 22626
322.90/325.67 c #Conflicts: 384000 | #Constraints: 23626
322.90/325.67 c #Conflicts: 385000 | #Constraints: 24628
322.90/325.67 c #Conflicts: 386000 | #Constraints: 25628
322.90/325.67 c #Conflicts: 387000 | #Constraints: 26629
322.90/325.67 c #Conflicts: 388000 | #Constraints: 27629
322.90/325.67 c #Conflicts: 389000 | #Constraints: 28630
322.90/325.67 c #Conflicts: 390000 | #Constraints: 29632
322.90/325.67 c #Conflicts: 391000 | #Constraints: 30632
322.90/325.67 c #Conflicts: 392000 | #Constraints: 31632
322.90/325.67 c #Conflicts: 393000 | #Constraints: 32633
322.90/325.67 c #Conflicts: 394000 | #Constraints: 33633
322.90/325.67 c INPROCESSING
322.90/325.67 c GARBAGE COLLECT
322.90/325.67 c rational objective 3
337.86/340.75 c #Conflicts: 395000 | #Constraints: 22260
337.86/340.75 c #Conflicts: 396000 | #Constraints: 23260
337.86/340.75 c #Conflicts: 397000 | #Constraints: 24261
337.86/340.75 c #Conflicts: 398000 | #Constraints: 25262
337.86/340.75 c #Conflicts: 399000 | #Constraints: 26263
337.86/340.75 c #Conflicts: 400000 | #Constraints: 27264
337.86/340.75 c #Conflicts: 401000 | #Constraints: 28264
337.86/340.75 c #Conflicts: 402000 | #Constraints: 29265
337.86/340.75 c #Conflicts: 403000 | #Constraints: 30266
337.86/340.75 c #Conflicts: 404000 | #Constraints: 31266
337.86/340.75 c #Conflicts: 405000 | #Constraints: 32267
337.86/340.75 c #Conflicts: 406000 | #Constraints: 33267
337.86/340.75 c #Conflicts: 407000 | #Constraints: 34267
337.86/340.75 c INPROCESSING
337.86/340.75 c GARBAGE COLLECT
337.86/340.75 c rational objective 3
352.13/355.05 c #Conflicts: 408000 | #Constraints: 22655
352.13/355.05 c #Conflicts: 409000 | #Constraints: 23658
352.13/355.05 c #Conflicts: 410000 | #Constraints: 24659
352.13/355.05 c #Conflicts: 411000 | #Constraints: 25659
352.13/355.05 c #Conflicts: 412000 | #Constraints: 26659
352.13/355.05 c #Conflicts: 413000 | #Constraints: 27661
352.13/355.05 c #Conflicts: 414000 | #Constraints: 28661
352.13/355.05 c #Conflicts: 415000 | #Constraints: 29661
352.13/355.05 c #Conflicts: 416000 | #Constraints: 30661
352.13/355.05 c #Conflicts: 417000 | #Constraints: 31662
352.13/355.05 c #Conflicts: 418000 | #Constraints: 32662
352.13/355.05 c #Conflicts: 419000 | #Constraints: 33662
352.13/355.05 c #Conflicts: 420000 | #Constraints: 34662
352.13/355.05 c INPROCESSING
352.13/355.05 c GARBAGE COLLECT
352.13/355.05 c rational objective 3
363.88/366.87 c #Conflicts: 421000 | #Constraints: 22848
363.88/366.87 c #Conflicts: 422000 | #Constraints: 23848
363.88/366.87 c #Conflicts: 423000 | #Constraints: 24848
363.88/366.87 c #Conflicts: 424000 | #Constraints: 25849
363.88/366.87 c #Conflicts: 425000 | #Constraints: 26849
363.88/366.87 c #Conflicts: 426000 | #Constraints: 27849
363.88/366.87 c #Conflicts: 427000 | #Constraints: 28850
363.88/366.87 c #Conflicts: 428000 | #Constraints: 29850
363.88/366.87 c #Conflicts: 429000 | #Constraints: 30850
363.88/366.87 c #Conflicts: 430000 | #Constraints: 31850
363.88/366.87 c #Conflicts: 431000 | #Constraints: 32850
363.88/366.87 c #Conflicts: 432000 | #Constraints: 33850
363.88/366.87 c #Conflicts: 433000 | #Constraints: 34850
363.88/366.87 c INPROCESSING
363.88/366.87 c GARBAGE COLLECT
363.88/366.87 c rational objective 3
377.42/380.54 c #Conflicts: 434000 | #Constraints: 22824
377.42/380.54 c #Conflicts: 435000 | #Constraints: 23824
377.42/380.54 c #Conflicts: 436000 | #Constraints: 24824
377.42/380.54 c #Conflicts: 437000 | #Constraints: 25825
377.42/380.54 c #Conflicts: 438000 | #Constraints: 26827
377.42/380.54 c #Conflicts: 439000 | #Constraints: 27828
377.42/380.54 c #Conflicts: 440000 | #Constraints: 28828
377.42/380.54 c #Conflicts: 441000 | #Constraints: 29830
377.42/380.54 c #Conflicts: 442000 | #Constraints: 30831
377.42/380.54 c #Conflicts: 443000 | #Constraints: 31832
377.42/380.54 c #Conflicts: 444000 | #Constraints: 32833
377.42/380.54 c #Conflicts: 445000 | #Constraints: 33834
377.42/380.54 c #Conflicts: 446000 | #Constraints: 34838
377.42/380.54 c INPROCESSING
377.42/380.54 c GARBAGE COLLECT
377.42/380.54 c rational objective 3
390.08/393.21 c #Conflicts: 447000 | #Constraints: 22629
390.08/393.21 c #Conflicts: 448000 | #Constraints: 23630
390.08/393.21 c #Conflicts: 449000 | #Constraints: 24631
390.08/393.21 c #Conflicts: 450000 | #Constraints: 25631
390.08/393.21 c #Conflicts: 451000 | #Constraints: 26632
390.08/393.21 c #Conflicts: 452000 | #Constraints: 27633
390.08/393.21 c #Conflicts: 453000 | #Constraints: 28633
390.08/393.21 c #Conflicts: 454000 | #Constraints: 29633
390.08/393.21 c #Conflicts: 455000 | #Constraints: 30634
390.08/393.21 c #Conflicts: 456000 | #Constraints: 31635
390.08/393.21 c #Conflicts: 457000 | #Constraints: 32635
390.08/393.21 c #Conflicts: 458000 | #Constraints: 33636
390.08/393.21 c #Conflicts: 459000 | #Constraints: 34637
390.08/393.21 c #Conflicts: 460000 | #Constraints: 35640
390.08/393.21 c INPROCESSING
390.08/393.21 c GARBAGE COLLECT
390.08/393.21 c rational objective 3
407.21/410.42 c #Conflicts: 461000 | #Constraints: 23229
407.21/410.42 c #Conflicts: 462000 | #Constraints: 24229
407.21/410.42 c #Conflicts: 463000 | #Constraints: 25231
407.21/410.42 c #Conflicts: 464000 | #Constraints: 26234
407.21/410.42 c #Conflicts: 465000 | #Constraints: 27236
407.21/410.42 c #Conflicts: 466000 | #Constraints: 28238
407.21/410.42 c #Conflicts: 467000 | #Constraints: 29239
407.21/410.42 c #Conflicts: 468000 | #Constraints: 30239
407.21/410.42 c #Conflicts: 469000 | #Constraints: 31241
407.21/410.42 c #Conflicts: 470000 | #Constraints: 32241
407.21/410.42 c #Conflicts: 471000 | #Constraints: 33241
407.21/410.42 c #Conflicts: 472000 | #Constraints: 34242
407.21/410.42 c #Conflicts: 473000 | #Constraints: 35243
407.21/410.42 c #Conflicts: 474000 | #Constraints: 36243
407.21/410.42 c INPROCESSING
407.21/410.42 c GARBAGE COLLECT
407.21/410.42 c rational objective 3
425.14/428.48 c #Conflicts: 475000 | #Constraints: 23654
425.14/428.48 c #Conflicts: 476000 | #Constraints: 24655
425.14/428.48 c #Conflicts: 477000 | #Constraints: 25656
425.14/428.48 c #Conflicts: 478000 | #Constraints: 26659
425.14/428.48 c #Conflicts: 479000 | #Constraints: 27661
425.14/428.48 c #Conflicts: 480000 | #Constraints: 28662
425.14/428.48 c #Conflicts: 481000 | #Constraints: 29663
425.14/428.48 c #Conflicts: 482000 | #Constraints: 30664
425.14/428.48 c #Conflicts: 483000 | #Constraints: 31666
425.14/428.48 c #Conflicts: 484000 | #Constraints: 32667
425.14/428.48 c #Conflicts: 485000 | #Constraints: 33670
425.14/428.48 c #Conflicts: 486000 | #Constraints: 34671
425.14/428.48 c #Conflicts: 487000 | #Constraints: 35671
425.14/428.48 c #Conflicts: 488000 | #Constraints: 36671
425.14/428.48 c INPROCESSING
425.14/428.48 c GARBAGE COLLECT
425.14/428.48 c rational objective 3
442.49/446.10 c #Conflicts: 489000 | #Constraints: 23884
442.49/446.10 c #Conflicts: 490000 | #Constraints: 24884
442.49/446.10 c #Conflicts: 491000 | #Constraints: 25884
442.49/446.10 c #Conflicts: 492000 | #Constraints: 26884
442.49/446.10 c #Conflicts: 493000 | #Constraints: 27885
442.49/446.10 c #Conflicts: 494000 | #Constraints: 28885
442.49/446.10 c #Conflicts: 495000 | #Constraints: 29886
442.49/446.10 c #Conflicts: 496000 | #Constraints: 30886
442.49/446.10 c #Conflicts: 497000 | #Constraints: 31886
442.49/446.10 c #Conflicts: 498000 | #Constraints: 32886
442.49/446.10 c #Conflicts: 499000 | #Constraints: 33886
442.49/446.10 c #Conflicts: 500000 | #Constraints: 34886
442.49/446.10 c #Conflicts: 501000 | #Constraints: 35886
442.49/446.10 c #Conflicts: 502000 | #Constraints: 36886
442.49/446.10 c INPROCESSING
442.49/446.10 c GARBAGE COLLECT
442.49/446.10 c rational objective 3
458.73/462.63 c #Conflicts: 503000 | #Constraints: 23858
458.73/462.63 c #Conflicts: 504000 | #Constraints: 24858
458.73/462.63 c #Conflicts: 505000 | #Constraints: 25858
458.73/462.63 c #Conflicts: 506000 | #Constraints: 26858
458.73/462.63 c #Conflicts: 507000 | #Constraints: 27858
458.73/462.63 c #Conflicts: 508000 | #Constraints: 28863
458.73/462.63 c #Conflicts: 509000 | #Constraints: 29864
458.73/462.63 c #Conflicts: 510000 | #Constraints: 30864
458.73/462.63 c #Conflicts: 511000 | #Constraints: 31864
458.73/462.63 c #Conflicts: 512000 | #Constraints: 32865
458.73/462.63 c #Conflicts: 513000 | #Constraints: 33865
458.73/462.63 c #Conflicts: 514000 | #Constraints: 34865
458.73/462.63 c #Conflicts: 515000 | #Constraints: 35866
458.73/462.63 c #Conflicts: 516000 | #Constraints: 36866
458.73/462.63 c INPROCESSING
458.73/462.63 c GARBAGE COLLECT
458.73/462.63 c rational objective 3
473.57/477.58 c #Conflicts: 517000 | #Constraints: 23543
473.57/477.58 c #Conflicts: 518000 | #Constraints: 24543
473.57/477.58 c #Conflicts: 519000 | #Constraints: 25545
473.57/477.58 c #Conflicts: 520000 | #Constraints: 26547
473.57/477.58 c #Conflicts: 521000 | #Constraints: 27549
473.57/477.58 c #Conflicts: 522000 | #Constraints: 28552
473.57/477.58 c #Conflicts: 523000 | #Constraints: 29553
473.57/477.58 c #Conflicts: 524000 | #Constraints: 30554
473.57/477.58 c #Conflicts: 525000 | #Constraints: 31555
473.57/477.58 c #Conflicts: 526000 | #Constraints: 32555
473.57/477.58 c #Conflicts: 527000 | #Constraints: 33555
473.57/477.58 c #Conflicts: 528000 | #Constraints: 34555
473.57/477.58 c #Conflicts: 529000 | #Constraints: 35555
473.57/477.58 c #Conflicts: 530000 | #Constraints: 36556
473.57/477.58 c #Conflicts: 531000 | #Constraints: 37556
473.57/477.58 c INPROCESSING
473.57/477.58 c GARBAGE COLLECT
473.57/477.58 c rational objective 3
490.96/495.02 c #Conflicts: 532000 | #Constraints: 24147
490.96/495.02 c #Conflicts: 533000 | #Constraints: 25148
490.96/495.02 c #Conflicts: 534000 | #Constraints: 26148
490.96/495.02 c #Conflicts: 535000 | #Constraints: 27148
490.96/495.02 c #Conflicts: 536000 | #Constraints: 28148
490.96/495.02 c #Conflicts: 537000 | #Constraints: 29148
490.96/495.02 c #Conflicts: 538000 | #Constraints: 30148
490.96/495.02 c #Conflicts: 539000 | #Constraints: 31148
490.96/495.02 c #Conflicts: 540000 | #Constraints: 32148
490.96/495.02 c #Conflicts: 541000 | #Constraints: 33148
490.96/495.02 c #Conflicts: 542000 | #Constraints: 34148
490.96/495.02 c #Conflicts: 543000 | #Constraints: 35148
490.96/495.02 c #Conflicts: 544000 | #Constraints: 36148
490.96/495.02 c #Conflicts: 545000 | #Constraints: 37148
490.96/495.02 c #Conflicts: 546000 | #Constraints: 38148
490.96/495.02 c INPROCESSING
490.96/495.02 c GARBAGE COLLECT
490.96/495.02 c rational objective 3
507.48/511.64 c #Conflicts: 547000 | #Constraints: 24534
507.48/511.64 c #Conflicts: 548000 | #Constraints: 25535
507.48/511.64 c #Conflicts: 549000 | #Constraints: 26536
507.48/511.64 c #Conflicts: 550000 | #Constraints: 27538
507.48/511.64 c #Conflicts: 551000 | #Constraints: 28538
507.48/511.64 c #Conflicts: 552000 | #Constraints: 29540
507.48/511.64 c #Conflicts: 553000 | #Constraints: 30541
507.48/511.64 c #Conflicts: 554000 | #Constraints: 31541
507.48/511.64 c #Conflicts: 555000 | #Constraints: 32542
507.48/511.64 c #Conflicts: 556000 | #Constraints: 33542
507.48/511.64 c #Conflicts: 557000 | #Constraints: 34542
507.48/511.64 c #Conflicts: 558000 | #Constraints: 35542
507.48/511.64 c #Conflicts: 559000 | #Constraints: 36542
507.48/511.64 c #Conflicts: 560000 | #Constraints: 37543
507.48/511.64 c #Conflicts: 561000 | #Constraints: 38543
507.48/511.64 c INPROCESSING
507.48/511.64 c GARBAGE COLLECT
507.48/511.64 c rational objective 3
524.49/528.83 c #Conflicts: 562000 | #Constraints: 24711
524.49/528.83 c #Conflicts: 563000 | #Constraints: 25711
524.49/528.83 c #Conflicts: 564000 | #Constraints: 26711
524.49/528.83 c #Conflicts: 565000 | #Constraints: 27711
524.49/528.83 c #Conflicts: 566000 | #Constraints: 28711
524.49/528.83 c #Conflicts: 567000 | #Constraints: 29711
524.49/528.83 c #Conflicts: 568000 | #Constraints: 30711
524.49/528.83 c #Conflicts: 569000 | #Constraints: 31711
524.49/528.83 c #Conflicts: 570000 | #Constraints: 32711
524.49/528.83 c #Conflicts: 571000 | #Constraints: 33711
524.49/528.83 c #Conflicts: 572000 | #Constraints: 34711
524.49/528.83 c #Conflicts: 573000 | #Constraints: 35711
524.49/528.83 c #Conflicts: 574000 | #Constraints: 36712
524.49/528.83 c #Conflicts: 575000 | #Constraints: 37712
524.49/528.83 c #Conflicts: 576000 | #Constraints: 38712
524.49/528.83 c INPROCESSING
524.49/528.83 c GARBAGE COLLECT
524.49/528.83 c rational objective 3
542.72/547.26 c #Conflicts: 577000 | #Constraints: 24711
542.72/547.26 c #Conflicts: 578000 | #Constraints: 25711
542.72/547.26 c #Conflicts: 579000 | #Constraints: 26711
542.72/547.26 c #Conflicts: 580000 | #Constraints: 27711
542.72/547.26 c #Conflicts: 581000 | #Constraints: 28711
542.72/547.26 c #Conflicts: 582000 | #Constraints: 29711
542.72/547.26 c #Conflicts: 583000 | #Constraints: 30711
542.72/547.26 c #Conflicts: 584000 | #Constraints: 31711
542.72/547.26 c #Conflicts: 585000 | #Constraints: 32711
542.72/547.26 c #Conflicts: 586000 | #Constraints: 33711
542.72/547.26 c #Conflicts: 587000 | #Constraints: 34711
542.72/547.26 c #Conflicts: 588000 | #Constraints: 35711
542.72/547.26 c #Conflicts: 589000 | #Constraints: 36711
542.72/547.26 c #Conflicts: 590000 | #Constraints: 37711
542.72/547.26 c #Conflicts: 591000 | #Constraints: 38711
542.72/547.26 c INPROCESSING
542.72/547.26 c GARBAGE COLLECT
542.72/547.26 c rational objective 3
559.70/564.39 c #Conflicts: 592000 | #Constraints: 24499
559.70/564.39 c #Conflicts: 593000 | #Constraints: 25499
559.70/564.39 c #Conflicts: 594000 | #Constraints: 26499
559.70/564.39 c #Conflicts: 595000 | #Constraints: 27499
559.70/564.39 c #Conflicts: 596000 | #Constraints: 28499
559.70/564.39 c #Conflicts: 597000 | #Constraints: 29499
559.70/564.39 c #Conflicts: 598000 | #Constraints: 30499
559.70/564.39 c #Conflicts: 599000 | #Constraints: 31500
559.70/564.39 c #Conflicts: 600000 | #Constraints: 32500
559.70/564.39 c #Conflicts: 601000 | #Constraints: 33500
559.70/564.39 c #Conflicts: 602000 | #Constraints: 34502
559.70/564.39 c #Conflicts: 603000 | #Constraints: 35502
559.70/564.39 c #Conflicts: 604000 | #Constraints: 36502
559.70/564.39 c #Conflicts: 605000 | #Constraints: 37502
559.70/564.39 c #Conflicts: 606000 | #Constraints: 38502
559.70/564.39 c #Conflicts: 607000 | #Constraints: 39502
559.70/564.39 c INPROCESSING
559.70/564.39 c GARBAGE COLLECT
559.70/564.39 c rational objective 3
578.14/582.87 c #Conflicts: 608000 | #Constraints: 25092
578.14/582.87 c #Conflicts: 609000 | #Constraints: 26092
578.14/582.87 c #Conflicts: 610000 | #Constraints: 27092
578.14/582.87 c #Conflicts: 611000 | #Constraints: 28093
578.14/582.87 c #Conflicts: 612000 | #Constraints: 29093
578.14/582.87 c #Conflicts: 613000 | #Constraints: 30093
578.14/582.87 c #Conflicts: 614000 | #Constraints: 31096
578.14/582.87 c #Conflicts: 615000 | #Constraints: 32096
578.14/582.87 c #Conflicts: 616000 | #Constraints: 33097
578.14/582.87 c #Conflicts: 617000 | #Constraints: 34101
578.14/582.87 c #Conflicts: 618000 | #Constraints: 35102
578.14/582.87 c #Conflicts: 619000 | #Constraints: 36104
578.14/582.87 c #Conflicts: 620000 | #Constraints: 37104
578.14/582.87 c #Conflicts: 621000 | #Constraints: 38107
578.14/582.87 c #Conflicts: 622000 | #Constraints: 39110
578.14/582.87 c #Conflicts: 623000 | #Constraints: 40111
578.14/582.87 c INPROCESSING
578.14/582.87 c GARBAGE COLLECT
578.14/582.87 c rational objective 3
596.95/601.82 c #Conflicts: 624000 | #Constraints: 25493
596.95/601.82 c #Conflicts: 625000 | #Constraints: 26493
596.95/601.82 c #Conflicts: 626000 | #Constraints: 27493
596.95/601.82 c #Conflicts: 627000 | #Constraints: 28494
596.95/601.82 c #Conflicts: 628000 | #Constraints: 29496
596.95/601.82 c #Conflicts: 629000 | #Constraints: 30496
596.95/601.82 c #Conflicts: 630000 | #Constraints: 31496
596.95/601.82 c #Conflicts: 631000 | #Constraints: 32497
596.95/601.82 c #Conflicts: 632000 | #Constraints: 33498
596.95/601.82 c #Conflicts: 633000 | #Constraints: 34502
596.95/601.82 c #Conflicts: 634000 | #Constraints: 35502
596.95/601.82 c #Conflicts: 635000 | #Constraints: 36502
596.95/601.82 c #Conflicts: 636000 | #Constraints: 37502
596.95/601.82 c #Conflicts: 637000 | #Constraints: 38504
596.95/601.82 c #Conflicts: 638000 | #Constraints: 39505
596.95/601.82 c #Conflicts: 639000 | #Constraints: 40506
596.95/601.82 c INPROCESSING
596.95/601.82 c GARBAGE COLLECT
596.95/601.82 c rational objective 3
618.22/623.22 c #Conflicts: 640000 | #Constraints: 25688
618.22/623.22 c #Conflicts: 641000 | #Constraints: 26688
618.22/623.22 c #Conflicts: 642000 | #Constraints: 27688
618.22/623.22 c #Conflicts: 643000 | #Constraints: 28690
618.22/623.22 c #Conflicts: 644000 | #Constraints: 29690
618.22/623.22 c #Conflicts: 645000 | #Constraints: 30691
618.22/623.22 c #Conflicts: 646000 | #Constraints: 31692
618.22/623.22 c #Conflicts: 647000 | #Constraints: 32692
618.22/623.22 c #Conflicts: 648000 | #Constraints: 33692
618.22/623.22 c #Conflicts: 649000 | #Constraints: 34692
618.22/623.22 c #Conflicts: 650000 | #Constraints: 35692
618.22/623.22 c #Conflicts: 651000 | #Constraints: 36692
618.22/623.22 c #Conflicts: 652000 | #Constraints: 37692
618.22/623.22 c #Conflicts: 653000 | #Constraints: 38692
618.22/623.22 c #Conflicts: 654000 | #Constraints: 39692
618.22/623.22 c #Conflicts: 655000 | #Constraints: 40692
618.22/623.22 c INPROCESSING
618.22/623.22 c GARBAGE COLLECT
618.22/623.22 c rational objective 3
637.86/642.96 c #Conflicts: 656000 | #Constraints: 25675
637.86/642.96 c #Conflicts: 657000 | #Constraints: 26676
637.86/642.96 c #Conflicts: 658000 | #Constraints: 27677
637.86/642.96 c #Conflicts: 659000 | #Constraints: 28681
637.86/642.96 c #Conflicts: 660000 | #Constraints: 29685
637.86/642.96 c #Conflicts: 661000 | #Constraints: 30690
637.86/642.96 c #Conflicts: 662000 | #Constraints: 31690
637.86/642.96 c #Conflicts: 663000 | #Constraints: 32691
637.86/642.96 c #Conflicts: 664000 | #Constraints: 33693
637.86/642.96 c #Conflicts: 665000 | #Constraints: 34694
637.86/642.96 c #Conflicts: 666000 | #Constraints: 35694
637.86/642.96 c #Conflicts: 667000 | #Constraints: 36694
637.86/642.96 c #Conflicts: 668000 | #Constraints: 37695
637.86/642.96 c #Conflicts: 669000 | #Constraints: 38695
637.86/642.96 c #Conflicts: 670000 | #Constraints: 39695
637.86/642.96 c #Conflicts: 671000 | #Constraints: 40695
637.86/642.96 c INPROCESSING
637.86/642.96 c GARBAGE COLLECT
637.86/642.96 c rational objective 3
660.27/665.69 c #Conflicts: 672000 | #Constraints: 25461
660.27/665.69 c #Conflicts: 673000 | #Constraints: 26462
660.27/665.69 c #Conflicts: 674000 | #Constraints: 27462
660.27/665.69 c #Conflicts: 675000 | #Constraints: 28462
660.27/665.69 c #Conflicts: 676000 | #Constraints: 29462
660.27/665.69 c #Conflicts: 677000 | #Constraints: 30462
660.27/665.69 c #Conflicts: 678000 | #Constraints: 31462
660.27/665.69 c #Conflicts: 679000 | #Constraints: 32462
660.27/665.69 c #Conflicts: 680000 | #Constraints: 33462
660.27/665.69 c #Conflicts: 681000 | #Constraints: 34462
660.27/665.69 c #Conflicts: 682000 | #Constraints: 35462
660.27/665.69 c #Conflicts: 683000 | #Constraints: 36462
660.27/665.69 c #Conflicts: 684000 | #Constraints: 37462
660.27/665.69 c #Conflicts: 685000 | #Constraints: 38463
660.27/665.69 c #Conflicts: 686000 | #Constraints: 39463
660.27/665.69 c #Conflicts: 687000 | #Constraints: 40464
660.27/665.69 c #Conflicts: 688000 | #Constraints: 41464
660.27/665.69 c INPROCESSING
660.27/665.69 c GARBAGE COLLECT
660.27/665.69 c rational objective 3
684.62/690.25 c #Conflicts: 689000 | #Constraints: 26043
684.62/690.25 c #Conflicts: 690000 | #Constraints: 27043
684.62/690.25 c #Conflicts: 691000 | #Constraints: 28043
684.62/690.25 c #Conflicts: 692000 | #Constraints: 29044
684.62/690.25 c #Conflicts: 693000 | #Constraints: 30044
684.62/690.25 c #Conflicts: 694000 | #Constraints: 31044
684.62/690.25 c #Conflicts: 695000 | #Constraints: 32044
684.62/690.25 c #Conflicts: 696000 | #Constraints: 33044
684.62/690.25 c #Conflicts: 697000 | #Constraints: 34044
684.62/690.25 c #Conflicts: 698000 | #Constraints: 35044
684.62/690.25 c #Conflicts: 699000 | #Constraints: 36044
684.62/690.25 c #Conflicts: 700000 | #Constraints: 37044
684.62/690.25 c #Conflicts: 701000 | #Constraints: 38044
684.62/690.25 c #Conflicts: 702000 | #Constraints: 39044
684.62/690.25 c #Conflicts: 703000 | #Constraints: 40045
684.62/690.25 c #Conflicts: 704000 | #Constraints: 41045
684.62/690.25 c #Conflicts: 705000 | #Constraints: 42046
684.62/690.25 c INPROCESSING
684.62/690.25 c GARBAGE COLLECT
684.62/690.25 c rational objective 3
708.35/714.15 c #Conflicts: 706000 | #Constraints: 26393
708.35/714.15 c #Conflicts: 707000 | #Constraints: 27396
708.35/714.15 c #Conflicts: 708000 | #Constraints: 28399
708.35/714.15 c #Conflicts: 709000 | #Constraints: 29400
708.35/714.15 c #Conflicts: 710000 | #Constraints: 30401
708.35/714.15 c #Conflicts: 711000 | #Constraints: 31402
708.35/714.15 c #Conflicts: 712000 | #Constraints: 32404
708.35/714.15 c #Conflicts: 713000 | #Constraints: 33404
708.35/714.15 c #Conflicts: 714000 | #Constraints: 34404
708.35/714.15 c #Conflicts: 715000 | #Constraints: 35405
708.35/714.15 c #Conflicts: 716000 | #Constraints: 36406
708.35/714.15 c #Conflicts: 717000 | #Constraints: 37406
708.35/714.15 c #Conflicts: 718000 | #Constraints: 38406
708.35/714.15 c #Conflicts: 719000 | #Constraints: 39407
708.35/714.15 c #Conflicts: 720000 | #Constraints: 40407
708.35/714.15 c #Conflicts: 721000 | #Constraints: 41408
708.35/714.15 c #Conflicts: 722000 | #Constraints: 42408
708.35/714.15 c INPROCESSING
708.35/714.15 c GARBAGE COLLECT
708.35/714.15 c rational objective 3
726.68/732.50 c #Conflicts: 723000 | #Constraints: 26579
726.68/732.50 c #Conflicts: 724000 | #Constraints: 27580
726.68/732.50 c #Conflicts: 725000 | #Constraints: 28581
726.68/732.50 c #Conflicts: 726000 | #Constraints: 29582
726.68/732.50 c #Conflicts: 727000 | #Constraints: 30583
726.68/732.50 c #Conflicts: 728000 | #Constraints: 31583
726.68/732.50 c #Conflicts: 729000 | #Constraints: 32583
726.68/732.50 c #Conflicts: 730000 | #Constraints: 33584
726.68/732.50 c #Conflicts: 731000 | #Constraints: 34584
726.68/732.50 c #Conflicts: 732000 | #Constraints: 35585
726.68/732.50 c #Conflicts: 733000 | #Constraints: 36588
726.68/732.50 c #Conflicts: 734000 | #Constraints: 37588
726.68/732.50 c #Conflicts: 735000 | #Constraints: 38588
726.68/732.50 c #Conflicts: 736000 | #Constraints: 39588
726.68/732.50 c #Conflicts: 737000 | #Constraints: 40588
726.68/732.50 c #Conflicts: 738000 | #Constraints: 41588
726.68/732.50 c #Conflicts: 739000 | #Constraints: 42588
726.68/732.50 c INPROCESSING
726.68/732.50 c GARBAGE COLLECT
726.68/732.50 c rational objective 3
752.93/759.04 c #Conflicts: 740000 | #Constraints: 26571
752.93/759.04 c #Conflicts: 741000 | #Constraints: 27572
752.93/759.04 c #Conflicts: 742000 | #Constraints: 28572
752.93/759.04 c #Conflicts: 743000 | #Constraints: 29574
752.93/759.04 c #Conflicts: 744000 | #Constraints: 30575
752.93/759.04 c #Conflicts: 745000 | #Constraints: 31576
752.93/759.04 c #Conflicts: 746000 | #Constraints: 32576
752.93/759.04 c #Conflicts: 747000 | #Constraints: 33576
752.93/759.04 c #Conflicts: 748000 | #Constraints: 34576
752.93/759.04 c #Conflicts: 749000 | #Constraints: 35576
752.93/759.04 c #Conflicts: 750000 | #Constraints: 36577
752.93/759.04 c #Conflicts: 751000 | #Constraints: 37579
752.93/759.04 c #Conflicts: 752000 | #Constraints: 38579
752.93/759.04 c #Conflicts: 753000 | #Constraints: 39579
752.93/759.04 c #Conflicts: 754000 | #Constraints: 40581
752.93/759.04 c #Conflicts: 755000 | #Constraints: 41583
752.93/759.04 c #Conflicts: 756000 | #Constraints: 42584
752.93/759.04 c INPROCESSING
752.93/759.04 c GARBAGE COLLECT
752.93/759.04 c rational objective 3
775.74/781.98 c #Conflicts: 757000 | #Constraints: 26379
775.74/781.98 c #Conflicts: 758000 | #Constraints: 27379
775.74/781.98 c #Conflicts: 759000 | #Constraints: 28379
775.74/781.98 c #Conflicts: 760000 | #Constraints: 29380
775.74/781.98 c #Conflicts: 761000 | #Constraints: 30380
775.74/781.98 c #Conflicts: 762000 | #Constraints: 31385
775.74/781.98 c #Conflicts: 763000 | #Constraints: 32387
775.74/781.98 c #Conflicts: 764000 | #Constraints: 33388
775.74/781.98 c #Conflicts: 765000 | #Constraints: 34389
775.74/781.98 c #Conflicts: 766000 | #Constraints: 35389
775.74/781.98 c #Conflicts: 767000 | #Constraints: 36389
775.74/781.98 c #Conflicts: 768000 | #Constraints: 37389
775.74/781.98 c #Conflicts: 769000 | #Constraints: 38389
775.74/781.98 c #Conflicts: 770000 | #Constraints: 39390
775.74/781.98 c #Conflicts: 771000 | #Constraints: 40392
775.74/781.98 c #Conflicts: 772000 | #Constraints: 41392
775.74/781.98 c #Conflicts: 773000 | #Constraints: 42392
775.74/781.98 c #Conflicts: 774000 | #Constraints: 43392
775.74/781.98 c INPROCESSING
775.74/781.98 c GARBAGE COLLECT
775.74/781.98 c rational objective 3
802.00/808.42 c #Conflicts: 775000 | #Constraints: 26906
802.00/808.42 c #Conflicts: 776000 | #Constraints: 27906
802.00/808.42 c #Conflicts: 777000 | #Constraints: 28908
802.00/808.42 c #Conflicts: 778000 | #Constraints: 29909
802.00/808.42 c #Conflicts: 779000 | #Constraints: 30910
802.00/808.42 c #Conflicts: 780000 | #Constraints: 31910
802.00/808.42 c #Conflicts: 781000 | #Constraints: 32911
802.00/808.42 c #Conflicts: 782000 | #Constraints: 33913
802.00/808.42 c #Conflicts: 783000 | #Constraints: 34914
802.00/808.42 c #Conflicts: 784000 | #Constraints: 35916
802.00/808.42 c #Conflicts: 785000 | #Constraints: 36917
802.00/808.42 c #Conflicts: 786000 | #Constraints: 37917
802.00/808.42 c #Conflicts: 787000 | #Constraints: 38918
802.00/808.42 c #Conflicts: 788000 | #Constraints: 39919
802.00/808.42 c #Conflicts: 789000 | #Constraints: 40921
802.00/808.42 c #Conflicts: 790000 | #Constraints: 41922
802.00/808.42 c #Conflicts: 791000 | #Constraints: 42922
802.00/808.42 c #Conflicts: 792000 | #Constraints: 43923
802.00/808.42 c INPROCESSING
802.00/808.42 c GARBAGE COLLECT
802.00/808.42 c rational objective 3
827.07/833.68 c #Conflicts: 793000 | #Constraints: 27299
827.07/833.68 c #Conflicts: 794000 | #Constraints: 28300
827.07/833.68 c #Conflicts: 795000 | #Constraints: 29300
827.07/833.68 c #Conflicts: 796000 | #Constraints: 30301
827.07/833.68 c #Conflicts: 797000 | #Constraints: 31302
827.07/833.68 c #Conflicts: 798000 | #Constraints: 32302
827.07/833.68 c #Conflicts: 799000 | #Constraints: 33302
827.07/833.68 c #Conflicts: 800000 | #Constraints: 34302
827.07/833.68 c #Conflicts: 801000 | #Constraints: 35303
827.07/833.68 c #Conflicts: 802000 | #Constraints: 36303
827.07/833.68 c #Conflicts: 803000 | #Constraints: 37304
827.07/833.68 c #Conflicts: 804000 | #Constraints: 38305
827.07/833.68 c #Conflicts: 805000 | #Constraints: 39305
827.07/833.68 c #Conflicts: 806000 | #Constraints: 40305
827.07/833.68 c #Conflicts: 807000 | #Constraints: 41306
827.07/833.68 c #Conflicts: 808000 | #Constraints: 42306
827.07/833.68 c #Conflicts: 809000 | #Constraints: 43306
827.07/833.68 c #Conflicts: 810000 | #Constraints: 44307
827.07/833.68 c INPROCESSING
827.07/833.68 c GARBAGE COLLECT
827.07/833.68 c rational objective 3
850.29/856.93 c #Conflicts: 811000 | #Constraints: 27489
850.29/856.93 c #Conflicts: 812000 | #Constraints: 28489
850.29/856.93 c #Conflicts: 813000 | #Constraints: 29490
850.29/856.93 c #Conflicts: 814000 | #Constraints: 30491
850.29/856.93 c #Conflicts: 815000 | #Constraints: 31492
850.29/856.93 c #Conflicts: 816000 | #Constraints: 32492
850.29/856.93 c #Conflicts: 817000 | #Constraints: 33493
850.29/856.93 c #Conflicts: 818000 | #Constraints: 34495
850.29/856.93 c #Conflicts: 819000 | #Constraints: 35496
850.29/856.93 c #Conflicts: 820000 | #Constraints: 36497
850.29/856.93 c #Conflicts: 821000 | #Constraints: 37497
850.29/856.93 c #Conflicts: 822000 | #Constraints: 38499
850.29/856.93 c #Conflicts: 823000 | #Constraints: 39500
850.29/856.93 c #Conflicts: 824000 | #Constraints: 40501
850.29/856.93 c #Conflicts: 825000 | #Constraints: 41501
850.29/856.93 c #Conflicts: 826000 | #Constraints: 42501
850.29/856.93 c #Conflicts: 827000 | #Constraints: 43501
850.29/856.93 c #Conflicts: 828000 | #Constraints: 44501
850.29/856.93 c INPROCESSING
850.29/856.93 c GARBAGE COLLECT
850.29/856.93 c rational objective 3
882.41/889.35 c #Conflicts: 829000 | #Constraints: 27488
882.41/889.35 c #Conflicts: 830000 | #Constraints: 28488
882.41/889.35 c #Conflicts: 831000 | #Constraints: 29488
882.41/889.35 c #Conflicts: 832000 | #Constraints: 30488
882.41/889.35 c #Conflicts: 833000 | #Constraints: 31488
882.41/889.35 c #Conflicts: 834000 | #Constraints: 32488
882.41/889.35 c #Conflicts: 835000 | #Constraints: 33488
882.41/889.35 c #Conflicts: 836000 | #Constraints: 34488
882.41/889.35 c #Conflicts: 837000 | #Constraints: 35488
882.41/889.35 c #Conflicts: 838000 | #Constraints: 36488
882.41/889.35 c #Conflicts: 839000 | #Constraints: 37488
882.41/889.35 c #Conflicts: 840000 | #Constraints: 38488
882.41/889.35 c #Conflicts: 841000 | #Constraints: 39488
882.41/889.35 c #Conflicts: 842000 | #Constraints: 40488
882.41/889.35 c #Conflicts: 843000 | #Constraints: 41488
882.41/889.35 c #Conflicts: 844000 | #Constraints: 42488
882.41/889.35 c #Conflicts: 845000 | #Constraints: 43488
882.41/889.35 c #Conflicts: 846000 | #Constraints: 44489
882.41/889.35 c INPROCESSING
882.41/889.35 c GARBAGE COLLECT
882.41/889.35 c rational objective 3
904.71/911.72 c #Conflicts: 847000 | #Constraints: 27255
904.71/911.72 c #Conflicts: 848000 | #Constraints: 28255
904.71/911.72 c #Conflicts: 849000 | #Constraints: 29255
904.71/911.72 c #Conflicts: 850000 | #Constraints: 30258
904.71/911.72 c #Conflicts: 851000 | #Constraints: 31261
904.71/911.72 c #Conflicts: 852000 | #Constraints: 32261
904.71/911.72 c #Conflicts: 853000 | #Constraints: 33262
904.71/911.72 c #Conflicts: 854000 | #Constraints: 34263
904.71/911.72 c #Conflicts: 855000 | #Constraints: 35264
904.71/911.72 c #Conflicts: 856000 | #Constraints: 36265
904.71/911.72 c #Conflicts: 857000 | #Constraints: 37265
904.71/911.72 c #Conflicts: 858000 | #Constraints: 38265
904.71/911.72 c #Conflicts: 859000 | #Constraints: 39265
904.71/911.72 c #Conflicts: 860000 | #Constraints: 40267
904.71/911.72 c #Conflicts: 861000 | #Constraints: 41267
904.71/911.72 c #Conflicts: 862000 | #Constraints: 42267
904.71/911.72 c #Conflicts: 863000 | #Constraints: 43267
904.71/911.72 c #Conflicts: 864000 | #Constraints: 44267
904.71/911.72 c #Conflicts: 865000 | #Constraints: 45269
904.71/911.72 c INPROCESSING
904.71/911.72 c GARBAGE COLLECT
904.71/911.72 c rational objective 3
931.34/938.53 c #Conflicts: 866000 | #Constraints: 27877
931.34/938.53 c #Conflicts: 867000 | #Constraints: 28877
931.34/938.53 c #Conflicts: 868000 | #Constraints: 29878
931.34/938.53 c #Conflicts: 869000 | #Constraints: 30880
931.34/938.53 c #Conflicts: 870000 | #Constraints: 31881
931.34/938.53 c #Conflicts: 871000 | #Constraints: 32881
931.34/938.53 c #Conflicts: 872000 | #Constraints: 33882
931.34/938.53 c #Conflicts: 873000 | #Constraints: 34888
931.34/938.53 c #Conflicts: 874000 | #Constraints: 35890
931.34/938.53 c #Conflicts: 875000 | #Constraints: 36891
931.34/938.53 c #Conflicts: 876000 | #Constraints: 37891
931.34/938.53 c #Conflicts: 877000 | #Constraints: 38892
931.34/938.53 c #Conflicts: 878000 | #Constraints: 39893
931.34/938.53 c #Conflicts: 879000 | #Constraints: 40894
931.34/938.53 c #Conflicts: 880000 | #Constraints: 41895
931.34/938.53 c #Conflicts: 881000 | #Constraints: 42897
931.34/938.53 c #Conflicts: 882000 | #Constraints: 43898
931.34/938.53 c #Conflicts: 883000 | #Constraints: 44900
931.34/938.53 c #Conflicts: 884000 | #Constraints: 45900
931.34/938.53 c INPROCESSING
931.34/938.53 c GARBAGE COLLECT
931.34/938.53 c rational objective 3
957.69/965.14 c #Conflicts: 885000 | #Constraints: 28304
957.69/965.14 c #Conflicts: 886000 | #Constraints: 29304
957.69/965.14 c #Conflicts: 887000 | #Constraints: 30305
957.69/965.14 c #Conflicts: 888000 | #Constraints: 31306
957.69/965.14 c #Conflicts: 889000 | #Constraints: 32306
957.69/965.14 c #Conflicts: 890000 | #Constraints: 33306
957.69/965.14 c #Conflicts: 891000 | #Constraints: 34308
957.69/965.14 c #Conflicts: 892000 | #Constraints: 35310
957.69/965.14 c #Conflicts: 893000 | #Constraints: 36311
957.69/965.14 c #Conflicts: 894000 | #Constraints: 37313
957.69/965.14 c #Conflicts: 895000 | #Constraints: 38313
957.69/965.14 c #Conflicts: 896000 | #Constraints: 39313
957.69/965.14 c #Conflicts: 897000 | #Constraints: 40314
957.69/965.14 c #Conflicts: 898000 | #Constraints: 41315
957.69/965.14 c #Conflicts: 899000 | #Constraints: 42316
957.69/965.14 c #Conflicts: 900000 | #Constraints: 43317
957.69/965.14 c #Conflicts: 901000 | #Constraints: 44317
957.69/965.14 c #Conflicts: 902000 | #Constraints: 45317
957.69/965.14 c #Conflicts: 903000 | #Constraints: 46318
957.69/965.14 c INPROCESSING
957.69/965.14 c GARBAGE COLLECT
957.69/965.14 c rational objective 3
984.59/992.35 c #Conflicts: 904000 | #Constraints: 28488
984.59/992.35 c #Conflicts: 905000 | #Constraints: 29488
984.59/992.35 c #Conflicts: 906000 | #Constraints: 30489
984.59/992.35 c #Conflicts: 907000 | #Constraints: 31489
984.59/992.35 c #Conflicts: 908000 | #Constraints: 32489
984.59/992.35 c #Conflicts: 909000 | #Constraints: 33490
984.59/992.35 c #Conflicts: 910000 | #Constraints: 34490
984.59/992.35 c #Conflicts: 911000 | #Constraints: 35491
984.59/992.35 c #Conflicts: 912000 | #Constraints: 36491
984.59/992.35 c #Conflicts: 913000 | #Constraints: 37492
984.59/992.35 c #Conflicts: 914000 | #Constraints: 38492
984.59/992.35 c #Conflicts: 915000 | #Constraints: 39492
984.59/992.35 c #Conflicts: 916000 | #Constraints: 40492
984.59/992.35 c #Conflicts: 917000 | #Constraints: 41492
984.59/992.35 c #Conflicts: 918000 | #Constraints: 42492
984.59/992.35 c #Conflicts: 919000 | #Constraints: 43492
984.59/992.35 c #Conflicts: 920000 | #Constraints: 44493
984.59/992.35 c #Conflicts: 921000 | #Constraints: 45493
984.59/992.35 c #Conflicts: 922000 | #Constraints: 46493
984.59/992.35 c INPROCESSING
984.59/992.35 c GARBAGE COLLECT
984.59/992.35 c rational objective 3
1013.17/1021.22 c #Conflicts: 923000 | #Constraints: 28515
1013.17/1021.22 c #Conflicts: 924000 | #Constraints: 29515
1013.17/1021.22 c #Conflicts: 925000 | #Constraints: 30515
1013.17/1021.22 c #Conflicts: 926000 | #Constraints: 31517
1013.17/1021.22 c #Conflicts: 927000 | #Constraints: 32518
1013.17/1021.22 c #Conflicts: 928000 | #Constraints: 33518
1013.17/1021.22 c #Conflicts: 929000 | #Constraints: 34518
1013.17/1021.22 c #Conflicts: 930000 | #Constraints: 35518
1013.17/1021.22 c #Conflicts: 931000 | #Constraints: 36518
1013.17/1021.22 c #Conflicts: 932000 | #Constraints: 37518
1013.17/1021.22 c #Conflicts: 933000 | #Constraints: 38521
1013.17/1021.22 c #Conflicts: 934000 | #Constraints: 39525
1013.17/1021.22 c #Conflicts: 935000 | #Constraints: 40526
1013.17/1021.22 c #Conflicts: 936000 | #Constraints: 41528
1013.17/1021.22 c #Conflicts: 937000 | #Constraints: 42528
1013.17/1021.22 c #Conflicts: 938000 | #Constraints: 43528
1013.17/1021.22 c #Conflicts: 939000 | #Constraints: 44528
1013.17/1021.22 c #Conflicts: 940000 | #Constraints: 45529
1013.17/1021.22 c #Conflicts: 941000 | #Constraints: 46531
1013.17/1021.22 c INPROCESSING
1013.17/1021.22 c GARBAGE COLLECT
1013.17/1021.22 c rational objective 3
1046.20/1054.48 c #Conflicts: 942000 | #Constraints: 28317
1046.20/1054.48 c #Conflicts: 943000 | #Constraints: 29317
1046.20/1054.48 c #Conflicts: 944000 | #Constraints: 30317
1046.20/1054.48 c #Conflicts: 945000 | #Constraints: 31319
1046.20/1054.48 c #Conflicts: 946000 | #Constraints: 32320
1046.20/1054.48 c #Conflicts: 947000 | #Constraints: 33322
1046.20/1054.48 c #Conflicts: 948000 | #Constraints: 34322
1046.20/1054.48 c #Conflicts: 949000 | #Constraints: 35322
1046.20/1054.48 c #Conflicts: 950000 | #Constraints: 36322
1046.20/1054.48 c #Conflicts: 951000 | #Constraints: 37323
1046.20/1054.48 c #Conflicts: 952000 | #Constraints: 38323
1046.20/1054.48 c #Conflicts: 953000 | #Constraints: 39323
1046.20/1054.48 c #Conflicts: 954000 | #Constraints: 40324
1046.20/1054.48 c #Conflicts: 955000 | #Constraints: 41325
1046.20/1054.48 c #Conflicts: 956000 | #Constraints: 42325
1046.20/1054.48 c #Conflicts: 957000 | #Constraints: 43325
1046.20/1054.48 c #Conflicts: 958000 | #Constraints: 44326
1046.20/1054.48 c #Conflicts: 959000 | #Constraints: 45326
1046.20/1054.48 c #Conflicts: 960000 | #Constraints: 46327
1046.20/1054.48 c #Conflicts: 961000 | #Constraints: 47327
1046.20/1054.48 c INPROCESSING
1046.20/1054.48 c GARBAGE COLLECT
1046.20/1054.48 c rational objective 3
1075.68/1084.11 c #Conflicts: 962000 | #Constraints: 28885
1075.68/1084.11 c #Conflicts: 963000 | #Constraints: 29887
1075.68/1084.11 c #Conflicts: 964000 | #Constraints: 30888
1075.68/1084.11 c #Conflicts: 965000 | #Constraints: 31889
1075.68/1084.11 c #Conflicts: 966000 | #Constraints: 32893
1075.68/1084.11 c #Conflicts: 967000 | #Constraints: 33894
1075.68/1084.11 c #Conflicts: 968000 | #Constraints: 34895
1075.68/1084.11 c #Conflicts: 969000 | #Constraints: 35897
1075.68/1084.11 c #Conflicts: 970000 | #Constraints: 36898
1075.68/1084.11 c #Conflicts: 971000 | #Constraints: 37900
1075.68/1084.11 c #Conflicts: 972000 | #Constraints: 38902
1075.68/1084.11 c #Conflicts: 973000 | #Constraints: 39904
1075.68/1084.11 c #Conflicts: 974000 | #Constraints: 40906
1075.68/1084.11 c #Conflicts: 975000 | #Constraints: 41906
1075.68/1084.11 c #Conflicts: 976000 | #Constraints: 42908
1075.68/1084.11 c #Conflicts: 977000 | #Constraints: 43908
1075.68/1084.11 c #Conflicts: 978000 | #Constraints: 44908
1075.68/1084.11 c #Conflicts: 979000 | #Constraints: 45908
1075.68/1084.11 c #Conflicts: 980000 | #Constraints: 46909
1075.68/1084.11 c #Conflicts: 981000 | #Constraints: 47910
1075.68/1084.11 c INPROCESSING
1075.68/1084.11 c GARBAGE COLLECT
1075.68/1084.11 c rational objective 3
1101.96/1110.75 c #Conflicts: 982000 | #Constraints: 29283
1101.96/1110.75 c #Conflicts: 983000 | #Constraints: 30283
1101.96/1110.75 c #Conflicts: 984000 | #Constraints: 31283
1101.96/1110.75 c #Conflicts: 985000 | #Constraints: 32285
1101.96/1110.75 c #Conflicts: 986000 | #Constraints: 33286
1101.96/1110.75 c #Conflicts: 987000 | #Constraints: 34287
1101.96/1110.75 c #Conflicts: 988000 | #Constraints: 35287
1101.96/1110.75 c #Conflicts: 989000 | #Constraints: 36287
1101.96/1110.75 c #Conflicts: 990000 | #Constraints: 37290
1101.96/1110.75 c #Conflicts: 991000 | #Constraints: 38290
1101.96/1110.75 c #Conflicts: 992000 | #Constraints: 39291
1101.96/1110.75 c #Conflicts: 993000 | #Constraints: 40293
1101.96/1110.75 c #Conflicts: 994000 | #Constraints: 41293
1101.96/1110.75 c #Conflicts: 995000 | #Constraints: 42294
1101.96/1110.75 c #Conflicts: 996000 | #Constraints: 43296
1101.96/1110.75 c #Conflicts: 997000 | #Constraints: 44298
1101.96/1110.75 c #Conflicts: 998000 | #Constraints: 45298
1101.96/1110.75 c #Conflicts: 999000 | #Constraints: 46298
1101.96/1110.75 c #Conflicts: 1000000 | #Constraints: 47299
1101.96/1110.75 c #Conflicts: 1001000 | #Constraints: 48301
1101.96/1110.75 c INPROCESSING
1101.96/1110.75 c GARBAGE COLLECT
1101.96/1110.75 c rational objective 3
1137.40/1146.36 c #Conflicts: 1002000 | #Constraints: 29469
1137.40/1146.36 c #Conflicts: 1003000 | #Constraints: 30478
1137.40/1146.36 c #Conflicts: 1004000 | #Constraints: 31489
1137.40/1146.36 c #Conflicts: 1005000 | #Constraints: 32493
1137.40/1146.36 c #Conflicts: 1006000 | #Constraints: 33494
1137.40/1146.36 c #Conflicts: 1007000 | #Constraints: 34496
1137.40/1146.36 c #Conflicts: 1008000 | #Constraints: 35497
1137.40/1146.36 c #Conflicts: 1009000 | #Constraints: 36498
1137.40/1146.36 c #Conflicts: 1010000 | #Constraints: 37498
1137.40/1146.36 c #Conflicts: 1011000 | #Constraints: 38501
1137.40/1146.36 c #Conflicts: 1012000 | #Constraints: 39506
1137.40/1146.36 c #Conflicts: 1013000 | #Constraints: 40516
1137.40/1146.36 c #Conflicts: 1014000 | #Constraints: 41518
1137.40/1146.36 c #Conflicts: 1015000 | #Constraints: 42518
1137.40/1146.36 c #Conflicts: 1016000 | #Constraints: 43518
1137.40/1146.36 c #Conflicts: 1017000 | #Constraints: 44518
1137.40/1146.36 c #Conflicts: 1018000 | #Constraints: 45518
1137.40/1146.36 c #Conflicts: 1019000 | #Constraints: 46519
1137.40/1146.36 c #Conflicts: 1020000 | #Constraints: 47519
1137.40/1146.36 c #Conflicts: 1021000 | #Constraints: 48519
1137.40/1146.37 c INPROCESSING
1137.40/1146.37 c GARBAGE COLLECT
1137.40/1146.37 c rational objective 3
1169.39/1178.57 c #Conflicts: 1022000 | #Constraints: 29489
1169.39/1178.57 c #Conflicts: 1023000 | #Constraints: 30489
1169.39/1178.57 c #Conflicts: 1024000 | #Constraints: 31489
1169.39/1178.57 c #Conflicts: 1025000 | #Constraints: 32489
1169.39/1178.57 c #Conflicts: 1026000 | #Constraints: 33489
1169.39/1178.57 c #Conflicts: 1027000 | #Constraints: 34490
1169.39/1178.57 c #Conflicts: 1028000 | #Constraints: 35490
1169.39/1178.57 c #Conflicts: 1029000 | #Constraints: 36491
1169.39/1178.57 c #Conflicts: 1030000 | #Constraints: 37494
1169.39/1178.57 c #Conflicts: 1031000 | #Constraints: 38494
1169.39/1178.57 c #Conflicts: 1032000 | #Constraints: 39495
1169.39/1178.57 c #Conflicts: 1033000 | #Constraints: 40495
1169.39/1178.57 c #Conflicts: 1034000 | #Constraints: 41497
1169.39/1178.57 c #Conflicts: 1035000 | #Constraints: 42498
1169.39/1178.57 c #Conflicts: 1036000 | #Constraints: 43499
1169.39/1178.57 c #Conflicts: 1037000 | #Constraints: 44500
1169.39/1178.57 c #Conflicts: 1038000 | #Constraints: 45500
1169.39/1178.57 c #Conflicts: 1039000 | #Constraints: 46501
1169.39/1178.57 c #Conflicts: 1040000 | #Constraints: 47501
1169.39/1178.57 c #Conflicts: 1041000 | #Constraints: 48502
1169.39/1178.57 c INPROCESSING
1169.39/1178.57 c GARBAGE COLLECT
1169.39/1178.57 c rational objective 3
1201.63/1210.99 c #Conflicts: 1042000 | #Constraints: 29296
1201.63/1210.99 c #Conflicts: 1043000 | #Constraints: 30296
1201.63/1210.99 c #Conflicts: 1044000 | #Constraints: 31297
1201.63/1210.99 c #Conflicts: 1045000 | #Constraints: 32300
1201.63/1210.99 c #Conflicts: 1046000 | #Constraints: 33301
1201.63/1210.99 c #Conflicts: 1047000 | #Constraints: 34306
1201.63/1210.99 c #Conflicts: 1048000 | #Constraints: 35307
1201.63/1210.99 c #Conflicts: 1049000 | #Constraints: 36307
1201.63/1210.99 c #Conflicts: 1050000 | #Constraints: 37308
1201.63/1210.99 c #Conflicts: 1051000 | #Constraints: 38308
1201.63/1210.99 c #Conflicts: 1052000 | #Constraints: 39309
1201.63/1210.99 c #Conflicts: 1053000 | #Constraints: 40309
1201.63/1210.99 c #Conflicts: 1054000 | #Constraints: 41309
1201.63/1210.99 c #Conflicts: 1055000 | #Constraints: 42309
1201.63/1210.99 c #Conflicts: 1056000 | #Constraints: 43310
1201.63/1210.99 c #Conflicts: 1057000 | #Constraints: 44310
1201.63/1210.99 c #Conflicts: 1058000 | #Constraints: 45310
1201.63/1210.99 c #Conflicts: 1059000 | #Constraints: 46310
1201.63/1210.99 c #Conflicts: 1060000 | #Constraints: 47310
1201.63/1210.99 c #Conflicts: 1061000 | #Constraints: 48310
1201.63/1210.99 c #Conflicts: 1062000 | #Constraints: 49310
1201.63/1210.99 c INPROCESSING
1201.63/1210.99 c GARBAGE COLLECT
1201.63/1210.99 c rational objective 3
1232.08/1241.51 c #Conflicts: 1063000 | #Constraints: 29884
1232.08/1241.51 c #Conflicts: 1064000 | #Constraints: 30884
1232.08/1241.51 c #Conflicts: 1065000 | #Constraints: 31884
1232.08/1241.51 c #Conflicts: 1066000 | #Constraints: 32884
1232.08/1241.51 c #Conflicts: 1067000 | #Constraints: 33884
1232.08/1241.51 c #Conflicts: 1068000 | #Constraints: 34887
1232.08/1241.51 c #Conflicts: 1069000 | #Constraints: 35887
1232.08/1241.51 c #Conflicts: 1070000 | #Constraints: 36888
1232.08/1241.51 c #Conflicts: 1071000 | #Constraints: 37888
1232.08/1241.51 c #Conflicts: 1072000 | #Constraints: 38889
1232.08/1241.51 c #Conflicts: 1073000 | #Constraints: 39890
1232.08/1241.51 c #Conflicts: 1074000 | #Constraints: 40890
1232.08/1241.51 c #Conflicts: 1075000 | #Constraints: 41891
1232.08/1241.51 c #Conflicts: 1076000 | #Constraints: 42891
1232.08/1241.51 c #Conflicts: 1077000 | #Constraints: 43893
1232.08/1241.51 c #Conflicts: 1078000 | #Constraints: 44893
1232.08/1241.51 c #Conflicts: 1079000 | #Constraints: 45893
1232.08/1241.51 c #Conflicts: 1080000 | #Constraints: 46894
1232.08/1241.51 c #Conflicts: 1081000 | #Constraints: 47894
1232.08/1241.51 c #Conflicts: 1082000 | #Constraints: 48895
1232.08/1241.52 c #Conflicts: 1083000 | #Constraints: 49896
1232.08/1241.52 c INPROCESSING
1232.08/1241.52 c GARBAGE COLLECT
1232.08/1241.52 c rational objective 3
1272.21/1282.04 c #Conflicts: 1084000 | #Constraints: 30217
1272.21/1282.04 c #Conflicts: 1085000 | #Constraints: 31219
1272.21/1282.04 c #Conflicts: 1086000 | #Constraints: 32220
1272.21/1282.04 c #Conflicts: 1087000 | #Constraints: 33220
1272.21/1282.04 c #Conflicts: 1088000 | #Constraints: 34220
1272.21/1282.04 c #Conflicts: 1089000 | #Constraints: 35220
1272.21/1282.04 c #Conflicts: 1090000 | #Constraints: 36220
1272.21/1282.04 c #Conflicts: 1091000 | #Constraints: 37220
1272.21/1282.04 c #Conflicts: 1092000 | #Constraints: 38221
1272.21/1282.04 c #Conflicts: 1093000 | #Constraints: 39221
1272.21/1282.04 c #Conflicts: 1094000 | #Constraints: 40221
1272.21/1282.04 c #Conflicts: 1095000 | #Constraints: 41223
1272.21/1282.04 c #Conflicts: 1096000 | #Constraints: 42223
1272.21/1282.04 c #Conflicts: 1097000 | #Constraints: 43224
1272.21/1282.04 c #Conflicts: 1098000 | #Constraints: 44224
1272.21/1282.04 c #Conflicts: 1099000 | #Constraints: 45224
1272.21/1282.04 c #Conflicts: 1100000 | #Constraints: 46224
1272.21/1282.04 c #Conflicts: 1101000 | #Constraints: 47226
1272.21/1282.04 c #Conflicts: 1102000 | #Constraints: 48226
1272.21/1282.04 c #Conflicts: 1103000 | #Constraints: 49226
1272.21/1282.04 c #Conflicts: 1104000 | #Constraints: 50226
1272.21/1282.04 c INPROCESSING
1272.21/1282.04 c GARBAGE COLLECT
1272.21/1282.04 c rational objective 3
1304.45/1314.53 c #Conflicts: 1105000 | #Constraints: 30406
1304.45/1314.53 c #Conflicts: 1106000 | #Constraints: 31407
1304.45/1314.53 c #Conflicts: 1107000 | #Constraints: 32408
1304.45/1314.53 c #Conflicts: 1108000 | #Constraints: 33409
1304.45/1314.53 c #Conflicts: 1109000 | #Constraints: 34410
1304.45/1314.53 c #Conflicts: 1110000 | #Constraints: 35411
1304.45/1314.53 c #Conflicts: 1111000 | #Constraints: 36411
1304.45/1314.53 c #Conflicts: 1112000 | #Constraints: 37412
1304.45/1314.53 c #Conflicts: 1113000 | #Constraints: 38412
1304.45/1314.53 c #Conflicts: 1114000 | #Constraints: 39412
1304.45/1314.53 c #Conflicts: 1115000 | #Constraints: 40412
1304.45/1314.53 c #Conflicts: 1116000 | #Constraints: 41412
1304.45/1314.53 c #Conflicts: 1117000 | #Constraints: 42412
1304.45/1314.53 c #Conflicts: 1118000 | #Constraints: 43412
1304.45/1314.53 c #Conflicts: 1119000 | #Constraints: 44412
1304.45/1314.53 c #Conflicts: 1120000 | #Constraints: 45413
1304.45/1314.53 c #Conflicts: 1121000 | #Constraints: 46414
1304.45/1314.53 c #Conflicts: 1122000 | #Constraints: 47414
1304.45/1314.53 c #Conflicts: 1123000 | #Constraints: 48415
1304.45/1314.53 c #Conflicts: 1124000 | #Constraints: 49417
1304.45/1314.53 c #Conflicts: 1125000 | #Constraints: 50418
1304.45/1314.53 c INPROCESSING
1304.45/1314.53 c GARBAGE COLLECT
1304.45/1314.53 c rational objective 3
1340.59/1350.88 c #Conflicts: 1126000 | #Constraints: 30341
1340.59/1350.88 c #Conflicts: 1127000 | #Constraints: 31341
1340.59/1350.88 c #Conflicts: 1128000 | #Constraints: 32342
1340.59/1350.88 c #Conflicts: 1129000 | #Constraints: 33342
1340.59/1350.88 c #Conflicts: 1130000 | #Constraints: 34342
1340.59/1350.88 c #Conflicts: 1131000 | #Constraints: 35342
1340.59/1350.88 c #Conflicts: 1132000 | #Constraints: 36342
1340.59/1350.88 c #Conflicts: 1133000 | #Constraints: 37343
1340.59/1350.88 c #Conflicts: 1134000 | #Constraints: 38343
1340.59/1350.88 c #Conflicts: 1135000 | #Constraints: 39343
1340.59/1350.88 c #Conflicts: 1136000 | #Constraints: 40343
1340.59/1350.88 c #Conflicts: 1137000 | #Constraints: 41343
1340.59/1350.88 c #Conflicts: 1138000 | #Constraints: 42343
1340.59/1350.88 c #Conflicts: 1139000 | #Constraints: 43343
1340.59/1350.88 c #Conflicts: 1140000 | #Constraints: 44343
1340.59/1350.88 c #Conflicts: 1141000 | #Constraints: 45343
1340.59/1350.88 c #Conflicts: 1142000 | #Constraints: 46344
1340.59/1350.88 c #Conflicts: 1143000 | #Constraints: 47344
1340.59/1350.88 c #Conflicts: 1144000 | #Constraints: 48344
1340.59/1350.88 c #Conflicts: 1145000 | #Constraints: 49344
1340.59/1350.88 c #Conflicts: 1146000 | #Constraints: 50344
1340.59/1350.88 c INPROCESSING
1340.59/1350.88 c GARBAGE COLLECT
1340.59/1350.88 c rational objective 3
1373.67/1384.15 c #Conflicts: 1147000 | #Constraints: 30077
1373.67/1384.15 c #Conflicts: 1148000 | #Constraints: 31078
1373.67/1384.15 c #Conflicts: 1149000 | #Constraints: 32078
1373.67/1384.15 c #Conflicts: 1150000 | #Constraints: 33080
1373.67/1384.15 c #Conflicts: 1151000 | #Constraints: 34081
1373.67/1384.15 c #Conflicts: 1152000 | #Constraints: 35082
1373.67/1384.15 c #Conflicts: 1153000 | #Constraints: 36083
1373.67/1384.15 c #Conflicts: 1154000 | #Constraints: 37083
1373.67/1384.15 c #Conflicts: 1155000 | #Constraints: 38084
1373.67/1384.15 c #Conflicts: 1156000 | #Constraints: 39085
1373.67/1384.15 c #Conflicts: 1157000 | #Constraints: 40086
1373.67/1384.15 c #Conflicts: 1158000 | #Constraints: 41087
1373.67/1384.15 c #Conflicts: 1159000 | #Constraints: 42087
1373.67/1384.15 c #Conflicts: 1160000 | #Constraints: 43087
1373.67/1384.15 c #Conflicts: 1161000 | #Constraints: 44088
1373.67/1384.15 c #Conflicts: 1162000 | #Constraints: 45089
1373.67/1384.15 c #Conflicts: 1163000 | #Constraints: 46090
1373.67/1384.15 c #Conflicts: 1164000 | #Constraints: 47090
1373.67/1384.15 c #Conflicts: 1165000 | #Constraints: 48092
1373.67/1384.15 c #Conflicts: 1166000 | #Constraints: 49096
1373.67/1384.15 c #Conflicts: 1167000 | #Constraints: 50097
1373.67/1384.15 c #Conflicts: 1168000 | #Constraints: 51097
1373.67/1384.15 c INPROCESSING
1373.67/1384.15 c GARBAGE COLLECT
1373.67/1384.15 c rational objective 3
1406.20/1417.02 c #Conflicts: 1169000 | #Constraints: 30616
1406.20/1417.02 c #Conflicts: 1170000 | #Constraints: 31616
1406.20/1417.02 c #Conflicts: 1171000 | #Constraints: 32617
1406.20/1417.02 c #Conflicts: 1172000 | #Constraints: 33617
1406.20/1417.02 c #Conflicts: 1173000 | #Constraints: 34617
1406.20/1417.02 c #Conflicts: 1174000 | #Constraints: 35617
1406.20/1417.02 c #Conflicts: 1175000 | #Constraints: 36619
1406.20/1417.02 c #Conflicts: 1176000 | #Constraints: 37619
1406.20/1417.02 c #Conflicts: 1177000 | #Constraints: 38619
1406.20/1417.02 c #Conflicts: 1178000 | #Constraints: 39620
1406.20/1417.02 c #Conflicts: 1179000 | #Constraints: 40620
1406.20/1417.02 c #Conflicts: 1180000 | #Constraints: 41621
1406.20/1417.02 c #Conflicts: 1181000 | #Constraints: 42621
1406.20/1417.02 c #Conflicts: 1182000 | #Constraints: 43622
1406.20/1417.02 c #Conflicts: 1183000 | #Constraints: 44622
1406.20/1417.02 c #Conflicts: 1184000 | #Constraints: 45622
1406.20/1417.02 c #Conflicts: 1185000 | #Constraints: 46623
1406.20/1417.02 c #Conflicts: 1186000 | #Constraints: 47623
1406.20/1417.02 c #Conflicts: 1187000 | #Constraints: 48626
1406.20/1417.02 c #Conflicts: 1188000 | #Constraints: 49626
1406.20/1417.02 c #Conflicts: 1189000 | #Constraints: 50627
1406.20/1417.02 c #Conflicts: 1190000 | #Constraints: 51628
1406.20/1417.02 c INPROCESSING
1406.20/1417.02 c GARBAGE COLLECT
1406.20/1417.02 c rational objective 3
1443.54/1454.68 c #Conflicts: 1191000 | #Constraints: 31034
1443.54/1454.68 c #Conflicts: 1192000 | #Constraints: 32034
1443.54/1454.68 c #Conflicts: 1193000 | #Constraints: 33035
1443.54/1454.68 c #Conflicts: 1194000 | #Constraints: 34036
1443.54/1454.68 c #Conflicts: 1195000 | #Constraints: 35038
1443.54/1454.68 c #Conflicts: 1196000 | #Constraints: 36041
1443.54/1454.68 c #Conflicts: 1197000 | #Constraints: 37041
1443.54/1454.68 c #Conflicts: 1198000 | #Constraints: 38041
1443.54/1454.68 c #Conflicts: 1199000 | #Constraints: 39043
1443.54/1454.68 c #Conflicts: 1200000 | #Constraints: 40044
1443.54/1454.68 c #Conflicts: 1201000 | #Constraints: 41046
1443.54/1454.68 c #Conflicts: 1202000 | #Constraints: 42046
1443.54/1454.68 c #Conflicts: 1203000 | #Constraints: 43046
1443.54/1454.68 c #Conflicts: 1204000 | #Constraints: 44046
1443.54/1454.68 c #Conflicts: 1205000 | #Constraints: 45046
1443.54/1454.68 c #Conflicts: 1206000 | #Constraints: 46047
1443.54/1454.68 c #Conflicts: 1207000 | #Constraints: 47047
1443.54/1454.68 c #Conflicts: 1208000 | #Constraints: 48047
1443.54/1454.68 c #Conflicts: 1209000 | #Constraints: 49047
1443.54/1454.68 c #Conflicts: 1210000 | #Constraints: 50048
1443.54/1454.68 c #Conflicts: 1211000 | #Constraints: 51048
1443.54/1454.68 c #Conflicts: 1212000 | #Constraints: 52048
1443.54/1454.68 c INPROCESSING
1443.54/1454.68 c GARBAGE COLLECT
1443.54/1454.68 c rational objective 3
1481.88/1493.30 c #Conflicts: 1213000 | #Constraints: 31193
1481.88/1493.30 c #Conflicts: 1214000 | #Constraints: 32193
1481.88/1493.30 c #Conflicts: 1215000 | #Constraints: 33195
1481.88/1493.30 c #Conflicts: 1216000 | #Constraints: 34196
1481.88/1493.30 c #Conflicts: 1217000 | #Constraints: 35197
1481.88/1493.30 c #Conflicts: 1218000 | #Constraints: 36197
1481.88/1493.30 c #Conflicts: 1219000 | #Constraints: 37197
1481.88/1493.30 c #Conflicts: 1220000 | #Constraints: 38199
1481.88/1493.30 c #Conflicts: 1221000 | #Constraints: 39202
1481.88/1493.30 c #Conflicts: 1222000 | #Constraints: 40202
1481.88/1493.30 c #Conflicts: 1223000 | #Constraints: 41203
1481.88/1493.30 c #Conflicts: 1224000 | #Constraints: 42204
1481.88/1493.30 c #Conflicts: 1225000 | #Constraints: 43204
1481.88/1493.30 c #Conflicts: 1226000 | #Constraints: 44204
1481.88/1493.30 c #Conflicts: 1227000 | #Constraints: 45205
1481.88/1493.30 c #Conflicts: 1228000 | #Constraints: 46207
1481.88/1493.30 c #Conflicts: 1229000 | #Constraints: 47207
1481.88/1493.30 c #Conflicts: 1230000 | #Constraints: 48210
1481.88/1493.30 c #Conflicts: 1231000 | #Constraints: 49212
1481.88/1493.30 c #Conflicts: 1232000 | #Constraints: 50212
1481.88/1493.30 c #Conflicts: 1233000 | #Constraints: 51212
1481.88/1493.30 c #Conflicts: 1234000 | #Constraints: 52213
1481.88/1493.30 c INPROCESSING
1481.88/1493.30 c GARBAGE COLLECT
1481.88/1493.30 c rational objective 3
1516.83/1528.44 c #Conflicts: 1235000 | #Constraints: 31091
1516.83/1528.44 c #Conflicts: 1236000 | #Constraints: 32091
1516.83/1528.44 c #Conflicts: 1237000 | #Constraints: 33092
1516.83/1528.44 c #Conflicts: 1238000 | #Constraints: 34093
1516.83/1528.44 c #Conflicts: 1239000 | #Constraints: 35093
1516.83/1528.44 c #Conflicts: 1240000 | #Constraints: 36095
1516.83/1528.44 c #Conflicts: 1241000 | #Constraints: 37097
1516.83/1528.44 c #Conflicts: 1242000 | #Constraints: 38098
1516.83/1528.44 c #Conflicts: 1243000 | #Constraints: 39099
1516.83/1528.44 c #Conflicts: 1244000 | #Constraints: 40099
1516.83/1528.44 c #Conflicts: 1245000 | #Constraints: 41100
1516.83/1528.44 c #Conflicts: 1246000 | #Constraints: 42100
1516.83/1528.44 c #Conflicts: 1247000 | #Constraints: 43100
1516.83/1528.44 c #Conflicts: 1248000 | #Constraints: 44102
1516.83/1528.44 c #Conflicts: 1249000 | #Constraints: 45106
1516.83/1528.44 c #Conflicts: 1250000 | #Constraints: 46110
1516.83/1528.44 c #Conflicts: 1251000 | #Constraints: 47111
1516.83/1528.44 c #Conflicts: 1252000 | #Constraints: 48113
1516.83/1528.44 c #Conflicts: 1253000 | #Constraints: 49114
1516.83/1528.44 c #Conflicts: 1254000 | #Constraints: 50114
1516.83/1528.44 c #Conflicts: 1255000 | #Constraints: 51115
1516.83/1528.44 c #Conflicts: 1256000 | #Constraints: 52115
1516.83/1528.44 c INPROCESSING
1516.83/1528.44 c GARBAGE COLLECT
1516.83/1528.44 c rational objective 3
1552.16/1563.94 c #Conflicts: 1257000 | #Constraints: 30819
1552.16/1563.94 c #Conflicts: 1258000 | #Constraints: 31819
1552.16/1563.94 c #Conflicts: 1259000 | #Constraints: 32820
1552.16/1563.94 c #Conflicts: 1260000 | #Constraints: 33821
1552.16/1563.94 c #Conflicts: 1261000 | #Constraints: 34823
1552.16/1563.94 c #Conflicts: 1262000 | #Constraints: 35824
1552.16/1563.94 c #Conflicts: 1263000 | #Constraints: 36825
1552.16/1563.94 c #Conflicts: 1264000 | #Constraints: 37826
1552.16/1563.94 c #Conflicts: 1265000 | #Constraints: 38826
1552.16/1563.94 c #Conflicts: 1266000 | #Constraints: 39826
1552.16/1563.94 c #Conflicts: 1267000 | #Constraints: 40827
1552.16/1563.94 c #Conflicts: 1268000 | #Constraints: 41828
1552.16/1563.94 c #Conflicts: 1269000 | #Constraints: 42828
1552.16/1563.94 c #Conflicts: 1270000 | #Constraints: 43830
1552.16/1563.94 c #Conflicts: 1271000 | #Constraints: 44833
1552.16/1563.94 c #Conflicts: 1272000 | #Constraints: 45834
1552.16/1563.94 c #Conflicts: 1273000 | #Constraints: 46835
1552.16/1563.94 c #Conflicts: 1274000 | #Constraints: 47836
1552.16/1563.94 c #Conflicts: 1275000 | #Constraints: 48839
1552.16/1563.94 c #Conflicts: 1276000 | #Constraints: 49840
1552.16/1563.94 c #Conflicts: 1277000 | #Constraints: 50840
1552.16/1563.94 c #Conflicts: 1278000 | #Constraints: 51840
1552.16/1563.94 c #Conflicts: 1279000 | #Constraints: 52840
1552.16/1563.94 c INPROCESSING
1552.16/1563.94 c GARBAGE COLLECT
1552.16/1563.94 c rational objective 3
1590.93/1603.15 c #Conflicts: 1280000 | #Constraints: 31394
1590.93/1603.15 c #Conflicts: 1281000 | #Constraints: 32394
1590.93/1603.15 c #Conflicts: 1282000 | #Constraints: 33394
1590.93/1603.15 c #Conflicts: 1283000 | #Constraints: 34396
1590.93/1603.15 c #Conflicts: 1284000 | #Constraints: 35396
1590.93/1603.15 c #Conflicts: 1285000 | #Constraints: 36398
1590.93/1603.15 c #Conflicts: 1286000 | #Constraints: 37398
1590.93/1603.15 c #Conflicts: 1287000 | #Constraints: 38400
1590.93/1603.15 c #Conflicts: 1288000 | #Constraints: 39400
1590.93/1603.15 c #Conflicts: 1289000 | #Constraints: 40400
1590.93/1603.15 c #Conflicts: 1290000 | #Constraints: 41402
1590.93/1603.15 c #Conflicts: 1291000 | #Constraints: 42402
1590.93/1603.15 c #Conflicts: 1292000 | #Constraints: 43403
1590.93/1603.15 c #Conflicts: 1293000 | #Constraints: 44404
1590.93/1603.15 c #Conflicts: 1294000 | #Constraints: 45405
1590.93/1603.15 c #Conflicts: 1295000 | #Constraints: 46406
1590.93/1603.15 c #Conflicts: 1296000 | #Constraints: 47406
1590.93/1603.15 c #Conflicts: 1297000 | #Constraints: 48406
1590.93/1603.15 c #Conflicts: 1298000 | #Constraints: 49406
1590.93/1603.15 c #Conflicts: 1299000 | #Constraints: 50406
1590.93/1603.15 c #Conflicts: 1300000 | #Constraints: 51407
1590.93/1603.15 c #Conflicts: 1301000 | #Constraints: 52407
1590.93/1603.15 c #Conflicts: 1302000 | #Constraints: 53408
1590.93/1603.15 c INPROCESSING
1590.93/1603.15 c GARBAGE COLLECT
1590.93/1603.15 c rational objective 3
1634.82/1647.22 c #Conflicts: 1303000 | #Constraints: 31691
1634.82/1647.22 c #Conflicts: 1304000 | #Constraints: 32693
1634.82/1647.22 c #Conflicts: 1305000 | #Constraints: 33693
1634.82/1647.22 c #Conflicts: 1306000 | #Constraints: 34694
1634.82/1647.22 c #Conflicts: 1307000 | #Constraints: 35696
1634.82/1647.22 c #Conflicts: 1308000 | #Constraints: 36696
1634.82/1647.22 c #Conflicts: 1309000 | #Constraints: 37696
1634.82/1647.22 c #Conflicts: 1310000 | #Constraints: 38696
1634.82/1647.22 c #Conflicts: 1311000 | #Constraints: 39696
1634.82/1647.22 c #Conflicts: 1312000 | #Constraints: 40697
1634.82/1647.22 c #Conflicts: 1313000 | #Constraints: 41697
1634.82/1647.22 c #Conflicts: 1314000 | #Constraints: 42698
1634.82/1647.22 c #Conflicts: 1315000 | #Constraints: 43698
1634.82/1647.22 c #Conflicts: 1316000 | #Constraints: 44698
1634.82/1647.22 c #Conflicts: 1317000 | #Constraints: 45699
1634.82/1647.22 c #Conflicts: 1318000 | #Constraints: 46699
1634.82/1647.22 c #Conflicts: 1319000 | #Constraints: 47699
1634.82/1647.22 c #Conflicts: 1320000 | #Constraints: 48700
1634.82/1647.22 c #Conflicts: 1321000 | #Constraints: 49700
1634.82/1647.22 c #Conflicts: 1322000 | #Constraints: 50700
1634.82/1647.22 c #Conflicts: 1323000 | #Constraints: 51701
1634.82/1647.22 c #Conflicts: 1324000 | #Constraints: 52702
1634.82/1647.22 c #Conflicts: 1325000 | #Constraints: 53702
1634.82/1647.22 c INPROCESSING
1634.82/1647.22 c GARBAGE COLLECT
1634.82/1647.22 c rational objective 3
1673.15/1685.74 c #Conflicts: 1326000 | #Constraints: 31853
1673.15/1685.74 c #Conflicts: 1327000 | #Constraints: 32854
1673.15/1685.74 c #Conflicts: 1328000 | #Constraints: 33854
1673.15/1685.74 c #Conflicts: 1329000 | #Constraints: 34856
1673.15/1685.74 c #Conflicts: 1330000 | #Constraints: 35856
1673.15/1685.74 c #Conflicts: 1331000 | #Constraints: 36857
1673.15/1685.74 c #Conflicts: 1332000 | #Constraints: 37857
1673.15/1685.74 c #Conflicts: 1333000 | #Constraints: 38857
1673.15/1685.74 c #Conflicts: 1334000 | #Constraints: 39857
1673.15/1685.74 c #Conflicts: 1335000 | #Constraints: 40857
1673.15/1685.74 c #Conflicts: 1336000 | #Constraints: 41857
1673.15/1685.74 c #Conflicts: 1337000 | #Constraints: 42859
1673.15/1685.74 c #Conflicts: 1338000 | #Constraints: 43860
1673.15/1685.74 c #Conflicts: 1339000 | #Constraints: 44860
1673.15/1685.74 c #Conflicts: 1340000 | #Constraints: 45860
1673.15/1685.74 c #Conflicts: 1341000 | #Constraints: 46860
1673.15/1685.74 c #Conflicts: 1342000 | #Constraints: 47860
1673.15/1685.74 c #Conflicts: 1343000 | #Constraints: 48861
1673.15/1685.74 c #Conflicts: 1344000 | #Constraints: 49862
1673.15/1685.74 c #Conflicts: 1345000 | #Constraints: 50863
1673.15/1685.74 c #Conflicts: 1346000 | #Constraints: 51863
1673.15/1685.74 c #Conflicts: 1347000 | #Constraints: 52865
1673.15/1685.74 c #Conflicts: 1348000 | #Constraints: 53867
1673.15/1685.74 c INPROCESSING
1673.15/1685.74 c GARBAGE COLLECT
1673.15/1685.74 c rational objective 3
1714.48/1727.33 c #Conflicts: 1349000 | #Constraints: 31842
1714.48/1727.33 c #Conflicts: 1350000 | #Constraints: 32842
1714.48/1727.33 c #Conflicts: 1351000 | #Constraints: 33843
1714.48/1727.33 c #Conflicts: 1352000 | #Constraints: 34844
1714.48/1727.33 c #Conflicts: 1353000 | #Constraints: 35845
1714.48/1727.33 c #Conflicts: 1354000 | #Constraints: 36846
1714.48/1727.33 c #Conflicts: 1355000 | #Constraints: 37846
1714.48/1727.33 c #Conflicts: 1356000 | #Constraints: 38846
1714.48/1727.33 c #Conflicts: 1357000 | #Constraints: 39848
1714.48/1727.33 c #Conflicts: 1358000 | #Constraints: 40848
1714.48/1727.33 c #Conflicts: 1359000 | #Constraints: 41849
1714.48/1727.33 c #Conflicts: 1360000 | #Constraints: 42849
1714.48/1727.33 c #Conflicts: 1361000 | #Constraints: 43850
1714.48/1727.33 c #Conflicts: 1362000 | #Constraints: 44851
1714.48/1727.33 c #Conflicts: 1363000 | #Constraints: 45851
1714.48/1727.33 c #Conflicts: 1364000 | #Constraints: 46851
1714.48/1727.33 c #Conflicts: 1365000 | #Constraints: 47852
1714.48/1727.33 c #Conflicts: 1366000 | #Constraints: 48854
1714.48/1727.33 c #Conflicts: 1367000 | #Constraints: 49855
1714.48/1727.33 c #Conflicts: 1368000 | #Constraints: 50855
1714.48/1727.33 c #Conflicts: 1369000 | #Constraints: 51855
1714.48/1727.33 c #Conflicts: 1370000 | #Constraints: 52855
1714.48/1727.33 c #Conflicts: 1371000 | #Constraints: 53856
1714.48/1727.33 c INPROCESSING
1714.48/1727.33 c GARBAGE COLLECT
1714.48/1727.33 c rational objective 3
1754.46/1767.64 c #Conflicts: 1372000 | #Constraints: 31611
1754.46/1767.64 c #Conflicts: 1373000 | #Constraints: 32611
1754.46/1767.64 c #Conflicts: 1374000 | #Constraints: 33612
1754.46/1767.64 c #Conflicts: 1375000 | #Constraints: 34612
1754.46/1767.64 c #Conflicts: 1376000 | #Constraints: 35613
1754.46/1767.64 c #Conflicts: 1377000 | #Constraints: 36614
1754.46/1767.64 c #Conflicts: 1378000 | #Constraints: 37614
1754.46/1767.64 c #Conflicts: 1379000 | #Constraints: 38614
1754.46/1767.64 c #Conflicts: 1380000 | #Constraints: 39614
1754.46/1767.64 c #Conflicts: 1381000 | #Constraints: 40615
1754.46/1767.64 c #Conflicts: 1382000 | #Constraints: 41615
1754.46/1767.64 c #Conflicts: 1383000 | #Constraints: 42616
1754.46/1767.64 c #Conflicts: 1384000 | #Constraints: 43619
1754.46/1767.64 c #Conflicts: 1385000 | #Constraints: 44620
1754.46/1767.64 c #Conflicts: 1386000 | #Constraints: 45620
1754.46/1767.64 c #Conflicts: 1387000 | #Constraints: 46621
1754.46/1767.64 c #Conflicts: 1388000 | #Constraints: 47623
1754.46/1767.64 c #Conflicts: 1389000 | #Constraints: 48623
1754.46/1767.64 c #Conflicts: 1390000 | #Constraints: 49623
1754.46/1767.64 c #Conflicts: 1391000 | #Constraints: 50623
1754.46/1767.65 c #Conflicts: 1392000 | #Constraints: 51625
1754.46/1767.65 c #Conflicts: 1393000 | #Constraints: 52625
1754.46/1767.65 c #Conflicts: 1394000 | #Constraints: 53625
1754.46/1767.65 c #Conflicts: 1395000 | #Constraints: 54625
1754.46/1767.65 c INPROCESSING
1754.46/1767.65 c GARBAGE COLLECT
1754.46/1767.65 c rational objective 3
1802.36/1815.89 c #Conflicts: 1396000 | #Constraints: 32218
1802.36/1815.89 c #Conflicts: 1397000 | #Constraints: 33218
1802.36/1815.89 c #Conflicts: 1398000 | #Constraints: 34221
1802.36/1815.89 c #Conflicts: 1399000 | #Constraints: 35225
1802.36/1815.89 c #Conflicts: 1400000 | #Constraints: 36225
1802.36/1815.89 c #Conflicts: 1401000 | #Constraints: 37228
1802.36/1815.89 c #Conflicts: 1402000 | #Constraints: 38229
1802.36/1815.89 c #Conflicts: 1403000 | #Constraints: 39229
1802.36/1815.89 c #Conflicts: 1404000 | #Constraints: 40229
1802.36/1815.89 c #Conflicts: 1405000 | #Constraints: 41229
1802.36/1815.89 c #Conflicts: 1406000 | #Constraints: 42231
1802.36/1815.89 c #Conflicts: 1407000 | #Constraints: 43232
1802.36/1815.89 c #Conflicts: 1408000 | #Constraints: 44233
1802.36/1815.89 c #Conflicts: 1409000 | #Constraints: 45235
1802.36/1815.89 c #Conflicts: 1410000 | #Constraints: 46237
1802.36/1815.89 c #Conflicts: 1411000 | #Constraints: 47240
1802.36/1815.89 c #Conflicts: 1412000 | #Constraints: 48242
1802.36/1815.89 c #Conflicts: 1413000 | #Constraints: 49243
1802.36/1815.89 c #Conflicts: 1414000 | #Constraints: 50244
1802.36/1815.89 c #Conflicts: 1415000 | #Constraints: 51245
1802.36/1815.89 c #Conflicts: 1416000 | #Constraints: 52246
1802.36/1815.89 c #Conflicts: 1417000 | #Constraints: 53247
1802.36/1815.89 c #Conflicts: 1418000 | #Constraints: 54247
1802.36/1815.89 c #Conflicts: 1419000 | #Constraints: 55250
1802.36/1815.89 c INPROCESSING
1802.36/1815.89 c GARBAGE COLLECT
1802.36/1815.89 c rational objective 3
1845.44/1859.22 c #Conflicts: 1420000 | #Constraints: 32561
1845.44/1859.22 c #Conflicts: 1421000 | #Constraints: 33564
1845.44/1859.22 c #Conflicts: 1422000 | #Constraints: 34565
1845.44/1859.22 c #Conflicts: 1423000 | #Constraints: 35566
1845.44/1859.22 c #Conflicts: 1424000 | #Constraints: 36568
1845.44/1859.22 c #Conflicts: 1425000 | #Constraints: 37568
1845.44/1859.22 c #Conflicts: 1426000 | #Constraints: 38569
1845.44/1859.22 c #Conflicts: 1427000 | #Constraints: 39570
1845.44/1859.22 c #Conflicts: 1428000 | #Constraints: 40571
1845.44/1859.22 c #Conflicts: 1429000 | #Constraints: 41572
1845.44/1859.22 c #Conflicts: 1430000 | #Constraints: 42572
1845.44/1859.22 c #Conflicts: 1431000 | #Constraints: 43573
1845.44/1859.22 c #Conflicts: 1432000 | #Constraints: 44574
1845.44/1859.22 c #Conflicts: 1433000 | #Constraints: 45574
1845.44/1859.22 c #Conflicts: 1434000 | #Constraints: 46575
1845.44/1859.22 c #Conflicts: 1435000 | #Constraints: 47575
1845.44/1859.22 c #Conflicts: 1436000 | #Constraints: 48576
1845.44/1859.22 c #Conflicts: 1437000 | #Constraints: 49579
1845.44/1859.22 c #Conflicts: 1438000 | #Constraints: 50581
1845.44/1859.22 c #Conflicts: 1439000 | #Constraints: 51584
1845.44/1859.22 c #Conflicts: 1440000 | #Constraints: 52584
1845.44/1859.22 c #Conflicts: 1441000 | #Constraints: 53586
1845.44/1859.22 c #Conflicts: 1442000 | #Constraints: 54588
1845.44/1859.22 c #Conflicts: 1443000 | #Constraints: 55589
1845.44/1859.22 c INPROCESSING
1845.44/1859.22 c GARBAGE COLLECT
1845.44/1859.22 c rational objective 3
1898.73/1913.10 c #Conflicts: 1444000 | #Constraints: 32788
1898.73/1913.10 c #Conflicts: 1445000 | #Constraints: 33788
1898.73/1913.10 c #Conflicts: 1446000 | #Constraints: 34789
1898.73/1913.10 c #Conflicts: 1447000 | #Constraints: 35793
1898.73/1913.10 c #Conflicts: 1448000 | #Constraints: 36795
1898.73/1913.10 c #Conflicts: 1449000 | #Constraints: 37800
1898.73/1913.10 c #Conflicts: 1450000 | #Constraints: 38800
1898.73/1913.10 c #Conflicts: 1451000 | #Constraints: 39802
1898.73/1913.10 c #Conflicts: 1452000 | #Constraints: 40802
1898.73/1913.10 c #Conflicts: 1453000 | #Constraints: 41805
1898.73/1913.10 c #Conflicts: 1454000 | #Constraints: 42805
1898.73/1913.10 c #Conflicts: 1455000 | #Constraints: 43807
1898.73/1913.10 c #Conflicts: 1456000 | #Constraints: 44807
1898.73/1913.10 c #Conflicts: 1457000 | #Constraints: 45807
1898.73/1913.10 c #Conflicts: 1458000 | #Constraints: 46808
1898.73/1913.10 c #Conflicts: 1459000 | #Constraints: 47809
1898.73/1913.10 c #Conflicts: 1460000 | #Constraints: 48809
1898.73/1913.10 c #Conflicts: 1461000 | #Constraints: 49811
1898.73/1913.10 c #Conflicts: 1462000 | #Constraints: 50812
1898.73/1913.10 c #Conflicts: 1463000 | #Constraints: 51813
1898.73/1913.10 c #Conflicts: 1464000 | #Constraints: 52813
1898.73/1913.10 c #Conflicts: 1465000 | #Constraints: 53814
1898.73/1913.10 c #Conflicts: 1466000 | #Constraints: 54814
1898.73/1913.10 c #Conflicts: 1467000 | #Constraints: 55815
1898.73/1913.10 c INPROCESSING
1898.73/1913.10 c GARBAGE COLLECT
1898.73/1913.10 c rational objective 3
1942.27/1957.01 c #Conflicts: 1468000 | #Constraints: 32825
1942.27/1957.01 c #Conflicts: 1469000 | #Constraints: 33826
1942.27/1957.01 c #Conflicts: 1470000 | #Constraints: 34827
1942.27/1957.01 c #Conflicts: 1471000 | #Constraints: 35830
1942.27/1957.01 c #Conflicts: 1472000 | #Constraints: 36834
1942.27/1957.01 c #Conflicts: 1473000 | #Constraints: 37835
1942.27/1957.01 c #Conflicts: 1474000 | #Constraints: 38837
1942.27/1957.01 c #Conflicts: 1475000 | #Constraints: 39837
1942.27/1957.01 c #Conflicts: 1476000 | #Constraints: 40837
1942.27/1957.01 c #Conflicts: 1477000 | #Constraints: 41838
1942.27/1957.01 c #Conflicts: 1478000 | #Constraints: 42842
1942.27/1957.01 c #Conflicts: 1479000 | #Constraints: 43845
1942.27/1957.01 c #Conflicts: 1480000 | #Constraints: 44846
1942.27/1957.01 c #Conflicts: 1481000 | #Constraints: 45846
1942.27/1957.01 c #Conflicts: 1482000 | #Constraints: 46846
1942.27/1957.01 c #Conflicts: 1483000 | #Constraints: 47846
1942.27/1957.01 c #Conflicts: 1484000 | #Constraints: 48849
1942.27/1957.01 c #Conflicts: 1485000 | #Constraints: 49850
1942.27/1957.01 c #Conflicts: 1486000 | #Constraints: 50850
1942.27/1957.01 c #Conflicts: 1487000 | #Constraints: 51853
1942.27/1957.01 c #Conflicts: 1488000 | #Constraints: 52855
1942.27/1957.01 c #Conflicts: 1489000 | #Constraints: 53859
1942.27/1957.01 c #Conflicts: 1490000 | #Constraints: 54860
1942.27/1957.01 c #Conflicts: 1491000 | #Constraints: 55860
1942.27/1957.01 c INPROCESSING
1942.27/1957.01 c GARBAGE COLLECT
1942.27/1957.01 c rational objective 3
1991.02/2006.20 c #Conflicts: 1492000 | #Constraints: 32572
1991.02/2006.20 c #Conflicts: 1493000 | #Constraints: 33572
1991.02/2006.20 c #Conflicts: 1494000 | #Constraints: 34572
1991.02/2006.20 c #Conflicts: 1495000 | #Constraints: 35572
1991.02/2006.20 c #Conflicts: 1496000 | #Constraints: 36573
1991.02/2006.20 c #Conflicts: 1497000 | #Constraints: 37578
1991.02/2006.20 c #Conflicts: 1498000 | #Constraints: 38581
1991.02/2006.20 c #Conflicts: 1499000 | #Constraints: 39582
1991.02/2006.20 c #Conflicts: 1500000 | #Constraints: 40584
1991.02/2006.20 c #Conflicts: 1501000 | #Constraints: 41586
1991.02/2006.20 c #Conflicts: 1502000 | #Constraints: 42587
1991.02/2006.20 c #Conflicts: 1503000 | #Constraints: 43588
1991.02/2006.20 c #Conflicts: 1504000 | #Constraints: 44592
1991.02/2006.20 c #Conflicts: 1505000 | #Constraints: 45594
1991.02/2006.20 c #Conflicts: 1506000 | #Constraints: 46594
1991.02/2006.20 c #Conflicts: 1507000 | #Constraints: 47596
1991.02/2006.20 c #Conflicts: 1508000 | #Constraints: 48598
1991.02/2006.20 c #Conflicts: 1509000 | #Constraints: 49598
1991.02/2006.20 c #Conflicts: 1510000 | #Constraints: 50598
1991.02/2006.20 c #Conflicts: 1511000 | #Constraints: 51598
1991.02/2006.20 c #Conflicts: 1512000 | #Constraints: 52599
1991.02/2006.20 c #Conflicts: 1513000 | #Constraints: 53599
1991.02/2006.20 c #Conflicts: 1514000 | #Constraints: 54599
1991.02/2006.20 c #Conflicts: 1515000 | #Constraints: 55599
1991.02/2006.20 c #Conflicts: 1516000 | #Constraints: 56599
1991.02/2006.20 c INPROCESSING
1991.02/2006.20 c GARBAGE COLLECT
1991.02/2006.20 c rational objective 3
2039.65/2055.22 c #Conflicts: 1517000 | #Constraints: 33203
2039.65/2055.22 c #Conflicts: 1518000 | #Constraints: 34205
2039.65/2055.22 c #Conflicts: 1519000 | #Constraints: 35207
2039.65/2055.22 c #Conflicts: 1520000 | #Constraints: 36210
2039.65/2055.22 c #Conflicts: 1521000 | #Constraints: 37210
2039.65/2055.22 c #Conflicts: 1522000 | #Constraints: 38211
2039.65/2055.22 c #Conflicts: 1523000 | #Constraints: 39212
2039.65/2055.22 c #Conflicts: 1524000 | #Constraints: 40215
2039.65/2055.22 c #Conflicts: 1525000 | #Constraints: 41220
2039.65/2055.22 c #Conflicts: 1526000 | #Constraints: 42222
2039.65/2055.22 c #Conflicts: 1527000 | #Constraints: 43222
2039.65/2055.22 c #Conflicts: 1528000 | #Constraints: 44223
2039.65/2055.22 c #Conflicts: 1529000 | #Constraints: 45223
2039.65/2055.22 c #Conflicts: 1530000 | #Constraints: 46225
2039.65/2055.22 c #Conflicts: 1531000 | #Constraints: 47227
2039.65/2055.22 c #Conflicts: 1532000 | #Constraints: 48227
2039.65/2055.22 c #Conflicts: 1533000 | #Constraints: 49227
2039.65/2055.22 c #Conflicts: 1534000 | #Constraints: 50227
2039.65/2055.22 c #Conflicts: 1535000 | #Constraints: 51228
2039.65/2055.22 c #Conflicts: 1536000 | #Constraints: 52230
2039.65/2055.22 c #Conflicts: 1537000 | #Constraints: 53230
2039.65/2055.22 c #Conflicts: 1538000 | #Constraints: 54230
2039.65/2055.22 c #Conflicts: 1539000 | #Constraints: 55230
2039.65/2055.22 c #Conflicts: 1540000 | #Constraints: 56230
2039.65/2055.22 c #Conflicts: 1541000 | #Constraints: 57230
2039.65/2055.22 c INPROCESSING
2039.65/2055.22 c GARBAGE COLLECT
2039.65/2055.22 c rational objective 3
2084.37/2100.38 c #Conflicts: 1542000 | #Constraints: 33550
2084.37/2100.38 c #Conflicts: 1543000 | #Constraints: 34553
2084.37/2100.38 c #Conflicts: 1544000 | #Constraints: 35554
2084.37/2100.38 c #Conflicts: 1545000 | #Constraints: 36556
2084.37/2100.38 c #Conflicts: 1546000 | #Constraints: 37557
2084.37/2100.38 c #Conflicts: 1547000 | #Constraints: 38558
2084.37/2100.38 c #Conflicts: 1548000 | #Constraints: 39560
2084.37/2100.38 c #Conflicts: 1549000 | #Constraints: 40560
2084.37/2100.38 c #Conflicts: 1550000 | #Constraints: 41560
2084.37/2100.38 c #Conflicts: 1551000 | #Constraints: 42560
2084.37/2100.38 c #Conflicts: 1552000 | #Constraints: 43561
2084.37/2100.38 c #Conflicts: 1553000 | #Constraints: 44563
2084.37/2100.38 c #Conflicts: 1554000 | #Constraints: 45563
2084.37/2100.38 c #Conflicts: 1555000 | #Constraints: 46565
2084.37/2100.38 c #Conflicts: 1556000 | #Constraints: 47567
2084.37/2100.38 c #Conflicts: 1557000 | #Constraints: 48568
2084.37/2100.38 c #Conflicts: 1558000 | #Constraints: 49569
2084.37/2100.38 c #Conflicts: 1559000 | #Constraints: 50572
2084.37/2100.38 c #Conflicts: 1560000 | #Constraints: 51576
2084.37/2100.38 c #Conflicts: 1561000 | #Constraints: 52579
2084.37/2100.38 c #Conflicts: 1562000 | #Constraints: 53580
2084.37/2100.38 c #Conflicts: 1563000 | #Constraints: 54581
2084.37/2100.38 c #Conflicts: 1564000 | #Constraints: 55582
2084.37/2100.38 c #Conflicts: 1565000 | #Constraints: 56584
2084.37/2100.38 c #Conflicts: 1566000 | #Constraints: 57584
2084.37/2100.38 c INPROCESSING
2084.37/2100.38 c GARBAGE COLLECT
2084.37/2100.38 c rational objective 3
2135.79/2152.05 c #Conflicts: 1567000 | #Constraints: 33627
2135.79/2152.05 c #Conflicts: 1568000 | #Constraints: 34627
2135.79/2152.05 c #Conflicts: 1569000 | #Constraints: 35628
2135.79/2152.05 c #Conflicts: 1570000 | #Constraints: 36628
2135.79/2152.05 c #Conflicts: 1571000 | #Constraints: 37628
2135.79/2152.05 c #Conflicts: 1572000 | #Constraints: 38628
2135.79/2152.05 c #Conflicts: 1573000 | #Constraints: 39628
2135.79/2152.05 c #Conflicts: 1574000 | #Constraints: 40628
2135.79/2152.05 c #Conflicts: 1575000 | #Constraints: 41628
2135.79/2152.05 c #Conflicts: 1576000 | #Constraints: 42628
2135.79/2152.05 c #Conflicts: 1577000 | #Constraints: 43629
2135.79/2152.05 c #Conflicts: 1578000 | #Constraints: 44629
2135.79/2152.05 c #Conflicts: 1579000 | #Constraints: 45629
2135.79/2152.05 c #Conflicts: 1580000 | #Constraints: 46629
2135.79/2152.05 c #Conflicts: 1581000 | #Constraints: 47629
2135.79/2152.05 c #Conflicts: 1582000 | #Constraints: 48629
2135.79/2152.05 c #Conflicts: 1583000 | #Constraints: 49629
2135.79/2152.05 c #Conflicts: 1584000 | #Constraints: 50629
2135.79/2152.05 c #Conflicts: 1585000 | #Constraints: 51629
2135.79/2152.05 c #Conflicts: 1586000 | #Constraints: 52629
2135.79/2152.05 c #Conflicts: 1587000 | #Constraints: 53629
2135.79/2152.05 c #Conflicts: 1588000 | #Constraints: 54629
2135.79/2152.05 c #Conflicts: 1589000 | #Constraints: 55629
2135.79/2152.05 c #Conflicts: 1590000 | #Constraints: 56629
2135.79/2152.05 c #Conflicts: 1591000 | #Constraints: 57629
2135.79/2152.05 c INPROCESSING
2135.79/2152.05 c GARBAGE COLLECT
2135.79/2152.05 c rational objective 3
2185.30/2201.82 c #Conflicts: 1592000 | #Constraints: 33615
2185.30/2201.82 c #Conflicts: 1593000 | #Constraints: 34615
2185.30/2201.82 c #Conflicts: 1594000 | #Constraints: 35615
2185.30/2201.82 c #Conflicts: 1595000 | #Constraints: 36615
2185.30/2201.82 c #Conflicts: 1596000 | #Constraints: 37616
2185.30/2201.82 c #Conflicts: 1597000 | #Constraints: 38620
2185.30/2201.82 c #Conflicts: 1598000 | #Constraints: 39621
2185.30/2201.82 c #Conflicts: 1599000 | #Constraints: 40625
2185.30/2201.82 c #Conflicts: 1600000 | #Constraints: 41626
2185.30/2201.82 c #Conflicts: 1601000 | #Constraints: 42627
2185.30/2201.82 c #Conflicts: 1602000 | #Constraints: 43631
2185.30/2201.82 c #Conflicts: 1603000 | #Constraints: 44634
2185.30/2201.82 c #Conflicts: 1604000 | #Constraints: 45637
2185.30/2201.82 c #Conflicts: 1605000 | #Constraints: 46637
2185.30/2201.82 c #Conflicts: 1606000 | #Constraints: 47638
2185.30/2201.82 c #Conflicts: 1607000 | #Constraints: 48639
2185.30/2201.82 c #Conflicts: 1608000 | #Constraints: 49642
2185.30/2201.82 c #Conflicts: 1609000 | #Constraints: 50649
2185.30/2201.82 c #Conflicts: 1610000 | #Constraints: 51650
2185.30/2201.82 c #Conflicts: 1611000 | #Constraints: 52657
2185.30/2201.82 c #Conflicts: 1612000 | #Constraints: 53661
2185.30/2201.82 c #Conflicts: 1613000 | #Constraints: 54664
2185.30/2201.82 c #Conflicts: 1614000 | #Constraints: 55666
2185.30/2201.82 c #Conflicts: 1615000 | #Constraints: 56666
2185.30/2201.82 c #Conflicts: 1616000 | #Constraints: 57667
2185.30/2201.82 c INPROCESSING
2185.30/2201.82 c GARBAGE COLLECT
2185.30/2201.82 c rational objective 3
2238.84/2256.27 c #Conflicts: 1617000 | #Constraints: 33444
2238.84/2256.27 c #Conflicts: 1618000 | #Constraints: 34444
2238.84/2256.27 c #Conflicts: 1619000 | #Constraints: 35444
2238.84/2256.27 c #Conflicts: 1620000 | #Constraints: 36445
2238.84/2256.27 c #Conflicts: 1621000 | #Constraints: 37446
2238.84/2256.27 c #Conflicts: 1622000 | #Constraints: 38446
2238.84/2256.27 c #Conflicts: 1623000 | #Constraints: 39447
2238.84/2256.27 c #Conflicts: 1624000 | #Constraints: 40448
2238.84/2256.27 c #Conflicts: 1625000 | #Constraints: 41448
2238.84/2256.27 c #Conflicts: 1626000 | #Constraints: 42448
2238.84/2256.27 c #Conflicts: 1627000 | #Constraints: 43448
2238.84/2256.27 c #Conflicts: 1628000 | #Constraints: 44448
2238.84/2256.27 c #Conflicts: 1629000 | #Constraints: 45449
2238.84/2256.27 c #Conflicts: 1630000 | #Constraints: 46450
2238.84/2256.27 c #Conflicts: 1631000 | #Constraints: 47450
2238.84/2256.27 c #Conflicts: 1632000 | #Constraints: 48450
2238.84/2256.27 c #Conflicts: 1633000 | #Constraints: 49450
2238.84/2256.27 c #Conflicts: 1634000 | #Constraints: 50450
2238.84/2256.27 c #Conflicts: 1635000 | #Constraints: 51451
2238.84/2256.27 c #Conflicts: 1636000 | #Constraints: 52451
2238.84/2256.27 c #Conflicts: 1637000 | #Constraints: 53451
2238.84/2256.27 c #Conflicts: 1638000 | #Constraints: 54451
2238.84/2256.27 c #Conflicts: 1639000 | #Constraints: 55451
2238.84/2256.27 c #Conflicts: 1640000 | #Constraints: 56452
2238.84/2256.27 c #Conflicts: 1641000 | #Constraints: 57454
2238.84/2256.27 c #Conflicts: 1642000 | #Constraints: 58454
2238.84/2256.27 c INPROCESSING
2238.84/2256.27 c GARBAGE COLLECT
2238.84/2256.27 c rational objective 3
2291.07/2308.85 c #Conflicts: 1643000 | #Constraints: 34040
2291.07/2308.85 c #Conflicts: 1644000 | #Constraints: 35040
2291.07/2308.85 c #Conflicts: 1645000 | #Constraints: 36041
2291.07/2308.85 c #Conflicts: 1646000 | #Constraints: 37042
2291.07/2308.85 c #Conflicts: 1647000 | #Constraints: 38042
2291.07/2308.85 c #Conflicts: 1648000 | #Constraints: 39042
2291.07/2308.85 c #Conflicts: 1649000 | #Constraints: 40042
2291.07/2308.85 c #Conflicts: 1650000 | #Constraints: 41042
2291.07/2308.85 c #Conflicts: 1651000 | #Constraints: 42042
2291.07/2308.85 c #Conflicts: 1652000 | #Constraints: 43042
2291.07/2308.85 c #Conflicts: 1653000 | #Constraints: 44042
2291.07/2308.85 c #Conflicts: 1654000 | #Constraints: 45043
2291.07/2308.85 c #Conflicts: 1655000 | #Constraints: 46044
2291.07/2308.85 c #Conflicts: 1656000 | #Constraints: 47044
2291.07/2308.85 c #Conflicts: 1657000 | #Constraints: 48044
2291.07/2308.85 c #Conflicts: 1658000 | #Constraints: 49044
2291.07/2308.85 c #Conflicts: 1659000 | #Constraints: 50044
2291.07/2308.85 c #Conflicts: 1660000 | #Constraints: 51044
2291.07/2308.85 c #Conflicts: 1661000 | #Constraints: 52044
2291.07/2308.85 c #Conflicts: 1662000 | #Constraints: 53044
2291.07/2308.85 c #Conflicts: 1663000 | #Constraints: 54044
2291.07/2308.85 c #Conflicts: 1664000 | #Constraints: 55044
2291.07/2308.85 c #Conflicts: 1665000 | #Constraints: 56045
2291.07/2308.85 c #Conflicts: 1666000 | #Constraints: 57046
2291.07/2308.85 c #Conflicts: 1667000 | #Constraints: 58046
2291.07/2308.85 c #Conflicts: 1668000 | #Constraints: 59046
2291.07/2308.85 c INPROCESSING
2291.07/2308.85 c GARBAGE COLLECT
2291.07/2308.85 c rational objective 3
2342.06/2360.02 c #Conflicts: 1669000 | #Constraints: 34403
2342.06/2360.02 c #Conflicts: 1670000 | #Constraints: 35407
2342.06/2360.02 c #Conflicts: 1671000 | #Constraints: 36408
2342.06/2360.02 c #Conflicts: 1672000 | #Constraints: 37408
2342.06/2360.02 c #Conflicts: 1673000 | #Constraints: 38408
2342.06/2360.02 c #Conflicts: 1674000 | #Constraints: 39410
2342.06/2360.02 c #Conflicts: 1675000 | #Constraints: 40410
2342.06/2360.02 c #Conflicts: 1676000 | #Constraints: 41412
2342.06/2360.02 c #Conflicts: 1677000 | #Constraints: 42412
2342.06/2360.02 c #Conflicts: 1678000 | #Constraints: 43414
2342.06/2360.02 c #Conflicts: 1679000 | #Constraints: 44416
2342.06/2360.02 c #Conflicts: 1680000 | #Constraints: 45416
2342.06/2360.02 c #Conflicts: 1681000 | #Constraints: 46418
2342.06/2360.02 c #Conflicts: 1682000 | #Constraints: 47419
2342.06/2360.02 c #Conflicts: 1683000 | #Constraints: 48422
2342.06/2360.02 c #Conflicts: 1684000 | #Constraints: 49422
2342.06/2360.02 c #Conflicts: 1685000 | #Constraints: 50424
2342.06/2360.02 c #Conflicts: 1686000 | #Constraints: 51424
2342.06/2360.02 c #Conflicts: 1687000 | #Constraints: 52426
2342.06/2360.02 c #Conflicts: 1688000 | #Constraints: 53426
2342.06/2360.02 c #Conflicts: 1689000 | #Constraints: 54426
2342.06/2360.02 c #Conflicts: 1690000 | #Constraints: 55426
2342.06/2360.02 c #Conflicts: 1691000 | #Constraints: 56427
2342.06/2360.02 c #Conflicts: 1692000 | #Constraints: 57428
2342.06/2360.02 c #Conflicts: 1693000 | #Constraints: 58429
2342.06/2360.02 c #Conflicts: 1694000 | #Constraints: 59429
2342.06/2360.02 c INPROCESSING
2342.06/2360.02 c GARBAGE COLLECT
2342.06/2360.02 c rational objective 3
2394.19/2412.48 c #Conflicts: 1695000 | #Constraints: 34580
2394.19/2412.48 c #Conflicts: 1696000 | #Constraints: 35581
2394.19/2412.48 c #Conflicts: 1697000 | #Constraints: 36583
2394.19/2412.48 c #Conflicts: 1698000 | #Constraints: 37583
2394.19/2412.48 c #Conflicts: 1699000 | #Constraints: 38583
2394.19/2412.48 c #Conflicts: 1700000 | #Constraints: 39583
2394.19/2412.48 c #Conflicts: 1701000 | #Constraints: 40583
2394.19/2412.48 c #Conflicts: 1702000 | #Constraints: 41584
2394.19/2412.48 c #Conflicts: 1703000 | #Constraints: 42584
2394.19/2412.48 c #Conflicts: 1704000 | #Constraints: 43584
2394.19/2412.48 c #Conflicts: 1705000 | #Constraints: 44584
2394.19/2412.48 c #Conflicts: 1706000 | #Constraints: 45584
2394.19/2412.48 c #Conflicts: 1707000 | #Constraints: 46584
2394.19/2412.48 c #Conflicts: 1708000 | #Constraints: 47584
2394.19/2412.48 c #Conflicts: 1709000 | #Constraints: 48584
2394.19/2412.48 c #Conflicts: 1710000 | #Constraints: 49584
2394.19/2412.48 c #Conflicts: 1711000 | #Constraints: 50585
2394.19/2412.48 c #Conflicts: 1712000 | #Constraints: 51587
2394.19/2412.48 c #Conflicts: 1713000 | #Constraints: 52587
2394.19/2412.48 c #Conflicts: 1714000 | #Constraints: 53587
2394.19/2412.48 c #Conflicts: 1715000 | #Constraints: 54587
2394.19/2412.48 c #Conflicts: 1716000 | #Constraints: 55587
2394.19/2412.48 c #Conflicts: 1717000 | #Constraints: 56587
2394.19/2412.48 c #Conflicts: 1718000 | #Constraints: 57588
2394.19/2412.48 c #Conflicts: 1719000 | #Constraints: 58588
2394.19/2412.48 c #Conflicts: 1720000 | #Constraints: 59588
2394.19/2412.48 c INPROCESSING
2394.19/2412.48 c GARBAGE COLLECT
2394.19/2412.48 c rational objective 3
2462.95/2481.50 c #Conflicts: 1721000 | #Constraints: 34601
2462.95/2481.50 c #Conflicts: 1722000 | #Constraints: 35603
2462.95/2481.50 c #Conflicts: 1723000 | #Constraints: 36603
2462.95/2481.50 c #Conflicts: 1724000 | #Constraints: 37604
2462.95/2481.50 c #Conflicts: 1725000 | #Constraints: 38605
2462.95/2481.50 c #Conflicts: 1726000 | #Constraints: 39606
2462.95/2481.50 c #Conflicts: 1727000 | #Constraints: 40609
2462.95/2481.50 c #Conflicts: 1728000 | #Constraints: 41609
2462.95/2481.50 c #Conflicts: 1729000 | #Constraints: 42609
2462.95/2481.50 c #Conflicts: 1730000 | #Constraints: 43610
2462.95/2481.50 c #Conflicts: 1731000 | #Constraints: 44611
2462.95/2481.50 c #Conflicts: 1732000 | #Constraints: 45611
2462.95/2481.50 c #Conflicts: 1733000 | #Constraints: 46611
2462.95/2481.50 c #Conflicts: 1734000 | #Constraints: 47611
2462.95/2481.50 c #Conflicts: 1735000 | #Constraints: 48611
2462.95/2481.50 c #Conflicts: 1736000 | #Constraints: 49611
2462.95/2481.50 c #Conflicts: 1737000 | #Constraints: 50611
2462.95/2481.50 c #Conflicts: 1738000 | #Constraints: 51611
2462.95/2481.50 c #Conflicts: 1739000 | #Constraints: 52611
2462.95/2481.50 c #Conflicts: 1740000 | #Constraints: 53612
2462.95/2481.50 c #Conflicts: 1741000 | #Constraints: 54612
2462.95/2481.50 c #Conflicts: 1742000 | #Constraints: 55612
2462.95/2481.50 c #Conflicts: 1743000 | #Constraints: 56612
2462.95/2481.50 c #Conflicts: 1744000 | #Constraints: 57612
2462.95/2481.50 c #Conflicts: 1745000 | #Constraints: 58612
2462.95/2481.50 c #Conflicts: 1746000 | #Constraints: 59613
2462.95/2481.50 c INPROCESSING
2462.95/2481.50 c GARBAGE COLLECT
2462.95/2481.50 c rational objective 3
2516.79/2535.64 c #Conflicts: 1747000 | #Constraints: 34372
2516.79/2535.64 c #Conflicts: 1748000 | #Constraints: 35372
2516.79/2535.64 c #Conflicts: 1749000 | #Constraints: 36372
2516.79/2535.64 c #Conflicts: 1750000 | #Constraints: 37375
2516.79/2535.64 c #Conflicts: 1751000 | #Constraints: 38379
2516.79/2535.64 c #Conflicts: 1752000 | #Constraints: 39385
2516.79/2535.64 c #Conflicts: 1753000 | #Constraints: 40385
2516.79/2535.64 c #Conflicts: 1754000 | #Constraints: 41386
2516.79/2535.64 c #Conflicts: 1755000 | #Constraints: 42386
2516.79/2535.64 c #Conflicts: 1756000 | #Constraints: 43387
2516.79/2535.64 c #Conflicts: 1757000 | #Constraints: 44387
2516.79/2535.64 c #Conflicts: 1758000 | #Constraints: 45389
2516.79/2535.64 c #Conflicts: 1759000 | #Constraints: 46390
2516.79/2535.64 c #Conflicts: 1760000 | #Constraints: 47390
2516.79/2535.64 c #Conflicts: 1761000 | #Constraints: 48390
2516.79/2535.64 c #Conflicts: 1762000 | #Constraints: 49392
2516.79/2535.64 c #Conflicts: 1763000 | #Constraints: 50392
2516.79/2535.64 c #Conflicts: 1764000 | #Constraints: 51394
2516.79/2535.64 c #Conflicts: 1765000 | #Constraints: 52394
2516.79/2535.64 c #Conflicts: 1766000 | #Constraints: 53395
2516.79/2535.64 c #Conflicts: 1767000 | #Constraints: 54395
2516.79/2535.64 c #Conflicts: 1768000 | #Constraints: 55395
2516.79/2535.64 c #Conflicts: 1769000 | #Constraints: 56396
2516.79/2535.64 c #Conflicts: 1770000 | #Constraints: 57397
2516.79/2535.64 c #Conflicts: 1771000 | #Constraints: 58398
2516.79/2535.64 c #Conflicts: 1772000 | #Constraints: 59398
2516.79/2535.64 c #Conflicts: 1773000 | #Constraints: 60398
2516.79/2535.64 c INPROCESSING
2516.79/2535.64 c GARBAGE COLLECT
2516.79/2535.64 c rational objective 3
2572.82/2592.16 c #Conflicts: 1774000 | #Constraints: 34944
2572.82/2592.16 c #Conflicts: 1775000 | #Constraints: 35944
2572.82/2592.16 c #Conflicts: 1776000 | #Constraints: 36945
2572.82/2592.16 c #Conflicts: 1777000 | #Constraints: 37946
2572.82/2592.16 c #Conflicts: 1778000 | #Constraints: 38946
2572.82/2592.16 c #Conflicts: 1779000 | #Constraints: 39946
2572.82/2592.16 c #Conflicts: 1780000 | #Constraints: 40947
2572.82/2592.16 c #Conflicts: 1781000 | #Constraints: 41947
2572.82/2592.16 c #Conflicts: 1782000 | #Constraints: 42951
2572.82/2592.16 c #Conflicts: 1783000 | #Constraints: 43951
2572.82/2592.16 c #Conflicts: 1784000 | #Constraints: 44951
2572.82/2592.16 c #Conflicts: 1785000 | #Constraints: 45954
2572.82/2592.16 c #Conflicts: 1786000 | #Constraints: 46956
2572.82/2592.16 c #Conflicts: 1787000 | #Constraints: 47957
2572.82/2592.16 c #Conflicts: 1788000 | #Constraints: 48958
2572.82/2592.16 c #Conflicts: 1789000 | #Constraints: 49960
2572.82/2592.16 c #Conflicts: 1790000 | #Constraints: 50963
2572.82/2592.16 c #Conflicts: 1791000 | #Constraints: 51964
2572.82/2592.16 c #Conflicts: 1792000 | #Constraints: 52966
2572.82/2592.16 c #Conflicts: 1793000 | #Constraints: 53967
2572.82/2592.16 c #Conflicts: 1794000 | #Constraints: 54968
2572.82/2592.16 c #Conflicts: 1795000 | #Constraints: 55968
2572.82/2592.16 c #Conflicts: 1796000 | #Constraints: 56971
2572.82/2592.16 c #Conflicts: 1797000 | #Constraints: 57972
2572.82/2592.16 c #Conflicts: 1798000 | #Constraints: 58973
2572.82/2592.16 c #Conflicts: 1799000 | #Constraints: 59974
2572.82/2592.16 c #Conflicts: 1800000 | #Constraints: 60975
2572.82/2592.16 c INPROCESSING
2572.82/2592.16 c GARBAGE COLLECT
2572.82/2592.16 c rational objective 3
2630.51/2650.16 c #Conflicts: 1801000 | #Constraints: 35334
2630.51/2650.16 c #Conflicts: 1802000 | #Constraints: 36335
2630.51/2650.16 c #Conflicts: 1803000 | #Constraints: 37337
2630.51/2650.16 c #Conflicts: 1804000 | #Constraints: 38337
2630.51/2650.16 c #Conflicts: 1805000 | #Constraints: 39337
2630.51/2650.16 c #Conflicts: 1806000 | #Constraints: 40337
2630.51/2650.16 c #Conflicts: 1807000 | #Constraints: 41338
2630.51/2650.16 c #Conflicts: 1808000 | #Constraints: 42339
2630.51/2650.16 c #Conflicts: 1809000 | #Constraints: 43340
2630.51/2650.16 c #Conflicts: 1810000 | #Constraints: 44340
2630.51/2650.16 c #Conflicts: 1811000 | #Constraints: 45344
2630.51/2650.16 c #Conflicts: 1812000 | #Constraints: 46346
2630.51/2650.16 c #Conflicts: 1813000 | #Constraints: 47346
2630.51/2650.16 c #Conflicts: 1814000 | #Constraints: 48348
2630.51/2650.16 c #Conflicts: 1815000 | #Constraints: 49350
2630.51/2650.16 c #Conflicts: 1816000 | #Constraints: 50350
2630.51/2650.16 c #Conflicts: 1817000 | #Constraints: 51350
2630.51/2650.16 c #Conflicts: 1818000 | #Constraints: 52351
2630.51/2650.16 c #Conflicts: 1819000 | #Constraints: 53354
2630.51/2650.16 c #Conflicts: 1820000 | #Constraints: 54357
2630.51/2650.16 c #Conflicts: 1821000 | #Constraints: 55361
2630.51/2650.16 c #Conflicts: 1822000 | #Constraints: 56362
2630.51/2650.16 c #Conflicts: 1823000 | #Constraints: 57364
2630.51/2650.16 c #Conflicts: 1824000 | #Constraints: 58368
2630.51/2650.16 c #Conflicts: 1825000 | #Constraints: 59369
2630.51/2650.16 c #Conflicts: 1826000 | #Constraints: 60370
2630.51/2650.16 c #Conflicts: 1827000 | #Constraints: 61370
2630.51/2650.16 c INPROCESSING
2630.51/2650.16 c GARBAGE COLLECT
2630.51/2650.16 c rational objective 3
2689.52/2709.49 c #Conflicts: 1828000 | #Constraints: 35554
2689.52/2709.49 c #Conflicts: 1829000 | #Constraints: 36555
2689.52/2709.49 c #Conflicts: 1830000 | #Constraints: 37556
2689.52/2709.49 c #Conflicts: 1831000 | #Constraints: 38558
2689.52/2709.49 c #Conflicts: 1832000 | #Constraints: 39561
2689.52/2709.49 c #Conflicts: 1833000 | #Constraints: 40562
2689.52/2709.49 c #Conflicts: 1834000 | #Constraints: 41565
2689.52/2709.49 c #Conflicts: 1835000 | #Constraints: 42565
2689.52/2709.49 c #Conflicts: 1836000 | #Constraints: 43565
2689.52/2709.49 c #Conflicts: 1837000 | #Constraints: 44566
2689.52/2709.49 c #Conflicts: 1838000 | #Constraints: 45566
2689.52/2709.49 c #Conflicts: 1839000 | #Constraints: 46566
2689.52/2709.49 c #Conflicts: 1840000 | #Constraints: 47566
2689.52/2709.49 c #Conflicts: 1841000 | #Constraints: 48567
2689.52/2709.49 c #Conflicts: 1842000 | #Constraints: 49567
2689.52/2709.49 c #Conflicts: 1843000 | #Constraints: 50567
2689.52/2709.49 c #Conflicts: 1844000 | #Constraints: 51567
2689.52/2709.49 c #Conflicts: 1845000 | #Constraints: 52568
2689.52/2709.49 c #Conflicts: 1846000 | #Constraints: 53568
2689.52/2709.49 c #Conflicts: 1847000 | #Constraints: 54569
2689.52/2709.49 c #Conflicts: 1848000 | #Constraints: 55570
2689.52/2709.49 c #Conflicts: 1849000 | #Constraints: 56571
2689.52/2709.49 c #Conflicts: 1850000 | #Constraints: 57572
2689.52/2709.49 c #Conflicts: 1851000 | #Constraints: 58573
2689.52/2709.49 c #Conflicts: 1852000 | #Constraints: 59573
2689.52/2709.49 c #Conflicts: 1853000 | #Constraints: 60574
2689.52/2709.49 c #Conflicts: 1854000 | #Constraints: 61576
2689.52/2709.49 c INPROCESSING
2689.52/2709.49 c GARBAGE COLLECT
2689.52/2709.49 c rational objective 3
2757.25/2777.57 c #Conflicts: 1855000 | #Constraints: 35570
2757.25/2777.57 c #Conflicts: 1856000 | #Constraints: 36571
2757.25/2777.57 c #Conflicts: 1857000 | #Constraints: 37571
2757.25/2777.57 c #Conflicts: 1858000 | #Constraints: 38571
2757.25/2777.57 c #Conflicts: 1859000 | #Constraints: 39572
2757.25/2777.57 c #Conflicts: 1860000 | #Constraints: 40574
2757.25/2777.57 c #Conflicts: 1861000 | #Constraints: 41576
2757.25/2777.57 c #Conflicts: 1862000 | #Constraints: 42576
2757.25/2777.57 c #Conflicts: 1863000 | #Constraints: 43578
2757.25/2777.57 c #Conflicts: 1864000 | #Constraints: 44578
2757.25/2777.57 c #Conflicts: 1865000 | #Constraints: 45580
2757.25/2777.57 c #Conflicts: 1866000 | #Constraints: 46580
2757.25/2777.57 c #Conflicts: 1867000 | #Constraints: 47581
2757.25/2777.57 c #Conflicts: 1868000 | #Constraints: 48583
2757.25/2777.57 c #Conflicts: 1869000 | #Constraints: 49583
2757.25/2777.57 c #Conflicts: 1870000 | #Constraints: 50583
2757.25/2777.57 c #Conflicts: 1871000 | #Constraints: 51583
2757.25/2777.57 c #Conflicts: 1872000 | #Constraints: 52583
2757.25/2777.57 c #Conflicts: 1873000 | #Constraints: 53585
2757.25/2777.57 c #Conflicts: 1874000 | #Constraints: 54585
2757.25/2777.57 c #Conflicts: 1875000 | #Constraints: 55590
2757.25/2777.57 c #Conflicts: 1876000 | #Constraints: 56591
2757.25/2777.57 c #Conflicts: 1877000 | #Constraints: 57592
2757.25/2777.57 c #Conflicts: 1878000 | #Constraints: 58592
2757.25/2777.57 c #Conflicts: 1879000 | #Constraints: 59593
2757.25/2777.57 c #Conflicts: 1880000 | #Constraints: 60593
2757.25/2777.57 c #Conflicts: 1881000 | #Constraints: 61594
2757.25/2777.57 c INPROCESSING
2757.25/2777.57 c GARBAGE COLLECT
2757.25/2777.57 c rational objective 3
2816.10/2836.64 c #Conflicts: 1882000 | #Constraints: 35365
2816.10/2836.64 c #Conflicts: 1883000 | #Constraints: 36365
2816.10/2836.64 c #Conflicts: 1884000 | #Constraints: 37367
2816.10/2836.64 c #Conflicts: 1885000 | #Constraints: 38368
2816.10/2836.64 c #Conflicts: 1886000 | #Constraints: 39369
2816.10/2836.64 c #Conflicts: 1887000 | #Constraints: 40370
2816.10/2836.64 c #Conflicts: 1888000 | #Constraints: 41370
2816.10/2836.64 c #Conflicts: 1889000 | #Constraints: 42371
2816.10/2836.64 c #Conflicts: 1890000 | #Constraints: 43373
2816.10/2836.64 c #Conflicts: 1891000 | #Constraints: 44373
2816.10/2836.64 c #Conflicts: 1892000 | #Constraints: 45373
2816.10/2836.64 c #Conflicts: 1893000 | #Constraints: 46373
2816.10/2836.64 c #Conflicts: 1894000 | #Constraints: 47373
2816.10/2836.64 c #Conflicts: 1895000 | #Constraints: 48374
2816.10/2836.64 c #Conflicts: 1896000 | #Constraints: 49375
2816.10/2836.64 c #Conflicts: 1897000 | #Constraints: 50375
2816.10/2836.64 c #Conflicts: 1898000 | #Constraints: 51375
2816.10/2836.64 c #Conflicts: 1899000 | #Constraints: 52375
2816.10/2836.64 c #Conflicts: 1900000 | #Constraints: 53375
2816.10/2836.64 c #Conflicts: 1901000 | #Constraints: 54375
2816.10/2836.64 c #Conflicts: 1902000 | #Constraints: 55375
2816.10/2836.64 c #Conflicts: 1903000 | #Constraints: 56375
2816.10/2836.64 c #Conflicts: 1904000 | #Constraints: 57375
2816.10/2836.64 c #Conflicts: 1905000 | #Constraints: 58376
2816.10/2836.64 c #Conflicts: 1906000 | #Constraints: 59376
2816.10/2836.64 c #Conflicts: 1907000 | #Constraints: 60376
2816.10/2836.64 c #Conflicts: 1908000 | #Constraints: 61376
2816.10/2836.64 c #Conflicts: 1909000 | #Constraints: 62376
2816.10/2836.64 c INPROCESSING
2816.10/2836.64 c GARBAGE COLLECT
2816.10/2836.64 c rational objective 3
2872.50/2893.34 c #Conflicts: 1910000 | #Constraints: 35924
2872.50/2893.34 c #Conflicts: 1911000 | #Constraints: 36924
2872.50/2893.34 c #Conflicts: 1912000 | #Constraints: 37928
2872.50/2893.34 c #Conflicts: 1913000 | #Constraints: 38931
2872.50/2893.34 c #Conflicts: 1914000 | #Constraints: 39932
2872.50/2893.34 c #Conflicts: 1915000 | #Constraints: 40933
2872.50/2893.34 c #Conflicts: 1916000 | #Constraints: 41934
2872.50/2893.34 c #Conflicts: 1917000 | #Constraints: 42935
2872.50/2893.34 c #Conflicts: 1918000 | #Constraints: 43937
2872.50/2893.34 c #Conflicts: 1919000 | #Constraints: 44938
2872.50/2893.34 c #Conflicts: 1920000 | #Constraints: 45938
2872.50/2893.34 c #Conflicts: 1921000 | #Constraints: 46940
2872.50/2893.34 c #Conflicts: 1922000 | #Constraints: 47940
2872.50/2893.34 c #Conflicts: 1923000 | #Constraints: 48942
2872.50/2893.34 c #Conflicts: 1924000 | #Constraints: 49942
2872.50/2893.34 c #Conflicts: 1925000 | #Constraints: 50942
2872.50/2893.34 c #Conflicts: 1926000 | #Constraints: 51944
2872.50/2893.34 c #Conflicts: 1927000 | #Constraints: 52945
2872.50/2893.34 c #Conflicts: 1928000 | #Constraints: 53945
2872.50/2893.34 c #Conflicts: 1929000 | #Constraints: 54945
2872.50/2893.34 c #Conflicts: 1930000 | #Constraints: 55945
2872.50/2893.34 c #Conflicts: 1931000 | #Constraints: 56945
2872.50/2893.34 c #Conflicts: 1932000 | #Constraints: 57945
2872.50/2893.34 c #Conflicts: 1933000 | #Constraints: 58946
2872.50/2893.34 c #Conflicts: 1934000 | #Constraints: 59946
2872.50/2893.34 c #Conflicts: 1935000 | #Constraints: 60947
2872.50/2893.34 c #Conflicts: 1936000 | #Constraints: 61947
2872.50/2893.34 c #Conflicts: 1937000 | #Constraints: 62947
2872.50/2893.34 c INPROCESSING
2872.50/2893.34 c GARBAGE COLLECT
2872.50/2893.34 c rational objective 3
2930.44/2951.92 c #Conflicts: 1938000 | #Constraints: 36343
2930.44/2951.92 c #Conflicts: 1939000 | #Constraints: 37343
2930.44/2951.92 c #Conflicts: 1940000 | #Constraints: 38344
2930.44/2951.92 c #Conflicts: 1941000 | #Constraints: 39345
2930.44/2951.92 c #Conflicts: 1942000 | #Constraints: 40346
2930.44/2951.92 c #Conflicts: 1943000 | #Constraints: 41346
2930.44/2951.92 c #Conflicts: 1944000 | #Constraints: 42348
2930.44/2951.92 c #Conflicts: 1945000 | #Constraints: 43349
2930.44/2951.92 c #Conflicts: 1946000 | #Constraints: 44350
2930.44/2951.92 c #Conflicts: 1947000 | #Constraints: 45352
2930.44/2951.92 c #Conflicts: 1948000 | #Constraints: 46353
2930.44/2951.92 c #Conflicts: 1949000 | #Constraints: 47355
2930.44/2951.92 c #Conflicts: 1950000 | #Constraints: 48355
2930.44/2951.92 c #Conflicts: 1951000 | #Constraints: 49356
2930.44/2951.92 c #Conflicts: 1952000 | #Constraints: 50357
2930.44/2951.92 c #Conflicts: 1953000 | #Constraints: 51357
2930.44/2951.92 c #Conflicts: 1954000 | #Constraints: 52357
2930.44/2951.92 c #Conflicts: 1955000 | #Constraints: 53357
2930.44/2951.92 c #Conflicts: 1956000 | #Constraints: 54358
2930.44/2951.92 c #Conflicts: 1957000 | #Constraints: 55359
2930.44/2951.92 c #Conflicts: 1958000 | #Constraints: 56359
2930.44/2951.92 c #Conflicts: 1959000 | #Constraints: 57359
2930.44/2951.92 c #Conflicts: 1960000 | #Constraints: 58359
2930.44/2951.92 c #Conflicts: 1961000 | #Constraints: 59360
2930.44/2951.92 c #Conflicts: 1962000 | #Constraints: 60360
2930.44/2951.92 c #Conflicts: 1963000 | #Constraints: 61360
2930.44/2951.92 c #Conflicts: 1964000 | #Constraints: 62362
2930.44/2951.92 c #Conflicts: 1965000 | #Constraints: 63362
2930.44/2951.92 c INPROCESSING
2930.44/2951.92 c GARBAGE COLLECT
2930.44/2951.92 c rational objective 3
2994.00/3016.37 c #Conflicts: 1966000 | #Constraints: 36479
2994.00/3016.37 c #Conflicts: 1967000 | #Constraints: 37479
2994.00/3016.37 c #Conflicts: 1968000 | #Constraints: 38479
2994.00/3016.37 c #Conflicts: 1969000 | #Constraints: 39479
2994.00/3016.37 c #Conflicts: 1970000 | #Constraints: 40479
2994.00/3016.37 c #Conflicts: 1971000 | #Constraints: 41479
2994.00/3016.37 c #Conflicts: 1972000 | #Constraints: 42481
2994.00/3016.37 c #Conflicts: 1973000 | #Constraints: 43482
2994.00/3016.37 c #Conflicts: 1974000 | #Constraints: 44483
2994.00/3016.37 c #Conflicts: 1975000 | #Constraints: 45484
2994.00/3016.37 c #Conflicts: 1976000 | #Constraints: 46484
2994.00/3016.37 c #Conflicts: 1977000 | #Constraints: 47485
2994.00/3016.37 c #Conflicts: 1978000 | #Constraints: 48485
2994.00/3016.37 c #Conflicts: 1979000 | #Constraints: 49486
2994.00/3016.37 c #Conflicts: 1980000 | #Constraints: 50486
2994.00/3016.37 c #Conflicts: 1981000 | #Constraints: 51486
2994.00/3016.37 c #Conflicts: 1982000 | #Constraints: 52486
2994.00/3016.37 c #Conflicts: 1983000 | #Constraints: 53486
2994.00/3016.37 c #Conflicts: 1984000 | #Constraints: 54486
2994.00/3016.37 c #Conflicts: 1985000 | #Constraints: 55486
2994.00/3016.37 c #Conflicts: 1986000 | #Constraints: 56486
2994.00/3016.37 c #Conflicts: 1987000 | #Constraints: 57486
2994.00/3016.37 c #Conflicts: 1988000 | #Constraints: 58486
2994.00/3016.37 c #Conflicts: 1989000 | #Constraints: 59486
2994.00/3016.37 c #Conflicts: 1990000 | #Constraints: 60486
2994.00/3016.37 c #Conflicts: 1991000 | #Constraints: 61486
2994.00/3016.37 c #Conflicts: 1992000 | #Constraints: 62486
2994.00/3016.37 c #Conflicts: 1993000 | #Constraints: 63486
2994.00/3016.37 c INPROCESSING
2994.00/3016.37 c GARBAGE COLLECT
2994.00/3016.37 c rational objective 3
3056.95/3079.87 c #Conflicts: 1994000 | #Constraints: 36487
3056.95/3079.87 c #Conflicts: 1995000 | #Constraints: 37487
3056.95/3079.87 c #Conflicts: 1996000 | #Constraints: 38487
3056.95/3079.87 c #Conflicts: 1997000 | #Constraints: 39487
3056.95/3079.87 c #Conflicts: 1998000 | #Constraints: 40487
3056.95/3079.87 c #Conflicts: 1999000 | #Constraints: 41488
3056.95/3079.87 c #Conflicts: 2000000 | #Constraints: 42491
3056.95/3079.87 c #Conflicts: 2001000 | #Constraints: 43491
3056.95/3079.87 c #Conflicts: 2002000 | #Constraints: 44491
3056.95/3079.87 c #Conflicts: 2003000 | #Constraints: 45491
3056.95/3079.87 c #Conflicts: 2004000 | #Constraints: 46491
3056.95/3079.87 c #Conflicts: 2005000 | #Constraints: 47492
3056.95/3079.87 c #Conflicts: 2006000 | #Constraints: 48493
3056.95/3079.87 c #Conflicts: 2007000 | #Constraints: 49494
3056.95/3079.87 c #Conflicts: 2008000 | #Constraints: 50496
3056.95/3079.87 c #Conflicts: 2009000 | #Constraints: 51497
3056.95/3079.87 c #Conflicts: 2010000 | #Constraints: 52499
3056.95/3079.87 c #Conflicts: 2011000 | #Constraints: 53499
3056.95/3079.87 c #Conflicts: 2012000 | #Constraints: 54500
3056.95/3079.87 c #Conflicts: 2013000 | #Constraints: 55500
3056.95/3079.87 c #Conflicts: 2014000 | #Constraints: 56500
3056.95/3079.87 c #Conflicts: 2015000 | #Constraints: 57500
3056.95/3079.87 c #Conflicts: 2016000 | #Constraints: 58501
3056.95/3079.87 c #Conflicts: 2017000 | #Constraints: 59501
3056.95/3079.87 c #Conflicts: 2018000 | #Constraints: 60501
3056.95/3079.87 c #Conflicts: 2019000 | #Constraints: 61501
3056.95/3079.87 c #Conflicts: 2020000 | #Constraints: 62502
3056.95/3079.87 c #Conflicts: 2021000 | #Constraints: 63502
3056.95/3079.87 c INPROCESSING
3056.95/3079.87 c GARBAGE COLLECT
3056.95/3079.87 c rational objective 3
3118.39/3141.81 c #Conflicts: 2022000 | #Constraints: 36208
3118.39/3141.81 c #Conflicts: 2023000 | #Constraints: 37208
3118.39/3141.81 c #Conflicts: 2024000 | #Constraints: 38210
3118.39/3141.81 c #Conflicts: 2025000 | #Constraints: 39212
3118.39/3141.81 c #Conflicts: 2026000 | #Constraints: 40212
3118.39/3141.81 c #Conflicts: 2027000 | #Constraints: 41212
3118.39/3141.81 c #Conflicts: 2028000 | #Constraints: 42214
3118.39/3141.81 c #Conflicts: 2029000 | #Constraints: 43214
3118.39/3141.81 c #Conflicts: 2030000 | #Constraints: 44215
3118.39/3141.81 c #Conflicts: 2031000 | #Constraints: 45216
3118.39/3141.81 c #Conflicts: 2032000 | #Constraints: 46216
3118.39/3141.81 c #Conflicts: 2033000 | #Constraints: 47217
3118.39/3141.81 c #Conflicts: 2034000 | #Constraints: 48218
3118.39/3141.81 c #Conflicts: 2035000 | #Constraints: 49219
3118.39/3141.81 c #Conflicts: 2036000 | #Constraints: 50219
3118.39/3141.81 c #Conflicts: 2037000 | #Constraints: 51220
3118.39/3141.81 c #Conflicts: 2038000 | #Constraints: 52220
3118.39/3141.81 c #Conflicts: 2039000 | #Constraints: 53221
3118.39/3141.81 c #Conflicts: 2040000 | #Constraints: 54222
3118.39/3141.81 c #Conflicts: 2041000 | #Constraints: 55222
3118.39/3141.81 c #Conflicts: 2042000 | #Constraints: 56222
3118.39/3141.81 c #Conflicts: 2043000 | #Constraints: 57222
3118.39/3141.81 c #Conflicts: 2044000 | #Constraints: 58223
3118.39/3141.81 c #Conflicts: 2045000 | #Constraints: 59223
3118.39/3141.81 c #Conflicts: 2046000 | #Constraints: 60223
3118.39/3141.81 c #Conflicts: 2047000 | #Constraints: 61224
3118.39/3141.81 c #Conflicts: 2048000 | #Constraints: 62224
3118.39/3141.81 c #Conflicts: 2049000 | #Constraints: 63224
3118.39/3141.81 c #Conflicts: 2050000 | #Constraints: 64224
3118.39/3141.81 c INPROCESSING
3118.39/3141.81 c GARBAGE COLLECT
3118.39/3141.81 c rational objective 3
3181.30/3205.14 c #Conflicts: 2051000 | #Constraints: 36768
3181.30/3205.14 c #Conflicts: 2052000 | #Constraints: 37768
3181.30/3205.14 c #Conflicts: 2053000 | #Constraints: 38768
3181.30/3205.14 c #Conflicts: 2054000 | #Constraints: 39769
3181.30/3205.14 c #Conflicts: 2055000 | #Constraints: 40770
3181.30/3205.14 c #Conflicts: 2056000 | #Constraints: 41770
3181.30/3205.14 c #Conflicts: 2057000 | #Constraints: 42771
3181.30/3205.14 c #Conflicts: 2058000 | #Constraints: 43773
3181.30/3205.14 c #Conflicts: 2059000 | #Constraints: 44774
3181.30/3205.14 c #Conflicts: 2060000 | #Constraints: 45774
3181.30/3205.14 c #Conflicts: 2061000 | #Constraints: 46774
3181.30/3205.14 c #Conflicts: 2062000 | #Constraints: 47774
3181.30/3205.14 c #Conflicts: 2063000 | #Constraints: 48774
3181.30/3205.14 c #Conflicts: 2064000 | #Constraints: 49775
3181.30/3205.14 c #Conflicts: 2065000 | #Constraints: 50776
3181.30/3205.14 c #Conflicts: 2066000 | #Constraints: 51776
3181.30/3205.14 c #Conflicts: 2067000 | #Constraints: 52776
3181.30/3205.14 c #Conflicts: 2068000 | #Constraints: 53776
3181.30/3205.14 c #Conflicts: 2069000 | #Constraints: 54776
3181.30/3205.14 c #Conflicts: 2070000 | #Constraints: 55776
3181.30/3205.14 c #Conflicts: 2071000 | #Constraints: 56776
3181.30/3205.14 c #Conflicts: 2072000 | #Constraints: 57776
3181.30/3205.14 c #Conflicts: 2073000 | #Constraints: 58776
3181.30/3205.14 c #Conflicts: 2074000 | #Constraints: 59776
3181.30/3205.14 c #Conflicts: 2075000 | #Constraints: 60776
3181.30/3205.14 c #Conflicts: 2076000 | #Constraints: 61776
3181.30/3205.14 c #Conflicts: 2077000 | #Constraints: 62776
3181.30/3205.14 c #Conflicts: 2078000 | #Constraints: 63776
3181.30/3205.14 c #Conflicts: 2079000 | #Constraints: 64776
3181.30/3205.14 c INPROCESSING
3181.30/3205.14 c GARBAGE COLLECT
3181.30/3205.14 c rational objective 3
3261.25/3285.90 c #Conflicts: 2080000 | #Constraints: 37164
3261.25/3285.90 c #Conflicts: 2081000 | #Constraints: 38164
3261.25/3285.90 c #Conflicts: 2082000 | #Constraints: 39165
3261.25/3285.90 c #Conflicts: 2083000 | #Constraints: 40165
3261.25/3285.90 c #Conflicts: 2084000 | #Constraints: 41166
3261.25/3285.90 c #Conflicts: 2085000 | #Constraints: 42170
3261.25/3285.90 c #Conflicts: 2086000 | #Constraints: 43171
3261.25/3285.90 c #Conflicts: 2087000 | #Constraints: 44173
3261.25/3285.90 c #Conflicts: 2088000 | #Constraints: 45173
3261.25/3285.90 c #Conflicts: 2089000 | #Constraints: 46175
3261.25/3285.90 c #Conflicts: 2090000 | #Constraints: 47180
3261.25/3285.90 c #Conflicts: 2091000 | #Constraints: 48182
3261.25/3285.90 c #Conflicts: 2092000 | #Constraints: 49182
3261.25/3285.90 c #Conflicts: 2093000 | #Constraints: 50184
3261.25/3285.90 c #Conflicts: 2094000 | #Constraints: 51184
3261.25/3285.90 c #Conflicts: 2095000 | #Constraints: 52185
3261.25/3285.90 c #Conflicts: 2096000 | #Constraints: 53186
3261.25/3285.90 c #Conflicts: 2097000 | #Constraints: 54188
3261.25/3285.90 c #Conflicts: 2098000 | #Constraints: 55188
3261.25/3285.90 c #Conflicts: 2099000 | #Constraints: 56188
3261.25/3285.90 c #Conflicts: 2100000 | #Constraints: 57188
3261.25/3285.90 c #Conflicts: 2101000 | #Constraints: 58188
3261.25/3285.90 c #Conflicts: 2102000 | #Constraints: 59188
3261.25/3285.90 c #Conflicts: 2103000 | #Constraints: 60188
3261.25/3285.90 c #Conflicts: 2104000 | #Constraints: 61188
3261.25/3285.90 c #Conflicts: 2105000 | #Constraints: 62188
3261.25/3285.90 c #Conflicts: 2106000 | #Constraints: 63188
3261.25/3285.90 c #Conflicts: 2107000 | #Constraints: 64189
3261.25/3285.90 c #Conflicts: 2108000 | #Constraints: 65189
3261.25/3285.90 c INPROCESSING
3261.25/3285.90 c GARBAGE COLLECT
3261.25/3285.90 c rational objective 3
3334.74/3359.94 c #Conflicts: 2109000 | #Constraints: 37350
3334.74/3359.94 c #Conflicts: 2110000 | #Constraints: 38351
3334.74/3359.94 c #Conflicts: 2111000 | #Constraints: 39352
3334.74/3359.94 c #Conflicts: 2112000 | #Constraints: 40352
3334.74/3359.94 c #Conflicts: 2113000 | #Constraints: 41354
3334.74/3359.94 c #Conflicts: 2114000 | #Constraints: 42355
3334.74/3359.94 c #Conflicts: 2115000 | #Constraints: 43357
3334.74/3359.94 c #Conflicts: 2116000 | #Constraints: 44358
3334.74/3359.94 c #Conflicts: 2117000 | #Constraints: 45360
3334.74/3359.94 c #Conflicts: 2118000 | #Constraints: 46362
3334.74/3359.94 c #Conflicts: 2119000 | #Constraints: 47366
3334.74/3359.94 c #Conflicts: 2120000 | #Constraints: 48366
3334.74/3359.94 c #Conflicts: 2121000 | #Constraints: 49370
3334.74/3359.94 c #Conflicts: 2122000 | #Constraints: 50371
3334.74/3359.94 c #Conflicts: 2123000 | #Constraints: 51371
3334.74/3359.94 c #Conflicts: 2124000 | #Constraints: 52372
3334.74/3359.94 c #Conflicts: 2125000 | #Constraints: 53374
3334.74/3359.94 c #Conflicts: 2126000 | #Constraints: 54374
3334.74/3359.94 c #Conflicts: 2127000 | #Constraints: 55374
3334.74/3359.94 c #Conflicts: 2128000 | #Constraints: 56376
3334.74/3359.94 c #Conflicts: 2129000 | #Constraints: 57377
3334.74/3359.94 c #Conflicts: 2130000 | #Constraints: 58378
3334.74/3359.94 c #Conflicts: 2131000 | #Constraints: 59379
3334.74/3359.94 c #Conflicts: 2132000 | #Constraints: 60380
3334.74/3359.94 c #Conflicts: 2133000 | #Constraints: 61381
3334.74/3359.94 c #Conflicts: 2134000 | #Constraints: 62381
3334.74/3359.94 c #Conflicts: 2135000 | #Constraints: 63381
3334.74/3359.94 c #Conflicts: 2136000 | #Constraints: 64382
3334.74/3359.94 c #Conflicts: 2137000 | #Constraints: 65383
3334.74/3359.94 c INPROCESSING
3334.74/3359.94 c GARBAGE COLLECT
3334.74/3359.94 c rational objective 3
3404.79/3430.44 c #Conflicts: 2138000 | #Constraints: 37308
3404.79/3430.44 c #Conflicts: 2139000 | #Constraints: 38308
3404.79/3430.44 c #Conflicts: 2140000 | #Constraints: 39308
3404.79/3430.44 c #Conflicts: 2141000 | #Constraints: 40309
3404.79/3430.44 c #Conflicts: 2142000 | #Constraints: 41311
3404.79/3430.44 c #Conflicts: 2143000 | #Constraints: 42312
3404.79/3430.44 c #Conflicts: 2144000 | #Constraints: 43312
3404.79/3430.44 c #Conflicts: 2145000 | #Constraints: 44313
3404.79/3430.44 c #Conflicts: 2146000 | #Constraints: 45313
3404.79/3430.44 c #Conflicts: 2147000 | #Constraints: 46314
3404.79/3430.44 c #Conflicts: 2148000 | #Constraints: 47314
3404.79/3430.44 c #Conflicts: 2149000 | #Constraints: 48314
3404.79/3430.44 c #Conflicts: 2150000 | #Constraints: 49315
3404.79/3430.44 c #Conflicts: 2151000 | #Constraints: 50316
3404.79/3430.44 c #Conflicts: 2152000 | #Constraints: 51317
3404.79/3430.44 c #Conflicts: 2153000 | #Constraints: 52317
3404.79/3430.44 c #Conflicts: 2154000 | #Constraints: 53317
3404.79/3430.44 c #Conflicts: 2155000 | #Constraints: 54317
3404.79/3430.44 c #Conflicts: 2156000 | #Constraints: 55317
3404.79/3430.44 c #Conflicts: 2157000 | #Constraints: 56318
3404.79/3430.44 c #Conflicts: 2158000 | #Constraints: 57319
3404.79/3430.44 c #Conflicts: 2159000 | #Constraints: 58320
3404.79/3430.44 c #Conflicts: 2160000 | #Constraints: 59320
3404.79/3430.44 c #Conflicts: 2161000 | #Constraints: 60320
3404.79/3430.44 c #Conflicts: 2162000 | #Constraints: 61321
3404.79/3430.44 c #Conflicts: 2163000 | #Constraints: 62321
3404.79/3430.44 c #Conflicts: 2164000 | #Constraints: 63322
3404.79/3430.44 c #Conflicts: 2165000 | #Constraints: 64323
3404.79/3430.44 c #Conflicts: 2166000 | #Constraints: 65324
3404.79/3430.44 c INPROCESSING
3404.79/3430.44 c GARBAGE COLLECT
3404.79/3430.44 c rational objective 3
3484.78/3510.95 c #Conflicts: 2167000 | #Constraints: 37105
3484.78/3510.95 c #Conflicts: 2168000 | #Constraints: 38105
3484.78/3510.95 c #Conflicts: 2169000 | #Constraints: 39105
3484.78/3510.95 c #Conflicts: 2170000 | #Constraints: 40107
3484.78/3510.95 c #Conflicts: 2171000 | #Constraints: 41108
3484.78/3510.95 c #Conflicts: 2172000 | #Constraints: 42109
3484.78/3510.95 c #Conflicts: 2173000 | #Constraints: 43109
3484.78/3510.95 c #Conflicts: 2174000 | #Constraints: 44109
3484.78/3510.95 c #Conflicts: 2175000 | #Constraints: 45109
3484.78/3510.95 c #Conflicts: 2176000 | #Constraints: 46109
3484.78/3510.95 c #Conflicts: 2177000 | #Constraints: 47109
3484.78/3510.95 c #Conflicts: 2178000 | #Constraints: 48109
3484.78/3510.95 c #Conflicts: 2179000 | #Constraints: 49109
3484.78/3510.95 c #Conflicts: 2180000 | #Constraints: 50109
3484.78/3510.95 c #Conflicts: 2181000 | #Constraints: 51110
3484.78/3510.95 c #Conflicts: 2182000 | #Constraints: 52111
3484.78/3510.95 c #Conflicts: 2183000 | #Constraints: 53112
3484.78/3510.95 c #Conflicts: 2184000 | #Constraints: 54113
3484.78/3510.95 c #Conflicts: 2185000 | #Constraints: 55113
3484.78/3510.95 c #Conflicts: 2186000 | #Constraints: 56114
3484.78/3510.95 c #Conflicts: 2187000 | #Constraints: 57115
3484.78/3510.95 c #Conflicts: 2188000 | #Constraints: 58116
3484.78/3510.95 c #Conflicts: 2189000 | #Constraints: 59117
3484.78/3510.95 c #Conflicts: 2190000 | #Constraints: 60117
3484.78/3510.95 c #Conflicts: 2191000 | #Constraints: 61118
3484.78/3510.95 c #Conflicts: 2192000 | #Constraints: 62120
3484.78/3510.95 c #Conflicts: 2193000 | #Constraints: 63120
3484.78/3510.95 c #Conflicts: 2194000 | #Constraints: 64121
3484.78/3510.95 c #Conflicts: 2195000 | #Constraints: 65122
3484.78/3510.95 c #Conflicts: 2196000 | #Constraints: 66125
3484.78/3510.95 c INPROCESSING
3484.78/3510.95 c GARBAGE COLLECT
3484.78/3510.95 c rational objective 3
3556.13/3582.53 c #Conflicts: 2197000 | #Constraints: 37729
3556.13/3582.53 c #Conflicts: 2198000 | #Constraints: 38730
3556.13/3582.53 c #Conflicts: 2199000 | #Constraints: 39730
3556.13/3582.53 c #Conflicts: 2200000 | #Constraints: 40731
3556.13/3582.53 c #Conflicts: 2201000 | #Constraints: 41732
3556.13/3582.53 c #Conflicts: 2202000 | #Constraints: 42733
3556.13/3582.53 c #Conflicts: 2203000 | #Constraints: 43735
3556.13/3582.53 c #Conflicts: 2204000 | #Constraints: 44735
3556.13/3582.53 c #Conflicts: 2205000 | #Constraints: 45735
3556.13/3582.53 c #Conflicts: 2206000 | #Constraints: 46736
3556.13/3582.53 c #Conflicts: 2207000 | #Constraints: 47736
3556.13/3582.53 c #Conflicts: 2208000 | #Constraints: 48737
3556.13/3582.53 c #Conflicts: 2209000 | #Constraints: 49737
3556.13/3582.53 c #Conflicts: 2210000 | #Constraints: 50737
3556.13/3582.53 c #Conflicts: 2211000 | #Constraints: 51737
3556.13/3582.53 c #Conflicts: 2212000 | #Constraints: 52738
3556.13/3582.53 c #Conflicts: 2213000 | #Constraints: 53738
3556.13/3582.53 c #Conflicts: 2214000 | #Constraints: 54739
3556.13/3582.53 c #Conflicts: 2215000 | #Constraints: 55739
3556.13/3582.53 c #Conflicts: 2216000 | #Constraints: 56739
3556.13/3582.53 c #Conflicts: 2217000 | #Constraints: 57739
3556.13/3582.53 c #Conflicts: 2218000 | #Constraints: 58739
3556.13/3582.53 c #Conflicts: 2219000 | #Constraints: 59739
3556.13/3582.53 c #Conflicts: 2220000 | #Constraints: 60739
3556.13/3582.53 c #Conflicts: 2221000 | #Constraints: 61739
3556.13/3582.53 c #Conflicts: 2222000 | #Constraints: 62739
3556.13/3582.53 c #Conflicts: 2223000 | #Constraints: 63741
3556.13/3582.53 c #Conflicts: 2224000 | #Constraints: 64741
3556.13/3582.53 c #Conflicts: 2225000 | #Constraints: 65741
3556.13/3582.53 c #Conflicts: 2226000 | #Constraints: 66742
3556.13/3582.53 c INPROCESSING
3556.13/3582.53 c GARBAGE COLLECT
3556.13/3582.53 c rational objective 3
3600.06/3626.90 c #Conflicts: 2227000 | #Constraints: 38093
3600.06/3626.90 c #Conflicts: 2228000 | #Constraints: 39093
3600.06/3626.90 c #Conflicts: 2229000 | #Constraints: 40093
3600.06/3626.90 c #Conflicts: 2230000 | #Constraints: 41095
3600.06/3626.90 c #Conflicts: 2231000 | #Constraints: 42097
3600.06/3626.90 c #Conflicts: 2232000 | #Constraints: 43099
3600.06/3626.90 c #Conflicts: 2233000 | #Constraints: 44099
3600.06/3626.90 c #Conflicts: 2234000 | #Constraints: 45102
3600.06/3626.90 c #Conflicts: 2235000 | #Constraints: 46104
3600.06/3626.90 c #Conflicts: 2236000 | #Constraints: 47106
3600.06/3626.90 c #Conflicts: 2237000 | #Constraints: 48106
3600.06/3626.90 c #Conflicts: 2238000 | #Constraints: 49107
3600.06/3626.90 c #Conflicts: 2239000 | #Constraints: 50108
3600.06/3626.90 c #Conflicts: 2240000 | #Constraints: 51111
3600.06/3626.90 c #Conflicts: 2241000 | #Constraints: 52113
3600.06/3626.90 c #Conflicts: 2242000 | #Constraints: 53113
3600.06/3626.90 c #Conflicts: 2243000 | #Constraints: 54114
3600.06/3626.90 c #Conflicts: 2244000 | #Constraints: 55115
3600.06/3626.90 c cpu time 3571.69 s
3600.06/3626.90 c deterministic time 261541413245 2.62e+11
3600.06/3626.90 c optimization time 43.4475 s
3600.06/3626.90 c total solve time 3528.08 s
3600.06/3626.90 c core-guided solve time 1784.19 s
3600.06/3626.90 c propagation time 2365.46 s
3600.06/3626.90 c conflict analysis time 1108.62 s
3600.06/3626.90 c propagations 574074996
3600.06/3626.90 c resolve steps 43120113
3600.06/3626.90 c decisions 3305396
3600.06/3626.90 c conflicts 2244087
3600.06/3626.90 c restarts 4093
3600.06/3626.90 c inprocessing phases 140
3600.06/3626.90 c garbage collections 140 ,( 100.00 )
3600.06/3626.90 c input clauses 10815 ,( 97.98 )
3600.06/3626.90 c input cardinalities 31 ,( 0.28 )
3600.06/3626.90 c input general constraints 192 ,( 1.74 )
3600.06/3626.90 c input average constraint length 3.40
3600.06/3626.90 c input average constraint degree 6.20
3600.06/3626.90 c learned clauses 902967 ,( 40.20 )
3600.06/3626.90 c learned cardinalities 6295 ,( 0.28 )
3600.06/3626.90 c learned general constraints 1336917 ,( 59.52 )
3600.06/3626.90 c learned average constraint length 115.69
3600.06/3626.90 c learned average constraint degree 555378893.22
3600.06/3626.90 c watched CF 32, 64, 128, Arb: 373807 , 0 , 0 , 0
3600.06/3626.90 c counting CF 32, 64, 128, Arb: 963303 , 0 , 0 , 0
3600.06/3626.90 c watched constraints 373807 ,( 27.96 )
3600.06/3626.90 c counting constraints 963302 ,( 72.04 )
3600.06/3626.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 719214613 , 92896592 , 7528568781 ,( 294624480 , 7233944301 )
3600.06/3626.90 c gcd simplifications 327064
3600.06/3626.90 c detected cardinalities 267
3600.06/3626.90 c weakened non-implied lits 137927841
3600.06/3626.90 c weakened non-implying lits 725038
3600.06/3626.90 c original variables 3964
3600.06/3626.90 c clausal propagations 323484378
3600.06/3626.90 c cardinality propagations 10921637
3600.06/3626.90 c watched propagations 2076436
3600.06/3626.90 c counting propagations 234677549
3600.06/3626.90 c watch lookups 215692717240
3600.06/3626.90 c watch backjump lookups 0
3600.06/3626.90 c watch checks 7929896428
3600.06/3626.90 c propagation checks 35107127822
3600.06/3626.90 c constraint additions 1652397993
3600.06/3626.90 c trail pops 579621145
3600.06/3626.90 c formula constraints 11038
3600.06/3626.90 c learned constraints 2242389
3600.06/3626.90 c bound constraints 0
3600.06/3626.90 c core-guided constraints 0
3600.06/3626.90 c encountered formula constraints 25930322
3600.06/3626.90 c encountered learned constraints 17946870
3600.06/3626.90 c encountered bound constraints 0
3600.06/3626.90 c encountered core-guided constraints 0
3600.06/3626.90 c LP total time 396.483 s
3600.06/3626.90 c LP solve time 354.66 s
3600.06/3626.90 c LP constraints added 12388
3600.06/3626.90 c LP constraints removed 1336
3600.06/3626.90 c LP pivots internal 2244118
3600.06/3626.90 c LP pivots root 28106
3600.06/3626.90 c LP calls 7269
3600.06/3626.90 c LP optimalities 5364
3600.06/3626.90 c LP no pivot count 155
3600.06/3626.90 c LP infeasibilities 1901
3600.06/3626.90 c LP valid Farkas constraints 1897
3600.06/3626.90 c LP learned Farkas constraints 1697
3600.06/3626.90 c LP basis resets 5
3600.06/3626.90 c LP cycling count 0
3600.06/3626.90 c LP singular count 1
3600.06/3626.90 c LP no primal count 0
3600.06/3626.90 c LP no farkas count 4
3600.06/3626.90 c LP other issue count 0
3600.06/3626.90 c LP Gomory cuts 196
3600.06/3626.90 c LP learned cuts 1154
3600.06/3626.90 c LP deleted cuts 1336
3600.06/3626.90 c LP encountered Gomory constraints 69989
3600.06/3626.90 c LP encountered Farkas constraints 1408776
3600.06/3626.90 c LP encountered learned Farkas constraints 6546
3600.06/3626.90 c CG auxiliary variables introduced 0
3600.06/3626.90 c CG solutions found 0
3600.06/3626.90 c CG cores constructed 0
3600.06/3626.90 c CG core cardinality constraints returned 0
3600.06/3626.90 c CG unit cores 0
3600.06/3626.90 c CG single cores 0
3600.06/3626.90 c CG blocks removed during cardinality reduction 0
3600.06/3626.90 c CG first core best 0
3600.06/3626.90 c CG decision core best 0
3600.06/3626.90 c CG core reduction tie 0
3600.06/3626.90 c CG core degree average 0.00
3600.06/3626.90 c CG core slack average 0.00
3600.06/3626.90 c CG core upper bound improvements 0
3600.06/3626.90 c STR number of successful calls 0
3600.06/3626.90 c STR number of unsuccessful calls 0
3600.06/3626.90 c STR number of inconclusive calls 0
3600.06/3626.90 c STR number of successful attempts 0
3600.06/3626.90 c STR number of unsuccessful attempts 0
3600.06/3626.90 c STR number of inconclusive attempts 0
3600.06/3626.90 c STR average degree increase per successful call inf
3600.06/3626.90 c STR average degree increase per successful attempt inf
3600.06/3626.90 c STR total number of conflicts for successful attempts 0
3600.06/3626.90 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3626.90 c STR total number of conflicts for inconclusive attempts 0
3600.06/3626.90 c STR average number of conflicts per successful attempt inf
3600.06/3626.90 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3626.90 c STR average number of conflicts per inconclusive attempt inf
3600.06/3626.90 c AVG.sumWPerc 59.17
3600.06/3626.90 c bigint constraints 0
3600.06/3626.90 s UNKNOWN
3600.06/3626.90 c Program interrupted by user.
Verifier Data
ERROR: no interpretation found !
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63037 MiB free)
memory of node 1: 64507 MiB (64034 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499353-1751410769/watcher-4499353-1751410769 -o /tmp/evaluation-result-4499353-1751410769/solver-4499353-1751410769 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751410769-57041 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4499353-1751410769.opb PROOFDIR/proof-4499353-1751410769
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=57088, runsolver pid=57079
[startup+0.100068 s]*
/proc/loadavg: 0.67 1.08 1.91 6/259 57101
/proc/meminfo: memFree=130108492/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57099] ppid=57088 vsize=13808 memory=6784 CPUtime=0.07 cores=5,7
/proc/57099/stat : 57099 (pbsuma) R 57088 57088 57001 0 -1 4194304 798 0 0 0 7 0 0 0 20 0 1 0 56755853 14139392 1696 18446744073709551615 4210688 4653049 140723064296112 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 22265856 140723064297699 140723064298034 140723064298034 140723064303599 0
/proc/57099/statm: 3452 1696 1056 108 0 860 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18000 KiB
Current children cumulated memory: 9728 KiB
[startup+0.214349 s]*
/proc/loadavg: 0.67 1.08 1.91 6/259 57102
/proc/meminfo: memFree=130104004/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=56212 memory=9344 CPUtime=0 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 574 0 0 0 0 0 0 0 20 0 1 0 56755872 57561088 2336 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 14053 2336 1984 1147 0 1480 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 60404 KiB
Current children cumulated memory: 12288 KiB
[startup+0.314502 s]*
/proc/loadavg: 0.67 1.08 1.91 6/259 57102
/proc/meminfo: memFree=130090724/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=58984 memory=14420 CPUtime=0.1 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 1313 0 0 0 8 2 0 0 20 0 1 0 56755872 60399616 3605 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 14746 3605 2016 1147 0 2173 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 63176 KiB
Current children cumulated memory: 17364 KiB
[startup+0.700363 s]
/proc/loadavg: 0.67 1.08 1.91 6/259 57102
/proc/meminfo: memFree=130066968/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=77536 memory=31696 CPUtime=0.48 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 5941 0 0 0 42 6 0 0 20 0 1 0 56755872 79396864 7924 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 19384 7924 2368 1147 0 6811 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 81728 KiB
Current children cumulated memory: 34640 KiB
[startup+1.50039 s]
/proc/loadavg: 0.67 1.08 1.91 6/259 57103
/proc/meminfo: memFree=130034296/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=79172 memory=33360 CPUtime=1.27 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 6329 0 0 0 119 8 0 0 20 0 1 0 56755872 81072128 8340 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 19793 8340 2400 1147 0 7220 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 83364 KiB
Current children cumulated memory: 36304 KiB
[startup+3.11308 s]
/proc/loadavg: 0.67 1.08 1.91 5/254 57113
/proc/meminfo: memFree=129797344/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=86744 memory=42940 CPUtime=2.86 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 8208 0 0 0 274 12 0 0 20 0 1 0 56755872 88825856 10735 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 21686 10735 2400 1147 0 9113 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 90936 KiB
Current children cumulated memory: 45884 KiB
[startup+6.30038 s]
/proc/loadavg: 0.94 1.13 1.92 5/253 57142
/proc/meminfo: memFree=129669612/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=89196 memory=44988 CPUtime=6.02 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 8762 0 0 0 582 20 0 0 20 0 1 0 56755872 91336704 11247 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 22299 11247 2400 1147 0 9726 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 93388 KiB
Current children cumulated memory: 47932 KiB
[startup+12.7004 s]
/proc/loadavg: 1.18 1.18 1.93 5/253 57142
/proc/meminfo: memFree=129418680/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=90228 memory=46396 CPUtime=12.41 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 9129 0 0 0 1207 34 0 0 20 0 1 0 56755872 92393472 11599 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 22557 11599 2400 1147 0 9984 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 94420 KiB
Current children cumulated memory: 49340 KiB
[startup+25.5004 s]
/proc/loadavg: 1.46 1.24 1.94 4/248 57169
/proc/meminfo: memFree=129290628/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=96228 memory=50108 CPUtime=25.16 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 10089 0 0 0 2462 54 0 0 20 0 1 0 56755872 98537472 12527 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 24057 12527 2400 1147 0 11484 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 100420 KiB
Current children cumulated memory: 53052 KiB
[startup+51.1131 s]
/proc/loadavg: 1.79 1.34 1.95 3/251 57185
/proc/meminfo: memFree=129096036/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=101288 memory=55868 CPUtime=50.48 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 11556 0 0 0 4955 93 0 0 20 0 1 0 56755872 103718912 13967 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 25322 13967 2400 1147 0 12749 0
Current children cumulated CPU time: 50.63 s
Current children cumulated vsize: 105480 KiB
Current children cumulated memory: 58812 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.46 1.96 3/250 57201
/proc/meminfo: memFree=128447704/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=112572 memory=65572 CPUtime=101.11 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 13494 0 0 0 9936 175 0 0 20 0 1 0 56755872 115273728 16393 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 28143 16393 2400 1147 0 15570 0
Current children cumulated CPU time: 101.26 s
Current children cumulated vsize: 116764 KiB
Current children cumulated memory: 68516 KiB
[startup+162.3 s]
/proc/loadavg: 2.09 1.59 1.98 3/250 57203
/proc/meminfo: memFree=127693316/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=130508 memory=81280 CPUtime=160.74 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 16122 0 0 0 15824 250 0 0 20 0 1 0 56755872 133640192 20320 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 32627 20320 2400 1147 0 20054 0
Current children cumulated CPU time: 160.89 s
Current children cumulated vsize: 134700 KiB
Current children cumulated memory: 84224 KiB
[startup+222.3 s]
/proc/loadavg: 2.09 1.68 1.99 3/250 57206
/proc/meminfo: memFree=127072876/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=132556 memory=83328 CPUtime=220.4 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 16639 0 0 0 21720 320 0 0 20 0 1 0 56755872 135737344 20832 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
################
# More data... #
################
/proc/57102/statm: 55958 41298 2496 1147 0 43385 0
Current children cumulated CPU time: 3079.38 s
Current children cumulated vsize: 228024 KiB
Current children cumulated memory: 168136 KiB
[startup+3162.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/251 57365
/proc/meminfo: memFree=104868012/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=224368 memory=165704 CPUtime=3138.53 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 31780 0 0 0 311289 2564 0 0 20 0 1 0 56755872 229752832 41426 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 56092 41426 2496 1147 0 43519 0
Current children cumulated CPU time: 3138.68 s
Current children cumulated vsize: 228560 KiB
Current children cumulated memory: 168648 KiB
[startup+3222.3 s]
/proc/loadavg: 2.20 2.11 2.09 3/252 57368
/proc/meminfo: memFree=104594056/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=225240 memory=166344 CPUtime=3198.21 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 31958 0 0 0 317223 2598 0 0 20 0 1 0 56755872 230645760 41586 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 56310 41586 2496 1147 0 43737 0
Current children cumulated CPU time: 3198.36 s
Current children cumulated vsize: 229432 KiB
Current children cumulated memory: 169288 KiB
[startup+3282.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/245 57370
/proc/meminfo: memFree=104513516/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=231316 memory=171888 CPUtime=3257.54 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 32837 0 0 0 323119 2635 0 0 20 0 1 0 56755872 236867584 42972 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 57829 42972 2496 1147 0 45256 0
Current children cumulated CPU time: 3257.69 s
Current children cumulated vsize: 235508 KiB
Current children cumulated memory: 174832 KiB
[startup+3342.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/247 57376
/proc/meminfo: memFree=104058536/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=232668 memory=174944 CPUtime=3317.07 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 33094 0 0 0 329040 2667 0 0 20 0 1 0 56755872 238252032 43736 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 58167 43736 2496 1147 0 45594 0
Current children cumulated CPU time: 3317.22 s
Current children cumulated vsize: 236860 KiB
Current children cumulated memory: 177888 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/250 57382
/proc/meminfo: memFree=103728888/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=233692 memory=175840 CPUtime=3376.66 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 33305 0 0 0 334964 2702 0 0 20 0 1 0 56755872 239300608 43960 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 58423 43960 2496 1147 0 45850 0
Current children cumulated CPU time: 3376.81 s
Current children cumulated vsize: 237884 KiB
Current children cumulated memory: 178784 KiB
[startup+3462.3 s]
/proc/loadavg: 2.18 2.12 2.09 3/252 57386
/proc/meminfo: memFree=103452732/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=234212 memory=176352 CPUtime=3436.23 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 33435 0 0 0 340889 2734 0 0 20 0 1 0 56755872 239833088 44088 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 58553 44088 2496 1147 0 45980 0
Current children cumulated CPU time: 3436.38 s
Current children cumulated vsize: 238404 KiB
Current children cumulated memory: 179296 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/252 57393
/proc/meminfo: memFree=103167416/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=234472 memory=176736 CPUtime=3495.99 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 33546 0 0 0 346835 2764 0 0 20 0 1 0 56755872 240099328 44184 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 58618 44184 2496 1147 0 46045 0
Current children cumulated CPU time: 3496.14 s
Current children cumulated vsize: 238664 KiB
Current children cumulated memory: 179680 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/252 57395
/proc/meminfo: memFree=102932048/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=234472 memory=176736 CPUtime=3555.78 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 33546 0 0 0 352783 2795 0 0 20 0 1 0 56755872 240099328 44184 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 58618 44184 2496 1147 0 46045 0
Current children cumulated CPU time: 3555.93 s
Current children cumulated vsize: 238664 KiB
Current children cumulated memory: 179680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3626.9 s]
/proc/loadavg: 2.09 2.10 2.09 4/250 57404
/proc/meminfo: memFree=104547636/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=234960 memory=177248 CPUtime=3599.91 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 33668 0 0 0 357169 2822 0 0 20 0 1 0 56755872 240599040 44312 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 58740 44312 2496 1147 0 46167 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 239152 KiB
Current children cumulated memory: 180192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3626.91 s]
# the end of solver process 57088 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.142288 s, system=0.022854 s
[startup+3626.92 s]
# the end of solver process 57102 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3571.85 s, system=28.255 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3626.9 s]
/proc/loadavg: 2.09 2.10 2.09 4/250 57404
/proc/meminfo: memFree=104547636/131382112 swapFree=33009904/33010684
[pid=57088] ppid=57079 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/57088/stat : 57088 (run-opt-ls-log.) S 57079 57088 57001 0 -1 4194304 240 985 0 0 0 0 14 1 20 0 1 0 56755852 4292608 736 18446744073709551615 94675651788800 94675652683333 140721551107120 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675652922384 94675652970128 94675674693632 140721551108379 140721551108577 140721551108577 140721551114179 0
/proc/57088/statm: 1048 736 672 219 0 110 0
[pid=57102] ppid=57088 vsize=234960 memory=177248 CPUtime=3599.91 cores=5,7
/proc/57102/stat : 57102 (roundingsat) R 57088 57088 57001 0 -1 4194304 33668 0 0 0 357169 2822 0 0 20 0 1 0 56755872 240599040 44312 18446744073709551615 4227072 8923433 140734751597040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15204352 140734751602934 140734751603240 140734751603240 140734751608810 0
/proc/57102/statm: 58740 44312 2496 1147 0 46167 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 239152 KiB
Current children cumulated memory: 180192 KiB
Child status: 2
Real time (s): 3626.92
CPU time (s): 3600.1
CPU user time (s): 3571.85
CPU system time (s): 28.255
CPU usage (%): 99.2607
Max. virtual memory (cumulated for all children) (KiB): 239152
Max. memory (cumulated for all children) (KiB): 180192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.85
system time used= 28.255
maximum resident set size= 177504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34912
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19013368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 640
involuntary context switches= 26875
# summary of solver processes directly reported to runsolver:
# pid: 57088,57102
# total CPU time (s): 3600.1
# total CPU user time (s): 3571.85
# total CPU system time (s): 28.255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7981 second user time and 33.3189 second system time
The end
Launcher Data
Begin job on nodeC001 at 2025-07-02 00:59:30
IDJOB=4499353
IDBENCH=148776
IDSOLVER=3356
FILE ID=nodeC001/4499353-1751410769
RUNJOBID= nodeC001-1751410769-57041
SLURM_JOB_ID= 9598319
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499353-1751410769/watcher-4499353-1751410769 -o /tmp/evaluation-result-4499353-1751410769/solver-4499353-1751410769 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751410769-57041 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4499353-1751410769.opb PROOFDIR/proof-4499353-1751410769
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=424743223
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.171
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.425
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.241
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.154
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.483
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.185
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.149
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.204
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 130118488 kB
MemAvailable: 129950980 kB
Buffers: 1668 kB
Cached: 628936 kB
SwapCached: 20 kB
Active: 370936 kB
Inactive: 325316 kB
Active(anon): 60920 kB
Inactive(anon): 22624 kB
Active(file): 310016 kB
Inactive(file): 302692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30044 kB
Writeback: 28 kB
AnonPages: 68956 kB
Mapped: 102592 kB
Shmem: 17896 kB
KReclaimable: 118440 kB
Slab: 201848 kB
SReclaimable: 118440 kB
SUnreclaim: 83408 kB
KernelStack: 3920 kB
PageTables: 2700 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 330656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC001 at 2025-07-02 01:59:57