0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4495860-1751156870.opb'
0.00/0.01 c read 0.00MB (0.11ms)
0.00/0.01 c [cnf: #variables 70 #clauses 2 #duplicates 0 #arr 140]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.07ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.03ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 282 #edges 700]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.04ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4495860-1751156870.opb.pre'
0.00/0.01 c wrote 0.00MB (0.05ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.11ms 30.77% parse
0.00/0.01 c 0.07ms 20.69% approx_orbits
0.00/0.01 c 0.05ms 14.89% output
0.00/0.01 c 0.04ms 12.47% other
0.00/0.01 c 0.04ms 11.54% detect_generic
0.00/0.01 c 0.03ms 8.44% detect_special
0.00/0.01 c 0.00ms 1.20% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 0.36ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 70 #constraints 2
0.00/0.02 c rational objective 1.19422
0.08/0.17 c #Conflicts: 1000 | #Constraints: 1093
0.08/0.17 c #Conflicts: 2000 | #Constraints: 2145
0.08/0.17 c INPROCESSING
0.08/0.17 c GARBAGE COLLECT
0.08/0.17 c rational objective 2
0.38/0.45 c #Conflicts: 3000 | #Constraints: 2170
0.38/0.45 c #Conflicts: 4000 | #Constraints: 3257
0.38/0.45 c INPROCESSING
0.38/0.45 c GARBAGE COLLECT
0.38/0.45 c rational objective 2
0.67/0.79 c #Conflicts: 5000 | #Constraints: 2587
0.67/0.79 c #Conflicts: 6000 | #Constraints: 3668
0.67/0.79 c INPROCESSING
0.67/0.79 c GARBAGE COLLECT
0.67/0.79 c rational objective 2
1.17/1.29 c #Conflicts: 7000 | #Constraints: 2605
1.17/1.29 c #Conflicts: 8000 | #Constraints: 3690
1.17/1.29 c #Conflicts: 9000 | #Constraints: 4779
1.17/1.29 c INPROCESSING
1.17/1.29 c GARBAGE COLLECT
1.17/1.29 c rational objective 2
1.77/1.89 c #Conflicts: 10000 | #Constraints: 3638
1.77/1.89 c #Conflicts: 11000 | #Constraints: 4696
1.77/1.89 c #Conflicts: 12000 | #Constraints: 5774
1.77/1.89 c INPROCESSING
1.77/1.89 c GARBAGE COLLECT
1.77/1.89 c rational objective 2
2.37/2.46 c #Conflicts: 13000 | #Constraints: 3897
2.37/2.46 c #Conflicts: 14000 | #Constraints: 4897
2.37/2.46 c #Conflicts: 15000 | #Constraints: 5897
2.37/2.46 c INPROCESSING
2.37/2.46 c GARBAGE COLLECT
2.37/2.46 c rational objective 2
3.07/3.13 c #Conflicts: 16000 | #Constraints: 4035
3.07/3.13 c #Conflicts: 17000 | #Constraints: 5137
3.07/3.13 c #Conflicts: 18000 | #Constraints: 6233
3.07/3.13 c INPROCESSING
3.07/3.13 c GARBAGE COLLECT
3.07/3.13 c rational objective 2
3.77/3.84 c #Conflicts: 19000 | #Constraints: 4030
3.77/3.84 c #Conflicts: 20000 | #Constraints: 5030
3.77/3.84 c #Conflicts: 21000 | #Constraints: 6050
3.77/3.84 c INPROCESSING
3.77/3.84 c GARBAGE COLLECT
3.77/3.84 c rational objective 2.00382
4.56/4.70 c #Conflicts: 22000 | #Constraints: 3758
4.56/4.70 c #Conflicts: 23000 | #Constraints: 4758
4.56/4.70 c #Conflicts: 24000 | #Constraints: 5758
4.56/4.70 c #Conflicts: 25000 | #Constraints: 6758
4.56/4.70 c INPROCESSING
4.56/4.70 c GARBAGE COLLECT
4.56/4.70 c rational objective 2.00001
5.66/5.72 c #Conflicts: 26000 | #Constraints: 4351
5.66/5.72 c #Conflicts: 27000 | #Constraints: 5364
5.66/5.72 c #Conflicts: 28000 | #Constraints: 6370
5.66/5.72 c #Conflicts: 29000 | #Constraints: 7370
5.66/5.72 c INPROCESSING
5.66/5.72 c GARBAGE COLLECT
5.66/5.72 c rational objective 2.00001
6.76/6.83 c #Conflicts: 30000 | #Constraints: 4761
6.76/6.83 c #Conflicts: 31000 | #Constraints: 5761
6.76/6.83 c #Conflicts: 32000 | #Constraints: 6761
6.76/6.83 c #Conflicts: 33000 | #Constraints: 7761
6.76/6.83 c INPROCESSING
6.76/6.83 c GARBAGE COLLECT
6.76/6.83 c rational objective 2.00001
7.86/7.94 c #Conflicts: 34000 | #Constraints: 4899
7.86/7.94 c #Conflicts: 35000 | #Constraints: 5944
7.86/7.94 c #Conflicts: 36000 | #Constraints: 7024
7.86/7.94 c #Conflicts: 37000 | #Constraints: 8138
7.86/7.94 c INPROCESSING
7.86/7.94 c GARBAGE COLLECT
7.86/7.94 c rational objective 2.00001
9.15/9.22 c #Conflicts: 38000 | #Constraints: 5055
9.15/9.22 c #Conflicts: 39000 | #Constraints: 6067
9.15/9.22 c #Conflicts: 40000 | #Constraints: 7067
9.15/9.22 c #Conflicts: 41000 | #Constraints: 8067
9.15/9.22 c INPROCESSING
9.15/9.22 c GARBAGE COLLECT
9.15/9.22 c rational objective 2.00001
10.54/10.68 c #Conflicts: 42000 | #Constraints: 4776
10.54/10.68 c #Conflicts: 43000 | #Constraints: 5828
10.54/10.68 c #Conflicts: 44000 | #Constraints: 6828
10.54/10.68 c #Conflicts: 45000 | #Constraints: 7828
10.54/10.68 c #Conflicts: 46000 | #Constraints: 8828
10.54/10.68 c INPROCESSING
10.54/10.68 c GARBAGE COLLECT
10.54/10.68 c rational objective 2.00001
12.35/12.40 c #Conflicts: 47000 | #Constraints: 5370
12.35/12.40 c #Conflicts: 48000 | #Constraints: 6381
12.35/12.40 c #Conflicts: 49000 | #Constraints: 7381
12.35/12.40 c #Conflicts: 50000 | #Constraints: 8381
12.35/12.40 c #Conflicts: 51000 | #Constraints: 9381
12.35/12.40 c INPROCESSING
12.35/12.40 c GARBAGE COLLECT
12.35/12.40 c rational objective 2.00001
14.13/14.21 c #Conflicts: 52000 | #Constraints: 5780
14.13/14.21 c #Conflicts: 53000 | #Constraints: 6852
14.13/14.21 c #Conflicts: 54000 | #Constraints: 7885
14.13/14.21 c #Conflicts: 55000 | #Constraints: 8885
14.13/14.21 c #Conflicts: 56000 | #Constraints: 9885
14.13/14.21 c INPROCESSING
14.13/14.21 c GARBAGE COLLECT
14.13/14.21 c rational objective 2.00001
15.94/16.00 c #Conflicts: 57000 | #Constraints: 6084
15.94/16.00 c #Conflicts: 58000 | #Constraints: 7131
15.94/16.00 c #Conflicts: 59000 | #Constraints: 8131
15.94/16.00 c #Conflicts: 60000 | #Constraints: 9131
15.94/16.00 c #Conflicts: 61000 | #Constraints: 10131
15.94/16.00 c INPROCESSING
15.94/16.00 c GARBAGE COLLECT
15.94/16.00 c rational objective 2.00001
17.83/17.93 c #Conflicts: 62000 | #Constraints: 6017
17.83/17.93 c #Conflicts: 63000 | #Constraints: 7022
17.83/17.93 c #Conflicts: 64000 | #Constraints: 8022
17.83/17.93 c #Conflicts: 65000 | #Constraints: 9022
17.83/17.93 c #Conflicts: 66000 | #Constraints: 10022
17.83/17.93 c INPROCESSING
17.83/17.93 c GARBAGE COLLECT
17.83/17.93 c rational objective 2.00001
19.93/20.08 c #Conflicts: 67000 | #Constraints: 5750
19.93/20.08 c #Conflicts: 68000 | #Constraints: 6779
19.93/20.08 c #Conflicts: 69000 | #Constraints: 7779
19.93/20.08 c #Conflicts: 70000 | #Constraints: 8779
19.93/20.08 c #Conflicts: 71000 | #Constraints: 9779
19.93/20.08 c #Conflicts: 72000 | #Constraints: 10779
19.93/20.08 c INPROCESSING
19.93/20.08 c GARBAGE COLLECT
19.93/20.08 c rational objective 2.00001
22.11/22.28 c #Conflicts: 73000 | #Constraints: 6377
22.11/22.28 c #Conflicts: 74000 | #Constraints: 7452
22.11/22.28 c #Conflicts: 75000 | #Constraints: 8452
22.11/22.28 c #Conflicts: 76000 | #Constraints: 9452
22.11/22.28 c #Conflicts: 77000 | #Constraints: 10464
22.11/22.28 c #Conflicts: 78000 | #Constraints: 11585
22.11/22.28 c INPROCESSING
22.11/22.28 c GARBAGE COLLECT
22.11/22.28 c rational objective 2.00001
24.31/24.48 c #Conflicts: 79000 | #Constraints: 6862
24.31/24.48 c #Conflicts: 80000 | #Constraints: 7862
24.31/24.48 c #Conflicts: 81000 | #Constraints: 8862
24.31/24.48 c #Conflicts: 82000 | #Constraints: 9862
24.31/24.48 c #Conflicts: 83000 | #Constraints: 10862
24.31/24.48 c #Conflicts: 84000 | #Constraints: 11862
24.31/24.48 c INPROCESSING
24.31/24.48 c GARBAGE COLLECT
24.31/24.48 c rational objective 2.00001
26.71/26.89 c #Conflicts: 85000 | #Constraints: 7036
26.71/26.89 c #Conflicts: 86000 | #Constraints: 8076
26.71/26.89 c #Conflicts: 87000 | #Constraints: 9076
26.71/26.89 c #Conflicts: 88000 | #Constraints: 10076
26.71/26.89 c #Conflicts: 89000 | #Constraints: 11076
26.71/26.89 c #Conflicts: 90000 | #Constraints: 12076
26.71/26.89 c INPROCESSING
26.71/26.89 c GARBAGE COLLECT
26.71/26.89 c rational objective 2.00001
29.10/29.29 c #Conflicts: 91000 | #Constraints: 6990
29.10/29.29 c #Conflicts: 92000 | #Constraints: 8079
29.10/29.29 c #Conflicts: 93000 | #Constraints: 9082
29.10/29.29 c #Conflicts: 94000 | #Constraints: 10082
29.10/29.29 c #Conflicts: 95000 | #Constraints: 11082
29.10/29.29 c #Conflicts: 96000 | #Constraints: 12082
29.10/29.29 c INPROCESSING
29.10/29.29 c GARBAGE COLLECT
29.10/29.29 c rational objective 2.00001
31.90/32.03 c #Conflicts: 97000 | #Constraints: 6778
31.90/32.03 c #Conflicts: 98000 | #Constraints: 7781
31.90/32.03 c #Conflicts: 99000 | #Constraints: 8781
31.90/32.03 c #Conflicts: 100000 | #Constraints: 9781
31.90/32.03 c #Conflicts: 101000 | #Constraints: 10781
31.90/32.03 c #Conflicts: 102000 | #Constraints: 11781
31.90/32.03 c #Conflicts: 103000 | #Constraints: 12781
31.90/32.03 c INPROCESSING
31.90/32.03 c GARBAGE COLLECT
31.90/32.03 c rational objective 2.00001
34.69/34.83 c #Conflicts: 104000 | #Constraints: 7348
34.69/34.83 c #Conflicts: 105000 | #Constraints: 8348
34.69/34.83 c #Conflicts: 106000 | #Constraints: 9348
34.69/34.83 c #Conflicts: 107000 | #Constraints: 10348
34.69/34.83 c #Conflicts: 108000 | #Constraints: 11348
34.69/34.83 c #Conflicts: 109000 | #Constraints: 12406
34.69/34.83 c #Conflicts: 110000 | #Constraints: 13585
34.69/34.83 c INPROCESSING
34.69/34.83 c GARBAGE COLLECT
34.69/34.83 c rational objective 2.00001
37.28/37.40 c #Conflicts: 111000 | #Constraints: 7893
37.28/37.40 c #Conflicts: 112000 | #Constraints: 8902
37.28/37.40 c #Conflicts: 113000 | #Constraints: 9902
37.28/37.40 c #Conflicts: 114000 | #Constraints: 10902
37.28/37.40 c #Conflicts: 115000 | #Constraints: 11902
37.28/37.40 c #Conflicts: 116000 | #Constraints: 12902
37.28/37.40 c #Conflicts: 117000 | #Constraints: 13902
37.28/37.40 c INPROCESSING
37.28/37.40 c GARBAGE COLLECT
37.28/37.40 c rational objective 2.00001
40.17/40.34 c #Conflicts: 118000 | #Constraints: 8047
40.17/40.34 c #Conflicts: 119000 | #Constraints: 9144
40.17/40.34 c #Conflicts: 120000 | #Constraints: 10236
40.17/40.34 c #Conflicts: 121000 | #Constraints: 11340
40.17/40.34 c #Conflicts: 122000 | #Constraints: 12446
40.17/40.34 c #Conflicts: 123000 | #Constraints: 13449
40.17/40.34 c #Conflicts: 124000 | #Constraints: 14449
40.17/40.34 c INPROCESSING
40.17/40.34 c GARBAGE COLLECT
40.17/40.34 c rational objective 2.00001
43.07/43.26 c #Conflicts: 125000 | #Constraints: 8185
43.07/43.26 c #Conflicts: 126000 | #Constraints: 9185
43.07/43.26 c #Conflicts: 127000 | #Constraints: 10185
43.07/43.26 c #Conflicts: 128000 | #Constraints: 11185
43.07/43.26 c #Conflicts: 129000 | #Constraints: 12185
43.07/43.26 c #Conflicts: 130000 | #Constraints: 13185
43.07/43.26 c #Conflicts: 131000 | #Constraints: 14196
43.07/43.26 c INPROCESSING
43.07/43.26 c GARBAGE COLLECT
43.07/43.26 c rational objective 2.00001
46.25/46.49 c #Conflicts: 132000 | #Constraints: 7859
46.25/46.49 c #Conflicts: 133000 | #Constraints: 8860
46.25/46.49 c #Conflicts: 134000 | #Constraints: 9860
46.25/46.49 c #Conflicts: 135000 | #Constraints: 10860
46.25/46.49 c #Conflicts: 136000 | #Constraints: 11860
46.25/46.49 c #Conflicts: 137000 | #Constraints: 12860
46.25/46.49 c #Conflicts: 138000 | #Constraints: 13860
46.25/46.49 c #Conflicts: 139000 | #Constraints: 14860
46.25/46.49 c INPROCESSING
46.25/46.49 c GARBAGE COLLECT
46.25/46.49 c rational objective 2.00001
49.86/50.01 c #Conflicts: 140000 | #Constraints: 8392
49.86/50.01 c #Conflicts: 141000 | #Constraints: 9396
49.86/50.01 c #Conflicts: 142000 | #Constraints: 10396
49.86/50.01 c #Conflicts: 143000 | #Constraints: 11396
49.86/50.01 c #Conflicts: 144000 | #Constraints: 12396
49.86/50.01 c #Conflicts: 145000 | #Constraints: 13396
49.86/50.01 c #Conflicts: 146000 | #Constraints: 14396
49.86/50.01 c #Conflicts: 147000 | #Constraints: 15401
49.86/50.01 c INPROCESSING
49.86/50.01 c GARBAGE COLLECT
49.86/50.01 c rational objective 2.00001
53.34/53.54 c #Conflicts: 148000 | #Constraints: 8760
53.34/53.54 c #Conflicts: 149000 | #Constraints: 9760
53.34/53.54 c #Conflicts: 150000 | #Constraints: 10760
53.34/53.54 c #Conflicts: 151000 | #Constraints: 11760
53.34/53.54 c #Conflicts: 152000 | #Constraints: 12760
53.34/53.54 c #Conflicts: 153000 | #Constraints: 13760
53.34/53.54 c #Conflicts: 154000 | #Constraints: 14760
53.34/53.54 c #Conflicts: 155000 | #Constraints: 15760
53.34/53.54 c INPROCESSING
53.34/53.54 c GARBAGE COLLECT
53.34/53.54 c rational objective 2.00001
58.02/58.24 c #Conflicts: 156000 | #Constraints: 8940
58.02/58.24 c #Conflicts: 157000 | #Constraints: 9965
58.02/58.24 c #Conflicts: 158000 | #Constraints: 10965
58.02/58.24 c #Conflicts: 159000 | #Constraints: 11965
58.02/58.24 c #Conflicts: 160000 | #Constraints: 12965
58.02/58.24 c #Conflicts: 161000 | #Constraints: 13965
58.02/58.24 c #Conflicts: 162000 | #Constraints: 14965
58.02/58.24 c #Conflicts: 163000 | #Constraints: 15965
58.02/58.24 c INPROCESSING
58.02/58.24 c GARBAGE COLLECT
58.02/58.24 c rational objective 2.00001
62.01/62.24 c #Conflicts: 164000 | #Constraints: 8902
62.01/62.24 c #Conflicts: 165000 | #Constraints: 9902
62.01/62.24 c #Conflicts: 166000 | #Constraints: 10902
62.01/62.24 c #Conflicts: 167000 | #Constraints: 11902
62.01/62.24 c #Conflicts: 168000 | #Constraints: 12902
62.01/62.24 c #Conflicts: 169000 | #Constraints: 13902
62.01/62.24 c #Conflicts: 170000 | #Constraints: 14902
62.01/62.24 c #Conflicts: 171000 | #Constraints: 15902
62.01/62.24 c INPROCESSING
62.01/62.24 c GARBAGE COLLECT
62.01/62.24 c rational objective 2.00001
66.40/66.63 c #Conflicts: 172000 | #Constraints: 8708
66.40/66.63 c #Conflicts: 173000 | #Constraints: 9860
66.40/66.63 c #Conflicts: 174000 | #Constraints: 10892
66.40/66.63 c #Conflicts: 175000 | #Constraints: 11892
66.40/66.63 c #Conflicts: 176000 | #Constraints: 12892
66.40/66.63 c #Conflicts: 177000 | #Constraints: 13892
66.40/66.63 c #Conflicts: 178000 | #Constraints: 14892
66.40/66.63 c #Conflicts: 179000 | #Constraints: 15892
66.40/66.63 c #Conflicts: 180000 | #Constraints: 16892
66.40/66.63 c INPROCESSING
66.40/66.63 c GARBAGE COLLECT
66.40/66.63 c rational objective 2.00001
71.00/71.22 c #Conflicts: 181000 | #Constraints: 9350
71.00/71.22 c #Conflicts: 182000 | #Constraints: 10350
71.00/71.22 c #Conflicts: 183000 | #Constraints: 11350
71.00/71.22 c #Conflicts: 184000 | #Constraints: 12350
71.00/71.22 c #Conflicts: 185000 | #Constraints: 13350
71.00/71.22 c #Conflicts: 186000 | #Constraints: 14350
71.00/71.22 c #Conflicts: 187000 | #Constraints: 15350
71.00/71.22 c #Conflicts: 188000 | #Constraints: 16350
71.00/71.22 c #Conflicts: 189000 | #Constraints: 17350
71.00/71.22 c INPROCESSING
71.00/71.22 c GARBAGE COLLECT
71.00/71.22 c rational objective 2.00001
76.68/76.91 c #Conflicts: 190000 | #Constraints: 9749
76.68/76.91 c #Conflicts: 191000 | #Constraints: 10854
76.68/76.91 c #Conflicts: 192000 | #Constraints: 11917
76.68/76.91 c #Conflicts: 193000 | #Constraints: 12917
76.68/76.91 c #Conflicts: 194000 | #Constraints: 13917
76.68/76.91 c #Conflicts: 195000 | #Constraints: 14917
76.68/76.91 c #Conflicts: 196000 | #Constraints: 15917
76.68/76.91 c #Conflicts: 197000 | #Constraints: 16917
76.68/76.91 c #Conflicts: 198000 | #Constraints: 17917
76.68/76.91 c INPROCESSING
76.68/76.91 c GARBAGE COLLECT
76.68/76.91 c rational objective 2.00001
81.87/82.16 c #Conflicts: 199000 | #Constraints: 10013
81.87/82.16 c #Conflicts: 200000 | #Constraints: 11013
81.87/82.16 c #Conflicts: 201000 | #Constraints: 12013
81.87/82.16 c #Conflicts: 202000 | #Constraints: 13013
81.87/82.16 c #Conflicts: 203000 | #Constraints: 14013
81.87/82.16 c #Conflicts: 204000 | #Constraints: 15013
81.87/82.16 c #Conflicts: 205000 | #Constraints: 16013
81.87/82.16 c #Conflicts: 206000 | #Constraints: 17013
81.87/82.16 c #Conflicts: 207000 | #Constraints: 18013
81.87/82.16 c INPROCESSING
81.87/82.16 c GARBAGE COLLECT
81.87/82.16 c rational objective 2.00001
86.56/86.88 c #Conflicts: 208000 | #Constraints: 9935
86.56/86.88 c #Conflicts: 209000 | #Constraints: 10935
86.56/86.88 c #Conflicts: 210000 | #Constraints: 11935
86.56/86.88 c #Conflicts: 211000 | #Constraints: 12935
86.56/86.88 c #Conflicts: 212000 | #Constraints: 13935
86.56/86.88 c #Conflicts: 213000 | #Constraints: 14935
86.56/86.88 c #Conflicts: 214000 | #Constraints: 15935
86.56/86.88 c #Conflicts: 215000 | #Constraints: 16935
86.56/86.88 c #Conflicts: 216000 | #Constraints: 17935
86.56/86.88 c INPROCESSING
86.56/86.88 c GARBAGE COLLECT
86.56/86.88 c rational objective 2.00001
92.75/93.08 c #Conflicts: 217000 | #Constraints: 9718
92.75/93.08 c #Conflicts: 218000 | #Constraints: 10840
92.75/93.08 c #Conflicts: 219000 | #Constraints: 11951
92.75/93.08 c #Conflicts: 220000 | #Constraints: 12956
92.75/93.08 c #Conflicts: 221000 | #Constraints: 13956
92.75/93.08 c #Conflicts: 222000 | #Constraints: 14956
92.75/93.08 c #Conflicts: 223000 | #Constraints: 15956
92.75/93.08 c #Conflicts: 224000 | #Constraints: 16956
92.75/93.08 c #Conflicts: 225000 | #Constraints: 17956
92.75/93.08 c #Conflicts: 226000 | #Constraints: 18956
92.75/93.08 c INPROCESSING
92.75/93.08 c GARBAGE COLLECT
92.75/93.08 c rational objective 2.00001
99.33/99.63 c #Conflicts: 227000 | #Constraints: 10460
99.33/99.63 c #Conflicts: 228000 | #Constraints: 11572
99.33/99.63 c #Conflicts: 229000 | #Constraints: 12654
99.33/99.63 c #Conflicts: 230000 | #Constraints: 13760
99.33/99.63 c #Conflicts: 231000 | #Constraints: 14857
99.33/99.63 c #Conflicts: 232000 | #Constraints: 15866
99.33/99.63 c #Conflicts: 233000 | #Constraints: 16866
99.33/99.63 c #Conflicts: 234000 | #Constraints: 17866
99.33/99.63 c #Conflicts: 235000 | #Constraints: 18866
99.33/99.63 c #Conflicts: 236000 | #Constraints: 19866
99.33/99.63 c INPROCESSING
99.33/99.63 c GARBAGE COLLECT
99.33/99.63 c rational objective 2.00001
104.91/105.28 c #Conflicts: 237000 | #Constraints: 10963
104.91/105.28 c #Conflicts: 238000 | #Constraints: 11963
104.91/105.28 c #Conflicts: 239000 | #Constraints: 12963
104.91/105.28 c #Conflicts: 240000 | #Constraints: 13963
104.91/105.28 c #Conflicts: 241000 | #Constraints: 14963
104.91/105.28 c #Conflicts: 242000 | #Constraints: 15963
104.91/105.28 c #Conflicts: 243000 | #Constraints: 16963
104.91/105.28 c #Conflicts: 244000 | #Constraints: 17963
104.91/105.28 c #Conflicts: 245000 | #Constraints: 18963
104.91/105.28 c #Conflicts: 246000 | #Constraints: 19963
104.91/105.28 c INPROCESSING
104.91/105.28 c GARBAGE COLLECT
104.91/105.28 c rational objective 2.00001
111.39/111.76 c #Conflicts: 247000 | #Constraints: 11035
111.39/111.76 c #Conflicts: 248000 | #Constraints: 12105
111.39/111.76 c #Conflicts: 249000 | #Constraints: 13166
111.39/111.76 c #Conflicts: 250000 | #Constraints: 14229
111.39/111.76 c #Conflicts: 251000 | #Constraints: 15232
111.39/111.76 c #Conflicts: 252000 | #Constraints: 16232
111.39/111.76 c #Conflicts: 253000 | #Constraints: 17232
111.39/111.76 c #Conflicts: 254000 | #Constraints: 18232
111.39/111.76 c #Conflicts: 255000 | #Constraints: 19232
111.39/111.76 c #Conflicts: 256000 | #Constraints: 20232
111.39/111.76 c INPROCESSING
111.39/111.76 c GARBAGE COLLECT
111.39/111.76 c rational objective 2.00001
117.78/118.15 c #Conflicts: 257000 | #Constraints: 11023
117.78/118.15 c #Conflicts: 258000 | #Constraints: 12023
117.78/118.15 c #Conflicts: 259000 | #Constraints: 13023
117.78/118.15 c #Conflicts: 260000 | #Constraints: 14023
117.78/118.15 c #Conflicts: 261000 | #Constraints: 15023
117.78/118.15 c #Conflicts: 262000 | #Constraints: 16023
117.78/118.15 c #Conflicts: 263000 | #Constraints: 17023
117.78/118.15 c #Conflicts: 264000 | #Constraints: 18023
117.78/118.15 c #Conflicts: 265000 | #Constraints: 19023
117.78/118.15 c #Conflicts: 266000 | #Constraints: 20023
117.78/118.15 c INPROCESSING
117.78/118.15 c GARBAGE COLLECT
117.78/118.15 c rational objective 2.00001
124.76/125.12 c #Conflicts: 267000 | #Constraints: 10731
124.76/125.12 c #Conflicts: 268000 | #Constraints: 11731
124.76/125.12 c #Conflicts: 269000 | #Constraints: 12731
124.76/125.12 c #Conflicts: 270000 | #Constraints: 13731
124.76/125.12 c #Conflicts: 271000 | #Constraints: 14731
124.76/125.12 c #Conflicts: 272000 | #Constraints: 15731
124.76/125.12 c #Conflicts: 273000 | #Constraints: 16731
124.76/125.12 c #Conflicts: 274000 | #Constraints: 17731
124.76/125.12 c #Conflicts: 275000 | #Constraints: 18731
124.76/125.12 c #Conflicts: 276000 | #Constraints: 19731
124.76/125.12 c #Conflicts: 277000 | #Constraints: 20731
124.76/125.12 c INPROCESSING
124.76/125.12 c GARBAGE COLLECT
124.76/125.12 c rational objective 2.00001
131.64/132.01 c #Conflicts: 278000 | #Constraints: 11355
131.64/132.01 c #Conflicts: 279000 | #Constraints: 12355
131.64/132.01 c #Conflicts: 280000 | #Constraints: 13355
131.64/132.01 c #Conflicts: 281000 | #Constraints: 14355
131.64/132.01 c #Conflicts: 282000 | #Constraints: 15355
131.64/132.01 c #Conflicts: 283000 | #Constraints: 16355
131.64/132.01 c #Conflicts: 284000 | #Constraints: 17355
131.64/132.01 c #Conflicts: 285000 | #Constraints: 18355
131.64/132.01 c #Conflicts: 286000 | #Constraints: 19355
131.64/132.01 c #Conflicts: 287000 | #Constraints: 20355
131.64/132.01 c #Conflicts: 288000 | #Constraints: 21355
131.64/132.01 c INPROCESSING
131.64/132.01 c GARBAGE COLLECT
131.64/132.01 c rational objective 2.00001
138.72/139.17 c #Conflicts: 289000 | #Constraints: 11725
138.72/139.17 c #Conflicts: 290000 | #Constraints: 12725
138.72/139.17 c #Conflicts: 291000 | #Constraints: 13725
138.72/139.17 c #Conflicts: 292000 | #Constraints: 14725
138.72/139.17 c #Conflicts: 293000 | #Constraints: 15725
138.72/139.17 c #Conflicts: 294000 | #Constraints: 16725
138.72/139.17 c #Conflicts: 295000 | #Constraints: 17725
138.72/139.17 c #Conflicts: 296000 | #Constraints: 18725
138.72/139.17 c #Conflicts: 297000 | #Constraints: 19725
138.72/139.17 c #Conflicts: 298000 | #Constraints: 20725
138.72/139.17 c #Conflicts: 299000 | #Constraints: 21725
138.72/139.17 c INPROCESSING
138.72/139.17 c GARBAGE COLLECT
138.72/139.17 c rational objective 2.00001
146.20/146.67 c #Conflicts: 300000 | #Constraints: 11908
146.20/146.67 c #Conflicts: 301000 | #Constraints: 12908
146.20/146.67 c #Conflicts: 302000 | #Constraints: 13908
146.20/146.67 c #Conflicts: 303000 | #Constraints: 14908
146.20/146.67 c #Conflicts: 304000 | #Constraints: 15908
146.20/146.67 c #Conflicts: 305000 | #Constraints: 16908
146.20/146.67 c #Conflicts: 306000 | #Constraints: 17908
146.20/146.67 c #Conflicts: 307000 | #Constraints: 18908
146.20/146.67 c #Conflicts: 308000 | #Constraints: 19908
146.20/146.67 c #Conflicts: 309000 | #Constraints: 20908
146.20/146.67 c #Conflicts: 310000 | #Constraints: 21908
146.20/146.67 c INPROCESSING
146.20/146.67 c GARBAGE COLLECT
146.20/146.67 c rational objective 2.00001
154.48/154.95 c #Conflicts: 311000 | #Constraints: 11904
154.48/154.95 c #Conflicts: 312000 | #Constraints: 12904
154.48/154.95 c #Conflicts: 313000 | #Constraints: 13904
154.48/154.95 c #Conflicts: 314000 | #Constraints: 14904
154.48/154.95 c #Conflicts: 315000 | #Constraints: 15904
154.48/154.95 c #Conflicts: 316000 | #Constraints: 16904
154.48/154.95 c #Conflicts: 317000 | #Constraints: 17904
154.48/154.95 c #Conflicts: 318000 | #Constraints: 18904
154.48/154.95 c #Conflicts: 319000 | #Constraints: 19904
154.48/154.95 c #Conflicts: 320000 | #Constraints: 20904
154.48/154.95 c #Conflicts: 321000 | #Constraints: 21904
154.48/154.95 c INPROCESSING
154.48/154.95 c GARBAGE COLLECT
154.48/154.95 c rational objective 2.00001
162.76/163.27 c #Conflicts: 322000 | #Constraints: 11663
162.76/163.27 c #Conflicts: 323000 | #Constraints: 12663
162.76/163.27 c #Conflicts: 324000 | #Constraints: 13663
162.76/163.27 c #Conflicts: 325000 | #Constraints: 14663
162.76/163.27 c #Conflicts: 326000 | #Constraints: 15663
162.76/163.27 c #Conflicts: 327000 | #Constraints: 16663
162.76/163.27 c #Conflicts: 328000 | #Constraints: 17663
162.76/163.27 c #Conflicts: 329000 | #Constraints: 18663
162.76/163.27 c #Conflicts: 330000 | #Constraints: 19663
162.76/163.27 c #Conflicts: 331000 | #Constraints: 20663
162.76/163.27 c #Conflicts: 332000 | #Constraints: 21663
162.76/163.27 c #Conflicts: 333000 | #Constraints: 22663
162.76/163.27 c INPROCESSING
162.76/163.27 c GARBAGE COLLECT
162.76/163.27 c rational objective 2.00001
171.04/171.52 c #Conflicts: 334000 | #Constraints: 12349
171.04/171.52 c #Conflicts: 335000 | #Constraints: 13458
171.04/171.52 c #Conflicts: 336000 | #Constraints: 14458
171.04/171.52 c #Conflicts: 337000 | #Constraints: 15458
171.04/171.52 c #Conflicts: 338000 | #Constraints: 16458
171.04/171.52 c #Conflicts: 339000 | #Constraints: 17458
171.04/171.52 c #Conflicts: 340000 | #Constraints: 18458
171.04/171.52 c #Conflicts: 341000 | #Constraints: 19458
171.04/171.52 c #Conflicts: 342000 | #Constraints: 20458
171.04/171.52 c #Conflicts: 343000 | #Constraints: 21458
171.04/171.52 c #Conflicts: 344000 | #Constraints: 22458
171.04/171.52 c #Conflicts: 345000 | #Constraints: 23458
171.04/171.52 c INPROCESSING
171.04/171.52 c GARBAGE COLLECT
171.04/171.52 c rational objective 2.00001
180.91/181.43 c #Conflicts: 346000 | #Constraints: 12754
180.91/181.43 c #Conflicts: 347000 | #Constraints: 13754
180.91/181.43 c #Conflicts: 348000 | #Constraints: 14754
180.91/181.43 c #Conflicts: 349000 | #Constraints: 15754
180.91/181.43 c #Conflicts: 350000 | #Constraints: 16754
180.91/181.43 c #Conflicts: 351000 | #Constraints: 17754
180.91/181.43 c #Conflicts: 352000 | #Constraints: 18754
180.91/181.43 c #Conflicts: 353000 | #Constraints: 19754
180.91/181.43 c #Conflicts: 354000 | #Constraints: 20754
180.91/181.43 c #Conflicts: 355000 | #Constraints: 21754
180.91/181.43 c #Conflicts: 356000 | #Constraints: 22754
180.91/181.43 c #Conflicts: 357000 | #Constraints: 23754
180.91/181.43 c INPROCESSING
180.91/181.43 c GARBAGE COLLECT
180.91/181.43 c rational objective 2.00001
189.99/190.51 c #Conflicts: 358000 | #Constraints: 12887
189.99/190.51 c #Conflicts: 359000 | #Constraints: 13887
189.99/190.51 c #Conflicts: 360000 | #Constraints: 14887
189.99/190.51 c #Conflicts: 361000 | #Constraints: 15887
189.99/190.51 c #Conflicts: 362000 | #Constraints: 16887
189.99/190.51 c #Conflicts: 363000 | #Constraints: 17887
189.99/190.51 c #Conflicts: 364000 | #Constraints: 18887
189.99/190.51 c #Conflicts: 365000 | #Constraints: 19887
189.99/190.51 c #Conflicts: 366000 | #Constraints: 20887
189.99/190.51 c #Conflicts: 367000 | #Constraints: 21887
189.99/190.51 c #Conflicts: 368000 | #Constraints: 22887
189.99/190.51 c #Conflicts: 369000 | #Constraints: 23887
189.99/190.51 c INPROCESSING
189.99/190.51 c GARBAGE COLLECT
189.99/190.51 c rational objective 2.00001
200.46/201.01 c #Conflicts: 370000 | #Constraints: 12907
200.46/201.01 c #Conflicts: 371000 | #Constraints: 13934
200.46/201.01 c #Conflicts: 372000 | #Constraints: 14934
200.46/201.01 c #Conflicts: 373000 | #Constraints: 15934
200.46/201.01 c #Conflicts: 374000 | #Constraints: 16934
200.46/201.01 c #Conflicts: 375000 | #Constraints: 17934
200.46/201.01 c #Conflicts: 376000 | #Constraints: 18934
200.46/201.01 c #Conflicts: 377000 | #Constraints: 19934
200.46/201.01 c #Conflicts: 378000 | #Constraints: 20934
200.46/201.01 c #Conflicts: 379000 | #Constraints: 21934
200.46/201.01 c #Conflicts: 380000 | #Constraints: 22934
200.46/201.01 c #Conflicts: 381000 | #Constraints: 23934
200.46/201.01 c INPROCESSING
200.46/201.01 c GARBAGE COLLECT
200.46/201.01 c rational objective 2.00001
209.24/209.82 c #Conflicts: 382000 | #Constraints: 12694
209.24/209.82 c #Conflicts: 383000 | #Constraints: 13699
209.24/209.82 c #Conflicts: 384000 | #Constraints: 14699
209.24/209.82 c #Conflicts: 385000 | #Constraints: 15699
209.24/209.82 c #Conflicts: 386000 | #Constraints: 16699
209.24/209.82 c #Conflicts: 387000 | #Constraints: 17699
209.24/209.82 c #Conflicts: 388000 | #Constraints: 18699
209.24/209.82 c #Conflicts: 389000 | #Constraints: 19699
209.24/209.82 c #Conflicts: 390000 | #Constraints: 20699
209.24/209.82 c #Conflicts: 391000 | #Constraints: 21699
209.24/209.82 c #Conflicts: 392000 | #Constraints: 22699
209.24/209.82 c #Conflicts: 393000 | #Constraints: 23699
209.24/209.82 c #Conflicts: 394000 | #Constraints: 24699
209.24/209.82 c INPROCESSING
209.24/209.82 c GARBAGE COLLECT
209.24/209.82 c rational objective 2.00001
220.80/221.40 c #Conflicts: 395000 | #Constraints: 13336
220.80/221.40 c #Conflicts: 396000 | #Constraints: 14444
220.80/221.40 c #Conflicts: 397000 | #Constraints: 15494
220.80/221.40 c #Conflicts: 398000 | #Constraints: 16494
220.80/221.40 c #Conflicts: 399000 | #Constraints: 17494
220.80/221.40 c #Conflicts: 400000 | #Constraints: 18494
220.80/221.40 c #Conflicts: 401000 | #Constraints: 19494
220.80/221.40 c #Conflicts: 402000 | #Constraints: 20502
220.80/221.40 c #Conflicts: 403000 | #Constraints: 21502
220.80/221.40 c #Conflicts: 404000 | #Constraints: 22502
220.80/221.40 c #Conflicts: 405000 | #Constraints: 23502
220.80/221.40 c #Conflicts: 406000 | #Constraints: 24502
220.80/221.40 c #Conflicts: 407000 | #Constraints: 25502
220.80/221.40 c INPROCESSING
220.80/221.40 c GARBAGE COLLECT
220.80/221.40 c rational objective 2.00001
231.87/232.58 c #Conflicts: 408000 | #Constraints: 13759
231.87/232.58 c #Conflicts: 409000 | #Constraints: 14759
231.87/232.58 c #Conflicts: 410000 | #Constraints: 15759
231.87/232.58 c #Conflicts: 411000 | #Constraints: 16845
231.87/232.58 c #Conflicts: 412000 | #Constraints: 17989
231.87/232.58 c #Conflicts: 413000 | #Constraints: 19096
231.87/232.58 c #Conflicts: 414000 | #Constraints: 20195
231.87/232.58 c #Conflicts: 415000 | #Constraints: 21195
231.87/232.58 c #Conflicts: 416000 | #Constraints: 22195
231.87/232.58 c #Conflicts: 417000 | #Constraints: 23195
231.87/232.58 c #Conflicts: 418000 | #Constraints: 24195
231.87/232.58 c #Conflicts: 419000 | #Constraints: 25195
231.87/232.58 c #Conflicts: 420000 | #Constraints: 26195
231.87/232.58 c INPROCESSING
231.87/232.58 c GARBAGE COLLECT
231.87/232.58 c rational objective 2.00001
242.54/243.27 c #Conflicts: 421000 | #Constraints: 14162
242.54/243.27 c #Conflicts: 422000 | #Constraints: 15162
242.54/243.27 c #Conflicts: 423000 | #Constraints: 16162
242.54/243.27 c #Conflicts: 424000 | #Constraints: 17162
242.54/243.27 c #Conflicts: 425000 | #Constraints: 18162
242.54/243.27 c #Conflicts: 426000 | #Constraints: 19162
242.54/243.27 c #Conflicts: 427000 | #Constraints: 20162
242.54/243.27 c #Conflicts: 428000 | #Constraints: 21162
242.54/243.27 c #Conflicts: 429000 | #Constraints: 22162
242.54/243.27 c #Conflicts: 430000 | #Constraints: 23162
242.54/243.27 c #Conflicts: 431000 | #Constraints: 24162
242.54/243.27 c #Conflicts: 432000 | #Constraints: 25162
242.54/243.27 c #Conflicts: 433000 | #Constraints: 26162
242.54/243.27 c INPROCESSING
242.54/243.27 c GARBAGE COLLECT
242.54/243.27 c rational objective 2.00001
253.11/253.86 c #Conflicts: 434000 | #Constraints: 14035
253.11/253.86 c #Conflicts: 435000 | #Constraints: 15066
253.11/253.86 c #Conflicts: 436000 | #Constraints: 16066
253.11/253.86 c #Conflicts: 437000 | #Constraints: 17066
253.11/253.86 c #Conflicts: 438000 | #Constraints: 18066
253.11/253.86 c #Conflicts: 439000 | #Constraints: 19066
253.11/253.86 c #Conflicts: 440000 | #Constraints: 20066
253.11/253.86 c #Conflicts: 441000 | #Constraints: 21066
253.11/253.86 c #Conflicts: 442000 | #Constraints: 22066
253.11/253.86 c #Conflicts: 443000 | #Constraints: 23066
253.11/253.86 c #Conflicts: 444000 | #Constraints: 24066
253.11/253.86 c #Conflicts: 445000 | #Constraints: 25066
253.11/253.86 c #Conflicts: 446000 | #Constraints: 26066
253.11/253.86 c INPROCESSING
253.11/253.86 c GARBAGE COLLECT
253.11/253.86 c rational objective 2.00001
264.19/264.96 c #Conflicts: 447000 | #Constraints: 13769
264.19/264.96 c #Conflicts: 448000 | #Constraints: 14815
264.19/264.96 c #Conflicts: 449000 | #Constraints: 15815
264.19/264.96 c #Conflicts: 450000 | #Constraints: 16815
264.19/264.96 c #Conflicts: 451000 | #Constraints: 17815
264.19/264.96 c #Conflicts: 452000 | #Constraints: 18815
264.19/264.96 c #Conflicts: 453000 | #Constraints: 19815
264.19/264.96 c #Conflicts: 454000 | #Constraints: 20815
264.19/264.96 c #Conflicts: 455000 | #Constraints: 21815
264.19/264.96 c #Conflicts: 456000 | #Constraints: 22815
264.19/264.96 c #Conflicts: 457000 | #Constraints: 23815
264.19/264.96 c #Conflicts: 458000 | #Constraints: 24815
264.19/264.96 c #Conflicts: 459000 | #Constraints: 25815
264.19/264.96 c #Conflicts: 460000 | #Constraints: 26815
264.19/264.96 c INPROCESSING
264.19/264.96 c GARBAGE COLLECT
264.19/264.96 c rational objective 2.00001
275.95/276.78 c #Conflicts: 461000 | #Constraints: 14322
275.95/276.78 c #Conflicts: 462000 | #Constraints: 15322
275.95/276.78 c #Conflicts: 463000 | #Constraints: 16322
275.95/276.78 c #Conflicts: 464000 | #Constraints: 17322
275.95/276.78 c #Conflicts: 465000 | #Constraints: 18322
275.95/276.78 c #Conflicts: 466000 | #Constraints: 19322
275.95/276.78 c #Conflicts: 467000 | #Constraints: 20322
275.95/276.78 c #Conflicts: 468000 | #Constraints: 21322
275.95/276.78 c #Conflicts: 469000 | #Constraints: 22322
275.95/276.78 c #Conflicts: 470000 | #Constraints: 23322
275.95/276.78 c #Conflicts: 471000 | #Constraints: 24322
275.95/276.78 c #Conflicts: 472000 | #Constraints: 25322
275.95/276.78 c #Conflicts: 473000 | #Constraints: 26322
275.95/276.78 c #Conflicts: 474000 | #Constraints: 27322
275.95/276.78 c INPROCESSING
275.95/276.78 c GARBAGE COLLECT
275.95/276.78 c rational objective 2.00001
290.62/291.47 c #Conflicts: 475000 | #Constraints: 14682
290.62/291.47 c #Conflicts: 476000 | #Constraints: 15682
290.62/291.47 c #Conflicts: 477000 | #Constraints: 16682
290.62/291.47 c #Conflicts: 478000 | #Constraints: 17682
290.62/291.47 c #Conflicts: 479000 | #Constraints: 18682
290.62/291.47 c #Conflicts: 480000 | #Constraints: 19682
290.62/291.47 c #Conflicts: 481000 | #Constraints: 20682
290.62/291.47 c #Conflicts: 482000 | #Constraints: 21682
290.62/291.47 c #Conflicts: 483000 | #Constraints: 22682
290.62/291.47 c #Conflicts: 484000 | #Constraints: 23682
290.62/291.47 c #Conflicts: 485000 | #Constraints: 24682
290.62/291.47 c #Conflicts: 486000 | #Constraints: 25682
290.62/291.47 c #Conflicts: 487000 | #Constraints: 26682
290.62/291.47 c #Conflicts: 488000 | #Constraints: 27682
290.62/291.47 c INPROCESSING
290.62/291.47 c GARBAGE COLLECT
290.62/291.47 c rational objective 2.00001
302.19/303.04 c #Conflicts: 489000 | #Constraints: 14864
302.19/303.04 c #Conflicts: 490000 | #Constraints: 15864
302.19/303.04 c #Conflicts: 491000 | #Constraints: 16864
302.19/303.04 c #Conflicts: 492000 | #Constraints: 17864
302.19/303.04 c #Conflicts: 493000 | #Constraints: 18864
302.19/303.04 c #Conflicts: 494000 | #Constraints: 19864
302.19/303.04 c #Conflicts: 495000 | #Constraints: 20864
302.19/303.04 c #Conflicts: 496000 | #Constraints: 21864
302.19/303.04 c #Conflicts: 497000 | #Constraints: 22864
302.19/303.04 c #Conflicts: 498000 | #Constraints: 23864
302.19/303.04 c #Conflicts: 499000 | #Constraints: 24864
302.19/303.04 c #Conflicts: 500000 | #Constraints: 25864
302.19/303.04 c #Conflicts: 501000 | #Constraints: 26864
302.19/303.04 c #Conflicts: 502000 | #Constraints: 27864
302.19/303.04 c INPROCESSING
302.19/303.04 c GARBAGE COLLECT
302.19/303.04 c rational objective 2.00001
315.26/316.16 c #Conflicts: 503000 | #Constraints: 14849
315.26/316.16 c #Conflicts: 504000 | #Constraints: 15853
315.26/316.16 c #Conflicts: 505000 | #Constraints: 16853
315.26/316.16 c #Conflicts: 506000 | #Constraints: 17853
315.26/316.16 c #Conflicts: 507000 | #Constraints: 18853
315.26/316.16 c #Conflicts: 508000 | #Constraints: 19853
315.26/316.16 c #Conflicts: 509000 | #Constraints: 20853
315.26/316.16 c #Conflicts: 510000 | #Constraints: 21853
315.26/316.16 c #Conflicts: 511000 | #Constraints: 22853
315.26/316.16 c #Conflicts: 512000 | #Constraints: 23853
315.26/316.16 c #Conflicts: 513000 | #Constraints: 24853
315.26/316.16 c #Conflicts: 514000 | #Constraints: 25853
315.26/316.16 c #Conflicts: 515000 | #Constraints: 26853
315.26/316.16 c #Conflicts: 516000 | #Constraints: 27853
315.26/316.16 c INPROCESSING
315.26/316.16 c GARBAGE COLLECT
315.26/316.16 c rational objective 2.00001
329.61/330.58 c #Conflicts: 517000 | #Constraints: 14645
329.61/330.58 c #Conflicts: 518000 | #Constraints: 15645
329.61/330.58 c #Conflicts: 519000 | #Constraints: 16645
329.61/330.58 c #Conflicts: 520000 | #Constraints: 17645
329.61/330.58 c #Conflicts: 521000 | #Constraints: 18645
329.61/330.58 c #Conflicts: 522000 | #Constraints: 19645
329.61/330.58 c #Conflicts: 523000 | #Constraints: 20645
329.61/330.58 c #Conflicts: 524000 | #Constraints: 21645
329.61/330.58 c #Conflicts: 525000 | #Constraints: 22645
329.61/330.58 c #Conflicts: 526000 | #Constraints: 23645
329.61/330.58 c #Conflicts: 527000 | #Constraints: 24645
329.61/330.58 c #Conflicts: 528000 | #Constraints: 25645
329.61/330.58 c #Conflicts: 529000 | #Constraints: 26645
329.61/330.58 c #Conflicts: 530000 | #Constraints: 27645
329.61/330.58 c #Conflicts: 531000 | #Constraints: 28645
329.61/330.58 c INPROCESSING
329.61/330.58 c GARBAGE COLLECT
329.61/330.58 c rational objective 2.00001
343.28/344.24 c #Conflicts: 532000 | #Constraints: 15230
343.28/344.24 c #Conflicts: 533000 | #Constraints: 16230
343.28/344.24 c #Conflicts: 534000 | #Constraints: 17230
343.28/344.24 c #Conflicts: 535000 | #Constraints: 18230
343.28/344.24 c #Conflicts: 536000 | #Constraints: 19230
343.28/344.24 c #Conflicts: 537000 | #Constraints: 20230
343.28/344.24 c #Conflicts: 538000 | #Constraints: 21230
343.28/344.24 c #Conflicts: 539000 | #Constraints: 22230
343.28/344.24 c #Conflicts: 540000 | #Constraints: 23230
343.28/344.24 c #Conflicts: 541000 | #Constraints: 24230
343.28/344.24 c #Conflicts: 542000 | #Constraints: 25230
343.28/344.24 c #Conflicts: 543000 | #Constraints: 26230
343.28/344.24 c #Conflicts: 544000 | #Constraints: 27230
343.28/344.24 c #Conflicts: 545000 | #Constraints: 28230
343.28/344.24 c #Conflicts: 546000 | #Constraints: 29230
343.28/344.24 c INPROCESSING
343.28/344.24 c GARBAGE COLLECT
343.28/344.24 c rational objective 2.00001
357.44/358.47 c #Conflicts: 547000 | #Constraints: 15634
357.44/358.47 c #Conflicts: 548000 | #Constraints: 16634
357.44/358.47 c #Conflicts: 549000 | #Constraints: 17635
357.44/358.47 c #Conflicts: 550000 | #Constraints: 18635
357.44/358.47 c #Conflicts: 551000 | #Constraints: 19635
357.44/358.47 c #Conflicts: 552000 | #Constraints: 20635
357.44/358.47 c #Conflicts: 553000 | #Constraints: 21635
357.44/358.47 c #Conflicts: 554000 | #Constraints: 22635
357.44/358.47 c #Conflicts: 555000 | #Constraints: 23635
357.44/358.47 c #Conflicts: 556000 | #Constraints: 24635
357.44/358.47 c #Conflicts: 557000 | #Constraints: 25635
357.44/358.47 c #Conflicts: 558000 | #Constraints: 26635
357.44/358.47 c #Conflicts: 559000 | #Constraints: 27635
357.44/358.47 c #Conflicts: 560000 | #Constraints: 28635
357.44/358.47 c #Conflicts: 561000 | #Constraints: 29635
357.44/358.47 c INPROCESSING
357.44/358.47 c GARBAGE COLLECT
357.44/358.47 c rational objective 2.00001
373.00/374.03 c #Conflicts: 562000 | #Constraints: 15826
373.00/374.03 c #Conflicts: 563000 | #Constraints: 16826
373.00/374.03 c #Conflicts: 564000 | #Constraints: 17826
373.00/374.03 c #Conflicts: 565000 | #Constraints: 18826
373.00/374.03 c #Conflicts: 566000 | #Constraints: 19826
373.00/374.03 c #Conflicts: 567000 | #Constraints: 20826
373.00/374.03 c #Conflicts: 568000 | #Constraints: 21826
373.00/374.03 c #Conflicts: 569000 | #Constraints: 22826
373.00/374.03 c #Conflicts: 570000 | #Constraints: 23826
373.00/374.03 c #Conflicts: 571000 | #Constraints: 24826
373.00/374.03 c #Conflicts: 572000 | #Constraints: 25826
373.00/374.03 c #Conflicts: 573000 | #Constraints: 26826
373.00/374.03 c #Conflicts: 574000 | #Constraints: 27826
373.00/374.03 c #Conflicts: 575000 | #Constraints: 28826
373.00/374.03 c #Conflicts: 576000 | #Constraints: 29826
373.00/374.03 c INPROCESSING
373.00/374.03 c GARBAGE COLLECT
373.00/374.03 c rational objective 2.00001
387.75/388.81 c #Conflicts: 577000 | #Constraints: 15825
387.75/388.81 c #Conflicts: 578000 | #Constraints: 16832
387.75/388.81 c #Conflicts: 579000 | #Constraints: 17832
387.75/388.81 c #Conflicts: 580000 | #Constraints: 18832
387.75/388.81 c #Conflicts: 581000 | #Constraints: 19832
387.75/388.81 c #Conflicts: 582000 | #Constraints: 20832
387.75/388.81 c #Conflicts: 583000 | #Constraints: 21832
387.75/388.81 c #Conflicts: 584000 | #Constraints: 22832
387.75/388.81 c #Conflicts: 585000 | #Constraints: 23832
387.75/388.81 c #Conflicts: 586000 | #Constraints: 24832
387.75/388.81 c #Conflicts: 587000 | #Constraints: 25832
387.75/388.81 c #Conflicts: 588000 | #Constraints: 26832
387.75/388.81 c #Conflicts: 589000 | #Constraints: 27832
387.75/388.81 c #Conflicts: 590000 | #Constraints: 28832
387.75/388.81 c #Conflicts: 591000 | #Constraints: 29832
387.75/388.81 c INPROCESSING
387.75/388.81 c GARBAGE COLLECT
387.75/388.81 c rational objective 2.00001
404.62/405.75 c #Conflicts: 592000 | #Constraints: 15630
404.62/405.75 c #Conflicts: 593000 | #Constraints: 16630
404.62/405.75 c #Conflicts: 594000 | #Constraints: 17630
404.62/405.75 c #Conflicts: 595000 | #Constraints: 18630
404.62/405.75 c #Conflicts: 596000 | #Constraints: 19630
404.62/405.75 c #Conflicts: 597000 | #Constraints: 20630
404.62/405.75 c #Conflicts: 598000 | #Constraints: 21630
404.62/405.75 c #Conflicts: 599000 | #Constraints: 22630
404.62/405.75 c #Conflicts: 600000 | #Constraints: 23630
404.62/405.75 c #Conflicts: 601000 | #Constraints: 24630
404.62/405.75 c #Conflicts: 602000 | #Constraints: 25630
404.62/405.75 c #Conflicts: 603000 | #Constraints: 26630
404.62/405.75 c #Conflicts: 604000 | #Constraints: 27630
404.62/405.75 c #Conflicts: 605000 | #Constraints: 28630
404.62/405.75 c #Conflicts: 606000 | #Constraints: 29630
404.62/405.75 c #Conflicts: 607000 | #Constraints: 30630
404.62/405.75 c INPROCESSING
404.62/405.75 c GARBAGE COLLECT
404.62/405.75 c rational objective 2.00001
420.17/421.37 c #Conflicts: 608000 | #Constraints: 16241
420.17/421.37 c #Conflicts: 609000 | #Constraints: 17275
420.17/421.37 c #Conflicts: 610000 | #Constraints: 18278
420.17/421.37 c #Conflicts: 611000 | #Constraints: 19278
420.17/421.37 c #Conflicts: 612000 | #Constraints: 20278
420.17/421.37 c #Conflicts: 613000 | #Constraints: 21278
420.17/421.37 c #Conflicts: 614000 | #Constraints: 22278
420.17/421.37 c #Conflicts: 615000 | #Constraints: 23278
420.17/421.37 c #Conflicts: 616000 | #Constraints: 24278
420.17/421.37 c #Conflicts: 617000 | #Constraints: 25278
420.17/421.37 c #Conflicts: 618000 | #Constraints: 26278
420.17/421.37 c #Conflicts: 619000 | #Constraints: 27278
420.17/421.37 c #Conflicts: 620000 | #Constraints: 28278
420.17/421.37 c #Conflicts: 621000 | #Constraints: 29278
420.17/421.37 c #Conflicts: 622000 | #Constraints: 30278
420.17/421.37 c #Conflicts: 623000 | #Constraints: 31278
420.17/421.37 c INPROCESSING
420.17/421.37 c GARBAGE COLLECT
420.17/421.37 c rational objective 2.00001
436.23/437.46 c #Conflicts: 624000 | #Constraints: 16674
436.23/437.46 c #Conflicts: 625000 | #Constraints: 17677
436.23/437.46 c #Conflicts: 626000 | #Constraints: 18677
436.23/437.46 c #Conflicts: 627000 | #Constraints: 19677
436.23/437.46 c #Conflicts: 628000 | #Constraints: 20677
436.23/437.46 c #Conflicts: 629000 | #Constraints: 21677
436.23/437.46 c #Conflicts: 630000 | #Constraints: 22677
436.23/437.46 c #Conflicts: 631000 | #Constraints: 23677
436.23/437.46 c #Conflicts: 632000 | #Constraints: 24677
436.23/437.46 c #Conflicts: 633000 | #Constraints: 25677
436.23/437.46 c #Conflicts: 634000 | #Constraints: 26677
436.23/437.46 c #Conflicts: 635000 | #Constraints: 27677
436.23/437.46 c #Conflicts: 636000 | #Constraints: 28677
436.23/437.46 c #Conflicts: 637000 | #Constraints: 29677
436.23/437.46 c #Conflicts: 638000 | #Constraints: 30677
436.23/437.46 c #Conflicts: 639000 | #Constraints: 31677
436.23/437.46 c INPROCESSING
436.23/437.46 c GARBAGE COLLECT
436.23/437.46 c rational objective 2.00001
453.48/454.70 c #Conflicts: 640000 | #Constraints: 16882
453.48/454.70 c #Conflicts: 641000 | #Constraints: 17882
453.48/454.70 c #Conflicts: 642000 | #Constraints: 18882
453.48/454.70 c #Conflicts: 643000 | #Constraints: 19882
453.48/454.70 c #Conflicts: 644000 | #Constraints: 20882
453.48/454.70 c #Conflicts: 645000 | #Constraints: 21882
453.48/454.70 c #Conflicts: 646000 | #Constraints: 22882
453.48/454.70 c #Conflicts: 647000 | #Constraints: 23882
453.48/454.70 c #Conflicts: 648000 | #Constraints: 24882
453.48/454.70 c #Conflicts: 649000 | #Constraints: 25882
453.48/454.70 c #Conflicts: 650000 | #Constraints: 26882
453.48/454.70 c #Conflicts: 651000 | #Constraints: 27882
453.48/454.70 c #Conflicts: 652000 | #Constraints: 28882
453.48/454.70 c #Conflicts: 653000 | #Constraints: 29882
453.48/454.70 c #Conflicts: 654000 | #Constraints: 30882
453.48/454.70 c #Conflicts: 655000 | #Constraints: 31882
453.48/454.70 c INPROCESSING
453.48/454.70 c GARBAGE COLLECT
453.48/454.70 c rational objective 2.00001
470.14/471.47 c #Conflicts: 656000 | #Constraints: 16855
470.14/471.47 c #Conflicts: 657000 | #Constraints: 17855
470.14/471.47 c #Conflicts: 658000 | #Constraints: 18855
470.14/471.47 c #Conflicts: 659000 | #Constraints: 19855
470.14/471.47 c #Conflicts: 660000 | #Constraints: 20855
470.14/471.47 c #Conflicts: 661000 | #Constraints: 21855
470.14/471.47 c #Conflicts: 662000 | #Constraints: 22855
470.14/471.47 c #Conflicts: 663000 | #Constraints: 23855
470.14/471.47 c #Conflicts: 664000 | #Constraints: 24855
470.14/471.47 c #Conflicts: 665000 | #Constraints: 25855
470.14/471.47 c #Conflicts: 666000 | #Constraints: 26855
470.14/471.47 c #Conflicts: 667000 | #Constraints: 27855
470.14/471.47 c #Conflicts: 668000 | #Constraints: 28855
470.14/471.47 c #Conflicts: 669000 | #Constraints: 29855
470.14/471.47 c #Conflicts: 670000 | #Constraints: 30855
470.14/471.47 c #Conflicts: 671000 | #Constraints: 31855
470.14/471.47 c INPROCESSING
470.14/471.47 c GARBAGE COLLECT
470.14/471.47 c rational objective 2.00001
486.89/488.25 c #Conflicts: 672000 | #Constraints: 16642
486.89/488.25 c #Conflicts: 673000 | #Constraints: 17648
486.89/488.25 c #Conflicts: 674000 | #Constraints: 18648
486.89/488.25 c #Conflicts: 675000 | #Constraints: 19648
486.89/488.25 c #Conflicts: 676000 | #Constraints: 20648
486.89/488.25 c #Conflicts: 677000 | #Constraints: 21648
486.89/488.25 c #Conflicts: 678000 | #Constraints: 22648
486.89/488.25 c #Conflicts: 679000 | #Constraints: 23648
486.89/488.25 c #Conflicts: 680000 | #Constraints: 24648
486.89/488.25 c #Conflicts: 681000 | #Constraints: 25648
486.89/488.25 c #Conflicts: 682000 | #Constraints: 26648
486.89/488.25 c #Conflicts: 683000 | #Constraints: 27648
486.89/488.25 c #Conflicts: 684000 | #Constraints: 28648
486.89/488.25 c #Conflicts: 685000 | #Constraints: 29648
486.89/488.25 c #Conflicts: 686000 | #Constraints: 30648
486.89/488.25 c #Conflicts: 687000 | #Constraints: 31648
486.89/488.25 c #Conflicts: 688000 | #Constraints: 32648
486.89/488.25 c INPROCESSING
486.89/488.25 c GARBAGE COLLECT
486.89/488.25 c rational objective 2.00001
504.15/505.51 c #Conflicts: 689000 | #Constraints: 17258
504.15/505.51 c #Conflicts: 690000 | #Constraints: 18284
504.15/505.51 c #Conflicts: 691000 | #Constraints: 19284
504.15/505.51 c #Conflicts: 692000 | #Constraints: 20284
504.15/505.51 c #Conflicts: 693000 | #Constraints: 21284
504.15/505.51 c #Conflicts: 694000 | #Constraints: 22284
504.15/505.51 c #Conflicts: 695000 | #Constraints: 23284
504.15/505.51 c #Conflicts: 696000 | #Constraints: 24284
504.15/505.51 c #Conflicts: 697000 | #Constraints: 25284
504.15/505.51 c #Conflicts: 698000 | #Constraints: 26284
504.15/505.51 c #Conflicts: 699000 | #Constraints: 27284
504.15/505.51 c #Conflicts: 700000 | #Constraints: 28284
504.15/505.51 c #Conflicts: 701000 | #Constraints: 29284
504.15/505.51 c #Conflicts: 702000 | #Constraints: 30284
504.15/505.51 c #Conflicts: 703000 | #Constraints: 31284
504.15/505.51 c #Conflicts: 704000 | #Constraints: 32284
504.15/505.51 c #Conflicts: 705000 | #Constraints: 33284
504.15/505.51 c INPROCESSING
504.15/505.51 c GARBAGE COLLECT
504.15/505.51 c rational objective 2.00001
521.71/523.17 c #Conflicts: 706000 | #Constraints: 17655
521.71/523.17 c #Conflicts: 707000 | #Constraints: 18655
521.71/523.17 c #Conflicts: 708000 | #Constraints: 19655
521.71/523.17 c #Conflicts: 709000 | #Constraints: 20655
521.71/523.17 c #Conflicts: 710000 | #Constraints: 21655
521.71/523.17 c #Conflicts: 711000 | #Constraints: 22655
521.71/523.17 c #Conflicts: 712000 | #Constraints: 23655
521.71/523.17 c #Conflicts: 713000 | #Constraints: 24655
521.71/523.17 c #Conflicts: 714000 | #Constraints: 25655
521.71/523.17 c #Conflicts: 715000 | #Constraints: 26655
521.71/523.17 c #Conflicts: 716000 | #Constraints: 27655
521.71/523.17 c #Conflicts: 717000 | #Constraints: 28655
521.71/523.17 c #Conflicts: 718000 | #Constraints: 29655
521.71/523.17 c #Conflicts: 719000 | #Constraints: 30655
521.71/523.17 c #Conflicts: 720000 | #Constraints: 31655
521.71/523.17 c #Conflicts: 721000 | #Constraints: 32655
521.71/523.17 c #Conflicts: 722000 | #Constraints: 33655
521.71/523.17 c INPROCESSING
521.71/523.17 c GARBAGE COLLECT
521.71/523.17 c rational objective 2.00001
538.36/539.85 c #Conflicts: 723000 | #Constraints: 17848
538.36/539.85 c #Conflicts: 724000 | #Constraints: 18848
538.36/539.85 c #Conflicts: 725000 | #Constraints: 19848
538.36/539.85 c #Conflicts: 726000 | #Constraints: 20848
538.36/539.85 c #Conflicts: 727000 | #Constraints: 21848
538.36/539.85 c #Conflicts: 728000 | #Constraints: 22848
538.36/539.85 c #Conflicts: 729000 | #Constraints: 23848
538.36/539.85 c #Conflicts: 730000 | #Constraints: 24848
538.36/539.85 c #Conflicts: 731000 | #Constraints: 25848
538.36/539.85 c #Conflicts: 732000 | #Constraints: 26848
538.36/539.85 c #Conflicts: 733000 | #Constraints: 27848
538.36/539.85 c #Conflicts: 734000 | #Constraints: 28848
538.36/539.85 c #Conflicts: 735000 | #Constraints: 29848
538.36/539.85 c #Conflicts: 736000 | #Constraints: 30848
538.36/539.85 c #Conflicts: 737000 | #Constraints: 31848
538.36/539.85 c #Conflicts: 738000 | #Constraints: 32848
538.36/539.85 c #Conflicts: 739000 | #Constraints: 33848
538.36/539.85 c INPROCESSING
538.36/539.85 c GARBAGE COLLECT
538.36/539.85 c rational objective 2.00001
557.41/558.99 c #Conflicts: 740000 | #Constraints: 17854
557.41/558.99 c #Conflicts: 741000 | #Constraints: 18856
557.41/558.99 c #Conflicts: 742000 | #Constraints: 19856
557.41/558.99 c #Conflicts: 743000 | #Constraints: 20856
557.41/558.99 c #Conflicts: 744000 | #Constraints: 21856
557.41/558.99 c #Conflicts: 745000 | #Constraints: 22856
557.41/558.99 c #Conflicts: 746000 | #Constraints: 23856
557.41/558.99 c #Conflicts: 747000 | #Constraints: 24856
557.41/558.99 c #Conflicts: 748000 | #Constraints: 25856
557.41/558.99 c #Conflicts: 749000 | #Constraints: 26856
557.41/558.99 c #Conflicts: 750000 | #Constraints: 27856
557.41/558.99 c #Conflicts: 751000 | #Constraints: 28856
557.41/558.99 c #Conflicts: 752000 | #Constraints: 29856
557.41/558.99 c #Conflicts: 753000 | #Constraints: 30856
557.41/558.99 c #Conflicts: 754000 | #Constraints: 31856
557.41/558.99 c #Conflicts: 755000 | #Constraints: 32856
557.41/558.99 c #Conflicts: 756000 | #Constraints: 33856
557.41/558.99 c INPROCESSING
557.41/558.99 c GARBAGE COLLECT
557.41/558.99 c rational objective 2.00001
576.57/578.14 c #Conflicts: 757000 | #Constraints: 17641
576.57/578.14 c #Conflicts: 758000 | #Constraints: 18641
576.57/578.14 c #Conflicts: 759000 | #Constraints: 19643
576.57/578.14 c #Conflicts: 760000 | #Constraints: 20643
576.57/578.14 c #Conflicts: 761000 | #Constraints: 21643
576.57/578.14 c #Conflicts: 762000 | #Constraints: 22643
576.57/578.14 c #Conflicts: 763000 | #Constraints: 23643
576.57/578.14 c #Conflicts: 764000 | #Constraints: 24643
576.57/578.14 c #Conflicts: 765000 | #Constraints: 25643
576.57/578.14 c #Conflicts: 766000 | #Constraints: 26643
576.57/578.14 c #Conflicts: 767000 | #Constraints: 27643
576.57/578.14 c #Conflicts: 768000 | #Constraints: 28644
576.57/578.14 c #Conflicts: 769000 | #Constraints: 29644
576.57/578.14 c #Conflicts: 770000 | #Constraints: 30644
576.57/578.14 c #Conflicts: 771000 | #Constraints: 31644
576.57/578.14 c #Conflicts: 772000 | #Constraints: 32644
576.57/578.14 c #Conflicts: 773000 | #Constraints: 33644
576.57/578.14 c #Conflicts: 774000 | #Constraints: 34644
576.57/578.14 c INPROCESSING
576.57/578.14 c GARBAGE COLLECT
576.57/578.14 c rational objective 2.00001
596.70/598.39 c #Conflicts: 775000 | #Constraints: 18240
596.70/598.39 c #Conflicts: 776000 | #Constraints: 19240
596.70/598.39 c #Conflicts: 777000 | #Constraints: 20240
596.70/598.39 c #Conflicts: 778000 | #Constraints: 21240
596.70/598.39 c #Conflicts: 779000 | #Constraints: 22240
596.70/598.39 c #Conflicts: 780000 | #Constraints: 23246
596.70/598.39 c #Conflicts: 781000 | #Constraints: 24246
596.70/598.39 c #Conflicts: 782000 | #Constraints: 25246
596.70/598.39 c #Conflicts: 783000 | #Constraints: 26246
596.70/598.39 c #Conflicts: 784000 | #Constraints: 27246
596.70/598.39 c #Conflicts: 785000 | #Constraints: 28246
596.70/598.39 c #Conflicts: 786000 | #Constraints: 29246
596.70/598.39 c #Conflicts: 787000 | #Constraints: 30246
596.70/598.39 c #Conflicts: 788000 | #Constraints: 31246
596.70/598.39 c #Conflicts: 789000 | #Constraints: 32246
596.70/598.39 c #Conflicts: 790000 | #Constraints: 33246
596.70/598.39 c #Conflicts: 791000 | #Constraints: 34246
596.70/598.39 c #Conflicts: 792000 | #Constraints: 35246
596.70/598.39 c INPROCESSING
596.70/598.39 c GARBAGE COLLECT
596.70/598.39 c rational objective 2.00001
619.14/620.85 c #Conflicts: 793000 | #Constraints: 18638
619.14/620.85 c #Conflicts: 794000 | #Constraints: 19638
619.14/620.85 c #Conflicts: 795000 | #Constraints: 20638
619.14/620.85 c #Conflicts: 796000 | #Constraints: 21638
619.14/620.85 c #Conflicts: 797000 | #Constraints: 22638
619.14/620.85 c #Conflicts: 798000 | #Constraints: 23638
619.14/620.85 c #Conflicts: 799000 | #Constraints: 24638
619.14/620.85 c #Conflicts: 800000 | #Constraints: 25638
619.14/620.85 c #Conflicts: 801000 | #Constraints: 26638
619.14/620.85 c #Conflicts: 802000 | #Constraints: 27638
619.14/620.85 c #Conflicts: 803000 | #Constraints: 28638
619.14/620.85 c #Conflicts: 804000 | #Constraints: 29638
619.14/620.85 c #Conflicts: 805000 | #Constraints: 30638
619.14/620.85 c #Conflicts: 806000 | #Constraints: 31638
619.14/620.85 c #Conflicts: 807000 | #Constraints: 32638
619.14/620.85 c #Conflicts: 808000 | #Constraints: 33638
619.14/620.85 c #Conflicts: 809000 | #Constraints: 34638
619.14/620.85 c #Conflicts: 810000 | #Constraints: 35638
619.14/620.85 c INPROCESSING
619.14/620.85 c GARBAGE COLLECT
619.14/620.85 c rational objective 2.00001
643.28/645.07 c #Conflicts: 811000 | #Constraints: 18826
643.28/645.07 c #Conflicts: 812000 | #Constraints: 19846
643.28/645.07 c #Conflicts: 813000 | #Constraints: 20853
643.28/645.07 c #Conflicts: 814000 | #Constraints: 21856
643.28/645.07 c #Conflicts: 815000 | #Constraints: 22856
643.28/645.07 c #Conflicts: 816000 | #Constraints: 23856
643.28/645.07 c #Conflicts: 817000 | #Constraints: 24856
643.28/645.07 c #Conflicts: 818000 | #Constraints: 25856
643.28/645.07 c #Conflicts: 819000 | #Constraints: 26856
643.28/645.07 c #Conflicts: 820000 | #Constraints: 27856
643.28/645.07 c #Conflicts: 821000 | #Constraints: 28856
643.28/645.07 c #Conflicts: 822000 | #Constraints: 29856
643.28/645.07 c #Conflicts: 823000 | #Constraints: 30856
643.28/645.07 c #Conflicts: 824000 | #Constraints: 31856
643.28/645.07 c #Conflicts: 825000 | #Constraints: 32856
643.28/645.07 c #Conflicts: 826000 | #Constraints: 33856
643.28/645.07 c #Conflicts: 827000 | #Constraints: 34856
643.28/645.07 c #Conflicts: 828000 | #Constraints: 35856
643.28/645.07 c INPROCESSING
643.28/645.07 c GARBAGE COLLECT
643.28/645.07 c rational objective 2.00001
664.33/666.13 c #Conflicts: 829000 | #Constraints: 18840
664.33/666.13 c #Conflicts: 830000 | #Constraints: 19840
664.33/666.13 c #Conflicts: 831000 | #Constraints: 20840
664.33/666.13 c #Conflicts: 832000 | #Constraints: 21840
664.33/666.13 c #Conflicts: 833000 | #Constraints: 22842
664.33/666.13 c #Conflicts: 834000 | #Constraints: 23842
664.33/666.13 c #Conflicts: 835000 | #Constraints: 24842
664.33/666.13 c #Conflicts: 836000 | #Constraints: 25842
664.33/666.13 c #Conflicts: 837000 | #Constraints: 26842
664.33/666.13 c #Conflicts: 838000 | #Constraints: 27842
664.33/666.13 c #Conflicts: 839000 | #Constraints: 28842
664.33/666.13 c #Conflicts: 840000 | #Constraints: 29842
664.33/666.13 c #Conflicts: 841000 | #Constraints: 30842
664.33/666.13 c #Conflicts: 842000 | #Constraints: 31842
664.33/666.13 c #Conflicts: 843000 | #Constraints: 32842
664.33/666.13 c #Conflicts: 844000 | #Constraints: 33842
664.33/666.13 c #Conflicts: 845000 | #Constraints: 34842
664.33/666.13 c #Conflicts: 846000 | #Constraints: 35846
664.33/666.13 c INPROCESSING
664.33/666.13 c GARBAGE COLLECT
664.33/666.13 c rational objective 2.00001
687.96/689.84 c #Conflicts: 847000 | #Constraints: 18637
687.96/689.84 c #Conflicts: 848000 | #Constraints: 19648
687.96/689.84 c #Conflicts: 849000 | #Constraints: 20648
687.96/689.84 c #Conflicts: 850000 | #Constraints: 21648
687.96/689.84 c #Conflicts: 851000 | #Constraints: 22648
687.96/689.84 c #Conflicts: 852000 | #Constraints: 23648
687.96/689.84 c #Conflicts: 853000 | #Constraints: 24648
687.96/689.84 c #Conflicts: 854000 | #Constraints: 25648
687.96/689.84 c #Conflicts: 855000 | #Constraints: 26648
687.96/689.84 c #Conflicts: 856000 | #Constraints: 27648
687.96/689.84 c #Conflicts: 857000 | #Constraints: 28648
687.96/689.84 c #Conflicts: 858000 | #Constraints: 29648
687.96/689.84 c #Conflicts: 859000 | #Constraints: 30648
687.96/689.84 c #Conflicts: 860000 | #Constraints: 31648
687.96/689.84 c #Conflicts: 861000 | #Constraints: 32648
687.96/689.84 c #Conflicts: 862000 | #Constraints: 33648
687.96/689.84 c #Conflicts: 863000 | #Constraints: 34648
687.96/689.84 c #Conflicts: 864000 | #Constraints: 35648
687.96/689.84 c #Conflicts: 865000 | #Constraints: 36648
687.96/689.84 c INPROCESSING
687.96/689.84 c GARBAGE COLLECT
687.96/689.84 c rational objective 2.00001
711.29/713.24 c #Conflicts: 866000 | #Constraints: 19245
711.29/713.24 c #Conflicts: 867000 | #Constraints: 20258
711.29/713.24 c #Conflicts: 868000 | #Constraints: 21266
711.29/713.24 c #Conflicts: 869000 | #Constraints: 22270
711.29/713.24 c #Conflicts: 870000 | #Constraints: 23271
711.29/713.24 c #Conflicts: 871000 | #Constraints: 24271
711.29/713.24 c #Conflicts: 872000 | #Constraints: 25273
711.29/713.24 c #Conflicts: 873000 | #Constraints: 26273
711.29/713.24 c #Conflicts: 874000 | #Constraints: 27273
711.29/713.24 c #Conflicts: 875000 | #Constraints: 28273
711.29/713.24 c #Conflicts: 876000 | #Constraints: 29278
711.29/713.24 c #Conflicts: 877000 | #Constraints: 30280
711.29/713.24 c #Conflicts: 878000 | #Constraints: 31288
711.29/713.24 c #Conflicts: 879000 | #Constraints: 32293
711.29/713.24 c #Conflicts: 880000 | #Constraints: 33300
711.29/713.24 c #Conflicts: 881000 | #Constraints: 34300
711.29/713.24 c #Conflicts: 882000 | #Constraints: 35306
711.29/713.24 c #Conflicts: 883000 | #Constraints: 36307
711.29/713.24 c #Conflicts: 884000 | #Constraints: 37307
711.29/713.24 c INPROCESSING
711.29/713.24 c GARBAGE COLLECT
711.29/713.24 c rational objective 2.00001
735.13/737.10 c #Conflicts: 885000 | #Constraints: 19667
735.13/737.10 c #Conflicts: 886000 | #Constraints: 20667
735.13/737.10 c #Conflicts: 887000 | #Constraints: 21667
735.13/737.10 c #Conflicts: 888000 | #Constraints: 22667
735.13/737.10 c #Conflicts: 889000 | #Constraints: 23667
735.13/737.10 c #Conflicts: 890000 | #Constraints: 24667
735.13/737.10 c #Conflicts: 891000 | #Constraints: 25667
735.13/737.10 c #Conflicts: 892000 | #Constraints: 26667
735.13/737.10 c #Conflicts: 893000 | #Constraints: 27667
735.13/737.10 c #Conflicts: 894000 | #Constraints: 28668
735.13/737.10 c #Conflicts: 895000 | #Constraints: 29669
735.13/737.10 c #Conflicts: 896000 | #Constraints: 30682
735.13/737.10 c #Conflicts: 897000 | #Constraints: 31682
735.13/737.10 c #Conflicts: 898000 | #Constraints: 32682
735.13/737.10 c #Conflicts: 899000 | #Constraints: 33682
735.13/737.10 c #Conflicts: 900000 | #Constraints: 34682
735.13/737.10 c #Conflicts: 901000 | #Constraints: 35682
735.13/737.10 c #Conflicts: 902000 | #Constraints: 36682
735.13/737.10 c #Conflicts: 903000 | #Constraints: 37682
735.13/737.10 c INPROCESSING
735.13/737.10 c GARBAGE COLLECT
735.13/737.10 c rational objective 2.00001
760.16/762.21 c #Conflicts: 904000 | #Constraints: 19851
760.16/762.21 c #Conflicts: 905000 | #Constraints: 20851
760.16/762.21 c #Conflicts: 906000 | #Constraints: 21851
760.16/762.21 c #Conflicts: 907000 | #Constraints: 22851
760.16/762.21 c #Conflicts: 908000 | #Constraints: 23851
760.16/762.21 c #Conflicts: 909000 | #Constraints: 24851
760.16/762.21 c #Conflicts: 910000 | #Constraints: 25851
760.16/762.21 c #Conflicts: 911000 | #Constraints: 26852
760.16/762.21 c #Conflicts: 912000 | #Constraints: 27852
760.16/762.21 c #Conflicts: 913000 | #Constraints: 28852
760.16/762.21 c #Conflicts: 914000 | #Constraints: 29852
760.16/762.21 c #Conflicts: 915000 | #Constraints: 30852
760.16/762.21 c #Conflicts: 916000 | #Constraints: 31852
760.16/762.21 c #Conflicts: 917000 | #Constraints: 32852
760.16/762.21 c #Conflicts: 918000 | #Constraints: 33852
760.16/762.21 c #Conflicts: 919000 | #Constraints: 34852
760.16/762.21 c #Conflicts: 920000 | #Constraints: 35852
760.16/762.21 c #Conflicts: 921000 | #Constraints: 36852
760.16/762.21 c #Conflicts: 922000 | #Constraints: 37852
760.16/762.21 c INPROCESSING
760.16/762.21 c GARBAGE COLLECT
760.16/762.21 c rational objective 2.00001
785.29/787.49 c #Conflicts: 923000 | #Constraints: 19839
785.29/787.49 c #Conflicts: 924000 | #Constraints: 20839
785.29/787.49 c #Conflicts: 925000 | #Constraints: 21851
785.29/787.49 c #Conflicts: 926000 | #Constraints: 22851
785.29/787.49 c #Conflicts: 927000 | #Constraints: 23851
785.29/787.49 c #Conflicts: 928000 | #Constraints: 24851
785.29/787.49 c #Conflicts: 929000 | #Constraints: 25851
785.29/787.49 c #Conflicts: 930000 | #Constraints: 26851
785.29/787.49 c #Conflicts: 931000 | #Constraints: 27851
785.29/787.49 c #Conflicts: 932000 | #Constraints: 28851
785.29/787.49 c #Conflicts: 933000 | #Constraints: 29851
785.29/787.49 c #Conflicts: 934000 | #Constraints: 30851
785.29/787.49 c #Conflicts: 935000 | #Constraints: 31851
785.29/787.49 c #Conflicts: 936000 | #Constraints: 32851
785.29/787.49 c #Conflicts: 937000 | #Constraints: 33851
785.29/787.49 c #Conflicts: 938000 | #Constraints: 34851
785.29/787.49 c #Conflicts: 939000 | #Constraints: 35851
785.29/787.49 c #Conflicts: 940000 | #Constraints: 36851
785.29/787.49 c #Conflicts: 941000 | #Constraints: 37851
785.29/787.49 c INPROCESSING
785.29/787.49 c GARBAGE COLLECT
785.29/787.49 c rational objective 2.00002
808.23/810.42 c #Conflicts: 942000 | #Constraints: 19641
808.23/810.42 c #Conflicts: 943000 | #Constraints: 20641
808.23/810.42 c #Conflicts: 944000 | #Constraints: 21645
808.23/810.42 c #Conflicts: 945000 | #Constraints: 22648
808.23/810.42 c #Conflicts: 946000 | #Constraints: 23654
808.23/810.42 c #Conflicts: 947000 | #Constraints: 24658
808.23/810.42 c #Conflicts: 948000 | #Constraints: 25658
808.23/810.42 c #Conflicts: 949000 | #Constraints: 26658
808.23/810.42 c #Conflicts: 950000 | #Constraints: 27661
808.23/810.42 c #Conflicts: 951000 | #Constraints: 28661
808.23/810.42 c #Conflicts: 952000 | #Constraints: 29667
808.23/810.42 c #Conflicts: 953000 | #Constraints: 30667
808.23/810.42 c #Conflicts: 954000 | #Constraints: 31667
808.23/810.42 c #Conflicts: 955000 | #Constraints: 32667
808.23/810.42 c #Conflicts: 956000 | #Constraints: 33667
808.23/810.42 c #Conflicts: 957000 | #Constraints: 34673
808.23/810.42 c #Conflicts: 958000 | #Constraints: 35673
808.23/810.42 c #Conflicts: 959000 | #Constraints: 36676
808.23/810.42 c #Conflicts: 960000 | #Constraints: 37677
808.23/810.42 c #Conflicts: 961000 | #Constraints: 38677
808.23/810.42 c INPROCESSING
808.23/810.42 c GARBAGE COLLECT
808.23/810.42 c rational objective 2.00001
835.25/837.54 c #Conflicts: 962000 | #Constraints: 20249
835.25/837.54 c #Conflicts: 963000 | #Constraints: 21249
835.25/837.54 c #Conflicts: 964000 | #Constraints: 22253
835.25/837.54 c #Conflicts: 965000 | #Constraints: 23253
835.25/837.54 c #Conflicts: 966000 | #Constraints: 24253
835.25/837.54 c #Conflicts: 967000 | #Constraints: 25256
835.25/837.54 c #Conflicts: 968000 | #Constraints: 26256
835.25/837.54 c #Conflicts: 969000 | #Constraints: 27256
835.25/837.54 c #Conflicts: 970000 | #Constraints: 28259
835.25/837.54 c #Conflicts: 971000 | #Constraints: 29259
835.25/837.54 c #Conflicts: 972000 | #Constraints: 30268
835.25/837.54 c #Conflicts: 973000 | #Constraints: 31268
835.25/837.54 c #Conflicts: 974000 | #Constraints: 32272
835.25/837.54 c #Conflicts: 975000 | #Constraints: 33281
835.25/837.54 c #Conflicts: 976000 | #Constraints: 34281
835.25/837.54 c #Conflicts: 977000 | #Constraints: 35281
835.25/837.54 c #Conflicts: 978000 | #Constraints: 36281
835.25/837.54 c #Conflicts: 979000 | #Constraints: 37281
835.25/837.54 c #Conflicts: 980000 | #Constraints: 38285
835.25/837.54 c #Conflicts: 981000 | #Constraints: 39288
835.25/837.54 c INPROCESSING
835.25/837.54 c GARBAGE COLLECT
835.25/837.54 c rational objective 2.01896
861.69/864.01 c #Conflicts: 982000 | #Constraints: 20667
861.69/864.01 c #Conflicts: 983000 | #Constraints: 21667
861.69/864.01 c #Conflicts: 984000 | #Constraints: 22667
861.69/864.01 c #Conflicts: 985000 | #Constraints: 23674
861.69/864.01 c #Conflicts: 986000 | #Constraints: 24674
861.69/864.01 c #Conflicts: 987000 | #Constraints: 25691
861.69/864.01 c #Conflicts: 988000 | #Constraints: 26692
861.69/864.01 c #Conflicts: 989000 | #Constraints: 27697
861.69/864.01 c #Conflicts: 990000 | #Constraints: 28697
861.69/864.01 c #Conflicts: 991000 | #Constraints: 29697
861.69/864.01 c #Conflicts: 992000 | #Constraints: 30697
861.69/864.01 c #Conflicts: 993000 | #Constraints: 31697
861.69/864.01 c #Conflicts: 994000 | #Constraints: 32699
861.69/864.01 c #Conflicts: 995000 | #Constraints: 33699
861.69/864.01 c #Conflicts: 996000 | #Constraints: 34699
861.69/864.01 c #Conflicts: 997000 | #Constraints: 35699
861.69/864.01 c #Conflicts: 998000 | #Constraints: 36699
861.69/864.01 c #Conflicts: 999000 | #Constraints: 37699
861.69/864.01 c #Conflicts: 1000000 | #Constraints: 38699
861.69/864.01 c #Conflicts: 1001000 | #Constraints: 39699
861.69/864.01 c INPROCESSING
861.69/864.01 c GARBAGE COLLECT
861.69/864.01 c rational objective 2.00001
888.41/890.80 c #Conflicts: 1002000 | #Constraints: 20860
888.41/890.80 c #Conflicts: 1003000 | #Constraints: 21860
888.41/890.80 c #Conflicts: 1004000 | #Constraints: 22860
888.41/890.80 c #Conflicts: 1005000 | #Constraints: 23860
888.41/890.80 c #Conflicts: 1006000 | #Constraints: 24860
888.41/890.80 c #Conflicts: 1007000 | #Constraints: 25860
888.41/890.80 c #Conflicts: 1008000 | #Constraints: 26860
888.41/890.80 c #Conflicts: 1009000 | #Constraints: 27860
888.41/890.80 c #Conflicts: 1010000 | #Constraints: 28860
888.41/890.80 c #Conflicts: 1011000 | #Constraints: 29860
888.41/890.80 c #Conflicts: 1012000 | #Constraints: 30865
888.41/890.80 c #Conflicts: 1013000 | #Constraints: 31869
888.41/890.80 c #Conflicts: 1014000 | #Constraints: 32871
888.41/890.80 c #Conflicts: 1015000 | #Constraints: 33871
888.41/890.80 c #Conflicts: 1016000 | #Constraints: 34871
888.41/890.80 c #Conflicts: 1017000 | #Constraints: 35871
888.41/890.80 c #Conflicts: 1018000 | #Constraints: 36880
888.41/890.80 c #Conflicts: 1019000 | #Constraints: 37880
888.41/890.80 c #Conflicts: 1020000 | #Constraints: 38880
888.41/890.80 c #Conflicts: 1021000 | #Constraints: 39880
888.41/890.80 c INPROCESSING
888.41/890.80 c GARBAGE COLLECT
888.41/890.80 c rational objective 2.00001
914.83/917.38 c #Conflicts: 1022000 | #Constraints: 20854
914.83/917.38 c #Conflicts: 1023000 | #Constraints: 21854
914.83/917.38 c #Conflicts: 1024000 | #Constraints: 22854
914.83/917.38 c #Conflicts: 1025000 | #Constraints: 23854
914.83/917.38 c #Conflicts: 1026000 | #Constraints: 24854
914.83/917.38 c #Conflicts: 1027000 | #Constraints: 25854
914.83/917.38 c #Conflicts: 1028000 | #Constraints: 26854
914.83/917.38 c #Conflicts: 1029000 | #Constraints: 27854
914.83/917.38 c #Conflicts: 1030000 | #Constraints: 28854
914.83/917.38 c #Conflicts: 1031000 | #Constraints: 29854
914.83/917.38 c #Conflicts: 1032000 | #Constraints: 30854
914.83/917.38 c #Conflicts: 1033000 | #Constraints: 31854
914.83/917.38 c #Conflicts: 1034000 | #Constraints: 32854
914.83/917.38 c #Conflicts: 1035000 | #Constraints: 33854
914.83/917.38 c #Conflicts: 1036000 | #Constraints: 34854
914.83/917.38 c #Conflicts: 1037000 | #Constraints: 35854
914.83/917.38 c #Conflicts: 1038000 | #Constraints: 36854
914.83/917.38 c #Conflicts: 1039000 | #Constraints: 37854
914.83/917.38 c #Conflicts: 1040000 | #Constraints: 38854
914.83/917.38 c #Conflicts: 1041000 | #Constraints: 39854
914.83/917.38 c INPROCESSING
914.83/917.38 c GARBAGE COLLECT
914.83/917.38 c rational objective 2.00002
947.55/950.11 c #Conflicts: 1042000 | #Constraints: 20646
947.55/950.11 c #Conflicts: 1043000 | #Constraints: 21774
947.55/950.11 c #Conflicts: 1044000 | #Constraints: 22869
947.55/950.11 c #Conflicts: 1045000 | #Constraints: 23997
947.55/950.11 c #Conflicts: 1046000 | #Constraints: 25103
947.55/950.11 c #Conflicts: 1047000 | #Constraints: 26230
947.55/950.11 c #Conflicts: 1048000 | #Constraints: 27360
947.55/950.11 c #Conflicts: 1049000 | #Constraints: 28466
947.55/950.11 c #Conflicts: 1050000 | #Constraints: 29550
947.55/950.11 c #Conflicts: 1051000 | #Constraints: 30657
947.55/950.11 c #Conflicts: 1052000 | #Constraints: 31751
947.55/950.11 c #Conflicts: 1053000 | #Constraints: 32863
947.55/950.11 c #Conflicts: 1054000 | #Constraints: 33997
947.55/950.11 c #Conflicts: 1055000 | #Constraints: 35071
947.55/950.11 c #Conflicts: 1056000 | #Constraints: 36144
947.55/950.11 c #Conflicts: 1057000 | #Constraints: 37236
947.55/950.11 c #Conflicts: 1058000 | #Constraints: 38375
947.55/950.11 c #Conflicts: 1059000 | #Constraints: 39462
947.55/950.11 c #Conflicts: 1060000 | #Constraints: 40518
947.55/950.11 c #Conflicts: 1061000 | #Constraints: 41559
947.55/950.11 c #Conflicts: 1062000 | #Constraints: 42559
947.55/950.11 c INPROCESSING
947.55/950.11 c GARBAGE COLLECT
947.55/950.11 c rational objective 2.00021
983.85/986.53 c #Conflicts: 1063000 | #Constraints: 22220
983.85/986.53 c #Conflicts: 1064000 | #Constraints: 23266
983.85/986.53 c #Conflicts: 1065000 | #Constraints: 24304
983.85/986.53 c #Conflicts: 1066000 | #Constraints: 25352
983.85/986.53 c #Conflicts: 1067000 | #Constraints: 26356
983.85/986.53 c #Conflicts: 1068000 | #Constraints: 27356
983.85/986.53 c #Conflicts: 1069000 | #Constraints: 28356
983.85/986.53 c #Conflicts: 1070000 | #Constraints: 29356
983.85/986.53 c #Conflicts: 1071000 | #Constraints: 30356
983.85/986.53 c #Conflicts: 1072000 | #Constraints: 31356
983.85/986.53 c #Conflicts: 1073000 | #Constraints: 32356
983.85/986.53 c #Conflicts: 1074000 | #Constraints: 33356
983.85/986.53 c #Conflicts: 1075000 | #Constraints: 34356
983.85/986.53 c #Conflicts: 1076000 | #Constraints: 35356
983.85/986.53 c #Conflicts: 1077000 | #Constraints: 36356
983.85/986.53 c #Conflicts: 1078000 | #Constraints: 37356
983.85/986.53 c #Conflicts: 1079000 | #Constraints: 38356
983.85/986.53 c #Conflicts: 1080000 | #Constraints: 39356
983.85/986.53 c #Conflicts: 1081000 | #Constraints: 40356
983.85/986.53 c #Conflicts: 1082000 | #Constraints: 41356
983.85/986.53 c #Conflicts: 1083000 | #Constraints: 42356
983.85/986.53 c INPROCESSING
983.85/986.53 c GARBAGE COLLECT
983.85/986.53 c rational objective 2.00001
1015.96/1018.79 c #Conflicts: 1084000 | #Constraints: 22236
1015.96/1018.79 c #Conflicts: 1085000 | #Constraints: 23287
1015.96/1018.79 c #Conflicts: 1086000 | #Constraints: 24350
1015.96/1018.79 c #Conflicts: 1087000 | #Constraints: 25390
1015.96/1018.79 c #Conflicts: 1088000 | #Constraints: 26427
1015.96/1018.79 c #Conflicts: 1089000 | #Constraints: 27427
1015.96/1018.79 c #Conflicts: 1090000 | #Constraints: 28427
1015.96/1018.79 c #Conflicts: 1091000 | #Constraints: 29427
1015.96/1018.79 c #Conflicts: 1092000 | #Constraints: 30427
1015.96/1018.79 c #Conflicts: 1093000 | #Constraints: 31427
1015.96/1018.79 c #Conflicts: 1094000 | #Constraints: 32427
1015.96/1018.79 c #Conflicts: 1095000 | #Constraints: 33427
1015.96/1018.79 c #Conflicts: 1096000 | #Constraints: 34427
1015.96/1018.79 c #Conflicts: 1097000 | #Constraints: 35427
1015.96/1018.79 c #Conflicts: 1098000 | #Constraints: 36427
1015.96/1018.79 c #Conflicts: 1099000 | #Constraints: 37427
1015.96/1018.79 c #Conflicts: 1100000 | #Constraints: 38427
1015.96/1018.79 c #Conflicts: 1101000 | #Constraints: 39427
1015.96/1018.79 c #Conflicts: 1102000 | #Constraints: 40427
1015.96/1018.79 c #Conflicts: 1103000 | #Constraints: 41427
1015.96/1018.79 c #Conflicts: 1104000 | #Constraints: 42427
1015.96/1018.79 c INPROCESSING
1015.96/1018.79 c GARBAGE COLLECT
1015.96/1018.79 c rational objective 2.00001
1049.36/1052.28 c #Conflicts: 1105000 | #Constraints: 22237
1049.36/1052.28 c #Conflicts: 1106000 | #Constraints: 23263
1049.36/1052.28 c #Conflicts: 1107000 | #Constraints: 24263
1049.36/1052.28 c #Conflicts: 1108000 | #Constraints: 25263
1049.36/1052.28 c #Conflicts: 1109000 | #Constraints: 26263
1049.36/1052.28 c #Conflicts: 1110000 | #Constraints: 27263
1049.36/1052.28 c #Conflicts: 1111000 | #Constraints: 28263
1049.36/1052.28 c #Conflicts: 1112000 | #Constraints: 29263
1049.36/1052.28 c #Conflicts: 1113000 | #Constraints: 30263
1049.36/1052.28 c #Conflicts: 1114000 | #Constraints: 31263
1049.36/1052.28 c #Conflicts: 1115000 | #Constraints: 32263
1049.36/1052.28 c #Conflicts: 1116000 | #Constraints: 33263
1049.36/1052.28 c #Conflicts: 1117000 | #Constraints: 34263
1049.36/1052.28 c #Conflicts: 1118000 | #Constraints: 35263
1049.36/1052.28 c #Conflicts: 1119000 | #Constraints: 36263
1049.36/1052.28 c #Conflicts: 1120000 | #Constraints: 37263
1049.36/1052.28 c #Conflicts: 1121000 | #Constraints: 38263
1049.36/1052.28 c #Conflicts: 1122000 | #Constraints: 39263
1049.36/1052.28 c #Conflicts: 1123000 | #Constraints: 40263
1049.36/1052.28 c #Conflicts: 1124000 | #Constraints: 41263
1049.36/1052.28 c #Conflicts: 1125000 | #Constraints: 42263
1049.36/1052.28 c INPROCESSING
1049.36/1052.28 c GARBAGE COLLECT
1049.36/1052.28 c rational objective 2.00001
1083.67/1086.66 c #Conflicts: 1126000 | #Constraints: 22076
1083.67/1086.66 c #Conflicts: 1127000 | #Constraints: 23111
1083.67/1086.66 c #Conflicts: 1128000 | #Constraints: 24111
1083.67/1086.66 c #Conflicts: 1129000 | #Constraints: 25111
1083.67/1086.66 c #Conflicts: 1130000 | #Constraints: 26111
1083.67/1086.66 c #Conflicts: 1131000 | #Constraints: 27111
1083.67/1086.66 c #Conflicts: 1132000 | #Constraints: 28111
1083.67/1086.66 c #Conflicts: 1133000 | #Constraints: 29111
1083.67/1086.66 c #Conflicts: 1134000 | #Constraints: 30111
1083.67/1086.66 c #Conflicts: 1135000 | #Constraints: 31111
1083.67/1086.66 c #Conflicts: 1136000 | #Constraints: 32111
1083.67/1086.66 c #Conflicts: 1137000 | #Constraints: 33111
1083.67/1086.66 c #Conflicts: 1138000 | #Constraints: 34111
1083.67/1086.66 c #Conflicts: 1139000 | #Constraints: 35111
1083.67/1086.66 c #Conflicts: 1140000 | #Constraints: 36111
1083.67/1086.66 c #Conflicts: 1141000 | #Constraints: 37111
1083.67/1086.66 c #Conflicts: 1142000 | #Constraints: 38111
1083.67/1086.66 c #Conflicts: 1143000 | #Constraints: 39111
1083.67/1086.66 c #Conflicts: 1144000 | #Constraints: 40111
1083.67/1086.66 c #Conflicts: 1145000 | #Constraints: 41111
1083.67/1086.66 c #Conflicts: 1146000 | #Constraints: 42111
1083.67/1086.66 c INPROCESSING
1083.67/1086.66 c GARBAGE COLLECT
1083.67/1086.66 c rational objective 2.00002
1126.34/1129.48 c #Conflicts: 1147000 | #Constraints: 21768
1126.34/1129.48 c #Conflicts: 1148000 | #Constraints: 22782
1126.34/1129.48 c #Conflicts: 1149000 | #Constraints: 23782
1126.34/1129.48 c #Conflicts: 1150000 | #Constraints: 24782
1126.34/1129.48 c #Conflicts: 1151000 | #Constraints: 25782
1126.34/1129.48 c #Conflicts: 1152000 | #Constraints: 26782
1126.34/1129.48 c #Conflicts: 1153000 | #Constraints: 27782
1126.34/1129.48 c #Conflicts: 1154000 | #Constraints: 28782
1126.34/1129.48 c #Conflicts: 1155000 | #Constraints: 29782
1126.34/1129.48 c #Conflicts: 1156000 | #Constraints: 30790
1126.34/1129.48 c #Conflicts: 1157000 | #Constraints: 31834
1126.34/1129.48 c #Conflicts: 1158000 | #Constraints: 32837
1126.34/1129.48 c #Conflicts: 1159000 | #Constraints: 33882
1126.34/1129.48 c #Conflicts: 1160000 | #Constraints: 34946
1126.34/1129.48 c #Conflicts: 1161000 | #Constraints: 35950
1126.34/1129.48 c #Conflicts: 1162000 | #Constraints: 36950
1126.34/1129.48 c #Conflicts: 1163000 | #Constraints: 37950
1126.34/1129.48 c #Conflicts: 1164000 | #Constraints: 38950
1126.34/1129.48 c #Conflicts: 1165000 | #Constraints: 39950
1126.34/1129.48 c #Conflicts: 1166000 | #Constraints: 40950
1126.34/1129.48 c #Conflicts: 1167000 | #Constraints: 41950
1126.34/1129.48 c #Conflicts: 1168000 | #Constraints: 42950
1126.34/1129.48 c INPROCESSING
1126.34/1129.48 c GARBAGE COLLECT
1126.34/1129.48 c rational objective 2.00001
1165.22/1168.46 c #Conflicts: 1169000 | #Constraints: 22392
1165.22/1168.46 c #Conflicts: 1170000 | #Constraints: 23392
1165.22/1168.46 c #Conflicts: 1171000 | #Constraints: 24392
1165.22/1168.46 c #Conflicts: 1172000 | #Constraints: 25392
1165.22/1168.46 c #Conflicts: 1173000 | #Constraints: 26392
1165.22/1168.46 c #Conflicts: 1174000 | #Constraints: 27392
1165.22/1168.46 c #Conflicts: 1175000 | #Constraints: 28392
1165.22/1168.46 c #Conflicts: 1176000 | #Constraints: 29406
1165.22/1168.46 c #Conflicts: 1177000 | #Constraints: 30406
1165.22/1168.46 c #Conflicts: 1178000 | #Constraints: 31406
1165.22/1168.46 c #Conflicts: 1179000 | #Constraints: 32406
1165.22/1168.46 c #Conflicts: 1180000 | #Constraints: 33406
1165.22/1168.46 c #Conflicts: 1181000 | #Constraints: 34406
1165.22/1168.46 c #Conflicts: 1182000 | #Constraints: 35406
1165.22/1168.46 c #Conflicts: 1183000 | #Constraints: 36406
1165.22/1168.46 c #Conflicts: 1184000 | #Constraints: 37406
1165.22/1168.46 c #Conflicts: 1185000 | #Constraints: 38406
1165.22/1168.46 c #Conflicts: 1186000 | #Constraints: 39406
1165.22/1168.46 c #Conflicts: 1187000 | #Constraints: 40406
1165.22/1168.46 c #Conflicts: 1188000 | #Constraints: 41406
1165.22/1168.46 c #Conflicts: 1189000 | #Constraints: 42406
1165.22/1168.46 c #Conflicts: 1190000 | #Constraints: 43406
1165.22/1168.46 c INPROCESSING
1165.22/1168.46 c GARBAGE COLLECT
1165.22/1168.46 c rational objective 2.00001
1205.80/1209.11 c #Conflicts: 1191000 | #Constraints: 22751
1205.80/1209.11 c #Conflicts: 1192000 | #Constraints: 23766
1205.80/1209.11 c #Conflicts: 1193000 | #Constraints: 24766
1205.80/1209.11 c #Conflicts: 1194000 | #Constraints: 25766
1205.80/1209.11 c #Conflicts: 1195000 | #Constraints: 26766
1205.80/1209.11 c #Conflicts: 1196000 | #Constraints: 27766
1205.80/1209.11 c #Conflicts: 1197000 | #Constraints: 28766
1205.80/1209.11 c #Conflicts: 1198000 | #Constraints: 29766
1205.80/1209.11 c #Conflicts: 1199000 | #Constraints: 30766
1205.80/1209.11 c #Conflicts: 1200000 | #Constraints: 31766
1205.80/1209.11 c #Conflicts: 1201000 | #Constraints: 32766
1205.80/1209.11 c #Conflicts: 1202000 | #Constraints: 33766
1205.80/1209.11 c #Conflicts: 1203000 | #Constraints: 34766
1205.80/1209.11 c #Conflicts: 1204000 | #Constraints: 35766
1205.80/1209.11 c #Conflicts: 1205000 | #Constraints: 36766
1205.80/1209.11 c #Conflicts: 1206000 | #Constraints: 37766
1205.80/1209.11 c #Conflicts: 1207000 | #Constraints: 38766
1205.80/1209.11 c #Conflicts: 1208000 | #Constraints: 39766
1205.80/1209.11 c #Conflicts: 1209000 | #Constraints: 40766
1205.80/1209.11 c #Conflicts: 1210000 | #Constraints: 41766
1205.80/1209.11 c #Conflicts: 1211000 | #Constraints: 42766
1205.80/1209.11 c #Conflicts: 1212000 | #Constraints: 43766
1205.80/1209.11 c INPROCESSING
1205.80/1209.11 c GARBAGE COLLECT
1205.80/1209.11 c rational objective 2.00001
1246.18/1249.63 c #Conflicts: 1213000 | #Constraints: 22902
1246.18/1249.63 c #Conflicts: 1214000 | #Constraints: 23902
1246.18/1249.63 c #Conflicts: 1215000 | #Constraints: 24921
1246.18/1249.63 c #Conflicts: 1216000 | #Constraints: 25929
1246.18/1249.63 c #Conflicts: 1217000 | #Constraints: 26945
1246.18/1249.63 c #Conflicts: 1218000 | #Constraints: 27945
1246.18/1249.63 c #Conflicts: 1219000 | #Constraints: 28945
1246.18/1249.63 c #Conflicts: 1220000 | #Constraints: 29945
1246.18/1249.63 c #Conflicts: 1221000 | #Constraints: 30945
1246.18/1249.63 c #Conflicts: 1222000 | #Constraints: 31945
1246.18/1249.63 c #Conflicts: 1223000 | #Constraints: 32945
1246.18/1249.63 c #Conflicts: 1224000 | #Constraints: 33945
1246.18/1249.63 c #Conflicts: 1225000 | #Constraints: 34945
1246.18/1249.63 c #Conflicts: 1226000 | #Constraints: 35945
1246.18/1249.63 c #Conflicts: 1227000 | #Constraints: 36945
1246.18/1249.63 c #Conflicts: 1228000 | #Constraints: 37945
1246.18/1249.63 c #Conflicts: 1229000 | #Constraints: 38945
1246.18/1249.63 c #Conflicts: 1230000 | #Constraints: 39945
1246.18/1249.63 c #Conflicts: 1231000 | #Constraints: 40945
1246.18/1249.63 c #Conflicts: 1232000 | #Constraints: 41945
1246.18/1249.63 c #Conflicts: 1233000 | #Constraints: 42945
1246.18/1249.63 c #Conflicts: 1234000 | #Constraints: 43945
1246.18/1249.63 c INPROCESSING
1246.18/1249.63 c GARBAGE COLLECT
1246.18/1249.63 c rational objective 2.00002
1288.25/1291.89 c #Conflicts: 1235000 | #Constraints: 22912
1288.25/1291.89 c #Conflicts: 1236000 | #Constraints: 23937
1288.25/1291.89 c #Conflicts: 1237000 | #Constraints: 24948
1288.25/1291.89 c #Conflicts: 1238000 | #Constraints: 25969
1288.25/1291.89 c #Conflicts: 1239000 | #Constraints: 26975
1288.25/1291.89 c #Conflicts: 1240000 | #Constraints: 27975
1288.25/1291.89 c #Conflicts: 1241000 | #Constraints: 28975
1288.25/1291.89 c #Conflicts: 1242000 | #Constraints: 29975
1288.25/1291.89 c #Conflicts: 1243000 | #Constraints: 30975
1288.25/1291.89 c #Conflicts: 1244000 | #Constraints: 31975
1288.25/1291.89 c #Conflicts: 1245000 | #Constraints: 32975
1288.25/1291.89 c #Conflicts: 1246000 | #Constraints: 33975
1288.25/1291.89 c #Conflicts: 1247000 | #Constraints: 34975
1288.25/1291.89 c #Conflicts: 1248000 | #Constraints: 35975
1288.25/1291.89 c #Conflicts: 1249000 | #Constraints: 36975
1288.25/1291.89 c #Conflicts: 1250000 | #Constraints: 37975
1288.25/1291.89 c #Conflicts: 1251000 | #Constraints: 38975
1288.25/1291.89 c #Conflicts: 1252000 | #Constraints: 39975
1288.25/1291.89 c #Conflicts: 1253000 | #Constraints: 40975
1288.25/1291.89 c #Conflicts: 1254000 | #Constraints: 41975
1288.25/1291.89 c #Conflicts: 1255000 | #Constraints: 42975
1288.25/1291.89 c #Conflicts: 1256000 | #Constraints: 43975
1288.25/1291.89 c INPROCESSING
1288.25/1291.89 c GARBAGE COLLECT
1288.25/1291.89 c rational objective 2.00001
1331.44/1335.19 c #Conflicts: 1257000 | #Constraints: 22698
1331.44/1335.19 c #Conflicts: 1258000 | #Constraints: 23716
1331.44/1335.19 c #Conflicts: 1259000 | #Constraints: 24731
1331.44/1335.19 c #Conflicts: 1260000 | #Constraints: 25737
1331.44/1335.19 c #Conflicts: 1261000 | #Constraints: 26737
1331.44/1335.19 c #Conflicts: 1262000 | #Constraints: 27746
1331.44/1335.19 c #Conflicts: 1263000 | #Constraints: 28747
1331.44/1335.19 c #Conflicts: 1264000 | #Constraints: 29747
1331.44/1335.19 c #Conflicts: 1265000 | #Constraints: 30747
1331.44/1335.19 c #Conflicts: 1266000 | #Constraints: 31747
1331.44/1335.19 c #Conflicts: 1267000 | #Constraints: 32747
1331.44/1335.19 c #Conflicts: 1268000 | #Constraints: 33747
1331.44/1335.19 c #Conflicts: 1269000 | #Constraints: 34747
1331.44/1335.19 c #Conflicts: 1270000 | #Constraints: 35747
1331.44/1335.19 c #Conflicts: 1271000 | #Constraints: 36747
1331.44/1335.19 c #Conflicts: 1272000 | #Constraints: 37747
1331.44/1335.19 c #Conflicts: 1273000 | #Constraints: 38747
1331.44/1335.19 c #Conflicts: 1274000 | #Constraints: 39747
1331.44/1335.19 c #Conflicts: 1275000 | #Constraints: 40747
1331.44/1335.19 c #Conflicts: 1276000 | #Constraints: 41747
1331.44/1335.19 c #Conflicts: 1277000 | #Constraints: 42747
1331.44/1335.19 c #Conflicts: 1278000 | #Constraints: 43747
1331.44/1335.19 c #Conflicts: 1279000 | #Constraints: 44747
1331.44/1335.19 c INPROCESSING
1331.44/1335.19 c GARBAGE COLLECT
1331.44/1335.19 c rational objective 2.00001
1373.61/1377.46 c #Conflicts: 1280000 | #Constraints: 23290
1373.61/1377.46 c #Conflicts: 1281000 | #Constraints: 24292
1373.61/1377.46 c #Conflicts: 1282000 | #Constraints: 25303
1373.61/1377.46 c #Conflicts: 1283000 | #Constraints: 26314
1373.61/1377.46 c #Conflicts: 1284000 | #Constraints: 27325
1373.61/1377.46 c #Conflicts: 1285000 | #Constraints: 28342
1373.61/1377.46 c #Conflicts: 1286000 | #Constraints: 29358
1373.61/1377.46 c #Conflicts: 1287000 | #Constraints: 30374
1373.61/1377.46 c #Conflicts: 1288000 | #Constraints: 31400
1373.61/1377.46 c #Conflicts: 1289000 | #Constraints: 32411
1373.61/1377.46 c #Conflicts: 1290000 | #Constraints: 33453
1373.61/1377.46 c #Conflicts: 1291000 | #Constraints: 34470
1373.61/1377.46 c #Conflicts: 1292000 | #Constraints: 35475
1373.61/1377.46 c #Conflicts: 1293000 | #Constraints: 36475
1373.61/1377.46 c #Conflicts: 1294000 | #Constraints: 37475
1373.61/1377.46 c #Conflicts: 1295000 | #Constraints: 38475
1373.61/1377.46 c #Conflicts: 1296000 | #Constraints: 39475
1373.61/1377.46 c #Conflicts: 1297000 | #Constraints: 40475
1373.61/1377.46 c #Conflicts: 1298000 | #Constraints: 41475
1373.61/1377.46 c #Conflicts: 1299000 | #Constraints: 42475
1373.61/1377.46 c #Conflicts: 1300000 | #Constraints: 43475
1373.61/1377.46 c #Conflicts: 1301000 | #Constraints: 44475
1373.61/1377.46 c #Conflicts: 1302000 | #Constraints: 45475
1373.61/1377.46 c INPROCESSING
1373.61/1377.46 c GARBAGE COLLECT
1373.61/1377.46 c rational objective 2.00001
1421.17/1425.14 c #Conflicts: 1303000 | #Constraints: 23765
1421.17/1425.14 c #Conflicts: 1304000 | #Constraints: 24773
1421.17/1425.14 c #Conflicts: 1305000 | #Constraints: 25773
1421.17/1425.14 c #Conflicts: 1306000 | #Constraints: 26773
1421.17/1425.14 c #Conflicts: 1307000 | #Constraints: 27773
1421.17/1425.14 c #Conflicts: 1308000 | #Constraints: 28773
1421.17/1425.14 c #Conflicts: 1309000 | #Constraints: 29773
1421.17/1425.14 c #Conflicts: 1310000 | #Constraints: 30773
1421.17/1425.14 c #Conflicts: 1311000 | #Constraints: 31773
1421.17/1425.14 c #Conflicts: 1312000 | #Constraints: 32773
1421.17/1425.14 c #Conflicts: 1313000 | #Constraints: 33773
1421.17/1425.14 c #Conflicts: 1314000 | #Constraints: 34773
1421.17/1425.14 c #Conflicts: 1315000 | #Constraints: 35773
1421.17/1425.14 c #Conflicts: 1316000 | #Constraints: 36773
1421.17/1425.14 c #Conflicts: 1317000 | #Constraints: 37802
1421.17/1425.14 c #Conflicts: 1318000 | #Constraints: 38802
1421.17/1425.14 c #Conflicts: 1319000 | #Constraints: 39824
1421.17/1425.14 c #Conflicts: 1320000 | #Constraints: 40836
1421.17/1425.14 c #Conflicts: 1321000 | #Constraints: 41836
1421.17/1425.14 c #Conflicts: 1322000 | #Constraints: 42836
1421.17/1425.14 c #Conflicts: 1323000 | #Constraints: 43836
1421.17/1425.14 c #Conflicts: 1324000 | #Constraints: 44836
1421.17/1425.14 c #Conflicts: 1325000 | #Constraints: 45836
1421.17/1425.14 c INPROCESSING
1421.17/1425.14 c GARBAGE COLLECT
1421.17/1425.14 c rational objective 2.00002
1464.44/1468.58 c #Conflicts: 1326000 | #Constraints: 23967
1464.44/1468.58 c #Conflicts: 1327000 | #Constraints: 24974
1464.44/1468.58 c #Conflicts: 1328000 | #Constraints: 25974
1464.44/1468.58 c #Conflicts: 1329000 | #Constraints: 26984
1464.44/1468.58 c #Conflicts: 1330000 | #Constraints: 27984
1464.44/1468.58 c #Conflicts: 1331000 | #Constraints: 28984
1464.44/1468.58 c #Conflicts: 1332000 | #Constraints: 29984
1464.44/1468.58 c #Conflicts: 1333000 | #Constraints: 30984
1464.44/1468.58 c #Conflicts: 1334000 | #Constraints: 31984
1464.44/1468.58 c #Conflicts: 1335000 | #Constraints: 32984
1464.44/1468.58 c #Conflicts: 1336000 | #Constraints: 33984
1464.44/1468.58 c #Conflicts: 1337000 | #Constraints: 34984
1464.44/1468.58 c #Conflicts: 1338000 | #Constraints: 35984
1464.44/1468.58 c #Conflicts: 1339000 | #Constraints: 36984
1464.44/1468.58 c #Conflicts: 1340000 | #Constraints: 37984
1464.44/1468.58 c #Conflicts: 1341000 | #Constraints: 38984
1464.44/1468.58 c #Conflicts: 1342000 | #Constraints: 39984
1464.44/1468.58 c #Conflicts: 1343000 | #Constraints: 40984
1464.44/1468.58 c #Conflicts: 1344000 | #Constraints: 41984
1464.44/1468.58 c #Conflicts: 1345000 | #Constraints: 42984
1464.44/1468.58 c #Conflicts: 1346000 | #Constraints: 43984
1464.44/1468.58 c #Conflicts: 1347000 | #Constraints: 44984
1464.44/1468.58 c #Conflicts: 1348000 | #Constraints: 45984
1464.44/1468.58 c INPROCESSING
1464.44/1468.58 c GARBAGE COLLECT
1464.44/1468.58 c rational objective 2.00002
1520.58/1524.87 c #Conflicts: 1349000 | #Constraints: 23942
1520.58/1524.87 c #Conflicts: 1350000 | #Constraints: 25071
1520.58/1524.87 c #Conflicts: 1351000 | #Constraints: 26179
1520.58/1524.87 c #Conflicts: 1352000 | #Constraints: 27274
1520.58/1524.87 c #Conflicts: 1353000 | #Constraints: 28405
1520.58/1524.87 c #Conflicts: 1354000 | #Constraints: 29505
1520.58/1524.87 c #Conflicts: 1355000 | #Constraints: 30637
1520.58/1524.87 c #Conflicts: 1356000 | #Constraints: 31793
1520.58/1524.87 c #Conflicts: 1357000 | #Constraints: 32894
1520.58/1524.87 c #Conflicts: 1358000 | #Constraints: 33986
1520.58/1524.87 c #Conflicts: 1359000 | #Constraints: 35091
1520.58/1524.87 c #Conflicts: 1360000 | #Constraints: 36193
1520.58/1524.87 c #Conflicts: 1361000 | #Constraints: 37297
1520.58/1524.87 c #Conflicts: 1362000 | #Constraints: 38337
1520.58/1524.87 c #Conflicts: 1363000 | #Constraints: 39337
1520.58/1524.87 c #Conflicts: 1364000 | #Constraints: 40337
1520.58/1524.87 c #Conflicts: 1365000 | #Constraints: 41337
1520.58/1524.87 c #Conflicts: 1366000 | #Constraints: 42337
1520.58/1524.87 c #Conflicts: 1367000 | #Constraints: 43337
1520.58/1524.87 c #Conflicts: 1368000 | #Constraints: 44337
1520.58/1524.87 c #Conflicts: 1369000 | #Constraints: 45337
1520.58/1524.87 c #Conflicts: 1370000 | #Constraints: 46337
1520.58/1524.87 c #Conflicts: 1371000 | #Constraints: 47337
1520.58/1524.87 c INPROCESSING
1520.58/1524.87 c GARBAGE COLLECT
1520.58/1524.87 c rational objective 2.0002
1570.05/1574.44 c #Conflicts: 1372000 | #Constraints: 24397
1570.05/1574.44 c #Conflicts: 1373000 | #Constraints: 25507
1570.05/1574.44 c #Conflicts: 1374000 | #Constraints: 26605
1570.05/1574.44 c #Conflicts: 1375000 | #Constraints: 27704
1570.05/1574.44 c #Conflicts: 1376000 | #Constraints: 28788
1570.05/1574.44 c #Conflicts: 1377000 | #Constraints: 29913
1570.05/1574.44 c #Conflicts: 1378000 | #Constraints: 30984
1570.05/1574.44 c #Conflicts: 1379000 | #Constraints: 32029
1570.05/1574.44 c #Conflicts: 1380000 | #Constraints: 33112
1570.05/1574.44 c #Conflicts: 1381000 | #Constraints: 34158
1570.05/1574.44 c #Conflicts: 1382000 | #Constraints: 35211
1570.05/1574.44 c #Conflicts: 1383000 | #Constraints: 36284
1570.05/1574.44 c #Conflicts: 1384000 | #Constraints: 37356
1570.05/1574.44 c #Conflicts: 1385000 | #Constraints: 38381
1570.05/1574.44 c #Conflicts: 1386000 | #Constraints: 39381
1570.05/1574.44 c #Conflicts: 1387000 | #Constraints: 40414
1570.05/1574.44 c #Conflicts: 1388000 | #Constraints: 41498
1570.05/1574.44 c #Conflicts: 1389000 | #Constraints: 42569
1570.05/1574.44 c #Conflicts: 1390000 | #Constraints: 43569
1570.05/1574.44 c #Conflicts: 1391000 | #Constraints: 44611
1570.05/1574.44 c #Conflicts: 1392000 | #Constraints: 45705
1570.05/1574.44 c #Conflicts: 1393000 | #Constraints: 46781
1570.05/1574.44 c #Conflicts: 1394000 | #Constraints: 47874
1570.05/1574.44 c #Conflicts: 1395000 | #Constraints: 48956
1570.05/1574.44 c INPROCESSING
1570.05/1574.44 c GARBAGE COLLECT
1570.05/1574.44 c rational objective 2.00033
1626.10/1630.69 c #Conflicts: 1396000 | #Constraints: 25417
1626.10/1630.69 c #Conflicts: 1397000 | #Constraints: 26459
1626.10/1630.69 c #Conflicts: 1398000 | #Constraints: 27506
1626.10/1630.69 c #Conflicts: 1399000 | #Constraints: 28547
1626.10/1630.69 c #Conflicts: 1400000 | #Constraints: 29581
1626.10/1630.69 c #Conflicts: 1401000 | #Constraints: 30591
1626.10/1630.69 c #Conflicts: 1402000 | #Constraints: 31591
1626.10/1630.69 c #Conflicts: 1403000 | #Constraints: 32591
1626.10/1630.69 c #Conflicts: 1404000 | #Constraints: 33616
1626.10/1630.69 c #Conflicts: 1405000 | #Constraints: 34672
1626.10/1630.69 c #Conflicts: 1406000 | #Constraints: 35711
1626.10/1630.69 c #Conflicts: 1407000 | #Constraints: 36805
1626.10/1630.69 c #Conflicts: 1408000 | #Constraints: 37837
1626.10/1630.69 c #Conflicts: 1409000 | #Constraints: 38870
1626.10/1630.69 c #Conflicts: 1410000 | #Constraints: 39891
1626.10/1630.69 c #Conflicts: 1411000 | #Constraints: 40895
1626.10/1630.69 c #Conflicts: 1412000 | #Constraints: 41895
1626.10/1630.69 c #Conflicts: 1413000 | #Constraints: 42930
1626.10/1630.69 c #Conflicts: 1414000 | #Constraints: 43948
1626.10/1630.69 c #Conflicts: 1415000 | #Constraints: 44983
1626.10/1630.69 c #Conflicts: 1416000 | #Constraints: 46050
1626.10/1630.69 c #Conflicts: 1417000 | #Constraints: 47087
1626.10/1630.69 c #Conflicts: 1418000 | #Constraints: 48139
1626.10/1630.69 c #Conflicts: 1419000 | #Constraints: 49179
1626.10/1630.69 c INPROCESSING
1626.10/1630.69 c GARBAGE COLLECT
1626.10/1630.69 c rational objective 2.00029
1680.55/1685.21 c #Conflicts: 1420000 | #Constraints: 25651
1680.55/1685.21 c #Conflicts: 1421000 | #Constraints: 26747
1680.55/1685.21 c #Conflicts: 1422000 | #Constraints: 27803
1680.55/1685.21 c #Conflicts: 1423000 | #Constraints: 28835
1680.55/1685.21 c #Conflicts: 1424000 | #Constraints: 29855
1680.55/1685.21 c #Conflicts: 1425000 | #Constraints: 30898
1680.55/1685.21 c #Conflicts: 1426000 | #Constraints: 31956
1680.55/1685.21 c #Conflicts: 1427000 | #Constraints: 32996
1680.55/1685.21 c #Conflicts: 1428000 | #Constraints: 34028
1680.55/1685.21 c #Conflicts: 1429000 | #Constraints: 35067
1680.55/1685.21 c #Conflicts: 1430000 | #Constraints: 36115
1680.55/1685.21 c #Conflicts: 1431000 | #Constraints: 37130
1680.55/1685.21 c #Conflicts: 1432000 | #Constraints: 38166
1680.55/1685.21 c #Conflicts: 1433000 | #Constraints: 39166
1680.55/1685.21 c #Conflicts: 1434000 | #Constraints: 40168
1680.55/1685.21 c #Conflicts: 1435000 | #Constraints: 41197
1680.55/1685.21 c #Conflicts: 1436000 | #Constraints: 42226
1680.55/1685.21 c #Conflicts: 1437000 | #Constraints: 43226
1680.55/1685.21 c #Conflicts: 1438000 | #Constraints: 44226
1680.55/1685.21 c #Conflicts: 1439000 | #Constraints: 45226
1680.55/1685.21 c #Conflicts: 1440000 | #Constraints: 46226
1680.55/1685.21 c #Conflicts: 1441000 | #Constraints: 47226
1680.55/1685.21 c #Conflicts: 1442000 | #Constraints: 48226
1680.55/1685.21 c #Conflicts: 1443000 | #Constraints: 49226
1680.55/1685.21 c INPROCESSING
1680.55/1685.21 c GARBAGE COLLECT
1680.55/1685.21 c rational objective 2.0003
1733.40/1738.29 c #Conflicts: 1444000 | #Constraints: 25665
1733.40/1738.29 c #Conflicts: 1445000 | #Constraints: 26681
1733.40/1738.29 c #Conflicts: 1446000 | #Constraints: 27681
1733.40/1738.29 c #Conflicts: 1447000 | #Constraints: 28681
1733.40/1738.29 c #Conflicts: 1448000 | #Constraints: 29681
1733.40/1738.29 c #Conflicts: 1449000 | #Constraints: 30681
1733.40/1738.29 c #Conflicts: 1450000 | #Constraints: 31681
1733.40/1738.29 c #Conflicts: 1451000 | #Constraints: 32681
1733.40/1738.29 c #Conflicts: 1452000 | #Constraints: 33681
1733.40/1738.29 c #Conflicts: 1453000 | #Constraints: 34681
1733.40/1738.29 c #Conflicts: 1454000 | #Constraints: 35681
1733.40/1738.29 c #Conflicts: 1455000 | #Constraints: 36681
1733.40/1738.29 c #Conflicts: 1456000 | #Constraints: 37681
1733.40/1738.29 c #Conflicts: 1457000 | #Constraints: 38681
1733.40/1738.29 c #Conflicts: 1458000 | #Constraints: 39681
1733.40/1738.29 c #Conflicts: 1459000 | #Constraints: 40681
1733.40/1738.29 c #Conflicts: 1460000 | #Constraints: 41681
1733.40/1738.29 c #Conflicts: 1461000 | #Constraints: 42681
1733.40/1738.29 c #Conflicts: 1462000 | #Constraints: 43681
1733.40/1738.29 c #Conflicts: 1463000 | #Constraints: 44681
1733.40/1738.29 c #Conflicts: 1464000 | #Constraints: 45681
1733.40/1738.29 c #Conflicts: 1465000 | #Constraints: 46681
1733.40/1738.29 c #Conflicts: 1466000 | #Constraints: 47681
1733.40/1738.29 c #Conflicts: 1467000 | #Constraints: 48681
1733.40/1738.29 c INPROCESSING
1733.40/1738.29 c GARBAGE COLLECT
1733.40/1738.29 c rational objective 2.00013
1787.16/1792.15 c #Conflicts: 1468000 | #Constraints: 25304
1787.16/1792.15 c #Conflicts: 1469000 | #Constraints: 26390
1787.16/1792.15 c #Conflicts: 1470000 | #Constraints: 27480
1787.16/1792.15 c #Conflicts: 1471000 | #Constraints: 28562
1787.16/1792.15 c #Conflicts: 1472000 | #Constraints: 29673
1787.16/1792.15 c #Conflicts: 1473000 | #Constraints: 30774
1787.16/1792.15 c #Conflicts: 1474000 | #Constraints: 31885
1787.16/1792.15 c #Conflicts: 1475000 | #Constraints: 32950
1787.16/1792.15 c #Conflicts: 1476000 | #Constraints: 34015
1787.16/1792.15 c #Conflicts: 1477000 | #Constraints: 35095
1787.16/1792.15 c #Conflicts: 1478000 | #Constraints: 36230
1787.16/1792.15 c #Conflicts: 1479000 | #Constraints: 37324
1787.16/1792.15 c #Conflicts: 1480000 | #Constraints: 38389
1787.16/1792.15 c #Conflicts: 1481000 | #Constraints: 39485
1787.16/1792.15 c #Conflicts: 1482000 | #Constraints: 40486
1787.16/1792.15 c #Conflicts: 1483000 | #Constraints: 41563
1787.16/1792.15 c #Conflicts: 1484000 | #Constraints: 42649
1787.16/1792.15 c #Conflicts: 1485000 | #Constraints: 43711
1787.16/1792.15 c #Conflicts: 1486000 | #Constraints: 44795
1787.16/1792.15 c #Conflicts: 1487000 | #Constraints: 45903
1787.16/1792.15 c #Conflicts: 1488000 | #Constraints: 47002
1787.16/1792.15 c #Conflicts: 1489000 | #Constraints: 48081
1787.16/1792.15 c #Conflicts: 1490000 | #Constraints: 49085
1787.16/1792.15 c #Conflicts: 1491000 | #Constraints: 50213
1787.16/1792.15 c INPROCESSING
1787.16/1792.15 c GARBAGE COLLECT
1787.16/1792.15 c rational objective 2.00001
1841.01/1846.16 c #Conflicts: 1492000 | #Constraints: 25838
1841.01/1846.16 c #Conflicts: 1493000 | #Constraints: 26838
1841.01/1846.16 c #Conflicts: 1494000 | #Constraints: 27855
1841.01/1846.16 c #Conflicts: 1495000 | #Constraints: 28867
1841.01/1846.16 c #Conflicts: 1496000 | #Constraints: 29867
1841.01/1846.16 c #Conflicts: 1497000 | #Constraints: 30867
1841.01/1846.16 c #Conflicts: 1498000 | #Constraints: 31867
1841.01/1846.16 c #Conflicts: 1499000 | #Constraints: 32867
1841.01/1846.16 c #Conflicts: 1500000 | #Constraints: 33889
1841.01/1846.16 c #Conflicts: 1501000 | #Constraints: 34889
1841.01/1846.16 c #Conflicts: 1502000 | #Constraints: 35898
1841.01/1846.16 c #Conflicts: 1503000 | #Constraints: 36903
1841.01/1846.16 c #Conflicts: 1504000 | #Constraints: 37917
1841.01/1846.16 c #Conflicts: 1505000 | #Constraints: 38955
1841.01/1846.16 c #Conflicts: 1506000 | #Constraints: 39992
1841.01/1846.16 c #Conflicts: 1507000 | #Constraints: 41032
1841.01/1846.16 c #Conflicts: 1508000 | #Constraints: 42093
1841.01/1846.16 c #Conflicts: 1509000 | #Constraints: 43136
1841.01/1846.16 c #Conflicts: 1510000 | #Constraints: 44187
1841.01/1846.16 c #Conflicts: 1511000 | #Constraints: 45187
1841.01/1846.16 c #Conflicts: 1512000 | #Constraints: 46187
1841.01/1846.16 c #Conflicts: 1513000 | #Constraints: 47187
1841.01/1846.16 c #Conflicts: 1514000 | #Constraints: 48217
1841.01/1846.16 c #Conflicts: 1515000 | #Constraints: 49295
1841.01/1846.16 c #Conflicts: 1516000 | #Constraints: 50374
1841.01/1846.16 c INPROCESSING
1841.01/1846.16 c GARBAGE COLLECT
1841.01/1846.16 c rational objective 1.99999
1895.96/1901.29 c #Conflicts: 1517000 | #Constraints: 26109
1895.96/1901.29 c #Conflicts: 1518000 | #Constraints: 27122
1895.96/1901.29 c #Conflicts: 1519000 | #Constraints: 28132
1895.96/1901.29 c #Conflicts: 1520000 | #Constraints: 29167
1895.96/1901.29 c #Conflicts: 1521000 | #Constraints: 30167
1895.96/1901.29 c #Conflicts: 1522000 | #Constraints: 31216
1895.96/1901.29 c #Conflicts: 1523000 | #Constraints: 32249
1895.96/1901.29 c #Conflicts: 1524000 | #Constraints: 33249
1895.96/1901.29 c #Conflicts: 1525000 | #Constraints: 34249
1895.96/1901.29 c #Conflicts: 1526000 | #Constraints: 35251
1895.96/1901.29 c #Conflicts: 1527000 | #Constraints: 36266
1895.96/1901.29 c #Conflicts: 1528000 | #Constraints: 37295
1895.96/1901.29 c #Conflicts: 1529000 | #Constraints: 38335
1895.96/1901.29 c #Conflicts: 1530000 | #Constraints: 39377
1895.96/1901.29 c #Conflicts: 1531000 | #Constraints: 40388
1895.96/1901.29 c #Conflicts: 1532000 | #Constraints: 41419
1895.96/1901.29 c #Conflicts: 1533000 | #Constraints: 42452
1895.96/1901.29 c #Conflicts: 1534000 | #Constraints: 43455
1895.96/1901.29 c #Conflicts: 1535000 | #Constraints: 44487
1895.96/1901.29 c #Conflicts: 1536000 | #Constraints: 45526
1895.96/1901.29 c #Conflicts: 1537000 | #Constraints: 46582
1895.96/1901.29 c #Conflicts: 1538000 | #Constraints: 47638
1895.96/1901.29 c #Conflicts: 1539000 | #Constraints: 48699
1895.96/1901.29 c #Conflicts: 1540000 | #Constraints: 49718
1895.96/1901.29 c #Conflicts: 1541000 | #Constraints: 50775
1895.96/1901.29 c INPROCESSING
1895.96/1901.29 c GARBAGE COLLECT
1895.96/1901.29 c rational objective 2.04942
1949.21/1954.63 c #Conflicts: 1542000 | #Constraints: 26470
1949.21/1954.63 c #Conflicts: 1543000 | #Constraints: 27487
1949.21/1954.63 c #Conflicts: 1544000 | #Constraints: 28506
1949.21/1954.63 c #Conflicts: 1545000 | #Constraints: 29529
1949.21/1954.63 c #Conflicts: 1546000 | #Constraints: 30543
1949.21/1954.63 c #Conflicts: 1547000 | #Constraints: 31573
1949.21/1954.63 c #Conflicts: 1548000 | #Constraints: 32610
1949.21/1954.63 c #Conflicts: 1549000 | #Constraints: 33629
1949.21/1954.63 c #Conflicts: 1550000 | #Constraints: 34645
1949.21/1954.63 c #Conflicts: 1551000 | #Constraints: 35679
1949.21/1954.63 c #Conflicts: 1552000 | #Constraints: 36733
1949.21/1954.63 c #Conflicts: 1553000 | #Constraints: 37760
1949.21/1954.63 c #Conflicts: 1554000 | #Constraints: 38793
1949.21/1954.63 c #Conflicts: 1555000 | #Constraints: 39841
1949.21/1954.63 c #Conflicts: 1556000 | #Constraints: 40865
1949.21/1954.63 c #Conflicts: 1557000 | #Constraints: 41901
1949.21/1954.63 c #Conflicts: 1558000 | #Constraints: 42941
1949.21/1954.63 c #Conflicts: 1559000 | #Constraints: 44010
1949.21/1954.63 c #Conflicts: 1560000 | #Constraints: 45033
1949.21/1954.63 c #Conflicts: 1561000 | #Constraints: 46076
1949.21/1954.63 c #Conflicts: 1562000 | #Constraints: 47116
1949.21/1954.63 c #Conflicts: 1563000 | #Constraints: 48116
1949.21/1954.63 c #Conflicts: 1564000 | #Constraints: 49142
1949.21/1954.63 c #Conflicts: 1565000 | #Constraints: 50150
1949.21/1954.63 c #Conflicts: 1566000 | #Constraints: 51173
1949.21/1954.63 c INPROCESSING
1949.21/1954.63 c GARBAGE COLLECT
1949.21/1954.63 c rational objective 2.05128
2013.44/2019.02 c #Conflicts: 1567000 | #Constraints: 26605
2013.44/2019.02 c #Conflicts: 1568000 | #Constraints: 27605
2013.44/2019.02 c #Conflicts: 1569000 | #Constraints: 28617
2013.44/2019.02 c #Conflicts: 1570000 | #Constraints: 29656
2013.44/2019.02 c #Conflicts: 1571000 | #Constraints: 30702
2013.44/2019.02 c #Conflicts: 1572000 | #Constraints: 31746
2013.44/2019.02 c #Conflicts: 1573000 | #Constraints: 32787
2013.44/2019.02 c #Conflicts: 1574000 | #Constraints: 33869
2013.44/2019.02 c #Conflicts: 1575000 | #Constraints: 34924
2013.44/2019.02 c #Conflicts: 1576000 | #Constraints: 35969
2013.44/2019.02 c #Conflicts: 1577000 | #Constraints: 37008
2013.44/2019.02 c #Conflicts: 1578000 | #Constraints: 38068
2013.44/2019.02 c #Conflicts: 1579000 | #Constraints: 39104
2013.44/2019.02 c #Conflicts: 1580000 | #Constraints: 40126
2013.44/2019.02 c #Conflicts: 1581000 | #Constraints: 41156
2013.44/2019.02 c #Conflicts: 1582000 | #Constraints: 42182
2013.44/2019.02 c #Conflicts: 1583000 | #Constraints: 43193
2013.44/2019.02 c #Conflicts: 1584000 | #Constraints: 44222
2013.44/2019.02 c #Conflicts: 1585000 | #Constraints: 45258
2013.44/2019.02 c #Conflicts: 1586000 | #Constraints: 46301
2013.44/2019.02 c #Conflicts: 1587000 | #Constraints: 47337
2013.44/2019.02 c #Conflicts: 1588000 | #Constraints: 48373
2013.44/2019.02 c #Conflicts: 1589000 | #Constraints: 49409
2013.44/2019.02 c #Conflicts: 1590000 | #Constraints: 50429
2013.44/2019.02 c #Conflicts: 1591000 | #Constraints: 51471
2013.44/2019.02 c INPROCESSING
2013.44/2019.02 c GARBAGE COLLECT
2013.44/2019.02 c rational objective 2.00001
2073.46/2079.22 c #Conflicts: 1592000 | #Constraints: 26661
2073.46/2079.22 c #Conflicts: 1593000 | #Constraints: 27661
2073.46/2079.22 c #Conflicts: 1594000 | #Constraints: 28683
2073.46/2079.22 c #Conflicts: 1595000 | #Constraints: 29713
2073.46/2079.22 c #Conflicts: 1596000 | #Constraints: 30713
2073.46/2079.22 c #Conflicts: 1597000 | #Constraints: 31733
2073.46/2079.22 c #Conflicts: 1598000 | #Constraints: 32777
2073.46/2079.22 c #Conflicts: 1599000 | #Constraints: 33784
2073.46/2079.22 c #Conflicts: 1600000 | #Constraints: 34808
2073.46/2079.22 c #Conflicts: 1601000 | #Constraints: 35846
2073.46/2079.22 c #Conflicts: 1602000 | #Constraints: 36890
2073.46/2079.22 c #Conflicts: 1603000 | #Constraints: 37913
2073.46/2079.22 c #Conflicts: 1604000 | #Constraints: 38939
2073.46/2079.22 c #Conflicts: 1605000 | #Constraints: 39971
2073.46/2079.22 c #Conflicts: 1606000 | #Constraints: 41011
2073.46/2079.22 c #Conflicts: 1607000 | #Constraints: 42032
2073.46/2079.22 c #Conflicts: 1608000 | #Constraints: 43032
2073.46/2079.22 c #Conflicts: 1609000 | #Constraints: 44050
2073.46/2079.22 c #Conflicts: 1610000 | #Constraints: 45097
2073.46/2079.22 c #Conflicts: 1611000 | #Constraints: 46120
2073.46/2079.22 c #Conflicts: 1612000 | #Constraints: 47135
2073.46/2079.22 c #Conflicts: 1613000 | #Constraints: 48135
2073.46/2079.22 c #Conflicts: 1614000 | #Constraints: 49157
2073.46/2079.22 c #Conflicts: 1615000 | #Constraints: 50195
2073.46/2079.22 c #Conflicts: 1616000 | #Constraints: 51227
2073.46/2079.22 c INPROCESSING
2073.46/2079.22 c GARBAGE COLLECT
2073.46/2079.22 c rational objective 2
2131.78/2137.79 c #Conflicts: 1617000 | #Constraints: 26342
2131.78/2137.79 c #Conflicts: 1618000 | #Constraints: 27368
2131.78/2137.79 c #Conflicts: 1619000 | #Constraints: 28392
2131.78/2137.79 c #Conflicts: 1620000 | #Constraints: 29404
2131.78/2137.79 c #Conflicts: 1621000 | #Constraints: 30428
2131.78/2137.79 c #Conflicts: 1622000 | #Constraints: 31430
2131.78/2137.79 c #Conflicts: 1623000 | #Constraints: 32437
2131.78/2137.79 c #Conflicts: 1624000 | #Constraints: 33437
2131.78/2137.79 c #Conflicts: 1625000 | #Constraints: 34437
2131.78/2137.79 c #Conflicts: 1626000 | #Constraints: 35437
2131.78/2137.79 c #Conflicts: 1627000 | #Constraints: 36437
2131.78/2137.79 c #Conflicts: 1628000 | #Constraints: 37437
2131.78/2137.79 c #Conflicts: 1629000 | #Constraints: 38437
2131.78/2137.79 c #Conflicts: 1630000 | #Constraints: 39437
2131.78/2137.79 c #Conflicts: 1631000 | #Constraints: 40437
2131.78/2137.79 c #Conflicts: 1632000 | #Constraints: 41437
2131.78/2137.79 c #Conflicts: 1633000 | #Constraints: 42437
2131.78/2137.79 c #Conflicts: 1634000 | #Constraints: 43437
2131.78/2137.79 c #Conflicts: 1635000 | #Constraints: 44437
2131.78/2137.79 c #Conflicts: 1636000 | #Constraints: 45437
2131.78/2137.79 c #Conflicts: 1637000 | #Constraints: 46437
2131.78/2137.79 c #Conflicts: 1638000 | #Constraints: 47437
2131.78/2137.79 c #Conflicts: 1639000 | #Constraints: 48437
2131.78/2137.79 c #Conflicts: 1640000 | #Constraints: 49437
2131.78/2137.79 c #Conflicts: 1641000 | #Constraints: 50437
2131.78/2137.79 c #Conflicts: 1642000 | #Constraints: 51437
2131.78/2137.79 c INPROCESSING
2131.78/2137.79 c GARBAGE COLLECT
2131.78/2137.79 c rational objective 2.00008
2188.51/2194.66 c #Conflicts: 1643000 | #Constraints: 26632
2188.51/2194.66 c #Conflicts: 1644000 | #Constraints: 27661
2188.51/2194.66 c #Conflicts: 1645000 | #Constraints: 28672
2188.51/2194.66 c #Conflicts: 1646000 | #Constraints: 29691
2188.51/2194.66 c #Conflicts: 1647000 | #Constraints: 30691
2188.51/2194.66 c #Conflicts: 1648000 | #Constraints: 31701
2188.51/2194.66 c #Conflicts: 1649000 | #Constraints: 32715
2188.51/2194.66 c #Conflicts: 1650000 | #Constraints: 33730
2188.51/2194.66 c #Conflicts: 1651000 | #Constraints: 34741
2188.51/2194.66 c #Conflicts: 1652000 | #Constraints: 35763
2188.51/2194.66 c #Conflicts: 1653000 | #Constraints: 36784
2188.51/2194.66 c #Conflicts: 1654000 | #Constraints: 37807
2188.51/2194.66 c #Conflicts: 1655000 | #Constraints: 38818
2188.51/2194.66 c #Conflicts: 1656000 | #Constraints: 39832
2188.51/2194.66 c #Conflicts: 1657000 | #Constraints: 40853
2188.51/2194.66 c #Conflicts: 1658000 | #Constraints: 41867
2188.51/2194.66 c #Conflicts: 1659000 | #Constraints: 42896
2188.51/2194.66 c #Conflicts: 1660000 | #Constraints: 43913
2188.51/2194.66 c #Conflicts: 1661000 | #Constraints: 44921
2188.51/2194.66 c #Conflicts: 1662000 | #Constraints: 45921
2188.51/2194.66 c #Conflicts: 1663000 | #Constraints: 46921
2188.51/2194.66 c #Conflicts: 1664000 | #Constraints: 47921
2188.51/2194.66 c #Conflicts: 1665000 | #Constraints: 48921
2188.51/2194.66 c #Conflicts: 1666000 | #Constraints: 49936
2188.51/2194.66 c #Conflicts: 1667000 | #Constraints: 50954
2188.51/2194.66 c #Conflicts: 1668000 | #Constraints: 51954
2188.51/2194.66 c INPROCESSING
2188.51/2194.66 c GARBAGE COLLECT
2188.51/2194.66 c rational objective 2.00103
2253.40/2259.76 c #Conflicts: 1669000 | #Constraints: 27019
2253.40/2259.76 c #Conflicts: 1670000 | #Constraints: 28037
2253.40/2259.76 c #Conflicts: 1671000 | #Constraints: 29045
2253.40/2259.76 c #Conflicts: 1672000 | #Constraints: 30065
2253.40/2259.76 c #Conflicts: 1673000 | #Constraints: 31073
2253.40/2259.76 c #Conflicts: 1674000 | #Constraints: 32087
2253.40/2259.76 c #Conflicts: 1675000 | #Constraints: 33098
2253.40/2259.76 c #Conflicts: 1676000 | #Constraints: 34124
2253.40/2259.76 c #Conflicts: 1677000 | #Constraints: 35147
2253.40/2259.76 c #Conflicts: 1678000 | #Constraints: 36154
2253.40/2259.76 c #Conflicts: 1679000 | #Constraints: 37155
2253.40/2259.76 c #Conflicts: 1680000 | #Constraints: 38157
2253.40/2259.76 c #Conflicts: 1681000 | #Constraints: 39168
2253.40/2259.76 c #Conflicts: 1682000 | #Constraints: 40182
2253.40/2259.76 c #Conflicts: 1683000 | #Constraints: 41205
2253.40/2259.76 c #Conflicts: 1684000 | #Constraints: 42213
2253.40/2259.76 c #Conflicts: 1685000 | #Constraints: 43227
2253.40/2259.76 c #Conflicts: 1686000 | #Constraints: 44238
2253.40/2259.76 c #Conflicts: 1687000 | #Constraints: 45238
2253.40/2259.76 c #Conflicts: 1688000 | #Constraints: 46238
2253.40/2259.76 c #Conflicts: 1689000 | #Constraints: 47254
2253.40/2259.76 c #Conflicts: 1690000 | #Constraints: 48278
2253.40/2259.76 c #Conflicts: 1691000 | #Constraints: 49323
2253.40/2259.76 c #Conflicts: 1692000 | #Constraints: 50344
2253.40/2259.76 c #Conflicts: 1693000 | #Constraints: 51347
2253.40/2259.76 c #Conflicts: 1694000 | #Constraints: 52367
2253.40/2259.76 c INPROCESSING
2253.40/2259.76 c GARBAGE COLLECT
2253.40/2259.76 c rational objective 2.00258
2315.40/2321.93 c #Conflicts: 1695000 | #Constraints: 27201
2315.40/2321.93 c #Conflicts: 1696000 | #Constraints: 28226
2315.40/2321.93 c #Conflicts: 1697000 | #Constraints: 29229
2315.40/2321.93 c #Conflicts: 1698000 | #Constraints: 30238
2315.40/2321.93 c #Conflicts: 1699000 | #Constraints: 31268
2315.40/2321.93 c #Conflicts: 1700000 | #Constraints: 32285
2315.40/2321.93 c #Conflicts: 1701000 | #Constraints: 33293
2315.40/2321.93 c #Conflicts: 1702000 | #Constraints: 34298
2315.40/2321.93 c #Conflicts: 1703000 | #Constraints: 35298
2315.40/2321.93 c #Conflicts: 1704000 | #Constraints: 36304
2315.40/2321.93 c #Conflicts: 1705000 | #Constraints: 37307
2315.40/2321.93 c #Conflicts: 1706000 | #Constraints: 38329
2315.40/2321.93 c #Conflicts: 1707000 | #Constraints: 39340
2315.40/2321.93 c #Conflicts: 1708000 | #Constraints: 40348
2315.40/2321.93 c #Conflicts: 1709000 | #Constraints: 41366
2315.40/2321.93 c #Conflicts: 1710000 | #Constraints: 42392
2315.40/2321.93 c #Conflicts: 1711000 | #Constraints: 43404
2315.40/2321.93 c #Conflicts: 1712000 | #Constraints: 44405
2315.40/2321.93 c #Conflicts: 1713000 | #Constraints: 45405
2315.40/2321.93 c #Conflicts: 1714000 | #Constraints: 46420
2315.40/2321.94 c #Conflicts: 1715000 | #Constraints: 47441
2315.40/2321.94 c #Conflicts: 1716000 | #Constraints: 48454
2315.40/2321.94 c #Conflicts: 1717000 | #Constraints: 49479
2315.40/2321.94 c #Conflicts: 1718000 | #Constraints: 50510
2315.40/2321.94 c #Conflicts: 1719000 | #Constraints: 51538
2315.40/2321.94 c #Conflicts: 1720000 | #Constraints: 52566
2315.40/2321.94 c INPROCESSING
2315.40/2321.94 c GARBAGE COLLECT
2315.40/2321.94 c rational objective 2.10672
2375.01/2381.70 c #Conflicts: 1721000 | #Constraints: 27200
2375.01/2381.70 c #Conflicts: 1722000 | #Constraints: 28220
2375.01/2381.70 c #Conflicts: 1723000 | #Constraints: 29248
2375.01/2381.70 c #Conflicts: 1724000 | #Constraints: 30248
2375.01/2381.70 c #Conflicts: 1725000 | #Constraints: 31248
2375.01/2381.70 c #Conflicts: 1726000 | #Constraints: 32248
2375.01/2381.70 c #Conflicts: 1727000 | #Constraints: 33258
2375.01/2381.70 c #Conflicts: 1728000 | #Constraints: 34276
2375.01/2381.70 c #Conflicts: 1729000 | #Constraints: 35289
2375.01/2381.70 c #Conflicts: 1730000 | #Constraints: 36310
2375.01/2381.70 c #Conflicts: 1731000 | #Constraints: 37310
2375.01/2381.70 c #Conflicts: 1732000 | #Constraints: 38320
2375.01/2381.70 c #Conflicts: 1733000 | #Constraints: 39350
2375.01/2381.70 c #Conflicts: 1734000 | #Constraints: 40365
2375.01/2381.70 c #Conflicts: 1735000 | #Constraints: 41378
2375.01/2381.70 c #Conflicts: 1736000 | #Constraints: 42395
2375.01/2381.70 c #Conflicts: 1737000 | #Constraints: 43395
2375.01/2381.70 c #Conflicts: 1738000 | #Constraints: 44409
2375.01/2381.70 c #Conflicts: 1739000 | #Constraints: 45420
2375.01/2381.70 c #Conflicts: 1740000 | #Constraints: 46420
2375.01/2381.70 c #Conflicts: 1741000 | #Constraints: 47426
2375.01/2381.70 c #Conflicts: 1742000 | #Constraints: 48433
2375.01/2381.70 c #Conflicts: 1743000 | #Constraints: 49440
2375.01/2381.70 c #Conflicts: 1744000 | #Constraints: 50448
2375.01/2381.70 c #Conflicts: 1745000 | #Constraints: 51462
2375.01/2381.70 c #Conflicts: 1746000 | #Constraints: 52468
2375.01/2381.70 c INPROCESSING
2375.01/2381.70 c GARBAGE COLLECT
2375.01/2381.70 c rational objective 2
2436.02/2442.93 c #Conflicts: 1747000 | #Constraints: 26948
2436.02/2442.93 c #Conflicts: 1748000 | #Constraints: 27951
2436.02/2442.93 c #Conflicts: 1749000 | #Constraints: 28951
2436.02/2442.93 c #Conflicts: 1750000 | #Constraints: 29959
2436.02/2442.93 c #Conflicts: 1751000 | #Constraints: 30986
2436.02/2442.93 c #Conflicts: 1752000 | #Constraints: 32019
2436.02/2442.93 c #Conflicts: 1753000 | #Constraints: 33028
2436.02/2442.93 c #Conflicts: 1754000 | #Constraints: 34034
2436.02/2442.93 c #Conflicts: 1755000 | #Constraints: 35053
2436.02/2442.93 c #Conflicts: 1756000 | #Constraints: 36077
2436.02/2442.93 c #Conflicts: 1757000 | #Constraints: 37106
2436.02/2442.93 c #Conflicts: 1758000 | #Constraints: 38137
2436.02/2442.93 c #Conflicts: 1759000 | #Constraints: 39145
2436.02/2442.93 c #Conflicts: 1760000 | #Constraints: 40163
2436.02/2442.93 c #Conflicts: 1761000 | #Constraints: 41180
2436.02/2442.93 c #Conflicts: 1762000 | #Constraints: 42208
2436.02/2442.93 c #Conflicts: 1763000 | #Constraints: 43230
2436.02/2442.93 c #Conflicts: 1764000 | #Constraints: 44230
2436.02/2442.93 c #Conflicts: 1765000 | #Constraints: 45231
2436.02/2442.93 c #Conflicts: 1766000 | #Constraints: 46231
2436.02/2442.93 c #Conflicts: 1767000 | #Constraints: 47237
2436.02/2442.93 c #Conflicts: 1768000 | #Constraints: 48259
2436.02/2442.93 c #Conflicts: 1769000 | #Constraints: 49259
2436.02/2442.93 c #Conflicts: 1770000 | #Constraints: 50273
2436.02/2442.93 c #Conflicts: 1771000 | #Constraints: 51273
2436.02/2442.93 c #Conflicts: 1772000 | #Constraints: 52273
2436.02/2442.93 c #Conflicts: 1773000 | #Constraints: 53273
2436.02/2442.93 c INPROCESSING
2436.02/2442.93 c GARBAGE COLLECT
2436.02/2442.93 c rational objective 1.99998
2495.83/2502.90 c #Conflicts: 1774000 | #Constraints: 27568
2495.83/2502.90 c #Conflicts: 1775000 | #Constraints: 28574
2495.83/2502.90 c #Conflicts: 1776000 | #Constraints: 29594
2495.83/2502.90 c #Conflicts: 1777000 | #Constraints: 30608
2495.83/2502.90 c #Conflicts: 1778000 | #Constraints: 31625
2495.83/2502.90 c #Conflicts: 1779000 | #Constraints: 32628
2495.83/2502.90 c #Conflicts: 1780000 | #Constraints: 33628
2495.83/2502.90 c #Conflicts: 1781000 | #Constraints: 34643
2495.83/2502.90 c #Conflicts: 1782000 | #Constraints: 35659
2495.83/2502.90 c #Conflicts: 1783000 | #Constraints: 36664
2495.83/2502.90 c #Conflicts: 1784000 | #Constraints: 37691
2495.83/2502.90 c #Conflicts: 1785000 | #Constraints: 38709
2495.83/2502.90 c #Conflicts: 1786000 | #Constraints: 39735
2495.83/2502.90 c #Conflicts: 1787000 | #Constraints: 40765
2495.83/2502.90 c #Conflicts: 1788000 | #Constraints: 41780
2495.83/2502.90 c #Conflicts: 1789000 | #Constraints: 42791
2495.83/2502.90 c #Conflicts: 1790000 | #Constraints: 43795
2495.83/2502.90 c #Conflicts: 1791000 | #Constraints: 44829
2495.83/2502.90 c #Conflicts: 1792000 | #Constraints: 45851
2495.83/2502.90 c #Conflicts: 1793000 | #Constraints: 46874
2495.83/2502.90 c #Conflicts: 1794000 | #Constraints: 47883
2495.83/2502.90 c #Conflicts: 1795000 | #Constraints: 48883
2495.83/2502.90 c #Conflicts: 1796000 | #Constraints: 49883
2495.83/2502.90 c #Conflicts: 1797000 | #Constraints: 50886
2495.83/2502.90 c #Conflicts: 1798000 | #Constraints: 51933
2495.83/2502.90 c #Conflicts: 1799000 | #Constraints: 52973
2495.83/2502.90 c #Conflicts: 1800000 | #Constraints: 54038
2495.83/2502.90 c INPROCESSING
2495.83/2502.90 c GARBAGE COLLECT
2495.83/2502.90 c rational objective 2.00008
2563.02/2570.30 c #Conflicts: 1801000 | #Constraints: 28029
2563.02/2570.30 c #Conflicts: 1802000 | #Constraints: 29029
2563.02/2570.30 c #Conflicts: 1803000 | #Constraints: 30063
2563.02/2570.30 c #Conflicts: 1804000 | #Constraints: 31078
2563.02/2570.30 c #Conflicts: 1805000 | #Constraints: 32100
2563.02/2570.30 c #Conflicts: 1806000 | #Constraints: 33100
2563.02/2570.30 c #Conflicts: 1807000 | #Constraints: 34100
2563.02/2570.30 c #Conflicts: 1808000 | #Constraints: 35100
2563.02/2570.30 c #Conflicts: 1809000 | #Constraints: 36100
2563.02/2570.30 c #Conflicts: 1810000 | #Constraints: 37118
2563.02/2570.30 c #Conflicts: 1811000 | #Constraints: 38143
2563.02/2570.30 c #Conflicts: 1812000 | #Constraints: 39143
2563.02/2570.30 c #Conflicts: 1813000 | #Constraints: 40143
2563.02/2570.30 c #Conflicts: 1814000 | #Constraints: 41143
2563.02/2570.30 c #Conflicts: 1815000 | #Constraints: 42143
2563.02/2570.30 c #Conflicts: 1816000 | #Constraints: 43165
2563.02/2570.30 c #Conflicts: 1817000 | #Constraints: 44201
2563.02/2570.30 c #Conflicts: 1818000 | #Constraints: 45212
2563.02/2570.30 c #Conflicts: 1819000 | #Constraints: 46212
2563.02/2570.30 c #Conflicts: 1820000 | #Constraints: 47240
2563.02/2570.30 c #Conflicts: 1821000 | #Constraints: 48253
2563.02/2570.30 c #Conflicts: 1822000 | #Constraints: 49257
2563.02/2570.30 c #Conflicts: 1823000 | #Constraints: 50285
2563.02/2570.30 c #Conflicts: 1824000 | #Constraints: 51303
2563.02/2570.30 c #Conflicts: 1825000 | #Constraints: 52321
2563.02/2570.30 c #Conflicts: 1826000 | #Constraints: 53329
2563.02/2570.30 c #Conflicts: 1827000 | #Constraints: 54345
2563.02/2570.30 c INPROCESSING
2563.02/2570.30 c GARBAGE COLLECT
2563.02/2570.30 c rational objective 2.08919
2626.83/2634.35 c #Conflicts: 1828000 | #Constraints: 28178
2626.83/2634.35 c #Conflicts: 1829000 | #Constraints: 29192
2626.83/2634.35 c #Conflicts: 1830000 | #Constraints: 30213
2626.83/2634.35 c #Conflicts: 1831000 | #Constraints: 31242
2626.83/2634.35 c #Conflicts: 1832000 | #Constraints: 32265
2626.83/2634.35 c #Conflicts: 1833000 | #Constraints: 33282
2626.83/2634.35 c #Conflicts: 1834000 | #Constraints: 34291
2626.83/2634.35 c #Conflicts: 1835000 | #Constraints: 35291
2626.83/2634.35 c #Conflicts: 1836000 | #Constraints: 36306
2626.83/2634.35 c #Conflicts: 1837000 | #Constraints: 37357
2626.83/2634.35 c #Conflicts: 1838000 | #Constraints: 38384
2626.83/2634.35 c #Conflicts: 1839000 | #Constraints: 39413
2626.83/2634.35 c #Conflicts: 1840000 | #Constraints: 40449
2626.83/2634.35 c #Conflicts: 1841000 | #Constraints: 41482
2626.83/2634.35 c #Conflicts: 1842000 | #Constraints: 42501
2626.83/2634.35 c #Conflicts: 1843000 | #Constraints: 43516
2626.83/2634.35 c #Conflicts: 1844000 | #Constraints: 44546
2626.83/2634.35 c #Conflicts: 1845000 | #Constraints: 45549
2626.83/2634.35 c #Conflicts: 1846000 | #Constraints: 46567
2626.83/2634.35 c #Conflicts: 1847000 | #Constraints: 47584
2626.83/2634.35 c #Conflicts: 1848000 | #Constraints: 48630
2626.83/2634.35 c #Conflicts: 1849000 | #Constraints: 49650
2626.83/2634.35 c #Conflicts: 1850000 | #Constraints: 50673
2626.83/2634.35 c #Conflicts: 1851000 | #Constraints: 51684
2626.83/2634.35 c #Conflicts: 1852000 | #Constraints: 52684
2626.83/2634.35 c #Conflicts: 1853000 | #Constraints: 53684
2626.83/2634.35 c #Conflicts: 1854000 | #Constraints: 54699
2626.83/2634.35 c INPROCESSING
2626.83/2634.35 c GARBAGE COLLECT
2626.83/2634.35 c rational objective 2.09037
2695.71/2703.43 c #Conflicts: 1855000 | #Constraints: 28256
2695.71/2703.43 c #Conflicts: 1856000 | #Constraints: 29256
2695.71/2703.43 c #Conflicts: 1857000 | #Constraints: 30274
2695.71/2703.43 c #Conflicts: 1858000 | #Constraints: 31284
2695.71/2703.43 c #Conflicts: 1859000 | #Constraints: 32284
2695.71/2703.43 c #Conflicts: 1860000 | #Constraints: 33284
2695.71/2703.43 c #Conflicts: 1861000 | #Constraints: 34299
2695.71/2703.43 c #Conflicts: 1862000 | #Constraints: 35310
2695.71/2703.43 c #Conflicts: 1863000 | #Constraints: 36328
2695.71/2703.43 c #Conflicts: 1864000 | #Constraints: 37328
2695.71/2703.43 c #Conflicts: 1865000 | #Constraints: 38328
2695.71/2703.43 c #Conflicts: 1866000 | #Constraints: 39338
2695.71/2703.43 c #Conflicts: 1867000 | #Constraints: 40338
2695.71/2703.43 c #Conflicts: 1868000 | #Constraints: 41340
2695.71/2703.43 c #Conflicts: 1869000 | #Constraints: 42358
2695.71/2703.43 c #Conflicts: 1870000 | #Constraints: 43368
2695.71/2703.43 c #Conflicts: 1871000 | #Constraints: 44383
2695.71/2703.43 c #Conflicts: 1872000 | #Constraints: 45390
2695.71/2703.43 c #Conflicts: 1873000 | #Constraints: 46390
2695.71/2703.43 c #Conflicts: 1874000 | #Constraints: 47400
2695.71/2703.43 c #Conflicts: 1875000 | #Constraints: 48412
2695.71/2703.43 c #Conflicts: 1876000 | #Constraints: 49421
2695.71/2703.43 c #Conflicts: 1877000 | #Constraints: 50438
2695.71/2703.43 c #Conflicts: 1878000 | #Constraints: 51454
2695.71/2703.43 c #Conflicts: 1879000 | #Constraints: 52463
2695.71/2703.43 c #Conflicts: 1880000 | #Constraints: 53463
2695.71/2703.43 c #Conflicts: 1881000 | #Constraints: 54465
2695.71/2703.43 c INPROCESSING
2695.71/2703.43 c GARBAGE COLLECT
2695.71/2703.43 c rational objective 2.09236
2756.94/2764.83 c #Conflicts: 1882000 | #Constraints: 27938
2756.94/2764.83 c #Conflicts: 1883000 | #Constraints: 28956
2756.94/2764.83 c #Conflicts: 1884000 | #Constraints: 29968
2756.94/2764.83 c #Conflicts: 1885000 | #Constraints: 30976
2756.94/2764.83 c #Conflicts: 1886000 | #Constraints: 31986
2756.94/2764.83 c #Conflicts: 1887000 | #Constraints: 32986
2756.94/2764.83 c #Conflicts: 1888000 | #Constraints: 33989
2756.94/2764.83 c #Conflicts: 1889000 | #Constraints: 34989
2756.94/2764.83 c #Conflicts: 1890000 | #Constraints: 35994
2756.94/2764.83 c #Conflicts: 1891000 | #Constraints: 37019
2756.94/2764.83 c #Conflicts: 1892000 | #Constraints: 38047
2756.94/2764.83 c #Conflicts: 1893000 | #Constraints: 39068
2756.94/2764.83 c #Conflicts: 1894000 | #Constraints: 40079
2756.94/2764.83 c #Conflicts: 1895000 | #Constraints: 41084
2756.94/2764.83 c #Conflicts: 1896000 | #Constraints: 42084
2756.94/2764.83 c #Conflicts: 1897000 | #Constraints: 43108
2756.94/2764.83 c #Conflicts: 1898000 | #Constraints: 44125
2756.94/2764.83 c #Conflicts: 1899000 | #Constraints: 45125
2756.94/2764.83 c #Conflicts: 1900000 | #Constraints: 46130
2756.94/2764.83 c #Conflicts: 1901000 | #Constraints: 47145
2756.94/2764.83 c #Conflicts: 1902000 | #Constraints: 48145
2756.94/2764.83 c #Conflicts: 1903000 | #Constraints: 49176
2756.94/2764.83 c #Conflicts: 1904000 | #Constraints: 50196
2756.94/2764.83 c #Conflicts: 1905000 | #Constraints: 51206
2756.94/2764.83 c #Conflicts: 1906000 | #Constraints: 52208
2756.94/2764.83 c #Conflicts: 1907000 | #Constraints: 53208
2756.94/2764.83 c #Conflicts: 1908000 | #Constraints: 54228
2756.94/2764.83 c #Conflicts: 1909000 | #Constraints: 55244
2756.94/2764.83 c INPROCESSING
2756.94/2764.83 c GARBAGE COLLECT
2756.94/2764.83 c rational objective 2.09309
2899.04/2907.38 c #Conflicts: 1910000 | #Constraints: 28548
2899.04/2907.38 c #Conflicts: 1911000 | #Constraints: 29563
2899.04/2907.38 c #Conflicts: 1912000 | #Constraints: 30572
2899.04/2907.38 c #Conflicts: 1913000 | #Constraints: 31573
2899.04/2907.38 c #Conflicts: 1914000 | #Constraints: 32573
2899.04/2907.38 c #Conflicts: 1915000 | #Constraints: 33580
2899.04/2907.38 c #Conflicts: 1916000 | #Constraints: 34588
2899.04/2907.38 c #Conflicts: 1917000 | #Constraints: 35601
2899.04/2907.38 c #Conflicts: 1918000 | #Constraints: 36624
2899.04/2907.38 c #Conflicts: 1919000 | #Constraints: 37645
2899.04/2907.38 c #Conflicts: 1920000 | #Constraints: 38668
2899.04/2907.38 c #Conflicts: 1921000 | #Constraints: 39678
2899.04/2907.38 c #Conflicts: 1922000 | #Constraints: 40699
2899.04/2907.38 c #Conflicts: 1923000 | #Constraints: 41709
2899.04/2907.38 c #Conflicts: 1924000 | #Constraints: 42723
2899.04/2907.38 c #Conflicts: 1925000 | #Constraints: 43723
2899.04/2907.38 c #Conflicts: 1926000 | #Constraints: 44725
2899.04/2907.38 c #Conflicts: 1927000 | #Constraints: 45747
2899.04/2907.38 c #Conflicts: 1928000 | #Constraints: 46786
2899.04/2907.38 c #Conflicts: 1929000 | #Constraints: 47801
2899.04/2907.38 c #Conflicts: 1930000 | #Constraints: 48814
2899.04/2907.38 c #Conflicts: 1931000 | #Constraints: 49838
2899.04/2907.38 c #Conflicts: 1932000 | #Constraints: 50850
2899.04/2907.38 c #Conflicts: 1933000 | #Constraints: 51871
2899.04/2907.38 c #Conflicts: 1934000 | #Constraints: 52891
2899.04/2907.38 c #Conflicts: 1935000 | #Constraints: 53902
2899.04/2907.38 c #Conflicts: 1936000 | #Constraints: 54921
2899.04/2907.38 c #Conflicts: 1937000 | #Constraints: 55940
2899.04/2907.38 c INPROCESSING
2899.04/2907.38 c GARBAGE COLLECT
2899.04/2907.38 c #Conflicts: 1938000 | #Constraints: 28979
2899.04/2907.38 c #Conflicts: 1939000 | #Constraints: 30005
2899.04/2907.38 c #Conflicts: 1940000 | #Constraints: 31010
2899.04/2907.38 c #Conflicts: 1941000 | #Constraints: 32049
2899.04/2907.38 c #Conflicts: 1942000 | #Constraints: 33077
2899.04/2907.38 c #Conflicts: 1943000 | #Constraints: 34077
2899.04/2907.38 c #Conflicts: 1944000 | #Constraints: 35077
2899.04/2907.38 c #Conflicts: 1945000 | #Constraints: 36107
2899.04/2907.38 c #Conflicts: 1946000 | #Constraints: 37121
2899.04/2907.38 c #Conflicts: 1947000 | #Constraints: 38125
2899.04/2907.38 c #Conflicts: 1948000 | #Constraints: 39125
2899.04/2907.38 c #Conflicts: 1949000 | #Constraints: 40125
2899.04/2907.38 c #Conflicts: 1950000 | #Constraints: 41142
2899.04/2907.38 c #Conflicts: 1951000 | #Constraints: 42142
2899.04/2907.38 c #Conflicts: 1952000 | #Constraints: 43156
2899.04/2907.38 c #Conflicts: 1953000 | #Constraints: 44198
2899.04/2907.38 c #Conflicts: 1954000 | #Constraints: 45198
2899.04/2907.38 c #Conflicts: 1955000 | #Constraints: 46198
2899.04/2907.38 c #Conflicts: 1956000 | #Constraints: 47200
2899.04/2907.38 c #Conflicts: 1957000 | #Constraints: 48200
2899.04/2907.38 c #Conflicts: 1958000 | #Constraints: 49202
2899.04/2907.38 c #Conflicts: 1959000 | #Constraints: 50202
2899.04/2907.38 c #Conflicts: 1960000 | #Constraints: 51215
2899.04/2907.38 c #Conflicts: 1961000 | #Constraints: 52215
2899.04/2907.38 c #Conflicts: 1962000 | #Constraints: 53215
2899.04/2907.38 c #Conflicts: 1963000 | #Constraints: 54215
2899.04/2907.38 c #Conflicts: 1964000 | #Constraints: 55235
2899.04/2907.38 c #Conflicts: 1965000 | #Constraints: 56266
2899.04/2907.38 c INPROCESSING
2899.04/2907.38 c GARBAGE COLLECT
2899.04/2907.38 c rational objective 2.0931
2975.92/2984.44 c #Conflicts: 1966000 | #Constraints: 29150
2975.92/2984.44 c #Conflicts: 1967000 | #Constraints: 30163
2975.92/2984.44 c #Conflicts: 1968000 | #Constraints: 31163
2975.92/2984.44 c #Conflicts: 1969000 | #Constraints: 32174
2975.92/2984.44 c #Conflicts: 1970000 | #Constraints: 33193
2975.92/2984.44 c #Conflicts: 1971000 | #Constraints: 34206
2975.92/2984.44 c #Conflicts: 1972000 | #Constraints: 35214
2975.92/2984.44 c #Conflicts: 1973000 | #Constraints: 36236
2975.92/2984.44 c #Conflicts: 1974000 | #Constraints: 37254
2975.92/2984.44 c #Conflicts: 1975000 | #Constraints: 38274
2975.92/2984.44 c #Conflicts: 1976000 | #Constraints: 39295
2975.92/2984.44 c #Conflicts: 1977000 | #Constraints: 40330
2975.92/2984.44 c #Conflicts: 1978000 | #Constraints: 41350
2975.92/2984.44 c #Conflicts: 1979000 | #Constraints: 42350
2975.92/2984.44 c #Conflicts: 1980000 | #Constraints: 43350
2975.92/2984.44 c #Conflicts: 1981000 | #Constraints: 44356
2975.92/2984.44 c #Conflicts: 1982000 | #Constraints: 45373
2975.92/2984.44 c #Conflicts: 1983000 | #Constraints: 46387
2975.92/2984.44 c #Conflicts: 1984000 | #Constraints: 47399
2975.92/2984.44 c #Conflicts: 1985000 | #Constraints: 48399
2975.92/2984.44 c #Conflicts: 1986000 | #Constraints: 49400
2975.92/2984.44 c #Conflicts: 1987000 | #Constraints: 50400
2975.92/2984.44 c #Conflicts: 1988000 | #Constraints: 51409
2975.92/2984.44 c #Conflicts: 1989000 | #Constraints: 52409
2975.92/2984.44 c #Conflicts: 1990000 | #Constraints: 53409
2975.92/2984.44 c #Conflicts: 1991000 | #Constraints: 54422
2975.92/2984.44 c #Conflicts: 1992000 | #Constraints: 55441
2975.92/2984.44 c #Conflicts: 1993000 | #Constraints: 56441
2975.92/2984.44 c INPROCESSING
2975.92/2984.44 c GARBAGE COLLECT
2975.92/2984.44 c rational objective 2.00153
3045.33/3054.02 c #Conflicts: 1994000 | #Constraints: 29135
3045.33/3054.02 c #Conflicts: 1995000 | #Constraints: 30141
3045.33/3054.02 c #Conflicts: 1996000 | #Constraints: 31157
3045.33/3054.02 c #Conflicts: 1997000 | #Constraints: 32195
3045.33/3054.02 c #Conflicts: 1998000 | #Constraints: 33226
3045.33/3054.02 c #Conflicts: 1999000 | #Constraints: 34233
3045.33/3054.02 c #Conflicts: 2000000 | #Constraints: 35242
3045.33/3054.02 c #Conflicts: 2001000 | #Constraints: 36267
3045.33/3054.02 c #Conflicts: 2002000 | #Constraints: 37301
3045.33/3054.02 c #Conflicts: 2003000 | #Constraints: 38341
3045.33/3054.02 c #Conflicts: 2004000 | #Constraints: 39343
3045.33/3054.02 c #Conflicts: 2005000 | #Constraints: 40365
3045.33/3054.02 c #Conflicts: 2006000 | #Constraints: 41365
3045.33/3054.02 c #Conflicts: 2007000 | #Constraints: 42370
3045.33/3054.02 c #Conflicts: 2008000 | #Constraints: 43388
3045.33/3054.02 c #Conflicts: 2009000 | #Constraints: 44388
3045.33/3054.02 c #Conflicts: 2010000 | #Constraints: 45388
3045.33/3054.02 c #Conflicts: 2011000 | #Constraints: 46405
3045.33/3054.02 c #Conflicts: 2012000 | #Constraints: 47436
3045.33/3054.02 c #Conflicts: 2013000 | #Constraints: 48441
3045.33/3054.02 c #Conflicts: 2014000 | #Constraints: 49441
3045.33/3054.02 c #Conflicts: 2015000 | #Constraints: 50441
3045.33/3054.02 c #Conflicts: 2016000 | #Constraints: 51441
3045.33/3054.02 c #Conflicts: 2017000 | #Constraints: 52441
3045.33/3054.02 c #Conflicts: 2018000 | #Constraints: 53441
3045.33/3054.02 c #Conflicts: 2019000 | #Constraints: 54442
3045.33/3054.02 c #Conflicts: 2020000 | #Constraints: 55448
3045.33/3054.02 c #Conflicts: 2021000 | #Constraints: 56474
3045.33/3054.02 c INPROCESSING
3045.33/3054.02 c GARBAGE COLLECT
3045.33/3054.02 c rational objective 1.73084
3118.93/3127.89 c #Conflicts: 2022000 | #Constraints: 28977
3118.93/3127.89 c #Conflicts: 2023000 | #Constraints: 30027
3118.93/3127.89 c #Conflicts: 2024000 | #Constraints: 31027
3118.93/3127.89 c #Conflicts: 2025000 | #Constraints: 32027
3118.93/3127.89 c #Conflicts: 2026000 | #Constraints: 33027
3118.93/3127.89 c #Conflicts: 2027000 | #Constraints: 34027
3118.93/3127.89 c #Conflicts: 2028000 | #Constraints: 35057
3118.93/3127.89 c #Conflicts: 2029000 | #Constraints: 36058
3118.93/3127.89 c #Conflicts: 2030000 | #Constraints: 37058
3118.93/3127.89 c #Conflicts: 2031000 | #Constraints: 38061
3118.93/3127.89 c #Conflicts: 2032000 | #Constraints: 39080
3118.93/3127.89 c #Conflicts: 2033000 | #Constraints: 40094
3118.93/3127.89 c #Conflicts: 2034000 | #Constraints: 41124
3118.93/3127.89 c #Conflicts: 2035000 | #Constraints: 42124
3118.93/3127.89 c #Conflicts: 2036000 | #Constraints: 43124
3118.93/3127.89 c #Conflicts: 2037000 | #Constraints: 44124
3118.93/3127.89 c #Conflicts: 2038000 | #Constraints: 45124
3118.93/3127.89 c #Conflicts: 2039000 | #Constraints: 46127
3118.93/3127.89 c #Conflicts: 2040000 | #Constraints: 47181
3118.93/3127.89 c #Conflicts: 2041000 | #Constraints: 48181
3118.93/3127.89 c #Conflicts: 2042000 | #Constraints: 49181
3118.93/3127.89 c #Conflicts: 2043000 | #Constraints: 50183
3118.93/3127.89 c #Conflicts: 2044000 | #Constraints: 51244
3118.93/3127.89 c #Conflicts: 2045000 | #Constraints: 52258
3118.93/3127.89 c #Conflicts: 2046000 | #Constraints: 53317
3118.93/3127.89 c #Conflicts: 2047000 | #Constraints: 54317
3118.93/3127.89 c #Conflicts: 2048000 | #Constraints: 55332
3118.93/3127.89 c #Conflicts: 2049000 | #Constraints: 56341
3118.93/3127.89 c #Conflicts: 2050000 | #Constraints: 57341
3118.93/3127.89 c INPROCESSING
3118.93/3127.89 c GARBAGE COLLECT
3118.93/3127.89 c rational objective 1.73084
3201.69/3210.88 c #Conflicts: 2051000 | #Constraints: 29628
3201.69/3210.88 c #Conflicts: 2052000 | #Constraints: 30631
3201.69/3210.88 c #Conflicts: 2053000 | #Constraints: 31631
3201.69/3210.88 c #Conflicts: 2054000 | #Constraints: 32631
3201.69/3210.88 c #Conflicts: 2055000 | #Constraints: 33646
3201.69/3210.88 c #Conflicts: 2056000 | #Constraints: 34655
3201.69/3210.88 c #Conflicts: 2057000 | #Constraints: 35702
3201.69/3210.88 c #Conflicts: 2058000 | #Constraints: 36705
3201.69/3210.88 c #Conflicts: 2059000 | #Constraints: 37751
3201.69/3210.88 c #Conflicts: 2060000 | #Constraints: 38794
3201.69/3210.88 c #Conflicts: 2061000 | #Constraints: 39794
3201.69/3210.88 c #Conflicts: 2062000 | #Constraints: 40794
3201.69/3210.88 c #Conflicts: 2063000 | #Constraints: 41823
3201.69/3210.88 c #Conflicts: 2064000 | #Constraints: 42836
3201.69/3210.88 c #Conflicts: 2065000 | #Constraints: 43840
3201.69/3210.88 c #Conflicts: 2066000 | #Constraints: 44899
3201.69/3210.88 c #Conflicts: 2067000 | #Constraints: 45938
3201.69/3210.88 c #Conflicts: 2068000 | #Constraints: 46984
3201.69/3210.88 c #Conflicts: 2069000 | #Constraints: 47989
3201.69/3210.88 c #Conflicts: 2070000 | #Constraints: 48996
3201.69/3210.88 c #Conflicts: 2071000 | #Constraints: 50017
3201.69/3210.88 c #Conflicts: 2072000 | #Constraints: 51101
3201.69/3210.88 c #Conflicts: 2073000 | #Constraints: 52171
3201.69/3210.88 c #Conflicts: 2074000 | #Constraints: 53257
3201.69/3210.88 c #Conflicts: 2075000 | #Constraints: 54306
3201.69/3210.88 c #Conflicts: 2076000 | #Constraints: 55363
3201.69/3210.88 c #Conflicts: 2077000 | #Constraints: 56396
3201.69/3210.88 c #Conflicts: 2078000 | #Constraints: 57396
3201.69/3210.88 c #Conflicts: 2079000 | #Constraints: 58404
3201.69/3210.88 c INPROCESSING
3201.69/3210.88 c GARBAGE COLLECT
3201.69/3210.88 c rational objective 1.76102
3366.24/3375.85 c #Conflicts: 2080000 | #Constraints: 30275
3366.24/3375.85 c #Conflicts: 2081000 | #Constraints: 31295
3366.24/3375.85 c #Conflicts: 2082000 | #Constraints: 32306
3366.24/3375.85 c #Conflicts: 2083000 | #Constraints: 33306
3366.24/3375.85 c #Conflicts: 2084000 | #Constraints: 34322
3366.24/3375.85 c #Conflicts: 2085000 | #Constraints: 35340
3366.24/3375.85 c #Conflicts: 2086000 | #Constraints: 36403
3366.24/3375.85 c #Conflicts: 2087000 | #Constraints: 37403
3366.24/3375.85 c #Conflicts: 2088000 | #Constraints: 38429
3366.24/3375.85 c #Conflicts: 2089000 | #Constraints: 39429
3366.24/3375.85 c #Conflicts: 2090000 | #Constraints: 40432
3366.24/3375.85 c #Conflicts: 2091000 | #Constraints: 41432
3366.24/3375.85 c #Conflicts: 2092000 | #Constraints: 42466
3366.24/3375.85 c #Conflicts: 2093000 | #Constraints: 43500
3366.24/3375.85 c #Conflicts: 2094000 | #Constraints: 44500
3366.24/3375.85 c #Conflicts: 2095000 | #Constraints: 45532
3366.24/3375.85 c #Conflicts: 2096000 | #Constraints: 46558
3366.24/3375.85 c #Conflicts: 2097000 | #Constraints: 47558
3366.24/3375.85 c #Conflicts: 2098000 | #Constraints: 48584
3366.24/3375.85 c #Conflicts: 2099000 | #Constraints: 49621
3366.24/3375.85 c #Conflicts: 2100000 | #Constraints: 50621
3366.24/3375.85 c #Conflicts: 2101000 | #Constraints: 51650
3366.24/3375.85 c #Conflicts: 2102000 | #Constraints: 52721
3366.24/3375.85 c #Conflicts: 2103000 | #Constraints: 53781
3366.24/3375.85 c #Conflicts: 2104000 | #Constraints: 54797
3366.24/3375.85 c #Conflicts: 2105000 | #Constraints: 55797
3366.24/3375.85 c #Conflicts: 2106000 | #Constraints: 56846
3366.24/3375.85 c #Conflicts: 2107000 | #Constraints: 57869
3366.24/3375.85 c #Conflicts: 2108000 | #Constraints: 58869
3366.24/3375.85 c INPROCESSING
3366.24/3375.85 c GARBAGE COLLECT
3366.24/3375.85 c #Conflicts: 2109000 | #Constraints: 30443
3366.24/3375.85 c #Conflicts: 2110000 | #Constraints: 31488
3366.24/3375.85 c #Conflicts: 2111000 | #Constraints: 32527
3366.24/3375.85 c #Conflicts: 2112000 | #Constraints: 33531
3366.24/3375.85 c #Conflicts: 2113000 | #Constraints: 34536
3366.24/3375.85 c #Conflicts: 2114000 | #Constraints: 35572
3366.24/3375.85 c #Conflicts: 2115000 | #Constraints: 36614
3366.24/3375.85 c #Conflicts: 2116000 | #Constraints: 37666
3366.24/3375.85 c #Conflicts: 2117000 | #Constraints: 38681
3366.24/3375.85 c #Conflicts: 2118000 | #Constraints: 39681
3366.24/3375.85 c #Conflicts: 2119000 | #Constraints: 40686
3366.24/3375.85 c #Conflicts: 2120000 | #Constraints: 41686
3366.24/3375.85 c #Conflicts: 2121000 | #Constraints: 42693
3366.24/3375.85 c #Conflicts: 2122000 | #Constraints: 43693
3366.24/3375.85 c #Conflicts: 2123000 | #Constraints: 44693
3366.24/3375.85 c #Conflicts: 2124000 | #Constraints: 45693
3366.24/3375.85 c #Conflicts: 2125000 | #Constraints: 46693
3366.24/3375.85 c #Conflicts: 2126000 | #Constraints: 47698
3366.24/3375.85 c #Conflicts: 2127000 | #Constraints: 48752
3366.24/3375.85 c #Conflicts: 2128000 | #Constraints: 49757
3366.24/3375.85 c #Conflicts: 2129000 | #Constraints: 50766
3366.24/3375.85 c #Conflicts: 2130000 | #Constraints: 51806
3366.24/3375.85 c #Conflicts: 2131000 | #Constraints: 52870
3366.24/3375.85 c #Conflicts: 2132000 | #Constraints: 53919
3366.24/3375.85 c #Conflicts: 2133000 | #Constraints: 54968
3366.24/3375.85 c #Conflicts: 2134000 | #Constraints: 55968
3366.24/3375.85 c #Conflicts: 2135000 | #Constraints: 56973
3366.24/3375.85 c #Conflicts: 2136000 | #Constraints: 58001
3366.24/3375.85 c #Conflicts: 2137000 | #Constraints: 59017
3366.24/3375.85 c INPROCESSING
3366.24/3375.85 c GARBAGE COLLECT
3366.24/3375.85 c rational objective 1.76832
3455.20/3465.06 c #Conflicts: 2138000 | #Constraints: 30418
3455.20/3465.06 c #Conflicts: 2139000 | #Constraints: 31444
3455.20/3465.06 c #Conflicts: 2140000 | #Constraints: 32494
3455.20/3465.06 c #Conflicts: 2141000 | #Constraints: 33594
3455.20/3465.06 c #Conflicts: 2142000 | #Constraints: 34707
3455.20/3465.06 c #Conflicts: 2143000 | #Constraints: 35782
3455.20/3465.06 c #Conflicts: 2144000 | #Constraints: 36829
3455.20/3465.06 c #Conflicts: 2145000 | #Constraints: 37913
3455.20/3465.06 c #Conflicts: 2146000 | #Constraints: 38998
3455.20/3465.06 c #Conflicts: 2147000 | #Constraints: 40052
3455.20/3465.06 c #Conflicts: 2148000 | #Constraints: 41145
3455.20/3465.06 c #Conflicts: 2149000 | #Constraints: 42167
3455.20/3465.06 c #Conflicts: 2150000 | #Constraints: 43220
3455.20/3465.06 c #Conflicts: 2151000 | #Constraints: 44292
3455.20/3465.06 c #Conflicts: 2152000 | #Constraints: 45294
3455.20/3465.06 c #Conflicts: 2153000 | #Constraints: 46294
3455.20/3465.06 c #Conflicts: 2154000 | #Constraints: 47354
3455.20/3465.06 c #Conflicts: 2155000 | #Constraints: 48405
3455.20/3465.06 c #Conflicts: 2156000 | #Constraints: 49458
3455.20/3465.06 c #Conflicts: 2157000 | #Constraints: 50520
3455.20/3465.06 c #Conflicts: 2158000 | #Constraints: 51593
3455.20/3465.06 c #Conflicts: 2159000 | #Constraints: 52711
3455.20/3465.06 c #Conflicts: 2160000 | #Constraints: 53753
3455.20/3465.06 c #Conflicts: 2161000 | #Constraints: 54814
3455.20/3465.06 c #Conflicts: 2162000 | #Constraints: 55821
3455.20/3465.06 c #Conflicts: 2163000 | #Constraints: 56821
3455.20/3465.06 c #Conflicts: 2164000 | #Constraints: 57843
3455.20/3465.06 c #Conflicts: 2165000 | #Constraints: 58843
3455.20/3465.06 c #Conflicts: 2166000 | #Constraints: 59864
3455.20/3465.06 c INPROCESSING
3455.20/3465.06 c GARBAGE COLLECT
3455.20/3465.06 c rational objective 2.09379
3549.94/3560.04 c #Conflicts: 2167000 | #Constraints: 30657
3549.94/3560.04 c #Conflicts: 2168000 | #Constraints: 31657
3549.94/3560.04 c #Conflicts: 2169000 | #Constraints: 32672
3549.94/3560.04 c #Conflicts: 2170000 | #Constraints: 33735
3549.94/3560.04 c #Conflicts: 2171000 | #Constraints: 34735
3549.94/3560.04 c #Conflicts: 2172000 | #Constraints: 35744
3549.94/3560.04 c #Conflicts: 2173000 | #Constraints: 36756
3549.94/3560.04 c #Conflicts: 2174000 | #Constraints: 37756
3549.94/3560.04 c #Conflicts: 2175000 | #Constraints: 38783
3549.94/3560.04 c #Conflicts: 2176000 | #Constraints: 39800
3549.94/3560.04 c #Conflicts: 2177000 | #Constraints: 40800
3549.94/3560.04 c #Conflicts: 2178000 | #Constraints: 41824
3549.94/3560.04 c #Conflicts: 2179000 | #Constraints: 42828
3549.94/3560.04 c #Conflicts: 2180000 | #Constraints: 43828
3549.94/3560.04 c #Conflicts: 2181000 | #Constraints: 44868
3549.94/3560.04 c #Conflicts: 2182000 | #Constraints: 45879
3549.94/3560.04 c #Conflicts: 2183000 | #Constraints: 46879
3549.94/3560.04 c #Conflicts: 2184000 | #Constraints: 47914
3549.94/3560.04 c #Conflicts: 2185000 | #Constraints: 48947
3549.94/3560.04 c #Conflicts: 2186000 | #Constraints: 49947
3549.94/3560.04 c #Conflicts: 2187000 | #Constraints: 50960
3549.94/3560.04 c #Conflicts: 2188000 | #Constraints: 52007
3549.94/3560.04 c #Conflicts: 2189000 | #Constraints: 53035
3549.94/3560.04 c #Conflicts: 2190000 | #Constraints: 54090
3549.94/3560.04 c #Conflicts: 2191000 | #Constraints: 55097
3549.94/3560.04 c #Conflicts: 2192000 | #Constraints: 56097
3549.94/3560.04 c #Conflicts: 2193000 | #Constraints: 57104
3549.94/3560.04 c #Conflicts: 2194000 | #Constraints: 58104
3549.94/3560.04 c #Conflicts: 2195000 | #Constraints: 59127
3549.94/3560.04 c #Conflicts: 2196000 | #Constraints: 60127
3549.94/3560.04 c INPROCESSING
3549.94/3560.04 c GARBAGE COLLECT
3549.94/3560.04 c rational objective 2.29283
3600.01/3610.20 c #Conflicts: 2197000 | #Constraints: 30974
3600.01/3610.20 c #Conflicts: 2198000 | #Constraints: 31997
3600.01/3610.20 c #Conflicts: 2199000 | #Constraints: 33039
3600.01/3610.20 c #Conflicts: 2200000 | #Constraints: 34051
3600.01/3610.20 c #Conflicts: 2201000 | #Constraints: 35051
3600.01/3610.20 c #Conflicts: 2202000 | #Constraints: 36072
3600.01/3610.20 c #Conflicts: 2203000 | #Constraints: 37118
3600.01/3610.20 c #Conflicts: 2204000 | #Constraints: 38130
3600.01/3610.20 c #Conflicts: 2205000 | #Constraints: 39130
3600.01/3610.20 c #Conflicts: 2206000 | #Constraints: 40134
3600.01/3610.20 c #Conflicts: 2207000 | #Constraints: 41134
3600.01/3610.20 c #Conflicts: 2208000 | #Constraints: 42155
3600.01/3610.20 c #Conflicts: 2209000 | #Constraints: 43214
3600.01/3610.20 c #Conflicts: 2210000 | #Constraints: 44233
3600.01/3610.20 c #Conflicts: 2211000 | #Constraints: 45233
3600.01/3610.20 c #Conflicts: 2212000 | #Constraints: 46241
3600.01/3610.20 c #Conflicts: 2213000 | #Constraints: 47271
3600.01/3610.20 c #Conflicts: 2214000 | #Constraints: 48274
3600.01/3610.20 c #Conflicts: 2215000 | #Constraints: 49274
3600.01/3610.20 c #Conflicts: 2216000 | #Constraints: 50297
3600.01/3610.20 c #Conflicts: 2217000 | #Constraints: 51297
3600.01/3610.20 c cpu time 3583.27 s
3600.01/3610.20 c deterministic time 958565784462 9.59e+11
3600.01/3610.20 c optimization time 49.8703 s
3600.01/3610.20 c total solve time 3533.4 s
3600.01/3610.20 c core-guided solve time 0 s
3600.01/3610.20 c propagation time 3338.24 s
3600.01/3610.20 c conflict analysis time 218.779 s
3600.01/3610.20 c propagations 16615591
3600.01/3610.20 c resolve steps 7786503
3600.01/3610.20 c decisions 3247847
3600.01/3610.20 c conflicts 2217883
3600.01/3610.20 c restarts 4093
3600.01/3610.20 c inprocessing phases 139
3600.01/3610.20 c garbage collections 139 ,( 100.00 )
3600.01/3610.20 c input clauses 0 ,( 0.00 )
3600.01/3610.20 c input cardinalities 0 ,( 0.00 )
3600.01/3610.20 c input general constraints 2 ,( 100.00 )
3600.01/3610.20 c input average constraint length 70.00
3600.01/3610.20 c input average constraint degree 388008603.50
3600.01/3610.20 c learned clauses 1246586 ,( 55.42 )
3600.01/3610.20 c learned cardinalities 4 ,( 0.00 )
3600.01/3610.20 c learned general constraints 1002734 ,( 44.58 )
3600.01/3610.20 c learned average constraint length 47.85
3600.01/3610.20 c learned average constraint degree 58029625.53
3600.01/3610.20 c watched CF 32, 64, 128, Arb: 211173 , 0 , 0 , 0
3600.01/3610.20 c counting CF 32, 64, 128, Arb: 791563 , 0 , 0 , 0
3600.01/3610.20 c watched constraints 211173 ,( 21.06 )
3600.01/3610.20 c counting constraints 791563 ,( 78.94 )
3600.01/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 156903400 , 690 , 65622008526 ,( 400687771 , 65221320755 )
3600.01/3610.20 c gcd simplifications 1325515
3600.01/3610.20 c detected cardinalities 3
3600.01/3610.20 c weakened non-implied lits 8043250
3600.01/3610.20 c weakened non-implying lits 17383818
3600.01/3610.20 c original variables 70
3600.01/3610.20 c clausal propagations 1946546
3600.01/3610.20 c cardinality propagations 4
3600.01/3610.20 c watched propagations 739008
3600.01/3610.20 c counting propagations 11565357
3600.01/3610.20 c watch lookups 68902805582
3600.01/3610.20 c watch backjump lookups 0
3600.01/3610.20 c watch checks 3962974921
3600.01/3610.20 c propagation checks 885104887273
3600.01/3610.20 c constraint additions 552946508
3600.01/3610.20 c trail pops 22081261
3600.01/3610.20 c formula constraints 2
3600.01/3610.20 c learned constraints 2217883
3600.01/3610.20 c bound constraints 0
3600.01/3610.20 c core-guided constraints 0
3600.01/3610.20 c encountered formula constraints 5182358
3600.01/3610.20 c encountered learned constraints 4821957
3600.01/3610.20 c encountered bound constraints 0
3600.01/3610.20 c encountered core-guided constraints 0
3600.01/3610.20 c LP total time 23.3538 s
3600.01/3610.20 c LP solve time 15.89 s
3600.01/3610.20 c LP constraints added 140
3600.01/3610.20 c LP constraints removed 129
3600.01/3610.20 c LP pivots internal 221806
3600.01/3610.20 c LP pivots root 3672
3600.01/3610.20 c LP calls 122951
3600.01/3610.20 c LP optimalities 90928
3600.01/3610.20 c LP no pivot count 14720
3600.01/3610.20 c LP infeasibilities 31668
3600.01/3610.20 c LP valid Farkas constraints 31372
3600.01/3610.20 c LP learned Farkas constraints 0
3600.01/3610.20 c LP basis resets 355
3600.01/3610.20 c LP cycling count 283
3600.01/3610.20 c LP singular count 61
3600.01/3610.20 c LP no primal count 0
3600.01/3610.20 c LP no farkas count 0
3600.01/3610.20 c LP other issue count 11
3600.01/3610.20 c LP Gomory cuts 69
3600.01/3610.20 c LP learned cuts 69
3600.01/3610.20 c LP deleted cuts 129
3600.01/3610.20 c LP encountered Gomory constraints 0
3600.01/3610.20 c LP encountered Farkas constraints 71
3600.01/3610.20 c LP encountered learned Farkas constraints 0
3600.01/3610.20 c CG auxiliary variables introduced 0
3600.01/3610.20 c CG solutions found 0
3600.01/3610.20 c CG cores constructed 0
3600.01/3610.20 c CG core cardinality constraints returned 0
3600.01/3610.20 c CG unit cores 0
3600.01/3610.20 c CG single cores 0
3600.01/3610.20 c CG blocks removed during cardinality reduction 0
3600.01/3610.20 c CG first core best 0
3600.01/3610.20 c CG decision core best 0
3600.01/3610.20 c CG core reduction tie 0
3600.01/3610.20 c CG core degree average 0.00
3600.01/3610.20 c CG core slack average 0.00
3600.01/3610.20 c CG core upper bound improvements 0
3600.01/3610.20 c STR number of successful calls 0
3600.01/3610.20 c STR number of unsuccessful calls 0
3600.01/3610.20 c STR number of inconclusive calls 0
3600.01/3610.20 c STR number of successful attempts 0
3600.01/3610.20 c STR number of unsuccessful attempts 0
3600.01/3610.20 c STR number of inconclusive attempts 0
3600.01/3610.20 c STR average degree increase per successful call inf
3600.01/3610.20 c STR average degree increase per successful attempt inf
3600.01/3610.20 c STR total number of conflicts for successful attempts 0
3600.01/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.20 c STR average number of conflicts per successful attempt inf
3600.01/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.20 c AVG.sumWPerc 68.33
3600.01/3610.20 c bigint constraints 0
3600.01/3610.20 s UNKNOWN
3600.01/3610.20 c Program interrupted by user.
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: 63665 MiB (63048 MiB free)
memory of node 1: 64507 MiB (63022 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495860-1751156870/watcher-4495860-1751156870 -o /tmp/evaluation-result-4495860-1751156870/solver-4495860-1751156870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17845 --watchdog 3760 run-dec-break.sh HOME/instance-4495860-1751156870.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21111, runsolver pid=21108
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 3.97 4.02 3.94 5/273 21114
/proc/meminfo: memFree=129093100/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=56200 memory=13152 CPUtime=0.08 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 633 0 0 0 8 0 0 0 20 0 1 0 31364938 57548800 3288 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 14050 3288 2368 1147 0 1477 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60392 KiB
Current children cumulated memory: 16096 KiB
[startup+0.205527 s]*
/proc/loadavg: 3.97 4.02 3.94 5/273 21114
/proc/meminfo: memFree=129093100/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=56720 memory=13664 CPUtime=0.18 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 773 0 0 0 17 1 0 0 20 0 1 0 31364938 58081280 3416 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 14180 3416 2368 1147 0 1607 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60912 KiB
Current children cumulated memory: 16608 KiB
[startup+0.305087 s]*
/proc/loadavg: 3.97 4.02 3.94 5/273 21114
/proc/meminfo: memFree=129093100/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=57276 memory=14176 CPUtime=0.28 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 886 0 0 0 27 1 0 0 20 0 1 0 31364938 58650624 3544 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 14319 3544 2368 1147 0 1746 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61468 KiB
Current children cumulated memory: 17120 KiB
[startup+0.700181 s]
/proc/loadavg: 3.97 4.02 3.94 5/273 21114
/proc/meminfo: memFree=129093100/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=57984 memory=14816 CPUtime=0.67 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 1053 0 0 0 65 2 0 0 20 0 1 0 31364938 59375616 3704 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 14496 3704 2368 1147 0 1923 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62176 KiB
Current children cumulated memory: 17760 KiB
[startup+1.50015 s]
/proc/loadavg: 3.97 4.02 3.94 5/273 21114
/proc/meminfo: memFree=129093100/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=58976 memory=15456 CPUtime=1.47 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 1218 0 0 0 143 4 0 0 20 0 1 0 31364938 60391424 3864 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 14744 3864 2368 1147 0 2171 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63168 KiB
Current children cumulated memory: 18400 KiB
[startup+3.10539 s]
/proc/loadavg: 3.97 4.02 3.94 5/273 21114
/proc/meminfo: memFree=129093108/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=60064 memory=16608 CPUtime=3.07 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 1508 0 0 0 300 7 0 0 20 0 1 0 31364938 61505536 4152 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 15016 4152 2368 1147 0 2443 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64256 KiB
Current children cumulated memory: 19552 KiB
[startup+6.30009 s]
/proc/loadavg: 4.06 4.03 3.94 5/273 21114
/proc/meminfo: memFree=129085052/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=61536 memory=17760 CPUtime=6.26 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 1796 0 0 0 611 15 0 0 20 0 1 0 31364938 63012864 4440 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 15384 4440 2368 1147 0 2811 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 65728 KiB
Current children cumulated memory: 20704 KiB
[startup+12.7001 s]
/proc/loadavg: 4.05 4.03 3.94 5/272 21114
/proc/meminfo: memFree=129080956/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=62372 memory=20568 CPUtime=12.65 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 1987 0 0 0 1235 30 0 0 20 0 1 0 31364938 63868928 5142 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 15593 5142 2368 1147 0 3020 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 66564 KiB
Current children cumulated memory: 23512 KiB
[startup+25.5001 s]
/proc/loadavg: 4.04 4.03 3.95 5/272 21115
/proc/meminfo: memFree=129064584/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=63464 memory=22360 CPUtime=25.41 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 2388 0 0 0 2490 51 0 0 20 0 1 0 31364938 64987136 5590 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 15866 5590 2464 1147 0 3293 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 67656 KiB
Current children cumulated memory: 25304 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.04 3.95 5/272 21115
/proc/meminfo: memFree=129034868/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=66012 memory=24408 CPUtime=50.95 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 3015 0 0 0 5003 92 0 0 20 0 1 0 31364938 67596288 6102 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 16503 6102 2464 1147 0 3930 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 70204 KiB
Current children cumulated memory: 27352 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.05 3.96 5/272 21117
/proc/meminfo: memFree=129022452/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=72892 memory=29632 CPUtime=102.02 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 4579 0 0 0 10050 152 0 0 20 0 1 0 31364938 74641408 7408 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 18223 7408 2464 1147 0 5650 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 77084 KiB
Current children cumulated memory: 32576 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.06 3.97 5/272 21119
/proc/meminfo: memFree=129008632/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=74044 memory=31676 CPUtime=161.86 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 5523 0 0 0 15966 220 0 0 20 0 1 0 31364938 75821056 7919 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 18511 7919 2464 1147 0 5938 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 78236 KiB
Current children cumulated memory: 34620 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.07 3.99 5/272 21121
/proc/meminfo: memFree=129017884/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=83404 memory=35384 CPUtime=221.7 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 7037 0 0 0 21888 282 0 0 20 0 1 0 31364938 85405696 8846 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 20851 8846 2496 1147 0 8278 0
Current children cumulated CPU time: 221.7 s
################
# More data... #
################
/proc/loadavg: 4.19 4.15 4.09 5/271 21894
/proc/meminfo: memFree=129775320/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133220 memory=78508 CPUtime=3033.66 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 19559 0 0 0 301812 1554 0 0 20 0 1 0 31364938 136417280 19627 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33305 19627 2496 1147 0 20732 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 137412 KiB
Current children cumulated memory: 81452 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/272 21898
/proc/meminfo: memFree=129749472/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133220 memory=78636 CPUtime=3093.49 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 19572 0 0 0 307775 1574 0 0 20 0 1 0 31364938 136417280 19659 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33305 19659 2496 1147 0 20732 0
Current children cumulated CPU time: 3093.49 s
Current children cumulated vsize: 137412 KiB
Current children cumulated memory: 81580 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/272 21900
/proc/meminfo: memFree=129737388/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133220 memory=78764 CPUtime=3153.33 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 19602 0 0 0 313742 1591 0 0 20 0 1 0 31364938 136417280 19691 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33305 19691 2496 1147 0 20732 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 137412 KiB
Current children cumulated memory: 81708 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/271 21904
/proc/meminfo: memFree=129733640/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133476 memory=81164 CPUtime=3213.17 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 19805 0 0 0 319713 1604 0 0 20 0 1 0 31364938 136679424 20291 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33369 20291 2496 1147 0 20796 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 137668 KiB
Current children cumulated memory: 84108 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 21907
/proc/meminfo: memFree=129715812/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133476 memory=81164 CPUtime=3273.01 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 19813 0 0 0 325686 1615 0 0 20 0 1 0 31364938 136679424 20291 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33369 20291 2496 1147 0 20796 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 137668 KiB
Current children cumulated memory: 84108 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 21910
/proc/meminfo: memFree=129684740/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133144 memory=80992 CPUtime=3332.83 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 19928 0 0 0 331653 1630 0 0 20 0 1 0 31364938 136339456 20248 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33286 20248 2496 1147 0 20713 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 137336 KiB
Current children cumulated memory: 83936 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 21911
/proc/meminfo: memFree=129691240/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133476 memory=81212 CPUtime=3392.66 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 20105 0 0 0 337624 1642 0 0 20 0 1 0 31364938 136679424 20303 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33369 20303 2496 1147 0 20796 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 137668 KiB
Current children cumulated memory: 84156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 21914
/proc/meminfo: memFree=129682020/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133476 memory=81212 CPUtime=3452.51 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 20111 0 0 0 343599 1652 0 0 20 0 1 0 31364938 136679424 20303 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33369 20303 2496 1147 0 20796 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 137668 KiB
Current children cumulated memory: 84156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 21921
/proc/meminfo: memFree=129691436/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133476 memory=81256 CPUtime=3512.34 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 20238 0 0 0 349573 1661 0 0 20 0 1 0 31364938 136679424 20314 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33369 20314 2496 1147 0 20796 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 137668 KiB
Current children cumulated memory: 84200 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 21924
/proc/meminfo: memFree=129683160/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133944 memory=81768 CPUtime=3572.19 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 20367 0 0 0 355547 1672 0 0 20 0 1 0 31364938 137158656 20442 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33486 20442 2496 1147 0 20913 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 138136 KiB
Current children cumulated memory: 84712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 21925
/proc/meminfo: memFree=129683248/131249996 swapFree=33010684/33010684
[pid=21111] ppid=21108 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21111/stat : 21111 (run-dec-break.s) S 21108 21111 17835 0 -1 4194304 236 205 0 0 0 0 0 0 20 0 1 0 31364937 4292608 736 18446744073709551615 94169868972032 94169869866565 140730915573728 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169870105616 94169870153360 94169877868544 140730915576161 140730915576290 140730915576290 140730915581892 0
/proc/21111/statm: 1048 736 672 219 0 110 0
[pid=21114] ppid=21111 vsize=133944 memory=81768 CPUtime=3600.01 cores=0,2
/proc/21114/stat : 21114 (roundingsat) R 21111 21111 17835 0 -1 4194304 20367 0 0 0 358326 1675 0 0 20 0 1 0 31364938 137158656 20442 18446744073709551615 4227072 8923433 140721377259280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10633216 140721377261892 140721377262120 140721377262120 140721377267690 0
/proc/21114/statm: 33486 20442 2496 1147 0 20913 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 138136 KiB
Current children cumulated memory: 84712 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.2 s]
# the end of solver process 21111 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.27 s, system=16.7557 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.2
CPU time (s): 3600.03
CPU user time (s): 3583.27
CPU system time (s): 16.7557
CPU usage (%): 99.7181
Max. virtual memory (cumulated for all children) (KiB): 138136
Max. memory (cumulated for all children) (KiB): 84712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.27
system time used= 16.7557
maximum resident set size= 81896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 230
involuntary context switches= 8202
# summary of solver processes directly reported to runsolver:
# pid: 21111
# total CPU time (s): 3600.03
# total CPU user time (s): 3583.27
# total CPU system time (s): 16.7557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90211 second user time and 16.3533 second system time
The end
Begin job on nodeC024 at 2025-06-29 02:27:50
IDJOB=4495860
IDBENCH=148100
IDSOLVER=3357
FILE ID=nodeC024/4495860-1751156870
RUNJOBID= nodeC024-1751155906-17845
SLURM_JOB_ID= 9587473
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495860-1751156870/watcher-4495860-1751156870 -o /tmp/evaluation-result-4495860-1751156870/solver-4495860-1751156870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17845 --watchdog 3760 run-dec-break.sh HOME/instance-4495860-1751156870.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=787672130
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.509
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.679
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.636
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.672
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.634
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.607
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.005
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3614.830
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129097696 kB
MemAvailable: 128732688 kB
Buffers: 3280 kB
Cached: 433592 kB
SwapCached: 0 kB
Active: 1376912 kB
Inactive: 213588 kB
Active(anon): 1171692 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 213588 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7196 kB
Writeback: 8 kB
AnonPages: 1154352 kB
Mapped: 117224 kB
Shmem: 18064 kB
KReclaimable: 86132 kB
Slab: 169348 kB
SReclaimable: 86132 kB
SUnreclaim: 83216 kB
KernelStack: 4348 kB
PageTables: 5584 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1605716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 641024 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC024 at 2025-06-29 03:28:01