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-4510621-1751197778.opb'
0.00/0.01 c read 0.04MB (0.56ms)
0.00/0.01 c [cnf: #variables 701 #clauses 702 #duplicates 278 #arr 2804]
0.00/0.01 c output proof to 'PROOFDIR/proof-4510621-1751197778'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 420] (0.66ms)
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.02 c (9.43ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 3506 #edges 9814]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 4.00*10^0 #generators 2] (2.21ms)
0.00/0.02 c
0.00/0.02 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.02 c (0.00ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c add generic predicates (break_depth=10)
0.00/0.02 c added predicates for 2 generators (0.01ms)
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 56 #add_vars 18]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4510621-1751197778.opb.pre'
0.00/0.02 c wrote 0.03MB (0.12ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 9.43ms 59.13% detect_special
0.00/0.02 c 2.92ms 18.28% other
0.00/0.02 c 2.21ms 13.84% detect_generic
0.00/0.02 c 0.66ms 4.14% approx_orbits
0.00/0.02 c 0.56ms 3.52% parse
0.00/0.02 c 0.12ms 0.77% output
0.00/0.02 c 0.04ms 0.23% finalize_order
0.00/0.02 c 0.01ms 0.08% break_generic
0.00/0.02 c 0.00ms 0.02% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 15.96ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.04 c #variables 719 #constraints 758
0.00/0.05 c rational objective 350.5
0.27/0.37 c #Conflicts: 1000 | #Constraints: 1765
0.27/0.37 c #Conflicts: 2000 | #Constraints: 2766
0.27/0.37 c INPROCESSING
0.27/0.37 c GARBAGE COLLECT
0.27/0.37 c #Conflicts: 3000 | #Constraints: 2801
0.27/0.37 c #Conflicts: 4000 | #Constraints: 3801
0.27/0.37 c INPROCESSING
0.27/0.37 c GARBAGE COLLECT
0.27/0.37 c #Conflicts: 5000 | #Constraints: 3226
0.27/0.37 c #Conflicts: 6000 | #Constraints: 4226
0.27/0.37 c INPROCESSING
0.27/0.37 c GARBAGE COLLECT
0.27/0.37 c #Conflicts: 7000 | #Constraints: 3240
0.27/0.37 c #Conflicts: 8000 | #Constraints: 4240
0.27/0.37 c #Conflicts: 9000 | #Constraints: 5240
0.27/0.37 c INPROCESSING
0.27/0.37 c GARBAGE COLLECT
0.27/0.37 c rational objective 350.5
0.37/0.48 c #Conflicts: 10000 | #Constraints: 3950
0.37/0.48 c #Conflicts: 11000 | #Constraints: 4950
0.37/0.48 c #Conflicts: 12000 | #Constraints: 5950
0.37/0.48 c INPROCESSING
0.37/0.48 c GARBAGE COLLECT
0.37/0.48 c rational objective 350.5
0.47/0.60 c #Conflicts: 13000 | #Constraints: 4407
0.47/0.60 c #Conflicts: 14000 | #Constraints: 5407
0.47/0.60 c #Conflicts: 15000 | #Constraints: 6407
0.47/0.60 c INPROCESSING
0.47/0.60 c GARBAGE COLLECT
0.47/0.60 c rational objective 350.5
0.66/0.72 c #Conflicts: 16000 | #Constraints: 4640
0.66/0.72 c #Conflicts: 17000 | #Constraints: 5641
0.66/0.72 c #Conflicts: 18000 | #Constraints: 6641
0.66/0.72 c INPROCESSING
0.66/0.72 c GARBAGE COLLECT
0.66/0.72 c rational objective 350.5
0.76/0.86 c #Conflicts: 19000 | #Constraints: 4654
0.76/0.86 c #Conflicts: 20000 | #Constraints: 5655
0.76/0.86 c #Conflicts: 21000 | #Constraints: 6655
0.76/0.86 c INPROCESSING
0.76/0.86 c GARBAGE COLLECT
0.76/0.86 c rational objective 350.5
0.96/1.02 c #Conflicts: 22000 | #Constraints: 4459
0.96/1.02 c #Conflicts: 23000 | #Constraints: 5459
0.96/1.02 c #Conflicts: 24000 | #Constraints: 6459
0.96/1.02 c #Conflicts: 25000 | #Constraints: 7459
0.96/1.02 c INPROCESSING
0.96/1.02 c GARBAGE COLLECT
0.96/1.02 c rational objective 350.5
1.07/1.18 c #Conflicts: 26000 | #Constraints: 5066
1.07/1.18 c #Conflicts: 27000 | #Constraints: 6066
1.07/1.18 c #Conflicts: 28000 | #Constraints: 7066
1.07/1.18 c #Conflicts: 29000 | #Constraints: 8066
1.07/1.18 c INPROCESSING
1.07/1.18 c GARBAGE COLLECT
1.07/1.18 c rational objective 350.5
1.26/1.34 c #Conflicts: 30000 | #Constraints: 5468
1.26/1.34 c #Conflicts: 31000 | #Constraints: 6468
1.26/1.34 c #Conflicts: 32000 | #Constraints: 7468
1.26/1.34 c #Conflicts: 33000 | #Constraints: 8468
1.26/1.34 c INPROCESSING
1.26/1.34 c GARBAGE COLLECT
1.26/1.34 c rational objective 350.5
1.46/1.51 c #Conflicts: 34000 | #Constraints: 5670
1.46/1.51 c #Conflicts: 35000 | #Constraints: 6670
1.46/1.51 c #Conflicts: 36000 | #Constraints: 7670
1.46/1.51 c #Conflicts: 37000 | #Constraints: 8670
1.46/1.51 c INPROCESSING
1.46/1.51 c GARBAGE COLLECT
1.46/1.51 c rational objective 350.5
1.66/1.73 c #Conflicts: 38000 | #Constraints: 5668
1.66/1.73 c #Conflicts: 39000 | #Constraints: 6668
1.66/1.73 c #Conflicts: 40000 | #Constraints: 7668
1.66/1.73 c #Conflicts: 41000 | #Constraints: 8668
1.66/1.73 c INPROCESSING
1.66/1.73 c GARBAGE COLLECT
1.66/1.73 c rational objective 350.5
1.85/1.94 c #Conflicts: 42000 | #Constraints: 5470
1.85/1.94 c #Conflicts: 43000 | #Constraints: 6470
1.85/1.94 c #Conflicts: 44000 | #Constraints: 7470
1.85/1.94 c #Conflicts: 45000 | #Constraints: 8470
1.85/1.94 c #Conflicts: 46000 | #Constraints: 9470
1.85/1.94 c INPROCESSING
1.85/1.94 c GARBAGE COLLECT
1.85/1.94 c rational objective 350.5
2.06/2.14 c #Conflicts: 47000 | #Constraints: 6067
2.06/2.14 c #Conflicts: 48000 | #Constraints: 7067
2.06/2.14 c #Conflicts: 49000 | #Constraints: 8067
2.06/2.14 c #Conflicts: 50000 | #Constraints: 9067
2.06/2.14 c #Conflicts: 51000 | #Constraints: 10067
2.06/2.14 c INPROCESSING
2.06/2.14 c GARBAGE COLLECT
2.06/2.14 c rational objective 350.5
2.25/2.35 c #Conflicts: 52000 | #Constraints: 6465
2.25/2.35 c #Conflicts: 53000 | #Constraints: 7465
2.25/2.35 c #Conflicts: 54000 | #Constraints: 8465
2.25/2.35 c #Conflicts: 55000 | #Constraints: 9465
2.25/2.35 c #Conflicts: 56000 | #Constraints: 10465
2.25/2.35 c INPROCESSING
2.25/2.35 c GARBAGE COLLECT
2.25/2.35 c rational objective 350.5
2.46/2.59 c #Conflicts: 57000 | #Constraints: 6667
2.46/2.59 c #Conflicts: 58000 | #Constraints: 7668
2.46/2.59 c #Conflicts: 59000 | #Constraints: 8668
2.46/2.59 c #Conflicts: 60000 | #Constraints: 9668
2.46/2.59 c #Conflicts: 61000 | #Constraints: 10668
2.46/2.59 c INPROCESSING
2.46/2.59 c GARBAGE COLLECT
2.46/2.59 c rational objective 350.5
2.76/2.83 c #Conflicts: 62000 | #Constraints: 6670
2.76/2.83 c #Conflicts: 63000 | #Constraints: 7670
2.76/2.83 c #Conflicts: 64000 | #Constraints: 8670
2.76/2.83 c #Conflicts: 65000 | #Constraints: 9670
2.76/2.83 c #Conflicts: 66000 | #Constraints: 10670
2.76/2.83 c INPROCESSING
2.76/2.83 c GARBAGE COLLECT
2.76/2.83 c rational objective 350.5
3.06/3.10 c #Conflicts: 67000 | #Constraints: 6467
3.06/3.10 c #Conflicts: 68000 | #Constraints: 7467
3.06/3.10 c #Conflicts: 69000 | #Constraints: 8467
3.06/3.10 c #Conflicts: 70000 | #Constraints: 9467
3.06/3.10 c #Conflicts: 71000 | #Constraints: 10467
3.06/3.10 c #Conflicts: 72000 | #Constraints: 11467
3.06/3.10 c INPROCESSING
3.06/3.10 c GARBAGE COLLECT
3.06/3.10 c rational objective 350.5
3.25/3.36 c #Conflicts: 73000 | #Constraints: 7060
3.25/3.36 c #Conflicts: 74000 | #Constraints: 8060
3.25/3.36 c #Conflicts: 75000 | #Constraints: 9060
3.25/3.36 c #Conflicts: 76000 | #Constraints: 10060
3.25/3.36 c #Conflicts: 77000 | #Constraints: 11060
3.25/3.36 c #Conflicts: 78000 | #Constraints: 12060
3.25/3.36 c INPROCESSING
3.25/3.36 c GARBAGE COLLECT
3.25/3.36 c rational objective 350.5
3.55/3.63 c #Conflicts: 79000 | #Constraints: 7467
3.55/3.63 c #Conflicts: 80000 | #Constraints: 8467
3.55/3.63 c #Conflicts: 81000 | #Constraints: 9467
3.55/3.63 c #Conflicts: 82000 | #Constraints: 10467
3.55/3.63 c #Conflicts: 83000 | #Constraints: 11467
3.55/3.63 c #Conflicts: 84000 | #Constraints: 12467
3.55/3.63 c INPROCESSING
3.55/3.63 c GARBAGE COLLECT
3.55/3.63 c rational objective 350.5
3.85/3.92 c #Conflicts: 85000 | #Constraints: 7671
3.85/3.92 c #Conflicts: 86000 | #Constraints: 8671
3.85/3.92 c #Conflicts: 87000 | #Constraints: 9671
3.85/3.92 c #Conflicts: 88000 | #Constraints: 10671
3.85/3.92 c #Conflicts: 89000 | #Constraints: 11671
3.85/3.92 c #Conflicts: 90000 | #Constraints: 12671
3.85/3.92 c INPROCESSING
3.85/3.92 c GARBAGE COLLECT
3.85/3.92 c rational objective 350.5
4.15/4.28 c #Conflicts: 91000 | #Constraints: 7669
4.15/4.28 c #Conflicts: 92000 | #Constraints: 8669
4.15/4.28 c #Conflicts: 93000 | #Constraints: 9669
4.15/4.28 c #Conflicts: 94000 | #Constraints: 10669
4.15/4.28 c #Conflicts: 95000 | #Constraints: 11669
4.15/4.28 c #Conflicts: 96000 | #Constraints: 12669
4.15/4.28 c INPROCESSING
4.15/4.28 c GARBAGE COLLECT
4.15/4.28 c rational objective 350.5
4.45/4.58 c #Conflicts: 97000 | #Constraints: 7467
4.45/4.58 c #Conflicts: 98000 | #Constraints: 8467
4.45/4.58 c #Conflicts: 99000 | #Constraints: 9467
4.45/4.58 c #Conflicts: 100000 | #Constraints: 10467
4.45/4.58 c #Conflicts: 101000 | #Constraints: 11467
4.45/4.58 c #Conflicts: 102000 | #Constraints: 12467
4.45/4.58 c #Conflicts: 103000 | #Constraints: 13467
4.45/4.58 c INPROCESSING
4.45/4.58 c GARBAGE COLLECT
4.45/4.58 c rational objective 350.5
4.75/4.88 c #Conflicts: 104000 | #Constraints: 8078
4.75/4.88 c #Conflicts: 105000 | #Constraints: 9078
4.75/4.88 c #Conflicts: 106000 | #Constraints: 10078
4.75/4.88 c #Conflicts: 107000 | #Constraints: 11078
4.75/4.88 c #Conflicts: 108000 | #Constraints: 12078
4.75/4.88 c #Conflicts: 109000 | #Constraints: 13078
4.75/4.88 c #Conflicts: 110000 | #Constraints: 14078
4.75/4.88 c INPROCESSING
4.75/4.88 c GARBAGE COLLECT
4.75/4.88 c rational objective 350.5
5.06/5.18 c #Conflicts: 111000 | #Constraints: 8479
5.06/5.18 c #Conflicts: 112000 | #Constraints: 9479
5.06/5.18 c #Conflicts: 113000 | #Constraints: 10480
5.06/5.18 c #Conflicts: 114000 | #Constraints: 11480
5.06/5.18 c #Conflicts: 115000 | #Constraints: 12480
5.06/5.18 c #Conflicts: 116000 | #Constraints: 13480
5.06/5.18 c #Conflicts: 117000 | #Constraints: 14480
5.06/5.18 c INPROCESSING
5.06/5.18 c GARBAGE COLLECT
5.06/5.18 c rational objective 350.5
5.35/5.48 c #Conflicts: 118000 | #Constraints: 8683
5.35/5.48 c #Conflicts: 119000 | #Constraints: 9683
5.35/5.48 c #Conflicts: 120000 | #Constraints: 10683
5.35/5.48 c #Conflicts: 121000 | #Constraints: 11683
5.35/5.48 c #Conflicts: 122000 | #Constraints: 12683
5.35/5.48 c #Conflicts: 123000 | #Constraints: 13683
5.35/5.48 c #Conflicts: 124000 | #Constraints: 14683
5.35/5.48 c INPROCESSING
5.35/5.48 c GARBAGE COLLECT
5.35/5.48 c rational objective 350.5
5.75/5.81 c #Conflicts: 125000 | #Constraints: 8678
5.75/5.81 c #Conflicts: 126000 | #Constraints: 9678
5.75/5.81 c #Conflicts: 127000 | #Constraints: 10678
5.75/5.81 c #Conflicts: 128000 | #Constraints: 11678
5.75/5.81 c #Conflicts: 129000 | #Constraints: 12678
5.75/5.81 c #Conflicts: 130000 | #Constraints: 13678
5.75/5.81 c #Conflicts: 131000 | #Constraints: 14678
5.75/5.81 c INPROCESSING
5.75/5.81 c GARBAGE COLLECT
5.75/5.81 c rational objective 350.5
6.06/6.13 c #Conflicts: 132000 | #Constraints: 8477
6.06/6.13 c #Conflicts: 133000 | #Constraints: 9477
6.06/6.13 c #Conflicts: 134000 | #Constraints: 10477
6.06/6.13 c #Conflicts: 135000 | #Constraints: 11477
6.06/6.13 c #Conflicts: 136000 | #Constraints: 12477
6.06/6.13 c #Conflicts: 137000 | #Constraints: 13477
6.06/6.13 c #Conflicts: 138000 | #Constraints: 14477
6.06/6.13 c #Conflicts: 139000 | #Constraints: 15477
6.06/6.13 c INPROCESSING
6.06/6.13 c GARBAGE COLLECT
6.06/6.13 c rational objective 350.5
6.35/6.47 c #Conflicts: 140000 | #Constraints: 9076
6.35/6.47 c #Conflicts: 141000 | #Constraints: 10076
6.35/6.47 c #Conflicts: 142000 | #Constraints: 11076
6.35/6.47 c #Conflicts: 143000 | #Constraints: 12076
6.35/6.47 c #Conflicts: 144000 | #Constraints: 13076
6.35/6.47 c #Conflicts: 145000 | #Constraints: 14076
6.35/6.47 c #Conflicts: 146000 | #Constraints: 15076
6.35/6.47 c #Conflicts: 147000 | #Constraints: 16076
6.35/6.47 c INPROCESSING
6.35/6.47 c GARBAGE COLLECT
6.35/6.47 c rational objective 350.5
6.74/6.80 c #Conflicts: 148000 | #Constraints: 9481
6.74/6.80 c #Conflicts: 149000 | #Constraints: 10481
6.74/6.80 c #Conflicts: 150000 | #Constraints: 11481
6.74/6.80 c #Conflicts: 151000 | #Constraints: 12481
6.74/6.80 c #Conflicts: 152000 | #Constraints: 13481
6.74/6.80 c #Conflicts: 153000 | #Constraints: 14481
6.74/6.80 c #Conflicts: 154000 | #Constraints: 15481
6.74/6.80 c #Conflicts: 155000 | #Constraints: 16481
6.74/6.80 c INPROCESSING
6.74/6.80 c GARBAGE COLLECT
6.74/6.80 c rational objective 350.5
7.05/7.12 c #Conflicts: 156000 | #Constraints: 9682
7.05/7.12 c #Conflicts: 157000 | #Constraints: 10682
7.05/7.12 c #Conflicts: 158000 | #Constraints: 11682
7.05/7.12 c #Conflicts: 159000 | #Constraints: 12682
7.05/7.12 c #Conflicts: 160000 | #Constraints: 13682
7.05/7.12 c #Conflicts: 161000 | #Constraints: 14682
7.05/7.12 c #Conflicts: 162000 | #Constraints: 15682
7.05/7.12 c #Conflicts: 163000 | #Constraints: 16682
7.05/7.12 c INPROCESSING
7.05/7.12 c GARBAGE COLLECT
7.05/7.12 c rational objective 350.5
7.35/7.46 c #Conflicts: 164000 | #Constraints: 9683
7.35/7.46 c #Conflicts: 165000 | #Constraints: 10683
7.35/7.46 c #Conflicts: 166000 | #Constraints: 11683
7.35/7.46 c #Conflicts: 167000 | #Constraints: 12683
7.35/7.46 c #Conflicts: 168000 | #Constraints: 13683
7.35/7.46 c #Conflicts: 169000 | #Constraints: 14683
7.35/7.46 c #Conflicts: 170000 | #Constraints: 15683
7.35/7.46 c #Conflicts: 171000 | #Constraints: 16683
7.35/7.46 c INPROCESSING
7.35/7.46 c GARBAGE COLLECT
7.35/7.46 c rational objective 350.5
7.74/7.82 c #Conflicts: 172000 | #Constraints: 9482
7.74/7.82 c #Conflicts: 173000 | #Constraints: 10482
7.74/7.82 c #Conflicts: 174000 | #Constraints: 11482
7.74/7.82 c #Conflicts: 175000 | #Constraints: 12482
7.74/7.82 c #Conflicts: 176000 | #Constraints: 13482
7.74/7.82 c #Conflicts: 177000 | #Constraints: 14482
7.74/7.82 c #Conflicts: 178000 | #Constraints: 15482
7.74/7.82 c #Conflicts: 179000 | #Constraints: 16482
7.74/7.82 c #Conflicts: 180000 | #Constraints: 17482
7.74/7.82 c INPROCESSING
7.74/7.82 c GARBAGE COLLECT
7.74/7.82 c rational objective 350.5
8.05/8.16 c #Conflicts: 181000 | #Constraints: 10083
8.05/8.16 c #Conflicts: 182000 | #Constraints: 11083
8.05/8.16 c #Conflicts: 183000 | #Constraints: 12083
8.05/8.16 c #Conflicts: 184000 | #Constraints: 13083
8.05/8.16 c #Conflicts: 185000 | #Constraints: 14083
8.05/8.16 c #Conflicts: 186000 | #Constraints: 15083
8.05/8.16 c #Conflicts: 187000 | #Constraints: 16083
8.05/8.16 c #Conflicts: 188000 | #Constraints: 17083
8.05/8.16 c #Conflicts: 189000 | #Constraints: 18083
8.05/8.16 c INPROCESSING
8.05/8.16 c GARBAGE COLLECT
8.05/8.16 c rational objective 350.5
8.44/8.57 c #Conflicts: 190000 | #Constraints: 10490
8.44/8.57 c #Conflicts: 191000 | #Constraints: 11490
8.44/8.57 c #Conflicts: 192000 | #Constraints: 12490
8.44/8.57 c #Conflicts: 193000 | #Constraints: 13490
8.44/8.57 c #Conflicts: 194000 | #Constraints: 14490
8.44/8.57 c #Conflicts: 195000 | #Constraints: 15490
8.44/8.57 c #Conflicts: 196000 | #Constraints: 16490
8.44/8.57 c #Conflicts: 197000 | #Constraints: 17490
8.44/8.57 c #Conflicts: 198000 | #Constraints: 18490
8.44/8.57 c INPROCESSING
8.44/8.57 c GARBAGE COLLECT
8.44/8.57 c rational objective 350.5
8.84/8.96 c #Conflicts: 199000 | #Constraints: 10689
8.84/8.96 c #Conflicts: 200000 | #Constraints: 11689
8.84/8.96 c #Conflicts: 201000 | #Constraints: 12689
8.84/8.96 c #Conflicts: 202000 | #Constraints: 13689
8.84/8.96 c #Conflicts: 203000 | #Constraints: 14689
8.84/8.96 c #Conflicts: 204000 | #Constraints: 15689
8.84/8.96 c #Conflicts: 205000 | #Constraints: 16689
8.84/8.96 c #Conflicts: 206000 | #Constraints: 17689
8.84/8.96 c #Conflicts: 207000 | #Constraints: 18689
8.84/8.96 c INPROCESSING
8.84/8.96 c GARBAGE COLLECT
8.84/8.96 c rational objective 350.5
9.23/9.31 c #Conflicts: 208000 | #Constraints: 10689
9.23/9.31 c #Conflicts: 209000 | #Constraints: 11689
9.23/9.31 c #Conflicts: 210000 | #Constraints: 12689
9.23/9.31 c #Conflicts: 211000 | #Constraints: 13689
9.23/9.31 c #Conflicts: 212000 | #Constraints: 14689
9.23/9.31 c #Conflicts: 213000 | #Constraints: 15689
9.23/9.31 c #Conflicts: 214000 | #Constraints: 16689
9.23/9.31 c #Conflicts: 215000 | #Constraints: 17689
9.23/9.31 c #Conflicts: 216000 | #Constraints: 18689
9.23/9.31 c INPROCESSING
9.23/9.31 c GARBAGE COLLECT
9.23/9.31 c rational objective 350.5
9.63/9.73 c #Conflicts: 217000 | #Constraints: 10482
9.63/9.73 c #Conflicts: 218000 | #Constraints: 11482
9.63/9.73 c #Conflicts: 219000 | #Constraints: 12482
9.63/9.73 c #Conflicts: 220000 | #Constraints: 13482
9.63/9.73 c #Conflicts: 221000 | #Constraints: 14482
9.63/9.73 c #Conflicts: 222000 | #Constraints: 15482
9.63/9.73 c #Conflicts: 223000 | #Constraints: 16482
9.63/9.73 c #Conflicts: 224000 | #Constraints: 17482
9.63/9.73 c #Conflicts: 225000 | #Constraints: 18482
9.63/9.73 c #Conflicts: 226000 | #Constraints: 19482
9.63/9.73 c INPROCESSING
9.63/9.73 c GARBAGE COLLECT
9.63/9.73 c rational objective 350.5
10.04/10.13 c #Conflicts: 227000 | #Constraints: 11083
10.04/10.13 c #Conflicts: 228000 | #Constraints: 12083
10.04/10.13 c #Conflicts: 229000 | #Constraints: 13083
10.04/10.13 c #Conflicts: 230000 | #Constraints: 14083
10.04/10.13 c #Conflicts: 231000 | #Constraints: 15083
10.04/10.13 c #Conflicts: 232000 | #Constraints: 16083
10.04/10.13 c #Conflicts: 233000 | #Constraints: 17083
10.04/10.13 c #Conflicts: 234000 | #Constraints: 18083
10.04/10.13 c #Conflicts: 235000 | #Constraints: 19083
10.04/10.13 c #Conflicts: 236000 | #Constraints: 20083
10.04/10.13 c INPROCESSING
10.04/10.13 c GARBAGE COLLECT
10.04/10.13 c rational objective 350.5
10.44/10.52 c #Conflicts: 237000 | #Constraints: 11476
10.44/10.52 c #Conflicts: 238000 | #Constraints: 12476
10.44/10.52 c #Conflicts: 239000 | #Constraints: 13476
10.44/10.52 c #Conflicts: 240000 | #Constraints: 14476
10.44/10.52 c #Conflicts: 241000 | #Constraints: 15476
10.44/10.52 c #Conflicts: 242000 | #Constraints: 16476
10.44/10.52 c #Conflicts: 243000 | #Constraints: 17476
10.44/10.52 c #Conflicts: 244000 | #Constraints: 18476
10.44/10.52 c #Conflicts: 245000 | #Constraints: 19476
10.44/10.52 c #Conflicts: 246000 | #Constraints: 20476
10.44/10.52 c INPROCESSING
10.44/10.52 c GARBAGE COLLECT
10.44/10.52 c rational objective 350.5
10.83/10.93 c #Conflicts: 247000 | #Constraints: 11677
10.83/10.93 c #Conflicts: 248000 | #Constraints: 12677
10.83/10.93 c #Conflicts: 249000 | #Constraints: 13677
10.83/10.93 c #Conflicts: 250000 | #Constraints: 14677
10.83/10.93 c #Conflicts: 251000 | #Constraints: 15677
10.83/10.93 c #Conflicts: 252000 | #Constraints: 16677
10.83/10.93 c #Conflicts: 253000 | #Constraints: 17677
10.83/10.93 c #Conflicts: 254000 | #Constraints: 18677
10.83/10.93 c #Conflicts: 255000 | #Constraints: 19677
10.83/10.93 c #Conflicts: 256000 | #Constraints: 20677
10.83/10.93 c INPROCESSING
10.83/10.93 c GARBAGE COLLECT
10.83/10.93 c rational objective 350.5
11.24/11.34 c #Conflicts: 257000 | #Constraints: 11684
11.24/11.34 c #Conflicts: 258000 | #Constraints: 12684
11.24/11.34 c #Conflicts: 259000 | #Constraints: 13684
11.24/11.34 c #Conflicts: 260000 | #Constraints: 14684
11.24/11.34 c #Conflicts: 261000 | #Constraints: 15684
11.24/11.34 c #Conflicts: 262000 | #Constraints: 16684
11.24/11.34 c #Conflicts: 263000 | #Constraints: 17684
11.24/11.34 c #Conflicts: 264000 | #Constraints: 18684
11.24/11.34 c #Conflicts: 265000 | #Constraints: 19684
11.24/11.34 c #Conflicts: 266000 | #Constraints: 20684
11.24/11.34 c INPROCESSING
11.24/11.34 c GARBAGE COLLECT
11.24/11.34 c rational objective 350.5
11.64/11.77 c #Conflicts: 267000 | #Constraints: 11487
11.64/11.77 c #Conflicts: 268000 | #Constraints: 12487
11.64/11.77 c #Conflicts: 269000 | #Constraints: 13487
11.64/11.77 c #Conflicts: 270000 | #Constraints: 14487
11.64/11.77 c #Conflicts: 271000 | #Constraints: 15487
11.64/11.77 c #Conflicts: 272000 | #Constraints: 16487
11.64/11.77 c #Conflicts: 273000 | #Constraints: 17487
11.64/11.77 c #Conflicts: 274000 | #Constraints: 18487
11.64/11.77 c #Conflicts: 275000 | #Constraints: 19487
11.64/11.77 c #Conflicts: 276000 | #Constraints: 20487
11.64/11.77 c #Conflicts: 277000 | #Constraints: 21487
11.64/11.77 c INPROCESSING
11.64/11.77 c GARBAGE COLLECT
11.64/11.77 c rational objective 350.5
12.04/12.18 c #Conflicts: 278000 | #Constraints: 12087
12.04/12.18 c #Conflicts: 279000 | #Constraints: 13087
12.04/12.18 c #Conflicts: 280000 | #Constraints: 14087
12.04/12.18 c #Conflicts: 281000 | #Constraints: 15087
12.04/12.18 c #Conflicts: 282000 | #Constraints: 16087
12.04/12.18 c #Conflicts: 283000 | #Constraints: 17087
12.04/12.18 c #Conflicts: 284000 | #Constraints: 18087
12.04/12.18 c #Conflicts: 285000 | #Constraints: 19087
12.04/12.18 c #Conflicts: 286000 | #Constraints: 20087
12.04/12.18 c #Conflicts: 287000 | #Constraints: 21087
12.04/12.18 c #Conflicts: 288000 | #Constraints: 22087
12.04/12.18 c INPROCESSING
12.04/12.18 c GARBAGE COLLECT
12.04/12.18 c rational objective 350.5
12.53/12.61 c #Conflicts: 289000 | #Constraints: 12485
12.53/12.61 c #Conflicts: 290000 | #Constraints: 13485
12.53/12.61 c #Conflicts: 291000 | #Constraints: 14485
12.53/12.61 c #Conflicts: 292000 | #Constraints: 15485
12.53/12.61 c #Conflicts: 293000 | #Constraints: 16485
12.53/12.61 c #Conflicts: 294000 | #Constraints: 17485
12.53/12.61 c #Conflicts: 295000 | #Constraints: 18485
12.53/12.61 c #Conflicts: 296000 | #Constraints: 19485
12.53/12.61 c #Conflicts: 297000 | #Constraints: 20485
12.53/12.61 c #Conflicts: 298000 | #Constraints: 21485
12.53/12.61 c #Conflicts: 299000 | #Constraints: 22485
12.53/12.61 c INPROCESSING
12.53/12.61 c GARBAGE COLLECT
12.53/12.61 c rational objective 350.5
12.93/13.03 c #Conflicts: 300000 | #Constraints: 12692
12.93/13.03 c #Conflicts: 301000 | #Constraints: 13692
12.93/13.03 c #Conflicts: 302000 | #Constraints: 14692
12.93/13.03 c #Conflicts: 303000 | #Constraints: 15692
12.93/13.03 c #Conflicts: 304000 | #Constraints: 16692
12.93/13.03 c #Conflicts: 305000 | #Constraints: 17692
12.93/13.03 c #Conflicts: 306000 | #Constraints: 18692
12.93/13.03 c #Conflicts: 307000 | #Constraints: 19692
12.93/13.03 c #Conflicts: 308000 | #Constraints: 20692
12.93/13.03 c #Conflicts: 309000 | #Constraints: 21692
12.93/13.03 c #Conflicts: 310000 | #Constraints: 22692
12.93/13.03 c INPROCESSING
12.93/13.03 c GARBAGE COLLECT
12.93/13.03 c rational objective 350.5
13.43/13.53 c #Conflicts: 311000 | #Constraints: 12691
13.43/13.53 c #Conflicts: 312000 | #Constraints: 13691
13.43/13.53 c #Conflicts: 313000 | #Constraints: 14691
13.43/13.53 c #Conflicts: 314000 | #Constraints: 15691
13.43/13.53 c #Conflicts: 315000 | #Constraints: 16691
13.43/13.53 c #Conflicts: 316000 | #Constraints: 17691
13.43/13.53 c #Conflicts: 317000 | #Constraints: 18691
13.43/13.53 c #Conflicts: 318000 | #Constraints: 19691
13.43/13.53 c #Conflicts: 319000 | #Constraints: 20691
13.43/13.53 c #Conflicts: 320000 | #Constraints: 21691
13.43/13.53 c #Conflicts: 321000 | #Constraints: 22691
13.43/13.53 c INPROCESSING
13.43/13.53 c GARBAGE COLLECT
13.43/13.53 c rational objective 350.5
13.93/14.02 c #Conflicts: 322000 | #Constraints: 12491
13.93/14.02 c #Conflicts: 323000 | #Constraints: 13491
13.93/14.02 c #Conflicts: 324000 | #Constraints: 14491
13.93/14.02 c #Conflicts: 325000 | #Constraints: 15491
13.93/14.02 c #Conflicts: 326000 | #Constraints: 16491
13.93/14.02 c #Conflicts: 327000 | #Constraints: 17491
13.93/14.02 c #Conflicts: 328000 | #Constraints: 18491
13.93/14.02 c #Conflicts: 329000 | #Constraints: 19491
13.93/14.02 c #Conflicts: 330000 | #Constraints: 20491
13.93/14.02 c #Conflicts: 331000 | #Constraints: 21491
13.93/14.02 c #Conflicts: 332000 | #Constraints: 22491
13.93/14.02 c #Conflicts: 333000 | #Constraints: 23491
13.93/14.02 c INPROCESSING
13.93/14.02 c GARBAGE COLLECT
13.93/14.02 c rational objective 350.5
14.32/14.49 c #Conflicts: 334000 | #Constraints: 13090
14.32/14.49 c #Conflicts: 335000 | #Constraints: 14090
14.32/14.49 c #Conflicts: 336000 | #Constraints: 15090
14.32/14.49 c #Conflicts: 337000 | #Constraints: 16090
14.32/14.49 c #Conflicts: 338000 | #Constraints: 17090
14.32/14.49 c #Conflicts: 339000 | #Constraints: 18090
14.32/14.49 c #Conflicts: 340000 | #Constraints: 19090
14.32/14.49 c #Conflicts: 341000 | #Constraints: 20090
14.32/14.49 c #Conflicts: 342000 | #Constraints: 21090
14.32/14.49 c #Conflicts: 343000 | #Constraints: 22090
14.32/14.49 c #Conflicts: 344000 | #Constraints: 23090
14.32/14.49 c #Conflicts: 345000 | #Constraints: 24090
14.32/14.49 c INPROCESSING
14.32/14.49 c GARBAGE COLLECT
14.32/14.49 c rational objective 350.5
14.82/14.96 c #Conflicts: 346000 | #Constraints: 13495
14.82/14.96 c #Conflicts: 347000 | #Constraints: 14495
14.82/14.96 c #Conflicts: 348000 | #Constraints: 15495
14.82/14.96 c #Conflicts: 349000 | #Constraints: 16495
14.82/14.96 c #Conflicts: 350000 | #Constraints: 17495
14.82/14.96 c #Conflicts: 351000 | #Constraints: 18495
14.82/14.96 c #Conflicts: 352000 | #Constraints: 19495
14.82/14.96 c #Conflicts: 353000 | #Constraints: 20495
14.82/14.96 c #Conflicts: 354000 | #Constraints: 21495
14.82/14.96 c #Conflicts: 355000 | #Constraints: 22495
14.82/14.96 c #Conflicts: 356000 | #Constraints: 23495
14.82/14.96 c #Conflicts: 357000 | #Constraints: 24495
14.82/14.96 c INPROCESSING
14.82/14.96 c GARBAGE COLLECT
14.82/14.96 c rational objective 350.5
15.32/15.45 c #Conflicts: 358000 | #Constraints: 13692
15.32/15.45 c #Conflicts: 359000 | #Constraints: 14692
15.32/15.45 c #Conflicts: 360000 | #Constraints: 15692
15.32/15.45 c #Conflicts: 361000 | #Constraints: 16692
15.32/15.45 c #Conflicts: 362000 | #Constraints: 17692
15.32/15.45 c #Conflicts: 363000 | #Constraints: 18692
15.32/15.45 c #Conflicts: 364000 | #Constraints: 19692
15.32/15.45 c #Conflicts: 365000 | #Constraints: 20692
15.32/15.45 c #Conflicts: 366000 | #Constraints: 21692
15.32/15.45 c #Conflicts: 367000 | #Constraints: 22692
15.32/15.45 c #Conflicts: 368000 | #Constraints: 23692
15.32/15.45 c #Conflicts: 369000 | #Constraints: 24692
15.32/15.45 c INPROCESSING
15.32/15.45 c GARBAGE COLLECT
15.32/15.45 c rational objective 350.5
15.82/15.93 c #Conflicts: 370000 | #Constraints: 13689
15.82/15.93 c #Conflicts: 371000 | #Constraints: 14689
15.82/15.93 c #Conflicts: 372000 | #Constraints: 15689
15.82/15.93 c #Conflicts: 373000 | #Constraints: 16689
15.82/15.93 c #Conflicts: 374000 | #Constraints: 17689
15.82/15.93 c #Conflicts: 375000 | #Constraints: 18689
15.82/15.93 c #Conflicts: 376000 | #Constraints: 19689
15.82/15.93 c #Conflicts: 377000 | #Constraints: 20689
15.82/15.93 c #Conflicts: 378000 | #Constraints: 21689
15.82/15.93 c #Conflicts: 379000 | #Constraints: 22689
15.82/15.93 c #Conflicts: 380000 | #Constraints: 23689
15.82/15.93 c #Conflicts: 381000 | #Constraints: 24689
15.82/15.93 c INPROCESSING
15.82/15.93 c GARBAGE COLLECT
15.82/15.93 c rational objective 350.5
16.32/16.44 c #Conflicts: 382000 | #Constraints: 13496
16.32/16.44 c #Conflicts: 383000 | #Constraints: 14496
16.32/16.44 c #Conflicts: 384000 | #Constraints: 15496
16.32/16.44 c #Conflicts: 385000 | #Constraints: 16496
16.32/16.44 c #Conflicts: 386000 | #Constraints: 17496
16.32/16.44 c #Conflicts: 387000 | #Constraints: 18496
16.32/16.44 c #Conflicts: 388000 | #Constraints: 19496
16.32/16.44 c #Conflicts: 389000 | #Constraints: 20496
16.32/16.44 c #Conflicts: 390000 | #Constraints: 21496
16.32/16.44 c #Conflicts: 391000 | #Constraints: 22496
16.32/16.44 c #Conflicts: 392000 | #Constraints: 23496
16.32/16.44 c #Conflicts: 393000 | #Constraints: 24496
16.32/16.44 c #Conflicts: 394000 | #Constraints: 25496
16.32/16.44 c INPROCESSING
16.32/16.44 c GARBAGE COLLECT
16.32/16.44 c rational objective 350.5
16.82/16.93 c #Conflicts: 395000 | #Constraints: 14095
16.82/16.93 c #Conflicts: 396000 | #Constraints: 15095
16.82/16.93 c #Conflicts: 397000 | #Constraints: 16095
16.82/16.93 c #Conflicts: 398000 | #Constraints: 17095
16.82/16.93 c #Conflicts: 399000 | #Constraints: 18095
16.82/16.93 c #Conflicts: 400000 | #Constraints: 19095
16.82/16.93 c #Conflicts: 401000 | #Constraints: 20095
16.82/16.93 c #Conflicts: 402000 | #Constraints: 21095
16.82/16.93 c #Conflicts: 403000 | #Constraints: 22095
16.82/16.93 c #Conflicts: 404000 | #Constraints: 23095
16.82/16.93 c #Conflicts: 405000 | #Constraints: 24095
16.82/16.93 c #Conflicts: 406000 | #Constraints: 25095
16.82/16.93 c #Conflicts: 407000 | #Constraints: 26095
16.82/16.93 c INPROCESSING
16.82/16.93 c GARBAGE COLLECT
16.82/16.93 c rational objective 350.5
17.31/17.45 c #Conflicts: 408000 | #Constraints: 14490
17.31/17.45 c #Conflicts: 409000 | #Constraints: 15490
17.31/17.45 c #Conflicts: 410000 | #Constraints: 16490
17.31/17.45 c #Conflicts: 411000 | #Constraints: 17490
17.31/17.45 c #Conflicts: 412000 | #Constraints: 18490
17.31/17.45 c #Conflicts: 413000 | #Constraints: 19490
17.31/17.45 c #Conflicts: 414000 | #Constraints: 20490
17.31/17.45 c #Conflicts: 415000 | #Constraints: 21490
17.31/17.45 c #Conflicts: 416000 | #Constraints: 22490
17.31/17.45 c #Conflicts: 417000 | #Constraints: 23490
17.31/17.45 c #Conflicts: 418000 | #Constraints: 24490
17.31/17.45 c #Conflicts: 419000 | #Constraints: 25490
17.31/17.45 c #Conflicts: 420000 | #Constraints: 26490
17.31/17.45 c INPROCESSING
17.31/17.45 c GARBAGE COLLECT
17.31/17.45 c rational objective 350.5
17.92/18.01 c #Conflicts: 421000 | #Constraints: 14684
17.92/18.01 c #Conflicts: 422000 | #Constraints: 15684
17.92/18.01 c #Conflicts: 423000 | #Constraints: 16684
17.92/18.01 c #Conflicts: 424000 | #Constraints: 17684
17.92/18.01 c #Conflicts: 425000 | #Constraints: 18684
17.92/18.01 c #Conflicts: 426000 | #Constraints: 19684
17.92/18.01 c #Conflicts: 427000 | #Constraints: 20684
17.92/18.01 c #Conflicts: 428000 | #Constraints: 21684
17.92/18.01 c #Conflicts: 429000 | #Constraints: 22684
17.92/18.01 c #Conflicts: 430000 | #Constraints: 23684
17.92/18.01 c #Conflicts: 431000 | #Constraints: 24684
17.92/18.01 c #Conflicts: 432000 | #Constraints: 25684
17.92/18.01 c #Conflicts: 433000 | #Constraints: 26684
17.92/18.01 c INPROCESSING
17.92/18.01 c GARBAGE COLLECT
17.92/18.01 c rational objective 350.5
18.51/18.61 c #Conflicts: 434000 | #Constraints: 14695
18.51/18.61 c #Conflicts: 435000 | #Constraints: 15695
18.51/18.61 c #Conflicts: 436000 | #Constraints: 16695
18.51/18.61 c #Conflicts: 437000 | #Constraints: 17695
18.51/18.61 c #Conflicts: 438000 | #Constraints: 18695
18.51/18.61 c #Conflicts: 439000 | #Constraints: 19695
18.51/18.61 c #Conflicts: 440000 | #Constraints: 20695
18.51/18.61 c #Conflicts: 441000 | #Constraints: 21695
18.51/18.61 c #Conflicts: 442000 | #Constraints: 22695
18.51/18.61 c #Conflicts: 443000 | #Constraints: 23695
18.51/18.61 c #Conflicts: 444000 | #Constraints: 24695
18.51/18.61 c #Conflicts: 445000 | #Constraints: 25695
18.51/18.61 c #Conflicts: 446000 | #Constraints: 26695
18.51/18.61 c INPROCESSING
18.51/18.61 c GARBAGE COLLECT
18.51/18.61 c rational objective 350.5
19.02/19.17 c #Conflicts: 447000 | #Constraints: 14501
19.02/19.17 c #Conflicts: 448000 | #Constraints: 15501
19.02/19.17 c #Conflicts: 449000 | #Constraints: 16501
19.02/19.17 c #Conflicts: 450000 | #Constraints: 17501
19.02/19.17 c #Conflicts: 451000 | #Constraints: 18501
19.02/19.17 c #Conflicts: 452000 | #Constraints: 19501
19.02/19.17 c #Conflicts: 453000 | #Constraints: 20501
19.02/19.17 c #Conflicts: 454000 | #Constraints: 21501
19.02/19.17 c #Conflicts: 455000 | #Constraints: 22501
19.02/19.17 c #Conflicts: 456000 | #Constraints: 23501
19.02/19.17 c #Conflicts: 457000 | #Constraints: 24501
19.02/19.17 c #Conflicts: 458000 | #Constraints: 25501
19.02/19.17 c #Conflicts: 459000 | #Constraints: 26501
19.02/19.17 c #Conflicts: 460000 | #Constraints: 27501
19.02/19.17 c INPROCESSING
19.02/19.17 c GARBAGE COLLECT
19.02/19.17 c rational objective 350.5
19.61/19.75 c #Conflicts: 461000 | #Constraints: 15105
19.61/19.75 c #Conflicts: 462000 | #Constraints: 16105
19.61/19.75 c #Conflicts: 463000 | #Constraints: 17105
19.61/19.75 c #Conflicts: 464000 | #Constraints: 18105
19.61/19.75 c #Conflicts: 465000 | #Constraints: 19105
19.61/19.75 c #Conflicts: 466000 | #Constraints: 20105
19.61/19.75 c #Conflicts: 467000 | #Constraints: 21105
19.61/19.75 c #Conflicts: 468000 | #Constraints: 22105
19.61/19.75 c #Conflicts: 469000 | #Constraints: 23105
19.61/19.75 c #Conflicts: 470000 | #Constraints: 24105
19.61/19.75 c #Conflicts: 471000 | #Constraints: 25105
19.61/19.75 c #Conflicts: 472000 | #Constraints: 26105
19.61/19.75 c #Conflicts: 473000 | #Constraints: 27105
19.61/19.75 c #Conflicts: 474000 | #Constraints: 28105
19.61/19.75 c INPROCESSING
19.61/19.75 c GARBAGE COLLECT
19.61/19.75 c rational objective 350.5
20.21/20.36 c #Conflicts: 475000 | #Constraints: 15501
20.21/20.36 c #Conflicts: 476000 | #Constraints: 16501
20.21/20.36 c #Conflicts: 477000 | #Constraints: 17501
20.21/20.36 c #Conflicts: 478000 | #Constraints: 18501
20.21/20.36 c #Conflicts: 479000 | #Constraints: 19501
20.21/20.36 c #Conflicts: 480000 | #Constraints: 20501
20.21/20.36 c #Conflicts: 481000 | #Constraints: 21501
20.21/20.36 c #Conflicts: 482000 | #Constraints: 22501
20.21/20.36 c #Conflicts: 483000 | #Constraints: 23501
20.21/20.36 c #Conflicts: 484000 | #Constraints: 24501
20.21/20.36 c #Conflicts: 485000 | #Constraints: 25501
20.21/20.36 c #Conflicts: 486000 | #Constraints: 26501
20.21/20.36 c #Conflicts: 487000 | #Constraints: 27501
20.21/20.36 c #Conflicts: 488000 | #Constraints: 28501
20.21/20.36 c INPROCESSING
20.21/20.36 c GARBAGE COLLECT
20.21/20.36 c rational objective 350.5
20.91/21.04 c #Conflicts: 489000 | #Constraints: 15701
20.91/21.04 c #Conflicts: 490000 | #Constraints: 16701
20.91/21.04 c #Conflicts: 491000 | #Constraints: 17701
20.91/21.04 c #Conflicts: 492000 | #Constraints: 18701
20.91/21.04 c #Conflicts: 493000 | #Constraints: 19701
20.91/21.04 c #Conflicts: 494000 | #Constraints: 20701
20.91/21.04 c #Conflicts: 495000 | #Constraints: 21701
20.91/21.04 c #Conflicts: 496000 | #Constraints: 22701
20.91/21.04 c #Conflicts: 497000 | #Constraints: 23701
20.91/21.04 c #Conflicts: 498000 | #Constraints: 24701
20.91/21.04 c #Conflicts: 499000 | #Constraints: 25701
20.91/21.04 c #Conflicts: 500000 | #Constraints: 26701
20.91/21.04 c #Conflicts: 501000 | #Constraints: 27701
20.91/21.04 c #Conflicts: 502000 | #Constraints: 28701
20.91/21.04 c INPROCESSING
20.91/21.04 c GARBAGE COLLECT
20.91/21.04 c rational objective 350.5
21.51/21.62 c #Conflicts: 503000 | #Constraints: 15721
21.51/21.62 c #Conflicts: 504000 | #Constraints: 16721
21.51/21.62 c #Conflicts: 505000 | #Constraints: 17721
21.51/21.62 c #Conflicts: 506000 | #Constraints: 18721
21.51/21.62 c #Conflicts: 507000 | #Constraints: 19721
21.51/21.62 c #Conflicts: 508000 | #Constraints: 20721
21.51/21.62 c #Conflicts: 509000 | #Constraints: 21721
21.51/21.62 c #Conflicts: 510000 | #Constraints: 22721
21.51/21.62 c #Conflicts: 511000 | #Constraints: 23721
21.51/21.62 c #Conflicts: 512000 | #Constraints: 24721
21.51/21.62 c #Conflicts: 513000 | #Constraints: 25721
21.51/21.62 c #Conflicts: 514000 | #Constraints: 26721
21.51/21.62 c #Conflicts: 515000 | #Constraints: 27721
21.51/21.62 c #Conflicts: 516000 | #Constraints: 28721
21.51/21.62 c INPROCESSING
21.51/21.62 c GARBAGE COLLECT
21.51/21.62 c rational objective 350.5
22.01/22.18 c #Conflicts: 517000 | #Constraints: 15518
22.01/22.18 c #Conflicts: 518000 | #Constraints: 16518
22.01/22.18 c #Conflicts: 519000 | #Constraints: 17518
22.01/22.18 c #Conflicts: 520000 | #Constraints: 18518
22.01/22.18 c #Conflicts: 521000 | #Constraints: 19518
22.01/22.18 c #Conflicts: 522000 | #Constraints: 20518
22.01/22.18 c #Conflicts: 523000 | #Constraints: 21518
22.01/22.18 c #Conflicts: 524000 | #Constraints: 22518
22.01/22.18 c #Conflicts: 525000 | #Constraints: 23518
22.01/22.18 c #Conflicts: 526000 | #Constraints: 24518
22.01/22.18 c #Conflicts: 527000 | #Constraints: 25518
22.01/22.18 c #Conflicts: 528000 | #Constraints: 26518
22.01/22.18 c #Conflicts: 529000 | #Constraints: 27518
22.01/22.18 c #Conflicts: 530000 | #Constraints: 28518
22.01/22.18 c #Conflicts: 531000 | #Constraints: 29518
22.01/22.18 c INPROCESSING
22.01/22.18 c GARBAGE COLLECT
22.01/22.18 c rational objective 350.5
22.60/22.75 c #Conflicts: 532000 | #Constraints: 16115
22.60/22.75 c #Conflicts: 533000 | #Constraints: 17115
22.60/22.75 c #Conflicts: 534000 | #Constraints: 18115
22.60/22.75 c #Conflicts: 535000 | #Constraints: 19115
22.60/22.75 c #Conflicts: 536000 | #Constraints: 20115
22.60/22.75 c #Conflicts: 537000 | #Constraints: 21115
22.60/22.75 c #Conflicts: 538000 | #Constraints: 22115
22.60/22.75 c #Conflicts: 539000 | #Constraints: 23115
22.60/22.75 c #Conflicts: 540000 | #Constraints: 24115
22.60/22.75 c #Conflicts: 541000 | #Constraints: 25115
22.60/22.75 c #Conflicts: 542000 | #Constraints: 26115
22.60/22.75 c #Conflicts: 543000 | #Constraints: 27115
22.60/22.75 c #Conflicts: 544000 | #Constraints: 28115
22.60/22.75 c #Conflicts: 545000 | #Constraints: 29115
22.60/22.75 c #Conflicts: 546000 | #Constraints: 30115
22.60/22.75 c INPROCESSING
22.60/22.75 c GARBAGE COLLECT
22.60/22.75 c rational objective 350.5
23.20/23.36 c #Conflicts: 547000 | #Constraints: 16516
23.20/23.36 c #Conflicts: 548000 | #Constraints: 17516
23.20/23.36 c #Conflicts: 549000 | #Constraints: 18516
23.20/23.36 c #Conflicts: 550000 | #Constraints: 19516
23.20/23.36 c #Conflicts: 551000 | #Constraints: 20516
23.20/23.36 c #Conflicts: 552000 | #Constraints: 21516
23.20/23.36 c #Conflicts: 553000 | #Constraints: 22516
23.20/23.36 c #Conflicts: 554000 | #Constraints: 23516
23.20/23.36 c #Conflicts: 555000 | #Constraints: 24516
23.20/23.36 c #Conflicts: 556000 | #Constraints: 25516
23.20/23.36 c #Conflicts: 557000 | #Constraints: 26516
23.20/23.36 c #Conflicts: 558000 | #Constraints: 27516
23.20/23.36 c #Conflicts: 559000 | #Constraints: 28516
23.20/23.36 c #Conflicts: 560000 | #Constraints: 29516
23.20/23.36 c #Conflicts: 561000 | #Constraints: 30516
23.20/23.36 c INPROCESSING
23.20/23.36 c GARBAGE COLLECT
23.20/23.36 c rational objective 350.5
23.81/23.95 c #Conflicts: 562000 | #Constraints: 16717
23.81/23.95 c #Conflicts: 563000 | #Constraints: 17717
23.81/23.95 c #Conflicts: 564000 | #Constraints: 18717
23.81/23.95 c #Conflicts: 565000 | #Constraints: 19717
23.81/23.95 c #Conflicts: 566000 | #Constraints: 20717
23.81/23.95 c #Conflicts: 567000 | #Constraints: 21717
23.81/23.95 c #Conflicts: 568000 | #Constraints: 22717
23.81/23.95 c #Conflicts: 569000 | #Constraints: 23717
23.81/23.95 c #Conflicts: 570000 | #Constraints: 24717
23.81/23.95 c #Conflicts: 571000 | #Constraints: 25717
23.81/23.95 c #Conflicts: 572000 | #Constraints: 26717
23.81/23.95 c #Conflicts: 573000 | #Constraints: 27717
23.81/23.95 c #Conflicts: 574000 | #Constraints: 28717
23.81/23.95 c #Conflicts: 575000 | #Constraints: 29717
23.81/23.95 c #Conflicts: 576000 | #Constraints: 30717
23.81/23.95 c INPROCESSING
23.81/23.95 c GARBAGE COLLECT
23.81/23.95 c rational objective 350.5
24.40/24.56 c #Conflicts: 577000 | #Constraints: 16725
24.40/24.56 c #Conflicts: 578000 | #Constraints: 17725
24.40/24.56 c #Conflicts: 579000 | #Constraints: 18725
24.40/24.56 c #Conflicts: 580000 | #Constraints: 19725
24.40/24.56 c #Conflicts: 581000 | #Constraints: 20725
24.40/24.56 c #Conflicts: 582000 | #Constraints: 21725
24.40/24.56 c #Conflicts: 583000 | #Constraints: 22725
24.40/24.56 c #Conflicts: 584000 | #Constraints: 23725
24.40/24.56 c #Conflicts: 585000 | #Constraints: 24725
24.40/24.56 c #Conflicts: 586000 | #Constraints: 25725
24.40/24.56 c #Conflicts: 587000 | #Constraints: 26725
24.40/24.56 c #Conflicts: 588000 | #Constraints: 27725
24.40/24.56 c #Conflicts: 589000 | #Constraints: 28725
24.40/24.56 c #Conflicts: 590000 | #Constraints: 29725
24.40/24.56 c #Conflicts: 591000 | #Constraints: 30725
24.40/24.56 c INPROCESSING
24.40/24.56 c GARBAGE COLLECT
24.40/24.56 c rational objective 350.5
25.00/25.18 c #Conflicts: 592000 | #Constraints: 16523
25.00/25.18 c #Conflicts: 593000 | #Constraints: 17523
25.00/25.18 c #Conflicts: 594000 | #Constraints: 18523
25.00/25.18 c #Conflicts: 595000 | #Constraints: 19523
25.00/25.18 c #Conflicts: 596000 | #Constraints: 20523
25.00/25.18 c #Conflicts: 597000 | #Constraints: 21523
25.00/25.18 c #Conflicts: 598000 | #Constraints: 22523
25.00/25.18 c #Conflicts: 599000 | #Constraints: 23523
25.00/25.18 c #Conflicts: 600000 | #Constraints: 24523
25.00/25.18 c #Conflicts: 601000 | #Constraints: 25523
25.00/25.18 c #Conflicts: 602000 | #Constraints: 26523
25.00/25.18 c #Conflicts: 603000 | #Constraints: 27523
25.00/25.18 c #Conflicts: 604000 | #Constraints: 28523
25.00/25.18 c #Conflicts: 605000 | #Constraints: 29523
25.00/25.18 c #Conflicts: 606000 | #Constraints: 30523
25.00/25.18 c #Conflicts: 607000 | #Constraints: 31523
25.00/25.18 c INPROCESSING
25.00/25.18 c GARBAGE COLLECT
25.00/25.18 c rational objective 350.5
25.70/25.80 c #Conflicts: 608000 | #Constraints: 17123
25.70/25.80 c #Conflicts: 609000 | #Constraints: 18123
25.70/25.80 c #Conflicts: 610000 | #Constraints: 19123
25.70/25.80 c #Conflicts: 611000 | #Constraints: 20123
25.70/25.80 c #Conflicts: 612000 | #Constraints: 21123
25.70/25.80 c #Conflicts: 613000 | #Constraints: 22123
25.70/25.80 c #Conflicts: 614000 | #Constraints: 23123
25.70/25.80 c #Conflicts: 615000 | #Constraints: 24123
25.70/25.80 c #Conflicts: 616000 | #Constraints: 25123
25.70/25.80 c #Conflicts: 617000 | #Constraints: 26123
25.70/25.80 c #Conflicts: 618000 | #Constraints: 27123
25.70/25.80 c #Conflicts: 619000 | #Constraints: 28123
25.70/25.80 c #Conflicts: 620000 | #Constraints: 29123
25.70/25.80 c #Conflicts: 621000 | #Constraints: 30123
25.70/25.80 c #Conflicts: 622000 | #Constraints: 31123
25.70/25.80 c #Conflicts: 623000 | #Constraints: 32123
25.70/25.80 c INPROCESSING
25.70/25.80 c GARBAGE COLLECT
25.70/25.80 c rational objective 350.5
26.29/26.42 c #Conflicts: 624000 | #Constraints: 17520
26.29/26.42 c #Conflicts: 625000 | #Constraints: 18520
26.29/26.42 c #Conflicts: 626000 | #Constraints: 19520
26.29/26.42 c #Conflicts: 627000 | #Constraints: 20520
26.29/26.42 c #Conflicts: 628000 | #Constraints: 21520
26.29/26.42 c #Conflicts: 629000 | #Constraints: 22520
26.29/26.42 c #Conflicts: 630000 | #Constraints: 23520
26.29/26.42 c #Conflicts: 631000 | #Constraints: 24520
26.29/26.42 c #Conflicts: 632000 | #Constraints: 25520
26.29/26.42 c #Conflicts: 633000 | #Constraints: 26520
26.29/26.42 c #Conflicts: 634000 | #Constraints: 27520
26.29/26.42 c #Conflicts: 635000 | #Constraints: 28520
26.29/26.42 c #Conflicts: 636000 | #Constraints: 29520
26.29/26.42 c #Conflicts: 637000 | #Constraints: 30520
26.29/26.42 c #Conflicts: 638000 | #Constraints: 31520
26.29/26.42 c #Conflicts: 639000 | #Constraints: 32520
26.29/26.42 c INPROCESSING
26.29/26.42 c GARBAGE COLLECT
26.29/26.42 c rational objective 350.5
26.90/27.09 c #Conflicts: 640000 | #Constraints: 17719
26.90/27.09 c #Conflicts: 641000 | #Constraints: 18719
26.90/27.09 c #Conflicts: 642000 | #Constraints: 19719
26.90/27.09 c #Conflicts: 643000 | #Constraints: 20719
26.90/27.09 c #Conflicts: 644000 | #Constraints: 21719
26.90/27.09 c #Conflicts: 645000 | #Constraints: 22719
26.90/27.09 c #Conflicts: 646000 | #Constraints: 23719
26.90/27.09 c #Conflicts: 647000 | #Constraints: 24719
26.90/27.09 c #Conflicts: 648000 | #Constraints: 25719
26.90/27.09 c #Conflicts: 649000 | #Constraints: 26719
26.90/27.09 c #Conflicts: 650000 | #Constraints: 27719
26.90/27.09 c #Conflicts: 651000 | #Constraints: 28719
26.90/27.09 c #Conflicts: 652000 | #Constraints: 29719
26.90/27.09 c #Conflicts: 653000 | #Constraints: 30719
26.90/27.09 c #Conflicts: 654000 | #Constraints: 31719
26.90/27.09 c #Conflicts: 655000 | #Constraints: 32719
26.90/27.09 c INPROCESSING
26.90/27.09 c GARBAGE COLLECT
26.90/27.09 c rational objective 350.5
27.59/27.70 c #Conflicts: 656000 | #Constraints: 17720
27.59/27.70 c #Conflicts: 657000 | #Constraints: 18720
27.59/27.70 c #Conflicts: 658000 | #Constraints: 19720
27.59/27.70 c #Conflicts: 659000 | #Constraints: 20720
27.59/27.70 c #Conflicts: 660000 | #Constraints: 21720
27.59/27.70 c #Conflicts: 661000 | #Constraints: 22720
27.59/27.70 c #Conflicts: 662000 | #Constraints: 23720
27.59/27.70 c #Conflicts: 663000 | #Constraints: 24720
27.59/27.70 c #Conflicts: 664000 | #Constraints: 25720
27.59/27.70 c #Conflicts: 665000 | #Constraints: 26720
27.59/27.70 c #Conflicts: 666000 | #Constraints: 27720
27.59/27.70 c #Conflicts: 667000 | #Constraints: 28720
27.59/27.70 c #Conflicts: 668000 | #Constraints: 29720
27.59/27.70 c #Conflicts: 669000 | #Constraints: 30720
27.59/27.70 c #Conflicts: 670000 | #Constraints: 31720
27.59/27.70 c #Conflicts: 671000 | #Constraints: 32720
27.59/27.70 c INPROCESSING
27.59/27.70 c GARBAGE COLLECT
27.59/27.70 c rational objective 350.5
28.19/28.35 c #Conflicts: 672000 | #Constraints: 17526
28.19/28.35 c #Conflicts: 673000 | #Constraints: 18526
28.19/28.35 c #Conflicts: 674000 | #Constraints: 19526
28.19/28.35 c #Conflicts: 675000 | #Constraints: 20526
28.19/28.35 c #Conflicts: 676000 | #Constraints: 21526
28.19/28.35 c #Conflicts: 677000 | #Constraints: 22526
28.19/28.35 c #Conflicts: 678000 | #Constraints: 23526
28.19/28.35 c #Conflicts: 679000 | #Constraints: 24526
28.19/28.35 c #Conflicts: 680000 | #Constraints: 25526
28.19/28.35 c #Conflicts: 681000 | #Constraints: 26526
28.19/28.35 c #Conflicts: 682000 | #Constraints: 27526
28.19/28.35 c #Conflicts: 683000 | #Constraints: 28526
28.19/28.35 c #Conflicts: 684000 | #Constraints: 29526
28.19/28.35 c #Conflicts: 685000 | #Constraints: 30526
28.19/28.35 c #Conflicts: 686000 | #Constraints: 31526
28.19/28.35 c #Conflicts: 687000 | #Constraints: 32526
28.19/28.35 c #Conflicts: 688000 | #Constraints: 33526
28.19/28.35 c INPROCESSING
28.19/28.35 c GARBAGE COLLECT
28.19/28.35 c rational objective 350.5
28.89/29.05 c #Conflicts: 689000 | #Constraints: 18126
28.89/29.05 c #Conflicts: 690000 | #Constraints: 19126
28.89/29.05 c #Conflicts: 691000 | #Constraints: 20126
28.89/29.05 c #Conflicts: 692000 | #Constraints: 21126
28.89/29.05 c #Conflicts: 693000 | #Constraints: 22126
28.89/29.05 c #Conflicts: 694000 | #Constraints: 23126
28.89/29.05 c #Conflicts: 695000 | #Constraints: 24126
28.89/29.05 c #Conflicts: 696000 | #Constraints: 25126
28.89/29.05 c #Conflicts: 697000 | #Constraints: 26126
28.89/29.05 c #Conflicts: 698000 | #Constraints: 27126
28.89/29.05 c #Conflicts: 699000 | #Constraints: 28126
28.89/29.05 c #Conflicts: 700000 | #Constraints: 29126
28.89/29.05 c #Conflicts: 701000 | #Constraints: 30126
28.89/29.05 c #Conflicts: 702000 | #Constraints: 31126
28.89/29.05 c #Conflicts: 703000 | #Constraints: 32126
28.89/29.05 c #Conflicts: 704000 | #Constraints: 33126
28.89/29.05 c #Conflicts: 705000 | #Constraints: 34126
28.89/29.05 c INPROCESSING
28.89/29.05 c GARBAGE COLLECT
28.89/29.05 c rational objective 350.5
29.59/29.79 c #Conflicts: 706000 | #Constraints: 18521
29.59/29.79 c #Conflicts: 707000 | #Constraints: 19521
29.59/29.79 c #Conflicts: 708000 | #Constraints: 20521
29.59/29.79 c #Conflicts: 709000 | #Constraints: 21521
29.59/29.79 c #Conflicts: 710000 | #Constraints: 22521
29.59/29.79 c #Conflicts: 711000 | #Constraints: 23521
29.59/29.79 c #Conflicts: 712000 | #Constraints: 24521
29.59/29.79 c #Conflicts: 713000 | #Constraints: 25521
29.59/29.79 c #Conflicts: 714000 | #Constraints: 26521
29.59/29.79 c #Conflicts: 715000 | #Constraints: 27521
29.59/29.79 c #Conflicts: 716000 | #Constraints: 28521
29.59/29.79 c #Conflicts: 717000 | #Constraints: 29521
29.59/29.79 c #Conflicts: 718000 | #Constraints: 30521
29.59/29.79 c #Conflicts: 719000 | #Constraints: 31521
29.59/29.79 c #Conflicts: 720000 | #Constraints: 32521
29.59/29.79 c #Conflicts: 721000 | #Constraints: 33521
29.59/29.79 c #Conflicts: 722000 | #Constraints: 34521
29.59/29.79 c INPROCESSING
29.59/29.79 c GARBAGE COLLECT
29.59/29.79 c rational objective 350.5
30.38/30.54 c #Conflicts: 723000 | #Constraints: 18725
30.38/30.54 c #Conflicts: 724000 | #Constraints: 19725
30.38/30.54 c #Conflicts: 725000 | #Constraints: 20725
30.38/30.54 c #Conflicts: 726000 | #Constraints: 21725
30.38/30.54 c #Conflicts: 727000 | #Constraints: 22725
30.38/30.54 c #Conflicts: 728000 | #Constraints: 23725
30.38/30.54 c #Conflicts: 729000 | #Constraints: 24725
30.38/30.54 c #Conflicts: 730000 | #Constraints: 25725
30.38/30.54 c #Conflicts: 731000 | #Constraints: 26725
30.38/30.54 c #Conflicts: 732000 | #Constraints: 27725
30.38/30.54 c #Conflicts: 733000 | #Constraints: 28725
30.38/30.54 c #Conflicts: 734000 | #Constraints: 29725
30.38/30.54 c #Conflicts: 735000 | #Constraints: 30725
30.38/30.54 c #Conflicts: 736000 | #Constraints: 31725
30.38/30.54 c #Conflicts: 737000 | #Constraints: 32725
30.38/30.54 c #Conflicts: 738000 | #Constraints: 33725
30.38/30.54 c #Conflicts: 739000 | #Constraints: 34725
30.38/30.54 c INPROCESSING
30.38/30.54 c GARBAGE COLLECT
30.38/30.54 c rational objective 350.5
31.09/31.26 c #Conflicts: 740000 | #Constraints: 18731
31.09/31.26 c #Conflicts: 741000 | #Constraints: 19731
31.09/31.26 c #Conflicts: 742000 | #Constraints: 20731
31.09/31.26 c #Conflicts: 743000 | #Constraints: 21731
31.09/31.26 c #Conflicts: 744000 | #Constraints: 22731
31.09/31.26 c #Conflicts: 745000 | #Constraints: 23731
31.09/31.26 c #Conflicts: 746000 | #Constraints: 24731
31.09/31.26 c #Conflicts: 747000 | #Constraints: 25731
31.09/31.26 c #Conflicts: 748000 | #Constraints: 26731
31.09/31.26 c #Conflicts: 749000 | #Constraints: 27731
31.09/31.26 c #Conflicts: 750000 | #Constraints: 28731
31.09/31.26 c #Conflicts: 751000 | #Constraints: 29731
31.09/31.26 c #Conflicts: 752000 | #Constraints: 30731
31.09/31.26 c #Conflicts: 753000 | #Constraints: 31731
31.09/31.26 c #Conflicts: 754000 | #Constraints: 32731
31.09/31.26 c #Conflicts: 755000 | #Constraints: 33731
31.09/31.26 c #Conflicts: 756000 | #Constraints: 34731
31.09/31.26 c INPROCESSING
31.09/31.26 c GARBAGE COLLECT
31.09/31.26 c rational objective 350.5
31.79/31.96 c #Conflicts: 757000 | #Constraints: 18528
31.79/31.96 c #Conflicts: 758000 | #Constraints: 19528
31.79/31.96 c #Conflicts: 759000 | #Constraints: 20528
31.79/31.96 c #Conflicts: 760000 | #Constraints: 21528
31.79/31.96 c #Conflicts: 761000 | #Constraints: 22528
31.79/31.96 c #Conflicts: 762000 | #Constraints: 23528
31.79/31.96 c #Conflicts: 763000 | #Constraints: 24528
31.79/31.96 c #Conflicts: 764000 | #Constraints: 25528
31.79/31.96 c #Conflicts: 765000 | #Constraints: 26528
31.79/31.96 c #Conflicts: 766000 | #Constraints: 27528
31.79/31.96 c #Conflicts: 767000 | #Constraints: 28528
31.79/31.96 c #Conflicts: 768000 | #Constraints: 29528
31.79/31.96 c #Conflicts: 769000 | #Constraints: 30528
31.79/31.96 c #Conflicts: 770000 | #Constraints: 31528
31.79/31.96 c #Conflicts: 771000 | #Constraints: 32528
31.79/31.96 c #Conflicts: 772000 | #Constraints: 33528
31.79/31.96 c #Conflicts: 773000 | #Constraints: 34528
31.79/31.96 c #Conflicts: 774000 | #Constraints: 35528
31.79/31.96 c INPROCESSING
31.79/31.96 c GARBAGE COLLECT
31.79/31.96 c rational objective 350.5
32.48/32.69 c #Conflicts: 775000 | #Constraints: 19122
32.48/32.69 c #Conflicts: 776000 | #Constraints: 20122
32.48/32.69 c #Conflicts: 777000 | #Constraints: 21122
32.48/32.69 c #Conflicts: 778000 | #Constraints: 22122
32.48/32.69 c #Conflicts: 779000 | #Constraints: 23122
32.48/32.69 c #Conflicts: 780000 | #Constraints: 24122
32.48/32.69 c #Conflicts: 781000 | #Constraints: 25122
32.48/32.69 c #Conflicts: 782000 | #Constraints: 26122
32.48/32.69 c #Conflicts: 783000 | #Constraints: 27122
32.48/32.69 c #Conflicts: 784000 | #Constraints: 28122
32.48/32.69 c #Conflicts: 785000 | #Constraints: 29122
32.48/32.69 c #Conflicts: 786000 | #Constraints: 30122
32.48/32.69 c #Conflicts: 787000 | #Constraints: 31122
32.48/32.69 c #Conflicts: 788000 | #Constraints: 32122
32.48/32.69 c #Conflicts: 789000 | #Constraints: 33122
32.48/32.69 c #Conflicts: 790000 | #Constraints: 34122
32.48/32.69 c #Conflicts: 791000 | #Constraints: 35122
32.48/32.69 c #Conflicts: 792000 | #Constraints: 36122
32.48/32.69 c INPROCESSING
32.48/32.69 c GARBAGE COLLECT
32.48/32.69 c rational objective 350.5
33.28/33.41 c #Conflicts: 793000 | #Constraints: 19532
33.28/33.41 c #Conflicts: 794000 | #Constraints: 20532
33.28/33.41 c #Conflicts: 795000 | #Constraints: 21532
33.28/33.41 c #Conflicts: 796000 | #Constraints: 22532
33.28/33.41 c #Conflicts: 797000 | #Constraints: 23532
33.28/33.41 c #Conflicts: 798000 | #Constraints: 24532
33.28/33.41 c #Conflicts: 799000 | #Constraints: 25532
33.28/33.41 c #Conflicts: 800000 | #Constraints: 26532
33.28/33.41 c #Conflicts: 801000 | #Constraints: 27532
33.28/33.41 c #Conflicts: 802000 | #Constraints: 28532
33.28/33.41 c #Conflicts: 803000 | #Constraints: 29532
33.28/33.41 c #Conflicts: 804000 | #Constraints: 30532
33.28/33.41 c #Conflicts: 805000 | #Constraints: 31532
33.28/33.41 c #Conflicts: 806000 | #Constraints: 32532
33.28/33.41 c #Conflicts: 807000 | #Constraints: 33532
33.28/33.41 c #Conflicts: 808000 | #Constraints: 34532
33.28/33.41 c #Conflicts: 809000 | #Constraints: 35532
33.28/33.41 c #Conflicts: 810000 | #Constraints: 36532
33.28/33.41 c INPROCESSING
33.28/33.41 c GARBAGE COLLECT
33.28/33.41 c rational objective 350.5
34.01/34.23 c #Conflicts: 811000 | #Constraints: 19732
34.01/34.23 c #Conflicts: 812000 | #Constraints: 20732
34.01/34.23 c #Conflicts: 813000 | #Constraints: 21732
34.01/34.23 c #Conflicts: 814000 | #Constraints: 22732
34.01/34.23 c #Conflicts: 815000 | #Constraints: 23732
34.01/34.23 c #Conflicts: 816000 | #Constraints: 24732
34.01/34.23 c #Conflicts: 817000 | #Constraints: 25732
34.01/34.23 c #Conflicts: 818000 | #Constraints: 26732
34.01/34.23 c #Conflicts: 819000 | #Constraints: 27732
34.01/34.23 c #Conflicts: 820000 | #Constraints: 28732
34.01/34.23 c #Conflicts: 821000 | #Constraints: 29732
34.01/34.23 c #Conflicts: 822000 | #Constraints: 30732
34.01/34.23 c #Conflicts: 823000 | #Constraints: 31732
34.01/34.23 c #Conflicts: 824000 | #Constraints: 32732
34.01/34.23 c #Conflicts: 825000 | #Constraints: 33732
34.01/34.23 c #Conflicts: 826000 | #Constraints: 34732
34.01/34.23 c #Conflicts: 827000 | #Constraints: 35732
34.01/34.23 c #Conflicts: 828000 | #Constraints: 36732
34.01/34.23 c INPROCESSING
34.01/34.23 c GARBAGE COLLECT
34.01/34.23 c rational objective 350.5
34.91/35.12 c #Conflicts: 829000 | #Constraints: 19731
34.91/35.12 c #Conflicts: 830000 | #Constraints: 20731
34.91/35.12 c #Conflicts: 831000 | #Constraints: 21731
34.91/35.12 c #Conflicts: 832000 | #Constraints: 22731
34.91/35.12 c #Conflicts: 833000 | #Constraints: 23731
34.91/35.12 c #Conflicts: 834000 | #Constraints: 24731
34.91/35.12 c #Conflicts: 835000 | #Constraints: 25731
34.91/35.12 c #Conflicts: 836000 | #Constraints: 26731
34.91/35.12 c #Conflicts: 837000 | #Constraints: 27731
34.91/35.12 c #Conflicts: 838000 | #Constraints: 28731
34.91/35.12 c #Conflicts: 839000 | #Constraints: 29731
34.91/35.12 c #Conflicts: 840000 | #Constraints: 30731
34.91/35.12 c #Conflicts: 841000 | #Constraints: 31731
34.91/35.12 c #Conflicts: 842000 | #Constraints: 32731
34.91/35.12 c #Conflicts: 843000 | #Constraints: 33731
34.91/35.12 c #Conflicts: 844000 | #Constraints: 34731
34.91/35.12 c #Conflicts: 845000 | #Constraints: 35731
34.91/35.12 c #Conflicts: 846000 | #Constraints: 36731
34.91/35.12 c INPROCESSING
34.91/35.12 c GARBAGE COLLECT
34.91/35.12 c rational objective 350.5
35.61/35.88 c #Conflicts: 847000 | #Constraints: 19532
35.61/35.88 c #Conflicts: 848000 | #Constraints: 20532
35.61/35.88 c #Conflicts: 849000 | #Constraints: 21532
35.61/35.88 c #Conflicts: 850000 | #Constraints: 22532
35.61/35.88 c #Conflicts: 851000 | #Constraints: 23532
35.61/35.88 c #Conflicts: 852000 | #Constraints: 24532
35.61/35.88 c #Conflicts: 853000 | #Constraints: 25532
35.61/35.88 c #Conflicts: 854000 | #Constraints: 26532
35.61/35.88 c #Conflicts: 855000 | #Constraints: 27532
35.61/35.88 c #Conflicts: 856000 | #Constraints: 28532
35.61/35.88 c #Conflicts: 857000 | #Constraints: 29532
35.61/35.88 c #Conflicts: 858000 | #Constraints: 30532
35.61/35.88 c #Conflicts: 859000 | #Constraints: 31532
35.61/35.88 c #Conflicts: 860000 | #Constraints: 32532
35.61/35.88 c #Conflicts: 861000 | #Constraints: 33532
35.61/35.88 c #Conflicts: 862000 | #Constraints: 34532
35.61/35.88 c #Conflicts: 863000 | #Constraints: 35532
35.61/35.88 c #Conflicts: 864000 | #Constraints: 36532
35.61/35.88 c #Conflicts: 865000 | #Constraints: 37532
35.61/35.88 c INPROCESSING
35.61/35.88 c GARBAGE COLLECT
35.61/35.88 c rational objective 350.5
36.41/36.64 c #Conflicts: 866000 | #Constraints: 20131
36.41/36.64 c #Conflicts: 867000 | #Constraints: 21131
36.41/36.64 c #Conflicts: 868000 | #Constraints: 22131
36.41/36.64 c #Conflicts: 869000 | #Constraints: 23131
36.41/36.64 c #Conflicts: 870000 | #Constraints: 24131
36.41/36.64 c #Conflicts: 871000 | #Constraints: 25131
36.41/36.64 c #Conflicts: 872000 | #Constraints: 26131
36.41/36.64 c #Conflicts: 873000 | #Constraints: 27131
36.41/36.64 c #Conflicts: 874000 | #Constraints: 28131
36.41/36.64 c #Conflicts: 875000 | #Constraints: 29131
36.41/36.64 c #Conflicts: 876000 | #Constraints: 30131
36.41/36.64 c #Conflicts: 877000 | #Constraints: 31131
36.41/36.64 c #Conflicts: 878000 | #Constraints: 32131
36.41/36.64 c #Conflicts: 879000 | #Constraints: 33131
36.41/36.64 c #Conflicts: 880000 | #Constraints: 34131
36.41/36.64 c #Conflicts: 881000 | #Constraints: 35131
36.41/36.64 c #Conflicts: 882000 | #Constraints: 36131
36.41/36.64 c #Conflicts: 883000 | #Constraints: 37131
36.41/36.64 c #Conflicts: 884000 | #Constraints: 38131
36.41/36.64 c INPROCESSING
36.41/36.64 c GARBAGE COLLECT
36.41/36.64 c rational objective 350.5
37.20/37.47 c #Conflicts: 885000 | #Constraints: 20539
37.20/37.47 c #Conflicts: 886000 | #Constraints: 21539
37.20/37.47 c #Conflicts: 887000 | #Constraints: 22539
37.20/37.47 c #Conflicts: 888000 | #Constraints: 23539
37.20/37.47 c #Conflicts: 889000 | #Constraints: 24539
37.20/37.47 c #Conflicts: 890000 | #Constraints: 25539
37.20/37.47 c #Conflicts: 891000 | #Constraints: 26539
37.20/37.47 c #Conflicts: 892000 | #Constraints: 27539
37.20/37.47 c #Conflicts: 893000 | #Constraints: 28539
37.20/37.47 c #Conflicts: 894000 | #Constraints: 29539
37.20/37.47 c #Conflicts: 895000 | #Constraints: 30539
37.20/37.47 c #Conflicts: 896000 | #Constraints: 31539
37.20/37.47 c #Conflicts: 897000 | #Constraints: 32539
37.20/37.47 c #Conflicts: 898000 | #Constraints: 33539
37.20/37.47 c #Conflicts: 899000 | #Constraints: 34539
37.20/37.47 c #Conflicts: 900000 | #Constraints: 35539
37.20/37.47 c #Conflicts: 901000 | #Constraints: 36539
37.20/37.47 c #Conflicts: 902000 | #Constraints: 37539
37.20/37.47 c #Conflicts: 903000 | #Constraints: 38539
37.20/37.47 c INPROCESSING
37.20/37.47 c GARBAGE COLLECT
37.20/37.47 c rational objective 350.5
38.00/38.26 c #Conflicts: 904000 | #Constraints: 20737
38.00/38.26 c #Conflicts: 905000 | #Constraints: 21737
38.00/38.26 c #Conflicts: 906000 | #Constraints: 22737
38.00/38.26 c #Conflicts: 907000 | #Constraints: 23737
38.00/38.26 c #Conflicts: 908000 | #Constraints: 24737
38.00/38.26 c #Conflicts: 909000 | #Constraints: 25737
38.00/38.26 c #Conflicts: 910000 | #Constraints: 26737
38.00/38.26 c #Conflicts: 911000 | #Constraints: 27737
38.00/38.26 c #Conflicts: 912000 | #Constraints: 28737
38.00/38.26 c #Conflicts: 913000 | #Constraints: 29737
38.00/38.26 c #Conflicts: 914000 | #Constraints: 30737
38.00/38.26 c #Conflicts: 915000 | #Constraints: 31737
38.00/38.26 c #Conflicts: 916000 | #Constraints: 32737
38.00/38.26 c #Conflicts: 917000 | #Constraints: 33737
38.00/38.26 c #Conflicts: 918000 | #Constraints: 34737
38.00/38.26 c #Conflicts: 919000 | #Constraints: 35737
38.00/38.26 c #Conflicts: 920000 | #Constraints: 36737
38.00/38.26 c #Conflicts: 921000 | #Constraints: 37737
38.00/38.26 c #Conflicts: 922000 | #Constraints: 38737
38.00/38.26 c INPROCESSING
38.00/38.26 c GARBAGE COLLECT
38.00/38.26 c rational objective 350.5
38.80/39.10 c #Conflicts: 923000 | #Constraints: 20733
38.80/39.10 c #Conflicts: 924000 | #Constraints: 21733
38.80/39.10 c #Conflicts: 925000 | #Constraints: 22733
38.80/39.10 c #Conflicts: 926000 | #Constraints: 23733
38.80/39.10 c #Conflicts: 927000 | #Constraints: 24733
38.80/39.10 c #Conflicts: 928000 | #Constraints: 25733
38.80/39.10 c #Conflicts: 929000 | #Constraints: 26733
38.80/39.10 c #Conflicts: 930000 | #Constraints: 27733
38.80/39.10 c #Conflicts: 931000 | #Constraints: 28733
38.80/39.10 c #Conflicts: 932000 | #Constraints: 29733
38.80/39.10 c #Conflicts: 933000 | #Constraints: 30733
38.80/39.10 c #Conflicts: 934000 | #Constraints: 31733
38.80/39.10 c #Conflicts: 935000 | #Constraints: 32733
38.80/39.10 c #Conflicts: 936000 | #Constraints: 33733
38.80/39.10 c #Conflicts: 937000 | #Constraints: 34733
38.80/39.10 c #Conflicts: 938000 | #Constraints: 35733
38.80/39.10 c #Conflicts: 939000 | #Constraints: 36733
38.80/39.10 c #Conflicts: 940000 | #Constraints: 37733
38.80/39.10 c #Conflicts: 941000 | #Constraints: 38733
38.80/39.10 c INPROCESSING
38.80/39.10 c GARBAGE COLLECT
38.80/39.10 c rational objective 350.5
39.69/39.99 c #Conflicts: 942000 | #Constraints: 20532
39.69/39.99 c #Conflicts: 943000 | #Constraints: 21532
39.69/39.99 c #Conflicts: 944000 | #Constraints: 22532
39.69/39.99 c #Conflicts: 945000 | #Constraints: 23532
39.69/39.99 c #Conflicts: 946000 | #Constraints: 24532
39.69/39.99 c #Conflicts: 947000 | #Constraints: 25532
39.69/39.99 c #Conflicts: 948000 | #Constraints: 26532
39.69/39.99 c #Conflicts: 949000 | #Constraints: 27532
39.69/39.99 c #Conflicts: 950000 | #Constraints: 28532
39.69/39.99 c #Conflicts: 951000 | #Constraints: 29532
39.69/39.99 c #Conflicts: 952000 | #Constraints: 30532
39.69/39.99 c #Conflicts: 953000 | #Constraints: 31532
39.69/39.99 c #Conflicts: 954000 | #Constraints: 32532
39.69/39.99 c #Conflicts: 955000 | #Constraints: 33532
39.69/39.99 c #Conflicts: 956000 | #Constraints: 34532
39.69/39.99 c #Conflicts: 957000 | #Constraints: 35532
39.69/39.99 c #Conflicts: 958000 | #Constraints: 36532
39.69/39.99 c #Conflicts: 959000 | #Constraints: 37532
39.69/39.99 c #Conflicts: 960000 | #Constraints: 38532
39.69/39.99 c #Conflicts: 961000 | #Constraints: 39532
39.69/39.99 c INPROCESSING
39.69/39.99 c GARBAGE COLLECT
39.69/39.99 c rational objective 350.5
40.69/40.94 c #Conflicts: 962000 | #Constraints: 21136
40.69/40.94 c #Conflicts: 963000 | #Constraints: 22136
40.69/40.94 c #Conflicts: 964000 | #Constraints: 23136
40.69/40.94 c #Conflicts: 965000 | #Constraints: 24136
40.69/40.94 c #Conflicts: 966000 | #Constraints: 25136
40.69/40.94 c #Conflicts: 967000 | #Constraints: 26136
40.69/40.94 c #Conflicts: 968000 | #Constraints: 27136
40.69/40.94 c #Conflicts: 969000 | #Constraints: 28136
40.69/40.94 c #Conflicts: 970000 | #Constraints: 29136
40.69/40.94 c #Conflicts: 971000 | #Constraints: 30136
40.69/40.94 c #Conflicts: 972000 | #Constraints: 31136
40.69/40.94 c #Conflicts: 973000 | #Constraints: 32136
40.69/40.94 c #Conflicts: 974000 | #Constraints: 33136
40.69/40.94 c #Conflicts: 975000 | #Constraints: 34136
40.69/40.94 c #Conflicts: 976000 | #Constraints: 35136
40.69/40.94 c #Conflicts: 977000 | #Constraints: 36136
40.69/40.94 c #Conflicts: 978000 | #Constraints: 37136
40.69/40.94 c #Conflicts: 979000 | #Constraints: 38136
40.69/40.94 c #Conflicts: 980000 | #Constraints: 39136
40.69/40.94 c #Conflicts: 981000 | #Constraints: 40136
40.69/40.94 c INPROCESSING
40.69/40.94 c GARBAGE COLLECT
40.69/40.94 c rational objective 350.5
41.59/41.89 c #Conflicts: 982000 | #Constraints: 21538
41.59/41.89 c #Conflicts: 983000 | #Constraints: 22538
41.59/41.89 c #Conflicts: 984000 | #Constraints: 23538
41.59/41.89 c #Conflicts: 985000 | #Constraints: 24538
41.59/41.89 c #Conflicts: 986000 | #Constraints: 25538
41.59/41.89 c #Conflicts: 987000 | #Constraints: 26538
41.59/41.89 c #Conflicts: 988000 | #Constraints: 27538
41.59/41.89 c #Conflicts: 989000 | #Constraints: 28538
41.59/41.89 c #Conflicts: 990000 | #Constraints: 29538
41.59/41.89 c #Conflicts: 991000 | #Constraints: 30538
41.59/41.89 c #Conflicts: 992000 | #Constraints: 31538
41.59/41.89 c #Conflicts: 993000 | #Constraints: 32538
41.59/41.89 c #Conflicts: 994000 | #Constraints: 33538
41.59/41.89 c #Conflicts: 995000 | #Constraints: 34538
41.59/41.89 c #Conflicts: 996000 | #Constraints: 35538
41.59/41.89 c #Conflicts: 997000 | #Constraints: 36538
41.59/41.89 c #Conflicts: 998000 | #Constraints: 37538
41.59/41.89 c #Conflicts: 999000 | #Constraints: 38538
41.59/41.89 c #Conflicts: 1000000 | #Constraints: 39538
41.59/41.89 c #Conflicts: 1001000 | #Constraints: 40538
41.59/41.89 c INPROCESSING
41.59/41.89 c GARBAGE COLLECT
41.59/41.89 c rational objective 350.5
42.59/42.80 c #Conflicts: 1002000 | #Constraints: 21740
42.59/42.80 c #Conflicts: 1003000 | #Constraints: 22740
42.59/42.80 c #Conflicts: 1004000 | #Constraints: 23740
42.59/42.80 c #Conflicts: 1005000 | #Constraints: 24740
42.59/42.80 c #Conflicts: 1006000 | #Constraints: 25740
42.59/42.80 c #Conflicts: 1007000 | #Constraints: 26740
42.59/42.80 c #Conflicts: 1008000 | #Constraints: 27740
42.59/42.80 c #Conflicts: 1009000 | #Constraints: 28740
42.59/42.80 c #Conflicts: 1010000 | #Constraints: 29740
42.59/42.80 c #Conflicts: 1011000 | #Constraints: 30740
42.59/42.80 c #Conflicts: 1012000 | #Constraints: 31740
42.59/42.80 c #Conflicts: 1013000 | #Constraints: 32740
42.59/42.80 c #Conflicts: 1014000 | #Constraints: 33740
42.59/42.80 c #Conflicts: 1015000 | #Constraints: 34740
42.59/42.80 c #Conflicts: 1016000 | #Constraints: 35740
42.59/42.80 c #Conflicts: 1017000 | #Constraints: 36740
42.59/42.80 c #Conflicts: 1018000 | #Constraints: 37740
42.59/42.80 c #Conflicts: 1019000 | #Constraints: 38740
42.59/42.80 c #Conflicts: 1020000 | #Constraints: 39740
42.59/42.80 c #Conflicts: 1021000 | #Constraints: 40740
42.59/42.80 c INPROCESSING
42.59/42.80 c GARBAGE COLLECT
42.59/42.80 c rational objective 350.5
43.49/43.74 c #Conflicts: 1022000 | #Constraints: 21734
43.49/43.74 c #Conflicts: 1023000 | #Constraints: 22734
43.49/43.74 c #Conflicts: 1024000 | #Constraints: 23734
43.49/43.74 c #Conflicts: 1025000 | #Constraints: 24734
43.49/43.74 c #Conflicts: 1026000 | #Constraints: 25734
43.49/43.74 c #Conflicts: 1027000 | #Constraints: 26734
43.49/43.74 c #Conflicts: 1028000 | #Constraints: 27734
43.49/43.74 c #Conflicts: 1029000 | #Constraints: 28734
43.49/43.74 c #Conflicts: 1030000 | #Constraints: 29734
43.49/43.74 c #Conflicts: 1031000 | #Constraints: 30734
43.49/43.74 c #Conflicts: 1032000 | #Constraints: 31734
43.49/43.74 c #Conflicts: 1033000 | #Constraints: 32734
43.49/43.74 c #Conflicts: 1034000 | #Constraints: 33734
43.49/43.74 c #Conflicts: 1035000 | #Constraints: 34734
43.49/43.74 c #Conflicts: 1036000 | #Constraints: 35734
43.49/43.74 c #Conflicts: 1037000 | #Constraints: 36734
43.49/43.74 c #Conflicts: 1038000 | #Constraints: 37734
43.49/43.74 c #Conflicts: 1039000 | #Constraints: 38734
43.49/43.74 c #Conflicts: 1040000 | #Constraints: 39734
43.49/43.74 c #Conflicts: 1041000 | #Constraints: 40734
43.49/43.74 c INPROCESSING
43.49/43.74 c GARBAGE COLLECT
43.49/43.74 c rational objective 350.5
44.59/44.89 c #Conflicts: 1042000 | #Constraints: 21540
44.59/44.89 c #Conflicts: 1043000 | #Constraints: 22540
44.59/44.89 c #Conflicts: 1044000 | #Constraints: 23540
44.59/44.89 c #Conflicts: 1045000 | #Constraints: 24540
44.59/44.89 c #Conflicts: 1046000 | #Constraints: 25540
44.59/44.89 c #Conflicts: 1047000 | #Constraints: 26540
44.59/44.89 c #Conflicts: 1048000 | #Constraints: 27540
44.59/44.89 c #Conflicts: 1049000 | #Constraints: 28540
44.59/44.89 c #Conflicts: 1050000 | #Constraints: 29540
44.59/44.89 c #Conflicts: 1051000 | #Constraints: 30540
44.59/44.89 c #Conflicts: 1052000 | #Constraints: 31540
44.59/44.89 c #Conflicts: 1053000 | #Constraints: 32540
44.59/44.89 c #Conflicts: 1054000 | #Constraints: 33540
44.59/44.89 c #Conflicts: 1055000 | #Constraints: 34540
44.59/44.89 c #Conflicts: 1056000 | #Constraints: 35540
44.59/44.89 c #Conflicts: 1057000 | #Constraints: 36540
44.59/44.89 c #Conflicts: 1058000 | #Constraints: 37540
44.59/44.89 c #Conflicts: 1059000 | #Constraints: 38540
44.59/44.89 c #Conflicts: 1060000 | #Constraints: 39540
44.59/44.89 c #Conflicts: 1061000 | #Constraints: 40540
44.59/44.89 c #Conflicts: 1062000 | #Constraints: 41540
44.59/44.89 c INPROCESSING
44.59/44.89 c GARBAGE COLLECT
44.59/44.89 c rational objective 350.5
45.49/45.79 c #Conflicts: 1063000 | #Constraints: 22144
45.49/45.79 c #Conflicts: 1064000 | #Constraints: 23144
45.49/45.79 c #Conflicts: 1065000 | #Constraints: 24144
45.49/45.79 c #Conflicts: 1066000 | #Constraints: 25144
45.49/45.79 c #Conflicts: 1067000 | #Constraints: 26144
45.49/45.79 c #Conflicts: 1068000 | #Constraints: 27144
45.49/45.79 c #Conflicts: 1069000 | #Constraints: 28144
45.49/45.79 c #Conflicts: 1070000 | #Constraints: 29144
45.49/45.79 c #Conflicts: 1071000 | #Constraints: 30144
45.49/45.79 c #Conflicts: 1072000 | #Constraints: 31144
45.49/45.79 c #Conflicts: 1073000 | #Constraints: 32144
45.49/45.79 c #Conflicts: 1074000 | #Constraints: 33144
45.49/45.79 c #Conflicts: 1075000 | #Constraints: 34144
45.49/45.79 c #Conflicts: 1076000 | #Constraints: 35144
45.49/45.79 c #Conflicts: 1077000 | #Constraints: 36144
45.49/45.79 c #Conflicts: 1078000 | #Constraints: 37144
45.49/45.79 c #Conflicts: 1079000 | #Constraints: 38144
45.49/45.79 c #Conflicts: 1080000 | #Constraints: 39144
45.49/45.79 c #Conflicts: 1081000 | #Constraints: 40144
45.49/45.79 c #Conflicts: 1082000 | #Constraints: 41144
45.49/45.79 c #Conflicts: 1083000 | #Constraints: 42144
45.49/45.79 c INPROCESSING
45.49/45.79 c GARBAGE COLLECT
45.49/45.79 c rational objective 350.5
46.58/46.80 c #Conflicts: 1084000 | #Constraints: 22545
46.58/46.80 c #Conflicts: 1085000 | #Constraints: 23545
46.58/46.80 c #Conflicts: 1086000 | #Constraints: 24545
46.58/46.80 c #Conflicts: 1087000 | #Constraints: 25545
46.58/46.80 c #Conflicts: 1088000 | #Constraints: 26545
46.58/46.80 c #Conflicts: 1089000 | #Constraints: 27545
46.58/46.80 c #Conflicts: 1090000 | #Constraints: 28545
46.58/46.80 c #Conflicts: 1091000 | #Constraints: 29545
46.58/46.80 c #Conflicts: 1092000 | #Constraints: 30545
46.58/46.80 c #Conflicts: 1093000 | #Constraints: 31545
46.58/46.80 c #Conflicts: 1094000 | #Constraints: 32545
46.58/46.80 c #Conflicts: 1095000 | #Constraints: 33545
46.58/46.80 c #Conflicts: 1096000 | #Constraints: 34545
46.58/46.80 c #Conflicts: 1097000 | #Constraints: 35545
46.58/46.80 c #Conflicts: 1098000 | #Constraints: 36545
46.58/46.80 c #Conflicts: 1099000 | #Constraints: 37545
46.58/46.80 c #Conflicts: 1100000 | #Constraints: 38545
46.58/46.80 c #Conflicts: 1101000 | #Constraints: 39545
46.58/46.80 c #Conflicts: 1102000 | #Constraints: 40545
46.58/46.80 c #Conflicts: 1103000 | #Constraints: 41545
46.58/46.80 c #Conflicts: 1104000 | #Constraints: 42545
46.58/46.80 c INPROCESSING
46.58/46.80 c GARBAGE COLLECT
46.58/46.80 c rational objective 350.5
47.58/47.86 c #Conflicts: 1105000 | #Constraints: 22745
47.58/47.86 c #Conflicts: 1106000 | #Constraints: 23745
47.58/47.86 c #Conflicts: 1107000 | #Constraints: 24745
47.58/47.86 c #Conflicts: 1108000 | #Constraints: 25745
47.58/47.86 c #Conflicts: 1109000 | #Constraints: 26745
47.58/47.86 c #Conflicts: 1110000 | #Constraints: 27745
47.58/47.86 c #Conflicts: 1111000 | #Constraints: 28745
47.58/47.86 c #Conflicts: 1112000 | #Constraints: 29745
47.58/47.86 c #Conflicts: 1113000 | #Constraints: 30745
47.58/47.86 c #Conflicts: 1114000 | #Constraints: 31745
47.58/47.86 c #Conflicts: 1115000 | #Constraints: 32745
47.58/47.86 c #Conflicts: 1116000 | #Constraints: 33745
47.58/47.86 c #Conflicts: 1117000 | #Constraints: 34745
47.58/47.86 c #Conflicts: 1118000 | #Constraints: 35745
47.58/47.86 c #Conflicts: 1119000 | #Constraints: 36745
47.58/47.86 c #Conflicts: 1120000 | #Constraints: 37745
47.58/47.86 c #Conflicts: 1121000 | #Constraints: 38745
47.58/47.86 c #Conflicts: 1122000 | #Constraints: 39745
47.58/47.86 c #Conflicts: 1123000 | #Constraints: 40745
47.58/47.86 c #Conflicts: 1124000 | #Constraints: 41745
47.58/47.86 c #Conflicts: 1125000 | #Constraints: 42745
47.58/47.86 c INPROCESSING
47.58/47.86 c GARBAGE COLLECT
47.58/47.86 c rational objective 350.5
48.48/48.79 c #Conflicts: 1126000 | #Constraints: 22745
48.48/48.79 c #Conflicts: 1127000 | #Constraints: 23745
48.48/48.79 c #Conflicts: 1128000 | #Constraints: 24745
48.48/48.79 c #Conflicts: 1129000 | #Constraints: 25745
48.48/48.79 c #Conflicts: 1130000 | #Constraints: 26745
48.48/48.79 c #Conflicts: 1131000 | #Constraints: 27745
48.48/48.79 c #Conflicts: 1132000 | #Constraints: 28745
48.48/48.79 c #Conflicts: 1133000 | #Constraints: 29745
48.48/48.79 c #Conflicts: 1134000 | #Constraints: 30745
48.48/48.79 c #Conflicts: 1135000 | #Constraints: 31745
48.48/48.79 c #Conflicts: 1136000 | #Constraints: 32745
48.48/48.79 c #Conflicts: 1137000 | #Constraints: 33745
48.48/48.79 c #Conflicts: 1138000 | #Constraints: 34745
48.48/48.79 c #Conflicts: 1139000 | #Constraints: 35745
48.48/48.79 c #Conflicts: 1140000 | #Constraints: 36745
48.48/48.79 c #Conflicts: 1141000 | #Constraints: 37745
48.48/48.79 c #Conflicts: 1142000 | #Constraints: 38745
48.48/48.79 c #Conflicts: 1143000 | #Constraints: 39745
48.48/48.79 c #Conflicts: 1144000 | #Constraints: 40745
48.48/48.79 c #Conflicts: 1145000 | #Constraints: 41745
48.48/48.79 c #Conflicts: 1146000 | #Constraints: 42745
48.48/48.79 c INPROCESSING
48.48/48.79 c GARBAGE COLLECT
48.48/48.79 c rational objective 350.5
49.48/49.72 c #Conflicts: 1147000 | #Constraints: 22539
49.48/49.72 c #Conflicts: 1148000 | #Constraints: 23539
49.48/49.72 c #Conflicts: 1149000 | #Constraints: 24539
49.48/49.72 c #Conflicts: 1150000 | #Constraints: 25539
49.48/49.72 c #Conflicts: 1151000 | #Constraints: 26539
49.48/49.72 c #Conflicts: 1152000 | #Constraints: 27539
49.48/49.72 c #Conflicts: 1153000 | #Constraints: 28539
49.48/49.72 c #Conflicts: 1154000 | #Constraints: 29539
49.48/49.72 c #Conflicts: 1155000 | #Constraints: 30539
49.48/49.72 c #Conflicts: 1156000 | #Constraints: 31539
49.48/49.72 c #Conflicts: 1157000 | #Constraints: 32539
49.48/49.72 c #Conflicts: 1158000 | #Constraints: 33539
49.48/49.72 c #Conflicts: 1159000 | #Constraints: 34539
49.48/49.72 c #Conflicts: 1160000 | #Constraints: 35539
49.48/49.72 c #Conflicts: 1161000 | #Constraints: 36539
49.48/49.72 c #Conflicts: 1162000 | #Constraints: 37539
49.48/49.72 c #Conflicts: 1163000 | #Constraints: 38539
49.48/49.72 c #Conflicts: 1164000 | #Constraints: 39539
49.48/49.72 c #Conflicts: 1165000 | #Constraints: 40539
49.48/49.72 c #Conflicts: 1166000 | #Constraints: 41539
49.48/49.72 c #Conflicts: 1167000 | #Constraints: 42539
49.48/49.72 c #Conflicts: 1168000 | #Constraints: 43539
49.48/49.72 c INPROCESSING
49.48/49.72 c GARBAGE COLLECT
49.48/49.72 c rational objective 350.5
50.37/50.69 c #Conflicts: 1169000 | #Constraints: 23144
50.37/50.69 c #Conflicts: 1170000 | #Constraints: 24144
50.37/50.69 c #Conflicts: 1171000 | #Constraints: 25144
50.37/50.69 c #Conflicts: 1172000 | #Constraints: 26144
50.37/50.69 c #Conflicts: 1173000 | #Constraints: 27144
50.37/50.69 c #Conflicts: 1174000 | #Constraints: 28144
50.37/50.69 c #Conflicts: 1175000 | #Constraints: 29144
50.37/50.69 c #Conflicts: 1176000 | #Constraints: 30144
50.37/50.69 c #Conflicts: 1177000 | #Constraints: 31144
50.37/50.69 c #Conflicts: 1178000 | #Constraints: 32144
50.37/50.69 c #Conflicts: 1179000 | #Constraints: 33144
50.37/50.69 c #Conflicts: 1180000 | #Constraints: 34144
50.37/50.69 c #Conflicts: 1181000 | #Constraints: 35144
50.37/50.69 c #Conflicts: 1182000 | #Constraints: 36144
50.37/50.69 c #Conflicts: 1183000 | #Constraints: 37144
50.37/50.69 c #Conflicts: 1184000 | #Constraints: 38144
50.37/50.69 c #Conflicts: 1185000 | #Constraints: 39144
50.37/50.69 c #Conflicts: 1186000 | #Constraints: 40144
50.37/50.69 c #Conflicts: 1187000 | #Constraints: 41144
50.37/50.69 c #Conflicts: 1188000 | #Constraints: 42144
50.37/50.69 c #Conflicts: 1189000 | #Constraints: 43144
50.37/50.69 c #Conflicts: 1190000 | #Constraints: 44144
50.37/50.69 c INPROCESSING
50.37/50.69 c GARBAGE COLLECT
50.37/50.69 c rational objective 350.5
51.37/51.63 c #Conflicts: 1191000 | #Constraints: 23548
51.37/51.63 c #Conflicts: 1192000 | #Constraints: 24548
51.37/51.63 c #Conflicts: 1193000 | #Constraints: 25548
51.37/51.63 c #Conflicts: 1194000 | #Constraints: 26548
51.37/51.63 c #Conflicts: 1195000 | #Constraints: 27548
51.37/51.63 c #Conflicts: 1196000 | #Constraints: 28548
51.37/51.63 c #Conflicts: 1197000 | #Constraints: 29548
51.37/51.63 c #Conflicts: 1198000 | #Constraints: 30548
51.37/51.63 c #Conflicts: 1199000 | #Constraints: 31548
51.37/51.63 c #Conflicts: 1200000 | #Constraints: 32548
51.37/51.63 c #Conflicts: 1201000 | #Constraints: 33548
51.37/51.63 c #Conflicts: 1202000 | #Constraints: 34548
51.37/51.63 c #Conflicts: 1203000 | #Constraints: 35548
51.37/51.63 c #Conflicts: 1204000 | #Constraints: 36548
51.37/51.63 c #Conflicts: 1205000 | #Constraints: 37548
51.37/51.63 c #Conflicts: 1206000 | #Constraints: 38548
51.37/51.63 c #Conflicts: 1207000 | #Constraints: 39548
51.37/51.63 c #Conflicts: 1208000 | #Constraints: 40548
51.37/51.63 c #Conflicts: 1209000 | #Constraints: 41548
51.37/51.63 c #Conflicts: 1210000 | #Constraints: 42548
51.37/51.63 c #Conflicts: 1211000 | #Constraints: 43548
51.37/51.63 c #Conflicts: 1212000 | #Constraints: 44548
51.37/51.63 c INPROCESSING
51.37/51.63 c GARBAGE COLLECT
51.37/51.63 c rational objective 350.5
52.36/52.66 c #Conflicts: 1213000 | #Constraints: 23750
52.36/52.66 c #Conflicts: 1214000 | #Constraints: 24750
52.36/52.66 c #Conflicts: 1215000 | #Constraints: 25750
52.36/52.66 c #Conflicts: 1216000 | #Constraints: 26750
52.36/52.66 c #Conflicts: 1217000 | #Constraints: 27750
52.36/52.66 c #Conflicts: 1218000 | #Constraints: 28750
52.36/52.66 c #Conflicts: 1219000 | #Constraints: 29750
52.36/52.66 c #Conflicts: 1220000 | #Constraints: 30750
52.36/52.66 c #Conflicts: 1221000 | #Constraints: 31750
52.36/52.66 c #Conflicts: 1222000 | #Constraints: 32750
52.36/52.66 c #Conflicts: 1223000 | #Constraints: 33750
52.36/52.66 c #Conflicts: 1224000 | #Constraints: 34750
52.36/52.66 c #Conflicts: 1225000 | #Constraints: 35750
52.36/52.66 c #Conflicts: 1226000 | #Constraints: 36750
52.36/52.66 c #Conflicts: 1227000 | #Constraints: 37750
52.36/52.66 c #Conflicts: 1228000 | #Constraints: 38750
52.36/52.66 c #Conflicts: 1229000 | #Constraints: 39750
52.36/52.66 c #Conflicts: 1230000 | #Constraints: 40750
52.36/52.66 c #Conflicts: 1231000 | #Constraints: 41750
52.36/52.66 c #Conflicts: 1232000 | #Constraints: 42750
52.36/52.66 c #Conflicts: 1233000 | #Constraints: 43750
52.36/52.66 c #Conflicts: 1234000 | #Constraints: 44750
52.36/52.66 c INPROCESSING
52.36/52.66 c GARBAGE COLLECT
52.36/52.66 c rational objective 350.5
53.36/53.65 c #Conflicts: 1235000 | #Constraints: 23748
53.36/53.65 c #Conflicts: 1236000 | #Constraints: 24748
53.36/53.65 c #Conflicts: 1237000 | #Constraints: 25748
53.36/53.65 c #Conflicts: 1238000 | #Constraints: 26748
53.36/53.65 c #Conflicts: 1239000 | #Constraints: 27748
53.36/53.65 c #Conflicts: 1240000 | #Constraints: 28748
53.36/53.65 c #Conflicts: 1241000 | #Constraints: 29748
53.36/53.65 c #Conflicts: 1242000 | #Constraints: 30748
53.36/53.65 c #Conflicts: 1243000 | #Constraints: 31748
53.36/53.65 c #Conflicts: 1244000 | #Constraints: 32748
53.36/53.65 c #Conflicts: 1245000 | #Constraints: 33748
53.36/53.65 c #Conflicts: 1246000 | #Constraints: 34748
53.36/53.65 c #Conflicts: 1247000 | #Constraints: 35748
53.36/53.65 c #Conflicts: 1248000 | #Constraints: 36748
53.36/53.65 c #Conflicts: 1249000 | #Constraints: 37748
53.36/53.65 c #Conflicts: 1250000 | #Constraints: 38748
53.36/53.65 c #Conflicts: 1251000 | #Constraints: 39748
53.36/53.65 c #Conflicts: 1252000 | #Constraints: 40748
53.36/53.65 c #Conflicts: 1253000 | #Constraints: 41748
53.36/53.65 c #Conflicts: 1254000 | #Constraints: 42748
53.36/53.65 c #Conflicts: 1255000 | #Constraints: 43748
53.36/53.65 c #Conflicts: 1256000 | #Constraints: 44748
53.36/53.65 c INPROCESSING
53.36/53.65 c GARBAGE COLLECT
53.36/53.65 c rational objective 350.5
54.37/54.68 c #Conflicts: 1257000 | #Constraints: 23550
54.37/54.68 c #Conflicts: 1258000 | #Constraints: 24550
54.37/54.68 c #Conflicts: 1259000 | #Constraints: 25550
54.37/54.68 c #Conflicts: 1260000 | #Constraints: 26550
54.37/54.68 c #Conflicts: 1261000 | #Constraints: 27550
54.37/54.68 c #Conflicts: 1262000 | #Constraints: 28550
54.37/54.68 c #Conflicts: 1263000 | #Constraints: 29550
54.37/54.68 c #Conflicts: 1264000 | #Constraints: 30550
54.37/54.68 c #Conflicts: 1265000 | #Constraints: 31550
54.37/54.68 c #Conflicts: 1266000 | #Constraints: 32550
54.37/54.68 c #Conflicts: 1267000 | #Constraints: 33550
54.37/54.68 c #Conflicts: 1268000 | #Constraints: 34550
54.37/54.68 c #Conflicts: 1269000 | #Constraints: 35550
54.37/54.68 c #Conflicts: 1270000 | #Constraints: 36550
54.37/54.68 c #Conflicts: 1271000 | #Constraints: 37550
54.37/54.68 c #Conflicts: 1272000 | #Constraints: 38550
54.37/54.68 c #Conflicts: 1273000 | #Constraints: 39550
54.37/54.68 c #Conflicts: 1274000 | #Constraints: 40550
54.37/54.68 c #Conflicts: 1275000 | #Constraints: 41550
54.37/54.68 c #Conflicts: 1276000 | #Constraints: 42550
54.37/54.68 c #Conflicts: 1277000 | #Constraints: 43550
54.37/54.68 c #Conflicts: 1278000 | #Constraints: 44550
54.37/54.68 c #Conflicts: 1279000 | #Constraints: 45550
54.37/54.68 c INPROCESSING
54.37/54.68 c GARBAGE COLLECT
54.37/54.68 c rational objective 350.5
55.36/55.69 c #Conflicts: 1280000 | #Constraints: 24155
55.36/55.69 c #Conflicts: 1281000 | #Constraints: 25155
55.36/55.69 c #Conflicts: 1282000 | #Constraints: 26155
55.36/55.69 c #Conflicts: 1283000 | #Constraints: 27155
55.36/55.69 c #Conflicts: 1284000 | #Constraints: 28155
55.36/55.69 c #Conflicts: 1285000 | #Constraints: 29155
55.36/55.69 c #Conflicts: 1286000 | #Constraints: 30155
55.36/55.69 c #Conflicts: 1287000 | #Constraints: 31155
55.36/55.69 c #Conflicts: 1288000 | #Constraints: 32155
55.36/55.69 c #Conflicts: 1289000 | #Constraints: 33155
55.36/55.69 c #Conflicts: 1290000 | #Constraints: 34155
55.36/55.69 c #Conflicts: 1291000 | #Constraints: 35155
55.36/55.69 c #Conflicts: 1292000 | #Constraints: 36155
55.36/55.69 c #Conflicts: 1293000 | #Constraints: 37155
55.36/55.69 c #Conflicts: 1294000 | #Constraints: 38155
55.36/55.69 c #Conflicts: 1295000 | #Constraints: 39155
55.36/55.69 c #Conflicts: 1296000 | #Constraints: 40155
55.36/55.69 c #Conflicts: 1297000 | #Constraints: 41155
55.36/55.69 c #Conflicts: 1298000 | #Constraints: 42155
55.36/55.69 c #Conflicts: 1299000 | #Constraints: 43155
55.36/55.69 c #Conflicts: 1300000 | #Constraints: 44155
55.36/55.69 c #Conflicts: 1301000 | #Constraints: 45155
55.36/55.69 c #Conflicts: 1302000 | #Constraints: 46155
55.36/55.69 c INPROCESSING
55.36/55.69 c GARBAGE COLLECT
55.36/55.69 c rational objective 350.5
56.46/56.74 c #Conflicts: 1303000 | #Constraints: 24563
56.46/56.74 c #Conflicts: 1304000 | #Constraints: 25563
56.46/56.74 c #Conflicts: 1305000 | #Constraints: 26563
56.46/56.74 c #Conflicts: 1306000 | #Constraints: 27563
56.46/56.74 c #Conflicts: 1307000 | #Constraints: 28563
56.46/56.74 c #Conflicts: 1308000 | #Constraints: 29563
56.46/56.74 c #Conflicts: 1309000 | #Constraints: 30563
56.46/56.74 c #Conflicts: 1310000 | #Constraints: 31563
56.46/56.74 c #Conflicts: 1311000 | #Constraints: 32563
56.46/56.74 c #Conflicts: 1312000 | #Constraints: 33563
56.46/56.74 c #Conflicts: 1313000 | #Constraints: 34563
56.46/56.74 c #Conflicts: 1314000 | #Constraints: 35563
56.46/56.74 c #Conflicts: 1315000 | #Constraints: 36563
56.46/56.74 c #Conflicts: 1316000 | #Constraints: 37563
56.46/56.74 c #Conflicts: 1317000 | #Constraints: 38563
56.46/56.74 c #Conflicts: 1318000 | #Constraints: 39563
56.46/56.74 c #Conflicts: 1319000 | #Constraints: 40563
56.46/56.74 c #Conflicts: 1320000 | #Constraints: 41563
56.46/56.74 c #Conflicts: 1321000 | #Constraints: 42563
56.46/56.74 c #Conflicts: 1322000 | #Constraints: 43563
56.46/56.74 c #Conflicts: 1323000 | #Constraints: 44563
56.46/56.74 c #Conflicts: 1324000 | #Constraints: 45563
56.46/56.74 c #Conflicts: 1325000 | #Constraints: 46563
56.46/56.74 c INPROCESSING
56.46/56.74 c GARBAGE COLLECT
56.46/56.74 c rational objective 350.5
57.55/57.80 c #Conflicts: 1326000 | #Constraints: 24765
57.55/57.80 c #Conflicts: 1327000 | #Constraints: 25765
57.55/57.80 c #Conflicts: 1328000 | #Constraints: 26765
57.55/57.80 c #Conflicts: 1329000 | #Constraints: 27765
57.55/57.80 c #Conflicts: 1330000 | #Constraints: 28765
57.55/57.80 c #Conflicts: 1331000 | #Constraints: 29765
57.55/57.80 c #Conflicts: 1332000 | #Constraints: 30765
57.55/57.80 c #Conflicts: 1333000 | #Constraints: 31765
57.55/57.80 c #Conflicts: 1334000 | #Constraints: 32765
57.55/57.80 c #Conflicts: 1335000 | #Constraints: 33765
57.55/57.80 c #Conflicts: 1336000 | #Constraints: 34765
57.55/57.80 c #Conflicts: 1337000 | #Constraints: 35765
57.55/57.80 c #Conflicts: 1338000 | #Constraints: 36765
57.55/57.80 c #Conflicts: 1339000 | #Constraints: 37765
57.55/57.80 c #Conflicts: 1340000 | #Constraints: 38765
57.55/57.80 c #Conflicts: 1341000 | #Constraints: 39765
57.55/57.80 c #Conflicts: 1342000 | #Constraints: 40765
57.55/57.80 c #Conflicts: 1343000 | #Constraints: 41765
57.55/57.80 c #Conflicts: 1344000 | #Constraints: 42765
57.55/57.80 c #Conflicts: 1345000 | #Constraints: 43765
57.55/57.80 c #Conflicts: 1346000 | #Constraints: 44765
57.55/57.80 c #Conflicts: 1347000 | #Constraints: 45765
57.55/57.80 c #Conflicts: 1348000 | #Constraints: 46765
57.55/57.80 c INPROCESSING
57.55/57.80 c GARBAGE COLLECT
57.55/57.80 c rational objective 350.5
58.55/58.89 c #Conflicts: 1349000 | #Constraints: 24769
58.55/58.89 c #Conflicts: 1350000 | #Constraints: 25769
58.55/58.89 c #Conflicts: 1351000 | #Constraints: 26769
58.55/58.89 c #Conflicts: 1352000 | #Constraints: 27769
58.55/58.89 c #Conflicts: 1353000 | #Constraints: 28769
58.55/58.89 c #Conflicts: 1354000 | #Constraints: 29769
58.55/58.89 c #Conflicts: 1355000 | #Constraints: 30769
58.55/58.89 c #Conflicts: 1356000 | #Constraints: 31769
58.55/58.89 c #Conflicts: 1357000 | #Constraints: 32769
58.55/58.89 c #Conflicts: 1358000 | #Constraints: 33769
58.55/58.89 c #Conflicts: 1359000 | #Constraints: 34769
58.55/58.89 c #Conflicts: 1360000 | #Constraints: 35769
58.55/58.89 c #Conflicts: 1361000 | #Constraints: 36769
58.55/58.89 c #Conflicts: 1362000 | #Constraints: 37769
58.55/58.89 c #Conflicts: 1363000 | #Constraints: 38769
58.55/58.89 c #Conflicts: 1364000 | #Constraints: 39769
58.55/58.89 c #Conflicts: 1365000 | #Constraints: 40769
58.55/58.89 c #Conflicts: 1366000 | #Constraints: 41769
58.55/58.89 c #Conflicts: 1367000 | #Constraints: 42769
58.55/58.89 c #Conflicts: 1368000 | #Constraints: 43769
58.55/58.89 c #Conflicts: 1369000 | #Constraints: 44769
58.55/58.89 c #Conflicts: 1370000 | #Constraints: 45769
58.55/58.89 c #Conflicts: 1371000 | #Constraints: 46769
58.55/58.89 c INPROCESSING
58.55/58.89 c GARBAGE COLLECT
58.55/58.89 c rational objective 350.5
59.76/60.03 c #Conflicts: 1372000 | #Constraints: 24566
59.76/60.03 c #Conflicts: 1373000 | #Constraints: 25566
59.76/60.03 c #Conflicts: 1374000 | #Constraints: 26566
59.76/60.03 c #Conflicts: 1375000 | #Constraints: 27566
59.76/60.03 c #Conflicts: 1376000 | #Constraints: 28566
59.76/60.03 c #Conflicts: 1377000 | #Constraints: 29566
59.76/60.03 c #Conflicts: 1378000 | #Constraints: 30566
59.76/60.03 c #Conflicts: 1379000 | #Constraints: 31566
59.76/60.03 c #Conflicts: 1380000 | #Constraints: 32566
59.76/60.03 c #Conflicts: 1381000 | #Constraints: 33566
59.76/60.03 c #Conflicts: 1382000 | #Constraints: 34566
59.76/60.03 c #Conflicts: 1383000 | #Constraints: 35566
59.76/60.03 c #Conflicts: 1384000 | #Constraints: 36566
59.76/60.03 c #Conflicts: 1385000 | #Constraints: 37566
59.76/60.03 c #Conflicts: 1386000 | #Constraints: 38566
59.76/60.03 c #Conflicts: 1387000 | #Constraints: 39566
59.76/60.03 c #Conflicts: 1388000 | #Constraints: 40566
59.76/60.03 c #Conflicts: 1389000 | #Constraints: 41566
59.76/60.03 c #Conflicts: 1390000 | #Constraints: 42566
59.76/60.03 c #Conflicts: 1391000 | #Constraints: 43566
59.76/60.03 c #Conflicts: 1392000 | #Constraints: 44566
59.76/60.03 c #Conflicts: 1393000 | #Constraints: 45566
59.76/60.03 c #Conflicts: 1394000 | #Constraints: 46566
59.76/60.03 c #Conflicts: 1395000 | #Constraints: 47566
59.76/60.03 c INPROCESSING
59.76/60.03 c GARBAGE COLLECT
59.76/60.03 c rational objective 350.5
60.85/61.12 c #Conflicts: 1396000 | #Constraints: 25169
60.85/61.12 c #Conflicts: 1397000 | #Constraints: 26169
60.85/61.12 c #Conflicts: 1398000 | #Constraints: 27169
60.85/61.12 c #Conflicts: 1399000 | #Constraints: 28169
60.85/61.12 c #Conflicts: 1400000 | #Constraints: 29169
60.85/61.12 c #Conflicts: 1401000 | #Constraints: 30169
60.85/61.12 c #Conflicts: 1402000 | #Constraints: 31169
60.85/61.12 c #Conflicts: 1403000 | #Constraints: 32169
60.85/61.12 c #Conflicts: 1404000 | #Constraints: 33169
60.85/61.12 c #Conflicts: 1405000 | #Constraints: 34169
60.85/61.12 c #Conflicts: 1406000 | #Constraints: 35169
60.85/61.12 c #Conflicts: 1407000 | #Constraints: 36169
60.85/61.12 c #Conflicts: 1408000 | #Constraints: 37169
60.85/61.12 c #Conflicts: 1409000 | #Constraints: 38169
60.85/61.12 c #Conflicts: 1410000 | #Constraints: 39169
60.85/61.12 c #Conflicts: 1411000 | #Constraints: 40169
60.85/61.12 c #Conflicts: 1412000 | #Constraints: 41169
60.85/61.12 c #Conflicts: 1413000 | #Constraints: 42169
60.85/61.12 c #Conflicts: 1414000 | #Constraints: 43169
60.85/61.12 c #Conflicts: 1415000 | #Constraints: 44169
60.85/61.12 c #Conflicts: 1416000 | #Constraints: 45169
60.85/61.12 c #Conflicts: 1417000 | #Constraints: 46169
60.85/61.12 c #Conflicts: 1418000 | #Constraints: 47169
60.85/61.12 c #Conflicts: 1419000 | #Constraints: 48169
60.85/61.12 c INPROCESSING
60.85/61.12 c GARBAGE COLLECT
60.85/61.12 c rational objective 350.5
61.94/62.23 c #Conflicts: 1420000 | #Constraints: 25562
61.94/62.23 c #Conflicts: 1421000 | #Constraints: 26562
61.94/62.23 c #Conflicts: 1422000 | #Constraints: 27562
61.94/62.23 c #Conflicts: 1423000 | #Constraints: 28562
61.94/62.23 c #Conflicts: 1424000 | #Constraints: 29562
61.94/62.23 c #Conflicts: 1425000 | #Constraints: 30562
61.94/62.23 c #Conflicts: 1426000 | #Constraints: 31562
61.94/62.23 c #Conflicts: 1427000 | #Constraints: 32562
61.94/62.23 c #Conflicts: 1428000 | #Constraints: 33562
61.94/62.23 c #Conflicts: 1429000 | #Constraints: 34562
61.94/62.23 c #Conflicts: 1430000 | #Constraints: 35562
61.94/62.23 c #Conflicts: 1431000 | #Constraints: 36562
61.94/62.23 c #Conflicts: 1432000 | #Constraints: 37562
61.94/62.23 c #Conflicts: 1433000 | #Constraints: 38562
61.94/62.23 c #Conflicts: 1434000 | #Constraints: 39562
61.94/62.23 c #Conflicts: 1435000 | #Constraints: 40562
61.94/62.23 c #Conflicts: 1436000 | #Constraints: 41562
61.94/62.23 c #Conflicts: 1437000 | #Constraints: 42562
61.94/62.23 c #Conflicts: 1438000 | #Constraints: 43562
61.94/62.23 c #Conflicts: 1439000 | #Constraints: 44562
61.94/62.23 c #Conflicts: 1440000 | #Constraints: 45562
61.94/62.23 c #Conflicts: 1441000 | #Constraints: 46562
61.94/62.23 c #Conflicts: 1442000 | #Constraints: 47562
61.94/62.23 c #Conflicts: 1443000 | #Constraints: 48562
61.94/62.23 c INPROCESSING
61.94/62.23 c GARBAGE COLLECT
61.94/62.23 c rational objective 350.5
63.04/63.36 c #Conflicts: 1444000 | #Constraints: 25764
63.04/63.36 c #Conflicts: 1445000 | #Constraints: 26764
63.04/63.36 c #Conflicts: 1446000 | #Constraints: 27764
63.04/63.36 c #Conflicts: 1447000 | #Constraints: 28764
63.04/63.36 c #Conflicts: 1448000 | #Constraints: 29764
63.04/63.36 c #Conflicts: 1449000 | #Constraints: 30764
63.04/63.36 c #Conflicts: 1450000 | #Constraints: 31764
63.04/63.36 c #Conflicts: 1451000 | #Constraints: 32764
63.04/63.36 c #Conflicts: 1452000 | #Constraints: 33764
63.04/63.36 c #Conflicts: 1453000 | #Constraints: 34764
63.04/63.36 c #Conflicts: 1454000 | #Constraints: 35764
63.04/63.36 c #Conflicts: 1455000 | #Constraints: 36764
63.04/63.36 c #Conflicts: 1456000 | #Constraints: 37764
63.04/63.36 c #Conflicts: 1457000 | #Constraints: 38764
63.04/63.36 c #Conflicts: 1458000 | #Constraints: 39764
63.04/63.36 c #Conflicts: 1459000 | #Constraints: 40764
63.04/63.36 c #Conflicts: 1460000 | #Constraints: 41764
63.04/63.36 c #Conflicts: 1461000 | #Constraints: 42764
63.04/63.36 c #Conflicts: 1462000 | #Constraints: 43764
63.04/63.36 c #Conflicts: 1463000 | #Constraints: 44764
63.04/63.36 c #Conflicts: 1464000 | #Constraints: 45764
63.04/63.36 c #Conflicts: 1465000 | #Constraints: 46764
63.04/63.36 c #Conflicts: 1466000 | #Constraints: 47764
63.04/63.36 c #Conflicts: 1467000 | #Constraints: 48764
63.04/63.36 c INPROCESSING
63.04/63.36 c GARBAGE COLLECT
63.04/63.36 c rational objective 350.5
64.13/64.45 c #Conflicts: 1468000 | #Constraints: 25767
64.13/64.45 c #Conflicts: 1469000 | #Constraints: 26767
64.13/64.45 c #Conflicts: 1470000 | #Constraints: 27767
64.13/64.45 c #Conflicts: 1471000 | #Constraints: 28767
64.13/64.45 c #Conflicts: 1472000 | #Constraints: 29767
64.13/64.45 c #Conflicts: 1473000 | #Constraints: 30767
64.13/64.45 c #Conflicts: 1474000 | #Constraints: 31767
64.13/64.45 c #Conflicts: 1475000 | #Constraints: 32767
64.13/64.45 c #Conflicts: 1476000 | #Constraints: 33767
64.13/64.45 c #Conflicts: 1477000 | #Constraints: 34767
64.13/64.45 c #Conflicts: 1478000 | #Constraints: 35767
64.13/64.45 c #Conflicts: 1479000 | #Constraints: 36767
64.13/64.45 c #Conflicts: 1480000 | #Constraints: 37767
64.13/64.45 c #Conflicts: 1481000 | #Constraints: 38767
64.13/64.45 c #Conflicts: 1482000 | #Constraints: 39767
64.13/64.45 c #Conflicts: 1483000 | #Constraints: 40767
64.13/64.45 c #Conflicts: 1484000 | #Constraints: 41767
64.13/64.45 c #Conflicts: 1485000 | #Constraints: 42767
64.13/64.45 c #Conflicts: 1486000 | #Constraints: 43767
64.13/64.45 c #Conflicts: 1487000 | #Constraints: 44767
64.13/64.45 c #Conflicts: 1488000 | #Constraints: 45767
64.13/64.45 c #Conflicts: 1489000 | #Constraints: 46767
64.13/64.45 c #Conflicts: 1490000 | #Constraints: 47767
64.13/64.45 c #Conflicts: 1491000 | #Constraints: 48767
64.13/64.45 c INPROCESSING
64.13/64.45 c GARBAGE COLLECT
64.13/64.45 c rational objective 350.5
65.29/65.61 c #Conflicts: 1492000 | #Constraints: 25563
65.29/65.61 c #Conflicts: 1493000 | #Constraints: 26563
65.29/65.61 c #Conflicts: 1494000 | #Constraints: 27563
65.29/65.61 c #Conflicts: 1495000 | #Constraints: 28563
65.29/65.61 c #Conflicts: 1496000 | #Constraints: 29563
65.29/65.61 c #Conflicts: 1497000 | #Constraints: 30563
65.29/65.61 c #Conflicts: 1498000 | #Constraints: 31563
65.29/65.61 c #Conflicts: 1499000 | #Constraints: 32563
65.29/65.61 c #Conflicts: 1500000 | #Constraints: 33563
65.29/65.61 c #Conflicts: 1501000 | #Constraints: 34563
65.29/65.61 c #Conflicts: 1502000 | #Constraints: 35563
65.29/65.61 c #Conflicts: 1503000 | #Constraints: 36563
65.29/65.61 c #Conflicts: 1504000 | #Constraints: 37563
65.29/65.61 c #Conflicts: 1505000 | #Constraints: 38563
65.29/65.61 c #Conflicts: 1506000 | #Constraints: 39563
65.29/65.61 c #Conflicts: 1507000 | #Constraints: 40563
65.29/65.61 c #Conflicts: 1508000 | #Constraints: 41563
65.29/65.61 c #Conflicts: 1509000 | #Constraints: 42563
65.29/65.61 c #Conflicts: 1510000 | #Constraints: 43563
65.29/65.61 c #Conflicts: 1511000 | #Constraints: 44563
65.29/65.61 c #Conflicts: 1512000 | #Constraints: 45563
65.29/65.61 c #Conflicts: 1513000 | #Constraints: 46563
65.29/65.61 c #Conflicts: 1514000 | #Constraints: 47563
65.29/65.61 c #Conflicts: 1515000 | #Constraints: 48563
65.29/65.61 c #Conflicts: 1516000 | #Constraints: 49563
65.29/65.61 c INPROCESSING
65.29/65.61 c GARBAGE COLLECT
65.29/65.61 c rational objective 350.5
66.39/66.72 c #Conflicts: 1517000 | #Constraints: 26164
66.39/66.72 c #Conflicts: 1518000 | #Constraints: 27164
66.39/66.72 c #Conflicts: 1519000 | #Constraints: 28164
66.39/66.72 c #Conflicts: 1520000 | #Constraints: 29164
66.39/66.72 c #Conflicts: 1521000 | #Constraints: 30164
66.39/66.72 c #Conflicts: 1522000 | #Constraints: 31164
66.39/66.72 c #Conflicts: 1523000 | #Constraints: 32164
66.39/66.72 c #Conflicts: 1524000 | #Constraints: 33164
66.39/66.72 c #Conflicts: 1525000 | #Constraints: 34164
66.39/66.72 c #Conflicts: 1526000 | #Constraints: 35164
66.39/66.72 c #Conflicts: 1527000 | #Constraints: 36164
66.39/66.72 c #Conflicts: 1528000 | #Constraints: 37164
66.39/66.72 c #Conflicts: 1529000 | #Constraints: 38164
66.39/66.72 c #Conflicts: 1530000 | #Constraints: 39164
66.39/66.72 c #Conflicts: 1531000 | #Constraints: 40164
66.39/66.72 c #Conflicts: 1532000 | #Constraints: 41164
66.39/66.72 c #Conflicts: 1533000 | #Constraints: 42164
66.39/66.72 c #Conflicts: 1534000 | #Constraints: 43164
66.39/66.72 c #Conflicts: 1535000 | #Constraints: 44164
66.39/66.72 c #Conflicts: 1536000 | #Constraints: 45164
66.39/66.72 c #Conflicts: 1537000 | #Constraints: 46164
66.39/66.72 c #Conflicts: 1538000 | #Constraints: 47164
66.39/66.72 c #Conflicts: 1539000 | #Constraints: 48164
66.39/66.72 c #Conflicts: 1540000 | #Constraints: 49164
66.39/66.72 c #Conflicts: 1541000 | #Constraints: 50164
66.39/66.72 c INPROCESSING
66.39/66.72 c GARBAGE COLLECT
66.39/66.72 c rational objective 350.5
67.49/67.89 c #Conflicts: 1542000 | #Constraints: 26563
67.49/67.89 c #Conflicts: 1543000 | #Constraints: 27563
67.49/67.89 c #Conflicts: 1544000 | #Constraints: 28563
67.49/67.89 c #Conflicts: 1545000 | #Constraints: 29563
67.49/67.89 c #Conflicts: 1546000 | #Constraints: 30563
67.49/67.89 c #Conflicts: 1547000 | #Constraints: 31563
67.49/67.89 c #Conflicts: 1548000 | #Constraints: 32563
67.49/67.89 c #Conflicts: 1549000 | #Constraints: 33563
67.49/67.89 c #Conflicts: 1550000 | #Constraints: 34563
67.49/67.89 c #Conflicts: 1551000 | #Constraints: 35563
67.49/67.89 c #Conflicts: 1552000 | #Constraints: 36563
67.49/67.89 c #Conflicts: 1553000 | #Constraints: 37563
67.49/67.89 c #Conflicts: 1554000 | #Constraints: 38563
67.49/67.89 c #Conflicts: 1555000 | #Constraints: 39563
67.49/67.89 c #Conflicts: 1556000 | #Constraints: 40563
67.49/67.89 c #Conflicts: 1557000 | #Constraints: 41563
67.49/67.89 c #Conflicts: 1558000 | #Constraints: 42563
67.49/67.89 c #Conflicts: 1559000 | #Constraints: 43563
67.49/67.89 c #Conflicts: 1560000 | #Constraints: 44563
67.49/67.89 c #Conflicts: 1561000 | #Constraints: 45563
67.49/67.89 c #Conflicts: 1562000 | #Constraints: 46563
67.49/67.89 c #Conflicts: 1563000 | #Constraints: 47563
67.49/67.89 c #Conflicts: 1564000 | #Constraints: 48563
67.49/67.89 c #Conflicts: 1565000 | #Constraints: 49563
67.49/67.89 c #Conflicts: 1566000 | #Constraints: 50563
67.49/67.89 c INPROCESSING
67.49/67.89 c GARBAGE COLLECT
67.49/67.89 c rational objective 350.5
68.79/69.10 c #Conflicts: 1567000 | #Constraints: 26760
68.79/69.10 c #Conflicts: 1568000 | #Constraints: 27760
68.79/69.10 c #Conflicts: 1569000 | #Constraints: 28760
68.79/69.10 c #Conflicts: 1570000 | #Constraints: 29760
68.79/69.10 c #Conflicts: 1571000 | #Constraints: 30760
68.79/69.10 c #Conflicts: 1572000 | #Constraints: 31760
68.79/69.10 c #Conflicts: 1573000 | #Constraints: 32760
68.79/69.10 c #Conflicts: 1574000 | #Constraints: 33760
68.79/69.10 c #Conflicts: 1575000 | #Constraints: 34760
68.79/69.10 c #Conflicts: 1576000 | #Constraints: 35760
68.79/69.10 c #Conflicts: 1577000 | #Constraints: 36760
68.79/69.10 c #Conflicts: 1578000 | #Constraints: 37760
68.79/69.10 c #Conflicts: 1579000 | #Constraints: 38760
68.79/69.10 c #Conflicts: 1580000 | #Constraints: 39760
68.79/69.10 c #Conflicts: 1581000 | #Constraints: 40760
68.79/69.10 c #Conflicts: 1582000 | #Constraints: 41760
68.79/69.10 c #Conflicts: 1583000 | #Constraints: 42760
68.79/69.10 c #Conflicts: 1584000 | #Constraints: 43760
68.79/69.10 c #Conflicts: 1585000 | #Constraints: 44760
68.79/69.10 c #Conflicts: 1586000 | #Constraints: 45760
68.79/69.10 c #Conflicts: 1587000 | #Constraints: 46760
68.79/69.10 c #Conflicts: 1588000 | #Constraints: 47760
68.79/69.10 c #Conflicts: 1589000 | #Constraints: 48760
68.79/69.10 c #Conflicts: 1590000 | #Constraints: 49760
68.79/69.10 c #Conflicts: 1591000 | #Constraints: 50760
68.79/69.10 c INPROCESSING
68.79/69.10 c GARBAGE COLLECT
68.79/69.10 c rational objective 350.5
69.98/70.35 c #Conflicts: 1592000 | #Constraints: 26757
69.98/70.35 c #Conflicts: 1593000 | #Constraints: 27757
69.98/70.35 c #Conflicts: 1594000 | #Constraints: 28757
69.98/70.35 c #Conflicts: 1595000 | #Constraints: 29757
69.98/70.35 c #Conflicts: 1596000 | #Constraints: 30757
69.98/70.35 c #Conflicts: 1597000 | #Constraints: 31757
69.98/70.35 c #Conflicts: 1598000 | #Constraints: 32757
69.98/70.35 c #Conflicts: 1599000 | #Constraints: 33757
69.98/70.35 c #Conflicts: 1600000 | #Constraints: 34757
69.98/70.35 c #Conflicts: 1601000 | #Constraints: 35757
69.98/70.35 c #Conflicts: 1602000 | #Constraints: 36757
69.98/70.35 c #Conflicts: 1603000 | #Constraints: 37757
69.98/70.35 c #Conflicts: 1604000 | #Constraints: 38757
69.98/70.35 c #Conflicts: 1605000 | #Constraints: 39757
69.98/70.35 c #Conflicts: 1606000 | #Constraints: 40757
69.98/70.35 c #Conflicts: 1607000 | #Constraints: 41757
69.98/70.35 c #Conflicts: 1608000 | #Constraints: 42757
69.98/70.35 c #Conflicts: 1609000 | #Constraints: 43757
69.98/70.35 c #Conflicts: 1610000 | #Constraints: 44757
69.98/70.35 c #Conflicts: 1611000 | #Constraints: 45757
69.98/70.35 c #Conflicts: 1612000 | #Constraints: 46757
69.98/70.35 c #Conflicts: 1613000 | #Constraints: 47757
69.98/70.35 c #Conflicts: 1614000 | #Constraints: 48757
69.98/70.35 c #Conflicts: 1615000 | #Constraints: 49757
69.98/70.35 c #Conflicts: 1616000 | #Constraints: 50757
69.98/70.35 c INPROCESSING
69.98/70.35 c GARBAGE COLLECT
69.98/70.35 c rational objective 350.5
71.27/71.62 c #Conflicts: 1617000 | #Constraints: 26550
71.27/71.62 c #Conflicts: 1618000 | #Constraints: 27550
71.27/71.62 c #Conflicts: 1619000 | #Constraints: 28550
71.27/71.62 c #Conflicts: 1620000 | #Constraints: 29550
71.27/71.62 c #Conflicts: 1621000 | #Constraints: 30550
71.27/71.62 c #Conflicts: 1622000 | #Constraints: 31550
71.27/71.62 c #Conflicts: 1623000 | #Constraints: 32550
71.27/71.62 c #Conflicts: 1624000 | #Constraints: 33550
71.27/71.62 c #Conflicts: 1625000 | #Constraints: 34550
71.27/71.62 c #Conflicts: 1626000 | #Constraints: 35550
71.27/71.62 c #Conflicts: 1627000 | #Constraints: 36550
71.27/71.62 c #Conflicts: 1628000 | #Constraints: 37550
71.27/71.62 c #Conflicts: 1629000 | #Constraints: 38550
71.27/71.62 c #Conflicts: 1630000 | #Constraints: 39550
71.27/71.62 c #Conflicts: 1631000 | #Constraints: 40550
71.27/71.62 c #Conflicts: 1632000 | #Constraints: 41550
71.27/71.62 c #Conflicts: 1633000 | #Constraints: 42550
71.27/71.62 c #Conflicts: 1634000 | #Constraints: 43550
71.27/71.62 c #Conflicts: 1635000 | #Constraints: 44550
71.27/71.62 c #Conflicts: 1636000 | #Constraints: 45550
71.27/71.62 c #Conflicts: 1637000 | #Constraints: 46550
71.27/71.62 c #Conflicts: 1638000 | #Constraints: 47550
71.27/71.62 c #Conflicts: 1639000 | #Constraints: 48550
71.27/71.62 c #Conflicts: 1640000 | #Constraints: 49550
71.27/71.62 c #Conflicts: 1641000 | #Constraints: 50550
71.27/71.62 c #Conflicts: 1642000 | #Constraints: 51550
71.27/71.62 c INPROCESSING
71.27/71.62 c GARBAGE COLLECT
71.27/71.62 c rational objective 350.5
72.48/72.83 c #Conflicts: 1643000 | #Constraints: 27153
72.48/72.83 c #Conflicts: 1644000 | #Constraints: 28153
72.48/72.83 c #Conflicts: 1645000 | #Constraints: 29153
72.48/72.83 c #Conflicts: 1646000 | #Constraints: 30153
72.48/72.83 c #Conflicts: 1647000 | #Constraints: 31153
72.48/72.83 c #Conflicts: 1648000 | #Constraints: 32153
72.48/72.83 c #Conflicts: 1649000 | #Constraints: 33153
72.48/72.83 c #Conflicts: 1650000 | #Constraints: 34153
72.48/72.83 c #Conflicts: 1651000 | #Constraints: 35153
72.48/72.83 c #Conflicts: 1652000 | #Constraints: 36153
72.48/72.83 c #Conflicts: 1653000 | #Constraints: 37153
72.48/72.83 c #Conflicts: 1654000 | #Constraints: 38153
72.48/72.83 c #Conflicts: 1655000 | #Constraints: 39153
72.48/72.83 c #Conflicts: 1656000 | #Constraints: 40153
72.48/72.83 c #Conflicts: 1657000 | #Constraints: 41153
72.48/72.83 c #Conflicts: 1658000 | #Constraints: 42153
72.48/72.83 c #Conflicts: 1659000 | #Constraints: 43153
72.48/72.83 c #Conflicts: 1660000 | #Constraints: 44153
72.48/72.83 c #Conflicts: 1661000 | #Constraints: 45153
72.48/72.83 c #Conflicts: 1662000 | #Constraints: 46153
72.48/72.83 c #Conflicts: 1663000 | #Constraints: 47153
72.48/72.83 c #Conflicts: 1664000 | #Constraints: 48153
72.48/72.83 c #Conflicts: 1665000 | #Constraints: 49153
72.48/72.83 c #Conflicts: 1666000 | #Constraints: 50153
72.48/72.83 c #Conflicts: 1667000 | #Constraints: 51153
72.48/72.83 c #Conflicts: 1668000 | #Constraints: 52153
72.48/72.83 c INPROCESSING
72.48/72.83 c GARBAGE COLLECT
72.48/72.83 c rational objective 350.5
73.68/74.07 c #Conflicts: 1669000 | #Constraints: 27558
73.68/74.07 c #Conflicts: 1670000 | #Constraints: 28558
73.68/74.07 c #Conflicts: 1671000 | #Constraints: 29558
73.68/74.07 c #Conflicts: 1672000 | #Constraints: 30558
73.68/74.07 c #Conflicts: 1673000 | #Constraints: 31558
73.68/74.07 c #Conflicts: 1674000 | #Constraints: 32558
73.68/74.07 c #Conflicts: 1675000 | #Constraints: 33558
73.68/74.07 c #Conflicts: 1676000 | #Constraints: 34558
73.68/74.07 c #Conflicts: 1677000 | #Constraints: 35558
73.68/74.07 c #Conflicts: 1678000 | #Constraints: 36558
73.68/74.07 c #Conflicts: 1679000 | #Constraints: 37558
73.68/74.07 c #Conflicts: 1680000 | #Constraints: 38558
73.68/74.07 c #Conflicts: 1681000 | #Constraints: 39558
73.68/74.07 c #Conflicts: 1682000 | #Constraints: 40558
73.68/74.07 c #Conflicts: 1683000 | #Constraints: 41558
73.68/74.07 c #Conflicts: 1684000 | #Constraints: 42558
73.68/74.07 c #Conflicts: 1685000 | #Constraints: 43558
73.68/74.07 c #Conflicts: 1686000 | #Constraints: 44558
73.68/74.07 c #Conflicts: 1687000 | #Constraints: 45558
73.68/74.07 c #Conflicts: 1688000 | #Constraints: 46558
73.68/74.07 c #Conflicts: 1689000 | #Constraints: 47558
73.68/74.07 c #Conflicts: 1690000 | #Constraints: 48558
73.68/74.07 c #Conflicts: 1691000 | #Constraints: 49558
73.68/74.07 c #Conflicts: 1692000 | #Constraints: 50558
73.68/74.07 c #Conflicts: 1693000 | #Constraints: 51558
73.68/74.07 c #Conflicts: 1694000 | #Constraints: 52558
73.68/74.07 c INPROCESSING
73.68/74.07 c GARBAGE COLLECT
73.68/74.07 c rational objective 350.5
74.97/75.32 c #Conflicts: 1695000 | #Constraints: 27760
74.97/75.32 c #Conflicts: 1696000 | #Constraints: 28760
74.97/75.32 c #Conflicts: 1697000 | #Constraints: 29760
74.97/75.32 c #Conflicts: 1698000 | #Constraints: 30760
74.97/75.32 c #Conflicts: 1699000 | #Constraints: 31760
74.97/75.32 c #Conflicts: 1700000 | #Constraints: 32760
74.97/75.32 c #Conflicts: 1701000 | #Constraints: 33760
74.97/75.32 c #Conflicts: 1702000 | #Constraints: 34760
74.97/75.32 c #Conflicts: 1703000 | #Constraints: 35760
74.97/75.32 c #Conflicts: 1704000 | #Constraints: 36760
74.97/75.32 c #Conflicts: 1705000 | #Constraints: 37760
74.97/75.32 c #Conflicts: 1706000 | #Constraints: 38760
74.97/75.32 c #Conflicts: 1707000 | #Constraints: 39760
74.97/75.32 c #Conflicts: 1708000 | #Constraints: 40760
74.97/75.32 c #Conflicts: 1709000 | #Constraints: 41760
74.97/75.32 c #Conflicts: 1710000 | #Constraints: 42760
74.97/75.32 c #Conflicts: 1711000 | #Constraints: 43760
74.97/75.32 c #Conflicts: 1712000 | #Constraints: 44760
74.97/75.32 c #Conflicts: 1713000 | #Constraints: 45760
74.97/75.32 c #Conflicts: 1714000 | #Constraints: 46760
74.97/75.32 c #Conflicts: 1715000 | #Constraints: 47760
74.97/75.32 c #Conflicts: 1716000 | #Constraints: 48760
74.97/75.32 c #Conflicts: 1717000 | #Constraints: 49760
74.97/75.32 c #Conflicts: 1718000 | #Constraints: 50760
74.97/75.32 c #Conflicts: 1719000 | #Constraints: 51760
74.97/75.32 c #Conflicts: 1720000 | #Constraints: 52760
74.97/75.32 c INPROCESSING
74.97/75.32 c GARBAGE COLLECT
74.97/75.32 c rational objective 350.5
76.26/76.63 c #Conflicts: 1721000 | #Constraints: 27760
76.26/76.63 c #Conflicts: 1722000 | #Constraints: 28760
76.26/76.63 c #Conflicts: 1723000 | #Constraints: 29760
76.26/76.63 c #Conflicts: 1724000 | #Constraints: 30760
76.26/76.63 c #Conflicts: 1725000 | #Constraints: 31760
76.26/76.63 c #Conflicts: 1726000 | #Constraints: 32760
76.26/76.63 c #Conflicts: 1727000 | #Constraints: 33760
76.26/76.63 c #Conflicts: 1728000 | #Constraints: 34760
76.26/76.63 c #Conflicts: 1729000 | #Constraints: 35760
76.26/76.63 c #Conflicts: 1730000 | #Constraints: 36760
76.26/76.63 c #Conflicts: 1731000 | #Constraints: 37760
76.26/76.63 c #Conflicts: 1732000 | #Constraints: 38760
76.26/76.63 c #Conflicts: 1733000 | #Constraints: 39760
76.26/76.63 c #Conflicts: 1734000 | #Constraints: 40760
76.26/76.63 c #Conflicts: 1735000 | #Constraints: 41760
76.26/76.63 c #Conflicts: 1736000 | #Constraints: 42760
76.26/76.63 c #Conflicts: 1737000 | #Constraints: 43760
76.26/76.63 c #Conflicts: 1738000 | #Constraints: 44760
76.26/76.63 c #Conflicts: 1739000 | #Constraints: 45760
76.26/76.63 c #Conflicts: 1740000 | #Constraints: 46760
76.26/76.63 c #Conflicts: 1741000 | #Constraints: 47760
76.26/76.63 c #Conflicts: 1742000 | #Constraints: 48760
76.26/76.63 c #Conflicts: 1743000 | #Constraints: 49760
76.26/76.63 c #Conflicts: 1744000 | #Constraints: 50760
76.26/76.63 c #Conflicts: 1745000 | #Constraints: 51760
76.26/76.63 c #Conflicts: 1746000 | #Constraints: 52760
76.26/76.63 c INPROCESSING
76.26/76.63 c GARBAGE COLLECT
76.26/76.63 c rational objective 350.5
77.56/77.94 c #Conflicts: 1747000 | #Constraints: 27560
77.56/77.94 c #Conflicts: 1748000 | #Constraints: 28560
77.56/77.94 c #Conflicts: 1749000 | #Constraints: 29560
77.56/77.94 c #Conflicts: 1750000 | #Constraints: 30560
77.56/77.94 c #Conflicts: 1751000 | #Constraints: 31560
77.56/77.94 c #Conflicts: 1752000 | #Constraints: 32560
77.56/77.94 c #Conflicts: 1753000 | #Constraints: 33560
77.56/77.94 c #Conflicts: 1754000 | #Constraints: 34560
77.56/77.94 c #Conflicts: 1755000 | #Constraints: 35560
77.56/77.94 c #Conflicts: 1756000 | #Constraints: 36560
77.56/77.94 c #Conflicts: 1757000 | #Constraints: 37560
77.56/77.94 c #Conflicts: 1758000 | #Constraints: 38560
77.56/77.94 c #Conflicts: 1759000 | #Constraints: 39560
77.56/77.94 c #Conflicts: 1760000 | #Constraints: 40560
77.56/77.94 c #Conflicts: 1761000 | #Constraints: 41560
77.56/77.94 c #Conflicts: 1762000 | #Constraints: 42560
77.56/77.94 c #Conflicts: 1763000 | #Constraints: 43560
77.56/77.94 c #Conflicts: 1764000 | #Constraints: 44560
77.56/77.94 c #Conflicts: 1765000 | #Constraints: 45560
77.56/77.94 c #Conflicts: 1766000 | #Constraints: 46560
77.56/77.94 c #Conflicts: 1767000 | #Constraints: 47560
77.56/77.94 c #Conflicts: 1768000 | #Constraints: 48560
77.56/77.94 c #Conflicts: 1769000 | #Constraints: 49560
77.56/77.94 c #Conflicts: 1770000 | #Constraints: 50560
77.56/77.94 c #Conflicts: 1771000 | #Constraints: 51560
77.56/77.94 c #Conflicts: 1772000 | #Constraints: 52560
77.56/77.94 c #Conflicts: 1773000 | #Constraints: 53560
77.56/77.94 c INPROCESSING
77.56/77.94 c GARBAGE COLLECT
77.56/77.94 c rational objective 350.5
78.86/79.29 c #Conflicts: 1774000 | #Constraints: 28163
78.86/79.29 c #Conflicts: 1775000 | #Constraints: 29163
78.86/79.29 c #Conflicts: 1776000 | #Constraints: 30163
78.86/79.29 c #Conflicts: 1777000 | #Constraints: 31163
78.86/79.29 c #Conflicts: 1778000 | #Constraints: 32163
78.86/79.29 c #Conflicts: 1779000 | #Constraints: 33163
78.86/79.29 c #Conflicts: 1780000 | #Constraints: 34163
78.86/79.29 c #Conflicts: 1781000 | #Constraints: 35163
78.86/79.29 c #Conflicts: 1782000 | #Constraints: 36163
78.86/79.29 c #Conflicts: 1783000 | #Constraints: 37163
78.86/79.29 c #Conflicts: 1784000 | #Constraints: 38163
78.86/79.29 c #Conflicts: 1785000 | #Constraints: 39163
78.86/79.29 c #Conflicts: 1786000 | #Constraints: 40163
78.86/79.29 c #Conflicts: 1787000 | #Constraints: 41163
78.86/79.29 c #Conflicts: 1788000 | #Constraints: 42163
78.86/79.29 c #Conflicts: 1789000 | #Constraints: 43163
78.86/79.29 c #Conflicts: 1790000 | #Constraints: 44163
78.86/79.29 c #Conflicts: 1791000 | #Constraints: 45163
78.86/79.29 c #Conflicts: 1792000 | #Constraints: 46163
78.86/79.29 c #Conflicts: 1793000 | #Constraints: 47163
78.86/79.29 c #Conflicts: 1794000 | #Constraints: 48163
78.86/79.29 c #Conflicts: 1795000 | #Constraints: 49163
78.86/79.29 c #Conflicts: 1796000 | #Constraints: 50163
78.86/79.29 c #Conflicts: 1797000 | #Constraints: 51163
78.86/79.29 c #Conflicts: 1798000 | #Constraints: 52163
78.86/79.29 c #Conflicts: 1799000 | #Constraints: 53163
78.86/79.29 c #Conflicts: 1800000 | #Constraints: 54163
78.86/79.29 c INPROCESSING
78.86/79.29 c GARBAGE COLLECT
78.86/79.29 c rational objective 350.5
80.26/80.62 c #Conflicts: 1801000 | #Constraints: 28561
80.26/80.62 c #Conflicts: 1802000 | #Constraints: 29561
80.26/80.62 c #Conflicts: 1803000 | #Constraints: 30561
80.26/80.62 c #Conflicts: 1804000 | #Constraints: 31561
80.26/80.62 c #Conflicts: 1805000 | #Constraints: 32561
80.26/80.62 c #Conflicts: 1806000 | #Constraints: 33561
80.26/80.62 c #Conflicts: 1807000 | #Constraints: 34561
80.26/80.62 c #Conflicts: 1808000 | #Constraints: 35561
80.26/80.62 c #Conflicts: 1809000 | #Constraints: 36561
80.26/80.62 c #Conflicts: 1810000 | #Constraints: 37561
80.26/80.62 c #Conflicts: 1811000 | #Constraints: 38561
80.26/80.62 c #Conflicts: 1812000 | #Constraints: 39561
80.26/80.62 c #Conflicts: 1813000 | #Constraints: 40561
80.26/80.62 c #Conflicts: 1814000 | #Constraints: 41561
80.26/80.62 c #Conflicts: 1815000 | #Constraints: 42561
80.26/80.62 c #Conflicts: 1816000 | #Constraints: 43561
80.26/80.62 c #Conflicts: 1817000 | #Constraints: 44561
80.26/80.62 c #Conflicts: 1818000 | #Constraints: 45561
80.26/80.62 c #Conflicts: 1819000 | #Constraints: 46561
80.26/80.62 c #Conflicts: 1820000 | #Constraints: 47561
80.26/80.62 c #Conflicts: 1821000 | #Constraints: 48561
80.26/80.62 c #Conflicts: 1822000 | #Constraints: 49561
80.26/80.62 c #Conflicts: 1823000 | #Constraints: 50561
80.26/80.62 c #Conflicts: 1824000 | #Constraints: 51561
80.26/80.62 c #Conflicts: 1825000 | #Constraints: 52561
80.26/80.62 c #Conflicts: 1826000 | #Constraints: 53561
80.26/80.62 c #Conflicts: 1827000 | #Constraints: 54561
80.26/80.62 c INPROCESSING
80.26/80.62 c GARBAGE COLLECT
80.26/80.62 c rational objective 350.5
81.66/82.01 c #Conflicts: 1828000 | #Constraints: 28765
81.66/82.01 c #Conflicts: 1829000 | #Constraints: 29765
81.66/82.01 c #Conflicts: 1830000 | #Constraints: 30765
81.66/82.01 c #Conflicts: 1831000 | #Constraints: 31765
81.66/82.01 c #Conflicts: 1832000 | #Constraints: 32765
81.66/82.01 c #Conflicts: 1833000 | #Constraints: 33765
81.66/82.01 c #Conflicts: 1834000 | #Constraints: 34765
81.66/82.01 c #Conflicts: 1835000 | #Constraints: 35765
81.66/82.01 c #Conflicts: 1836000 | #Constraints: 36765
81.66/82.01 c #Conflicts: 1837000 | #Constraints: 37765
81.66/82.01 c #Conflicts: 1838000 | #Constraints: 38765
81.66/82.01 c #Conflicts: 1839000 | #Constraints: 39765
81.66/82.01 c #Conflicts: 1840000 | #Constraints: 40765
81.66/82.01 c #Conflicts: 1841000 | #Constraints: 41765
81.66/82.01 c #Conflicts: 1842000 | #Constraints: 42765
81.66/82.01 c #Conflicts: 1843000 | #Constraints: 43765
81.66/82.01 c #Conflicts: 1844000 | #Constraints: 44765
81.66/82.01 c #Conflicts: 1845000 | #Constraints: 45765
81.66/82.01 c #Conflicts: 1846000 | #Constraints: 46765
81.66/82.01 c #Conflicts: 1847000 | #Constraints: 47765
81.66/82.01 c #Conflicts: 1848000 | #Constraints: 48765
81.66/82.01 c #Conflicts: 1849000 | #Constraints: 49765
81.66/82.01 c #Conflicts: 1850000 | #Constraints: 50765
81.66/82.01 c #Conflicts: 1851000 | #Constraints: 51765
81.66/82.01 c #Conflicts: 1852000 | #Constraints: 52765
81.66/82.01 c #Conflicts: 1853000 | #Constraints: 53765
81.66/82.01 c #Conflicts: 1854000 | #Constraints: 54765
81.66/82.01 c INPROCESSING
81.66/82.01 c GARBAGE COLLECT
81.66/82.01 c rational objective 350.5
83.04/83.46 c #Conflicts: 1855000 | #Constraints: 28766
83.04/83.46 c #Conflicts: 1856000 | #Constraints: 29766
83.04/83.46 c #Conflicts: 1857000 | #Constraints: 30766
83.04/83.46 c #Conflicts: 1858000 | #Constraints: 31766
83.04/83.46 c #Conflicts: 1859000 | #Constraints: 32766
83.04/83.46 c #Conflicts: 1860000 | #Constraints: 33766
83.04/83.46 c #Conflicts: 1861000 | #Constraints: 34766
83.04/83.46 c #Conflicts: 1862000 | #Constraints: 35766
83.04/83.46 c #Conflicts: 1863000 | #Constraints: 36766
83.04/83.46 c #Conflicts: 1864000 | #Constraints: 37766
83.04/83.46 c #Conflicts: 1865000 | #Constraints: 38766
83.04/83.46 c #Conflicts: 1866000 | #Constraints: 39766
83.04/83.46 c #Conflicts: 1867000 | #Constraints: 40766
83.04/83.46 c #Conflicts: 1868000 | #Constraints: 41766
83.04/83.46 c #Conflicts: 1869000 | #Constraints: 42766
83.04/83.46 c #Conflicts: 1870000 | #Constraints: 43766
83.04/83.46 c #Conflicts: 1871000 | #Constraints: 44766
83.04/83.46 c #Conflicts: 1872000 | #Constraints: 45766
83.04/83.46 c #Conflicts: 1873000 | #Constraints: 46766
83.04/83.46 c #Conflicts: 1874000 | #Constraints: 47766
83.04/83.46 c #Conflicts: 1875000 | #Constraints: 48766
83.04/83.46 c #Conflicts: 1876000 | #Constraints: 49766
83.04/83.46 c #Conflicts: 1877000 | #Constraints: 50766
83.04/83.46 c #Conflicts: 1878000 | #Constraints: 51766
83.04/83.46 c #Conflicts: 1879000 | #Constraints: 52766
83.04/83.46 c #Conflicts: 1880000 | #Constraints: 53766
83.04/83.46 c #Conflicts: 1881000 | #Constraints: 54766
83.04/83.46 c INPROCESSING
83.04/83.46 c GARBAGE COLLECT
83.04/83.46 c rational objective 350.5
84.54/84.91 c #Conflicts: 1882000 | #Constraints: 28562
84.54/84.91 c #Conflicts: 1883000 | #Constraints: 29562
84.54/84.91 c #Conflicts: 1884000 | #Constraints: 30562
84.54/84.91 c #Conflicts: 1885000 | #Constraints: 31562
84.54/84.91 c #Conflicts: 1886000 | #Constraints: 32562
84.54/84.91 c #Conflicts: 1887000 | #Constraints: 33562
84.54/84.91 c #Conflicts: 1888000 | #Constraints: 34562
84.54/84.91 c #Conflicts: 1889000 | #Constraints: 35562
84.54/84.91 c #Conflicts: 1890000 | #Constraints: 36562
84.54/84.91 c #Conflicts: 1891000 | #Constraints: 37562
84.54/84.91 c #Conflicts: 1892000 | #Constraints: 38562
84.54/84.91 c #Conflicts: 1893000 | #Constraints: 39562
84.54/84.91 c #Conflicts: 1894000 | #Constraints: 40562
84.54/84.91 c #Conflicts: 1895000 | #Constraints: 41562
84.54/84.91 c #Conflicts: 1896000 | #Constraints: 42562
84.54/84.91 c #Conflicts: 1897000 | #Constraints: 43562
84.54/84.91 c #Conflicts: 1898000 | #Constraints: 44562
84.54/84.91 c #Conflicts: 1899000 | #Constraints: 45562
84.54/84.91 c #Conflicts: 1900000 | #Constraints: 46562
84.54/84.91 c #Conflicts: 1901000 | #Constraints: 47562
84.54/84.91 c #Conflicts: 1902000 | #Constraints: 48562
84.54/84.91 c #Conflicts: 1903000 | #Constraints: 49562
84.54/84.91 c #Conflicts: 1904000 | #Constraints: 50562
84.54/84.91 c #Conflicts: 1905000 | #Constraints: 51562
84.54/84.91 c #Conflicts: 1906000 | #Constraints: 52562
84.54/84.91 c #Conflicts: 1907000 | #Constraints: 53562
84.54/84.91 c #Conflicts: 1908000 | #Constraints: 54562
84.54/84.91 c #Conflicts: 1909000 | #Constraints: 55562
84.54/84.91 c INPROCESSING
84.54/84.91 c GARBAGE COLLECT
84.54/84.91 c rational objective 350.5
85.93/86.35 c #Conflicts: 1910000 | #Constraints: 29160
85.93/86.35 c #Conflicts: 1911000 | #Constraints: 30160
85.93/86.35 c #Conflicts: 1912000 | #Constraints: 31160
85.93/86.35 c #Conflicts: 1913000 | #Constraints: 32160
85.93/86.35 c #Conflicts: 1914000 | #Constraints: 33160
85.93/86.35 c #Conflicts: 1915000 | #Constraints: 34160
85.93/86.35 c #Conflicts: 1916000 | #Constraints: 35160
85.93/86.35 c #Conflicts: 1917000 | #Constraints: 36160
85.93/86.35 c #Conflicts: 1918000 | #Constraints: 37160
85.93/86.35 c #Conflicts: 1919000 | #Constraints: 38160
85.93/86.35 c #Conflicts: 1920000 | #Constraints: 39160
85.93/86.35 c #Conflicts: 1921000 | #Constraints: 40160
85.93/86.35 c #Conflicts: 1922000 | #Constraints: 41160
85.93/86.35 c #Conflicts: 1923000 | #Constraints: 42160
85.93/86.35 c #Conflicts: 1924000 | #Constraints: 43160
85.93/86.35 c #Conflicts: 1925000 | #Constraints: 44160
85.93/86.35 c #Conflicts: 1926000 | #Constraints: 45160
85.93/86.35 c #Conflicts: 1927000 | #Constraints: 46160
85.93/86.35 c #Conflicts: 1928000 | #Constraints: 47160
85.93/86.35 c #Conflicts: 1929000 | #Constraints: 48160
85.93/86.35 c #Conflicts: 1930000 | #Constraints: 49160
85.93/86.35 c #Conflicts: 1931000 | #Constraints: 50160
85.93/86.35 c #Conflicts: 1932000 | #Constraints: 51160
85.93/86.35 c #Conflicts: 1933000 | #Constraints: 52160
85.93/86.35 c #Conflicts: 1934000 | #Constraints: 53160
85.93/86.35 c #Conflicts: 1935000 | #Constraints: 54160
85.93/86.35 c #Conflicts: 1936000 | #Constraints: 55160
85.93/86.35 c #Conflicts: 1937000 | #Constraints: 56160
85.93/86.35 c INPROCESSING
85.93/86.35 c GARBAGE COLLECT
85.93/86.35 c rational objective 350.5
87.43/87.85 c #Conflicts: 1938000 | #Constraints: 29559
87.43/87.85 c #Conflicts: 1939000 | #Constraints: 30559
87.43/87.85 c #Conflicts: 1940000 | #Constraints: 31559
87.43/87.85 c #Conflicts: 1941000 | #Constraints: 32559
87.43/87.85 c #Conflicts: 1942000 | #Constraints: 33559
87.43/87.85 c #Conflicts: 1943000 | #Constraints: 34559
87.43/87.85 c #Conflicts: 1944000 | #Constraints: 35559
87.43/87.85 c #Conflicts: 1945000 | #Constraints: 36559
87.43/87.85 c #Conflicts: 1946000 | #Constraints: 37559
87.43/87.85 c #Conflicts: 1947000 | #Constraints: 38559
87.43/87.85 c #Conflicts: 1948000 | #Constraints: 39559
87.43/87.85 c #Conflicts: 1949000 | #Constraints: 40559
87.43/87.85 c #Conflicts: 1950000 | #Constraints: 41559
87.43/87.85 c #Conflicts: 1951000 | #Constraints: 42559
87.43/87.85 c #Conflicts: 1952000 | #Constraints: 43559
87.43/87.85 c #Conflicts: 1953000 | #Constraints: 44559
87.43/87.85 c #Conflicts: 1954000 | #Constraints: 45559
87.43/87.85 c #Conflicts: 1955000 | #Constraints: 46559
87.43/87.85 c #Conflicts: 1956000 | #Constraints: 47559
87.43/87.85 c #Conflicts: 1957000 | #Constraints: 48559
87.43/87.85 c #Conflicts: 1958000 | #Constraints: 49559
87.43/87.85 c #Conflicts: 1959000 | #Constraints: 50559
87.43/87.85 c #Conflicts: 1960000 | #Constraints: 51559
87.43/87.85 c #Conflicts: 1961000 | #Constraints: 52559
87.43/87.85 c #Conflicts: 1962000 | #Constraints: 53559
87.43/87.85 c #Conflicts: 1963000 | #Constraints: 54559
87.43/87.85 c #Conflicts: 1964000 | #Constraints: 55559
87.43/87.85 c #Conflicts: 1965000 | #Constraints: 56559
87.43/87.85 c INPROCESSING
87.43/87.85 c GARBAGE COLLECT
87.43/87.85 c rational objective 350.5
88.93/89.36 c #Conflicts: 1966000 | #Constraints: 29762
88.93/89.36 c #Conflicts: 1967000 | #Constraints: 30762
88.93/89.36 c #Conflicts: 1968000 | #Constraints: 31762
88.93/89.36 c #Conflicts: 1969000 | #Constraints: 32762
88.93/89.36 c #Conflicts: 1970000 | #Constraints: 33762
88.93/89.36 c #Conflicts: 1971000 | #Constraints: 34762
88.93/89.36 c #Conflicts: 1972000 | #Constraints: 35762
88.93/89.36 c #Conflicts: 1973000 | #Constraints: 36762
88.93/89.36 c #Conflicts: 1974000 | #Constraints: 37762
88.93/89.36 c #Conflicts: 1975000 | #Constraints: 38762
88.93/89.36 c #Conflicts: 1976000 | #Constraints: 39762
88.93/89.36 c #Conflicts: 1977000 | #Constraints: 40762
88.93/89.36 c #Conflicts: 1978000 | #Constraints: 41762
88.93/89.36 c #Conflicts: 1979000 | #Constraints: 42762
88.93/89.36 c #Conflicts: 1980000 | #Constraints: 43762
88.93/89.36 c #Conflicts: 1981000 | #Constraints: 44762
88.93/89.36 c #Conflicts: 1982000 | #Constraints: 45762
88.93/89.36 c #Conflicts: 1983000 | #Constraints: 46762
88.93/89.36 c #Conflicts: 1984000 | #Constraints: 47762
88.93/89.36 c #Conflicts: 1985000 | #Constraints: 48762
88.93/89.36 c #Conflicts: 1986000 | #Constraints: 49762
88.93/89.36 c #Conflicts: 1987000 | #Constraints: 50762
88.93/89.36 c #Conflicts: 1988000 | #Constraints: 51762
88.93/89.36 c #Conflicts: 1989000 | #Constraints: 52762
88.93/89.36 c #Conflicts: 1990000 | #Constraints: 53762
88.93/89.36 c #Conflicts: 1991000 | #Constraints: 54762
88.93/89.36 c #Conflicts: 1992000 | #Constraints: 55762
88.93/89.36 c #Conflicts: 1993000 | #Constraints: 56762
88.93/89.36 c INPROCESSING
88.93/89.36 c GARBAGE COLLECT
88.93/89.36 c rational objective 350.5
90.53/90.90 c #Conflicts: 1994000 | #Constraints: 29762
90.53/90.90 c #Conflicts: 1995000 | #Constraints: 30762
90.53/90.90 c #Conflicts: 1996000 | #Constraints: 31762
90.53/90.90 c #Conflicts: 1997000 | #Constraints: 32762
90.53/90.90 c #Conflicts: 1998000 | #Constraints: 33762
90.53/90.90 c #Conflicts: 1999000 | #Constraints: 34762
90.53/90.90 c #Conflicts: 2000000 | #Constraints: 35762
90.53/90.90 c #Conflicts: 2001000 | #Constraints: 36762
90.53/90.90 c #Conflicts: 2002000 | #Constraints: 37762
90.53/90.90 c #Conflicts: 2003000 | #Constraints: 38762
90.53/90.90 c #Conflicts: 2004000 | #Constraints: 39762
90.53/90.90 c #Conflicts: 2005000 | #Constraints: 40762
90.53/90.90 c #Conflicts: 2006000 | #Constraints: 41762
90.53/90.90 c #Conflicts: 2007000 | #Constraints: 42762
90.53/90.90 c #Conflicts: 2008000 | #Constraints: 43762
90.53/90.90 c #Conflicts: 2009000 | #Constraints: 44762
90.53/90.90 c #Conflicts: 2010000 | #Constraints: 45762
90.53/90.90 c #Conflicts: 2011000 | #Constraints: 46762
90.53/90.90 c #Conflicts: 2012000 | #Constraints: 47762
90.53/90.90 c #Conflicts: 2013000 | #Constraints: 48762
90.53/90.90 c #Conflicts: 2014000 | #Constraints: 49762
90.53/90.90 c #Conflicts: 2015000 | #Constraints: 50762
90.53/90.90 c #Conflicts: 2016000 | #Constraints: 51762
90.53/90.90 c #Conflicts: 2017000 | #Constraints: 52762
90.53/90.90 c #Conflicts: 2018000 | #Constraints: 53762
90.53/90.90 c #Conflicts: 2019000 | #Constraints: 54762
90.53/90.90 c #Conflicts: 2020000 | #Constraints: 55762
90.53/90.90 c #Conflicts: 2021000 | #Constraints: 56762
90.53/90.90 c INPROCESSING
90.53/90.90 c GARBAGE COLLECT
90.53/90.90 c rational objective 350.5
92.02/92.43 c #Conflicts: 2022000 | #Constraints: 29560
92.02/92.43 c #Conflicts: 2023000 | #Constraints: 30560
92.02/92.43 c #Conflicts: 2024000 | #Constraints: 31560
92.02/92.43 c #Conflicts: 2025000 | #Constraints: 32560
92.02/92.43 c #Conflicts: 2026000 | #Constraints: 33560
92.02/92.43 c #Conflicts: 2027000 | #Constraints: 34560
92.02/92.43 c #Conflicts: 2028000 | #Constraints: 35560
92.02/92.43 c #Conflicts: 2029000 | #Constraints: 36560
92.02/92.43 c #Conflicts: 2030000 | #Constraints: 37560
92.02/92.43 c #Conflicts: 2031000 | #Constraints: 38560
92.02/92.43 c #Conflicts: 2032000 | #Constraints: 39560
92.02/92.43 c #Conflicts: 2033000 | #Constraints: 40560
92.02/92.43 c #Conflicts: 2034000 | #Constraints: 41560
92.02/92.43 c #Conflicts: 2035000 | #Constraints: 42560
92.02/92.43 c #Conflicts: 2036000 | #Constraints: 43560
92.02/92.43 c #Conflicts: 2037000 | #Constraints: 44560
92.02/92.43 c #Conflicts: 2038000 | #Constraints: 45560
92.02/92.43 c #Conflicts: 2039000 | #Constraints: 46560
92.02/92.43 c #Conflicts: 2040000 | #Constraints: 47560
92.02/92.43 c #Conflicts: 2041000 | #Constraints: 48560
92.02/92.43 c #Conflicts: 2042000 | #Constraints: 49560
92.02/92.43 c #Conflicts: 2043000 | #Constraints: 50560
92.02/92.43 c #Conflicts: 2044000 | #Constraints: 51560
92.02/92.43 c #Conflicts: 2045000 | #Constraints: 52560
92.02/92.43 c #Conflicts: 2046000 | #Constraints: 53560
92.02/92.43 c #Conflicts: 2047000 | #Constraints: 54560
92.02/92.43 c #Conflicts: 2048000 | #Constraints: 55560
92.02/92.43 c #Conflicts: 2049000 | #Constraints: 56560
92.02/92.43 c #Conflicts: 2050000 | #Constraints: 57560
92.02/92.43 c INPROCESSING
92.02/92.43 c GARBAGE COLLECT
92.02/92.43 c rational objective 350.5
93.42/93.84 c #Conflicts: 2051000 | #Constraints: 30162
93.42/93.84 c #Conflicts: 2052000 | #Constraints: 31162
93.42/93.84 c #Conflicts: 2053000 | #Constraints: 32162
93.42/93.84 c #Conflicts: 2054000 | #Constraints: 33162
93.42/93.84 c #Conflicts: 2055000 | #Constraints: 34162
93.42/93.84 c #Conflicts: 2056000 | #Constraints: 35162
93.42/93.84 c #Conflicts: 2057000 | #Constraints: 36162
93.42/93.84 c #Conflicts: 2058000 | #Constraints: 37162
93.42/93.84 c #Conflicts: 2059000 | #Constraints: 38162
93.42/93.84 c #Conflicts: 2060000 | #Constraints: 39162
93.42/93.84 c #Conflicts: 2061000 | #Constraints: 40162
93.42/93.84 c #Conflicts: 2062000 | #Constraints: 41162
93.42/93.84 c #Conflicts: 2063000 | #Constraints: 42162
93.42/93.84 c #Conflicts: 2064000 | #Constraints: 43162
93.42/93.84 c #Conflicts: 2065000 | #Constraints: 44162
93.42/93.84 c #Conflicts: 2066000 | #Constraints: 45162
93.42/93.84 c #Conflicts: 2067000 | #Constraints: 46162
93.42/93.84 c #Conflicts: 2068000 | #Constraints: 47162
93.42/93.84 c #Conflicts: 2069000 | #Constraints: 48162
93.42/93.84 c #Conflicts: 2070000 | #Constraints: 49162
93.42/93.84 c #Conflicts: 2071000 | #Constraints: 50162
93.42/93.84 c #Conflicts: 2072000 | #Constraints: 51162
93.42/93.84 c #Conflicts: 2073000 | #Constraints: 52162
93.42/93.84 c #Conflicts: 2074000 | #Constraints: 53162
93.42/93.84 c #Conflicts: 2075000 | #Constraints: 54162
93.42/93.84 c #Conflicts: 2076000 | #Constraints: 55162
93.42/93.84 c #Conflicts: 2077000 | #Constraints: 56162
93.42/93.84 c #Conflicts: 2078000 | #Constraints: 57162
93.42/93.84 c #Conflicts: 2079000 | #Constraints: 58162
93.42/93.84 c INPROCESSING
93.42/93.84 c GARBAGE COLLECT
93.42/93.84 c rational objective 350.5
94.92/95.32 c #Conflicts: 2080000 | #Constraints: 30563
94.92/95.32 c #Conflicts: 2081000 | #Constraints: 31563
94.92/95.32 c #Conflicts: 2082000 | #Constraints: 32563
94.92/95.32 c #Conflicts: 2083000 | #Constraints: 33563
94.92/95.32 c #Conflicts: 2084000 | #Constraints: 34563
94.92/95.32 c #Conflicts: 2085000 | #Constraints: 35563
94.92/95.32 c #Conflicts: 2086000 | #Constraints: 36563
94.92/95.32 c #Conflicts: 2087000 | #Constraints: 37563
94.92/95.32 c #Conflicts: 2088000 | #Constraints: 38563
94.92/95.32 c #Conflicts: 2089000 | #Constraints: 39563
94.92/95.32 c #Conflicts: 2090000 | #Constraints: 40563
94.92/95.32 c #Conflicts: 2091000 | #Constraints: 41563
94.92/95.32 c #Conflicts: 2092000 | #Constraints: 42563
94.92/95.32 c #Conflicts: 2093000 | #Constraints: 43563
94.92/95.32 c #Conflicts: 2094000 | #Constraints: 44563
94.92/95.32 c #Conflicts: 2095000 | #Constraints: 45563
94.92/95.32 c #Conflicts: 2096000 | #Constraints: 46563
94.92/95.32 c #Conflicts: 2097000 | #Constraints: 47563
94.92/95.32 c #Conflicts: 2098000 | #Constraints: 48563
94.92/95.32 c #Conflicts: 2099000 | #Constraints: 49563
94.92/95.32 c #Conflicts: 2100000 | #Constraints: 50563
94.92/95.32 c #Conflicts: 2101000 | #Constraints: 51563
94.92/95.32 c #Conflicts: 2102000 | #Constraints: 52563
94.92/95.32 c #Conflicts: 2103000 | #Constraints: 53563
94.92/95.32 c #Conflicts: 2104000 | #Constraints: 54563
94.92/95.32 c #Conflicts: 2105000 | #Constraints: 55563
94.92/95.32 c #Conflicts: 2106000 | #Constraints: 56563
94.92/95.32 c #Conflicts: 2107000 | #Constraints: 57563
94.92/95.32 c #Conflicts: 2108000 | #Constraints: 58563
94.92/95.32 c INPROCESSING
94.92/95.32 c GARBAGE COLLECT
94.92/95.32 c rational objective 350.5
96.47/96.95 c #Conflicts: 2109000 | #Constraints: 30771
96.47/96.95 c #Conflicts: 2110000 | #Constraints: 31771
96.47/96.95 c #Conflicts: 2111000 | #Constraints: 32771
96.47/96.95 c #Conflicts: 2112000 | #Constraints: 33771
96.47/96.95 c #Conflicts: 2113000 | #Constraints: 34771
96.47/96.95 c #Conflicts: 2114000 | #Constraints: 35771
96.47/96.95 c #Conflicts: 2115000 | #Constraints: 36771
96.47/96.95 c #Conflicts: 2116000 | #Constraints: 37771
96.47/96.95 c #Conflicts: 2117000 | #Constraints: 38771
96.47/96.95 c #Conflicts: 2118000 | #Constraints: 39771
96.47/96.95 c #Conflicts: 2119000 | #Constraints: 40771
96.47/96.95 c #Conflicts: 2120000 | #Constraints: 41771
96.47/96.95 c #Conflicts: 2121000 | #Constraints: 42771
96.47/96.95 c #Conflicts: 2122000 | #Constraints: 43771
96.47/96.95 c #Conflicts: 2123000 | #Constraints: 44771
96.47/96.95 c #Conflicts: 2124000 | #Constraints: 45771
96.47/96.95 c #Conflicts: 2125000 | #Constraints: 46771
96.47/96.95 c #Conflicts: 2126000 | #Constraints: 47771
96.47/96.95 c #Conflicts: 2127000 | #Constraints: 48771
96.47/96.95 c #Conflicts: 2128000 | #Constraints: 49771
96.47/96.95 c #Conflicts: 2129000 | #Constraints: 50771
96.47/96.95 c #Conflicts: 2130000 | #Constraints: 51771
96.47/96.95 c #Conflicts: 2131000 | #Constraints: 52771
96.47/96.95 c #Conflicts: 2132000 | #Constraints: 53771
96.47/96.95 c #Conflicts: 2133000 | #Constraints: 54771
96.47/96.95 c #Conflicts: 2134000 | #Constraints: 55771
96.47/96.95 c #Conflicts: 2135000 | #Constraints: 56771
96.47/96.95 c #Conflicts: 2136000 | #Constraints: 57771
96.47/96.95 c #Conflicts: 2137000 | #Constraints: 58771
96.47/96.95 c INPROCESSING
96.47/96.95 c GARBAGE COLLECT
96.47/96.95 c rational objective 350.5
98.06/98.56 c #Conflicts: 2138000 | #Constraints: 30769
98.06/98.56 c #Conflicts: 2139000 | #Constraints: 31769
98.06/98.56 c #Conflicts: 2140000 | #Constraints: 32769
98.06/98.56 c #Conflicts: 2141000 | #Constraints: 33769
98.06/98.56 c #Conflicts: 2142000 | #Constraints: 34769
98.06/98.56 c #Conflicts: 2143000 | #Constraints: 35769
98.06/98.56 c #Conflicts: 2144000 | #Constraints: 36769
98.06/98.56 c #Conflicts: 2145000 | #Constraints: 37769
98.06/98.56 c #Conflicts: 2146000 | #Constraints: 38769
98.06/98.56 c #Conflicts: 2147000 | #Constraints: 39769
98.06/98.56 c #Conflicts: 2148000 | #Constraints: 40769
98.06/98.56 c #Conflicts: 2149000 | #Constraints: 41769
98.06/98.56 c #Conflicts: 2150000 | #Constraints: 42769
98.06/98.56 c #Conflicts: 2151000 | #Constraints: 43769
98.06/98.56 c #Conflicts: 2152000 | #Constraints: 44769
98.06/98.56 c #Conflicts: 2153000 | #Constraints: 45769
98.06/98.56 c #Conflicts: 2154000 | #Constraints: 46769
98.06/98.56 c #Conflicts: 2155000 | #Constraints: 47769
98.06/98.56 c #Conflicts: 2156000 | #Constraints: 48769
98.06/98.56 c #Conflicts: 2157000 | #Constraints: 49769
98.06/98.56 c #Conflicts: 2158000 | #Constraints: 50769
98.06/98.56 c #Conflicts: 2159000 | #Constraints: 51769
98.06/98.56 c #Conflicts: 2160000 | #Constraints: 52769
98.06/98.56 c #Conflicts: 2161000 | #Constraints: 53769
98.06/98.56 c #Conflicts: 2162000 | #Constraints: 54769
98.06/98.56 c #Conflicts: 2163000 | #Constraints: 55769
98.06/98.56 c #Conflicts: 2164000 | #Constraints: 56769
98.06/98.56 c #Conflicts: 2165000 | #Constraints: 57769
98.06/98.56 c #Conflicts: 2166000 | #Constraints: 58769
98.06/98.56 c INPROCESSING
98.06/98.56 c GARBAGE COLLECT
98.06/98.56 c rational objective 350.5
99.77/100.24 c #Conflicts: 2167000 | #Constraints: 30571
99.77/100.24 c #Conflicts: 2168000 | #Constraints: 31571
99.77/100.24 c #Conflicts: 2169000 | #Constraints: 32571
99.77/100.24 c #Conflicts: 2170000 | #Constraints: 33571
99.77/100.24 c #Conflicts: 2171000 | #Constraints: 34571
99.77/100.24 c #Conflicts: 2172000 | #Constraints: 35571
99.77/100.24 c #Conflicts: 2173000 | #Constraints: 36571
99.77/100.24 c #Conflicts: 2174000 | #Constraints: 37571
99.77/100.24 c #Conflicts: 2175000 | #Constraints: 38571
99.77/100.24 c #Conflicts: 2176000 | #Constraints: 39571
99.77/100.24 c #Conflicts: 2177000 | #Constraints: 40571
99.77/100.24 c #Conflicts: 2178000 | #Constraints: 41571
99.77/100.24 c #Conflicts: 2179000 | #Constraints: 42571
99.77/100.24 c #Conflicts: 2180000 | #Constraints: 43571
99.77/100.24 c #Conflicts: 2181000 | #Constraints: 44571
99.77/100.24 c #Conflicts: 2182000 | #Constraints: 45571
99.77/100.24 c #Conflicts: 2183000 | #Constraints: 46571
99.77/100.24 c #Conflicts: 2184000 | #Constraints: 47571
99.77/100.24 c #Conflicts: 2185000 | #Constraints: 48571
99.77/100.24 c #Conflicts: 2186000 | #Constraints: 49571
99.77/100.24 c #Conflicts: 2187000 | #Constraints: 50571
99.77/100.24 c #Conflicts: 2188000 | #Constraints: 51571
99.77/100.24 c #Conflicts: 2189000 | #Constraints: 52571
99.77/100.24 c #Conflicts: 2190000 | #Constraints: 53571
99.77/100.24 c #Conflicts: 2191000 | #Constraints: 54571
99.77/100.24 c #Conflicts: 2192000 | #Constraints: 55571
99.77/100.24 c #Conflicts: 2193000 | #Constraints: 56571
99.77/100.24 c #Conflicts: 2194000 | #Constraints: 57571
99.77/100.24 c #Conflicts: 2195000 | #Constraints: 58571
99.77/100.24 c #Conflicts: 2196000 | #Constraints: 59571
99.77/100.24 c INPROCESSING
99.77/100.24 c GARBAGE COLLECT
99.77/100.24 c rational objective 350.5
100.26/100.74 c #Conflicts: 2197000 | #Constraints: 13663
100.26/100.74 c #Conflicts: 2198000 | #Constraints: 14663
100.26/100.74 c #Conflicts: 2199000 | #Constraints: 15663
100.26/100.74 c #Conflicts: 2200000 | #Constraints: 16663
100.26/100.74 c #Conflicts: 2201000 | #Constraints: 17663
100.26/100.74 c #Conflicts: 2202000 | #Constraints: 18663
100.26/100.74 c #Conflicts: 2203000 | #Constraints: 19663
100.26/100.74 c #Conflicts: 2204000 | #Constraints: 20663
100.26/100.74 c #Conflicts: 2205000 | #Constraints: 21663
100.26/100.74 c #Conflicts: 2206000 | #Constraints: 22663
100.26/100.74 c #Conflicts: 2207000 | #Constraints: 23663
100.26/100.74 c #Conflicts: 2208000 | #Constraints: 24663
100.26/100.74 c cpu time 93.2193 s
100.26/100.74 c deterministic time 3468840553 3.47e+09
100.26/100.74 c optimization time 0.000106 s
100.26/100.74 c total solve time 93.2139 s
100.26/100.74 c core-guided solve time 0 s
100.26/100.74 c propagation time 64.5501 s
100.26/100.74 c conflict analysis time 14.5715 s
100.26/100.74 c propagations 9856025
100.26/100.74 c resolve steps 6462960
100.26/100.74 c decisions 3313436
100.26/100.74 c conflicts 2208831
100.26/100.74 c restarts 4093
100.26/100.74 c inprocessing phases 139
100.26/100.74 c garbage collections 139 ,( 100.00 )
100.26/100.74 c input clauses 58 ,( 7.65 )
100.26/100.74 c input cardinalities 700 ,( 92.35 )
100.26/100.74 c input general constraints 0 ,( 0.00 )
100.26/100.74 c input average constraint length 3.91
100.26/100.74 c input average constraint degree 1.92
100.26/100.74 c learned clauses 2173097 ,( 98.35 )
100.26/100.74 c learned cardinalities 3502 ,( 0.16 )
100.26/100.74 c learned general constraints 33064 ,( 1.50 )
100.26/100.74 c learned average constraint length 16.81
100.26/100.74 c learned average constraint degree 345835.13
100.26/100.74 c watched CF 32, 64, 128, Arb: 13478 , 0 , 0 , 0
100.26/100.74 c counting CF 32, 64, 128, Arb: 19586 , 0 , 0 , 0
100.26/100.74 c watched constraints 13478 ,( 40.76 )
100.26/100.74 c counting constraints 19586 ,( 59.24 )
100.26/100.74 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 768339953 , 15402000 , 16199598 ,( 12446260 , 3753338 )
100.26/100.74 c gcd simplifications 5329
100.26/100.74 c detected cardinalities 937
100.26/100.74 c weakened non-implied lits 219929
100.26/100.74 c weakened non-implying lits 518
100.26/100.74 c original variables 719
100.26/100.74 c clausal propagations 4808211
100.26/100.74 c cardinality propagations 1516779
100.26/100.74 c watched propagations 74123
100.26/100.74 c counting propagations 1224490
100.26/100.74 c watch lookups 1758300907
100.26/100.74 c watch backjump lookups 0
100.26/100.74 c watch checks 1525124945
100.26/100.74 c propagation checks 43471438
100.26/100.74 c constraint additions 113173715
100.26/100.74 c trail pops 15378267
100.26/100.74 c formula constraints 758
100.26/100.74 c learned constraints 2208821
100.26/100.74 c bound constraints 0
100.26/100.74 c core-guided constraints 0
100.26/100.74 c encountered formula constraints 79432
100.26/100.74 c encountered learned constraints 8582997
100.26/100.74 c encountered bound constraints 0
100.26/100.74 c encountered core-guided constraints 0
100.26/100.74 c LP total time 13.5558 s
100.26/100.74 c LP solve time 7.84 s
100.26/100.74 c LP constraints added 1733
100.26/100.74 c LP constraints removed 966
100.26/100.74 c LP pivots internal 220889
100.26/100.74 c LP pivots root 930
100.26/100.74 c LP calls 18717
100.26/100.74 c LP optimalities 18708
100.26/100.74 c LP no pivot count 1210
100.26/100.74 c LP infeasibilities 9
100.26/100.74 c LP valid Farkas constraints 9
100.26/100.74 c LP learned Farkas constraints 9
100.26/100.74 c LP basis resets 0
100.26/100.74 c LP cycling count 0
100.26/100.74 c LP singular count 0
100.26/100.74 c LP no primal count 0
100.26/100.74 c LP no farkas count 0
100.26/100.74 c LP other issue count 0
100.26/100.74 c LP Gomory cuts 824
100.26/100.74 c LP learned cuts 151
100.26/100.74 c LP deleted cuts 966
100.26/100.74 c LP encountered Gomory constraints 0
100.26/100.74 c LP encountered Farkas constraints 8583
100.26/100.74 c LP encountered learned Farkas constraints 770
100.26/100.74 c CG auxiliary variables introduced 0
100.26/100.74 c CG solutions found 0
100.26/100.74 c CG cores constructed 0
100.26/100.74 c CG core cardinality constraints returned 0
100.26/100.74 c CG unit cores 0
100.26/100.74 c CG single cores 0
100.26/100.74 c CG blocks removed during cardinality reduction 0
100.26/100.74 c CG first core best 0
100.26/100.74 c CG decision core best 0
100.26/100.74 c CG core reduction tie 0
100.26/100.74 c CG core degree average 0.00
100.26/100.74 c CG core slack average 0.00
100.26/100.74 c CG core upper bound improvements 0
100.26/100.74 c STR number of successful calls 0
100.26/100.74 c STR number of unsuccessful calls 0
100.26/100.74 c STR number of inconclusive calls 0
100.26/100.74 c STR number of successful attempts 0
100.26/100.74 c STR number of unsuccessful attempts 0
100.26/100.74 c STR number of inconclusive attempts 0
100.26/100.74 c STR average degree increase per successful call inf
100.26/100.74 c STR average degree increase per successful attempt inf
100.26/100.74 c STR total number of conflicts for successful attempts 0
100.26/100.74 c STR total number of conflicts for unsuccessful attempts 0
100.26/100.74 c STR total number of conflicts for inconclusive attempts 0
100.26/100.74 c STR average number of conflicts per successful attempt inf
100.26/100.74 c STR average number of conflicts per unsuccessful attempt inf
100.26/100.74 c STR average number of conflicts per inconclusive attempt inf
100.26/100.76 c AVG.sumWPerc 42.63
100.26/100.76 c bigint constraints 0
100.26/100.76 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62918 MiB free)
memory of node 1: 64507 MiB (62870 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510621-1751197778/watcher-4510621-1751197778 -o /tmp/evaluation-result-4510621-1751197778/solver-4510621-1751197778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21224 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4510621-1751197778.opb PROOFDIR/proof-4510621-1751197778
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
Starting watchdog thread
solver pid=21827, runsolver pid=21824
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.06 2.64 1.84 5/271 21830
/proc/meminfo: memFree=128803684/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=58320 memory=14996 CPUtime=0.06 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 1208 0 0 0 5 1 0 0 20 0 1 0 35457420 59719680 3749 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 14580 3749 2368 1147 0 2007 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62512 KiB
Current children cumulated memory: 18068 KiB
[startup+0.205611 s]*
/proc/loadavg: 4.06 2.64 1.84 5/271 21830
/proc/meminfo: memFree=128797824/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=59020 memory=15636 CPUtime=0.17 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 1386 0 0 0 14 3 0 0 20 0 1 0 35457420 60436480 3909 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 14755 3909 2368 1147 0 2182 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63212 KiB
Current children cumulated memory: 18708 KiB
[startup+0.305165 s]*
/proc/loadavg: 4.06 2.64 1.84 5/271 21830
/proc/meminfo: memFree=128797824/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=59300 memory=15892 CPUtime=0.26 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 1456 0 0 0 22 4 0 0 20 0 1 0 35457420 60723200 3973 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 14825 3973 2368 1147 0 2252 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63492 KiB
Current children cumulated memory: 18964 KiB
[startup+0.700173 s]
/proc/loadavg: 4.06 2.64 1.84 5/271 21830
/proc/meminfo: memFree=128795808/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=59896 memory=16532 CPUtime=0.65 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 1605 0 0 0 57 8 0 0 20 0 1 0 35457420 61333504 4133 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 14974 4133 2368 1147 0 2401 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 64088 KiB
Current children cumulated memory: 19604 KiB
[startup+1.50015 s]
/proc/loadavg: 4.06 2.64 1.84 5/271 21830
/proc/meminfo: memFree=128789812/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=60868 memory=17428 CPUtime=1.45 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 1831 0 0 0 128 17 0 0 20 0 1 0 35457420 62328832 4357 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 15217 4357 2368 1147 0 2644 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65060 KiB
Current children cumulated memory: 20500 KiB
[startup+3.10551 s]
/proc/loadavg: 4.06 2.66 1.85 5/271 21830
/proc/meminfo: memFree=128773436/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=62496 memory=18964 CPUtime=3.05 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 2224 0 0 0 269 36 0 0 20 0 1 0 35457420 63995904 4741 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 15624 4741 2368 1147 0 3051 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 66688 KiB
Current children cumulated memory: 22036 KiB
[startup+6.30015 s]
/proc/loadavg: 4.06 2.66 1.85 5/271 21830
/proc/meminfo: memFree=128738660/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=64076 memory=20628 CPUtime=6.23 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 2640 0 0 0 552 71 0 0 20 0 1 0 35457420 65613824 5157 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 16019 5157 2368 1147 0 3446 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 68268 KiB
Current children cumulated memory: 23700 KiB
[startup+12.7001 s]
/proc/loadavg: 4.05 2.71 1.87 5/271 21830
/proc/meminfo: memFree=128677948/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=65836 memory=22536 CPUtime=12.62 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 3773 0 0 0 1132 130 0 0 20 0 1 0 35457420 67416064 5634 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 16459 5634 2368 1147 0 3886 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 70028 KiB
Current children cumulated memory: 25608 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 2.75 1.90 5/271 21831
/proc/meminfo: memFree=128580044/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=68184 memory=26684 CPUtime=25.39 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 6605 0 0 0 2310 229 0 0 20 0 1 0 35457420 69820416 6671 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 17046 6671 2368 1147 0 4473 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 72376 KiB
Current children cumulated memory: 29756 KiB
[startup+51.1054 s]
/proc/loadavg: 4.02 2.85 1.95 5/272 21832
/proc/meminfo: memFree=128407832/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=72164 memory=30396 CPUtime=50.86 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 10878 0 0 0 4682 404 0 0 20 0 1 0 35457420 73895936 7599 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 18041 7599 2368 1147 0 5468 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 76356 KiB
Current children cumulated memory: 33468 KiB
[startup+100.763 s]
# the end of solver process 21827 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=93.2349 s, system=7.09541 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.02 2.85 1.95 5/272 21832
/proc/meminfo: memFree=128407832/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=72164 memory=30396 CPUtime=50.96 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 10878 0 0 0 4691 405 0 0 20 0 1 0 35457420 73895936 7599 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 18041 7599 2368 1147 0 5468 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 76356 KiB
Current children cumulated memory: 33468 KiB
[startup+76.8002 s]
/proc/loadavg: 4.10 2.96 2.02 5/273 21834
/proc/meminfo: memFree=128231828/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=78352 memory=33996 CPUtime=76.45 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 16680 0 0 0 7076 569 0 0 20 0 1 0 35457420 80232448 8499 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 19588 8499 2368 1147 0 7015 0
Current children cumulated CPU time: 76.46 s
Current children cumulated vsize: 82544 KiB
Current children cumulated memory: 37068 KiB
[startup+89.6002 s]
/proc/loadavg: 4.07 3.01 2.05 5/273 21835
/proc/meminfo: memFree=128137596/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=79388 memory=35272 CPUtime=89.22 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 18657 0 0 0 8279 643 0 0 20 0 1 0 35457420 81293312 8818 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 19847 8818 2368 1147 0 7274 0
Current children cumulated CPU time: 89.23 s
Current children cumulated vsize: 83580 KiB
Current children cumulated memory: 38344 KiB
[startup+96.0001 s]*
/proc/loadavg: 4.07 3.03 2.06 5/273 21835
/proc/meminfo: memFree=128089608/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=79652 memory=35756 CPUtime=95.57 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 19488 0 0 0 8875 682 0 0 20 0 1 0 35457420 81563648 8939 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 19913 8939 2368 1147 0 7340 0
Current children cumulated CPU time: 95.58 s
Current children cumulated vsize: 83844 KiB
Current children cumulated memory: 38828 KiB
[startup+99.2001 s]
/proc/loadavg: 4.06 3.05 2.07 5/273 21835
/proc/meminfo: memFree=128068808/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=79188 memory=35472 CPUtime=98.75 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 19795 0 0 0 9175 700 0 0 20 0 1 0 35457420 81088512 8868 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 19797 8868 2368 1147 0 7224 0
Current children cumulated CPU time: 98.76 s
Current children cumulated vsize: 83380 KiB
Current children cumulated memory: 38544 KiB
[startup+100 s]*
/proc/loadavg: 4.06 3.05 2.07 5/273 21835
/proc/meminfo: memFree=128055640/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=79700 memory=35600 CPUtime=99.56 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 19840 0 0 0 9252 704 0 0 20 0 1 0 35457420 81612800 8900 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 19925 8900 2368 1147 0 7352 0
Current children cumulated CPU time: 99.57 s
Current children cumulated vsize: 83892 KiB
Current children cumulated memory: 38672 KiB
[startup+100.4 s]
/proc/loadavg: 4.06 3.05 2.07 5/273 21835
/proc/meminfo: memFree=128055640/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=80612 memory=36368 CPUtime=99.95 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 20019 0 0 0 9289 706 0 0 20 0 1 0 35457420 82546688 9092 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 20153 9092 2368 1147 0 7580 0
Current children cumulated CPU time: 99.96 s
Current children cumulated vsize: 84804 KiB
Current children cumulated memory: 39440 KiB
[startup+100.6 s]
/proc/loadavg: 4.06 3.05 2.07 5/273 21835
/proc/meminfo: memFree=128055640/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=80612 memory=36368 CPUtime=100.15 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 20019 0 0 0 9308 707 0 0 20 0 1 0 35457420 82546688 9092 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 20153 9092 2368 1147 0 7580 0
Current children cumulated CPU time: 100.16 s
Current children cumulated vsize: 84804 KiB
Current children cumulated memory: 39440 KiB
[startup+100.7 s]
/proc/loadavg: 4.06 3.05 2.07 5/273 21835
/proc/meminfo: memFree=128055640/131249996 swapFree=33010684/33010684
[pid=21827] ppid=21824 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/21827/stat : 21827 (run-dec-break-l) S 21824 21827 21214 0 -1 4194304 240 646 0 0 0 0 1 0 20 0 1 0 35457417 4292608 768 18446744073709551615 94723270623232 94723271517765 140720903020496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94723271756816 94723271804560 94723277017088 140720903022869 140720903023070 140720903023070 140720903028672 0
/proc/21827/statm: 1048 768 704 219 0 110 0
[pid=21830] ppid=21827 vsize=80612 memory=36368 CPUtime=100.25 cores=0,2
/proc/21830/stat : 21830 (roundingsat) R 21827 21827 21214 0 -1 4194304 20019 0 0 0 9317 708 0 0 20 0 1 0 35457420 82546688 9092 18446744073709551615 4227072 8923433 140732066068384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35540992 140732066076916 140732066077224 140732066077224 140732066082794 0
/proc/21830/statm: 20153 9092 2368 1147 0 7580 0
Current children cumulated CPU time: 100.26 s
Current children cumulated vsize: 84804 KiB
Current children cumulated memory: 39440 KiB
Child status: 0
Real time (s): 100.763
CPU time (s): 100.33
CPU user time (s): 93.2349
CPU system time (s): 7.09541
CPU usage (%): 99.5703
Max. virtual memory (cumulated for all children) (KiB): 84804
Max. memory (cumulated for all children) (KiB): 39440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.2349
system time used= 7.09541
maximum resident set size= 36552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 373376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 476
involuntary context switches= 237
# summary of solver processes directly reported to runsolver:
# pid: 21827
# total CPU time (s): 100.33
# total CPU user time (s): 93.2349
# total CPU system time (s): 7.09541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.172726 second user time and 0.500685 second system time
The end
Begin job on nodeC030 at 2025-06-29 13:49:38
IDJOB=4510621
IDBENCH=160374
IDSOLVER=3358
FILE ID=nodeC030/4510621-1751197778
RUNJOBID= nodeC030-1751197546-21224
SLURM_JOB_ID= 9587610
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510621-1751197778/watcher-4510621-1751197778 -o /tmp/evaluation-result-4510621-1751197778/solver-4510621-1751197778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21224 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4510621-1751197778.opb PROOFDIR/proof-4510621-1751197778
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6c6f54dbad76425fd68d4f6d2aa72935
RANDOM SEED=513581715
nodeC030 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 : 3600.351
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 : 7000.62
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 : 3600.225
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 : 7000.62
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 : 3596.603
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 : 7000.62
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 : 3574.529
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 : 7000.62
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 : 3600.287
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 : 7000.62
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 : 3600.321
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 : 7000.62
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 : 3600.707
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 : 7000.62
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 : 3700.000
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128808752 kB
MemAvailable: 129664656 kB
Buffers: 3280 kB
Cached: 1665212 kB
SwapCached: 0 kB
Active: 488116 kB
Inactive: 1408068 kB
Active(anon): 246160 kB
Inactive(anon): 0 kB
Active(file): 241956 kB
Inactive(file): 1408068 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 119832 kB
Writeback: 0 kB
AnonPages: 230428 kB
Mapped: 113184 kB
Shmem: 18064 kB
KReclaimable: 89840 kB
Slab: 178344 kB
SReclaimable: 89840 kB
SUnreclaim: 88504 kB
KernelStack: 4368 kB
PageTables: 3652 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 586188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 73728 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC030 at 2025-06-29 13:51:19