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-4510620-1751196722.opb'
0.00/0.01 c read 0.04MB (0.57ms)
0.00/0.01 c [cnf: #variables 701 #clauses 702 #duplicates 278 #arr 2804]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 420] (0.67ms)
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.62ms)
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.23ms)
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.06ms)
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-4510620-1751196722.opb.pre'
0.00/0.02 c wrote 0.03MB (0.14ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 9.62ms 71.60% detect_special
0.00/0.02 c 2.23ms 16.57% detect_generic
0.00/0.02 c 0.67ms 4.98% approx_orbits
0.00/0.02 c 0.56ms 4.20% parse
0.00/0.02 c 0.14ms 1.01% output
0.00/0.02 c 0.12ms 0.91% other
0.00/0.02 c 0.06ms 0.41% break_generic
0.00/0.02 c 0.04ms 0.28% finalize_order
0.00/0.02 c 0.00ms 0.03% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 13.44ms 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.03 c #variables 719 #constraints 758
0.00/0.04 c rational objective 350.5
0.18/0.30 c #Conflicts: 1000 | #Constraints: 1765
0.18/0.30 c #Conflicts: 2000 | #Constraints: 2766
0.18/0.30 c INPROCESSING
0.18/0.30 c GARBAGE COLLECT
0.18/0.30 c #Conflicts: 3000 | #Constraints: 2801
0.18/0.30 c #Conflicts: 4000 | #Constraints: 3801
0.18/0.30 c INPROCESSING
0.18/0.30 c GARBAGE COLLECT
0.18/0.30 c #Conflicts: 5000 | #Constraints: 3226
0.18/0.30 c #Conflicts: 6000 | #Constraints: 4226
0.18/0.30 c INPROCESSING
0.18/0.30 c GARBAGE COLLECT
0.18/0.30 c #Conflicts: 7000 | #Constraints: 3240
0.18/0.30 c #Conflicts: 8000 | #Constraints: 4240
0.18/0.30 c #Conflicts: 9000 | #Constraints: 5240
0.18/0.30 c INPROCESSING
0.18/0.30 c GARBAGE COLLECT
0.18/0.30 c rational objective 350.5
0.27/0.39 c #Conflicts: 10000 | #Constraints: 3950
0.27/0.39 c #Conflicts: 11000 | #Constraints: 4950
0.27/0.39 c #Conflicts: 12000 | #Constraints: 5950
0.27/0.39 c INPROCESSING
0.27/0.39 c GARBAGE COLLECT
0.27/0.39 c rational objective 350.5
0.38/0.49 c #Conflicts: 13000 | #Constraints: 4407
0.38/0.49 c #Conflicts: 14000 | #Constraints: 5407
0.38/0.49 c #Conflicts: 15000 | #Constraints: 6407
0.38/0.49 c INPROCESSING
0.38/0.49 c GARBAGE COLLECT
0.38/0.49 c rational objective 350.5
0.47/0.59 c #Conflicts: 16000 | #Constraints: 4640
0.47/0.59 c #Conflicts: 17000 | #Constraints: 5641
0.47/0.59 c #Conflicts: 18000 | #Constraints: 6641
0.47/0.59 c INPROCESSING
0.47/0.59 c GARBAGE COLLECT
0.47/0.59 c rational objective 350.5
0.67/0.71 c #Conflicts: 19000 | #Constraints: 4654
0.67/0.71 c #Conflicts: 20000 | #Constraints: 5655
0.67/0.71 c #Conflicts: 21000 | #Constraints: 6655
0.67/0.71 c INPROCESSING
0.67/0.71 c GARBAGE COLLECT
0.67/0.71 c rational objective 350.5
0.77/0.83 c #Conflicts: 22000 | #Constraints: 4459
0.77/0.83 c #Conflicts: 23000 | #Constraints: 5459
0.77/0.83 c #Conflicts: 24000 | #Constraints: 6459
0.77/0.83 c #Conflicts: 25000 | #Constraints: 7459
0.77/0.83 c INPROCESSING
0.77/0.83 c GARBAGE COLLECT
0.77/0.83 c rational objective 350.5
0.86/0.97 c #Conflicts: 26000 | #Constraints: 5066
0.86/0.97 c #Conflicts: 27000 | #Constraints: 6066
0.86/0.97 c #Conflicts: 28000 | #Constraints: 7066
0.86/0.97 c #Conflicts: 29000 | #Constraints: 8066
0.86/0.97 c INPROCESSING
0.86/0.97 c GARBAGE COLLECT
0.86/0.97 c rational objective 350.5
0.97/1.10 c #Conflicts: 30000 | #Constraints: 5468
0.97/1.10 c #Conflicts: 31000 | #Constraints: 6468
0.97/1.10 c #Conflicts: 32000 | #Constraints: 7468
0.97/1.10 c #Conflicts: 33000 | #Constraints: 8468
0.97/1.10 c INPROCESSING
0.97/1.10 c GARBAGE COLLECT
0.97/1.10 c rational objective 350.5
1.16/1.24 c #Conflicts: 34000 | #Constraints: 5670
1.16/1.24 c #Conflicts: 35000 | #Constraints: 6670
1.16/1.24 c #Conflicts: 36000 | #Constraints: 7670
1.16/1.24 c #Conflicts: 37000 | #Constraints: 8670
1.16/1.24 c INPROCESSING
1.16/1.24 c GARBAGE COLLECT
1.16/1.24 c rational objective 350.5
1.37/1.42 c #Conflicts: 38000 | #Constraints: 5668
1.37/1.42 c #Conflicts: 39000 | #Constraints: 6668
1.37/1.42 c #Conflicts: 40000 | #Constraints: 7668
1.37/1.42 c #Conflicts: 41000 | #Constraints: 8668
1.37/1.42 c INPROCESSING
1.37/1.42 c GARBAGE COLLECT
1.37/1.42 c rational objective 350.5
1.57/1.60 c #Conflicts: 42000 | #Constraints: 5470
1.57/1.60 c #Conflicts: 43000 | #Constraints: 6470
1.57/1.60 c #Conflicts: 44000 | #Constraints: 7470
1.57/1.60 c #Conflicts: 45000 | #Constraints: 8470
1.57/1.60 c #Conflicts: 46000 | #Constraints: 9470
1.57/1.60 c INPROCESSING
1.57/1.60 c GARBAGE COLLECT
1.57/1.60 c rational objective 350.5
1.67/1.76 c #Conflicts: 47000 | #Constraints: 6067
1.67/1.76 c #Conflicts: 48000 | #Constraints: 7067
1.67/1.76 c #Conflicts: 49000 | #Constraints: 8067
1.67/1.76 c #Conflicts: 50000 | #Constraints: 9067
1.67/1.76 c #Conflicts: 51000 | #Constraints: 10067
1.67/1.76 c INPROCESSING
1.67/1.76 c GARBAGE COLLECT
1.67/1.76 c rational objective 350.5
1.87/1.94 c #Conflicts: 52000 | #Constraints: 6465
1.87/1.94 c #Conflicts: 53000 | #Constraints: 7465
1.87/1.94 c #Conflicts: 54000 | #Constraints: 8465
1.87/1.94 c #Conflicts: 55000 | #Constraints: 9465
1.87/1.94 c #Conflicts: 56000 | #Constraints: 10465
1.87/1.94 c INPROCESSING
1.87/1.94 c GARBAGE COLLECT
1.87/1.94 c rational objective 350.5
2.07/2.14 c #Conflicts: 57000 | #Constraints: 6667
2.07/2.14 c #Conflicts: 58000 | #Constraints: 7668
2.07/2.14 c #Conflicts: 59000 | #Constraints: 8668
2.07/2.14 c #Conflicts: 60000 | #Constraints: 9668
2.07/2.14 c #Conflicts: 61000 | #Constraints: 10668
2.07/2.14 c INPROCESSING
2.07/2.14 c GARBAGE COLLECT
2.07/2.14 c rational objective 350.5
2.26/2.35 c #Conflicts: 62000 | #Constraints: 6670
2.26/2.35 c #Conflicts: 63000 | #Constraints: 7670
2.26/2.35 c #Conflicts: 64000 | #Constraints: 8670
2.26/2.35 c #Conflicts: 65000 | #Constraints: 9670
2.26/2.35 c #Conflicts: 66000 | #Constraints: 10670
2.26/2.35 c INPROCESSING
2.26/2.35 c GARBAGE COLLECT
2.26/2.35 c rational objective 350.5
2.46/2.57 c #Conflicts: 67000 | #Constraints: 6467
2.46/2.57 c #Conflicts: 68000 | #Constraints: 7467
2.46/2.57 c #Conflicts: 69000 | #Constraints: 8467
2.46/2.57 c #Conflicts: 70000 | #Constraints: 9467
2.46/2.57 c #Conflicts: 71000 | #Constraints: 10467
2.46/2.57 c #Conflicts: 72000 | #Constraints: 11467
2.46/2.57 c INPROCESSING
2.46/2.57 c GARBAGE COLLECT
2.46/2.57 c rational objective 350.5
2.76/2.80 c #Conflicts: 73000 | #Constraints: 7060
2.76/2.80 c #Conflicts: 74000 | #Constraints: 8060
2.76/2.80 c #Conflicts: 75000 | #Constraints: 9060
2.76/2.80 c #Conflicts: 76000 | #Constraints: 10060
2.76/2.80 c #Conflicts: 77000 | #Constraints: 11060
2.76/2.80 c #Conflicts: 78000 | #Constraints: 12060
2.76/2.80 c INPROCESSING
2.76/2.80 c GARBAGE COLLECT
2.76/2.80 c rational objective 350.5
2.97/3.04 c #Conflicts: 79000 | #Constraints: 7467
2.97/3.04 c #Conflicts: 80000 | #Constraints: 8467
2.97/3.04 c #Conflicts: 81000 | #Constraints: 9467
2.97/3.04 c #Conflicts: 82000 | #Constraints: 10467
2.97/3.04 c #Conflicts: 83000 | #Constraints: 11467
2.97/3.04 c #Conflicts: 84000 | #Constraints: 12467
2.97/3.04 c INPROCESSING
2.97/3.04 c GARBAGE COLLECT
2.97/3.04 c rational objective 350.5
3.16/3.28 c #Conflicts: 85000 | #Constraints: 7671
3.16/3.28 c #Conflicts: 86000 | #Constraints: 8671
3.16/3.28 c #Conflicts: 87000 | #Constraints: 9671
3.16/3.28 c #Conflicts: 88000 | #Constraints: 10671
3.16/3.28 c #Conflicts: 89000 | #Constraints: 11671
3.16/3.28 c #Conflicts: 90000 | #Constraints: 12671
3.16/3.28 c INPROCESSING
3.16/3.28 c GARBAGE COLLECT
3.16/3.28 c rational objective 350.5
3.46/3.59 c #Conflicts: 91000 | #Constraints: 7669
3.46/3.59 c #Conflicts: 92000 | #Constraints: 8669
3.46/3.59 c #Conflicts: 93000 | #Constraints: 9669
3.46/3.59 c #Conflicts: 94000 | #Constraints: 10669
3.46/3.59 c #Conflicts: 95000 | #Constraints: 11669
3.46/3.59 c #Conflicts: 96000 | #Constraints: 12669
3.46/3.59 c INPROCESSING
3.46/3.59 c GARBAGE COLLECT
3.46/3.59 c rational objective 350.5
3.76/3.85 c #Conflicts: 97000 | #Constraints: 7467
3.76/3.85 c #Conflicts: 98000 | #Constraints: 8467
3.76/3.85 c #Conflicts: 99000 | #Constraints: 9467
3.76/3.85 c #Conflicts: 100000 | #Constraints: 10467
3.76/3.85 c #Conflicts: 101000 | #Constraints: 11467
3.76/3.85 c #Conflicts: 102000 | #Constraints: 12467
3.76/3.85 c #Conflicts: 103000 | #Constraints: 13467
3.76/3.85 c INPROCESSING
3.76/3.85 c GARBAGE COLLECT
3.76/3.85 c rational objective 350.5
4.07/4.11 c #Conflicts: 104000 | #Constraints: 8078
4.07/4.11 c #Conflicts: 105000 | #Constraints: 9078
4.07/4.11 c #Conflicts: 106000 | #Constraints: 10078
4.07/4.11 c #Conflicts: 107000 | #Constraints: 11078
4.07/4.11 c #Conflicts: 108000 | #Constraints: 12078
4.07/4.11 c #Conflicts: 109000 | #Constraints: 13078
4.07/4.11 c #Conflicts: 110000 | #Constraints: 14078
4.07/4.11 c INPROCESSING
4.07/4.11 c GARBAGE COLLECT
4.07/4.11 c rational objective 350.5
4.26/4.37 c #Conflicts: 111000 | #Constraints: 8479
4.26/4.37 c #Conflicts: 112000 | #Constraints: 9479
4.26/4.37 c #Conflicts: 113000 | #Constraints: 10480
4.26/4.37 c #Conflicts: 114000 | #Constraints: 11480
4.26/4.37 c #Conflicts: 115000 | #Constraints: 12480
4.26/4.37 c #Conflicts: 116000 | #Constraints: 13480
4.26/4.37 c #Conflicts: 117000 | #Constraints: 14480
4.26/4.37 c INPROCESSING
4.26/4.37 c GARBAGE COLLECT
4.26/4.37 c rational objective 350.5
4.56/4.63 c #Conflicts: 118000 | #Constraints: 8683
4.56/4.63 c #Conflicts: 119000 | #Constraints: 9683
4.56/4.63 c #Conflicts: 120000 | #Constraints: 10683
4.56/4.63 c #Conflicts: 121000 | #Constraints: 11683
4.56/4.63 c #Conflicts: 122000 | #Constraints: 12683
4.56/4.63 c #Conflicts: 123000 | #Constraints: 13683
4.56/4.63 c #Conflicts: 124000 | #Constraints: 14683
4.56/4.63 c INPROCESSING
4.56/4.63 c GARBAGE COLLECT
4.56/4.63 c rational objective 350.5
4.86/4.90 c #Conflicts: 125000 | #Constraints: 8678
4.86/4.90 c #Conflicts: 126000 | #Constraints: 9678
4.86/4.90 c #Conflicts: 127000 | #Constraints: 10678
4.86/4.90 c #Conflicts: 128000 | #Constraints: 11678
4.86/4.90 c #Conflicts: 129000 | #Constraints: 12678
4.86/4.90 c #Conflicts: 130000 | #Constraints: 13678
4.86/4.90 c #Conflicts: 131000 | #Constraints: 14678
4.86/4.90 c INPROCESSING
4.86/4.90 c GARBAGE COLLECT
4.86/4.90 c rational objective 350.5
5.06/5.18 c #Conflicts: 132000 | #Constraints: 8477
5.06/5.18 c #Conflicts: 133000 | #Constraints: 9477
5.06/5.18 c #Conflicts: 134000 | #Constraints: 10477
5.06/5.18 c #Conflicts: 135000 | #Constraints: 11477
5.06/5.18 c #Conflicts: 136000 | #Constraints: 12477
5.06/5.18 c #Conflicts: 137000 | #Constraints: 13477
5.06/5.18 c #Conflicts: 138000 | #Constraints: 14477
5.06/5.18 c #Conflicts: 139000 | #Constraints: 15477
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.47 c #Conflicts: 140000 | #Constraints: 9076
5.35/5.47 c #Conflicts: 141000 | #Constraints: 10076
5.35/5.47 c #Conflicts: 142000 | #Constraints: 11076
5.35/5.47 c #Conflicts: 143000 | #Constraints: 12076
5.35/5.47 c #Conflicts: 144000 | #Constraints: 13076
5.35/5.47 c #Conflicts: 145000 | #Constraints: 14076
5.35/5.47 c #Conflicts: 146000 | #Constraints: 15076
5.35/5.47 c #Conflicts: 147000 | #Constraints: 16076
5.35/5.47 c INPROCESSING
5.35/5.47 c GARBAGE COLLECT
5.35/5.47 c rational objective 350.5
5.66/5.75 c #Conflicts: 148000 | #Constraints: 9481
5.66/5.75 c #Conflicts: 149000 | #Constraints: 10481
5.66/5.75 c #Conflicts: 150000 | #Constraints: 11481
5.66/5.75 c #Conflicts: 151000 | #Constraints: 12481
5.66/5.75 c #Conflicts: 152000 | #Constraints: 13481
5.66/5.75 c #Conflicts: 153000 | #Constraints: 14481
5.66/5.75 c #Conflicts: 154000 | #Constraints: 15481
5.66/5.75 c #Conflicts: 155000 | #Constraints: 16481
5.66/5.75 c INPROCESSING
5.66/5.75 c GARBAGE COLLECT
5.66/5.75 c rational objective 350.5
5.96/6.02 c #Conflicts: 156000 | #Constraints: 9682
5.96/6.02 c #Conflicts: 157000 | #Constraints: 10682
5.96/6.02 c #Conflicts: 158000 | #Constraints: 11682
5.96/6.02 c #Conflicts: 159000 | #Constraints: 12682
5.96/6.02 c #Conflicts: 160000 | #Constraints: 13682
5.96/6.02 c #Conflicts: 161000 | #Constraints: 14682
5.96/6.02 c #Conflicts: 162000 | #Constraints: 15682
5.96/6.02 c #Conflicts: 163000 | #Constraints: 16682
5.96/6.02 c INPROCESSING
5.96/6.02 c GARBAGE COLLECT
5.96/6.02 c rational objective 350.5
6.26/6.31 c #Conflicts: 164000 | #Constraints: 9683
6.26/6.31 c #Conflicts: 165000 | #Constraints: 10683
6.26/6.31 c #Conflicts: 166000 | #Constraints: 11683
6.26/6.31 c #Conflicts: 167000 | #Constraints: 12683
6.26/6.31 c #Conflicts: 168000 | #Constraints: 13683
6.26/6.31 c #Conflicts: 169000 | #Constraints: 14683
6.26/6.31 c #Conflicts: 170000 | #Constraints: 15683
6.26/6.31 c #Conflicts: 171000 | #Constraints: 16683
6.26/6.31 c INPROCESSING
6.26/6.31 c GARBAGE COLLECT
6.26/6.31 c rational objective 350.5
6.56/6.61 c #Conflicts: 172000 | #Constraints: 9482
6.56/6.61 c #Conflicts: 173000 | #Constraints: 10482
6.56/6.61 c #Conflicts: 174000 | #Constraints: 11482
6.56/6.61 c #Conflicts: 175000 | #Constraints: 12482
6.56/6.61 c #Conflicts: 176000 | #Constraints: 13482
6.56/6.61 c #Conflicts: 177000 | #Constraints: 14482
6.56/6.61 c #Conflicts: 178000 | #Constraints: 15482
6.56/6.61 c #Conflicts: 179000 | #Constraints: 16482
6.56/6.61 c #Conflicts: 180000 | #Constraints: 17482
6.56/6.61 c INPROCESSING
6.56/6.61 c GARBAGE COLLECT
6.56/6.61 c rational objective 350.5
6.85/6.92 c #Conflicts: 181000 | #Constraints: 10083
6.85/6.92 c #Conflicts: 182000 | #Constraints: 11083
6.85/6.92 c #Conflicts: 183000 | #Constraints: 12083
6.85/6.92 c #Conflicts: 184000 | #Constraints: 13083
6.85/6.92 c #Conflicts: 185000 | #Constraints: 14083
6.85/6.92 c #Conflicts: 186000 | #Constraints: 15083
6.85/6.92 c #Conflicts: 187000 | #Constraints: 16083
6.85/6.92 c #Conflicts: 188000 | #Constraints: 17083
6.85/6.92 c #Conflicts: 189000 | #Constraints: 18083
6.85/6.92 c INPROCESSING
6.85/6.92 c GARBAGE COLLECT
6.85/6.92 c rational objective 350.5
7.15/7.26 c #Conflicts: 190000 | #Constraints: 10490
7.15/7.26 c #Conflicts: 191000 | #Constraints: 11490
7.15/7.26 c #Conflicts: 192000 | #Constraints: 12490
7.15/7.26 c #Conflicts: 193000 | #Constraints: 13490
7.15/7.26 c #Conflicts: 194000 | #Constraints: 14490
7.15/7.26 c #Conflicts: 195000 | #Constraints: 15490
7.15/7.26 c #Conflicts: 196000 | #Constraints: 16490
7.15/7.26 c #Conflicts: 197000 | #Constraints: 17490
7.15/7.26 c #Conflicts: 198000 | #Constraints: 18490
7.15/7.26 c INPROCESSING
7.15/7.26 c GARBAGE COLLECT
7.15/7.26 c rational objective 350.5
7.55/7.60 c #Conflicts: 199000 | #Constraints: 10689
7.55/7.60 c #Conflicts: 200000 | #Constraints: 11689
7.55/7.60 c #Conflicts: 201000 | #Constraints: 12689
7.55/7.60 c #Conflicts: 202000 | #Constraints: 13689
7.55/7.60 c #Conflicts: 203000 | #Constraints: 14689
7.55/7.60 c #Conflicts: 204000 | #Constraints: 15689
7.55/7.60 c #Conflicts: 205000 | #Constraints: 16689
7.55/7.60 c #Conflicts: 206000 | #Constraints: 17689
7.55/7.60 c #Conflicts: 207000 | #Constraints: 18689
7.55/7.60 c INPROCESSING
7.55/7.60 c GARBAGE COLLECT
7.55/7.60 c rational objective 350.5
7.85/7.92 c #Conflicts: 208000 | #Constraints: 10689
7.85/7.92 c #Conflicts: 209000 | #Constraints: 11689
7.85/7.92 c #Conflicts: 210000 | #Constraints: 12689
7.85/7.92 c #Conflicts: 211000 | #Constraints: 13689
7.85/7.92 c #Conflicts: 212000 | #Constraints: 14689
7.85/7.92 c #Conflicts: 213000 | #Constraints: 15689
7.85/7.92 c #Conflicts: 214000 | #Constraints: 16689
7.85/7.92 c #Conflicts: 215000 | #Constraints: 17689
7.85/7.92 c #Conflicts: 216000 | #Constraints: 18689
7.85/7.92 c INPROCESSING
7.85/7.92 c GARBAGE COLLECT
7.85/7.92 c rational objective 350.5
8.15/8.29 c #Conflicts: 217000 | #Constraints: 10482
8.15/8.29 c #Conflicts: 218000 | #Constraints: 11482
8.15/8.29 c #Conflicts: 219000 | #Constraints: 12482
8.15/8.29 c #Conflicts: 220000 | #Constraints: 13482
8.15/8.29 c #Conflicts: 221000 | #Constraints: 14482
8.15/8.29 c #Conflicts: 222000 | #Constraints: 15482
8.15/8.29 c #Conflicts: 223000 | #Constraints: 16482
8.15/8.29 c #Conflicts: 224000 | #Constraints: 17482
8.15/8.29 c #Conflicts: 225000 | #Constraints: 18482
8.15/8.29 c #Conflicts: 226000 | #Constraints: 19482
8.15/8.29 c INPROCESSING
8.15/8.29 c GARBAGE COLLECT
8.15/8.29 c rational objective 350.5
8.55/8.64 c #Conflicts: 227000 | #Constraints: 11083
8.55/8.64 c #Conflicts: 228000 | #Constraints: 12083
8.55/8.64 c #Conflicts: 229000 | #Constraints: 13083
8.55/8.64 c #Conflicts: 230000 | #Constraints: 14083
8.55/8.64 c #Conflicts: 231000 | #Constraints: 15083
8.55/8.64 c #Conflicts: 232000 | #Constraints: 16083
8.55/8.64 c #Conflicts: 233000 | #Constraints: 17083
8.55/8.64 c #Conflicts: 234000 | #Constraints: 18083
8.55/8.64 c #Conflicts: 235000 | #Constraints: 19083
8.55/8.64 c #Conflicts: 236000 | #Constraints: 20083
8.55/8.64 c INPROCESSING
8.55/8.64 c GARBAGE COLLECT
8.55/8.64 c rational objective 350.5
8.85/8.98 c #Conflicts: 237000 | #Constraints: 11476
8.85/8.98 c #Conflicts: 238000 | #Constraints: 12476
8.85/8.98 c #Conflicts: 239000 | #Constraints: 13476
8.85/8.98 c #Conflicts: 240000 | #Constraints: 14476
8.85/8.98 c #Conflicts: 241000 | #Constraints: 15476
8.85/8.98 c #Conflicts: 242000 | #Constraints: 16476
8.85/8.98 c #Conflicts: 243000 | #Constraints: 17476
8.85/8.98 c #Conflicts: 244000 | #Constraints: 18476
8.85/8.98 c #Conflicts: 245000 | #Constraints: 19476
8.85/8.98 c #Conflicts: 246000 | #Constraints: 20476
8.85/8.98 c INPROCESSING
8.85/8.98 c GARBAGE COLLECT
8.85/8.98 c rational objective 350.5
9.25/9.34 c #Conflicts: 247000 | #Constraints: 11677
9.25/9.34 c #Conflicts: 248000 | #Constraints: 12677
9.25/9.34 c #Conflicts: 249000 | #Constraints: 13677
9.25/9.34 c #Conflicts: 250000 | #Constraints: 14677
9.25/9.34 c #Conflicts: 251000 | #Constraints: 15677
9.25/9.34 c #Conflicts: 252000 | #Constraints: 16677
9.25/9.34 c #Conflicts: 253000 | #Constraints: 17677
9.25/9.34 c #Conflicts: 254000 | #Constraints: 18677
9.25/9.34 c #Conflicts: 255000 | #Constraints: 19677
9.25/9.34 c #Conflicts: 256000 | #Constraints: 20677
9.25/9.34 c INPROCESSING
9.25/9.34 c GARBAGE COLLECT
9.25/9.34 c rational objective 350.5
9.55/9.69 c #Conflicts: 257000 | #Constraints: 11684
9.55/9.69 c #Conflicts: 258000 | #Constraints: 12684
9.55/9.69 c #Conflicts: 259000 | #Constraints: 13684
9.55/9.69 c #Conflicts: 260000 | #Constraints: 14684
9.55/9.69 c #Conflicts: 261000 | #Constraints: 15684
9.55/9.69 c #Conflicts: 262000 | #Constraints: 16684
9.55/9.69 c #Conflicts: 263000 | #Constraints: 17684
9.55/9.69 c #Conflicts: 264000 | #Constraints: 18684
9.55/9.69 c #Conflicts: 265000 | #Constraints: 19684
9.55/9.69 c #Conflicts: 266000 | #Constraints: 20684
9.55/9.69 c INPROCESSING
9.55/9.69 c GARBAGE COLLECT
9.55/9.69 c rational objective 350.5
9.95/10.07 c #Conflicts: 267000 | #Constraints: 11487
9.95/10.07 c #Conflicts: 268000 | #Constraints: 12487
9.95/10.07 c #Conflicts: 269000 | #Constraints: 13487
9.95/10.07 c #Conflicts: 270000 | #Constraints: 14487
9.95/10.07 c #Conflicts: 271000 | #Constraints: 15487
9.95/10.07 c #Conflicts: 272000 | #Constraints: 16487
9.95/10.07 c #Conflicts: 273000 | #Constraints: 17487
9.95/10.07 c #Conflicts: 274000 | #Constraints: 18487
9.95/10.07 c #Conflicts: 275000 | #Constraints: 19487
9.95/10.07 c #Conflicts: 276000 | #Constraints: 20487
9.95/10.07 c #Conflicts: 277000 | #Constraints: 21487
9.95/10.07 c INPROCESSING
9.95/10.07 c GARBAGE COLLECT
9.95/10.07 c rational objective 350.5
10.35/10.42 c #Conflicts: 278000 | #Constraints: 12087
10.35/10.42 c #Conflicts: 279000 | #Constraints: 13087
10.35/10.42 c #Conflicts: 280000 | #Constraints: 14087
10.35/10.42 c #Conflicts: 281000 | #Constraints: 15087
10.35/10.42 c #Conflicts: 282000 | #Constraints: 16087
10.35/10.42 c #Conflicts: 283000 | #Constraints: 17087
10.35/10.42 c #Conflicts: 284000 | #Constraints: 18087
10.35/10.42 c #Conflicts: 285000 | #Constraints: 19087
10.35/10.42 c #Conflicts: 286000 | #Constraints: 20087
10.35/10.42 c #Conflicts: 287000 | #Constraints: 21087
10.35/10.42 c #Conflicts: 288000 | #Constraints: 22087
10.35/10.42 c INPROCESSING
10.35/10.42 c GARBAGE COLLECT
10.35/10.42 c rational objective 350.5
10.64/10.79 c #Conflicts: 289000 | #Constraints: 12485
10.64/10.79 c #Conflicts: 290000 | #Constraints: 13485
10.64/10.79 c #Conflicts: 291000 | #Constraints: 14485
10.64/10.79 c #Conflicts: 292000 | #Constraints: 15485
10.64/10.79 c #Conflicts: 293000 | #Constraints: 16485
10.64/10.79 c #Conflicts: 294000 | #Constraints: 17485
10.64/10.79 c #Conflicts: 295000 | #Constraints: 18485
10.64/10.79 c #Conflicts: 296000 | #Constraints: 19485
10.64/10.79 c #Conflicts: 297000 | #Constraints: 20485
10.64/10.79 c #Conflicts: 298000 | #Constraints: 21485
10.64/10.79 c #Conflicts: 299000 | #Constraints: 22485
10.64/10.79 c INPROCESSING
10.64/10.79 c GARBAGE COLLECT
10.64/10.79 c rational objective 350.5
11.05/11.16 c #Conflicts: 300000 | #Constraints: 12692
11.05/11.16 c #Conflicts: 301000 | #Constraints: 13692
11.05/11.16 c #Conflicts: 302000 | #Constraints: 14692
11.05/11.16 c #Conflicts: 303000 | #Constraints: 15692
11.05/11.16 c #Conflicts: 304000 | #Constraints: 16692
11.05/11.16 c #Conflicts: 305000 | #Constraints: 17692
11.05/11.16 c #Conflicts: 306000 | #Constraints: 18692
11.05/11.16 c #Conflicts: 307000 | #Constraints: 19692
11.05/11.16 c #Conflicts: 308000 | #Constraints: 20692
11.05/11.16 c #Conflicts: 309000 | #Constraints: 21692
11.05/11.16 c #Conflicts: 310000 | #Constraints: 22692
11.05/11.16 c INPROCESSING
11.05/11.16 c GARBAGE COLLECT
11.05/11.16 c rational objective 350.5
11.54/11.60 c #Conflicts: 311000 | #Constraints: 12691
11.54/11.60 c #Conflicts: 312000 | #Constraints: 13691
11.54/11.60 c #Conflicts: 313000 | #Constraints: 14691
11.54/11.60 c #Conflicts: 314000 | #Constraints: 15691
11.54/11.60 c #Conflicts: 315000 | #Constraints: 16691
11.54/11.60 c #Conflicts: 316000 | #Constraints: 17691
11.54/11.60 c #Conflicts: 317000 | #Constraints: 18691
11.54/11.60 c #Conflicts: 318000 | #Constraints: 19691
11.54/11.60 c #Conflicts: 319000 | #Constraints: 20691
11.54/11.60 c #Conflicts: 320000 | #Constraints: 21691
11.54/11.60 c #Conflicts: 321000 | #Constraints: 22691
11.54/11.60 c INPROCESSING
11.54/11.60 c GARBAGE COLLECT
11.54/11.60 c rational objective 350.5
11.95/12.02 c #Conflicts: 322000 | #Constraints: 12491
11.95/12.02 c #Conflicts: 323000 | #Constraints: 13491
11.95/12.02 c #Conflicts: 324000 | #Constraints: 14491
11.95/12.02 c #Conflicts: 325000 | #Constraints: 15491
11.95/12.02 c #Conflicts: 326000 | #Constraints: 16491
11.95/12.02 c #Conflicts: 327000 | #Constraints: 17491
11.95/12.02 c #Conflicts: 328000 | #Constraints: 18491
11.95/12.02 c #Conflicts: 329000 | #Constraints: 19491
11.95/12.02 c #Conflicts: 330000 | #Constraints: 20491
11.95/12.02 c #Conflicts: 331000 | #Constraints: 21491
11.95/12.02 c #Conflicts: 332000 | #Constraints: 22491
11.95/12.02 c #Conflicts: 333000 | #Constraints: 23491
11.95/12.02 c INPROCESSING
11.95/12.02 c GARBAGE COLLECT
11.95/12.02 c rational objective 350.5
12.34/12.42 c #Conflicts: 334000 | #Constraints: 13090
12.34/12.42 c #Conflicts: 335000 | #Constraints: 14090
12.34/12.42 c #Conflicts: 336000 | #Constraints: 15090
12.34/12.42 c #Conflicts: 337000 | #Constraints: 16090
12.34/12.42 c #Conflicts: 338000 | #Constraints: 17090
12.34/12.42 c #Conflicts: 339000 | #Constraints: 18090
12.34/12.42 c #Conflicts: 340000 | #Constraints: 19090
12.34/12.42 c #Conflicts: 341000 | #Constraints: 20090
12.34/12.42 c #Conflicts: 342000 | #Constraints: 21090
12.34/12.42 c #Conflicts: 343000 | #Constraints: 22090
12.34/12.42 c #Conflicts: 344000 | #Constraints: 23090
12.34/12.42 c #Conflicts: 345000 | #Constraints: 24090
12.34/12.42 c INPROCESSING
12.34/12.42 c GARBAGE COLLECT
12.34/12.42 c rational objective 350.5
12.74/12.83 c #Conflicts: 346000 | #Constraints: 13495
12.74/12.83 c #Conflicts: 347000 | #Constraints: 14495
12.74/12.83 c #Conflicts: 348000 | #Constraints: 15495
12.74/12.83 c #Conflicts: 349000 | #Constraints: 16495
12.74/12.83 c #Conflicts: 350000 | #Constraints: 17495
12.74/12.83 c #Conflicts: 351000 | #Constraints: 18495
12.74/12.83 c #Conflicts: 352000 | #Constraints: 19495
12.74/12.83 c #Conflicts: 353000 | #Constraints: 20495
12.74/12.83 c #Conflicts: 354000 | #Constraints: 21495
12.74/12.83 c #Conflicts: 355000 | #Constraints: 22495
12.74/12.83 c #Conflicts: 356000 | #Constraints: 23495
12.74/12.83 c #Conflicts: 357000 | #Constraints: 24495
12.74/12.83 c INPROCESSING
12.74/12.83 c GARBAGE COLLECT
12.74/12.83 c rational objective 350.5
13.13/13.25 c #Conflicts: 358000 | #Constraints: 13692
13.13/13.25 c #Conflicts: 359000 | #Constraints: 14692
13.13/13.25 c #Conflicts: 360000 | #Constraints: 15692
13.13/13.25 c #Conflicts: 361000 | #Constraints: 16692
13.13/13.25 c #Conflicts: 362000 | #Constraints: 17692
13.13/13.25 c #Conflicts: 363000 | #Constraints: 18692
13.13/13.25 c #Conflicts: 364000 | #Constraints: 19692
13.13/13.25 c #Conflicts: 365000 | #Constraints: 20692
13.13/13.25 c #Conflicts: 366000 | #Constraints: 21692
13.13/13.25 c #Conflicts: 367000 | #Constraints: 22692
13.13/13.25 c #Conflicts: 368000 | #Constraints: 23692
13.13/13.25 c #Conflicts: 369000 | #Constraints: 24692
13.13/13.25 c INPROCESSING
13.13/13.25 c GARBAGE COLLECT
13.13/13.25 c rational objective 350.5
13.54/13.69 c #Conflicts: 370000 | #Constraints: 13689
13.54/13.69 c #Conflicts: 371000 | #Constraints: 14689
13.54/13.69 c #Conflicts: 372000 | #Constraints: 15689
13.54/13.69 c #Conflicts: 373000 | #Constraints: 16689
13.54/13.69 c #Conflicts: 374000 | #Constraints: 17689
13.54/13.69 c #Conflicts: 375000 | #Constraints: 18689
13.54/13.69 c #Conflicts: 376000 | #Constraints: 19689
13.54/13.69 c #Conflicts: 377000 | #Constraints: 20689
13.54/13.69 c #Conflicts: 378000 | #Constraints: 21689
13.54/13.69 c #Conflicts: 379000 | #Constraints: 22689
13.54/13.69 c #Conflicts: 380000 | #Constraints: 23689
13.54/13.69 c #Conflicts: 381000 | #Constraints: 24689
13.54/13.69 c INPROCESSING
13.54/13.69 c GARBAGE COLLECT
13.54/13.69 c rational objective 350.5
14.05/14.12 c #Conflicts: 382000 | #Constraints: 13496
14.05/14.12 c #Conflicts: 383000 | #Constraints: 14496
14.05/14.12 c #Conflicts: 384000 | #Constraints: 15496
14.05/14.12 c #Conflicts: 385000 | #Constraints: 16496
14.05/14.12 c #Conflicts: 386000 | #Constraints: 17496
14.05/14.12 c #Conflicts: 387000 | #Constraints: 18496
14.05/14.12 c #Conflicts: 388000 | #Constraints: 19496
14.05/14.12 c #Conflicts: 389000 | #Constraints: 20496
14.05/14.12 c #Conflicts: 390000 | #Constraints: 21496
14.05/14.12 c #Conflicts: 391000 | #Constraints: 22496
14.05/14.12 c #Conflicts: 392000 | #Constraints: 23496
14.05/14.12 c #Conflicts: 393000 | #Constraints: 24496
14.05/14.12 c #Conflicts: 394000 | #Constraints: 25496
14.05/14.12 c INPROCESSING
14.05/14.12 c GARBAGE COLLECT
14.05/14.12 c rational objective 350.5
14.43/14.55 c #Conflicts: 395000 | #Constraints: 14095
14.43/14.55 c #Conflicts: 396000 | #Constraints: 15095
14.43/14.55 c #Conflicts: 397000 | #Constraints: 16095
14.43/14.55 c #Conflicts: 398000 | #Constraints: 17095
14.43/14.55 c #Conflicts: 399000 | #Constraints: 18095
14.43/14.55 c #Conflicts: 400000 | #Constraints: 19095
14.43/14.55 c #Conflicts: 401000 | #Constraints: 20095
14.43/14.55 c #Conflicts: 402000 | #Constraints: 21095
14.43/14.55 c #Conflicts: 403000 | #Constraints: 22095
14.43/14.55 c #Conflicts: 404000 | #Constraints: 23095
14.43/14.55 c #Conflicts: 405000 | #Constraints: 24095
14.43/14.55 c #Conflicts: 406000 | #Constraints: 25095
14.43/14.55 c #Conflicts: 407000 | #Constraints: 26095
14.43/14.55 c INPROCESSING
14.43/14.55 c GARBAGE COLLECT
14.43/14.55 c rational objective 350.5
14.94/15.00 c #Conflicts: 408000 | #Constraints: 14490
14.94/15.00 c #Conflicts: 409000 | #Constraints: 15490
14.94/15.00 c #Conflicts: 410000 | #Constraints: 16490
14.94/15.00 c #Conflicts: 411000 | #Constraints: 17490
14.94/15.00 c #Conflicts: 412000 | #Constraints: 18490
14.94/15.00 c #Conflicts: 413000 | #Constraints: 19490
14.94/15.00 c #Conflicts: 414000 | #Constraints: 20490
14.94/15.00 c #Conflicts: 415000 | #Constraints: 21490
14.94/15.00 c #Conflicts: 416000 | #Constraints: 22490
14.94/15.00 c #Conflicts: 417000 | #Constraints: 23490
14.94/15.00 c #Conflicts: 418000 | #Constraints: 24490
14.94/15.00 c #Conflicts: 419000 | #Constraints: 25490
14.94/15.00 c #Conflicts: 420000 | #Constraints: 26490
14.94/15.00 c INPROCESSING
14.94/15.00 c GARBAGE COLLECT
14.94/15.00 c rational objective 350.5
15.33/15.49 c #Conflicts: 421000 | #Constraints: 14684
15.33/15.49 c #Conflicts: 422000 | #Constraints: 15684
15.33/15.49 c #Conflicts: 423000 | #Constraints: 16684
15.33/15.49 c #Conflicts: 424000 | #Constraints: 17684
15.33/15.49 c #Conflicts: 425000 | #Constraints: 18684
15.33/15.49 c #Conflicts: 426000 | #Constraints: 19684
15.33/15.49 c #Conflicts: 427000 | #Constraints: 20684
15.33/15.49 c #Conflicts: 428000 | #Constraints: 21684
15.33/15.49 c #Conflicts: 429000 | #Constraints: 22684
15.33/15.49 c #Conflicts: 430000 | #Constraints: 23684
15.33/15.49 c #Conflicts: 431000 | #Constraints: 24684
15.33/15.49 c #Conflicts: 432000 | #Constraints: 25684
15.33/15.49 c #Conflicts: 433000 | #Constraints: 26684
15.33/15.49 c INPROCESSING
15.33/15.49 c GARBAGE COLLECT
15.33/15.49 c rational objective 350.5
15.94/16.04 c #Conflicts: 434000 | #Constraints: 14695
15.94/16.04 c #Conflicts: 435000 | #Constraints: 15695
15.94/16.04 c #Conflicts: 436000 | #Constraints: 16695
15.94/16.04 c #Conflicts: 437000 | #Constraints: 17695
15.94/16.04 c #Conflicts: 438000 | #Constraints: 18695
15.94/16.04 c #Conflicts: 439000 | #Constraints: 19695
15.94/16.04 c #Conflicts: 440000 | #Constraints: 20695
15.94/16.04 c #Conflicts: 441000 | #Constraints: 21695
15.94/16.04 c #Conflicts: 442000 | #Constraints: 22695
15.94/16.04 c #Conflicts: 443000 | #Constraints: 23695
15.94/16.04 c #Conflicts: 444000 | #Constraints: 24695
15.94/16.04 c #Conflicts: 445000 | #Constraints: 25695
15.94/16.04 c #Conflicts: 446000 | #Constraints: 26695
15.94/16.04 c INPROCESSING
15.94/16.04 c GARBAGE COLLECT
15.94/16.04 c rational objective 350.5
16.43/16.54 c #Conflicts: 447000 | #Constraints: 14501
16.43/16.54 c #Conflicts: 448000 | #Constraints: 15501
16.43/16.54 c #Conflicts: 449000 | #Constraints: 16501
16.43/16.54 c #Conflicts: 450000 | #Constraints: 17501
16.43/16.54 c #Conflicts: 451000 | #Constraints: 18501
16.43/16.54 c #Conflicts: 452000 | #Constraints: 19501
16.43/16.54 c #Conflicts: 453000 | #Constraints: 20501
16.43/16.54 c #Conflicts: 454000 | #Constraints: 21501
16.43/16.54 c #Conflicts: 455000 | #Constraints: 22501
16.43/16.54 c #Conflicts: 456000 | #Constraints: 23501
16.43/16.54 c #Conflicts: 457000 | #Constraints: 24501
16.43/16.54 c #Conflicts: 458000 | #Constraints: 25501
16.43/16.54 c #Conflicts: 459000 | #Constraints: 26501
16.43/16.54 c #Conflicts: 460000 | #Constraints: 27501
16.43/16.54 c INPROCESSING
16.43/16.54 c GARBAGE COLLECT
16.43/16.54 c rational objective 350.5
16.93/17.04 c #Conflicts: 461000 | #Constraints: 15105
16.93/17.04 c #Conflicts: 462000 | #Constraints: 16105
16.93/17.04 c #Conflicts: 463000 | #Constraints: 17105
16.93/17.04 c #Conflicts: 464000 | #Constraints: 18105
16.93/17.04 c #Conflicts: 465000 | #Constraints: 19105
16.93/17.04 c #Conflicts: 466000 | #Constraints: 20105
16.93/17.04 c #Conflicts: 467000 | #Constraints: 21105
16.93/17.04 c #Conflicts: 468000 | #Constraints: 22105
16.93/17.04 c #Conflicts: 469000 | #Constraints: 23105
16.93/17.04 c #Conflicts: 470000 | #Constraints: 24105
16.93/17.04 c #Conflicts: 471000 | #Constraints: 25105
16.93/17.04 c #Conflicts: 472000 | #Constraints: 26105
16.93/17.04 c #Conflicts: 473000 | #Constraints: 27105
16.93/17.04 c #Conflicts: 474000 | #Constraints: 28105
16.93/17.04 c INPROCESSING
16.93/17.04 c GARBAGE COLLECT
16.93/17.04 c rational objective 350.5
17.43/17.59 c #Conflicts: 475000 | #Constraints: 15501
17.43/17.59 c #Conflicts: 476000 | #Constraints: 16501
17.43/17.59 c #Conflicts: 477000 | #Constraints: 17501
17.43/17.59 c #Conflicts: 478000 | #Constraints: 18501
17.43/17.59 c #Conflicts: 479000 | #Constraints: 19501
17.43/17.59 c #Conflicts: 480000 | #Constraints: 20501
17.43/17.59 c #Conflicts: 481000 | #Constraints: 21501
17.43/17.59 c #Conflicts: 482000 | #Constraints: 22501
17.43/17.59 c #Conflicts: 483000 | #Constraints: 23501
17.43/17.59 c #Conflicts: 484000 | #Constraints: 24501
17.43/17.59 c #Conflicts: 485000 | #Constraints: 25501
17.43/17.59 c #Conflicts: 486000 | #Constraints: 26501
17.43/17.59 c #Conflicts: 487000 | #Constraints: 27501
17.43/17.59 c #Conflicts: 488000 | #Constraints: 28501
17.43/17.59 c INPROCESSING
17.43/17.59 c GARBAGE COLLECT
17.43/17.59 c rational objective 350.5
18.04/18.19 c #Conflicts: 489000 | #Constraints: 15701
18.04/18.19 c #Conflicts: 490000 | #Constraints: 16701
18.04/18.19 c #Conflicts: 491000 | #Constraints: 17701
18.04/18.19 c #Conflicts: 492000 | #Constraints: 18701
18.04/18.19 c #Conflicts: 493000 | #Constraints: 19701
18.04/18.19 c #Conflicts: 494000 | #Constraints: 20701
18.04/18.19 c #Conflicts: 495000 | #Constraints: 21701
18.04/18.19 c #Conflicts: 496000 | #Constraints: 22701
18.04/18.19 c #Conflicts: 497000 | #Constraints: 23701
18.04/18.19 c #Conflicts: 498000 | #Constraints: 24701
18.04/18.19 c #Conflicts: 499000 | #Constraints: 25701
18.04/18.19 c #Conflicts: 500000 | #Constraints: 26701
18.04/18.19 c #Conflicts: 501000 | #Constraints: 27701
18.04/18.19 c #Conflicts: 502000 | #Constraints: 28701
18.04/18.19 c INPROCESSING
18.04/18.19 c GARBAGE COLLECT
18.04/18.19 c rational objective 350.5
18.62/18.71 c #Conflicts: 503000 | #Constraints: 15721
18.62/18.71 c #Conflicts: 504000 | #Constraints: 16721
18.62/18.71 c #Conflicts: 505000 | #Constraints: 17721
18.62/18.71 c #Conflicts: 506000 | #Constraints: 18721
18.62/18.71 c #Conflicts: 507000 | #Constraints: 19721
18.62/18.71 c #Conflicts: 508000 | #Constraints: 20721
18.62/18.71 c #Conflicts: 509000 | #Constraints: 21721
18.62/18.71 c #Conflicts: 510000 | #Constraints: 22721
18.62/18.71 c #Conflicts: 511000 | #Constraints: 23721
18.62/18.71 c #Conflicts: 512000 | #Constraints: 24721
18.62/18.71 c #Conflicts: 513000 | #Constraints: 25721
18.62/18.71 c #Conflicts: 514000 | #Constraints: 26721
18.62/18.71 c #Conflicts: 515000 | #Constraints: 27721
18.62/18.71 c #Conflicts: 516000 | #Constraints: 28721
18.62/18.71 c INPROCESSING
18.62/18.71 c GARBAGE COLLECT
18.62/18.71 c rational objective 350.5
19.13/19.20 c #Conflicts: 517000 | #Constraints: 15518
19.13/19.20 c #Conflicts: 518000 | #Constraints: 16518
19.13/19.20 c #Conflicts: 519000 | #Constraints: 17518
19.13/19.20 c #Conflicts: 520000 | #Constraints: 18518
19.13/19.20 c #Conflicts: 521000 | #Constraints: 19518
19.13/19.20 c #Conflicts: 522000 | #Constraints: 20518
19.13/19.20 c #Conflicts: 523000 | #Constraints: 21518
19.13/19.20 c #Conflicts: 524000 | #Constraints: 22518
19.13/19.20 c #Conflicts: 525000 | #Constraints: 23518
19.13/19.20 c #Conflicts: 526000 | #Constraints: 24518
19.13/19.20 c #Conflicts: 527000 | #Constraints: 25518
19.13/19.20 c #Conflicts: 528000 | #Constraints: 26518
19.13/19.20 c #Conflicts: 529000 | #Constraints: 27518
19.13/19.20 c #Conflicts: 530000 | #Constraints: 28518
19.13/19.20 c #Conflicts: 531000 | #Constraints: 29518
19.13/19.20 c INPROCESSING
19.13/19.20 c GARBAGE COLLECT
19.13/19.20 c rational objective 350.5
19.63/19.70 c #Conflicts: 532000 | #Constraints: 16115
19.63/19.70 c #Conflicts: 533000 | #Constraints: 17115
19.63/19.70 c #Conflicts: 534000 | #Constraints: 18115
19.63/19.70 c #Conflicts: 535000 | #Constraints: 19115
19.63/19.70 c #Conflicts: 536000 | #Constraints: 20115
19.63/19.70 c #Conflicts: 537000 | #Constraints: 21115
19.63/19.70 c #Conflicts: 538000 | #Constraints: 22115
19.63/19.70 c #Conflicts: 539000 | #Constraints: 23115
19.63/19.70 c #Conflicts: 540000 | #Constraints: 24115
19.63/19.70 c #Conflicts: 541000 | #Constraints: 25115
19.63/19.70 c #Conflicts: 542000 | #Constraints: 26115
19.63/19.70 c #Conflicts: 543000 | #Constraints: 27115
19.63/19.70 c #Conflicts: 544000 | #Constraints: 28115
19.63/19.70 c #Conflicts: 545000 | #Constraints: 29115
19.63/19.70 c #Conflicts: 546000 | #Constraints: 30115
19.63/19.70 c INPROCESSING
19.63/19.70 c GARBAGE COLLECT
19.63/19.70 c rational objective 350.5
20.13/20.23 c #Conflicts: 547000 | #Constraints: 16516
20.13/20.23 c #Conflicts: 548000 | #Constraints: 17516
20.13/20.23 c #Conflicts: 549000 | #Constraints: 18516
20.13/20.23 c #Conflicts: 550000 | #Constraints: 19516
20.13/20.23 c #Conflicts: 551000 | #Constraints: 20516
20.13/20.23 c #Conflicts: 552000 | #Constraints: 21516
20.13/20.23 c #Conflicts: 553000 | #Constraints: 22516
20.13/20.23 c #Conflicts: 554000 | #Constraints: 23516
20.13/20.23 c #Conflicts: 555000 | #Constraints: 24516
20.13/20.23 c #Conflicts: 556000 | #Constraints: 25516
20.13/20.23 c #Conflicts: 557000 | #Constraints: 26516
20.13/20.23 c #Conflicts: 558000 | #Constraints: 27516
20.13/20.23 c #Conflicts: 559000 | #Constraints: 28516
20.13/20.23 c #Conflicts: 560000 | #Constraints: 29516
20.13/20.23 c #Conflicts: 561000 | #Constraints: 30516
20.13/20.23 c INPROCESSING
20.13/20.23 c GARBAGE COLLECT
20.13/20.23 c rational objective 350.5
20.62/20.76 c #Conflicts: 562000 | #Constraints: 16717
20.62/20.76 c #Conflicts: 563000 | #Constraints: 17717
20.62/20.76 c #Conflicts: 564000 | #Constraints: 18717
20.62/20.76 c #Conflicts: 565000 | #Constraints: 19717
20.62/20.76 c #Conflicts: 566000 | #Constraints: 20717
20.62/20.76 c #Conflicts: 567000 | #Constraints: 21717
20.62/20.76 c #Conflicts: 568000 | #Constraints: 22717
20.62/20.76 c #Conflicts: 569000 | #Constraints: 23717
20.62/20.76 c #Conflicts: 570000 | #Constraints: 24717
20.62/20.76 c #Conflicts: 571000 | #Constraints: 25717
20.62/20.76 c #Conflicts: 572000 | #Constraints: 26717
20.62/20.76 c #Conflicts: 573000 | #Constraints: 27717
20.62/20.76 c #Conflicts: 574000 | #Constraints: 28717
20.62/20.76 c #Conflicts: 575000 | #Constraints: 29717
20.62/20.76 c #Conflicts: 576000 | #Constraints: 30717
20.62/20.76 c INPROCESSING
20.62/20.76 c GARBAGE COLLECT
20.62/20.76 c rational objective 350.5
21.12/21.29 c #Conflicts: 577000 | #Constraints: 16725
21.12/21.29 c #Conflicts: 578000 | #Constraints: 17725
21.12/21.29 c #Conflicts: 579000 | #Constraints: 18725
21.12/21.29 c #Conflicts: 580000 | #Constraints: 19725
21.12/21.29 c #Conflicts: 581000 | #Constraints: 20725
21.12/21.29 c #Conflicts: 582000 | #Constraints: 21725
21.12/21.29 c #Conflicts: 583000 | #Constraints: 22725
21.12/21.29 c #Conflicts: 584000 | #Constraints: 23725
21.12/21.29 c #Conflicts: 585000 | #Constraints: 24725
21.12/21.29 c #Conflicts: 586000 | #Constraints: 25725
21.12/21.29 c #Conflicts: 587000 | #Constraints: 26725
21.12/21.29 c #Conflicts: 588000 | #Constraints: 27725
21.12/21.29 c #Conflicts: 589000 | #Constraints: 28725
21.12/21.29 c #Conflicts: 590000 | #Constraints: 29725
21.12/21.29 c #Conflicts: 591000 | #Constraints: 30725
21.12/21.29 c INPROCESSING
21.12/21.29 c GARBAGE COLLECT
21.12/21.29 c rational objective 350.5
21.72/21.84 c #Conflicts: 592000 | #Constraints: 16523
21.72/21.84 c #Conflicts: 593000 | #Constraints: 17523
21.72/21.84 c #Conflicts: 594000 | #Constraints: 18523
21.72/21.84 c #Conflicts: 595000 | #Constraints: 19523
21.72/21.84 c #Conflicts: 596000 | #Constraints: 20523
21.72/21.84 c #Conflicts: 597000 | #Constraints: 21523
21.72/21.84 c #Conflicts: 598000 | #Constraints: 22523
21.72/21.84 c #Conflicts: 599000 | #Constraints: 23523
21.72/21.84 c #Conflicts: 600000 | #Constraints: 24523
21.72/21.84 c #Conflicts: 601000 | #Constraints: 25523
21.72/21.84 c #Conflicts: 602000 | #Constraints: 26523
21.72/21.84 c #Conflicts: 603000 | #Constraints: 27523
21.72/21.84 c #Conflicts: 604000 | #Constraints: 28523
21.72/21.84 c #Conflicts: 605000 | #Constraints: 29523
21.72/21.84 c #Conflicts: 606000 | #Constraints: 30523
21.72/21.84 c #Conflicts: 607000 | #Constraints: 31523
21.72/21.84 c INPROCESSING
21.72/21.84 c GARBAGE COLLECT
21.72/21.84 c rational objective 350.5
22.21/22.39 c #Conflicts: 608000 | #Constraints: 17123
22.21/22.39 c #Conflicts: 609000 | #Constraints: 18123
22.21/22.39 c #Conflicts: 610000 | #Constraints: 19123
22.21/22.39 c #Conflicts: 611000 | #Constraints: 20123
22.21/22.39 c #Conflicts: 612000 | #Constraints: 21123
22.21/22.39 c #Conflicts: 613000 | #Constraints: 22123
22.21/22.39 c #Conflicts: 614000 | #Constraints: 23123
22.21/22.39 c #Conflicts: 615000 | #Constraints: 24123
22.21/22.39 c #Conflicts: 616000 | #Constraints: 25123
22.21/22.39 c #Conflicts: 617000 | #Constraints: 26123
22.21/22.39 c #Conflicts: 618000 | #Constraints: 27123
22.21/22.39 c #Conflicts: 619000 | #Constraints: 28123
22.21/22.39 c #Conflicts: 620000 | #Constraints: 29123
22.21/22.39 c #Conflicts: 621000 | #Constraints: 30123
22.21/22.39 c #Conflicts: 622000 | #Constraints: 31123
22.21/22.39 c #Conflicts: 623000 | #Constraints: 32123
22.21/22.39 c INPROCESSING
22.21/22.39 c GARBAGE COLLECT
22.21/22.39 c rational objective 350.5
22.81/22.94 c #Conflicts: 624000 | #Constraints: 17520
22.81/22.94 c #Conflicts: 625000 | #Constraints: 18520
22.81/22.94 c #Conflicts: 626000 | #Constraints: 19520
22.81/22.94 c #Conflicts: 627000 | #Constraints: 20520
22.81/22.94 c #Conflicts: 628000 | #Constraints: 21520
22.81/22.94 c #Conflicts: 629000 | #Constraints: 22520
22.81/22.94 c #Conflicts: 630000 | #Constraints: 23520
22.81/22.94 c #Conflicts: 631000 | #Constraints: 24520
22.81/22.94 c #Conflicts: 632000 | #Constraints: 25520
22.81/22.94 c #Conflicts: 633000 | #Constraints: 26520
22.81/22.94 c #Conflicts: 634000 | #Constraints: 27520
22.81/22.94 c #Conflicts: 635000 | #Constraints: 28520
22.81/22.94 c #Conflicts: 636000 | #Constraints: 29520
22.81/22.94 c #Conflicts: 637000 | #Constraints: 30520
22.81/22.94 c #Conflicts: 638000 | #Constraints: 31520
22.81/22.94 c #Conflicts: 639000 | #Constraints: 32520
22.81/22.94 c INPROCESSING
22.81/22.94 c GARBAGE COLLECT
22.81/22.94 c rational objective 350.5
23.41/23.53 c #Conflicts: 640000 | #Constraints: 17719
23.41/23.53 c #Conflicts: 641000 | #Constraints: 18719
23.41/23.53 c #Conflicts: 642000 | #Constraints: 19719
23.41/23.53 c #Conflicts: 643000 | #Constraints: 20719
23.41/23.53 c #Conflicts: 644000 | #Constraints: 21719
23.41/23.53 c #Conflicts: 645000 | #Constraints: 22719
23.41/23.53 c #Conflicts: 646000 | #Constraints: 23719
23.41/23.53 c #Conflicts: 647000 | #Constraints: 24719
23.41/23.53 c #Conflicts: 648000 | #Constraints: 25719
23.41/23.53 c #Conflicts: 649000 | #Constraints: 26719
23.41/23.53 c #Conflicts: 650000 | #Constraints: 27719
23.41/23.53 c #Conflicts: 651000 | #Constraints: 28719
23.41/23.53 c #Conflicts: 652000 | #Constraints: 29719
23.41/23.53 c #Conflicts: 653000 | #Constraints: 30719
23.41/23.53 c #Conflicts: 654000 | #Constraints: 31719
23.41/23.53 c #Conflicts: 655000 | #Constraints: 32719
23.41/23.53 c INPROCESSING
23.41/23.53 c GARBAGE COLLECT
23.41/23.53 c rational objective 350.5
23.92/24.08 c #Conflicts: 656000 | #Constraints: 17720
23.92/24.08 c #Conflicts: 657000 | #Constraints: 18720
23.92/24.08 c #Conflicts: 658000 | #Constraints: 19720
23.92/24.08 c #Conflicts: 659000 | #Constraints: 20720
23.92/24.08 c #Conflicts: 660000 | #Constraints: 21720
23.92/24.08 c #Conflicts: 661000 | #Constraints: 22720
23.92/24.08 c #Conflicts: 662000 | #Constraints: 23720
23.92/24.08 c #Conflicts: 663000 | #Constraints: 24720
23.92/24.08 c #Conflicts: 664000 | #Constraints: 25720
23.92/24.08 c #Conflicts: 665000 | #Constraints: 26720
23.92/24.08 c #Conflicts: 666000 | #Constraints: 27720
23.92/24.08 c #Conflicts: 667000 | #Constraints: 28720
23.92/24.08 c #Conflicts: 668000 | #Constraints: 29720
23.92/24.08 c #Conflicts: 669000 | #Constraints: 30720
23.92/24.08 c #Conflicts: 670000 | #Constraints: 31720
23.92/24.08 c #Conflicts: 671000 | #Constraints: 32720
23.92/24.08 c INPROCESSING
23.92/24.08 c GARBAGE COLLECT
23.92/24.08 c rational objective 350.5
24.51/24.65 c #Conflicts: 672000 | #Constraints: 17526
24.51/24.65 c #Conflicts: 673000 | #Constraints: 18526
24.51/24.65 c #Conflicts: 674000 | #Constraints: 19526
24.51/24.65 c #Conflicts: 675000 | #Constraints: 20526
24.51/24.65 c #Conflicts: 676000 | #Constraints: 21526
24.51/24.65 c #Conflicts: 677000 | #Constraints: 22526
24.51/24.65 c #Conflicts: 678000 | #Constraints: 23526
24.51/24.65 c #Conflicts: 679000 | #Constraints: 24526
24.51/24.65 c #Conflicts: 680000 | #Constraints: 25526
24.51/24.65 c #Conflicts: 681000 | #Constraints: 26526
24.51/24.65 c #Conflicts: 682000 | #Constraints: 27526
24.51/24.65 c #Conflicts: 683000 | #Constraints: 28526
24.51/24.65 c #Conflicts: 684000 | #Constraints: 29526
24.51/24.65 c #Conflicts: 685000 | #Constraints: 30526
24.51/24.65 c #Conflicts: 686000 | #Constraints: 31526
24.51/24.65 c #Conflicts: 687000 | #Constraints: 32526
24.51/24.65 c #Conflicts: 688000 | #Constraints: 33526
24.51/24.65 c INPROCESSING
24.51/24.65 c GARBAGE COLLECT
24.51/24.65 c rational objective 350.5
25.11/25.27 c #Conflicts: 689000 | #Constraints: 18126
25.11/25.27 c #Conflicts: 690000 | #Constraints: 19126
25.11/25.27 c #Conflicts: 691000 | #Constraints: 20126
25.11/25.27 c #Conflicts: 692000 | #Constraints: 21126
25.11/25.27 c #Conflicts: 693000 | #Constraints: 22126
25.11/25.27 c #Conflicts: 694000 | #Constraints: 23126
25.11/25.27 c #Conflicts: 695000 | #Constraints: 24126
25.11/25.27 c #Conflicts: 696000 | #Constraints: 25126
25.11/25.27 c #Conflicts: 697000 | #Constraints: 26126
25.11/25.27 c #Conflicts: 698000 | #Constraints: 27126
25.11/25.27 c #Conflicts: 699000 | #Constraints: 28126
25.11/25.27 c #Conflicts: 700000 | #Constraints: 29126
25.11/25.27 c #Conflicts: 701000 | #Constraints: 30126
25.11/25.27 c #Conflicts: 702000 | #Constraints: 31126
25.11/25.27 c #Conflicts: 703000 | #Constraints: 32126
25.11/25.27 c #Conflicts: 704000 | #Constraints: 33126
25.11/25.27 c #Conflicts: 705000 | #Constraints: 34126
25.11/25.27 c INPROCESSING
25.11/25.27 c GARBAGE COLLECT
25.11/25.27 c rational objective 350.5
25.81/25.94 c #Conflicts: 706000 | #Constraints: 18521
25.81/25.94 c #Conflicts: 707000 | #Constraints: 19521
25.81/25.94 c #Conflicts: 708000 | #Constraints: 20521
25.81/25.94 c #Conflicts: 709000 | #Constraints: 21521
25.81/25.94 c #Conflicts: 710000 | #Constraints: 22521
25.81/25.94 c #Conflicts: 711000 | #Constraints: 23521
25.81/25.94 c #Conflicts: 712000 | #Constraints: 24521
25.81/25.94 c #Conflicts: 713000 | #Constraints: 25521
25.81/25.94 c #Conflicts: 714000 | #Constraints: 26521
25.81/25.94 c #Conflicts: 715000 | #Constraints: 27521
25.81/25.94 c #Conflicts: 716000 | #Constraints: 28521
25.81/25.94 c #Conflicts: 717000 | #Constraints: 29521
25.81/25.94 c #Conflicts: 718000 | #Constraints: 30521
25.81/25.94 c #Conflicts: 719000 | #Constraints: 31521
25.81/25.94 c #Conflicts: 720000 | #Constraints: 32521
25.81/25.94 c #Conflicts: 721000 | #Constraints: 33521
25.81/25.94 c #Conflicts: 722000 | #Constraints: 34521
25.81/25.94 c INPROCESSING
25.81/25.94 c GARBAGE COLLECT
25.81/25.94 c rational objective 350.5
26.51/26.60 c #Conflicts: 723000 | #Constraints: 18725
26.51/26.60 c #Conflicts: 724000 | #Constraints: 19725
26.51/26.60 c #Conflicts: 725000 | #Constraints: 20725
26.51/26.60 c #Conflicts: 726000 | #Constraints: 21725
26.51/26.60 c #Conflicts: 727000 | #Constraints: 22725
26.51/26.60 c #Conflicts: 728000 | #Constraints: 23725
26.51/26.60 c #Conflicts: 729000 | #Constraints: 24725
26.51/26.60 c #Conflicts: 730000 | #Constraints: 25725
26.51/26.60 c #Conflicts: 731000 | #Constraints: 26725
26.51/26.60 c #Conflicts: 732000 | #Constraints: 27725
26.51/26.60 c #Conflicts: 733000 | #Constraints: 28725
26.51/26.60 c #Conflicts: 734000 | #Constraints: 29725
26.51/26.60 c #Conflicts: 735000 | #Constraints: 30725
26.51/26.60 c #Conflicts: 736000 | #Constraints: 31725
26.51/26.60 c #Conflicts: 737000 | #Constraints: 32725
26.51/26.60 c #Conflicts: 738000 | #Constraints: 33725
26.51/26.60 c #Conflicts: 739000 | #Constraints: 34725
26.51/26.60 c INPROCESSING
26.51/26.60 c GARBAGE COLLECT
26.51/26.60 c rational objective 350.5
27.10/27.23 c #Conflicts: 740000 | #Constraints: 18731
27.10/27.23 c #Conflicts: 741000 | #Constraints: 19731
27.10/27.23 c #Conflicts: 742000 | #Constraints: 20731
27.10/27.23 c #Conflicts: 743000 | #Constraints: 21731
27.10/27.23 c #Conflicts: 744000 | #Constraints: 22731
27.10/27.23 c #Conflicts: 745000 | #Constraints: 23731
27.10/27.23 c #Conflicts: 746000 | #Constraints: 24731
27.10/27.23 c #Conflicts: 747000 | #Constraints: 25731
27.10/27.23 c #Conflicts: 748000 | #Constraints: 26731
27.10/27.23 c #Conflicts: 749000 | #Constraints: 27731
27.10/27.23 c #Conflicts: 750000 | #Constraints: 28731
27.10/27.23 c #Conflicts: 751000 | #Constraints: 29731
27.10/27.23 c #Conflicts: 752000 | #Constraints: 30731
27.10/27.23 c #Conflicts: 753000 | #Constraints: 31731
27.10/27.23 c #Conflicts: 754000 | #Constraints: 32731
27.10/27.23 c #Conflicts: 755000 | #Constraints: 33731
27.10/27.23 c #Conflicts: 756000 | #Constraints: 34731
27.10/27.23 c INPROCESSING
27.10/27.23 c GARBAGE COLLECT
27.10/27.23 c rational objective 350.5
27.70/27.85 c #Conflicts: 757000 | #Constraints: 18528
27.70/27.85 c #Conflicts: 758000 | #Constraints: 19528
27.70/27.85 c #Conflicts: 759000 | #Constraints: 20528
27.70/27.85 c #Conflicts: 760000 | #Constraints: 21528
27.70/27.85 c #Conflicts: 761000 | #Constraints: 22528
27.70/27.85 c #Conflicts: 762000 | #Constraints: 23528
27.70/27.85 c #Conflicts: 763000 | #Constraints: 24528
27.70/27.85 c #Conflicts: 764000 | #Constraints: 25528
27.70/27.85 c #Conflicts: 765000 | #Constraints: 26528
27.70/27.85 c #Conflicts: 766000 | #Constraints: 27528
27.70/27.85 c #Conflicts: 767000 | #Constraints: 28528
27.70/27.85 c #Conflicts: 768000 | #Constraints: 29528
27.70/27.85 c #Conflicts: 769000 | #Constraints: 30528
27.70/27.85 c #Conflicts: 770000 | #Constraints: 31528
27.70/27.85 c #Conflicts: 771000 | #Constraints: 32528
27.70/27.85 c #Conflicts: 772000 | #Constraints: 33528
27.70/27.85 c #Conflicts: 773000 | #Constraints: 34528
27.70/27.85 c #Conflicts: 774000 | #Constraints: 35528
27.70/27.85 c INPROCESSING
27.70/27.85 c GARBAGE COLLECT
27.70/27.85 c rational objective 350.5
28.40/28.51 c #Conflicts: 775000 | #Constraints: 19122
28.40/28.51 c #Conflicts: 776000 | #Constraints: 20122
28.40/28.51 c #Conflicts: 777000 | #Constraints: 21122
28.40/28.51 c #Conflicts: 778000 | #Constraints: 22122
28.40/28.51 c #Conflicts: 779000 | #Constraints: 23122
28.40/28.51 c #Conflicts: 780000 | #Constraints: 24122
28.40/28.51 c #Conflicts: 781000 | #Constraints: 25122
28.40/28.51 c #Conflicts: 782000 | #Constraints: 26122
28.40/28.51 c #Conflicts: 783000 | #Constraints: 27122
28.40/28.51 c #Conflicts: 784000 | #Constraints: 28122
28.40/28.51 c #Conflicts: 785000 | #Constraints: 29122
28.40/28.51 c #Conflicts: 786000 | #Constraints: 30122
28.40/28.51 c #Conflicts: 787000 | #Constraints: 31122
28.40/28.51 c #Conflicts: 788000 | #Constraints: 32122
28.40/28.51 c #Conflicts: 789000 | #Constraints: 33122
28.40/28.51 c #Conflicts: 790000 | #Constraints: 34122
28.40/28.51 c #Conflicts: 791000 | #Constraints: 35122
28.40/28.51 c #Conflicts: 792000 | #Constraints: 36122
28.40/28.51 c INPROCESSING
28.40/28.51 c GARBAGE COLLECT
28.40/28.51 c rational objective 350.5
29.01/29.15 c #Conflicts: 793000 | #Constraints: 19532
29.01/29.15 c #Conflicts: 794000 | #Constraints: 20532
29.01/29.15 c #Conflicts: 795000 | #Constraints: 21532
29.01/29.15 c #Conflicts: 796000 | #Constraints: 22532
29.01/29.15 c #Conflicts: 797000 | #Constraints: 23532
29.01/29.15 c #Conflicts: 798000 | #Constraints: 24532
29.01/29.15 c #Conflicts: 799000 | #Constraints: 25532
29.01/29.15 c #Conflicts: 800000 | #Constraints: 26532
29.01/29.15 c #Conflicts: 801000 | #Constraints: 27532
29.01/29.15 c #Conflicts: 802000 | #Constraints: 28532
29.01/29.15 c #Conflicts: 803000 | #Constraints: 29532
29.01/29.15 c #Conflicts: 804000 | #Constraints: 30532
29.01/29.15 c #Conflicts: 805000 | #Constraints: 31532
29.01/29.15 c #Conflicts: 806000 | #Constraints: 32532
29.01/29.15 c #Conflicts: 807000 | #Constraints: 33532
29.01/29.15 c #Conflicts: 808000 | #Constraints: 34532
29.01/29.15 c #Conflicts: 809000 | #Constraints: 35532
29.01/29.15 c #Conflicts: 810000 | #Constraints: 36532
29.01/29.15 c INPROCESSING
29.01/29.15 c GARBAGE COLLECT
29.01/29.15 c rational objective 350.5
29.70/29.81 c #Conflicts: 811000 | #Constraints: 19732
29.70/29.81 c #Conflicts: 812000 | #Constraints: 20732
29.70/29.81 c #Conflicts: 813000 | #Constraints: 21732
29.70/29.81 c #Conflicts: 814000 | #Constraints: 22732
29.70/29.81 c #Conflicts: 815000 | #Constraints: 23732
29.70/29.81 c #Conflicts: 816000 | #Constraints: 24732
29.70/29.81 c #Conflicts: 817000 | #Constraints: 25732
29.70/29.81 c #Conflicts: 818000 | #Constraints: 26732
29.70/29.81 c #Conflicts: 819000 | #Constraints: 27732
29.70/29.81 c #Conflicts: 820000 | #Constraints: 28732
29.70/29.81 c #Conflicts: 821000 | #Constraints: 29732
29.70/29.81 c #Conflicts: 822000 | #Constraints: 30732
29.70/29.81 c #Conflicts: 823000 | #Constraints: 31732
29.70/29.81 c #Conflicts: 824000 | #Constraints: 32732
29.70/29.81 c #Conflicts: 825000 | #Constraints: 33732
29.70/29.81 c #Conflicts: 826000 | #Constraints: 34732
29.70/29.81 c #Conflicts: 827000 | #Constraints: 35732
29.70/29.81 c #Conflicts: 828000 | #Constraints: 36732
29.70/29.81 c INPROCESSING
29.70/29.81 c GARBAGE COLLECT
29.70/29.81 c rational objective 350.5
30.50/30.60 c #Conflicts: 829000 | #Constraints: 19731
30.50/30.60 c #Conflicts: 830000 | #Constraints: 20731
30.50/30.60 c #Conflicts: 831000 | #Constraints: 21731
30.50/30.60 c #Conflicts: 832000 | #Constraints: 22731
30.50/30.60 c #Conflicts: 833000 | #Constraints: 23731
30.50/30.60 c #Conflicts: 834000 | #Constraints: 24731
30.50/30.60 c #Conflicts: 835000 | #Constraints: 25731
30.50/30.60 c #Conflicts: 836000 | #Constraints: 26731
30.50/30.60 c #Conflicts: 837000 | #Constraints: 27731
30.50/30.60 c #Conflicts: 838000 | #Constraints: 28731
30.50/30.60 c #Conflicts: 839000 | #Constraints: 29731
30.50/30.60 c #Conflicts: 840000 | #Constraints: 30731
30.50/30.60 c #Conflicts: 841000 | #Constraints: 31731
30.50/30.60 c #Conflicts: 842000 | #Constraints: 32731
30.50/30.60 c #Conflicts: 843000 | #Constraints: 33731
30.50/30.60 c #Conflicts: 844000 | #Constraints: 34731
30.50/30.60 c #Conflicts: 845000 | #Constraints: 35731
30.50/30.60 c #Conflicts: 846000 | #Constraints: 36731
30.50/30.60 c INPROCESSING
30.50/30.60 c GARBAGE COLLECT
30.50/30.60 c rational objective 350.5
31.09/31.27 c #Conflicts: 847000 | #Constraints: 19532
31.09/31.27 c #Conflicts: 848000 | #Constraints: 20532
31.09/31.27 c #Conflicts: 849000 | #Constraints: 21532
31.09/31.27 c #Conflicts: 850000 | #Constraints: 22532
31.09/31.27 c #Conflicts: 851000 | #Constraints: 23532
31.09/31.27 c #Conflicts: 852000 | #Constraints: 24532
31.09/31.27 c #Conflicts: 853000 | #Constraints: 25532
31.09/31.27 c #Conflicts: 854000 | #Constraints: 26532
31.09/31.27 c #Conflicts: 855000 | #Constraints: 27532
31.09/31.27 c #Conflicts: 856000 | #Constraints: 28532
31.09/31.27 c #Conflicts: 857000 | #Constraints: 29532
31.09/31.27 c #Conflicts: 858000 | #Constraints: 30532
31.09/31.27 c #Conflicts: 859000 | #Constraints: 31532
31.09/31.27 c #Conflicts: 860000 | #Constraints: 32532
31.09/31.27 c #Conflicts: 861000 | #Constraints: 33532
31.09/31.27 c #Conflicts: 862000 | #Constraints: 34532
31.09/31.27 c #Conflicts: 863000 | #Constraints: 35532
31.09/31.27 c #Conflicts: 864000 | #Constraints: 36532
31.09/31.27 c #Conflicts: 865000 | #Constraints: 37532
31.09/31.27 c INPROCESSING
31.09/31.27 c GARBAGE COLLECT
31.09/31.27 c rational objective 350.5
31.80/31.93 c #Conflicts: 866000 | #Constraints: 20131
31.80/31.93 c #Conflicts: 867000 | #Constraints: 21131
31.80/31.93 c #Conflicts: 868000 | #Constraints: 22131
31.80/31.93 c #Conflicts: 869000 | #Constraints: 23131
31.80/31.93 c #Conflicts: 870000 | #Constraints: 24131
31.80/31.93 c #Conflicts: 871000 | #Constraints: 25131
31.80/31.93 c #Conflicts: 872000 | #Constraints: 26131
31.80/31.93 c #Conflicts: 873000 | #Constraints: 27131
31.80/31.93 c #Conflicts: 874000 | #Constraints: 28131
31.80/31.93 c #Conflicts: 875000 | #Constraints: 29131
31.80/31.93 c #Conflicts: 876000 | #Constraints: 30131
31.80/31.93 c #Conflicts: 877000 | #Constraints: 31131
31.80/31.93 c #Conflicts: 878000 | #Constraints: 32131
31.80/31.93 c #Conflicts: 879000 | #Constraints: 33131
31.80/31.93 c #Conflicts: 880000 | #Constraints: 34131
31.80/31.93 c #Conflicts: 881000 | #Constraints: 35131
31.80/31.93 c #Conflicts: 882000 | #Constraints: 36131
31.80/31.93 c #Conflicts: 883000 | #Constraints: 37131
31.80/31.93 c #Conflicts: 884000 | #Constraints: 38131
31.80/31.93 c INPROCESSING
31.80/31.93 c GARBAGE COLLECT
31.80/31.93 c rational objective 350.5
32.50/32.68 c #Conflicts: 885000 | #Constraints: 20539
32.50/32.68 c #Conflicts: 886000 | #Constraints: 21539
32.50/32.68 c #Conflicts: 887000 | #Constraints: 22539
32.50/32.68 c #Conflicts: 888000 | #Constraints: 23539
32.50/32.68 c #Conflicts: 889000 | #Constraints: 24539
32.50/32.68 c #Conflicts: 890000 | #Constraints: 25539
32.50/32.68 c #Conflicts: 891000 | #Constraints: 26539
32.50/32.68 c #Conflicts: 892000 | #Constraints: 27539
32.50/32.68 c #Conflicts: 893000 | #Constraints: 28539
32.50/32.68 c #Conflicts: 894000 | #Constraints: 29539
32.50/32.68 c #Conflicts: 895000 | #Constraints: 30539
32.50/32.68 c #Conflicts: 896000 | #Constraints: 31539
32.50/32.68 c #Conflicts: 897000 | #Constraints: 32539
32.50/32.68 c #Conflicts: 898000 | #Constraints: 33539
32.50/32.68 c #Conflicts: 899000 | #Constraints: 34539
32.50/32.68 c #Conflicts: 900000 | #Constraints: 35539
32.50/32.68 c #Conflicts: 901000 | #Constraints: 36539
32.50/32.68 c #Conflicts: 902000 | #Constraints: 37539
32.50/32.68 c #Conflicts: 903000 | #Constraints: 38539
32.50/32.68 c INPROCESSING
32.50/32.68 c GARBAGE COLLECT
32.50/32.68 c rational objective 350.5
33.19/33.37 c #Conflicts: 904000 | #Constraints: 20737
33.19/33.37 c #Conflicts: 905000 | #Constraints: 21737
33.19/33.37 c #Conflicts: 906000 | #Constraints: 22737
33.19/33.37 c #Conflicts: 907000 | #Constraints: 23737
33.19/33.37 c #Conflicts: 908000 | #Constraints: 24737
33.19/33.37 c #Conflicts: 909000 | #Constraints: 25737
33.19/33.37 c #Conflicts: 910000 | #Constraints: 26737
33.19/33.37 c #Conflicts: 911000 | #Constraints: 27737
33.19/33.37 c #Conflicts: 912000 | #Constraints: 28737
33.19/33.37 c #Conflicts: 913000 | #Constraints: 29737
33.19/33.37 c #Conflicts: 914000 | #Constraints: 30737
33.19/33.37 c #Conflicts: 915000 | #Constraints: 31737
33.19/33.37 c #Conflicts: 916000 | #Constraints: 32737
33.19/33.37 c #Conflicts: 917000 | #Constraints: 33737
33.19/33.37 c #Conflicts: 918000 | #Constraints: 34737
33.19/33.37 c #Conflicts: 919000 | #Constraints: 35737
33.19/33.37 c #Conflicts: 920000 | #Constraints: 36737
33.19/33.37 c #Conflicts: 921000 | #Constraints: 37737
33.19/33.37 c #Conflicts: 922000 | #Constraints: 38737
33.19/33.37 c INPROCESSING
33.19/33.37 c GARBAGE COLLECT
33.19/33.37 c rational objective 350.5
34.00/34.11 c #Conflicts: 923000 | #Constraints: 20733
34.00/34.11 c #Conflicts: 924000 | #Constraints: 21733
34.00/34.11 c #Conflicts: 925000 | #Constraints: 22733
34.00/34.11 c #Conflicts: 926000 | #Constraints: 23733
34.00/34.11 c #Conflicts: 927000 | #Constraints: 24733
34.00/34.11 c #Conflicts: 928000 | #Constraints: 25733
34.00/34.11 c #Conflicts: 929000 | #Constraints: 26733
34.00/34.11 c #Conflicts: 930000 | #Constraints: 27733
34.00/34.11 c #Conflicts: 931000 | #Constraints: 28733
34.00/34.11 c #Conflicts: 932000 | #Constraints: 29733
34.00/34.11 c #Conflicts: 933000 | #Constraints: 30733
34.00/34.11 c #Conflicts: 934000 | #Constraints: 31733
34.00/34.11 c #Conflicts: 935000 | #Constraints: 32733
34.00/34.11 c #Conflicts: 936000 | #Constraints: 33733
34.00/34.11 c #Conflicts: 937000 | #Constraints: 34733
34.00/34.11 c #Conflicts: 938000 | #Constraints: 35733
34.00/34.11 c #Conflicts: 939000 | #Constraints: 36733
34.00/34.11 c #Conflicts: 940000 | #Constraints: 37733
34.00/34.11 c #Conflicts: 941000 | #Constraints: 38733
34.00/34.11 c INPROCESSING
34.00/34.11 c GARBAGE COLLECT
34.00/34.11 c rational objective 350.5
34.79/34.90 c #Conflicts: 942000 | #Constraints: 20532
34.79/34.90 c #Conflicts: 943000 | #Constraints: 21532
34.79/34.90 c #Conflicts: 944000 | #Constraints: 22532
34.79/34.90 c #Conflicts: 945000 | #Constraints: 23532
34.79/34.90 c #Conflicts: 946000 | #Constraints: 24532
34.79/34.90 c #Conflicts: 947000 | #Constraints: 25532
34.79/34.90 c #Conflicts: 948000 | #Constraints: 26532
34.79/34.90 c #Conflicts: 949000 | #Constraints: 27532
34.79/34.90 c #Conflicts: 950000 | #Constraints: 28532
34.79/34.90 c #Conflicts: 951000 | #Constraints: 29532
34.79/34.90 c #Conflicts: 952000 | #Constraints: 30532
34.79/34.90 c #Conflicts: 953000 | #Constraints: 31532
34.79/34.90 c #Conflicts: 954000 | #Constraints: 32532
34.79/34.90 c #Conflicts: 955000 | #Constraints: 33532
34.79/34.90 c #Conflicts: 956000 | #Constraints: 34532
34.79/34.90 c #Conflicts: 957000 | #Constraints: 35532
34.79/34.90 c #Conflicts: 958000 | #Constraints: 36532
34.79/34.90 c #Conflicts: 959000 | #Constraints: 37532
34.79/34.90 c #Conflicts: 960000 | #Constraints: 38532
34.79/34.90 c #Conflicts: 961000 | #Constraints: 39532
34.79/34.90 c INPROCESSING
34.79/34.90 c GARBAGE COLLECT
34.79/34.90 c rational objective 350.5
35.59/35.75 c #Conflicts: 962000 | #Constraints: 21136
35.59/35.75 c #Conflicts: 963000 | #Constraints: 22136
35.59/35.75 c #Conflicts: 964000 | #Constraints: 23136
35.59/35.75 c #Conflicts: 965000 | #Constraints: 24136
35.59/35.75 c #Conflicts: 966000 | #Constraints: 25136
35.59/35.75 c #Conflicts: 967000 | #Constraints: 26136
35.59/35.75 c #Conflicts: 968000 | #Constraints: 27136
35.59/35.75 c #Conflicts: 969000 | #Constraints: 28136
35.59/35.75 c #Conflicts: 970000 | #Constraints: 29136
35.59/35.75 c #Conflicts: 971000 | #Constraints: 30136
35.59/35.75 c #Conflicts: 972000 | #Constraints: 31136
35.59/35.75 c #Conflicts: 973000 | #Constraints: 32136
35.59/35.75 c #Conflicts: 974000 | #Constraints: 33136
35.59/35.75 c #Conflicts: 975000 | #Constraints: 34136
35.59/35.75 c #Conflicts: 976000 | #Constraints: 35136
35.59/35.75 c #Conflicts: 977000 | #Constraints: 36136
35.59/35.75 c #Conflicts: 978000 | #Constraints: 37136
35.59/35.75 c #Conflicts: 979000 | #Constraints: 38136
35.59/35.75 c #Conflicts: 980000 | #Constraints: 39136
35.59/35.75 c #Conflicts: 981000 | #Constraints: 40136
35.59/35.75 c INPROCESSING
35.59/35.75 c GARBAGE COLLECT
35.59/35.75 c rational objective 350.5
36.38/36.59 c #Conflicts: 982000 | #Constraints: 21538
36.38/36.59 c #Conflicts: 983000 | #Constraints: 22538
36.38/36.59 c #Conflicts: 984000 | #Constraints: 23538
36.38/36.59 c #Conflicts: 985000 | #Constraints: 24538
36.38/36.59 c #Conflicts: 986000 | #Constraints: 25538
36.38/36.59 c #Conflicts: 987000 | #Constraints: 26538
36.38/36.59 c #Conflicts: 988000 | #Constraints: 27538
36.38/36.59 c #Conflicts: 989000 | #Constraints: 28538
36.38/36.59 c #Conflicts: 990000 | #Constraints: 29538
36.38/36.59 c #Conflicts: 991000 | #Constraints: 30538
36.38/36.59 c #Conflicts: 992000 | #Constraints: 31538
36.38/36.59 c #Conflicts: 993000 | #Constraints: 32538
36.38/36.59 c #Conflicts: 994000 | #Constraints: 33538
36.38/36.59 c #Conflicts: 995000 | #Constraints: 34538
36.38/36.59 c #Conflicts: 996000 | #Constraints: 35538
36.38/36.59 c #Conflicts: 997000 | #Constraints: 36538
36.38/36.59 c #Conflicts: 998000 | #Constraints: 37538
36.38/36.59 c #Conflicts: 999000 | #Constraints: 38538
36.38/36.59 c #Conflicts: 1000000 | #Constraints: 39538
36.38/36.59 c #Conflicts: 1001000 | #Constraints: 40538
36.38/36.59 c INPROCESSING
36.38/36.59 c GARBAGE COLLECT
36.38/36.59 c rational objective 350.5
37.28/37.40 c #Conflicts: 1002000 | #Constraints: 21740
37.28/37.40 c #Conflicts: 1003000 | #Constraints: 22740
37.28/37.40 c #Conflicts: 1004000 | #Constraints: 23740
37.28/37.40 c #Conflicts: 1005000 | #Constraints: 24740
37.28/37.40 c #Conflicts: 1006000 | #Constraints: 25740
37.28/37.40 c #Conflicts: 1007000 | #Constraints: 26740
37.28/37.40 c #Conflicts: 1008000 | #Constraints: 27740
37.28/37.40 c #Conflicts: 1009000 | #Constraints: 28740
37.28/37.40 c #Conflicts: 1010000 | #Constraints: 29740
37.28/37.40 c #Conflicts: 1011000 | #Constraints: 30740
37.28/37.40 c #Conflicts: 1012000 | #Constraints: 31740
37.28/37.40 c #Conflicts: 1013000 | #Constraints: 32740
37.28/37.40 c #Conflicts: 1014000 | #Constraints: 33740
37.28/37.40 c #Conflicts: 1015000 | #Constraints: 34740
37.28/37.40 c #Conflicts: 1016000 | #Constraints: 35740
37.28/37.40 c #Conflicts: 1017000 | #Constraints: 36740
37.28/37.40 c #Conflicts: 1018000 | #Constraints: 37740
37.28/37.40 c #Conflicts: 1019000 | #Constraints: 38740
37.28/37.40 c #Conflicts: 1020000 | #Constraints: 39740
37.28/37.40 c #Conflicts: 1021000 | #Constraints: 40740
37.28/37.40 c INPROCESSING
37.28/37.40 c GARBAGE COLLECT
37.28/37.40 c rational objective 350.5
38.08/38.24 c #Conflicts: 1022000 | #Constraints: 21734
38.08/38.24 c #Conflicts: 1023000 | #Constraints: 22734
38.08/38.24 c #Conflicts: 1024000 | #Constraints: 23734
38.08/38.24 c #Conflicts: 1025000 | #Constraints: 24734
38.08/38.24 c #Conflicts: 1026000 | #Constraints: 25734
38.08/38.24 c #Conflicts: 1027000 | #Constraints: 26734
38.08/38.24 c #Conflicts: 1028000 | #Constraints: 27734
38.08/38.24 c #Conflicts: 1029000 | #Constraints: 28734
38.08/38.24 c #Conflicts: 1030000 | #Constraints: 29734
38.08/38.24 c #Conflicts: 1031000 | #Constraints: 30734
38.08/38.24 c #Conflicts: 1032000 | #Constraints: 31734
38.08/38.24 c #Conflicts: 1033000 | #Constraints: 32734
38.08/38.24 c #Conflicts: 1034000 | #Constraints: 33734
38.08/38.24 c #Conflicts: 1035000 | #Constraints: 34734
38.08/38.24 c #Conflicts: 1036000 | #Constraints: 35734
38.08/38.24 c #Conflicts: 1037000 | #Constraints: 36734
38.08/38.24 c #Conflicts: 1038000 | #Constraints: 37734
38.08/38.24 c #Conflicts: 1039000 | #Constraints: 38734
38.08/38.24 c #Conflicts: 1040000 | #Constraints: 39734
38.08/38.24 c #Conflicts: 1041000 | #Constraints: 40734
38.08/38.24 c INPROCESSING
38.08/38.24 c GARBAGE COLLECT
38.08/38.24 c rational objective 350.5
39.08/39.27 c #Conflicts: 1042000 | #Constraints: 21540
39.08/39.27 c #Conflicts: 1043000 | #Constraints: 22540
39.08/39.27 c #Conflicts: 1044000 | #Constraints: 23540
39.08/39.27 c #Conflicts: 1045000 | #Constraints: 24540
39.08/39.27 c #Conflicts: 1046000 | #Constraints: 25540
39.08/39.27 c #Conflicts: 1047000 | #Constraints: 26540
39.08/39.27 c #Conflicts: 1048000 | #Constraints: 27540
39.08/39.27 c #Conflicts: 1049000 | #Constraints: 28540
39.08/39.27 c #Conflicts: 1050000 | #Constraints: 29540
39.08/39.27 c #Conflicts: 1051000 | #Constraints: 30540
39.08/39.27 c #Conflicts: 1052000 | #Constraints: 31540
39.08/39.27 c #Conflicts: 1053000 | #Constraints: 32540
39.08/39.27 c #Conflicts: 1054000 | #Constraints: 33540
39.08/39.27 c #Conflicts: 1055000 | #Constraints: 34540
39.08/39.27 c #Conflicts: 1056000 | #Constraints: 35540
39.08/39.27 c #Conflicts: 1057000 | #Constraints: 36540
39.08/39.27 c #Conflicts: 1058000 | #Constraints: 37540
39.08/39.27 c #Conflicts: 1059000 | #Constraints: 38540
39.08/39.27 c #Conflicts: 1060000 | #Constraints: 39540
39.08/39.27 c #Conflicts: 1061000 | #Constraints: 40540
39.08/39.27 c #Conflicts: 1062000 | #Constraints: 41540
39.08/39.27 c INPROCESSING
39.08/39.27 c GARBAGE COLLECT
39.08/39.27 c rational objective 350.5
39.88/40.07 c #Conflicts: 1063000 | #Constraints: 22144
39.88/40.07 c #Conflicts: 1064000 | #Constraints: 23144
39.88/40.07 c #Conflicts: 1065000 | #Constraints: 24144
39.88/40.07 c #Conflicts: 1066000 | #Constraints: 25144
39.88/40.07 c #Conflicts: 1067000 | #Constraints: 26144
39.88/40.07 c #Conflicts: 1068000 | #Constraints: 27144
39.88/40.07 c #Conflicts: 1069000 | #Constraints: 28144
39.88/40.07 c #Conflicts: 1070000 | #Constraints: 29144
39.88/40.07 c #Conflicts: 1071000 | #Constraints: 30144
39.88/40.07 c #Conflicts: 1072000 | #Constraints: 31144
39.88/40.07 c #Conflicts: 1073000 | #Constraints: 32144
39.88/40.07 c #Conflicts: 1074000 | #Constraints: 33144
39.88/40.07 c #Conflicts: 1075000 | #Constraints: 34144
39.88/40.07 c #Conflicts: 1076000 | #Constraints: 35144
39.88/40.07 c #Conflicts: 1077000 | #Constraints: 36144
39.88/40.07 c #Conflicts: 1078000 | #Constraints: 37144
39.88/40.07 c #Conflicts: 1079000 | #Constraints: 38144
39.88/40.07 c #Conflicts: 1080000 | #Constraints: 39144
39.88/40.07 c #Conflicts: 1081000 | #Constraints: 40144
39.88/40.07 c #Conflicts: 1082000 | #Constraints: 41144
39.88/40.07 c #Conflicts: 1083000 | #Constraints: 42144
39.88/40.07 c INPROCESSING
39.88/40.07 c GARBAGE COLLECT
39.88/40.07 c rational objective 350.5
40.78/40.97 c #Conflicts: 1084000 | #Constraints: 22545
40.78/40.97 c #Conflicts: 1085000 | #Constraints: 23545
40.78/40.97 c #Conflicts: 1086000 | #Constraints: 24545
40.78/40.97 c #Conflicts: 1087000 | #Constraints: 25545
40.78/40.97 c #Conflicts: 1088000 | #Constraints: 26545
40.78/40.97 c #Conflicts: 1089000 | #Constraints: 27545
40.78/40.97 c #Conflicts: 1090000 | #Constraints: 28545
40.78/40.97 c #Conflicts: 1091000 | #Constraints: 29545
40.78/40.97 c #Conflicts: 1092000 | #Constraints: 30545
40.78/40.97 c #Conflicts: 1093000 | #Constraints: 31545
40.78/40.97 c #Conflicts: 1094000 | #Constraints: 32545
40.78/40.97 c #Conflicts: 1095000 | #Constraints: 33545
40.78/40.97 c #Conflicts: 1096000 | #Constraints: 34545
40.78/40.97 c #Conflicts: 1097000 | #Constraints: 35545
40.78/40.97 c #Conflicts: 1098000 | #Constraints: 36545
40.78/40.97 c #Conflicts: 1099000 | #Constraints: 37545
40.78/40.97 c #Conflicts: 1100000 | #Constraints: 38545
40.78/40.97 c #Conflicts: 1101000 | #Constraints: 39545
40.78/40.97 c #Conflicts: 1102000 | #Constraints: 40545
40.78/40.97 c #Conflicts: 1103000 | #Constraints: 41545
40.78/40.97 c #Conflicts: 1104000 | #Constraints: 42545
40.78/40.97 c INPROCESSING
40.78/40.97 c GARBAGE COLLECT
40.78/40.97 c rational objective 350.5
41.78/41.92 c #Conflicts: 1105000 | #Constraints: 22745
41.78/41.92 c #Conflicts: 1106000 | #Constraints: 23745
41.78/41.92 c #Conflicts: 1107000 | #Constraints: 24745
41.78/41.92 c #Conflicts: 1108000 | #Constraints: 25745
41.78/41.92 c #Conflicts: 1109000 | #Constraints: 26745
41.78/41.92 c #Conflicts: 1110000 | #Constraints: 27745
41.78/41.92 c #Conflicts: 1111000 | #Constraints: 28745
41.78/41.92 c #Conflicts: 1112000 | #Constraints: 29745
41.78/41.92 c #Conflicts: 1113000 | #Constraints: 30745
41.78/41.92 c #Conflicts: 1114000 | #Constraints: 31745
41.78/41.92 c #Conflicts: 1115000 | #Constraints: 32745
41.78/41.92 c #Conflicts: 1116000 | #Constraints: 33745
41.78/41.92 c #Conflicts: 1117000 | #Constraints: 34745
41.78/41.92 c #Conflicts: 1118000 | #Constraints: 35745
41.78/41.92 c #Conflicts: 1119000 | #Constraints: 36745
41.78/41.92 c #Conflicts: 1120000 | #Constraints: 37745
41.78/41.92 c #Conflicts: 1121000 | #Constraints: 38745
41.78/41.92 c #Conflicts: 1122000 | #Constraints: 39745
41.78/41.92 c #Conflicts: 1123000 | #Constraints: 40745
41.78/41.92 c #Conflicts: 1124000 | #Constraints: 41745
41.78/41.92 c #Conflicts: 1125000 | #Constraints: 42745
41.78/41.92 c INPROCESSING
41.78/41.92 c GARBAGE COLLECT
41.78/41.92 c rational objective 350.5
42.57/42.73 c #Conflicts: 1126000 | #Constraints: 22745
42.57/42.73 c #Conflicts: 1127000 | #Constraints: 23745
42.57/42.73 c #Conflicts: 1128000 | #Constraints: 24745
42.57/42.73 c #Conflicts: 1129000 | #Constraints: 25745
42.57/42.73 c #Conflicts: 1130000 | #Constraints: 26745
42.57/42.73 c #Conflicts: 1131000 | #Constraints: 27745
42.57/42.73 c #Conflicts: 1132000 | #Constraints: 28745
42.57/42.73 c #Conflicts: 1133000 | #Constraints: 29745
42.57/42.73 c #Conflicts: 1134000 | #Constraints: 30745
42.57/42.73 c #Conflicts: 1135000 | #Constraints: 31745
42.57/42.73 c #Conflicts: 1136000 | #Constraints: 32745
42.57/42.73 c #Conflicts: 1137000 | #Constraints: 33745
42.57/42.73 c #Conflicts: 1138000 | #Constraints: 34745
42.57/42.73 c #Conflicts: 1139000 | #Constraints: 35745
42.57/42.73 c #Conflicts: 1140000 | #Constraints: 36745
42.57/42.73 c #Conflicts: 1141000 | #Constraints: 37745
42.57/42.73 c #Conflicts: 1142000 | #Constraints: 38745
42.57/42.73 c #Conflicts: 1143000 | #Constraints: 39745
42.57/42.73 c #Conflicts: 1144000 | #Constraints: 40745
42.57/42.73 c #Conflicts: 1145000 | #Constraints: 41745
42.57/42.73 c #Conflicts: 1146000 | #Constraints: 42745
42.57/42.73 c INPROCESSING
42.57/42.73 c GARBAGE COLLECT
42.57/42.73 c rational objective 350.5
43.37/43.55 c #Conflicts: 1147000 | #Constraints: 22539
43.37/43.55 c #Conflicts: 1148000 | #Constraints: 23539
43.37/43.55 c #Conflicts: 1149000 | #Constraints: 24539
43.37/43.55 c #Conflicts: 1150000 | #Constraints: 25539
43.37/43.55 c #Conflicts: 1151000 | #Constraints: 26539
43.37/43.55 c #Conflicts: 1152000 | #Constraints: 27539
43.37/43.55 c #Conflicts: 1153000 | #Constraints: 28539
43.37/43.55 c #Conflicts: 1154000 | #Constraints: 29539
43.37/43.55 c #Conflicts: 1155000 | #Constraints: 30539
43.37/43.55 c #Conflicts: 1156000 | #Constraints: 31539
43.37/43.55 c #Conflicts: 1157000 | #Constraints: 32539
43.37/43.55 c #Conflicts: 1158000 | #Constraints: 33539
43.37/43.55 c #Conflicts: 1159000 | #Constraints: 34539
43.37/43.55 c #Conflicts: 1160000 | #Constraints: 35539
43.37/43.55 c #Conflicts: 1161000 | #Constraints: 36539
43.37/43.55 c #Conflicts: 1162000 | #Constraints: 37539
43.37/43.55 c #Conflicts: 1163000 | #Constraints: 38539
43.37/43.55 c #Conflicts: 1164000 | #Constraints: 39539
43.37/43.55 c #Conflicts: 1165000 | #Constraints: 40539
43.37/43.55 c #Conflicts: 1166000 | #Constraints: 41539
43.37/43.55 c #Conflicts: 1167000 | #Constraints: 42539
43.37/43.55 c #Conflicts: 1168000 | #Constraints: 43539
43.37/43.55 c INPROCESSING
43.37/43.55 c GARBAGE COLLECT
43.37/43.55 c rational objective 350.5
44.27/44.42 c #Conflicts: 1169000 | #Constraints: 23144
44.27/44.42 c #Conflicts: 1170000 | #Constraints: 24144
44.27/44.42 c #Conflicts: 1171000 | #Constraints: 25144
44.27/44.42 c #Conflicts: 1172000 | #Constraints: 26144
44.27/44.42 c #Conflicts: 1173000 | #Constraints: 27144
44.27/44.42 c #Conflicts: 1174000 | #Constraints: 28144
44.27/44.42 c #Conflicts: 1175000 | #Constraints: 29144
44.27/44.42 c #Conflicts: 1176000 | #Constraints: 30144
44.27/44.42 c #Conflicts: 1177000 | #Constraints: 31144
44.27/44.42 c #Conflicts: 1178000 | #Constraints: 32144
44.27/44.42 c #Conflicts: 1179000 | #Constraints: 33144
44.27/44.42 c #Conflicts: 1180000 | #Constraints: 34144
44.27/44.42 c #Conflicts: 1181000 | #Constraints: 35144
44.27/44.42 c #Conflicts: 1182000 | #Constraints: 36144
44.27/44.42 c #Conflicts: 1183000 | #Constraints: 37144
44.27/44.42 c #Conflicts: 1184000 | #Constraints: 38144
44.27/44.42 c #Conflicts: 1185000 | #Constraints: 39144
44.27/44.42 c #Conflicts: 1186000 | #Constraints: 40144
44.27/44.42 c #Conflicts: 1187000 | #Constraints: 41144
44.27/44.42 c #Conflicts: 1188000 | #Constraints: 42144
44.27/44.42 c #Conflicts: 1189000 | #Constraints: 43144
44.27/44.42 c #Conflicts: 1190000 | #Constraints: 44144
44.27/44.42 c INPROCESSING
44.27/44.42 c GARBAGE COLLECT
44.27/44.42 c rational objective 350.5
45.06/45.25 c #Conflicts: 1191000 | #Constraints: 23548
45.06/45.25 c #Conflicts: 1192000 | #Constraints: 24548
45.06/45.25 c #Conflicts: 1193000 | #Constraints: 25548
45.06/45.25 c #Conflicts: 1194000 | #Constraints: 26548
45.06/45.25 c #Conflicts: 1195000 | #Constraints: 27548
45.06/45.25 c #Conflicts: 1196000 | #Constraints: 28548
45.06/45.25 c #Conflicts: 1197000 | #Constraints: 29548
45.06/45.25 c #Conflicts: 1198000 | #Constraints: 30548
45.06/45.25 c #Conflicts: 1199000 | #Constraints: 31548
45.06/45.25 c #Conflicts: 1200000 | #Constraints: 32548
45.06/45.25 c #Conflicts: 1201000 | #Constraints: 33548
45.06/45.25 c #Conflicts: 1202000 | #Constraints: 34548
45.06/45.25 c #Conflicts: 1203000 | #Constraints: 35548
45.06/45.25 c #Conflicts: 1204000 | #Constraints: 36548
45.06/45.25 c #Conflicts: 1205000 | #Constraints: 37548
45.06/45.25 c #Conflicts: 1206000 | #Constraints: 38548
45.06/45.25 c #Conflicts: 1207000 | #Constraints: 39548
45.06/45.25 c #Conflicts: 1208000 | #Constraints: 40548
45.06/45.25 c #Conflicts: 1209000 | #Constraints: 41548
45.06/45.25 c #Conflicts: 1210000 | #Constraints: 42548
45.06/45.25 c #Conflicts: 1211000 | #Constraints: 43548
45.06/45.25 c #Conflicts: 1212000 | #Constraints: 44548
45.06/45.25 c INPROCESSING
45.06/45.25 c GARBAGE COLLECT
45.06/45.25 c rational objective 350.5
45.97/46.16 c #Conflicts: 1213000 | #Constraints: 23750
45.97/46.16 c #Conflicts: 1214000 | #Constraints: 24750
45.97/46.16 c #Conflicts: 1215000 | #Constraints: 25750
45.97/46.16 c #Conflicts: 1216000 | #Constraints: 26750
45.97/46.16 c #Conflicts: 1217000 | #Constraints: 27750
45.97/46.16 c #Conflicts: 1218000 | #Constraints: 28750
45.97/46.16 c #Conflicts: 1219000 | #Constraints: 29750
45.97/46.16 c #Conflicts: 1220000 | #Constraints: 30750
45.97/46.16 c #Conflicts: 1221000 | #Constraints: 31750
45.97/46.16 c #Conflicts: 1222000 | #Constraints: 32750
45.97/46.16 c #Conflicts: 1223000 | #Constraints: 33750
45.97/46.16 c #Conflicts: 1224000 | #Constraints: 34750
45.97/46.16 c #Conflicts: 1225000 | #Constraints: 35750
45.97/46.16 c #Conflicts: 1226000 | #Constraints: 36750
45.97/46.16 c #Conflicts: 1227000 | #Constraints: 37750
45.97/46.16 c #Conflicts: 1228000 | #Constraints: 38750
45.97/46.16 c #Conflicts: 1229000 | #Constraints: 39750
45.97/46.16 c #Conflicts: 1230000 | #Constraints: 40750
45.97/46.16 c #Conflicts: 1231000 | #Constraints: 41750
45.97/46.16 c #Conflicts: 1232000 | #Constraints: 42750
45.97/46.16 c #Conflicts: 1233000 | #Constraints: 43750
45.97/46.16 c #Conflicts: 1234000 | #Constraints: 44750
45.97/46.16 c INPROCESSING
45.97/46.16 c GARBAGE COLLECT
45.97/46.16 c rational objective 350.5
46.87/47.04 c #Conflicts: 1235000 | #Constraints: 23748
46.87/47.04 c #Conflicts: 1236000 | #Constraints: 24748
46.87/47.04 c #Conflicts: 1237000 | #Constraints: 25748
46.87/47.04 c #Conflicts: 1238000 | #Constraints: 26748
46.87/47.04 c #Conflicts: 1239000 | #Constraints: 27748
46.87/47.04 c #Conflicts: 1240000 | #Constraints: 28748
46.87/47.04 c #Conflicts: 1241000 | #Constraints: 29748
46.87/47.04 c #Conflicts: 1242000 | #Constraints: 30748
46.87/47.04 c #Conflicts: 1243000 | #Constraints: 31748
46.87/47.04 c #Conflicts: 1244000 | #Constraints: 32748
46.87/47.04 c #Conflicts: 1245000 | #Constraints: 33748
46.87/47.04 c #Conflicts: 1246000 | #Constraints: 34748
46.87/47.04 c #Conflicts: 1247000 | #Constraints: 35748
46.87/47.04 c #Conflicts: 1248000 | #Constraints: 36748
46.87/47.04 c #Conflicts: 1249000 | #Constraints: 37748
46.87/47.04 c #Conflicts: 1250000 | #Constraints: 38748
46.87/47.04 c #Conflicts: 1251000 | #Constraints: 39748
46.87/47.04 c #Conflicts: 1252000 | #Constraints: 40748
46.87/47.04 c #Conflicts: 1253000 | #Constraints: 41748
46.87/47.04 c #Conflicts: 1254000 | #Constraints: 42748
46.87/47.04 c #Conflicts: 1255000 | #Constraints: 43748
46.87/47.04 c #Conflicts: 1256000 | #Constraints: 44748
46.87/47.04 c INPROCESSING
46.87/47.04 c GARBAGE COLLECT
46.87/47.04 c rational objective 350.5
47.75/47.95 c #Conflicts: 1257000 | #Constraints: 23550
47.75/47.95 c #Conflicts: 1258000 | #Constraints: 24550
47.75/47.95 c #Conflicts: 1259000 | #Constraints: 25550
47.75/47.95 c #Conflicts: 1260000 | #Constraints: 26550
47.75/47.95 c #Conflicts: 1261000 | #Constraints: 27550
47.75/47.95 c #Conflicts: 1262000 | #Constraints: 28550
47.75/47.95 c #Conflicts: 1263000 | #Constraints: 29550
47.75/47.95 c #Conflicts: 1264000 | #Constraints: 30550
47.75/47.95 c #Conflicts: 1265000 | #Constraints: 31550
47.75/47.95 c #Conflicts: 1266000 | #Constraints: 32550
47.75/47.95 c #Conflicts: 1267000 | #Constraints: 33550
47.75/47.95 c #Conflicts: 1268000 | #Constraints: 34550
47.75/47.95 c #Conflicts: 1269000 | #Constraints: 35550
47.75/47.95 c #Conflicts: 1270000 | #Constraints: 36550
47.75/47.95 c #Conflicts: 1271000 | #Constraints: 37550
47.75/47.95 c #Conflicts: 1272000 | #Constraints: 38550
47.75/47.95 c #Conflicts: 1273000 | #Constraints: 39550
47.75/47.95 c #Conflicts: 1274000 | #Constraints: 40550
47.75/47.95 c #Conflicts: 1275000 | #Constraints: 41550
47.75/47.95 c #Conflicts: 1276000 | #Constraints: 42550
47.75/47.95 c #Conflicts: 1277000 | #Constraints: 43550
47.75/47.95 c #Conflicts: 1278000 | #Constraints: 44550
47.75/47.95 c #Conflicts: 1279000 | #Constraints: 45550
47.75/47.95 c INPROCESSING
47.75/47.95 c GARBAGE COLLECT
47.75/47.95 c rational objective 350.5
48.66/48.84 c #Conflicts: 1280000 | #Constraints: 24155
48.66/48.84 c #Conflicts: 1281000 | #Constraints: 25155
48.66/48.84 c #Conflicts: 1282000 | #Constraints: 26155
48.66/48.84 c #Conflicts: 1283000 | #Constraints: 27155
48.66/48.84 c #Conflicts: 1284000 | #Constraints: 28155
48.66/48.84 c #Conflicts: 1285000 | #Constraints: 29155
48.66/48.84 c #Conflicts: 1286000 | #Constraints: 30155
48.66/48.84 c #Conflicts: 1287000 | #Constraints: 31155
48.66/48.84 c #Conflicts: 1288000 | #Constraints: 32155
48.66/48.84 c #Conflicts: 1289000 | #Constraints: 33155
48.66/48.84 c #Conflicts: 1290000 | #Constraints: 34155
48.66/48.84 c #Conflicts: 1291000 | #Constraints: 35155
48.66/48.84 c #Conflicts: 1292000 | #Constraints: 36155
48.66/48.84 c #Conflicts: 1293000 | #Constraints: 37155
48.66/48.84 c #Conflicts: 1294000 | #Constraints: 38155
48.66/48.84 c #Conflicts: 1295000 | #Constraints: 39155
48.66/48.84 c #Conflicts: 1296000 | #Constraints: 40155
48.66/48.84 c #Conflicts: 1297000 | #Constraints: 41155
48.66/48.84 c #Conflicts: 1298000 | #Constraints: 42155
48.66/48.84 c #Conflicts: 1299000 | #Constraints: 43155
48.66/48.84 c #Conflicts: 1300000 | #Constraints: 44155
48.66/48.84 c #Conflicts: 1301000 | #Constraints: 45155
48.66/48.84 c #Conflicts: 1302000 | #Constraints: 46155
48.66/48.84 c INPROCESSING
48.66/48.84 c GARBAGE COLLECT
48.66/48.84 c rational objective 350.5
49.55/49.77 c #Conflicts: 1303000 | #Constraints: 24563
49.55/49.77 c #Conflicts: 1304000 | #Constraints: 25563
49.55/49.77 c #Conflicts: 1305000 | #Constraints: 26563
49.55/49.77 c #Conflicts: 1306000 | #Constraints: 27563
49.55/49.77 c #Conflicts: 1307000 | #Constraints: 28563
49.55/49.77 c #Conflicts: 1308000 | #Constraints: 29563
49.55/49.77 c #Conflicts: 1309000 | #Constraints: 30563
49.55/49.77 c #Conflicts: 1310000 | #Constraints: 31563
49.55/49.77 c #Conflicts: 1311000 | #Constraints: 32563
49.55/49.77 c #Conflicts: 1312000 | #Constraints: 33563
49.55/49.77 c #Conflicts: 1313000 | #Constraints: 34563
49.55/49.77 c #Conflicts: 1314000 | #Constraints: 35563
49.55/49.77 c #Conflicts: 1315000 | #Constraints: 36563
49.55/49.77 c #Conflicts: 1316000 | #Constraints: 37563
49.55/49.77 c #Conflicts: 1317000 | #Constraints: 38563
49.55/49.77 c #Conflicts: 1318000 | #Constraints: 39563
49.55/49.77 c #Conflicts: 1319000 | #Constraints: 40563
49.55/49.77 c #Conflicts: 1320000 | #Constraints: 41563
49.55/49.77 c #Conflicts: 1321000 | #Constraints: 42563
49.55/49.77 c #Conflicts: 1322000 | #Constraints: 43563
49.55/49.77 c #Conflicts: 1323000 | #Constraints: 44563
49.55/49.77 c #Conflicts: 1324000 | #Constraints: 45563
49.55/49.77 c #Conflicts: 1325000 | #Constraints: 46563
49.55/49.77 c INPROCESSING
49.55/49.77 c GARBAGE COLLECT
49.55/49.77 c rational objective 350.5
50.55/50.71 c #Conflicts: 1326000 | #Constraints: 24765
50.55/50.71 c #Conflicts: 1327000 | #Constraints: 25765
50.55/50.71 c #Conflicts: 1328000 | #Constraints: 26765
50.55/50.71 c #Conflicts: 1329000 | #Constraints: 27765
50.55/50.71 c #Conflicts: 1330000 | #Constraints: 28765
50.55/50.71 c #Conflicts: 1331000 | #Constraints: 29765
50.55/50.71 c #Conflicts: 1332000 | #Constraints: 30765
50.55/50.71 c #Conflicts: 1333000 | #Constraints: 31765
50.55/50.71 c #Conflicts: 1334000 | #Constraints: 32765
50.55/50.71 c #Conflicts: 1335000 | #Constraints: 33765
50.55/50.71 c #Conflicts: 1336000 | #Constraints: 34765
50.55/50.71 c #Conflicts: 1337000 | #Constraints: 35765
50.55/50.71 c #Conflicts: 1338000 | #Constraints: 36765
50.55/50.71 c #Conflicts: 1339000 | #Constraints: 37765
50.55/50.71 c #Conflicts: 1340000 | #Constraints: 38765
50.55/50.71 c #Conflicts: 1341000 | #Constraints: 39765
50.55/50.71 c #Conflicts: 1342000 | #Constraints: 40765
50.55/50.71 c #Conflicts: 1343000 | #Constraints: 41765
50.55/50.71 c #Conflicts: 1344000 | #Constraints: 42765
50.55/50.71 c #Conflicts: 1345000 | #Constraints: 43765
50.55/50.71 c #Conflicts: 1346000 | #Constraints: 44765
50.55/50.71 c #Conflicts: 1347000 | #Constraints: 45765
50.55/50.71 c #Conflicts: 1348000 | #Constraints: 46765
50.55/50.71 c INPROCESSING
50.55/50.71 c GARBAGE COLLECT
50.55/50.71 c rational objective 350.5
51.45/51.68 c #Conflicts: 1349000 | #Constraints: 24769
51.45/51.68 c #Conflicts: 1350000 | #Constraints: 25769
51.45/51.68 c #Conflicts: 1351000 | #Constraints: 26769
51.45/51.68 c #Conflicts: 1352000 | #Constraints: 27769
51.45/51.68 c #Conflicts: 1353000 | #Constraints: 28769
51.45/51.68 c #Conflicts: 1354000 | #Constraints: 29769
51.45/51.68 c #Conflicts: 1355000 | #Constraints: 30769
51.45/51.68 c #Conflicts: 1356000 | #Constraints: 31769
51.45/51.68 c #Conflicts: 1357000 | #Constraints: 32769
51.45/51.68 c #Conflicts: 1358000 | #Constraints: 33769
51.45/51.68 c #Conflicts: 1359000 | #Constraints: 34769
51.45/51.68 c #Conflicts: 1360000 | #Constraints: 35769
51.45/51.68 c #Conflicts: 1361000 | #Constraints: 36769
51.45/51.68 c #Conflicts: 1362000 | #Constraints: 37769
51.45/51.68 c #Conflicts: 1363000 | #Constraints: 38769
51.45/51.68 c #Conflicts: 1364000 | #Constraints: 39769
51.45/51.68 c #Conflicts: 1365000 | #Constraints: 40769
51.45/51.68 c #Conflicts: 1366000 | #Constraints: 41769
51.45/51.68 c #Conflicts: 1367000 | #Constraints: 42769
51.45/51.68 c #Conflicts: 1368000 | #Constraints: 43769
51.45/51.68 c #Conflicts: 1369000 | #Constraints: 44769
51.45/51.68 c #Conflicts: 1370000 | #Constraints: 45769
51.45/51.68 c #Conflicts: 1371000 | #Constraints: 46769
51.45/51.68 c INPROCESSING
51.45/51.68 c GARBAGE COLLECT
51.45/51.68 c rational objective 350.5
52.45/52.69 c #Conflicts: 1372000 | #Constraints: 24566
52.45/52.69 c #Conflicts: 1373000 | #Constraints: 25566
52.45/52.69 c #Conflicts: 1374000 | #Constraints: 26566
52.45/52.69 c #Conflicts: 1375000 | #Constraints: 27566
52.45/52.69 c #Conflicts: 1376000 | #Constraints: 28566
52.45/52.69 c #Conflicts: 1377000 | #Constraints: 29566
52.45/52.69 c #Conflicts: 1378000 | #Constraints: 30566
52.45/52.69 c #Conflicts: 1379000 | #Constraints: 31566
52.45/52.69 c #Conflicts: 1380000 | #Constraints: 32566
52.45/52.69 c #Conflicts: 1381000 | #Constraints: 33566
52.45/52.69 c #Conflicts: 1382000 | #Constraints: 34566
52.45/52.69 c #Conflicts: 1383000 | #Constraints: 35566
52.45/52.69 c #Conflicts: 1384000 | #Constraints: 36566
52.45/52.69 c #Conflicts: 1385000 | #Constraints: 37566
52.45/52.69 c #Conflicts: 1386000 | #Constraints: 38566
52.45/52.69 c #Conflicts: 1387000 | #Constraints: 39566
52.45/52.69 c #Conflicts: 1388000 | #Constraints: 40566
52.45/52.69 c #Conflicts: 1389000 | #Constraints: 41566
52.45/52.69 c #Conflicts: 1390000 | #Constraints: 42566
52.45/52.69 c #Conflicts: 1391000 | #Constraints: 43566
52.45/52.69 c #Conflicts: 1392000 | #Constraints: 44566
52.45/52.69 c #Conflicts: 1393000 | #Constraints: 45566
52.45/52.69 c #Conflicts: 1394000 | #Constraints: 46566
52.45/52.69 c #Conflicts: 1395000 | #Constraints: 47566
52.45/52.69 c INPROCESSING
52.45/52.69 c GARBAGE COLLECT
52.45/52.69 c rational objective 350.5
53.44/53.66 c #Conflicts: 1396000 | #Constraints: 25169
53.44/53.66 c #Conflicts: 1397000 | #Constraints: 26169
53.44/53.66 c #Conflicts: 1398000 | #Constraints: 27169
53.44/53.66 c #Conflicts: 1399000 | #Constraints: 28169
53.44/53.66 c #Conflicts: 1400000 | #Constraints: 29169
53.44/53.66 c #Conflicts: 1401000 | #Constraints: 30169
53.44/53.66 c #Conflicts: 1402000 | #Constraints: 31169
53.44/53.66 c #Conflicts: 1403000 | #Constraints: 32169
53.44/53.66 c #Conflicts: 1404000 | #Constraints: 33169
53.44/53.66 c #Conflicts: 1405000 | #Constraints: 34169
53.44/53.66 c #Conflicts: 1406000 | #Constraints: 35169
53.44/53.66 c #Conflicts: 1407000 | #Constraints: 36169
53.44/53.66 c #Conflicts: 1408000 | #Constraints: 37169
53.44/53.66 c #Conflicts: 1409000 | #Constraints: 38169
53.44/53.66 c #Conflicts: 1410000 | #Constraints: 39169
53.44/53.66 c #Conflicts: 1411000 | #Constraints: 40169
53.44/53.66 c #Conflicts: 1412000 | #Constraints: 41169
53.44/53.66 c #Conflicts: 1413000 | #Constraints: 42169
53.44/53.66 c #Conflicts: 1414000 | #Constraints: 43169
53.44/53.66 c #Conflicts: 1415000 | #Constraints: 44169
53.44/53.66 c #Conflicts: 1416000 | #Constraints: 45169
53.44/53.66 c #Conflicts: 1417000 | #Constraints: 46169
53.44/53.66 c #Conflicts: 1418000 | #Constraints: 47169
53.44/53.66 c #Conflicts: 1419000 | #Constraints: 48169
53.44/53.66 c INPROCESSING
53.44/53.66 c GARBAGE COLLECT
53.44/53.66 c rational objective 350.5
54.45/54.64 c #Conflicts: 1420000 | #Constraints: 25562
54.45/54.64 c #Conflicts: 1421000 | #Constraints: 26562
54.45/54.64 c #Conflicts: 1422000 | #Constraints: 27562
54.45/54.64 c #Conflicts: 1423000 | #Constraints: 28562
54.45/54.64 c #Conflicts: 1424000 | #Constraints: 29562
54.45/54.64 c #Conflicts: 1425000 | #Constraints: 30562
54.45/54.64 c #Conflicts: 1426000 | #Constraints: 31562
54.45/54.64 c #Conflicts: 1427000 | #Constraints: 32562
54.45/54.64 c #Conflicts: 1428000 | #Constraints: 33562
54.45/54.64 c #Conflicts: 1429000 | #Constraints: 34562
54.45/54.64 c #Conflicts: 1430000 | #Constraints: 35562
54.45/54.64 c #Conflicts: 1431000 | #Constraints: 36562
54.45/54.64 c #Conflicts: 1432000 | #Constraints: 37562
54.45/54.64 c #Conflicts: 1433000 | #Constraints: 38562
54.45/54.64 c #Conflicts: 1434000 | #Constraints: 39562
54.45/54.64 c #Conflicts: 1435000 | #Constraints: 40562
54.45/54.64 c #Conflicts: 1436000 | #Constraints: 41562
54.45/54.64 c #Conflicts: 1437000 | #Constraints: 42562
54.45/54.64 c #Conflicts: 1438000 | #Constraints: 43562
54.45/54.64 c #Conflicts: 1439000 | #Constraints: 44562
54.45/54.64 c #Conflicts: 1440000 | #Constraints: 45562
54.45/54.64 c #Conflicts: 1441000 | #Constraints: 46562
54.45/54.64 c #Conflicts: 1442000 | #Constraints: 47562
54.45/54.64 c #Conflicts: 1443000 | #Constraints: 48562
54.45/54.64 c INPROCESSING
54.45/54.64 c GARBAGE COLLECT
54.45/54.64 c rational objective 350.5
55.44/55.64 c #Conflicts: 1444000 | #Constraints: 25764
55.44/55.64 c #Conflicts: 1445000 | #Constraints: 26764
55.44/55.64 c #Conflicts: 1446000 | #Constraints: 27764
55.44/55.64 c #Conflicts: 1447000 | #Constraints: 28764
55.44/55.64 c #Conflicts: 1448000 | #Constraints: 29764
55.44/55.64 c #Conflicts: 1449000 | #Constraints: 30764
55.44/55.64 c #Conflicts: 1450000 | #Constraints: 31764
55.44/55.64 c #Conflicts: 1451000 | #Constraints: 32764
55.44/55.64 c #Conflicts: 1452000 | #Constraints: 33764
55.44/55.64 c #Conflicts: 1453000 | #Constraints: 34764
55.44/55.64 c #Conflicts: 1454000 | #Constraints: 35764
55.44/55.64 c #Conflicts: 1455000 | #Constraints: 36764
55.44/55.64 c #Conflicts: 1456000 | #Constraints: 37764
55.44/55.64 c #Conflicts: 1457000 | #Constraints: 38764
55.44/55.64 c #Conflicts: 1458000 | #Constraints: 39764
55.44/55.64 c #Conflicts: 1459000 | #Constraints: 40764
55.44/55.64 c #Conflicts: 1460000 | #Constraints: 41764
55.44/55.64 c #Conflicts: 1461000 | #Constraints: 42764
55.44/55.64 c #Conflicts: 1462000 | #Constraints: 43764
55.44/55.64 c #Conflicts: 1463000 | #Constraints: 44764
55.44/55.64 c #Conflicts: 1464000 | #Constraints: 45764
55.44/55.64 c #Conflicts: 1465000 | #Constraints: 46764
55.44/55.64 c #Conflicts: 1466000 | #Constraints: 47764
55.44/55.64 c #Conflicts: 1467000 | #Constraints: 48764
55.44/55.64 c INPROCESSING
55.44/55.64 c GARBAGE COLLECT
55.44/55.64 c rational objective 350.5
56.43/56.60 c #Conflicts: 1468000 | #Constraints: 25767
56.43/56.60 c #Conflicts: 1469000 | #Constraints: 26767
56.43/56.60 c #Conflicts: 1470000 | #Constraints: 27767
56.43/56.60 c #Conflicts: 1471000 | #Constraints: 28767
56.43/56.60 c #Conflicts: 1472000 | #Constraints: 29767
56.43/56.60 c #Conflicts: 1473000 | #Constraints: 30767
56.43/56.60 c #Conflicts: 1474000 | #Constraints: 31767
56.43/56.60 c #Conflicts: 1475000 | #Constraints: 32767
56.43/56.60 c #Conflicts: 1476000 | #Constraints: 33767
56.43/56.60 c #Conflicts: 1477000 | #Constraints: 34767
56.43/56.60 c #Conflicts: 1478000 | #Constraints: 35767
56.43/56.60 c #Conflicts: 1479000 | #Constraints: 36767
56.43/56.60 c #Conflicts: 1480000 | #Constraints: 37767
56.43/56.60 c #Conflicts: 1481000 | #Constraints: 38767
56.43/56.60 c #Conflicts: 1482000 | #Constraints: 39767
56.43/56.60 c #Conflicts: 1483000 | #Constraints: 40767
56.43/56.60 c #Conflicts: 1484000 | #Constraints: 41767
56.43/56.60 c #Conflicts: 1485000 | #Constraints: 42767
56.43/56.60 c #Conflicts: 1486000 | #Constraints: 43767
56.43/56.60 c #Conflicts: 1487000 | #Constraints: 44767
56.43/56.60 c #Conflicts: 1488000 | #Constraints: 45767
56.43/56.60 c #Conflicts: 1489000 | #Constraints: 46767
56.43/56.60 c #Conflicts: 1490000 | #Constraints: 47767
56.43/56.60 c #Conflicts: 1491000 | #Constraints: 48767
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c rational objective 350.5
57.43/57.60 c #Conflicts: 1492000 | #Constraints: 25563
57.43/57.60 c #Conflicts: 1493000 | #Constraints: 26563
57.43/57.60 c #Conflicts: 1494000 | #Constraints: 27563
57.43/57.60 c #Conflicts: 1495000 | #Constraints: 28563
57.43/57.60 c #Conflicts: 1496000 | #Constraints: 29563
57.43/57.60 c #Conflicts: 1497000 | #Constraints: 30563
57.43/57.60 c #Conflicts: 1498000 | #Constraints: 31563
57.43/57.60 c #Conflicts: 1499000 | #Constraints: 32563
57.43/57.60 c #Conflicts: 1500000 | #Constraints: 33563
57.43/57.60 c #Conflicts: 1501000 | #Constraints: 34563
57.43/57.60 c #Conflicts: 1502000 | #Constraints: 35563
57.43/57.60 c #Conflicts: 1503000 | #Constraints: 36563
57.43/57.60 c #Conflicts: 1504000 | #Constraints: 37563
57.43/57.60 c #Conflicts: 1505000 | #Constraints: 38563
57.43/57.60 c #Conflicts: 1506000 | #Constraints: 39563
57.43/57.60 c #Conflicts: 1507000 | #Constraints: 40563
57.43/57.60 c #Conflicts: 1508000 | #Constraints: 41563
57.43/57.60 c #Conflicts: 1509000 | #Constraints: 42563
57.43/57.60 c #Conflicts: 1510000 | #Constraints: 43563
57.43/57.60 c #Conflicts: 1511000 | #Constraints: 44563
57.43/57.60 c #Conflicts: 1512000 | #Constraints: 45563
57.43/57.60 c #Conflicts: 1513000 | #Constraints: 46563
57.43/57.60 c #Conflicts: 1514000 | #Constraints: 47563
57.43/57.60 c #Conflicts: 1515000 | #Constraints: 48563
57.43/57.60 c #Conflicts: 1516000 | #Constraints: 49563
57.43/57.60 c INPROCESSING
57.43/57.60 c GARBAGE COLLECT
57.43/57.60 c rational objective 350.5
58.33/58.59 c #Conflicts: 1517000 | #Constraints: 26164
58.33/58.59 c #Conflicts: 1518000 | #Constraints: 27164
58.33/58.59 c #Conflicts: 1519000 | #Constraints: 28164
58.33/58.59 c #Conflicts: 1520000 | #Constraints: 29164
58.33/58.59 c #Conflicts: 1521000 | #Constraints: 30164
58.33/58.59 c #Conflicts: 1522000 | #Constraints: 31164
58.33/58.59 c #Conflicts: 1523000 | #Constraints: 32164
58.33/58.59 c #Conflicts: 1524000 | #Constraints: 33164
58.33/58.59 c #Conflicts: 1525000 | #Constraints: 34164
58.33/58.59 c #Conflicts: 1526000 | #Constraints: 35164
58.33/58.59 c #Conflicts: 1527000 | #Constraints: 36164
58.33/58.59 c #Conflicts: 1528000 | #Constraints: 37164
58.33/58.59 c #Conflicts: 1529000 | #Constraints: 38164
58.33/58.59 c #Conflicts: 1530000 | #Constraints: 39164
58.33/58.59 c #Conflicts: 1531000 | #Constraints: 40164
58.33/58.59 c #Conflicts: 1532000 | #Constraints: 41164
58.33/58.59 c #Conflicts: 1533000 | #Constraints: 42164
58.33/58.59 c #Conflicts: 1534000 | #Constraints: 43164
58.33/58.59 c #Conflicts: 1535000 | #Constraints: 44164
58.33/58.59 c #Conflicts: 1536000 | #Constraints: 45164
58.33/58.59 c #Conflicts: 1537000 | #Constraints: 46164
58.33/58.59 c #Conflicts: 1538000 | #Constraints: 47164
58.33/58.59 c #Conflicts: 1539000 | #Constraints: 48164
58.33/58.59 c #Conflicts: 1540000 | #Constraints: 49164
58.33/58.59 c #Conflicts: 1541000 | #Constraints: 50164
58.33/58.59 c INPROCESSING
58.33/58.59 c GARBAGE COLLECT
58.33/58.59 c rational objective 350.5
59.43/59.63 c #Conflicts: 1542000 | #Constraints: 26563
59.43/59.63 c #Conflicts: 1543000 | #Constraints: 27563
59.43/59.63 c #Conflicts: 1544000 | #Constraints: 28563
59.43/59.63 c #Conflicts: 1545000 | #Constraints: 29563
59.43/59.63 c #Conflicts: 1546000 | #Constraints: 30563
59.43/59.63 c #Conflicts: 1547000 | #Constraints: 31563
59.43/59.63 c #Conflicts: 1548000 | #Constraints: 32563
59.43/59.63 c #Conflicts: 1549000 | #Constraints: 33563
59.43/59.63 c #Conflicts: 1550000 | #Constraints: 34563
59.43/59.63 c #Conflicts: 1551000 | #Constraints: 35563
59.43/59.63 c #Conflicts: 1552000 | #Constraints: 36563
59.43/59.63 c #Conflicts: 1553000 | #Constraints: 37563
59.43/59.63 c #Conflicts: 1554000 | #Constraints: 38563
59.43/59.63 c #Conflicts: 1555000 | #Constraints: 39563
59.43/59.63 c #Conflicts: 1556000 | #Constraints: 40563
59.43/59.63 c #Conflicts: 1557000 | #Constraints: 41563
59.43/59.63 c #Conflicts: 1558000 | #Constraints: 42563
59.43/59.63 c #Conflicts: 1559000 | #Constraints: 43563
59.43/59.63 c #Conflicts: 1560000 | #Constraints: 44563
59.43/59.63 c #Conflicts: 1561000 | #Constraints: 45563
59.43/59.63 c #Conflicts: 1562000 | #Constraints: 46563
59.43/59.63 c #Conflicts: 1563000 | #Constraints: 47563
59.43/59.63 c #Conflicts: 1564000 | #Constraints: 48563
59.43/59.63 c #Conflicts: 1565000 | #Constraints: 49563
59.43/59.63 c #Conflicts: 1566000 | #Constraints: 50563
59.43/59.63 c INPROCESSING
59.43/59.63 c GARBAGE COLLECT
59.43/59.63 c rational objective 350.5
60.53/60.71 c #Conflicts: 1567000 | #Constraints: 26760
60.53/60.71 c #Conflicts: 1568000 | #Constraints: 27760
60.53/60.71 c #Conflicts: 1569000 | #Constraints: 28760
60.53/60.71 c #Conflicts: 1570000 | #Constraints: 29760
60.53/60.71 c #Conflicts: 1571000 | #Constraints: 30760
60.53/60.71 c #Conflicts: 1572000 | #Constraints: 31760
60.53/60.71 c #Conflicts: 1573000 | #Constraints: 32760
60.53/60.71 c #Conflicts: 1574000 | #Constraints: 33760
60.53/60.71 c #Conflicts: 1575000 | #Constraints: 34760
60.53/60.71 c #Conflicts: 1576000 | #Constraints: 35760
60.53/60.71 c #Conflicts: 1577000 | #Constraints: 36760
60.53/60.71 c #Conflicts: 1578000 | #Constraints: 37760
60.53/60.71 c #Conflicts: 1579000 | #Constraints: 38760
60.53/60.71 c #Conflicts: 1580000 | #Constraints: 39760
60.53/60.71 c #Conflicts: 1581000 | #Constraints: 40760
60.53/60.71 c #Conflicts: 1582000 | #Constraints: 41760
60.53/60.71 c #Conflicts: 1583000 | #Constraints: 42760
60.53/60.71 c #Conflicts: 1584000 | #Constraints: 43760
60.53/60.71 c #Conflicts: 1585000 | #Constraints: 44760
60.53/60.71 c #Conflicts: 1586000 | #Constraints: 45760
60.53/60.71 c #Conflicts: 1587000 | #Constraints: 46760
60.53/60.71 c #Conflicts: 1588000 | #Constraints: 47760
60.53/60.71 c #Conflicts: 1589000 | #Constraints: 48760
60.53/60.71 c #Conflicts: 1590000 | #Constraints: 49760
60.53/60.71 c #Conflicts: 1591000 | #Constraints: 50760
60.53/60.71 c INPROCESSING
60.53/60.71 c GARBAGE COLLECT
60.53/60.71 c rational objective 350.5
61.62/61.83 c #Conflicts: 1592000 | #Constraints: 26757
61.62/61.83 c #Conflicts: 1593000 | #Constraints: 27757
61.62/61.83 c #Conflicts: 1594000 | #Constraints: 28757
61.62/61.83 c #Conflicts: 1595000 | #Constraints: 29757
61.62/61.83 c #Conflicts: 1596000 | #Constraints: 30757
61.62/61.83 c #Conflicts: 1597000 | #Constraints: 31757
61.62/61.83 c #Conflicts: 1598000 | #Constraints: 32757
61.62/61.83 c #Conflicts: 1599000 | #Constraints: 33757
61.62/61.83 c #Conflicts: 1600000 | #Constraints: 34757
61.62/61.83 c #Conflicts: 1601000 | #Constraints: 35757
61.62/61.83 c #Conflicts: 1602000 | #Constraints: 36757
61.62/61.83 c #Conflicts: 1603000 | #Constraints: 37757
61.62/61.83 c #Conflicts: 1604000 | #Constraints: 38757
61.62/61.83 c #Conflicts: 1605000 | #Constraints: 39757
61.62/61.83 c #Conflicts: 1606000 | #Constraints: 40757
61.62/61.83 c #Conflicts: 1607000 | #Constraints: 41757
61.62/61.83 c #Conflicts: 1608000 | #Constraints: 42757
61.62/61.83 c #Conflicts: 1609000 | #Constraints: 43757
61.62/61.83 c #Conflicts: 1610000 | #Constraints: 44757
61.62/61.83 c #Conflicts: 1611000 | #Constraints: 45757
61.62/61.83 c #Conflicts: 1612000 | #Constraints: 46757
61.62/61.83 c #Conflicts: 1613000 | #Constraints: 47757
61.62/61.83 c #Conflicts: 1614000 | #Constraints: 48757
61.62/61.83 c #Conflicts: 1615000 | #Constraints: 49757
61.62/61.83 c #Conflicts: 1616000 | #Constraints: 50757
61.62/61.83 c INPROCESSING
61.62/61.83 c GARBAGE COLLECT
61.62/61.83 c rational objective 350.5
62.72/62.96 c #Conflicts: 1617000 | #Constraints: 26550
62.72/62.96 c #Conflicts: 1618000 | #Constraints: 27550
62.72/62.96 c #Conflicts: 1619000 | #Constraints: 28550
62.72/62.96 c #Conflicts: 1620000 | #Constraints: 29550
62.72/62.96 c #Conflicts: 1621000 | #Constraints: 30550
62.72/62.96 c #Conflicts: 1622000 | #Constraints: 31550
62.72/62.96 c #Conflicts: 1623000 | #Constraints: 32550
62.72/62.96 c #Conflicts: 1624000 | #Constraints: 33550
62.72/62.96 c #Conflicts: 1625000 | #Constraints: 34550
62.72/62.96 c #Conflicts: 1626000 | #Constraints: 35550
62.72/62.96 c #Conflicts: 1627000 | #Constraints: 36550
62.72/62.96 c #Conflicts: 1628000 | #Constraints: 37550
62.72/62.96 c #Conflicts: 1629000 | #Constraints: 38550
62.72/62.96 c #Conflicts: 1630000 | #Constraints: 39550
62.72/62.96 c #Conflicts: 1631000 | #Constraints: 40550
62.72/62.96 c #Conflicts: 1632000 | #Constraints: 41550
62.72/62.96 c #Conflicts: 1633000 | #Constraints: 42550
62.72/62.96 c #Conflicts: 1634000 | #Constraints: 43550
62.72/62.96 c #Conflicts: 1635000 | #Constraints: 44550
62.72/62.96 c #Conflicts: 1636000 | #Constraints: 45550
62.72/62.96 c #Conflicts: 1637000 | #Constraints: 46550
62.72/62.96 c #Conflicts: 1638000 | #Constraints: 47550
62.72/62.96 c #Conflicts: 1639000 | #Constraints: 48550
62.72/62.96 c #Conflicts: 1640000 | #Constraints: 49550
62.72/62.96 c #Conflicts: 1641000 | #Constraints: 50550
62.72/62.96 c #Conflicts: 1642000 | #Constraints: 51550
62.72/62.96 c INPROCESSING
62.72/62.96 c GARBAGE COLLECT
62.72/62.96 c rational objective 350.5
63.83/64.04 c #Conflicts: 1643000 | #Constraints: 27153
63.83/64.04 c #Conflicts: 1644000 | #Constraints: 28153
63.83/64.04 c #Conflicts: 1645000 | #Constraints: 29153
63.83/64.04 c #Conflicts: 1646000 | #Constraints: 30153
63.83/64.04 c #Conflicts: 1647000 | #Constraints: 31153
63.83/64.04 c #Conflicts: 1648000 | #Constraints: 32153
63.83/64.04 c #Conflicts: 1649000 | #Constraints: 33153
63.83/64.04 c #Conflicts: 1650000 | #Constraints: 34153
63.83/64.04 c #Conflicts: 1651000 | #Constraints: 35153
63.83/64.04 c #Conflicts: 1652000 | #Constraints: 36153
63.83/64.04 c #Conflicts: 1653000 | #Constraints: 37153
63.83/64.04 c #Conflicts: 1654000 | #Constraints: 38153
63.83/64.04 c #Conflicts: 1655000 | #Constraints: 39153
63.83/64.04 c #Conflicts: 1656000 | #Constraints: 40153
63.83/64.04 c #Conflicts: 1657000 | #Constraints: 41153
63.83/64.04 c #Conflicts: 1658000 | #Constraints: 42153
63.83/64.04 c #Conflicts: 1659000 | #Constraints: 43153
63.83/64.04 c #Conflicts: 1660000 | #Constraints: 44153
63.83/64.04 c #Conflicts: 1661000 | #Constraints: 45153
63.83/64.04 c #Conflicts: 1662000 | #Constraints: 46153
63.83/64.04 c #Conflicts: 1663000 | #Constraints: 47153
63.83/64.04 c #Conflicts: 1664000 | #Constraints: 48153
63.83/64.04 c #Conflicts: 1665000 | #Constraints: 49153
63.83/64.04 c #Conflicts: 1666000 | #Constraints: 50153
63.83/64.04 c #Conflicts: 1667000 | #Constraints: 51153
63.83/64.04 c #Conflicts: 1668000 | #Constraints: 52153
63.83/64.04 c INPROCESSING
63.83/64.04 c GARBAGE COLLECT
63.83/64.04 c rational objective 350.5
64.92/65.15 c #Conflicts: 1669000 | #Constraints: 27558
64.92/65.15 c #Conflicts: 1670000 | #Constraints: 28558
64.92/65.15 c #Conflicts: 1671000 | #Constraints: 29558
64.92/65.15 c #Conflicts: 1672000 | #Constraints: 30558
64.92/65.15 c #Conflicts: 1673000 | #Constraints: 31558
64.92/65.15 c #Conflicts: 1674000 | #Constraints: 32558
64.92/65.15 c #Conflicts: 1675000 | #Constraints: 33558
64.92/65.15 c #Conflicts: 1676000 | #Constraints: 34558
64.92/65.15 c #Conflicts: 1677000 | #Constraints: 35558
64.92/65.15 c #Conflicts: 1678000 | #Constraints: 36558
64.92/65.15 c #Conflicts: 1679000 | #Constraints: 37558
64.92/65.15 c #Conflicts: 1680000 | #Constraints: 38558
64.92/65.15 c #Conflicts: 1681000 | #Constraints: 39558
64.92/65.15 c #Conflicts: 1682000 | #Constraints: 40558
64.92/65.15 c #Conflicts: 1683000 | #Constraints: 41558
64.92/65.15 c #Conflicts: 1684000 | #Constraints: 42558
64.92/65.15 c #Conflicts: 1685000 | #Constraints: 43558
64.92/65.15 c #Conflicts: 1686000 | #Constraints: 44558
64.92/65.15 c #Conflicts: 1687000 | #Constraints: 45558
64.92/65.15 c #Conflicts: 1688000 | #Constraints: 46558
64.92/65.15 c #Conflicts: 1689000 | #Constraints: 47558
64.92/65.15 c #Conflicts: 1690000 | #Constraints: 48558
64.92/65.15 c #Conflicts: 1691000 | #Constraints: 49558
64.92/65.15 c #Conflicts: 1692000 | #Constraints: 50558
64.92/65.15 c #Conflicts: 1693000 | #Constraints: 51558
64.92/65.15 c #Conflicts: 1694000 | #Constraints: 52558
64.92/65.15 c INPROCESSING
64.92/65.15 c GARBAGE COLLECT
64.92/65.15 c rational objective 350.5
66.01/66.26 c #Conflicts: 1695000 | #Constraints: 27760
66.01/66.26 c #Conflicts: 1696000 | #Constraints: 28760
66.01/66.26 c #Conflicts: 1697000 | #Constraints: 29760
66.01/66.26 c #Conflicts: 1698000 | #Constraints: 30760
66.01/66.26 c #Conflicts: 1699000 | #Constraints: 31760
66.01/66.26 c #Conflicts: 1700000 | #Constraints: 32760
66.01/66.26 c #Conflicts: 1701000 | #Constraints: 33760
66.01/66.26 c #Conflicts: 1702000 | #Constraints: 34760
66.01/66.26 c #Conflicts: 1703000 | #Constraints: 35760
66.01/66.26 c #Conflicts: 1704000 | #Constraints: 36760
66.01/66.26 c #Conflicts: 1705000 | #Constraints: 37760
66.01/66.26 c #Conflicts: 1706000 | #Constraints: 38760
66.01/66.26 c #Conflicts: 1707000 | #Constraints: 39760
66.01/66.26 c #Conflicts: 1708000 | #Constraints: 40760
66.01/66.26 c #Conflicts: 1709000 | #Constraints: 41760
66.01/66.26 c #Conflicts: 1710000 | #Constraints: 42760
66.01/66.26 c #Conflicts: 1711000 | #Constraints: 43760
66.01/66.26 c #Conflicts: 1712000 | #Constraints: 44760
66.01/66.26 c #Conflicts: 1713000 | #Constraints: 45760
66.01/66.26 c #Conflicts: 1714000 | #Constraints: 46760
66.01/66.26 c #Conflicts: 1715000 | #Constraints: 47760
66.01/66.26 c #Conflicts: 1716000 | #Constraints: 48760
66.01/66.26 c #Conflicts: 1717000 | #Constraints: 49760
66.01/66.26 c #Conflicts: 1718000 | #Constraints: 50760
66.01/66.26 c #Conflicts: 1719000 | #Constraints: 51760
66.01/66.26 c #Conflicts: 1720000 | #Constraints: 52760
66.01/66.26 c INPROCESSING
66.01/66.26 c GARBAGE COLLECT
66.01/66.26 c rational objective 350.5
67.21/67.44 c #Conflicts: 1721000 | #Constraints: 27760
67.21/67.44 c #Conflicts: 1722000 | #Constraints: 28760
67.21/67.44 c #Conflicts: 1723000 | #Constraints: 29760
67.21/67.44 c #Conflicts: 1724000 | #Constraints: 30760
67.21/67.44 c #Conflicts: 1725000 | #Constraints: 31760
67.21/67.44 c #Conflicts: 1726000 | #Constraints: 32760
67.21/67.44 c #Conflicts: 1727000 | #Constraints: 33760
67.21/67.44 c #Conflicts: 1728000 | #Constraints: 34760
67.21/67.44 c #Conflicts: 1729000 | #Constraints: 35760
67.21/67.44 c #Conflicts: 1730000 | #Constraints: 36760
67.21/67.44 c #Conflicts: 1731000 | #Constraints: 37760
67.21/67.44 c #Conflicts: 1732000 | #Constraints: 38760
67.21/67.44 c #Conflicts: 1733000 | #Constraints: 39760
67.21/67.44 c #Conflicts: 1734000 | #Constraints: 40760
67.21/67.44 c #Conflicts: 1735000 | #Constraints: 41760
67.21/67.44 c #Conflicts: 1736000 | #Constraints: 42760
67.21/67.44 c #Conflicts: 1737000 | #Constraints: 43760
67.21/67.44 c #Conflicts: 1738000 | #Constraints: 44760
67.21/67.44 c #Conflicts: 1739000 | #Constraints: 45760
67.21/67.44 c #Conflicts: 1740000 | #Constraints: 46760
67.21/67.44 c #Conflicts: 1741000 | #Constraints: 47760
67.21/67.44 c #Conflicts: 1742000 | #Constraints: 48760
67.21/67.44 c #Conflicts: 1743000 | #Constraints: 49760
67.21/67.44 c #Conflicts: 1744000 | #Constraints: 50760
67.21/67.44 c #Conflicts: 1745000 | #Constraints: 51760
67.21/67.44 c #Conflicts: 1746000 | #Constraints: 52760
67.21/67.44 c INPROCESSING
67.21/67.44 c GARBAGE COLLECT
67.21/67.44 c rational objective 350.5
68.41/68.60 c #Conflicts: 1747000 | #Constraints: 27560
68.41/68.60 c #Conflicts: 1748000 | #Constraints: 28560
68.41/68.60 c #Conflicts: 1749000 | #Constraints: 29560
68.41/68.60 c #Conflicts: 1750000 | #Constraints: 30560
68.41/68.60 c #Conflicts: 1751000 | #Constraints: 31560
68.41/68.60 c #Conflicts: 1752000 | #Constraints: 32560
68.41/68.60 c #Conflicts: 1753000 | #Constraints: 33560
68.41/68.60 c #Conflicts: 1754000 | #Constraints: 34560
68.41/68.60 c #Conflicts: 1755000 | #Constraints: 35560
68.41/68.60 c #Conflicts: 1756000 | #Constraints: 36560
68.41/68.60 c #Conflicts: 1757000 | #Constraints: 37560
68.41/68.60 c #Conflicts: 1758000 | #Constraints: 38560
68.41/68.60 c #Conflicts: 1759000 | #Constraints: 39560
68.41/68.60 c #Conflicts: 1760000 | #Constraints: 40560
68.41/68.60 c #Conflicts: 1761000 | #Constraints: 41560
68.41/68.60 c #Conflicts: 1762000 | #Constraints: 42560
68.41/68.60 c #Conflicts: 1763000 | #Constraints: 43560
68.41/68.60 c #Conflicts: 1764000 | #Constraints: 44560
68.41/68.60 c #Conflicts: 1765000 | #Constraints: 45560
68.41/68.60 c #Conflicts: 1766000 | #Constraints: 46560
68.41/68.60 c #Conflicts: 1767000 | #Constraints: 47560
68.41/68.60 c #Conflicts: 1768000 | #Constraints: 48560
68.41/68.60 c #Conflicts: 1769000 | #Constraints: 49560
68.41/68.60 c #Conflicts: 1770000 | #Constraints: 50560
68.41/68.60 c #Conflicts: 1771000 | #Constraints: 51560
68.41/68.60 c #Conflicts: 1772000 | #Constraints: 52560
68.41/68.60 c #Conflicts: 1773000 | #Constraints: 53560
68.41/68.60 c INPROCESSING
68.41/68.60 c GARBAGE COLLECT
68.41/68.60 c rational objective 350.5
69.61/69.81 c #Conflicts: 1774000 | #Constraints: 28163
69.61/69.81 c #Conflicts: 1775000 | #Constraints: 29163
69.61/69.81 c #Conflicts: 1776000 | #Constraints: 30163
69.61/69.81 c #Conflicts: 1777000 | #Constraints: 31163
69.61/69.81 c #Conflicts: 1778000 | #Constraints: 32163
69.61/69.81 c #Conflicts: 1779000 | #Constraints: 33163
69.61/69.81 c #Conflicts: 1780000 | #Constraints: 34163
69.61/69.81 c #Conflicts: 1781000 | #Constraints: 35163
69.61/69.81 c #Conflicts: 1782000 | #Constraints: 36163
69.61/69.81 c #Conflicts: 1783000 | #Constraints: 37163
69.61/69.81 c #Conflicts: 1784000 | #Constraints: 38163
69.61/69.81 c #Conflicts: 1785000 | #Constraints: 39163
69.61/69.81 c #Conflicts: 1786000 | #Constraints: 40163
69.61/69.81 c #Conflicts: 1787000 | #Constraints: 41163
69.61/69.81 c #Conflicts: 1788000 | #Constraints: 42163
69.61/69.81 c #Conflicts: 1789000 | #Constraints: 43163
69.61/69.81 c #Conflicts: 1790000 | #Constraints: 44163
69.61/69.81 c #Conflicts: 1791000 | #Constraints: 45163
69.61/69.81 c #Conflicts: 1792000 | #Constraints: 46163
69.61/69.81 c #Conflicts: 1793000 | #Constraints: 47163
69.61/69.81 c #Conflicts: 1794000 | #Constraints: 48163
69.61/69.81 c #Conflicts: 1795000 | #Constraints: 49163
69.61/69.81 c #Conflicts: 1796000 | #Constraints: 50163
69.61/69.81 c #Conflicts: 1797000 | #Constraints: 51163
69.61/69.81 c #Conflicts: 1798000 | #Constraints: 52163
69.61/69.81 c #Conflicts: 1799000 | #Constraints: 53163
69.61/69.81 c #Conflicts: 1800000 | #Constraints: 54163
69.61/69.81 c INPROCESSING
69.61/69.81 c GARBAGE COLLECT
69.61/69.81 c rational objective 350.5
70.71/70.99 c #Conflicts: 1801000 | #Constraints: 28561
70.71/70.99 c #Conflicts: 1802000 | #Constraints: 29561
70.71/70.99 c #Conflicts: 1803000 | #Constraints: 30561
70.71/70.99 c #Conflicts: 1804000 | #Constraints: 31561
70.71/70.99 c #Conflicts: 1805000 | #Constraints: 32561
70.71/70.99 c #Conflicts: 1806000 | #Constraints: 33561
70.71/70.99 c #Conflicts: 1807000 | #Constraints: 34561
70.71/70.99 c #Conflicts: 1808000 | #Constraints: 35561
70.71/70.99 c #Conflicts: 1809000 | #Constraints: 36561
70.71/70.99 c #Conflicts: 1810000 | #Constraints: 37561
70.71/70.99 c #Conflicts: 1811000 | #Constraints: 38561
70.71/70.99 c #Conflicts: 1812000 | #Constraints: 39561
70.71/70.99 c #Conflicts: 1813000 | #Constraints: 40561
70.71/70.99 c #Conflicts: 1814000 | #Constraints: 41561
70.71/70.99 c #Conflicts: 1815000 | #Constraints: 42561
70.71/70.99 c #Conflicts: 1816000 | #Constraints: 43561
70.71/70.99 c #Conflicts: 1817000 | #Constraints: 44561
70.71/70.99 c #Conflicts: 1818000 | #Constraints: 45561
70.71/70.99 c #Conflicts: 1819000 | #Constraints: 46561
70.71/70.99 c #Conflicts: 1820000 | #Constraints: 47561
70.71/70.99 c #Conflicts: 1821000 | #Constraints: 48561
70.71/70.99 c #Conflicts: 1822000 | #Constraints: 49561
70.71/70.99 c #Conflicts: 1823000 | #Constraints: 50561
70.71/70.99 c #Conflicts: 1824000 | #Constraints: 51561
70.71/70.99 c #Conflicts: 1825000 | #Constraints: 52561
70.71/70.99 c #Conflicts: 1826000 | #Constraints: 53561
70.71/70.99 c #Conflicts: 1827000 | #Constraints: 54561
70.71/70.99 c INPROCESSING
70.71/70.99 c GARBAGE COLLECT
70.71/70.99 c rational objective 350.5
72.00/72.24 c #Conflicts: 1828000 | #Constraints: 28765
72.00/72.24 c #Conflicts: 1829000 | #Constraints: 29765
72.00/72.24 c #Conflicts: 1830000 | #Constraints: 30765
72.00/72.24 c #Conflicts: 1831000 | #Constraints: 31765
72.00/72.24 c #Conflicts: 1832000 | #Constraints: 32765
72.00/72.24 c #Conflicts: 1833000 | #Constraints: 33765
72.00/72.24 c #Conflicts: 1834000 | #Constraints: 34765
72.00/72.24 c #Conflicts: 1835000 | #Constraints: 35765
72.00/72.24 c #Conflicts: 1836000 | #Constraints: 36765
72.00/72.24 c #Conflicts: 1837000 | #Constraints: 37765
72.00/72.24 c #Conflicts: 1838000 | #Constraints: 38765
72.00/72.24 c #Conflicts: 1839000 | #Constraints: 39765
72.00/72.24 c #Conflicts: 1840000 | #Constraints: 40765
72.00/72.24 c #Conflicts: 1841000 | #Constraints: 41765
72.00/72.24 c #Conflicts: 1842000 | #Constraints: 42765
72.00/72.24 c #Conflicts: 1843000 | #Constraints: 43765
72.00/72.24 c #Conflicts: 1844000 | #Constraints: 44765
72.00/72.24 c #Conflicts: 1845000 | #Constraints: 45765
72.00/72.24 c #Conflicts: 1846000 | #Constraints: 46765
72.00/72.24 c #Conflicts: 1847000 | #Constraints: 47765
72.00/72.24 c #Conflicts: 1848000 | #Constraints: 48765
72.00/72.24 c #Conflicts: 1849000 | #Constraints: 49765
72.00/72.24 c #Conflicts: 1850000 | #Constraints: 50765
72.00/72.24 c #Conflicts: 1851000 | #Constraints: 51765
72.00/72.24 c #Conflicts: 1852000 | #Constraints: 52765
72.00/72.24 c #Conflicts: 1853000 | #Constraints: 53765
72.00/72.24 c #Conflicts: 1854000 | #Constraints: 54765
72.00/72.24 c INPROCESSING
72.00/72.24 c GARBAGE COLLECT
72.00/72.24 c rational objective 350.5
73.30/73.53 c #Conflicts: 1855000 | #Constraints: 28766
73.30/73.53 c #Conflicts: 1856000 | #Constraints: 29766
73.30/73.53 c #Conflicts: 1857000 | #Constraints: 30766
73.30/73.53 c #Conflicts: 1858000 | #Constraints: 31766
73.30/73.53 c #Conflicts: 1859000 | #Constraints: 32766
73.30/73.53 c #Conflicts: 1860000 | #Constraints: 33766
73.30/73.53 c #Conflicts: 1861000 | #Constraints: 34766
73.30/73.53 c #Conflicts: 1862000 | #Constraints: 35766
73.30/73.53 c #Conflicts: 1863000 | #Constraints: 36766
73.30/73.53 c #Conflicts: 1864000 | #Constraints: 37766
73.30/73.53 c #Conflicts: 1865000 | #Constraints: 38766
73.30/73.53 c #Conflicts: 1866000 | #Constraints: 39766
73.30/73.53 c #Conflicts: 1867000 | #Constraints: 40766
73.30/73.53 c #Conflicts: 1868000 | #Constraints: 41766
73.30/73.53 c #Conflicts: 1869000 | #Constraints: 42766
73.30/73.53 c #Conflicts: 1870000 | #Constraints: 43766
73.30/73.53 c #Conflicts: 1871000 | #Constraints: 44766
73.30/73.53 c #Conflicts: 1872000 | #Constraints: 45766
73.30/73.53 c #Conflicts: 1873000 | #Constraints: 46766
73.30/73.53 c #Conflicts: 1874000 | #Constraints: 47766
73.30/73.53 c #Conflicts: 1875000 | #Constraints: 48766
73.30/73.53 c #Conflicts: 1876000 | #Constraints: 49766
73.30/73.53 c #Conflicts: 1877000 | #Constraints: 50766
73.30/73.53 c #Conflicts: 1878000 | #Constraints: 51766
73.30/73.53 c #Conflicts: 1879000 | #Constraints: 52766
73.30/73.53 c #Conflicts: 1880000 | #Constraints: 53766
73.30/73.53 c #Conflicts: 1881000 | #Constraints: 54766
73.30/73.53 c INPROCESSING
73.30/73.53 c GARBAGE COLLECT
73.30/73.53 c rational objective 350.5
74.60/74.84 c #Conflicts: 1882000 | #Constraints: 28562
74.60/74.84 c #Conflicts: 1883000 | #Constraints: 29562
74.60/74.84 c #Conflicts: 1884000 | #Constraints: 30562
74.60/74.84 c #Conflicts: 1885000 | #Constraints: 31562
74.60/74.84 c #Conflicts: 1886000 | #Constraints: 32562
74.60/74.84 c #Conflicts: 1887000 | #Constraints: 33562
74.60/74.84 c #Conflicts: 1888000 | #Constraints: 34562
74.60/74.84 c #Conflicts: 1889000 | #Constraints: 35562
74.60/74.84 c #Conflicts: 1890000 | #Constraints: 36562
74.60/74.84 c #Conflicts: 1891000 | #Constraints: 37562
74.60/74.84 c #Conflicts: 1892000 | #Constraints: 38562
74.60/74.84 c #Conflicts: 1893000 | #Constraints: 39562
74.60/74.84 c #Conflicts: 1894000 | #Constraints: 40562
74.60/74.84 c #Conflicts: 1895000 | #Constraints: 41562
74.60/74.84 c #Conflicts: 1896000 | #Constraints: 42562
74.60/74.84 c #Conflicts: 1897000 | #Constraints: 43562
74.60/74.84 c #Conflicts: 1898000 | #Constraints: 44562
74.60/74.84 c #Conflicts: 1899000 | #Constraints: 45562
74.60/74.84 c #Conflicts: 1900000 | #Constraints: 46562
74.60/74.84 c #Conflicts: 1901000 | #Constraints: 47562
74.60/74.84 c #Conflicts: 1902000 | #Constraints: 48562
74.60/74.84 c #Conflicts: 1903000 | #Constraints: 49562
74.60/74.84 c #Conflicts: 1904000 | #Constraints: 50562
74.60/74.84 c #Conflicts: 1905000 | #Constraints: 51562
74.60/74.84 c #Conflicts: 1906000 | #Constraints: 52562
74.60/74.84 c #Conflicts: 1907000 | #Constraints: 53562
74.60/74.84 c #Conflicts: 1908000 | #Constraints: 54562
74.60/74.84 c #Conflicts: 1909000 | #Constraints: 55562
74.60/74.84 c INPROCESSING
74.60/74.84 c GARBAGE COLLECT
74.60/74.84 c rational objective 350.5
75.90/76.15 c #Conflicts: 1910000 | #Constraints: 29160
75.90/76.15 c #Conflicts: 1911000 | #Constraints: 30160
75.90/76.15 c #Conflicts: 1912000 | #Constraints: 31160
75.90/76.15 c #Conflicts: 1913000 | #Constraints: 32160
75.90/76.15 c #Conflicts: 1914000 | #Constraints: 33160
75.90/76.15 c #Conflicts: 1915000 | #Constraints: 34160
75.90/76.15 c #Conflicts: 1916000 | #Constraints: 35160
75.90/76.15 c #Conflicts: 1917000 | #Constraints: 36160
75.90/76.15 c #Conflicts: 1918000 | #Constraints: 37160
75.90/76.15 c #Conflicts: 1919000 | #Constraints: 38160
75.90/76.15 c #Conflicts: 1920000 | #Constraints: 39160
75.90/76.15 c #Conflicts: 1921000 | #Constraints: 40160
75.90/76.15 c #Conflicts: 1922000 | #Constraints: 41160
75.90/76.15 c #Conflicts: 1923000 | #Constraints: 42160
75.90/76.15 c #Conflicts: 1924000 | #Constraints: 43160
75.90/76.15 c #Conflicts: 1925000 | #Constraints: 44160
75.90/76.15 c #Conflicts: 1926000 | #Constraints: 45160
75.90/76.15 c #Conflicts: 1927000 | #Constraints: 46160
75.90/76.15 c #Conflicts: 1928000 | #Constraints: 47160
75.90/76.15 c #Conflicts: 1929000 | #Constraints: 48160
75.90/76.15 c #Conflicts: 1930000 | #Constraints: 49160
75.90/76.15 c #Conflicts: 1931000 | #Constraints: 50160
75.90/76.15 c #Conflicts: 1932000 | #Constraints: 51160
75.90/76.15 c #Conflicts: 1933000 | #Constraints: 52160
75.90/76.15 c #Conflicts: 1934000 | #Constraints: 53160
75.90/76.15 c #Conflicts: 1935000 | #Constraints: 54160
75.90/76.15 c #Conflicts: 1936000 | #Constraints: 55160
75.90/76.15 c #Conflicts: 1937000 | #Constraints: 56160
75.90/76.15 c INPROCESSING
75.90/76.15 c GARBAGE COLLECT
75.90/76.15 c rational objective 350.5
77.29/77.50 c #Conflicts: 1938000 | #Constraints: 29559
77.29/77.50 c #Conflicts: 1939000 | #Constraints: 30559
77.29/77.50 c #Conflicts: 1940000 | #Constraints: 31559
77.29/77.50 c #Conflicts: 1941000 | #Constraints: 32559
77.29/77.50 c #Conflicts: 1942000 | #Constraints: 33559
77.29/77.50 c #Conflicts: 1943000 | #Constraints: 34559
77.29/77.50 c #Conflicts: 1944000 | #Constraints: 35559
77.29/77.50 c #Conflicts: 1945000 | #Constraints: 36559
77.29/77.50 c #Conflicts: 1946000 | #Constraints: 37559
77.29/77.50 c #Conflicts: 1947000 | #Constraints: 38559
77.29/77.50 c #Conflicts: 1948000 | #Constraints: 39559
77.29/77.50 c #Conflicts: 1949000 | #Constraints: 40559
77.29/77.50 c #Conflicts: 1950000 | #Constraints: 41559
77.29/77.50 c #Conflicts: 1951000 | #Constraints: 42559
77.29/77.50 c #Conflicts: 1952000 | #Constraints: 43559
77.29/77.50 c #Conflicts: 1953000 | #Constraints: 44559
77.29/77.50 c #Conflicts: 1954000 | #Constraints: 45559
77.29/77.50 c #Conflicts: 1955000 | #Constraints: 46559
77.29/77.50 c #Conflicts: 1956000 | #Constraints: 47559
77.29/77.50 c #Conflicts: 1957000 | #Constraints: 48559
77.29/77.50 c #Conflicts: 1958000 | #Constraints: 49559
77.29/77.50 c #Conflicts: 1959000 | #Constraints: 50559
77.29/77.50 c #Conflicts: 1960000 | #Constraints: 51559
77.29/77.50 c #Conflicts: 1961000 | #Constraints: 52559
77.29/77.50 c #Conflicts: 1962000 | #Constraints: 53559
77.29/77.50 c #Conflicts: 1963000 | #Constraints: 54559
77.29/77.50 c #Conflicts: 1964000 | #Constraints: 55559
77.29/77.50 c #Conflicts: 1965000 | #Constraints: 56559
77.29/77.50 c INPROCESSING
77.29/77.50 c GARBAGE COLLECT
77.29/77.50 c rational objective 350.5
78.59/78.85 c #Conflicts: 1966000 | #Constraints: 29762
78.59/78.85 c #Conflicts: 1967000 | #Constraints: 30762
78.59/78.85 c #Conflicts: 1968000 | #Constraints: 31762
78.59/78.85 c #Conflicts: 1969000 | #Constraints: 32762
78.59/78.85 c #Conflicts: 1970000 | #Constraints: 33762
78.59/78.85 c #Conflicts: 1971000 | #Constraints: 34762
78.59/78.85 c #Conflicts: 1972000 | #Constraints: 35762
78.59/78.85 c #Conflicts: 1973000 | #Constraints: 36762
78.59/78.85 c #Conflicts: 1974000 | #Constraints: 37762
78.59/78.85 c #Conflicts: 1975000 | #Constraints: 38762
78.59/78.85 c #Conflicts: 1976000 | #Constraints: 39762
78.59/78.85 c #Conflicts: 1977000 | #Constraints: 40762
78.59/78.85 c #Conflicts: 1978000 | #Constraints: 41762
78.59/78.85 c #Conflicts: 1979000 | #Constraints: 42762
78.59/78.85 c #Conflicts: 1980000 | #Constraints: 43762
78.59/78.85 c #Conflicts: 1981000 | #Constraints: 44762
78.59/78.85 c #Conflicts: 1982000 | #Constraints: 45762
78.59/78.85 c #Conflicts: 1983000 | #Constraints: 46762
78.59/78.85 c #Conflicts: 1984000 | #Constraints: 47762
78.59/78.85 c #Conflicts: 1985000 | #Constraints: 48762
78.59/78.85 c #Conflicts: 1986000 | #Constraints: 49762
78.59/78.85 c #Conflicts: 1987000 | #Constraints: 50762
78.59/78.85 c #Conflicts: 1988000 | #Constraints: 51762
78.59/78.85 c #Conflicts: 1989000 | #Constraints: 52762
78.59/78.85 c #Conflicts: 1990000 | #Constraints: 53762
78.59/78.85 c #Conflicts: 1991000 | #Constraints: 54762
78.59/78.85 c #Conflicts: 1992000 | #Constraints: 55762
78.59/78.85 c #Conflicts: 1993000 | #Constraints: 56762
78.59/78.85 c INPROCESSING
78.59/78.85 c GARBAGE COLLECT
78.59/78.85 c rational objective 350.5
79.98/80.22 c #Conflicts: 1994000 | #Constraints: 29762
79.98/80.22 c #Conflicts: 1995000 | #Constraints: 30762
79.98/80.22 c #Conflicts: 1996000 | #Constraints: 31762
79.98/80.22 c #Conflicts: 1997000 | #Constraints: 32762
79.98/80.22 c #Conflicts: 1998000 | #Constraints: 33762
79.98/80.22 c #Conflicts: 1999000 | #Constraints: 34762
79.98/80.22 c #Conflicts: 2000000 | #Constraints: 35762
79.98/80.22 c #Conflicts: 2001000 | #Constraints: 36762
79.98/80.22 c #Conflicts: 2002000 | #Constraints: 37762
79.98/80.22 c #Conflicts: 2003000 | #Constraints: 38762
79.98/80.22 c #Conflicts: 2004000 | #Constraints: 39762
79.98/80.22 c #Conflicts: 2005000 | #Constraints: 40762
79.98/80.22 c #Conflicts: 2006000 | #Constraints: 41762
79.98/80.22 c #Conflicts: 2007000 | #Constraints: 42762
79.98/80.22 c #Conflicts: 2008000 | #Constraints: 43762
79.98/80.22 c #Conflicts: 2009000 | #Constraints: 44762
79.98/80.22 c #Conflicts: 2010000 | #Constraints: 45762
79.98/80.22 c #Conflicts: 2011000 | #Constraints: 46762
79.98/80.22 c #Conflicts: 2012000 | #Constraints: 47762
79.98/80.22 c #Conflicts: 2013000 | #Constraints: 48762
79.98/80.22 c #Conflicts: 2014000 | #Constraints: 49762
79.98/80.22 c #Conflicts: 2015000 | #Constraints: 50762
79.98/80.22 c #Conflicts: 2016000 | #Constraints: 51762
79.98/80.22 c #Conflicts: 2017000 | #Constraints: 52762
79.98/80.22 c #Conflicts: 2018000 | #Constraints: 53762
79.98/80.22 c #Conflicts: 2019000 | #Constraints: 54762
79.98/80.22 c #Conflicts: 2020000 | #Constraints: 55762
79.98/80.22 c #Conflicts: 2021000 | #Constraints: 56762
79.98/80.22 c INPROCESSING
79.98/80.22 c GARBAGE COLLECT
79.98/80.22 c rational objective 350.5
81.38/81.60 c #Conflicts: 2022000 | #Constraints: 29560
81.38/81.60 c #Conflicts: 2023000 | #Constraints: 30560
81.38/81.60 c #Conflicts: 2024000 | #Constraints: 31560
81.38/81.60 c #Conflicts: 2025000 | #Constraints: 32560
81.38/81.60 c #Conflicts: 2026000 | #Constraints: 33560
81.38/81.60 c #Conflicts: 2027000 | #Constraints: 34560
81.38/81.60 c #Conflicts: 2028000 | #Constraints: 35560
81.38/81.60 c #Conflicts: 2029000 | #Constraints: 36560
81.38/81.60 c #Conflicts: 2030000 | #Constraints: 37560
81.38/81.60 c #Conflicts: 2031000 | #Constraints: 38560
81.38/81.60 c #Conflicts: 2032000 | #Constraints: 39560
81.38/81.60 c #Conflicts: 2033000 | #Constraints: 40560
81.38/81.60 c #Conflicts: 2034000 | #Constraints: 41560
81.38/81.60 c #Conflicts: 2035000 | #Constraints: 42560
81.38/81.60 c #Conflicts: 2036000 | #Constraints: 43560
81.38/81.60 c #Conflicts: 2037000 | #Constraints: 44560
81.38/81.60 c #Conflicts: 2038000 | #Constraints: 45560
81.38/81.60 c #Conflicts: 2039000 | #Constraints: 46560
81.38/81.60 c #Conflicts: 2040000 | #Constraints: 47560
81.38/81.60 c #Conflicts: 2041000 | #Constraints: 48560
81.38/81.60 c #Conflicts: 2042000 | #Constraints: 49560
81.38/81.60 c #Conflicts: 2043000 | #Constraints: 50560
81.38/81.60 c #Conflicts: 2044000 | #Constraints: 51560
81.38/81.60 c #Conflicts: 2045000 | #Constraints: 52560
81.38/81.60 c #Conflicts: 2046000 | #Constraints: 53560
81.38/81.60 c #Conflicts: 2047000 | #Constraints: 54560
81.38/81.60 c #Conflicts: 2048000 | #Constraints: 55560
81.38/81.60 c #Conflicts: 2049000 | #Constraints: 56560
81.38/81.60 c #Conflicts: 2050000 | #Constraints: 57560
81.38/81.60 c INPROCESSING
81.38/81.60 c GARBAGE COLLECT
81.38/81.60 c rational objective 350.5
82.58/82.85 c #Conflicts: 2051000 | #Constraints: 30162
82.58/82.85 c #Conflicts: 2052000 | #Constraints: 31162
82.58/82.85 c #Conflicts: 2053000 | #Constraints: 32162
82.58/82.85 c #Conflicts: 2054000 | #Constraints: 33162
82.58/82.85 c #Conflicts: 2055000 | #Constraints: 34162
82.58/82.85 c #Conflicts: 2056000 | #Constraints: 35162
82.58/82.85 c #Conflicts: 2057000 | #Constraints: 36162
82.58/82.85 c #Conflicts: 2058000 | #Constraints: 37162
82.58/82.85 c #Conflicts: 2059000 | #Constraints: 38162
82.58/82.85 c #Conflicts: 2060000 | #Constraints: 39162
82.58/82.85 c #Conflicts: 2061000 | #Constraints: 40162
82.58/82.85 c #Conflicts: 2062000 | #Constraints: 41162
82.58/82.85 c #Conflicts: 2063000 | #Constraints: 42162
82.58/82.85 c #Conflicts: 2064000 | #Constraints: 43162
82.58/82.85 c #Conflicts: 2065000 | #Constraints: 44162
82.58/82.85 c #Conflicts: 2066000 | #Constraints: 45162
82.58/82.85 c #Conflicts: 2067000 | #Constraints: 46162
82.58/82.85 c #Conflicts: 2068000 | #Constraints: 47162
82.58/82.85 c #Conflicts: 2069000 | #Constraints: 48162
82.58/82.85 c #Conflicts: 2070000 | #Constraints: 49162
82.58/82.85 c #Conflicts: 2071000 | #Constraints: 50162
82.58/82.85 c #Conflicts: 2072000 | #Constraints: 51162
82.58/82.85 c #Conflicts: 2073000 | #Constraints: 52162
82.58/82.85 c #Conflicts: 2074000 | #Constraints: 53162
82.58/82.85 c #Conflicts: 2075000 | #Constraints: 54162
82.58/82.85 c #Conflicts: 2076000 | #Constraints: 55162
82.58/82.85 c #Conflicts: 2077000 | #Constraints: 56162
82.58/82.85 c #Conflicts: 2078000 | #Constraints: 57162
82.58/82.85 c #Conflicts: 2079000 | #Constraints: 58162
82.58/82.85 c INPROCESSING
82.58/82.85 c GARBAGE COLLECT
82.58/82.85 c rational objective 350.5
83.88/84.18 c #Conflicts: 2080000 | #Constraints: 30563
83.88/84.18 c #Conflicts: 2081000 | #Constraints: 31563
83.88/84.18 c #Conflicts: 2082000 | #Constraints: 32563
83.88/84.18 c #Conflicts: 2083000 | #Constraints: 33563
83.88/84.18 c #Conflicts: 2084000 | #Constraints: 34563
83.88/84.18 c #Conflicts: 2085000 | #Constraints: 35563
83.88/84.18 c #Conflicts: 2086000 | #Constraints: 36563
83.88/84.18 c #Conflicts: 2087000 | #Constraints: 37563
83.88/84.18 c #Conflicts: 2088000 | #Constraints: 38563
83.88/84.18 c #Conflicts: 2089000 | #Constraints: 39563
83.88/84.18 c #Conflicts: 2090000 | #Constraints: 40563
83.88/84.18 c #Conflicts: 2091000 | #Constraints: 41563
83.88/84.18 c #Conflicts: 2092000 | #Constraints: 42563
83.88/84.18 c #Conflicts: 2093000 | #Constraints: 43563
83.88/84.18 c #Conflicts: 2094000 | #Constraints: 44563
83.88/84.18 c #Conflicts: 2095000 | #Constraints: 45563
83.88/84.18 c #Conflicts: 2096000 | #Constraints: 46563
83.88/84.18 c #Conflicts: 2097000 | #Constraints: 47563
83.88/84.18 c #Conflicts: 2098000 | #Constraints: 48563
83.88/84.18 c #Conflicts: 2099000 | #Constraints: 49563
83.88/84.18 c #Conflicts: 2100000 | #Constraints: 50563
83.88/84.18 c #Conflicts: 2101000 | #Constraints: 51563
83.88/84.18 c #Conflicts: 2102000 | #Constraints: 52563
83.88/84.18 c #Conflicts: 2103000 | #Constraints: 53563
83.88/84.18 c #Conflicts: 2104000 | #Constraints: 54563
83.88/84.18 c #Conflicts: 2105000 | #Constraints: 55563
83.88/84.18 c #Conflicts: 2106000 | #Constraints: 56563
83.88/84.18 c #Conflicts: 2107000 | #Constraints: 57563
83.88/84.18 c #Conflicts: 2108000 | #Constraints: 58563
83.88/84.18 c INPROCESSING
83.88/84.18 c GARBAGE COLLECT
83.88/84.18 c rational objective 350.5
85.27/85.60 c #Conflicts: 2109000 | #Constraints: 30771
85.27/85.60 c #Conflicts: 2110000 | #Constraints: 31771
85.27/85.60 c #Conflicts: 2111000 | #Constraints: 32771
85.27/85.60 c #Conflicts: 2112000 | #Constraints: 33771
85.27/85.60 c #Conflicts: 2113000 | #Constraints: 34771
85.27/85.60 c #Conflicts: 2114000 | #Constraints: 35771
85.27/85.60 c #Conflicts: 2115000 | #Constraints: 36771
85.27/85.60 c #Conflicts: 2116000 | #Constraints: 37771
85.27/85.60 c #Conflicts: 2117000 | #Constraints: 38771
85.27/85.60 c #Conflicts: 2118000 | #Constraints: 39771
85.27/85.60 c #Conflicts: 2119000 | #Constraints: 40771
85.27/85.60 c #Conflicts: 2120000 | #Constraints: 41771
85.27/85.60 c #Conflicts: 2121000 | #Constraints: 42771
85.27/85.60 c #Conflicts: 2122000 | #Constraints: 43771
85.27/85.60 c #Conflicts: 2123000 | #Constraints: 44771
85.27/85.60 c #Conflicts: 2124000 | #Constraints: 45771
85.27/85.60 c #Conflicts: 2125000 | #Constraints: 46771
85.27/85.60 c #Conflicts: 2126000 | #Constraints: 47771
85.27/85.60 c #Conflicts: 2127000 | #Constraints: 48771
85.27/85.60 c #Conflicts: 2128000 | #Constraints: 49771
85.27/85.60 c #Conflicts: 2129000 | #Constraints: 50771
85.27/85.60 c #Conflicts: 2130000 | #Constraints: 51771
85.27/85.60 c #Conflicts: 2131000 | #Constraints: 52771
85.27/85.60 c #Conflicts: 2132000 | #Constraints: 53771
85.27/85.60 c #Conflicts: 2133000 | #Constraints: 54771
85.27/85.60 c #Conflicts: 2134000 | #Constraints: 55771
85.27/85.60 c #Conflicts: 2135000 | #Constraints: 56771
85.27/85.60 c #Conflicts: 2136000 | #Constraints: 57771
85.27/85.60 c #Conflicts: 2137000 | #Constraints: 58771
85.27/85.60 c INPROCESSING
85.27/85.60 c GARBAGE COLLECT
85.27/85.60 c rational objective 350.5
86.77/87.04 c #Conflicts: 2138000 | #Constraints: 30769
86.77/87.04 c #Conflicts: 2139000 | #Constraints: 31769
86.77/87.04 c #Conflicts: 2140000 | #Constraints: 32769
86.77/87.04 c #Conflicts: 2141000 | #Constraints: 33769
86.77/87.04 c #Conflicts: 2142000 | #Constraints: 34769
86.77/87.04 c #Conflicts: 2143000 | #Constraints: 35769
86.77/87.04 c #Conflicts: 2144000 | #Constraints: 36769
86.77/87.04 c #Conflicts: 2145000 | #Constraints: 37769
86.77/87.04 c #Conflicts: 2146000 | #Constraints: 38769
86.77/87.04 c #Conflicts: 2147000 | #Constraints: 39769
86.77/87.04 c #Conflicts: 2148000 | #Constraints: 40769
86.77/87.04 c #Conflicts: 2149000 | #Constraints: 41769
86.77/87.04 c #Conflicts: 2150000 | #Constraints: 42769
86.77/87.04 c #Conflicts: 2151000 | #Constraints: 43769
86.77/87.04 c #Conflicts: 2152000 | #Constraints: 44769
86.77/87.04 c #Conflicts: 2153000 | #Constraints: 45769
86.77/87.04 c #Conflicts: 2154000 | #Constraints: 46769
86.77/87.04 c #Conflicts: 2155000 | #Constraints: 47769
86.77/87.04 c #Conflicts: 2156000 | #Constraints: 48769
86.77/87.04 c #Conflicts: 2157000 | #Constraints: 49769
86.77/87.04 c #Conflicts: 2158000 | #Constraints: 50769
86.77/87.04 c #Conflicts: 2159000 | #Constraints: 51769
86.77/87.04 c #Conflicts: 2160000 | #Constraints: 52769
86.77/87.04 c #Conflicts: 2161000 | #Constraints: 53769
86.77/87.04 c #Conflicts: 2162000 | #Constraints: 54769
86.77/87.04 c #Conflicts: 2163000 | #Constraints: 55769
86.77/87.04 c #Conflicts: 2164000 | #Constraints: 56769
86.77/87.04 c #Conflicts: 2165000 | #Constraints: 57769
86.77/87.04 c #Conflicts: 2166000 | #Constraints: 58769
86.77/87.04 c INPROCESSING
86.77/87.04 c GARBAGE COLLECT
86.77/87.04 c rational objective 350.5
88.27/88.56 c #Conflicts: 2167000 | #Constraints: 30571
88.27/88.56 c #Conflicts: 2168000 | #Constraints: 31571
88.27/88.56 c #Conflicts: 2169000 | #Constraints: 32571
88.27/88.56 c #Conflicts: 2170000 | #Constraints: 33571
88.27/88.56 c #Conflicts: 2171000 | #Constraints: 34571
88.27/88.56 c #Conflicts: 2172000 | #Constraints: 35571
88.27/88.56 c #Conflicts: 2173000 | #Constraints: 36571
88.27/88.56 c #Conflicts: 2174000 | #Constraints: 37571
88.27/88.56 c #Conflicts: 2175000 | #Constraints: 38571
88.27/88.56 c #Conflicts: 2176000 | #Constraints: 39571
88.27/88.56 c #Conflicts: 2177000 | #Constraints: 40571
88.27/88.56 c #Conflicts: 2178000 | #Constraints: 41571
88.27/88.56 c #Conflicts: 2179000 | #Constraints: 42571
88.27/88.56 c #Conflicts: 2180000 | #Constraints: 43571
88.27/88.56 c #Conflicts: 2181000 | #Constraints: 44571
88.27/88.56 c #Conflicts: 2182000 | #Constraints: 45571
88.27/88.56 c #Conflicts: 2183000 | #Constraints: 46571
88.27/88.56 c #Conflicts: 2184000 | #Constraints: 47571
88.27/88.56 c #Conflicts: 2185000 | #Constraints: 48571
88.27/88.56 c #Conflicts: 2186000 | #Constraints: 49571
88.27/88.56 c #Conflicts: 2187000 | #Constraints: 50571
88.27/88.56 c #Conflicts: 2188000 | #Constraints: 51571
88.27/88.56 c #Conflicts: 2189000 | #Constraints: 52571
88.27/88.56 c #Conflicts: 2190000 | #Constraints: 53571
88.27/88.56 c #Conflicts: 2191000 | #Constraints: 54571
88.27/88.56 c #Conflicts: 2192000 | #Constraints: 55571
88.27/88.56 c #Conflicts: 2193000 | #Constraints: 56571
88.27/88.56 c #Conflicts: 2194000 | #Constraints: 57571
88.27/88.56 c #Conflicts: 2195000 | #Constraints: 58571
88.27/88.56 c #Conflicts: 2196000 | #Constraints: 59571
88.27/88.56 c INPROCESSING
88.27/88.56 c GARBAGE COLLECT
88.27/88.56 c rational objective 350.5
88.66/88.97 c #Conflicts: 2197000 | #Constraints: 13663
88.66/88.97 c #Conflicts: 2198000 | #Constraints: 14663
88.66/88.97 c #Conflicts: 2199000 | #Constraints: 15663
88.66/88.97 c #Conflicts: 2200000 | #Constraints: 16663
88.66/88.97 c #Conflicts: 2201000 | #Constraints: 17663
88.66/88.97 c #Conflicts: 2202000 | #Constraints: 18663
88.66/88.97 c #Conflicts: 2203000 | #Constraints: 19663
88.66/88.97 c #Conflicts: 2204000 | #Constraints: 20663
88.66/88.97 c #Conflicts: 2205000 | #Constraints: 21663
88.66/88.97 c #Conflicts: 2206000 | #Constraints: 22663
88.66/88.97 c #Conflicts: 2207000 | #Constraints: 23663
88.66/88.97 c #Conflicts: 2208000 | #Constraints: 24663
88.66/88.97 c cpu time 81.8476 s
88.66/88.97 c deterministic time 3468840553 3.47e+09
88.66/88.97 c optimization time 0.000117 s
88.66/88.97 c total solve time 81.8454 s
88.66/88.97 c core-guided solve time 0 s
88.66/88.97 c propagation time 59.7585 s
88.66/88.97 c conflict analysis time 11.2415 s
88.66/88.97 c propagations 9856025
88.66/88.97 c resolve steps 6462960
88.66/88.97 c decisions 3313436
88.66/88.97 c conflicts 2208831
88.66/88.97 c restarts 4093
88.66/88.97 c inprocessing phases 139
88.66/88.97 c garbage collections 139 ,( 100.00 )
88.66/88.97 c input clauses 58 ,( 7.65 )
88.66/88.97 c input cardinalities 700 ,( 92.35 )
88.66/88.97 c input general constraints 0 ,( 0.00 )
88.66/88.97 c input average constraint length 3.91
88.66/88.97 c input average constraint degree 1.92
88.66/88.97 c learned clauses 2173097 ,( 98.35 )
88.66/88.97 c learned cardinalities 3502 ,( 0.16 )
88.66/88.97 c learned general constraints 33064 ,( 1.50 )
88.66/88.97 c learned average constraint length 16.81
88.66/88.97 c learned average constraint degree 345835.13
88.66/88.97 c watched CF 32, 64, 128, Arb: 13478 , 0 , 0 , 0
88.66/88.97 c counting CF 32, 64, 128, Arb: 19586 , 0 , 0 , 0
88.66/88.97 c watched constraints 13478 ,( 40.76 )
88.66/88.97 c counting constraints 19586 ,( 59.24 )
88.66/88.97 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 768339953 , 15402000 , 16199598 ,( 12446260 , 3753338 )
88.66/88.97 c gcd simplifications 5329
88.66/88.97 c detected cardinalities 937
88.66/88.97 c weakened non-implied lits 219929
88.66/88.97 c weakened non-implying lits 518
88.66/88.97 c original variables 719
88.66/88.97 c clausal propagations 4808211
88.66/88.97 c cardinality propagations 1516779
88.66/88.97 c watched propagations 74123
88.66/88.97 c counting propagations 1224490
88.66/88.97 c watch lookups 1758300907
88.66/88.97 c watch backjump lookups 0
88.66/88.97 c watch checks 1525124945
88.66/88.97 c propagation checks 43471438
88.66/88.97 c constraint additions 113173715
88.66/88.97 c trail pops 15378267
88.66/88.97 c formula constraints 758
88.66/88.97 c learned constraints 2208821
88.66/88.97 c bound constraints 0
88.66/88.97 c core-guided constraints 0
88.66/88.97 c encountered formula constraints 79432
88.66/88.97 c encountered learned constraints 8582997
88.66/88.97 c encountered bound constraints 0
88.66/88.97 c encountered core-guided constraints 0
88.66/88.97 c LP total time 11.7724 s
88.66/88.97 c LP solve time 7.23 s
88.66/88.97 c LP constraints added 1733
88.66/88.97 c LP constraints removed 966
88.66/88.97 c LP pivots internal 220889
88.66/88.97 c LP pivots root 930
88.66/88.97 c LP calls 18717
88.66/88.97 c LP optimalities 18708
88.66/88.97 c LP no pivot count 1210
88.66/88.97 c LP infeasibilities 9
88.66/88.97 c LP valid Farkas constraints 9
88.66/88.97 c LP learned Farkas constraints 9
88.66/88.97 c LP basis resets 0
88.66/88.97 c LP cycling count 0
88.66/88.97 c LP singular count 0
88.66/88.97 c LP no primal count 0
88.66/88.97 c LP no farkas count 0
88.66/88.97 c LP other issue count 0
88.66/88.97 c LP Gomory cuts 824
88.66/88.97 c LP learned cuts 151
88.66/88.97 c LP deleted cuts 966
88.66/88.97 c LP encountered Gomory constraints 0
88.66/88.97 c LP encountered Farkas constraints 8583
88.66/88.97 c LP encountered learned Farkas constraints 770
88.66/88.97 c CG auxiliary variables introduced 0
88.66/88.97 c CG solutions found 0
88.66/88.97 c CG cores constructed 0
88.66/88.97 c CG core cardinality constraints returned 0
88.66/88.97 c CG unit cores 0
88.66/88.97 c CG single cores 0
88.66/88.97 c CG blocks removed during cardinality reduction 0
88.66/88.97 c CG first core best 0
88.66/88.97 c CG decision core best 0
88.66/88.97 c CG core reduction tie 0
88.66/88.97 c CG core degree average 0.00
88.66/88.97 c CG core slack average 0.00
88.66/88.97 c CG core upper bound improvements 0
88.66/88.97 c STR number of successful calls 0
88.66/88.97 c STR number of unsuccessful calls 0
88.66/88.97 c STR number of inconclusive calls 0
88.66/88.97 c STR number of successful attempts 0
88.66/88.97 c STR number of unsuccessful attempts 0
88.66/88.97 c STR number of inconclusive attempts 0
88.66/88.97 c STR average degree increase per successful call inf
88.66/88.97 c STR average degree increase per successful attempt inf
88.66/88.97 c STR total number of conflicts for successful attempts 0
88.66/88.97 c STR total number of conflicts for unsuccessful attempts 0
88.66/88.97 c STR total number of conflicts for inconclusive attempts 0
88.66/88.97 c STR average number of conflicts per successful attempt inf
88.66/88.97 c STR average number of conflicts per unsuccessful attempt inf
88.66/88.97 c STR average number of conflicts per inconclusive attempt inf
88.66/88.98 c AVG.sumWPerc 42.63
88.66/88.98 c bigint constraints 0
88.66/88.98 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: 63708 MiB (62882 MiB free)
memory of node 1: 64465 MiB (63864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510620-1751196722/watcher-4510620-1751196722 -o /tmp/evaluation-result-4510620-1751196722/solver-4510620-1751196722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23370 --watchdog 3760 run-dec-break.sh HOME/instance-4510620-1751196722.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23963, runsolver pid=23960
Current StackSize limit: 8192 KiB
[startup+0.100028 s]*
/proc/loadavg: 4.03 3.34 3.89 5/273 23966
/proc/meminfo: memFree=129784812/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=58296 memory=15016 CPUtime=0.06 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 1208 0 0 0 5 1 0 0 20 0 1 0 35349733 59695104 3754 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 14574 3754 2368 1147 0 2001 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62488 KiB
Current children cumulated memory: 18088 KiB
[startup+0.205583 s]*
/proc/loadavg: 4.03 3.34 3.89 5/273 23966
/proc/meminfo: memFree=129784812/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=58856 memory=15528 CPUtime=0.17 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 1340 0 0 0 14 3 0 0 20 0 1 0 35349733 60268544 3882 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 14714 3882 2368 1147 0 2141 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63048 KiB
Current children cumulated memory: 18600 KiB
[startup+0.305232 s]*
/proc/loadavg: 4.03 3.34 3.89 5/273 23966
/proc/meminfo: memFree=129784560/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=59296 memory=15912 CPUtime=0.26 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 1448 0 0 0 22 4 0 0 20 0 1 0 35349733 60719104 3978 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 14824 3978 2368 1147 0 2251 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63488 KiB
Current children cumulated memory: 18984 KiB
[startup+0.70014 s]
/proc/loadavg: 4.03 3.34 3.89 5/273 23966
/proc/meminfo: memFree=129784560/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=59900 memory=16424 CPUtime=0.66 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 1577 0 0 0 55 11 0 0 20 0 1 0 35349733 61337600 4106 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 14975 4106 2368 1147 0 2402 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 64092 KiB
Current children cumulated memory: 19496 KiB
[startup+1.50013 s]
/proc/loadavg: 4.03 3.34 3.89 5/273 23966
/proc/meminfo: memFree=129785888/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=60888 memory=17448 CPUtime=1.45 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 1837 0 0 0 126 19 0 0 20 0 1 0 35349733 62349312 4362 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 15222 4362 2368 1147 0 2649 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65080 KiB
Current children cumulated memory: 20520 KiB
[startup+3.10545 s]
/proc/loadavg: 4.03 3.34 3.89 5/273 23966
/proc/meminfo: memFree=129785936/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=61916 memory=18600 CPUtime=3.05 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 2112 0 0 0 264 41 0 0 20 0 1 0 35349733 63401984 4650 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 15479 4650 2368 1147 0 2906 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 66108 KiB
Current children cumulated memory: 21672 KiB
[startup+6.30015 s]
/proc/loadavg: 4.03 3.35 3.89 5/273 23966
/proc/meminfo: memFree=129782444/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=63880 memory=20520 CPUtime=6.25 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 2588 0 0 0 548 77 0 0 20 0 1 0 35349733 65413120 5130 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 15970 5130 2368 1147 0 3397 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 68072 KiB
Current children cumulated memory: 23592 KiB
[startup+12.7001 s]
/proc/loadavg: 4.02 3.36 3.89 5/273 23966
/proc/meminfo: memFree=129769408/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=64952 memory=23596 CPUtime=12.63 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 3972 0 0 0 1125 138 0 0 20 0 1 0 35349733 66510848 5899 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 16238 5899 2368 1147 0 3665 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 69144 KiB
Current children cumulated memory: 26668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 3.39 3.89 5/273 23966
/proc/meminfo: memFree=129764116/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=67524 memory=25828 CPUtime=25.4 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 7003 0 0 0 2296 244 0 0 20 0 1 0 35349733 69144576 6457 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 16881 6457 2368 1147 0 4308 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 71716 KiB
Current children cumulated memory: 28900 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 3.46 3.90 5/273 23967
/proc/meminfo: memFree=129741512/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=72420 memory=28148 CPUtime=50.94 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 12211 0 0 0 4660 434 0 0 20 0 1 0 35349733 74158080 7037 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 18105 7037 2368 1147 0 5532 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 76612 KiB
Current children cumulated memory: 31220 KiB
[startup+88.9812 s]
# the end of solver process 23963 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=81.8608 s, system=6.90142 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.09 3.46 3.90 5/273 23967
/proc/meminfo: memFree=129741512/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=72420 memory=28148 CPUtime=51.04 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 12211 0 0 0 4669 435 0 0 20 0 1 0 35349733 74158080 7037 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 18105 7037 2368 1147 0 5532 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 76612 KiB
Current children cumulated memory: 31220 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.07 3.49 3.91 5/273 23972
/proc/meminfo: memFree=129762556/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=74744 memory=30404 CPUtime=63.82 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 15158 0 0 0 5857 525 0 0 20 0 1 0 35349733 76537856 7601 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 18686 7601 2368 1147 0 6113 0
Current children cumulated CPU time: 63.83 s
Current children cumulated vsize: 78936 KiB
Current children cumulated memory: 33476 KiB
[startup+76.8002 s]
/proc/loadavg: 4.06 3.50 3.91 5/273 23972
/proc/meminfo: memFree=129753440/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=75912 memory=31888 CPUtime=76.58 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 17400 0 0 0 7046 612 0 0 20 0 1 0 35349733 77733888 7972 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 18978 7972 2368 1147 0 6405 0
Current children cumulated CPU time: 76.59 s
Current children cumulated vsize: 80104 KiB
Current children cumulated memory: 34960 KiB
[startup+83.2001 s]
/proc/loadavg: 4.05 3.51 3.91 5/272 23972
/proc/meminfo: memFree=129747896/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=76468 memory=32636 CPUtime=82.97 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 18386 0 0 0 7646 651 0 0 20 0 1 0 35349733 78303232 8159 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 19117 8159 2368 1147 0 6544 0
Current children cumulated CPU time: 82.98 s
Current children cumulated vsize: 80660 KiB
Current children cumulated memory: 35708 KiB
[startup+86.4002 s]
/proc/loadavg: 4.05 3.52 3.91 5/272 23972
/proc/meminfo: memFree=129746132/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=76496 memory=32640 CPUtime=86.16 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 18746 0 0 0 7945 671 0 0 20 0 1 0 35349733 78331904 8160 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 19124 8160 2368 1147 0 6551 0
Current children cumulated CPU time: 86.17 s
Current children cumulated vsize: 80688 KiB
Current children cumulated memory: 35712 KiB
[startup+88.0002 s]*
/proc/loadavg: 4.05 3.52 3.91 5/272 23972
/proc/meminfo: memFree=129746132/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=76132 memory=32404 CPUtime=87.77 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 18951 0 0 0 8095 682 0 0 20 0 1 0 35349733 77959168 8101 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 19033 8101 2368 1147 0 6460 0
Current children cumulated CPU time: 87.78 s
Current children cumulated vsize: 80324 KiB
Current children cumulated memory: 35476 KiB
[startup+88.4002 s]
/proc/loadavg: 4.05 3.52 3.91 5/272 23972
/proc/meminfo: memFree=129746132/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=76644 memory=32532 CPUtime=88.16 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 19010 0 0 0 8132 684 0 0 20 0 1 0 35349733 78483456 8133 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 19161 8133 2368 1147 0 6588 0
Current children cumulated CPU time: 88.17 s
Current children cumulated vsize: 80836 KiB
Current children cumulated memory: 35604 KiB
[startup+88.8002 s]
/proc/loadavg: 4.05 3.52 3.91 5/272 23972
/proc/meminfo: memFree=129746132/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=77276 memory=33172 CPUtime=88.56 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 19148 0 0 0 8168 688 0 0 20 0 1 0 35349733 79130624 8293 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 19319 8293 2368 1147 0 6746 0
Current children cumulated CPU time: 88.57 s
Current children cumulated vsize: 81468 KiB
Current children cumulated memory: 36244 KiB
[startup+88.9001 s]
/proc/loadavg: 4.05 3.52 3.91 5/272 23972
/proc/meminfo: memFree=129746132/131250000 swapFree=33010684/33010684
[pid=23963] ppid=23960 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23963/stat : 23963 (run-dec-break.s) S 23960 23963 23358 0 -1 4194304 235 640 0 0 0 0 1 0 20 0 1 0 35349731 4292608 768 18446744073709551615 94385907036160 94385907930693 140728220324992 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94385908169744 94385908217488 94385931042816 140728220326241 140728220326370 140728220326370 140728220331972 0
/proc/23963/statm: 1048 768 704 219 0 110 0
[pid=23966] ppid=23963 vsize=77276 memory=33172 CPUtime=88.65 cores=1,3
/proc/23966/stat : 23966 (roundingsat) R 23963 23963 23358 0 -1 4194304 19148 0 0 0 8177 688 0 0 20 0 1 0 35349733 79130624 8293 18446744073709551615 4227072 8923433 140721303356000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40116224 140721303361860 140721303362088 140721303362088 140721303367658 0
/proc/23966/statm: 19319 8293 2368 1147 0 6746 0
Current children cumulated CPU time: 88.66 s
Current children cumulated vsize: 81468 KiB
Current children cumulated memory: 36244 KiB
Child status: 0
Real time (s): 88.9812
CPU time (s): 88.7623
CPU user time (s): 81.8608
CPU system time (s): 6.90142
CPU usage (%): 99.754
Max. virtual memory (cumulated for all children) (KiB): 81468
Max. memory (cumulated for all children) (KiB): 36244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.8608
system time used= 6.90142
maximum resident set size= 33408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20046
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213
involuntary context switches= 198
# summary of solver processes directly reported to runsolver:
# pid: 23963
# total CPU time (s): 88.7623
# total CPU user time (s): 81.8608
# total CPU system time (s): 6.90142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.197896 second user time and 0.409281 second system time
The end
Begin job on nodeC019 at 2025-06-29 13:32:02
IDJOB=4510620
IDBENCH=160374
IDSOLVER=3357
FILE ID=nodeC019/4510620-1751196722
RUNJOBID= nodeC019-1751196526-23370
SLURM_JOB_ID= 9587609
Free space on /tmp= 433044 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510620-1751196722/watcher-4510620-1751196722 -o /tmp/evaluation-result-4510620-1751196722/solver-4510620-1751196722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23370 --watchdog 3760 run-dec-break.sh HOME/instance-4510620-1751196722.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6c6f54dbad76425fd68d4f6d2aa72935
RANDOM SEED=507608221
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.683
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.691
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3561.614
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3557.231
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.670
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.693
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3696.183
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3559.040
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129788572 kB
MemAvailable: 129619452 kB
Buffers: 3280 kB
Cached: 640696 kB
SwapCached: 0 kB
Active: 481008 kB
Inactive: 383944 kB
Active(anon): 239044 kB
Inactive(anon): 0 kB
Active(file): 241964 kB
Inactive(file): 383944 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7224 kB
Writeback: 0 kB
AnonPages: 223160 kB
Mapped: 112852 kB
Shmem: 18064 kB
KReclaimable: 88424 kB
Slab: 173756 kB
SReclaimable: 88424 kB
SUnreclaim: 85332 kB
KernelStack: 4416 kB
PageTables: 3616 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 568600 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 116736 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC019 at 2025-06-29 13:33:31