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-4511376-1751198140.opb'
0.00/0.01 c read 0.02MB (0.37ms)
0.00/0.01 c [cnf: #variables 1001 #clauses 501 #duplicates 0 #arr 2002]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 600] (0.63ms)
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 (8.88ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 3504 #edges 8008]
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.47ms)
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.07ms)
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-4511376-1751198140.opb.pre'
0.00/0.02 c wrote 0.02MB (0.13ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 8.88ms 75.73% detect_special
0.00/0.02 c 1.47ms 12.53% detect_generic
0.00/0.02 c 0.63ms 5.37% approx_orbits
0.00/0.02 c 0.37ms 3.17% parse
0.00/0.02 c 0.13ms 1.14% output
0.00/0.02 c 0.11ms 0.97% other
0.00/0.02 c 0.07ms 0.60% break_generic
0.00/0.02 c 0.05ms 0.46% finalize_order
0.00/0.02 c 0.00ms 0.03% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 11.73ms 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 1019 #constraints 1058
0.28/0.39 c #Conflicts: 1000 | #Constraints: 2060
0.28/0.39 c #Conflicts: 2000 | #Constraints: 3060
0.28/0.39 c INPROCESSING
0.28/0.39 c GARBAGE COLLECT
0.28/0.39 c #Conflicts: 3000 | #Constraints: 3102
0.28/0.39 c #Conflicts: 4000 | #Constraints: 4103
0.28/0.39 c INPROCESSING
0.28/0.39 c GARBAGE COLLECT
0.28/0.39 c #Conflicts: 5000 | #Constraints: 3542
0.28/0.39 c #Conflicts: 6000 | #Constraints: 4543
0.28/0.39 c INPROCESSING
0.28/0.39 c GARBAGE COLLECT
0.28/0.39 c #Conflicts: 7000 | #Constraints: 3569
0.28/0.39 c #Conflicts: 8000 | #Constraints: 4569
0.28/0.39 c #Conflicts: 9000 | #Constraints: 5569
0.28/0.39 c INPROCESSING
0.28/0.39 c GARBAGE COLLECT
0.28/0.39 c #Conflicts: 10000 | #Constraints: 4270
0.28/0.39 c #Conflicts: 11000 | #Constraints: 5270
0.28/0.39 c #Conflicts: 12000 | #Constraints: 6270
0.28/0.39 c INPROCESSING
0.28/0.39 c GARBAGE COLLECT
0.28/0.39 c rational objective 500.5
0.38/0.48 c #Conflicts: 13000 | #Constraints: 4737
0.38/0.48 c #Conflicts: 14000 | #Constraints: 5737
0.38/0.48 c #Conflicts: 15000 | #Constraints: 6737
0.38/0.48 c INPROCESSING
0.38/0.48 c GARBAGE COLLECT
0.38/0.48 c rational objective 500.5
0.48/0.59 c #Conflicts: 16000 | #Constraints: 4966
0.48/0.59 c #Conflicts: 17000 | #Constraints: 5967
0.48/0.59 c #Conflicts: 18000 | #Constraints: 6968
0.48/0.59 c INPROCESSING
0.48/0.59 c GARBAGE COLLECT
0.48/0.59 c rational objective 500.5
0.67/0.70 c #Conflicts: 19000 | #Constraints: 4982
0.67/0.70 c #Conflicts: 20000 | #Constraints: 5982
0.67/0.70 c #Conflicts: 21000 | #Constraints: 6982
0.67/0.70 c INPROCESSING
0.67/0.70 c GARBAGE COLLECT
0.67/0.70 c rational objective 500.5
0.77/0.81 c #Conflicts: 22000 | #Constraints: 4792
0.77/0.81 c #Conflicts: 23000 | #Constraints: 5792
0.77/0.81 c #Conflicts: 24000 | #Constraints: 6792
0.77/0.81 c #Conflicts: 25000 | #Constraints: 7792
0.77/0.81 c INPROCESSING
0.77/0.81 c GARBAGE COLLECT
0.77/0.81 c rational objective 500.5
0.87/0.94 c #Conflicts: 26000 | #Constraints: 5394
0.87/0.94 c #Conflicts: 27000 | #Constraints: 6395
0.87/0.94 c #Conflicts: 28000 | #Constraints: 7395
0.87/0.94 c #Conflicts: 29000 | #Constraints: 8395
0.87/0.94 c INPROCESSING
0.87/0.94 c GARBAGE COLLECT
0.87/0.94 c rational objective 500.5
0.98/1.08 c #Conflicts: 30000 | #Constraints: 5795
0.98/1.08 c #Conflicts: 31000 | #Constraints: 6795
0.98/1.08 c #Conflicts: 32000 | #Constraints: 7795
0.98/1.08 c #Conflicts: 33000 | #Constraints: 8795
0.98/1.08 c INPROCESSING
0.98/1.08 c GARBAGE COLLECT
0.98/1.08 c rational objective 500.5
1.17/1.23 c #Conflicts: 34000 | #Constraints: 5995
1.17/1.23 c #Conflicts: 35000 | #Constraints: 6995
1.17/1.23 c #Conflicts: 36000 | #Constraints: 7995
1.17/1.23 c #Conflicts: 37000 | #Constraints: 8995
1.17/1.23 c INPROCESSING
1.17/1.23 c GARBAGE COLLECT
1.17/1.23 c rational objective 500.5
1.37/1.40 c #Conflicts: 38000 | #Constraints: 6005
1.37/1.40 c #Conflicts: 39000 | #Constraints: 7005
1.37/1.40 c #Conflicts: 40000 | #Constraints: 8005
1.37/1.40 c #Conflicts: 41000 | #Constraints: 9005
1.37/1.40 c INPROCESSING
1.37/1.40 c GARBAGE COLLECT
1.37/1.40 c rational objective 500.5
1.46/1.57 c #Conflicts: 42000 | #Constraints: 5806
1.46/1.57 c #Conflicts: 43000 | #Constraints: 6806
1.46/1.57 c #Conflicts: 44000 | #Constraints: 7806
1.46/1.57 c #Conflicts: 45000 | #Constraints: 8806
1.46/1.57 c #Conflicts: 46000 | #Constraints: 9806
1.46/1.57 c INPROCESSING
1.46/1.57 c GARBAGE COLLECT
1.46/1.57 c rational objective 500.5
1.67/1.74 c #Conflicts: 47000 | #Constraints: 6396
1.67/1.74 c #Conflicts: 48000 | #Constraints: 7396
1.67/1.74 c #Conflicts: 49000 | #Constraints: 8396
1.67/1.74 c #Conflicts: 50000 | #Constraints: 9396
1.67/1.74 c #Conflicts: 51000 | #Constraints: 10396
1.67/1.74 c INPROCESSING
1.67/1.74 c GARBAGE COLLECT
1.67/1.74 c rational objective 500.5
1.87/1.91 c #Conflicts: 52000 | #Constraints: 6798
1.87/1.91 c #Conflicts: 53000 | #Constraints: 7798
1.87/1.91 c #Conflicts: 54000 | #Constraints: 8798
1.87/1.91 c #Conflicts: 55000 | #Constraints: 9798
1.87/1.91 c #Conflicts: 56000 | #Constraints: 10798
1.87/1.91 c INPROCESSING
1.87/1.91 c GARBAGE COLLECT
1.87/1.91 c rational objective 500.5
1.97/2.08 c #Conflicts: 57000 | #Constraints: 6999
1.97/2.08 c #Conflicts: 58000 | #Constraints: 7999
1.97/2.08 c #Conflicts: 59000 | #Constraints: 8999
1.97/2.08 c #Conflicts: 60000 | #Constraints: 9999
1.97/2.08 c #Conflicts: 61000 | #Constraints: 10999
1.97/2.08 c INPROCESSING
1.97/2.08 c GARBAGE COLLECT
1.97/2.08 c rational objective 500.5
2.16/2.28 c #Conflicts: 62000 | #Constraints: 7000
2.16/2.28 c #Conflicts: 63000 | #Constraints: 8000
2.16/2.28 c #Conflicts: 64000 | #Constraints: 9000
2.16/2.28 c #Conflicts: 65000 | #Constraints: 10000
2.16/2.28 c #Conflicts: 66000 | #Constraints: 11000
2.16/2.28 c INPROCESSING
2.16/2.28 c GARBAGE COLLECT
2.16/2.28 c rational objective 500.5
2.37/2.49 c #Conflicts: 67000 | #Constraints: 6803
2.37/2.49 c #Conflicts: 68000 | #Constraints: 7804
2.37/2.49 c #Conflicts: 69000 | #Constraints: 8804
2.37/2.49 c #Conflicts: 70000 | #Constraints: 9804
2.37/2.49 c #Conflicts: 71000 | #Constraints: 10804
2.37/2.49 c #Conflicts: 72000 | #Constraints: 11804
2.37/2.49 c INPROCESSING
2.37/2.49 c GARBAGE COLLECT
2.37/2.49 c rational objective 500.5
2.66/2.72 c #Conflicts: 73000 | #Constraints: 7403
2.66/2.72 c #Conflicts: 74000 | #Constraints: 8403
2.66/2.72 c #Conflicts: 75000 | #Constraints: 9403
2.66/2.72 c #Conflicts: 76000 | #Constraints: 10403
2.66/2.72 c #Conflicts: 77000 | #Constraints: 11403
2.66/2.72 c #Conflicts: 78000 | #Constraints: 12403
2.66/2.72 c INPROCESSING
2.66/2.72 c GARBAGE COLLECT
2.66/2.72 c rational objective 500.5
2.86/2.93 c #Conflicts: 79000 | #Constraints: 7803
2.86/2.93 c #Conflicts: 80000 | #Constraints: 8803
2.86/2.93 c #Conflicts: 81000 | #Constraints: 9803
2.86/2.93 c #Conflicts: 82000 | #Constraints: 10803
2.86/2.93 c #Conflicts: 83000 | #Constraints: 11803
2.86/2.93 c #Conflicts: 84000 | #Constraints: 12803
2.86/2.93 c INPROCESSING
2.86/2.93 c GARBAGE COLLECT
2.86/2.93 c rational objective 500.5
3.16/3.28 c #Conflicts: 85000 | #Constraints: 8001
3.16/3.28 c #Conflicts: 86000 | #Constraints: 9002
3.16/3.28 c #Conflicts: 87000 | #Constraints: 10002
3.16/3.28 c #Conflicts: 88000 | #Constraints: 11003
3.16/3.28 c #Conflicts: 89000 | #Constraints: 12003
3.16/3.28 c #Conflicts: 90000 | #Constraints: 13004
3.16/3.28 c INPROCESSING
3.16/3.28 c GARBAGE COLLECT
3.16/3.28 c rational objective 500.5
3.56/3.61 c #Conflicts: 91000 | #Constraints: 8007
3.56/3.61 c #Conflicts: 92000 | #Constraints: 9007
3.56/3.61 c #Conflicts: 93000 | #Constraints: 10008
3.56/3.61 c #Conflicts: 94000 | #Constraints: 11008
3.56/3.61 c #Conflicts: 95000 | #Constraints: 12009
3.56/3.61 c #Conflicts: 96000 | #Constraints: 13009
3.56/3.61 c INPROCESSING
3.56/3.61 c GARBAGE COLLECT
3.56/3.61 c rational objective 500.5
3.76/3.85 c #Conflicts: 97000 | #Constraints: 7810
3.76/3.85 c #Conflicts: 98000 | #Constraints: 8810
3.76/3.85 c #Conflicts: 99000 | #Constraints: 9810
3.76/3.85 c #Conflicts: 100000 | #Constraints: 10810
3.76/3.85 c #Conflicts: 101000 | #Constraints: 11810
3.76/3.85 c #Conflicts: 102000 | #Constraints: 12810
3.76/3.85 c #Conflicts: 103000 | #Constraints: 13810
3.76/3.85 c INPROCESSING
3.76/3.85 c GARBAGE COLLECT
3.76/3.85 c rational objective 500.5
3.97/4.10 c #Conflicts: 104000 | #Constraints: 8410
3.97/4.10 c #Conflicts: 105000 | #Constraints: 9410
3.97/4.10 c #Conflicts: 106000 | #Constraints: 10410
3.97/4.10 c #Conflicts: 107000 | #Constraints: 11410
3.97/4.10 c #Conflicts: 108000 | #Constraints: 12410
3.97/4.10 c #Conflicts: 109000 | #Constraints: 13410
3.97/4.10 c #Conflicts: 110000 | #Constraints: 14410
3.97/4.10 c INPROCESSING
3.97/4.10 c GARBAGE COLLECT
3.97/4.10 c rational objective 500.5
4.26/4.38 c #Conflicts: 111000 | #Constraints: 8818
4.26/4.38 c #Conflicts: 112000 | #Constraints: 9818
4.26/4.38 c #Conflicts: 113000 | #Constraints: 10818
4.26/4.38 c #Conflicts: 114000 | #Constraints: 11818
4.26/4.38 c #Conflicts: 115000 | #Constraints: 12818
4.26/4.38 c #Conflicts: 116000 | #Constraints: 13818
4.26/4.38 c #Conflicts: 117000 | #Constraints: 14818
4.26/4.38 c INPROCESSING
4.26/4.38 c GARBAGE COLLECT
4.26/4.38 c rational objective 500.5
4.56/4.68 c #Conflicts: 118000 | #Constraints: 9012
4.56/4.68 c #Conflicts: 119000 | #Constraints: 10012
4.56/4.68 c #Conflicts: 120000 | #Constraints: 11012
4.56/4.68 c #Conflicts: 121000 | #Constraints: 12012
4.56/4.68 c #Conflicts: 122000 | #Constraints: 13012
4.56/4.68 c #Conflicts: 123000 | #Constraints: 14012
4.56/4.68 c #Conflicts: 124000 | #Constraints: 15012
4.56/4.68 c INPROCESSING
4.56/4.68 c GARBAGE COLLECT
4.56/4.68 c rational objective 500.5
4.86/4.99 c #Conflicts: 125000 | #Constraints: 9014
4.86/4.99 c #Conflicts: 126000 | #Constraints: 10014
4.86/4.99 c #Conflicts: 127000 | #Constraints: 11015
4.86/4.99 c #Conflicts: 128000 | #Constraints: 12015
4.86/4.99 c #Conflicts: 129000 | #Constraints: 13015
4.86/4.99 c #Conflicts: 130000 | #Constraints: 14015
4.86/4.99 c #Conflicts: 131000 | #Constraints: 15015
4.86/4.99 c INPROCESSING
4.86/4.99 c GARBAGE COLLECT
4.86/4.99 c rational objective 500.5
5.26/5.30 c #Conflicts: 132000 | #Constraints: 8811
5.26/5.30 c #Conflicts: 133000 | #Constraints: 9811
5.26/5.30 c #Conflicts: 134000 | #Constraints: 10812
5.26/5.30 c #Conflicts: 135000 | #Constraints: 11812
5.26/5.30 c #Conflicts: 136000 | #Constraints: 12812
5.26/5.30 c #Conflicts: 137000 | #Constraints: 13812
5.26/5.30 c #Conflicts: 138000 | #Constraints: 14812
5.26/5.30 c #Conflicts: 139000 | #Constraints: 15812
5.26/5.30 c INPROCESSING
5.26/5.30 c GARBAGE COLLECT
5.26/5.30 c rational objective 500.5
5.65/5.76 c #Conflicts: 140000 | #Constraints: 9421
5.65/5.76 c #Conflicts: 141000 | #Constraints: 10421
5.65/5.76 c #Conflicts: 142000 | #Constraints: 11421
5.65/5.76 c #Conflicts: 143000 | #Constraints: 12421
5.65/5.76 c #Conflicts: 144000 | #Constraints: 13421
5.65/5.76 c #Conflicts: 145000 | #Constraints: 14421
5.65/5.76 c #Conflicts: 146000 | #Constraints: 15421
5.65/5.76 c #Conflicts: 147000 | #Constraints: 16421
5.65/5.76 c INPROCESSING
5.65/5.76 c GARBAGE COLLECT
5.65/5.76 c rational objective 500.5
5.96/6.09 c #Conflicts: 148000 | #Constraints: 9820
5.96/6.09 c #Conflicts: 149000 | #Constraints: 10820
5.96/6.09 c #Conflicts: 150000 | #Constraints: 11820
5.96/6.09 c #Conflicts: 151000 | #Constraints: 12820
5.96/6.09 c #Conflicts: 152000 | #Constraints: 13820
5.96/6.09 c #Conflicts: 153000 | #Constraints: 14820
5.96/6.09 c #Conflicts: 154000 | #Constraints: 15820
5.96/6.09 c #Conflicts: 155000 | #Constraints: 16820
5.96/6.09 c INPROCESSING
5.96/6.09 c GARBAGE COLLECT
5.96/6.09 c rational objective 500.5
6.35/6.45 c #Conflicts: 156000 | #Constraints: 10023
6.35/6.45 c #Conflicts: 157000 | #Constraints: 11023
6.35/6.45 c #Conflicts: 158000 | #Constraints: 12023
6.35/6.45 c #Conflicts: 159000 | #Constraints: 13023
6.35/6.45 c #Conflicts: 160000 | #Constraints: 14023
6.35/6.45 c #Conflicts: 161000 | #Constraints: 15023
6.35/6.45 c #Conflicts: 162000 | #Constraints: 16023
6.35/6.45 c #Conflicts: 163000 | #Constraints: 17023
6.35/6.45 c INPROCESSING
6.35/6.45 c GARBAGE COLLECT
6.35/6.45 c rational objective 500.5
6.75/6.85 c #Conflicts: 164000 | #Constraints: 10019
6.75/6.85 c #Conflicts: 165000 | #Constraints: 11019
6.75/6.85 c #Conflicts: 166000 | #Constraints: 12019
6.75/6.85 c #Conflicts: 167000 | #Constraints: 13019
6.75/6.85 c #Conflicts: 168000 | #Constraints: 14019
6.75/6.85 c #Conflicts: 169000 | #Constraints: 15019
6.75/6.85 c #Conflicts: 170000 | #Constraints: 16019
6.75/6.85 c #Conflicts: 171000 | #Constraints: 17019
6.75/6.85 c INPROCESSING
6.75/6.85 c GARBAGE COLLECT
6.75/6.85 c rational objective 500.5
7.15/7.23 c #Conflicts: 172000 | #Constraints: 9815
7.15/7.23 c #Conflicts: 173000 | #Constraints: 10815
7.15/7.23 c #Conflicts: 174000 | #Constraints: 11815
7.15/7.23 c #Conflicts: 175000 | #Constraints: 12815
7.15/7.23 c #Conflicts: 176000 | #Constraints: 13815
7.15/7.23 c #Conflicts: 177000 | #Constraints: 14815
7.15/7.23 c #Conflicts: 178000 | #Constraints: 15815
7.15/7.23 c #Conflicts: 179000 | #Constraints: 16815
7.15/7.23 c #Conflicts: 180000 | #Constraints: 17815
7.15/7.23 c INPROCESSING
7.15/7.23 c GARBAGE COLLECT
7.15/7.23 c rational objective 500.5
7.55/7.63 c #Conflicts: 181000 | #Constraints: 10416
7.55/7.63 c #Conflicts: 182000 | #Constraints: 11416
7.55/7.63 c #Conflicts: 183000 | #Constraints: 12416
7.55/7.63 c #Conflicts: 184000 | #Constraints: 13416
7.55/7.63 c #Conflicts: 185000 | #Constraints: 14416
7.55/7.63 c #Conflicts: 186000 | #Constraints: 15416
7.55/7.63 c #Conflicts: 187000 | #Constraints: 16416
7.55/7.63 c #Conflicts: 188000 | #Constraints: 17416
7.55/7.63 c #Conflicts: 189000 | #Constraints: 18416
7.55/7.63 c INPROCESSING
7.55/7.63 c GARBAGE COLLECT
7.55/7.63 c rational objective 500.5
7.96/8.03 c #Conflicts: 190000 | #Constraints: 10823
7.96/8.03 c #Conflicts: 191000 | #Constraints: 11823
7.96/8.03 c #Conflicts: 192000 | #Constraints: 12823
7.96/8.03 c #Conflicts: 193000 | #Constraints: 13823
7.96/8.03 c #Conflicts: 194000 | #Constraints: 14823
7.96/8.03 c #Conflicts: 195000 | #Constraints: 15823
7.96/8.03 c #Conflicts: 196000 | #Constraints: 16823
7.96/8.03 c #Conflicts: 197000 | #Constraints: 17823
7.96/8.03 c #Conflicts: 198000 | #Constraints: 18823
7.96/8.03 c INPROCESSING
7.96/8.03 c GARBAGE COLLECT
7.96/8.03 c rational objective 500.5
8.35/8.47 c #Conflicts: 199000 | #Constraints: 11021
8.35/8.47 c #Conflicts: 200000 | #Constraints: 12021
8.35/8.47 c #Conflicts: 201000 | #Constraints: 13021
8.35/8.47 c #Conflicts: 202000 | #Constraints: 14021
8.35/8.47 c #Conflicts: 203000 | #Constraints: 15021
8.35/8.47 c #Conflicts: 204000 | #Constraints: 16021
8.35/8.47 c #Conflicts: 205000 | #Constraints: 17021
8.35/8.47 c #Conflicts: 206000 | #Constraints: 18021
8.35/8.47 c #Conflicts: 207000 | #Constraints: 19021
8.35/8.47 c INPROCESSING
8.35/8.47 c GARBAGE COLLECT
8.35/8.47 c rational objective 500.5
8.96/9.02 c #Conflicts: 208000 | #Constraints: 11020
8.96/9.02 c #Conflicts: 209000 | #Constraints: 12020
8.96/9.02 c #Conflicts: 210000 | #Constraints: 13020
8.96/9.02 c #Conflicts: 211000 | #Constraints: 14020
8.96/9.02 c #Conflicts: 212000 | #Constraints: 15020
8.96/9.02 c #Conflicts: 213000 | #Constraints: 16020
8.96/9.02 c #Conflicts: 214000 | #Constraints: 17020
8.96/9.02 c #Conflicts: 215000 | #Constraints: 18020
8.96/9.02 c #Conflicts: 216000 | #Constraints: 19020
8.96/9.02 c INPROCESSING
8.96/9.02 c GARBAGE COLLECT
8.96/9.02 c rational objective 500.5
9.55/9.62 c #Conflicts: 217000 | #Constraints: 10833
9.55/9.62 c #Conflicts: 218000 | #Constraints: 11833
9.55/9.62 c #Conflicts: 219000 | #Constraints: 12833
9.55/9.62 c #Conflicts: 220000 | #Constraints: 13833
9.55/9.62 c #Conflicts: 221000 | #Constraints: 14833
9.55/9.62 c #Conflicts: 222000 | #Constraints: 15833
9.55/9.62 c #Conflicts: 223000 | #Constraints: 16833
9.55/9.62 c #Conflicts: 224000 | #Constraints: 17833
9.55/9.62 c #Conflicts: 225000 | #Constraints: 18833
9.55/9.62 c #Conflicts: 226000 | #Constraints: 19833
9.55/9.62 c INPROCESSING
9.55/9.62 c GARBAGE COLLECT
9.55/9.62 c rational objective 500.5
9.96/10.04 c #Conflicts: 227000 | #Constraints: 11433
9.96/10.04 c #Conflicts: 228000 | #Constraints: 12433
9.96/10.04 c #Conflicts: 229000 | #Constraints: 13433
9.96/10.04 c #Conflicts: 230000 | #Constraints: 14433
9.96/10.04 c #Conflicts: 231000 | #Constraints: 15433
9.96/10.04 c #Conflicts: 232000 | #Constraints: 16433
9.96/10.04 c #Conflicts: 233000 | #Constraints: 17433
9.96/10.04 c #Conflicts: 234000 | #Constraints: 18433
9.96/10.04 c #Conflicts: 235000 | #Constraints: 19433
9.96/10.04 c #Conflicts: 236000 | #Constraints: 20433
9.96/10.04 c INPROCESSING
9.96/10.04 c GARBAGE COLLECT
9.96/10.04 c rational objective 500.5
10.34/10.47 c #Conflicts: 237000 | #Constraints: 11824
10.34/10.47 c #Conflicts: 238000 | #Constraints: 12824
10.34/10.47 c #Conflicts: 239000 | #Constraints: 13824
10.34/10.47 c #Conflicts: 240000 | #Constraints: 14824
10.34/10.47 c #Conflicts: 241000 | #Constraints: 15824
10.34/10.47 c #Conflicts: 242000 | #Constraints: 16824
10.34/10.47 c #Conflicts: 243000 | #Constraints: 17824
10.34/10.47 c #Conflicts: 244000 | #Constraints: 18824
10.34/10.47 c #Conflicts: 245000 | #Constraints: 19824
10.34/10.47 c #Conflicts: 246000 | #Constraints: 20824
10.34/10.47 c INPROCESSING
10.34/10.47 c GARBAGE COLLECT
10.34/10.47 c rational objective 500.5
10.85/10.91 c #Conflicts: 247000 | #Constraints: 12024
10.85/10.91 c #Conflicts: 248000 | #Constraints: 13024
10.85/10.91 c #Conflicts: 249000 | #Constraints: 14024
10.85/10.91 c #Conflicts: 250000 | #Constraints: 15025
10.85/10.91 c #Conflicts: 251000 | #Constraints: 16025
10.85/10.91 c #Conflicts: 252000 | #Constraints: 17025
10.85/10.91 c #Conflicts: 253000 | #Constraints: 18025
10.85/10.91 c #Conflicts: 254000 | #Constraints: 19025
10.85/10.91 c #Conflicts: 255000 | #Constraints: 20025
10.85/10.91 c #Conflicts: 256000 | #Constraints: 21026
10.85/10.91 c INPROCESSING
10.85/10.91 c GARBAGE COLLECT
10.85/10.91 c rational objective 500.5
11.24/11.38 c #Conflicts: 257000 | #Constraints: 12017
11.24/11.38 c #Conflicts: 258000 | #Constraints: 13017
11.24/11.38 c #Conflicts: 259000 | #Constraints: 14017
11.24/11.38 c #Conflicts: 260000 | #Constraints: 15017
11.24/11.38 c #Conflicts: 261000 | #Constraints: 16017
11.24/11.38 c #Conflicts: 262000 | #Constraints: 17017
11.24/11.38 c #Conflicts: 263000 | #Constraints: 18018
11.24/11.38 c #Conflicts: 264000 | #Constraints: 19018
11.24/11.38 c #Conflicts: 265000 | #Constraints: 20018
11.24/11.38 c #Conflicts: 266000 | #Constraints: 21018
11.24/11.38 c INPROCESSING
11.24/11.38 c GARBAGE COLLECT
11.24/11.38 c rational objective 500.5
11.84/11.94 c #Conflicts: 267000 | #Constraints: 11819
11.84/11.94 c #Conflicts: 268000 | #Constraints: 12819
11.84/11.94 c #Conflicts: 269000 | #Constraints: 13819
11.84/11.94 c #Conflicts: 270000 | #Constraints: 14819
11.84/11.94 c #Conflicts: 271000 | #Constraints: 15819
11.84/11.94 c #Conflicts: 272000 | #Constraints: 16819
11.84/11.94 c #Conflicts: 273000 | #Constraints: 17819
11.84/11.94 c #Conflicts: 274000 | #Constraints: 18819
11.84/11.94 c #Conflicts: 275000 | #Constraints: 19819
11.84/11.94 c #Conflicts: 276000 | #Constraints: 20819
11.84/11.94 c #Conflicts: 277000 | #Constraints: 21819
11.84/11.94 c INPROCESSING
11.84/11.94 c GARBAGE COLLECT
11.84/11.94 c rational objective 500.5
12.24/12.39 c #Conflicts: 278000 | #Constraints: 12416
12.24/12.39 c #Conflicts: 279000 | #Constraints: 13416
12.24/12.39 c #Conflicts: 280000 | #Constraints: 14416
12.24/12.39 c #Conflicts: 281000 | #Constraints: 15416
12.24/12.39 c #Conflicts: 282000 | #Constraints: 16416
12.24/12.39 c #Conflicts: 283000 | #Constraints: 17416
12.24/12.39 c #Conflicts: 284000 | #Constraints: 18416
12.24/12.39 c #Conflicts: 285000 | #Constraints: 19416
12.24/12.39 c #Conflicts: 286000 | #Constraints: 20416
12.24/12.39 c #Conflicts: 287000 | #Constraints: 21416
12.24/12.39 c #Conflicts: 288000 | #Constraints: 22416
12.24/12.39 c INPROCESSING
12.24/12.39 c GARBAGE COLLECT
12.24/12.39 c rational objective 500.5
12.74/12.86 c #Conflicts: 289000 | #Constraints: 12812
12.74/12.86 c #Conflicts: 290000 | #Constraints: 13812
12.74/12.86 c #Conflicts: 291000 | #Constraints: 14812
12.74/12.86 c #Conflicts: 292000 | #Constraints: 15812
12.74/12.86 c #Conflicts: 293000 | #Constraints: 16812
12.74/12.86 c #Conflicts: 294000 | #Constraints: 17812
12.74/12.86 c #Conflicts: 295000 | #Constraints: 18812
12.74/12.86 c #Conflicts: 296000 | #Constraints: 19812
12.74/12.86 c #Conflicts: 297000 | #Constraints: 20812
12.74/12.86 c #Conflicts: 298000 | #Constraints: 21812
12.74/12.86 c #Conflicts: 299000 | #Constraints: 22812
12.74/12.86 c INPROCESSING
12.74/12.86 c GARBAGE COLLECT
12.74/12.86 c rational objective 500.5
13.24/13.35 c #Conflicts: 300000 | #Constraints: 13017
13.24/13.35 c #Conflicts: 301000 | #Constraints: 14017
13.24/13.35 c #Conflicts: 302000 | #Constraints: 15017
13.24/13.35 c #Conflicts: 303000 | #Constraints: 16017
13.24/13.35 c #Conflicts: 304000 | #Constraints: 17017
13.24/13.35 c #Conflicts: 305000 | #Constraints: 18017
13.24/13.35 c #Conflicts: 306000 | #Constraints: 19017
13.24/13.35 c #Conflicts: 307000 | #Constraints: 20017
13.24/13.35 c #Conflicts: 308000 | #Constraints: 21017
13.24/13.35 c #Conflicts: 309000 | #Constraints: 22017
13.24/13.35 c #Conflicts: 310000 | #Constraints: 23017
13.24/13.35 c INPROCESSING
13.24/13.35 c GARBAGE COLLECT
13.24/13.35 c rational objective 500.5
13.74/13.88 c #Conflicts: 311000 | #Constraints: 13017
13.74/13.88 c #Conflicts: 312000 | #Constraints: 14017
13.74/13.88 c #Conflicts: 313000 | #Constraints: 15017
13.74/13.88 c #Conflicts: 314000 | #Constraints: 16017
13.74/13.88 c #Conflicts: 315000 | #Constraints: 17017
13.74/13.88 c #Conflicts: 316000 | #Constraints: 18017
13.74/13.88 c #Conflicts: 317000 | #Constraints: 19018
13.74/13.88 c #Conflicts: 318000 | #Constraints: 20018
13.74/13.88 c #Conflicts: 319000 | #Constraints: 21018
13.74/13.88 c #Conflicts: 320000 | #Constraints: 22018
13.74/13.88 c #Conflicts: 321000 | #Constraints: 23018
13.74/13.88 c INPROCESSING
13.74/13.88 c GARBAGE COLLECT
13.74/13.88 c rational objective 500.5
14.54/14.62 c #Conflicts: 322000 | #Constraints: 12812
14.54/14.62 c #Conflicts: 323000 | #Constraints: 13812
14.54/14.62 c #Conflicts: 324000 | #Constraints: 14812
14.54/14.62 c #Conflicts: 325000 | #Constraints: 15812
14.54/14.62 c #Conflicts: 326000 | #Constraints: 16812
14.54/14.62 c #Conflicts: 327000 | #Constraints: 17812
14.54/14.62 c #Conflicts: 328000 | #Constraints: 18812
14.54/14.62 c #Conflicts: 329000 | #Constraints: 19812
14.54/14.62 c #Conflicts: 330000 | #Constraints: 20812
14.54/14.62 c #Conflicts: 331000 | #Constraints: 21812
14.54/14.62 c #Conflicts: 332000 | #Constraints: 22812
14.54/14.62 c #Conflicts: 333000 | #Constraints: 23812
14.54/14.62 c INPROCESSING
14.54/14.62 c GARBAGE COLLECT
14.54/14.62 c rational objective 500.5
15.04/15.12 c #Conflicts: 334000 | #Constraints: 13418
15.04/15.12 c #Conflicts: 335000 | #Constraints: 14418
15.04/15.12 c #Conflicts: 336000 | #Constraints: 15418
15.04/15.12 c #Conflicts: 337000 | #Constraints: 16418
15.04/15.12 c #Conflicts: 338000 | #Constraints: 17418
15.04/15.12 c #Conflicts: 339000 | #Constraints: 18418
15.04/15.12 c #Conflicts: 340000 | #Constraints: 19418
15.04/15.12 c #Conflicts: 341000 | #Constraints: 20418
15.04/15.12 c #Conflicts: 342000 | #Constraints: 21418
15.04/15.12 c #Conflicts: 343000 | #Constraints: 22418
15.04/15.12 c #Conflicts: 344000 | #Constraints: 23418
15.04/15.12 c #Conflicts: 345000 | #Constraints: 24418
15.04/15.12 c INPROCESSING
15.04/15.12 c GARBAGE COLLECT
15.04/15.12 c rational objective 500.5
15.53/15.62 c #Conflicts: 346000 | #Constraints: 13824
15.53/15.62 c #Conflicts: 347000 | #Constraints: 14824
15.53/15.62 c #Conflicts: 348000 | #Constraints: 15824
15.53/15.62 c #Conflicts: 349000 | #Constraints: 16824
15.53/15.62 c #Conflicts: 350000 | #Constraints: 17824
15.53/15.62 c #Conflicts: 351000 | #Constraints: 18824
15.53/15.62 c #Conflicts: 352000 | #Constraints: 19824
15.53/15.62 c #Conflicts: 353000 | #Constraints: 20824
15.53/15.62 c #Conflicts: 354000 | #Constraints: 21824
15.53/15.62 c #Conflicts: 355000 | #Constraints: 22824
15.53/15.62 c #Conflicts: 356000 | #Constraints: 23824
15.53/15.62 c #Conflicts: 357000 | #Constraints: 24824
15.53/15.62 c INPROCESSING
15.53/15.62 c GARBAGE COLLECT
15.53/15.62 c rational objective 500.5
16.03/16.15 c #Conflicts: 358000 | #Constraints: 14021
16.03/16.15 c #Conflicts: 359000 | #Constraints: 15021
16.03/16.15 c #Conflicts: 360000 | #Constraints: 16021
16.03/16.15 c #Conflicts: 361000 | #Constraints: 17021
16.03/16.15 c #Conflicts: 362000 | #Constraints: 18021
16.03/16.15 c #Conflicts: 363000 | #Constraints: 19021
16.03/16.15 c #Conflicts: 364000 | #Constraints: 20021
16.03/16.15 c #Conflicts: 365000 | #Constraints: 21021
16.03/16.15 c #Conflicts: 366000 | #Constraints: 22021
16.03/16.15 c #Conflicts: 367000 | #Constraints: 23021
16.03/16.15 c #Conflicts: 368000 | #Constraints: 24021
16.03/16.15 c #Conflicts: 369000 | #Constraints: 25021
16.03/16.15 c INPROCESSING
16.03/16.15 c GARBAGE COLLECT
16.03/16.15 c rational objective 500.5
16.63/16.71 c #Conflicts: 370000 | #Constraints: 14031
16.63/16.71 c #Conflicts: 371000 | #Constraints: 15031
16.63/16.71 c #Conflicts: 372000 | #Constraints: 16031
16.63/16.71 c #Conflicts: 373000 | #Constraints: 17031
16.63/16.71 c #Conflicts: 374000 | #Constraints: 18031
16.63/16.71 c #Conflicts: 375000 | #Constraints: 19031
16.63/16.71 c #Conflicts: 376000 | #Constraints: 20031
16.63/16.71 c #Conflicts: 377000 | #Constraints: 21031
16.63/16.71 c #Conflicts: 378000 | #Constraints: 22031
16.63/16.71 c #Conflicts: 379000 | #Constraints: 23031
16.63/16.71 c #Conflicts: 380000 | #Constraints: 24031
16.63/16.71 c #Conflicts: 381000 | #Constraints: 25031
16.63/16.71 c INPROCESSING
16.63/16.71 c GARBAGE COLLECT
16.63/16.71 c rational objective 500.5
17.13/17.23 c #Conflicts: 382000 | #Constraints: 13820
17.13/17.23 c #Conflicts: 383000 | #Constraints: 14820
17.13/17.23 c #Conflicts: 384000 | #Constraints: 15820
17.13/17.23 c #Conflicts: 385000 | #Constraints: 16820
17.13/17.23 c #Conflicts: 386000 | #Constraints: 17820
17.13/17.23 c #Conflicts: 387000 | #Constraints: 18820
17.13/17.23 c #Conflicts: 388000 | #Constraints: 19820
17.13/17.23 c #Conflicts: 389000 | #Constraints: 20820
17.13/17.23 c #Conflicts: 390000 | #Constraints: 21820
17.13/17.23 c #Conflicts: 391000 | #Constraints: 22820
17.13/17.23 c #Conflicts: 392000 | #Constraints: 23820
17.13/17.23 c #Conflicts: 393000 | #Constraints: 24820
17.13/17.23 c #Conflicts: 394000 | #Constraints: 25820
17.13/17.23 c INPROCESSING
17.13/17.23 c GARBAGE COLLECT
17.13/17.23 c rational objective 500.5
17.63/17.79 c #Conflicts: 395000 | #Constraints: 14423
17.63/17.79 c #Conflicts: 396000 | #Constraints: 15423
17.63/17.79 c #Conflicts: 397000 | #Constraints: 16423
17.63/17.79 c #Conflicts: 398000 | #Constraints: 17423
17.63/17.79 c #Conflicts: 399000 | #Constraints: 18423
17.63/17.79 c #Conflicts: 400000 | #Constraints: 19423
17.63/17.79 c #Conflicts: 401000 | #Constraints: 20423
17.63/17.79 c #Conflicts: 402000 | #Constraints: 21423
17.63/17.79 c #Conflicts: 403000 | #Constraints: 22423
17.63/17.79 c #Conflicts: 404000 | #Constraints: 23423
17.63/17.79 c #Conflicts: 405000 | #Constraints: 24423
17.63/17.79 c #Conflicts: 406000 | #Constraints: 25423
17.63/17.79 c #Conflicts: 407000 | #Constraints: 26423
17.63/17.79 c INPROCESSING
17.63/17.79 c GARBAGE COLLECT
17.63/17.79 c rational objective 500.5
18.23/18.37 c #Conflicts: 408000 | #Constraints: 14830
18.23/18.37 c #Conflicts: 409000 | #Constraints: 15830
18.23/18.37 c #Conflicts: 410000 | #Constraints: 16830
18.23/18.37 c #Conflicts: 411000 | #Constraints: 17830
18.23/18.37 c #Conflicts: 412000 | #Constraints: 18830
18.23/18.37 c #Conflicts: 413000 | #Constraints: 19830
18.23/18.37 c #Conflicts: 414000 | #Constraints: 20830
18.23/18.37 c #Conflicts: 415000 | #Constraints: 21830
18.23/18.37 c #Conflicts: 416000 | #Constraints: 22830
18.23/18.37 c #Conflicts: 417000 | #Constraints: 23830
18.23/18.37 c #Conflicts: 418000 | #Constraints: 24830
18.23/18.37 c #Conflicts: 419000 | #Constraints: 25830
18.23/18.37 c #Conflicts: 420000 | #Constraints: 26830
18.23/18.37 c INPROCESSING
18.23/18.37 c GARBAGE COLLECT
18.23/18.37 c rational objective 500.5
18.93/19.01 c #Conflicts: 421000 | #Constraints: 15034
18.93/19.01 c #Conflicts: 422000 | #Constraints: 16034
18.93/19.01 c #Conflicts: 423000 | #Constraints: 17034
18.93/19.01 c #Conflicts: 424000 | #Constraints: 18034
18.93/19.01 c #Conflicts: 425000 | #Constraints: 19034
18.93/19.01 c #Conflicts: 426000 | #Constraints: 20034
18.93/19.01 c #Conflicts: 427000 | #Constraints: 21034
18.93/19.01 c #Conflicts: 428000 | #Constraints: 22034
18.93/19.01 c #Conflicts: 429000 | #Constraints: 23034
18.93/19.01 c #Conflicts: 430000 | #Constraints: 24034
18.93/19.01 c #Conflicts: 431000 | #Constraints: 25034
18.93/19.01 c #Conflicts: 432000 | #Constraints: 26034
18.93/19.01 c #Conflicts: 433000 | #Constraints: 27034
18.93/19.01 c INPROCESSING
18.93/19.01 c GARBAGE COLLECT
18.93/19.01 c rational objective 500.5
19.52/19.63 c #Conflicts: 434000 | #Constraints: 15034
19.52/19.63 c #Conflicts: 435000 | #Constraints: 16034
19.52/19.63 c #Conflicts: 436000 | #Constraints: 17034
19.52/19.63 c #Conflicts: 437000 | #Constraints: 18034
19.52/19.63 c #Conflicts: 438000 | #Constraints: 19034
19.52/19.63 c #Conflicts: 439000 | #Constraints: 20034
19.52/19.63 c #Conflicts: 440000 | #Constraints: 21034
19.52/19.63 c #Conflicts: 441000 | #Constraints: 22034
19.52/19.63 c #Conflicts: 442000 | #Constraints: 23034
19.52/19.63 c #Conflicts: 443000 | #Constraints: 24034
19.52/19.63 c #Conflicts: 444000 | #Constraints: 25034
19.52/19.63 c #Conflicts: 445000 | #Constraints: 26034
19.52/19.63 c #Conflicts: 446000 | #Constraints: 27034
19.52/19.63 c INPROCESSING
19.52/19.63 c GARBAGE COLLECT
19.52/19.63 c rational objective 500.5
20.32/20.46 c #Conflicts: 447000 | #Constraints: 14841
20.32/20.46 c #Conflicts: 448000 | #Constraints: 15841
20.32/20.46 c #Conflicts: 449000 | #Constraints: 16841
20.32/20.46 c #Conflicts: 450000 | #Constraints: 17841
20.32/20.46 c #Conflicts: 451000 | #Constraints: 18841
20.32/20.46 c #Conflicts: 452000 | #Constraints: 19841
20.32/20.46 c #Conflicts: 453000 | #Constraints: 20841
20.32/20.46 c #Conflicts: 454000 | #Constraints: 21841
20.32/20.46 c #Conflicts: 455000 | #Constraints: 22841
20.32/20.46 c #Conflicts: 456000 | #Constraints: 23841
20.32/20.46 c #Conflicts: 457000 | #Constraints: 24841
20.32/20.46 c #Conflicts: 458000 | #Constraints: 25841
20.32/20.46 c #Conflicts: 459000 | #Constraints: 26841
20.32/20.46 c #Conflicts: 460000 | #Constraints: 27841
20.32/20.46 c INPROCESSING
20.32/20.46 c GARBAGE COLLECT
20.32/20.46 c rational objective 500.5
21.22/21.31 c #Conflicts: 461000 | #Constraints: 15435
21.22/21.31 c #Conflicts: 462000 | #Constraints: 16435
21.22/21.31 c #Conflicts: 463000 | #Constraints: 17435
21.22/21.31 c #Conflicts: 464000 | #Constraints: 18435
21.22/21.31 c #Conflicts: 465000 | #Constraints: 19435
21.22/21.31 c #Conflicts: 466000 | #Constraints: 20435
21.22/21.31 c #Conflicts: 467000 | #Constraints: 21435
21.22/21.31 c #Conflicts: 468000 | #Constraints: 22435
21.22/21.31 c #Conflicts: 469000 | #Constraints: 23435
21.22/21.31 c #Conflicts: 470000 | #Constraints: 24435
21.22/21.31 c #Conflicts: 471000 | #Constraints: 25435
21.22/21.31 c #Conflicts: 472000 | #Constraints: 26435
21.22/21.31 c #Conflicts: 473000 | #Constraints: 27435
21.22/21.31 c #Conflicts: 474000 | #Constraints: 28435
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c rational objective 500.5
22.02/22.13 c #Conflicts: 475000 | #Constraints: 15839
22.02/22.13 c #Conflicts: 476000 | #Constraints: 16839
22.02/22.13 c #Conflicts: 477000 | #Constraints: 17839
22.02/22.13 c #Conflicts: 478000 | #Constraints: 18839
22.02/22.13 c #Conflicts: 479000 | #Constraints: 19839
22.02/22.13 c #Conflicts: 480000 | #Constraints: 20839
22.02/22.13 c #Conflicts: 481000 | #Constraints: 21839
22.02/22.13 c #Conflicts: 482000 | #Constraints: 22839
22.02/22.13 c #Conflicts: 483000 | #Constraints: 23839
22.02/22.13 c #Conflicts: 484000 | #Constraints: 24839
22.02/22.13 c #Conflicts: 485000 | #Constraints: 25839
22.02/22.13 c #Conflicts: 486000 | #Constraints: 26839
22.02/22.13 c #Conflicts: 487000 | #Constraints: 27839
22.02/22.13 c #Conflicts: 488000 | #Constraints: 28839
22.02/22.13 c INPROCESSING
22.02/22.13 c GARBAGE COLLECT
22.02/22.13 c rational objective 500.5
22.92/23.06 c #Conflicts: 489000 | #Constraints: 16027
22.92/23.06 c #Conflicts: 490000 | #Constraints: 17027
22.92/23.06 c #Conflicts: 491000 | #Constraints: 18027
22.92/23.06 c #Conflicts: 492000 | #Constraints: 19027
22.92/23.06 c #Conflicts: 493000 | #Constraints: 20027
22.92/23.06 c #Conflicts: 494000 | #Constraints: 21027
22.92/23.06 c #Conflicts: 495000 | #Constraints: 22027
22.92/23.06 c #Conflicts: 496000 | #Constraints: 23027
22.92/23.06 c #Conflicts: 497000 | #Constraints: 24027
22.92/23.06 c #Conflicts: 498000 | #Constraints: 25027
22.92/23.06 c #Conflicts: 499000 | #Constraints: 26027
22.92/23.06 c #Conflicts: 500000 | #Constraints: 27027
22.92/23.06 c #Conflicts: 501000 | #Constraints: 28027
22.92/23.06 c #Conflicts: 502000 | #Constraints: 29027
22.92/23.06 c INPROCESSING
22.92/23.06 c GARBAGE COLLECT
22.92/23.06 c rational objective 500.5
23.61/23.73 c #Conflicts: 503000 | #Constraints: 16030
23.61/23.73 c #Conflicts: 504000 | #Constraints: 17030
23.61/23.73 c #Conflicts: 505000 | #Constraints: 18030
23.61/23.73 c #Conflicts: 506000 | #Constraints: 19030
23.61/23.73 c #Conflicts: 507000 | #Constraints: 20030
23.61/23.73 c #Conflicts: 508000 | #Constraints: 21030
23.61/23.73 c #Conflicts: 509000 | #Constraints: 22030
23.61/23.73 c #Conflicts: 510000 | #Constraints: 23030
23.61/23.73 c #Conflicts: 511000 | #Constraints: 24030
23.61/23.73 c #Conflicts: 512000 | #Constraints: 25030
23.61/23.73 c #Conflicts: 513000 | #Constraints: 26030
23.61/23.73 c #Conflicts: 514000 | #Constraints: 27030
23.61/23.73 c #Conflicts: 515000 | #Constraints: 28030
23.61/23.73 c #Conflicts: 516000 | #Constraints: 29030
23.61/23.73 c INPROCESSING
23.61/23.73 c GARBAGE COLLECT
23.61/23.73 c rational objective 500.5
24.31/24.41 c #Conflicts: 517000 | #Constraints: 15835
24.31/24.41 c #Conflicts: 518000 | #Constraints: 16835
24.31/24.41 c #Conflicts: 519000 | #Constraints: 17835
24.31/24.41 c #Conflicts: 520000 | #Constraints: 18835
24.31/24.41 c #Conflicts: 521000 | #Constraints: 19835
24.31/24.41 c #Conflicts: 522000 | #Constraints: 20835
24.31/24.41 c #Conflicts: 523000 | #Constraints: 21835
24.31/24.41 c #Conflicts: 524000 | #Constraints: 22835
24.31/24.41 c #Conflicts: 525000 | #Constraints: 23835
24.31/24.41 c #Conflicts: 526000 | #Constraints: 24835
24.31/24.41 c #Conflicts: 527000 | #Constraints: 25835
24.31/24.41 c #Conflicts: 528000 | #Constraints: 26835
24.31/24.41 c #Conflicts: 529000 | #Constraints: 27835
24.31/24.41 c #Conflicts: 530000 | #Constraints: 28835
24.31/24.41 c #Conflicts: 531000 | #Constraints: 29835
24.31/24.41 c INPROCESSING
24.31/24.41 c GARBAGE COLLECT
24.31/24.41 c rational objective 500.5
24.92/25.10 c #Conflicts: 532000 | #Constraints: 16438
24.92/25.10 c #Conflicts: 533000 | #Constraints: 17438
24.92/25.10 c #Conflicts: 534000 | #Constraints: 18438
24.92/25.10 c #Conflicts: 535000 | #Constraints: 19438
24.92/25.10 c #Conflicts: 536000 | #Constraints: 20438
24.92/25.10 c #Conflicts: 537000 | #Constraints: 21438
24.92/25.10 c #Conflicts: 538000 | #Constraints: 22438
24.92/25.10 c #Conflicts: 539000 | #Constraints: 23438
24.92/25.10 c #Conflicts: 540000 | #Constraints: 24438
24.92/25.10 c #Conflicts: 541000 | #Constraints: 25438
24.92/25.10 c #Conflicts: 542000 | #Constraints: 26438
24.92/25.10 c #Conflicts: 543000 | #Constraints: 27438
24.92/25.10 c #Conflicts: 544000 | #Constraints: 28438
24.92/25.10 c #Conflicts: 545000 | #Constraints: 29438
24.92/25.10 c #Conflicts: 546000 | #Constraints: 30438
24.92/25.10 c INPROCESSING
24.92/25.10 c GARBAGE COLLECT
24.92/25.10 c rational objective 500.5
25.71/25.85 c #Conflicts: 547000 | #Constraints: 16831
25.71/25.85 c #Conflicts: 548000 | #Constraints: 17831
25.71/25.85 c #Conflicts: 549000 | #Constraints: 18831
25.71/25.85 c #Conflicts: 550000 | #Constraints: 19831
25.71/25.85 c #Conflicts: 551000 | #Constraints: 20831
25.71/25.85 c #Conflicts: 552000 | #Constraints: 21831
25.71/25.85 c #Conflicts: 553000 | #Constraints: 22831
25.71/25.85 c #Conflicts: 554000 | #Constraints: 23831
25.71/25.85 c #Conflicts: 555000 | #Constraints: 24831
25.71/25.85 c #Conflicts: 556000 | #Constraints: 25831
25.71/25.85 c #Conflicts: 557000 | #Constraints: 26831
25.71/25.85 c #Conflicts: 558000 | #Constraints: 27831
25.71/25.85 c #Conflicts: 559000 | #Constraints: 28831
25.71/25.85 c #Conflicts: 560000 | #Constraints: 29831
25.71/25.85 c #Conflicts: 561000 | #Constraints: 30831
25.71/25.85 c INPROCESSING
25.71/25.85 c GARBAGE COLLECT
25.71/25.85 c rational objective 500.5
26.41/26.55 c #Conflicts: 562000 | #Constraints: 17025
26.41/26.55 c #Conflicts: 563000 | #Constraints: 18025
26.41/26.55 c #Conflicts: 564000 | #Constraints: 19025
26.41/26.55 c #Conflicts: 565000 | #Constraints: 20025
26.41/26.55 c #Conflicts: 566000 | #Constraints: 21025
26.41/26.55 c #Conflicts: 567000 | #Constraints: 22025
26.41/26.55 c #Conflicts: 568000 | #Constraints: 23025
26.41/26.55 c #Conflicts: 569000 | #Constraints: 24025
26.41/26.55 c #Conflicts: 570000 | #Constraints: 25025
26.41/26.55 c #Conflicts: 571000 | #Constraints: 26025
26.41/26.55 c #Conflicts: 572000 | #Constraints: 27025
26.41/26.55 c #Conflicts: 573000 | #Constraints: 28025
26.41/26.55 c #Conflicts: 574000 | #Constraints: 29025
26.41/26.55 c #Conflicts: 575000 | #Constraints: 30025
26.41/26.55 c #Conflicts: 576000 | #Constraints: 31025
26.41/26.55 c INPROCESSING
26.41/26.55 c GARBAGE COLLECT
26.41/26.55 c rational objective 500.5
27.11/27.24 c #Conflicts: 577000 | #Constraints: 17032
27.11/27.24 c #Conflicts: 578000 | #Constraints: 18032
27.11/27.24 c #Conflicts: 579000 | #Constraints: 19032
27.11/27.24 c #Conflicts: 580000 | #Constraints: 20032
27.11/27.24 c #Conflicts: 581000 | #Constraints: 21032
27.11/27.24 c #Conflicts: 582000 | #Constraints: 22032
27.11/27.24 c #Conflicts: 583000 | #Constraints: 23032
27.11/27.24 c #Conflicts: 584000 | #Constraints: 24032
27.11/27.24 c #Conflicts: 585000 | #Constraints: 25032
27.11/27.24 c #Conflicts: 586000 | #Constraints: 26032
27.11/27.24 c #Conflicts: 587000 | #Constraints: 27032
27.11/27.24 c #Conflicts: 588000 | #Constraints: 28032
27.11/27.24 c #Conflicts: 589000 | #Constraints: 29032
27.11/27.24 c #Conflicts: 590000 | #Constraints: 30032
27.11/27.24 c #Conflicts: 591000 | #Constraints: 31032
27.11/27.24 c INPROCESSING
27.11/27.24 c GARBAGE COLLECT
27.11/27.24 c rational objective 500.5
27.92/28.08 c #Conflicts: 592000 | #Constraints: 16833
27.92/28.08 c #Conflicts: 593000 | #Constraints: 17833
27.92/28.08 c #Conflicts: 594000 | #Constraints: 18833
27.92/28.08 c #Conflicts: 595000 | #Constraints: 19833
27.92/28.08 c #Conflicts: 596000 | #Constraints: 20833
27.92/28.08 c #Conflicts: 597000 | #Constraints: 21833
27.92/28.08 c #Conflicts: 598000 | #Constraints: 22833
27.92/28.08 c #Conflicts: 599000 | #Constraints: 23833
27.92/28.08 c #Conflicts: 600000 | #Constraints: 24833
27.92/28.08 c #Conflicts: 601000 | #Constraints: 25833
27.92/28.08 c #Conflicts: 602000 | #Constraints: 26833
27.92/28.08 c #Conflicts: 603000 | #Constraints: 27833
27.92/28.08 c #Conflicts: 604000 | #Constraints: 28833
27.92/28.08 c #Conflicts: 605000 | #Constraints: 29833
27.92/28.08 c #Conflicts: 606000 | #Constraints: 30833
27.92/28.08 c #Conflicts: 607000 | #Constraints: 31833
27.92/28.08 c INPROCESSING
27.92/28.08 c GARBAGE COLLECT
27.92/28.08 c rational objective 500.5
28.70/28.82 c #Conflicts: 608000 | #Constraints: 17431
28.70/28.82 c #Conflicts: 609000 | #Constraints: 18431
28.70/28.82 c #Conflicts: 610000 | #Constraints: 19431
28.70/28.82 c #Conflicts: 611000 | #Constraints: 20431
28.70/28.82 c #Conflicts: 612000 | #Constraints: 21431
28.70/28.82 c #Conflicts: 613000 | #Constraints: 22431
28.70/28.82 c #Conflicts: 614000 | #Constraints: 23431
28.70/28.82 c #Conflicts: 615000 | #Constraints: 24431
28.70/28.82 c #Conflicts: 616000 | #Constraints: 25431
28.70/28.82 c #Conflicts: 617000 | #Constraints: 26431
28.70/28.82 c #Conflicts: 618000 | #Constraints: 27431
28.70/28.82 c #Conflicts: 619000 | #Constraints: 28431
28.70/28.82 c #Conflicts: 620000 | #Constraints: 29431
28.70/28.82 c #Conflicts: 621000 | #Constraints: 30431
28.70/28.82 c #Conflicts: 622000 | #Constraints: 31431
28.70/28.82 c #Conflicts: 623000 | #Constraints: 32431
28.70/28.82 c INPROCESSING
28.70/28.82 c GARBAGE COLLECT
28.70/28.82 c rational objective 500.5
29.40/29.53 c #Conflicts: 624000 | #Constraints: 17827
29.40/29.53 c #Conflicts: 625000 | #Constraints: 18827
29.40/29.53 c #Conflicts: 626000 | #Constraints: 19827
29.40/29.53 c #Conflicts: 627000 | #Constraints: 20828
29.40/29.53 c #Conflicts: 628000 | #Constraints: 21828
29.40/29.53 c #Conflicts: 629000 | #Constraints: 22828
29.40/29.53 c #Conflicts: 630000 | #Constraints: 23828
29.40/29.53 c #Conflicts: 631000 | #Constraints: 24828
29.40/29.53 c #Conflicts: 632000 | #Constraints: 25828
29.40/29.53 c #Conflicts: 633000 | #Constraints: 26828
29.40/29.53 c #Conflicts: 634000 | #Constraints: 27828
29.40/29.53 c #Conflicts: 635000 | #Constraints: 28828
29.40/29.53 c #Conflicts: 636000 | #Constraints: 29828
29.40/29.53 c #Conflicts: 637000 | #Constraints: 30828
29.40/29.53 c #Conflicts: 638000 | #Constraints: 31828
29.40/29.53 c #Conflicts: 639000 | #Constraints: 32828
29.40/29.53 c INPROCESSING
29.40/29.53 c GARBAGE COLLECT
29.40/29.53 c rational objective 500.5
30.10/30.27 c #Conflicts: 640000 | #Constraints: 18025
30.10/30.27 c #Conflicts: 641000 | #Constraints: 19025
30.10/30.27 c #Conflicts: 642000 | #Constraints: 20025
30.10/30.27 c #Conflicts: 643000 | #Constraints: 21025
30.10/30.27 c #Conflicts: 644000 | #Constraints: 22025
30.10/30.27 c #Conflicts: 645000 | #Constraints: 23025
30.10/30.27 c #Conflicts: 646000 | #Constraints: 24025
30.10/30.27 c #Conflicts: 647000 | #Constraints: 25025
30.10/30.27 c #Conflicts: 648000 | #Constraints: 26025
30.10/30.27 c #Conflicts: 649000 | #Constraints: 27025
30.10/30.27 c #Conflicts: 650000 | #Constraints: 28025
30.10/30.27 c #Conflicts: 651000 | #Constraints: 29025
30.10/30.27 c #Conflicts: 652000 | #Constraints: 30025
30.10/30.27 c #Conflicts: 653000 | #Constraints: 31025
30.10/30.27 c #Conflicts: 654000 | #Constraints: 32025
30.10/30.27 c #Conflicts: 655000 | #Constraints: 33025
30.10/30.27 c INPROCESSING
30.10/30.27 c GARBAGE COLLECT
30.10/30.27 c rational objective 500.5
30.90/31.08 c #Conflicts: 656000 | #Constraints: 18030
30.90/31.08 c #Conflicts: 657000 | #Constraints: 19030
30.90/31.08 c #Conflicts: 658000 | #Constraints: 20030
30.90/31.08 c #Conflicts: 659000 | #Constraints: 21030
30.90/31.08 c #Conflicts: 660000 | #Constraints: 22030
30.90/31.08 c #Conflicts: 661000 | #Constraints: 23030
30.90/31.08 c #Conflicts: 662000 | #Constraints: 24030
30.90/31.08 c #Conflicts: 663000 | #Constraints: 25030
30.90/31.08 c #Conflicts: 664000 | #Constraints: 26030
30.90/31.08 c #Conflicts: 665000 | #Constraints: 27030
30.90/31.08 c #Conflicts: 666000 | #Constraints: 28030
30.90/31.08 c #Conflicts: 667000 | #Constraints: 29030
30.90/31.08 c #Conflicts: 668000 | #Constraints: 30030
30.90/31.08 c #Conflicts: 669000 | #Constraints: 31030
30.90/31.08 c #Conflicts: 670000 | #Constraints: 32030
30.90/31.08 c #Conflicts: 671000 | #Constraints: 33030
30.90/31.08 c INPROCESSING
30.90/31.08 c GARBAGE COLLECT
30.90/31.08 c rational objective 500.5
31.69/31.89 c #Conflicts: 672000 | #Constraints: 17830
31.69/31.89 c #Conflicts: 673000 | #Constraints: 18830
31.69/31.89 c #Conflicts: 674000 | #Constraints: 19830
31.69/31.89 c #Conflicts: 675000 | #Constraints: 20830
31.69/31.89 c #Conflicts: 676000 | #Constraints: 21830
31.69/31.89 c #Conflicts: 677000 | #Constraints: 22830
31.69/31.89 c #Conflicts: 678000 | #Constraints: 23830
31.69/31.89 c #Conflicts: 679000 | #Constraints: 24830
31.69/31.89 c #Conflicts: 680000 | #Constraints: 25830
31.69/31.89 c #Conflicts: 681000 | #Constraints: 26830
31.69/31.89 c #Conflicts: 682000 | #Constraints: 27830
31.69/31.89 c #Conflicts: 683000 | #Constraints: 28830
31.69/31.89 c #Conflicts: 684000 | #Constraints: 29830
31.69/31.89 c #Conflicts: 685000 | #Constraints: 30830
31.69/31.89 c #Conflicts: 686000 | #Constraints: 31830
31.69/31.89 c #Conflicts: 687000 | #Constraints: 32830
31.69/31.89 c #Conflicts: 688000 | #Constraints: 33830
31.69/31.89 c INPROCESSING
31.69/31.89 c GARBAGE COLLECT
31.69/31.89 c rational objective 500.5
32.59/32.79 c #Conflicts: 689000 | #Constraints: 18429
32.59/32.79 c #Conflicts: 690000 | #Constraints: 19429
32.59/32.79 c #Conflicts: 691000 | #Constraints: 20429
32.59/32.79 c #Conflicts: 692000 | #Constraints: 21429
32.59/32.79 c #Conflicts: 693000 | #Constraints: 22429
32.59/32.79 c #Conflicts: 694000 | #Constraints: 23429
32.59/32.79 c #Conflicts: 695000 | #Constraints: 24429
32.59/32.79 c #Conflicts: 696000 | #Constraints: 25429
32.59/32.79 c #Conflicts: 697000 | #Constraints: 26429
32.59/32.79 c #Conflicts: 698000 | #Constraints: 27429
32.59/32.79 c #Conflicts: 699000 | #Constraints: 28429
32.59/32.79 c #Conflicts: 700000 | #Constraints: 29429
32.59/32.79 c #Conflicts: 701000 | #Constraints: 30429
32.59/32.79 c #Conflicts: 702000 | #Constraints: 31429
32.59/32.79 c #Conflicts: 703000 | #Constraints: 32429
32.59/32.79 c #Conflicts: 704000 | #Constraints: 33429
32.59/32.79 c #Conflicts: 705000 | #Constraints: 34429
32.59/32.79 c INPROCESSING
32.59/32.79 c GARBAGE COLLECT
32.59/32.79 c rational objective 500.5
33.79/33.95 c #Conflicts: 706000 | #Constraints: 18836
33.79/33.95 c #Conflicts: 707000 | #Constraints: 19836
33.79/33.95 c #Conflicts: 708000 | #Constraints: 20836
33.79/33.95 c #Conflicts: 709000 | #Constraints: 21836
33.79/33.95 c #Conflicts: 710000 | #Constraints: 22836
33.79/33.95 c #Conflicts: 711000 | #Constraints: 23836
33.79/33.95 c #Conflicts: 712000 | #Constraints: 24836
33.79/33.95 c #Conflicts: 713000 | #Constraints: 25836
33.79/33.95 c #Conflicts: 714000 | #Constraints: 26836
33.79/33.95 c #Conflicts: 715000 | #Constraints: 27836
33.79/33.95 c #Conflicts: 716000 | #Constraints: 28836
33.79/33.95 c #Conflicts: 717000 | #Constraints: 29836
33.79/33.95 c #Conflicts: 718000 | #Constraints: 30836
33.79/33.95 c #Conflicts: 719000 | #Constraints: 31836
33.79/33.95 c #Conflicts: 720000 | #Constraints: 32836
33.79/33.95 c #Conflicts: 721000 | #Constraints: 33836
33.79/33.95 c #Conflicts: 722000 | #Constraints: 34836
33.79/33.95 c INPROCESSING
33.79/33.95 c GARBAGE COLLECT
33.79/33.95 c rational objective 500.5
35.00/35.12 c #Conflicts: 723000 | #Constraints: 19037
35.00/35.12 c #Conflicts: 724000 | #Constraints: 20037
35.00/35.12 c #Conflicts: 725000 | #Constraints: 21037
35.00/35.12 c #Conflicts: 726000 | #Constraints: 22037
35.00/35.12 c #Conflicts: 727000 | #Constraints: 23037
35.00/35.12 c #Conflicts: 728000 | #Constraints: 24037
35.00/35.12 c #Conflicts: 729000 | #Constraints: 25037
35.00/35.12 c #Conflicts: 730000 | #Constraints: 26037
35.00/35.12 c #Conflicts: 731000 | #Constraints: 27037
35.00/35.12 c #Conflicts: 732000 | #Constraints: 28037
35.00/35.12 c #Conflicts: 733000 | #Constraints: 29037
35.00/35.12 c #Conflicts: 734000 | #Constraints: 30037
35.00/35.12 c #Conflicts: 735000 | #Constraints: 31037
35.00/35.12 c #Conflicts: 736000 | #Constraints: 32037
35.00/35.12 c #Conflicts: 737000 | #Constraints: 33037
35.00/35.12 c #Conflicts: 738000 | #Constraints: 34037
35.00/35.12 c #Conflicts: 739000 | #Constraints: 35037
35.00/35.12 c INPROCESSING
35.00/35.12 c GARBAGE COLLECT
35.00/35.12 c rational objective 500.5
35.79/35.93 c #Conflicts: 740000 | #Constraints: 19031
35.79/35.93 c #Conflicts: 741000 | #Constraints: 20031
35.79/35.93 c #Conflicts: 742000 | #Constraints: 21031
35.79/35.93 c #Conflicts: 743000 | #Constraints: 22031
35.79/35.93 c #Conflicts: 744000 | #Constraints: 23031
35.79/35.93 c #Conflicts: 745000 | #Constraints: 24031
35.79/35.93 c #Conflicts: 746000 | #Constraints: 25031
35.79/35.93 c #Conflicts: 747000 | #Constraints: 26031
35.79/35.93 c #Conflicts: 748000 | #Constraints: 27031
35.79/35.93 c #Conflicts: 749000 | #Constraints: 28031
35.79/35.93 c #Conflicts: 750000 | #Constraints: 29031
35.79/35.93 c #Conflicts: 751000 | #Constraints: 30031
35.79/35.93 c #Conflicts: 752000 | #Constraints: 31031
35.79/35.93 c #Conflicts: 753000 | #Constraints: 32031
35.79/35.93 c #Conflicts: 754000 | #Constraints: 33031
35.79/35.93 c #Conflicts: 755000 | #Constraints: 34031
35.79/35.93 c #Conflicts: 756000 | #Constraints: 35031
35.79/35.93 c INPROCESSING
35.79/35.93 c GARBAGE COLLECT
35.79/35.93 c rational objective 500.5
36.59/36.74 c #Conflicts: 757000 | #Constraints: 18842
36.59/36.74 c #Conflicts: 758000 | #Constraints: 19842
36.59/36.74 c #Conflicts: 759000 | #Constraints: 20842
36.59/36.74 c #Conflicts: 760000 | #Constraints: 21842
36.59/36.74 c #Conflicts: 761000 | #Constraints: 22842
36.59/36.74 c #Conflicts: 762000 | #Constraints: 23842
36.59/36.74 c #Conflicts: 763000 | #Constraints: 24842
36.59/36.74 c #Conflicts: 764000 | #Constraints: 25842
36.59/36.74 c #Conflicts: 765000 | #Constraints: 26842
36.59/36.74 c #Conflicts: 766000 | #Constraints: 27842
36.59/36.74 c #Conflicts: 767000 | #Constraints: 28842
36.59/36.74 c #Conflicts: 768000 | #Constraints: 29842
36.59/36.74 c #Conflicts: 769000 | #Constraints: 30842
36.59/36.74 c #Conflicts: 770000 | #Constraints: 31842
36.59/36.74 c #Conflicts: 771000 | #Constraints: 32842
36.59/36.74 c #Conflicts: 772000 | #Constraints: 33842
36.59/36.74 c #Conflicts: 773000 | #Constraints: 34842
36.59/36.74 c #Conflicts: 774000 | #Constraints: 35842
36.59/36.74 c INPROCESSING
36.59/36.74 c GARBAGE COLLECT
36.59/36.74 c rational objective 500.5
37.58/37.74 c #Conflicts: 775000 | #Constraints: 19441
37.58/37.74 c #Conflicts: 776000 | #Constraints: 20441
37.58/37.74 c #Conflicts: 777000 | #Constraints: 21441
37.58/37.74 c #Conflicts: 778000 | #Constraints: 22441
37.58/37.74 c #Conflicts: 779000 | #Constraints: 23441
37.58/37.74 c #Conflicts: 780000 | #Constraints: 24441
37.58/37.74 c #Conflicts: 781000 | #Constraints: 25441
37.58/37.74 c #Conflicts: 782000 | #Constraints: 26441
37.58/37.74 c #Conflicts: 783000 | #Constraints: 27441
37.58/37.74 c #Conflicts: 784000 | #Constraints: 28441
37.58/37.74 c #Conflicts: 785000 | #Constraints: 29441
37.58/37.74 c #Conflicts: 786000 | #Constraints: 30441
37.58/37.74 c #Conflicts: 787000 | #Constraints: 31441
37.58/37.74 c #Conflicts: 788000 | #Constraints: 32441
37.58/37.74 c #Conflicts: 789000 | #Constraints: 33441
37.58/37.74 c #Conflicts: 790000 | #Constraints: 34441
37.58/37.74 c #Conflicts: 791000 | #Constraints: 35441
37.58/37.74 c #Conflicts: 792000 | #Constraints: 36441
37.58/37.74 c INPROCESSING
37.58/37.74 c GARBAGE COLLECT
37.58/37.74 c rational objective 500.5
38.48/38.67 c #Conflicts: 793000 | #Constraints: 19837
38.48/38.67 c #Conflicts: 794000 | #Constraints: 20837
38.48/38.67 c #Conflicts: 795000 | #Constraints: 21837
38.48/38.67 c #Conflicts: 796000 | #Constraints: 22837
38.48/38.67 c #Conflicts: 797000 | #Constraints: 23837
38.48/38.67 c #Conflicts: 798000 | #Constraints: 24837
38.48/38.67 c #Conflicts: 799000 | #Constraints: 25837
38.48/38.67 c #Conflicts: 800000 | #Constraints: 26837
38.48/38.67 c #Conflicts: 801000 | #Constraints: 27837
38.48/38.67 c #Conflicts: 802000 | #Constraints: 28837
38.48/38.67 c #Conflicts: 803000 | #Constraints: 29837
38.48/38.67 c #Conflicts: 804000 | #Constraints: 30837
38.48/38.67 c #Conflicts: 805000 | #Constraints: 31837
38.48/38.67 c #Conflicts: 806000 | #Constraints: 32837
38.48/38.67 c #Conflicts: 807000 | #Constraints: 33837
38.48/38.67 c #Conflicts: 808000 | #Constraints: 34837
38.48/38.67 c #Conflicts: 809000 | #Constraints: 35837
38.48/38.67 c #Conflicts: 810000 | #Constraints: 36837
38.48/38.67 c INPROCESSING
38.48/38.67 c GARBAGE COLLECT
38.48/38.67 c rational objective 500.5
39.38/39.59 c #Conflicts: 811000 | #Constraints: 20048
39.38/39.59 c #Conflicts: 812000 | #Constraints: 21048
39.38/39.59 c #Conflicts: 813000 | #Constraints: 22048
39.38/39.59 c #Conflicts: 814000 | #Constraints: 23048
39.38/39.59 c #Conflicts: 815000 | #Constraints: 24048
39.38/39.59 c #Conflicts: 816000 | #Constraints: 25048
39.38/39.59 c #Conflicts: 817000 | #Constraints: 26048
39.38/39.59 c #Conflicts: 818000 | #Constraints: 27048
39.38/39.59 c #Conflicts: 819000 | #Constraints: 28048
39.38/39.59 c #Conflicts: 820000 | #Constraints: 29048
39.38/39.59 c #Conflicts: 821000 | #Constraints: 30048
39.38/39.59 c #Conflicts: 822000 | #Constraints: 31048
39.38/39.59 c #Conflicts: 823000 | #Constraints: 32048
39.38/39.59 c #Conflicts: 824000 | #Constraints: 33048
39.38/39.59 c #Conflicts: 825000 | #Constraints: 34048
39.38/39.59 c #Conflicts: 826000 | #Constraints: 35048
39.38/39.59 c #Conflicts: 827000 | #Constraints: 36048
39.38/39.59 c #Conflicts: 828000 | #Constraints: 37048
39.38/39.59 c INPROCESSING
39.38/39.59 c GARBAGE COLLECT
39.38/39.59 c rational objective 500.5
40.67/40.83 c #Conflicts: 829000 | #Constraints: 20035
40.67/40.83 c #Conflicts: 830000 | #Constraints: 21035
40.67/40.83 c #Conflicts: 831000 | #Constraints: 22035
40.67/40.83 c #Conflicts: 832000 | #Constraints: 23035
40.67/40.83 c #Conflicts: 833000 | #Constraints: 24035
40.67/40.83 c #Conflicts: 834000 | #Constraints: 25035
40.67/40.83 c #Conflicts: 835000 | #Constraints: 26035
40.67/40.83 c #Conflicts: 836000 | #Constraints: 27035
40.67/40.83 c #Conflicts: 837000 | #Constraints: 28035
40.67/40.83 c #Conflicts: 838000 | #Constraints: 29035
40.67/40.83 c #Conflicts: 839000 | #Constraints: 30035
40.67/40.83 c #Conflicts: 840000 | #Constraints: 31035
40.67/40.83 c #Conflicts: 841000 | #Constraints: 32035
40.67/40.83 c #Conflicts: 842000 | #Constraints: 33035
40.67/40.83 c #Conflicts: 843000 | #Constraints: 34035
40.67/40.83 c #Conflicts: 844000 | #Constraints: 35035
40.67/40.83 c #Conflicts: 845000 | #Constraints: 36035
40.67/40.83 c #Conflicts: 846000 | #Constraints: 37035
40.67/40.83 c INPROCESSING
40.67/40.83 c GARBAGE COLLECT
40.67/40.83 c rational objective 500.5
41.57/41.73 c #Conflicts: 847000 | #Constraints: 19842
41.57/41.73 c #Conflicts: 848000 | #Constraints: 20842
41.57/41.73 c #Conflicts: 849000 | #Constraints: 21842
41.57/41.73 c #Conflicts: 850000 | #Constraints: 22842
41.57/41.73 c #Conflicts: 851000 | #Constraints: 23842
41.57/41.73 c #Conflicts: 852000 | #Constraints: 24842
41.57/41.73 c #Conflicts: 853000 | #Constraints: 25842
41.57/41.73 c #Conflicts: 854000 | #Constraints: 26842
41.57/41.73 c #Conflicts: 855000 | #Constraints: 27842
41.57/41.73 c #Conflicts: 856000 | #Constraints: 28842
41.57/41.73 c #Conflicts: 857000 | #Constraints: 29842
41.57/41.73 c #Conflicts: 858000 | #Constraints: 30842
41.57/41.73 c #Conflicts: 859000 | #Constraints: 31842
41.57/41.73 c #Conflicts: 860000 | #Constraints: 32842
41.57/41.73 c #Conflicts: 861000 | #Constraints: 33842
41.57/41.73 c #Conflicts: 862000 | #Constraints: 34842
41.57/41.73 c #Conflicts: 863000 | #Constraints: 35842
41.57/41.73 c #Conflicts: 864000 | #Constraints: 36842
41.57/41.73 c #Conflicts: 865000 | #Constraints: 37842
41.57/41.73 c INPROCESSING
41.57/41.73 c GARBAGE COLLECT
41.57/41.73 c rational objective 500.5
42.47/42.60 c #Conflicts: 866000 | #Constraints: 20436
42.47/42.60 c #Conflicts: 867000 | #Constraints: 21436
42.47/42.60 c #Conflicts: 868000 | #Constraints: 22436
42.47/42.60 c #Conflicts: 869000 | #Constraints: 23436
42.47/42.60 c #Conflicts: 870000 | #Constraints: 24436
42.47/42.60 c #Conflicts: 871000 | #Constraints: 25436
42.47/42.60 c #Conflicts: 872000 | #Constraints: 26436
42.47/42.60 c #Conflicts: 873000 | #Constraints: 27436
42.47/42.60 c #Conflicts: 874000 | #Constraints: 28436
42.47/42.60 c #Conflicts: 875000 | #Constraints: 29436
42.47/42.60 c #Conflicts: 876000 | #Constraints: 30436
42.47/42.60 c #Conflicts: 877000 | #Constraints: 31436
42.47/42.60 c #Conflicts: 878000 | #Constraints: 32436
42.47/42.60 c #Conflicts: 879000 | #Constraints: 33436
42.47/42.60 c #Conflicts: 880000 | #Constraints: 34436
42.47/42.60 c #Conflicts: 881000 | #Constraints: 35436
42.47/42.60 c #Conflicts: 882000 | #Constraints: 36436
42.47/42.60 c #Conflicts: 883000 | #Constraints: 37436
42.47/42.60 c #Conflicts: 884000 | #Constraints: 38436
42.47/42.60 c INPROCESSING
42.47/42.60 c GARBAGE COLLECT
42.47/42.60 c rational objective 500.5
43.27/43.48 c #Conflicts: 885000 | #Constraints: 20836
43.27/43.48 c #Conflicts: 886000 | #Constraints: 21836
43.27/43.48 c #Conflicts: 887000 | #Constraints: 22836
43.27/43.48 c #Conflicts: 888000 | #Constraints: 23836
43.27/43.48 c #Conflicts: 889000 | #Constraints: 24836
43.27/43.48 c #Conflicts: 890000 | #Constraints: 25836
43.27/43.48 c #Conflicts: 891000 | #Constraints: 26836
43.27/43.48 c #Conflicts: 892000 | #Constraints: 27836
43.27/43.48 c #Conflicts: 893000 | #Constraints: 28836
43.27/43.48 c #Conflicts: 894000 | #Constraints: 29836
43.27/43.48 c #Conflicts: 895000 | #Constraints: 30836
43.27/43.48 c #Conflicts: 896000 | #Constraints: 31836
43.27/43.48 c #Conflicts: 897000 | #Constraints: 32836
43.27/43.48 c #Conflicts: 898000 | #Constraints: 33836
43.27/43.48 c #Conflicts: 899000 | #Constraints: 34836
43.27/43.48 c #Conflicts: 900000 | #Constraints: 35836
43.27/43.48 c #Conflicts: 901000 | #Constraints: 36836
43.27/43.48 c #Conflicts: 902000 | #Constraints: 37836
43.27/43.48 c #Conflicts: 903000 | #Constraints: 38836
43.27/43.48 c INPROCESSING
43.27/43.48 c GARBAGE COLLECT
43.27/43.48 c rational objective 500.5
44.27/44.49 c #Conflicts: 904000 | #Constraints: 21033
44.27/44.49 c #Conflicts: 905000 | #Constraints: 22033
44.27/44.49 c #Conflicts: 906000 | #Constraints: 23033
44.27/44.49 c #Conflicts: 907000 | #Constraints: 24033
44.27/44.49 c #Conflicts: 908000 | #Constraints: 25033
44.27/44.49 c #Conflicts: 909000 | #Constraints: 26033
44.27/44.49 c #Conflicts: 910000 | #Constraints: 27033
44.27/44.49 c #Conflicts: 911000 | #Constraints: 28033
44.27/44.49 c #Conflicts: 912000 | #Constraints: 29033
44.27/44.49 c #Conflicts: 913000 | #Constraints: 30033
44.27/44.49 c #Conflicts: 914000 | #Constraints: 31033
44.27/44.49 c #Conflicts: 915000 | #Constraints: 32033
44.27/44.49 c #Conflicts: 916000 | #Constraints: 33033
44.27/44.49 c #Conflicts: 917000 | #Constraints: 34033
44.27/44.49 c #Conflicts: 918000 | #Constraints: 35033
44.27/44.49 c #Conflicts: 919000 | #Constraints: 36033
44.27/44.49 c #Conflicts: 920000 | #Constraints: 37033
44.27/44.49 c #Conflicts: 921000 | #Constraints: 38033
44.27/44.49 c #Conflicts: 922000 | #Constraints: 39033
44.27/44.49 c INPROCESSING
44.27/44.49 c GARBAGE COLLECT
44.27/44.49 c rational objective 500.5
45.26/45.44 c #Conflicts: 923000 | #Constraints: 21041
45.26/45.44 c #Conflicts: 924000 | #Constraints: 22041
45.26/45.44 c #Conflicts: 925000 | #Constraints: 23041
45.26/45.44 c #Conflicts: 926000 | #Constraints: 24041
45.26/45.44 c #Conflicts: 927000 | #Constraints: 25041
45.26/45.44 c #Conflicts: 928000 | #Constraints: 26041
45.26/45.44 c #Conflicts: 929000 | #Constraints: 27041
45.26/45.44 c #Conflicts: 930000 | #Constraints: 28041
45.26/45.44 c #Conflicts: 931000 | #Constraints: 29041
45.26/45.44 c #Conflicts: 932000 | #Constraints: 30041
45.26/45.44 c #Conflicts: 933000 | #Constraints: 31041
45.26/45.44 c #Conflicts: 934000 | #Constraints: 32041
45.26/45.44 c #Conflicts: 935000 | #Constraints: 33041
45.26/45.44 c #Conflicts: 936000 | #Constraints: 34041
45.26/45.44 c #Conflicts: 937000 | #Constraints: 35041
45.26/45.44 c #Conflicts: 938000 | #Constraints: 36041
45.26/45.44 c #Conflicts: 939000 | #Constraints: 37041
45.26/45.44 c #Conflicts: 940000 | #Constraints: 38041
45.26/45.44 c #Conflicts: 941000 | #Constraints: 39041
45.26/45.44 c INPROCESSING
45.26/45.44 c GARBAGE COLLECT
45.26/45.44 c rational objective 500.5
46.36/46.57 c #Conflicts: 942000 | #Constraints: 20837
46.36/46.57 c #Conflicts: 943000 | #Constraints: 21837
46.36/46.57 c #Conflicts: 944000 | #Constraints: 22837
46.36/46.57 c #Conflicts: 945000 | #Constraints: 23837
46.36/46.57 c #Conflicts: 946000 | #Constraints: 24837
46.36/46.57 c #Conflicts: 947000 | #Constraints: 25837
46.36/46.57 c #Conflicts: 948000 | #Constraints: 26837
46.36/46.57 c #Conflicts: 949000 | #Constraints: 27837
46.36/46.57 c #Conflicts: 950000 | #Constraints: 28837
46.36/46.57 c #Conflicts: 951000 | #Constraints: 29837
46.36/46.57 c #Conflicts: 952000 | #Constraints: 30837
46.36/46.57 c #Conflicts: 953000 | #Constraints: 31837
46.36/46.57 c #Conflicts: 954000 | #Constraints: 32837
46.36/46.57 c #Conflicts: 955000 | #Constraints: 33837
46.36/46.57 c #Conflicts: 956000 | #Constraints: 34837
46.36/46.57 c #Conflicts: 957000 | #Constraints: 35837
46.36/46.57 c #Conflicts: 958000 | #Constraints: 36837
46.36/46.57 c #Conflicts: 959000 | #Constraints: 37837
46.36/46.57 c #Conflicts: 960000 | #Constraints: 38837
46.36/46.57 c #Conflicts: 961000 | #Constraints: 39837
46.36/46.57 c INPROCESSING
46.36/46.57 c GARBAGE COLLECT
46.36/46.57 c rational objective 500.5
47.36/47.57 c #Conflicts: 962000 | #Constraints: 21433
47.36/47.57 c #Conflicts: 963000 | #Constraints: 22433
47.36/47.57 c #Conflicts: 964000 | #Constraints: 23433
47.36/47.57 c #Conflicts: 965000 | #Constraints: 24433
47.36/47.57 c #Conflicts: 966000 | #Constraints: 25433
47.36/47.57 c #Conflicts: 967000 | #Constraints: 26433
47.36/47.57 c #Conflicts: 968000 | #Constraints: 27433
47.36/47.57 c #Conflicts: 969000 | #Constraints: 28433
47.36/47.57 c #Conflicts: 970000 | #Constraints: 29433
47.36/47.57 c #Conflicts: 971000 | #Constraints: 30433
47.36/47.57 c #Conflicts: 972000 | #Constraints: 31433
47.36/47.57 c #Conflicts: 973000 | #Constraints: 32433
47.36/47.57 c #Conflicts: 974000 | #Constraints: 33433
47.36/47.57 c #Conflicts: 975000 | #Constraints: 34433
47.36/47.57 c #Conflicts: 976000 | #Constraints: 35433
47.36/47.57 c #Conflicts: 977000 | #Constraints: 36433
47.36/47.57 c #Conflicts: 978000 | #Constraints: 37433
47.36/47.57 c #Conflicts: 979000 | #Constraints: 38433
47.36/47.57 c #Conflicts: 980000 | #Constraints: 39433
47.36/47.57 c #Conflicts: 981000 | #Constraints: 40433
47.36/47.57 c INPROCESSING
47.36/47.57 c GARBAGE COLLECT
47.36/47.57 c rational objective 500.5
48.35/48.53 c #Conflicts: 982000 | #Constraints: 21836
48.35/48.53 c #Conflicts: 983000 | #Constraints: 22836
48.35/48.53 c #Conflicts: 984000 | #Constraints: 23836
48.35/48.53 c #Conflicts: 985000 | #Constraints: 24836
48.35/48.53 c #Conflicts: 986000 | #Constraints: 25836
48.35/48.53 c #Conflicts: 987000 | #Constraints: 26836
48.35/48.53 c #Conflicts: 988000 | #Constraints: 27836
48.35/48.53 c #Conflicts: 989000 | #Constraints: 28836
48.35/48.53 c #Conflicts: 990000 | #Constraints: 29836
48.35/48.53 c #Conflicts: 991000 | #Constraints: 30836
48.35/48.53 c #Conflicts: 992000 | #Constraints: 31836
48.35/48.53 c #Conflicts: 993000 | #Constraints: 32836
48.35/48.53 c #Conflicts: 994000 | #Constraints: 33836
48.35/48.53 c #Conflicts: 995000 | #Constraints: 34836
48.35/48.53 c #Conflicts: 996000 | #Constraints: 35836
48.35/48.53 c #Conflicts: 997000 | #Constraints: 36836
48.35/48.53 c #Conflicts: 998000 | #Constraints: 37836
48.35/48.53 c #Conflicts: 999000 | #Constraints: 38836
48.35/48.53 c #Conflicts: 1000000 | #Constraints: 39836
48.35/48.53 c #Conflicts: 1001000 | #Constraints: 40836
48.35/48.53 c INPROCESSING
48.35/48.53 c GARBAGE COLLECT
48.35/48.53 c rational objective 500.5
49.35/49.50 c #Conflicts: 1002000 | #Constraints: 22047
49.35/49.50 c #Conflicts: 1003000 | #Constraints: 23047
49.35/49.50 c #Conflicts: 1004000 | #Constraints: 24047
49.35/49.50 c #Conflicts: 1005000 | #Constraints: 25047
49.35/49.50 c #Conflicts: 1006000 | #Constraints: 26047
49.35/49.50 c #Conflicts: 1007000 | #Constraints: 27047
49.35/49.50 c #Conflicts: 1008000 | #Constraints: 28047
49.35/49.50 c #Conflicts: 1009000 | #Constraints: 29047
49.35/49.50 c #Conflicts: 1010000 | #Constraints: 30047
49.35/49.50 c #Conflicts: 1011000 | #Constraints: 31047
49.35/49.50 c #Conflicts: 1012000 | #Constraints: 32047
49.35/49.50 c #Conflicts: 1013000 | #Constraints: 33047
49.35/49.50 c #Conflicts: 1014000 | #Constraints: 34047
49.35/49.50 c #Conflicts: 1015000 | #Constraints: 35047
49.35/49.50 c #Conflicts: 1016000 | #Constraints: 36047
49.35/49.50 c #Conflicts: 1017000 | #Constraints: 37047
49.35/49.50 c #Conflicts: 1018000 | #Constraints: 38047
49.35/49.50 c #Conflicts: 1019000 | #Constraints: 39047
49.35/49.50 c #Conflicts: 1020000 | #Constraints: 40047
49.35/49.50 c #Conflicts: 1021000 | #Constraints: 41047
49.35/49.50 c INPROCESSING
49.35/49.50 c GARBAGE COLLECT
49.35/49.50 c rational objective 500.5
50.75/50.95 c #Conflicts: 1022000 | #Constraints: 22056
50.75/50.95 c #Conflicts: 1023000 | #Constraints: 23056
50.75/50.95 c #Conflicts: 1024000 | #Constraints: 24056
50.75/50.95 c #Conflicts: 1025000 | #Constraints: 25056
50.75/50.95 c #Conflicts: 1026000 | #Constraints: 26056
50.75/50.95 c #Conflicts: 1027000 | #Constraints: 27056
50.75/50.95 c #Conflicts: 1028000 | #Constraints: 28056
50.75/50.95 c #Conflicts: 1029000 | #Constraints: 29056
50.75/50.95 c #Conflicts: 1030000 | #Constraints: 30056
50.75/50.95 c #Conflicts: 1031000 | #Constraints: 31056
50.75/50.95 c #Conflicts: 1032000 | #Constraints: 32056
50.75/50.95 c #Conflicts: 1033000 | #Constraints: 33056
50.75/50.95 c #Conflicts: 1034000 | #Constraints: 34056
50.75/50.95 c #Conflicts: 1035000 | #Constraints: 35056
50.75/50.95 c #Conflicts: 1036000 | #Constraints: 36056
50.75/50.95 c #Conflicts: 1037000 | #Constraints: 37056
50.75/50.95 c #Conflicts: 1038000 | #Constraints: 38056
50.75/50.95 c #Conflicts: 1039000 | #Constraints: 39056
50.75/50.95 c #Conflicts: 1040000 | #Constraints: 40056
50.75/50.95 c #Conflicts: 1041000 | #Constraints: 41056
50.75/50.95 c INPROCESSING
50.75/50.95 c GARBAGE COLLECT
50.75/50.95 c rational objective 500.5
51.65/51.87 c #Conflicts: 1042000 | #Constraints: 21868
51.65/51.87 c #Conflicts: 1043000 | #Constraints: 22868
51.65/51.87 c #Conflicts: 1044000 | #Constraints: 23868
51.65/51.87 c #Conflicts: 1045000 | #Constraints: 24868
51.65/51.87 c #Conflicts: 1046000 | #Constraints: 25868
51.65/51.87 c #Conflicts: 1047000 | #Constraints: 26868
51.65/51.87 c #Conflicts: 1048000 | #Constraints: 27868
51.65/51.87 c #Conflicts: 1049000 | #Constraints: 28868
51.65/51.87 c #Conflicts: 1050000 | #Constraints: 29868
51.65/51.87 c #Conflicts: 1051000 | #Constraints: 30868
51.65/51.87 c #Conflicts: 1052000 | #Constraints: 31868
51.65/51.87 c #Conflicts: 1053000 | #Constraints: 32868
51.65/51.87 c #Conflicts: 1054000 | #Constraints: 33868
51.65/51.87 c #Conflicts: 1055000 | #Constraints: 34868
51.65/51.87 c #Conflicts: 1056000 | #Constraints: 35868
51.65/51.87 c #Conflicts: 1057000 | #Constraints: 36868
51.65/51.87 c #Conflicts: 1058000 | #Constraints: 37868
51.65/51.87 c #Conflicts: 1059000 | #Constraints: 38868
51.65/51.87 c #Conflicts: 1060000 | #Constraints: 39868
51.65/51.87 c #Conflicts: 1061000 | #Constraints: 40868
51.65/51.87 c #Conflicts: 1062000 | #Constraints: 41868
51.65/51.87 c INPROCESSING
51.65/51.87 c GARBAGE COLLECT
51.65/51.87 c rational objective 500.5
53.14/53.32 c #Conflicts: 1063000 | #Constraints: 22470
53.14/53.32 c #Conflicts: 1064000 | #Constraints: 23470
53.14/53.32 c #Conflicts: 1065000 | #Constraints: 24470
53.14/53.32 c #Conflicts: 1066000 | #Constraints: 25470
53.14/53.32 c #Conflicts: 1067000 | #Constraints: 26470
53.14/53.32 c #Conflicts: 1068000 | #Constraints: 27470
53.14/53.32 c #Conflicts: 1069000 | #Constraints: 28470
53.14/53.32 c #Conflicts: 1070000 | #Constraints: 29470
53.14/53.32 c #Conflicts: 1071000 | #Constraints: 30470
53.14/53.32 c #Conflicts: 1072000 | #Constraints: 31470
53.14/53.32 c #Conflicts: 1073000 | #Constraints: 32470
53.14/53.32 c #Conflicts: 1074000 | #Constraints: 33470
53.14/53.32 c #Conflicts: 1075000 | #Constraints: 34470
53.14/53.32 c #Conflicts: 1076000 | #Constraints: 35470
53.14/53.32 c #Conflicts: 1077000 | #Constraints: 36470
53.14/53.32 c #Conflicts: 1078000 | #Constraints: 37470
53.14/53.32 c #Conflicts: 1079000 | #Constraints: 38470
53.14/53.32 c #Conflicts: 1080000 | #Constraints: 39470
53.14/53.32 c #Conflicts: 1081000 | #Constraints: 40470
53.14/53.32 c #Conflicts: 1082000 | #Constraints: 41470
53.14/53.32 c #Conflicts: 1083000 | #Constraints: 42470
53.14/53.32 c INPROCESSING
53.14/53.32 c GARBAGE COLLECT
53.14/53.32 c rational objective 500.5
54.05/54.24 c #Conflicts: 1084000 | #Constraints: 22862
54.05/54.24 c #Conflicts: 1085000 | #Constraints: 23862
54.05/54.24 c #Conflicts: 1086000 | #Constraints: 24862
54.05/54.24 c #Conflicts: 1087000 | #Constraints: 25862
54.05/54.24 c #Conflicts: 1088000 | #Constraints: 26862
54.05/54.24 c #Conflicts: 1089000 | #Constraints: 27862
54.05/54.24 c #Conflicts: 1090000 | #Constraints: 28862
54.05/54.24 c #Conflicts: 1091000 | #Constraints: 29862
54.05/54.24 c #Conflicts: 1092000 | #Constraints: 30862
54.05/54.24 c #Conflicts: 1093000 | #Constraints: 31862
54.05/54.24 c #Conflicts: 1094000 | #Constraints: 32862
54.05/54.24 c #Conflicts: 1095000 | #Constraints: 33862
54.05/54.24 c #Conflicts: 1096000 | #Constraints: 34862
54.05/54.24 c #Conflicts: 1097000 | #Constraints: 35862
54.05/54.24 c #Conflicts: 1098000 | #Constraints: 36862
54.05/54.24 c #Conflicts: 1099000 | #Constraints: 37862
54.05/54.24 c #Conflicts: 1100000 | #Constraints: 38862
54.05/54.24 c #Conflicts: 1101000 | #Constraints: 39862
54.05/54.24 c #Conflicts: 1102000 | #Constraints: 40862
54.05/54.24 c #Conflicts: 1103000 | #Constraints: 41862
54.05/54.24 c #Conflicts: 1104000 | #Constraints: 42862
54.05/54.24 c INPROCESSING
54.05/54.24 c GARBAGE COLLECT
54.05/54.24 c rational objective 500.5
55.54/55.76 c #Conflicts: 1105000 | #Constraints: 23066
55.54/55.76 c #Conflicts: 1106000 | #Constraints: 24066
55.54/55.76 c #Conflicts: 1107000 | #Constraints: 25066
55.54/55.76 c #Conflicts: 1108000 | #Constraints: 26066
55.54/55.76 c #Conflicts: 1109000 | #Constraints: 27066
55.54/55.76 c #Conflicts: 1110000 | #Constraints: 28066
55.54/55.76 c #Conflicts: 1111000 | #Constraints: 29066
55.54/55.76 c #Conflicts: 1112000 | #Constraints: 30066
55.54/55.76 c #Conflicts: 1113000 | #Constraints: 31066
55.54/55.76 c #Conflicts: 1114000 | #Constraints: 32066
55.54/55.76 c #Conflicts: 1115000 | #Constraints: 33066
55.54/55.76 c #Conflicts: 1116000 | #Constraints: 34066
55.54/55.76 c #Conflicts: 1117000 | #Constraints: 35066
55.54/55.76 c #Conflicts: 1118000 | #Constraints: 36066
55.54/55.76 c #Conflicts: 1119000 | #Constraints: 37066
55.54/55.76 c #Conflicts: 1120000 | #Constraints: 38066
55.54/55.76 c #Conflicts: 1121000 | #Constraints: 39066
55.54/55.76 c #Conflicts: 1122000 | #Constraints: 40066
55.54/55.76 c #Conflicts: 1123000 | #Constraints: 41066
55.54/55.76 c #Conflicts: 1124000 | #Constraints: 42066
55.54/55.76 c #Conflicts: 1125000 | #Constraints: 43066
55.54/55.76 c INPROCESSING
55.54/55.76 c GARBAGE COLLECT
55.54/55.76 c rational objective 500.5
56.54/56.73 c #Conflicts: 1126000 | #Constraints: 23069
56.54/56.73 c #Conflicts: 1127000 | #Constraints: 24069
56.54/56.73 c #Conflicts: 1128000 | #Constraints: 25069
56.54/56.73 c #Conflicts: 1129000 | #Constraints: 26069
56.54/56.73 c #Conflicts: 1130000 | #Constraints: 27069
56.54/56.73 c #Conflicts: 1131000 | #Constraints: 28069
56.54/56.73 c #Conflicts: 1132000 | #Constraints: 29069
56.54/56.73 c #Conflicts: 1133000 | #Constraints: 30069
56.54/56.73 c #Conflicts: 1134000 | #Constraints: 31069
56.54/56.73 c #Conflicts: 1135000 | #Constraints: 32069
56.54/56.73 c #Conflicts: 1136000 | #Constraints: 33069
56.54/56.73 c #Conflicts: 1137000 | #Constraints: 34069
56.54/56.73 c #Conflicts: 1138000 | #Constraints: 35069
56.54/56.73 c #Conflicts: 1139000 | #Constraints: 36069
56.54/56.73 c #Conflicts: 1140000 | #Constraints: 37069
56.54/56.73 c #Conflicts: 1141000 | #Constraints: 38069
56.54/56.73 c #Conflicts: 1142000 | #Constraints: 39069
56.54/56.73 c #Conflicts: 1143000 | #Constraints: 40069
56.54/56.73 c #Conflicts: 1144000 | #Constraints: 41069
56.54/56.73 c #Conflicts: 1145000 | #Constraints: 42069
56.54/56.73 c #Conflicts: 1146000 | #Constraints: 43069
56.54/56.73 c INPROCESSING
56.54/56.73 c GARBAGE COLLECT
56.54/56.73 c rational objective 500.5
57.53/57.70 c #Conflicts: 1147000 | #Constraints: 22849
57.53/57.70 c #Conflicts: 1148000 | #Constraints: 23849
57.53/57.70 c #Conflicts: 1149000 | #Constraints: 24849
57.53/57.70 c #Conflicts: 1150000 | #Constraints: 25849
57.53/57.70 c #Conflicts: 1151000 | #Constraints: 26849
57.53/57.70 c #Conflicts: 1152000 | #Constraints: 27849
57.53/57.70 c #Conflicts: 1153000 | #Constraints: 28849
57.53/57.70 c #Conflicts: 1154000 | #Constraints: 29849
57.53/57.70 c #Conflicts: 1155000 | #Constraints: 30849
57.53/57.70 c #Conflicts: 1156000 | #Constraints: 31849
57.53/57.70 c #Conflicts: 1157000 | #Constraints: 32849
57.53/57.70 c #Conflicts: 1158000 | #Constraints: 33849
57.53/57.70 c #Conflicts: 1159000 | #Constraints: 34849
57.53/57.70 c #Conflicts: 1160000 | #Constraints: 35849
57.53/57.70 c #Conflicts: 1161000 | #Constraints: 36849
57.53/57.70 c #Conflicts: 1162000 | #Constraints: 37849
57.53/57.70 c #Conflicts: 1163000 | #Constraints: 38849
57.53/57.70 c #Conflicts: 1164000 | #Constraints: 39849
57.53/57.70 c #Conflicts: 1165000 | #Constraints: 40849
57.53/57.70 c #Conflicts: 1166000 | #Constraints: 41849
57.53/57.70 c #Conflicts: 1167000 | #Constraints: 42849
57.53/57.70 c #Conflicts: 1168000 | #Constraints: 43849
57.53/57.70 c INPROCESSING
57.53/57.70 c GARBAGE COLLECT
57.53/57.70 c rational objective 500.5
58.53/58.75 c #Conflicts: 1169000 | #Constraints: 23468
58.53/58.75 c #Conflicts: 1170000 | #Constraints: 24468
58.53/58.75 c #Conflicts: 1171000 | #Constraints: 25468
58.53/58.75 c #Conflicts: 1172000 | #Constraints: 26468
58.53/58.75 c #Conflicts: 1173000 | #Constraints: 27468
58.53/58.75 c #Conflicts: 1174000 | #Constraints: 28468
58.53/58.75 c #Conflicts: 1175000 | #Constraints: 29468
58.53/58.75 c #Conflicts: 1176000 | #Constraints: 30468
58.53/58.75 c #Conflicts: 1177000 | #Constraints: 31468
58.53/58.75 c #Conflicts: 1178000 | #Constraints: 32468
58.53/58.75 c #Conflicts: 1179000 | #Constraints: 33468
58.53/58.75 c #Conflicts: 1180000 | #Constraints: 34468
58.53/58.75 c #Conflicts: 1181000 | #Constraints: 35468
58.53/58.75 c #Conflicts: 1182000 | #Constraints: 36468
58.53/58.75 c #Conflicts: 1183000 | #Constraints: 37468
58.53/58.75 c #Conflicts: 1184000 | #Constraints: 38468
58.53/58.75 c #Conflicts: 1185000 | #Constraints: 39468
58.53/58.75 c #Conflicts: 1186000 | #Constraints: 40468
58.53/58.75 c #Conflicts: 1187000 | #Constraints: 41468
58.53/58.75 c #Conflicts: 1188000 | #Constraints: 42468
58.53/58.75 c #Conflicts: 1189000 | #Constraints: 43468
58.53/58.75 c #Conflicts: 1190000 | #Constraints: 44468
58.53/58.75 c INPROCESSING
58.53/58.75 c GARBAGE COLLECT
58.53/58.75 c rational objective 500.5
59.63/59.84 c #Conflicts: 1191000 | #Constraints: 23869
59.63/59.84 c #Conflicts: 1192000 | #Constraints: 24869
59.63/59.84 c #Conflicts: 1193000 | #Constraints: 25869
59.63/59.84 c #Conflicts: 1194000 | #Constraints: 26869
59.63/59.84 c #Conflicts: 1195000 | #Constraints: 27869
59.63/59.84 c #Conflicts: 1196000 | #Constraints: 28869
59.63/59.84 c #Conflicts: 1197000 | #Constraints: 29869
59.63/59.84 c #Conflicts: 1198000 | #Constraints: 30869
59.63/59.84 c #Conflicts: 1199000 | #Constraints: 31869
59.63/59.84 c #Conflicts: 1200000 | #Constraints: 32869
59.63/59.84 c #Conflicts: 1201000 | #Constraints: 33869
59.63/59.84 c #Conflicts: 1202000 | #Constraints: 34869
59.63/59.84 c #Conflicts: 1203000 | #Constraints: 35869
59.63/59.84 c #Conflicts: 1204000 | #Constraints: 36869
59.63/59.84 c #Conflicts: 1205000 | #Constraints: 37869
59.63/59.84 c #Conflicts: 1206000 | #Constraints: 38869
59.63/59.84 c #Conflicts: 1207000 | #Constraints: 39869
59.63/59.84 c #Conflicts: 1208000 | #Constraints: 40869
59.63/59.84 c #Conflicts: 1209000 | #Constraints: 41869
59.63/59.84 c #Conflicts: 1210000 | #Constraints: 42869
59.63/59.84 c #Conflicts: 1211000 | #Constraints: 43869
59.63/59.84 c #Conflicts: 1212000 | #Constraints: 44869
59.63/59.84 c INPROCESSING
59.63/59.84 c GARBAGE COLLECT
59.63/59.84 c rational objective 500.5
60.83/61.01 c #Conflicts: 1213000 | #Constraints: 24072
60.83/61.01 c #Conflicts: 1214000 | #Constraints: 25072
60.83/61.01 c #Conflicts: 1215000 | #Constraints: 26072
60.83/61.01 c #Conflicts: 1216000 | #Constraints: 27072
60.83/61.01 c #Conflicts: 1217000 | #Constraints: 28072
60.83/61.01 c #Conflicts: 1218000 | #Constraints: 29072
60.83/61.01 c #Conflicts: 1219000 | #Constraints: 30072
60.83/61.01 c #Conflicts: 1220000 | #Constraints: 31072
60.83/61.01 c #Conflicts: 1221000 | #Constraints: 32072
60.83/61.01 c #Conflicts: 1222000 | #Constraints: 33072
60.83/61.01 c #Conflicts: 1223000 | #Constraints: 34072
60.83/61.01 c #Conflicts: 1224000 | #Constraints: 35072
60.83/61.01 c #Conflicts: 1225000 | #Constraints: 36072
60.83/61.01 c #Conflicts: 1226000 | #Constraints: 37072
60.83/61.01 c #Conflicts: 1227000 | #Constraints: 38072
60.83/61.01 c #Conflicts: 1228000 | #Constraints: 39072
60.83/61.01 c #Conflicts: 1229000 | #Constraints: 40072
60.83/61.01 c #Conflicts: 1230000 | #Constraints: 41072
60.83/61.01 c #Conflicts: 1231000 | #Constraints: 42072
60.83/61.01 c #Conflicts: 1232000 | #Constraints: 43072
60.83/61.01 c #Conflicts: 1233000 | #Constraints: 44072
60.83/61.01 c #Conflicts: 1234000 | #Constraints: 45072
60.83/61.01 c INPROCESSING
60.83/61.01 c GARBAGE COLLECT
60.83/61.01 c rational objective 500.5
61.83/62.09 c #Conflicts: 1235000 | #Constraints: 24063
61.83/62.09 c #Conflicts: 1236000 | #Constraints: 25063
61.83/62.09 c #Conflicts: 1237000 | #Constraints: 26063
61.83/62.09 c #Conflicts: 1238000 | #Constraints: 27063
61.83/62.09 c #Conflicts: 1239000 | #Constraints: 28063
61.83/62.09 c #Conflicts: 1240000 | #Constraints: 29063
61.83/62.09 c #Conflicts: 1241000 | #Constraints: 30063
61.83/62.09 c #Conflicts: 1242000 | #Constraints: 31063
61.83/62.09 c #Conflicts: 1243000 | #Constraints: 32063
61.83/62.09 c #Conflicts: 1244000 | #Constraints: 33063
61.83/62.09 c #Conflicts: 1245000 | #Constraints: 34063
61.83/62.09 c #Conflicts: 1246000 | #Constraints: 35063
61.83/62.09 c #Conflicts: 1247000 | #Constraints: 36063
61.83/62.09 c #Conflicts: 1248000 | #Constraints: 37063
61.83/62.09 c #Conflicts: 1249000 | #Constraints: 38063
61.83/62.09 c #Conflicts: 1250000 | #Constraints: 39063
61.83/62.09 c #Conflicts: 1251000 | #Constraints: 40063
61.83/62.09 c #Conflicts: 1252000 | #Constraints: 41063
61.83/62.09 c #Conflicts: 1253000 | #Constraints: 42063
61.83/62.09 c #Conflicts: 1254000 | #Constraints: 43063
61.83/62.09 c #Conflicts: 1255000 | #Constraints: 44063
61.83/62.09 c #Conflicts: 1256000 | #Constraints: 45063
61.83/62.09 c INPROCESSING
61.83/62.09 c GARBAGE COLLECT
61.83/62.09 c rational objective 500.5
63.12/63.30 c #Conflicts: 1257000 | #Constraints: 23874
63.12/63.30 c #Conflicts: 1258000 | #Constraints: 24874
63.12/63.30 c #Conflicts: 1259000 | #Constraints: 25874
63.12/63.30 c #Conflicts: 1260000 | #Constraints: 26874
63.12/63.30 c #Conflicts: 1261000 | #Constraints: 27874
63.12/63.30 c #Conflicts: 1262000 | #Constraints: 28874
63.12/63.30 c #Conflicts: 1263000 | #Constraints: 29874
63.12/63.30 c #Conflicts: 1264000 | #Constraints: 30874
63.12/63.30 c #Conflicts: 1265000 | #Constraints: 31874
63.12/63.30 c #Conflicts: 1266000 | #Constraints: 32874
63.12/63.30 c #Conflicts: 1267000 | #Constraints: 33874
63.12/63.30 c #Conflicts: 1268000 | #Constraints: 34874
63.12/63.30 c #Conflicts: 1269000 | #Constraints: 35874
63.12/63.30 c #Conflicts: 1270000 | #Constraints: 36874
63.12/63.30 c #Conflicts: 1271000 | #Constraints: 37874
63.12/63.30 c #Conflicts: 1272000 | #Constraints: 38874
63.12/63.30 c #Conflicts: 1273000 | #Constraints: 39874
63.12/63.30 c #Conflicts: 1274000 | #Constraints: 40874
63.12/63.30 c #Conflicts: 1275000 | #Constraints: 41874
63.12/63.30 c #Conflicts: 1276000 | #Constraints: 42874
63.12/63.30 c #Conflicts: 1277000 | #Constraints: 43874
63.12/63.30 c #Conflicts: 1278000 | #Constraints: 44874
63.12/63.30 c #Conflicts: 1279000 | #Constraints: 45874
63.12/63.30 c INPROCESSING
63.12/63.30 c GARBAGE COLLECT
63.12/63.30 c rational objective 500.5
64.32/64.50 c #Conflicts: 1280000 | #Constraints: 24473
64.32/64.50 c #Conflicts: 1281000 | #Constraints: 25473
64.32/64.50 c #Conflicts: 1282000 | #Constraints: 26473
64.32/64.50 c #Conflicts: 1283000 | #Constraints: 27474
64.32/64.50 c #Conflicts: 1284000 | #Constraints: 28474
64.32/64.50 c #Conflicts: 1285000 | #Constraints: 29474
64.32/64.50 c #Conflicts: 1286000 | #Constraints: 30474
64.32/64.50 c #Conflicts: 1287000 | #Constraints: 31474
64.32/64.50 c #Conflicts: 1288000 | #Constraints: 32474
64.32/64.50 c #Conflicts: 1289000 | #Constraints: 33474
64.32/64.50 c #Conflicts: 1290000 | #Constraints: 34474
64.32/64.50 c #Conflicts: 1291000 | #Constraints: 35474
64.32/64.50 c #Conflicts: 1292000 | #Constraints: 36474
64.32/64.50 c #Conflicts: 1293000 | #Constraints: 37474
64.32/64.50 c #Conflicts: 1294000 | #Constraints: 38474
64.32/64.50 c #Conflicts: 1295000 | #Constraints: 39474
64.32/64.50 c #Conflicts: 1296000 | #Constraints: 40474
64.32/64.50 c #Conflicts: 1297000 | #Constraints: 41474
64.32/64.50 c #Conflicts: 1298000 | #Constraints: 42474
64.32/64.50 c #Conflicts: 1299000 | #Constraints: 43474
64.32/64.50 c #Conflicts: 1300000 | #Constraints: 44474
64.32/64.50 c #Conflicts: 1301000 | #Constraints: 45474
64.32/64.50 c #Conflicts: 1302000 | #Constraints: 46474
64.32/64.50 c INPROCESSING
64.32/64.50 c GARBAGE COLLECT
64.32/64.50 c rational objective 500.5
65.51/65.70 c #Conflicts: 1303000 | #Constraints: 24867
65.51/65.70 c #Conflicts: 1304000 | #Constraints: 25867
65.51/65.70 c #Conflicts: 1305000 | #Constraints: 26867
65.51/65.70 c #Conflicts: 1306000 | #Constraints: 27867
65.51/65.70 c #Conflicts: 1307000 | #Constraints: 28867
65.51/65.70 c #Conflicts: 1308000 | #Constraints: 29867
65.51/65.70 c #Conflicts: 1309000 | #Constraints: 30867
65.51/65.70 c #Conflicts: 1310000 | #Constraints: 31867
65.51/65.70 c #Conflicts: 1311000 | #Constraints: 32867
65.51/65.70 c #Conflicts: 1312000 | #Constraints: 33867
65.51/65.70 c #Conflicts: 1313000 | #Constraints: 34867
65.51/65.70 c #Conflicts: 1314000 | #Constraints: 35867
65.51/65.70 c #Conflicts: 1315000 | #Constraints: 36867
65.51/65.70 c #Conflicts: 1316000 | #Constraints: 37867
65.51/65.70 c #Conflicts: 1317000 | #Constraints: 38867
65.51/65.70 c #Conflicts: 1318000 | #Constraints: 39867
65.51/65.70 c #Conflicts: 1319000 | #Constraints: 40867
65.51/65.70 c #Conflicts: 1320000 | #Constraints: 41867
65.51/65.70 c #Conflicts: 1321000 | #Constraints: 42867
65.51/65.70 c #Conflicts: 1322000 | #Constraints: 43867
65.51/65.70 c #Conflicts: 1323000 | #Constraints: 44867
65.51/65.70 c #Conflicts: 1324000 | #Constraints: 45867
65.51/65.70 c #Conflicts: 1325000 | #Constraints: 46867
65.51/65.70 c INPROCESSING
65.51/65.70 c GARBAGE COLLECT
65.51/65.70 c rational objective 500.5
66.51/66.73 c #Conflicts: 1326000 | #Constraints: 25059
66.51/66.73 c #Conflicts: 1327000 | #Constraints: 26059
66.51/66.73 c #Conflicts: 1328000 | #Constraints: 27059
66.51/66.73 c #Conflicts: 1329000 | #Constraints: 28059
66.51/66.73 c #Conflicts: 1330000 | #Constraints: 29059
66.51/66.73 c #Conflicts: 1331000 | #Constraints: 30059
66.51/66.73 c #Conflicts: 1332000 | #Constraints: 31059
66.51/66.73 c #Conflicts: 1333000 | #Constraints: 32059
66.51/66.73 c #Conflicts: 1334000 | #Constraints: 33059
66.51/66.73 c #Conflicts: 1335000 | #Constraints: 34059
66.51/66.73 c #Conflicts: 1336000 | #Constraints: 35059
66.51/66.73 c #Conflicts: 1337000 | #Constraints: 36059
66.51/66.73 c #Conflicts: 1338000 | #Constraints: 37059
66.51/66.73 c #Conflicts: 1339000 | #Constraints: 38059
66.51/66.73 c #Conflicts: 1340000 | #Constraints: 39059
66.51/66.73 c #Conflicts: 1341000 | #Constraints: 40059
66.51/66.73 c #Conflicts: 1342000 | #Constraints: 41059
66.51/66.73 c #Conflicts: 1343000 | #Constraints: 42059
66.51/66.73 c #Conflicts: 1344000 | #Constraints: 43059
66.51/66.73 c #Conflicts: 1345000 | #Constraints: 44059
66.51/66.73 c #Conflicts: 1346000 | #Constraints: 45059
66.51/66.73 c #Conflicts: 1347000 | #Constraints: 46059
66.51/66.73 c #Conflicts: 1348000 | #Constraints: 47059
66.51/66.73 c INPROCESSING
66.51/66.73 c GARBAGE COLLECT
66.51/66.73 c rational objective 500.5
67.71/67.92 c #Conflicts: 1349000 | #Constraints: 25061
67.71/67.92 c #Conflicts: 1350000 | #Constraints: 26061
67.71/67.92 c #Conflicts: 1351000 | #Constraints: 27061
67.71/67.92 c #Conflicts: 1352000 | #Constraints: 28061
67.71/67.92 c #Conflicts: 1353000 | #Constraints: 29061
67.71/67.92 c #Conflicts: 1354000 | #Constraints: 30061
67.71/67.92 c #Conflicts: 1355000 | #Constraints: 31061
67.71/67.92 c #Conflicts: 1356000 | #Constraints: 32061
67.71/67.92 c #Conflicts: 1357000 | #Constraints: 33061
67.71/67.92 c #Conflicts: 1358000 | #Constraints: 34061
67.71/67.92 c #Conflicts: 1359000 | #Constraints: 35061
67.71/67.92 c #Conflicts: 1360000 | #Constraints: 36061
67.71/67.92 c #Conflicts: 1361000 | #Constraints: 37061
67.71/67.92 c #Conflicts: 1362000 | #Constraints: 38061
67.71/67.92 c #Conflicts: 1363000 | #Constraints: 39061
67.71/67.92 c #Conflicts: 1364000 | #Constraints: 40061
67.71/67.92 c #Conflicts: 1365000 | #Constraints: 41061
67.71/67.92 c #Conflicts: 1366000 | #Constraints: 42061
67.71/67.92 c #Conflicts: 1367000 | #Constraints: 43061
67.71/67.92 c #Conflicts: 1368000 | #Constraints: 44061
67.71/67.92 c #Conflicts: 1369000 | #Constraints: 45061
67.71/67.92 c #Conflicts: 1370000 | #Constraints: 46061
67.71/67.92 c #Conflicts: 1371000 | #Constraints: 47061
67.71/67.92 c INPROCESSING
67.71/67.92 c GARBAGE COLLECT
67.71/67.92 c rational objective 500.5
68.81/69.05 c #Conflicts: 1372000 | #Constraints: 24868
68.81/69.05 c #Conflicts: 1373000 | #Constraints: 25868
68.81/69.05 c #Conflicts: 1374000 | #Constraints: 26868
68.81/69.05 c #Conflicts: 1375000 | #Constraints: 27868
68.81/69.05 c #Conflicts: 1376000 | #Constraints: 28868
68.81/69.05 c #Conflicts: 1377000 | #Constraints: 29868
68.81/69.05 c #Conflicts: 1378000 | #Constraints: 30868
68.81/69.05 c #Conflicts: 1379000 | #Constraints: 31868
68.81/69.05 c #Conflicts: 1380000 | #Constraints: 32868
68.81/69.05 c #Conflicts: 1381000 | #Constraints: 33868
68.81/69.05 c #Conflicts: 1382000 | #Constraints: 34868
68.81/69.05 c #Conflicts: 1383000 | #Constraints: 35868
68.81/69.05 c #Conflicts: 1384000 | #Constraints: 36868
68.81/69.05 c #Conflicts: 1385000 | #Constraints: 37868
68.81/69.05 c #Conflicts: 1386000 | #Constraints: 38868
68.81/69.05 c #Conflicts: 1387000 | #Constraints: 39868
68.81/69.05 c #Conflicts: 1388000 | #Constraints: 40868
68.81/69.05 c #Conflicts: 1389000 | #Constraints: 41868
68.81/69.05 c #Conflicts: 1390000 | #Constraints: 42868
68.81/69.05 c #Conflicts: 1391000 | #Constraints: 43868
68.81/69.05 c #Conflicts: 1392000 | #Constraints: 44868
68.81/69.05 c #Conflicts: 1393000 | #Constraints: 45868
68.81/69.05 c #Conflicts: 1394000 | #Constraints: 46868
68.81/69.05 c #Conflicts: 1395000 | #Constraints: 47868
68.81/69.05 c INPROCESSING
68.81/69.05 c GARBAGE COLLECT
68.81/69.05 c rational objective 500.5
70.01/70.22 c #Conflicts: 1396000 | #Constraints: 25467
70.01/70.22 c #Conflicts: 1397000 | #Constraints: 26467
70.01/70.22 c #Conflicts: 1398000 | #Constraints: 27467
70.01/70.22 c #Conflicts: 1399000 | #Constraints: 28467
70.01/70.22 c #Conflicts: 1400000 | #Constraints: 29467
70.01/70.22 c #Conflicts: 1401000 | #Constraints: 30467
70.01/70.22 c #Conflicts: 1402000 | #Constraints: 31467
70.01/70.22 c #Conflicts: 1403000 | #Constraints: 32467
70.01/70.22 c #Conflicts: 1404000 | #Constraints: 33467
70.01/70.22 c #Conflicts: 1405000 | #Constraints: 34467
70.01/70.22 c #Conflicts: 1406000 | #Constraints: 35467
70.01/70.22 c #Conflicts: 1407000 | #Constraints: 36467
70.01/70.22 c #Conflicts: 1408000 | #Constraints: 37467
70.01/70.22 c #Conflicts: 1409000 | #Constraints: 38467
70.01/70.22 c #Conflicts: 1410000 | #Constraints: 39467
70.01/70.22 c #Conflicts: 1411000 | #Constraints: 40467
70.01/70.22 c #Conflicts: 1412000 | #Constraints: 41467
70.01/70.22 c #Conflicts: 1413000 | #Constraints: 42467
70.01/70.22 c #Conflicts: 1414000 | #Constraints: 43467
70.01/70.22 c #Conflicts: 1415000 | #Constraints: 44467
70.01/70.22 c #Conflicts: 1416000 | #Constraints: 45467
70.01/70.22 c #Conflicts: 1417000 | #Constraints: 46467
70.01/70.22 c #Conflicts: 1418000 | #Constraints: 47467
70.01/70.22 c #Conflicts: 1419000 | #Constraints: 48467
70.01/70.22 c INPROCESSING
70.01/70.22 c GARBAGE COLLECT
70.01/70.22 c rational objective 500.5
71.20/71.43 c #Conflicts: 1420000 | #Constraints: 25874
71.20/71.43 c #Conflicts: 1421000 | #Constraints: 26874
71.20/71.43 c #Conflicts: 1422000 | #Constraints: 27874
71.20/71.43 c #Conflicts: 1423000 | #Constraints: 28874
71.20/71.43 c #Conflicts: 1424000 | #Constraints: 29874
71.20/71.43 c #Conflicts: 1425000 | #Constraints: 30874
71.20/71.43 c #Conflicts: 1426000 | #Constraints: 31874
71.20/71.43 c #Conflicts: 1427000 | #Constraints: 32874
71.20/71.43 c #Conflicts: 1428000 | #Constraints: 33874
71.20/71.43 c #Conflicts: 1429000 | #Constraints: 34874
71.20/71.43 c #Conflicts: 1430000 | #Constraints: 35874
71.20/71.43 c #Conflicts: 1431000 | #Constraints: 36874
71.20/71.43 c #Conflicts: 1432000 | #Constraints: 37874
71.20/71.43 c #Conflicts: 1433000 | #Constraints: 38874
71.20/71.43 c #Conflicts: 1434000 | #Constraints: 39874
71.20/71.43 c #Conflicts: 1435000 | #Constraints: 40874
71.20/71.43 c #Conflicts: 1436000 | #Constraints: 41874
71.20/71.43 c #Conflicts: 1437000 | #Constraints: 42874
71.20/71.43 c #Conflicts: 1438000 | #Constraints: 43874
71.20/71.43 c #Conflicts: 1439000 | #Constraints: 44874
71.20/71.43 c #Conflicts: 1440000 | #Constraints: 45874
71.20/71.43 c #Conflicts: 1441000 | #Constraints: 46874
71.20/71.43 c #Conflicts: 1442000 | #Constraints: 47874
71.20/71.43 c #Conflicts: 1443000 | #Constraints: 48874
71.20/71.43 c INPROCESSING
71.20/71.43 c GARBAGE COLLECT
71.20/71.43 c rational objective 500.5
72.19/72.49 c #Conflicts: 1444000 | #Constraints: 26074
72.19/72.49 c #Conflicts: 1445000 | #Constraints: 27074
72.19/72.49 c #Conflicts: 1446000 | #Constraints: 28074
72.19/72.49 c #Conflicts: 1447000 | #Constraints: 29074
72.19/72.49 c #Conflicts: 1448000 | #Constraints: 30074
72.19/72.49 c #Conflicts: 1449000 | #Constraints: 31074
72.19/72.49 c #Conflicts: 1450000 | #Constraints: 32074
72.19/72.49 c #Conflicts: 1451000 | #Constraints: 33074
72.19/72.49 c #Conflicts: 1452000 | #Constraints: 34074
72.19/72.49 c #Conflicts: 1453000 | #Constraints: 35074
72.19/72.49 c #Conflicts: 1454000 | #Constraints: 36074
72.19/72.49 c #Conflicts: 1455000 | #Constraints: 37074
72.19/72.49 c #Conflicts: 1456000 | #Constraints: 38074
72.19/72.49 c #Conflicts: 1457000 | #Constraints: 39074
72.19/72.49 c #Conflicts: 1458000 | #Constraints: 40074
72.19/72.49 c #Conflicts: 1459000 | #Constraints: 41074
72.19/72.49 c #Conflicts: 1460000 | #Constraints: 42074
72.19/72.49 c #Conflicts: 1461000 | #Constraints: 43074
72.19/72.49 c #Conflicts: 1462000 | #Constraints: 44074
72.19/72.49 c #Conflicts: 1463000 | #Constraints: 45074
72.19/72.49 c #Conflicts: 1464000 | #Constraints: 46074
72.19/72.49 c #Conflicts: 1465000 | #Constraints: 47074
72.19/72.49 c #Conflicts: 1466000 | #Constraints: 48074
72.19/72.49 c #Conflicts: 1467000 | #Constraints: 49074
72.19/72.49 c INPROCESSING
72.19/72.49 c GARBAGE COLLECT
72.19/72.49 c rational objective 500.5
73.40/73.64 c #Conflicts: 1468000 | #Constraints: 26069
73.40/73.64 c #Conflicts: 1469000 | #Constraints: 27069
73.40/73.64 c #Conflicts: 1470000 | #Constraints: 28069
73.40/73.64 c #Conflicts: 1471000 | #Constraints: 29069
73.40/73.64 c #Conflicts: 1472000 | #Constraints: 30069
73.40/73.64 c #Conflicts: 1473000 | #Constraints: 31069
73.40/73.64 c #Conflicts: 1474000 | #Constraints: 32069
73.40/73.64 c #Conflicts: 1475000 | #Constraints: 33069
73.40/73.64 c #Conflicts: 1476000 | #Constraints: 34069
73.40/73.64 c #Conflicts: 1477000 | #Constraints: 35069
73.40/73.64 c #Conflicts: 1478000 | #Constraints: 36069
73.40/73.64 c #Conflicts: 1479000 | #Constraints: 37069
73.40/73.64 c #Conflicts: 1480000 | #Constraints: 38069
73.40/73.64 c #Conflicts: 1481000 | #Constraints: 39069
73.40/73.64 c #Conflicts: 1482000 | #Constraints: 40069
73.40/73.64 c #Conflicts: 1483000 | #Constraints: 41069
73.40/73.64 c #Conflicts: 1484000 | #Constraints: 42069
73.40/73.64 c #Conflicts: 1485000 | #Constraints: 43069
73.40/73.64 c #Conflicts: 1486000 | #Constraints: 44069
73.40/73.64 c #Conflicts: 1487000 | #Constraints: 45069
73.40/73.64 c #Conflicts: 1488000 | #Constraints: 46069
73.40/73.64 c #Conflicts: 1489000 | #Constraints: 47069
73.40/73.64 c #Conflicts: 1490000 | #Constraints: 48069
73.40/73.64 c #Conflicts: 1491000 | #Constraints: 49069
73.40/73.64 c INPROCESSING
73.40/73.64 c GARBAGE COLLECT
73.40/73.64 c rational objective 500.5
74.49/74.76 c #Conflicts: 1492000 | #Constraints: 25871
74.49/74.76 c #Conflicts: 1493000 | #Constraints: 26871
74.49/74.76 c #Conflicts: 1494000 | #Constraints: 27871
74.49/74.76 c #Conflicts: 1495000 | #Constraints: 28871
74.49/74.76 c #Conflicts: 1496000 | #Constraints: 29871
74.49/74.76 c #Conflicts: 1497000 | #Constraints: 30871
74.49/74.76 c #Conflicts: 1498000 | #Constraints: 31871
74.49/74.76 c #Conflicts: 1499000 | #Constraints: 32871
74.49/74.76 c #Conflicts: 1500000 | #Constraints: 33871
74.49/74.76 c #Conflicts: 1501000 | #Constraints: 34871
74.49/74.76 c #Conflicts: 1502000 | #Constraints: 35871
74.49/74.76 c #Conflicts: 1503000 | #Constraints: 36871
74.49/74.76 c #Conflicts: 1504000 | #Constraints: 37871
74.49/74.76 c #Conflicts: 1505000 | #Constraints: 38871
74.49/74.76 c #Conflicts: 1506000 | #Constraints: 39871
74.49/74.76 c #Conflicts: 1507000 | #Constraints: 40871
74.49/74.76 c #Conflicts: 1508000 | #Constraints: 41871
74.49/74.76 c #Conflicts: 1509000 | #Constraints: 42871
74.49/74.76 c #Conflicts: 1510000 | #Constraints: 43871
74.49/74.76 c #Conflicts: 1511000 | #Constraints: 44871
74.49/74.76 c #Conflicts: 1512000 | #Constraints: 45871
74.49/74.76 c #Conflicts: 1513000 | #Constraints: 46871
74.49/74.76 c #Conflicts: 1514000 | #Constraints: 47871
74.49/74.76 c #Conflicts: 1515000 | #Constraints: 48871
74.49/74.76 c #Conflicts: 1516000 | #Constraints: 49871
74.49/74.76 c INPROCESSING
74.49/74.76 c GARBAGE COLLECT
74.49/74.76 c rational objective 500.5
75.80/76.01 c #Conflicts: 1517000 | #Constraints: 26476
75.80/76.01 c #Conflicts: 1518000 | #Constraints: 27476
75.80/76.01 c #Conflicts: 1519000 | #Constraints: 28476
75.80/76.01 c #Conflicts: 1520000 | #Constraints: 29476
75.80/76.01 c #Conflicts: 1521000 | #Constraints: 30476
75.80/76.01 c #Conflicts: 1522000 | #Constraints: 31476
75.80/76.01 c #Conflicts: 1523000 | #Constraints: 32476
75.80/76.01 c #Conflicts: 1524000 | #Constraints: 33476
75.80/76.01 c #Conflicts: 1525000 | #Constraints: 34476
75.80/76.01 c #Conflicts: 1526000 | #Constraints: 35476
75.80/76.01 c #Conflicts: 1527000 | #Constraints: 36476
75.80/76.01 c #Conflicts: 1528000 | #Constraints: 37476
75.80/76.01 c #Conflicts: 1529000 | #Constraints: 38476
75.80/76.01 c #Conflicts: 1530000 | #Constraints: 39476
75.80/76.01 c #Conflicts: 1531000 | #Constraints: 40476
75.80/76.01 c #Conflicts: 1532000 | #Constraints: 41476
75.80/76.01 c #Conflicts: 1533000 | #Constraints: 42476
75.80/76.01 c #Conflicts: 1534000 | #Constraints: 43476
75.80/76.01 c #Conflicts: 1535000 | #Constraints: 44476
75.80/76.01 c #Conflicts: 1536000 | #Constraints: 45476
75.80/76.01 c #Conflicts: 1537000 | #Constraints: 46476
75.80/76.01 c #Conflicts: 1538000 | #Constraints: 47476
75.80/76.01 c #Conflicts: 1539000 | #Constraints: 48476
75.80/76.01 c #Conflicts: 1540000 | #Constraints: 49476
75.80/76.01 c #Conflicts: 1541000 | #Constraints: 50476
75.80/76.01 c INPROCESSING
75.80/76.01 c GARBAGE COLLECT
75.80/76.01 c rational objective 500.5
76.99/77.27 c #Conflicts: 1542000 | #Constraints: 26886
76.99/77.27 c #Conflicts: 1543000 | #Constraints: 27886
76.99/77.27 c #Conflicts: 1544000 | #Constraints: 28886
76.99/77.27 c #Conflicts: 1545000 | #Constraints: 29886
76.99/77.27 c #Conflicts: 1546000 | #Constraints: 30886
76.99/77.27 c #Conflicts: 1547000 | #Constraints: 31886
76.99/77.27 c #Conflicts: 1548000 | #Constraints: 32886
76.99/77.27 c #Conflicts: 1549000 | #Constraints: 33886
76.99/77.27 c #Conflicts: 1550000 | #Constraints: 34886
76.99/77.27 c #Conflicts: 1551000 | #Constraints: 35886
76.99/77.27 c #Conflicts: 1552000 | #Constraints: 36886
76.99/77.27 c #Conflicts: 1553000 | #Constraints: 37886
76.99/77.27 c #Conflicts: 1554000 | #Constraints: 38886
76.99/77.27 c #Conflicts: 1555000 | #Constraints: 39886
76.99/77.27 c #Conflicts: 1556000 | #Constraints: 40886
76.99/77.27 c #Conflicts: 1557000 | #Constraints: 41886
76.99/77.27 c #Conflicts: 1558000 | #Constraints: 42886
76.99/77.27 c #Conflicts: 1559000 | #Constraints: 43886
76.99/77.27 c #Conflicts: 1560000 | #Constraints: 44886
76.99/77.27 c #Conflicts: 1561000 | #Constraints: 45886
76.99/77.27 c #Conflicts: 1562000 | #Constraints: 46886
76.99/77.27 c #Conflicts: 1563000 | #Constraints: 47886
76.99/77.27 c #Conflicts: 1564000 | #Constraints: 48886
76.99/77.27 c #Conflicts: 1565000 | #Constraints: 49886
76.99/77.27 c #Conflicts: 1566000 | #Constraints: 50886
76.99/77.27 c INPROCESSING
76.99/77.27 c GARBAGE COLLECT
76.99/77.27 c rational objective 500.5
78.88/79.14 c #Conflicts: 1567000 | #Constraints: 27097
78.88/79.14 c #Conflicts: 1568000 | #Constraints: 28097
78.88/79.14 c #Conflicts: 1569000 | #Constraints: 29097
78.88/79.14 c #Conflicts: 1570000 | #Constraints: 30097
78.88/79.14 c #Conflicts: 1571000 | #Constraints: 31097
78.88/79.14 c #Conflicts: 1572000 | #Constraints: 32097
78.88/79.14 c #Conflicts: 1573000 | #Constraints: 33097
78.88/79.14 c #Conflicts: 1574000 | #Constraints: 34097
78.88/79.14 c #Conflicts: 1575000 | #Constraints: 35097
78.88/79.14 c #Conflicts: 1576000 | #Constraints: 36097
78.88/79.14 c #Conflicts: 1577000 | #Constraints: 37097
78.88/79.14 c #Conflicts: 1578000 | #Constraints: 38097
78.88/79.14 c #Conflicts: 1579000 | #Constraints: 39097
78.88/79.14 c #Conflicts: 1580000 | #Constraints: 40097
78.88/79.14 c #Conflicts: 1581000 | #Constraints: 41097
78.88/79.14 c #Conflicts: 1582000 | #Constraints: 42097
78.88/79.14 c #Conflicts: 1583000 | #Constraints: 43097
78.88/79.14 c #Conflicts: 1584000 | #Constraints: 44097
78.88/79.14 c #Conflicts: 1585000 | #Constraints: 45097
78.88/79.14 c #Conflicts: 1586000 | #Constraints: 46097
78.88/79.14 c #Conflicts: 1587000 | #Constraints: 47097
78.88/79.14 c #Conflicts: 1588000 | #Constraints: 48097
78.88/79.14 c #Conflicts: 1589000 | #Constraints: 49097
78.88/79.14 c #Conflicts: 1590000 | #Constraints: 50097
78.88/79.14 c #Conflicts: 1591000 | #Constraints: 51097
78.88/79.14 c INPROCESSING
78.88/79.14 c GARBAGE COLLECT
78.88/79.14 c rational objective 500.5
80.67/80.90 c #Conflicts: 1592000 | #Constraints: 27097
80.67/80.90 c #Conflicts: 1593000 | #Constraints: 28097
80.67/80.90 c #Conflicts: 1594000 | #Constraints: 29097
80.67/80.90 c #Conflicts: 1595000 | #Constraints: 30097
80.67/80.90 c #Conflicts: 1596000 | #Constraints: 31097
80.67/80.90 c #Conflicts: 1597000 | #Constraints: 32097
80.67/80.90 c #Conflicts: 1598000 | #Constraints: 33097
80.67/80.90 c #Conflicts: 1599000 | #Constraints: 34097
80.67/80.90 c #Conflicts: 1600000 | #Constraints: 35097
80.67/80.90 c #Conflicts: 1601000 | #Constraints: 36097
80.67/80.90 c #Conflicts: 1602000 | #Constraints: 37097
80.67/80.90 c #Conflicts: 1603000 | #Constraints: 38097
80.67/80.90 c #Conflicts: 1604000 | #Constraints: 39097
80.67/80.90 c #Conflicts: 1605000 | #Constraints: 40097
80.67/80.90 c #Conflicts: 1606000 | #Constraints: 41097
80.67/80.90 c #Conflicts: 1607000 | #Constraints: 42097
80.67/80.90 c #Conflicts: 1608000 | #Constraints: 43097
80.67/80.90 c #Conflicts: 1609000 | #Constraints: 44097
80.67/80.90 c #Conflicts: 1610000 | #Constraints: 45097
80.67/80.90 c #Conflicts: 1611000 | #Constraints: 46097
80.67/80.90 c #Conflicts: 1612000 | #Constraints: 47097
80.67/80.90 c #Conflicts: 1613000 | #Constraints: 48097
80.67/80.90 c #Conflicts: 1614000 | #Constraints: 49097
80.67/80.90 c #Conflicts: 1615000 | #Constraints: 50097
80.67/80.90 c #Conflicts: 1616000 | #Constraints: 51097
80.67/80.90 c INPROCESSING
80.67/80.90 c GARBAGE COLLECT
80.67/80.90 c rational objective 500.5
81.78/82.10 c #Conflicts: 1617000 | #Constraints: 26906
81.78/82.10 c #Conflicts: 1618000 | #Constraints: 27906
81.78/82.10 c #Conflicts: 1619000 | #Constraints: 28906
81.78/82.10 c #Conflicts: 1620000 | #Constraints: 29906
81.78/82.10 c #Conflicts: 1621000 | #Constraints: 30906
81.78/82.10 c #Conflicts: 1622000 | #Constraints: 31906
81.78/82.10 c #Conflicts: 1623000 | #Constraints: 32906
81.78/82.10 c #Conflicts: 1624000 | #Constraints: 33906
81.78/82.10 c #Conflicts: 1625000 | #Constraints: 34906
81.78/82.10 c #Conflicts: 1626000 | #Constraints: 35906
81.78/82.10 c #Conflicts: 1627000 | #Constraints: 36906
81.78/82.10 c #Conflicts: 1628000 | #Constraints: 37906
81.78/82.10 c #Conflicts: 1629000 | #Constraints: 38906
81.78/82.10 c #Conflicts: 1630000 | #Constraints: 39906
81.78/82.10 c #Conflicts: 1631000 | #Constraints: 40906
81.78/82.10 c #Conflicts: 1632000 | #Constraints: 41906
81.78/82.10 c #Conflicts: 1633000 | #Constraints: 42906
81.78/82.10 c #Conflicts: 1634000 | #Constraints: 43906
81.78/82.10 c #Conflicts: 1635000 | #Constraints: 44906
81.78/82.10 c #Conflicts: 1636000 | #Constraints: 45906
81.78/82.10 c #Conflicts: 1637000 | #Constraints: 46906
81.78/82.10 c #Conflicts: 1638000 | #Constraints: 47906
81.78/82.10 c #Conflicts: 1639000 | #Constraints: 48906
81.78/82.10 c #Conflicts: 1640000 | #Constraints: 49906
81.78/82.10 c #Conflicts: 1641000 | #Constraints: 50906
81.78/82.10 c #Conflicts: 1642000 | #Constraints: 51906
81.78/82.10 c INPROCESSING
81.78/82.10 c GARBAGE COLLECT
81.78/82.10 c rational objective 500.5
83.17/83.40 c #Conflicts: 1643000 | #Constraints: 27497
83.17/83.40 c #Conflicts: 1644000 | #Constraints: 28497
83.17/83.40 c #Conflicts: 1645000 | #Constraints: 29497
83.17/83.40 c #Conflicts: 1646000 | #Constraints: 30497
83.17/83.40 c #Conflicts: 1647000 | #Constraints: 31497
83.17/83.40 c #Conflicts: 1648000 | #Constraints: 32497
83.17/83.40 c #Conflicts: 1649000 | #Constraints: 33497
83.17/83.40 c #Conflicts: 1650000 | #Constraints: 34497
83.17/83.40 c #Conflicts: 1651000 | #Constraints: 35497
83.17/83.40 c #Conflicts: 1652000 | #Constraints: 36497
83.17/83.40 c #Conflicts: 1653000 | #Constraints: 37497
83.17/83.40 c #Conflicts: 1654000 | #Constraints: 38497
83.17/83.40 c #Conflicts: 1655000 | #Constraints: 39497
83.17/83.40 c #Conflicts: 1656000 | #Constraints: 40497
83.17/83.40 c #Conflicts: 1657000 | #Constraints: 41497
83.17/83.40 c #Conflicts: 1658000 | #Constraints: 42497
83.17/83.40 c #Conflicts: 1659000 | #Constraints: 43497
83.17/83.40 c #Conflicts: 1660000 | #Constraints: 44497
83.17/83.40 c #Conflicts: 1661000 | #Constraints: 45497
83.17/83.40 c #Conflicts: 1662000 | #Constraints: 46497
83.17/83.40 c #Conflicts: 1663000 | #Constraints: 47497
83.17/83.40 c #Conflicts: 1664000 | #Constraints: 48497
83.17/83.40 c #Conflicts: 1665000 | #Constraints: 49497
83.17/83.40 c #Conflicts: 1666000 | #Constraints: 50497
83.17/83.40 c #Conflicts: 1667000 | #Constraints: 51497
83.17/83.40 c #Conflicts: 1668000 | #Constraints: 52497
83.17/83.40 c INPROCESSING
83.17/83.40 c GARBAGE COLLECT
83.17/83.40 c rational objective 500.5
84.27/84.59 c #Conflicts: 1669000 | #Constraints: 27893
84.27/84.59 c #Conflicts: 1670000 | #Constraints: 28893
84.27/84.59 c #Conflicts: 1671000 | #Constraints: 29893
84.27/84.59 c #Conflicts: 1672000 | #Constraints: 30893
84.27/84.59 c #Conflicts: 1673000 | #Constraints: 31893
84.27/84.59 c #Conflicts: 1674000 | #Constraints: 32893
84.27/84.59 c #Conflicts: 1675000 | #Constraints: 33893
84.27/84.59 c #Conflicts: 1676000 | #Constraints: 34893
84.27/84.59 c #Conflicts: 1677000 | #Constraints: 35893
84.27/84.59 c #Conflicts: 1678000 | #Constraints: 36893
84.27/84.59 c #Conflicts: 1679000 | #Constraints: 37893
84.27/84.59 c #Conflicts: 1680000 | #Constraints: 38893
84.27/84.59 c #Conflicts: 1681000 | #Constraints: 39893
84.27/84.59 c #Conflicts: 1682000 | #Constraints: 40893
84.27/84.59 c #Conflicts: 1683000 | #Constraints: 41893
84.27/84.59 c #Conflicts: 1684000 | #Constraints: 42893
84.27/84.59 c #Conflicts: 1685000 | #Constraints: 43893
84.27/84.59 c #Conflicts: 1686000 | #Constraints: 44893
84.27/84.59 c #Conflicts: 1687000 | #Constraints: 45893
84.27/84.59 c #Conflicts: 1688000 | #Constraints: 46893
84.27/84.59 c #Conflicts: 1689000 | #Constraints: 47893
84.27/84.59 c #Conflicts: 1690000 | #Constraints: 48893
84.27/84.59 c #Conflicts: 1691000 | #Constraints: 49893
84.27/84.59 c #Conflicts: 1692000 | #Constraints: 50893
84.27/84.59 c #Conflicts: 1693000 | #Constraints: 51893
84.27/84.59 c #Conflicts: 1694000 | #Constraints: 52893
84.27/84.59 c INPROCESSING
84.27/84.59 c GARBAGE COLLECT
84.27/84.59 c rational objective 500.5
85.57/85.82 c #Conflicts: 1695000 | #Constraints: 28084
85.57/85.82 c #Conflicts: 1696000 | #Constraints: 29084
85.57/85.82 c #Conflicts: 1697000 | #Constraints: 30084
85.57/85.82 c #Conflicts: 1698000 | #Constraints: 31084
85.57/85.82 c #Conflicts: 1699000 | #Constraints: 32084
85.57/85.82 c #Conflicts: 1700000 | #Constraints: 33084
85.57/85.82 c #Conflicts: 1701000 | #Constraints: 34084
85.57/85.82 c #Conflicts: 1702000 | #Constraints: 35084
85.57/85.82 c #Conflicts: 1703000 | #Constraints: 36084
85.57/85.82 c #Conflicts: 1704000 | #Constraints: 37084
85.57/85.82 c #Conflicts: 1705000 | #Constraints: 38084
85.57/85.82 c #Conflicts: 1706000 | #Constraints: 39084
85.57/85.82 c #Conflicts: 1707000 | #Constraints: 40084
85.57/85.82 c #Conflicts: 1708000 | #Constraints: 41084
85.57/85.82 c #Conflicts: 1709000 | #Constraints: 42084
85.57/85.82 c #Conflicts: 1710000 | #Constraints: 43084
85.57/85.82 c #Conflicts: 1711000 | #Constraints: 44084
85.57/85.82 c #Conflicts: 1712000 | #Constraints: 45084
85.57/85.82 c #Conflicts: 1713000 | #Constraints: 46084
85.57/85.82 c #Conflicts: 1714000 | #Constraints: 47084
85.57/85.82 c #Conflicts: 1715000 | #Constraints: 48084
85.57/85.82 c #Conflicts: 1716000 | #Constraints: 49084
85.57/85.82 c #Conflicts: 1717000 | #Constraints: 50084
85.57/85.82 c #Conflicts: 1718000 | #Constraints: 51084
85.57/85.82 c #Conflicts: 1719000 | #Constraints: 52084
85.57/85.82 c #Conflicts: 1720000 | #Constraints: 53084
85.57/85.82 c INPROCESSING
85.57/85.82 c GARBAGE COLLECT
85.57/85.82 c rational objective 500.5
87.16/87.40 c #Conflicts: 1721000 | #Constraints: 28085
87.16/87.40 c #Conflicts: 1722000 | #Constraints: 29085
87.16/87.40 c #Conflicts: 1723000 | #Constraints: 30085
87.16/87.40 c #Conflicts: 1724000 | #Constraints: 31085
87.16/87.40 c #Conflicts: 1725000 | #Constraints: 32085
87.16/87.40 c #Conflicts: 1726000 | #Constraints: 33085
87.16/87.40 c #Conflicts: 1727000 | #Constraints: 34085
87.16/87.40 c #Conflicts: 1728000 | #Constraints: 35085
87.16/87.40 c #Conflicts: 1729000 | #Constraints: 36085
87.16/87.40 c #Conflicts: 1730000 | #Constraints: 37085
87.16/87.40 c #Conflicts: 1731000 | #Constraints: 38085
87.16/87.40 c #Conflicts: 1732000 | #Constraints: 39085
87.16/87.40 c #Conflicts: 1733000 | #Constraints: 40085
87.16/87.40 c #Conflicts: 1734000 | #Constraints: 41085
87.16/87.40 c #Conflicts: 1735000 | #Constraints: 42085
87.16/87.40 c #Conflicts: 1736000 | #Constraints: 43085
87.16/87.40 c #Conflicts: 1737000 | #Constraints: 44085
87.16/87.40 c #Conflicts: 1738000 | #Constraints: 45085
87.16/87.40 c #Conflicts: 1739000 | #Constraints: 46085
87.16/87.40 c #Conflicts: 1740000 | #Constraints: 47085
87.16/87.40 c #Conflicts: 1741000 | #Constraints: 48085
87.16/87.40 c #Conflicts: 1742000 | #Constraints: 49085
87.16/87.40 c #Conflicts: 1743000 | #Constraints: 50085
87.16/87.40 c #Conflicts: 1744000 | #Constraints: 51085
87.16/87.40 c #Conflicts: 1745000 | #Constraints: 52085
87.16/87.40 c #Conflicts: 1746000 | #Constraints: 53085
87.16/87.40 c INPROCESSING
87.16/87.40 c GARBAGE COLLECT
87.16/87.40 c rational objective 500.5
88.36/88.63 c #Conflicts: 1747000 | #Constraints: 27892
88.36/88.63 c #Conflicts: 1748000 | #Constraints: 28892
88.36/88.63 c #Conflicts: 1749000 | #Constraints: 29892
88.36/88.63 c #Conflicts: 1750000 | #Constraints: 30892
88.36/88.63 c #Conflicts: 1751000 | #Constraints: 31892
88.36/88.63 c #Conflicts: 1752000 | #Constraints: 32892
88.36/88.63 c #Conflicts: 1753000 | #Constraints: 33892
88.36/88.63 c #Conflicts: 1754000 | #Constraints: 34892
88.36/88.63 c #Conflicts: 1755000 | #Constraints: 35892
88.36/88.63 c #Conflicts: 1756000 | #Constraints: 36892
88.36/88.63 c #Conflicts: 1757000 | #Constraints: 37892
88.36/88.63 c #Conflicts: 1758000 | #Constraints: 38892
88.36/88.63 c #Conflicts: 1759000 | #Constraints: 39892
88.36/88.63 c #Conflicts: 1760000 | #Constraints: 40892
88.36/88.63 c #Conflicts: 1761000 | #Constraints: 41892
88.36/88.63 c #Conflicts: 1762000 | #Constraints: 42892
88.36/88.63 c #Conflicts: 1763000 | #Constraints: 43892
88.36/88.63 c #Conflicts: 1764000 | #Constraints: 44892
88.36/88.63 c #Conflicts: 1765000 | #Constraints: 45892
88.36/88.63 c #Conflicts: 1766000 | #Constraints: 46892
88.36/88.63 c #Conflicts: 1767000 | #Constraints: 47892
88.36/88.63 c #Conflicts: 1768000 | #Constraints: 48892
88.36/88.63 c #Conflicts: 1769000 | #Constraints: 49892
88.36/88.63 c #Conflicts: 1770000 | #Constraints: 50892
88.36/88.63 c #Conflicts: 1771000 | #Constraints: 51892
88.36/88.63 c #Conflicts: 1772000 | #Constraints: 52892
88.36/88.63 c #Conflicts: 1773000 | #Constraints: 53892
88.36/88.63 c INPROCESSING
88.36/88.63 c GARBAGE COLLECT
88.36/88.63 c rational objective 500.5
89.66/89.90 c #Conflicts: 1774000 | #Constraints: 28489
89.66/89.90 c #Conflicts: 1775000 | #Constraints: 29489
89.66/89.90 c #Conflicts: 1776000 | #Constraints: 30489
89.66/89.90 c #Conflicts: 1777000 | #Constraints: 31489
89.66/89.90 c #Conflicts: 1778000 | #Constraints: 32489
89.66/89.90 c #Conflicts: 1779000 | #Constraints: 33489
89.66/89.90 c #Conflicts: 1780000 | #Constraints: 34489
89.66/89.90 c #Conflicts: 1781000 | #Constraints: 35489
89.66/89.90 c #Conflicts: 1782000 | #Constraints: 36489
89.66/89.90 c #Conflicts: 1783000 | #Constraints: 37489
89.66/89.90 c #Conflicts: 1784000 | #Constraints: 38489
89.66/89.90 c #Conflicts: 1785000 | #Constraints: 39489
89.66/89.90 c #Conflicts: 1786000 | #Constraints: 40489
89.66/89.90 c #Conflicts: 1787000 | #Constraints: 41489
89.66/89.90 c #Conflicts: 1788000 | #Constraints: 42489
89.66/89.90 c #Conflicts: 1789000 | #Constraints: 43489
89.66/89.90 c #Conflicts: 1790000 | #Constraints: 44489
89.66/89.90 c #Conflicts: 1791000 | #Constraints: 45489
89.66/89.90 c #Conflicts: 1792000 | #Constraints: 46489
89.66/89.90 c #Conflicts: 1793000 | #Constraints: 47489
89.66/89.90 c #Conflicts: 1794000 | #Constraints: 48489
89.66/89.90 c #Conflicts: 1795000 | #Constraints: 49489
89.66/89.90 c #Conflicts: 1796000 | #Constraints: 50489
89.66/89.90 c #Conflicts: 1797000 | #Constraints: 51489
89.66/89.90 c #Conflicts: 1798000 | #Constraints: 52489
89.66/89.90 c #Conflicts: 1799000 | #Constraints: 53489
89.66/89.90 c #Conflicts: 1800000 | #Constraints: 54489
89.66/89.90 c INPROCESSING
89.66/89.90 c GARBAGE COLLECT
89.66/89.90 c rational objective 500.5
90.95/91.27 c #Conflicts: 1801000 | #Constraints: 28883
90.95/91.27 c #Conflicts: 1802000 | #Constraints: 29883
90.95/91.27 c #Conflicts: 1803000 | #Constraints: 30883
90.95/91.27 c #Conflicts: 1804000 | #Constraints: 31883
90.95/91.27 c #Conflicts: 1805000 | #Constraints: 32883
90.95/91.27 c #Conflicts: 1806000 | #Constraints: 33883
90.95/91.27 c #Conflicts: 1807000 | #Constraints: 34883
90.95/91.27 c #Conflicts: 1808000 | #Constraints: 35883
90.95/91.27 c #Conflicts: 1809000 | #Constraints: 36883
90.95/91.27 c #Conflicts: 1810000 | #Constraints: 37883
90.95/91.27 c #Conflicts: 1811000 | #Constraints: 38883
90.95/91.27 c #Conflicts: 1812000 | #Constraints: 39883
90.95/91.27 c #Conflicts: 1813000 | #Constraints: 40883
90.95/91.27 c #Conflicts: 1814000 | #Constraints: 41883
90.95/91.27 c #Conflicts: 1815000 | #Constraints: 42883
90.95/91.27 c #Conflicts: 1816000 | #Constraints: 43883
90.95/91.27 c #Conflicts: 1817000 | #Constraints: 44883
90.95/91.27 c #Conflicts: 1818000 | #Constraints: 45883
90.95/91.27 c #Conflicts: 1819000 | #Constraints: 46883
90.95/91.27 c #Conflicts: 1820000 | #Constraints: 47883
90.95/91.27 c #Conflicts: 1821000 | #Constraints: 48883
90.95/91.27 c #Conflicts: 1822000 | #Constraints: 49883
90.95/91.27 c #Conflicts: 1823000 | #Constraints: 50883
90.95/91.27 c #Conflicts: 1824000 | #Constraints: 51883
90.95/91.27 c #Conflicts: 1825000 | #Constraints: 52883
90.95/91.27 c #Conflicts: 1826000 | #Constraints: 53883
90.95/91.27 c #Conflicts: 1827000 | #Constraints: 54883
90.95/91.27 c INPROCESSING
90.95/91.27 c GARBAGE COLLECT
90.95/91.27 c rational objective 500.5
92.45/92.75 c #Conflicts: 1828000 | #Constraints: 29074
92.45/92.75 c #Conflicts: 1829000 | #Constraints: 30074
92.45/92.75 c #Conflicts: 1830000 | #Constraints: 31074
92.45/92.75 c #Conflicts: 1831000 | #Constraints: 32074
92.45/92.75 c #Conflicts: 1832000 | #Constraints: 33074
92.45/92.75 c #Conflicts: 1833000 | #Constraints: 34074
92.45/92.75 c #Conflicts: 1834000 | #Constraints: 35074
92.45/92.75 c #Conflicts: 1835000 | #Constraints: 36074
92.45/92.75 c #Conflicts: 1836000 | #Constraints: 37074
92.45/92.75 c #Conflicts: 1837000 | #Constraints: 38074
92.45/92.75 c #Conflicts: 1838000 | #Constraints: 39074
92.45/92.75 c #Conflicts: 1839000 | #Constraints: 40075
92.45/92.75 c #Conflicts: 1840000 | #Constraints: 41075
92.45/92.75 c #Conflicts: 1841000 | #Constraints: 42075
92.45/92.75 c #Conflicts: 1842000 | #Constraints: 43075
92.45/92.75 c #Conflicts: 1843000 | #Constraints: 44075
92.45/92.75 c #Conflicts: 1844000 | #Constraints: 45075
92.45/92.75 c #Conflicts: 1845000 | #Constraints: 46075
92.45/92.75 c #Conflicts: 1846000 | #Constraints: 47075
92.45/92.75 c #Conflicts: 1847000 | #Constraints: 48075
92.45/92.75 c #Conflicts: 1848000 | #Constraints: 49075
92.45/92.75 c #Conflicts: 1849000 | #Constraints: 50075
92.45/92.75 c #Conflicts: 1850000 | #Constraints: 51075
92.45/92.75 c #Conflicts: 1851000 | #Constraints: 52075
92.45/92.75 c #Conflicts: 1852000 | #Constraints: 53075
92.45/92.75 c #Conflicts: 1853000 | #Constraints: 54075
92.45/92.75 c #Conflicts: 1854000 | #Constraints: 55075
92.45/92.75 c INPROCESSING
92.45/92.75 c GARBAGE COLLECT
92.45/92.75 c rational objective 500.5
93.75/94.02 c #Conflicts: 1855000 | #Constraints: 29087
93.75/94.02 c #Conflicts: 1856000 | #Constraints: 30087
93.75/94.02 c #Conflicts: 1857000 | #Constraints: 31087
93.75/94.02 c #Conflicts: 1858000 | #Constraints: 32087
93.75/94.02 c #Conflicts: 1859000 | #Constraints: 33087
93.75/94.02 c #Conflicts: 1860000 | #Constraints: 34087
93.75/94.02 c #Conflicts: 1861000 | #Constraints: 35087
93.75/94.02 c #Conflicts: 1862000 | #Constraints: 36087
93.75/94.02 c #Conflicts: 1863000 | #Constraints: 37087
93.75/94.02 c #Conflicts: 1864000 | #Constraints: 38087
93.75/94.02 c #Conflicts: 1865000 | #Constraints: 39087
93.75/94.02 c #Conflicts: 1866000 | #Constraints: 40087
93.75/94.02 c #Conflicts: 1867000 | #Constraints: 41087
93.75/94.02 c #Conflicts: 1868000 | #Constraints: 42087
93.75/94.02 c #Conflicts: 1869000 | #Constraints: 43087
93.75/94.02 c #Conflicts: 1870000 | #Constraints: 44087
93.75/94.02 c #Conflicts: 1871000 | #Constraints: 45087
93.75/94.02 c #Conflicts: 1872000 | #Constraints: 46087
93.75/94.02 c #Conflicts: 1873000 | #Constraints: 47087
93.75/94.02 c #Conflicts: 1874000 | #Constraints: 48087
93.75/94.02 c #Conflicts: 1875000 | #Constraints: 49087
93.75/94.02 c #Conflicts: 1876000 | #Constraints: 50087
93.75/94.02 c #Conflicts: 1877000 | #Constraints: 51087
93.75/94.02 c #Conflicts: 1878000 | #Constraints: 52087
93.75/94.02 c #Conflicts: 1879000 | #Constraints: 53087
93.75/94.02 c #Conflicts: 1880000 | #Constraints: 54087
93.75/94.02 c #Conflicts: 1881000 | #Constraints: 55087
93.75/94.02 c INPROCESSING
93.75/94.02 c GARBAGE COLLECT
93.75/94.02 c rational objective 500.5
95.14/95.42 c #Conflicts: 1882000 | #Constraints: 28888
95.14/95.42 c #Conflicts: 1883000 | #Constraints: 29888
95.14/95.42 c #Conflicts: 1884000 | #Constraints: 30888
95.14/95.42 c #Conflicts: 1885000 | #Constraints: 31888
95.14/95.42 c #Conflicts: 1886000 | #Constraints: 32888
95.14/95.42 c #Conflicts: 1887000 | #Constraints: 33888
95.14/95.42 c #Conflicts: 1888000 | #Constraints: 34888
95.14/95.42 c #Conflicts: 1889000 | #Constraints: 35888
95.14/95.42 c #Conflicts: 1890000 | #Constraints: 36888
95.14/95.42 c #Conflicts: 1891000 | #Constraints: 37888
95.14/95.42 c #Conflicts: 1892000 | #Constraints: 38888
95.14/95.42 c #Conflicts: 1893000 | #Constraints: 39888
95.14/95.42 c #Conflicts: 1894000 | #Constraints: 40888
95.14/95.42 c #Conflicts: 1895000 | #Constraints: 41888
95.14/95.42 c #Conflicts: 1896000 | #Constraints: 42888
95.14/95.42 c #Conflicts: 1897000 | #Constraints: 43888
95.14/95.42 c #Conflicts: 1898000 | #Constraints: 44888
95.14/95.42 c #Conflicts: 1899000 | #Constraints: 45888
95.14/95.42 c #Conflicts: 1900000 | #Constraints: 46888
95.14/95.42 c #Conflicts: 1901000 | #Constraints: 47888
95.14/95.42 c #Conflicts: 1902000 | #Constraints: 48888
95.14/95.42 c #Conflicts: 1903000 | #Constraints: 49888
95.14/95.42 c #Conflicts: 1904000 | #Constraints: 50888
95.14/95.42 c #Conflicts: 1905000 | #Constraints: 51888
95.14/95.42 c #Conflicts: 1906000 | #Constraints: 52888
95.14/95.42 c #Conflicts: 1907000 | #Constraints: 53888
95.14/95.42 c #Conflicts: 1908000 | #Constraints: 54888
95.14/95.42 c #Conflicts: 1909000 | #Constraints: 55888
95.14/95.42 c INPROCESSING
95.14/95.42 c GARBAGE COLLECT
95.14/95.42 c rational objective 500.5
96.44/96.75 c #Conflicts: 1910000 | #Constraints: 29480
96.44/96.75 c #Conflicts: 1911000 | #Constraints: 30480
96.44/96.75 c #Conflicts: 1912000 | #Constraints: 31480
96.44/96.75 c #Conflicts: 1913000 | #Constraints: 32480
96.44/96.75 c #Conflicts: 1914000 | #Constraints: 33480
96.44/96.75 c #Conflicts: 1915000 | #Constraints: 34480
96.44/96.75 c #Conflicts: 1916000 | #Constraints: 35480
96.44/96.75 c #Conflicts: 1917000 | #Constraints: 36480
96.44/96.75 c #Conflicts: 1918000 | #Constraints: 37480
96.44/96.75 c #Conflicts: 1919000 | #Constraints: 38480
96.44/96.75 c #Conflicts: 1920000 | #Constraints: 39480
96.44/96.75 c #Conflicts: 1921000 | #Constraints: 40480
96.44/96.75 c #Conflicts: 1922000 | #Constraints: 41480
96.44/96.75 c #Conflicts: 1923000 | #Constraints: 42480
96.44/96.75 c #Conflicts: 1924000 | #Constraints: 43480
96.44/96.75 c #Conflicts: 1925000 | #Constraints: 44480
96.44/96.75 c #Conflicts: 1926000 | #Constraints: 45480
96.44/96.75 c #Conflicts: 1927000 | #Constraints: 46480
96.44/96.75 c #Conflicts: 1928000 | #Constraints: 47480
96.44/96.75 c #Conflicts: 1929000 | #Constraints: 48480
96.44/96.75 c #Conflicts: 1930000 | #Constraints: 49480
96.44/96.75 c #Conflicts: 1931000 | #Constraints: 50480
96.44/96.75 c #Conflicts: 1932000 | #Constraints: 51480
96.44/96.75 c #Conflicts: 1933000 | #Constraints: 52480
96.44/96.75 c #Conflicts: 1934000 | #Constraints: 53480
96.44/96.75 c #Conflicts: 1935000 | #Constraints: 54480
96.44/96.75 c #Conflicts: 1936000 | #Constraints: 55480
96.44/96.75 c #Conflicts: 1937000 | #Constraints: 56480
96.44/96.75 c INPROCESSING
96.44/96.75 c GARBAGE COLLECT
96.44/96.75 c rational objective 500.5
97.94/98.28 c #Conflicts: 1938000 | #Constraints: 29886
97.94/98.28 c #Conflicts: 1939000 | #Constraints: 30886
97.94/98.28 c #Conflicts: 1940000 | #Constraints: 31886
97.94/98.28 c #Conflicts: 1941000 | #Constraints: 32886
97.94/98.28 c #Conflicts: 1942000 | #Constraints: 33886
97.94/98.28 c #Conflicts: 1943000 | #Constraints: 34886
97.94/98.28 c #Conflicts: 1944000 | #Constraints: 35886
97.94/98.28 c #Conflicts: 1945000 | #Constraints: 36886
97.94/98.28 c #Conflicts: 1946000 | #Constraints: 37886
97.94/98.28 c #Conflicts: 1947000 | #Constraints: 38886
97.94/98.28 c #Conflicts: 1948000 | #Constraints: 39886
97.94/98.28 c #Conflicts: 1949000 | #Constraints: 40886
97.94/98.28 c #Conflicts: 1950000 | #Constraints: 41886
97.94/98.28 c #Conflicts: 1951000 | #Constraints: 42886
97.94/98.28 c #Conflicts: 1952000 | #Constraints: 43886
97.94/98.28 c #Conflicts: 1953000 | #Constraints: 44886
97.94/98.28 c #Conflicts: 1954000 | #Constraints: 45886
97.94/98.28 c #Conflicts: 1955000 | #Constraints: 46886
97.94/98.28 c #Conflicts: 1956000 | #Constraints: 47886
97.94/98.28 c #Conflicts: 1957000 | #Constraints: 48886
97.94/98.28 c #Conflicts: 1958000 | #Constraints: 49886
97.94/98.28 c #Conflicts: 1959000 | #Constraints: 50886
97.94/98.28 c #Conflicts: 1960000 | #Constraints: 51886
97.94/98.28 c #Conflicts: 1961000 | #Constraints: 52886
97.94/98.28 c #Conflicts: 1962000 | #Constraints: 53886
97.94/98.28 c #Conflicts: 1963000 | #Constraints: 54886
97.94/98.28 c #Conflicts: 1964000 | #Constraints: 55886
97.94/98.28 c #Conflicts: 1965000 | #Constraints: 56886
97.94/98.28 c INPROCESSING
97.94/98.28 c GARBAGE COLLECT
97.94/98.28 c rational objective 500.5
99.74/100.08 c #Conflicts: 1966000 | #Constraints: 30093
99.74/100.08 c #Conflicts: 1967000 | #Constraints: 31093
99.74/100.08 c #Conflicts: 1968000 | #Constraints: 32093
99.74/100.08 c #Conflicts: 1969000 | #Constraints: 33093
99.74/100.08 c #Conflicts: 1970000 | #Constraints: 34093
99.74/100.08 c #Conflicts: 1971000 | #Constraints: 35093
99.74/100.08 c #Conflicts: 1972000 | #Constraints: 36093
99.74/100.08 c #Conflicts: 1973000 | #Constraints: 37093
99.74/100.08 c #Conflicts: 1974000 | #Constraints: 38093
99.74/100.08 c #Conflicts: 1975000 | #Constraints: 39093
99.74/100.08 c #Conflicts: 1976000 | #Constraints: 40093
99.74/100.08 c #Conflicts: 1977000 | #Constraints: 41093
99.74/100.08 c #Conflicts: 1978000 | #Constraints: 42093
99.74/100.08 c #Conflicts: 1979000 | #Constraints: 43093
99.74/100.08 c #Conflicts: 1980000 | #Constraints: 44093
99.74/100.08 c #Conflicts: 1981000 | #Constraints: 45093
99.74/100.08 c #Conflicts: 1982000 | #Constraints: 46093
99.74/100.08 c #Conflicts: 1983000 | #Constraints: 47093
99.74/100.08 c #Conflicts: 1984000 | #Constraints: 48093
99.74/100.08 c #Conflicts: 1985000 | #Constraints: 49093
99.74/100.08 c #Conflicts: 1986000 | #Constraints: 50093
99.74/100.08 c #Conflicts: 1987000 | #Constraints: 51093
99.74/100.08 c #Conflicts: 1988000 | #Constraints: 52093
99.74/100.08 c #Conflicts: 1989000 | #Constraints: 53093
99.74/100.08 c #Conflicts: 1990000 | #Constraints: 54093
99.74/100.08 c #Conflicts: 1991000 | #Constraints: 55093
99.74/100.08 c #Conflicts: 1992000 | #Constraints: 56093
99.74/100.08 c #Conflicts: 1993000 | #Constraints: 57093
99.74/100.08 c INPROCESSING
99.74/100.08 c GARBAGE COLLECT
99.74/100.08 c rational objective 500.5
101.23/101.52 c #Conflicts: 1994000 | #Constraints: 30098
101.23/101.52 c #Conflicts: 1995000 | #Constraints: 31098
101.23/101.52 c #Conflicts: 1996000 | #Constraints: 32098
101.23/101.52 c #Conflicts: 1997000 | #Constraints: 33098
101.23/101.52 c #Conflicts: 1998000 | #Constraints: 34098
101.23/101.52 c #Conflicts: 1999000 | #Constraints: 35098
101.23/101.52 c #Conflicts: 2000000 | #Constraints: 36098
101.23/101.52 c #Conflicts: 2001000 | #Constraints: 37098
101.23/101.52 c #Conflicts: 2002000 | #Constraints: 38098
101.23/101.52 c #Conflicts: 2003000 | #Constraints: 39098
101.23/101.52 c #Conflicts: 2004000 | #Constraints: 40098
101.23/101.52 c #Conflicts: 2005000 | #Constraints: 41098
101.23/101.52 c #Conflicts: 2006000 | #Constraints: 42098
101.23/101.52 c #Conflicts: 2007000 | #Constraints: 43098
101.23/101.52 c #Conflicts: 2008000 | #Constraints: 44098
101.23/101.52 c #Conflicts: 2009000 | #Constraints: 45098
101.23/101.52 c #Conflicts: 2010000 | #Constraints: 46098
101.23/101.52 c #Conflicts: 2011000 | #Constraints: 47098
101.23/101.52 c #Conflicts: 2012000 | #Constraints: 48098
101.23/101.52 c #Conflicts: 2013000 | #Constraints: 49098
101.23/101.52 c #Conflicts: 2014000 | #Constraints: 50098
101.23/101.52 c #Conflicts: 2015000 | #Constraints: 51098
101.23/101.52 c #Conflicts: 2016000 | #Constraints: 52098
101.23/101.52 c #Conflicts: 2017000 | #Constraints: 53098
101.23/101.52 c #Conflicts: 2018000 | #Constraints: 54098
101.23/101.52 c #Conflicts: 2019000 | #Constraints: 55098
101.23/101.52 c #Conflicts: 2020000 | #Constraints: 56098
101.23/101.52 c #Conflicts: 2021000 | #Constraints: 57098
101.23/101.52 c INPROCESSING
101.23/101.52 c GARBAGE COLLECT
101.23/101.52 c rational objective 500.5
102.63/102.99 c #Conflicts: 2022000 | #Constraints: 29899
102.63/102.99 c #Conflicts: 2023000 | #Constraints: 30899
102.63/102.99 c #Conflicts: 2024000 | #Constraints: 31899
102.63/102.99 c #Conflicts: 2025000 | #Constraints: 32899
102.63/102.99 c #Conflicts: 2026000 | #Constraints: 33899
102.63/102.99 c #Conflicts: 2027000 | #Constraints: 34899
102.63/102.99 c #Conflicts: 2028000 | #Constraints: 35899
102.63/102.99 c #Conflicts: 2029000 | #Constraints: 36899
102.63/102.99 c #Conflicts: 2030000 | #Constraints: 37899
102.63/102.99 c #Conflicts: 2031000 | #Constraints: 38899
102.63/102.99 c #Conflicts: 2032000 | #Constraints: 39899
102.63/102.99 c #Conflicts: 2033000 | #Constraints: 40899
102.63/102.99 c #Conflicts: 2034000 | #Constraints: 41899
102.63/102.99 c #Conflicts: 2035000 | #Constraints: 42899
102.63/102.99 c #Conflicts: 2036000 | #Constraints: 43899
102.63/102.99 c #Conflicts: 2037000 | #Constraints: 44899
102.63/102.99 c #Conflicts: 2038000 | #Constraints: 45899
102.63/102.99 c #Conflicts: 2039000 | #Constraints: 46899
102.63/102.99 c #Conflicts: 2040000 | #Constraints: 47899
102.63/102.99 c #Conflicts: 2041000 | #Constraints: 48899
102.63/102.99 c #Conflicts: 2042000 | #Constraints: 49899
102.63/102.99 c #Conflicts: 2043000 | #Constraints: 50899
102.63/102.99 c #Conflicts: 2044000 | #Constraints: 51899
102.63/102.99 c #Conflicts: 2045000 | #Constraints: 52899
102.63/102.99 c #Conflicts: 2046000 | #Constraints: 53899
102.63/102.99 c #Conflicts: 2047000 | #Constraints: 54899
102.63/102.99 c #Conflicts: 2048000 | #Constraints: 55899
102.63/102.99 c #Conflicts: 2049000 | #Constraints: 56899
102.63/102.99 c #Conflicts: 2050000 | #Constraints: 57899
102.63/102.99 c INPROCESSING
102.63/102.99 c GARBAGE COLLECT
102.63/102.99 c rational objective 500.5
104.23/104.50 c #Conflicts: 2051000 | #Constraints: 30492
104.23/104.50 c #Conflicts: 2052000 | #Constraints: 31492
104.23/104.50 c #Conflicts: 2053000 | #Constraints: 32492
104.23/104.50 c #Conflicts: 2054000 | #Constraints: 33492
104.23/104.50 c #Conflicts: 2055000 | #Constraints: 34492
104.23/104.50 c #Conflicts: 2056000 | #Constraints: 35492
104.23/104.50 c #Conflicts: 2057000 | #Constraints: 36492
104.23/104.50 c #Conflicts: 2058000 | #Constraints: 37492
104.23/104.50 c #Conflicts: 2059000 | #Constraints: 38492
104.23/104.50 c #Conflicts: 2060000 | #Constraints: 39492
104.23/104.50 c #Conflicts: 2061000 | #Constraints: 40492
104.23/104.50 c #Conflicts: 2062000 | #Constraints: 41492
104.23/104.50 c #Conflicts: 2063000 | #Constraints: 42492
104.23/104.50 c #Conflicts: 2064000 | #Constraints: 43492
104.23/104.50 c #Conflicts: 2065000 | #Constraints: 44492
104.23/104.50 c #Conflicts: 2066000 | #Constraints: 45492
104.23/104.50 c #Conflicts: 2067000 | #Constraints: 46492
104.23/104.50 c #Conflicts: 2068000 | #Constraints: 47492
104.23/104.50 c #Conflicts: 2069000 | #Constraints: 48492
104.23/104.50 c #Conflicts: 2070000 | #Constraints: 49492
104.23/104.50 c #Conflicts: 2071000 | #Constraints: 50492
104.23/104.50 c #Conflicts: 2072000 | #Constraints: 51492
104.23/104.50 c #Conflicts: 2073000 | #Constraints: 52492
104.23/104.50 c #Conflicts: 2074000 | #Constraints: 53492
104.23/104.50 c #Conflicts: 2075000 | #Constraints: 54492
104.23/104.50 c #Conflicts: 2076000 | #Constraints: 55492
104.23/104.50 c #Conflicts: 2077000 | #Constraints: 56492
104.23/104.50 c #Conflicts: 2078000 | #Constraints: 57492
104.23/104.50 c #Conflicts: 2079000 | #Constraints: 58492
104.23/104.50 c INPROCESSING
104.23/104.50 c GARBAGE COLLECT
104.23/104.50 c rational objective 500.5
106.22/106.52 c #Conflicts: 2080000 | #Constraints: 30900
106.22/106.52 c #Conflicts: 2081000 | #Constraints: 31900
106.22/106.52 c #Conflicts: 2082000 | #Constraints: 32900
106.22/106.52 c #Conflicts: 2083000 | #Constraints: 33900
106.22/106.52 c #Conflicts: 2084000 | #Constraints: 34900
106.22/106.52 c #Conflicts: 2085000 | #Constraints: 35900
106.22/106.52 c #Conflicts: 2086000 | #Constraints: 36900
106.22/106.52 c #Conflicts: 2087000 | #Constraints: 37900
106.22/106.52 c #Conflicts: 2088000 | #Constraints: 38900
106.22/106.52 c #Conflicts: 2089000 | #Constraints: 39900
106.22/106.52 c #Conflicts: 2090000 | #Constraints: 40900
106.22/106.52 c #Conflicts: 2091000 | #Constraints: 41900
106.22/106.52 c #Conflicts: 2092000 | #Constraints: 42900
106.22/106.52 c #Conflicts: 2093000 | #Constraints: 43900
106.22/106.52 c #Conflicts: 2094000 | #Constraints: 44900
106.22/106.52 c #Conflicts: 2095000 | #Constraints: 45900
106.22/106.52 c #Conflicts: 2096000 | #Constraints: 46900
106.22/106.52 c #Conflicts: 2097000 | #Constraints: 47900
106.22/106.52 c #Conflicts: 2098000 | #Constraints: 48900
106.22/106.52 c #Conflicts: 2099000 | #Constraints: 49900
106.22/106.52 c #Conflicts: 2100000 | #Constraints: 50900
106.22/106.52 c #Conflicts: 2101000 | #Constraints: 51900
106.22/106.52 c #Conflicts: 2102000 | #Constraints: 52900
106.22/106.52 c #Conflicts: 2103000 | #Constraints: 53900
106.22/106.52 c #Conflicts: 2104000 | #Constraints: 54900
106.22/106.52 c #Conflicts: 2105000 | #Constraints: 55900
106.22/106.52 c #Conflicts: 2106000 | #Constraints: 56900
106.22/106.52 c #Conflicts: 2107000 | #Constraints: 57900
106.22/106.52 c #Conflicts: 2108000 | #Constraints: 58900
106.22/106.52 c INPROCESSING
106.22/106.52 c GARBAGE COLLECT
106.22/106.52 c rational objective 500.5
108.41/108.76 c #Conflicts: 2109000 | #Constraints: 31108
108.41/108.76 c #Conflicts: 2110000 | #Constraints: 32108
108.41/108.76 c #Conflicts: 2111000 | #Constraints: 33108
108.41/108.76 c #Conflicts: 2112000 | #Constraints: 34108
108.41/108.76 c #Conflicts: 2113000 | #Constraints: 35108
108.41/108.76 c #Conflicts: 2114000 | #Constraints: 36108
108.41/108.76 c #Conflicts: 2115000 | #Constraints: 37108
108.41/108.76 c #Conflicts: 2116000 | #Constraints: 38108
108.41/108.76 c #Conflicts: 2117000 | #Constraints: 39108
108.41/108.76 c #Conflicts: 2118000 | #Constraints: 40108
108.41/108.76 c #Conflicts: 2119000 | #Constraints: 41108
108.41/108.76 c #Conflicts: 2120000 | #Constraints: 42108
108.41/108.76 c #Conflicts: 2121000 | #Constraints: 43108
108.41/108.76 c #Conflicts: 2122000 | #Constraints: 44108
108.41/108.76 c #Conflicts: 2123000 | #Constraints: 45108
108.41/108.76 c #Conflicts: 2124000 | #Constraints: 46108
108.41/108.76 c #Conflicts: 2125000 | #Constraints: 47108
108.41/108.76 c #Conflicts: 2126000 | #Constraints: 48108
108.41/108.76 c #Conflicts: 2127000 | #Constraints: 49108
108.41/108.76 c #Conflicts: 2128000 | #Constraints: 50108
108.41/108.76 c #Conflicts: 2129000 | #Constraints: 51108
108.41/108.76 c #Conflicts: 2130000 | #Constraints: 52108
108.41/108.76 c #Conflicts: 2131000 | #Constraints: 53108
108.41/108.76 c #Conflicts: 2132000 | #Constraints: 54108
108.41/108.76 c #Conflicts: 2133000 | #Constraints: 55108
108.41/108.76 c #Conflicts: 2134000 | #Constraints: 56108
108.41/108.76 c #Conflicts: 2135000 | #Constraints: 57108
108.41/108.76 c #Conflicts: 2136000 | #Constraints: 58108
108.41/108.76 c #Conflicts: 2137000 | #Constraints: 59108
108.41/108.76 c INPROCESSING
108.41/108.76 c GARBAGE COLLECT
108.41/108.76 c rational objective 500.5
110.21/110.54 c #Conflicts: 2138000 | #Constraints: 31103
110.21/110.54 c #Conflicts: 2139000 | #Constraints: 32103
110.21/110.54 c #Conflicts: 2140000 | #Constraints: 33103
110.21/110.54 c #Conflicts: 2141000 | #Constraints: 34103
110.21/110.54 c #Conflicts: 2142000 | #Constraints: 35103
110.21/110.54 c #Conflicts: 2143000 | #Constraints: 36103
110.21/110.54 c #Conflicts: 2144000 | #Constraints: 37103
110.21/110.54 c #Conflicts: 2145000 | #Constraints: 38103
110.21/110.54 c #Conflicts: 2146000 | #Constraints: 39103
110.21/110.54 c #Conflicts: 2147000 | #Constraints: 40103
110.21/110.54 c #Conflicts: 2148000 | #Constraints: 41103
110.21/110.54 c #Conflicts: 2149000 | #Constraints: 42103
110.21/110.54 c #Conflicts: 2150000 | #Constraints: 43103
110.21/110.54 c #Conflicts: 2151000 | #Constraints: 44103
110.21/110.54 c #Conflicts: 2152000 | #Constraints: 45103
110.21/110.54 c #Conflicts: 2153000 | #Constraints: 46103
110.21/110.54 c #Conflicts: 2154000 | #Constraints: 47103
110.21/110.54 c #Conflicts: 2155000 | #Constraints: 48103
110.21/110.54 c #Conflicts: 2156000 | #Constraints: 49103
110.21/110.54 c #Conflicts: 2157000 | #Constraints: 50103
110.21/110.54 c #Conflicts: 2158000 | #Constraints: 51103
110.21/110.54 c #Conflicts: 2159000 | #Constraints: 52103
110.21/110.54 c #Conflicts: 2160000 | #Constraints: 53103
110.21/110.54 c #Conflicts: 2161000 | #Constraints: 54103
110.21/110.54 c #Conflicts: 2162000 | #Constraints: 55103
110.21/110.54 c #Conflicts: 2163000 | #Constraints: 56103
110.21/110.54 c #Conflicts: 2164000 | #Constraints: 57103
110.21/110.54 c #Conflicts: 2165000 | #Constraints: 58103
110.21/110.54 c #Conflicts: 2166000 | #Constraints: 59103
110.21/110.54 c INPROCESSING
110.21/110.54 c GARBAGE COLLECT
110.21/110.54 c rational objective 500.5
112.31/112.65 c #Conflicts: 2167000 | #Constraints: 30895
112.31/112.65 c #Conflicts: 2168000 | #Constraints: 31895
112.31/112.65 c #Conflicts: 2169000 | #Constraints: 32895
112.31/112.65 c #Conflicts: 2170000 | #Constraints: 33895
112.31/112.65 c #Conflicts: 2171000 | #Constraints: 34895
112.31/112.65 c #Conflicts: 2172000 | #Constraints: 35895
112.31/112.65 c #Conflicts: 2173000 | #Constraints: 36895
112.31/112.65 c #Conflicts: 2174000 | #Constraints: 37895
112.31/112.65 c #Conflicts: 2175000 | #Constraints: 38895
112.31/112.65 c #Conflicts: 2176000 | #Constraints: 39895
112.31/112.65 c #Conflicts: 2177000 | #Constraints: 40895
112.31/112.65 c #Conflicts: 2178000 | #Constraints: 41895
112.31/112.65 c #Conflicts: 2179000 | #Constraints: 42895
112.31/112.65 c #Conflicts: 2180000 | #Constraints: 43895
112.31/112.65 c #Conflicts: 2181000 | #Constraints: 44895
112.31/112.65 c #Conflicts: 2182000 | #Constraints: 45895
112.31/112.65 c #Conflicts: 2183000 | #Constraints: 46895
112.31/112.65 c #Conflicts: 2184000 | #Constraints: 47895
112.31/112.65 c #Conflicts: 2185000 | #Constraints: 48895
112.31/112.65 c #Conflicts: 2186000 | #Constraints: 49895
112.31/112.65 c #Conflicts: 2187000 | #Constraints: 50895
112.31/112.65 c #Conflicts: 2188000 | #Constraints: 51895
112.31/112.65 c #Conflicts: 2189000 | #Constraints: 52895
112.31/112.65 c #Conflicts: 2190000 | #Constraints: 53895
112.31/112.65 c #Conflicts: 2191000 | #Constraints: 54895
112.31/112.65 c #Conflicts: 2192000 | #Constraints: 55895
112.31/112.65 c #Conflicts: 2193000 | #Constraints: 56895
112.31/112.65 c #Conflicts: 2194000 | #Constraints: 57895
112.31/112.65 c #Conflicts: 2195000 | #Constraints: 58895
112.31/112.65 c #Conflicts: 2196000 | #Constraints: 59895
112.31/112.65 c INPROCESSING
112.31/112.65 c GARBAGE COLLECT
112.31/112.65 c rational objective 500.5
114.30/114.63 c #Conflicts: 2197000 | #Constraints: 31506
114.30/114.63 c #Conflicts: 2198000 | #Constraints: 32506
114.30/114.63 c #Conflicts: 2199000 | #Constraints: 33506
114.30/114.63 c #Conflicts: 2200000 | #Constraints: 34506
114.30/114.63 c #Conflicts: 2201000 | #Constraints: 35506
114.30/114.63 c #Conflicts: 2202000 | #Constraints: 36506
114.30/114.63 c #Conflicts: 2203000 | #Constraints: 37506
114.30/114.63 c #Conflicts: 2204000 | #Constraints: 38506
114.30/114.63 c #Conflicts: 2205000 | #Constraints: 39506
114.30/114.63 c #Conflicts: 2206000 | #Constraints: 40506
114.30/114.63 c #Conflicts: 2207000 | #Constraints: 41506
114.30/114.63 c #Conflicts: 2208000 | #Constraints: 42506
114.30/114.63 c #Conflicts: 2209000 | #Constraints: 43506
114.30/114.63 c #Conflicts: 2210000 | #Constraints: 44506
114.30/114.63 c #Conflicts: 2211000 | #Constraints: 45506
114.30/114.63 c #Conflicts: 2212000 | #Constraints: 46506
114.30/114.63 c #Conflicts: 2213000 | #Constraints: 47506
114.30/114.63 c #Conflicts: 2214000 | #Constraints: 48506
114.30/114.63 c #Conflicts: 2215000 | #Constraints: 49506
114.30/114.63 c #Conflicts: 2216000 | #Constraints: 50506
114.30/114.63 c #Conflicts: 2217000 | #Constraints: 51506
114.30/114.63 c #Conflicts: 2218000 | #Constraints: 52506
114.30/114.63 c #Conflicts: 2219000 | #Constraints: 53506
114.30/114.63 c #Conflicts: 2220000 | #Constraints: 54506
114.30/114.63 c #Conflicts: 2221000 | #Constraints: 55506
114.30/114.63 c #Conflicts: 2222000 | #Constraints: 56506
114.30/114.63 c #Conflicts: 2223000 | #Constraints: 57506
114.30/114.63 c #Conflicts: 2224000 | #Constraints: 58506
114.30/114.63 c #Conflicts: 2225000 | #Constraints: 59506
114.30/114.63 c #Conflicts: 2226000 | #Constraints: 60506
114.30/114.63 c INPROCESSING
114.30/114.63 c GARBAGE COLLECT
114.30/114.63 c rational objective 500.5
116.99/117.34 c #Conflicts: 2227000 | #Constraints: 31891
116.99/117.34 c #Conflicts: 2228000 | #Constraints: 32891
116.99/117.34 c #Conflicts: 2229000 | #Constraints: 33891
116.99/117.34 c #Conflicts: 2230000 | #Constraints: 34891
116.99/117.34 c #Conflicts: 2231000 | #Constraints: 35891
116.99/117.34 c #Conflicts: 2232000 | #Constraints: 36891
116.99/117.34 c #Conflicts: 2233000 | #Constraints: 37891
116.99/117.34 c #Conflicts: 2234000 | #Constraints: 38891
116.99/117.34 c #Conflicts: 2235000 | #Constraints: 39891
116.99/117.34 c #Conflicts: 2236000 | #Constraints: 40891
116.99/117.34 c #Conflicts: 2237000 | #Constraints: 41891
116.99/117.34 c #Conflicts: 2238000 | #Constraints: 42891
116.99/117.34 c #Conflicts: 2239000 | #Constraints: 43891
116.99/117.34 c #Conflicts: 2240000 | #Constraints: 44891
116.99/117.34 c #Conflicts: 2241000 | #Constraints: 45891
116.99/117.34 c #Conflicts: 2242000 | #Constraints: 46891
116.99/117.34 c #Conflicts: 2243000 | #Constraints: 47891
116.99/117.34 c #Conflicts: 2244000 | #Constraints: 48891
116.99/117.34 c #Conflicts: 2245000 | #Constraints: 49891
116.99/117.34 c #Conflicts: 2246000 | #Constraints: 50891
116.99/117.34 c #Conflicts: 2247000 | #Constraints: 51891
116.99/117.34 c #Conflicts: 2248000 | #Constraints: 52891
116.99/117.34 c #Conflicts: 2249000 | #Constraints: 53891
116.99/117.34 c #Conflicts: 2250000 | #Constraints: 54891
116.99/117.34 c #Conflicts: 2251000 | #Constraints: 55891
116.99/117.34 c #Conflicts: 2252000 | #Constraints: 56891
116.99/117.34 c #Conflicts: 2253000 | #Constraints: 57891
116.99/117.34 c #Conflicts: 2254000 | #Constraints: 58891
116.99/117.34 c #Conflicts: 2255000 | #Constraints: 59891
116.99/117.34 c #Conflicts: 2256000 | #Constraints: 60891
116.99/117.34 c INPROCESSING
116.99/117.34 c GARBAGE COLLECT
116.99/117.34 c rational objective 500.5
119.09/119.47 c #Conflicts: 2257000 | #Constraints: 32074
119.09/119.47 c #Conflicts: 2258000 | #Constraints: 33074
119.09/119.47 c #Conflicts: 2259000 | #Constraints: 34074
119.09/119.47 c #Conflicts: 2260000 | #Constraints: 35074
119.09/119.47 c #Conflicts: 2261000 | #Constraints: 36074
119.09/119.47 c #Conflicts: 2262000 | #Constraints: 37074
119.09/119.47 c #Conflicts: 2263000 | #Constraints: 38074
119.09/119.47 c #Conflicts: 2264000 | #Constraints: 39074
119.09/119.47 c #Conflicts: 2265000 | #Constraints: 40074
119.09/119.47 c #Conflicts: 2266000 | #Constraints: 41074
119.09/119.47 c #Conflicts: 2267000 | #Constraints: 42074
119.09/119.47 c #Conflicts: 2268000 | #Constraints: 43074
119.09/119.47 c #Conflicts: 2269000 | #Constraints: 44074
119.09/119.47 c #Conflicts: 2270000 | #Constraints: 45074
119.09/119.47 c #Conflicts: 2271000 | #Constraints: 46074
119.09/119.47 c #Conflicts: 2272000 | #Constraints: 47074
119.09/119.47 c #Conflicts: 2273000 | #Constraints: 48074
119.09/119.47 c #Conflicts: 2274000 | #Constraints: 49074
119.09/119.47 c #Conflicts: 2275000 | #Constraints: 50074
119.09/119.47 c #Conflicts: 2276000 | #Constraints: 51074
119.09/119.47 c #Conflicts: 2277000 | #Constraints: 52074
119.09/119.47 c #Conflicts: 2278000 | #Constraints: 53074
119.09/119.47 c #Conflicts: 2279000 | #Constraints: 54074
119.09/119.47 c #Conflicts: 2280000 | #Constraints: 55074
119.09/119.47 c #Conflicts: 2281000 | #Constraints: 56074
119.09/119.47 c #Conflicts: 2282000 | #Constraints: 57074
119.09/119.47 c #Conflicts: 2283000 | #Constraints: 58074
119.09/119.47 c #Conflicts: 2284000 | #Constraints: 59074
119.09/119.47 c #Conflicts: 2285000 | #Constraints: 60074
119.09/119.47 c #Conflicts: 2286000 | #Constraints: 61074
119.09/119.47 c INPROCESSING
119.09/119.47 c GARBAGE COLLECT
119.09/119.47 c rational objective 500.5
120.98/121.32 c #Conflicts: 2287000 | #Constraints: 32084
120.98/121.32 c #Conflicts: 2288000 | #Constraints: 33084
120.98/121.32 c #Conflicts: 2289000 | #Constraints: 34084
120.98/121.32 c #Conflicts: 2290000 | #Constraints: 35084
120.98/121.32 c #Conflicts: 2291000 | #Constraints: 36084
120.98/121.32 c #Conflicts: 2292000 | #Constraints: 37084
120.98/121.32 c #Conflicts: 2293000 | #Constraints: 38084
120.98/121.32 c #Conflicts: 2294000 | #Constraints: 39084
120.98/121.32 c #Conflicts: 2295000 | #Constraints: 40084
120.98/121.32 c #Conflicts: 2296000 | #Constraints: 41084
120.98/121.32 c #Conflicts: 2297000 | #Constraints: 42084
120.98/121.32 c #Conflicts: 2298000 | #Constraints: 43084
120.98/121.32 c #Conflicts: 2299000 | #Constraints: 44084
120.98/121.32 c #Conflicts: 2300000 | #Constraints: 45084
120.98/121.32 c #Conflicts: 2301000 | #Constraints: 46084
120.98/121.32 c #Conflicts: 2302000 | #Constraints: 47084
120.98/121.32 c #Conflicts: 2303000 | #Constraints: 48084
120.98/121.32 c #Conflicts: 2304000 | #Constraints: 49084
120.98/121.32 c #Conflicts: 2305000 | #Constraints: 50084
120.98/121.32 c #Conflicts: 2306000 | #Constraints: 51084
120.98/121.32 c #Conflicts: 2307000 | #Constraints: 52084
120.98/121.32 c #Conflicts: 2308000 | #Constraints: 53084
120.98/121.32 c #Conflicts: 2309000 | #Constraints: 54084
120.98/121.32 c #Conflicts: 2310000 | #Constraints: 55084
120.98/121.32 c #Conflicts: 2311000 | #Constraints: 56084
120.98/121.32 c #Conflicts: 2312000 | #Constraints: 57084
120.98/121.32 c #Conflicts: 2313000 | #Constraints: 58084
120.98/121.32 c #Conflicts: 2314000 | #Constraints: 59084
120.98/121.32 c #Conflicts: 2315000 | #Constraints: 60084
120.98/121.32 c #Conflicts: 2316000 | #Constraints: 61084
120.98/121.32 c INPROCESSING
120.98/121.32 c GARBAGE COLLECT
120.98/121.32 c rational objective 500.5
122.48/122.87 c #Conflicts: 2317000 | #Constraints: 31877
122.48/122.87 c #Conflicts: 2318000 | #Constraints: 32877
122.48/122.87 c #Conflicts: 2319000 | #Constraints: 33877
122.48/122.87 c #Conflicts: 2320000 | #Constraints: 34877
122.48/122.87 c #Conflicts: 2321000 | #Constraints: 35877
122.48/122.87 c #Conflicts: 2322000 | #Constraints: 36877
122.48/122.87 c #Conflicts: 2323000 | #Constraints: 37877
122.48/122.87 c #Conflicts: 2324000 | #Constraints: 38877
122.48/122.87 c #Conflicts: 2325000 | #Constraints: 39877
122.48/122.87 c #Conflicts: 2326000 | #Constraints: 40877
122.48/122.87 c #Conflicts: 2327000 | #Constraints: 41877
122.48/122.87 c #Conflicts: 2328000 | #Constraints: 42877
122.48/122.87 c #Conflicts: 2329000 | #Constraints: 43877
122.48/122.87 c #Conflicts: 2330000 | #Constraints: 44877
122.48/122.87 c #Conflicts: 2331000 | #Constraints: 45877
122.48/122.87 c #Conflicts: 2332000 | #Constraints: 46877
122.48/122.87 c #Conflicts: 2333000 | #Constraints: 47877
122.48/122.87 c #Conflicts: 2334000 | #Constraints: 48877
122.48/122.87 c #Conflicts: 2335000 | #Constraints: 49877
122.48/122.87 c #Conflicts: 2336000 | #Constraints: 50877
122.48/122.87 c #Conflicts: 2337000 | #Constraints: 51877
122.48/122.87 c #Conflicts: 2338000 | #Constraints: 52877
122.48/122.87 c #Conflicts: 2339000 | #Constraints: 53877
122.48/122.87 c #Conflicts: 2340000 | #Constraints: 54877
122.48/122.87 c #Conflicts: 2341000 | #Constraints: 55877
122.48/122.87 c #Conflicts: 2342000 | #Constraints: 56877
122.48/122.87 c #Conflicts: 2343000 | #Constraints: 57877
122.48/122.87 c #Conflicts: 2344000 | #Constraints: 58877
122.48/122.87 c #Conflicts: 2345000 | #Constraints: 59877
122.48/122.87 c #Conflicts: 2346000 | #Constraints: 60877
122.48/122.87 c #Conflicts: 2347000 | #Constraints: 61877
122.48/122.87 c INPROCESSING
122.48/122.87 c GARBAGE COLLECT
122.48/122.87 c rational objective 500.5
124.67/125.08 c #Conflicts: 2348000 | #Constraints: 32491
124.67/125.08 c #Conflicts: 2349000 | #Constraints: 33491
124.67/125.08 c #Conflicts: 2350000 | #Constraints: 34491
124.67/125.08 c #Conflicts: 2351000 | #Constraints: 35491
124.67/125.08 c #Conflicts: 2352000 | #Constraints: 36491
124.67/125.08 c #Conflicts: 2353000 | #Constraints: 37491
124.67/125.08 c #Conflicts: 2354000 | #Constraints: 38491
124.67/125.08 c #Conflicts: 2355000 | #Constraints: 39491
124.67/125.08 c #Conflicts: 2356000 | #Constraints: 40491
124.67/125.08 c #Conflicts: 2357000 | #Constraints: 41491
124.67/125.08 c #Conflicts: 2358000 | #Constraints: 42491
124.67/125.08 c #Conflicts: 2359000 | #Constraints: 43491
124.67/125.08 c #Conflicts: 2360000 | #Constraints: 44491
124.67/125.08 c #Conflicts: 2361000 | #Constraints: 45492
124.67/125.08 c #Conflicts: 2362000 | #Constraints: 46492
124.67/125.08 c #Conflicts: 2363000 | #Constraints: 47492
124.67/125.08 c #Conflicts: 2364000 | #Constraints: 48492
124.67/125.08 c #Conflicts: 2365000 | #Constraints: 49492
124.67/125.08 c #Conflicts: 2366000 | #Constraints: 50492
124.67/125.08 c #Conflicts: 2367000 | #Constraints: 51492
124.67/125.08 c #Conflicts: 2368000 | #Constraints: 52492
124.67/125.08 c #Conflicts: 2369000 | #Constraints: 53492
124.67/125.08 c #Conflicts: 2370000 | #Constraints: 54492
124.67/125.08 c #Conflicts: 2371000 | #Constraints: 55492
124.67/125.08 c #Conflicts: 2372000 | #Constraints: 56492
124.67/125.08 c #Conflicts: 2373000 | #Constraints: 57492
124.67/125.08 c #Conflicts: 2374000 | #Constraints: 58492
124.67/125.08 c #Conflicts: 2375000 | #Constraints: 59492
124.67/125.08 c #Conflicts: 2376000 | #Constraints: 60492
124.67/125.08 c #Conflicts: 2377000 | #Constraints: 61492
124.67/125.08 c #Conflicts: 2378000 | #Constraints: 62492
124.67/125.08 c INPROCESSING
124.67/125.08 c GARBAGE COLLECT
124.67/125.08 c rational objective 500.5
126.97/127.32 c #Conflicts: 2379000 | #Constraints: 32872
126.97/127.32 c #Conflicts: 2380000 | #Constraints: 33872
126.97/127.32 c #Conflicts: 2381000 | #Constraints: 34872
126.97/127.32 c #Conflicts: 2382000 | #Constraints: 35872
126.97/127.32 c #Conflicts: 2383000 | #Constraints: 36872
126.97/127.32 c #Conflicts: 2384000 | #Constraints: 37872
126.97/127.32 c #Conflicts: 2385000 | #Constraints: 38872
126.97/127.32 c #Conflicts: 2386000 | #Constraints: 39872
126.97/127.32 c #Conflicts: 2387000 | #Constraints: 40872
126.97/127.32 c #Conflicts: 2388000 | #Constraints: 41872
126.97/127.32 c #Conflicts: 2389000 | #Constraints: 42872
126.97/127.32 c #Conflicts: 2390000 | #Constraints: 43872
126.97/127.32 c #Conflicts: 2391000 | #Constraints: 44872
126.97/127.32 c #Conflicts: 2392000 | #Constraints: 45872
126.97/127.32 c #Conflicts: 2393000 | #Constraints: 46872
126.97/127.32 c #Conflicts: 2394000 | #Constraints: 47872
126.97/127.32 c #Conflicts: 2395000 | #Constraints: 48872
126.97/127.32 c #Conflicts: 2396000 | #Constraints: 49872
126.97/127.32 c #Conflicts: 2397000 | #Constraints: 50872
126.97/127.32 c #Conflicts: 2398000 | #Constraints: 51872
126.97/127.32 c #Conflicts: 2399000 | #Constraints: 52872
126.97/127.32 c #Conflicts: 2400000 | #Constraints: 53872
126.97/127.32 c #Conflicts: 2401000 | #Constraints: 54872
126.97/127.32 c #Conflicts: 2402000 | #Constraints: 55872
126.97/127.32 c #Conflicts: 2403000 | #Constraints: 56872
126.97/127.32 c #Conflicts: 2404000 | #Constraints: 57872
126.97/127.32 c #Conflicts: 2405000 | #Constraints: 58872
126.97/127.32 c #Conflicts: 2406000 | #Constraints: 59872
126.97/127.32 c #Conflicts: 2407000 | #Constraints: 60872
126.97/127.32 c #Conflicts: 2408000 | #Constraints: 61872
126.97/127.32 c #Conflicts: 2409000 | #Constraints: 62872
126.97/127.32 c INPROCESSING
126.97/127.32 c GARBAGE COLLECT
126.97/127.32 c rational objective 500.5
128.56/128.95 c #Conflicts: 2410000 | #Constraints: 33086
128.56/128.95 c #Conflicts: 2411000 | #Constraints: 34086
128.56/128.95 c #Conflicts: 2412000 | #Constraints: 35086
128.56/128.95 c #Conflicts: 2413000 | #Constraints: 36086
128.56/128.95 c #Conflicts: 2414000 | #Constraints: 37086
128.56/128.95 c #Conflicts: 2415000 | #Constraints: 38086
128.56/128.95 c #Conflicts: 2416000 | #Constraints: 39086
128.56/128.95 c #Conflicts: 2417000 | #Constraints: 40086
128.56/128.95 c #Conflicts: 2418000 | #Constraints: 41086
128.56/128.95 c #Conflicts: 2419000 | #Constraints: 42086
128.56/128.95 c #Conflicts: 2420000 | #Constraints: 43086
128.56/128.95 c #Conflicts: 2421000 | #Constraints: 44086
128.56/128.95 c #Conflicts: 2422000 | #Constraints: 45086
128.56/128.95 c #Conflicts: 2423000 | #Constraints: 46086
128.56/128.95 c #Conflicts: 2424000 | #Constraints: 47086
128.56/128.95 c #Conflicts: 2425000 | #Constraints: 48086
128.56/128.95 c #Conflicts: 2426000 | #Constraints: 49086
128.56/128.95 c #Conflicts: 2427000 | #Constraints: 50086
128.56/128.95 c #Conflicts: 2428000 | #Constraints: 51086
128.56/128.95 c #Conflicts: 2429000 | #Constraints: 52086
128.56/128.95 c #Conflicts: 2430000 | #Constraints: 53086
128.56/128.95 c #Conflicts: 2431000 | #Constraints: 54086
128.56/128.95 c #Conflicts: 2432000 | #Constraints: 55086
128.56/128.95 c #Conflicts: 2433000 | #Constraints: 56086
128.56/128.95 c #Conflicts: 2434000 | #Constraints: 57086
128.56/128.95 c #Conflicts: 2435000 | #Constraints: 58086
128.56/128.95 c #Conflicts: 2436000 | #Constraints: 59086
128.56/128.95 c #Conflicts: 2437000 | #Constraints: 60086
128.56/128.95 c #Conflicts: 2438000 | #Constraints: 61086
128.56/128.95 c #Conflicts: 2439000 | #Constraints: 62086
128.56/128.95 c #Conflicts: 2440000 | #Constraints: 63086
128.56/128.95 c INPROCESSING
128.56/128.95 c GARBAGE COLLECT
128.56/128.95 c rational objective 500.5
130.36/130.72 c #Conflicts: 2441000 | #Constraints: 33085
130.36/130.72 c #Conflicts: 2442000 | #Constraints: 34085
130.36/130.72 c #Conflicts: 2443000 | #Constraints: 35085
130.36/130.72 c #Conflicts: 2444000 | #Constraints: 36085
130.36/130.72 c #Conflicts: 2445000 | #Constraints: 37085
130.36/130.72 c #Conflicts: 2446000 | #Constraints: 38085
130.36/130.72 c #Conflicts: 2447000 | #Constraints: 39085
130.36/130.72 c #Conflicts: 2448000 | #Constraints: 40085
130.36/130.72 c #Conflicts: 2449000 | #Constraints: 41085
130.36/130.72 c #Conflicts: 2450000 | #Constraints: 42085
130.36/130.72 c #Conflicts: 2451000 | #Constraints: 43085
130.36/130.72 c #Conflicts: 2452000 | #Constraints: 44085
130.36/130.72 c #Conflicts: 2453000 | #Constraints: 45085
130.36/130.72 c #Conflicts: 2454000 | #Constraints: 46085
130.36/130.72 c #Conflicts: 2455000 | #Constraints: 47085
130.36/130.72 c #Conflicts: 2456000 | #Constraints: 48085
130.36/130.72 c #Conflicts: 2457000 | #Constraints: 49085
130.36/130.72 c #Conflicts: 2458000 | #Constraints: 50085
130.36/130.72 c #Conflicts: 2459000 | #Constraints: 51085
130.36/130.72 c #Conflicts: 2460000 | #Constraints: 52085
130.36/130.72 c #Conflicts: 2461000 | #Constraints: 53085
130.36/130.72 c #Conflicts: 2462000 | #Constraints: 54085
130.36/130.72 c #Conflicts: 2463000 | #Constraints: 55085
130.36/130.72 c #Conflicts: 2464000 | #Constraints: 56085
130.36/130.72 c #Conflicts: 2465000 | #Constraints: 57085
130.36/130.72 c #Conflicts: 2466000 | #Constraints: 58085
130.36/130.72 c #Conflicts: 2467000 | #Constraints: 59085
130.36/130.72 c #Conflicts: 2468000 | #Constraints: 60085
130.36/130.72 c #Conflicts: 2469000 | #Constraints: 61085
130.36/130.72 c #Conflicts: 2470000 | #Constraints: 62085
130.36/130.72 c #Conflicts: 2471000 | #Constraints: 63085
130.36/130.72 c INPROCESSING
130.36/130.72 c GARBAGE COLLECT
130.36/130.72 c rational objective 500.5
131.85/132.29 c #Conflicts: 2472000 | #Constraints: 32878
131.85/132.29 c #Conflicts: 2473000 | #Constraints: 33878
131.85/132.29 c #Conflicts: 2474000 | #Constraints: 34878
131.85/132.29 c #Conflicts: 2475000 | #Constraints: 35878
131.85/132.29 c #Conflicts: 2476000 | #Constraints: 36878
131.85/132.29 c #Conflicts: 2477000 | #Constraints: 37878
131.85/132.29 c #Conflicts: 2478000 | #Constraints: 38878
131.85/132.29 c #Conflicts: 2479000 | #Constraints: 39878
131.85/132.29 c #Conflicts: 2480000 | #Constraints: 40878
131.85/132.29 c #Conflicts: 2481000 | #Constraints: 41878
131.85/132.29 c #Conflicts: 2482000 | #Constraints: 42878
131.85/132.29 c #Conflicts: 2483000 | #Constraints: 43878
131.85/132.29 c #Conflicts: 2484000 | #Constraints: 44878
131.85/132.29 c #Conflicts: 2485000 | #Constraints: 45878
131.85/132.29 c #Conflicts: 2486000 | #Constraints: 46878
131.85/132.29 c #Conflicts: 2487000 | #Constraints: 47878
131.85/132.29 c #Conflicts: 2488000 | #Constraints: 48878
131.85/132.29 c #Conflicts: 2489000 | #Constraints: 49878
131.85/132.29 c #Conflicts: 2490000 | #Constraints: 50878
131.85/132.29 c #Conflicts: 2491000 | #Constraints: 51878
131.85/132.29 c #Conflicts: 2492000 | #Constraints: 52878
131.85/132.29 c #Conflicts: 2493000 | #Constraints: 53878
131.85/132.29 c #Conflicts: 2494000 | #Constraints: 54878
131.85/132.29 c #Conflicts: 2495000 | #Constraints: 55878
131.85/132.29 c #Conflicts: 2496000 | #Constraints: 56878
131.85/132.29 c #Conflicts: 2497000 | #Constraints: 57878
131.85/132.29 c #Conflicts: 2498000 | #Constraints: 58878
131.85/132.29 c #Conflicts: 2499000 | #Constraints: 59878
131.85/132.29 c #Conflicts: 2500000 | #Constraints: 60878
131.85/132.29 c #Conflicts: 2501000 | #Constraints: 61878
131.85/132.29 c #Conflicts: 2502000 | #Constraints: 62878
131.85/132.29 c #Conflicts: 2503000 | #Constraints: 63878
131.85/132.29 c INPROCESSING
131.85/132.29 c GARBAGE COLLECT
131.85/132.29 c rational objective 500.5
133.55/133.92 c #Conflicts: 2504000 | #Constraints: 33488
133.55/133.92 c #Conflicts: 2505000 | #Constraints: 34488
133.55/133.92 c #Conflicts: 2506000 | #Constraints: 35488
133.55/133.92 c #Conflicts: 2507000 | #Constraints: 36488
133.55/133.92 c #Conflicts: 2508000 | #Constraints: 37488
133.55/133.92 c #Conflicts: 2509000 | #Constraints: 38488
133.55/133.92 c #Conflicts: 2510000 | #Constraints: 39488
133.55/133.92 c #Conflicts: 2511000 | #Constraints: 40488
133.55/133.92 c #Conflicts: 2512000 | #Constraints: 41488
133.55/133.92 c #Conflicts: 2513000 | #Constraints: 42488
133.55/133.92 c #Conflicts: 2514000 | #Constraints: 43488
133.55/133.92 c #Conflicts: 2515000 | #Constraints: 44488
133.55/133.92 c #Conflicts: 2516000 | #Constraints: 45488
133.55/133.92 c #Conflicts: 2517000 | #Constraints: 46488
133.55/133.92 c #Conflicts: 2518000 | #Constraints: 47488
133.55/133.92 c #Conflicts: 2519000 | #Constraints: 48488
133.55/133.92 c #Conflicts: 2520000 | #Constraints: 49488
133.55/133.92 c #Conflicts: 2521000 | #Constraints: 50488
133.55/133.92 c #Conflicts: 2522000 | #Constraints: 51488
133.55/133.92 c #Conflicts: 2523000 | #Constraints: 52488
133.55/133.92 c #Conflicts: 2524000 | #Constraints: 53488
133.55/133.92 c #Conflicts: 2525000 | #Constraints: 54488
133.55/133.92 c #Conflicts: 2526000 | #Constraints: 55488
133.55/133.92 c #Conflicts: 2527000 | #Constraints: 56488
133.55/133.92 c #Conflicts: 2528000 | #Constraints: 57488
133.55/133.92 c #Conflicts: 2529000 | #Constraints: 58488
133.55/133.92 c #Conflicts: 2530000 | #Constraints: 59488
133.55/133.92 c #Conflicts: 2531000 | #Constraints: 60488
133.55/133.92 c #Conflicts: 2532000 | #Constraints: 61488
133.55/133.92 c #Conflicts: 2533000 | #Constraints: 62488
133.55/133.92 c #Conflicts: 2534000 | #Constraints: 63488
133.55/133.92 c #Conflicts: 2535000 | #Constraints: 64488
133.55/133.92 c INPROCESSING
133.55/133.92 c GARBAGE COLLECT
133.55/133.92 c rational objective 500.5
135.15/135.56 c #Conflicts: 2536000 | #Constraints: 33892
135.15/135.56 c #Conflicts: 2537000 | #Constraints: 34892
135.15/135.56 c #Conflicts: 2538000 | #Constraints: 35892
135.15/135.56 c #Conflicts: 2539000 | #Constraints: 36892
135.15/135.56 c #Conflicts: 2540000 | #Constraints: 37892
135.15/135.56 c #Conflicts: 2541000 | #Constraints: 38892
135.15/135.56 c #Conflicts: 2542000 | #Constraints: 39892
135.15/135.56 c #Conflicts: 2543000 | #Constraints: 40892
135.15/135.56 c #Conflicts: 2544000 | #Constraints: 41892
135.15/135.56 c #Conflicts: 2545000 | #Constraints: 42892
135.15/135.56 c #Conflicts: 2546000 | #Constraints: 43892
135.15/135.56 c #Conflicts: 2547000 | #Constraints: 44892
135.15/135.56 c #Conflicts: 2548000 | #Constraints: 45892
135.15/135.56 c #Conflicts: 2549000 | #Constraints: 46892
135.15/135.56 c #Conflicts: 2550000 | #Constraints: 47892
135.15/135.56 c #Conflicts: 2551000 | #Constraints: 48892
135.15/135.56 c #Conflicts: 2552000 | #Constraints: 49892
135.15/135.56 c #Conflicts: 2553000 | #Constraints: 50892
135.15/135.56 c #Conflicts: 2554000 | #Constraints: 51892
135.15/135.56 c #Conflicts: 2555000 | #Constraints: 52892
135.15/135.56 c #Conflicts: 2556000 | #Constraints: 53892
135.15/135.56 c #Conflicts: 2557000 | #Constraints: 54892
135.15/135.56 c #Conflicts: 2558000 | #Constraints: 55892
135.15/135.56 c #Conflicts: 2559000 | #Constraints: 56892
135.15/135.56 c #Conflicts: 2560000 | #Constraints: 57892
135.15/135.56 c #Conflicts: 2561000 | #Constraints: 58892
135.15/135.56 c #Conflicts: 2562000 | #Constraints: 59892
135.15/135.56 c #Conflicts: 2563000 | #Constraints: 60892
135.15/135.56 c #Conflicts: 2564000 | #Constraints: 61892
135.15/135.56 c #Conflicts: 2565000 | #Constraints: 62892
135.15/135.56 c #Conflicts: 2566000 | #Constraints: 63892
135.15/135.56 c #Conflicts: 2567000 | #Constraints: 64892
135.15/135.56 c INPROCESSING
135.15/135.56 c GARBAGE COLLECT
135.15/135.56 c rational objective 500.5
136.84/137.25 c #Conflicts: 2568000 | #Constraints: 34092
136.84/137.25 c #Conflicts: 2569000 | #Constraints: 35092
136.84/137.25 c #Conflicts: 2570000 | #Constraints: 36092
136.84/137.25 c #Conflicts: 2571000 | #Constraints: 37092
136.84/137.25 c #Conflicts: 2572000 | #Constraints: 38092
136.84/137.25 c #Conflicts: 2573000 | #Constraints: 39092
136.84/137.25 c #Conflicts: 2574000 | #Constraints: 40092
136.84/137.25 c #Conflicts: 2575000 | #Constraints: 41092
136.84/137.25 c #Conflicts: 2576000 | #Constraints: 42092
136.84/137.25 c #Conflicts: 2577000 | #Constraints: 43092
136.84/137.25 c #Conflicts: 2578000 | #Constraints: 44092
136.84/137.25 c #Conflicts: 2579000 | #Constraints: 45092
136.84/137.25 c #Conflicts: 2580000 | #Constraints: 46092
136.84/137.25 c #Conflicts: 2581000 | #Constraints: 47092
136.84/137.25 c #Conflicts: 2582000 | #Constraints: 48092
136.84/137.25 c #Conflicts: 2583000 | #Constraints: 49092
136.84/137.25 c #Conflicts: 2584000 | #Constraints: 50092
136.84/137.25 c #Conflicts: 2585000 | #Constraints: 51092
136.84/137.25 c #Conflicts: 2586000 | #Constraints: 52092
136.84/137.25 c #Conflicts: 2587000 | #Constraints: 53092
136.84/137.25 c #Conflicts: 2588000 | #Constraints: 54092
136.84/137.25 c #Conflicts: 2589000 | #Constraints: 55092
136.84/137.25 c #Conflicts: 2590000 | #Constraints: 56092
136.84/137.25 c #Conflicts: 2591000 | #Constraints: 57092
136.84/137.25 c #Conflicts: 2592000 | #Constraints: 58092
136.84/137.25 c #Conflicts: 2593000 | #Constraints: 59092
136.84/137.25 c #Conflicts: 2594000 | #Constraints: 60092
136.84/137.25 c #Conflicts: 2595000 | #Constraints: 61092
136.84/137.25 c #Conflicts: 2596000 | #Constraints: 62092
136.84/137.25 c #Conflicts: 2597000 | #Constraints: 63092
136.84/137.25 c #Conflicts: 2598000 | #Constraints: 64092
136.84/137.25 c #Conflicts: 2599000 | #Constraints: 65092
136.84/137.25 c INPROCESSING
136.84/137.25 c GARBAGE COLLECT
136.84/137.25 c rational objective 500.5
138.74/139.11 c #Conflicts: 2600000 | #Constraints: 34102
138.74/139.11 c #Conflicts: 2601000 | #Constraints: 35102
138.74/139.11 c #Conflicts: 2602000 | #Constraints: 36102
138.74/139.11 c #Conflicts: 2603000 | #Constraints: 37102
138.74/139.11 c #Conflicts: 2604000 | #Constraints: 38102
138.74/139.11 c #Conflicts: 2605000 | #Constraints: 39102
138.74/139.11 c #Conflicts: 2606000 | #Constraints: 40102
138.74/139.11 c #Conflicts: 2607000 | #Constraints: 41102
138.74/139.11 c #Conflicts: 2608000 | #Constraints: 42102
138.74/139.11 c #Conflicts: 2609000 | #Constraints: 43102
138.74/139.11 c #Conflicts: 2610000 | #Constraints: 44102
138.74/139.11 c #Conflicts: 2611000 | #Constraints: 45102
138.74/139.11 c #Conflicts: 2612000 | #Constraints: 46102
138.74/139.11 c #Conflicts: 2613000 | #Constraints: 47102
138.74/139.11 c #Conflicts: 2614000 | #Constraints: 48102
138.74/139.11 c #Conflicts: 2615000 | #Constraints: 49102
138.74/139.11 c #Conflicts: 2616000 | #Constraints: 50102
138.74/139.11 c #Conflicts: 2617000 | #Constraints: 51102
138.74/139.11 c #Conflicts: 2618000 | #Constraints: 52102
138.74/139.11 c #Conflicts: 2619000 | #Constraints: 53102
138.74/139.11 c #Conflicts: 2620000 | #Constraints: 54102
138.74/139.11 c #Conflicts: 2621000 | #Constraints: 55102
138.74/139.11 c #Conflicts: 2622000 | #Constraints: 56102
138.74/139.11 c #Conflicts: 2623000 | #Constraints: 57102
138.74/139.11 c #Conflicts: 2624000 | #Constraints: 58102
138.74/139.11 c #Conflicts: 2625000 | #Constraints: 59102
138.74/139.11 c #Conflicts: 2626000 | #Constraints: 60102
138.74/139.11 c #Conflicts: 2627000 | #Constraints: 61102
138.74/139.11 c #Conflicts: 2628000 | #Constraints: 62102
138.74/139.11 c #Conflicts: 2629000 | #Constraints: 63102
138.74/139.11 c #Conflicts: 2630000 | #Constraints: 64102
138.74/139.11 c #Conflicts: 2631000 | #Constraints: 65102
138.74/139.11 c INPROCESSING
138.74/139.11 c GARBAGE COLLECT
138.74/139.11 c rational objective 500.5
139.64/140.06 c #Conflicts: 2632000 | #Constraints: 33901
139.64/140.06 c #Conflicts: 2633000 | #Constraints: 34901
139.64/140.06 c #Conflicts: 2634000 | #Constraints: 35901
139.64/140.06 c #Conflicts: 2635000 | #Constraints: 36901
139.64/140.06 c #Conflicts: 2636000 | #Constraints: 37901
139.64/140.06 c #Conflicts: 2637000 | #Constraints: 38901
139.64/140.06 c #Conflicts: 2638000 | #Constraints: 39901
139.64/140.06 c #Conflicts: 2639000 | #Constraints: 40901
139.64/140.06 c #Conflicts: 2640000 | #Constraints: 41901
139.64/140.06 c #Conflicts: 2641000 | #Constraints: 42901
139.64/140.06 c #Conflicts: 2642000 | #Constraints: 43901
139.64/140.06 c #Conflicts: 2643000 | #Constraints: 44901
139.64/140.06 c #Conflicts: 2644000 | #Constraints: 45901
139.64/140.06 c #Conflicts: 2645000 | #Constraints: 46901
139.64/140.06 c #Conflicts: 2646000 | #Constraints: 47901
139.64/140.06 c #Conflicts: 2647000 | #Constraints: 48901
139.64/140.06 c #Conflicts: 2648000 | #Constraints: 49901
139.64/140.06 c #Conflicts: 2649000 | #Constraints: 50901
139.64/140.06 c cpu time 130.409 s
139.64/140.06 c deterministic time 6231399387 6.23e+09
139.64/140.06 c optimization time 0.000117 s
139.64/140.06 c total solve time 130.404 s
139.64/140.06 c core-guided solve time 0 s
139.64/140.06 c propagation time 92.2609 s
139.64/140.06 c conflict analysis time 23.4999 s
139.64/140.06 c propagations 21769822
139.64/140.06 c resolve steps 8866486
139.64/140.06 c decisions 5374779
139.64/140.06 c conflicts 2649924
139.64/140.06 c restarts 4603
139.64/140.06 c inprocessing phases 153
139.64/140.06 c garbage collections 153 ,( 100.00 )
139.64/140.06 c input clauses 58 ,( 5.48 )
139.64/140.06 c input cardinalities 1000 ,( 94.52 )
139.64/140.06 c input general constraints 0 ,( 0.00 )
139.64/140.06 c input average constraint length 3.94
139.64/140.06 c input average constraint degree 1.95
139.64/140.06 c learned clauses 2410906 ,( 90.95 )
139.64/140.06 c learned cardinalities 11942 ,( 0.45 )
139.64/140.06 c learned general constraints 228045 ,( 8.60 )
139.64/140.06 c learned average constraint length 18.43
139.64/140.06 c learned average constraint degree 8970439.15
139.64/140.06 c watched CF 32, 64, 128, Arb: 138378 , 0 , 0 , 0
139.64/140.06 c counting CF 32, 64, 128, Arb: 89667 , 0 , 0 , 0
139.64/140.06 c watched constraints 138378 ,( 60.68 )
139.64/140.06 c counting constraints 89667 ,( 39.32 )
139.64/140.06 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 732028349 , 66256484 , 84115913 ,( 51077532 , 33038381 )
139.64/140.06 c gcd simplifications 92284
139.64/140.06 c detected cardinalities 5400
139.64/140.06 c weakened non-implied lits 2601308
139.64/140.06 c weakened non-implying lits 52474
139.64/140.06 c original variables 1019
139.64/140.06 c clausal propagations 5546062
139.64/140.06 c cardinality propagations 6448794
139.64/140.06 c watched propagations 707216
139.64/140.06 c counting propagations 6314174
139.64/140.06 c watch lookups 3790876330
139.64/140.06 c watch backjump lookups 0
139.64/140.06 c watch checks 1826988702
139.64/140.06 c propagation checks 385883511
139.64/140.06 c constraint additions 170442995
139.64/140.06 c trail pops 29794475
139.64/140.06 c formula constraints 1058
139.64/140.06 c learned constraints 2649895
139.64/140.06 c bound constraints 0
139.64/140.06 c core-guided constraints 0
139.64/140.06 c encountered formula constraints 730776
139.64/140.06 c encountered learned constraints 10758055
139.64/140.06 c encountered bound constraints 0
139.64/140.06 c encountered core-guided constraints 0
139.64/140.06 c LP total time 15.8338 s
139.64/140.06 c LP solve time 10.47 s
139.64/140.06 c LP constraints added 2217
139.64/140.06 c LP constraints removed 1152
139.64/140.06 c LP pivots internal 264994
139.64/140.06 c LP pivots root 3778
139.64/140.06 c LP calls 17102
139.64/140.06 c LP optimalities 17073
139.64/140.06 c LP no pivot count 814
139.64/140.06 c LP infeasibilities 28
139.64/140.06 c LP valid Farkas constraints 28
139.64/140.06 c LP learned Farkas constraints 28
139.64/140.06 c LP basis resets 0
139.64/140.06 c LP cycling count 0
139.64/140.06 c LP singular count 0
139.64/140.06 c LP no primal count 0
139.64/140.06 c LP no farkas count 0
139.64/140.06 c LP other issue count 0
139.64/140.06 c LP Gomory cuts 942
139.64/140.06 c LP learned cuts 217
139.64/140.06 c LP deleted cuts 1152
139.64/140.06 c LP encountered Gomory constraints 0
139.64/140.06 c LP encountered Farkas constraints 27491
139.64/140.06 c LP encountered learned Farkas constraints 60
139.64/140.06 c CG auxiliary variables introduced 0
139.64/140.06 c CG solutions found 0
139.64/140.06 c CG cores constructed 0
139.64/140.06 c CG core cardinality constraints returned 0
139.64/140.06 c CG unit cores 0
139.64/140.06 c CG single cores 0
139.64/140.06 c CG blocks removed during cardinality reduction 0
139.64/140.06 c CG first core best 0
139.64/140.06 c CG decision core best 0
139.64/140.06 c CG core reduction tie 0
139.64/140.06 c CG core degree average 0.00
139.64/140.06 c CG core slack average 0.00
139.64/140.06 c CG core upper bound improvements 0
139.64/140.06 c STR number of successful calls 0
139.64/140.06 c STR number of unsuccessful calls 0
139.64/140.06 c STR number of inconclusive calls 0
139.64/140.06 c STR number of successful attempts 0
139.64/140.06 c STR number of unsuccessful attempts 0
139.64/140.06 c STR number of inconclusive attempts 0
139.64/140.06 c STR average degree increase per successful call inf
139.64/140.06 c STR average degree increase per successful attempt inf
139.64/140.07 c STR total number of conflicts for successful attempts 0
139.64/140.07 c STR total number of conflicts for unsuccessful attempts 0
139.64/140.07 c STR total number of conflicts for inconclusive attempts 0
139.64/140.07 c STR average number of conflicts per successful attempt inf
139.64/140.07 c STR average number of conflicts per unsuccessful attempt inf
139.64/140.07 c STR average number of conflicts per inconclusive attempt inf
139.64/140.07 c AVG.sumWPerc 36.29
139.64/140.07 c bigint constraints 0
139.64/140.07 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 (62814 MiB free)
memory of node 1: 64465 MiB (63800 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511376-1751198140/watcher-4511376-1751198140 -o /tmp/evaluation-result-4511376-1751198140/solver-4511376-1751198140 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23370 --watchdog 3760 run-dec-break.sh HOME/instance-4511376-1751198140.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25020, runsolver pid=25017
[startup+0.100062 s]*
/proc/loadavg: 4.07 4.12 4.07 5/270 25023
/proc/meminfo: memFree=129654056/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=58988 memory=15292 CPUtime=0.07 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 1397 0 0 0 6 1 0 0 20 0 1 0 35491530 60403712 3823 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 14747 3823 2368 1147 0 2174 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63180 KiB
Current children cumulated memory: 18364 KiB
[startup+0.205641 s]*
/proc/loadavg: 4.07 4.12 4.07 5/270 25023
/proc/meminfo: memFree=129654056/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=59696 memory=15932 CPUtime=0.17 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 1562 0 0 0 15 2 0 0 20 0 1 0 35491530 61128704 3983 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 14924 3983 2368 1147 0 2351 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63888 KiB
Current children cumulated memory: 19004 KiB
[startup+0.305727 s]*
/proc/loadavg: 4.07 4.12 4.07 5/270 25023
/proc/meminfo: memFree=129654056/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=59992 memory=16316 CPUtime=0.27 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 1663 0 0 0 23 4 0 0 20 0 1 0 35491530 61431808 4079 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 14998 4079 2368 1147 0 2425 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64184 KiB
Current children cumulated memory: 19388 KiB
[startup+0.700174 s]
/proc/loadavg: 4.07 4.12 4.07 5/270 25023
/proc/meminfo: memFree=129652292/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=61136 memory=17468 CPUtime=0.66 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 1939 0 0 0 58 8 0 0 20 0 1 0 35491530 62603264 4367 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 15284 4367 2368 1147 0 2711 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 65328 KiB
Current children cumulated memory: 20540 KiB
[startup+1.50013 s]
/proc/loadavg: 4.07 4.11 4.07 5/270 25023
/proc/meminfo: memFree=129649916/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=62448 memory=18620 CPUtime=1.45 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 2257 0 0 0 126 19 0 0 20 0 1 0 35491530 63946752 4655 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 15612 4655 2368 1147 0 3039 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 66640 KiB
Current children cumulated memory: 21692 KiB
[startup+3.10539 s]
/proc/loadavg: 4.07 4.11 4.07 5/270 25023
/proc/meminfo: memFree=129648216/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=63664 memory=19900 CPUtime=3.06 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 2571 0 0 0 266 40 0 0 20 0 1 0 35491530 65191936 4975 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 15916 4975 2368 1147 0 3343 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 67856 KiB
Current children cumulated memory: 22972 KiB
[startup+6.30016 s]
/proc/loadavg: 4.06 4.11 4.07 5/270 25023
/proc/meminfo: memFree=129644184/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=66088 memory=24236 CPUtime=6.25 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 3145 0 0 0 550 75 0 0 20 0 1 0 35491530 67674112 6059 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 16522 6059 2368 1147 0 3949 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 70280 KiB
Current children cumulated memory: 27308 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.13 4.07 5/270 25023
/proc/meminfo: memFree=129644508/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=69028 memory=27308 CPUtime=12.63 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 3908 0 0 0 1125 138 0 0 20 0 1 0 35491530 70684672 6827 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 17257 6827 2368 1147 0 4684 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 73220 KiB
Current children cumulated memory: 30380 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.07 5/270 25023
/proc/meminfo: memFree=129649044/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=72436 memory=30636 CPUtime=25.41 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 4732 0 0 0 2300 241 0 0 20 0 1 0 35491530 74174464 7659 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 18109 7659 2368 1147 0 5536 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 76628 KiB
Current children cumulated memory: 33708 KiB
[startup+51.1058 s]
/proc/loadavg: 4.07 4.11 4.07 5/271 25025
/proc/meminfo: memFree=129651380/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=78336 memory=34152 CPUtime=50.95 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 6501 0 0 0 4683 412 0 0 20 0 1 0 35491530 80216064 8538 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 19584 8538 2368 1147 0 7011 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 82528 KiB
Current children cumulated memory: 37224 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/270 25026
/proc/meminfo: memFree=129649916/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=81352 memory=38224 CPUtime=102.02 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 16755 0 0 0 9463 739 0 0 20 0 1 0 35491530 83304448 9556 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 20338 9556 2368 1147 0 7765 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 85544 KiB
Current children cumulated memory: 41296 KiB
[startup+140.071 s]
# the end of solver process 25020 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=130.423 s, system=9.30152 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.15 4.12 4.08 5/270 25026
/proc/meminfo: memFree=129649916/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=81352 memory=38224 CPUtime=102.11 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 16755 0 0 0 9471 740 0 0 20 0 1 0 35491530 83304448 9556 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 20338 9556 2368 1147 0 7765 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 85544 KiB
Current children cumulated memory: 41296 KiB
[startup+115.2 s]
/proc/loadavg: 4.12 4.12 4.08 5/270 25027
/proc/meminfo: memFree=129652908/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=82120 memory=38940 CPUtime=114.89 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 18661 0 0 0 10683 806 0 0 20 0 1 0 35491530 84090880 9735 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 20530 9735 2368 1147 0 7957 0
Current children cumulated CPU time: 114.9 s
Current children cumulated vsize: 86312 KiB
Current children cumulated memory: 42012 KiB
[startup+128 s]*
/proc/loadavg: 4.10 4.11 4.07 5/270 25028
/proc/meminfo: memFree=129650952/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=84552 memory=40756 CPUtime=127.66 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 20614 0 0 0 11903 863 0 0 20 0 1 0 35491530 86581248 10189 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 21138 10189 2368 1147 0 8565 0
Current children cumulated CPU time: 127.67 s
Current children cumulated vsize: 88744 KiB
Current children cumulated memory: 43828 KiB
[startup+134.4 s]
/proc/loadavg: 4.09 4.11 4.07 5/270 25028
/proc/meminfo: memFree=129649944/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=85704 memory=41612 CPUtime=134.04 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 21835 0 0 0 12506 898 0 0 20 0 1 0 35491530 87760896 10403 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 21426 10403 2368 1147 0 8853 0
Current children cumulated CPU time: 134.05 s
Current children cumulated vsize: 89896 KiB
Current children cumulated memory: 44684 KiB
[startup+137.6 s]
/proc/loadavg: 4.08 4.11 4.07 5/270 25028
/proc/meminfo: memFree=129649944/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=85960 memory=41900 CPUtime=137.23 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 22365 0 0 0 12806 917 0 0 20 0 1 0 35491530 88023040 10475 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 21490 10475 2368 1147 0 8917 0
Current children cumulated CPU time: 137.24 s
Current children cumulated vsize: 90152 KiB
Current children cumulated memory: 44972 KiB
[startup+139.2 s]
/proc/loadavg: 4.08 4.11 4.07 5/270 25028
/proc/meminfo: memFree=129649692/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=87956 memory=43180 CPUtime=138.83 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 22685 0 0 0 12958 925 0 0 20 0 1 0 35491530 90066944 10795 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 21989 10795 2368 1147 0 9416 0
Current children cumulated CPU time: 138.84 s
Current children cumulated vsize: 92148 KiB
Current children cumulated memory: 46252 KiB
[startup+139.6 s]
/proc/loadavg: 4.08 4.11 4.07 5/270 25028
/proc/meminfo: memFree=129649692/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=87956 memory=43180 CPUtime=139.23 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 22685 0 0 0 12996 927 0 0 20 0 1 0 35491530 90066944 10795 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 21989 10795 2368 1147 0 9416 0
Current children cumulated CPU time: 139.24 s
Current children cumulated vsize: 92148 KiB
Current children cumulated memory: 46252 KiB
[startup+140 s]*
/proc/loadavg: 4.08 4.11 4.07 5/270 25028
/proc/meminfo: memFree=129649440/131250000 swapFree=33010684/33010684
[pid=25020] ppid=25017 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/25020/stat : 25020 (run-dec-break.s) S 25017 25020 23358 0 -1 4194304 236 590 0 0 0 0 1 0 20 0 1 0 35491528 4292608 768 18446744073709551615 94246678827008 94246679721541 140724915037328 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94246679960592 94246680008336 94246680596480 140724915038561 140724915038690 140724915038690 140724915044292 0
/proc/25020/statm: 1048 768 704 219 0 110 0
[pid=25023] ppid=25020 vsize=87956 memory=43180 CPUtime=139.63 cores=1,3
/proc/25023/stat : 25023 (roundingsat) R 25020 25020 23358 0 -1 4194304 22686 0 0 0 13034 929 0 0 20 0 1 0 35491530 90066944 10795 18446744073709551615 4227072 8923433 140725848159200 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37691392 140725848164676 140725848164904 140725848164904 140725848170474 0
/proc/25023/statm: 21989 10795 2368 1147 0 9416 0
Current children cumulated CPU time: 139.64 s
Current children cumulated vsize: 92148 KiB
Current children cumulated memory: 46252 KiB
Child status: 0
Real time (s): 140.072
CPU time (s): 139.725
CPU user time (s): 130.423
CPU system time (s): 9.30152
CPU usage (%): 99.7525
Max. virtual memory (cumulated for all children) (KiB): 92148
Max. memory (cumulated for all children) (KiB): 46252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.423
system time used= 9.30152
maximum resident set size= 43180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23535
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 304
# summary of solver processes directly reported to runsolver:
# pid: 25020
# total CPU time (s): 139.725
# total CPU user time (s): 130.423
# total CPU system time (s): 9.30152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.294079 second user time and 0.633805 second system time
The end
Begin job on nodeC019 at 2025-06-29 13:55:40
IDJOB=4511376
IDBENCH=160439
IDSOLVER=3357
FILE ID=nodeC019/4511376-1751198140
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-ECgrid5x100split.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511376-1751198140/watcher-4511376-1751198140 -o /tmp/evaluation-result-4511376-1751198140/solver-4511376-1751198140 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23370 --watchdog 3760 run-dec-break.sh HOME/instance-4511376-1751198140.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8085e67efea758974236eb172d264588
RANDOM SEED=191923214
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.655
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.682
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 : 3577.918
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 : 3416.568
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.695
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.707
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.367
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.792
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: 129653912 kB
MemAvailable: 129490272 kB
Buffers: 3280 kB
Cached: 646068 kB
SwapCached: 0 kB
Active: 645532 kB
Inactive: 389316 kB
Active(anon): 403568 kB
Inactive(anon): 0 kB
Active(file): 241964 kB
Inactive(file): 389316 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7220 kB
Writeback: 4 kB
AnonPages: 384680 kB
Mapped: 112948 kB
Shmem: 18064 kB
KReclaimable: 88640 kB
Slab: 173840 kB
SReclaimable: 88640 kB
SUnreclaim: 85200 kB
KernelStack: 4368 kB
PageTables: 3948 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 737236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 299008 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:58:00