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-4495861-1751156263.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 output proof to 'PROOFDIR/proof-4495861-1751156263'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.06ms)
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-4495861-1751156263.opb.pre'
0.00/0.01 c wrote 0.00MB (0.06ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.54ms 64.04% other
0.00/0.01 c 0.10ms 12.31% parse
0.00/0.01 c 0.06ms 7.71% approx_orbits
0.00/0.01 c 0.06ms 6.64% output
0.00/0.01 c 0.04ms 4.73% detect_generic
0.00/0.01 c 0.03ms 4.06% detect_special
0.00/0.01 c 0.00ms 0.50% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 0.84ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 70 #constraints 2
0.00/0.02 c rational objective 1.19422
0.18/0.21 c #Conflicts: 1000 | #Constraints: 1093
0.18/0.21 c #Conflicts: 2000 | #Constraints: 2145
0.18/0.21 c INPROCESSING
0.18/0.21 c GARBAGE COLLECT
0.18/0.21 c rational objective 2
0.48/0.53 c #Conflicts: 3000 | #Constraints: 2170
0.48/0.53 c #Conflicts: 4000 | #Constraints: 3257
0.48/0.53 c INPROCESSING
0.48/0.53 c GARBAGE COLLECT
0.48/0.53 c rational objective 2
0.87/0.92 c #Conflicts: 5000 | #Constraints: 2587
0.87/0.92 c #Conflicts: 6000 | #Constraints: 3668
0.87/0.92 c INPROCESSING
0.87/0.92 c GARBAGE COLLECT
0.87/0.92 c rational objective 2
1.36/1.48 c #Conflicts: 7000 | #Constraints: 2605
1.36/1.48 c #Conflicts: 8000 | #Constraints: 3690
1.36/1.48 c #Conflicts: 9000 | #Constraints: 4779
1.36/1.48 c INPROCESSING
1.36/1.48 c GARBAGE COLLECT
1.36/1.48 c rational objective 2
2.07/2.14 c #Conflicts: 10000 | #Constraints: 3638
2.07/2.14 c #Conflicts: 11000 | #Constraints: 4696
2.07/2.14 c #Conflicts: 12000 | #Constraints: 5774
2.07/2.14 c INPROCESSING
2.07/2.14 c GARBAGE COLLECT
2.07/2.14 c rational objective 2
2.67/2.78 c #Conflicts: 13000 | #Constraints: 3897
2.67/2.78 c #Conflicts: 14000 | #Constraints: 4897
2.67/2.78 c #Conflicts: 15000 | #Constraints: 5897
2.67/2.78 c INPROCESSING
2.67/2.78 c GARBAGE COLLECT
2.67/2.78 c rational objective 2
3.46/3.52 c #Conflicts: 16000 | #Constraints: 4035
3.46/3.52 c #Conflicts: 17000 | #Constraints: 5137
3.46/3.52 c #Conflicts: 18000 | #Constraints: 6233
3.46/3.52 c INPROCESSING
3.46/3.52 c GARBAGE COLLECT
3.46/3.52 c rational objective 2
4.26/4.30 c #Conflicts: 19000 | #Constraints: 4030
4.26/4.30 c #Conflicts: 20000 | #Constraints: 5030
4.26/4.30 c #Conflicts: 21000 | #Constraints: 6050
4.26/4.30 c INPROCESSING
4.26/4.30 c GARBAGE COLLECT
4.26/4.30 c rational objective 2.00382
5.16/5.23 c #Conflicts: 22000 | #Constraints: 3758
5.16/5.23 c #Conflicts: 23000 | #Constraints: 4758
5.16/5.23 c #Conflicts: 24000 | #Constraints: 5758
5.16/5.23 c #Conflicts: 25000 | #Constraints: 6758
5.16/5.23 c INPROCESSING
5.16/5.23 c GARBAGE COLLECT
5.16/5.23 c rational objective 2.00001
6.25/6.33 c #Conflicts: 26000 | #Constraints: 4351
6.25/6.33 c #Conflicts: 27000 | #Constraints: 5364
6.25/6.33 c #Conflicts: 28000 | #Constraints: 6370
6.25/6.33 c #Conflicts: 29000 | #Constraints: 7370
6.25/6.33 c INPROCESSING
6.25/6.33 c GARBAGE COLLECT
6.25/6.33 c rational objective 2.00001
7.46/7.52 c #Conflicts: 30000 | #Constraints: 4761
7.46/7.52 c #Conflicts: 31000 | #Constraints: 5761
7.46/7.52 c #Conflicts: 32000 | #Constraints: 6761
7.46/7.52 c #Conflicts: 33000 | #Constraints: 7761
7.46/7.52 c INPROCESSING
7.46/7.52 c GARBAGE COLLECT
7.46/7.52 c rational objective 2.00001
8.65/8.73 c #Conflicts: 34000 | #Constraints: 4899
8.65/8.73 c #Conflicts: 35000 | #Constraints: 5944
8.65/8.73 c #Conflicts: 36000 | #Constraints: 7024
8.65/8.73 c #Conflicts: 37000 | #Constraints: 8138
8.65/8.73 c INPROCESSING
8.65/8.73 c GARBAGE COLLECT
8.65/8.73 c rational objective 2.00001
10.06/10.11 c #Conflicts: 38000 | #Constraints: 5055
10.06/10.11 c #Conflicts: 39000 | #Constraints: 6067
10.06/10.11 c #Conflicts: 40000 | #Constraints: 7067
10.06/10.11 c #Conflicts: 41000 | #Constraints: 8067
10.06/10.11 c INPROCESSING
10.06/10.11 c GARBAGE COLLECT
10.06/10.11 c rational objective 2.00001
11.54/11.66 c #Conflicts: 42000 | #Constraints: 4776
11.54/11.66 c #Conflicts: 43000 | #Constraints: 5828
11.54/11.66 c #Conflicts: 44000 | #Constraints: 6828
11.54/11.66 c #Conflicts: 45000 | #Constraints: 7828
11.54/11.66 c #Conflicts: 46000 | #Constraints: 8828
11.54/11.66 c INPROCESSING
11.54/11.66 c GARBAGE COLLECT
11.54/11.66 c rational objective 2.00001
13.34/13.47 c #Conflicts: 47000 | #Constraints: 5370
13.34/13.47 c #Conflicts: 48000 | #Constraints: 6381
13.34/13.47 c #Conflicts: 49000 | #Constraints: 7381
13.34/13.47 c #Conflicts: 50000 | #Constraints: 8381
13.34/13.47 c #Conflicts: 51000 | #Constraints: 9381
13.34/13.47 c INPROCESSING
13.34/13.47 c GARBAGE COLLECT
13.34/13.47 c rational objective 2.00001
15.23/15.39 c #Conflicts: 52000 | #Constraints: 5780
15.23/15.39 c #Conflicts: 53000 | #Constraints: 6852
15.23/15.39 c #Conflicts: 54000 | #Constraints: 7885
15.23/15.39 c #Conflicts: 55000 | #Constraints: 8885
15.23/15.39 c #Conflicts: 56000 | #Constraints: 9885
15.23/15.39 c INPROCESSING
15.23/15.39 c GARBAGE COLLECT
15.23/15.39 c rational objective 2.00001
17.23/17.30 c #Conflicts: 57000 | #Constraints: 6084
17.23/17.30 c #Conflicts: 58000 | #Constraints: 7131
17.23/17.30 c #Conflicts: 59000 | #Constraints: 8131
17.23/17.30 c #Conflicts: 60000 | #Constraints: 9131
17.23/17.30 c #Conflicts: 61000 | #Constraints: 10131
17.23/17.30 c INPROCESSING
17.23/17.30 c GARBAGE COLLECT
17.23/17.30 c rational objective 2.00001
19.22/19.34 c #Conflicts: 62000 | #Constraints: 6017
19.22/19.34 c #Conflicts: 63000 | #Constraints: 7022
19.22/19.34 c #Conflicts: 64000 | #Constraints: 8022
19.22/19.34 c #Conflicts: 65000 | #Constraints: 9022
19.22/19.34 c #Conflicts: 66000 | #Constraints: 10022
19.22/19.34 c INPROCESSING
19.22/19.34 c GARBAGE COLLECT
19.22/19.34 c rational objective 2.00001
21.52/21.61 c #Conflicts: 67000 | #Constraints: 5750
21.52/21.61 c #Conflicts: 68000 | #Constraints: 6779
21.52/21.61 c #Conflicts: 69000 | #Constraints: 7779
21.52/21.61 c #Conflicts: 70000 | #Constraints: 8779
21.52/21.61 c #Conflicts: 71000 | #Constraints: 9779
21.52/21.61 c #Conflicts: 72000 | #Constraints: 10779
21.52/21.61 c INPROCESSING
21.52/21.61 c GARBAGE COLLECT
21.52/21.61 c rational objective 2.00001
23.81/23.97 c #Conflicts: 73000 | #Constraints: 6377
23.81/23.97 c #Conflicts: 74000 | #Constraints: 7452
23.81/23.97 c #Conflicts: 75000 | #Constraints: 8452
23.81/23.97 c #Conflicts: 76000 | #Constraints: 9452
23.81/23.97 c #Conflicts: 77000 | #Constraints: 10464
23.81/23.97 c #Conflicts: 78000 | #Constraints: 11585
23.81/23.97 c INPROCESSING
23.81/23.97 c GARBAGE COLLECT
23.81/23.97 c rational objective 2.00001
26.21/26.30 c #Conflicts: 79000 | #Constraints: 6862
26.21/26.30 c #Conflicts: 80000 | #Constraints: 7862
26.21/26.30 c #Conflicts: 81000 | #Constraints: 8862
26.21/26.30 c #Conflicts: 82000 | #Constraints: 9862
26.21/26.30 c #Conflicts: 83000 | #Constraints: 10862
26.21/26.30 c #Conflicts: 84000 | #Constraints: 11862
26.21/26.30 c INPROCESSING
26.21/26.30 c GARBAGE COLLECT
26.21/26.30 c rational objective 2.00001
28.69/28.84 c #Conflicts: 85000 | #Constraints: 7036
28.69/28.84 c #Conflicts: 86000 | #Constraints: 8076
28.69/28.84 c #Conflicts: 87000 | #Constraints: 9076
28.69/28.84 c #Conflicts: 88000 | #Constraints: 10076
28.69/28.84 c #Conflicts: 89000 | #Constraints: 11076
28.69/28.84 c #Conflicts: 90000 | #Constraints: 12076
28.69/28.84 c INPROCESSING
28.69/28.84 c GARBAGE COLLECT
28.69/28.84 c rational objective 2.00001
31.19/31.36 c #Conflicts: 91000 | #Constraints: 6990
31.19/31.36 c #Conflicts: 92000 | #Constraints: 8079
31.19/31.36 c #Conflicts: 93000 | #Constraints: 9082
31.19/31.36 c #Conflicts: 94000 | #Constraints: 10082
31.19/31.36 c #Conflicts: 95000 | #Constraints: 11082
31.19/31.36 c #Conflicts: 96000 | #Constraints: 12082
31.19/31.36 c INPROCESSING
31.19/31.36 c GARBAGE COLLECT
31.19/31.36 c rational objective 2.00001
34.01/34.29 c #Conflicts: 97000 | #Constraints: 6778
34.01/34.29 c #Conflicts: 98000 | #Constraints: 7781
34.01/34.29 c #Conflicts: 99000 | #Constraints: 8781
34.01/34.29 c #Conflicts: 100000 | #Constraints: 9781
34.01/34.29 c #Conflicts: 101000 | #Constraints: 10781
34.01/34.29 c #Conflicts: 102000 | #Constraints: 11781
34.01/34.29 c #Conflicts: 103000 | #Constraints: 12781
34.01/34.29 c INPROCESSING
34.01/34.29 c GARBAGE COLLECT
34.01/34.29 c rational objective 2.00001
37.01/37.23 c #Conflicts: 104000 | #Constraints: 7348
37.01/37.23 c #Conflicts: 105000 | #Constraints: 8348
37.01/37.23 c #Conflicts: 106000 | #Constraints: 9348
37.01/37.23 c #Conflicts: 107000 | #Constraints: 10348
37.01/37.23 c #Conflicts: 108000 | #Constraints: 11348
37.01/37.23 c #Conflicts: 109000 | #Constraints: 12406
37.01/37.23 c #Conflicts: 110000 | #Constraints: 13585
37.01/37.23 c INPROCESSING
37.01/37.23 c GARBAGE COLLECT
37.01/37.23 c rational objective 2.00001
39.70/39.95 c #Conflicts: 111000 | #Constraints: 7893
39.70/39.95 c #Conflicts: 112000 | #Constraints: 8902
39.70/39.95 c #Conflicts: 113000 | #Constraints: 9902
39.70/39.95 c #Conflicts: 114000 | #Constraints: 10902
39.70/39.95 c #Conflicts: 115000 | #Constraints: 11902
39.70/39.95 c #Conflicts: 116000 | #Constraints: 12902
39.70/39.95 c #Conflicts: 117000 | #Constraints: 13902
39.70/39.95 c INPROCESSING
39.70/39.95 c GARBAGE COLLECT
39.70/39.95 c rational objective 2.00001
42.80/43.04 c #Conflicts: 118000 | #Constraints: 8047
42.80/43.04 c #Conflicts: 119000 | #Constraints: 9144
42.80/43.04 c #Conflicts: 120000 | #Constraints: 10236
42.80/43.04 c #Conflicts: 121000 | #Constraints: 11340
42.80/43.04 c #Conflicts: 122000 | #Constraints: 12446
42.80/43.04 c #Conflicts: 123000 | #Constraints: 13449
42.80/43.04 c #Conflicts: 124000 | #Constraints: 14449
42.80/43.04 c INPROCESSING
42.80/43.04 c GARBAGE COLLECT
42.80/43.04 c rational objective 2.00001
45.89/46.13 c #Conflicts: 125000 | #Constraints: 8185
45.89/46.13 c #Conflicts: 126000 | #Constraints: 9185
45.89/46.13 c #Conflicts: 127000 | #Constraints: 10185
45.89/46.13 c #Conflicts: 128000 | #Constraints: 11185
45.89/46.13 c #Conflicts: 129000 | #Constraints: 12185
45.89/46.13 c #Conflicts: 130000 | #Constraints: 13185
45.89/46.13 c #Conflicts: 131000 | #Constraints: 14196
45.89/46.13 c INPROCESSING
45.89/46.13 c GARBAGE COLLECT
45.89/46.13 c rational objective 2.00001
49.27/49.53 c #Conflicts: 132000 | #Constraints: 7859
49.27/49.53 c #Conflicts: 133000 | #Constraints: 8860
49.27/49.53 c #Conflicts: 134000 | #Constraints: 9860
49.27/49.53 c #Conflicts: 135000 | #Constraints: 10860
49.27/49.53 c #Conflicts: 136000 | #Constraints: 11860
49.27/49.53 c #Conflicts: 137000 | #Constraints: 12860
49.27/49.53 c #Conflicts: 138000 | #Constraints: 13860
49.27/49.53 c #Conflicts: 139000 | #Constraints: 14860
49.27/49.53 c INPROCESSING
49.27/49.53 c GARBAGE COLLECT
49.27/49.53 c rational objective 2.00001
52.96/53.22 c #Conflicts: 140000 | #Constraints: 8392
52.96/53.22 c #Conflicts: 141000 | #Constraints: 9396
52.96/53.22 c #Conflicts: 142000 | #Constraints: 10396
52.96/53.22 c #Conflicts: 143000 | #Constraints: 11396
52.96/53.22 c #Conflicts: 144000 | #Constraints: 12396
52.96/53.22 c #Conflicts: 145000 | #Constraints: 13396
52.96/53.22 c #Conflicts: 146000 | #Constraints: 14396
52.96/53.22 c #Conflicts: 147000 | #Constraints: 15401
52.96/53.22 c INPROCESSING
52.96/53.22 c GARBAGE COLLECT
52.96/53.22 c rational objective 2.00001
56.65/56.93 c #Conflicts: 148000 | #Constraints: 8760
56.65/56.93 c #Conflicts: 149000 | #Constraints: 9760
56.65/56.93 c #Conflicts: 150000 | #Constraints: 10760
56.65/56.93 c #Conflicts: 151000 | #Constraints: 11760
56.65/56.93 c #Conflicts: 152000 | #Constraints: 12760
56.65/56.93 c #Conflicts: 153000 | #Constraints: 13760
56.65/56.93 c #Conflicts: 154000 | #Constraints: 14760
56.65/56.93 c #Conflicts: 155000 | #Constraints: 15760
56.65/56.93 c INPROCESSING
56.65/56.93 c GARBAGE COLLECT
56.65/56.93 c rational objective 2.00001
61.54/61.80 c #Conflicts: 156000 | #Constraints: 8940
61.54/61.80 c #Conflicts: 157000 | #Constraints: 9965
61.54/61.80 c #Conflicts: 158000 | #Constraints: 10965
61.54/61.80 c #Conflicts: 159000 | #Constraints: 11965
61.54/61.80 c #Conflicts: 160000 | #Constraints: 12965
61.54/61.80 c #Conflicts: 161000 | #Constraints: 13965
61.54/61.80 c #Conflicts: 162000 | #Constraints: 14965
61.54/61.80 c #Conflicts: 163000 | #Constraints: 15965
61.54/61.80 c INPROCESSING
61.54/61.80 c GARBAGE COLLECT
61.54/61.80 c rational objective 2.00001
65.67/66.05 c #Conflicts: 164000 | #Constraints: 8902
65.67/66.05 c #Conflicts: 165000 | #Constraints: 9902
65.67/66.05 c #Conflicts: 166000 | #Constraints: 10902
65.67/66.05 c #Conflicts: 167000 | #Constraints: 11902
65.67/66.05 c #Conflicts: 168000 | #Constraints: 12902
65.67/66.05 c #Conflicts: 169000 | #Constraints: 13902
65.67/66.05 c #Conflicts: 170000 | #Constraints: 14902
65.67/66.05 c #Conflicts: 171000 | #Constraints: 15902
65.67/66.05 c INPROCESSING
65.67/66.05 c GARBAGE COLLECT
65.67/66.05 c rational objective 2.00001
70.24/70.62 c #Conflicts: 172000 | #Constraints: 8708
70.24/70.62 c #Conflicts: 173000 | #Constraints: 9860
70.24/70.62 c #Conflicts: 174000 | #Constraints: 10892
70.24/70.62 c #Conflicts: 175000 | #Constraints: 11892
70.24/70.62 c #Conflicts: 176000 | #Constraints: 12892
70.24/70.62 c #Conflicts: 177000 | #Constraints: 13892
70.24/70.62 c #Conflicts: 178000 | #Constraints: 14892
70.24/70.62 c #Conflicts: 179000 | #Constraints: 15892
70.24/70.62 c #Conflicts: 180000 | #Constraints: 16892
70.24/70.62 c INPROCESSING
70.24/70.62 c GARBAGE COLLECT
70.24/70.62 c rational objective 2.00001
74.93/75.39 c #Conflicts: 181000 | #Constraints: 9350
74.93/75.39 c #Conflicts: 182000 | #Constraints: 10350
74.93/75.39 c #Conflicts: 183000 | #Constraints: 11350
74.93/75.39 c #Conflicts: 184000 | #Constraints: 12350
74.93/75.39 c #Conflicts: 185000 | #Constraints: 13350
74.93/75.39 c #Conflicts: 186000 | #Constraints: 14350
74.93/75.39 c #Conflicts: 187000 | #Constraints: 15350
74.93/75.39 c #Conflicts: 188000 | #Constraints: 16350
74.93/75.39 c #Conflicts: 189000 | #Constraints: 17350
74.93/75.39 c INPROCESSING
74.93/75.39 c GARBAGE COLLECT
74.93/75.39 c rational objective 2.00001
80.82/81.29 c #Conflicts: 190000 | #Constraints: 9749
80.82/81.29 c #Conflicts: 191000 | #Constraints: 10854
80.82/81.29 c #Conflicts: 192000 | #Constraints: 11917
80.82/81.29 c #Conflicts: 193000 | #Constraints: 12917
80.82/81.29 c #Conflicts: 194000 | #Constraints: 13917
80.82/81.29 c #Conflicts: 195000 | #Constraints: 14917
80.82/81.29 c #Conflicts: 196000 | #Constraints: 15917
80.82/81.29 c #Conflicts: 197000 | #Constraints: 16917
80.82/81.29 c #Conflicts: 198000 | #Constraints: 17917
80.82/81.29 c INPROCESSING
80.82/81.29 c GARBAGE COLLECT
80.82/81.29 c rational objective 2.00001
86.31/86.72 c #Conflicts: 199000 | #Constraints: 10013
86.31/86.72 c #Conflicts: 200000 | #Constraints: 11013
86.31/86.72 c #Conflicts: 201000 | #Constraints: 12013
86.31/86.72 c #Conflicts: 202000 | #Constraints: 13013
86.31/86.72 c #Conflicts: 203000 | #Constraints: 14013
86.31/86.72 c #Conflicts: 204000 | #Constraints: 15013
86.31/86.72 c #Conflicts: 205000 | #Constraints: 16013
86.31/86.72 c #Conflicts: 206000 | #Constraints: 17013
86.31/86.72 c #Conflicts: 207000 | #Constraints: 18013
86.31/86.72 c INPROCESSING
86.31/86.72 c GARBAGE COLLECT
86.31/86.72 c rational objective 2.00001
91.19/91.64 c #Conflicts: 208000 | #Constraints: 9935
91.19/91.64 c #Conflicts: 209000 | #Constraints: 10935
91.19/91.64 c #Conflicts: 210000 | #Constraints: 11935
91.19/91.64 c #Conflicts: 211000 | #Constraints: 12935
91.19/91.64 c #Conflicts: 212000 | #Constraints: 13935
91.19/91.64 c #Conflicts: 213000 | #Constraints: 14935
91.19/91.64 c #Conflicts: 214000 | #Constraints: 15935
91.19/91.64 c #Conflicts: 215000 | #Constraints: 16935
91.19/91.64 c #Conflicts: 216000 | #Constraints: 17935
91.19/91.64 c INPROCESSING
91.19/91.64 c GARBAGE COLLECT
91.19/91.64 c rational objective 2.00001
97.62/98.13 c #Conflicts: 217000 | #Constraints: 9718
97.62/98.13 c #Conflicts: 218000 | #Constraints: 10840
97.62/98.13 c #Conflicts: 219000 | #Constraints: 11951
97.62/98.13 c #Conflicts: 220000 | #Constraints: 12956
97.62/98.13 c #Conflicts: 221000 | #Constraints: 13956
97.62/98.13 c #Conflicts: 222000 | #Constraints: 14956
97.62/98.13 c #Conflicts: 223000 | #Constraints: 15956
97.62/98.13 c #Conflicts: 224000 | #Constraints: 16956
97.62/98.13 c #Conflicts: 225000 | #Constraints: 17956
97.62/98.13 c #Conflicts: 226000 | #Constraints: 18956
97.62/98.13 c INPROCESSING
97.62/98.13 c GARBAGE COLLECT
97.62/98.13 c rational objective 2.00001
104.40/104.90 c #Conflicts: 227000 | #Constraints: 10460
104.40/104.90 c #Conflicts: 228000 | #Constraints: 11572
104.40/104.90 c #Conflicts: 229000 | #Constraints: 12654
104.40/104.90 c #Conflicts: 230000 | #Constraints: 13760
104.40/104.90 c #Conflicts: 231000 | #Constraints: 14857
104.40/104.90 c #Conflicts: 232000 | #Constraints: 15866
104.40/104.90 c #Conflicts: 233000 | #Constraints: 16866
104.40/104.90 c #Conflicts: 234000 | #Constraints: 17866
104.40/104.90 c #Conflicts: 235000 | #Constraints: 18866
104.40/104.90 c #Conflicts: 236000 | #Constraints: 19866
104.40/104.90 c INPROCESSING
104.40/104.90 c GARBAGE COLLECT
104.40/104.90 c rational objective 2.00001
110.19/110.75 c #Conflicts: 237000 | #Constraints: 10963
110.19/110.75 c #Conflicts: 238000 | #Constraints: 11963
110.19/110.75 c #Conflicts: 239000 | #Constraints: 12963
110.19/110.75 c #Conflicts: 240000 | #Constraints: 13963
110.19/110.75 c #Conflicts: 241000 | #Constraints: 14963
110.19/110.75 c #Conflicts: 242000 | #Constraints: 15963
110.19/110.75 c #Conflicts: 243000 | #Constraints: 16963
110.19/110.75 c #Conflicts: 244000 | #Constraints: 17963
110.19/110.75 c #Conflicts: 245000 | #Constraints: 18963
110.19/110.75 c #Conflicts: 246000 | #Constraints: 19963
110.19/110.75 c INPROCESSING
110.19/110.75 c GARBAGE COLLECT
110.19/110.75 c rational objective 2.00001
116.86/117.45 c #Conflicts: 247000 | #Constraints: 11035
116.86/117.45 c #Conflicts: 248000 | #Constraints: 12105
116.86/117.45 c #Conflicts: 249000 | #Constraints: 13166
116.86/117.45 c #Conflicts: 250000 | #Constraints: 14229
116.86/117.45 c #Conflicts: 251000 | #Constraints: 15232
116.86/117.45 c #Conflicts: 252000 | #Constraints: 16232
116.86/117.45 c #Conflicts: 253000 | #Constraints: 17232
116.86/117.45 c #Conflicts: 254000 | #Constraints: 18232
116.86/117.45 c #Conflicts: 255000 | #Constraints: 19232
116.86/117.45 c #Conflicts: 256000 | #Constraints: 20232
116.86/117.45 c INPROCESSING
116.86/117.45 c GARBAGE COLLECT
116.86/117.45 c rational objective 2.00001
123.41/124.09 c #Conflicts: 257000 | #Constraints: 11023
123.41/124.09 c #Conflicts: 258000 | #Constraints: 12023
123.41/124.09 c #Conflicts: 259000 | #Constraints: 13023
123.41/124.09 c #Conflicts: 260000 | #Constraints: 14023
123.41/124.09 c #Conflicts: 261000 | #Constraints: 15023
123.41/124.09 c #Conflicts: 262000 | #Constraints: 16023
123.41/124.09 c #Conflicts: 263000 | #Constraints: 17023
123.41/124.09 c #Conflicts: 264000 | #Constraints: 18023
123.41/124.09 c #Conflicts: 265000 | #Constraints: 19023
123.41/124.09 c #Conflicts: 266000 | #Constraints: 20023
123.41/124.09 c INPROCESSING
123.41/124.09 c GARBAGE COLLECT
123.41/124.09 c rational objective 2.00001
130.67/131.31 c #Conflicts: 267000 | #Constraints: 10731
130.67/131.31 c #Conflicts: 268000 | #Constraints: 11731
130.67/131.31 c #Conflicts: 269000 | #Constraints: 12731
130.67/131.31 c #Conflicts: 270000 | #Constraints: 13731
130.67/131.31 c #Conflicts: 271000 | #Constraints: 14731
130.67/131.31 c #Conflicts: 272000 | #Constraints: 15731
130.67/131.31 c #Conflicts: 273000 | #Constraints: 16731
130.67/131.31 c #Conflicts: 274000 | #Constraints: 17731
130.67/131.31 c #Conflicts: 275000 | #Constraints: 18731
130.67/131.31 c #Conflicts: 276000 | #Constraints: 19731
130.67/131.31 c #Conflicts: 277000 | #Constraints: 20731
130.67/131.31 c INPROCESSING
130.67/131.31 c GARBAGE COLLECT
130.67/131.31 c rational objective 2.00001
137.66/138.34 c #Conflicts: 278000 | #Constraints: 11355
137.66/138.34 c #Conflicts: 279000 | #Constraints: 12355
137.66/138.34 c #Conflicts: 280000 | #Constraints: 13355
137.66/138.34 c #Conflicts: 281000 | #Constraints: 14355
137.66/138.34 c #Conflicts: 282000 | #Constraints: 15355
137.66/138.34 c #Conflicts: 283000 | #Constraints: 16355
137.66/138.34 c #Conflicts: 284000 | #Constraints: 17355
137.66/138.34 c #Conflicts: 285000 | #Constraints: 18355
137.66/138.34 c #Conflicts: 286000 | #Constraints: 19355
137.66/138.34 c #Conflicts: 287000 | #Constraints: 20355
137.66/138.34 c #Conflicts: 288000 | #Constraints: 21355
137.66/138.34 c INPROCESSING
137.66/138.34 c GARBAGE COLLECT
137.66/138.34 c rational objective 2.00001
145.04/145.70 c #Conflicts: 289000 | #Constraints: 11725
145.04/145.70 c #Conflicts: 290000 | #Constraints: 12725
145.04/145.70 c #Conflicts: 291000 | #Constraints: 13725
145.04/145.70 c #Conflicts: 292000 | #Constraints: 14725
145.04/145.70 c #Conflicts: 293000 | #Constraints: 15725
145.04/145.70 c #Conflicts: 294000 | #Constraints: 16725
145.04/145.70 c #Conflicts: 295000 | #Constraints: 17725
145.04/145.70 c #Conflicts: 296000 | #Constraints: 18725
145.04/145.70 c #Conflicts: 297000 | #Constraints: 19725
145.04/145.70 c #Conflicts: 298000 | #Constraints: 20725
145.04/145.70 c #Conflicts: 299000 | #Constraints: 21725
145.04/145.70 c INPROCESSING
145.04/145.70 c GARBAGE COLLECT
145.04/145.70 c rational objective 2.00001
152.72/153.43 c #Conflicts: 300000 | #Constraints: 11908
152.72/153.43 c #Conflicts: 301000 | #Constraints: 12908
152.72/153.43 c #Conflicts: 302000 | #Constraints: 13908
152.72/153.43 c #Conflicts: 303000 | #Constraints: 14908
152.72/153.43 c #Conflicts: 304000 | #Constraints: 15908
152.72/153.43 c #Conflicts: 305000 | #Constraints: 16908
152.72/153.43 c #Conflicts: 306000 | #Constraints: 17908
152.72/153.43 c #Conflicts: 307000 | #Constraints: 18908
152.72/153.43 c #Conflicts: 308000 | #Constraints: 19908
152.72/153.43 c #Conflicts: 309000 | #Constraints: 20908
152.72/153.43 c #Conflicts: 310000 | #Constraints: 21908
152.72/153.43 c INPROCESSING
152.72/153.43 c GARBAGE COLLECT
152.72/153.43 c rational objective 2.00001
161.13/161.99 c #Conflicts: 311000 | #Constraints: 11904
161.13/161.99 c #Conflicts: 312000 | #Constraints: 12904
161.13/161.99 c #Conflicts: 313000 | #Constraints: 13904
161.13/161.99 c #Conflicts: 314000 | #Constraints: 14904
161.13/161.99 c #Conflicts: 315000 | #Constraints: 15904
161.13/161.99 c #Conflicts: 316000 | #Constraints: 16904
161.13/161.99 c #Conflicts: 317000 | #Constraints: 17904
161.13/161.99 c #Conflicts: 318000 | #Constraints: 18904
161.13/161.99 c #Conflicts: 319000 | #Constraints: 19904
161.13/161.99 c #Conflicts: 320000 | #Constraints: 20904
161.13/161.99 c #Conflicts: 321000 | #Constraints: 21904
161.13/161.99 c INPROCESSING
161.13/161.99 c GARBAGE COLLECT
161.13/161.99 c rational objective 2.00001
169.70/170.53 c #Conflicts: 322000 | #Constraints: 11663
169.70/170.53 c #Conflicts: 323000 | #Constraints: 12663
169.70/170.53 c #Conflicts: 324000 | #Constraints: 13663
169.70/170.53 c #Conflicts: 325000 | #Constraints: 14663
169.70/170.53 c #Conflicts: 326000 | #Constraints: 15663
169.70/170.53 c #Conflicts: 327000 | #Constraints: 16663
169.70/170.53 c #Conflicts: 328000 | #Constraints: 17663
169.70/170.53 c #Conflicts: 329000 | #Constraints: 18663
169.70/170.53 c #Conflicts: 330000 | #Constraints: 19663
169.70/170.53 c #Conflicts: 331000 | #Constraints: 20663
169.70/170.53 c #Conflicts: 332000 | #Constraints: 21663
169.70/170.53 c #Conflicts: 333000 | #Constraints: 22663
169.70/170.53 c INPROCESSING
169.70/170.53 c GARBAGE COLLECT
169.70/170.53 c rational objective 2.00001
178.19/179.01 c #Conflicts: 334000 | #Constraints: 12349
178.19/179.01 c #Conflicts: 335000 | #Constraints: 13458
178.19/179.01 c #Conflicts: 336000 | #Constraints: 14458
178.19/179.01 c #Conflicts: 337000 | #Constraints: 15458
178.19/179.01 c #Conflicts: 338000 | #Constraints: 16458
178.19/179.01 c #Conflicts: 339000 | #Constraints: 17458
178.19/179.01 c #Conflicts: 340000 | #Constraints: 18458
178.19/179.01 c #Conflicts: 341000 | #Constraints: 19458
178.19/179.01 c #Conflicts: 342000 | #Constraints: 20458
178.19/179.01 c #Conflicts: 343000 | #Constraints: 21458
178.19/179.01 c #Conflicts: 344000 | #Constraints: 22458
178.19/179.01 c #Conflicts: 345000 | #Constraints: 23458
178.19/179.01 c INPROCESSING
178.19/179.01 c GARBAGE COLLECT
178.19/179.01 c rational objective 2.00001
188.20/189.14 c #Conflicts: 346000 | #Constraints: 12754
188.20/189.14 c #Conflicts: 347000 | #Constraints: 13754
188.20/189.14 c #Conflicts: 348000 | #Constraints: 14754
188.20/189.14 c #Conflicts: 349000 | #Constraints: 15754
188.20/189.14 c #Conflicts: 350000 | #Constraints: 16754
188.20/189.14 c #Conflicts: 351000 | #Constraints: 17754
188.20/189.14 c #Conflicts: 352000 | #Constraints: 18754
188.20/189.14 c #Conflicts: 353000 | #Constraints: 19754
188.20/189.14 c #Conflicts: 354000 | #Constraints: 20754
188.20/189.14 c #Conflicts: 355000 | #Constraints: 21754
188.20/189.14 c #Conflicts: 356000 | #Constraints: 22754
188.20/189.14 c #Conflicts: 357000 | #Constraints: 23754
188.20/189.14 c INPROCESSING
188.20/189.14 c GARBAGE COLLECT
188.20/189.14 c rational objective 2.00001
197.58/198.52 c #Conflicts: 358000 | #Constraints: 12887
197.58/198.52 c #Conflicts: 359000 | #Constraints: 13887
197.58/198.52 c #Conflicts: 360000 | #Constraints: 14887
197.58/198.52 c #Conflicts: 361000 | #Constraints: 15887
197.58/198.52 c #Conflicts: 362000 | #Constraints: 16887
197.58/198.52 c #Conflicts: 363000 | #Constraints: 17887
197.58/198.52 c #Conflicts: 364000 | #Constraints: 18887
197.58/198.52 c #Conflicts: 365000 | #Constraints: 19887
197.58/198.52 c #Conflicts: 366000 | #Constraints: 20887
197.58/198.52 c #Conflicts: 367000 | #Constraints: 21887
197.58/198.52 c #Conflicts: 368000 | #Constraints: 22887
197.58/198.52 c #Conflicts: 369000 | #Constraints: 23887
197.58/198.52 c INPROCESSING
197.58/198.52 c GARBAGE COLLECT
197.58/198.52 c rational objective 2.00001
208.24/209.29 c #Conflicts: 370000 | #Constraints: 12907
208.24/209.29 c #Conflicts: 371000 | #Constraints: 13934
208.24/209.29 c #Conflicts: 372000 | #Constraints: 14934
208.24/209.29 c #Conflicts: 373000 | #Constraints: 15934
208.24/209.29 c #Conflicts: 374000 | #Constraints: 16934
208.24/209.29 c #Conflicts: 375000 | #Constraints: 17934
208.24/209.29 c #Conflicts: 376000 | #Constraints: 18934
208.24/209.29 c #Conflicts: 377000 | #Constraints: 19934
208.24/209.29 c #Conflicts: 378000 | #Constraints: 20934
208.24/209.29 c #Conflicts: 379000 | #Constraints: 21934
208.24/209.29 c #Conflicts: 380000 | #Constraints: 22934
208.24/209.29 c #Conflicts: 381000 | #Constraints: 23934
208.24/209.29 c INPROCESSING
208.24/209.29 c GARBAGE COLLECT
208.24/209.29 c rational objective 2.00001
217.37/218.42 c #Conflicts: 382000 | #Constraints: 12694
217.37/218.42 c #Conflicts: 383000 | #Constraints: 13699
217.37/218.42 c #Conflicts: 384000 | #Constraints: 14699
217.37/218.42 c #Conflicts: 385000 | #Constraints: 15699
217.37/218.42 c #Conflicts: 386000 | #Constraints: 16699
217.37/218.42 c #Conflicts: 387000 | #Constraints: 17699
217.37/218.42 c #Conflicts: 388000 | #Constraints: 18699
217.37/218.42 c #Conflicts: 389000 | #Constraints: 19699
217.37/218.42 c #Conflicts: 390000 | #Constraints: 20699
217.37/218.42 c #Conflicts: 391000 | #Constraints: 21699
217.37/218.42 c #Conflicts: 392000 | #Constraints: 22699
217.37/218.42 c #Conflicts: 393000 | #Constraints: 23699
217.37/218.42 c #Conflicts: 394000 | #Constraints: 24699
217.37/218.42 c INPROCESSING
217.37/218.42 c GARBAGE COLLECT
217.37/218.42 c rational objective 2.00001
229.23/230.34 c #Conflicts: 395000 | #Constraints: 13336
229.23/230.34 c #Conflicts: 396000 | #Constraints: 14444
229.23/230.34 c #Conflicts: 397000 | #Constraints: 15494
229.23/230.34 c #Conflicts: 398000 | #Constraints: 16494
229.23/230.34 c #Conflicts: 399000 | #Constraints: 17494
229.23/230.34 c #Conflicts: 400000 | #Constraints: 18494
229.23/230.34 c #Conflicts: 401000 | #Constraints: 19494
229.23/230.34 c #Conflicts: 402000 | #Constraints: 20502
229.23/230.34 c #Conflicts: 403000 | #Constraints: 21502
229.23/230.34 c #Conflicts: 404000 | #Constraints: 22502
229.23/230.34 c #Conflicts: 405000 | #Constraints: 23502
229.23/230.34 c #Conflicts: 406000 | #Constraints: 24502
229.23/230.34 c #Conflicts: 407000 | #Constraints: 25502
229.23/230.34 c INPROCESSING
229.23/230.34 c GARBAGE COLLECT
229.23/230.34 c rational objective 2.00001
240.70/241.83 c #Conflicts: 408000 | #Constraints: 13759
240.70/241.83 c #Conflicts: 409000 | #Constraints: 14759
240.70/241.83 c #Conflicts: 410000 | #Constraints: 15759
240.70/241.83 c #Conflicts: 411000 | #Constraints: 16845
240.70/241.83 c #Conflicts: 412000 | #Constraints: 17989
240.70/241.83 c #Conflicts: 413000 | #Constraints: 19096
240.70/241.83 c #Conflicts: 414000 | #Constraints: 20195
240.70/241.83 c #Conflicts: 415000 | #Constraints: 21195
240.70/241.83 c #Conflicts: 416000 | #Constraints: 22195
240.70/241.83 c #Conflicts: 417000 | #Constraints: 23195
240.70/241.83 c #Conflicts: 418000 | #Constraints: 24195
240.70/241.83 c #Conflicts: 419000 | #Constraints: 25195
240.70/241.83 c #Conflicts: 420000 | #Constraints: 26195
240.70/241.83 c INPROCESSING
240.70/241.83 c GARBAGE COLLECT
240.70/241.83 c rational objective 2.00001
251.62/252.86 c #Conflicts: 421000 | #Constraints: 14162
251.62/252.86 c #Conflicts: 422000 | #Constraints: 15162
251.62/252.86 c #Conflicts: 423000 | #Constraints: 16162
251.62/252.86 c #Conflicts: 424000 | #Constraints: 17162
251.62/252.86 c #Conflicts: 425000 | #Constraints: 18162
251.62/252.86 c #Conflicts: 426000 | #Constraints: 19162
251.62/252.86 c #Conflicts: 427000 | #Constraints: 20162
251.62/252.86 c #Conflicts: 428000 | #Constraints: 21162
251.62/252.86 c #Conflicts: 429000 | #Constraints: 22162
251.62/252.86 c #Conflicts: 430000 | #Constraints: 23162
251.62/252.86 c #Conflicts: 431000 | #Constraints: 24162
251.62/252.86 c #Conflicts: 432000 | #Constraints: 25162
251.62/252.86 c #Conflicts: 433000 | #Constraints: 26162
251.62/252.86 c INPROCESSING
251.62/252.86 c GARBAGE COLLECT
251.62/252.86 c rational objective 2.00001
262.49/263.78 c #Conflicts: 434000 | #Constraints: 14035
262.49/263.78 c #Conflicts: 435000 | #Constraints: 15066
262.49/263.78 c #Conflicts: 436000 | #Constraints: 16066
262.49/263.78 c #Conflicts: 437000 | #Constraints: 17066
262.49/263.78 c #Conflicts: 438000 | #Constraints: 18066
262.49/263.78 c #Conflicts: 439000 | #Constraints: 19066
262.49/263.78 c #Conflicts: 440000 | #Constraints: 20066
262.49/263.78 c #Conflicts: 441000 | #Constraints: 21066
262.49/263.78 c #Conflicts: 442000 | #Constraints: 22066
262.49/263.78 c #Conflicts: 443000 | #Constraints: 23066
262.49/263.78 c #Conflicts: 444000 | #Constraints: 24066
262.49/263.78 c #Conflicts: 445000 | #Constraints: 25066
262.49/263.78 c #Conflicts: 446000 | #Constraints: 26066
262.49/263.78 c INPROCESSING
262.49/263.78 c GARBAGE COLLECT
262.49/263.78 c rational objective 2.00001
273.96/275.22 c #Conflicts: 447000 | #Constraints: 13769
273.96/275.22 c #Conflicts: 448000 | #Constraints: 14815
273.96/275.22 c #Conflicts: 449000 | #Constraints: 15815
273.96/275.22 c #Conflicts: 450000 | #Constraints: 16815
273.96/275.22 c #Conflicts: 451000 | #Constraints: 17815
273.96/275.22 c #Conflicts: 452000 | #Constraints: 18815
273.96/275.22 c #Conflicts: 453000 | #Constraints: 19815
273.96/275.22 c #Conflicts: 454000 | #Constraints: 20815
273.96/275.22 c #Conflicts: 455000 | #Constraints: 21815
273.96/275.22 c #Conflicts: 456000 | #Constraints: 22815
273.96/275.22 c #Conflicts: 457000 | #Constraints: 23815
273.96/275.22 c #Conflicts: 458000 | #Constraints: 24815
273.96/275.22 c #Conflicts: 459000 | #Constraints: 25815
273.96/275.22 c #Conflicts: 460000 | #Constraints: 26815
273.96/275.22 c INPROCESSING
273.96/275.22 c GARBAGE COLLECT
273.96/275.22 c rational objective 2.00001
285.99/287.39 c #Conflicts: 461000 | #Constraints: 14322
285.99/287.39 c #Conflicts: 462000 | #Constraints: 15322
285.99/287.39 c #Conflicts: 463000 | #Constraints: 16322
285.99/287.39 c #Conflicts: 464000 | #Constraints: 17322
285.99/287.39 c #Conflicts: 465000 | #Constraints: 18322
285.99/287.39 c #Conflicts: 466000 | #Constraints: 19322
285.99/287.39 c #Conflicts: 467000 | #Constraints: 20322
285.99/287.39 c #Conflicts: 468000 | #Constraints: 21322
285.99/287.39 c #Conflicts: 469000 | #Constraints: 22322
285.99/287.39 c #Conflicts: 470000 | #Constraints: 23322
285.99/287.39 c #Conflicts: 471000 | #Constraints: 24322
285.99/287.39 c #Conflicts: 472000 | #Constraints: 25322
285.99/287.39 c #Conflicts: 473000 | #Constraints: 26322
285.99/287.39 c #Conflicts: 474000 | #Constraints: 27322
285.99/287.39 c INPROCESSING
285.99/287.39 c GARBAGE COLLECT
285.99/287.39 c rational objective 2.00001
300.95/302.38 c #Conflicts: 475000 | #Constraints: 14682
300.95/302.38 c #Conflicts: 476000 | #Constraints: 15682
300.95/302.38 c #Conflicts: 477000 | #Constraints: 16682
300.95/302.38 c #Conflicts: 478000 | #Constraints: 17682
300.95/302.38 c #Conflicts: 479000 | #Constraints: 18682
300.95/302.38 c #Conflicts: 480000 | #Constraints: 19682
300.95/302.38 c #Conflicts: 481000 | #Constraints: 20682
300.95/302.38 c #Conflicts: 482000 | #Constraints: 21682
300.95/302.38 c #Conflicts: 483000 | #Constraints: 22682
300.95/302.38 c #Conflicts: 484000 | #Constraints: 23682
300.95/302.38 c #Conflicts: 485000 | #Constraints: 24682
300.95/302.38 c #Conflicts: 486000 | #Constraints: 25682
300.95/302.38 c #Conflicts: 487000 | #Constraints: 26682
300.95/302.38 c #Conflicts: 488000 | #Constraints: 27682
300.95/302.38 c INPROCESSING
300.95/302.38 c GARBAGE COLLECT
300.95/302.38 c rational objective 2.00001
312.78/314.27 c #Conflicts: 489000 | #Constraints: 14864
312.78/314.27 c #Conflicts: 490000 | #Constraints: 15864
312.78/314.27 c #Conflicts: 491000 | #Constraints: 16864
312.78/314.27 c #Conflicts: 492000 | #Constraints: 17864
312.78/314.27 c #Conflicts: 493000 | #Constraints: 18864
312.78/314.27 c #Conflicts: 494000 | #Constraints: 19864
312.78/314.27 c #Conflicts: 495000 | #Constraints: 20864
312.78/314.27 c #Conflicts: 496000 | #Constraints: 21864
312.78/314.27 c #Conflicts: 497000 | #Constraints: 22864
312.78/314.27 c #Conflicts: 498000 | #Constraints: 23864
312.78/314.27 c #Conflicts: 499000 | #Constraints: 24864
312.78/314.27 c #Conflicts: 500000 | #Constraints: 25864
312.78/314.27 c #Conflicts: 501000 | #Constraints: 26864
312.78/314.27 c #Conflicts: 502000 | #Constraints: 27864
312.78/314.27 c INPROCESSING
312.78/314.27 c GARBAGE COLLECT
312.78/314.27 c rational objective 2.00001
326.25/327.75 c #Conflicts: 503000 | #Constraints: 14849
326.25/327.75 c #Conflicts: 504000 | #Constraints: 15853
326.25/327.75 c #Conflicts: 505000 | #Constraints: 16853
326.25/327.75 c #Conflicts: 506000 | #Constraints: 17853
326.25/327.75 c #Conflicts: 507000 | #Constraints: 18853
326.25/327.75 c #Conflicts: 508000 | #Constraints: 19853
326.25/327.75 c #Conflicts: 509000 | #Constraints: 20853
326.25/327.75 c #Conflicts: 510000 | #Constraints: 21853
326.25/327.75 c #Conflicts: 511000 | #Constraints: 22853
326.25/327.75 c #Conflicts: 512000 | #Constraints: 23853
326.25/327.75 c #Conflicts: 513000 | #Constraints: 24853
326.25/327.75 c #Conflicts: 514000 | #Constraints: 25853
326.25/327.75 c #Conflicts: 515000 | #Constraints: 26853
326.25/327.75 c #Conflicts: 516000 | #Constraints: 27853
326.25/327.75 c INPROCESSING
326.25/327.75 c GARBAGE COLLECT
326.25/327.75 c rational objective 2.00001
340.88/342.46 c #Conflicts: 517000 | #Constraints: 14645
340.88/342.46 c #Conflicts: 518000 | #Constraints: 15645
340.88/342.46 c #Conflicts: 519000 | #Constraints: 16645
340.88/342.46 c #Conflicts: 520000 | #Constraints: 17645
340.88/342.46 c #Conflicts: 521000 | #Constraints: 18645
340.88/342.46 c #Conflicts: 522000 | #Constraints: 19645
340.88/342.46 c #Conflicts: 523000 | #Constraints: 20645
340.88/342.46 c #Conflicts: 524000 | #Constraints: 21645
340.88/342.46 c #Conflicts: 525000 | #Constraints: 22645
340.88/342.46 c #Conflicts: 526000 | #Constraints: 23645
340.88/342.46 c #Conflicts: 527000 | #Constraints: 24645
340.88/342.46 c #Conflicts: 528000 | #Constraints: 25645
340.88/342.46 c #Conflicts: 529000 | #Constraints: 26645
340.88/342.46 c #Conflicts: 530000 | #Constraints: 27645
340.88/342.46 c #Conflicts: 531000 | #Constraints: 28645
340.88/342.46 c INPROCESSING
340.88/342.46 c GARBAGE COLLECT
340.88/342.46 c rational objective 2.00001
354.84/356.45 c #Conflicts: 532000 | #Constraints: 15230
354.84/356.45 c #Conflicts: 533000 | #Constraints: 16230
354.84/356.45 c #Conflicts: 534000 | #Constraints: 17230
354.84/356.45 c #Conflicts: 535000 | #Constraints: 18230
354.84/356.45 c #Conflicts: 536000 | #Constraints: 19230
354.84/356.45 c #Conflicts: 537000 | #Constraints: 20230
354.84/356.45 c #Conflicts: 538000 | #Constraints: 21230
354.84/356.45 c #Conflicts: 539000 | #Constraints: 22230
354.84/356.45 c #Conflicts: 540000 | #Constraints: 23230
354.84/356.45 c #Conflicts: 541000 | #Constraints: 24230
354.84/356.45 c #Conflicts: 542000 | #Constraints: 25230
354.84/356.45 c #Conflicts: 543000 | #Constraints: 26230
354.84/356.45 c #Conflicts: 544000 | #Constraints: 27230
354.84/356.45 c #Conflicts: 545000 | #Constraints: 28230
354.84/356.45 c #Conflicts: 546000 | #Constraints: 29230
354.84/356.45 c INPROCESSING
354.84/356.45 c GARBAGE COLLECT
354.84/356.45 c rational objective 2.00001
369.27/370.97 c #Conflicts: 547000 | #Constraints: 15634
369.27/370.97 c #Conflicts: 548000 | #Constraints: 16634
369.27/370.97 c #Conflicts: 549000 | #Constraints: 17635
369.27/370.97 c #Conflicts: 550000 | #Constraints: 18635
369.27/370.97 c #Conflicts: 551000 | #Constraints: 19635
369.27/370.97 c #Conflicts: 552000 | #Constraints: 20635
369.27/370.97 c #Conflicts: 553000 | #Constraints: 21635
369.27/370.97 c #Conflicts: 554000 | #Constraints: 22635
369.27/370.97 c #Conflicts: 555000 | #Constraints: 23635
369.27/370.97 c #Conflicts: 556000 | #Constraints: 24635
369.27/370.97 c #Conflicts: 557000 | #Constraints: 25635
369.27/370.97 c #Conflicts: 558000 | #Constraints: 26635
369.27/370.97 c #Conflicts: 559000 | #Constraints: 27635
369.27/370.97 c #Conflicts: 560000 | #Constraints: 28635
369.27/370.97 c #Conflicts: 561000 | #Constraints: 29635
369.27/370.97 c INPROCESSING
369.27/370.97 c GARBAGE COLLECT
369.27/370.97 c rational objective 2.00001
384.92/386.61 c #Conflicts: 562000 | #Constraints: 15826
384.92/386.61 c #Conflicts: 563000 | #Constraints: 16826
384.92/386.61 c #Conflicts: 564000 | #Constraints: 17826
384.92/386.61 c #Conflicts: 565000 | #Constraints: 18826
384.92/386.61 c #Conflicts: 566000 | #Constraints: 19826
384.92/386.61 c #Conflicts: 567000 | #Constraints: 20826
384.92/386.61 c #Conflicts: 568000 | #Constraints: 21826
384.92/386.61 c #Conflicts: 569000 | #Constraints: 22826
384.92/386.61 c #Conflicts: 570000 | #Constraints: 23826
384.92/386.61 c #Conflicts: 571000 | #Constraints: 24826
384.92/386.61 c #Conflicts: 572000 | #Constraints: 25826
384.92/386.61 c #Conflicts: 573000 | #Constraints: 26826
384.92/386.61 c #Conflicts: 574000 | #Constraints: 27826
384.92/386.61 c #Conflicts: 575000 | #Constraints: 28826
384.92/386.61 c #Conflicts: 576000 | #Constraints: 29826
384.92/386.61 c INPROCESSING
384.92/386.61 c GARBAGE COLLECT
384.92/386.61 c rational objective 2.00001
399.97/401.73 c #Conflicts: 577000 | #Constraints: 15825
399.97/401.73 c #Conflicts: 578000 | #Constraints: 16832
399.97/401.73 c #Conflicts: 579000 | #Constraints: 17832
399.97/401.73 c #Conflicts: 580000 | #Constraints: 18832
399.97/401.73 c #Conflicts: 581000 | #Constraints: 19832
399.97/401.73 c #Conflicts: 582000 | #Constraints: 20832
399.97/401.73 c #Conflicts: 583000 | #Constraints: 21832
399.97/401.73 c #Conflicts: 584000 | #Constraints: 22832
399.97/401.73 c #Conflicts: 585000 | #Constraints: 23832
399.97/401.73 c #Conflicts: 586000 | #Constraints: 24832
399.97/401.73 c #Conflicts: 587000 | #Constraints: 25832
399.97/401.73 c #Conflicts: 588000 | #Constraints: 26832
399.97/401.73 c #Conflicts: 589000 | #Constraints: 27832
399.97/401.73 c #Conflicts: 590000 | #Constraints: 28832
399.97/401.73 c #Conflicts: 591000 | #Constraints: 29832
399.97/401.73 c INPROCESSING
399.97/401.73 c GARBAGE COLLECT
399.97/401.73 c rational objective 2.00001
417.22/419.05 c #Conflicts: 592000 | #Constraints: 15630
417.22/419.05 c #Conflicts: 593000 | #Constraints: 16630
417.22/419.05 c #Conflicts: 594000 | #Constraints: 17630
417.22/419.05 c #Conflicts: 595000 | #Constraints: 18630
417.22/419.05 c #Conflicts: 596000 | #Constraints: 19630
417.22/419.05 c #Conflicts: 597000 | #Constraints: 20630
417.22/419.05 c #Conflicts: 598000 | #Constraints: 21630
417.22/419.05 c #Conflicts: 599000 | #Constraints: 22630
417.22/419.05 c #Conflicts: 600000 | #Constraints: 23630
417.22/419.05 c #Conflicts: 601000 | #Constraints: 24630
417.22/419.05 c #Conflicts: 602000 | #Constraints: 25630
417.22/419.05 c #Conflicts: 603000 | #Constraints: 26630
417.22/419.05 c #Conflicts: 604000 | #Constraints: 27630
417.22/419.05 c #Conflicts: 605000 | #Constraints: 28630
417.22/419.05 c #Conflicts: 606000 | #Constraints: 29630
417.22/419.05 c #Conflicts: 607000 | #Constraints: 30630
417.22/419.05 c INPROCESSING
417.22/419.05 c GARBAGE COLLECT
417.22/419.05 c rational objective 2.00001
433.15/435.08 c #Conflicts: 608000 | #Constraints: 16241
433.15/435.08 c #Conflicts: 609000 | #Constraints: 17275
433.15/435.08 c #Conflicts: 610000 | #Constraints: 18278
433.15/435.08 c #Conflicts: 611000 | #Constraints: 19278
433.15/435.08 c #Conflicts: 612000 | #Constraints: 20278
433.15/435.08 c #Conflicts: 613000 | #Constraints: 21278
433.15/435.08 c #Conflicts: 614000 | #Constraints: 22278
433.15/435.08 c #Conflicts: 615000 | #Constraints: 23278
433.15/435.08 c #Conflicts: 616000 | #Constraints: 24278
433.15/435.08 c #Conflicts: 617000 | #Constraints: 25278
433.15/435.08 c #Conflicts: 618000 | #Constraints: 26278
433.15/435.08 c #Conflicts: 619000 | #Constraints: 27278
433.15/435.08 c #Conflicts: 620000 | #Constraints: 28278
433.15/435.08 c #Conflicts: 621000 | #Constraints: 29278
433.15/435.08 c #Conflicts: 622000 | #Constraints: 30278
433.15/435.08 c #Conflicts: 623000 | #Constraints: 31278
433.15/435.08 c INPROCESSING
433.15/435.08 c GARBAGE COLLECT
433.15/435.08 c rational objective 2.00001
449.60/451.58 c #Conflicts: 624000 | #Constraints: 16674
449.60/451.58 c #Conflicts: 625000 | #Constraints: 17677
449.60/451.58 c #Conflicts: 626000 | #Constraints: 18677
449.60/451.58 c #Conflicts: 627000 | #Constraints: 19677
449.60/451.58 c #Conflicts: 628000 | #Constraints: 20677
449.60/451.58 c #Conflicts: 629000 | #Constraints: 21677
449.60/451.58 c #Conflicts: 630000 | #Constraints: 22677
449.60/451.58 c #Conflicts: 631000 | #Constraints: 23677
449.60/451.58 c #Conflicts: 632000 | #Constraints: 24677
449.60/451.58 c #Conflicts: 633000 | #Constraints: 25677
449.60/451.58 c #Conflicts: 634000 | #Constraints: 26677
449.60/451.58 c #Conflicts: 635000 | #Constraints: 27677
449.60/451.58 c #Conflicts: 636000 | #Constraints: 28677
449.60/451.58 c #Conflicts: 637000 | #Constraints: 29677
449.60/451.58 c #Conflicts: 638000 | #Constraints: 30677
449.60/451.58 c #Conflicts: 639000 | #Constraints: 31677
449.60/451.58 c INPROCESSING
449.60/451.58 c GARBAGE COLLECT
449.60/451.58 c rational objective 2.00001
467.23/469.21 c #Conflicts: 640000 | #Constraints: 16882
467.23/469.21 c #Conflicts: 641000 | #Constraints: 17882
467.23/469.21 c #Conflicts: 642000 | #Constraints: 18882
467.23/469.21 c #Conflicts: 643000 | #Constraints: 19882
467.23/469.21 c #Conflicts: 644000 | #Constraints: 20882
467.23/469.21 c #Conflicts: 645000 | #Constraints: 21882
467.23/469.21 c #Conflicts: 646000 | #Constraints: 22882
467.23/469.21 c #Conflicts: 647000 | #Constraints: 23882
467.23/469.21 c #Conflicts: 648000 | #Constraints: 24882
467.23/469.21 c #Conflicts: 649000 | #Constraints: 25882
467.23/469.21 c #Conflicts: 650000 | #Constraints: 26882
467.23/469.21 c #Conflicts: 651000 | #Constraints: 27882
467.23/469.21 c #Conflicts: 652000 | #Constraints: 28882
467.23/469.21 c #Conflicts: 653000 | #Constraints: 29882
467.23/469.21 c #Conflicts: 654000 | #Constraints: 30882
467.23/469.21 c #Conflicts: 655000 | #Constraints: 31882
467.23/469.21 c INPROCESSING
467.23/469.21 c GARBAGE COLLECT
467.23/469.21 c rational objective 2.00001
484.28/486.30 c #Conflicts: 656000 | #Constraints: 16855
484.28/486.30 c #Conflicts: 657000 | #Constraints: 17855
484.28/486.30 c #Conflicts: 658000 | #Constraints: 18855
484.28/486.30 c #Conflicts: 659000 | #Constraints: 19855
484.28/486.30 c #Conflicts: 660000 | #Constraints: 20855
484.28/486.30 c #Conflicts: 661000 | #Constraints: 21855
484.28/486.30 c #Conflicts: 662000 | #Constraints: 22855
484.28/486.30 c #Conflicts: 663000 | #Constraints: 23855
484.28/486.30 c #Conflicts: 664000 | #Constraints: 24855
484.28/486.30 c #Conflicts: 665000 | #Constraints: 25855
484.28/486.30 c #Conflicts: 666000 | #Constraints: 26855
484.28/486.30 c #Conflicts: 667000 | #Constraints: 27855
484.28/486.30 c #Conflicts: 668000 | #Constraints: 28855
484.28/486.30 c #Conflicts: 669000 | #Constraints: 29855
484.28/486.30 c #Conflicts: 670000 | #Constraints: 30855
484.28/486.30 c #Conflicts: 671000 | #Constraints: 31855
484.28/486.30 c INPROCESSING
484.28/486.30 c GARBAGE COLLECT
484.28/486.30 c rational objective 2.00001
501.21/503.36 c #Conflicts: 672000 | #Constraints: 16642
501.21/503.36 c #Conflicts: 673000 | #Constraints: 17648
501.21/503.36 c #Conflicts: 674000 | #Constraints: 18648
501.21/503.36 c #Conflicts: 675000 | #Constraints: 19648
501.21/503.36 c #Conflicts: 676000 | #Constraints: 20648
501.21/503.36 c #Conflicts: 677000 | #Constraints: 21648
501.21/503.36 c #Conflicts: 678000 | #Constraints: 22648
501.21/503.36 c #Conflicts: 679000 | #Constraints: 23648
501.21/503.36 c #Conflicts: 680000 | #Constraints: 24648
501.21/503.36 c #Conflicts: 681000 | #Constraints: 25648
501.21/503.36 c #Conflicts: 682000 | #Constraints: 26648
501.21/503.36 c #Conflicts: 683000 | #Constraints: 27648
501.21/503.36 c #Conflicts: 684000 | #Constraints: 28648
501.21/503.36 c #Conflicts: 685000 | #Constraints: 29648
501.21/503.36 c #Conflicts: 686000 | #Constraints: 30648
501.21/503.36 c #Conflicts: 687000 | #Constraints: 31648
501.21/503.36 c #Conflicts: 688000 | #Constraints: 32648
501.21/503.36 c INPROCESSING
501.21/503.36 c GARBAGE COLLECT
501.21/503.36 c rational objective 2.00001
518.27/520.48 c #Conflicts: 689000 | #Constraints: 17258
518.27/520.48 c #Conflicts: 690000 | #Constraints: 18284
518.27/520.48 c #Conflicts: 691000 | #Constraints: 19284
518.27/520.48 c #Conflicts: 692000 | #Constraints: 20284
518.27/520.48 c #Conflicts: 693000 | #Constraints: 21284
518.27/520.48 c #Conflicts: 694000 | #Constraints: 22284
518.27/520.48 c #Conflicts: 695000 | #Constraints: 23284
518.27/520.48 c #Conflicts: 696000 | #Constraints: 24284
518.27/520.48 c #Conflicts: 697000 | #Constraints: 25284
518.27/520.48 c #Conflicts: 698000 | #Constraints: 26284
518.27/520.48 c #Conflicts: 699000 | #Constraints: 27284
518.27/520.48 c #Conflicts: 700000 | #Constraints: 28284
518.27/520.48 c #Conflicts: 701000 | #Constraints: 29284
518.27/520.48 c #Conflicts: 702000 | #Constraints: 30284
518.27/520.48 c #Conflicts: 703000 | #Constraints: 31284
518.27/520.48 c #Conflicts: 704000 | #Constraints: 32284
518.27/520.48 c #Conflicts: 705000 | #Constraints: 33284
518.27/520.48 c INPROCESSING
518.27/520.48 c GARBAGE COLLECT
518.27/520.48 c rational objective 2.00001
536.28/538.57 c #Conflicts: 706000 | #Constraints: 17655
536.28/538.57 c #Conflicts: 707000 | #Constraints: 18655
536.28/538.57 c #Conflicts: 708000 | #Constraints: 19655
536.28/538.57 c #Conflicts: 709000 | #Constraints: 20655
536.28/538.57 c #Conflicts: 710000 | #Constraints: 21655
536.28/538.57 c #Conflicts: 711000 | #Constraints: 22655
536.28/538.57 c #Conflicts: 712000 | #Constraints: 23655
536.28/538.57 c #Conflicts: 713000 | #Constraints: 24655
536.28/538.57 c #Conflicts: 714000 | #Constraints: 25655
536.28/538.57 c #Conflicts: 715000 | #Constraints: 26655
536.28/538.57 c #Conflicts: 716000 | #Constraints: 27655
536.28/538.57 c #Conflicts: 717000 | #Constraints: 28655
536.28/538.57 c #Conflicts: 718000 | #Constraints: 29655
536.28/538.57 c #Conflicts: 719000 | #Constraints: 30655
536.28/538.57 c #Conflicts: 720000 | #Constraints: 31655
536.28/538.57 c #Conflicts: 721000 | #Constraints: 32655
536.28/538.57 c #Conflicts: 722000 | #Constraints: 33655
536.28/538.57 c INPROCESSING
536.28/538.57 c GARBAGE COLLECT
536.28/538.57 c rational objective 2.00001
553.81/556.12 c #Conflicts: 723000 | #Constraints: 17848
553.81/556.12 c #Conflicts: 724000 | #Constraints: 18848
553.81/556.12 c #Conflicts: 725000 | #Constraints: 19848
553.81/556.12 c #Conflicts: 726000 | #Constraints: 20848
553.81/556.12 c #Conflicts: 727000 | #Constraints: 21848
553.81/556.12 c #Conflicts: 728000 | #Constraints: 22848
553.81/556.12 c #Conflicts: 729000 | #Constraints: 23848
553.81/556.12 c #Conflicts: 730000 | #Constraints: 24848
553.81/556.12 c #Conflicts: 731000 | #Constraints: 25848
553.81/556.12 c #Conflicts: 732000 | #Constraints: 26848
553.81/556.12 c #Conflicts: 733000 | #Constraints: 27848
553.81/556.12 c #Conflicts: 734000 | #Constraints: 28848
553.81/556.12 c #Conflicts: 735000 | #Constraints: 29848
553.81/556.12 c #Conflicts: 736000 | #Constraints: 30848
553.81/556.12 c #Conflicts: 737000 | #Constraints: 31848
553.81/556.12 c #Conflicts: 738000 | #Constraints: 32848
553.81/556.12 c #Conflicts: 739000 | #Constraints: 33848
553.81/556.12 c INPROCESSING
553.81/556.12 c GARBAGE COLLECT
553.81/556.12 c rational objective 2.00001
573.66/576.01 c #Conflicts: 740000 | #Constraints: 17854
573.66/576.01 c #Conflicts: 741000 | #Constraints: 18856
573.66/576.01 c #Conflicts: 742000 | #Constraints: 19856
573.66/576.01 c #Conflicts: 743000 | #Constraints: 20856
573.66/576.01 c #Conflicts: 744000 | #Constraints: 21856
573.66/576.01 c #Conflicts: 745000 | #Constraints: 22856
573.66/576.01 c #Conflicts: 746000 | #Constraints: 23856
573.66/576.01 c #Conflicts: 747000 | #Constraints: 24856
573.66/576.01 c #Conflicts: 748000 | #Constraints: 25856
573.66/576.01 c #Conflicts: 749000 | #Constraints: 26856
573.66/576.01 c #Conflicts: 750000 | #Constraints: 27856
573.66/576.01 c #Conflicts: 751000 | #Constraints: 28856
573.66/576.01 c #Conflicts: 752000 | #Constraints: 29856
573.66/576.01 c #Conflicts: 753000 | #Constraints: 30856
573.66/576.01 c #Conflicts: 754000 | #Constraints: 31856
573.66/576.01 c #Conflicts: 755000 | #Constraints: 32856
573.66/576.01 c #Conflicts: 756000 | #Constraints: 33856
573.66/576.01 c INPROCESSING
573.66/576.01 c GARBAGE COLLECT
573.66/576.01 c rational objective 2.00001
593.76/596.21 c #Conflicts: 757000 | #Constraints: 17641
593.76/596.21 c #Conflicts: 758000 | #Constraints: 18641
593.76/596.21 c #Conflicts: 759000 | #Constraints: 19643
593.76/596.21 c #Conflicts: 760000 | #Constraints: 20643
593.76/596.21 c #Conflicts: 761000 | #Constraints: 21643
593.76/596.21 c #Conflicts: 762000 | #Constraints: 22643
593.76/596.21 c #Conflicts: 763000 | #Constraints: 23643
593.76/596.21 c #Conflicts: 764000 | #Constraints: 24643
593.76/596.21 c #Conflicts: 765000 | #Constraints: 25643
593.76/596.21 c #Conflicts: 766000 | #Constraints: 26643
593.76/596.21 c #Conflicts: 767000 | #Constraints: 27643
593.76/596.21 c #Conflicts: 768000 | #Constraints: 28644
593.76/596.21 c #Conflicts: 769000 | #Constraints: 29644
593.76/596.21 c #Conflicts: 770000 | #Constraints: 30644
593.76/596.21 c #Conflicts: 771000 | #Constraints: 31644
593.76/596.21 c #Conflicts: 772000 | #Constraints: 32644
593.76/596.21 c #Conflicts: 773000 | #Constraints: 33644
593.76/596.21 c #Conflicts: 774000 | #Constraints: 34644
593.76/596.21 c INPROCESSING
593.76/596.21 c GARBAGE COLLECT
593.76/596.21 c rational objective 2.00001
614.68/617.21 c #Conflicts: 775000 | #Constraints: 18240
614.68/617.21 c #Conflicts: 776000 | #Constraints: 19240
614.68/617.21 c #Conflicts: 777000 | #Constraints: 20240
614.68/617.21 c #Conflicts: 778000 | #Constraints: 21240
614.68/617.21 c #Conflicts: 779000 | #Constraints: 22240
614.68/617.21 c #Conflicts: 780000 | #Constraints: 23246
614.68/617.21 c #Conflicts: 781000 | #Constraints: 24246
614.68/617.21 c #Conflicts: 782000 | #Constraints: 25246
614.68/617.21 c #Conflicts: 783000 | #Constraints: 26246
614.68/617.21 c #Conflicts: 784000 | #Constraints: 27246
614.68/617.21 c #Conflicts: 785000 | #Constraints: 28246
614.68/617.21 c #Conflicts: 786000 | #Constraints: 29246
614.68/617.21 c #Conflicts: 787000 | #Constraints: 30246
614.68/617.21 c #Conflicts: 788000 | #Constraints: 31246
614.68/617.21 c #Conflicts: 789000 | #Constraints: 32246
614.68/617.21 c #Conflicts: 790000 | #Constraints: 33246
614.68/617.21 c #Conflicts: 791000 | #Constraints: 34246
614.68/617.21 c #Conflicts: 792000 | #Constraints: 35246
614.68/617.21 c INPROCESSING
614.68/617.21 c GARBAGE COLLECT
614.68/617.21 c rational objective 2.00001
637.42/640.06 c #Conflicts: 793000 | #Constraints: 18638
637.42/640.06 c #Conflicts: 794000 | #Constraints: 19638
637.42/640.06 c #Conflicts: 795000 | #Constraints: 20638
637.42/640.06 c #Conflicts: 796000 | #Constraints: 21638
637.42/640.06 c #Conflicts: 797000 | #Constraints: 22638
637.42/640.06 c #Conflicts: 798000 | #Constraints: 23638
637.42/640.06 c #Conflicts: 799000 | #Constraints: 24638
637.42/640.06 c #Conflicts: 800000 | #Constraints: 25638
637.42/640.06 c #Conflicts: 801000 | #Constraints: 26638
637.42/640.06 c #Conflicts: 802000 | #Constraints: 27638
637.42/640.06 c #Conflicts: 803000 | #Constraints: 28638
637.42/640.06 c #Conflicts: 804000 | #Constraints: 29638
637.42/640.06 c #Conflicts: 805000 | #Constraints: 30638
637.42/640.06 c #Conflicts: 806000 | #Constraints: 31638
637.42/640.06 c #Conflicts: 807000 | #Constraints: 32638
637.42/640.06 c #Conflicts: 808000 | #Constraints: 33638
637.42/640.06 c #Conflicts: 809000 | #Constraints: 34638
637.42/640.06 c #Conflicts: 810000 | #Constraints: 35638
637.42/640.06 c INPROCESSING
637.42/640.06 c GARBAGE COLLECT
637.42/640.06 c rational objective 2.00001
660.72/663.47 c #Conflicts: 811000 | #Constraints: 18826
660.72/663.47 c #Conflicts: 812000 | #Constraints: 19846
660.72/663.47 c #Conflicts: 813000 | #Constraints: 20853
660.72/663.47 c #Conflicts: 814000 | #Constraints: 21856
660.72/663.47 c #Conflicts: 815000 | #Constraints: 22856
660.72/663.47 c #Conflicts: 816000 | #Constraints: 23856
660.72/663.47 c #Conflicts: 817000 | #Constraints: 24856
660.72/663.47 c #Conflicts: 818000 | #Constraints: 25856
660.72/663.47 c #Conflicts: 819000 | #Constraints: 26856
660.72/663.47 c #Conflicts: 820000 | #Constraints: 27856
660.72/663.47 c #Conflicts: 821000 | #Constraints: 28856
660.72/663.47 c #Conflicts: 822000 | #Constraints: 29856
660.72/663.47 c #Conflicts: 823000 | #Constraints: 30856
660.72/663.47 c #Conflicts: 824000 | #Constraints: 31856
660.72/663.47 c #Conflicts: 825000 | #Constraints: 32856
660.72/663.47 c #Conflicts: 826000 | #Constraints: 33856
660.72/663.47 c #Conflicts: 827000 | #Constraints: 34856
660.72/663.47 c #Conflicts: 828000 | #Constraints: 35856
660.72/663.47 c INPROCESSING
660.72/663.47 c GARBAGE COLLECT
660.72/663.47 c rational objective 2.00001
681.63/684.40 c #Conflicts: 829000 | #Constraints: 18840
681.63/684.40 c #Conflicts: 830000 | #Constraints: 19840
681.63/684.40 c #Conflicts: 831000 | #Constraints: 20840
681.63/684.40 c #Conflicts: 832000 | #Constraints: 21840
681.63/684.40 c #Conflicts: 833000 | #Constraints: 22842
681.63/684.40 c #Conflicts: 834000 | #Constraints: 23842
681.63/684.40 c #Conflicts: 835000 | #Constraints: 24842
681.63/684.40 c #Conflicts: 836000 | #Constraints: 25842
681.63/684.40 c #Conflicts: 837000 | #Constraints: 26842
681.63/684.40 c #Conflicts: 838000 | #Constraints: 27842
681.63/684.40 c #Conflicts: 839000 | #Constraints: 28842
681.63/684.40 c #Conflicts: 840000 | #Constraints: 29842
681.63/684.40 c #Conflicts: 841000 | #Constraints: 30842
681.63/684.40 c #Conflicts: 842000 | #Constraints: 31842
681.63/684.40 c #Conflicts: 843000 | #Constraints: 32842
681.63/684.40 c #Conflicts: 844000 | #Constraints: 33842
681.63/684.40 c #Conflicts: 845000 | #Constraints: 34842
681.63/684.40 c #Conflicts: 846000 | #Constraints: 35846
681.63/684.40 c INPROCESSING
681.63/684.40 c GARBAGE COLLECT
681.63/684.40 c rational objective 2.00001
704.69/708.11 c #Conflicts: 847000 | #Constraints: 18637
704.69/708.11 c #Conflicts: 848000 | #Constraints: 19648
704.69/708.11 c #Conflicts: 849000 | #Constraints: 20648
704.69/708.11 c #Conflicts: 850000 | #Constraints: 21648
704.69/708.11 c #Conflicts: 851000 | #Constraints: 22648
704.69/708.11 c #Conflicts: 852000 | #Constraints: 23648
704.69/708.11 c #Conflicts: 853000 | #Constraints: 24648
704.69/708.11 c #Conflicts: 854000 | #Constraints: 25648
704.69/708.11 c #Conflicts: 855000 | #Constraints: 26648
704.69/708.11 c #Conflicts: 856000 | #Constraints: 27648
704.69/708.11 c #Conflicts: 857000 | #Constraints: 28648
704.69/708.11 c #Conflicts: 858000 | #Constraints: 29648
704.69/708.11 c #Conflicts: 859000 | #Constraints: 30648
704.69/708.11 c #Conflicts: 860000 | #Constraints: 31648
704.69/708.11 c #Conflicts: 861000 | #Constraints: 32648
704.69/708.11 c #Conflicts: 862000 | #Constraints: 33648
704.69/708.11 c #Conflicts: 863000 | #Constraints: 34648
704.69/708.11 c #Conflicts: 864000 | #Constraints: 35648
704.69/708.11 c #Conflicts: 865000 | #Constraints: 36648
704.69/708.11 c INPROCESSING
704.69/708.11 c GARBAGE COLLECT
704.69/708.11 c rational objective 2.00001
727.72/731.29 c #Conflicts: 866000 | #Constraints: 19245
727.72/731.29 c #Conflicts: 867000 | #Constraints: 20258
727.72/731.29 c #Conflicts: 868000 | #Constraints: 21266
727.72/731.29 c #Conflicts: 869000 | #Constraints: 22270
727.72/731.29 c #Conflicts: 870000 | #Constraints: 23271
727.72/731.29 c #Conflicts: 871000 | #Constraints: 24271
727.72/731.29 c #Conflicts: 872000 | #Constraints: 25273
727.72/731.29 c #Conflicts: 873000 | #Constraints: 26273
727.72/731.29 c #Conflicts: 874000 | #Constraints: 27273
727.72/731.29 c #Conflicts: 875000 | #Constraints: 28273
727.72/731.29 c #Conflicts: 876000 | #Constraints: 29278
727.72/731.29 c #Conflicts: 877000 | #Constraints: 30280
727.72/731.29 c #Conflicts: 878000 | #Constraints: 31288
727.72/731.29 c #Conflicts: 879000 | #Constraints: 32293
727.72/731.29 c #Conflicts: 880000 | #Constraints: 33300
727.72/731.29 c #Conflicts: 881000 | #Constraints: 34300
727.72/731.29 c #Conflicts: 882000 | #Constraints: 35306
727.72/731.29 c #Conflicts: 883000 | #Constraints: 36307
727.72/731.29 c #Conflicts: 884000 | #Constraints: 37307
727.72/731.29 c INPROCESSING
727.72/731.29 c GARBAGE COLLECT
727.72/731.29 c rational objective 2.00001
751.03/754.69 c #Conflicts: 885000 | #Constraints: 19667
751.03/754.69 c #Conflicts: 886000 | #Constraints: 20667
751.03/754.69 c #Conflicts: 887000 | #Constraints: 21667
751.03/754.69 c #Conflicts: 888000 | #Constraints: 22667
751.03/754.69 c #Conflicts: 889000 | #Constraints: 23667
751.03/754.69 c #Conflicts: 890000 | #Constraints: 24667
751.03/754.69 c #Conflicts: 891000 | #Constraints: 25667
751.03/754.69 c #Conflicts: 892000 | #Constraints: 26667
751.03/754.69 c #Conflicts: 893000 | #Constraints: 27667
751.03/754.69 c #Conflicts: 894000 | #Constraints: 28668
751.03/754.69 c #Conflicts: 895000 | #Constraints: 29669
751.03/754.69 c #Conflicts: 896000 | #Constraints: 30682
751.03/754.69 c #Conflicts: 897000 | #Constraints: 31682
751.03/754.69 c #Conflicts: 898000 | #Constraints: 32682
751.03/754.69 c #Conflicts: 899000 | #Constraints: 33682
751.03/754.69 c #Conflicts: 900000 | #Constraints: 34682
751.03/754.69 c #Conflicts: 901000 | #Constraints: 35682
751.03/754.69 c #Conflicts: 902000 | #Constraints: 36682
751.03/754.69 c #Conflicts: 903000 | #Constraints: 37682
751.03/754.69 c INPROCESSING
751.03/754.69 c GARBAGE COLLECT
751.03/754.69 c rational objective 2.00001
775.65/779.37 c #Conflicts: 904000 | #Constraints: 19851
775.65/779.37 c #Conflicts: 905000 | #Constraints: 20851
775.65/779.37 c #Conflicts: 906000 | #Constraints: 21851
775.65/779.37 c #Conflicts: 907000 | #Constraints: 22851
775.65/779.37 c #Conflicts: 908000 | #Constraints: 23851
775.65/779.37 c #Conflicts: 909000 | #Constraints: 24851
775.65/779.37 c #Conflicts: 910000 | #Constraints: 25851
775.65/779.37 c #Conflicts: 911000 | #Constraints: 26852
775.65/779.37 c #Conflicts: 912000 | #Constraints: 27852
775.65/779.37 c #Conflicts: 913000 | #Constraints: 28852
775.65/779.37 c #Conflicts: 914000 | #Constraints: 29852
775.65/779.37 c #Conflicts: 915000 | #Constraints: 30852
775.65/779.37 c #Conflicts: 916000 | #Constraints: 31852
775.65/779.37 c #Conflicts: 917000 | #Constraints: 32852
775.65/779.37 c #Conflicts: 918000 | #Constraints: 33852
775.65/779.37 c #Conflicts: 919000 | #Constraints: 34852
775.65/779.37 c #Conflicts: 920000 | #Constraints: 35852
775.65/779.37 c #Conflicts: 921000 | #Constraints: 36852
775.65/779.37 c #Conflicts: 922000 | #Constraints: 37852
775.65/779.37 c INPROCESSING
775.65/779.37 c GARBAGE COLLECT
775.65/779.37 c rational objective 2.00001
800.27/804.06 c #Conflicts: 923000 | #Constraints: 19839
800.27/804.06 c #Conflicts: 924000 | #Constraints: 20839
800.27/804.06 c #Conflicts: 925000 | #Constraints: 21851
800.27/804.06 c #Conflicts: 926000 | #Constraints: 22851
800.27/804.06 c #Conflicts: 927000 | #Constraints: 23851
800.27/804.06 c #Conflicts: 928000 | #Constraints: 24851
800.27/804.06 c #Conflicts: 929000 | #Constraints: 25851
800.27/804.06 c #Conflicts: 930000 | #Constraints: 26851
800.27/804.06 c #Conflicts: 931000 | #Constraints: 27851
800.27/804.06 c #Conflicts: 932000 | #Constraints: 28851
800.27/804.06 c #Conflicts: 933000 | #Constraints: 29851
800.27/804.06 c #Conflicts: 934000 | #Constraints: 30851
800.27/804.06 c #Conflicts: 935000 | #Constraints: 31851
800.27/804.06 c #Conflicts: 936000 | #Constraints: 32851
800.27/804.06 c #Conflicts: 937000 | #Constraints: 33851
800.27/804.06 c #Conflicts: 938000 | #Constraints: 34851
800.27/804.06 c #Conflicts: 939000 | #Constraints: 35851
800.27/804.06 c #Conflicts: 940000 | #Constraints: 36851
800.27/804.06 c #Conflicts: 941000 | #Constraints: 37851
800.27/804.06 c INPROCESSING
800.27/804.06 c GARBAGE COLLECT
800.27/804.06 c rational objective 2.00002
823.30/827.15 c #Conflicts: 942000 | #Constraints: 19641
823.30/827.15 c #Conflicts: 943000 | #Constraints: 20641
823.30/827.15 c #Conflicts: 944000 | #Constraints: 21645
823.30/827.15 c #Conflicts: 945000 | #Constraints: 22648
823.30/827.15 c #Conflicts: 946000 | #Constraints: 23654
823.30/827.15 c #Conflicts: 947000 | #Constraints: 24658
823.30/827.15 c #Conflicts: 948000 | #Constraints: 25658
823.30/827.15 c #Conflicts: 949000 | #Constraints: 26658
823.30/827.15 c #Conflicts: 950000 | #Constraints: 27661
823.30/827.15 c #Conflicts: 951000 | #Constraints: 28661
823.30/827.15 c #Conflicts: 952000 | #Constraints: 29667
823.30/827.15 c #Conflicts: 953000 | #Constraints: 30667
823.30/827.15 c #Conflicts: 954000 | #Constraints: 31667
823.30/827.15 c #Conflicts: 955000 | #Constraints: 32667
823.30/827.15 c #Conflicts: 956000 | #Constraints: 33667
823.30/827.15 c #Conflicts: 957000 | #Constraints: 34673
823.30/827.15 c #Conflicts: 958000 | #Constraints: 35673
823.30/827.15 c #Conflicts: 959000 | #Constraints: 36676
823.30/827.15 c #Conflicts: 960000 | #Constraints: 37677
823.30/827.15 c #Conflicts: 961000 | #Constraints: 38677
823.30/827.15 c INPROCESSING
823.30/827.15 c GARBAGE COLLECT
823.30/827.15 c rational objective 2.00001
848.59/852.56 c #Conflicts: 962000 | #Constraints: 20249
848.59/852.56 c #Conflicts: 963000 | #Constraints: 21249
848.59/852.56 c #Conflicts: 964000 | #Constraints: 22253
848.59/852.56 c #Conflicts: 965000 | #Constraints: 23253
848.59/852.56 c #Conflicts: 966000 | #Constraints: 24253
848.59/852.56 c #Conflicts: 967000 | #Constraints: 25256
848.59/852.56 c #Conflicts: 968000 | #Constraints: 26256
848.59/852.56 c #Conflicts: 969000 | #Constraints: 27256
848.59/852.56 c #Conflicts: 970000 | #Constraints: 28259
848.59/852.56 c #Conflicts: 971000 | #Constraints: 29259
848.59/852.56 c #Conflicts: 972000 | #Constraints: 30268
848.59/852.56 c #Conflicts: 973000 | #Constraints: 31268
848.59/852.56 c #Conflicts: 974000 | #Constraints: 32272
848.59/852.56 c #Conflicts: 975000 | #Constraints: 33281
848.59/852.56 c #Conflicts: 976000 | #Constraints: 34281
848.59/852.56 c #Conflicts: 977000 | #Constraints: 35281
848.59/852.56 c #Conflicts: 978000 | #Constraints: 36281
848.59/852.56 c #Conflicts: 979000 | #Constraints: 37281
848.59/852.56 c #Conflicts: 980000 | #Constraints: 38285
848.59/852.56 c #Conflicts: 981000 | #Constraints: 39288
848.59/852.56 c INPROCESSING
848.59/852.56 c GARBAGE COLLECT
848.59/852.56 c rational objective 2.01896
874.40/878.49 c #Conflicts: 982000 | #Constraints: 20667
874.40/878.49 c #Conflicts: 983000 | #Constraints: 21667
874.40/878.49 c #Conflicts: 984000 | #Constraints: 22667
874.40/878.49 c #Conflicts: 985000 | #Constraints: 23674
874.40/878.49 c #Conflicts: 986000 | #Constraints: 24674
874.40/878.49 c #Conflicts: 987000 | #Constraints: 25691
874.40/878.49 c #Conflicts: 988000 | #Constraints: 26692
874.40/878.49 c #Conflicts: 989000 | #Constraints: 27697
874.40/878.49 c #Conflicts: 990000 | #Constraints: 28697
874.40/878.49 c #Conflicts: 991000 | #Constraints: 29697
874.40/878.49 c #Conflicts: 992000 | #Constraints: 30697
874.40/878.49 c #Conflicts: 993000 | #Constraints: 31697
874.40/878.49 c #Conflicts: 994000 | #Constraints: 32699
874.40/878.49 c #Conflicts: 995000 | #Constraints: 33699
874.40/878.49 c #Conflicts: 996000 | #Constraints: 34699
874.40/878.49 c #Conflicts: 997000 | #Constraints: 35699
874.40/878.49 c #Conflicts: 998000 | #Constraints: 36699
874.40/878.49 c #Conflicts: 999000 | #Constraints: 37699
874.40/878.49 c #Conflicts: 1000000 | #Constraints: 38699
874.40/878.49 c #Conflicts: 1001000 | #Constraints: 39699
874.40/878.49 c INPROCESSING
874.40/878.49 c GARBAGE COLLECT
874.40/878.49 c rational objective 2.00001
900.01/904.11 c #Conflicts: 1002000 | #Constraints: 20860
900.01/904.11 c #Conflicts: 1003000 | #Constraints: 21860
900.01/904.11 c #Conflicts: 1004000 | #Constraints: 22860
900.01/904.11 c #Conflicts: 1005000 | #Constraints: 23860
900.01/904.11 c #Conflicts: 1006000 | #Constraints: 24860
900.01/904.11 c #Conflicts: 1007000 | #Constraints: 25860
900.01/904.11 c #Conflicts: 1008000 | #Constraints: 26860
900.01/904.11 c #Conflicts: 1009000 | #Constraints: 27860
900.01/904.11 c #Conflicts: 1010000 | #Constraints: 28860
900.01/904.11 c #Conflicts: 1011000 | #Constraints: 29860
900.01/904.11 c #Conflicts: 1012000 | #Constraints: 30865
900.01/904.11 c #Conflicts: 1013000 | #Constraints: 31869
900.01/904.11 c #Conflicts: 1014000 | #Constraints: 32871
900.01/904.11 c #Conflicts: 1015000 | #Constraints: 33871
900.01/904.11 c #Conflicts: 1016000 | #Constraints: 34871
900.01/904.11 c #Conflicts: 1017000 | #Constraints: 35871
900.01/904.11 c #Conflicts: 1018000 | #Constraints: 36880
900.01/904.11 c #Conflicts: 1019000 | #Constraints: 37880
900.01/904.11 c #Conflicts: 1020000 | #Constraints: 38880
900.01/904.11 c #Conflicts: 1021000 | #Constraints: 39880
900.01/904.11 c INPROCESSING
900.01/904.11 c GARBAGE COLLECT
900.01/904.11 c rational objective 2.00001
926.41/930.65 c #Conflicts: 1022000 | #Constraints: 20854
926.41/930.65 c #Conflicts: 1023000 | #Constraints: 21854
926.41/930.65 c #Conflicts: 1024000 | #Constraints: 22854
926.41/930.65 c #Conflicts: 1025000 | #Constraints: 23854
926.41/930.65 c #Conflicts: 1026000 | #Constraints: 24854
926.41/930.65 c #Conflicts: 1027000 | #Constraints: 25854
926.41/930.65 c #Conflicts: 1028000 | #Constraints: 26854
926.41/930.65 c #Conflicts: 1029000 | #Constraints: 27854
926.41/930.65 c #Conflicts: 1030000 | #Constraints: 28854
926.41/930.65 c #Conflicts: 1031000 | #Constraints: 29854
926.41/930.65 c #Conflicts: 1032000 | #Constraints: 30854
926.41/930.65 c #Conflicts: 1033000 | #Constraints: 31854
926.41/930.65 c #Conflicts: 1034000 | #Constraints: 32854
926.41/930.65 c #Conflicts: 1035000 | #Constraints: 33854
926.41/930.65 c #Conflicts: 1036000 | #Constraints: 34854
926.41/930.65 c #Conflicts: 1037000 | #Constraints: 35854
926.41/930.65 c #Conflicts: 1038000 | #Constraints: 36854
926.41/930.65 c #Conflicts: 1039000 | #Constraints: 37854
926.41/930.65 c #Conflicts: 1040000 | #Constraints: 38854
926.41/930.65 c #Conflicts: 1041000 | #Constraints: 39854
926.41/930.65 c INPROCESSING
926.41/930.65 c GARBAGE COLLECT
926.41/930.65 c rational objective 2.00002
957.79/962.14 c #Conflicts: 1042000 | #Constraints: 20646
957.79/962.14 c #Conflicts: 1043000 | #Constraints: 21774
957.79/962.14 c #Conflicts: 1044000 | #Constraints: 22869
957.79/962.14 c #Conflicts: 1045000 | #Constraints: 23997
957.79/962.14 c #Conflicts: 1046000 | #Constraints: 25103
957.79/962.14 c #Conflicts: 1047000 | #Constraints: 26230
957.79/962.14 c #Conflicts: 1048000 | #Constraints: 27360
957.79/962.14 c #Conflicts: 1049000 | #Constraints: 28466
957.79/962.14 c #Conflicts: 1050000 | #Constraints: 29550
957.79/962.14 c #Conflicts: 1051000 | #Constraints: 30657
957.79/962.14 c #Conflicts: 1052000 | #Constraints: 31751
957.79/962.14 c #Conflicts: 1053000 | #Constraints: 32863
957.79/962.14 c #Conflicts: 1054000 | #Constraints: 33997
957.79/962.14 c #Conflicts: 1055000 | #Constraints: 35071
957.79/962.14 c #Conflicts: 1056000 | #Constraints: 36144
957.79/962.14 c #Conflicts: 1057000 | #Constraints: 37236
957.79/962.14 c #Conflicts: 1058000 | #Constraints: 38375
957.79/962.14 c #Conflicts: 1059000 | #Constraints: 39462
957.79/962.14 c #Conflicts: 1060000 | #Constraints: 40518
957.79/962.14 c #Conflicts: 1061000 | #Constraints: 41559
957.79/962.14 c #Conflicts: 1062000 | #Constraints: 42559
957.79/962.14 c INPROCESSING
957.79/962.14 c GARBAGE COLLECT
957.79/962.14 c rational objective 2.00021
992.69/997.17 c #Conflicts: 1063000 | #Constraints: 22220
992.69/997.17 c #Conflicts: 1064000 | #Constraints: 23266
992.69/997.17 c #Conflicts: 1065000 | #Constraints: 24304
992.69/997.17 c #Conflicts: 1066000 | #Constraints: 25352
992.69/997.17 c #Conflicts: 1067000 | #Constraints: 26356
992.69/997.17 c #Conflicts: 1068000 | #Constraints: 27356
992.69/997.17 c #Conflicts: 1069000 | #Constraints: 28356
992.69/997.17 c #Conflicts: 1070000 | #Constraints: 29356
992.69/997.17 c #Conflicts: 1071000 | #Constraints: 30356
992.69/997.17 c #Conflicts: 1072000 | #Constraints: 31356
992.69/997.17 c #Conflicts: 1073000 | #Constraints: 32356
992.69/997.17 c #Conflicts: 1074000 | #Constraints: 33356
992.69/997.17 c #Conflicts: 1075000 | #Constraints: 34356
992.69/997.17 c #Conflicts: 1076000 | #Constraints: 35356
992.69/997.17 c #Conflicts: 1077000 | #Constraints: 36356
992.69/997.17 c #Conflicts: 1078000 | #Constraints: 37356
992.69/997.17 c #Conflicts: 1079000 | #Constraints: 38356
992.69/997.17 c #Conflicts: 1080000 | #Constraints: 39356
992.69/997.17 c #Conflicts: 1081000 | #Constraints: 40356
992.69/997.17 c #Conflicts: 1082000 | #Constraints: 41356
992.69/997.17 c #Conflicts: 1083000 | #Constraints: 42356
992.69/997.17 c INPROCESSING
992.69/997.17 c GARBAGE COLLECT
992.69/997.17 c rational objective 2.00001
1023.36/1027.92 c #Conflicts: 1084000 | #Constraints: 22236
1023.36/1027.92 c #Conflicts: 1085000 | #Constraints: 23287
1023.36/1027.92 c #Conflicts: 1086000 | #Constraints: 24350
1023.36/1027.92 c #Conflicts: 1087000 | #Constraints: 25390
1023.36/1027.92 c #Conflicts: 1088000 | #Constraints: 26427
1023.36/1027.92 c #Conflicts: 1089000 | #Constraints: 27427
1023.36/1027.92 c #Conflicts: 1090000 | #Constraints: 28427
1023.36/1027.92 c #Conflicts: 1091000 | #Constraints: 29427
1023.36/1027.92 c #Conflicts: 1092000 | #Constraints: 30427
1023.36/1027.92 c #Conflicts: 1093000 | #Constraints: 31427
1023.36/1027.92 c #Conflicts: 1094000 | #Constraints: 32427
1023.36/1027.92 c #Conflicts: 1095000 | #Constraints: 33427
1023.36/1027.92 c #Conflicts: 1096000 | #Constraints: 34427
1023.36/1027.92 c #Conflicts: 1097000 | #Constraints: 35427
1023.36/1027.92 c #Conflicts: 1098000 | #Constraints: 36427
1023.36/1027.92 c #Conflicts: 1099000 | #Constraints: 37427
1023.36/1027.92 c #Conflicts: 1100000 | #Constraints: 38427
1023.36/1027.92 c #Conflicts: 1101000 | #Constraints: 39427
1023.36/1027.92 c #Conflicts: 1102000 | #Constraints: 40427
1023.36/1027.92 c #Conflicts: 1103000 | #Constraints: 41427
1023.36/1027.92 c #Conflicts: 1104000 | #Constraints: 42427
1023.36/1027.92 c INPROCESSING
1023.36/1027.92 c GARBAGE COLLECT
1023.36/1027.92 c rational objective 2.00001
1053.81/1059.44 c #Conflicts: 1105000 | #Constraints: 22237
1053.81/1059.44 c #Conflicts: 1106000 | #Constraints: 23263
1053.81/1059.44 c #Conflicts: 1107000 | #Constraints: 24263
1053.81/1059.44 c #Conflicts: 1108000 | #Constraints: 25263
1053.81/1059.44 c #Conflicts: 1109000 | #Constraints: 26263
1053.81/1059.44 c #Conflicts: 1110000 | #Constraints: 27263
1053.81/1059.44 c #Conflicts: 1111000 | #Constraints: 28263
1053.81/1059.44 c #Conflicts: 1112000 | #Constraints: 29263
1053.81/1059.44 c #Conflicts: 1113000 | #Constraints: 30263
1053.81/1059.44 c #Conflicts: 1114000 | #Constraints: 31263
1053.81/1059.44 c #Conflicts: 1115000 | #Constraints: 32263
1053.81/1059.44 c #Conflicts: 1116000 | #Constraints: 33263
1053.81/1059.44 c #Conflicts: 1117000 | #Constraints: 34263
1053.81/1059.44 c #Conflicts: 1118000 | #Constraints: 35263
1053.81/1059.44 c #Conflicts: 1119000 | #Constraints: 36263
1053.81/1059.44 c #Conflicts: 1120000 | #Constraints: 37263
1053.81/1059.44 c #Conflicts: 1121000 | #Constraints: 38263
1053.81/1059.44 c #Conflicts: 1122000 | #Constraints: 39263
1053.81/1059.44 c #Conflicts: 1123000 | #Constraints: 40263
1053.81/1059.44 c #Conflicts: 1124000 | #Constraints: 41263
1053.81/1059.44 c #Conflicts: 1125000 | #Constraints: 42263
1053.81/1059.44 c INPROCESSING
1053.81/1059.44 c GARBAGE COLLECT
1053.81/1059.44 c rational objective 2.00001
1087.79/1093.53 c #Conflicts: 1126000 | #Constraints: 22076
1087.79/1093.53 c #Conflicts: 1127000 | #Constraints: 23111
1087.79/1093.53 c #Conflicts: 1128000 | #Constraints: 24111
1087.79/1093.53 c #Conflicts: 1129000 | #Constraints: 25111
1087.79/1093.53 c #Conflicts: 1130000 | #Constraints: 26111
1087.79/1093.53 c #Conflicts: 1131000 | #Constraints: 27111
1087.79/1093.53 c #Conflicts: 1132000 | #Constraints: 28111
1087.79/1093.53 c #Conflicts: 1133000 | #Constraints: 29111
1087.79/1093.53 c #Conflicts: 1134000 | #Constraints: 30111
1087.79/1093.53 c #Conflicts: 1135000 | #Constraints: 31111
1087.79/1093.53 c #Conflicts: 1136000 | #Constraints: 32111
1087.79/1093.53 c #Conflicts: 1137000 | #Constraints: 33111
1087.79/1093.53 c #Conflicts: 1138000 | #Constraints: 34111
1087.79/1093.53 c #Conflicts: 1139000 | #Constraints: 35111
1087.79/1093.53 c #Conflicts: 1140000 | #Constraints: 36111
1087.79/1093.53 c #Conflicts: 1141000 | #Constraints: 37111
1087.79/1093.53 c #Conflicts: 1142000 | #Constraints: 38111
1087.79/1093.53 c #Conflicts: 1143000 | #Constraints: 39111
1087.79/1093.53 c #Conflicts: 1144000 | #Constraints: 40111
1087.79/1093.53 c #Conflicts: 1145000 | #Constraints: 41111
1087.79/1093.53 c #Conflicts: 1146000 | #Constraints: 42111
1087.79/1093.53 c INPROCESSING
1087.79/1093.53 c GARBAGE COLLECT
1087.79/1093.53 c rational objective 2.00002
1128.55/1134.49 c #Conflicts: 1147000 | #Constraints: 21768
1128.55/1134.49 c #Conflicts: 1148000 | #Constraints: 22782
1128.55/1134.49 c #Conflicts: 1149000 | #Constraints: 23782
1128.55/1134.49 c #Conflicts: 1150000 | #Constraints: 24782
1128.55/1134.49 c #Conflicts: 1151000 | #Constraints: 25782
1128.55/1134.49 c #Conflicts: 1152000 | #Constraints: 26782
1128.55/1134.49 c #Conflicts: 1153000 | #Constraints: 27782
1128.55/1134.49 c #Conflicts: 1154000 | #Constraints: 28782
1128.55/1134.49 c #Conflicts: 1155000 | #Constraints: 29782
1128.55/1134.49 c #Conflicts: 1156000 | #Constraints: 30790
1128.55/1134.49 c #Conflicts: 1157000 | #Constraints: 31834
1128.55/1134.49 c #Conflicts: 1158000 | #Constraints: 32837
1128.55/1134.49 c #Conflicts: 1159000 | #Constraints: 33882
1128.55/1134.49 c #Conflicts: 1160000 | #Constraints: 34946
1128.55/1134.49 c #Conflicts: 1161000 | #Constraints: 35950
1128.55/1134.49 c #Conflicts: 1162000 | #Constraints: 36950
1128.55/1134.49 c #Conflicts: 1163000 | #Constraints: 37950
1128.55/1134.49 c #Conflicts: 1164000 | #Constraints: 38950
1128.55/1134.49 c #Conflicts: 1165000 | #Constraints: 39950
1128.55/1134.49 c #Conflicts: 1166000 | #Constraints: 40950
1128.55/1134.49 c #Conflicts: 1167000 | #Constraints: 41950
1128.55/1134.49 c #Conflicts: 1168000 | #Constraints: 42950
1128.55/1134.49 c INPROCESSING
1128.55/1134.49 c GARBAGE COLLECT
1128.55/1134.49 c rational objective 2.00001
1166.01/1172.01 c #Conflicts: 1169000 | #Constraints: 22392
1166.01/1172.01 c #Conflicts: 1170000 | #Constraints: 23392
1166.01/1172.01 c #Conflicts: 1171000 | #Constraints: 24392
1166.01/1172.01 c #Conflicts: 1172000 | #Constraints: 25392
1166.01/1172.01 c #Conflicts: 1173000 | #Constraints: 26392
1166.01/1172.01 c #Conflicts: 1174000 | #Constraints: 27392
1166.01/1172.01 c #Conflicts: 1175000 | #Constraints: 28392
1166.01/1172.01 c #Conflicts: 1176000 | #Constraints: 29406
1166.01/1172.01 c #Conflicts: 1177000 | #Constraints: 30406
1166.01/1172.01 c #Conflicts: 1178000 | #Constraints: 31406
1166.01/1172.01 c #Conflicts: 1179000 | #Constraints: 32406
1166.01/1172.01 c #Conflicts: 1180000 | #Constraints: 33406
1166.01/1172.01 c #Conflicts: 1181000 | #Constraints: 34406
1166.01/1172.01 c #Conflicts: 1182000 | #Constraints: 35406
1166.01/1172.01 c #Conflicts: 1183000 | #Constraints: 36406
1166.01/1172.01 c #Conflicts: 1184000 | #Constraints: 37406
1166.01/1172.01 c #Conflicts: 1185000 | #Constraints: 38406
1166.01/1172.01 c #Conflicts: 1186000 | #Constraints: 39406
1166.01/1172.01 c #Conflicts: 1187000 | #Constraints: 40406
1166.01/1172.01 c #Conflicts: 1188000 | #Constraints: 41406
1166.01/1172.01 c #Conflicts: 1189000 | #Constraints: 42406
1166.01/1172.01 c #Conflicts: 1190000 | #Constraints: 43406
1166.01/1172.01 c INPROCESSING
1166.01/1172.01 c GARBAGE COLLECT
1166.01/1172.01 c rational objective 2.00001
1204.08/1210.25 c #Conflicts: 1191000 | #Constraints: 22751
1204.08/1210.25 c #Conflicts: 1192000 | #Constraints: 23766
1204.08/1210.25 c #Conflicts: 1193000 | #Constraints: 24766
1204.08/1210.25 c #Conflicts: 1194000 | #Constraints: 25766
1204.08/1210.25 c #Conflicts: 1195000 | #Constraints: 26766
1204.08/1210.25 c #Conflicts: 1196000 | #Constraints: 27766
1204.08/1210.25 c #Conflicts: 1197000 | #Constraints: 28766
1204.08/1210.25 c #Conflicts: 1198000 | #Constraints: 29766
1204.08/1210.25 c #Conflicts: 1199000 | #Constraints: 30766
1204.08/1210.25 c #Conflicts: 1200000 | #Constraints: 31766
1204.08/1210.25 c #Conflicts: 1201000 | #Constraints: 32766
1204.08/1210.25 c #Conflicts: 1202000 | #Constraints: 33766
1204.08/1210.25 c #Conflicts: 1203000 | #Constraints: 34766
1204.08/1210.25 c #Conflicts: 1204000 | #Constraints: 35766
1204.08/1210.25 c #Conflicts: 1205000 | #Constraints: 36766
1204.08/1210.25 c #Conflicts: 1206000 | #Constraints: 37766
1204.08/1210.25 c #Conflicts: 1207000 | #Constraints: 38766
1204.08/1210.25 c #Conflicts: 1208000 | #Constraints: 39766
1204.08/1210.25 c #Conflicts: 1209000 | #Constraints: 40766
1204.08/1210.25 c #Conflicts: 1210000 | #Constraints: 41766
1204.08/1210.25 c #Conflicts: 1211000 | #Constraints: 42766
1204.08/1210.25 c #Conflicts: 1212000 | #Constraints: 43766
1204.08/1210.25 c INPROCESSING
1204.08/1210.25 c GARBAGE COLLECT
1204.08/1210.25 c rational objective 2.00001
1243.76/1250.01 c #Conflicts: 1213000 | #Constraints: 22902
1243.76/1250.01 c #Conflicts: 1214000 | #Constraints: 23902
1243.76/1250.01 c #Conflicts: 1215000 | #Constraints: 24921
1243.76/1250.01 c #Conflicts: 1216000 | #Constraints: 25929
1243.76/1250.01 c #Conflicts: 1217000 | #Constraints: 26945
1243.76/1250.01 c #Conflicts: 1218000 | #Constraints: 27945
1243.76/1250.01 c #Conflicts: 1219000 | #Constraints: 28945
1243.76/1250.01 c #Conflicts: 1220000 | #Constraints: 29945
1243.76/1250.01 c #Conflicts: 1221000 | #Constraints: 30945
1243.76/1250.01 c #Conflicts: 1222000 | #Constraints: 31945
1243.76/1250.01 c #Conflicts: 1223000 | #Constraints: 32945
1243.76/1250.01 c #Conflicts: 1224000 | #Constraints: 33945
1243.76/1250.01 c #Conflicts: 1225000 | #Constraints: 34945
1243.76/1250.01 c #Conflicts: 1226000 | #Constraints: 35945
1243.76/1250.01 c #Conflicts: 1227000 | #Constraints: 36945
1243.76/1250.01 c #Conflicts: 1228000 | #Constraints: 37945
1243.76/1250.01 c #Conflicts: 1229000 | #Constraints: 38945
1243.76/1250.01 c #Conflicts: 1230000 | #Constraints: 39945
1243.76/1250.01 c #Conflicts: 1231000 | #Constraints: 40945
1243.76/1250.01 c #Conflicts: 1232000 | #Constraints: 41945
1243.76/1250.01 c #Conflicts: 1233000 | #Constraints: 42945
1243.76/1250.01 c #Conflicts: 1234000 | #Constraints: 43945
1243.76/1250.01 c INPROCESSING
1243.76/1250.01 c GARBAGE COLLECT
1243.76/1250.01 c rational objective 2.00002
1284.40/1290.88 c #Conflicts: 1235000 | #Constraints: 22912
1284.40/1290.88 c #Conflicts: 1236000 | #Constraints: 23937
1284.40/1290.88 c #Conflicts: 1237000 | #Constraints: 24948
1284.40/1290.88 c #Conflicts: 1238000 | #Constraints: 25969
1284.40/1290.88 c #Conflicts: 1239000 | #Constraints: 26975
1284.40/1290.88 c #Conflicts: 1240000 | #Constraints: 27975
1284.40/1290.88 c #Conflicts: 1241000 | #Constraints: 28975
1284.40/1290.88 c #Conflicts: 1242000 | #Constraints: 29975
1284.40/1290.88 c #Conflicts: 1243000 | #Constraints: 30975
1284.40/1290.88 c #Conflicts: 1244000 | #Constraints: 31975
1284.40/1290.88 c #Conflicts: 1245000 | #Constraints: 32975
1284.40/1290.88 c #Conflicts: 1246000 | #Constraints: 33975
1284.40/1290.88 c #Conflicts: 1247000 | #Constraints: 34975
1284.40/1290.88 c #Conflicts: 1248000 | #Constraints: 35975
1284.40/1290.88 c #Conflicts: 1249000 | #Constraints: 36975
1284.40/1290.88 c #Conflicts: 1250000 | #Constraints: 37975
1284.40/1290.88 c #Conflicts: 1251000 | #Constraints: 38975
1284.40/1290.88 c #Conflicts: 1252000 | #Constraints: 39975
1284.40/1290.88 c #Conflicts: 1253000 | #Constraints: 40975
1284.40/1290.88 c #Conflicts: 1254000 | #Constraints: 41975
1284.40/1290.88 c #Conflicts: 1255000 | #Constraints: 42975
1284.40/1290.88 c #Conflicts: 1256000 | #Constraints: 43975
1284.40/1290.88 c INPROCESSING
1284.40/1290.88 c GARBAGE COLLECT
1284.40/1290.88 c rational objective 2.00001
1325.94/1332.53 c #Conflicts: 1257000 | #Constraints: 22698
1325.94/1332.53 c #Conflicts: 1258000 | #Constraints: 23716
1325.94/1332.53 c #Conflicts: 1259000 | #Constraints: 24731
1325.94/1332.53 c #Conflicts: 1260000 | #Constraints: 25737
1325.94/1332.53 c #Conflicts: 1261000 | #Constraints: 26737
1325.94/1332.53 c #Conflicts: 1262000 | #Constraints: 27746
1325.94/1332.53 c #Conflicts: 1263000 | #Constraints: 28747
1325.94/1332.53 c #Conflicts: 1264000 | #Constraints: 29747
1325.94/1332.53 c #Conflicts: 1265000 | #Constraints: 30747
1325.94/1332.53 c #Conflicts: 1266000 | #Constraints: 31747
1325.94/1332.53 c #Conflicts: 1267000 | #Constraints: 32747
1325.94/1332.53 c #Conflicts: 1268000 | #Constraints: 33747
1325.94/1332.53 c #Conflicts: 1269000 | #Constraints: 34747
1325.94/1332.53 c #Conflicts: 1270000 | #Constraints: 35747
1325.94/1332.53 c #Conflicts: 1271000 | #Constraints: 36747
1325.94/1332.53 c #Conflicts: 1272000 | #Constraints: 37747
1325.94/1332.53 c #Conflicts: 1273000 | #Constraints: 38747
1325.94/1332.53 c #Conflicts: 1274000 | #Constraints: 39747
1325.94/1332.53 c #Conflicts: 1275000 | #Constraints: 40747
1325.94/1332.53 c #Conflicts: 1276000 | #Constraints: 41747
1325.94/1332.53 c #Conflicts: 1277000 | #Constraints: 42747
1325.94/1332.53 c #Conflicts: 1278000 | #Constraints: 43747
1325.94/1332.53 c #Conflicts: 1279000 | #Constraints: 44747
1325.94/1332.53 c INPROCESSING
1325.94/1332.53 c GARBAGE COLLECT
1325.94/1332.53 c rational objective 2.00001
1367.61/1374.37 c #Conflicts: 1280000 | #Constraints: 23290
1367.61/1374.37 c #Conflicts: 1281000 | #Constraints: 24292
1367.61/1374.37 c #Conflicts: 1282000 | #Constraints: 25303
1367.61/1374.37 c #Conflicts: 1283000 | #Constraints: 26314
1367.61/1374.37 c #Conflicts: 1284000 | #Constraints: 27325
1367.61/1374.37 c #Conflicts: 1285000 | #Constraints: 28342
1367.61/1374.37 c #Conflicts: 1286000 | #Constraints: 29358
1367.61/1374.37 c #Conflicts: 1287000 | #Constraints: 30374
1367.61/1374.37 c #Conflicts: 1288000 | #Constraints: 31400
1367.61/1374.37 c #Conflicts: 1289000 | #Constraints: 32411
1367.61/1374.37 c #Conflicts: 1290000 | #Constraints: 33453
1367.61/1374.37 c #Conflicts: 1291000 | #Constraints: 34470
1367.61/1374.37 c #Conflicts: 1292000 | #Constraints: 35475
1367.61/1374.37 c #Conflicts: 1293000 | #Constraints: 36475
1367.61/1374.37 c #Conflicts: 1294000 | #Constraints: 37475
1367.61/1374.37 c #Conflicts: 1295000 | #Constraints: 38475
1367.61/1374.37 c #Conflicts: 1296000 | #Constraints: 39475
1367.61/1374.37 c #Conflicts: 1297000 | #Constraints: 40475
1367.61/1374.37 c #Conflicts: 1298000 | #Constraints: 41475
1367.61/1374.37 c #Conflicts: 1299000 | #Constraints: 42475
1367.61/1374.37 c #Conflicts: 1300000 | #Constraints: 43475
1367.61/1374.37 c #Conflicts: 1301000 | #Constraints: 44475
1367.61/1374.37 c #Conflicts: 1302000 | #Constraints: 45475
1367.61/1374.37 c INPROCESSING
1367.61/1374.37 c GARBAGE COLLECT
1367.61/1374.37 c rational objective 2.00001
1413.36/1420.27 c #Conflicts: 1303000 | #Constraints: 23765
1413.36/1420.27 c #Conflicts: 1304000 | #Constraints: 24773
1413.36/1420.27 c #Conflicts: 1305000 | #Constraints: 25773
1413.36/1420.27 c #Conflicts: 1306000 | #Constraints: 26773
1413.36/1420.27 c #Conflicts: 1307000 | #Constraints: 27773
1413.36/1420.27 c #Conflicts: 1308000 | #Constraints: 28773
1413.36/1420.27 c #Conflicts: 1309000 | #Constraints: 29773
1413.36/1420.27 c #Conflicts: 1310000 | #Constraints: 30773
1413.36/1420.27 c #Conflicts: 1311000 | #Constraints: 31773
1413.36/1420.27 c #Conflicts: 1312000 | #Constraints: 32773
1413.36/1420.27 c #Conflicts: 1313000 | #Constraints: 33773
1413.36/1420.27 c #Conflicts: 1314000 | #Constraints: 34773
1413.36/1420.27 c #Conflicts: 1315000 | #Constraints: 35773
1413.36/1420.27 c #Conflicts: 1316000 | #Constraints: 36773
1413.36/1420.27 c #Conflicts: 1317000 | #Constraints: 37802
1413.36/1420.27 c #Conflicts: 1318000 | #Constraints: 38802
1413.36/1420.27 c #Conflicts: 1319000 | #Constraints: 39824
1413.36/1420.27 c #Conflicts: 1320000 | #Constraints: 40836
1413.36/1420.27 c #Conflicts: 1321000 | #Constraints: 41836
1413.36/1420.27 c #Conflicts: 1322000 | #Constraints: 42836
1413.36/1420.27 c #Conflicts: 1323000 | #Constraints: 43836
1413.36/1420.27 c #Conflicts: 1324000 | #Constraints: 44836
1413.36/1420.27 c #Conflicts: 1325000 | #Constraints: 45836
1413.36/1420.27 c INPROCESSING
1413.36/1420.27 c GARBAGE COLLECT
1413.36/1420.27 c rational objective 2.00002
1455.72/1462.73 c #Conflicts: 1326000 | #Constraints: 23967
1455.72/1462.73 c #Conflicts: 1327000 | #Constraints: 24974
1455.72/1462.73 c #Conflicts: 1328000 | #Constraints: 25974
1455.72/1462.73 c #Conflicts: 1329000 | #Constraints: 26984
1455.72/1462.73 c #Conflicts: 1330000 | #Constraints: 27984
1455.72/1462.73 c #Conflicts: 1331000 | #Constraints: 28984
1455.72/1462.73 c #Conflicts: 1332000 | #Constraints: 29984
1455.72/1462.73 c #Conflicts: 1333000 | #Constraints: 30984
1455.72/1462.73 c #Conflicts: 1334000 | #Constraints: 31984
1455.72/1462.73 c #Conflicts: 1335000 | #Constraints: 32984
1455.72/1462.73 c #Conflicts: 1336000 | #Constraints: 33984
1455.72/1462.73 c #Conflicts: 1337000 | #Constraints: 34984
1455.72/1462.73 c #Conflicts: 1338000 | #Constraints: 35984
1455.72/1462.73 c #Conflicts: 1339000 | #Constraints: 36984
1455.72/1462.73 c #Conflicts: 1340000 | #Constraints: 37984
1455.72/1462.73 c #Conflicts: 1341000 | #Constraints: 38984
1455.72/1462.73 c #Conflicts: 1342000 | #Constraints: 39984
1455.72/1462.73 c #Conflicts: 1343000 | #Constraints: 40984
1455.72/1462.73 c #Conflicts: 1344000 | #Constraints: 41984
1455.72/1462.73 c #Conflicts: 1345000 | #Constraints: 42984
1455.72/1462.73 c #Conflicts: 1346000 | #Constraints: 43984
1455.72/1462.73 c #Conflicts: 1347000 | #Constraints: 44984
1455.72/1462.73 c #Conflicts: 1348000 | #Constraints: 45984
1455.72/1462.73 c INPROCESSING
1455.72/1462.73 c GARBAGE COLLECT
1455.72/1462.73 c rational objective 2.00002
1510.44/1517.62 c #Conflicts: 1349000 | #Constraints: 23942
1510.44/1517.62 c #Conflicts: 1350000 | #Constraints: 25071
1510.44/1517.62 c #Conflicts: 1351000 | #Constraints: 26179
1510.44/1517.62 c #Conflicts: 1352000 | #Constraints: 27274
1510.44/1517.62 c #Conflicts: 1353000 | #Constraints: 28405
1510.44/1517.62 c #Conflicts: 1354000 | #Constraints: 29505
1510.44/1517.62 c #Conflicts: 1355000 | #Constraints: 30637
1510.44/1517.62 c #Conflicts: 1356000 | #Constraints: 31793
1510.44/1517.62 c #Conflicts: 1357000 | #Constraints: 32894
1510.44/1517.62 c #Conflicts: 1358000 | #Constraints: 33986
1510.44/1517.62 c #Conflicts: 1359000 | #Constraints: 35091
1510.44/1517.62 c #Conflicts: 1360000 | #Constraints: 36193
1510.44/1517.62 c #Conflicts: 1361000 | #Constraints: 37297
1510.44/1517.62 c #Conflicts: 1362000 | #Constraints: 38337
1510.44/1517.62 c #Conflicts: 1363000 | #Constraints: 39337
1510.44/1517.62 c #Conflicts: 1364000 | #Constraints: 40337
1510.44/1517.62 c #Conflicts: 1365000 | #Constraints: 41337
1510.44/1517.62 c #Conflicts: 1366000 | #Constraints: 42337
1510.44/1517.62 c #Conflicts: 1367000 | #Constraints: 43337
1510.44/1517.62 c #Conflicts: 1368000 | #Constraints: 44337
1510.44/1517.62 c #Conflicts: 1369000 | #Constraints: 45337
1510.44/1517.62 c #Conflicts: 1370000 | #Constraints: 46337
1510.44/1517.62 c #Conflicts: 1371000 | #Constraints: 47337
1510.44/1517.62 c INPROCESSING
1510.44/1517.62 c GARBAGE COLLECT
1510.44/1517.62 c rational objective 2.0002
1558.49/1565.84 c #Conflicts: 1372000 | #Constraints: 24397
1558.49/1565.84 c #Conflicts: 1373000 | #Constraints: 25507
1558.49/1565.84 c #Conflicts: 1374000 | #Constraints: 26605
1558.49/1565.84 c #Conflicts: 1375000 | #Constraints: 27704
1558.49/1565.84 c #Conflicts: 1376000 | #Constraints: 28788
1558.49/1565.84 c #Conflicts: 1377000 | #Constraints: 29913
1558.49/1565.84 c #Conflicts: 1378000 | #Constraints: 30984
1558.49/1565.84 c #Conflicts: 1379000 | #Constraints: 32029
1558.49/1565.84 c #Conflicts: 1380000 | #Constraints: 33112
1558.49/1565.84 c #Conflicts: 1381000 | #Constraints: 34158
1558.49/1565.84 c #Conflicts: 1382000 | #Constraints: 35211
1558.49/1565.84 c #Conflicts: 1383000 | #Constraints: 36284
1558.49/1565.84 c #Conflicts: 1384000 | #Constraints: 37356
1558.49/1565.84 c #Conflicts: 1385000 | #Constraints: 38381
1558.49/1565.84 c #Conflicts: 1386000 | #Constraints: 39381
1558.49/1565.84 c #Conflicts: 1387000 | #Constraints: 40414
1558.49/1565.84 c #Conflicts: 1388000 | #Constraints: 41498
1558.49/1565.84 c #Conflicts: 1389000 | #Constraints: 42569
1558.49/1565.84 c #Conflicts: 1390000 | #Constraints: 43569
1558.49/1565.84 c #Conflicts: 1391000 | #Constraints: 44611
1558.49/1565.84 c #Conflicts: 1392000 | #Constraints: 45705
1558.49/1565.84 c #Conflicts: 1393000 | #Constraints: 46781
1558.49/1565.84 c #Conflicts: 1394000 | #Constraints: 47874
1558.49/1565.84 c #Conflicts: 1395000 | #Constraints: 48956
1558.49/1565.84 c INPROCESSING
1558.49/1565.84 c GARBAGE COLLECT
1558.49/1565.84 c rational objective 2.00033
1614.08/1621.67 c #Conflicts: 1396000 | #Constraints: 25417
1614.08/1621.67 c #Conflicts: 1397000 | #Constraints: 26459
1614.08/1621.67 c #Conflicts: 1398000 | #Constraints: 27506
1614.08/1621.67 c #Conflicts: 1399000 | #Constraints: 28547
1614.08/1621.67 c #Conflicts: 1400000 | #Constraints: 29581
1614.08/1621.67 c #Conflicts: 1401000 | #Constraints: 30591
1614.08/1621.67 c #Conflicts: 1402000 | #Constraints: 31591
1614.08/1621.67 c #Conflicts: 1403000 | #Constraints: 32591
1614.08/1621.67 c #Conflicts: 1404000 | #Constraints: 33616
1614.08/1621.67 c #Conflicts: 1405000 | #Constraints: 34672
1614.08/1621.67 c #Conflicts: 1406000 | #Constraints: 35711
1614.08/1621.67 c #Conflicts: 1407000 | #Constraints: 36805
1614.08/1621.67 c #Conflicts: 1408000 | #Constraints: 37837
1614.08/1621.67 c #Conflicts: 1409000 | #Constraints: 38870
1614.08/1621.67 c #Conflicts: 1410000 | #Constraints: 39891
1614.08/1621.67 c #Conflicts: 1411000 | #Constraints: 40895
1614.08/1621.67 c #Conflicts: 1412000 | #Constraints: 41895
1614.08/1621.67 c #Conflicts: 1413000 | #Constraints: 42930
1614.08/1621.67 c #Conflicts: 1414000 | #Constraints: 43948
1614.08/1621.67 c #Conflicts: 1415000 | #Constraints: 44983
1614.08/1621.67 c #Conflicts: 1416000 | #Constraints: 46050
1614.08/1621.67 c #Conflicts: 1417000 | #Constraints: 47087
1614.08/1621.67 c #Conflicts: 1418000 | #Constraints: 48139
1614.08/1621.67 c #Conflicts: 1419000 | #Constraints: 49179
1614.08/1621.67 c INPROCESSING
1614.08/1621.67 c GARBAGE COLLECT
1614.08/1621.67 c rational objective 2.00029
1667.58/1675.90 c #Conflicts: 1420000 | #Constraints: 25651
1667.58/1675.90 c #Conflicts: 1421000 | #Constraints: 26747
1667.58/1675.90 c #Conflicts: 1422000 | #Constraints: 27803
1667.58/1675.90 c #Conflicts: 1423000 | #Constraints: 28835
1667.58/1675.90 c #Conflicts: 1424000 | #Constraints: 29855
1667.58/1675.90 c #Conflicts: 1425000 | #Constraints: 30898
1667.58/1675.90 c #Conflicts: 1426000 | #Constraints: 31956
1667.58/1675.90 c #Conflicts: 1427000 | #Constraints: 32996
1667.58/1675.90 c #Conflicts: 1428000 | #Constraints: 34028
1667.58/1675.90 c #Conflicts: 1429000 | #Constraints: 35067
1667.58/1675.90 c #Conflicts: 1430000 | #Constraints: 36115
1667.58/1675.90 c #Conflicts: 1431000 | #Constraints: 37130
1667.58/1675.90 c #Conflicts: 1432000 | #Constraints: 38166
1667.58/1675.90 c #Conflicts: 1433000 | #Constraints: 39166
1667.58/1675.90 c #Conflicts: 1434000 | #Constraints: 40168
1667.58/1675.90 c #Conflicts: 1435000 | #Constraints: 41197
1667.58/1675.90 c #Conflicts: 1436000 | #Constraints: 42226
1667.58/1675.90 c #Conflicts: 1437000 | #Constraints: 43226
1667.58/1675.90 c #Conflicts: 1438000 | #Constraints: 44226
1667.58/1675.90 c #Conflicts: 1439000 | #Constraints: 45226
1667.58/1675.90 c #Conflicts: 1440000 | #Constraints: 46226
1667.58/1675.90 c #Conflicts: 1441000 | #Constraints: 47226
1667.58/1675.90 c #Conflicts: 1442000 | #Constraints: 48226
1667.58/1675.90 c #Conflicts: 1443000 | #Constraints: 49226
1667.58/1675.90 c INPROCESSING
1667.58/1675.90 c GARBAGE COLLECT
1667.58/1675.90 c rational objective 2.0003
1718.32/1726.88 c #Conflicts: 1444000 | #Constraints: 25665
1718.32/1726.88 c #Conflicts: 1445000 | #Constraints: 26681
1718.32/1726.88 c #Conflicts: 1446000 | #Constraints: 27681
1718.32/1726.88 c #Conflicts: 1447000 | #Constraints: 28681
1718.32/1726.88 c #Conflicts: 1448000 | #Constraints: 29681
1718.32/1726.88 c #Conflicts: 1449000 | #Constraints: 30681
1718.32/1726.88 c #Conflicts: 1450000 | #Constraints: 31681
1718.32/1726.88 c #Conflicts: 1451000 | #Constraints: 32681
1718.32/1726.88 c #Conflicts: 1452000 | #Constraints: 33681
1718.32/1726.88 c #Conflicts: 1453000 | #Constraints: 34681
1718.32/1726.88 c #Conflicts: 1454000 | #Constraints: 35681
1718.32/1726.88 c #Conflicts: 1455000 | #Constraints: 36681
1718.32/1726.88 c #Conflicts: 1456000 | #Constraints: 37681
1718.32/1726.88 c #Conflicts: 1457000 | #Constraints: 38681
1718.32/1726.88 c #Conflicts: 1458000 | #Constraints: 39681
1718.32/1726.88 c #Conflicts: 1459000 | #Constraints: 40681
1718.32/1726.88 c #Conflicts: 1460000 | #Constraints: 41681
1718.32/1726.88 c #Conflicts: 1461000 | #Constraints: 42681
1718.32/1726.88 c #Conflicts: 1462000 | #Constraints: 43681
1718.32/1726.88 c #Conflicts: 1463000 | #Constraints: 44681
1718.32/1726.88 c #Conflicts: 1464000 | #Constraints: 45681
1718.32/1726.88 c #Conflicts: 1465000 | #Constraints: 46681
1718.32/1726.88 c #Conflicts: 1466000 | #Constraints: 47681
1718.32/1726.88 c #Conflicts: 1467000 | #Constraints: 48681
1718.32/1726.88 c INPROCESSING
1718.32/1726.88 c GARBAGE COLLECT
1718.32/1726.88 c rational objective 2.00013
1770.86/1779.50 c #Conflicts: 1468000 | #Constraints: 25304
1770.86/1779.50 c #Conflicts: 1469000 | #Constraints: 26390
1770.86/1779.50 c #Conflicts: 1470000 | #Constraints: 27480
1770.86/1779.50 c #Conflicts: 1471000 | #Constraints: 28562
1770.86/1779.50 c #Conflicts: 1472000 | #Constraints: 29673
1770.86/1779.50 c #Conflicts: 1473000 | #Constraints: 30774
1770.86/1779.50 c #Conflicts: 1474000 | #Constraints: 31885
1770.86/1779.50 c #Conflicts: 1475000 | #Constraints: 32950
1770.86/1779.50 c #Conflicts: 1476000 | #Constraints: 34015
1770.86/1779.50 c #Conflicts: 1477000 | #Constraints: 35095
1770.86/1779.50 c #Conflicts: 1478000 | #Constraints: 36230
1770.86/1779.50 c #Conflicts: 1479000 | #Constraints: 37324
1770.86/1779.50 c #Conflicts: 1480000 | #Constraints: 38389
1770.86/1779.50 c #Conflicts: 1481000 | #Constraints: 39485
1770.86/1779.50 c #Conflicts: 1482000 | #Constraints: 40486
1770.86/1779.50 c #Conflicts: 1483000 | #Constraints: 41563
1770.86/1779.50 c #Conflicts: 1484000 | #Constraints: 42649
1770.86/1779.50 c #Conflicts: 1485000 | #Constraints: 43711
1770.86/1779.50 c #Conflicts: 1486000 | #Constraints: 44795
1770.86/1779.50 c #Conflicts: 1487000 | #Constraints: 45903
1770.86/1779.50 c #Conflicts: 1488000 | #Constraints: 47002
1770.86/1779.50 c #Conflicts: 1489000 | #Constraints: 48081
1770.86/1779.50 c #Conflicts: 1490000 | #Constraints: 49085
1770.86/1779.50 c #Conflicts: 1491000 | #Constraints: 50213
1770.86/1779.50 c INPROCESSING
1770.86/1779.50 c GARBAGE COLLECT
1770.86/1779.50 c rational objective 2.00001
1823.90/1832.70 c #Conflicts: 1492000 | #Constraints: 25838
1823.90/1832.70 c #Conflicts: 1493000 | #Constraints: 26838
1823.90/1832.70 c #Conflicts: 1494000 | #Constraints: 27855
1823.90/1832.70 c #Conflicts: 1495000 | #Constraints: 28867
1823.90/1832.70 c #Conflicts: 1496000 | #Constraints: 29867
1823.90/1832.70 c #Conflicts: 1497000 | #Constraints: 30867
1823.90/1832.70 c #Conflicts: 1498000 | #Constraints: 31867
1823.90/1832.70 c #Conflicts: 1499000 | #Constraints: 32867
1823.90/1832.70 c #Conflicts: 1500000 | #Constraints: 33889
1823.90/1832.70 c #Conflicts: 1501000 | #Constraints: 34889
1823.90/1832.70 c #Conflicts: 1502000 | #Constraints: 35898
1823.90/1832.70 c #Conflicts: 1503000 | #Constraints: 36903
1823.90/1832.70 c #Conflicts: 1504000 | #Constraints: 37917
1823.90/1832.70 c #Conflicts: 1505000 | #Constraints: 38955
1823.90/1832.70 c #Conflicts: 1506000 | #Constraints: 39992
1823.90/1832.70 c #Conflicts: 1507000 | #Constraints: 41032
1823.90/1832.70 c #Conflicts: 1508000 | #Constraints: 42093
1823.90/1832.70 c #Conflicts: 1509000 | #Constraints: 43136
1823.90/1832.70 c #Conflicts: 1510000 | #Constraints: 44187
1823.90/1832.70 c #Conflicts: 1511000 | #Constraints: 45187
1823.90/1832.70 c #Conflicts: 1512000 | #Constraints: 46187
1823.90/1832.70 c #Conflicts: 1513000 | #Constraints: 47187
1823.90/1832.70 c #Conflicts: 1514000 | #Constraints: 48217
1823.90/1832.70 c #Conflicts: 1515000 | #Constraints: 49295
1823.90/1832.70 c #Conflicts: 1516000 | #Constraints: 50374
1823.90/1832.70 c INPROCESSING
1823.90/1832.70 c GARBAGE COLLECT
1823.90/1832.70 c rational objective 1.99999
1877.32/1886.38 c #Conflicts: 1517000 | #Constraints: 26109
1877.32/1886.38 c #Conflicts: 1518000 | #Constraints: 27122
1877.32/1886.38 c #Conflicts: 1519000 | #Constraints: 28132
1877.32/1886.38 c #Conflicts: 1520000 | #Constraints: 29167
1877.32/1886.38 c #Conflicts: 1521000 | #Constraints: 30167
1877.32/1886.38 c #Conflicts: 1522000 | #Constraints: 31216
1877.32/1886.38 c #Conflicts: 1523000 | #Constraints: 32249
1877.32/1886.38 c #Conflicts: 1524000 | #Constraints: 33249
1877.32/1886.38 c #Conflicts: 1525000 | #Constraints: 34249
1877.32/1886.38 c #Conflicts: 1526000 | #Constraints: 35251
1877.32/1886.38 c #Conflicts: 1527000 | #Constraints: 36266
1877.32/1886.38 c #Conflicts: 1528000 | #Constraints: 37295
1877.32/1886.38 c #Conflicts: 1529000 | #Constraints: 38335
1877.32/1886.38 c #Conflicts: 1530000 | #Constraints: 39377
1877.32/1886.38 c #Conflicts: 1531000 | #Constraints: 40388
1877.32/1886.38 c #Conflicts: 1532000 | #Constraints: 41419
1877.32/1886.38 c #Conflicts: 1533000 | #Constraints: 42452
1877.32/1886.38 c #Conflicts: 1534000 | #Constraints: 43455
1877.32/1886.38 c #Conflicts: 1535000 | #Constraints: 44487
1877.32/1886.38 c #Conflicts: 1536000 | #Constraints: 45526
1877.32/1886.38 c #Conflicts: 1537000 | #Constraints: 46582
1877.32/1886.38 c #Conflicts: 1538000 | #Constraints: 47638
1877.32/1886.38 c #Conflicts: 1539000 | #Constraints: 48699
1877.32/1886.38 c #Conflicts: 1540000 | #Constraints: 49718
1877.32/1886.38 c #Conflicts: 1541000 | #Constraints: 50775
1877.32/1886.38 c INPROCESSING
1877.32/1886.38 c GARBAGE COLLECT
1877.32/1886.38 c rational objective 2.04942
1929.47/1938.61 c #Conflicts: 1542000 | #Constraints: 26470
1929.47/1938.61 c #Conflicts: 1543000 | #Constraints: 27487
1929.47/1938.61 c #Conflicts: 1544000 | #Constraints: 28506
1929.47/1938.61 c #Conflicts: 1545000 | #Constraints: 29529
1929.47/1938.61 c #Conflicts: 1546000 | #Constraints: 30543
1929.47/1938.61 c #Conflicts: 1547000 | #Constraints: 31573
1929.47/1938.61 c #Conflicts: 1548000 | #Constraints: 32610
1929.47/1938.61 c #Conflicts: 1549000 | #Constraints: 33629
1929.47/1938.61 c #Conflicts: 1550000 | #Constraints: 34645
1929.47/1938.61 c #Conflicts: 1551000 | #Constraints: 35679
1929.47/1938.61 c #Conflicts: 1552000 | #Constraints: 36733
1929.47/1938.61 c #Conflicts: 1553000 | #Constraints: 37760
1929.47/1938.61 c #Conflicts: 1554000 | #Constraints: 38793
1929.47/1938.61 c #Conflicts: 1555000 | #Constraints: 39841
1929.47/1938.61 c #Conflicts: 1556000 | #Constraints: 40865
1929.47/1938.61 c #Conflicts: 1557000 | #Constraints: 41901
1929.47/1938.61 c #Conflicts: 1558000 | #Constraints: 42941
1929.47/1938.61 c #Conflicts: 1559000 | #Constraints: 44010
1929.47/1938.61 c #Conflicts: 1560000 | #Constraints: 45033
1929.47/1938.61 c #Conflicts: 1561000 | #Constraints: 46076
1929.47/1938.61 c #Conflicts: 1562000 | #Constraints: 47116
1929.47/1938.61 c #Conflicts: 1563000 | #Constraints: 48116
1929.47/1938.61 c #Conflicts: 1564000 | #Constraints: 49142
1929.47/1938.61 c #Conflicts: 1565000 | #Constraints: 50150
1929.47/1938.61 c #Conflicts: 1566000 | #Constraints: 51173
1929.47/1938.61 c INPROCESSING
1929.47/1938.61 c GARBAGE COLLECT
1929.47/1938.61 c rational objective 2.05128
1991.45/2003.58 c #Conflicts: 1567000 | #Constraints: 26605
1991.45/2003.58 c #Conflicts: 1568000 | #Constraints: 27605
1991.45/2003.58 c #Conflicts: 1569000 | #Constraints: 28617
1991.45/2003.58 c #Conflicts: 1570000 | #Constraints: 29656
1991.45/2003.58 c #Conflicts: 1571000 | #Constraints: 30702
1991.45/2003.58 c #Conflicts: 1572000 | #Constraints: 31746
1991.45/2003.58 c #Conflicts: 1573000 | #Constraints: 32787
1991.45/2003.58 c #Conflicts: 1574000 | #Constraints: 33869
1991.45/2003.58 c #Conflicts: 1575000 | #Constraints: 34924
1991.45/2003.58 c #Conflicts: 1576000 | #Constraints: 35969
1991.45/2003.58 c #Conflicts: 1577000 | #Constraints: 37008
1991.45/2003.58 c #Conflicts: 1578000 | #Constraints: 38068
1991.45/2003.58 c #Conflicts: 1579000 | #Constraints: 39104
1991.45/2003.58 c #Conflicts: 1580000 | #Constraints: 40126
1991.45/2003.58 c #Conflicts: 1581000 | #Constraints: 41156
1991.45/2003.58 c #Conflicts: 1582000 | #Constraints: 42182
1991.45/2003.58 c #Conflicts: 1583000 | #Constraints: 43193
1991.45/2003.58 c #Conflicts: 1584000 | #Constraints: 44222
1991.45/2003.58 c #Conflicts: 1585000 | #Constraints: 45258
1991.45/2003.58 c #Conflicts: 1586000 | #Constraints: 46301
1991.45/2003.58 c #Conflicts: 1587000 | #Constraints: 47337
1991.45/2003.58 c #Conflicts: 1588000 | #Constraints: 48373
1991.45/2003.58 c #Conflicts: 1589000 | #Constraints: 49409
1991.45/2003.58 c #Conflicts: 1590000 | #Constraints: 50429
1991.45/2003.58 c #Conflicts: 1591000 | #Constraints: 51471
1991.45/2003.58 c INPROCESSING
1991.45/2003.58 c GARBAGE COLLECT
1991.45/2003.58 c rational objective 2.00001
2051.46/2063.72 c #Conflicts: 1592000 | #Constraints: 26661
2051.46/2063.72 c #Conflicts: 1593000 | #Constraints: 27661
2051.46/2063.72 c #Conflicts: 1594000 | #Constraints: 28683
2051.46/2063.72 c #Conflicts: 1595000 | #Constraints: 29713
2051.46/2063.72 c #Conflicts: 1596000 | #Constraints: 30713
2051.46/2063.72 c #Conflicts: 1597000 | #Constraints: 31733
2051.46/2063.72 c #Conflicts: 1598000 | #Constraints: 32777
2051.46/2063.72 c #Conflicts: 1599000 | #Constraints: 33784
2051.46/2063.72 c #Conflicts: 1600000 | #Constraints: 34808
2051.46/2063.72 c #Conflicts: 1601000 | #Constraints: 35846
2051.46/2063.72 c #Conflicts: 1602000 | #Constraints: 36890
2051.46/2063.72 c #Conflicts: 1603000 | #Constraints: 37913
2051.46/2063.72 c #Conflicts: 1604000 | #Constraints: 38939
2051.46/2063.72 c #Conflicts: 1605000 | #Constraints: 39971
2051.46/2063.72 c #Conflicts: 1606000 | #Constraints: 41011
2051.46/2063.72 c #Conflicts: 1607000 | #Constraints: 42032
2051.46/2063.72 c #Conflicts: 1608000 | #Constraints: 43032
2051.46/2063.72 c #Conflicts: 1609000 | #Constraints: 44050
2051.46/2063.72 c #Conflicts: 1610000 | #Constraints: 45097
2051.46/2063.72 c #Conflicts: 1611000 | #Constraints: 46120
2051.46/2063.72 c #Conflicts: 1612000 | #Constraints: 47135
2051.46/2063.72 c #Conflicts: 1613000 | #Constraints: 48135
2051.46/2063.72 c #Conflicts: 1614000 | #Constraints: 49157
2051.46/2063.72 c #Conflicts: 1615000 | #Constraints: 50195
2051.46/2063.72 c #Conflicts: 1616000 | #Constraints: 51227
2051.46/2063.72 c INPROCESSING
2051.46/2063.72 c GARBAGE COLLECT
2051.46/2063.72 c rational objective 2
2109.67/2122.17 c #Conflicts: 1617000 | #Constraints: 26342
2109.67/2122.17 c #Conflicts: 1618000 | #Constraints: 27368
2109.67/2122.17 c #Conflicts: 1619000 | #Constraints: 28392
2109.67/2122.17 c #Conflicts: 1620000 | #Constraints: 29404
2109.67/2122.17 c #Conflicts: 1621000 | #Constraints: 30428
2109.67/2122.17 c #Conflicts: 1622000 | #Constraints: 31430
2109.67/2122.17 c #Conflicts: 1623000 | #Constraints: 32437
2109.67/2122.17 c #Conflicts: 1624000 | #Constraints: 33437
2109.67/2122.17 c #Conflicts: 1625000 | #Constraints: 34437
2109.67/2122.17 c #Conflicts: 1626000 | #Constraints: 35437
2109.67/2122.17 c #Conflicts: 1627000 | #Constraints: 36437
2109.67/2122.17 c #Conflicts: 1628000 | #Constraints: 37437
2109.67/2122.17 c #Conflicts: 1629000 | #Constraints: 38437
2109.67/2122.17 c #Conflicts: 1630000 | #Constraints: 39437
2109.67/2122.17 c #Conflicts: 1631000 | #Constraints: 40437
2109.67/2122.17 c #Conflicts: 1632000 | #Constraints: 41437
2109.67/2122.17 c #Conflicts: 1633000 | #Constraints: 42437
2109.67/2122.17 c #Conflicts: 1634000 | #Constraints: 43437
2109.67/2122.17 c #Conflicts: 1635000 | #Constraints: 44437
2109.67/2122.17 c #Conflicts: 1636000 | #Constraints: 45437
2109.67/2122.17 c #Conflicts: 1637000 | #Constraints: 46437
2109.67/2122.17 c #Conflicts: 1638000 | #Constraints: 47437
2109.67/2122.17 c #Conflicts: 1639000 | #Constraints: 48437
2109.67/2122.17 c #Conflicts: 1640000 | #Constraints: 49437
2109.67/2122.17 c #Conflicts: 1641000 | #Constraints: 50437
2109.67/2122.17 c #Conflicts: 1642000 | #Constraints: 51437
2109.67/2122.17 c INPROCESSING
2109.67/2122.17 c GARBAGE COLLECT
2109.67/2122.17 c rational objective 2.00008
2165.76/2178.47 c #Conflicts: 1643000 | #Constraints: 26632
2165.76/2178.47 c #Conflicts: 1644000 | #Constraints: 27661
2165.76/2178.47 c #Conflicts: 1645000 | #Constraints: 28672
2165.76/2178.47 c #Conflicts: 1646000 | #Constraints: 29691
2165.76/2178.47 c #Conflicts: 1647000 | #Constraints: 30691
2165.76/2178.47 c #Conflicts: 1648000 | #Constraints: 31701
2165.76/2178.47 c #Conflicts: 1649000 | #Constraints: 32715
2165.76/2178.47 c #Conflicts: 1650000 | #Constraints: 33730
2165.76/2178.47 c #Conflicts: 1651000 | #Constraints: 34741
2165.76/2178.47 c #Conflicts: 1652000 | #Constraints: 35763
2165.76/2178.47 c #Conflicts: 1653000 | #Constraints: 36784
2165.76/2178.47 c #Conflicts: 1654000 | #Constraints: 37807
2165.76/2178.47 c #Conflicts: 1655000 | #Constraints: 38818
2165.76/2178.47 c #Conflicts: 1656000 | #Constraints: 39832
2165.76/2178.47 c #Conflicts: 1657000 | #Constraints: 40853
2165.76/2178.47 c #Conflicts: 1658000 | #Constraints: 41867
2165.76/2178.47 c #Conflicts: 1659000 | #Constraints: 42896
2165.76/2178.47 c #Conflicts: 1660000 | #Constraints: 43913
2165.76/2178.47 c #Conflicts: 1661000 | #Constraints: 44921
2165.76/2178.47 c #Conflicts: 1662000 | #Constraints: 45921
2165.76/2178.47 c #Conflicts: 1663000 | #Constraints: 46921
2165.76/2178.47 c #Conflicts: 1664000 | #Constraints: 47921
2165.76/2178.47 c #Conflicts: 1665000 | #Constraints: 48921
2165.76/2178.47 c #Conflicts: 1666000 | #Constraints: 49936
2165.76/2178.47 c #Conflicts: 1667000 | #Constraints: 50954
2165.76/2178.47 c #Conflicts: 1668000 | #Constraints: 51954
2165.76/2178.47 c INPROCESSING
2165.76/2178.47 c GARBAGE COLLECT
2165.76/2178.47 c rational objective 2.00103
2229.72/2242.66 c #Conflicts: 1669000 | #Constraints: 27019
2229.72/2242.66 c #Conflicts: 1670000 | #Constraints: 28037
2229.72/2242.66 c #Conflicts: 1671000 | #Constraints: 29045
2229.72/2242.66 c #Conflicts: 1672000 | #Constraints: 30065
2229.72/2242.66 c #Conflicts: 1673000 | #Constraints: 31073
2229.72/2242.66 c #Conflicts: 1674000 | #Constraints: 32087
2229.72/2242.66 c #Conflicts: 1675000 | #Constraints: 33098
2229.72/2242.66 c #Conflicts: 1676000 | #Constraints: 34124
2229.72/2242.66 c #Conflicts: 1677000 | #Constraints: 35147
2229.72/2242.66 c #Conflicts: 1678000 | #Constraints: 36154
2229.72/2242.66 c #Conflicts: 1679000 | #Constraints: 37155
2229.72/2242.66 c #Conflicts: 1680000 | #Constraints: 38157
2229.72/2242.66 c #Conflicts: 1681000 | #Constraints: 39168
2229.72/2242.66 c #Conflicts: 1682000 | #Constraints: 40182
2229.72/2242.66 c #Conflicts: 1683000 | #Constraints: 41205
2229.72/2242.66 c #Conflicts: 1684000 | #Constraints: 42213
2229.72/2242.66 c #Conflicts: 1685000 | #Constraints: 43227
2229.72/2242.66 c #Conflicts: 1686000 | #Constraints: 44238
2229.72/2242.66 c #Conflicts: 1687000 | #Constraints: 45238
2229.72/2242.66 c #Conflicts: 1688000 | #Constraints: 46238
2229.72/2242.66 c #Conflicts: 1689000 | #Constraints: 47254
2229.72/2242.66 c #Conflicts: 1690000 | #Constraints: 48278
2229.72/2242.66 c #Conflicts: 1691000 | #Constraints: 49323
2229.72/2242.66 c #Conflicts: 1692000 | #Constraints: 50344
2229.72/2242.66 c #Conflicts: 1693000 | #Constraints: 51347
2229.72/2242.66 c #Conflicts: 1694000 | #Constraints: 52367
2229.72/2242.66 c INPROCESSING
2229.72/2242.66 c GARBAGE COLLECT
2229.72/2242.66 c rational objective 2.00258
2291.92/2305.06 c #Conflicts: 1695000 | #Constraints: 27201
2291.92/2305.06 c #Conflicts: 1696000 | #Constraints: 28226
2291.92/2305.06 c #Conflicts: 1697000 | #Constraints: 29229
2291.92/2305.06 c #Conflicts: 1698000 | #Constraints: 30238
2291.92/2305.06 c #Conflicts: 1699000 | #Constraints: 31268
2291.92/2305.06 c #Conflicts: 1700000 | #Constraints: 32285
2291.92/2305.06 c #Conflicts: 1701000 | #Constraints: 33293
2291.92/2305.06 c #Conflicts: 1702000 | #Constraints: 34298
2291.92/2305.06 c #Conflicts: 1703000 | #Constraints: 35298
2291.92/2305.06 c #Conflicts: 1704000 | #Constraints: 36304
2291.92/2305.06 c #Conflicts: 1705000 | #Constraints: 37307
2291.92/2305.06 c #Conflicts: 1706000 | #Constraints: 38329
2291.92/2305.06 c #Conflicts: 1707000 | #Constraints: 39340
2291.92/2305.06 c #Conflicts: 1708000 | #Constraints: 40348
2291.92/2305.06 c #Conflicts: 1709000 | #Constraints: 41366
2291.92/2305.06 c #Conflicts: 1710000 | #Constraints: 42392
2291.92/2305.06 c #Conflicts: 1711000 | #Constraints: 43404
2291.92/2305.06 c #Conflicts: 1712000 | #Constraints: 44405
2291.92/2305.06 c #Conflicts: 1713000 | #Constraints: 45405
2291.92/2305.06 c #Conflicts: 1714000 | #Constraints: 46420
2291.92/2305.06 c #Conflicts: 1715000 | #Constraints: 47441
2291.92/2305.06 c #Conflicts: 1716000 | #Constraints: 48454
2291.92/2305.06 c #Conflicts: 1717000 | #Constraints: 49479
2291.92/2305.06 c #Conflicts: 1718000 | #Constraints: 50510
2291.92/2305.06 c #Conflicts: 1719000 | #Constraints: 51538
2291.92/2305.06 c #Conflicts: 1720000 | #Constraints: 52566
2291.92/2305.06 c INPROCESSING
2291.92/2305.06 c GARBAGE COLLECT
2291.92/2305.06 c rational objective 2.10672
2352.19/2365.56 c #Conflicts: 1721000 | #Constraints: 27200
2352.19/2365.56 c #Conflicts: 1722000 | #Constraints: 28220
2352.19/2365.56 c #Conflicts: 1723000 | #Constraints: 29248
2352.19/2365.56 c #Conflicts: 1724000 | #Constraints: 30248
2352.19/2365.56 c #Conflicts: 1725000 | #Constraints: 31248
2352.19/2365.56 c #Conflicts: 1726000 | #Constraints: 32248
2352.19/2365.56 c #Conflicts: 1727000 | #Constraints: 33258
2352.19/2365.56 c #Conflicts: 1728000 | #Constraints: 34276
2352.19/2365.56 c #Conflicts: 1729000 | #Constraints: 35289
2352.19/2365.56 c #Conflicts: 1730000 | #Constraints: 36310
2352.19/2365.56 c #Conflicts: 1731000 | #Constraints: 37310
2352.19/2365.56 c #Conflicts: 1732000 | #Constraints: 38320
2352.19/2365.56 c #Conflicts: 1733000 | #Constraints: 39350
2352.19/2365.56 c #Conflicts: 1734000 | #Constraints: 40365
2352.19/2365.56 c #Conflicts: 1735000 | #Constraints: 41378
2352.19/2365.56 c #Conflicts: 1736000 | #Constraints: 42395
2352.19/2365.56 c #Conflicts: 1737000 | #Constraints: 43395
2352.19/2365.56 c #Conflicts: 1738000 | #Constraints: 44409
2352.19/2365.56 c #Conflicts: 1739000 | #Constraints: 45420
2352.19/2365.56 c #Conflicts: 1740000 | #Constraints: 46420
2352.19/2365.56 c #Conflicts: 1741000 | #Constraints: 47426
2352.19/2365.56 c #Conflicts: 1742000 | #Constraints: 48433
2352.19/2365.56 c #Conflicts: 1743000 | #Constraints: 49440
2352.19/2365.56 c #Conflicts: 1744000 | #Constraints: 50448
2352.19/2365.56 c #Conflicts: 1745000 | #Constraints: 51462
2352.19/2365.56 c #Conflicts: 1746000 | #Constraints: 52468
2352.19/2365.56 c INPROCESSING
2352.19/2365.56 c GARBAGE COLLECT
2352.19/2365.56 c rational objective 2
2413.07/2426.64 c #Conflicts: 1747000 | #Constraints: 26948
2413.07/2426.64 c #Conflicts: 1748000 | #Constraints: 27951
2413.07/2426.64 c #Conflicts: 1749000 | #Constraints: 28951
2413.07/2426.64 c #Conflicts: 1750000 | #Constraints: 29959
2413.07/2426.64 c #Conflicts: 1751000 | #Constraints: 30986
2413.07/2426.64 c #Conflicts: 1752000 | #Constraints: 32019
2413.07/2426.64 c #Conflicts: 1753000 | #Constraints: 33028
2413.07/2426.64 c #Conflicts: 1754000 | #Constraints: 34034
2413.07/2426.64 c #Conflicts: 1755000 | #Constraints: 35053
2413.07/2426.64 c #Conflicts: 1756000 | #Constraints: 36077
2413.07/2426.64 c #Conflicts: 1757000 | #Constraints: 37106
2413.07/2426.64 c #Conflicts: 1758000 | #Constraints: 38137
2413.07/2426.64 c #Conflicts: 1759000 | #Constraints: 39145
2413.07/2426.64 c #Conflicts: 1760000 | #Constraints: 40163
2413.07/2426.64 c #Conflicts: 1761000 | #Constraints: 41180
2413.07/2426.64 c #Conflicts: 1762000 | #Constraints: 42208
2413.07/2426.64 c #Conflicts: 1763000 | #Constraints: 43230
2413.07/2426.64 c #Conflicts: 1764000 | #Constraints: 44230
2413.07/2426.64 c #Conflicts: 1765000 | #Constraints: 45231
2413.07/2426.64 c #Conflicts: 1766000 | #Constraints: 46231
2413.07/2426.64 c #Conflicts: 1767000 | #Constraints: 47237
2413.07/2426.64 c #Conflicts: 1768000 | #Constraints: 48259
2413.07/2426.64 c #Conflicts: 1769000 | #Constraints: 49259
2413.07/2426.64 c #Conflicts: 1770000 | #Constraints: 50273
2413.07/2426.64 c #Conflicts: 1771000 | #Constraints: 51273
2413.07/2426.64 c #Conflicts: 1772000 | #Constraints: 52273
2413.07/2426.64 c #Conflicts: 1773000 | #Constraints: 53273
2413.07/2426.64 c INPROCESSING
2413.07/2426.64 c GARBAGE COLLECT
2413.07/2426.64 c rational objective 1.99998
2473.17/2486.94 c #Conflicts: 1774000 | #Constraints: 27568
2473.17/2486.94 c #Conflicts: 1775000 | #Constraints: 28574
2473.17/2486.94 c #Conflicts: 1776000 | #Constraints: 29594
2473.17/2486.94 c #Conflicts: 1777000 | #Constraints: 30608
2473.17/2486.94 c #Conflicts: 1778000 | #Constraints: 31625
2473.17/2486.94 c #Conflicts: 1779000 | #Constraints: 32628
2473.17/2486.94 c #Conflicts: 1780000 | #Constraints: 33628
2473.17/2486.94 c #Conflicts: 1781000 | #Constraints: 34643
2473.17/2486.94 c #Conflicts: 1782000 | #Constraints: 35659
2473.17/2486.94 c #Conflicts: 1783000 | #Constraints: 36664
2473.17/2486.94 c #Conflicts: 1784000 | #Constraints: 37691
2473.17/2486.94 c #Conflicts: 1785000 | #Constraints: 38709
2473.17/2486.94 c #Conflicts: 1786000 | #Constraints: 39735
2473.17/2486.94 c #Conflicts: 1787000 | #Constraints: 40765
2473.17/2486.94 c #Conflicts: 1788000 | #Constraints: 41780
2473.17/2486.94 c #Conflicts: 1789000 | #Constraints: 42791
2473.17/2486.94 c #Conflicts: 1790000 | #Constraints: 43795
2473.17/2486.94 c #Conflicts: 1791000 | #Constraints: 44829
2473.17/2486.94 c #Conflicts: 1792000 | #Constraints: 45851
2473.17/2486.94 c #Conflicts: 1793000 | #Constraints: 46874
2473.17/2486.94 c #Conflicts: 1794000 | #Constraints: 47883
2473.17/2486.94 c #Conflicts: 1795000 | #Constraints: 48883
2473.17/2486.94 c #Conflicts: 1796000 | #Constraints: 49883
2473.17/2486.94 c #Conflicts: 1797000 | #Constraints: 50886
2473.17/2486.94 c #Conflicts: 1798000 | #Constraints: 51933
2473.17/2486.94 c #Conflicts: 1799000 | #Constraints: 52973
2473.17/2486.94 c #Conflicts: 1800000 | #Constraints: 54038
2473.17/2486.94 c INPROCESSING
2473.17/2486.94 c GARBAGE COLLECT
2473.17/2486.94 c rational objective 2.00008
2537.63/2551.68 c #Conflicts: 1801000 | #Constraints: 28029
2537.63/2551.68 c #Conflicts: 1802000 | #Constraints: 29029
2537.63/2551.68 c #Conflicts: 1803000 | #Constraints: 30063
2537.63/2551.68 c #Conflicts: 1804000 | #Constraints: 31078
2537.63/2551.68 c #Conflicts: 1805000 | #Constraints: 32100
2537.63/2551.68 c #Conflicts: 1806000 | #Constraints: 33100
2537.63/2551.68 c #Conflicts: 1807000 | #Constraints: 34100
2537.63/2551.68 c #Conflicts: 1808000 | #Constraints: 35100
2537.63/2551.68 c #Conflicts: 1809000 | #Constraints: 36100
2537.63/2551.68 c #Conflicts: 1810000 | #Constraints: 37118
2537.63/2551.68 c #Conflicts: 1811000 | #Constraints: 38143
2537.63/2551.68 c #Conflicts: 1812000 | #Constraints: 39143
2537.63/2551.68 c #Conflicts: 1813000 | #Constraints: 40143
2537.63/2551.68 c #Conflicts: 1814000 | #Constraints: 41143
2537.63/2551.68 c #Conflicts: 1815000 | #Constraints: 42143
2537.63/2551.68 c #Conflicts: 1816000 | #Constraints: 43165
2537.63/2551.68 c #Conflicts: 1817000 | #Constraints: 44201
2537.63/2551.68 c #Conflicts: 1818000 | #Constraints: 45212
2537.63/2551.68 c #Conflicts: 1819000 | #Constraints: 46212
2537.63/2551.68 c #Conflicts: 1820000 | #Constraints: 47240
2537.63/2551.68 c #Conflicts: 1821000 | #Constraints: 48253
2537.63/2551.68 c #Conflicts: 1822000 | #Constraints: 49257
2537.63/2551.68 c #Conflicts: 1823000 | #Constraints: 50285
2537.63/2551.68 c #Conflicts: 1824000 | #Constraints: 51303
2537.63/2551.68 c #Conflicts: 1825000 | #Constraints: 52321
2537.63/2551.68 c #Conflicts: 1826000 | #Constraints: 53329
2537.63/2551.68 c #Conflicts: 1827000 | #Constraints: 54345
2537.63/2551.68 c INPROCESSING
2537.63/2551.68 c GARBAGE COLLECT
2537.63/2551.68 c rational objective 2.08919
2601.09/2615.31 c #Conflicts: 1828000 | #Constraints: 28178
2601.09/2615.31 c #Conflicts: 1829000 | #Constraints: 29192
2601.09/2615.31 c #Conflicts: 1830000 | #Constraints: 30213
2601.09/2615.31 c #Conflicts: 1831000 | #Constraints: 31242
2601.09/2615.31 c #Conflicts: 1832000 | #Constraints: 32265
2601.09/2615.31 c #Conflicts: 1833000 | #Constraints: 33282
2601.09/2615.31 c #Conflicts: 1834000 | #Constraints: 34291
2601.09/2615.31 c #Conflicts: 1835000 | #Constraints: 35291
2601.09/2615.31 c #Conflicts: 1836000 | #Constraints: 36306
2601.09/2615.31 c #Conflicts: 1837000 | #Constraints: 37357
2601.09/2615.31 c #Conflicts: 1838000 | #Constraints: 38384
2601.09/2615.31 c #Conflicts: 1839000 | #Constraints: 39413
2601.09/2615.31 c #Conflicts: 1840000 | #Constraints: 40449
2601.09/2615.31 c #Conflicts: 1841000 | #Constraints: 41482
2601.09/2615.31 c #Conflicts: 1842000 | #Constraints: 42501
2601.09/2615.31 c #Conflicts: 1843000 | #Constraints: 43516
2601.09/2615.31 c #Conflicts: 1844000 | #Constraints: 44546
2601.09/2615.31 c #Conflicts: 1845000 | #Constraints: 45549
2601.09/2615.31 c #Conflicts: 1846000 | #Constraints: 46567
2601.09/2615.31 c #Conflicts: 1847000 | #Constraints: 47584
2601.09/2615.31 c #Conflicts: 1848000 | #Constraints: 48630
2601.09/2615.31 c #Conflicts: 1849000 | #Constraints: 49650
2601.09/2615.31 c #Conflicts: 1850000 | #Constraints: 50673
2601.09/2615.31 c #Conflicts: 1851000 | #Constraints: 51684
2601.09/2615.31 c #Conflicts: 1852000 | #Constraints: 52684
2601.09/2615.31 c #Conflicts: 1853000 | #Constraints: 53684
2601.09/2615.31 c #Conflicts: 1854000 | #Constraints: 54699
2601.09/2615.31 c INPROCESSING
2601.09/2615.31 c GARBAGE COLLECT
2601.09/2615.31 c rational objective 2.09037
2668.50/2683.02 c #Conflicts: 1855000 | #Constraints: 28256
2668.50/2683.02 c #Conflicts: 1856000 | #Constraints: 29256
2668.50/2683.02 c #Conflicts: 1857000 | #Constraints: 30274
2668.50/2683.02 c #Conflicts: 1858000 | #Constraints: 31284
2668.50/2683.02 c #Conflicts: 1859000 | #Constraints: 32284
2668.50/2683.02 c #Conflicts: 1860000 | #Constraints: 33284
2668.50/2683.02 c #Conflicts: 1861000 | #Constraints: 34299
2668.50/2683.02 c #Conflicts: 1862000 | #Constraints: 35310
2668.50/2683.02 c #Conflicts: 1863000 | #Constraints: 36328
2668.50/2683.02 c #Conflicts: 1864000 | #Constraints: 37328
2668.50/2683.02 c #Conflicts: 1865000 | #Constraints: 38328
2668.50/2683.02 c #Conflicts: 1866000 | #Constraints: 39338
2668.50/2683.02 c #Conflicts: 1867000 | #Constraints: 40338
2668.50/2683.02 c #Conflicts: 1868000 | #Constraints: 41340
2668.50/2683.02 c #Conflicts: 1869000 | #Constraints: 42358
2668.50/2683.02 c #Conflicts: 1870000 | #Constraints: 43368
2668.50/2683.02 c #Conflicts: 1871000 | #Constraints: 44383
2668.50/2683.02 c #Conflicts: 1872000 | #Constraints: 45390
2668.50/2683.02 c #Conflicts: 1873000 | #Constraints: 46390
2668.50/2683.02 c #Conflicts: 1874000 | #Constraints: 47400
2668.50/2683.02 c #Conflicts: 1875000 | #Constraints: 48412
2668.50/2683.02 c #Conflicts: 1876000 | #Constraints: 49421
2668.50/2683.02 c #Conflicts: 1877000 | #Constraints: 50438
2668.50/2683.02 c #Conflicts: 1878000 | #Constraints: 51454
2668.50/2683.02 c #Conflicts: 1879000 | #Constraints: 52463
2668.50/2683.02 c #Conflicts: 1880000 | #Constraints: 53463
2668.50/2683.02 c #Conflicts: 1881000 | #Constraints: 54465
2668.50/2683.02 c INPROCESSING
2668.50/2683.02 c GARBAGE COLLECT
2668.50/2683.02 c rational objective 2.09236
2732.09/2746.86 c #Conflicts: 1882000 | #Constraints: 27938
2732.09/2746.86 c #Conflicts: 1883000 | #Constraints: 28956
2732.09/2746.86 c #Conflicts: 1884000 | #Constraints: 29968
2732.09/2746.86 c #Conflicts: 1885000 | #Constraints: 30976
2732.09/2746.86 c #Conflicts: 1886000 | #Constraints: 31986
2732.09/2746.86 c #Conflicts: 1887000 | #Constraints: 32986
2732.09/2746.86 c #Conflicts: 1888000 | #Constraints: 33989
2732.09/2746.86 c #Conflicts: 1889000 | #Constraints: 34989
2732.09/2746.86 c #Conflicts: 1890000 | #Constraints: 35994
2732.09/2746.86 c #Conflicts: 1891000 | #Constraints: 37019
2732.09/2746.86 c #Conflicts: 1892000 | #Constraints: 38047
2732.09/2746.86 c #Conflicts: 1893000 | #Constraints: 39068
2732.09/2746.86 c #Conflicts: 1894000 | #Constraints: 40079
2732.09/2746.86 c #Conflicts: 1895000 | #Constraints: 41084
2732.09/2746.86 c #Conflicts: 1896000 | #Constraints: 42084
2732.09/2746.86 c #Conflicts: 1897000 | #Constraints: 43108
2732.09/2746.86 c #Conflicts: 1898000 | #Constraints: 44125
2732.09/2746.86 c #Conflicts: 1899000 | #Constraints: 45125
2732.09/2746.86 c #Conflicts: 1900000 | #Constraints: 46130
2732.09/2746.86 c #Conflicts: 1901000 | #Constraints: 47145
2732.09/2746.86 c #Conflicts: 1902000 | #Constraints: 48145
2732.09/2746.86 c #Conflicts: 1903000 | #Constraints: 49176
2732.09/2746.86 c #Conflicts: 1904000 | #Constraints: 50196
2732.09/2746.86 c #Conflicts: 1905000 | #Constraints: 51206
2732.09/2746.86 c #Conflicts: 1906000 | #Constraints: 52208
2732.09/2746.86 c #Conflicts: 1907000 | #Constraints: 53208
2732.09/2746.86 c #Conflicts: 1908000 | #Constraints: 54228
2732.09/2746.86 c #Conflicts: 1909000 | #Constraints: 55244
2732.09/2746.86 c INPROCESSING
2732.09/2746.86 c GARBAGE COLLECT
2732.09/2746.86 c rational objective 2.09309
2887.05/2902.37 c #Conflicts: 1910000 | #Constraints: 28548
2887.05/2902.37 c #Conflicts: 1911000 | #Constraints: 29563
2887.05/2902.37 c #Conflicts: 1912000 | #Constraints: 30572
2887.05/2902.37 c #Conflicts: 1913000 | #Constraints: 31573
2887.05/2902.37 c #Conflicts: 1914000 | #Constraints: 32573
2887.05/2902.37 c #Conflicts: 1915000 | #Constraints: 33580
2887.05/2902.37 c #Conflicts: 1916000 | #Constraints: 34588
2887.05/2902.37 c #Conflicts: 1917000 | #Constraints: 35601
2887.05/2902.37 c #Conflicts: 1918000 | #Constraints: 36624
2887.05/2902.37 c #Conflicts: 1919000 | #Constraints: 37645
2887.05/2902.37 c #Conflicts: 1920000 | #Constraints: 38668
2887.05/2902.37 c #Conflicts: 1921000 | #Constraints: 39678
2887.05/2902.37 c #Conflicts: 1922000 | #Constraints: 40699
2887.05/2902.37 c #Conflicts: 1923000 | #Constraints: 41709
2887.05/2902.37 c #Conflicts: 1924000 | #Constraints: 42723
2887.05/2902.37 c #Conflicts: 1925000 | #Constraints: 43723
2887.05/2902.37 c #Conflicts: 1926000 | #Constraints: 44725
2887.05/2902.37 c #Conflicts: 1927000 | #Constraints: 45747
2887.05/2902.37 c #Conflicts: 1928000 | #Constraints: 46786
2887.05/2902.37 c #Conflicts: 1929000 | #Constraints: 47801
2887.05/2902.37 c #Conflicts: 1930000 | #Constraints: 48814
2887.05/2902.37 c #Conflicts: 1931000 | #Constraints: 49838
2887.05/2902.37 c #Conflicts: 1932000 | #Constraints: 50850
2887.05/2902.37 c #Conflicts: 1933000 | #Constraints: 51871
2887.05/2902.37 c #Conflicts: 1934000 | #Constraints: 52891
2887.05/2902.37 c #Conflicts: 1935000 | #Constraints: 53902
2887.05/2902.37 c #Conflicts: 1936000 | #Constraints: 54921
2887.05/2902.37 c #Conflicts: 1937000 | #Constraints: 55940
2887.05/2902.37 c INPROCESSING
2887.05/2902.37 c GARBAGE COLLECT
2887.05/2902.37 c #Conflicts: 1938000 | #Constraints: 28979
2887.05/2902.37 c #Conflicts: 1939000 | #Constraints: 30005
2887.05/2902.37 c #Conflicts: 1940000 | #Constraints: 31010
2887.05/2902.37 c #Conflicts: 1941000 | #Constraints: 32049
2887.05/2902.37 c #Conflicts: 1942000 | #Constraints: 33077
2887.05/2902.37 c #Conflicts: 1943000 | #Constraints: 34077
2887.05/2902.37 c #Conflicts: 1944000 | #Constraints: 35077
2887.05/2902.37 c #Conflicts: 1945000 | #Constraints: 36107
2887.05/2902.37 c #Conflicts: 1946000 | #Constraints: 37121
2887.05/2902.37 c #Conflicts: 1947000 | #Constraints: 38125
2887.05/2902.37 c #Conflicts: 1948000 | #Constraints: 39125
2887.05/2902.37 c #Conflicts: 1949000 | #Constraints: 40125
2887.05/2902.37 c #Conflicts: 1950000 | #Constraints: 41142
2887.05/2902.37 c #Conflicts: 1951000 | #Constraints: 42142
2887.05/2902.37 c #Conflicts: 1952000 | #Constraints: 43156
2887.05/2902.37 c #Conflicts: 1953000 | #Constraints: 44198
2887.05/2902.37 c #Conflicts: 1954000 | #Constraints: 45198
2887.05/2902.37 c #Conflicts: 1955000 | #Constraints: 46198
2887.05/2902.37 c #Conflicts: 1956000 | #Constraints: 47200
2887.05/2902.37 c #Conflicts: 1957000 | #Constraints: 48200
2887.05/2902.37 c #Conflicts: 1958000 | #Constraints: 49202
2887.05/2902.37 c #Conflicts: 1959000 | #Constraints: 50202
2887.05/2902.37 c #Conflicts: 1960000 | #Constraints: 51215
2887.05/2902.37 c #Conflicts: 1961000 | #Constraints: 52215
2887.05/2902.37 c #Conflicts: 1962000 | #Constraints: 53215
2887.05/2902.37 c #Conflicts: 1963000 | #Constraints: 54215
2887.05/2902.37 c #Conflicts: 1964000 | #Constraints: 55235
2887.05/2902.37 c #Conflicts: 1965000 | #Constraints: 56266
2887.05/2902.37 c INPROCESSING
2887.05/2902.37 c GARBAGE COLLECT
2887.05/2902.37 c rational objective 2.0931
2970.17/2985.78 c #Conflicts: 1966000 | #Constraints: 29150
2970.17/2985.78 c #Conflicts: 1967000 | #Constraints: 30163
2970.17/2985.78 c #Conflicts: 1968000 | #Constraints: 31163
2970.17/2985.78 c #Conflicts: 1969000 | #Constraints: 32174
2970.17/2985.78 c #Conflicts: 1970000 | #Constraints: 33193
2970.17/2985.78 c #Conflicts: 1971000 | #Constraints: 34206
2970.17/2985.78 c #Conflicts: 1972000 | #Constraints: 35214
2970.17/2985.78 c #Conflicts: 1973000 | #Constraints: 36236
2970.17/2985.78 c #Conflicts: 1974000 | #Constraints: 37254
2970.17/2985.78 c #Conflicts: 1975000 | #Constraints: 38274
2970.17/2985.78 c #Conflicts: 1976000 | #Constraints: 39295
2970.17/2985.78 c #Conflicts: 1977000 | #Constraints: 40330
2970.17/2985.78 c #Conflicts: 1978000 | #Constraints: 41350
2970.17/2985.78 c #Conflicts: 1979000 | #Constraints: 42350
2970.17/2985.78 c #Conflicts: 1980000 | #Constraints: 43350
2970.17/2985.78 c #Conflicts: 1981000 | #Constraints: 44356
2970.17/2985.78 c #Conflicts: 1982000 | #Constraints: 45373
2970.17/2985.78 c #Conflicts: 1983000 | #Constraints: 46387
2970.17/2985.78 c #Conflicts: 1984000 | #Constraints: 47399
2970.17/2985.78 c #Conflicts: 1985000 | #Constraints: 48399
2970.17/2985.78 c #Conflicts: 1986000 | #Constraints: 49400
2970.17/2985.78 c #Conflicts: 1987000 | #Constraints: 50400
2970.17/2985.78 c #Conflicts: 1988000 | #Constraints: 51409
2970.17/2985.78 c #Conflicts: 1989000 | #Constraints: 52409
2970.17/2985.78 c #Conflicts: 1990000 | #Constraints: 53409
2970.17/2985.78 c #Conflicts: 1991000 | #Constraints: 54422
2970.17/2985.78 c #Conflicts: 1992000 | #Constraints: 55441
2970.17/2985.78 c #Conflicts: 1993000 | #Constraints: 56441
2970.17/2985.78 c INPROCESSING
2970.17/2985.78 c GARBAGE COLLECT
2970.17/2985.78 c rational objective 2.00153
3055.37/3071.27 c #Conflicts: 1994000 | #Constraints: 29135
3055.37/3071.27 c #Conflicts: 1995000 | #Constraints: 30141
3055.37/3071.27 c #Conflicts: 1996000 | #Constraints: 31157
3055.37/3071.27 c #Conflicts: 1997000 | #Constraints: 32195
3055.37/3071.27 c #Conflicts: 1998000 | #Constraints: 33226
3055.37/3071.27 c #Conflicts: 1999000 | #Constraints: 34233
3055.37/3071.27 c #Conflicts: 2000000 | #Constraints: 35242
3055.37/3071.27 c #Conflicts: 2001000 | #Constraints: 36267
3055.37/3071.27 c #Conflicts: 2002000 | #Constraints: 37301
3055.37/3071.27 c #Conflicts: 2003000 | #Constraints: 38341
3055.37/3071.27 c #Conflicts: 2004000 | #Constraints: 39343
3055.37/3071.27 c #Conflicts: 2005000 | #Constraints: 40365
3055.37/3071.27 c #Conflicts: 2006000 | #Constraints: 41365
3055.37/3071.27 c #Conflicts: 2007000 | #Constraints: 42370
3055.37/3071.27 c #Conflicts: 2008000 | #Constraints: 43388
3055.37/3071.27 c #Conflicts: 2009000 | #Constraints: 44388
3055.37/3071.27 c #Conflicts: 2010000 | #Constraints: 45388
3055.37/3071.27 c #Conflicts: 2011000 | #Constraints: 46405
3055.37/3071.27 c #Conflicts: 2012000 | #Constraints: 47436
3055.37/3071.27 c #Conflicts: 2013000 | #Constraints: 48441
3055.37/3071.27 c #Conflicts: 2014000 | #Constraints: 49441
3055.37/3071.27 c #Conflicts: 2015000 | #Constraints: 50441
3055.37/3071.27 c #Conflicts: 2016000 | #Constraints: 51441
3055.37/3071.27 c #Conflicts: 2017000 | #Constraints: 52441
3055.37/3071.27 c #Conflicts: 2018000 | #Constraints: 53441
3055.37/3071.27 c #Conflicts: 2019000 | #Constraints: 54442
3055.37/3071.27 c #Conflicts: 2020000 | #Constraints: 55448
3055.37/3071.27 c #Conflicts: 2021000 | #Constraints: 56474
3055.37/3071.27 c INPROCESSING
3055.37/3071.27 c GARBAGE COLLECT
3055.37/3071.27 c rational objective 1.73084
3144.88/3161.00 c #Conflicts: 2022000 | #Constraints: 28977
3144.88/3161.00 c #Conflicts: 2023000 | #Constraints: 30027
3144.88/3161.00 c #Conflicts: 2024000 | #Constraints: 31027
3144.88/3161.00 c #Conflicts: 2025000 | #Constraints: 32027
3144.88/3161.00 c #Conflicts: 2026000 | #Constraints: 33027
3144.88/3161.00 c #Conflicts: 2027000 | #Constraints: 34027
3144.88/3161.00 c #Conflicts: 2028000 | #Constraints: 35057
3144.88/3161.00 c #Conflicts: 2029000 | #Constraints: 36058
3144.88/3161.00 c #Conflicts: 2030000 | #Constraints: 37058
3144.88/3161.00 c #Conflicts: 2031000 | #Constraints: 38061
3144.88/3161.00 c #Conflicts: 2032000 | #Constraints: 39080
3144.88/3161.00 c #Conflicts: 2033000 | #Constraints: 40094
3144.88/3161.00 c #Conflicts: 2034000 | #Constraints: 41124
3144.88/3161.00 c #Conflicts: 2035000 | #Constraints: 42124
3144.88/3161.00 c #Conflicts: 2036000 | #Constraints: 43124
3144.88/3161.00 c #Conflicts: 2037000 | #Constraints: 44124
3144.88/3161.00 c #Conflicts: 2038000 | #Constraints: 45124
3144.88/3161.00 c #Conflicts: 2039000 | #Constraints: 46127
3144.88/3161.00 c #Conflicts: 2040000 | #Constraints: 47181
3144.88/3161.00 c #Conflicts: 2041000 | #Constraints: 48181
3144.88/3161.00 c #Conflicts: 2042000 | #Constraints: 49181
3144.88/3161.00 c #Conflicts: 2043000 | #Constraints: 50183
3144.88/3161.00 c #Conflicts: 2044000 | #Constraints: 51244
3144.88/3161.00 c #Conflicts: 2045000 | #Constraints: 52258
3144.88/3161.00 c #Conflicts: 2046000 | #Constraints: 53317
3144.88/3161.00 c #Conflicts: 2047000 | #Constraints: 54317
3144.88/3161.00 c #Conflicts: 2048000 | #Constraints: 55332
3144.88/3161.00 c #Conflicts: 2049000 | #Constraints: 56341
3144.88/3161.00 c #Conflicts: 2050000 | #Constraints: 57341
3144.88/3161.00 c INPROCESSING
3144.88/3161.00 c GARBAGE COLLECT
3144.88/3161.00 c rational objective 1.73084
3242.00/3258.51 c #Conflicts: 2051000 | #Constraints: 29628
3242.00/3258.51 c #Conflicts: 2052000 | #Constraints: 30631
3242.00/3258.51 c #Conflicts: 2053000 | #Constraints: 31631
3242.00/3258.51 c #Conflicts: 2054000 | #Constraints: 32631
3242.00/3258.51 c #Conflicts: 2055000 | #Constraints: 33646
3242.00/3258.51 c #Conflicts: 2056000 | #Constraints: 34655
3242.00/3258.51 c #Conflicts: 2057000 | #Constraints: 35702
3242.00/3258.51 c #Conflicts: 2058000 | #Constraints: 36705
3242.00/3258.51 c #Conflicts: 2059000 | #Constraints: 37751
3242.00/3258.51 c #Conflicts: 2060000 | #Constraints: 38794
3242.00/3258.51 c #Conflicts: 2061000 | #Constraints: 39794
3242.00/3258.51 c #Conflicts: 2062000 | #Constraints: 40794
3242.00/3258.51 c #Conflicts: 2063000 | #Constraints: 41823
3242.00/3258.51 c #Conflicts: 2064000 | #Constraints: 42836
3242.00/3258.51 c #Conflicts: 2065000 | #Constraints: 43840
3242.00/3258.51 c #Conflicts: 2066000 | #Constraints: 44899
3242.00/3258.51 c #Conflicts: 2067000 | #Constraints: 45938
3242.00/3258.51 c #Conflicts: 2068000 | #Constraints: 46984
3242.00/3258.51 c #Conflicts: 2069000 | #Constraints: 47989
3242.00/3258.51 c #Conflicts: 2070000 | #Constraints: 48996
3242.00/3258.51 c #Conflicts: 2071000 | #Constraints: 50017
3242.00/3258.51 c #Conflicts: 2072000 | #Constraints: 51101
3242.00/3258.51 c #Conflicts: 2073000 | #Constraints: 52171
3242.00/3258.51 c #Conflicts: 2074000 | #Constraints: 53257
3242.00/3258.51 c #Conflicts: 2075000 | #Constraints: 54306
3242.00/3258.51 c #Conflicts: 2076000 | #Constraints: 55363
3242.00/3258.51 c #Conflicts: 2077000 | #Constraints: 56396
3242.00/3258.51 c #Conflicts: 2078000 | #Constraints: 57396
3242.00/3258.51 c #Conflicts: 2079000 | #Constraints: 58404
3242.00/3258.51 c INPROCESSING
3242.00/3258.51 c GARBAGE COLLECT
3242.00/3258.51 c rational objective 1.76102
3444.63/3461.95 c #Conflicts: 2080000 | #Constraints: 30275
3444.63/3461.95 c #Conflicts: 2081000 | #Constraints: 31295
3444.63/3461.95 c #Conflicts: 2082000 | #Constraints: 32306
3444.63/3461.95 c #Conflicts: 2083000 | #Constraints: 33306
3444.63/3461.95 c #Conflicts: 2084000 | #Constraints: 34322
3444.63/3461.95 c #Conflicts: 2085000 | #Constraints: 35340
3444.63/3461.95 c #Conflicts: 2086000 | #Constraints: 36403
3444.63/3461.95 c #Conflicts: 2087000 | #Constraints: 37403
3444.63/3461.95 c #Conflicts: 2088000 | #Constraints: 38429
3444.63/3461.95 c #Conflicts: 2089000 | #Constraints: 39429
3444.63/3461.95 c #Conflicts: 2090000 | #Constraints: 40432
3444.63/3461.95 c #Conflicts: 2091000 | #Constraints: 41432
3444.63/3461.95 c #Conflicts: 2092000 | #Constraints: 42466
3444.63/3461.95 c #Conflicts: 2093000 | #Constraints: 43500
3444.63/3461.95 c #Conflicts: 2094000 | #Constraints: 44500
3444.63/3461.95 c #Conflicts: 2095000 | #Constraints: 45532
3444.63/3461.95 c #Conflicts: 2096000 | #Constraints: 46558
3444.63/3461.95 c #Conflicts: 2097000 | #Constraints: 47558
3444.63/3461.95 c #Conflicts: 2098000 | #Constraints: 48584
3444.63/3461.95 c #Conflicts: 2099000 | #Constraints: 49621
3444.63/3461.95 c #Conflicts: 2100000 | #Constraints: 50621
3444.63/3461.95 c #Conflicts: 2101000 | #Constraints: 51650
3444.63/3461.95 c #Conflicts: 2102000 | #Constraints: 52721
3444.63/3461.95 c #Conflicts: 2103000 | #Constraints: 53781
3444.63/3461.95 c #Conflicts: 2104000 | #Constraints: 54797
3444.63/3461.95 c #Conflicts: 2105000 | #Constraints: 55797
3444.63/3461.95 c #Conflicts: 2106000 | #Constraints: 56846
3444.63/3461.95 c #Conflicts: 2107000 | #Constraints: 57869
3444.63/3461.95 c #Conflicts: 2108000 | #Constraints: 58869
3444.63/3461.95 c INPROCESSING
3444.63/3461.95 c GARBAGE COLLECT
3444.63/3461.95 c #Conflicts: 2109000 | #Constraints: 30443
3444.63/3461.95 c #Conflicts: 2110000 | #Constraints: 31488
3444.63/3461.95 c #Conflicts: 2111000 | #Constraints: 32527
3444.63/3461.95 c #Conflicts: 2112000 | #Constraints: 33531
3444.63/3461.95 c #Conflicts: 2113000 | #Constraints: 34536
3444.63/3461.95 c #Conflicts: 2114000 | #Constraints: 35572
3444.63/3461.95 c #Conflicts: 2115000 | #Constraints: 36614
3444.63/3461.95 c #Conflicts: 2116000 | #Constraints: 37666
3444.63/3461.95 c #Conflicts: 2117000 | #Constraints: 38681
3444.63/3461.95 c #Conflicts: 2118000 | #Constraints: 39681
3444.63/3461.95 c #Conflicts: 2119000 | #Constraints: 40686
3444.63/3461.95 c #Conflicts: 2120000 | #Constraints: 41686
3444.63/3461.95 c #Conflicts: 2121000 | #Constraints: 42693
3444.63/3461.95 c #Conflicts: 2122000 | #Constraints: 43693
3444.63/3461.95 c #Conflicts: 2123000 | #Constraints: 44693
3444.63/3461.95 c #Conflicts: 2124000 | #Constraints: 45693
3444.63/3461.95 c #Conflicts: 2125000 | #Constraints: 46693
3444.63/3461.95 c #Conflicts: 2126000 | #Constraints: 47698
3444.63/3461.95 c #Conflicts: 2127000 | #Constraints: 48752
3444.63/3461.95 c #Conflicts: 2128000 | #Constraints: 49757
3444.63/3461.95 c #Conflicts: 2129000 | #Constraints: 50766
3444.63/3461.95 c #Conflicts: 2130000 | #Constraints: 51806
3444.63/3461.95 c #Conflicts: 2131000 | #Constraints: 52870
3444.63/3461.95 c #Conflicts: 2132000 | #Constraints: 53919
3444.63/3461.95 c #Conflicts: 2133000 | #Constraints: 54968
3444.63/3461.95 c #Conflicts: 2134000 | #Constraints: 55968
3444.63/3461.95 c #Conflicts: 2135000 | #Constraints: 56973
3444.63/3461.95 c #Conflicts: 2136000 | #Constraints: 58001
3444.63/3461.95 c #Conflicts: 2137000 | #Constraints: 59017
3444.63/3461.95 c INPROCESSING
3444.63/3461.95 c GARBAGE COLLECT
3444.63/3461.95 c rational objective 1.76832
3554.94/3572.60 c #Conflicts: 2138000 | #Constraints: 30418
3554.94/3572.60 c #Conflicts: 2139000 | #Constraints: 31444
3554.94/3572.60 c #Conflicts: 2140000 | #Constraints: 32494
3554.94/3572.60 c #Conflicts: 2141000 | #Constraints: 33594
3554.94/3572.60 c #Conflicts: 2142000 | #Constraints: 34707
3554.94/3572.60 c #Conflicts: 2143000 | #Constraints: 35782
3554.94/3572.60 c #Conflicts: 2144000 | #Constraints: 36829
3554.94/3572.60 c #Conflicts: 2145000 | #Constraints: 37913
3554.94/3572.60 c #Conflicts: 2146000 | #Constraints: 38998
3554.94/3572.60 c #Conflicts: 2147000 | #Constraints: 40052
3554.94/3572.60 c #Conflicts: 2148000 | #Constraints: 41145
3554.94/3572.60 c #Conflicts: 2149000 | #Constraints: 42167
3554.94/3572.60 c #Conflicts: 2150000 | #Constraints: 43220
3554.94/3572.60 c #Conflicts: 2151000 | #Constraints: 44292
3554.94/3572.60 c #Conflicts: 2152000 | #Constraints: 45294
3554.94/3572.60 c #Conflicts: 2153000 | #Constraints: 46294
3554.94/3572.60 c #Conflicts: 2154000 | #Constraints: 47354
3554.94/3572.60 c #Conflicts: 2155000 | #Constraints: 48405
3554.94/3572.60 c #Conflicts: 2156000 | #Constraints: 49458
3554.94/3572.60 c #Conflicts: 2157000 | #Constraints: 50520
3554.94/3572.60 c #Conflicts: 2158000 | #Constraints: 51593
3554.94/3572.60 c #Conflicts: 2159000 | #Constraints: 52711
3554.94/3572.60 c #Conflicts: 2160000 | #Constraints: 53753
3554.94/3572.60 c #Conflicts: 2161000 | #Constraints: 54814
3554.94/3572.60 c #Conflicts: 2162000 | #Constraints: 55821
3554.94/3572.60 c #Conflicts: 2163000 | #Constraints: 56821
3554.94/3572.60 c #Conflicts: 2164000 | #Constraints: 57843
3554.94/3572.60 c #Conflicts: 2165000 | #Constraints: 58843
3554.94/3572.60 c #Conflicts: 2166000 | #Constraints: 59864
3554.94/3572.60 c INPROCESSING
3554.94/3572.60 c GARBAGE COLLECT
3554.94/3572.60 c rational objective 2.09379
3600.08/3617.90 c #Conflicts: 2167000 | #Constraints: 30657
3600.08/3617.90 c #Conflicts: 2168000 | #Constraints: 31657
3600.08/3617.90 c #Conflicts: 2169000 | #Constraints: 32672
3600.08/3617.90 c #Conflicts: 2170000 | #Constraints: 33735
3600.08/3617.90 c #Conflicts: 2171000 | #Constraints: 34735
3600.08/3617.90 c #Conflicts: 2172000 | #Constraints: 35744
3600.08/3617.90 c #Conflicts: 2173000 | #Constraints: 36756
3600.08/3617.90 c #Conflicts: 2174000 | #Constraints: 37756
3600.08/3617.90 c #Conflicts: 2175000 | #Constraints: 38783
3600.08/3617.90 c #Conflicts: 2176000 | #Constraints: 39800
3600.08/3617.90 c #Conflicts: 2177000 | #Constraints: 40800
3600.08/3617.90 c #Conflicts: 2178000 | #Constraints: 41824
3600.08/3617.90 c #Conflicts: 2179000 | #Constraints: 42828
3600.08/3617.90 c #Conflicts: 2180000 | #Constraints: 43828
3600.08/3617.90 c cpu time 3578.98 s
3600.08/3617.90 c deterministic time 932706487875 9.33e+11
3600.08/3617.90 c optimization time 44.9324 s
3600.08/3617.90 c total solve time 3534.05 s
3600.08/3617.90 c core-guided solve time 0 s
3600.08/3617.90 c propagation time 3299.76 s
3600.08/3617.90 c conflict analysis time 250.102 s
3600.08/3617.90 c propagations 16328152
3600.08/3617.90 c resolve steps 7622704
3600.08/3617.90 c decisions 3202933
3600.08/3617.90 c conflicts 2180566
3600.08/3617.90 c restarts 4093
3600.08/3617.90 c inprocessing phases 138
3600.08/3617.90 c garbage collections 138 ,( 100.00 )
3600.08/3617.90 c input clauses 0 ,( 0.00 )
3600.08/3617.90 c input cardinalities 0 ,( 0.00 )
3600.08/3617.90 c input general constraints 2 ,( 100.00 )
3600.08/3617.90 c input average constraint length 70.00
3600.08/3617.90 c input average constraint degree 388008603.50
3600.08/3617.90 c learned clauses 1229156 ,( 55.58 )
3600.08/3617.90 c learned cardinalities 4 ,( 0.00 )
3600.08/3617.90 c learned general constraints 982245 ,( 44.42 )
3600.08/3617.90 c learned average constraint length 47.82
3600.08/3617.90 c learned average constraint degree 58075406.87
3600.08/3617.90 c watched CF 32, 64, 128, Arb: 206314 , 0 , 0 , 0
3600.08/3617.90 c counting CF 32, 64, 128, Arb: 775933 , 0 , 0 , 0
3600.08/3617.90 c watched constraints 206314 ,( 21.00 )
3600.08/3617.90 c counting constraints 775933 ,( 79.00 )
3600.08/3617.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 151351557 , 689 , 63979513068 ,( 368590738 , 63610922330 )
3600.08/3617.90 c gcd simplifications 1306265
3600.08/3617.90 c detected cardinalities 3
3600.08/3617.90 c weakened non-implied lits 7905628
3600.08/3617.90 c weakened non-implying lits 17161212
3600.08/3617.90 c original variables 70
3600.08/3617.90 c clausal propagations 1887874
3600.08/3617.90 c cardinality propagations 4
3600.08/3617.90 c watched propagations 718877
3600.08/3617.90 c counting propagations 11396101
3600.08/3617.90 c watch lookups 67157969769
3600.08/3617.90 c watch backjump lookups 0
3600.08/3617.90 c watch checks 3739652106
3600.08/3617.90 c propagation checks 861224265128
3600.08/3617.90 c constraint additions 543136505
3600.08/3617.90 c trail pops 21711581
3600.08/3617.90 c formula constraints 2
3600.08/3617.90 c learned constraints 2180565
3600.08/3617.90 c bound constraints 0
3600.08/3617.90 c core-guided constraints 0
3600.08/3617.90 c encountered formula constraints 5099060
3600.08/3617.90 c encountered learned constraints 4704139
3600.08/3617.90 c encountered bound constraints 0
3600.08/3617.90 c encountered core-guided constraints 0
3600.08/3617.90 c LP total time 24.8017 s
3600.08/3617.90 c LP solve time 15.85 s
3600.08/3617.90 c LP constraints added 138
3600.08/3617.90 c LP constraints removed 128
3600.08/3617.90 c LP pivots internal 218057
3600.08/3617.90 c LP pivots root 3643
3600.08/3617.90 c LP calls 122348
3600.08/3617.90 c LP optimalities 90927
3600.08/3617.90 c LP no pivot count 14720
3600.08/3617.90 c LP infeasibilities 31066
3600.08/3617.90 c LP valid Farkas constraints 30772
3600.08/3617.90 c LP learned Farkas constraints 0
3600.08/3617.90 c LP basis resets 355
3600.08/3617.90 c LP cycling count 283
3600.08/3617.90 c LP singular count 61
3600.08/3617.90 c LP no primal count 0
3600.08/3617.90 c LP no farkas count 0
3600.08/3617.90 c LP other issue count 11
3600.08/3617.90 c LP Gomory cuts 68
3600.08/3617.90 c LP learned cuts 68
3600.08/3617.90 c LP deleted cuts 128
3600.08/3617.90 c LP encountered Gomory constraints 0
3600.08/3617.90 c LP encountered Farkas constraints 71
3600.08/3617.90 c LP encountered learned Farkas constraints 0
3600.08/3617.90 c CG auxiliary variables introduced 0
3600.08/3617.90 c CG solutions found 0
3600.08/3617.90 c CG cores constructed 0
3600.08/3617.90 c CG core cardinality constraints returned 0
3600.08/3617.90 c CG unit cores 0
3600.08/3617.90 c CG single cores 0
3600.08/3617.90 c CG blocks removed during cardinality reduction 0
3600.08/3617.90 c CG first core best 0
3600.08/3617.90 c CG decision core best 0
3600.08/3617.90 c CG core reduction tie 0
3600.08/3617.90 c CG core degree average 0.00
3600.08/3617.90 c CG core slack average 0.00
3600.08/3617.90 c CG core upper bound improvements 0
3600.08/3617.90 c STR number of successful calls 0
3600.08/3617.90 c STR number of unsuccessful calls 0
3600.08/3617.90 c STR number of inconclusive calls 0
3600.08/3617.90 c STR number of successful attempts 0
3600.08/3617.90 c STR number of unsuccessful attempts 0
3600.08/3617.90 c STR number of inconclusive attempts 0
3600.08/3617.90 c STR average degree increase per successful call inf
3600.08/3617.90 c STR average degree increase per successful attempt inf
3600.08/3617.90 c STR total number of conflicts for successful attempts 0
3600.08/3617.90 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3617.90 c STR total number of conflicts for inconclusive attempts 0
3600.08/3617.90 c STR average number of conflicts per successful attempt inf
3600.08/3617.90 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3617.90 c STR average number of conflicts per inconclusive attempt inf
3600.08/3617.90 c AVG.sumWPerc 68.42
3600.08/3617.90 c bigint constraints 0
3600.08/3617.90 s UNKNOWN
3600.08/3617.90 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: 63708 MiB (60769 MiB free)
memory of node 1: 64465 MiB (62934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495861-1751156263/watcher-4495861-1751156263 -o /tmp/evaluation-result-4495861-1751156263/solver-4495861-1751156263 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15094 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4495861-1751156263.opb PROOFDIR/proof-4495861-1751156263
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18548, runsolver pid=18545
[startup+0.100057 s]*
/proc/loadavg: 4.10 4.03 3.74 5/275 18551
/proc/meminfo: memFree=126668368/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=56080 memory=12944 CPUtime=0.07 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 600 0 0 0 7 0 0 0 20 0 1 0 31304827 57425920 3236 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 14020 3236 2368 1147 0 1447 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60272 KiB
Current children cumulated memory: 15888 KiB
[startup+0.205628 s]*
/proc/loadavg: 4.10 4.03 3.74 5/275 18551
/proc/meminfo: memFree=126668368/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=56752 memory=13712 CPUtime=0.18 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 769 0 0 0 17 1 0 0 20 0 1 0 31304827 58114048 3428 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 14188 3428 2368 1147 0 1615 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 16656 KiB
[startup+0.305236 s]*
/proc/loadavg: 4.10 4.03 3.74 5/275 18551
/proc/meminfo: memFree=126668368/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=57020 memory=13968 CPUtime=0.28 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 834 0 0 0 27 1 0 0 20 0 1 0 31304827 58388480 3492 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 14255 3492 2368 1147 0 1682 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61212 KiB
Current children cumulated memory: 16912 KiB
[startup+0.700141 s]
/proc/loadavg: 4.10 4.03 3.74 5/275 18551
/proc/meminfo: memFree=126668368/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=58156 memory=14992 CPUtime=0.67 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 1111 0 0 0 64 3 0 0 20 0 1 0 31304827 59551744 3748 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 14539 3748 2368 1147 0 1966 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62348 KiB
Current children cumulated memory: 17936 KiB
[startup+1.50014 s]
/proc/loadavg: 4.10 4.03 3.74 5/275 18551
/proc/meminfo: memFree=126668368/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=58736 memory=15504 CPUtime=1.47 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 1227 0 0 0 141 6 0 0 20 0 1 0 31304827 60145664 3876 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 14684 3876 2368 1147 0 2111 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 62928 KiB
Current children cumulated memory: 18448 KiB
[startup+3.10524 s]
/proc/loadavg: 4.10 4.03 3.74 5/275 18551
/proc/meminfo: memFree=126644428/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=60448 memory=17040 CPUtime=3.07 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 1598 0 0 0 297 10 0 0 20 0 1 0 31304827 61898752 4260 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 15112 4260 2368 1147 0 2539 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64640 KiB
Current children cumulated memory: 19984 KiB
[startup+6.30013 s]
/proc/loadavg: 4.17 4.04 3.75 5/275 18551
/proc/meminfo: memFree=126636648/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=61952 memory=18192 CPUtime=6.25 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 1902 0 0 0 607 18 0 0 20 0 1 0 31304827 63438848 4548 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 15488 4548 2368 1147 0 2915 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 66144 KiB
Current children cumulated memory: 21136 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.04 3.75 5/275 18552
/proc/meminfo: memFree=126608684/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=62788 memory=20976 CPUtime=12.64 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 2097 0 0 0 1231 33 0 0 20 0 1 0 31304827 64294912 5244 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 15697 5244 2368 1147 0 3124 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66980 KiB
Current children cumulated memory: 23920 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.04 3.75 5/275 18552
/proc/meminfo: memFree=126466072/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=64104 memory=23152 CPUtime=25.4 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 2546 0 0 0 2483 57 0 0 20 0 1 0 31304827 65642496 5788 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 16026 5788 2496 1147 0 3453 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 68296 KiB
Current children cumulated memory: 26096 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.05 3.77 5/275 18552
/proc/meminfo: memFree=126282064/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=66196 memory=24816 CPUtime=50.87 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 3052 0 0 0 4983 104 0 0 20 0 1 0 31304827 67784704 6204 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 16549 6204 2496 1147 0 3976 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 70388 KiB
Current children cumulated memory: 27760 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.06 3.79 5/275 18557
/proc/meminfo: memFree=125844896/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=73108 memory=30940 CPUtime=101.8 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 4451 0 0 0 10008 172 0 0 20 0 1 0 31304827 74862592 7735 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 18277 7735 2496 1147 0 5704 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 77300 KiB
Current children cumulated memory: 33884 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.06 3.81 5/276 18560
/proc/meminfo: memFree=125355648/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=74020 memory=32348 CPUtime=161.52 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 5277 0 0 0 15909 243 0 0 20 0 1 0 31304827 75796480 8087 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 18505 8087 2496 1147 0 5932 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 78212 KiB
Current children cumulated memory: 35292 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.10 3.84 5/275 18562
/proc/meminfo: memFree=124924772/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=83364 memory=35632 CPUtime=221.25 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 6718 0 0 0 21813 312 0 0 20 0 1 0 31304827 85364736 8908 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
################
# More data... #
################
/proc/18551/statm: 34103 20355 2496 1147 0 21530 0
Current children cumulated CPU time: 3086.36 s
Current children cumulated vsize: 140604 KiB
Current children cumulated memory: 84364 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/273 19007
/proc/meminfo: memFree=121609280/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=136412 memory=81548 CPUtime=3146.17 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 19167 0 0 0 312633 1984 0 0 20 0 1 0 31304827 139685888 20387 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 34103 20387 2496 1147 0 21530 0
Current children cumulated CPU time: 3146.17 s
Current children cumulated vsize: 140604 KiB
Current children cumulated memory: 84492 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/273 19106
/proc/meminfo: memFree=126395220/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=136412 memory=81548 CPUtime=3205.95 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 19167 0 0 0 318592 2003 0 0 20 0 1 0 31304827 139685888 20387 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 34103 20387 2496 1147 0 21530 0
Current children cumulated CPU time: 3205.95 s
Current children cumulated vsize: 140604 KiB
Current children cumulated memory: 84492 KiB
[startup+3282.3 s]
/proc/loadavg: 4.40 4.21 4.12 5/273 19534
/proc/meminfo: memFree=125999744/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=136592 memory=83912 CPUtime=3265.72 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 19337 0 0 0 324552 2020 0 0 20 0 1 0 31304827 139870208 20978 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 34148 20978 2496 1147 0 21575 0
Current children cumulated CPU time: 3265.72 s
Current children cumulated vsize: 140784 KiB
Current children cumulated memory: 86856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.18 4.11 5/274 19537
/proc/meminfo: memFree=125360216/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=136592 memory=83912 CPUtime=3325.49 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 19345 0 0 0 330512 2037 0 0 20 0 1 0 31304827 139870208 20978 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 34148 20978 2496 1147 0 21575 0
Current children cumulated CPU time: 3325.49 s
Current children cumulated vsize: 140784 KiB
Current children cumulated memory: 86856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/275 19540
/proc/meminfo: memFree=124834004/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=137052 memory=84296 CPUtime=3385.23 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 19460 0 0 0 336469 2054 0 0 20 0 1 0 31304827 140341248 21074 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 34263 21074 2496 1147 0 21690 0
Current children cumulated CPU time: 3385.23 s
Current children cumulated vsize: 141244 KiB
Current children cumulated memory: 87240 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.11 4/275 19542
/proc/meminfo: memFree=124172360/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=137052 memory=84296 CPUtime=3445.03 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 19461 0 0 0 342435 2068 0 0 20 0 1 0 31304827 140341248 21074 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 34263 21074 2496 1147 0 21690 0
Current children cumulated CPU time: 3445.03 s
Current children cumulated vsize: 141244 KiB
Current children cumulated memory: 87240 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/274 19544
/proc/meminfo: memFree=123655824/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=137052 memory=84296 CPUtime=3504.83 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 19461 0 0 0 348397 2086 0 0 20 0 1 0 31304827 140341248 21074 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 34263 21074 2496 1147 0 21690 0
Current children cumulated CPU time: 3504.83 s
Current children cumulated vsize: 141244 KiB
Current children cumulated memory: 87240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/274 19547
/proc/meminfo: memFree=122984412/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=136264 memory=83784 CPUtime=3564.6 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 19533 0 0 0 354359 2101 0 0 20 0 1 0 31304827 139534336 20946 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 34066 20946 2496 1147 0 21493 0
Current children cumulated CPU time: 3564.6 s
Current children cumulated vsize: 140456 KiB
Current children cumulated memory: 86728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617.9 s]
/proc/loadavg: 4.08 4.13 4.09 5/272 19552
/proc/meminfo: memFree=122661204/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=136264 memory=83784 CPUtime=3600.08 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 19533 0 0 0 357898 2110 0 0 20 0 1 0 31304827 139534336 20946 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 34066 20946 2496 1147 0 21493 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 140456 KiB
Current children cumulated memory: 86728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3617.9 s]
# the end of solver process 18548 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002673 s, system=0.001674 s
[startup+3617.92 s]
# the end of solver process 18551 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.99 s, system=21.1136 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3617.9 s]
/proc/loadavg: 4.08 4.13 4.09 5/272 19552
/proc/meminfo: memFree=122661204/131249988 swapFree=33010684/33010684
[pid=18548] ppid=18545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18548/stat : 18548 (run-dec-break-l) S 18545 18548 15084 0 -1 4194304 241 207 0 0 0 0 0 0 20 0 1 0 31304826 4292608 736 18446744073709551615 94457153220608 94457154115141 140731994411712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94457154354192 94457154401936 94457182564352 140731994417429 140731994417630 140731994417630 140731994423232 0
/proc/18548/statm: 1048 736 672 219 0 110 0
[pid=18551] ppid=18548 vsize=136264 memory=83784 CPUtime=3600.08 cores=0,2
/proc/18551/stat : 18551 (roundingsat) R 18548 18548 15084 0 -1 4194304 19533 0 0 0 357898 2110 0 0 20 0 1 0 31304827 139534336 20946 18446744073709551615 4227072 8923433 140724742890960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33640448 140724742895860 140724742896168 140724742896168 140724742901738 0
/proc/18551/statm: 34066 20946 2496 1147 0 21493 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 140456 KiB
Current children cumulated memory: 86728 KiB
Child status: 2
Real time (s): 3617.92
CPU time (s): 3600.1
CPU user time (s): 3578.99
CPU system time (s): 21.1136
CPU usage (%): 99.5076
Max. virtual memory (cumulated for all children) (KiB): 141496
Max. memory (cumulated for all children) (KiB): 87624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.99
system time used= 21.1136
maximum resident set size= 84680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4063272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 490
involuntary context switches= 8655
# summary of solver processes directly reported to runsolver:
# pid: 18548,18551
# total CPU time (s): 3600.1
# total CPU user time (s): 3578.99
# total CPU system time (s): 21.1136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26811 second user time and 16.9788 second system time
The end
Begin job on nodeC031 at 2025-06-29 02:17:43
IDJOB=4495861
IDBENCH=148100
IDSOLVER=3358
FILE ID=nodeC031/4495861-1751156263
RUNJOBID= nodeC031-1751155546-15094
SLURM_JOB_ID= 9587472
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495861-1751156263/watcher-4495861-1751156263 -o /tmp/evaluation-result-4495861-1751156263/solver-4495861-1751156263 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15094 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4495861-1751156263.opb PROOFDIR/proof-4495861-1751156263
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=1628619987
nodeC031 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 : 3602.587
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.78
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.934
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.78
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.892
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.78
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 : 3600.637
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.78
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.887
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.78
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.886
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.688
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.78
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 : 3599.982
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 126672464 kB
MemAvailable: 128989348 kB
Buffers: 3280 kB
Cached: 3125028 kB
SwapCached: 0 kB
Active: 1095040 kB
Inactive: 2905960 kB
Active(anon): 890804 kB
Inactive(anon): 0 kB
Active(file): 204236 kB
Inactive(file): 2905960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22052 kB
Writeback: 0 kB
AnonPages: 874584 kB
Mapped: 116820 kB
Shmem: 18064 kB
KReclaimable: 91856 kB
Slab: 177776 kB
SReclaimable: 91856 kB
SUnreclaim: 85920 kB
KernelStack: 4496 kB
PageTables: 4960 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1257624 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 497664 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC031 at 2025-06-29 03:18:01