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-4511088-1751197972.opb'
0.00/0.01 c read 0.02MB (0.32ms)
0.00/0.01 c [cnf: #variables 801 #clauses 401 #duplicates 0 #arr 1602]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 480] (0.52ms)
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 (7.00ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 2804 #edges 6408]
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] (1.18ms)
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-4511088-1751197972.opb.pre'
0.00/0.02 c wrote 0.02MB (0.11ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 7.00ms 75.07% detect_special
0.00/0.02 c 1.18ms 12.62% detect_generic
0.00/0.02 c 0.52ms 5.58% approx_orbits
0.00/0.02 c 0.32ms 3.41% parse
0.00/0.02 c 0.11ms 1.18% output
0.00/0.02 c 0.09ms 0.99% other
0.00/0.02 c 0.06ms 0.64% break_generic
0.00/0.02 c 0.04ms 0.47% finalize_order
0.00/0.02 c 0.00ms 0.04% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 9.33ms 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 819 #constraints 858
0.00/0.04 c rational objective 400.5
0.18/0.30 c #Conflicts: 1000 | #Constraints: 1860
0.18/0.30 c #Conflicts: 2000 | #Constraints: 2860
0.18/0.30 c INPROCESSING
0.18/0.30 c GARBAGE COLLECT
0.18/0.30 c #Conflicts: 3000 | #Constraints: 2900
0.18/0.30 c #Conflicts: 4000 | #Constraints: 3901
0.18/0.30 c INPROCESSING
0.18/0.30 c GARBAGE COLLECT
0.18/0.30 c #Conflicts: 5000 | #Constraints: 3330
0.18/0.30 c #Conflicts: 6000 | #Constraints: 4330
0.18/0.30 c INPROCESSING
0.18/0.30 c GARBAGE COLLECT
0.18/0.30 c #Conflicts: 7000 | #Constraints: 3344
0.18/0.30 c #Conflicts: 8000 | #Constraints: 4344
0.18/0.30 c #Conflicts: 9000 | #Constraints: 5344
0.18/0.30 c INPROCESSING
0.18/0.30 c GARBAGE COLLECT
0.18/0.30 c rational objective 400.5
0.27/0.40 c #Conflicts: 10000 | #Constraints: 4055
0.27/0.40 c #Conflicts: 11000 | #Constraints: 5056
0.27/0.40 c #Conflicts: 12000 | #Constraints: 6056
0.27/0.40 c INPROCESSING
0.27/0.40 c GARBAGE COLLECT
0.27/0.40 c rational objective 400.5
0.37/0.50 c #Conflicts: 13000 | #Constraints: 4513
0.37/0.50 c #Conflicts: 14000 | #Constraints: 5513
0.37/0.50 c #Conflicts: 15000 | #Constraints: 6513
0.37/0.50 c INPROCESSING
0.37/0.50 c GARBAGE COLLECT
0.37/0.50 c rational objective 400.5
0.47/0.60 c #Conflicts: 16000 | #Constraints: 4739
0.47/0.60 c #Conflicts: 17000 | #Constraints: 5739
0.47/0.60 c #Conflicts: 18000 | #Constraints: 6739
0.47/0.60 c INPROCESSING
0.47/0.60 c GARBAGE COLLECT
0.47/0.60 c rational objective 400.5
0.66/0.70 c #Conflicts: 19000 | #Constraints: 4754
0.66/0.70 c #Conflicts: 20000 | #Constraints: 5754
0.66/0.70 c #Conflicts: 21000 | #Constraints: 6754
0.66/0.70 c INPROCESSING
0.66/0.70 c GARBAGE COLLECT
0.66/0.70 c rational objective 400.5
0.76/0.81 c #Conflicts: 22000 | #Constraints: 4557
0.76/0.81 c #Conflicts: 23000 | #Constraints: 5557
0.76/0.81 c #Conflicts: 24000 | #Constraints: 6557
0.76/0.81 c #Conflicts: 25000 | #Constraints: 7558
0.76/0.81 c INPROCESSING
0.76/0.81 c GARBAGE COLLECT
0.76/0.81 c rational objective 400.5
0.86/0.95 c #Conflicts: 26000 | #Constraints: 5167
0.86/0.95 c #Conflicts: 27000 | #Constraints: 6167
0.86/0.95 c #Conflicts: 28000 | #Constraints: 7167
0.86/0.95 c #Conflicts: 29000 | #Constraints: 8167
0.86/0.95 c INPROCESSING
0.86/0.95 c GARBAGE COLLECT
0.86/0.95 c rational objective 400.5
0.96/1.08 c #Conflicts: 30000 | #Constraints: 5567
0.96/1.08 c #Conflicts: 31000 | #Constraints: 6567
0.96/1.08 c #Conflicts: 32000 | #Constraints: 7567
0.96/1.08 c #Conflicts: 33000 | #Constraints: 8567
0.96/1.08 c INPROCESSING
0.96/1.08 c GARBAGE COLLECT
0.96/1.08 c rational objective 400.5
1.16/1.23 c #Conflicts: 34000 | #Constraints: 5772
1.16/1.23 c #Conflicts: 35000 | #Constraints: 6772
1.16/1.23 c #Conflicts: 36000 | #Constraints: 7772
1.16/1.23 c #Conflicts: 37000 | #Constraints: 8772
1.16/1.23 c INPROCESSING
1.16/1.23 c GARBAGE COLLECT
1.16/1.23 c rational objective 400.5
1.26/1.39 c #Conflicts: 38000 | #Constraints: 5777
1.26/1.39 c #Conflicts: 39000 | #Constraints: 6777
1.26/1.39 c #Conflicts: 40000 | #Constraints: 7777
1.26/1.39 c #Conflicts: 41000 | #Constraints: 8778
1.26/1.39 c INPROCESSING
1.26/1.39 c GARBAGE COLLECT
1.26/1.39 c rational objective 400.5
1.46/1.57 c #Conflicts: 42000 | #Constraints: 5588
1.46/1.57 c #Conflicts: 43000 | #Constraints: 6588
1.46/1.57 c #Conflicts: 44000 | #Constraints: 7588
1.46/1.57 c #Conflicts: 45000 | #Constraints: 8588
1.46/1.57 c #Conflicts: 46000 | #Constraints: 9588
1.46/1.57 c INPROCESSING
1.46/1.57 c GARBAGE COLLECT
1.46/1.57 c rational objective 400.5
1.66/1.77 c #Conflicts: 47000 | #Constraints: 6187
1.66/1.77 c #Conflicts: 48000 | #Constraints: 7187
1.66/1.77 c #Conflicts: 49000 | #Constraints: 8188
1.66/1.77 c #Conflicts: 50000 | #Constraints: 9188
1.66/1.77 c #Conflicts: 51000 | #Constraints: 10188
1.66/1.77 c INPROCESSING
1.66/1.77 c GARBAGE COLLECT
1.66/1.77 c rational objective 400.5
1.86/1.95 c #Conflicts: 52000 | #Constraints: 6585
1.86/1.95 c #Conflicts: 53000 | #Constraints: 7585
1.86/1.95 c #Conflicts: 54000 | #Constraints: 8585
1.86/1.95 c #Conflicts: 55000 | #Constraints: 9585
1.86/1.95 c #Conflicts: 56000 | #Constraints: 10585
1.86/1.95 c INPROCESSING
1.86/1.95 c GARBAGE COLLECT
1.86/1.95 c rational objective 400.5
2.06/2.14 c #Conflicts: 57000 | #Constraints: 6781
2.06/2.14 c #Conflicts: 58000 | #Constraints: 7781
2.06/2.14 c #Conflicts: 59000 | #Constraints: 8781
2.06/2.14 c #Conflicts: 60000 | #Constraints: 9781
2.06/2.14 c #Conflicts: 61000 | #Constraints: 10781
2.06/2.14 c INPROCESSING
2.06/2.14 c GARBAGE COLLECT
2.06/2.14 c rational objective 400.5
2.26/2.32 c #Conflicts: 62000 | #Constraints: 6785
2.26/2.32 c #Conflicts: 63000 | #Constraints: 7785
2.26/2.32 c #Conflicts: 64000 | #Constraints: 8785
2.26/2.32 c #Conflicts: 65000 | #Constraints: 9785
2.26/2.32 c #Conflicts: 66000 | #Constraints: 10785
2.26/2.32 c INPROCESSING
2.26/2.32 c GARBAGE COLLECT
2.26/2.32 c rational objective 400.5
2.46/2.53 c #Conflicts: 67000 | #Constraints: 6576
2.46/2.53 c #Conflicts: 68000 | #Constraints: 7576
2.46/2.53 c #Conflicts: 69000 | #Constraints: 8576
2.46/2.53 c #Conflicts: 70000 | #Constraints: 9576
2.46/2.53 c #Conflicts: 71000 | #Constraints: 10577
2.46/2.53 c #Conflicts: 72000 | #Constraints: 11577
2.46/2.53 c INPROCESSING
2.46/2.53 c GARBAGE COLLECT
2.46/2.53 c rational objective 400.5
2.66/2.74 c #Conflicts: 73000 | #Constraints: 7179
2.66/2.74 c #Conflicts: 74000 | #Constraints: 8179
2.66/2.74 c #Conflicts: 75000 | #Constraints: 9179
2.66/2.74 c #Conflicts: 76000 | #Constraints: 10179
2.66/2.74 c #Conflicts: 77000 | #Constraints: 11179
2.66/2.74 c #Conflicts: 78000 | #Constraints: 12179
2.66/2.74 c INPROCESSING
2.66/2.74 c GARBAGE COLLECT
2.66/2.74 c rational objective 400.5
2.85/2.98 c #Conflicts: 79000 | #Constraints: 7581
2.85/2.98 c #Conflicts: 80000 | #Constraints: 8581
2.85/2.98 c #Conflicts: 81000 | #Constraints: 9581
2.85/2.98 c #Conflicts: 82000 | #Constraints: 10581
2.85/2.98 c #Conflicts: 83000 | #Constraints: 11581
2.85/2.98 c #Conflicts: 84000 | #Constraints: 12581
2.85/2.98 c INPROCESSING
2.85/2.98 c GARBAGE COLLECT
2.85/2.98 c rational objective 400.5
3.15/3.24 c #Conflicts: 85000 | #Constraints: 7776
3.15/3.24 c #Conflicts: 86000 | #Constraints: 8776
3.15/3.24 c #Conflicts: 87000 | #Constraints: 9776
3.15/3.24 c #Conflicts: 88000 | #Constraints: 10776
3.15/3.24 c #Conflicts: 89000 | #Constraints: 11776
3.15/3.24 c #Conflicts: 90000 | #Constraints: 12776
3.15/3.24 c INPROCESSING
3.15/3.24 c GARBAGE COLLECT
3.15/3.24 c rational objective 400.5
3.45/3.55 c #Conflicts: 91000 | #Constraints: 7785
3.45/3.55 c #Conflicts: 92000 | #Constraints: 8785
3.45/3.55 c #Conflicts: 93000 | #Constraints: 9785
3.45/3.55 c #Conflicts: 94000 | #Constraints: 10785
3.45/3.55 c #Conflicts: 95000 | #Constraints: 11785
3.45/3.55 c #Conflicts: 96000 | #Constraints: 12786
3.45/3.55 c INPROCESSING
3.45/3.55 c GARBAGE COLLECT
3.45/3.55 c rational objective 400.5
3.66/3.79 c #Conflicts: 97000 | #Constraints: 7585
3.66/3.79 c #Conflicts: 98000 | #Constraints: 8585
3.66/3.79 c #Conflicts: 99000 | #Constraints: 9585
3.66/3.79 c #Conflicts: 100000 | #Constraints: 10585
3.66/3.79 c #Conflicts: 101000 | #Constraints: 11585
3.66/3.79 c #Conflicts: 102000 | #Constraints: 12585
3.66/3.79 c #Conflicts: 103000 | #Constraints: 13585
3.66/3.79 c INPROCESSING
3.66/3.79 c GARBAGE COLLECT
3.66/3.79 c rational objective 400.5
3.96/4.04 c #Conflicts: 104000 | #Constraints: 8187
3.96/4.04 c #Conflicts: 105000 | #Constraints: 9187
3.96/4.04 c #Conflicts: 106000 | #Constraints: 10187
3.96/4.04 c #Conflicts: 107000 | #Constraints: 11187
3.96/4.04 c #Conflicts: 108000 | #Constraints: 12187
3.96/4.04 c #Conflicts: 109000 | #Constraints: 13187
3.96/4.04 c #Conflicts: 110000 | #Constraints: 14187
3.96/4.04 c INPROCESSING
3.96/4.04 c GARBAGE COLLECT
3.96/4.04 c rational objective 400.5
4.15/4.29 c #Conflicts: 111000 | #Constraints: 8586
4.15/4.29 c #Conflicts: 112000 | #Constraints: 9586
4.15/4.29 c #Conflicts: 113000 | #Constraints: 10586
4.15/4.29 c #Conflicts: 114000 | #Constraints: 11586
4.15/4.29 c #Conflicts: 115000 | #Constraints: 12586
4.15/4.29 c #Conflicts: 116000 | #Constraints: 13586
4.15/4.29 c #Conflicts: 117000 | #Constraints: 14586
4.15/4.29 c INPROCESSING
4.15/4.29 c GARBAGE COLLECT
4.15/4.29 c rational objective 400.5
4.45/4.55 c #Conflicts: 118000 | #Constraints: 8779
4.45/4.55 c #Conflicts: 119000 | #Constraints: 9779
4.45/4.55 c #Conflicts: 120000 | #Constraints: 10779
4.45/4.55 c #Conflicts: 121000 | #Constraints: 11779
4.45/4.55 c #Conflicts: 122000 | #Constraints: 12779
4.45/4.55 c #Conflicts: 123000 | #Constraints: 13779
4.45/4.55 c #Conflicts: 124000 | #Constraints: 14779
4.45/4.55 c INPROCESSING
4.45/4.55 c GARBAGE COLLECT
4.45/4.55 c rational objective 400.5
4.75/4.82 c #Conflicts: 125000 | #Constraints: 8778
4.75/4.82 c #Conflicts: 126000 | #Constraints: 9778
4.75/4.82 c #Conflicts: 127000 | #Constraints: 10778
4.75/4.82 c #Conflicts: 128000 | #Constraints: 11778
4.75/4.82 c #Conflicts: 129000 | #Constraints: 12778
4.75/4.82 c #Conflicts: 130000 | #Constraints: 13778
4.75/4.82 c #Conflicts: 131000 | #Constraints: 14778
4.75/4.82 c INPROCESSING
4.75/4.82 c GARBAGE COLLECT
4.75/4.82 c rational objective 400.5
4.96/5.08 c #Conflicts: 132000 | #Constraints: 8576
4.96/5.08 c #Conflicts: 133000 | #Constraints: 9576
4.96/5.08 c #Conflicts: 134000 | #Constraints: 10576
4.96/5.08 c #Conflicts: 135000 | #Constraints: 11576
4.96/5.08 c #Conflicts: 136000 | #Constraints: 12576
4.96/5.08 c #Conflicts: 137000 | #Constraints: 13576
4.96/5.08 c #Conflicts: 138000 | #Constraints: 14576
4.96/5.08 c #Conflicts: 139000 | #Constraints: 15576
4.96/5.08 c INPROCESSING
4.96/5.08 c GARBAGE COLLECT
4.96/5.08 c rational objective 400.5
5.25/5.37 c #Conflicts: 140000 | #Constraints: 9185
5.25/5.37 c #Conflicts: 141000 | #Constraints: 10185
5.25/5.37 c #Conflicts: 142000 | #Constraints: 11185
5.25/5.37 c #Conflicts: 143000 | #Constraints: 12185
5.25/5.37 c #Conflicts: 144000 | #Constraints: 13185
5.25/5.37 c #Conflicts: 145000 | #Constraints: 14185
5.25/5.37 c #Conflicts: 146000 | #Constraints: 15185
5.25/5.37 c #Conflicts: 147000 | #Constraints: 16185
5.25/5.37 c INPROCESSING
5.25/5.37 c GARBAGE COLLECT
5.25/5.37 c rational objective 400.5
5.55/5.69 c #Conflicts: 148000 | #Constraints: 9588
5.55/5.69 c #Conflicts: 149000 | #Constraints: 10588
5.55/5.69 c #Conflicts: 150000 | #Constraints: 11588
5.55/5.69 c #Conflicts: 151000 | #Constraints: 12588
5.55/5.69 c #Conflicts: 152000 | #Constraints: 13588
5.55/5.69 c #Conflicts: 153000 | #Constraints: 14588
5.55/5.69 c #Conflicts: 154000 | #Constraints: 15588
5.55/5.69 c #Conflicts: 155000 | #Constraints: 16588
5.55/5.69 c INPROCESSING
5.55/5.69 c GARBAGE COLLECT
5.55/5.69 c rational objective 400.5
5.85/5.98 c #Conflicts: 156000 | #Constraints: 9784
5.85/5.98 c #Conflicts: 157000 | #Constraints: 10784
5.85/5.98 c #Conflicts: 158000 | #Constraints: 11784
5.85/5.98 c #Conflicts: 159000 | #Constraints: 12784
5.85/5.98 c #Conflicts: 160000 | #Constraints: 13784
5.85/5.98 c #Conflicts: 161000 | #Constraints: 14784
5.85/5.98 c #Conflicts: 162000 | #Constraints: 15784
5.85/5.98 c #Conflicts: 163000 | #Constraints: 16784
5.85/5.98 c INPROCESSING
5.85/5.98 c GARBAGE COLLECT
5.85/5.98 c rational objective 400.5
6.15/6.27 c #Conflicts: 164000 | #Constraints: 9785
6.15/6.27 c #Conflicts: 165000 | #Constraints: 10785
6.15/6.27 c #Conflicts: 166000 | #Constraints: 11785
6.15/6.27 c #Conflicts: 167000 | #Constraints: 12785
6.15/6.27 c #Conflicts: 168000 | #Constraints: 13785
6.15/6.27 c #Conflicts: 169000 | #Constraints: 14785
6.15/6.27 c #Conflicts: 170000 | #Constraints: 15785
6.15/6.27 c #Conflicts: 171000 | #Constraints: 16785
6.15/6.27 c INPROCESSING
6.15/6.27 c GARBAGE COLLECT
6.15/6.27 c rational objective 400.5
6.44/6.58 c #Conflicts: 172000 | #Constraints: 9585
6.44/6.58 c #Conflicts: 173000 | #Constraints: 10585
6.44/6.58 c #Conflicts: 174000 | #Constraints: 11585
6.44/6.58 c #Conflicts: 175000 | #Constraints: 12585
6.44/6.58 c #Conflicts: 176000 | #Constraints: 13585
6.44/6.58 c #Conflicts: 177000 | #Constraints: 14585
6.44/6.58 c #Conflicts: 178000 | #Constraints: 15585
6.44/6.58 c #Conflicts: 179000 | #Constraints: 16585
6.44/6.58 c #Conflicts: 180000 | #Constraints: 17585
6.44/6.58 c INPROCESSING
6.44/6.58 c GARBAGE COLLECT
6.44/6.58 c rational objective 400.5
6.85/6.92 c #Conflicts: 181000 | #Constraints: 10183
6.85/6.92 c #Conflicts: 182000 | #Constraints: 11183
6.85/6.92 c #Conflicts: 183000 | #Constraints: 12183
6.85/6.92 c #Conflicts: 184000 | #Constraints: 13183
6.85/6.92 c #Conflicts: 185000 | #Constraints: 14183
6.85/6.92 c #Conflicts: 186000 | #Constraints: 15184
6.85/6.92 c #Conflicts: 187000 | #Constraints: 16184
6.85/6.92 c #Conflicts: 188000 | #Constraints: 17184
6.85/6.92 c #Conflicts: 189000 | #Constraints: 18184
6.85/6.92 c INPROCESSING
6.85/6.92 c GARBAGE COLLECT
6.85/6.92 c rational objective 400.5
7.15/7.27 c #Conflicts: 190000 | #Constraints: 10590
7.15/7.27 c #Conflicts: 191000 | #Constraints: 11590
7.15/7.27 c #Conflicts: 192000 | #Constraints: 12590
7.15/7.27 c #Conflicts: 193000 | #Constraints: 13590
7.15/7.27 c #Conflicts: 194000 | #Constraints: 14590
7.15/7.27 c #Conflicts: 195000 | #Constraints: 15590
7.15/7.27 c #Conflicts: 196000 | #Constraints: 16590
7.15/7.27 c #Conflicts: 197000 | #Constraints: 17590
7.15/7.27 c #Conflicts: 198000 | #Constraints: 18590
7.15/7.27 c INPROCESSING
7.15/7.27 c GARBAGE COLLECT
7.15/7.27 c rational objective 400.5
7.54/7.61 c #Conflicts: 199000 | #Constraints: 10795
7.54/7.61 c #Conflicts: 200000 | #Constraints: 11795
7.54/7.61 c #Conflicts: 201000 | #Constraints: 12795
7.54/7.61 c #Conflicts: 202000 | #Constraints: 13795
7.54/7.61 c #Conflicts: 203000 | #Constraints: 14795
7.54/7.61 c #Conflicts: 204000 | #Constraints: 15795
7.54/7.61 c #Conflicts: 205000 | #Constraints: 16795
7.54/7.61 c #Conflicts: 206000 | #Constraints: 17795
7.54/7.61 c #Conflicts: 207000 | #Constraints: 18795
7.54/7.61 c INPROCESSING
7.54/7.61 c GARBAGE COLLECT
7.54/7.61 c rational objective 400.5
7.94/8.00 c #Conflicts: 208000 | #Constraints: 10798
7.94/8.00 c #Conflicts: 209000 | #Constraints: 11798
7.94/8.00 c #Conflicts: 210000 | #Constraints: 12798
7.94/8.00 c #Conflicts: 211000 | #Constraints: 13798
7.94/8.00 c #Conflicts: 212000 | #Constraints: 14798
7.94/8.00 c #Conflicts: 213000 | #Constraints: 15798
7.94/8.00 c #Conflicts: 214000 | #Constraints: 16798
7.94/8.00 c #Conflicts: 215000 | #Constraints: 17798
7.94/8.00 c #Conflicts: 216000 | #Constraints: 18798
7.94/8.00 c INPROCESSING
7.94/8.00 c GARBAGE COLLECT
7.94/8.00 c rational objective 400.5
8.24/8.34 c #Conflicts: 217000 | #Constraints: 10598
8.24/8.34 c #Conflicts: 218000 | #Constraints: 11598
8.24/8.34 c #Conflicts: 219000 | #Constraints: 12598
8.24/8.34 c #Conflicts: 220000 | #Constraints: 13598
8.24/8.34 c #Conflicts: 221000 | #Constraints: 14598
8.24/8.34 c #Conflicts: 222000 | #Constraints: 15598
8.24/8.34 c #Conflicts: 223000 | #Constraints: 16598
8.24/8.34 c #Conflicts: 224000 | #Constraints: 17598
8.24/8.34 c #Conflicts: 225000 | #Constraints: 18598
8.24/8.34 c #Conflicts: 226000 | #Constraints: 19598
8.24/8.34 c INPROCESSING
8.24/8.34 c GARBAGE COLLECT
8.24/8.34 c rational objective 400.5
8.65/8.72 c #Conflicts: 227000 | #Constraints: 11192
8.65/8.72 c #Conflicts: 228000 | #Constraints: 12192
8.65/8.72 c #Conflicts: 229000 | #Constraints: 13192
8.65/8.72 c #Conflicts: 230000 | #Constraints: 14192
8.65/8.72 c #Conflicts: 231000 | #Constraints: 15192
8.65/8.72 c #Conflicts: 232000 | #Constraints: 16192
8.65/8.72 c #Conflicts: 233000 | #Constraints: 17192
8.65/8.72 c #Conflicts: 234000 | #Constraints: 18193
8.65/8.72 c #Conflicts: 235000 | #Constraints: 19193
8.65/8.72 c #Conflicts: 236000 | #Constraints: 20193
8.65/8.72 c INPROCESSING
8.65/8.72 c GARBAGE COLLECT
8.65/8.72 c rational objective 400.5
8.95/9.05 c #Conflicts: 237000 | #Constraints: 11590
8.95/9.05 c #Conflicts: 238000 | #Constraints: 12590
8.95/9.05 c #Conflicts: 239000 | #Constraints: 13590
8.95/9.05 c #Conflicts: 240000 | #Constraints: 14590
8.95/9.05 c #Conflicts: 241000 | #Constraints: 15590
8.95/9.05 c #Conflicts: 242000 | #Constraints: 16590
8.95/9.05 c #Conflicts: 243000 | #Constraints: 17590
8.95/9.05 c #Conflicts: 244000 | #Constraints: 18590
8.95/9.05 c #Conflicts: 245000 | #Constraints: 19590
8.95/9.05 c #Conflicts: 246000 | #Constraints: 20590
8.95/9.05 c INPROCESSING
8.95/9.05 c GARBAGE COLLECT
8.95/9.05 c rational objective 400.5
9.34/9.41 c #Conflicts: 247000 | #Constraints: 11789
9.34/9.41 c #Conflicts: 248000 | #Constraints: 12789
9.34/9.41 c #Conflicts: 249000 | #Constraints: 13789
9.34/9.41 c #Conflicts: 250000 | #Constraints: 14789
9.34/9.41 c #Conflicts: 251000 | #Constraints: 15789
9.34/9.41 c #Conflicts: 252000 | #Constraints: 16789
9.34/9.41 c #Conflicts: 253000 | #Constraints: 17789
9.34/9.41 c #Conflicts: 254000 | #Constraints: 18789
9.34/9.41 c #Conflicts: 255000 | #Constraints: 19789
9.34/9.41 c #Conflicts: 256000 | #Constraints: 20789
9.34/9.41 c INPROCESSING
9.34/9.41 c GARBAGE COLLECT
9.34/9.41 c rational objective 400.5
9.64/9.79 c #Conflicts: 257000 | #Constraints: 11785
9.64/9.79 c #Conflicts: 258000 | #Constraints: 12785
9.64/9.79 c #Conflicts: 259000 | #Constraints: 13785
9.64/9.79 c #Conflicts: 260000 | #Constraints: 14785
9.64/9.79 c #Conflicts: 261000 | #Constraints: 15785
9.64/9.79 c #Conflicts: 262000 | #Constraints: 16785
9.64/9.79 c #Conflicts: 263000 | #Constraints: 17785
9.64/9.79 c #Conflicts: 264000 | #Constraints: 18785
9.64/9.79 c #Conflicts: 265000 | #Constraints: 19785
9.64/9.79 c #Conflicts: 266000 | #Constraints: 20785
9.64/9.79 c INPROCESSING
9.64/9.79 c GARBAGE COLLECT
9.64/9.79 c rational objective 400.5
10.14/10.22 c #Conflicts: 267000 | #Constraints: 11594
10.14/10.22 c #Conflicts: 268000 | #Constraints: 12594
10.14/10.22 c #Conflicts: 269000 | #Constraints: 13594
10.14/10.22 c #Conflicts: 270000 | #Constraints: 14594
10.14/10.22 c #Conflicts: 271000 | #Constraints: 15594
10.14/10.22 c #Conflicts: 272000 | #Constraints: 16594
10.14/10.22 c #Conflicts: 273000 | #Constraints: 17594
10.14/10.22 c #Conflicts: 274000 | #Constraints: 18594
10.14/10.22 c #Conflicts: 275000 | #Constraints: 19594
10.14/10.22 c #Conflicts: 276000 | #Constraints: 20594
10.14/10.22 c #Conflicts: 277000 | #Constraints: 21594
10.14/10.22 c INPROCESSING
10.14/10.22 c GARBAGE COLLECT
10.14/10.22 c rational objective 400.5
10.44/10.58 c #Conflicts: 278000 | #Constraints: 12192
10.44/10.58 c #Conflicts: 279000 | #Constraints: 13192
10.44/10.58 c #Conflicts: 280000 | #Constraints: 14192
10.44/10.58 c #Conflicts: 281000 | #Constraints: 15192
10.44/10.58 c #Conflicts: 282000 | #Constraints: 16192
10.44/10.58 c #Conflicts: 283000 | #Constraints: 17192
10.44/10.58 c #Conflicts: 284000 | #Constraints: 18192
10.44/10.58 c #Conflicts: 285000 | #Constraints: 19192
10.44/10.58 c #Conflicts: 286000 | #Constraints: 20192
10.44/10.58 c #Conflicts: 287000 | #Constraints: 21192
10.44/10.58 c #Conflicts: 288000 | #Constraints: 22192
10.44/10.58 c INPROCESSING
10.44/10.58 c GARBAGE COLLECT
10.44/10.58 c rational objective 400.5
10.84/10.98 c #Conflicts: 289000 | #Constraints: 12593
10.84/10.98 c #Conflicts: 290000 | #Constraints: 13593
10.84/10.98 c #Conflicts: 291000 | #Constraints: 14593
10.84/10.98 c #Conflicts: 292000 | #Constraints: 15593
10.84/10.98 c #Conflicts: 293000 | #Constraints: 16593
10.84/10.98 c #Conflicts: 294000 | #Constraints: 17593
10.84/10.98 c #Conflicts: 295000 | #Constraints: 18593
10.84/10.98 c #Conflicts: 296000 | #Constraints: 19593
10.84/10.98 c #Conflicts: 297000 | #Constraints: 20593
10.84/10.98 c #Conflicts: 298000 | #Constraints: 21593
10.84/10.98 c #Conflicts: 299000 | #Constraints: 22593
10.84/10.98 c INPROCESSING
10.84/10.98 c GARBAGE COLLECT
10.84/10.98 c rational objective 400.5
11.23/11.35 c #Conflicts: 300000 | #Constraints: 12788
11.23/11.35 c #Conflicts: 301000 | #Constraints: 13788
11.23/11.35 c #Conflicts: 302000 | #Constraints: 14788
11.23/11.35 c #Conflicts: 303000 | #Constraints: 15788
11.23/11.35 c #Conflicts: 304000 | #Constraints: 16788
11.23/11.35 c #Conflicts: 305000 | #Constraints: 17788
11.23/11.35 c #Conflicts: 306000 | #Constraints: 18788
11.23/11.35 c #Conflicts: 307000 | #Constraints: 19788
11.23/11.35 c #Conflicts: 308000 | #Constraints: 20788
11.23/11.35 c #Conflicts: 309000 | #Constraints: 21788
11.23/11.35 c #Conflicts: 310000 | #Constraints: 22788
11.23/11.35 c INPROCESSING
11.23/11.35 c GARBAGE COLLECT
11.23/11.35 c rational objective 400.5
11.63/11.79 c #Conflicts: 311000 | #Constraints: 12798
11.63/11.79 c #Conflicts: 312000 | #Constraints: 13798
11.63/11.79 c #Conflicts: 313000 | #Constraints: 14798
11.63/11.79 c #Conflicts: 314000 | #Constraints: 15798
11.63/11.79 c #Conflicts: 315000 | #Constraints: 16798
11.63/11.79 c #Conflicts: 316000 | #Constraints: 17798
11.63/11.79 c #Conflicts: 317000 | #Constraints: 18798
11.63/11.79 c #Conflicts: 318000 | #Constraints: 19798
11.63/11.79 c #Conflicts: 319000 | #Constraints: 20798
11.63/11.79 c #Conflicts: 320000 | #Constraints: 21798
11.63/11.79 c #Conflicts: 321000 | #Constraints: 22798
11.63/11.79 c INPROCESSING
11.63/11.79 c GARBAGE COLLECT
11.63/11.79 c rational objective 400.5
12.14/12.22 c #Conflicts: 322000 | #Constraints: 12599
12.14/12.22 c #Conflicts: 323000 | #Constraints: 13599
12.14/12.22 c #Conflicts: 324000 | #Constraints: 14599
12.14/12.22 c #Conflicts: 325000 | #Constraints: 15599
12.14/12.22 c #Conflicts: 326000 | #Constraints: 16599
12.14/12.22 c #Conflicts: 327000 | #Constraints: 17599
12.14/12.22 c #Conflicts: 328000 | #Constraints: 18599
12.14/12.22 c #Conflicts: 329000 | #Constraints: 19599
12.14/12.22 c #Conflicts: 330000 | #Constraints: 20599
12.14/12.22 c #Conflicts: 331000 | #Constraints: 21599
12.14/12.22 c #Conflicts: 332000 | #Constraints: 22599
12.14/12.22 c #Conflicts: 333000 | #Constraints: 23599
12.14/12.22 c INPROCESSING
12.14/12.22 c GARBAGE COLLECT
12.14/12.22 c rational objective 400.5
12.53/12.62 c #Conflicts: 334000 | #Constraints: 13194
12.53/12.62 c #Conflicts: 335000 | #Constraints: 14194
12.53/12.62 c #Conflicts: 336000 | #Constraints: 15194
12.53/12.62 c #Conflicts: 337000 | #Constraints: 16194
12.53/12.62 c #Conflicts: 338000 | #Constraints: 17194
12.53/12.62 c #Conflicts: 339000 | #Constraints: 18194
12.53/12.62 c #Conflicts: 340000 | #Constraints: 19194
12.53/12.62 c #Conflicts: 341000 | #Constraints: 20194
12.53/12.62 c #Conflicts: 342000 | #Constraints: 21194
12.53/12.62 c #Conflicts: 343000 | #Constraints: 22194
12.53/12.62 c #Conflicts: 344000 | #Constraints: 23194
12.53/12.62 c #Conflicts: 345000 | #Constraints: 24194
12.53/12.62 c INPROCESSING
12.53/12.62 c GARBAGE COLLECT
12.53/12.62 c rational objective 400.5
12.93/13.05 c #Conflicts: 346000 | #Constraints: 13611
12.93/13.05 c #Conflicts: 347000 | #Constraints: 14611
12.93/13.05 c #Conflicts: 348000 | #Constraints: 15611
12.93/13.05 c #Conflicts: 349000 | #Constraints: 16611
12.93/13.05 c #Conflicts: 350000 | #Constraints: 17611
12.93/13.05 c #Conflicts: 351000 | #Constraints: 18611
12.93/13.05 c #Conflicts: 352000 | #Constraints: 19611
12.93/13.05 c #Conflicts: 353000 | #Constraints: 20611
12.93/13.05 c #Conflicts: 354000 | #Constraints: 21611
12.93/13.05 c #Conflicts: 355000 | #Constraints: 22611
12.93/13.05 c #Conflicts: 356000 | #Constraints: 23611
12.93/13.05 c #Conflicts: 357000 | #Constraints: 24611
12.93/13.05 c INPROCESSING
12.93/13.05 c GARBAGE COLLECT
12.93/13.05 c rational objective 400.5
13.33/13.44 c #Conflicts: 358000 | #Constraints: 13795
13.33/13.44 c #Conflicts: 359000 | #Constraints: 14795
13.33/13.44 c #Conflicts: 360000 | #Constraints: 15795
13.33/13.44 c #Conflicts: 361000 | #Constraints: 16795
13.33/13.44 c #Conflicts: 362000 | #Constraints: 17795
13.33/13.44 c #Conflicts: 363000 | #Constraints: 18795
13.33/13.44 c #Conflicts: 364000 | #Constraints: 19795
13.33/13.44 c #Conflicts: 365000 | #Constraints: 20795
13.33/13.44 c #Conflicts: 366000 | #Constraints: 21795
13.33/13.44 c #Conflicts: 367000 | #Constraints: 22795
13.33/13.44 c #Conflicts: 368000 | #Constraints: 23795
13.33/13.44 c #Conflicts: 369000 | #Constraints: 24795
13.33/13.44 c INPROCESSING
13.33/13.44 c GARBAGE COLLECT
13.33/13.44 c rational objective 400.5
13.73/13.87 c #Conflicts: 370000 | #Constraints: 13797
13.73/13.87 c #Conflicts: 371000 | #Constraints: 14797
13.73/13.87 c #Conflicts: 372000 | #Constraints: 15797
13.73/13.87 c #Conflicts: 373000 | #Constraints: 16797
13.73/13.87 c #Conflicts: 374000 | #Constraints: 17797
13.73/13.87 c #Conflicts: 375000 | #Constraints: 18797
13.73/13.87 c #Conflicts: 376000 | #Constraints: 19797
13.73/13.87 c #Conflicts: 377000 | #Constraints: 20797
13.73/13.87 c #Conflicts: 378000 | #Constraints: 21797
13.73/13.87 c #Conflicts: 379000 | #Constraints: 22797
13.73/13.87 c #Conflicts: 380000 | #Constraints: 23797
13.73/13.87 c #Conflicts: 381000 | #Constraints: 24797
13.73/13.87 c INPROCESSING
13.73/13.87 c GARBAGE COLLECT
13.73/13.87 c rational objective 400.5
14.23/14.30 c #Conflicts: 382000 | #Constraints: 13599
14.23/14.30 c #Conflicts: 383000 | #Constraints: 14599
14.23/14.30 c #Conflicts: 384000 | #Constraints: 15599
14.23/14.30 c #Conflicts: 385000 | #Constraints: 16600
14.23/14.30 c #Conflicts: 386000 | #Constraints: 17600
14.23/14.30 c #Conflicts: 387000 | #Constraints: 18600
14.23/14.30 c #Conflicts: 388000 | #Constraints: 19600
14.23/14.30 c #Conflicts: 389000 | #Constraints: 20600
14.23/14.30 c #Conflicts: 390000 | #Constraints: 21600
14.23/14.30 c #Conflicts: 391000 | #Constraints: 22600
14.23/14.30 c #Conflicts: 392000 | #Constraints: 23600
14.23/14.30 c #Conflicts: 393000 | #Constraints: 24600
14.23/14.30 c #Conflicts: 394000 | #Constraints: 25600
14.23/14.30 c INPROCESSING
14.23/14.30 c GARBAGE COLLECT
14.23/14.30 c rational objective 400.5
14.63/14.73 c #Conflicts: 395000 | #Constraints: 14205
14.63/14.73 c #Conflicts: 396000 | #Constraints: 15205
14.63/14.73 c #Conflicts: 397000 | #Constraints: 16205
14.63/14.73 c #Conflicts: 398000 | #Constraints: 17205
14.63/14.73 c #Conflicts: 399000 | #Constraints: 18205
14.63/14.73 c #Conflicts: 400000 | #Constraints: 19205
14.63/14.73 c #Conflicts: 401000 | #Constraints: 20205
14.63/14.73 c #Conflicts: 402000 | #Constraints: 21205
14.63/14.73 c #Conflicts: 403000 | #Constraints: 22205
14.63/14.73 c #Conflicts: 404000 | #Constraints: 23205
14.63/14.73 c #Conflicts: 405000 | #Constraints: 24205
14.63/14.73 c #Conflicts: 406000 | #Constraints: 25205
14.63/14.73 c #Conflicts: 407000 | #Constraints: 26205
14.63/14.73 c INPROCESSING
14.63/14.73 c GARBAGE COLLECT
14.63/14.73 c rational objective 400.5
15.03/15.19 c #Conflicts: 408000 | #Constraints: 14602
15.03/15.19 c #Conflicts: 409000 | #Constraints: 15602
15.03/15.19 c #Conflicts: 410000 | #Constraints: 16602
15.03/15.19 c #Conflicts: 411000 | #Constraints: 17602
15.03/15.19 c #Conflicts: 412000 | #Constraints: 18602
15.03/15.19 c #Conflicts: 413000 | #Constraints: 19602
15.03/15.19 c #Conflicts: 414000 | #Constraints: 20602
15.03/15.19 c #Conflicts: 415000 | #Constraints: 21602
15.03/15.19 c #Conflicts: 416000 | #Constraints: 22602
15.03/15.19 c #Conflicts: 417000 | #Constraints: 23602
15.03/15.19 c #Conflicts: 418000 | #Constraints: 24602
15.03/15.19 c #Conflicts: 419000 | #Constraints: 25602
15.03/15.19 c #Conflicts: 420000 | #Constraints: 26602
15.03/15.19 c INPROCESSING
15.03/15.19 c GARBAGE COLLECT
15.03/15.19 c rational objective 400.5
15.52/15.67 c #Conflicts: 421000 | #Constraints: 14800
15.52/15.67 c #Conflicts: 422000 | #Constraints: 15800
15.52/15.67 c #Conflicts: 423000 | #Constraints: 16800
15.52/15.67 c #Conflicts: 424000 | #Constraints: 17800
15.52/15.67 c #Conflicts: 425000 | #Constraints: 18800
15.52/15.67 c #Conflicts: 426000 | #Constraints: 19800
15.52/15.67 c #Conflicts: 427000 | #Constraints: 20800
15.52/15.67 c #Conflicts: 428000 | #Constraints: 21800
15.52/15.67 c #Conflicts: 429000 | #Constraints: 22800
15.52/15.67 c #Conflicts: 430000 | #Constraints: 23800
15.52/15.67 c #Conflicts: 431000 | #Constraints: 24800
15.52/15.67 c #Conflicts: 432000 | #Constraints: 25800
15.52/15.67 c #Conflicts: 433000 | #Constraints: 26800
15.52/15.67 c INPROCESSING
15.52/15.67 c GARBAGE COLLECT
15.52/15.67 c rational objective 400.5
16.03/16.19 c #Conflicts: 434000 | #Constraints: 14804
16.03/16.19 c #Conflicts: 435000 | #Constraints: 15804
16.03/16.19 c #Conflicts: 436000 | #Constraints: 16804
16.03/16.19 c #Conflicts: 437000 | #Constraints: 17804
16.03/16.19 c #Conflicts: 438000 | #Constraints: 18804
16.03/16.19 c #Conflicts: 439000 | #Constraints: 19804
16.03/16.19 c #Conflicts: 440000 | #Constraints: 20804
16.03/16.19 c #Conflicts: 441000 | #Constraints: 21804
16.03/16.19 c #Conflicts: 442000 | #Constraints: 22804
16.03/16.19 c #Conflicts: 443000 | #Constraints: 23804
16.03/16.19 c #Conflicts: 444000 | #Constraints: 24804
16.03/16.19 c #Conflicts: 445000 | #Constraints: 25804
16.03/16.19 c #Conflicts: 446000 | #Constraints: 26804
16.03/16.19 c INPROCESSING
16.03/16.19 c GARBAGE COLLECT
16.03/16.19 c rational objective 400.5
16.62/16.72 c #Conflicts: 447000 | #Constraints: 14604
16.62/16.72 c #Conflicts: 448000 | #Constraints: 15604
16.62/16.72 c #Conflicts: 449000 | #Constraints: 16604
16.62/16.72 c #Conflicts: 450000 | #Constraints: 17604
16.62/16.72 c #Conflicts: 451000 | #Constraints: 18604
16.62/16.72 c #Conflicts: 452000 | #Constraints: 19604
16.62/16.72 c #Conflicts: 453000 | #Constraints: 20604
16.62/16.72 c #Conflicts: 454000 | #Constraints: 21604
16.62/16.72 c #Conflicts: 455000 | #Constraints: 22604
16.62/16.72 c #Conflicts: 456000 | #Constraints: 23604
16.62/16.72 c #Conflicts: 457000 | #Constraints: 24604
16.62/16.72 c #Conflicts: 458000 | #Constraints: 25604
16.62/16.72 c #Conflicts: 459000 | #Constraints: 26604
16.62/16.72 c #Conflicts: 460000 | #Constraints: 27604
16.62/16.72 c INPROCESSING
16.62/16.72 c GARBAGE COLLECT
16.62/16.72 c rational objective 400.5
17.22/17.31 c #Conflicts: 461000 | #Constraints: 15214
17.22/17.31 c #Conflicts: 462000 | #Constraints: 16214
17.22/17.31 c #Conflicts: 463000 | #Constraints: 17214
17.22/17.31 c #Conflicts: 464000 | #Constraints: 18214
17.22/17.31 c #Conflicts: 465000 | #Constraints: 19214
17.22/17.31 c #Conflicts: 466000 | #Constraints: 20214
17.22/17.31 c #Conflicts: 467000 | #Constraints: 21214
17.22/17.31 c #Conflicts: 468000 | #Constraints: 22214
17.22/17.31 c #Conflicts: 469000 | #Constraints: 23214
17.22/17.31 c #Conflicts: 470000 | #Constraints: 24214
17.22/17.31 c #Conflicts: 471000 | #Constraints: 25214
17.22/17.31 c #Conflicts: 472000 | #Constraints: 26214
17.22/17.31 c #Conflicts: 473000 | #Constraints: 27214
17.22/17.31 c #Conflicts: 474000 | #Constraints: 28214
17.22/17.31 c INPROCESSING
17.22/17.31 c GARBAGE COLLECT
17.22/17.31 c rational objective 400.5
17.72/17.81 c #Conflicts: 475000 | #Constraints: 15611
17.72/17.81 c #Conflicts: 476000 | #Constraints: 16611
17.72/17.81 c #Conflicts: 477000 | #Constraints: 17611
17.72/17.81 c #Conflicts: 478000 | #Constraints: 18611
17.72/17.81 c #Conflicts: 479000 | #Constraints: 19611
17.72/17.81 c #Conflicts: 480000 | #Constraints: 20611
17.72/17.81 c #Conflicts: 481000 | #Constraints: 21611
17.72/17.81 c #Conflicts: 482000 | #Constraints: 22611
17.72/17.81 c #Conflicts: 483000 | #Constraints: 23611
17.72/17.81 c #Conflicts: 484000 | #Constraints: 24611
17.72/17.81 c #Conflicts: 485000 | #Constraints: 25611
17.72/17.81 c #Conflicts: 486000 | #Constraints: 26611
17.72/17.81 c #Conflicts: 487000 | #Constraints: 27611
17.72/17.81 c #Conflicts: 488000 | #Constraints: 28611
17.72/17.81 c INPROCESSING
17.72/17.81 c GARBAGE COLLECT
17.72/17.81 c rational objective 400.5
18.22/18.35 c #Conflicts: 489000 | #Constraints: 15812
18.22/18.35 c #Conflicts: 490000 | #Constraints: 16812
18.22/18.35 c #Conflicts: 491000 | #Constraints: 17812
18.22/18.35 c #Conflicts: 492000 | #Constraints: 18812
18.22/18.35 c #Conflicts: 493000 | #Constraints: 19812
18.22/18.35 c #Conflicts: 494000 | #Constraints: 20812
18.22/18.35 c #Conflicts: 495000 | #Constraints: 21812
18.22/18.35 c #Conflicts: 496000 | #Constraints: 22812
18.22/18.35 c #Conflicts: 497000 | #Constraints: 23812
18.22/18.35 c #Conflicts: 498000 | #Constraints: 24812
18.22/18.35 c #Conflicts: 499000 | #Constraints: 25812
18.22/18.35 c #Conflicts: 500000 | #Constraints: 26812
18.22/18.35 c #Conflicts: 501000 | #Constraints: 27812
18.22/18.35 c #Conflicts: 502000 | #Constraints: 28812
18.22/18.35 c INPROCESSING
18.22/18.35 c GARBAGE COLLECT
18.22/18.35 c rational objective 400.5
18.71/18.85 c #Conflicts: 503000 | #Constraints: 15804
18.71/18.85 c #Conflicts: 504000 | #Constraints: 16804
18.71/18.85 c #Conflicts: 505000 | #Constraints: 17804
18.71/18.85 c #Conflicts: 506000 | #Constraints: 18804
18.71/18.85 c #Conflicts: 507000 | #Constraints: 19804
18.71/18.85 c #Conflicts: 508000 | #Constraints: 20804
18.71/18.85 c #Conflicts: 509000 | #Constraints: 21804
18.71/18.85 c #Conflicts: 510000 | #Constraints: 22804
18.71/18.85 c #Conflicts: 511000 | #Constraints: 23804
18.71/18.85 c #Conflicts: 512000 | #Constraints: 24804
18.71/18.85 c #Conflicts: 513000 | #Constraints: 25804
18.71/18.85 c #Conflicts: 514000 | #Constraints: 26804
18.71/18.85 c #Conflicts: 515000 | #Constraints: 27804
18.71/18.85 c #Conflicts: 516000 | #Constraints: 28804
18.71/18.85 c INPROCESSING
18.71/18.85 c GARBAGE COLLECT
18.71/18.85 c rational objective 400.5
19.21/19.34 c #Conflicts: 517000 | #Constraints: 15603
19.21/19.34 c #Conflicts: 518000 | #Constraints: 16603
19.21/19.34 c #Conflicts: 519000 | #Constraints: 17603
19.21/19.34 c #Conflicts: 520000 | #Constraints: 18603
19.21/19.34 c #Conflicts: 521000 | #Constraints: 19603
19.21/19.34 c #Conflicts: 522000 | #Constraints: 20603
19.21/19.34 c #Conflicts: 523000 | #Constraints: 21603
19.21/19.34 c #Conflicts: 524000 | #Constraints: 22603
19.21/19.34 c #Conflicts: 525000 | #Constraints: 23603
19.21/19.34 c #Conflicts: 526000 | #Constraints: 24603
19.21/19.34 c #Conflicts: 527000 | #Constraints: 25603
19.21/19.34 c #Conflicts: 528000 | #Constraints: 26603
19.21/19.34 c #Conflicts: 529000 | #Constraints: 27603
19.21/19.34 c #Conflicts: 530000 | #Constraints: 28603
19.21/19.34 c #Conflicts: 531000 | #Constraints: 29603
19.21/19.34 c INPROCESSING
19.21/19.34 c GARBAGE COLLECT
19.21/19.34 c rational objective 400.5
19.62/19.79 c #Conflicts: 532000 | #Constraints: 16214
19.62/19.79 c #Conflicts: 533000 | #Constraints: 17214
19.62/19.79 c #Conflicts: 534000 | #Constraints: 18214
19.62/19.79 c #Conflicts: 535000 | #Constraints: 19214
19.62/19.79 c #Conflicts: 536000 | #Constraints: 20214
19.62/19.79 c #Conflicts: 537000 | #Constraints: 21214
19.62/19.79 c #Conflicts: 538000 | #Constraints: 22214
19.62/19.79 c #Conflicts: 539000 | #Constraints: 23214
19.62/19.79 c #Conflicts: 540000 | #Constraints: 24214
19.62/19.79 c #Conflicts: 541000 | #Constraints: 25214
19.62/19.79 c #Conflicts: 542000 | #Constraints: 26214
19.62/19.79 c #Conflicts: 543000 | #Constraints: 27214
19.62/19.79 c #Conflicts: 544000 | #Constraints: 28214
19.62/19.79 c #Conflicts: 545000 | #Constraints: 29214
19.62/19.79 c #Conflicts: 546000 | #Constraints: 30214
19.62/19.79 c INPROCESSING
19.62/19.79 c GARBAGE COLLECT
19.62/19.79 c rational objective 400.5
20.22/20.32 c #Conflicts: 547000 | #Constraints: 16621
20.22/20.32 c #Conflicts: 548000 | #Constraints: 17621
20.22/20.32 c #Conflicts: 549000 | #Constraints: 18621
20.22/20.32 c #Conflicts: 550000 | #Constraints: 19621
20.22/20.32 c #Conflicts: 551000 | #Constraints: 20621
20.22/20.32 c #Conflicts: 552000 | #Constraints: 21621
20.22/20.32 c #Conflicts: 553000 | #Constraints: 22621
20.22/20.32 c #Conflicts: 554000 | #Constraints: 23621
20.22/20.32 c #Conflicts: 555000 | #Constraints: 24621
20.22/20.32 c #Conflicts: 556000 | #Constraints: 25621
20.22/20.32 c #Conflicts: 557000 | #Constraints: 26621
20.22/20.32 c #Conflicts: 558000 | #Constraints: 27621
20.22/20.32 c #Conflicts: 559000 | #Constraints: 28621
20.22/20.32 c #Conflicts: 560000 | #Constraints: 29621
20.22/20.32 c #Conflicts: 561000 | #Constraints: 30621
20.22/20.32 c INPROCESSING
20.22/20.32 c GARBAGE COLLECT
20.22/20.32 c rational objective 400.5
20.72/20.81 c #Conflicts: 562000 | #Constraints: 16817
20.72/20.81 c #Conflicts: 563000 | #Constraints: 17817
20.72/20.81 c #Conflicts: 564000 | #Constraints: 18817
20.72/20.81 c #Conflicts: 565000 | #Constraints: 19817
20.72/20.81 c #Conflicts: 566000 | #Constraints: 20817
20.72/20.81 c #Conflicts: 567000 | #Constraints: 21817
20.72/20.81 c #Conflicts: 568000 | #Constraints: 22817
20.72/20.81 c #Conflicts: 569000 | #Constraints: 23817
20.72/20.81 c #Conflicts: 570000 | #Constraints: 24817
20.72/20.81 c #Conflicts: 571000 | #Constraints: 25817
20.72/20.81 c #Conflicts: 572000 | #Constraints: 26817
20.72/20.81 c #Conflicts: 573000 | #Constraints: 27817
20.72/20.81 c #Conflicts: 574000 | #Constraints: 28817
20.72/20.81 c #Conflicts: 575000 | #Constraints: 29817
20.72/20.81 c #Conflicts: 576000 | #Constraints: 30817
20.72/20.81 c INPROCESSING
20.72/20.81 c GARBAGE COLLECT
20.72/20.81 c rational objective 400.5
21.21/21.30 c #Conflicts: 577000 | #Constraints: 16817
21.21/21.30 c #Conflicts: 578000 | #Constraints: 17817
21.21/21.30 c #Conflicts: 579000 | #Constraints: 18817
21.21/21.30 c #Conflicts: 580000 | #Constraints: 19817
21.21/21.30 c #Conflicts: 581000 | #Constraints: 20817
21.21/21.30 c #Conflicts: 582000 | #Constraints: 21817
21.21/21.30 c #Conflicts: 583000 | #Constraints: 22817
21.21/21.30 c #Conflicts: 584000 | #Constraints: 23817
21.21/21.30 c #Conflicts: 585000 | #Constraints: 24817
21.21/21.30 c #Conflicts: 586000 | #Constraints: 25817
21.21/21.30 c #Conflicts: 587000 | #Constraints: 26817
21.21/21.30 c #Conflicts: 588000 | #Constraints: 27817
21.21/21.30 c #Conflicts: 589000 | #Constraints: 28817
21.21/21.30 c #Conflicts: 590000 | #Constraints: 29817
21.21/21.30 c #Conflicts: 591000 | #Constraints: 30817
21.21/21.30 c INPROCESSING
21.21/21.30 c GARBAGE COLLECT
21.21/21.30 c rational objective 400.5
21.71/21.89 c #Conflicts: 592000 | #Constraints: 16612
21.71/21.89 c #Conflicts: 593000 | #Constraints: 17612
21.71/21.89 c #Conflicts: 594000 | #Constraints: 18612
21.71/21.89 c #Conflicts: 595000 | #Constraints: 19612
21.71/21.89 c #Conflicts: 596000 | #Constraints: 20612
21.71/21.89 c #Conflicts: 597000 | #Constraints: 21612
21.71/21.89 c #Conflicts: 598000 | #Constraints: 22612
21.71/21.89 c #Conflicts: 599000 | #Constraints: 23612
21.71/21.89 c #Conflicts: 600000 | #Constraints: 24612
21.71/21.89 c #Conflicts: 601000 | #Constraints: 25612
21.71/21.89 c #Conflicts: 602000 | #Constraints: 26612
21.71/21.89 c #Conflicts: 603000 | #Constraints: 27612
21.71/21.89 c #Conflicts: 604000 | #Constraints: 28612
21.71/21.89 c #Conflicts: 605000 | #Constraints: 29612
21.71/21.89 c #Conflicts: 606000 | #Constraints: 30612
21.71/21.89 c #Conflicts: 607000 | #Constraints: 31612
21.71/21.89 c INPROCESSING
21.71/21.89 c GARBAGE COLLECT
21.71/21.89 c rational objective 400.5
22.31/22.40 c #Conflicts: 608000 | #Constraints: 17226
22.31/22.40 c #Conflicts: 609000 | #Constraints: 18226
22.31/22.40 c #Conflicts: 610000 | #Constraints: 19226
22.31/22.40 c #Conflicts: 611000 | #Constraints: 20226
22.31/22.40 c #Conflicts: 612000 | #Constraints: 21226
22.31/22.40 c #Conflicts: 613000 | #Constraints: 22226
22.31/22.40 c #Conflicts: 614000 | #Constraints: 23226
22.31/22.40 c #Conflicts: 615000 | #Constraints: 24226
22.31/22.40 c #Conflicts: 616000 | #Constraints: 25226
22.31/22.40 c #Conflicts: 617000 | #Constraints: 26226
22.31/22.40 c #Conflicts: 618000 | #Constraints: 27226
22.31/22.40 c #Conflicts: 619000 | #Constraints: 28226
22.31/22.40 c #Conflicts: 620000 | #Constraints: 29226
22.31/22.40 c #Conflicts: 621000 | #Constraints: 30226
22.31/22.40 c #Conflicts: 622000 | #Constraints: 31226
22.31/22.40 c #Conflicts: 623000 | #Constraints: 32226
22.31/22.40 c INPROCESSING
22.31/22.40 c GARBAGE COLLECT
22.31/22.40 c rational objective 400.5
22.81/22.93 c #Conflicts: 624000 | #Constraints: 17618
22.81/22.93 c #Conflicts: 625000 | #Constraints: 18618
22.81/22.93 c #Conflicts: 626000 | #Constraints: 19618
22.81/22.93 c #Conflicts: 627000 | #Constraints: 20618
22.81/22.93 c #Conflicts: 628000 | #Constraints: 21618
22.81/22.93 c #Conflicts: 629000 | #Constraints: 22618
22.81/22.93 c #Conflicts: 630000 | #Constraints: 23618
22.81/22.93 c #Conflicts: 631000 | #Constraints: 24618
22.81/22.93 c #Conflicts: 632000 | #Constraints: 25618
22.81/22.93 c #Conflicts: 633000 | #Constraints: 26618
22.81/22.93 c #Conflicts: 634000 | #Constraints: 27618
22.81/22.93 c #Conflicts: 635000 | #Constraints: 28618
22.81/22.93 c #Conflicts: 636000 | #Constraints: 29618
22.81/22.93 c #Conflicts: 637000 | #Constraints: 30618
22.81/22.93 c #Conflicts: 638000 | #Constraints: 31618
22.81/22.93 c #Conflicts: 639000 | #Constraints: 32618
22.81/22.93 c INPROCESSING
22.81/22.93 c GARBAGE COLLECT
22.81/22.93 c rational objective 400.5
23.31/23.44 c #Conflicts: 640000 | #Constraints: 17815
23.31/23.44 c #Conflicts: 641000 | #Constraints: 18815
23.31/23.44 c #Conflicts: 642000 | #Constraints: 19815
23.31/23.44 c #Conflicts: 643000 | #Constraints: 20815
23.31/23.44 c #Conflicts: 644000 | #Constraints: 21815
23.31/23.44 c #Conflicts: 645000 | #Constraints: 22815
23.31/23.44 c #Conflicts: 646000 | #Constraints: 23815
23.31/23.44 c #Conflicts: 647000 | #Constraints: 24815
23.31/23.44 c #Conflicts: 648000 | #Constraints: 25815
23.31/23.44 c #Conflicts: 649000 | #Constraints: 26815
23.31/23.44 c #Conflicts: 650000 | #Constraints: 27815
23.31/23.44 c #Conflicts: 651000 | #Constraints: 28815
23.31/23.44 c #Conflicts: 652000 | #Constraints: 29815
23.31/23.44 c #Conflicts: 653000 | #Constraints: 30815
23.31/23.44 c #Conflicts: 654000 | #Constraints: 31815
23.31/23.44 c #Conflicts: 655000 | #Constraints: 32815
23.31/23.44 c INPROCESSING
23.31/23.44 c GARBAGE COLLECT
23.31/23.44 c rational objective 400.5
23.91/24.01 c #Conflicts: 656000 | #Constraints: 17819
23.91/24.01 c #Conflicts: 657000 | #Constraints: 18819
23.91/24.01 c #Conflicts: 658000 | #Constraints: 19819
23.91/24.01 c #Conflicts: 659000 | #Constraints: 20819
23.91/24.01 c #Conflicts: 660000 | #Constraints: 21819
23.91/24.01 c #Conflicts: 661000 | #Constraints: 22819
23.91/24.01 c #Conflicts: 662000 | #Constraints: 23819
23.91/24.01 c #Conflicts: 663000 | #Constraints: 24819
23.91/24.01 c #Conflicts: 664000 | #Constraints: 25819
23.91/24.01 c #Conflicts: 665000 | #Constraints: 26819
23.91/24.01 c #Conflicts: 666000 | #Constraints: 27819
23.91/24.01 c #Conflicts: 667000 | #Constraints: 28819
23.91/24.01 c #Conflicts: 668000 | #Constraints: 29819
23.91/24.01 c #Conflicts: 669000 | #Constraints: 30819
23.91/24.01 c #Conflicts: 670000 | #Constraints: 31819
23.91/24.01 c #Conflicts: 671000 | #Constraints: 32819
23.91/24.01 c INPROCESSING
23.91/24.01 c GARBAGE COLLECT
23.91/24.01 c rational objective 400.5
24.41/24.55 c #Conflicts: 672000 | #Constraints: 17618
24.41/24.55 c #Conflicts: 673000 | #Constraints: 18618
24.41/24.55 c #Conflicts: 674000 | #Constraints: 19618
24.41/24.55 c #Conflicts: 675000 | #Constraints: 20618
24.41/24.55 c #Conflicts: 676000 | #Constraints: 21618
24.41/24.55 c #Conflicts: 677000 | #Constraints: 22618
24.41/24.55 c #Conflicts: 678000 | #Constraints: 23618
24.41/24.55 c #Conflicts: 679000 | #Constraints: 24618
24.41/24.55 c #Conflicts: 680000 | #Constraints: 25618
24.41/24.55 c #Conflicts: 681000 | #Constraints: 26618
24.41/24.55 c #Conflicts: 682000 | #Constraints: 27618
24.41/24.55 c #Conflicts: 683000 | #Constraints: 28618
24.41/24.55 c #Conflicts: 684000 | #Constraints: 29618
24.41/24.55 c #Conflicts: 685000 | #Constraints: 30618
24.41/24.55 c #Conflicts: 686000 | #Constraints: 31618
24.41/24.55 c #Conflicts: 687000 | #Constraints: 32618
24.41/24.55 c #Conflicts: 688000 | #Constraints: 33618
24.41/24.55 c INPROCESSING
24.41/24.55 c GARBAGE COLLECT
24.41/24.55 c rational objective 400.5
25.01/25.14 c #Conflicts: 689000 | #Constraints: 18223
25.01/25.14 c #Conflicts: 690000 | #Constraints: 19223
25.01/25.14 c #Conflicts: 691000 | #Constraints: 20223
25.01/25.14 c #Conflicts: 692000 | #Constraints: 21223
25.01/25.14 c #Conflicts: 693000 | #Constraints: 22223
25.01/25.14 c #Conflicts: 694000 | #Constraints: 23223
25.01/25.14 c #Conflicts: 695000 | #Constraints: 24223
25.01/25.14 c #Conflicts: 696000 | #Constraints: 25223
25.01/25.14 c #Conflicts: 697000 | #Constraints: 26223
25.01/25.14 c #Conflicts: 698000 | #Constraints: 27223
25.01/25.14 c #Conflicts: 699000 | #Constraints: 28223
25.01/25.14 c #Conflicts: 700000 | #Constraints: 29223
25.01/25.14 c #Conflicts: 701000 | #Constraints: 30223
25.01/25.14 c #Conflicts: 702000 | #Constraints: 31223
25.01/25.14 c #Conflicts: 703000 | #Constraints: 32223
25.01/25.14 c #Conflicts: 704000 | #Constraints: 33223
25.01/25.14 c #Conflicts: 705000 | #Constraints: 34223
25.01/25.14 c INPROCESSING
25.01/25.14 c GARBAGE COLLECT
25.01/25.14 c rational objective 400.5
25.70/25.81 c #Conflicts: 706000 | #Constraints: 18629
25.70/25.81 c #Conflicts: 707000 | #Constraints: 19629
25.70/25.81 c #Conflicts: 708000 | #Constraints: 20629
25.70/25.81 c #Conflicts: 709000 | #Constraints: 21629
25.70/25.81 c #Conflicts: 710000 | #Constraints: 22629
25.70/25.81 c #Conflicts: 711000 | #Constraints: 23629
25.70/25.81 c #Conflicts: 712000 | #Constraints: 24629
25.70/25.81 c #Conflicts: 713000 | #Constraints: 25629
25.70/25.81 c #Conflicts: 714000 | #Constraints: 26629
25.70/25.81 c #Conflicts: 715000 | #Constraints: 27629
25.70/25.81 c #Conflicts: 716000 | #Constraints: 28629
25.70/25.81 c #Conflicts: 717000 | #Constraints: 29629
25.70/25.81 c #Conflicts: 718000 | #Constraints: 30629
25.70/25.81 c #Conflicts: 719000 | #Constraints: 31629
25.70/25.81 c #Conflicts: 720000 | #Constraints: 32629
25.70/25.81 c #Conflicts: 721000 | #Constraints: 33629
25.70/25.81 c #Conflicts: 722000 | #Constraints: 34629
25.70/25.81 c INPROCESSING
25.70/25.81 c GARBAGE COLLECT
25.70/25.81 c rational objective 400.5
26.30/26.44 c #Conflicts: 723000 | #Constraints: 18838
26.30/26.44 c #Conflicts: 724000 | #Constraints: 19838
26.30/26.44 c #Conflicts: 725000 | #Constraints: 20838
26.30/26.44 c #Conflicts: 726000 | #Constraints: 21838
26.30/26.44 c #Conflicts: 727000 | #Constraints: 22838
26.30/26.44 c #Conflicts: 728000 | #Constraints: 23838
26.30/26.44 c #Conflicts: 729000 | #Constraints: 24838
26.30/26.44 c #Conflicts: 730000 | #Constraints: 25838
26.30/26.44 c #Conflicts: 731000 | #Constraints: 26838
26.30/26.44 c #Conflicts: 732000 | #Constraints: 27838
26.30/26.44 c #Conflicts: 733000 | #Constraints: 28838
26.30/26.44 c #Conflicts: 734000 | #Constraints: 29838
26.30/26.44 c #Conflicts: 735000 | #Constraints: 30838
26.30/26.44 c #Conflicts: 736000 | #Constraints: 31838
26.30/26.44 c #Conflicts: 737000 | #Constraints: 32838
26.30/26.44 c #Conflicts: 738000 | #Constraints: 33838
26.30/26.44 c #Conflicts: 739000 | #Constraints: 34838
26.30/26.44 c INPROCESSING
26.30/26.44 c GARBAGE COLLECT
26.30/26.44 c rational objective 400.5
26.91/27.04 c #Conflicts: 740000 | #Constraints: 18834
26.91/27.04 c #Conflicts: 741000 | #Constraints: 19834
26.91/27.04 c #Conflicts: 742000 | #Constraints: 20834
26.91/27.04 c #Conflicts: 743000 | #Constraints: 21834
26.91/27.04 c #Conflicts: 744000 | #Constraints: 22834
26.91/27.04 c #Conflicts: 745000 | #Constraints: 23834
26.91/27.04 c #Conflicts: 746000 | #Constraints: 24834
26.91/27.04 c #Conflicts: 747000 | #Constraints: 25834
26.91/27.04 c #Conflicts: 748000 | #Constraints: 26834
26.91/27.04 c #Conflicts: 749000 | #Constraints: 27834
26.91/27.04 c #Conflicts: 750000 | #Constraints: 28834
26.91/27.04 c #Conflicts: 751000 | #Constraints: 29834
26.91/27.04 c #Conflicts: 752000 | #Constraints: 30834
26.91/27.04 c #Conflicts: 753000 | #Constraints: 31834
26.91/27.04 c #Conflicts: 754000 | #Constraints: 32834
26.91/27.04 c #Conflicts: 755000 | #Constraints: 33834
26.91/27.04 c #Conflicts: 756000 | #Constraints: 34834
26.91/27.04 c INPROCESSING
26.91/27.04 c GARBAGE COLLECT
26.91/27.04 c rational objective 400.5
27.50/27.65 c #Conflicts: 757000 | #Constraints: 18636
27.50/27.65 c #Conflicts: 758000 | #Constraints: 19636
27.50/27.65 c #Conflicts: 759000 | #Constraints: 20636
27.50/27.65 c #Conflicts: 760000 | #Constraints: 21636
27.50/27.65 c #Conflicts: 761000 | #Constraints: 22636
27.50/27.65 c #Conflicts: 762000 | #Constraints: 23636
27.50/27.65 c #Conflicts: 763000 | #Constraints: 24636
27.50/27.65 c #Conflicts: 764000 | #Constraints: 25636
27.50/27.65 c #Conflicts: 765000 | #Constraints: 26636
27.50/27.65 c #Conflicts: 766000 | #Constraints: 27636
27.50/27.65 c #Conflicts: 767000 | #Constraints: 28636
27.50/27.65 c #Conflicts: 768000 | #Constraints: 29636
27.50/27.65 c #Conflicts: 769000 | #Constraints: 30636
27.50/27.65 c #Conflicts: 770000 | #Constraints: 31636
27.50/27.65 c #Conflicts: 771000 | #Constraints: 32636
27.50/27.65 c #Conflicts: 772000 | #Constraints: 33636
27.50/27.65 c #Conflicts: 773000 | #Constraints: 34636
27.50/27.65 c #Conflicts: 774000 | #Constraints: 35636
27.50/27.65 c INPROCESSING
27.50/27.65 c GARBAGE COLLECT
27.50/27.65 c rational objective 400.5
28.10/28.25 c #Conflicts: 775000 | #Constraints: 19231
28.10/28.25 c #Conflicts: 776000 | #Constraints: 20231
28.10/28.25 c #Conflicts: 777000 | #Constraints: 21231
28.10/28.25 c #Conflicts: 778000 | #Constraints: 22231
28.10/28.25 c #Conflicts: 779000 | #Constraints: 23231
28.10/28.25 c #Conflicts: 780000 | #Constraints: 24231
28.10/28.25 c #Conflicts: 781000 | #Constraints: 25231
28.10/28.25 c #Conflicts: 782000 | #Constraints: 26231
28.10/28.25 c #Conflicts: 783000 | #Constraints: 27231
28.10/28.25 c #Conflicts: 784000 | #Constraints: 28231
28.10/28.25 c #Conflicts: 785000 | #Constraints: 29231
28.10/28.25 c #Conflicts: 786000 | #Constraints: 30231
28.10/28.25 c #Conflicts: 787000 | #Constraints: 31231
28.10/28.25 c #Conflicts: 788000 | #Constraints: 32231
28.10/28.25 c #Conflicts: 789000 | #Constraints: 33231
28.10/28.25 c #Conflicts: 790000 | #Constraints: 34231
28.10/28.25 c #Conflicts: 791000 | #Constraints: 35231
28.10/28.25 c #Conflicts: 792000 | #Constraints: 36231
28.10/28.25 c INPROCESSING
28.10/28.25 c GARBAGE COLLECT
28.10/28.25 c rational objective 400.5
28.70/28.88 c #Conflicts: 793000 | #Constraints: 19637
28.70/28.88 c #Conflicts: 794000 | #Constraints: 20637
28.70/28.88 c #Conflicts: 795000 | #Constraints: 21637
28.70/28.88 c #Conflicts: 796000 | #Constraints: 22637
28.70/28.88 c #Conflicts: 797000 | #Constraints: 23637
28.70/28.88 c #Conflicts: 798000 | #Constraints: 24637
28.70/28.88 c #Conflicts: 799000 | #Constraints: 25637
28.70/28.88 c #Conflicts: 800000 | #Constraints: 26637
28.70/28.88 c #Conflicts: 801000 | #Constraints: 27637
28.70/28.88 c #Conflicts: 802000 | #Constraints: 28637
28.70/28.88 c #Conflicts: 803000 | #Constraints: 29637
28.70/28.88 c #Conflicts: 804000 | #Constraints: 30637
28.70/28.88 c #Conflicts: 805000 | #Constraints: 31637
28.70/28.88 c #Conflicts: 806000 | #Constraints: 32637
28.70/28.88 c #Conflicts: 807000 | #Constraints: 33637
28.70/28.88 c #Conflicts: 808000 | #Constraints: 34637
28.70/28.88 c #Conflicts: 809000 | #Constraints: 35637
28.70/28.88 c #Conflicts: 810000 | #Constraints: 36637
28.70/28.88 c INPROCESSING
28.70/28.88 c GARBAGE COLLECT
28.70/28.88 c rational objective 400.5
29.40/29.52 c #Conflicts: 811000 | #Constraints: 19839
29.40/29.52 c #Conflicts: 812000 | #Constraints: 20839
29.40/29.52 c #Conflicts: 813000 | #Constraints: 21839
29.40/29.52 c #Conflicts: 814000 | #Constraints: 22839
29.40/29.52 c #Conflicts: 815000 | #Constraints: 23839
29.40/29.52 c #Conflicts: 816000 | #Constraints: 24839
29.40/29.52 c #Conflicts: 817000 | #Constraints: 25839
29.40/29.52 c #Conflicts: 818000 | #Constraints: 26839
29.40/29.52 c #Conflicts: 819000 | #Constraints: 27839
29.40/29.52 c #Conflicts: 820000 | #Constraints: 28839
29.40/29.52 c #Conflicts: 821000 | #Constraints: 29839
29.40/29.52 c #Conflicts: 822000 | #Constraints: 30839
29.40/29.52 c #Conflicts: 823000 | #Constraints: 31839
29.40/29.52 c #Conflicts: 824000 | #Constraints: 32839
29.40/29.52 c #Conflicts: 825000 | #Constraints: 33839
29.40/29.52 c #Conflicts: 826000 | #Constraints: 34839
29.40/29.52 c #Conflicts: 827000 | #Constraints: 35839
29.40/29.52 c #Conflicts: 828000 | #Constraints: 36839
29.40/29.52 c INPROCESSING
29.40/29.52 c GARBAGE COLLECT
29.40/29.52 c rational objective 400.5
30.09/30.22 c #Conflicts: 829000 | #Constraints: 19848
30.09/30.22 c #Conflicts: 830000 | #Constraints: 20848
30.09/30.22 c #Conflicts: 831000 | #Constraints: 21848
30.09/30.22 c #Conflicts: 832000 | #Constraints: 22848
30.09/30.22 c #Conflicts: 833000 | #Constraints: 23848
30.09/30.22 c #Conflicts: 834000 | #Constraints: 24848
30.09/30.22 c #Conflicts: 835000 | #Constraints: 25848
30.09/30.22 c #Conflicts: 836000 | #Constraints: 26848
30.09/30.22 c #Conflicts: 837000 | #Constraints: 27848
30.09/30.22 c #Conflicts: 838000 | #Constraints: 28848
30.09/30.22 c #Conflicts: 839000 | #Constraints: 29848
30.09/30.22 c #Conflicts: 840000 | #Constraints: 30848
30.09/30.22 c #Conflicts: 841000 | #Constraints: 31848
30.09/30.22 c #Conflicts: 842000 | #Constraints: 32848
30.09/30.22 c #Conflicts: 843000 | #Constraints: 33848
30.09/30.22 c #Conflicts: 844000 | #Constraints: 34848
30.09/30.22 c #Conflicts: 845000 | #Constraints: 35848
30.09/30.22 c #Conflicts: 846000 | #Constraints: 36848
30.09/30.22 c INPROCESSING
30.09/30.22 c GARBAGE COLLECT
30.09/30.22 c rational objective 400.5
30.69/30.85 c #Conflicts: 847000 | #Constraints: 19645
30.69/30.85 c #Conflicts: 848000 | #Constraints: 20645
30.69/30.85 c #Conflicts: 849000 | #Constraints: 21645
30.69/30.85 c #Conflicts: 850000 | #Constraints: 22645
30.69/30.85 c #Conflicts: 851000 | #Constraints: 23645
30.69/30.85 c #Conflicts: 852000 | #Constraints: 24645
30.69/30.85 c #Conflicts: 853000 | #Constraints: 25645
30.69/30.85 c #Conflicts: 854000 | #Constraints: 26645
30.69/30.85 c #Conflicts: 855000 | #Constraints: 27645
30.69/30.85 c #Conflicts: 856000 | #Constraints: 28645
30.69/30.85 c #Conflicts: 857000 | #Constraints: 29645
30.69/30.85 c #Conflicts: 858000 | #Constraints: 30645
30.69/30.85 c #Conflicts: 859000 | #Constraints: 31645
30.69/30.85 c #Conflicts: 860000 | #Constraints: 32645
30.69/30.85 c #Conflicts: 861000 | #Constraints: 33645
30.69/30.85 c #Conflicts: 862000 | #Constraints: 34645
30.69/30.85 c #Conflicts: 863000 | #Constraints: 35645
30.69/30.85 c #Conflicts: 864000 | #Constraints: 36645
30.69/30.85 c #Conflicts: 865000 | #Constraints: 37645
30.69/30.85 c INPROCESSING
30.69/30.85 c GARBAGE COLLECT
30.69/30.85 c rational objective 400.5
31.39/31.50 c #Conflicts: 866000 | #Constraints: 20243
31.39/31.50 c #Conflicts: 867000 | #Constraints: 21243
31.39/31.50 c #Conflicts: 868000 | #Constraints: 22243
31.39/31.50 c #Conflicts: 869000 | #Constraints: 23243
31.39/31.50 c #Conflicts: 870000 | #Constraints: 24243
31.39/31.50 c #Conflicts: 871000 | #Constraints: 25243
31.39/31.50 c #Conflicts: 872000 | #Constraints: 26243
31.39/31.50 c #Conflicts: 873000 | #Constraints: 27243
31.39/31.50 c #Conflicts: 874000 | #Constraints: 28243
31.39/31.50 c #Conflicts: 875000 | #Constraints: 29243
31.39/31.50 c #Conflicts: 876000 | #Constraints: 30243
31.39/31.50 c #Conflicts: 877000 | #Constraints: 31243
31.39/31.50 c #Conflicts: 878000 | #Constraints: 32243
31.39/31.50 c #Conflicts: 879000 | #Constraints: 33243
31.39/31.50 c #Conflicts: 880000 | #Constraints: 34243
31.39/31.50 c #Conflicts: 881000 | #Constraints: 35243
31.39/31.50 c #Conflicts: 882000 | #Constraints: 36243
31.39/31.50 c #Conflicts: 883000 | #Constraints: 37243
31.39/31.50 c #Conflicts: 884000 | #Constraints: 38243
31.39/31.50 c INPROCESSING
31.39/31.50 c GARBAGE COLLECT
31.39/31.50 c rational objective 400.5
31.99/32.18 c #Conflicts: 885000 | #Constraints: 20650
31.99/32.18 c #Conflicts: 886000 | #Constraints: 21650
31.99/32.18 c #Conflicts: 887000 | #Constraints: 22650
31.99/32.18 c #Conflicts: 888000 | #Constraints: 23650
31.99/32.18 c #Conflicts: 889000 | #Constraints: 24650
31.99/32.18 c #Conflicts: 890000 | #Constraints: 25650
31.99/32.18 c #Conflicts: 891000 | #Constraints: 26650
31.99/32.18 c #Conflicts: 892000 | #Constraints: 27650
31.99/32.18 c #Conflicts: 893000 | #Constraints: 28650
31.99/32.18 c #Conflicts: 894000 | #Constraints: 29650
31.99/32.18 c #Conflicts: 895000 | #Constraints: 30650
31.99/32.18 c #Conflicts: 896000 | #Constraints: 31650
31.99/32.18 c #Conflicts: 897000 | #Constraints: 32650
31.99/32.18 c #Conflicts: 898000 | #Constraints: 33650
31.99/32.18 c #Conflicts: 899000 | #Constraints: 34650
31.99/32.18 c #Conflicts: 900000 | #Constraints: 35650
31.99/32.18 c #Conflicts: 901000 | #Constraints: 36650
31.99/32.18 c #Conflicts: 902000 | #Constraints: 37650
31.99/32.18 c #Conflicts: 903000 | #Constraints: 38650
31.99/32.18 c INPROCESSING
31.99/32.18 c GARBAGE COLLECT
31.99/32.18 c rational objective 400.5
32.68/32.85 c #Conflicts: 904000 | #Constraints: 20841
32.68/32.85 c #Conflicts: 905000 | #Constraints: 21841
32.68/32.85 c #Conflicts: 906000 | #Constraints: 22841
32.68/32.85 c #Conflicts: 907000 | #Constraints: 23841
32.68/32.85 c #Conflicts: 908000 | #Constraints: 24841
32.68/32.85 c #Conflicts: 909000 | #Constraints: 25841
32.68/32.85 c #Conflicts: 910000 | #Constraints: 26841
32.68/32.85 c #Conflicts: 911000 | #Constraints: 27841
32.68/32.85 c #Conflicts: 912000 | #Constraints: 28841
32.68/32.85 c #Conflicts: 913000 | #Constraints: 29841
32.68/32.85 c #Conflicts: 914000 | #Constraints: 30841
32.68/32.85 c #Conflicts: 915000 | #Constraints: 31841
32.68/32.85 c #Conflicts: 916000 | #Constraints: 32841
32.68/32.85 c #Conflicts: 917000 | #Constraints: 33841
32.68/32.85 c #Conflicts: 918000 | #Constraints: 34841
32.68/32.85 c #Conflicts: 919000 | #Constraints: 35841
32.68/32.85 c #Conflicts: 920000 | #Constraints: 36841
32.68/32.85 c #Conflicts: 921000 | #Constraints: 37841
32.68/32.85 c #Conflicts: 922000 | #Constraints: 38841
32.68/32.85 c INPROCESSING
32.68/32.85 c GARBAGE COLLECT
32.68/32.85 c rational objective 400.5
33.48/33.61 c #Conflicts: 923000 | #Constraints: 20845
33.48/33.61 c #Conflicts: 924000 | #Constraints: 21845
33.48/33.61 c #Conflicts: 925000 | #Constraints: 22845
33.48/33.61 c #Conflicts: 926000 | #Constraints: 23845
33.48/33.61 c #Conflicts: 927000 | #Constraints: 24845
33.48/33.61 c #Conflicts: 928000 | #Constraints: 25845
33.48/33.61 c #Conflicts: 929000 | #Constraints: 26845
33.48/33.61 c #Conflicts: 930000 | #Constraints: 27845
33.48/33.61 c #Conflicts: 931000 | #Constraints: 28845
33.48/33.61 c #Conflicts: 932000 | #Constraints: 29845
33.48/33.61 c #Conflicts: 933000 | #Constraints: 30845
33.48/33.61 c #Conflicts: 934000 | #Constraints: 31845
33.48/33.61 c #Conflicts: 935000 | #Constraints: 32845
33.48/33.61 c #Conflicts: 936000 | #Constraints: 33845
33.48/33.61 c #Conflicts: 937000 | #Constraints: 34845
33.48/33.61 c #Conflicts: 938000 | #Constraints: 35845
33.48/33.61 c #Conflicts: 939000 | #Constraints: 36845
33.48/33.61 c #Conflicts: 940000 | #Constraints: 37845
33.48/33.61 c #Conflicts: 941000 | #Constraints: 38845
33.48/33.61 c INPROCESSING
33.48/33.61 c GARBAGE COLLECT
33.48/33.61 c rational objective 400.5
34.18/34.36 c #Conflicts: 942000 | #Constraints: 20646
34.18/34.36 c #Conflicts: 943000 | #Constraints: 21646
34.18/34.36 c #Conflicts: 944000 | #Constraints: 22646
34.18/34.36 c #Conflicts: 945000 | #Constraints: 23646
34.18/34.36 c #Conflicts: 946000 | #Constraints: 24646
34.18/34.36 c #Conflicts: 947000 | #Constraints: 25646
34.18/34.36 c #Conflicts: 948000 | #Constraints: 26646
34.18/34.36 c #Conflicts: 949000 | #Constraints: 27646
34.18/34.36 c #Conflicts: 950000 | #Constraints: 28646
34.18/34.36 c #Conflicts: 951000 | #Constraints: 29646
34.18/34.36 c #Conflicts: 952000 | #Constraints: 30646
34.18/34.36 c #Conflicts: 953000 | #Constraints: 31646
34.18/34.36 c #Conflicts: 954000 | #Constraints: 32646
34.18/34.36 c #Conflicts: 955000 | #Constraints: 33646
34.18/34.36 c #Conflicts: 956000 | #Constraints: 34646
34.18/34.36 c #Conflicts: 957000 | #Constraints: 35646
34.18/34.36 c #Conflicts: 958000 | #Constraints: 36646
34.18/34.36 c #Conflicts: 959000 | #Constraints: 37646
34.18/34.36 c #Conflicts: 960000 | #Constraints: 38646
34.18/34.36 c #Conflicts: 961000 | #Constraints: 39646
34.18/34.36 c INPROCESSING
34.18/34.36 c GARBAGE COLLECT
34.18/34.36 c rational objective 400.5
34.99/35.11 c #Conflicts: 962000 | #Constraints: 21261
34.99/35.11 c #Conflicts: 963000 | #Constraints: 22261
34.99/35.11 c #Conflicts: 964000 | #Constraints: 23261
34.99/35.11 c #Conflicts: 965000 | #Constraints: 24261
34.99/35.11 c #Conflicts: 966000 | #Constraints: 25261
34.99/35.11 c #Conflicts: 967000 | #Constraints: 26261
34.99/35.11 c #Conflicts: 968000 | #Constraints: 27261
34.99/35.11 c #Conflicts: 969000 | #Constraints: 28261
34.99/35.11 c #Conflicts: 970000 | #Constraints: 29261
34.99/35.11 c #Conflicts: 971000 | #Constraints: 30261
34.99/35.11 c #Conflicts: 972000 | #Constraints: 31261
34.99/35.11 c #Conflicts: 973000 | #Constraints: 32261
34.99/35.11 c #Conflicts: 974000 | #Constraints: 33261
34.99/35.11 c #Conflicts: 975000 | #Constraints: 34261
34.99/35.11 c #Conflicts: 976000 | #Constraints: 35261
34.99/35.11 c #Conflicts: 977000 | #Constraints: 36261
34.99/35.11 c #Conflicts: 978000 | #Constraints: 37261
34.99/35.11 c #Conflicts: 979000 | #Constraints: 38261
34.99/35.11 c #Conflicts: 980000 | #Constraints: 39261
34.99/35.11 c #Conflicts: 981000 | #Constraints: 40261
34.99/35.11 c INPROCESSING
34.99/35.11 c GARBAGE COLLECT
34.99/35.11 c rational objective 400.5
35.78/35.91 c #Conflicts: 982000 | #Constraints: 21656
35.78/35.91 c #Conflicts: 983000 | #Constraints: 22656
35.78/35.91 c #Conflicts: 984000 | #Constraints: 23656
35.78/35.91 c #Conflicts: 985000 | #Constraints: 24656
35.78/35.91 c #Conflicts: 986000 | #Constraints: 25656
35.78/35.91 c #Conflicts: 987000 | #Constraints: 26656
35.78/35.91 c #Conflicts: 988000 | #Constraints: 27656
35.78/35.91 c #Conflicts: 989000 | #Constraints: 28656
35.78/35.91 c #Conflicts: 990000 | #Constraints: 29656
35.78/35.91 c #Conflicts: 991000 | #Constraints: 30656
35.78/35.91 c #Conflicts: 992000 | #Constraints: 31656
35.78/35.91 c #Conflicts: 993000 | #Constraints: 32656
35.78/35.91 c #Conflicts: 994000 | #Constraints: 33656
35.78/35.91 c #Conflicts: 995000 | #Constraints: 34656
35.78/35.91 c #Conflicts: 996000 | #Constraints: 35656
35.78/35.91 c #Conflicts: 997000 | #Constraints: 36656
35.78/35.91 c #Conflicts: 998000 | #Constraints: 37656
35.78/35.91 c #Conflicts: 999000 | #Constraints: 38656
35.78/35.91 c #Conflicts: 1000000 | #Constraints: 39656
35.78/35.91 c #Conflicts: 1001000 | #Constraints: 40656
35.78/35.91 c INPROCESSING
35.78/35.91 c GARBAGE COLLECT
35.78/35.91 c rational objective 400.5
36.48/36.68 c #Conflicts: 1002000 | #Constraints: 21853
36.48/36.68 c #Conflicts: 1003000 | #Constraints: 22853
36.48/36.68 c #Conflicts: 1004000 | #Constraints: 23853
36.48/36.68 c #Conflicts: 1005000 | #Constraints: 24853
36.48/36.68 c #Conflicts: 1006000 | #Constraints: 25853
36.48/36.68 c #Conflicts: 1007000 | #Constraints: 26853
36.48/36.68 c #Conflicts: 1008000 | #Constraints: 27853
36.48/36.68 c #Conflicts: 1009000 | #Constraints: 28853
36.48/36.68 c #Conflicts: 1010000 | #Constraints: 29853
36.48/36.68 c #Conflicts: 1011000 | #Constraints: 30853
36.48/36.68 c #Conflicts: 1012000 | #Constraints: 31853
36.48/36.68 c #Conflicts: 1013000 | #Constraints: 32853
36.48/36.68 c #Conflicts: 1014000 | #Constraints: 33853
36.48/36.68 c #Conflicts: 1015000 | #Constraints: 34853
36.48/36.68 c #Conflicts: 1016000 | #Constraints: 35853
36.48/36.68 c #Conflicts: 1017000 | #Constraints: 36853
36.48/36.68 c #Conflicts: 1018000 | #Constraints: 37853
36.48/36.68 c #Conflicts: 1019000 | #Constraints: 38853
36.48/36.68 c #Conflicts: 1020000 | #Constraints: 39853
36.48/36.68 c #Conflicts: 1021000 | #Constraints: 40853
36.48/36.68 c INPROCESSING
36.48/36.68 c GARBAGE COLLECT
36.48/36.68 c rational objective 400.5
37.38/37.53 c #Conflicts: 1022000 | #Constraints: 21859
37.38/37.53 c #Conflicts: 1023000 | #Constraints: 22859
37.38/37.53 c #Conflicts: 1024000 | #Constraints: 23859
37.38/37.53 c #Conflicts: 1025000 | #Constraints: 24859
37.38/37.53 c #Conflicts: 1026000 | #Constraints: 25859
37.38/37.53 c #Conflicts: 1027000 | #Constraints: 26859
37.38/37.53 c #Conflicts: 1028000 | #Constraints: 27859
37.38/37.53 c #Conflicts: 1029000 | #Constraints: 28859
37.38/37.53 c #Conflicts: 1030000 | #Constraints: 29859
37.38/37.53 c #Conflicts: 1031000 | #Constraints: 30859
37.38/37.53 c #Conflicts: 1032000 | #Constraints: 31859
37.38/37.53 c #Conflicts: 1033000 | #Constraints: 32859
37.38/37.53 c #Conflicts: 1034000 | #Constraints: 33859
37.38/37.53 c #Conflicts: 1035000 | #Constraints: 34859
37.38/37.53 c #Conflicts: 1036000 | #Constraints: 35859
37.38/37.53 c #Conflicts: 1037000 | #Constraints: 36859
37.38/37.53 c #Conflicts: 1038000 | #Constraints: 37859
37.38/37.53 c #Conflicts: 1039000 | #Constraints: 38859
37.38/37.53 c #Conflicts: 1040000 | #Constraints: 39859
37.38/37.53 c #Conflicts: 1041000 | #Constraints: 40859
37.38/37.53 c INPROCESSING
37.38/37.53 c GARBAGE COLLECT
37.38/37.53 c rational objective 400.5
38.17/38.31 c #Conflicts: 1042000 | #Constraints: 21655
38.17/38.31 c #Conflicts: 1043000 | #Constraints: 22655
38.17/38.31 c #Conflicts: 1044000 | #Constraints: 23655
38.17/38.31 c #Conflicts: 1045000 | #Constraints: 24655
38.17/38.31 c #Conflicts: 1046000 | #Constraints: 25655
38.17/38.31 c #Conflicts: 1047000 | #Constraints: 26655
38.17/38.31 c #Conflicts: 1048000 | #Constraints: 27655
38.17/38.31 c #Conflicts: 1049000 | #Constraints: 28655
38.17/38.31 c #Conflicts: 1050000 | #Constraints: 29655
38.17/38.31 c #Conflicts: 1051000 | #Constraints: 30655
38.17/38.31 c #Conflicts: 1052000 | #Constraints: 31655
38.17/38.31 c #Conflicts: 1053000 | #Constraints: 32655
38.17/38.31 c #Conflicts: 1054000 | #Constraints: 33655
38.17/38.31 c #Conflicts: 1055000 | #Constraints: 34655
38.17/38.31 c #Conflicts: 1056000 | #Constraints: 35655
38.17/38.31 c #Conflicts: 1057000 | #Constraints: 36655
38.17/38.31 c #Conflicts: 1058000 | #Constraints: 37655
38.17/38.31 c #Conflicts: 1059000 | #Constraints: 38655
38.17/38.31 c #Conflicts: 1060000 | #Constraints: 39655
38.17/38.31 c #Conflicts: 1061000 | #Constraints: 40655
38.17/38.31 c #Conflicts: 1062000 | #Constraints: 41655
38.17/38.31 c INPROCESSING
38.17/38.31 c GARBAGE COLLECT
38.17/38.31 c rational objective 400.5
38.97/39.16 c #Conflicts: 1063000 | #Constraints: 22251
38.97/39.16 c #Conflicts: 1064000 | #Constraints: 23251
38.97/39.16 c #Conflicts: 1065000 | #Constraints: 24251
38.97/39.16 c #Conflicts: 1066000 | #Constraints: 25251
38.97/39.16 c #Conflicts: 1067000 | #Constraints: 26251
38.97/39.16 c #Conflicts: 1068000 | #Constraints: 27251
38.97/39.16 c #Conflicts: 1069000 | #Constraints: 28251
38.97/39.16 c #Conflicts: 1070000 | #Constraints: 29251
38.97/39.16 c #Conflicts: 1071000 | #Constraints: 30251
38.97/39.16 c #Conflicts: 1072000 | #Constraints: 31251
38.97/39.16 c #Conflicts: 1073000 | #Constraints: 32251
38.97/39.16 c #Conflicts: 1074000 | #Constraints: 33251
38.97/39.16 c #Conflicts: 1075000 | #Constraints: 34251
38.97/39.16 c #Conflicts: 1076000 | #Constraints: 35251
38.97/39.16 c #Conflicts: 1077000 | #Constraints: 36251
38.97/39.16 c #Conflicts: 1078000 | #Constraints: 37251
38.97/39.16 c #Conflicts: 1079000 | #Constraints: 38251
38.97/39.16 c #Conflicts: 1080000 | #Constraints: 39251
38.97/39.16 c #Conflicts: 1081000 | #Constraints: 40251
38.97/39.16 c #Conflicts: 1082000 | #Constraints: 41251
38.97/39.16 c #Conflicts: 1083000 | #Constraints: 42251
38.97/39.16 c INPROCESSING
38.97/39.16 c GARBAGE COLLECT
38.97/39.16 c rational objective 400.5
39.76/40.00 c #Conflicts: 1084000 | #Constraints: 22664
39.76/40.00 c #Conflicts: 1085000 | #Constraints: 23664
39.76/40.00 c #Conflicts: 1086000 | #Constraints: 24664
39.76/40.00 c #Conflicts: 1087000 | #Constraints: 25664
39.76/40.00 c #Conflicts: 1088000 | #Constraints: 26664
39.76/40.00 c #Conflicts: 1089000 | #Constraints: 27664
39.76/40.00 c #Conflicts: 1090000 | #Constraints: 28664
39.76/40.00 c #Conflicts: 1091000 | #Constraints: 29664
39.76/40.00 c #Conflicts: 1092000 | #Constraints: 30664
39.76/40.00 c #Conflicts: 1093000 | #Constraints: 31664
39.76/40.00 c #Conflicts: 1094000 | #Constraints: 32664
39.76/40.00 c #Conflicts: 1095000 | #Constraints: 33664
39.76/40.00 c #Conflicts: 1096000 | #Constraints: 34664
39.76/40.00 c #Conflicts: 1097000 | #Constraints: 35664
39.76/40.00 c #Conflicts: 1098000 | #Constraints: 36664
39.76/40.00 c #Conflicts: 1099000 | #Constraints: 37664
39.76/40.00 c #Conflicts: 1100000 | #Constraints: 38664
39.76/40.00 c #Conflicts: 1101000 | #Constraints: 39664
39.76/40.00 c #Conflicts: 1102000 | #Constraints: 40664
39.76/40.00 c #Conflicts: 1103000 | #Constraints: 41664
39.76/40.00 c #Conflicts: 1104000 | #Constraints: 42664
39.76/40.00 c INPROCESSING
39.76/40.00 c GARBAGE COLLECT
39.76/40.00 c rational objective 400.5
40.66/40.89 c #Conflicts: 1105000 | #Constraints: 22871
40.66/40.89 c #Conflicts: 1106000 | #Constraints: 23871
40.66/40.89 c #Conflicts: 1107000 | #Constraints: 24871
40.66/40.89 c #Conflicts: 1108000 | #Constraints: 25871
40.66/40.89 c #Conflicts: 1109000 | #Constraints: 26871
40.66/40.89 c #Conflicts: 1110000 | #Constraints: 27871
40.66/40.89 c #Conflicts: 1111000 | #Constraints: 28871
40.66/40.89 c #Conflicts: 1112000 | #Constraints: 29871
40.66/40.89 c #Conflicts: 1113000 | #Constraints: 30871
40.66/40.89 c #Conflicts: 1114000 | #Constraints: 31871
40.66/40.89 c #Conflicts: 1115000 | #Constraints: 32871
40.66/40.89 c #Conflicts: 1116000 | #Constraints: 33871
40.66/40.89 c #Conflicts: 1117000 | #Constraints: 34871
40.66/40.89 c #Conflicts: 1118000 | #Constraints: 35871
40.66/40.89 c #Conflicts: 1119000 | #Constraints: 36871
40.66/40.89 c #Conflicts: 1120000 | #Constraints: 37871
40.66/40.89 c #Conflicts: 1121000 | #Constraints: 38871
40.66/40.89 c #Conflicts: 1122000 | #Constraints: 39871
40.66/40.89 c #Conflicts: 1123000 | #Constraints: 40871
40.66/40.89 c #Conflicts: 1124000 | #Constraints: 41871
40.66/40.89 c #Conflicts: 1125000 | #Constraints: 42871
40.66/40.89 c INPROCESSING
40.66/40.89 c GARBAGE COLLECT
40.66/40.89 c rational objective 400.5
41.47/41.65 c #Conflicts: 1126000 | #Constraints: 22869
41.47/41.65 c #Conflicts: 1127000 | #Constraints: 23869
41.47/41.65 c #Conflicts: 1128000 | #Constraints: 24869
41.47/41.65 c #Conflicts: 1129000 | #Constraints: 25869
41.47/41.65 c #Conflicts: 1130000 | #Constraints: 26869
41.47/41.65 c #Conflicts: 1131000 | #Constraints: 27869
41.47/41.65 c #Conflicts: 1132000 | #Constraints: 28869
41.47/41.65 c #Conflicts: 1133000 | #Constraints: 29869
41.47/41.65 c #Conflicts: 1134000 | #Constraints: 30869
41.47/41.65 c #Conflicts: 1135000 | #Constraints: 31869
41.47/41.65 c #Conflicts: 1136000 | #Constraints: 32869
41.47/41.65 c #Conflicts: 1137000 | #Constraints: 33869
41.47/41.65 c #Conflicts: 1138000 | #Constraints: 34869
41.47/41.65 c #Conflicts: 1139000 | #Constraints: 35869
41.47/41.65 c #Conflicts: 1140000 | #Constraints: 36869
41.47/41.65 c #Conflicts: 1141000 | #Constraints: 37869
41.47/41.65 c #Conflicts: 1142000 | #Constraints: 38869
41.47/41.65 c #Conflicts: 1143000 | #Constraints: 39869
41.47/41.65 c #Conflicts: 1144000 | #Constraints: 40869
41.47/41.65 c #Conflicts: 1145000 | #Constraints: 41869
41.47/41.65 c #Conflicts: 1146000 | #Constraints: 42869
41.47/41.65 c INPROCESSING
41.47/41.65 c GARBAGE COLLECT
41.47/41.65 c rational objective 400.5
42.26/42.46 c #Conflicts: 1147000 | #Constraints: 22663
42.26/42.46 c #Conflicts: 1148000 | #Constraints: 23663
42.26/42.46 c #Conflicts: 1149000 | #Constraints: 24663
42.26/42.46 c #Conflicts: 1150000 | #Constraints: 25663
42.26/42.46 c #Conflicts: 1151000 | #Constraints: 26663
42.26/42.46 c #Conflicts: 1152000 | #Constraints: 27663
42.26/42.46 c #Conflicts: 1153000 | #Constraints: 28663
42.26/42.46 c #Conflicts: 1154000 | #Constraints: 29663
42.26/42.46 c #Conflicts: 1155000 | #Constraints: 30663
42.26/42.46 c #Conflicts: 1156000 | #Constraints: 31663
42.26/42.46 c #Conflicts: 1157000 | #Constraints: 32663
42.26/42.46 c #Conflicts: 1158000 | #Constraints: 33663
42.26/42.46 c #Conflicts: 1159000 | #Constraints: 34663
42.26/42.46 c #Conflicts: 1160000 | #Constraints: 35663
42.26/42.46 c #Conflicts: 1161000 | #Constraints: 36663
42.26/42.46 c #Conflicts: 1162000 | #Constraints: 37663
42.26/42.46 c #Conflicts: 1163000 | #Constraints: 38663
42.26/42.46 c #Conflicts: 1164000 | #Constraints: 39663
42.26/42.46 c #Conflicts: 1165000 | #Constraints: 40663
42.26/42.46 c #Conflicts: 1166000 | #Constraints: 41663
42.26/42.46 c #Conflicts: 1167000 | #Constraints: 42663
42.26/42.46 c #Conflicts: 1168000 | #Constraints: 43663
42.26/42.46 c INPROCESSING
42.26/42.46 c GARBAGE COLLECT
42.26/42.46 c rational objective 400.5
43.06/43.23 c #Conflicts: 1169000 | #Constraints: 23260
43.06/43.23 c #Conflicts: 1170000 | #Constraints: 24260
43.06/43.23 c #Conflicts: 1171000 | #Constraints: 25260
43.06/43.23 c #Conflicts: 1172000 | #Constraints: 26260
43.06/43.23 c #Conflicts: 1173000 | #Constraints: 27260
43.06/43.23 c #Conflicts: 1174000 | #Constraints: 28260
43.06/43.23 c #Conflicts: 1175000 | #Constraints: 29260
43.06/43.23 c #Conflicts: 1176000 | #Constraints: 30260
43.06/43.23 c #Conflicts: 1177000 | #Constraints: 31260
43.06/43.23 c #Conflicts: 1178000 | #Constraints: 32260
43.06/43.23 c #Conflicts: 1179000 | #Constraints: 33260
43.06/43.23 c #Conflicts: 1180000 | #Constraints: 34260
43.06/43.23 c #Conflicts: 1181000 | #Constraints: 35260
43.06/43.23 c #Conflicts: 1182000 | #Constraints: 36260
43.06/43.23 c #Conflicts: 1183000 | #Constraints: 37260
43.06/43.23 c #Conflicts: 1184000 | #Constraints: 38260
43.06/43.23 c #Conflicts: 1185000 | #Constraints: 39260
43.06/43.23 c #Conflicts: 1186000 | #Constraints: 40260
43.06/43.23 c #Conflicts: 1187000 | #Constraints: 41260
43.06/43.23 c #Conflicts: 1188000 | #Constraints: 42260
43.06/43.23 c #Conflicts: 1189000 | #Constraints: 43260
43.06/43.23 c #Conflicts: 1190000 | #Constraints: 44260
43.06/43.23 c INPROCESSING
43.06/43.23 c GARBAGE COLLECT
43.06/43.23 c rational objective 400.5
43.87/44.07 c #Conflicts: 1191000 | #Constraints: 23662
43.87/44.07 c #Conflicts: 1192000 | #Constraints: 24662
43.87/44.07 c #Conflicts: 1193000 | #Constraints: 25662
43.87/44.07 c #Conflicts: 1194000 | #Constraints: 26662
43.87/44.07 c #Conflicts: 1195000 | #Constraints: 27662
43.87/44.07 c #Conflicts: 1196000 | #Constraints: 28662
43.87/44.07 c #Conflicts: 1197000 | #Constraints: 29662
43.87/44.07 c #Conflicts: 1198000 | #Constraints: 30662
43.87/44.07 c #Conflicts: 1199000 | #Constraints: 31662
43.87/44.07 c #Conflicts: 1200000 | #Constraints: 32662
43.87/44.07 c #Conflicts: 1201000 | #Constraints: 33662
43.87/44.07 c #Conflicts: 1202000 | #Constraints: 34662
43.87/44.07 c #Conflicts: 1203000 | #Constraints: 35662
43.87/44.07 c #Conflicts: 1204000 | #Constraints: 36662
43.87/44.07 c #Conflicts: 1205000 | #Constraints: 37662
43.87/44.07 c #Conflicts: 1206000 | #Constraints: 38662
43.87/44.07 c #Conflicts: 1207000 | #Constraints: 39662
43.87/44.07 c #Conflicts: 1208000 | #Constraints: 40662
43.87/44.07 c #Conflicts: 1209000 | #Constraints: 41662
43.87/44.07 c #Conflicts: 1210000 | #Constraints: 42662
43.87/44.07 c #Conflicts: 1211000 | #Constraints: 43662
43.87/44.07 c #Conflicts: 1212000 | #Constraints: 44662
43.87/44.07 c INPROCESSING
43.87/44.07 c GARBAGE COLLECT
43.87/44.07 c rational objective 400.5
44.76/44.92 c #Conflicts: 1213000 | #Constraints: 23866
44.76/44.92 c #Conflicts: 1214000 | #Constraints: 24866
44.76/44.92 c #Conflicts: 1215000 | #Constraints: 25866
44.76/44.92 c #Conflicts: 1216000 | #Constraints: 26866
44.76/44.92 c #Conflicts: 1217000 | #Constraints: 27866
44.76/44.92 c #Conflicts: 1218000 | #Constraints: 28866
44.76/44.92 c #Conflicts: 1219000 | #Constraints: 29866
44.76/44.92 c #Conflicts: 1220000 | #Constraints: 30866
44.76/44.92 c #Conflicts: 1221000 | #Constraints: 31866
44.76/44.92 c #Conflicts: 1222000 | #Constraints: 32866
44.76/44.92 c #Conflicts: 1223000 | #Constraints: 33866
44.76/44.92 c #Conflicts: 1224000 | #Constraints: 34866
44.76/44.92 c #Conflicts: 1225000 | #Constraints: 35866
44.76/44.92 c #Conflicts: 1226000 | #Constraints: 36866
44.76/44.92 c #Conflicts: 1227000 | #Constraints: 37866
44.76/44.92 c #Conflicts: 1228000 | #Constraints: 38866
44.76/44.92 c #Conflicts: 1229000 | #Constraints: 39866
44.76/44.92 c #Conflicts: 1230000 | #Constraints: 40866
44.76/44.92 c #Conflicts: 1231000 | #Constraints: 41866
44.76/44.92 c #Conflicts: 1232000 | #Constraints: 42866
44.76/44.92 c #Conflicts: 1233000 | #Constraints: 43866
44.76/44.92 c #Conflicts: 1234000 | #Constraints: 44866
44.76/44.92 c INPROCESSING
44.76/44.92 c GARBAGE COLLECT
44.76/44.92 c rational objective 400.5
45.65/45.82 c #Conflicts: 1235000 | #Constraints: 23860
45.65/45.82 c #Conflicts: 1236000 | #Constraints: 24860
45.65/45.82 c #Conflicts: 1237000 | #Constraints: 25860
45.65/45.82 c #Conflicts: 1238000 | #Constraints: 26860
45.65/45.82 c #Conflicts: 1239000 | #Constraints: 27860
45.65/45.82 c #Conflicts: 1240000 | #Constraints: 28860
45.65/45.82 c #Conflicts: 1241000 | #Constraints: 29860
45.65/45.82 c #Conflicts: 1242000 | #Constraints: 30860
45.65/45.82 c #Conflicts: 1243000 | #Constraints: 31860
45.65/45.82 c #Conflicts: 1244000 | #Constraints: 32860
45.65/45.82 c #Conflicts: 1245000 | #Constraints: 33860
45.65/45.82 c #Conflicts: 1246000 | #Constraints: 34860
45.65/45.82 c #Conflicts: 1247000 | #Constraints: 35860
45.65/45.82 c #Conflicts: 1248000 | #Constraints: 36860
45.65/45.82 c #Conflicts: 1249000 | #Constraints: 37860
45.65/45.82 c #Conflicts: 1250000 | #Constraints: 38860
45.65/45.82 c #Conflicts: 1251000 | #Constraints: 39860
45.65/45.82 c #Conflicts: 1252000 | #Constraints: 40860
45.65/45.82 c #Conflicts: 1253000 | #Constraints: 41860
45.65/45.82 c #Conflicts: 1254000 | #Constraints: 42860
45.65/45.82 c #Conflicts: 1255000 | #Constraints: 43860
45.65/45.82 c #Conflicts: 1256000 | #Constraints: 44860
45.65/45.82 c INPROCESSING
45.65/45.82 c GARBAGE COLLECT
45.65/45.82 c rational objective 400.5
46.55/46.72 c #Conflicts: 1257000 | #Constraints: 23660
46.55/46.72 c #Conflicts: 1258000 | #Constraints: 24660
46.55/46.72 c #Conflicts: 1259000 | #Constraints: 25660
46.55/46.72 c #Conflicts: 1260000 | #Constraints: 26660
46.55/46.72 c #Conflicts: 1261000 | #Constraints: 27660
46.55/46.72 c #Conflicts: 1262000 | #Constraints: 28660
46.55/46.72 c #Conflicts: 1263000 | #Constraints: 29660
46.55/46.72 c #Conflicts: 1264000 | #Constraints: 30660
46.55/46.72 c #Conflicts: 1265000 | #Constraints: 31660
46.55/46.72 c #Conflicts: 1266000 | #Constraints: 32660
46.55/46.72 c #Conflicts: 1267000 | #Constraints: 33660
46.55/46.72 c #Conflicts: 1268000 | #Constraints: 34660
46.55/46.72 c #Conflicts: 1269000 | #Constraints: 35660
46.55/46.72 c #Conflicts: 1270000 | #Constraints: 36660
46.55/46.72 c #Conflicts: 1271000 | #Constraints: 37660
46.55/46.72 c #Conflicts: 1272000 | #Constraints: 38660
46.55/46.72 c #Conflicts: 1273000 | #Constraints: 39660
46.55/46.72 c #Conflicts: 1274000 | #Constraints: 40660
46.55/46.72 c #Conflicts: 1275000 | #Constraints: 41660
46.55/46.72 c #Conflicts: 1276000 | #Constraints: 42660
46.55/46.72 c #Conflicts: 1277000 | #Constraints: 43660
46.55/46.72 c #Conflicts: 1278000 | #Constraints: 44660
46.55/46.72 c #Conflicts: 1279000 | #Constraints: 45660
46.55/46.72 c INPROCESSING
46.55/46.72 c GARBAGE COLLECT
46.55/46.72 c rational objective 400.5
47.45/47.60 c #Conflicts: 1280000 | #Constraints: 24255
47.45/47.60 c #Conflicts: 1281000 | #Constraints: 25255
47.45/47.60 c #Conflicts: 1282000 | #Constraints: 26255
47.45/47.60 c #Conflicts: 1283000 | #Constraints: 27255
47.45/47.60 c #Conflicts: 1284000 | #Constraints: 28255
47.45/47.60 c #Conflicts: 1285000 | #Constraints: 29255
47.45/47.60 c #Conflicts: 1286000 | #Constraints: 30255
47.45/47.60 c #Conflicts: 1287000 | #Constraints: 31255
47.45/47.60 c #Conflicts: 1288000 | #Constraints: 32255
47.45/47.60 c #Conflicts: 1289000 | #Constraints: 33255
47.45/47.60 c #Conflicts: 1290000 | #Constraints: 34255
47.45/47.60 c #Conflicts: 1291000 | #Constraints: 35255
47.45/47.60 c #Conflicts: 1292000 | #Constraints: 36255
47.45/47.60 c #Conflicts: 1293000 | #Constraints: 37255
47.45/47.60 c #Conflicts: 1294000 | #Constraints: 38255
47.45/47.60 c #Conflicts: 1295000 | #Constraints: 39255
47.45/47.60 c #Conflicts: 1296000 | #Constraints: 40255
47.45/47.60 c #Conflicts: 1297000 | #Constraints: 41255
47.45/47.60 c #Conflicts: 1298000 | #Constraints: 42255
47.45/47.60 c #Conflicts: 1299000 | #Constraints: 43256
47.45/47.60 c #Conflicts: 1300000 | #Constraints: 44256
47.45/47.60 c #Conflicts: 1301000 | #Constraints: 45256
47.45/47.60 c #Conflicts: 1302000 | #Constraints: 46256
47.45/47.60 c INPROCESSING
47.45/47.60 c GARBAGE COLLECT
47.45/47.60 c rational objective 400.5
48.35/48.51 c #Conflicts: 1303000 | #Constraints: 24655
48.35/48.51 c #Conflicts: 1304000 | #Constraints: 25655
48.35/48.51 c #Conflicts: 1305000 | #Constraints: 26655
48.35/48.51 c #Conflicts: 1306000 | #Constraints: 27655
48.35/48.51 c #Conflicts: 1307000 | #Constraints: 28655
48.35/48.51 c #Conflicts: 1308000 | #Constraints: 29655
48.35/48.51 c #Conflicts: 1309000 | #Constraints: 30655
48.35/48.51 c #Conflicts: 1310000 | #Constraints: 31655
48.35/48.51 c #Conflicts: 1311000 | #Constraints: 32655
48.35/48.51 c #Conflicts: 1312000 | #Constraints: 33655
48.35/48.51 c #Conflicts: 1313000 | #Constraints: 34655
48.35/48.51 c #Conflicts: 1314000 | #Constraints: 35655
48.35/48.51 c #Conflicts: 1315000 | #Constraints: 36655
48.35/48.51 c #Conflicts: 1316000 | #Constraints: 37655
48.35/48.51 c #Conflicts: 1317000 | #Constraints: 38655
48.35/48.51 c #Conflicts: 1318000 | #Constraints: 39655
48.35/48.51 c #Conflicts: 1319000 | #Constraints: 40655
48.35/48.51 c #Conflicts: 1320000 | #Constraints: 41655
48.35/48.51 c #Conflicts: 1321000 | #Constraints: 42655
48.35/48.51 c #Conflicts: 1322000 | #Constraints: 43655
48.35/48.51 c #Conflicts: 1323000 | #Constraints: 44655
48.35/48.51 c #Conflicts: 1324000 | #Constraints: 45655
48.35/48.51 c #Conflicts: 1325000 | #Constraints: 46655
48.35/48.51 c INPROCESSING
48.35/48.51 c GARBAGE COLLECT
48.35/48.51 c rational objective 400.5
49.24/49.44 c #Conflicts: 1326000 | #Constraints: 24855
49.24/49.44 c #Conflicts: 1327000 | #Constraints: 25855
49.24/49.44 c #Conflicts: 1328000 | #Constraints: 26855
49.24/49.44 c #Conflicts: 1329000 | #Constraints: 27855
49.24/49.44 c #Conflicts: 1330000 | #Constraints: 28855
49.24/49.44 c #Conflicts: 1331000 | #Constraints: 29855
49.24/49.44 c #Conflicts: 1332000 | #Constraints: 30855
49.24/49.44 c #Conflicts: 1333000 | #Constraints: 31855
49.24/49.44 c #Conflicts: 1334000 | #Constraints: 32855
49.24/49.44 c #Conflicts: 1335000 | #Constraints: 33855
49.24/49.44 c #Conflicts: 1336000 | #Constraints: 34855
49.24/49.44 c #Conflicts: 1337000 | #Constraints: 35855
49.24/49.44 c #Conflicts: 1338000 | #Constraints: 36855
49.24/49.44 c #Conflicts: 1339000 | #Constraints: 37855
49.24/49.44 c #Conflicts: 1340000 | #Constraints: 38855
49.24/49.44 c #Conflicts: 1341000 | #Constraints: 39855
49.24/49.44 c #Conflicts: 1342000 | #Constraints: 40855
49.24/49.44 c #Conflicts: 1343000 | #Constraints: 41855
49.24/49.44 c #Conflicts: 1344000 | #Constraints: 42855
49.24/49.44 c #Conflicts: 1345000 | #Constraints: 43855
49.24/49.44 c #Conflicts: 1346000 | #Constraints: 44855
49.24/49.44 c #Conflicts: 1347000 | #Constraints: 45855
49.24/49.44 c #Conflicts: 1348000 | #Constraints: 46855
49.24/49.44 c INPROCESSING
49.24/49.44 c GARBAGE COLLECT
49.24/49.44 c rational objective 400.5
50.14/50.39 c #Conflicts: 1349000 | #Constraints: 24862
50.14/50.39 c #Conflicts: 1350000 | #Constraints: 25862
50.14/50.39 c #Conflicts: 1351000 | #Constraints: 26862
50.14/50.39 c #Conflicts: 1352000 | #Constraints: 27862
50.14/50.39 c #Conflicts: 1353000 | #Constraints: 28862
50.14/50.39 c #Conflicts: 1354000 | #Constraints: 29862
50.14/50.39 c #Conflicts: 1355000 | #Constraints: 30862
50.14/50.39 c #Conflicts: 1356000 | #Constraints: 31862
50.14/50.39 c #Conflicts: 1357000 | #Constraints: 32862
50.14/50.39 c #Conflicts: 1358000 | #Constraints: 33862
50.14/50.39 c #Conflicts: 1359000 | #Constraints: 34862
50.14/50.39 c #Conflicts: 1360000 | #Constraints: 35862
50.14/50.39 c #Conflicts: 1361000 | #Constraints: 36862
50.14/50.39 c #Conflicts: 1362000 | #Constraints: 37862
50.14/50.39 c #Conflicts: 1363000 | #Constraints: 38862
50.14/50.39 c #Conflicts: 1364000 | #Constraints: 39862
50.14/50.39 c #Conflicts: 1365000 | #Constraints: 40862
50.14/50.39 c #Conflicts: 1366000 | #Constraints: 41862
50.14/50.39 c #Conflicts: 1367000 | #Constraints: 42862
50.14/50.39 c #Conflicts: 1368000 | #Constraints: 43862
50.14/50.39 c #Conflicts: 1369000 | #Constraints: 44862
50.14/50.39 c #Conflicts: 1370000 | #Constraints: 45862
50.14/50.39 c #Conflicts: 1371000 | #Constraints: 46862
50.14/50.39 c INPROCESSING
50.14/50.39 c GARBAGE COLLECT
50.14/50.39 c rational objective 400.5
51.14/51.34 c #Conflicts: 1372000 | #Constraints: 24661
51.14/51.34 c #Conflicts: 1373000 | #Constraints: 25661
51.14/51.34 c #Conflicts: 1374000 | #Constraints: 26661
51.14/51.34 c #Conflicts: 1375000 | #Constraints: 27661
51.14/51.34 c #Conflicts: 1376000 | #Constraints: 28661
51.14/51.34 c #Conflicts: 1377000 | #Constraints: 29661
51.14/51.34 c #Conflicts: 1378000 | #Constraints: 30661
51.14/51.34 c #Conflicts: 1379000 | #Constraints: 31661
51.14/51.34 c #Conflicts: 1380000 | #Constraints: 32661
51.14/51.34 c #Conflicts: 1381000 | #Constraints: 33661
51.14/51.34 c #Conflicts: 1382000 | #Constraints: 34661
51.14/51.34 c #Conflicts: 1383000 | #Constraints: 35661
51.14/51.34 c #Conflicts: 1384000 | #Constraints: 36661
51.14/51.34 c #Conflicts: 1385000 | #Constraints: 37661
51.14/51.34 c #Conflicts: 1386000 | #Constraints: 38661
51.14/51.34 c #Conflicts: 1387000 | #Constraints: 39661
51.14/51.34 c #Conflicts: 1388000 | #Constraints: 40661
51.14/51.34 c #Conflicts: 1389000 | #Constraints: 41661
51.14/51.34 c #Conflicts: 1390000 | #Constraints: 42661
51.14/51.34 c #Conflicts: 1391000 | #Constraints: 43661
51.14/51.34 c #Conflicts: 1392000 | #Constraints: 44661
51.14/51.34 c #Conflicts: 1393000 | #Constraints: 45661
51.14/51.34 c #Conflicts: 1394000 | #Constraints: 46661
51.14/51.34 c #Conflicts: 1395000 | #Constraints: 47661
51.14/51.34 c INPROCESSING
51.14/51.34 c GARBAGE COLLECT
51.14/51.34 c rational objective 400.5
52.04/52.29 c #Conflicts: 1396000 | #Constraints: 25264
52.04/52.29 c #Conflicts: 1397000 | #Constraints: 26264
52.04/52.29 c #Conflicts: 1398000 | #Constraints: 27264
52.04/52.29 c #Conflicts: 1399000 | #Constraints: 28264
52.04/52.29 c #Conflicts: 1400000 | #Constraints: 29264
52.04/52.29 c #Conflicts: 1401000 | #Constraints: 30264
52.04/52.29 c #Conflicts: 1402000 | #Constraints: 31264
52.04/52.29 c #Conflicts: 1403000 | #Constraints: 32264
52.04/52.29 c #Conflicts: 1404000 | #Constraints: 33264
52.04/52.29 c #Conflicts: 1405000 | #Constraints: 34264
52.04/52.29 c #Conflicts: 1406000 | #Constraints: 35264
52.04/52.29 c #Conflicts: 1407000 | #Constraints: 36264
52.04/52.29 c #Conflicts: 1408000 | #Constraints: 37264
52.04/52.29 c #Conflicts: 1409000 | #Constraints: 38264
52.04/52.29 c #Conflicts: 1410000 | #Constraints: 39264
52.04/52.29 c #Conflicts: 1411000 | #Constraints: 40264
52.04/52.29 c #Conflicts: 1412000 | #Constraints: 41264
52.04/52.29 c #Conflicts: 1413000 | #Constraints: 42264
52.04/52.29 c #Conflicts: 1414000 | #Constraints: 43264
52.04/52.29 c #Conflicts: 1415000 | #Constraints: 44264
52.04/52.29 c #Conflicts: 1416000 | #Constraints: 45264
52.04/52.29 c #Conflicts: 1417000 | #Constraints: 46264
52.04/52.29 c #Conflicts: 1418000 | #Constraints: 47264
52.04/52.29 c #Conflicts: 1419000 | #Constraints: 48264
52.04/52.29 c INPROCESSING
52.04/52.29 c GARBAGE COLLECT
52.04/52.29 c rational objective 400.5
53.04/53.24 c #Conflicts: 1420000 | #Constraints: 25661
53.04/53.24 c #Conflicts: 1421000 | #Constraints: 26661
53.04/53.24 c #Conflicts: 1422000 | #Constraints: 27661
53.04/53.24 c #Conflicts: 1423000 | #Constraints: 28661
53.04/53.24 c #Conflicts: 1424000 | #Constraints: 29661
53.04/53.24 c #Conflicts: 1425000 | #Constraints: 30661
53.04/53.24 c #Conflicts: 1426000 | #Constraints: 31661
53.04/53.24 c #Conflicts: 1427000 | #Constraints: 32661
53.04/53.24 c #Conflicts: 1428000 | #Constraints: 33661
53.04/53.24 c #Conflicts: 1429000 | #Constraints: 34661
53.04/53.24 c #Conflicts: 1430000 | #Constraints: 35661
53.04/53.24 c #Conflicts: 1431000 | #Constraints: 36661
53.04/53.24 c #Conflicts: 1432000 | #Constraints: 37661
53.04/53.24 c #Conflicts: 1433000 | #Constraints: 38661
53.04/53.24 c #Conflicts: 1434000 | #Constraints: 39661
53.04/53.24 c #Conflicts: 1435000 | #Constraints: 40661
53.04/53.24 c #Conflicts: 1436000 | #Constraints: 41661
53.04/53.24 c #Conflicts: 1437000 | #Constraints: 42661
53.04/53.24 c #Conflicts: 1438000 | #Constraints: 43661
53.04/53.24 c #Conflicts: 1439000 | #Constraints: 44661
53.04/53.24 c #Conflicts: 1440000 | #Constraints: 45661
53.04/53.24 c #Conflicts: 1441000 | #Constraints: 46661
53.04/53.24 c #Conflicts: 1442000 | #Constraints: 47661
53.04/53.24 c #Conflicts: 1443000 | #Constraints: 48661
53.04/53.24 c INPROCESSING
53.04/53.24 c GARBAGE COLLECT
53.04/53.24 c rational objective 400.5
54.04/54.25 c #Conflicts: 1444000 | #Constraints: 25866
54.04/54.25 c #Conflicts: 1445000 | #Constraints: 26866
54.04/54.25 c #Conflicts: 1446000 | #Constraints: 27866
54.04/54.25 c #Conflicts: 1447000 | #Constraints: 28866
54.04/54.25 c #Conflicts: 1448000 | #Constraints: 29866
54.04/54.25 c #Conflicts: 1449000 | #Constraints: 30866
54.04/54.25 c #Conflicts: 1450000 | #Constraints: 31866
54.04/54.25 c #Conflicts: 1451000 | #Constraints: 32866
54.04/54.25 c #Conflicts: 1452000 | #Constraints: 33866
54.04/54.25 c #Conflicts: 1453000 | #Constraints: 34866
54.04/54.25 c #Conflicts: 1454000 | #Constraints: 35866
54.04/54.25 c #Conflicts: 1455000 | #Constraints: 36866
54.04/54.25 c #Conflicts: 1456000 | #Constraints: 37866
54.04/54.25 c #Conflicts: 1457000 | #Constraints: 38866
54.04/54.25 c #Conflicts: 1458000 | #Constraints: 39866
54.04/54.25 c #Conflicts: 1459000 | #Constraints: 40866
54.04/54.25 c #Conflicts: 1460000 | #Constraints: 41866
54.04/54.25 c #Conflicts: 1461000 | #Constraints: 42866
54.04/54.25 c #Conflicts: 1462000 | #Constraints: 43866
54.04/54.25 c #Conflicts: 1463000 | #Constraints: 44866
54.04/54.25 c #Conflicts: 1464000 | #Constraints: 45866
54.04/54.25 c #Conflicts: 1465000 | #Constraints: 46866
54.04/54.25 c #Conflicts: 1466000 | #Constraints: 47866
54.04/54.25 c #Conflicts: 1467000 | #Constraints: 48866
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c rational objective 400.5
55.03/55.26 c #Conflicts: 1468000 | #Constraints: 25860
55.03/55.26 c #Conflicts: 1469000 | #Constraints: 26860
55.03/55.26 c #Conflicts: 1470000 | #Constraints: 27860
55.03/55.26 c #Conflicts: 1471000 | #Constraints: 28860
55.03/55.26 c #Conflicts: 1472000 | #Constraints: 29860
55.03/55.26 c #Conflicts: 1473000 | #Constraints: 30860
55.03/55.26 c #Conflicts: 1474000 | #Constraints: 31860
55.03/55.26 c #Conflicts: 1475000 | #Constraints: 32860
55.03/55.26 c #Conflicts: 1476000 | #Constraints: 33860
55.03/55.26 c #Conflicts: 1477000 | #Constraints: 34860
55.03/55.26 c #Conflicts: 1478000 | #Constraints: 35860
55.03/55.26 c #Conflicts: 1479000 | #Constraints: 36860
55.03/55.26 c #Conflicts: 1480000 | #Constraints: 37860
55.03/55.26 c #Conflicts: 1481000 | #Constraints: 38860
55.03/55.26 c #Conflicts: 1482000 | #Constraints: 39860
55.03/55.26 c #Conflicts: 1483000 | #Constraints: 40860
55.03/55.26 c #Conflicts: 1484000 | #Constraints: 41860
55.03/55.26 c #Conflicts: 1485000 | #Constraints: 42860
55.03/55.26 c #Conflicts: 1486000 | #Constraints: 43860
55.03/55.26 c #Conflicts: 1487000 | #Constraints: 44860
55.03/55.26 c #Conflicts: 1488000 | #Constraints: 45860
55.03/55.26 c #Conflicts: 1489000 | #Constraints: 46860
55.03/55.26 c #Conflicts: 1490000 | #Constraints: 47860
55.03/55.26 c #Conflicts: 1491000 | #Constraints: 48860
55.03/55.26 c INPROCESSING
55.03/55.26 c GARBAGE COLLECT
55.03/55.26 c rational objective 400.5
56.03/56.26 c #Conflicts: 1492000 | #Constraints: 25650
56.03/56.26 c #Conflicts: 1493000 | #Constraints: 26650
56.03/56.26 c #Conflicts: 1494000 | #Constraints: 27650
56.03/56.26 c #Conflicts: 1495000 | #Constraints: 28650
56.03/56.26 c #Conflicts: 1496000 | #Constraints: 29650
56.03/56.26 c #Conflicts: 1497000 | #Constraints: 30650
56.03/56.26 c #Conflicts: 1498000 | #Constraints: 31650
56.03/56.26 c #Conflicts: 1499000 | #Constraints: 32650
56.03/56.26 c #Conflicts: 1500000 | #Constraints: 33650
56.03/56.26 c #Conflicts: 1501000 | #Constraints: 34650
56.03/56.26 c #Conflicts: 1502000 | #Constraints: 35650
56.03/56.26 c #Conflicts: 1503000 | #Constraints: 36650
56.03/56.26 c #Conflicts: 1504000 | #Constraints: 37650
56.03/56.26 c #Conflicts: 1505000 | #Constraints: 38650
56.03/56.26 c #Conflicts: 1506000 | #Constraints: 39650
56.03/56.26 c #Conflicts: 1507000 | #Constraints: 40650
56.03/56.26 c #Conflicts: 1508000 | #Constraints: 41650
56.03/56.26 c #Conflicts: 1509000 | #Constraints: 42650
56.03/56.26 c #Conflicts: 1510000 | #Constraints: 43650
56.03/56.26 c #Conflicts: 1511000 | #Constraints: 44650
56.03/56.26 c #Conflicts: 1512000 | #Constraints: 45650
56.03/56.26 c #Conflicts: 1513000 | #Constraints: 46650
56.03/56.26 c #Conflicts: 1514000 | #Constraints: 47650
56.03/56.26 c #Conflicts: 1515000 | #Constraints: 48650
56.03/56.26 c #Conflicts: 1516000 | #Constraints: 49650
56.03/56.26 c INPROCESSING
56.03/56.26 c GARBAGE COLLECT
56.03/56.26 c rational objective 400.5
57.02/57.26 c #Conflicts: 1517000 | #Constraints: 26255
57.02/57.26 c #Conflicts: 1518000 | #Constraints: 27255
57.02/57.26 c #Conflicts: 1519000 | #Constraints: 28255
57.02/57.26 c #Conflicts: 1520000 | #Constraints: 29255
57.02/57.26 c #Conflicts: 1521000 | #Constraints: 30255
57.02/57.26 c #Conflicts: 1522000 | #Constraints: 31255
57.02/57.26 c #Conflicts: 1523000 | #Constraints: 32255
57.02/57.26 c #Conflicts: 1524000 | #Constraints: 33255
57.02/57.26 c #Conflicts: 1525000 | #Constraints: 34255
57.02/57.26 c #Conflicts: 1526000 | #Constraints: 35255
57.02/57.26 c #Conflicts: 1527000 | #Constraints: 36255
57.02/57.26 c #Conflicts: 1528000 | #Constraints: 37255
57.02/57.26 c #Conflicts: 1529000 | #Constraints: 38255
57.02/57.26 c #Conflicts: 1530000 | #Constraints: 39255
57.02/57.26 c #Conflicts: 1531000 | #Constraints: 40255
57.02/57.26 c #Conflicts: 1532000 | #Constraints: 41255
57.02/57.26 c #Conflicts: 1533000 | #Constraints: 42255
57.02/57.26 c #Conflicts: 1534000 | #Constraints: 43255
57.02/57.26 c #Conflicts: 1535000 | #Constraints: 44255
57.02/57.26 c #Conflicts: 1536000 | #Constraints: 45255
57.02/57.26 c #Conflicts: 1537000 | #Constraints: 46255
57.02/57.26 c #Conflicts: 1538000 | #Constraints: 47255
57.02/57.26 c #Conflicts: 1539000 | #Constraints: 48255
57.02/57.26 c #Conflicts: 1540000 | #Constraints: 49255
57.02/57.26 c #Conflicts: 1541000 | #Constraints: 50255
57.02/57.26 c INPROCESSING
57.02/57.26 c GARBAGE COLLECT
57.02/57.26 c rational objective 400.5
58.12/58.34 c #Conflicts: 1542000 | #Constraints: 26658
58.12/58.34 c #Conflicts: 1543000 | #Constraints: 27658
58.12/58.34 c #Conflicts: 1544000 | #Constraints: 28658
58.12/58.34 c #Conflicts: 1545000 | #Constraints: 29658
58.12/58.34 c #Conflicts: 1546000 | #Constraints: 30658
58.12/58.34 c #Conflicts: 1547000 | #Constraints: 31658
58.12/58.34 c #Conflicts: 1548000 | #Constraints: 32658
58.12/58.34 c #Conflicts: 1549000 | #Constraints: 33658
58.12/58.34 c #Conflicts: 1550000 | #Constraints: 34658
58.12/58.34 c #Conflicts: 1551000 | #Constraints: 35658
58.12/58.34 c #Conflicts: 1552000 | #Constraints: 36658
58.12/58.34 c #Conflicts: 1553000 | #Constraints: 37658
58.12/58.34 c #Conflicts: 1554000 | #Constraints: 38658
58.12/58.34 c #Conflicts: 1555000 | #Constraints: 39658
58.12/58.34 c #Conflicts: 1556000 | #Constraints: 40658
58.12/58.34 c #Conflicts: 1557000 | #Constraints: 41658
58.12/58.34 c #Conflicts: 1558000 | #Constraints: 42658
58.12/58.34 c #Conflicts: 1559000 | #Constraints: 43658
58.12/58.34 c #Conflicts: 1560000 | #Constraints: 44658
58.12/58.34 c #Conflicts: 1561000 | #Constraints: 45658
58.12/58.34 c #Conflicts: 1562000 | #Constraints: 46658
58.12/58.34 c #Conflicts: 1563000 | #Constraints: 47658
58.12/58.34 c #Conflicts: 1564000 | #Constraints: 48658
58.12/58.34 c #Conflicts: 1565000 | #Constraints: 49658
58.12/58.34 c #Conflicts: 1566000 | #Constraints: 50658
58.12/58.34 c INPROCESSING
58.12/58.34 c GARBAGE COLLECT
58.12/58.34 c rational objective 400.5
59.12/59.34 c #Conflicts: 1567000 | #Constraints: 26856
59.12/59.34 c #Conflicts: 1568000 | #Constraints: 27856
59.12/59.34 c #Conflicts: 1569000 | #Constraints: 28856
59.12/59.34 c #Conflicts: 1570000 | #Constraints: 29856
59.12/59.34 c #Conflicts: 1571000 | #Constraints: 30856
59.12/59.34 c #Conflicts: 1572000 | #Constraints: 31856
59.12/59.34 c #Conflicts: 1573000 | #Constraints: 32856
59.12/59.34 c #Conflicts: 1574000 | #Constraints: 33856
59.12/59.34 c #Conflicts: 1575000 | #Constraints: 34856
59.12/59.34 c #Conflicts: 1576000 | #Constraints: 35856
59.12/59.34 c #Conflicts: 1577000 | #Constraints: 36856
59.12/59.34 c #Conflicts: 1578000 | #Constraints: 37856
59.12/59.34 c #Conflicts: 1579000 | #Constraints: 38856
59.12/59.34 c #Conflicts: 1580000 | #Constraints: 39856
59.12/59.34 c #Conflicts: 1581000 | #Constraints: 40856
59.12/59.34 c #Conflicts: 1582000 | #Constraints: 41856
59.12/59.34 c #Conflicts: 1583000 | #Constraints: 42856
59.12/59.34 c #Conflicts: 1584000 | #Constraints: 43856
59.12/59.34 c #Conflicts: 1585000 | #Constraints: 44856
59.12/59.34 c #Conflicts: 1586000 | #Constraints: 45856
59.12/59.34 c #Conflicts: 1587000 | #Constraints: 46856
59.12/59.34 c #Conflicts: 1588000 | #Constraints: 47856
59.12/59.34 c #Conflicts: 1589000 | #Constraints: 48856
59.12/59.34 c #Conflicts: 1590000 | #Constraints: 49856
59.12/59.34 c #Conflicts: 1591000 | #Constraints: 50856
59.12/59.34 c INPROCESSING
59.12/59.34 c GARBAGE COLLECT
59.12/59.34 c rational objective 400.5
60.32/60.56 c #Conflicts: 1592000 | #Constraints: 26857
60.32/60.56 c #Conflicts: 1593000 | #Constraints: 27857
60.32/60.56 c #Conflicts: 1594000 | #Constraints: 28857
60.32/60.56 c #Conflicts: 1595000 | #Constraints: 29857
60.32/60.56 c #Conflicts: 1596000 | #Constraints: 30857
60.32/60.56 c #Conflicts: 1597000 | #Constraints: 31857
60.32/60.56 c #Conflicts: 1598000 | #Constraints: 32857
60.32/60.56 c #Conflicts: 1599000 | #Constraints: 33857
60.32/60.56 c #Conflicts: 1600000 | #Constraints: 34857
60.32/60.56 c #Conflicts: 1601000 | #Constraints: 35857
60.32/60.56 c #Conflicts: 1602000 | #Constraints: 36857
60.32/60.56 c #Conflicts: 1603000 | #Constraints: 37857
60.32/60.56 c #Conflicts: 1604000 | #Constraints: 38857
60.32/60.56 c #Conflicts: 1605000 | #Constraints: 39857
60.32/60.56 c #Conflicts: 1606000 | #Constraints: 40857
60.32/60.56 c #Conflicts: 1607000 | #Constraints: 41857
60.32/60.56 c #Conflicts: 1608000 | #Constraints: 42857
60.32/60.56 c #Conflicts: 1609000 | #Constraints: 43857
60.32/60.56 c #Conflicts: 1610000 | #Constraints: 44857
60.32/60.56 c #Conflicts: 1611000 | #Constraints: 45857
60.32/60.56 c #Conflicts: 1612000 | #Constraints: 46857
60.32/60.56 c #Conflicts: 1613000 | #Constraints: 47857
60.32/60.56 c #Conflicts: 1614000 | #Constraints: 48857
60.32/60.56 c #Conflicts: 1615000 | #Constraints: 49857
60.32/60.56 c #Conflicts: 1616000 | #Constraints: 50857
60.32/60.56 c INPROCESSING
60.32/60.56 c GARBAGE COLLECT
60.32/60.56 c rational objective 400.5
61.52/61.75 c #Conflicts: 1617000 | #Constraints: 26670
61.52/61.75 c #Conflicts: 1618000 | #Constraints: 27670
61.52/61.75 c #Conflicts: 1619000 | #Constraints: 28670
61.52/61.75 c #Conflicts: 1620000 | #Constraints: 29670
61.52/61.75 c #Conflicts: 1621000 | #Constraints: 30670
61.52/61.75 c #Conflicts: 1622000 | #Constraints: 31670
61.52/61.75 c #Conflicts: 1623000 | #Constraints: 32670
61.52/61.75 c #Conflicts: 1624000 | #Constraints: 33670
61.52/61.75 c #Conflicts: 1625000 | #Constraints: 34670
61.52/61.75 c #Conflicts: 1626000 | #Constraints: 35670
61.52/61.75 c #Conflicts: 1627000 | #Constraints: 36670
61.52/61.75 c #Conflicts: 1628000 | #Constraints: 37670
61.52/61.75 c #Conflicts: 1629000 | #Constraints: 38670
61.52/61.75 c #Conflicts: 1630000 | #Constraints: 39670
61.52/61.75 c #Conflicts: 1631000 | #Constraints: 40670
61.52/61.75 c #Conflicts: 1632000 | #Constraints: 41670
61.52/61.75 c #Conflicts: 1633000 | #Constraints: 42670
61.52/61.75 c #Conflicts: 1634000 | #Constraints: 43670
61.52/61.75 c #Conflicts: 1635000 | #Constraints: 44670
61.52/61.75 c #Conflicts: 1636000 | #Constraints: 45670
61.52/61.75 c #Conflicts: 1637000 | #Constraints: 46670
61.52/61.75 c #Conflicts: 1638000 | #Constraints: 47670
61.52/61.75 c #Conflicts: 1639000 | #Constraints: 48670
61.52/61.75 c #Conflicts: 1640000 | #Constraints: 49670
61.52/61.75 c #Conflicts: 1641000 | #Constraints: 50670
61.52/61.75 c #Conflicts: 1642000 | #Constraints: 51670
61.52/61.75 c INPROCESSING
61.52/61.75 c GARBAGE COLLECT
61.52/61.75 c rational objective 400.5
62.51/62.78 c #Conflicts: 1643000 | #Constraints: 27262
62.51/62.78 c #Conflicts: 1644000 | #Constraints: 28262
62.51/62.78 c #Conflicts: 1645000 | #Constraints: 29262
62.51/62.78 c #Conflicts: 1646000 | #Constraints: 30262
62.51/62.78 c #Conflicts: 1647000 | #Constraints: 31262
62.51/62.78 c #Conflicts: 1648000 | #Constraints: 32262
62.51/62.78 c #Conflicts: 1649000 | #Constraints: 33262
62.51/62.78 c #Conflicts: 1650000 | #Constraints: 34262
62.51/62.78 c #Conflicts: 1651000 | #Constraints: 35262
62.51/62.78 c #Conflicts: 1652000 | #Constraints: 36262
62.51/62.78 c #Conflicts: 1653000 | #Constraints: 37262
62.51/62.78 c #Conflicts: 1654000 | #Constraints: 38262
62.51/62.78 c #Conflicts: 1655000 | #Constraints: 39262
62.51/62.78 c #Conflicts: 1656000 | #Constraints: 40262
62.51/62.78 c #Conflicts: 1657000 | #Constraints: 41262
62.51/62.78 c #Conflicts: 1658000 | #Constraints: 42262
62.51/62.78 c #Conflicts: 1659000 | #Constraints: 43262
62.51/62.78 c #Conflicts: 1660000 | #Constraints: 44262
62.51/62.78 c #Conflicts: 1661000 | #Constraints: 45262
62.51/62.78 c #Conflicts: 1662000 | #Constraints: 46262
62.51/62.78 c #Conflicts: 1663000 | #Constraints: 47262
62.51/62.78 c #Conflicts: 1664000 | #Constraints: 48262
62.51/62.78 c #Conflicts: 1665000 | #Constraints: 49262
62.51/62.78 c #Conflicts: 1666000 | #Constraints: 50262
62.51/62.78 c #Conflicts: 1667000 | #Constraints: 51262
62.51/62.78 c #Conflicts: 1668000 | #Constraints: 52262
62.51/62.78 c INPROCESSING
62.51/62.78 c GARBAGE COLLECT
62.51/62.78 c rational objective 400.5
63.61/63.84 c #Conflicts: 1669000 | #Constraints: 27657
63.61/63.84 c #Conflicts: 1670000 | #Constraints: 28657
63.61/63.84 c #Conflicts: 1671000 | #Constraints: 29657
63.61/63.84 c #Conflicts: 1672000 | #Constraints: 30657
63.61/63.84 c #Conflicts: 1673000 | #Constraints: 31657
63.61/63.84 c #Conflicts: 1674000 | #Constraints: 32657
63.61/63.84 c #Conflicts: 1675000 | #Constraints: 33657
63.61/63.84 c #Conflicts: 1676000 | #Constraints: 34657
63.61/63.84 c #Conflicts: 1677000 | #Constraints: 35657
63.61/63.84 c #Conflicts: 1678000 | #Constraints: 36657
63.61/63.84 c #Conflicts: 1679000 | #Constraints: 37657
63.61/63.84 c #Conflicts: 1680000 | #Constraints: 38657
63.61/63.84 c #Conflicts: 1681000 | #Constraints: 39657
63.61/63.84 c #Conflicts: 1682000 | #Constraints: 40657
63.61/63.84 c #Conflicts: 1683000 | #Constraints: 41657
63.61/63.84 c #Conflicts: 1684000 | #Constraints: 42657
63.61/63.84 c #Conflicts: 1685000 | #Constraints: 43657
63.61/63.84 c #Conflicts: 1686000 | #Constraints: 44657
63.61/63.84 c #Conflicts: 1687000 | #Constraints: 45657
63.61/63.84 c #Conflicts: 1688000 | #Constraints: 46657
63.61/63.84 c #Conflicts: 1689000 | #Constraints: 47657
63.61/63.84 c #Conflicts: 1690000 | #Constraints: 48657
63.61/63.84 c #Conflicts: 1691000 | #Constraints: 49657
63.61/63.84 c #Conflicts: 1692000 | #Constraints: 50657
63.61/63.84 c #Conflicts: 1693000 | #Constraints: 51657
63.61/63.84 c #Conflicts: 1694000 | #Constraints: 52657
63.61/63.84 c INPROCESSING
63.61/63.84 c GARBAGE COLLECT
63.61/63.84 c rational objective 400.5
64.71/64.92 c #Conflicts: 1695000 | #Constraints: 27859
64.71/64.92 c #Conflicts: 1696000 | #Constraints: 28859
64.71/64.92 c #Conflicts: 1697000 | #Constraints: 29859
64.71/64.92 c #Conflicts: 1698000 | #Constraints: 30859
64.71/64.92 c #Conflicts: 1699000 | #Constraints: 31859
64.71/64.92 c #Conflicts: 1700000 | #Constraints: 32859
64.71/64.92 c #Conflicts: 1701000 | #Constraints: 33859
64.71/64.92 c #Conflicts: 1702000 | #Constraints: 34859
64.71/64.92 c #Conflicts: 1703000 | #Constraints: 35859
64.71/64.92 c #Conflicts: 1704000 | #Constraints: 36859
64.71/64.92 c #Conflicts: 1705000 | #Constraints: 37859
64.71/64.92 c #Conflicts: 1706000 | #Constraints: 38859
64.71/64.92 c #Conflicts: 1707000 | #Constraints: 39859
64.71/64.92 c #Conflicts: 1708000 | #Constraints: 40859
64.71/64.92 c #Conflicts: 1709000 | #Constraints: 41859
64.71/64.92 c #Conflicts: 1710000 | #Constraints: 42859
64.71/64.92 c #Conflicts: 1711000 | #Constraints: 43859
64.71/64.92 c #Conflicts: 1712000 | #Constraints: 44859
64.71/64.92 c #Conflicts: 1713000 | #Constraints: 45859
64.71/64.92 c #Conflicts: 1714000 | #Constraints: 46859
64.71/64.92 c #Conflicts: 1715000 | #Constraints: 47859
64.71/64.92 c #Conflicts: 1716000 | #Constraints: 48859
64.71/64.92 c #Conflicts: 1717000 | #Constraints: 49859
64.71/64.92 c #Conflicts: 1718000 | #Constraints: 50859
64.71/64.92 c #Conflicts: 1719000 | #Constraints: 51859
64.71/64.92 c #Conflicts: 1720000 | #Constraints: 52859
64.71/64.92 c INPROCESSING
64.71/64.92 c GARBAGE COLLECT
64.71/64.92 c rational objective 400.5
65.81/66.06 c #Conflicts: 1721000 | #Constraints: 27858
65.81/66.06 c #Conflicts: 1722000 | #Constraints: 28858
65.81/66.06 c #Conflicts: 1723000 | #Constraints: 29858
65.81/66.06 c #Conflicts: 1724000 | #Constraints: 30858
65.81/66.06 c #Conflicts: 1725000 | #Constraints: 31858
65.81/66.06 c #Conflicts: 1726000 | #Constraints: 32858
65.81/66.06 c #Conflicts: 1727000 | #Constraints: 33858
65.81/66.06 c #Conflicts: 1728000 | #Constraints: 34858
65.81/66.06 c #Conflicts: 1729000 | #Constraints: 35858
65.81/66.06 c #Conflicts: 1730000 | #Constraints: 36858
65.81/66.06 c #Conflicts: 1731000 | #Constraints: 37858
65.81/66.06 c #Conflicts: 1732000 | #Constraints: 38858
65.81/66.06 c #Conflicts: 1733000 | #Constraints: 39858
65.81/66.06 c #Conflicts: 1734000 | #Constraints: 40858
65.81/66.06 c #Conflicts: 1735000 | #Constraints: 41858
65.81/66.06 c #Conflicts: 1736000 | #Constraints: 42858
65.81/66.06 c #Conflicts: 1737000 | #Constraints: 43858
65.81/66.06 c #Conflicts: 1738000 | #Constraints: 44858
65.81/66.06 c #Conflicts: 1739000 | #Constraints: 45858
65.81/66.06 c #Conflicts: 1740000 | #Constraints: 46858
65.81/66.06 c #Conflicts: 1741000 | #Constraints: 47858
65.81/66.06 c #Conflicts: 1742000 | #Constraints: 48858
65.81/66.06 c #Conflicts: 1743000 | #Constraints: 49858
65.81/66.06 c #Conflicts: 1744000 | #Constraints: 50858
65.81/66.06 c #Conflicts: 1745000 | #Constraints: 51858
65.81/66.06 c #Conflicts: 1746000 | #Constraints: 52858
65.81/66.06 c INPROCESSING
65.81/66.06 c GARBAGE COLLECT
65.81/66.06 c rational objective 400.5
66.90/67.18 c #Conflicts: 1747000 | #Constraints: 27656
66.90/67.18 c #Conflicts: 1748000 | #Constraints: 28656
66.90/67.18 c #Conflicts: 1749000 | #Constraints: 29656
66.90/67.18 c #Conflicts: 1750000 | #Constraints: 30656
66.90/67.18 c #Conflicts: 1751000 | #Constraints: 31656
66.90/67.18 c #Conflicts: 1752000 | #Constraints: 32656
66.90/67.18 c #Conflicts: 1753000 | #Constraints: 33656
66.90/67.18 c #Conflicts: 1754000 | #Constraints: 34656
66.90/67.18 c #Conflicts: 1755000 | #Constraints: 35656
66.90/67.18 c #Conflicts: 1756000 | #Constraints: 36656
66.90/67.18 c #Conflicts: 1757000 | #Constraints: 37656
66.90/67.18 c #Conflicts: 1758000 | #Constraints: 38656
66.90/67.18 c #Conflicts: 1759000 | #Constraints: 39656
66.90/67.18 c #Conflicts: 1760000 | #Constraints: 40656
66.90/67.18 c #Conflicts: 1761000 | #Constraints: 41656
66.90/67.18 c #Conflicts: 1762000 | #Constraints: 42656
66.90/67.18 c #Conflicts: 1763000 | #Constraints: 43656
66.90/67.18 c #Conflicts: 1764000 | #Constraints: 44656
66.90/67.18 c #Conflicts: 1765000 | #Constraints: 45656
66.90/67.18 c #Conflicts: 1766000 | #Constraints: 46656
66.90/67.18 c #Conflicts: 1767000 | #Constraints: 47656
66.90/67.18 c #Conflicts: 1768000 | #Constraints: 48656
66.90/67.18 c #Conflicts: 1769000 | #Constraints: 49656
66.90/67.18 c #Conflicts: 1770000 | #Constraints: 50656
66.90/67.18 c #Conflicts: 1771000 | #Constraints: 51656
66.90/67.18 c #Conflicts: 1772000 | #Constraints: 52656
66.90/67.18 c #Conflicts: 1773000 | #Constraints: 53656
66.90/67.18 c INPROCESSING
66.90/67.18 c GARBAGE COLLECT
66.90/67.18 c rational objective 400.5
68.00/68.28 c #Conflicts: 1774000 | #Constraints: 28261
68.00/68.28 c #Conflicts: 1775000 | #Constraints: 29261
68.00/68.28 c #Conflicts: 1776000 | #Constraints: 30261
68.00/68.28 c #Conflicts: 1777000 | #Constraints: 31261
68.00/68.28 c #Conflicts: 1778000 | #Constraints: 32261
68.00/68.28 c #Conflicts: 1779000 | #Constraints: 33261
68.00/68.28 c #Conflicts: 1780000 | #Constraints: 34261
68.00/68.28 c #Conflicts: 1781000 | #Constraints: 35261
68.00/68.28 c #Conflicts: 1782000 | #Constraints: 36261
68.00/68.28 c #Conflicts: 1783000 | #Constraints: 37261
68.00/68.28 c #Conflicts: 1784000 | #Constraints: 38261
68.00/68.28 c #Conflicts: 1785000 | #Constraints: 39261
68.00/68.28 c #Conflicts: 1786000 | #Constraints: 40261
68.00/68.28 c #Conflicts: 1787000 | #Constraints: 41261
68.00/68.28 c #Conflicts: 1788000 | #Constraints: 42261
68.00/68.28 c #Conflicts: 1789000 | #Constraints: 43261
68.00/68.28 c #Conflicts: 1790000 | #Constraints: 44261
68.00/68.28 c #Conflicts: 1791000 | #Constraints: 45261
68.00/68.28 c #Conflicts: 1792000 | #Constraints: 46261
68.00/68.28 c #Conflicts: 1793000 | #Constraints: 47261
68.00/68.28 c #Conflicts: 1794000 | #Constraints: 48261
68.00/68.28 c #Conflicts: 1795000 | #Constraints: 49261
68.00/68.28 c #Conflicts: 1796000 | #Constraints: 50261
68.00/68.28 c #Conflicts: 1797000 | #Constraints: 51261
68.00/68.28 c #Conflicts: 1798000 | #Constraints: 52261
68.00/68.28 c #Conflicts: 1799000 | #Constraints: 53261
68.00/68.28 c #Conflicts: 1800000 | #Constraints: 54261
68.00/68.28 c INPROCESSING
68.00/68.28 c GARBAGE COLLECT
68.00/68.28 c rational objective 400.5
69.10/69.37 c #Conflicts: 1801000 | #Constraints: 28661
69.10/69.37 c #Conflicts: 1802000 | #Constraints: 29661
69.10/69.37 c #Conflicts: 1803000 | #Constraints: 30661
69.10/69.37 c #Conflicts: 1804000 | #Constraints: 31661
69.10/69.37 c #Conflicts: 1805000 | #Constraints: 32661
69.10/69.37 c #Conflicts: 1806000 | #Constraints: 33661
69.10/69.37 c #Conflicts: 1807000 | #Constraints: 34661
69.10/69.37 c #Conflicts: 1808000 | #Constraints: 35661
69.10/69.37 c #Conflicts: 1809000 | #Constraints: 36661
69.10/69.37 c #Conflicts: 1810000 | #Constraints: 37661
69.10/69.37 c #Conflicts: 1811000 | #Constraints: 38661
69.10/69.37 c #Conflicts: 1812000 | #Constraints: 39661
69.10/69.37 c #Conflicts: 1813000 | #Constraints: 40661
69.10/69.37 c #Conflicts: 1814000 | #Constraints: 41661
69.10/69.37 c #Conflicts: 1815000 | #Constraints: 42661
69.10/69.37 c #Conflicts: 1816000 | #Constraints: 43661
69.10/69.37 c #Conflicts: 1817000 | #Constraints: 44661
69.10/69.37 c #Conflicts: 1818000 | #Constraints: 45661
69.10/69.37 c #Conflicts: 1819000 | #Constraints: 46661
69.10/69.37 c #Conflicts: 1820000 | #Constraints: 47661
69.10/69.37 c #Conflicts: 1821000 | #Constraints: 48661
69.10/69.37 c #Conflicts: 1822000 | #Constraints: 49661
69.10/69.37 c #Conflicts: 1823000 | #Constraints: 50661
69.10/69.37 c #Conflicts: 1824000 | #Constraints: 51661
69.10/69.37 c #Conflicts: 1825000 | #Constraints: 52661
69.10/69.37 c #Conflicts: 1826000 | #Constraints: 53661
69.10/69.37 c #Conflicts: 1827000 | #Constraints: 54661
69.10/69.37 c INPROCESSING
69.10/69.37 c GARBAGE COLLECT
69.10/69.37 c rational objective 400.5
70.29/70.52 c #Conflicts: 1828000 | #Constraints: 28870
70.29/70.52 c #Conflicts: 1829000 | #Constraints: 29870
70.29/70.52 c #Conflicts: 1830000 | #Constraints: 30870
70.29/70.52 c #Conflicts: 1831000 | #Constraints: 31870
70.29/70.52 c #Conflicts: 1832000 | #Constraints: 32870
70.29/70.52 c #Conflicts: 1833000 | #Constraints: 33870
70.29/70.52 c #Conflicts: 1834000 | #Constraints: 34870
70.29/70.52 c #Conflicts: 1835000 | #Constraints: 35870
70.29/70.52 c #Conflicts: 1836000 | #Constraints: 36870
70.29/70.52 c #Conflicts: 1837000 | #Constraints: 37870
70.29/70.52 c #Conflicts: 1838000 | #Constraints: 38870
70.29/70.52 c #Conflicts: 1839000 | #Constraints: 39870
70.29/70.52 c #Conflicts: 1840000 | #Constraints: 40870
70.29/70.52 c #Conflicts: 1841000 | #Constraints: 41870
70.29/70.52 c #Conflicts: 1842000 | #Constraints: 42870
70.29/70.52 c #Conflicts: 1843000 | #Constraints: 43870
70.29/70.52 c #Conflicts: 1844000 | #Constraints: 44870
70.29/70.52 c #Conflicts: 1845000 | #Constraints: 45870
70.29/70.52 c #Conflicts: 1846000 | #Constraints: 46870
70.29/70.52 c #Conflicts: 1847000 | #Constraints: 47870
70.29/70.52 c #Conflicts: 1848000 | #Constraints: 48870
70.29/70.52 c #Conflicts: 1849000 | #Constraints: 49870
70.29/70.52 c #Conflicts: 1850000 | #Constraints: 50870
70.29/70.52 c #Conflicts: 1851000 | #Constraints: 51870
70.29/70.52 c #Conflicts: 1852000 | #Constraints: 52870
70.29/70.52 c #Conflicts: 1853000 | #Constraints: 53870
70.29/70.52 c #Conflicts: 1854000 | #Constraints: 54870
70.29/70.52 c INPROCESSING
70.29/70.52 c GARBAGE COLLECT
70.29/70.52 c rational objective 400.5
71.39/71.67 c #Conflicts: 1855000 | #Constraints: 28880
71.39/71.67 c #Conflicts: 1856000 | #Constraints: 29880
71.39/71.67 c #Conflicts: 1857000 | #Constraints: 30880
71.39/71.67 c #Conflicts: 1858000 | #Constraints: 31880
71.39/71.67 c #Conflicts: 1859000 | #Constraints: 32880
71.39/71.67 c #Conflicts: 1860000 | #Constraints: 33880
71.39/71.67 c #Conflicts: 1861000 | #Constraints: 34880
71.39/71.67 c #Conflicts: 1862000 | #Constraints: 35880
71.39/71.67 c #Conflicts: 1863000 | #Constraints: 36880
71.39/71.67 c #Conflicts: 1864000 | #Constraints: 37880
71.39/71.67 c #Conflicts: 1865000 | #Constraints: 38880
71.39/71.67 c #Conflicts: 1866000 | #Constraints: 39880
71.39/71.67 c #Conflicts: 1867000 | #Constraints: 40880
71.39/71.67 c #Conflicts: 1868000 | #Constraints: 41880
71.39/71.67 c #Conflicts: 1869000 | #Constraints: 42880
71.39/71.67 c #Conflicts: 1870000 | #Constraints: 43880
71.39/71.67 c #Conflicts: 1871000 | #Constraints: 44880
71.39/71.67 c #Conflicts: 1872000 | #Constraints: 45880
71.39/71.67 c #Conflicts: 1873000 | #Constraints: 46880
71.39/71.67 c #Conflicts: 1874000 | #Constraints: 47880
71.39/71.67 c #Conflicts: 1875000 | #Constraints: 48880
71.39/71.67 c #Conflicts: 1876000 | #Constraints: 49880
71.39/71.67 c #Conflicts: 1877000 | #Constraints: 50880
71.39/71.67 c #Conflicts: 1878000 | #Constraints: 51880
71.39/71.67 c #Conflicts: 1879000 | #Constraints: 52880
71.39/71.67 c #Conflicts: 1880000 | #Constraints: 53880
71.39/71.67 c #Conflicts: 1881000 | #Constraints: 54880
71.39/71.67 c INPROCESSING
71.39/71.67 c GARBAGE COLLECT
71.39/71.67 c rational objective 400.5
72.58/72.89 c #Conflicts: 1882000 | #Constraints: 28676
72.58/72.89 c #Conflicts: 1883000 | #Constraints: 29676
72.58/72.89 c #Conflicts: 1884000 | #Constraints: 30676
72.58/72.89 c #Conflicts: 1885000 | #Constraints: 31676
72.58/72.89 c #Conflicts: 1886000 | #Constraints: 32676
72.58/72.89 c #Conflicts: 1887000 | #Constraints: 33676
72.58/72.89 c #Conflicts: 1888000 | #Constraints: 34676
72.58/72.89 c #Conflicts: 1889000 | #Constraints: 35676
72.58/72.89 c #Conflicts: 1890000 | #Constraints: 36676
72.58/72.89 c #Conflicts: 1891000 | #Constraints: 37676
72.58/72.89 c #Conflicts: 1892000 | #Constraints: 38676
72.58/72.89 c #Conflicts: 1893000 | #Constraints: 39676
72.58/72.89 c #Conflicts: 1894000 | #Constraints: 40676
72.58/72.89 c #Conflicts: 1895000 | #Constraints: 41676
72.58/72.89 c #Conflicts: 1896000 | #Constraints: 42676
72.58/72.89 c #Conflicts: 1897000 | #Constraints: 43676
72.58/72.89 c #Conflicts: 1898000 | #Constraints: 44676
72.58/72.89 c #Conflicts: 1899000 | #Constraints: 45676
72.58/72.89 c #Conflicts: 1900000 | #Constraints: 46676
72.58/72.89 c #Conflicts: 1901000 | #Constraints: 47676
72.58/72.89 c #Conflicts: 1902000 | #Constraints: 48676
72.58/72.89 c #Conflicts: 1903000 | #Constraints: 49676
72.58/72.89 c #Conflicts: 1904000 | #Constraints: 50676
72.58/72.89 c #Conflicts: 1905000 | #Constraints: 51676
72.58/72.89 c #Conflicts: 1906000 | #Constraints: 52676
72.58/72.89 c #Conflicts: 1907000 | #Constraints: 53676
72.58/72.89 c #Conflicts: 1908000 | #Constraints: 54676
72.58/72.89 c #Conflicts: 1909000 | #Constraints: 55676
72.58/72.89 c INPROCESSING
72.58/72.89 c GARBAGE COLLECT
72.58/72.89 c rational objective 400.5
73.79/74.09 c #Conflicts: 1910000 | #Constraints: 29271
73.79/74.09 c #Conflicts: 1911000 | #Constraints: 30271
73.79/74.09 c #Conflicts: 1912000 | #Constraints: 31271
73.79/74.09 c #Conflicts: 1913000 | #Constraints: 32271
73.79/74.09 c #Conflicts: 1914000 | #Constraints: 33271
73.79/74.09 c #Conflicts: 1915000 | #Constraints: 34271
73.79/74.09 c #Conflicts: 1916000 | #Constraints: 35271
73.79/74.09 c #Conflicts: 1917000 | #Constraints: 36271
73.79/74.09 c #Conflicts: 1918000 | #Constraints: 37271
73.79/74.09 c #Conflicts: 1919000 | #Constraints: 38271
73.79/74.09 c #Conflicts: 1920000 | #Constraints: 39271
73.79/74.09 c #Conflicts: 1921000 | #Constraints: 40271
73.79/74.09 c #Conflicts: 1922000 | #Constraints: 41271
73.79/74.09 c #Conflicts: 1923000 | #Constraints: 42271
73.79/74.09 c #Conflicts: 1924000 | #Constraints: 43271
73.79/74.09 c #Conflicts: 1925000 | #Constraints: 44271
73.79/74.09 c #Conflicts: 1926000 | #Constraints: 45271
73.79/74.09 c #Conflicts: 1927000 | #Constraints: 46271
73.79/74.09 c #Conflicts: 1928000 | #Constraints: 47271
73.79/74.09 c #Conflicts: 1929000 | #Constraints: 48271
73.79/74.09 c #Conflicts: 1930000 | #Constraints: 49271
73.79/74.09 c #Conflicts: 1931000 | #Constraints: 50271
73.79/74.09 c #Conflicts: 1932000 | #Constraints: 51271
73.79/74.09 c #Conflicts: 1933000 | #Constraints: 52271
73.79/74.09 c #Conflicts: 1934000 | #Constraints: 53271
73.79/74.09 c #Conflicts: 1935000 | #Constraints: 54271
73.79/74.09 c #Conflicts: 1936000 | #Constraints: 55271
73.79/74.09 c #Conflicts: 1937000 | #Constraints: 56271
73.79/74.09 c INPROCESSING
73.79/74.09 c GARBAGE COLLECT
73.79/74.09 c rational objective 400.5
74.98/75.22 c #Conflicts: 1938000 | #Constraints: 29667
74.98/75.22 c #Conflicts: 1939000 | #Constraints: 30667
74.98/75.22 c #Conflicts: 1940000 | #Constraints: 31667
74.98/75.22 c #Conflicts: 1941000 | #Constraints: 32667
74.98/75.22 c #Conflicts: 1942000 | #Constraints: 33667
74.98/75.22 c #Conflicts: 1943000 | #Constraints: 34667
74.98/75.22 c #Conflicts: 1944000 | #Constraints: 35667
74.98/75.22 c #Conflicts: 1945000 | #Constraints: 36667
74.98/75.22 c #Conflicts: 1946000 | #Constraints: 37667
74.98/75.22 c #Conflicts: 1947000 | #Constraints: 38667
74.98/75.22 c #Conflicts: 1948000 | #Constraints: 39667
74.98/75.22 c #Conflicts: 1949000 | #Constraints: 40667
74.98/75.22 c #Conflicts: 1950000 | #Constraints: 41667
74.98/75.22 c #Conflicts: 1951000 | #Constraints: 42667
74.98/75.22 c #Conflicts: 1952000 | #Constraints: 43667
74.98/75.22 c #Conflicts: 1953000 | #Constraints: 44667
74.98/75.22 c #Conflicts: 1954000 | #Constraints: 45667
74.98/75.22 c #Conflicts: 1955000 | #Constraints: 46667
74.98/75.22 c #Conflicts: 1956000 | #Constraints: 47667
74.98/75.22 c #Conflicts: 1957000 | #Constraints: 48667
74.98/75.22 c #Conflicts: 1958000 | #Constraints: 49667
74.98/75.22 c #Conflicts: 1959000 | #Constraints: 50667
74.98/75.22 c #Conflicts: 1960000 | #Constraints: 51667
74.98/75.22 c #Conflicts: 1961000 | #Constraints: 52667
74.98/75.22 c #Conflicts: 1962000 | #Constraints: 53667
74.98/75.22 c #Conflicts: 1963000 | #Constraints: 54667
74.98/75.22 c #Conflicts: 1964000 | #Constraints: 55667
74.98/75.22 c #Conflicts: 1965000 | #Constraints: 56667
74.98/75.22 c INPROCESSING
74.98/75.22 c GARBAGE COLLECT
74.98/75.22 c rational objective 400.5
76.18/76.49 c #Conflicts: 1966000 | #Constraints: 29869
76.18/76.49 c #Conflicts: 1967000 | #Constraints: 30869
76.18/76.49 c #Conflicts: 1968000 | #Constraints: 31869
76.18/76.49 c #Conflicts: 1969000 | #Constraints: 32869
76.18/76.49 c #Conflicts: 1970000 | #Constraints: 33869
76.18/76.49 c #Conflicts: 1971000 | #Constraints: 34869
76.18/76.49 c #Conflicts: 1972000 | #Constraints: 35869
76.18/76.49 c #Conflicts: 1973000 | #Constraints: 36869
76.18/76.49 c #Conflicts: 1974000 | #Constraints: 37869
76.18/76.49 c #Conflicts: 1975000 | #Constraints: 38869
76.18/76.49 c #Conflicts: 1976000 | #Constraints: 39869
76.18/76.49 c #Conflicts: 1977000 | #Constraints: 40869
76.18/76.49 c #Conflicts: 1978000 | #Constraints: 41869
76.18/76.49 c #Conflicts: 1979000 | #Constraints: 42869
76.18/76.49 c #Conflicts: 1980000 | #Constraints: 43869
76.18/76.49 c #Conflicts: 1981000 | #Constraints: 44869
76.18/76.49 c #Conflicts: 1982000 | #Constraints: 45869
76.18/76.49 c #Conflicts: 1983000 | #Constraints: 46869
76.18/76.49 c #Conflicts: 1984000 | #Constraints: 47869
76.18/76.49 c #Conflicts: 1985000 | #Constraints: 48869
76.18/76.49 c #Conflicts: 1986000 | #Constraints: 49869
76.18/76.49 c #Conflicts: 1987000 | #Constraints: 50869
76.18/76.49 c #Conflicts: 1988000 | #Constraints: 51869
76.18/76.49 c #Conflicts: 1989000 | #Constraints: 52869
76.18/76.49 c #Conflicts: 1990000 | #Constraints: 53869
76.18/76.49 c #Conflicts: 1991000 | #Constraints: 54869
76.18/76.49 c #Conflicts: 1992000 | #Constraints: 55869
76.18/76.49 c #Conflicts: 1993000 | #Constraints: 56869
76.18/76.49 c INPROCESSING
76.18/76.49 c GARBAGE COLLECT
76.18/76.49 c rational objective 400.5
77.48/77.70 c #Conflicts: 1994000 | #Constraints: 29868
77.48/77.70 c #Conflicts: 1995000 | #Constraints: 30868
77.48/77.70 c #Conflicts: 1996000 | #Constraints: 31868
77.48/77.70 c #Conflicts: 1997000 | #Constraints: 32868
77.48/77.70 c #Conflicts: 1998000 | #Constraints: 33868
77.48/77.70 c #Conflicts: 1999000 | #Constraints: 34868
77.48/77.70 c #Conflicts: 2000000 | #Constraints: 35868
77.48/77.70 c #Conflicts: 2001000 | #Constraints: 36868
77.48/77.70 c #Conflicts: 2002000 | #Constraints: 37868
77.48/77.70 c #Conflicts: 2003000 | #Constraints: 38868
77.48/77.70 c #Conflicts: 2004000 | #Constraints: 39868
77.48/77.70 c #Conflicts: 2005000 | #Constraints: 40868
77.48/77.70 c #Conflicts: 2006000 | #Constraints: 41868
77.48/77.70 c #Conflicts: 2007000 | #Constraints: 42868
77.48/77.70 c #Conflicts: 2008000 | #Constraints: 43868
77.48/77.70 c #Conflicts: 2009000 | #Constraints: 44868
77.48/77.70 c #Conflicts: 2010000 | #Constraints: 45868
77.48/77.70 c #Conflicts: 2011000 | #Constraints: 46868
77.48/77.70 c #Conflicts: 2012000 | #Constraints: 47868
77.48/77.70 c #Conflicts: 2013000 | #Constraints: 48868
77.48/77.70 c #Conflicts: 2014000 | #Constraints: 49868
77.48/77.70 c #Conflicts: 2015000 | #Constraints: 50868
77.48/77.70 c #Conflicts: 2016000 | #Constraints: 51868
77.48/77.70 c #Conflicts: 2017000 | #Constraints: 52868
77.48/77.70 c #Conflicts: 2018000 | #Constraints: 53868
77.48/77.70 c #Conflicts: 2019000 | #Constraints: 54868
77.48/77.70 c #Conflicts: 2020000 | #Constraints: 55868
77.48/77.70 c #Conflicts: 2021000 | #Constraints: 56868
77.48/77.70 c INPROCESSING
77.48/77.70 c GARBAGE COLLECT
77.48/77.70 c rational objective 400.5
78.67/78.95 c #Conflicts: 2022000 | #Constraints: 29668
78.67/78.95 c #Conflicts: 2023000 | #Constraints: 30668
78.67/78.95 c #Conflicts: 2024000 | #Constraints: 31668
78.67/78.95 c #Conflicts: 2025000 | #Constraints: 32668
78.67/78.95 c #Conflicts: 2026000 | #Constraints: 33668
78.67/78.95 c #Conflicts: 2027000 | #Constraints: 34668
78.67/78.95 c #Conflicts: 2028000 | #Constraints: 35668
78.67/78.95 c #Conflicts: 2029000 | #Constraints: 36668
78.67/78.95 c #Conflicts: 2030000 | #Constraints: 37668
78.67/78.95 c #Conflicts: 2031000 | #Constraints: 38668
78.67/78.95 c #Conflicts: 2032000 | #Constraints: 39668
78.67/78.95 c #Conflicts: 2033000 | #Constraints: 40668
78.67/78.95 c #Conflicts: 2034000 | #Constraints: 41668
78.67/78.95 c #Conflicts: 2035000 | #Constraints: 42668
78.67/78.95 c #Conflicts: 2036000 | #Constraints: 43668
78.67/78.95 c #Conflicts: 2037000 | #Constraints: 44668
78.67/78.95 c #Conflicts: 2038000 | #Constraints: 45668
78.67/78.95 c #Conflicts: 2039000 | #Constraints: 46668
78.67/78.95 c #Conflicts: 2040000 | #Constraints: 47668
78.67/78.95 c #Conflicts: 2041000 | #Constraints: 48668
78.67/78.95 c #Conflicts: 2042000 | #Constraints: 49668
78.67/78.95 c #Conflicts: 2043000 | #Constraints: 50668
78.67/78.95 c #Conflicts: 2044000 | #Constraints: 51668
78.67/78.95 c #Conflicts: 2045000 | #Constraints: 52668
78.67/78.95 c #Conflicts: 2046000 | #Constraints: 53668
78.67/78.95 c #Conflicts: 2047000 | #Constraints: 54668
78.67/78.95 c #Conflicts: 2048000 | #Constraints: 55668
78.67/78.95 c #Conflicts: 2049000 | #Constraints: 56668
78.67/78.95 c #Conflicts: 2050000 | #Constraints: 57668
78.67/78.95 c INPROCESSING
78.67/78.95 c GARBAGE COLLECT
78.67/78.95 c rational objective 400.5
79.87/80.17 c #Conflicts: 2051000 | #Constraints: 30273
79.87/80.17 c #Conflicts: 2052000 | #Constraints: 31273
79.87/80.17 c #Conflicts: 2053000 | #Constraints: 32273
79.87/80.17 c #Conflicts: 2054000 | #Constraints: 33273
79.87/80.17 c #Conflicts: 2055000 | #Constraints: 34273
79.87/80.17 c #Conflicts: 2056000 | #Constraints: 35273
79.87/80.17 c #Conflicts: 2057000 | #Constraints: 36273
79.87/80.17 c #Conflicts: 2058000 | #Constraints: 37273
79.87/80.17 c #Conflicts: 2059000 | #Constraints: 38273
79.87/80.17 c #Conflicts: 2060000 | #Constraints: 39273
79.87/80.17 c #Conflicts: 2061000 | #Constraints: 40273
79.87/80.17 c #Conflicts: 2062000 | #Constraints: 41273
79.87/80.17 c #Conflicts: 2063000 | #Constraints: 42273
79.87/80.17 c #Conflicts: 2064000 | #Constraints: 43273
79.87/80.17 c #Conflicts: 2065000 | #Constraints: 44273
79.87/80.17 c #Conflicts: 2066000 | #Constraints: 45273
79.87/80.17 c #Conflicts: 2067000 | #Constraints: 46273
79.87/80.17 c #Conflicts: 2068000 | #Constraints: 47273
79.87/80.17 c #Conflicts: 2069000 | #Constraints: 48273
79.87/80.17 c #Conflicts: 2070000 | #Constraints: 49273
79.87/80.17 c #Conflicts: 2071000 | #Constraints: 50273
79.87/80.17 c #Conflicts: 2072000 | #Constraints: 51273
79.87/80.17 c #Conflicts: 2073000 | #Constraints: 52273
79.87/80.17 c #Conflicts: 2074000 | #Constraints: 53273
79.87/80.17 c #Conflicts: 2075000 | #Constraints: 54273
79.87/80.17 c #Conflicts: 2076000 | #Constraints: 55273
79.87/80.17 c #Conflicts: 2077000 | #Constraints: 56273
79.87/80.17 c #Conflicts: 2078000 | #Constraints: 57273
79.87/80.17 c #Conflicts: 2079000 | #Constraints: 58273
79.87/80.17 c INPROCESSING
79.87/80.17 c GARBAGE COLLECT
79.87/80.17 c rational objective 400.5
81.27/81.53 c #Conflicts: 2080000 | #Constraints: 30673
81.27/81.53 c #Conflicts: 2081000 | #Constraints: 31673
81.27/81.53 c #Conflicts: 2082000 | #Constraints: 32673
81.27/81.53 c #Conflicts: 2083000 | #Constraints: 33673
81.27/81.53 c #Conflicts: 2084000 | #Constraints: 34673
81.27/81.53 c #Conflicts: 2085000 | #Constraints: 35673
81.27/81.53 c #Conflicts: 2086000 | #Constraints: 36673
81.27/81.53 c #Conflicts: 2087000 | #Constraints: 37673
81.27/81.53 c #Conflicts: 2088000 | #Constraints: 38673
81.27/81.53 c #Conflicts: 2089000 | #Constraints: 39673
81.27/81.53 c #Conflicts: 2090000 | #Constraints: 40673
81.27/81.53 c #Conflicts: 2091000 | #Constraints: 41673
81.27/81.53 c #Conflicts: 2092000 | #Constraints: 42673
81.27/81.53 c #Conflicts: 2093000 | #Constraints: 43673
81.27/81.53 c #Conflicts: 2094000 | #Constraints: 44673
81.27/81.53 c #Conflicts: 2095000 | #Constraints: 45673
81.27/81.53 c #Conflicts: 2096000 | #Constraints: 46673
81.27/81.53 c #Conflicts: 2097000 | #Constraints: 47673
81.27/81.53 c #Conflicts: 2098000 | #Constraints: 48673
81.27/81.53 c #Conflicts: 2099000 | #Constraints: 49673
81.27/81.53 c #Conflicts: 2100000 | #Constraints: 50673
81.27/81.53 c #Conflicts: 2101000 | #Constraints: 51673
81.27/81.53 c #Conflicts: 2102000 | #Constraints: 52673
81.27/81.53 c #Conflicts: 2103000 | #Constraints: 53673
81.27/81.53 c #Conflicts: 2104000 | #Constraints: 54673
81.27/81.53 c #Conflicts: 2105000 | #Constraints: 55673
81.27/81.53 c #Conflicts: 2106000 | #Constraints: 56673
81.27/81.53 c #Conflicts: 2107000 | #Constraints: 57673
81.27/81.53 c #Conflicts: 2108000 | #Constraints: 58673
81.27/81.53 c INPROCESSING
81.27/81.53 c GARBAGE COLLECT
81.27/81.53 c rational objective 400.5
82.67/82.93 c #Conflicts: 2109000 | #Constraints: 30875
82.67/82.93 c #Conflicts: 2110000 | #Constraints: 31875
82.67/82.93 c #Conflicts: 2111000 | #Constraints: 32875
82.67/82.93 c #Conflicts: 2112000 | #Constraints: 33875
82.67/82.93 c #Conflicts: 2113000 | #Constraints: 34875
82.67/82.93 c #Conflicts: 2114000 | #Constraints: 35875
82.67/82.93 c #Conflicts: 2115000 | #Constraints: 36875
82.67/82.93 c #Conflicts: 2116000 | #Constraints: 37875
82.67/82.93 c #Conflicts: 2117000 | #Constraints: 38875
82.67/82.93 c #Conflicts: 2118000 | #Constraints: 39875
82.67/82.93 c #Conflicts: 2119000 | #Constraints: 40875
82.67/82.93 c #Conflicts: 2120000 | #Constraints: 41875
82.67/82.93 c #Conflicts: 2121000 | #Constraints: 42875
82.67/82.93 c #Conflicts: 2122000 | #Constraints: 43875
82.67/82.93 c #Conflicts: 2123000 | #Constraints: 44875
82.67/82.93 c #Conflicts: 2124000 | #Constraints: 45875
82.67/82.93 c #Conflicts: 2125000 | #Constraints: 46875
82.67/82.93 c #Conflicts: 2126000 | #Constraints: 47875
82.67/82.93 c #Conflicts: 2127000 | #Constraints: 48875
82.67/82.93 c #Conflicts: 2128000 | #Constraints: 49875
82.67/82.93 c #Conflicts: 2129000 | #Constraints: 50875
82.67/82.93 c #Conflicts: 2130000 | #Constraints: 51875
82.67/82.93 c #Conflicts: 2131000 | #Constraints: 52875
82.67/82.93 c #Conflicts: 2132000 | #Constraints: 53875
82.67/82.93 c #Conflicts: 2133000 | #Constraints: 54875
82.67/82.93 c #Conflicts: 2134000 | #Constraints: 55875
82.67/82.93 c #Conflicts: 2135000 | #Constraints: 56875
82.67/82.93 c #Conflicts: 2136000 | #Constraints: 57875
82.67/82.93 c #Conflicts: 2137000 | #Constraints: 58875
82.67/82.93 c INPROCESSING
82.67/82.93 c GARBAGE COLLECT
82.67/82.93 c rational objective 400.5
83.96/84.27 c #Conflicts: 2138000 | #Constraints: 30879
83.96/84.27 c #Conflicts: 2139000 | #Constraints: 31879
83.96/84.27 c #Conflicts: 2140000 | #Constraints: 32879
83.96/84.27 c #Conflicts: 2141000 | #Constraints: 33879
83.96/84.27 c #Conflicts: 2142000 | #Constraints: 34879
83.96/84.27 c #Conflicts: 2143000 | #Constraints: 35879
83.96/84.27 c #Conflicts: 2144000 | #Constraints: 36879
83.96/84.27 c #Conflicts: 2145000 | #Constraints: 37879
83.96/84.27 c #Conflicts: 2146000 | #Constraints: 38879
83.96/84.27 c #Conflicts: 2147000 | #Constraints: 39879
83.96/84.27 c #Conflicts: 2148000 | #Constraints: 40879
83.96/84.27 c #Conflicts: 2149000 | #Constraints: 41879
83.96/84.27 c #Conflicts: 2150000 | #Constraints: 42879
83.96/84.27 c #Conflicts: 2151000 | #Constraints: 43879
83.96/84.27 c #Conflicts: 2152000 | #Constraints: 44879
83.96/84.27 c #Conflicts: 2153000 | #Constraints: 45879
83.96/84.27 c #Conflicts: 2154000 | #Constraints: 46879
83.96/84.27 c #Conflicts: 2155000 | #Constraints: 47879
83.96/84.27 c #Conflicts: 2156000 | #Constraints: 48879
83.96/84.27 c #Conflicts: 2157000 | #Constraints: 49879
83.96/84.27 c #Conflicts: 2158000 | #Constraints: 50879
83.96/84.27 c #Conflicts: 2159000 | #Constraints: 51879
83.96/84.27 c #Conflicts: 2160000 | #Constraints: 52879
83.96/84.27 c #Conflicts: 2161000 | #Constraints: 53879
83.96/84.27 c #Conflicts: 2162000 | #Constraints: 54879
83.96/84.27 c #Conflicts: 2163000 | #Constraints: 55879
83.96/84.27 c #Conflicts: 2164000 | #Constraints: 56879
83.96/84.27 c #Conflicts: 2165000 | #Constraints: 57879
83.96/84.27 c #Conflicts: 2166000 | #Constraints: 58879
83.96/84.27 c INPROCESSING
83.96/84.27 c GARBAGE COLLECT
83.96/84.27 c rational objective 400.5
85.26/85.56 c #Conflicts: 2167000 | #Constraints: 30676
85.26/85.56 c #Conflicts: 2168000 | #Constraints: 31676
85.26/85.56 c #Conflicts: 2169000 | #Constraints: 32676
85.26/85.56 c #Conflicts: 2170000 | #Constraints: 33676
85.26/85.56 c #Conflicts: 2171000 | #Constraints: 34676
85.26/85.56 c #Conflicts: 2172000 | #Constraints: 35676
85.26/85.56 c #Conflicts: 2173000 | #Constraints: 36676
85.26/85.56 c #Conflicts: 2174000 | #Constraints: 37676
85.26/85.56 c #Conflicts: 2175000 | #Constraints: 38676
85.26/85.56 c #Conflicts: 2176000 | #Constraints: 39676
85.26/85.56 c #Conflicts: 2177000 | #Constraints: 40676
85.26/85.56 c #Conflicts: 2178000 | #Constraints: 41676
85.26/85.56 c #Conflicts: 2179000 | #Constraints: 42676
85.26/85.56 c #Conflicts: 2180000 | #Constraints: 43676
85.26/85.56 c #Conflicts: 2181000 | #Constraints: 44676
85.26/85.56 c #Conflicts: 2182000 | #Constraints: 45676
85.26/85.56 c #Conflicts: 2183000 | #Constraints: 46676
85.26/85.56 c #Conflicts: 2184000 | #Constraints: 47676
85.26/85.56 c #Conflicts: 2185000 | #Constraints: 48676
85.26/85.56 c #Conflicts: 2186000 | #Constraints: 49676
85.26/85.56 c #Conflicts: 2187000 | #Constraints: 50676
85.26/85.56 c #Conflicts: 2188000 | #Constraints: 51676
85.26/85.56 c #Conflicts: 2189000 | #Constraints: 52676
85.26/85.56 c #Conflicts: 2190000 | #Constraints: 53676
85.26/85.56 c #Conflicts: 2191000 | #Constraints: 54676
85.26/85.56 c #Conflicts: 2192000 | #Constraints: 55676
85.26/85.56 c #Conflicts: 2193000 | #Constraints: 56676
85.26/85.56 c #Conflicts: 2194000 | #Constraints: 57676
85.26/85.56 c #Conflicts: 2195000 | #Constraints: 58676
85.26/85.56 c #Conflicts: 2196000 | #Constraints: 59676
85.26/85.56 c INPROCESSING
85.26/85.56 c GARBAGE COLLECT
85.26/85.56 c rational objective 400.5
85.95/86.22 c #Conflicts: 2197000 | #Constraints: 19106
85.95/86.22 c #Conflicts: 2198000 | #Constraints: 20106
85.95/86.22 c #Conflicts: 2199000 | #Constraints: 21106
85.95/86.22 c #Conflicts: 2200000 | #Constraints: 22106
85.95/86.22 c #Conflicts: 2201000 | #Constraints: 23106
85.95/86.22 c #Conflicts: 2202000 | #Constraints: 24106
85.95/86.22 c #Conflicts: 2203000 | #Constraints: 25106
85.95/86.22 c #Conflicts: 2204000 | #Constraints: 26106
85.95/86.22 c #Conflicts: 2205000 | #Constraints: 27106
85.95/86.22 c #Conflicts: 2206000 | #Constraints: 28106
85.95/86.22 c #Conflicts: 2207000 | #Constraints: 29106
85.95/86.22 c #Conflicts: 2208000 | #Constraints: 30106
85.95/86.22 c #Conflicts: 2209000 | #Constraints: 31106
85.95/86.22 c #Conflicts: 2210000 | #Constraints: 32106
85.95/86.22 c #Conflicts: 2211000 | #Constraints: 33106
85.95/86.22 c #Conflicts: 2212000 | #Constraints: 34106
85.95/86.22 c cpu time 79.1823 s
85.95/86.22 c deterministic time 3121433354 3.12e+09
85.95/86.22 c optimization time 0.000106 s
85.95/86.22 c total solve time 79.1786 s
85.95/86.22 c core-guided solve time 0 s
85.95/86.22 c propagation time 57.1838 s
85.95/86.22 c conflict analysis time 10.8849 s
85.95/86.22 c propagations 10280316
85.95/86.22 c resolve steps 6482924
85.95/86.22 c decisions 3552146
85.95/86.22 c conflicts 2212886
85.95/86.22 c restarts 4093
85.95/86.22 c inprocessing phases 139
85.95/86.22 c garbage collections 139 ,( 100.00 )
85.95/86.22 c input clauses 58 ,( 6.76 )
85.95/86.22 c input cardinalities 800 ,( 93.24 )
85.95/86.22 c input general constraints 0 ,( 0.00 )
85.95/86.22 c input average constraint length 3.92
85.95/86.22 c input average constraint degree 1.93
85.95/86.22 c learned clauses 2170790 ,( 98.06 )
85.95/86.22 c learned cardinalities 4942 ,( 0.22 )
85.95/86.22 c learned general constraints 38033 ,( 1.72 )
85.95/86.22 c learned average constraint length 17.11
85.95/86.22 c learned average constraint degree 905541.16
85.95/86.22 c watched CF 32, 64, 128, Arb: 18366 , 0 , 0 , 0
85.95/86.22 c counting CF 32, 64, 128, Arb: 19667 , 0 , 0 , 0
85.95/86.22 c watched constraints 18366 ,( 48.29 )
85.95/86.22 c counting constraints 19667 ,( 51.71 )
85.95/86.22 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 722597577 , 18578688 , 17548770 ,( 13419364 , 4129406 )
85.95/86.22 c gcd simplifications 12957
85.95/86.22 c detected cardinalities 979
85.95/86.22 c weakened non-implied lits 295881
85.95/86.22 c weakened non-implying lits 2097
85.95/86.22 c original variables 819
85.95/86.22 c clausal propagations 4891566
85.95/86.22 c cardinality propagations 1834218
85.95/86.22 c watched propagations 83754
85.95/86.22 c counting propagations 1227957
85.95/86.22 c watch lookups 1464002393
85.95/86.22 c watch backjump lookups 0
85.95/86.22 c watch checks 1462148399
85.95/86.22 c propagation checks 49716152
85.95/86.22 c constraint additions 115465912
85.95/86.22 c trail pops 16045317
85.95/86.22 c formula constraints 858
85.95/86.22 c learned constraints 2212869
85.95/86.22 c bound constraints 0
85.95/86.22 c core-guided constraints 0
85.95/86.22 c encountered formula constraints 145685
85.95/86.22 c encountered learned constraints 8525571
85.95/86.22 c encountered bound constraints 0
85.95/86.22 c encountered core-guided constraints 0
85.95/86.22 c LP total time 12.5646 s
85.95/86.22 c LP solve time 8.11 s
85.95/86.22 c LP constraints added 1864
85.95/86.22 c LP constraints removed 995
85.95/86.22 c LP pivots internal 221290
85.95/86.22 c LP pivots root 1428
85.95/86.22 c LP calls 17572
85.95/86.22 c LP optimalities 17555
85.95/86.22 c LP no pivot count 1212
85.95/86.22 c LP infeasibilities 16
85.95/86.22 c LP valid Farkas constraints 16
85.95/86.22 c LP learned Farkas constraints 16
85.95/86.22 c LP basis resets 0
85.95/86.22 c LP cycling count 0
85.95/86.22 c LP singular count 0
85.95/86.22 c LP no primal count 0
85.95/86.22 c LP no farkas count 0
85.95/86.22 c LP other issue count 0
85.95/86.22 c LP Gomory cuts 864
85.95/86.22 c LP learned cuts 142
85.95/86.22 c LP deleted cuts 995
85.95/86.22 c LP encountered Gomory constraints 0
85.95/86.22 c LP encountered Farkas constraints 24433
85.95/86.22 c LP encountered learned Farkas constraints 105
85.95/86.22 c CG auxiliary variables introduced 0
85.95/86.22 c CG solutions found 0
85.95/86.22 c CG cores constructed 0
85.95/86.22 c CG core cardinality constraints returned 0
85.95/86.22 c CG unit cores 0
85.95/86.22 c CG single cores 0
85.95/86.22 c CG blocks removed during cardinality reduction 0
85.95/86.22 c CG first core best 0
85.95/86.22 c CG decision core best 0
85.95/86.22 c CG core reduction tie 0
85.95/86.22 c CG core degree average 0.00
85.95/86.22 c CG core slack average 0.00
85.95/86.22 c CG core upper bound improvements 0
85.95/86.22 c STR number of successful calls 0
85.95/86.22 c STR number of unsuccessful calls 0
85.95/86.22 c STR number of inconclusive calls 0
85.95/86.22 c STR number of successful attempts 0
85.95/86.22 c STR number of unsuccessful attempts 0
85.95/86.22 c STR number of inconclusive attempts 0
85.95/86.22 c STR average degree increase per successful call inf
85.95/86.22 c STR average degree increase per successful attempt inf
85.95/86.22 c STR total number of conflicts for successful attempts 0
85.95/86.22 c STR total number of conflicts for unsuccessful attempts 0
85.95/86.22 c STR total number of conflicts for inconclusive attempts 0
85.95/86.22 c STR average number of conflicts per successful attempt inf
85.95/86.22 c STR average number of conflicts per unsuccessful attempt inf
85.95/86.22 c STR average number of conflicts per inconclusive attempt inf
85.95/86.22 c AVG.sumWPerc 40.66
85.95/86.22 c bigint constraints 0
85.95/86.22 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 (62844 MiB free)
memory of node 1: 64465 MiB (63802 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511088-1751197972/watcher-4511088-1751197972 -o /tmp/evaluation-result-4511088-1751197972/solver-4511088-1751197972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23370 --watchdog 3760 run-dec-break.sh HOME/instance-4511088-1751197972.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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=24633, runsolver pid=24630
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.11 4.15 4.07 5/270 24636
/proc/meminfo: memFree=129685832/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=58304 memory=15228 CPUtime=0.07 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 1224 0 0 0 6 1 0 0 20 0 1 0 35474668 59703296 3807 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 14576 3807 2400 1147 0 2003 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62496 KiB
Current children cumulated memory: 18300 KiB
[startup+0.205832 s]*
/proc/loadavg: 4.11 4.15 4.07 5/270 24636
/proc/meminfo: memFree=129686168/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=58968 memory=15740 CPUtime=0.18 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 1378 0 0 0 15 3 0 0 20 0 1 0 35474668 60383232 3935 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 14742 3935 2400 1147 0 2169 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63160 KiB
Current children cumulated memory: 18812 KiB
[startup+0.305965 s]*
/proc/loadavg: 4.11 4.15 4.07 5/270 24636
/proc/meminfo: memFree=129686168/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=59260 memory=16124 CPUtime=0.27 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 1462 0 0 0 23 4 0 0 20 0 1 0 35474668 60682240 4031 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 14815 4031 2400 1147 0 2242 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63452 KiB
Current children cumulated memory: 19196 KiB
[startup+0.700182 s]
/proc/loadavg: 4.11 4.15 4.07 5/270 24636
/proc/meminfo: memFree=129685920/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=59868 memory=16764 CPUtime=0.66 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 1622 0 0 0 56 10 0 0 20 0 1 0 35474668 61304832 4191 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 14967 4191 2400 1147 0 2394 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 64060 KiB
Current children cumulated memory: 19836 KiB
[startup+1.5002 s]
/proc/loadavg: 4.11 4.15 4.07 5/270 24636
/proc/meminfo: memFree=129685920/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=61020 memory=17788 CPUtime=1.46 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 1875 0 0 0 127 19 0 0 20 0 1 0 35474668 62484480 4447 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 15255 4447 2400 1147 0 2682 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65212 KiB
Current children cumulated memory: 20860 KiB
[startup+3.1056 s]
/proc/loadavg: 4.11 4.15 4.07 5/270 24636
/proc/meminfo: memFree=129685720/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=62132 memory=18940 CPUtime=3.06 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 2173 0 0 0 264 42 0 0 20 0 1 0 35474668 63623168 4735 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 15533 4735 2400 1147 0 2960 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 66324 KiB
Current children cumulated memory: 22012 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.15 4.07 5/270 24636
/proc/meminfo: memFree=129685720/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=63788 memory=20604 CPUtime=6.25 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 2578 0 0 0 547 78 0 0 20 0 1 0 35474668 65318912 5151 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 15947 5151 2400 1147 0 3374 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 67980 KiB
Current children cumulated memory: 23676 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.16 4.07 5/270 24636
/proc/meminfo: memFree=129680712/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=64932 memory=23960 CPUtime=12.63 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 4082 0 0 0 1124 139 0 0 20 0 1 0 35474668 66490368 5990 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 16233 5990 2400 1147 0 3660 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 69124 KiB
Current children cumulated memory: 27032 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.07 5/270 24636
/proc/meminfo: memFree=129676616/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=67340 memory=25960 CPUtime=25.4 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 7270 0 0 0 2288 252 0 0 20 0 1 0 35474668 68956160 6490 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 16835 6490 2400 1147 0 4262 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 71532 KiB
Current children cumulated memory: 29032 KiB
[startup+51.1061 s]
/proc/loadavg: 4.09 4.14 4.07 5/270 24637
/proc/meminfo: memFree=129668132/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=72328 memory=28560 CPUtime=50.94 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 12802 0 0 0 4650 444 0 0 20 0 1 0 35474668 74063872 7140 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 18082 7140 2400 1147 0 5509 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 76520 KiB
Current children cumulated memory: 31632 KiB
[startup+86.2294 s]
# the end of solver process 24633 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=79.1937 s, system=6.81632 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.09 4.14 4.07 5/270 24637
/proc/meminfo: memFree=129668132/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=72328 memory=28560 CPUtime=51.04 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 12803 0 0 0 4659 445 0 0 20 0 1 0 35474668 74063872 7140 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 18082 7140 2400 1147 0 5509 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 76520 KiB
Current children cumulated memory: 31632 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.15 4.15 4.07 5/271 24644
/proc/meminfo: memFree=129630444/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=74248 memory=30512 CPUtime=63.81 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 16207 0 0 0 5848 533 0 0 20 0 1 0 35474668 76029952 7628 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 18562 7628 2400 1147 0 5989 0
Current children cumulated CPU time: 63.81 s
Current children cumulated vsize: 78440 KiB
Current children cumulated memory: 33584 KiB
[startup+76.8002 s]
/proc/loadavg: 4.12 4.14 4.07 5/271 24644
/proc/meminfo: memFree=129645932/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=76368 memory=32776 CPUtime=76.58 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 18567 0 0 0 7041 617 0 0 20 0 1 0 35474668 78200832 8194 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 19092 8194 2400 1147 0 6519 0
Current children cumulated CPU time: 76.58 s
Current children cumulated vsize: 80560 KiB
Current children cumulated memory: 35848 KiB
[startup+83.2002 s]
/proc/loadavg: 4.11 4.14 4.07 5/271 24644
/proc/meminfo: memFree=129645428/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=76760 memory=33316 CPUtime=82.96 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 19494 0 0 0 7637 659 0 0 20 0 1 0 35474668 78602240 8329 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 19190 8329 2400 1147 0 6617 0
Current children cumulated CPU time: 82.96 s
Current children cumulated vsize: 80952 KiB
Current children cumulated memory: 36388 KiB
[startup+84.8002 s]
/proc/loadavg: 4.11 4.14 4.07 5/271 24644
/proc/meminfo: memFree=129645176/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=76040 memory=32764 CPUtime=84.56 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 19625 0 0 0 7785 671 0 0 20 0 1 0 35474668 77864960 8191 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 19010 8191 2400 1147 0 6437 0
Current children cumulated CPU time: 84.56 s
Current children cumulated vsize: 80232 KiB
Current children cumulated memory: 35836 KiB
[startup+85.6002 s]
/proc/loadavg: 4.10 4.14 4.07 5/271 24644
/proc/meminfo: memFree=129650812/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=77184 memory=33532 CPUtime=85.36 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 19840 0 0 0 7861 675 0 0 20 0 1 0 35474668 79036416 8383 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 19296 8383 2400 1147 0 6723 0
Current children cumulated CPU time: 85.36 s
Current children cumulated vsize: 81376 KiB
Current children cumulated memory: 36604 KiB
[startup+86.0002 s]*
/proc/loadavg: 4.10 4.14 4.07 5/271 24644
/proc/meminfo: memFree=129650812/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=77184 memory=33532 CPUtime=85.76 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 19840 0 0 0 7897 679 0 0 20 0 1 0 35474668 79036416 8383 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 19296 8383 2400 1147 0 6723 0
Current children cumulated CPU time: 85.76 s
Current children cumulated vsize: 81376 KiB
Current children cumulated memory: 36604 KiB
[startup+86.2002 s]
/proc/loadavg: 4.10 4.14 4.07 5/271 24644
/proc/meminfo: memFree=129650812/131250000 swapFree=33010684/33010684
[pid=24633] ppid=24630 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24633/stat : 24633 (run-dec-break.s) S 24630 24633 23358 0 -1 4194304 237 502 0 0 0 0 0 0 20 0 1 0 35474666 4292608 768 18446744073709551615 94386354130944 94386355025477 140735727140592 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94386355264528 94386355312272 94386382266368 140735727147361 140735727147490 140735727147490 140735727153092 0
/proc/24633/statm: 1048 768 704 219 0 110 0
[pid=24636] ppid=24633 vsize=77184 memory=33532 CPUtime=85.95 cores=1,3
/proc/24636/stat : 24636 (roundingsat) R 24633 24633 23358 0 -1 4194304 19840 0 0 0 7915 680 0 0 20 0 1 0 35474668 79036416 8383 18446744073709551615 4227072 8923433 140726674760048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17350656 140726674762052 140726674762280 140726674762280 140726674767850 0
/proc/24636/statm: 19296 8383 2400 1147 0 6723 0
Current children cumulated CPU time: 85.95 s
Current children cumulated vsize: 81376 KiB
Current children cumulated memory: 36604 KiB
Child status: 0
Real time (s): 86.2295
CPU time (s): 86.01
CPU user time (s): 79.1937
CPU system time (s): 6.81632
CPU usage (%): 99.7455
Max. virtual memory (cumulated for all children) (KiB): 81376
Max. memory (cumulated for all children) (KiB): 36604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.1937
system time used= 6.81632
maximum resident set size= 33700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 197
# summary of solver processes directly reported to runsolver:
# pid: 24633
# total CPU time (s): 86.01
# total CPU user time (s): 79.1937
# total CPU system time (s): 6.81632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.190762 second user time and 0.443481 second system time
The end
Begin job on nodeC019 at 2025-06-29 13:52:52
IDJOB=4511088
IDBENCH=160428
IDSOLVER=3357
FILE ID=nodeC019/4511088-1751197972
RUNJOBID= nodeC019-1751196526-23370
SLURM_JOB_ID= 9587609
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511088-1751197972/watcher-4511088-1751197972 -o /tmp/evaluation-result-4511088-1751197972/solver-4511088-1751197972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23370 --watchdog 3760 run-dec-break.sh HOME/instance-4511088-1751197972.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=1270444493
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.680
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.717
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 : 3597.756
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 : 3599.356
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.653
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.673
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 : 3600.259
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 : 3599.860
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: 129686024 kB
MemAvailable: 129521904 kB
Buffers: 3280 kB
Cached: 645608 kB
SwapCached: 0 kB
Active: 618952 kB
Inactive: 388860 kB
Active(anon): 376988 kB
Inactive(anon): 0 kB
Active(file): 241964 kB
Inactive(file): 388860 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7272 kB
Writeback: 12 kB
AnonPages: 357236 kB
Mapped: 112928 kB
Shmem: 18064 kB
KReclaimable: 88592 kB
Slab: 173984 kB
SReclaimable: 88592 kB
SUnreclaim: 85392 kB
KernelStack: 4348 kB
PageTables: 4080 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 730460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 266240 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= 433032 MiB
End job on nodeC019 at 2025-06-29 13:54:18