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-4545237-1753233846.opb'
0.00/0.02 c read 1.25MB (17.94ms)
0.00/0.02 c [cnf: #variables 4115 #clauses 47919 #duplicates 0 #arr 103718]
0.00/0.02 c output proof to '/tmp/proof-4545237-1753233846'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 0] (15.53ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c (2.66ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 65233 #edges 233834]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 1.00*10^0 #generators 0] (3.88ms)
0.00/0.05 c
0.00/0.05 c finalize break order and special generators
0.00/0.05 c
0.00/0.05 c generation finished
0.00/0.05 c [sbp: #constraints 0 #add_vars 0]
0.00/0.05 c
0.00/0.05 c write result to 'HOME/instance-4545237-1753233846.opb.pre'
0.00/0.05 c wrote 1.26MB (2.81ms)
0.00/0.05 c ------------------------------------------------------------------
0.00/0.05 c 17.94ms 41.04% parse
0.00/0.05 c 15.53ms 35.52% approx_orbits
0.00/0.05 c 3.88ms 8.87% detect_generic
0.00/0.05 c 2.81ms 6.43% output
0.00/0.05 c 2.66ms 6.09% detect_special
0.00/0.05 c 0.76ms 1.75% other
0.00/0.05 c 0.13ms 0.30% finalize_order
0.00/0.05 c ───────────────────────────────────────────────
0.00/0.05 c 43.71ms 100% total
0.00/0.05 c ------------------------------------------------------------------
0.00/0.06 c RoundingSat 2
0.00/0.06 c branch pb25
0.00/0.06 c commit 63f22ad
0.27/0.32 c #variables 4115 #constraints 48009
7.04/7.12 c #Conflicts: 1000 | #Constraints: 49008
7.04/7.12 c #Conflicts: 2000 | #Constraints: 50008
7.04/7.12 c INPROCESSING
7.04/7.12 c GARBAGE COLLECT
7.04/7.12 c #Conflicts: 3000 | #Constraints: 50017
7.04/7.12 c #Conflicts: 4000 | #Constraints: 51017
7.04/7.12 c INPROCESSING
7.04/7.12 c GARBAGE COLLECT
7.04/7.12 c #Conflicts: 5000 | #Constraints: 50425
7.04/7.12 c #Conflicts: 6000 | #Constraints: 51425
7.04/7.12 c INPROCESSING
7.04/7.12 c GARBAGE COLLECT
7.04/7.12 c #Conflicts: 7000 | #Constraints: 50430
7.04/7.12 c #Conflicts: 8000 | #Constraints: 51430
7.04/7.12 c #Conflicts: 9000 | #Constraints: 52430
7.04/7.12 c INPROCESSING
7.04/7.12 c GARBAGE COLLECT
7.04/7.12 c #Conflicts: 10000 | #Constraints: 51139
7.04/7.12 c #Conflicts: 11000 | #Constraints: 52139
7.04/7.12 c #Conflicts: 12000 | #Constraints: 53139
7.04/7.12 c INPROCESSING
7.04/7.12 c GARBAGE COLLECT
7.04/7.12 c rational objective 63.4062
9.05/9.18 c #Conflicts: 13000 | #Constraints: 51596
9.05/9.18 c #Conflicts: 14000 | #Constraints: 52596
9.05/9.18 c #Conflicts: 15000 | #Constraints: 53596
9.05/9.18 c INPROCESSING
9.05/9.18 c GARBAGE COLLECT
9.05/9.18 c rational objective 63.75
11.93/12.01 c #Conflicts: 16000 | #Constraints: 51836
11.93/12.01 c #Conflicts: 17000 | #Constraints: 52836
11.93/12.01 c #Conflicts: 18000 | #Constraints: 53836
11.93/12.01 c INPROCESSING
11.93/12.01 c GARBAGE COLLECT
11.93/12.01 c rational objective 63.9687
31.49/31.64 c #Conflicts: 19000 | #Constraints: 51855
31.49/31.64 c #Conflicts: 20000 | #Constraints: 52855
31.49/31.64 c #Conflicts: 21000 | #Constraints: 53855
31.49/31.64 c INPROCESSING
31.49/31.64 c GARBAGE COLLECT
31.49/31.64 c #Conflicts: 22000 | #Constraints: 51660
31.49/31.64 c #Conflicts: 23000 | #Constraints: 52660
31.49/31.64 c #Conflicts: 24000 | #Constraints: 53660
31.49/31.64 c #Conflicts: 25000 | #Constraints: 54661
31.49/31.64 c INPROCESSING
31.49/31.64 c GARBAGE COLLECT
31.49/31.64 c #Conflicts: 26000 | #Constraints: 52251
31.49/31.64 c #Conflicts: 27000 | #Constraints: 53251
31.49/31.64 c #Conflicts: 28000 | #Constraints: 54251
31.49/31.64 c #Conflicts: 29000 | #Constraints: 55251
31.49/31.64 c INPROCESSING
31.49/31.64 c GARBAGE COLLECT
31.49/31.64 c #Conflicts: 30000 | #Constraints: 52649
31.49/31.64 c #Conflicts: 31000 | #Constraints: 53649
31.49/31.64 c #Conflicts: 32000 | #Constraints: 54649
31.49/31.64 c #Conflicts: 33000 | #Constraints: 55649
31.49/31.64 c INPROCESSING
31.49/31.64 c GARBAGE COLLECT
31.49/31.64 c #Conflicts: 34000 | #Constraints: 52850
31.49/31.64 c #Conflicts: 35000 | #Constraints: 53850
31.49/31.64 c #Conflicts: 36000 | #Constraints: 54850
31.49/31.64 c #Conflicts: 37000 | #Constraints: 55850
31.49/31.64 c INPROCESSING
31.49/31.64 c GARBAGE COLLECT
31.49/31.64 c #Conflicts: 38000 | #Constraints: 52859
31.49/31.64 c #Conflicts: 39000 | #Constraints: 53859
31.49/31.64 c #Conflicts: 40000 | #Constraints: 54859
31.49/31.64 c #Conflicts: 41000 | #Constraints: 55860
31.49/31.64 c INPROCESSING
31.49/31.64 c GARBAGE COLLECT
31.49/31.64 c #Conflicts: 42000 | #Constraints: 52662
31.49/31.64 c #Conflicts: 43000 | #Constraints: 53662
31.49/31.64 c #Conflicts: 44000 | #Constraints: 54662
31.49/31.64 c #Conflicts: 45000 | #Constraints: 55663
31.49/31.64 c #Conflicts: 46000 | #Constraints: 56665
31.49/31.64 c INPROCESSING
31.49/31.64 c GARBAGE COLLECT
31.49/31.64 c rational objective 64.0625
75.47/75.71 c #Conflicts: 47000 | #Constraints: 53265
75.47/75.71 c #Conflicts: 48000 | #Constraints: 54265
75.47/75.71 c #Conflicts: 49000 | #Constraints: 55265
75.47/75.71 c #Conflicts: 50000 | #Constraints: 56265
75.47/75.71 c #Conflicts: 51000 | #Constraints: 57265
75.47/75.71 c INPROCESSING
75.47/75.71 c GARBAGE COLLECT
75.47/75.71 c #Conflicts: 52000 | #Constraints: 53657
75.47/75.71 c #Conflicts: 53000 | #Constraints: 54657
75.47/75.71 c #Conflicts: 54000 | #Constraints: 55657
75.47/75.71 c #Conflicts: 55000 | #Constraints: 56657
75.47/75.71 c #Conflicts: 56000 | #Constraints: 57657
75.47/75.71 c INPROCESSING
75.47/75.71 c GARBAGE COLLECT
75.47/75.71 c #Conflicts: 57000 | #Constraints: 53858
75.47/75.71 c #Conflicts: 58000 | #Constraints: 54858
75.47/75.71 c #Conflicts: 59000 | #Constraints: 55858
75.47/75.71 c #Conflicts: 60000 | #Constraints: 56858
75.47/75.71 c #Conflicts: 61000 | #Constraints: 57858
75.47/75.71 c INPROCESSING
75.47/75.71 c GARBAGE COLLECT
75.47/75.71 c #Conflicts: 62000 | #Constraints: 53859
75.47/75.71 c #Conflicts: 63000 | #Constraints: 54859
75.47/75.71 c #Conflicts: 64000 | #Constraints: 55859
75.47/75.71 c #Conflicts: 65000 | #Constraints: 56859
75.47/75.71 c #Conflicts: 66000 | #Constraints: 57859
75.47/75.71 c INPROCESSING
75.47/75.71 c GARBAGE COLLECT
75.47/75.71 c #Conflicts: 67000 | #Constraints: 53662
75.47/75.71 c #Conflicts: 68000 | #Constraints: 54662
75.47/75.71 c #Conflicts: 69000 | #Constraints: 55662
75.47/75.71 c #Conflicts: 70000 | #Constraints: 56662
75.47/75.71 c #Conflicts: 71000 | #Constraints: 57662
75.47/75.71 c #Conflicts: 72000 | #Constraints: 58662
75.47/75.71 c INPROCESSING
75.47/75.71 c GARBAGE COLLECT
75.47/75.71 c #Conflicts: 73000 | #Constraints: 54270
75.47/75.71 c #Conflicts: 74000 | #Constraints: 55271
75.47/75.71 c #Conflicts: 75000 | #Constraints: 56271
75.47/75.71 c #Conflicts: 76000 | #Constraints: 57272
75.47/75.71 c #Conflicts: 77000 | #Constraints: 58273
75.47/75.71 c #Conflicts: 78000 | #Constraints: 59273
75.47/75.71 c INPROCESSING
75.47/75.71 c GARBAGE COLLECT
75.47/75.71 c #Conflicts: 79000 | #Constraints: 54673
75.47/75.71 c #Conflicts: 80000 | #Constraints: 55674
75.47/75.71 c #Conflicts: 81000 | #Constraints: 56674
75.47/75.71 c #Conflicts: 82000 | #Constraints: 57676
75.47/75.71 c #Conflicts: 83000 | #Constraints: 58676
75.47/75.71 c #Conflicts: 84000 | #Constraints: 59678
75.47/75.71 c INPROCESSING
75.47/75.71 c GARBAGE COLLECT
75.47/75.71 c #Conflicts: 85000 | #Constraints: 54881
75.47/75.71 c #Conflicts: 86000 | #Constraints: 55883
75.47/75.71 c #Conflicts: 87000 | #Constraints: 57188
75.47/75.71 c #Conflicts: 88000 | #Constraints: 58188
75.47/75.71 c #Conflicts: 89000 | #Constraints: 59191
75.47/75.71 c #Conflicts: 90000 | #Constraints: 60194
75.47/75.71 c INPROCESSING
75.47/75.71 c GARBAGE COLLECT
75.47/75.71 c #Conflicts: 91000 | #Constraints: 55046
75.47/75.71 c #Conflicts: 92000 | #Constraints: 56047
75.47/75.71 c #Conflicts: 93000 | #Constraints: 57047
75.47/75.71 c #Conflicts: 94000 | #Constraints: 58048
75.47/75.71 c #Conflicts: 95000 | #Constraints: 59048
75.47/75.71 c #Conflicts: 96000 | #Constraints: 60049
75.47/75.71 c INPROCESSING
75.47/75.71 c GARBAGE COLLECT
75.47/75.71 c #Conflicts: 97000 | #Constraints: 54769
75.47/75.71 c #Conflicts: 98000 | #Constraints: 55770
75.47/75.71 c #Conflicts: 99000 | #Constraints: 56770
75.47/75.71 c #Conflicts: 100000 | #Constraints: 57771
75.47/75.71 c #Conflicts: 101000 | #Constraints: 58772
75.47/75.71 c #Conflicts: 102000 | #Constraints: 59774
75.47/75.71 c #Conflicts: 103000 | #Constraints: 60774
75.47/75.71 c INPROCESSING
75.47/75.71 c GARBAGE COLLECT
75.47/75.71 c rational objective 64.1719
122.05/122.42 c #Conflicts: 104000 | #Constraints: 55314
122.05/122.42 c #Conflicts: 105000 | #Constraints: 56314
122.05/122.42 c #Conflicts: 106000 | #Constraints: 57314
122.05/122.42 c #Conflicts: 107000 | #Constraints: 58314
122.05/122.42 c #Conflicts: 108000 | #Constraints: 59314
122.05/122.42 c #Conflicts: 109000 | #Constraints: 60314
122.05/122.42 c #Conflicts: 110000 | #Constraints: 61314
122.05/122.42 c INPROCESSING
122.05/122.42 c GARBAGE COLLECT
122.05/122.42 c #Conflicts: 111000 | #Constraints: 55689
122.05/122.42 c #Conflicts: 112000 | #Constraints: 56689
122.05/122.42 c #Conflicts: 113000 | #Constraints: 57689
122.05/122.42 c #Conflicts: 114000 | #Constraints: 58689
122.05/122.42 c #Conflicts: 115000 | #Constraints: 59689
122.05/122.42 c #Conflicts: 116000 | #Constraints: 60689
122.05/122.42 c #Conflicts: 117000 | #Constraints: 61689
122.05/122.42 c #Conflicts: 118000 | #Constraints: 62689
122.05/122.42 c #Conflicts: 119000 | #Constraints: 63689
122.05/122.42 c #Conflicts: 120000 | #Constraints: 64689
122.05/122.42 c #Conflicts: 121000 | #Constraints: 65689
122.05/122.42 c #Conflicts: 122000 | #Constraints: 66689
122.05/122.42 c #Conflicts: 123000 | #Constraints: 67689
122.05/122.42 c #Conflicts: 124000 | #Constraints: 68689
122.05/122.42 c #Conflicts: 125000 | #Constraints: 69689
122.05/122.42 c #Conflicts: 126000 | #Constraints: 70689
122.05/122.42 c #Conflicts: 127000 | #Constraints: 71689
122.05/122.42 c #Conflicts: 128000 | #Constraints: 72690
122.05/122.42 c #Conflicts: 129000 | #Constraints: 73690
122.05/122.42 c #Conflicts: 130000 | #Constraints: 74690
122.05/122.42 c #Conflicts: 131000 | #Constraints: 75690
122.05/122.42 c #Conflicts: 132000 | #Constraints: 76690
122.05/122.42 c #Conflicts: 133000 | #Constraints: 77690
122.05/122.42 c #Conflicts: 134000 | #Constraints: 78690
122.05/122.42 c #Conflicts: 135000 | #Constraints: 79690
122.05/122.42 c #Conflicts: 136000 | #Constraints: 80690
122.05/122.42 c #Conflicts: 137000 | #Constraints: 81690
122.05/122.42 c #Conflicts: 138000 | #Constraints: 82690
122.05/122.42 c #Conflicts: 139000 | #Constraints: 83690
122.05/122.42 c #Conflicts: 140000 | #Constraints: 84691
122.05/122.42 c INPROCESSING
122.05/122.42 c GARBAGE COLLECT
122.05/122.42 c #Conflicts: 141000 | #Constraints: 67203
122.05/122.42 c #Conflicts: 142000 | #Constraints: 68203
122.05/122.42 c #Conflicts: 143000 | #Constraints: 69206
122.05/122.42 c #Conflicts: 144000 | #Constraints: 70206
122.05/122.42 c #Conflicts: 145000 | #Constraints: 71207
122.05/122.42 c #Conflicts: 146000 | #Constraints: 72211
122.05/122.42 c #Conflicts: 147000 | #Constraints: 73214
122.05/122.42 c #Conflicts: 148000 | #Constraints: 74216
122.05/122.42 c INPROCESSING
122.05/122.42 c GARBAGE COLLECT
122.05/122.42 c #Conflicts: 149000 | #Constraints: 61895
122.05/122.42 c #Conflicts: 150000 | #Constraints: 62896
122.05/122.42 c #Conflicts: 151000 | #Constraints: 63896
122.05/122.42 c #Conflicts: 152000 | #Constraints: 64896
122.05/122.42 c #Conflicts: 153000 | #Constraints: 65896
122.05/122.42 c #Conflicts: 154000 | #Constraints: 66896
122.05/122.42 c #Conflicts: 155000 | #Constraints: 67896
122.05/122.42 c #Conflicts: 156000 | #Constraints: 68896
122.05/122.42 c INPROCESSING
122.05/122.42 c GARBAGE COLLECT
122.05/122.42 WSVECS04 Frhs2[137]: 6 -1.0001 0 shouldn't be
122.05/122.42 WSVECS04 Frhs2[171]: 6 -1.00003 0 shouldn't be
122.05/122.42 WSVECS04 Frhs2[245]: 6 0 0.0625966 shouldn't be
122.05/122.42 WSVECS04 Frhs2[247]: 6 0 1.37512 shouldn't be
122.05/122.42 WSVECS04 Frhs2[267]: 6 0 1.66018 shouldn't be
122.05/122.42 WSVECS04 Frhs2[268]: 6 0 1.38581 shouldn't be
122.05/122.42 WSVECS04 Frhs2[309]: 6 0 0.453272 shouldn't be
122.05/122.42 WSVECS04 Frhs2[310]: 6 0 0.406558 shouldn't be
122.05/122.42 WSVECS04 Frhs2[372]: 6 0 0.909654 shouldn't be
122.05/122.42 WSVECS04 Frhs2[373]: 6 0 0.972081 shouldn't be
122.05/122.42 WSVECS04 Frhs2[433]: 6 0 0.834834 shouldn't be
122.05/122.42 WSVECS04 Frhs2[453]: 6 0 0.0625941 shouldn't be
122.05/122.42 WSVECS04 Frhs2[454]: 6 0 0.125011 shouldn't be
122.05/122.42 WSVECS04 Frhs2[455]: 6 0 0.187534 shouldn't be
122.05/122.42 WSVECS04 Frhs2[478]: 6 0 1.2536 shouldn't be
122.05/122.42 WSVECS04 Frhs2[518]: 6 0 0.838671 shouldn't be
122.05/122.42 WSVECS04 Frhs2[519]: 6 0 0.901247 shouldn't be
122.05/122.42 WSVECS04 Frhs2[520]: 6 0 1.558 shouldn't be
122.05/122.42 WSVECS04 Frhs2[540]: 6 0 1.56361 shouldn't be
122.05/122.42 WSVECS04 Frhs2[560]: 6 0 0.0625471 shouldn't be
122.05/122.42 WSVECS04 Frhs2[561]: 6 0 0.165932 shouldn't be
122.05/122.42 WSVECS04 Frhs2[604]: 6 0 0.713683 shouldn't be
122.05/122.42 WSVECS04 Frhs2[850]: 6 0 0.401249 shouldn't be
122.05/122.42 WSVECS04 Frhs2[851]: 6 0 0.511725 shouldn't be
122.05/122.42 WSVECS04 Frhs2[852]: 6 0 1.2109 shouldn't be
122.05/122.42 WSVECS04 Frhs2[892]: 6 0 1.24724 shouldn't be
122.05/122.42 WSVECS04 Frhs2[893]: 6 0 1.91884 shouldn't be
122.05/122.42 WSVECS04 Frhs2[894]: 6 0 1.55951 shouldn't be
122.05/122.42 WSVECS04 Frhs2[913]: 6 0 2.91254 shouldn't be
122.05/122.42 WSVECS04 Frhs2[914]: 6 0 2.53269 shouldn't be
122.05/122.42 WSVECS04 Frhs2[957]: 6 0 1.64435 shouldn't be
122.05/122.42 WSVECS04 Frhs2[975]: 6 0 0.81252 shouldn't be
122.05/122.42 WSVECS04 Frhs2[977]: 6 0 2.28266 shouldn't be
122.05/122.42 WSVECS04 Frhs2[978]: 6 0 2.93943 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1018]: 6 0 0.125079 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1061]: 6 0 0.185293 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1120]: 6 0 0.031336 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1123]: 6 0 0.218838 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1125]: 6 0 0.932433 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1142]: 6 0 0.187579 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1143]: 6 0 0.250066 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1144]: 6 0 0.312565 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1145]: 6 0 0.375052 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1342]: 6 0 0.291763 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1343]: 6 0 0.354187 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1346]: 6 0 0.541741 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1347]: 6 0 0.604219 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1348]: 6 0 0.66673 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1349]: 6 0 1.31785 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1382]: 6 0 0.187535 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1389]: 6 0 0.625065 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1390]: 6 0 1.28186 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1391]: 6 0 1.35458 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1407]: 6 0 0.0625649 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1409]: 6 0 0.18752 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1411]: 6 0 0.312562 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1412]: 6 0 0.375067 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1714]: 6 0 0.0833434 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1791]: 6 0 0.125031 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1792]: 6 0 0.187554 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1795]: 6 0 0.96029 shouldn't be
122.05/122.42 WSVECS04 Frhs2[1796]: 6 0 1.04202 shouldn't be
122.05/122.42 WSVECS04 Frhs2[2214]: 6 0 0.750905 shouldn't be
122.05/122.42 WSVECS04 Frhs2[2543]: 6 -1.00008 0 shouldn't be
122.05/122.42 WSVECS04 Frhs2[3246]: 6 0 0.272257 shouldn't be
122.05/122.42 WSVECS04 Frhs2[3349]: 6 0 1.18861 shouldn't be
122.05/122.42 WSVECS04 Frhs2[3541]: 6 0 0.272239 shouldn't be
196.35/196.93 c #Conflicts: 157000 | #Constraints: 59106
196.35/196.93 c #Conflicts: 158000 | #Constraints: 60106
196.35/196.93 c #Conflicts: 159000 | #Constraints: 61106
196.35/196.93 c #Conflicts: 160000 | #Constraints: 62106
196.35/196.93 c #Conflicts: 161000 | #Constraints: 63106
196.35/196.93 c #Conflicts: 162000 | #Constraints: 64106
196.35/196.93 c #Conflicts: 163000 | #Constraints: 65106
196.35/196.93 c #Conflicts: 164000 | #Constraints: 66106
196.35/196.93 c #Conflicts: 165000 | #Constraints: 67106
196.35/196.93 c INPROCESSING
196.35/196.93 c GARBAGE COLLECT
196.35/196.93 c #Conflicts: 166000 | #Constraints: 58446
196.35/196.93 c #Conflicts: 167000 | #Constraints: 59446
196.35/196.93 c #Conflicts: 168000 | #Constraints: 60446
196.35/196.93 c #Conflicts: 169000 | #Constraints: 61446
196.35/196.93 c #Conflicts: 170000 | #Constraints: 62446
196.35/196.93 c #Conflicts: 171000 | #Constraints: 63446
196.35/196.93 c #Conflicts: 172000 | #Constraints: 64446
196.35/196.93 c #Conflicts: 173000 | #Constraints: 65446
196.35/196.93 c #Conflicts: 174000 | #Constraints: 66446
196.35/196.93 c #Conflicts: 175000 | #Constraints: 67446
196.35/196.93 c #Conflicts: 176000 | #Constraints: 68446
196.35/196.93 c #Conflicts: 177000 | #Constraints: 69446
196.35/196.93 c #Conflicts: 178000 | #Constraints: 70446
196.35/196.93 c #Conflicts: 179000 | #Constraints: 71446
196.35/196.93 c #Conflicts: 180000 | #Constraints: 72446
196.35/196.93 c #Conflicts: 181000 | #Constraints: 73447
196.35/196.93 c #Conflicts: 182000 | #Constraints: 74448
196.35/196.93 c #Conflicts: 183000 | #Constraints: 75448
196.35/196.93 c #Conflicts: 184000 | #Constraints: 76450
196.35/196.93 c #Conflicts: 185000 | #Constraints: 77451
196.35/196.93 c #Conflicts: 186000 | #Constraints: 78452
196.35/196.93 c #Conflicts: 187000 | #Constraints: 79453
196.35/196.93 c #Conflicts: 188000 | #Constraints: 80453
196.35/196.93 c #Conflicts: 189000 | #Constraints: 81453
196.35/196.93 c #Conflicts: 190000 | #Constraints: 82455
196.35/196.93 c #Conflicts: 191000 | #Constraints: 83457
196.35/196.93 c #Conflicts: 192000 | #Constraints: 84459
196.35/196.93 c #Conflicts: 193000 | #Constraints: 85460
196.35/196.93 c #Conflicts: 194000 | #Constraints: 86461
196.35/196.93 c #Conflicts: 195000 | #Constraints: 87461
196.35/196.93 c #Conflicts: 196000 | #Constraints: 88463
196.35/196.93 c #Conflicts: 197000 | #Constraints: 89463
196.35/196.93 c #Conflicts: 198000 | #Constraints: 90463
196.35/196.93 c #Conflicts: 199000 | #Constraints: 91463
196.35/196.93 c #Conflicts: 200000 | #Constraints: 92463
196.35/196.93 c #Conflicts: 201000 | #Constraints: 93463
196.35/196.93 c INPROCESSING
196.35/196.93 c GARBAGE COLLECT
196.35/196.93 c #Conflicts: 202000 | #Constraints: 71787
196.35/196.93 c #Conflicts: 203000 | #Constraints: 72787
196.35/196.93 c #Conflicts: 204000 | #Constraints: 73787
196.35/196.93 c #Conflicts: 205000 | #Constraints: 74787
196.35/196.93 c #Conflicts: 206000 | #Constraints: 75787
196.35/196.93 c #Conflicts: 207000 | #Constraints: 76787
196.35/196.93 c #Conflicts: 208000 | #Constraints: 77787
196.35/196.93 c #Conflicts: 209000 | #Constraints: 78787
196.35/196.93 c #Conflicts: 210000 | #Constraints: 79787
196.35/196.93 c INPROCESSING
196.35/196.93 c GARBAGE COLLECT
196.35/196.93 c #Conflicts: 211000 | #Constraints: 64553
196.35/196.93 c #Conflicts: 212000 | #Constraints: 65553
196.35/196.93 c #Conflicts: 213000 | #Constraints: 66553
196.35/196.93 c #Conflicts: 214000 | #Constraints: 67553
196.35/196.93 c #Conflicts: 215000 | #Constraints: 68553
196.35/196.93 c #Conflicts: 216000 | #Constraints: 69553
196.35/196.93 c #Conflicts: 217000 | #Constraints: 70553
196.35/196.93 c #Conflicts: 218000 | #Constraints: 71553
196.35/196.93 c #Conflicts: 219000 | #Constraints: 72553
196.35/196.93 c #Conflicts: 220000 | #Constraints: 73553
196.35/196.93 c INPROCESSING
196.35/196.93 c GARBAGE COLLECT
196.35/196.93 c #Conflicts: 221000 | #Constraints: 61439
196.35/196.93 c #Conflicts: 222000 | #Constraints: 62439
196.35/196.93 c #Conflicts: 223000 | #Constraints: 63439
196.35/196.93 c #Conflicts: 224000 | #Constraints: 64440
196.35/196.93 c #Conflicts: 225000 | #Constraints: 65440
196.35/196.93 c #Conflicts: 226000 | #Constraints: 66440
196.35/196.93 c #Conflicts: 227000 | #Constraints: 67440
196.35/196.93 c #Conflicts: 228000 | #Constraints: 68440
196.35/196.93 c #Conflicts: 229000 | #Constraints: 69440
196.35/196.93 c #Conflicts: 230000 | #Constraints: 70440
196.35/196.93 c #Conflicts: 231000 | #Constraints: 71440
196.35/196.93 c INPROCESSING
196.35/196.93 c GARBAGE COLLECT
196.35/196.93 c #Conflicts: 232000 | #Constraints: 60767
271.45/272.22 c #Conflicts: 233000 | #Constraints: 61767
271.45/272.22 c #Conflicts: 234000 | #Constraints: 62767
271.45/272.22 c #Conflicts: 235000 | #Constraints: 63767
271.45/272.22 c #Conflicts: 236000 | #Constraints: 64767
271.45/272.22 c #Conflicts: 237000 | #Constraints: 65767
271.45/272.22 c #Conflicts: 238000 | #Constraints: 66767
271.45/272.22 c #Conflicts: 239000 | #Constraints: 67767
271.45/272.22 c #Conflicts: 240000 | #Constraints: 68767
271.45/272.22 c #Conflicts: 241000 | #Constraints: 69767
271.45/272.22 c #Conflicts: 242000 | #Constraints: 70767
271.45/272.22 c #Conflicts: 243000 | #Constraints: 71767
271.45/272.22 c #Conflicts: 244000 | #Constraints: 72767
271.45/272.22 c #Conflicts: 245000 | #Constraints: 73767
271.45/272.22 c #Conflicts: 246000 | #Constraints: 74767
271.45/272.22 c #Conflicts: 247000 | #Constraints: 75767
271.45/272.22 c #Conflicts: 248000 | #Constraints: 76767
271.45/272.22 c #Conflicts: 249000 | #Constraints: 77767
271.45/272.22 c #Conflicts: 250000 | #Constraints: 78767
271.45/272.22 c #Conflicts: 251000 | #Constraints: 79767
271.45/272.22 c #Conflicts: 252000 | #Constraints: 80767
271.45/272.22 c #Conflicts: 253000 | #Constraints: 81767
271.45/272.22 c #Conflicts: 254000 | #Constraints: 82767
271.45/272.22 c #Conflicts: 255000 | #Constraints: 83767
271.45/272.22 c #Conflicts: 256000 | #Constraints: 84767
271.45/272.22 c #Conflicts: 257000 | #Constraints: 85767
271.45/272.22 c #Conflicts: 258000 | #Constraints: 86767
271.45/272.22 c #Conflicts: 259000 | #Constraints: 87767
271.45/272.22 c #Conflicts: 260000 | #Constraints: 88767
271.45/272.22 c #Conflicts: 261000 | #Constraints: 89767
271.45/272.22 c #Conflicts: 262000 | #Constraints: 90767
271.45/272.22 c #Conflicts: 263000 | #Constraints: 91767
271.45/272.22 c #Conflicts: 264000 | #Constraints: 92767
271.45/272.22 c #Conflicts: 265000 | #Constraints: 93767
271.45/272.22 c #Conflicts: 266000 | #Constraints: 94767
271.45/272.22 c #Conflicts: 267000 | #Constraints: 95768
271.45/272.22 c #Conflicts: 268000 | #Constraints: 96768
271.45/272.22 c #Conflicts: 269000 | #Constraints: 97768
271.45/272.22 c #Conflicts: 270000 | #Constraints: 98768
271.45/272.22 c #Conflicts: 271000 | #Constraints: 99768
271.45/272.22 c #Conflicts: 272000 | #Constraints: 100768
271.45/272.22 c INPROCESSING
271.45/272.22 c GARBAGE COLLECT
271.45/272.22 c #Conflicts: 273000 | #Constraints: 75429
271.45/272.22 c #Conflicts: 274000 | #Constraints: 76429
271.45/272.22 c #Conflicts: 275000 | #Constraints: 77429
271.45/272.22 c #Conflicts: 276000 | #Constraints: 78429
271.45/272.22 c #Conflicts: 277000 | #Constraints: 79429
271.45/272.22 c #Conflicts: 278000 | #Constraints: 80429
271.45/272.22 c #Conflicts: 279000 | #Constraints: 81429
271.45/272.22 c #Conflicts: 280000 | #Constraints: 82429
271.45/272.22 c #Conflicts: 281000 | #Constraints: 83429
271.45/272.22 c #Conflicts: 282000 | #Constraints: 84429
271.45/272.22 c #Conflicts: 283000 | #Constraints: 85429
271.45/272.22 c INPROCESSING
271.45/272.22 c GARBAGE COLLECT
271.45/272.22 c #Conflicts: 284000 | #Constraints: 67531
271.45/272.22 c #Conflicts: 285000 | #Constraints: 68531
271.45/272.22 c #Conflicts: 286000 | #Constraints: 69532
271.45/272.22 c #Conflicts: 287000 | #Constraints: 70532
271.45/272.22 c #Conflicts: 288000 | #Constraints: 71532
271.45/272.22 c #Conflicts: 289000 | #Constraints: 72532
271.45/272.22 c #Conflicts: 290000 | #Constraints: 73532
271.45/272.22 c #Conflicts: 291000 | #Constraints: 74532
271.45/272.22 c #Conflicts: 292000 | #Constraints: 75532
271.45/272.22 c #Conflicts: 293000 | #Constraints: 76533
271.45/272.22 c #Conflicts: 294000 | #Constraints: 77533
271.45/272.22 c #Conflicts: 295000 | #Constraints: 78533
271.45/272.22 c INPROCESSING
271.45/272.22 c GARBAGE COLLECT
271.45/272.22 c #Conflicts: 296000 | #Constraints: 64258
271.45/272.22 c #Conflicts: 297000 | #Constraints: 65258
271.45/272.22 c #Conflicts: 298000 | #Constraints: 66261
271.45/272.22 c #Conflicts: 299000 | #Constraints: 67261
271.45/272.22 c #Conflicts: 300000 | #Constraints: 68263
271.45/272.22 c #Conflicts: 301000 | #Constraints: 69264
271.45/272.22 c #Conflicts: 302000 | #Constraints: 70264
271.45/272.22 c #Conflicts: 303000 | #Constraints: 71264
271.45/272.22 c #Conflicts: 304000 | #Constraints: 72265
271.45/272.22 c #Conflicts: 305000 | #Constraints: 73266
271.45/272.22 c #Conflicts: 306000 | #Constraints: 74267
271.45/272.22 c #Conflicts: 307000 | #Constraints: 75267
271.45/272.22 c INPROCESSING
271.45/272.22 c GARBAGE COLLECT
271.45/272.22 c #Conflicts: 308000 | #Constraints: 62640
362.71/363.70 c #Conflicts: 309000 | #Constraints: 63640
362.71/363.70 c #Conflicts: 310000 | #Constraints: 64640
362.71/363.70 c #Conflicts: 311000 | #Constraints: 65640
362.71/363.70 c #Conflicts: 312000 | #Constraints: 66640
362.71/363.70 c #Conflicts: 313000 | #Constraints: 67640
362.71/363.70 c #Conflicts: 314000 | #Constraints: 68641
362.71/363.70 c #Conflicts: 315000 | #Constraints: 69641
362.71/363.70 c #Conflicts: 316000 | #Constraints: 70641
362.71/363.70 c #Conflicts: 317000 | #Constraints: 71642
362.71/363.70 c #Conflicts: 318000 | #Constraints: 72644
362.71/363.70 c #Conflicts: 319000 | #Constraints: 73645
362.71/363.70 c #Conflicts: 320000 | #Constraints: 74647
362.71/363.70 c #Conflicts: 321000 | #Constraints: 75648
362.71/363.70 c #Conflicts: 322000 | #Constraints: 76648
362.71/363.70 c #Conflicts: 323000 | #Constraints: 77649
362.71/363.70 c #Conflicts: 324000 | #Constraints: 78650
362.71/363.70 c #Conflicts: 325000 | #Constraints: 79652
362.71/363.70 c #Conflicts: 326000 | #Constraints: 80654
362.71/363.70 c #Conflicts: 327000 | #Constraints: 81654
362.71/363.70 c #Conflicts: 328000 | #Constraints: 82655
362.71/363.70 c #Conflicts: 329000 | #Constraints: 83660
362.71/363.70 c #Conflicts: 330000 | #Constraints: 84664
362.71/363.70 c #Conflicts: 331000 | #Constraints: 85666
362.71/363.70 c #Conflicts: 332000 | #Constraints: 86667
362.71/363.70 c #Conflicts: 333000 | #Constraints: 87669
362.71/363.70 c #Conflicts: 334000 | #Constraints: 88670
362.71/363.70 c #Conflicts: 335000 | #Constraints: 89671
362.71/363.70 c #Conflicts: 336000 | #Constraints: 90671
362.71/363.70 c #Conflicts: 337000 | #Constraints: 91672
362.71/363.70 c #Conflicts: 338000 | #Constraints: 92673
362.71/363.70 c #Conflicts: 339000 | #Constraints: 93673
362.71/363.70 c #Conflicts: 340000 | #Constraints: 94674
362.71/363.70 c #Conflicts: 341000 | #Constraints: 95674
362.71/363.70 c #Conflicts: 342000 | #Constraints: 96674
362.71/363.70 c #Conflicts: 343000 | #Constraints: 97674
362.71/363.70 c #Conflicts: 344000 | #Constraints: 98676
362.71/363.70 c #Conflicts: 345000 | #Constraints: 99676
362.71/363.70 c #Conflicts: 346000 | #Constraints: 100676
362.71/363.70 c #Conflicts: 347000 | #Constraints: 101677
362.71/363.70 c #Conflicts: 348000 | #Constraints: 102677
362.71/363.70 c #Conflicts: 349000 | #Constraints: 103678
362.71/363.70 c #Conflicts: 350000 | #Constraints: 104678
362.71/363.70 c #Conflicts: 351000 | #Constraints: 105678
362.71/363.70 c #Conflicts: 352000 | #Constraints: 106679
362.71/363.70 c #Conflicts: 353000 | #Constraints: 107679
362.71/363.70 c INPROCESSING
362.71/363.70 c GARBAGE COLLECT
362.71/363.70 c #Conflicts: 354000 | #Constraints: 78693
362.71/363.70 c #Conflicts: 355000 | #Constraints: 79693
362.71/363.70 c #Conflicts: 356000 | #Constraints: 80693
362.71/363.70 c #Conflicts: 357000 | #Constraints: 81693
362.71/363.70 c #Conflicts: 358000 | #Constraints: 82693
362.71/363.70 c #Conflicts: 359000 | #Constraints: 83693
362.71/363.70 c #Conflicts: 360000 | #Constraints: 84693
362.71/363.70 c #Conflicts: 361000 | #Constraints: 85693
362.71/363.70 c #Conflicts: 362000 | #Constraints: 86693
362.71/363.70 c #Conflicts: 363000 | #Constraints: 87693
362.71/363.70 c #Conflicts: 364000 | #Constraints: 88693
362.71/363.70 c #Conflicts: 365000 | #Constraints: 89693
362.71/363.70 c #Conflicts: 366000 | #Constraints: 90693
362.71/363.70 c INPROCESSING
362.71/363.70 c GARBAGE COLLECT
362.71/363.70 c #Conflicts: 367000 | #Constraints: 70114
362.71/363.70 c #Conflicts: 368000 | #Constraints: 71114
362.71/363.70 c #Conflicts: 369000 | #Constraints: 72114
362.71/363.70 c #Conflicts: 370000 | #Constraints: 73114
362.71/363.70 c #Conflicts: 371000 | #Constraints: 74115
362.71/363.70 c #Conflicts: 372000 | #Constraints: 75115
362.71/363.70 c #Conflicts: 373000 | #Constraints: 76115
362.71/363.70 c #Conflicts: 374000 | #Constraints: 77115
362.71/363.70 c #Conflicts: 375000 | #Constraints: 78115
362.71/363.70 c #Conflicts: 376000 | #Constraints: 79115
362.71/363.70 c #Conflicts: 377000 | #Constraints: 80115
362.71/363.70 c #Conflicts: 378000 | #Constraints: 81115
362.71/363.70 c #Conflicts: 379000 | #Constraints: 82115
362.71/363.70 c #Conflicts: 380000 | #Constraints: 83115
362.71/363.70 c INPROCESSING
362.71/363.70 c GARBAGE COLLECT
362.71/363.70 c #Conflicts: 381000 | #Constraints: 66628
362.71/363.70 c #Conflicts: 382000 | #Constraints: 67628
362.71/363.70 c #Conflicts: 383000 | #Constraints: 68628
362.71/363.70 c #Conflicts: 384000 | #Constraints: 69629
362.71/363.70 c #Conflicts: 385000 | #Constraints: 70629
462.16/463.47 c #Conflicts: 386000 | #Constraints: 71629
462.16/463.47 c #Conflicts: 387000 | #Constraints: 72631
462.16/463.47 c #Conflicts: 388000 | #Constraints: 73631
462.16/463.47 c #Conflicts: 389000 | #Constraints: 74632
462.16/463.47 c #Conflicts: 390000 | #Constraints: 75633
462.16/463.47 c #Conflicts: 391000 | #Constraints: 76633
462.16/463.47 c #Conflicts: 392000 | #Constraints: 77633
462.16/463.47 c #Conflicts: 393000 | #Constraints: 78633
462.16/463.47 c INPROCESSING
462.16/463.47 c GARBAGE COLLECT
462.16/463.47 c #Conflicts: 394000 | #Constraints: 64088
462.16/463.47 c #Conflicts: 395000 | #Constraints: 65088
462.16/463.47 c #Conflicts: 396000 | #Constraints: 66088
462.16/463.47 c #Conflicts: 397000 | #Constraints: 67088
462.16/463.47 c #Conflicts: 398000 | #Constraints: 68088
462.16/463.47 c #Conflicts: 399000 | #Constraints: 69088
462.16/463.47 c #Conflicts: 400000 | #Constraints: 70088
462.16/463.47 c #Conflicts: 401000 | #Constraints: 71088
462.16/463.47 c #Conflicts: 402000 | #Constraints: 72088
462.16/463.47 c #Conflicts: 403000 | #Constraints: 73088
462.16/463.47 c #Conflicts: 404000 | #Constraints: 74088
462.16/463.47 c #Conflicts: 405000 | #Constraints: 75088
462.16/463.47 c #Conflicts: 406000 | #Constraints: 76088
462.16/463.47 c #Conflicts: 407000 | #Constraints: 77088
462.16/463.47 c #Conflicts: 408000 | #Constraints: 78088
462.16/463.47 c #Conflicts: 409000 | #Constraints: 79088
462.16/463.47 c #Conflicts: 410000 | #Constraints: 80088
462.16/463.47 c #Conflicts: 411000 | #Constraints: 81088
462.16/463.47 c #Conflicts: 412000 | #Constraints: 82088
462.16/463.47 c #Conflicts: 413000 | #Constraints: 83088
462.16/463.47 c #Conflicts: 414000 | #Constraints: 84088
462.16/463.47 c #Conflicts: 415000 | #Constraints: 85088
462.16/463.47 c #Conflicts: 416000 | #Constraints: 86088
462.16/463.47 c #Conflicts: 417000 | #Constraints: 87088
462.16/463.47 c #Conflicts: 418000 | #Constraints: 88088
462.16/463.47 c #Conflicts: 419000 | #Constraints: 89088
462.16/463.47 c #Conflicts: 420000 | #Constraints: 90088
462.16/463.47 c #Conflicts: 421000 | #Constraints: 91088
462.16/463.47 c #Conflicts: 422000 | #Constraints: 92088
462.16/463.47 c #Conflicts: 423000 | #Constraints: 93088
462.16/463.47 c #Conflicts: 424000 | #Constraints: 94089
462.16/463.47 c #Conflicts: 425000 | #Constraints: 95089
462.16/463.47 c #Conflicts: 426000 | #Constraints: 96089
462.16/463.47 c #Conflicts: 427000 | #Constraints: 97089
462.16/463.47 c #Conflicts: 428000 | #Constraints: 98089
462.16/463.47 c #Conflicts: 429000 | #Constraints: 99089
462.16/463.47 c #Conflicts: 430000 | #Constraints: 100089
462.16/463.47 c #Conflicts: 431000 | #Constraints: 101089
462.16/463.47 c #Conflicts: 432000 | #Constraints: 102089
462.16/463.47 c #Conflicts: 433000 | #Constraints: 103089
462.16/463.47 c #Conflicts: 434000 | #Constraints: 104089
462.16/463.47 c #Conflicts: 435000 | #Constraints: 105089
462.16/463.47 c #Conflicts: 436000 | #Constraints: 106089
462.16/463.47 c #Conflicts: 437000 | #Constraints: 107089
462.16/463.47 c #Conflicts: 438000 | #Constraints: 108089
462.16/463.47 c #Conflicts: 439000 | #Constraints: 109090
462.16/463.47 c #Conflicts: 440000 | #Constraints: 110091
462.16/463.47 c #Conflicts: 441000 | #Constraints: 111091
462.16/463.47 c #Conflicts: 442000 | #Constraints: 112091
462.16/463.47 c #Conflicts: 443000 | #Constraints: 113093
462.16/463.47 c #Conflicts: 444000 | #Constraints: 114094
462.16/463.47 c #Conflicts: 445000 | #Constraints: 115094
462.16/463.47 c INPROCESSING
462.16/463.47 c GARBAGE COLLECT
462.16/463.47 c #Conflicts: 446000 | #Constraints: 82498
462.16/463.47 c #Conflicts: 447000 | #Constraints: 83498
462.16/463.47 c #Conflicts: 448000 | #Constraints: 84498
462.16/463.47 c #Conflicts: 449000 | #Constraints: 85498
462.16/463.47 c #Conflicts: 450000 | #Constraints: 86498
462.16/463.47 c #Conflicts: 451000 | #Constraints: 87498
462.16/463.47 c #Conflicts: 452000 | #Constraints: 88498
462.16/463.47 c #Conflicts: 453000 | #Constraints: 89498
462.16/463.47 c #Conflicts: 454000 | #Constraints: 90498
462.16/463.47 c #Conflicts: 455000 | #Constraints: 91498
462.16/463.47 c #Conflicts: 456000 | #Constraints: 92498
462.16/463.47 c #Conflicts: 457000 | #Constraints: 93498
462.16/463.47 c #Conflicts: 458000 | #Constraints: 94498
462.16/463.47 c #Conflicts: 459000 | #Constraints: 95498
462.16/463.47 c #Conflicts: 460000 | #Constraints: 96498
462.16/463.47 c INPROCESSING
462.16/463.47 c GARBAGE COLLECT
462.16/463.47 c #Conflicts: 461000 | #Constraints: 73298
462.16/463.47 c #Conflicts: 462000 | #Constraints: 74298
563.19/564.79 c #Conflicts: 463000 | #Constraints: 75298
563.19/564.79 c #Conflicts: 464000 | #Constraints: 76298
563.19/564.79 c #Conflicts: 465000 | #Constraints: 77298
563.19/564.79 c #Conflicts: 466000 | #Constraints: 78298
563.19/564.79 c #Conflicts: 467000 | #Constraints: 79298
563.19/564.79 c #Conflicts: 468000 | #Constraints: 80298
563.19/564.79 c #Conflicts: 469000 | #Constraints: 81298
563.19/564.79 c #Conflicts: 470000 | #Constraints: 82298
563.19/564.79 c #Conflicts: 471000 | #Constraints: 83298
563.19/564.79 c #Conflicts: 472000 | #Constraints: 84298
563.19/564.79 c #Conflicts: 473000 | #Constraints: 85298
563.19/564.79 c #Conflicts: 474000 | #Constraints: 86298
563.19/564.79 c #Conflicts: 475000 | #Constraints: 87298
563.19/564.79 c INPROCESSING
563.19/564.79 c GARBAGE COLLECT
563.19/564.79 c #Conflicts: 476000 | #Constraints: 68624
563.19/564.79 c #Conflicts: 477000 | #Constraints: 69624
563.19/564.79 c #Conflicts: 478000 | #Constraints: 70624
563.19/564.79 c #Conflicts: 479000 | #Constraints: 71624
563.19/564.79 c #Conflicts: 480000 | #Constraints: 72624
563.19/564.79 c #Conflicts: 481000 | #Constraints: 73624
563.19/564.79 c #Conflicts: 482000 | #Constraints: 74624
563.19/564.79 c #Conflicts: 483000 | #Constraints: 75624
563.19/564.79 c #Conflicts: 484000 | #Constraints: 76624
563.19/564.79 c #Conflicts: 485000 | #Constraints: 77624
563.19/564.79 c #Conflicts: 486000 | #Constraints: 78624
563.19/564.79 c #Conflicts: 487000 | #Constraints: 79624
563.19/564.79 c #Conflicts: 488000 | #Constraints: 80624
563.19/564.79 c #Conflicts: 489000 | #Constraints: 81624
563.19/564.79 c #Conflicts: 490000 | #Constraints: 82624
563.19/564.79 c INPROCESSING
563.19/564.79 c GARBAGE COLLECT
563.19/564.79 c #Conflicts: 491000 | #Constraints: 66156
563.19/564.79 c #Conflicts: 492000 | #Constraints: 67156
563.19/564.79 c #Conflicts: 493000 | #Constraints: 68156
563.19/564.79 c #Conflicts: 494000 | #Constraints: 69156
563.19/564.79 c #Conflicts: 495000 | #Constraints: 70156
563.19/564.79 c #Conflicts: 496000 | #Constraints: 71156
563.19/564.79 c #Conflicts: 497000 | #Constraints: 72156
563.19/564.79 c #Conflicts: 498000 | #Constraints: 73156
563.19/564.79 c #Conflicts: 499000 | #Constraints: 74156
563.19/564.79 c #Conflicts: 500000 | #Constraints: 75156
563.19/564.79 c #Conflicts: 501000 | #Constraints: 76156
563.19/564.79 c #Conflicts: 502000 | #Constraints: 77156
563.19/564.79 c #Conflicts: 503000 | #Constraints: 78156
563.19/564.79 c #Conflicts: 504000 | #Constraints: 79156
563.19/564.79 c #Conflicts: 505000 | #Constraints: 80156
563.19/564.79 c #Conflicts: 506000 | #Constraints: 81156
563.19/564.79 c #Conflicts: 507000 | #Constraints: 82156
563.19/564.79 c #Conflicts: 508000 | #Constraints: 83156
563.19/564.79 c #Conflicts: 509000 | #Constraints: 84156
563.19/564.79 c #Conflicts: 510000 | #Constraints: 85156
563.19/564.79 c #Conflicts: 511000 | #Constraints: 86156
563.19/564.79 c #Conflicts: 512000 | #Constraints: 87156
563.19/564.79 c #Conflicts: 513000 | #Constraints: 88157
563.19/564.79 c #Conflicts: 514000 | #Constraints: 89158
563.19/564.79 c #Conflicts: 515000 | #Constraints: 90158
563.19/564.79 c #Conflicts: 516000 | #Constraints: 91159
563.19/564.79 c #Conflicts: 517000 | #Constraints: 92159
563.19/564.79 c #Conflicts: 518000 | #Constraints: 93160
563.19/564.79 c #Conflicts: 519000 | #Constraints: 94160
563.19/564.79 c #Conflicts: 520000 | #Constraints: 95161
563.19/564.79 c #Conflicts: 521000 | #Constraints: 96161
563.19/564.79 c #Conflicts: 522000 | #Constraints: 97161
563.19/564.79 c #Conflicts: 523000 | #Constraints: 98161
563.19/564.79 c #Conflicts: 524000 | #Constraints: 99162
563.19/564.79 c #Conflicts: 525000 | #Constraints: 100164
563.19/564.79 c #Conflicts: 526000 | #Constraints: 101164
563.19/564.79 c #Conflicts: 527000 | #Constraints: 102165
563.19/564.79 c #Conflicts: 528000 | #Constraints: 103166
563.19/564.79 c #Conflicts: 529000 | #Constraints: 104166
563.19/564.79 c #Conflicts: 530000 | #Constraints: 105166
563.19/564.79 c #Conflicts: 531000 | #Constraints: 106167
563.19/564.79 c #Conflicts: 532000 | #Constraints: 107167
563.19/564.79 c #Conflicts: 533000 | #Constraints: 108167
563.19/564.79 c #Conflicts: 534000 | #Constraints: 109168
563.19/564.79 c #Conflicts: 535000 | #Constraints: 110168
563.19/564.79 c #Conflicts: 536000 | #Constraints: 111168
563.19/564.79 c #Conflicts: 537000 | #Constraints: 112170
563.19/564.79 c #Conflicts: 538000 | #Constraints: 113170
563.19/564.79 c #Conflicts: 539000 | #Constraints: 114172
563.19/564.79 c #Conflicts: 540000 | #Constraints: 115173
600.40/602.04 c #Conflicts: 541000 | #Constraints: 116173
600.40/602.04 c #Conflicts: 542000 | #Constraints: 117174
600.40/602.04 c #Conflicts: 543000 | #Constraints: 118174
600.40/602.04 c #Conflicts: 544000 | #Constraints: 119175
600.40/602.04 c #Conflicts: 545000 | #Constraints: 120175
600.40/602.04 c #Conflicts: 546000 | #Constraints: 121175
600.40/602.04 c #Conflicts: 547000 | #Constraints: 122175
600.40/602.04 c INPROCESSING
600.40/602.04 c GARBAGE COLLECT
600.40/602.04 c #Conflicts: 548000 | #Constraints: 85957
600.40/602.04 c #Conflicts: 549000 | #Constraints: 86958
600.40/602.04 c #Conflicts: 550000 | #Constraints: 87958
600.40/602.04 c #Conflicts: 551000 | #Constraints: 88958
600.40/602.04 c #Conflicts: 552000 | #Constraints: 89958
600.40/602.04 c #Conflicts: 553000 | #Constraints: 90958
600.40/602.04 c #Conflicts: 554000 | #Constraints: 91958
600.40/602.04 c #Conflicts: 555000 | #Constraints: 92958
600.40/602.04 c #Conflicts: 556000 | #Constraints: 93958
600.40/602.04 c #Conflicts: 557000 | #Constraints: 94958
600.40/602.04 c #Conflicts: 558000 | #Constraints: 95958
600.40/602.04 c #Conflicts: 559000 | #Constraints: 96958
600.40/602.04 c #Conflicts: 560000 | #Constraints: 97958
600.40/602.04 c #Conflicts: 561000 | #Constraints: 98958
600.40/602.04 c #Conflicts: 562000 | #Constraints: 99958
600.40/602.04 c #Conflicts: 563000 | #Constraints: 100959
600.40/602.04 c #Conflicts: 564000 | #Constraints: 101960
600.40/602.04 c INPROCESSING
600.40/602.04 c GARBAGE COLLECT
600.40/602.04 WSVECS04 Frhs2[35]: 6 -0.5 0 shouldn't be
600.40/602.04 WSVECS04 Frhs2[87]: 6 0 1 shouldn't be
600.40/602.04 WSVECS04 Frhs2[246]: 6 0 4269.42 shouldn't be
600.40/602.04 WSVECS04 Frhs2[247]: 6 0 8465.64 shouldn't be
600.40/602.04 WSVECS04 Frhs2[267]: 6 0 3756.56 shouldn't be
600.40/602.04 WSVECS04 Frhs2[304]: 6 0 734.857 shouldn't be
600.40/602.04 WSVECS04 Frhs2[331]: 6 0 1115.74 shouldn't be
600.40/602.04 WSVECS04 Frhs2[352]: 6 0 635.366 shouldn't be
600.40/602.04 WSVECS04 Frhs2[398]: 6 0 25.575 shouldn't be
600.40/602.04 WSVECS04 Frhs2[399]: 6 0 25.6375 shouldn't be
600.40/602.04 WSVECS04 Frhs2[402]: 6 0 25.825 shouldn't be
600.40/602.04 WSVECS04 Frhs2[403]: 6 0 25.8875 shouldn't be
600.40/602.04 WSVECS04 Frhs2[404]: 6 0 25.95 shouldn't be
600.40/602.04 WSVECS04 Frhs2[409]: 6 0 26.2625 shouldn't be
600.40/602.04 WSVECS04 Frhs2[410]: 6 0 27.325 shouldn't be
600.40/602.04 WSVECS04 Frhs2[415]: 6 0 4222.8 shouldn't be
600.40/602.04 WSVECS04 Frhs2[426]: 6 -0.625 0 shouldn't be
600.40/602.04 WSVECS04 Frhs2[442]: 6 0 0.500001 shouldn't be
600.40/602.04 WSVECS04 Frhs2[445]: 6 0 0.875001 shouldn't be
600.40/602.04 WSVECS04 Frhs2[450]: 6 0 1.5 shouldn't be
600.40/602.04 WSVECS04 Frhs2[451]: 6 0 1.625 shouldn't be
600.40/602.04 WSVECS04 Frhs2[452]: 6 0 1.75 shouldn't be
600.40/602.04 WSVECS04 Frhs2[453]: 6 0 1.875 shouldn't be
600.40/602.04 WSVECS04 Frhs2[454]: 6 0 2 shouldn't be
600.40/602.04 WSVECS04 Frhs2[457]: 6 0 4426.04 shouldn't be
600.40/602.04 WSVECS04 Frhs2[474]: 6 0 0.062501 shouldn't be
600.40/602.04 WSVECS04 Frhs2[475]: 6 0 0.125001 shouldn't be
600.40/602.04 WSVECS04 Frhs2[476]: 6 0 0.1875 shouldn't be
600.40/602.04 WSVECS04 Frhs2[477]: 6 0 0.25 shouldn't be
600.40/602.04 WSVECS04 Frhs2[478]: 6 0 3590.09 shouldn't be
600.40/602.04 WSVECS04 Frhs2[499]: 6 0 1271.23 shouldn't be
600.40/602.04 WSVECS04 Frhs2[540]: 6 0 224.929 shouldn't be
600.40/602.04 WSVECS04 Frhs2[560]: 6 0 0.086539 shouldn't be
600.40/602.04 WSVECS04 Frhs2[561]: 6 0 291.154 shouldn't be
600.40/602.04 WSVECS04 Frhs2[562]: 6 0 154.836 shouldn't be
600.40/602.04 WSVECS04 Frhs2[853]: 6 0 111.116 shouldn't be
600.40/602.04 WSVECS04 Frhs2[872]: 6 0 110.116 shouldn't be
600.40/602.04 WSVECS04 Frhs2[914]: 6 0 1270.98 shouldn't be
600.40/602.04 WSVECS04 Frhs2[915]: 6 0 4375.9 shouldn't be
600.40/602.04 WSVECS04 Frhs2[938]: 6 0 2.18374 shouldn't be
600.40/602.04 WSVECS04 Frhs2[957]: 6 0 154.802 shouldn't be
600.40/602.04 WSVECS04 Frhs2[960]: 6 0 1473.93 shouldn't be
600.40/602.04 WSVECS04 Frhs2[977]: 6 0 2745.47 shouldn't be
600.40/602.04 WSVECS04 Frhs2[978]: 6 0 2822.91 shouldn't be
600.40/602.04 WSVECS04 Frhs2[979]: 6 0 36.681 shouldn't be
600.40/602.04 WSVECS04 Frhs2[981]: 6 0 36.931 shouldn't be
600.40/602.04 WSVECS04 Frhs2[985]: 6 0 37.431 shouldn't be
600.40/602.04 WSVECS04 Frhs2[986]: 6 0 37.556 shouldn't be
600.40/602.04 WSVECS04 Frhs2[995]: 6 0 38.681 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1001]: 6 -1 0 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1020]: 6 0 0.1875 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1062]: 6 0 815.792 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1094]: 6 -3760.56 0 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1103]: 6 0 508.36 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1104]: 6 0 508.36 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1129]: 6 0 52.1255 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1133]: 6 0 52.3755 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1134]: 6 0 52.438 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1135]: 6 0 52.5005 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1138]: 6 0 52.688 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1139]: 6 0 52.7505 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1140]: 6 0 52.813 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1141]: 6 0 52.8755 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1144]: 6 0 53.063 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1349]: 6 0 549.838 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1360]: 6 0 0.125 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1796]: 6 0 149.136 shouldn't be
600.40/602.04 WSVECS04 Frhs2[1997]: 6 -0.0625005 0 shouldn't be
600.40/602.04 WSVECS04 Frhs2[2003]: 6 0 0.3125 shouldn't be
600.40/602.04 WSVECS04 Frhs2[2005]: 6 0 73.2032 shouldn't be
600.40/602.04 WSVECS04 Frhs2[3246]: 6 0 1940.42 shouldn't be
600.40/602.04 WSVECS04 Frhs2[3379]: 6 0 1940.42 shouldn't be
600.40/602.04 WSVECS04 Frhs2[3541]: 6 0 1940.42 shouldn't be
695.54/697.41 c #Conflicts: 565000 | #Constraints: 76092
695.54/697.41 c #Conflicts: 566000 | #Constraints: 77092
695.54/697.41 c #Conflicts: 567000 | #Constraints: 78092
695.54/697.41 c #Conflicts: 568000 | #Constraints: 79092
695.54/697.41 c #Conflicts: 569000 | #Constraints: 80092
695.54/697.41 c #Conflicts: 570000 | #Constraints: 81092
695.54/697.41 c #Conflicts: 571000 | #Constraints: 82092
695.54/697.41 c #Conflicts: 572000 | #Constraints: 83092
695.54/697.41 c #Conflicts: 573000 | #Constraints: 84092
695.54/697.41 c #Conflicts: 574000 | #Constraints: 85092
695.54/697.41 c #Conflicts: 575000 | #Constraints: 86093
695.54/697.41 c #Conflicts: 576000 | #Constraints: 87093
695.54/697.41 c #Conflicts: 577000 | #Constraints: 88094
695.54/697.41 c #Conflicts: 578000 | #Constraints: 89096
695.54/697.41 c #Conflicts: 579000 | #Constraints: 90097
695.54/697.41 c #Conflicts: 580000 | #Constraints: 91098
695.54/697.41 c INPROCESSING
695.54/697.41 c GARBAGE COLLECT
695.54/697.41 c #Conflicts: 581000 | #Constraints: 70236
695.54/697.41 c #Conflicts: 582000 | #Constraints: 71242
695.54/697.41 c #Conflicts: 583000 | #Constraints: 72242
695.54/697.41 c #Conflicts: 584000 | #Constraints: 73242
695.54/697.41 c #Conflicts: 585000 | #Constraints: 74243
695.54/697.41 c #Conflicts: 586000 | #Constraints: 75244
695.54/697.41 c #Conflicts: 587000 | #Constraints: 76244
695.54/697.41 c #Conflicts: 588000 | #Constraints: 77244
695.54/697.41 c #Conflicts: 589000 | #Constraints: 78244
695.54/697.41 c #Conflicts: 590000 | #Constraints: 79245
695.54/697.41 c #Conflicts: 591000 | #Constraints: 80245
695.54/697.41 c #Conflicts: 592000 | #Constraints: 81245
695.54/697.41 c #Conflicts: 593000 | #Constraints: 82245
695.54/697.41 c #Conflicts: 594000 | #Constraints: 83245
695.54/697.41 c #Conflicts: 595000 | #Constraints: 84245
695.54/697.41 c #Conflicts: 596000 | #Constraints: 85245
695.54/697.41 c #Conflicts: 597000 | #Constraints: 86245
695.54/697.41 c INPROCESSING
695.54/697.41 c GARBAGE COLLECT
695.54/697.41 c #Conflicts: 598000 | #Constraints: 67817
695.54/697.41 c #Conflicts: 599000 | #Constraints: 68817
695.54/697.41 c #Conflicts: 600000 | #Constraints: 69817
695.54/697.41 c #Conflicts: 601000 | #Constraints: 70817
695.54/697.41 c #Conflicts: 602000 | #Constraints: 71817
695.54/697.41 c #Conflicts: 603000 | #Constraints: 72817
695.54/697.41 c #Conflicts: 604000 | #Constraints: 73817
695.54/697.41 c #Conflicts: 605000 | #Constraints: 74817
695.54/697.41 c #Conflicts: 606000 | #Constraints: 75817
695.54/697.41 c #Conflicts: 607000 | #Constraints: 76817
695.54/697.41 c #Conflicts: 608000 | #Constraints: 77817
695.54/697.41 c #Conflicts: 609000 | #Constraints: 78817
695.54/697.41 c #Conflicts: 610000 | #Constraints: 79817
695.54/697.41 c #Conflicts: 611000 | #Constraints: 80822
695.54/697.41 c #Conflicts: 612000 | #Constraints: 81825
695.54/697.41 c #Conflicts: 613000 | #Constraints: 82825
695.54/697.41 c #Conflicts: 614000 | #Constraints: 83829
695.54/697.41 c #Conflicts: 615000 | #Constraints: 84830
695.54/697.41 c #Conflicts: 616000 | #Constraints: 85831
695.54/697.41 c #Conflicts: 617000 | #Constraints: 86831
695.54/697.41 c #Conflicts: 618000 | #Constraints: 87831
695.54/697.41 c #Conflicts: 619000 | #Constraints: 88833
695.54/697.41 c #Conflicts: 620000 | #Constraints: 89833
695.54/697.41 c #Conflicts: 621000 | #Constraints: 90833
695.54/697.41 c #Conflicts: 622000 | #Constraints: 91833
695.54/697.41 c #Conflicts: 623000 | #Constraints: 92834
695.54/697.41 c #Conflicts: 624000 | #Constraints: 93834
695.54/697.41 c #Conflicts: 625000 | #Constraints: 94834
695.54/697.41 c #Conflicts: 626000 | #Constraints: 95834
695.54/697.41 c #Conflicts: 627000 | #Constraints: 96834
695.54/697.41 c #Conflicts: 628000 | #Constraints: 97834
695.54/697.41 c #Conflicts: 629000 | #Constraints: 98834
695.54/697.41 c #Conflicts: 630000 | #Constraints: 99834
695.54/697.41 c #Conflicts: 631000 | #Constraints: 100834
695.54/697.41 c #Conflicts: 632000 | #Constraints: 101834
695.54/697.41 c #Conflicts: 633000 | #Constraints: 102834
695.54/697.41 c #Conflicts: 634000 | #Constraints: 103835
695.54/697.41 c #Conflicts: 635000 | #Constraints: 104836
695.54/697.41 c #Conflicts: 636000 | #Constraints: 105837
695.54/697.41 c #Conflicts: 637000 | #Constraints: 106837
695.54/697.41 c #Conflicts: 638000 | #Constraints: 107838
695.54/697.41 c #Conflicts: 639000 | #Constraints: 108838
695.54/697.41 c #Conflicts: 640000 | #Constraints: 109839
695.54/697.41 c #Conflicts: 641000 | #Constraints: 110841
695.54/697.41 c #Conflicts: 642000 | #Constraints: 111842
800.36/802.59 c #Conflicts: 643000 | #Constraints: 112843
800.36/802.59 c #Conflicts: 644000 | #Constraints: 113843
800.36/802.59 c #Conflicts: 645000 | #Constraints: 114844
800.36/802.59 c #Conflicts: 646000 | #Constraints: 115845
800.36/802.59 c #Conflicts: 647000 | #Constraints: 116846
800.36/802.59 c #Conflicts: 648000 | #Constraints: 117846
800.36/802.59 c #Conflicts: 649000 | #Constraints: 118846
800.36/802.59 c #Conflicts: 650000 | #Constraints: 119847
800.36/802.59 c #Conflicts: 651000 | #Constraints: 120847
800.36/802.59 c #Conflicts: 652000 | #Constraints: 121847
800.36/802.59 c #Conflicts: 653000 | #Constraints: 122847
800.36/802.59 c #Conflicts: 654000 | #Constraints: 123847
800.36/802.59 c #Conflicts: 655000 | #Constraints: 124847
800.36/802.59 c #Conflicts: 656000 | #Constraints: 125848
800.36/802.59 c #Conflicts: 657000 | #Constraints: 126848
800.36/802.59 c #Conflicts: 658000 | #Constraints: 127849
800.36/802.59 c #Conflicts: 659000 | #Constraints: 128849
800.36/802.59 c #Conflicts: 660000 | #Constraints: 129849
800.36/802.59 c INPROCESSING
800.36/802.59 c GARBAGE COLLECT
800.36/802.59 c #Conflicts: 661000 | #Constraints: 89998
800.36/802.59 c #Conflicts: 662000 | #Constraints: 90998
800.36/802.59 c #Conflicts: 663000 | #Constraints: 91998
800.36/802.59 c #Conflicts: 664000 | #Constraints: 92998
800.36/802.59 c #Conflicts: 665000 | #Constraints: 93998
800.36/802.59 c #Conflicts: 666000 | #Constraints: 94998
800.36/802.59 c #Conflicts: 667000 | #Constraints: 96008
800.36/802.59 c #Conflicts: 668000 | #Constraints: 97009
800.36/802.59 c #Conflicts: 669000 | #Constraints: 98009
800.36/802.59 c #Conflicts: 670000 | #Constraints: 99009
800.36/802.59 c #Conflicts: 671000 | #Constraints: 100009
800.36/802.59 c #Conflicts: 672000 | #Constraints: 101009
800.36/802.59 c #Conflicts: 673000 | #Constraints: 102009
800.36/802.59 c #Conflicts: 674000 | #Constraints: 103009
800.36/802.59 c #Conflicts: 675000 | #Constraints: 104009
800.36/802.59 c #Conflicts: 676000 | #Constraints: 105009
800.36/802.59 c #Conflicts: 677000 | #Constraints: 106009
800.36/802.59 c #Conflicts: 678000 | #Constraints: 107009
800.36/802.59 c INPROCESSING
800.36/802.59 c GARBAGE COLLECT
800.36/802.59 c #Conflicts: 679000 | #Constraints: 78453
800.36/802.59 c #Conflicts: 680000 | #Constraints: 79453
800.36/802.59 c #Conflicts: 681000 | #Constraints: 80453
800.36/802.59 c #Conflicts: 682000 | #Constraints: 81453
800.36/802.59 c #Conflicts: 683000 | #Constraints: 82453
800.36/802.59 c #Conflicts: 684000 | #Constraints: 83453
800.36/802.59 c #Conflicts: 685000 | #Constraints: 84454
800.36/802.59 c #Conflicts: 686000 | #Constraints: 85454
800.36/802.59 c #Conflicts: 687000 | #Constraints: 86454
800.36/802.59 c #Conflicts: 688000 | #Constraints: 87454
800.36/802.59 c #Conflicts: 689000 | #Constraints: 88454
800.36/802.59 c #Conflicts: 690000 | #Constraints: 89454
800.36/802.59 c #Conflicts: 691000 | #Constraints: 90454
800.36/802.59 c #Conflicts: 692000 | #Constraints: 91454
800.36/802.59 c #Conflicts: 693000 | #Constraints: 92454
800.36/802.59 c #Conflicts: 694000 | #Constraints: 93454
800.36/802.59 c #Conflicts: 695000 | #Constraints: 94454
800.36/802.59 c #Conflicts: 696000 | #Constraints: 95454
800.36/802.59 c INPROCESSING
800.36/802.59 c GARBAGE COLLECT
800.36/802.59 c #Conflicts: 697000 | #Constraints: 72452
800.36/802.59 c #Conflicts: 698000 | #Constraints: 73452
800.36/802.59 c #Conflicts: 699000 | #Constraints: 74452
800.36/802.59 c #Conflicts: 700000 | #Constraints: 75452
800.36/802.59 c #Conflicts: 701000 | #Constraints: 76452
800.36/802.59 c #Conflicts: 702000 | #Constraints: 77452
800.36/802.59 c #Conflicts: 703000 | #Constraints: 78452
800.36/802.59 c #Conflicts: 704000 | #Constraints: 79452
800.36/802.59 c #Conflicts: 705000 | #Constraints: 80452
800.36/802.59 c #Conflicts: 706000 | #Constraints: 81452
800.36/802.59 c #Conflicts: 707000 | #Constraints: 82452
800.36/802.59 c #Conflicts: 708000 | #Constraints: 83452
800.36/802.59 c #Conflicts: 709000 | #Constraints: 84452
800.36/802.59 c #Conflicts: 710000 | #Constraints: 85452
800.36/802.59 c #Conflicts: 711000 | #Constraints: 86452
800.36/802.59 c #Conflicts: 712000 | #Constraints: 87452
800.36/802.59 c #Conflicts: 713000 | #Constraints: 88452
800.36/802.59 c #Conflicts: 714000 | #Constraints: 89452
800.36/802.59 c #Conflicts: 715000 | #Constraints: 90452
800.36/802.59 c INPROCESSING
800.36/802.59 c GARBAGE COLLECT
800.36/802.59 c #Conflicts: 716000 | #Constraints: 70052
800.36/802.59 c #Conflicts: 717000 | #Constraints: 71053
800.36/802.59 c #Conflicts: 718000 | #Constraints: 72053
917.46/919.98 c #Conflicts: 719000 | #Constraints: 73053
917.46/919.98 c #Conflicts: 720000 | #Constraints: 74053
917.46/919.98 c #Conflicts: 721000 | #Constraints: 75053
917.46/919.98 c #Conflicts: 722000 | #Constraints: 76053
917.46/919.98 c #Conflicts: 723000 | #Constraints: 77053
917.46/919.98 c #Conflicts: 724000 | #Constraints: 78053
917.46/919.98 c #Conflicts: 725000 | #Constraints: 79053
917.46/919.98 c #Conflicts: 726000 | #Constraints: 80053
917.46/919.98 c #Conflicts: 727000 | #Constraints: 81053
917.46/919.98 c #Conflicts: 728000 | #Constraints: 82053
917.46/919.98 c #Conflicts: 729000 | #Constraints: 83053
917.46/919.98 c #Conflicts: 730000 | #Constraints: 84053
917.46/919.98 c #Conflicts: 731000 | #Constraints: 85053
917.46/919.98 c #Conflicts: 732000 | #Constraints: 86053
917.46/919.98 c #Conflicts: 733000 | #Constraints: 87053
917.46/919.98 c #Conflicts: 734000 | #Constraints: 88053
917.46/919.98 c #Conflicts: 735000 | #Constraints: 89053
917.46/919.98 c #Conflicts: 736000 | #Constraints: 90053
917.46/919.98 c #Conflicts: 737000 | #Constraints: 91053
917.46/919.98 c #Conflicts: 738000 | #Constraints: 92053
917.46/919.98 c #Conflicts: 739000 | #Constraints: 93053
917.46/919.98 c #Conflicts: 740000 | #Constraints: 94053
917.46/919.98 c #Conflicts: 741000 | #Constraints: 95053
917.46/919.98 c #Conflicts: 742000 | #Constraints: 96053
917.46/919.98 c #Conflicts: 743000 | #Constraints: 97053
917.46/919.98 c #Conflicts: 744000 | #Constraints: 98053
917.46/919.98 c #Conflicts: 745000 | #Constraints: 99053
917.46/919.98 c #Conflicts: 746000 | #Constraints: 100053
917.46/919.98 c #Conflicts: 747000 | #Constraints: 101053
917.46/919.98 c #Conflicts: 748000 | #Constraints: 102053
917.46/919.98 c #Conflicts: 749000 | #Constraints: 103053
917.46/919.98 c #Conflicts: 750000 | #Constraints: 104053
917.46/919.98 c #Conflicts: 751000 | #Constraints: 105053
917.46/919.98 c #Conflicts: 752000 | #Constraints: 106053
917.46/919.98 c #Conflicts: 753000 | #Constraints: 107053
917.46/919.98 c #Conflicts: 754000 | #Constraints: 108053
917.46/919.98 c #Conflicts: 755000 | #Constraints: 109053
917.46/919.98 c #Conflicts: 756000 | #Constraints: 110053
917.46/919.98 c #Conflicts: 757000 | #Constraints: 111053
917.46/919.98 c #Conflicts: 758000 | #Constraints: 112053
917.46/919.98 c #Conflicts: 759000 | #Constraints: 113053
917.46/919.98 c #Conflicts: 760000 | #Constraints: 114053
917.46/919.98 c #Conflicts: 761000 | #Constraints: 115053
917.46/919.98 c #Conflicts: 762000 | #Constraints: 116053
917.46/919.98 c #Conflicts: 763000 | #Constraints: 117053
917.46/919.98 c #Conflicts: 764000 | #Constraints: 118053
917.46/919.98 c #Conflicts: 765000 | #Constraints: 119053
917.46/919.98 c #Conflicts: 766000 | #Constraints: 120053
917.46/919.98 c #Conflicts: 767000 | #Constraints: 121053
917.46/919.98 c #Conflicts: 768000 | #Constraints: 122053
917.46/919.98 c #Conflicts: 769000 | #Constraints: 123053
917.46/919.98 c #Conflicts: 770000 | #Constraints: 124053
917.46/919.98 c #Conflicts: 771000 | #Constraints: 125053
917.46/919.98 c #Conflicts: 772000 | #Constraints: 126053
917.46/919.98 c #Conflicts: 773000 | #Constraints: 127053
917.46/919.98 c #Conflicts: 774000 | #Constraints: 128053
917.46/919.98 c #Conflicts: 775000 | #Constraints: 129053
917.46/919.98 c #Conflicts: 776000 | #Constraints: 130053
917.46/919.98 c #Conflicts: 777000 | #Constraints: 131053
917.46/919.98 c #Conflicts: 778000 | #Constraints: 132053
917.46/919.98 c #Conflicts: 779000 | #Constraints: 133053
917.46/919.98 c #Conflicts: 780000 | #Constraints: 134053
917.46/919.98 c #Conflicts: 781000 | #Constraints: 135053
917.46/919.98 c #Conflicts: 782000 | #Constraints: 136053
917.46/919.98 c #Conflicts: 783000 | #Constraints: 137053
917.46/919.98 c INPROCESSING
917.46/919.98 c GARBAGE COLLECT
917.46/919.98 c #Conflicts: 784000 | #Constraints: 93611
917.46/919.98 c #Conflicts: 785000 | #Constraints: 94611
917.46/919.98 c #Conflicts: 786000 | #Constraints: 95611
917.46/919.98 c #Conflicts: 787000 | #Constraints: 96611
917.46/919.98 c #Conflicts: 788000 | #Constraints: 97611
917.46/919.98 c #Conflicts: 789000 | #Constraints: 98611
917.46/919.98 c #Conflicts: 790000 | #Constraints: 99611
917.46/919.98 c #Conflicts: 791000 | #Constraints: 100611
917.46/919.98 c #Conflicts: 792000 | #Constraints: 101611
917.46/919.98 c #Conflicts: 793000 | #Constraints: 102611
917.46/919.98 c #Conflicts: 794000 | #Constraints: 103611
917.46/919.98 c #Conflicts: 795000 | #Constraints: 104611
917.46/919.98 c #Conflicts: 796000 | #Constraints: 105611
1016.89/1019.69 c #Conflicts: 797000 | #Constraints: 106612
1016.89/1019.69 c #Conflicts: 798000 | #Constraints: 107612
1016.89/1019.69 c #Conflicts: 799000 | #Constraints: 108613
1016.89/1019.69 c #Conflicts: 800000 | #Constraints: 109613
1016.89/1019.69 c #Conflicts: 801000 | #Constraints: 110614
1016.89/1019.69 c #Conflicts: 802000 | #Constraints: 111614
1016.89/1019.69 c #Conflicts: 803000 | #Constraints: 112615
1016.89/1019.69 c INPROCESSING
1016.89/1019.69 c GARBAGE COLLECT
1016.89/1019.69 c #Conflicts: 804000 | #Constraints: 81420
1016.89/1019.69 c #Conflicts: 805000 | #Constraints: 82420
1016.89/1019.69 c #Conflicts: 806000 | #Constraints: 83420
1016.89/1019.69 c #Conflicts: 807000 | #Constraints: 84420
1016.89/1019.69 c #Conflicts: 808000 | #Constraints: 85420
1016.89/1019.69 c #Conflicts: 809000 | #Constraints: 86420
1016.89/1019.69 c #Conflicts: 810000 | #Constraints: 87421
1016.89/1019.69 c #Conflicts: 811000 | #Constraints: 88422
1016.89/1019.69 c #Conflicts: 812000 | #Constraints: 89423
1016.89/1019.69 c #Conflicts: 813000 | #Constraints: 90424
1016.89/1019.69 c #Conflicts: 814000 | #Constraints: 91425
1016.89/1019.69 c #Conflicts: 815000 | #Constraints: 92425
1016.89/1019.69 c #Conflicts: 816000 | #Constraints: 93425
1016.89/1019.69 c #Conflicts: 817000 | #Constraints: 94426
1016.89/1019.69 c #Conflicts: 818000 | #Constraints: 95427
1016.89/1019.69 c #Conflicts: 819000 | #Constraints: 96427
1016.89/1019.69 c #Conflicts: 820000 | #Constraints: 97428
1016.89/1019.69 c #Conflicts: 821000 | #Constraints: 98429
1016.89/1019.69 c #Conflicts: 822000 | #Constraints: 99431
1016.89/1019.69 c #Conflicts: 823000 | #Constraints: 100432
1016.89/1019.69 c INPROCESSING
1016.89/1019.69 c GARBAGE COLLECT
1016.89/1019.69 c #Conflicts: 824000 | #Constraints: 75218
1016.89/1019.69 c #Conflicts: 825000 | #Constraints: 76219
1016.89/1019.69 c #Conflicts: 826000 | #Constraints: 77219
1016.89/1019.69 c #Conflicts: 827000 | #Constraints: 78219
1016.89/1019.69 c #Conflicts: 828000 | #Constraints: 79219
1016.89/1019.69 c #Conflicts: 829000 | #Constraints: 80219
1016.89/1019.69 c #Conflicts: 830000 | #Constraints: 81219
1016.89/1019.69 c #Conflicts: 831000 | #Constraints: 82219
1016.89/1019.69 c #Conflicts: 832000 | #Constraints: 83219
1016.89/1019.69 c #Conflicts: 833000 | #Constraints: 84219
1016.89/1019.69 c #Conflicts: 834000 | #Constraints: 85219
1016.89/1019.69 c #Conflicts: 835000 | #Constraints: 86219
1016.89/1019.69 c #Conflicts: 836000 | #Constraints: 87219
1016.89/1019.69 c #Conflicts: 837000 | #Constraints: 88219
1016.89/1019.69 c #Conflicts: 838000 | #Constraints: 89219
1016.89/1019.69 c #Conflicts: 839000 | #Constraints: 90219
1016.89/1019.69 c #Conflicts: 840000 | #Constraints: 91220
1016.89/1019.69 c #Conflicts: 841000 | #Constraints: 92220
1016.89/1019.69 c #Conflicts: 842000 | #Constraints: 93220
1016.89/1019.69 c #Conflicts: 843000 | #Constraints: 94220
1016.89/1019.69 c INPROCESSING
1016.89/1019.69 c GARBAGE COLLECT
1016.89/1019.69 c #Conflicts: 844000 | #Constraints: 71893
1016.89/1019.69 c #Conflicts: 845000 | #Constraints: 72893
1016.89/1019.69 c #Conflicts: 846000 | #Constraints: 73893
1016.89/1019.69 c #Conflicts: 847000 | #Constraints: 74893
1016.89/1019.69 c #Conflicts: 848000 | #Constraints: 75893
1016.89/1019.69 c #Conflicts: 849000 | #Constraints: 76893
1016.89/1019.69 c #Conflicts: 850000 | #Constraints: 77893
1016.89/1019.69 c #Conflicts: 851000 | #Constraints: 78893
1016.89/1019.69 c #Conflicts: 852000 | #Constraints: 79893
1016.89/1019.69 c #Conflicts: 853000 | #Constraints: 80893
1016.89/1019.69 c #Conflicts: 854000 | #Constraints: 81893
1016.89/1019.69 c #Conflicts: 855000 | #Constraints: 82893
1016.89/1019.69 c #Conflicts: 856000 | #Constraints: 83893
1016.89/1019.69 c #Conflicts: 857000 | #Constraints: 84893
1016.89/1019.69 c #Conflicts: 858000 | #Constraints: 85893
1016.89/1019.69 c #Conflicts: 859000 | #Constraints: 86893
1016.89/1019.69 c #Conflicts: 860000 | #Constraints: 87893
1016.89/1019.69 c #Conflicts: 861000 | #Constraints: 88893
1016.89/1019.69 c #Conflicts: 862000 | #Constraints: 89894
1016.89/1019.69 c #Conflicts: 863000 | #Constraints: 90894
1016.89/1019.69 c #Conflicts: 864000 | #Constraints: 91894
1016.89/1019.69 c #Conflicts: 865000 | #Constraints: 92894
1016.89/1019.69 c #Conflicts: 866000 | #Constraints: 93894
1016.89/1019.69 c #Conflicts: 867000 | #Constraints: 94894
1016.89/1019.69 c #Conflicts: 868000 | #Constraints: 95894
1016.89/1019.69 c #Conflicts: 869000 | #Constraints: 96894
1016.89/1019.69 c #Conflicts: 870000 | #Constraints: 97894
1016.89/1019.69 c #Conflicts: 871000 | #Constraints: 98894
1016.89/1019.69 c #Conflicts: 872000 | #Constraints: 99894
1016.89/1019.69 c #Conflicts: 873000 | #Constraints: 100894
1145.45/1148.50 c #Conflicts: 874000 | #Constraints: 101894
1145.45/1148.50 c #Conflicts: 875000 | #Constraints: 102894
1145.45/1148.50 c #Conflicts: 876000 | #Constraints: 103894
1145.45/1148.50 c #Conflicts: 877000 | #Constraints: 104894
1145.45/1148.50 c #Conflicts: 878000 | #Constraints: 105894
1145.45/1148.50 c #Conflicts: 879000 | #Constraints: 106894
1145.45/1148.50 c #Conflicts: 880000 | #Constraints: 107894
1145.45/1148.50 c #Conflicts: 881000 | #Constraints: 108894
1145.45/1148.50 c #Conflicts: 882000 | #Constraints: 109895
1145.45/1148.50 c #Conflicts: 883000 | #Constraints: 110896
1145.45/1148.50 c #Conflicts: 884000 | #Constraints: 111896
1145.45/1148.50 c #Conflicts: 885000 | #Constraints: 112897
1145.45/1148.50 c #Conflicts: 886000 | #Constraints: 113898
1145.45/1148.50 c #Conflicts: 887000 | #Constraints: 114898
1145.45/1148.50 c #Conflicts: 888000 | #Constraints: 115899
1145.45/1148.50 c #Conflicts: 889000 | #Constraints: 116900
1145.45/1148.50 c #Conflicts: 890000 | #Constraints: 117902
1145.45/1148.50 c #Conflicts: 891000 | #Constraints: 118902
1145.45/1148.50 c #Conflicts: 892000 | #Constraints: 119902
1145.45/1148.50 c #Conflicts: 893000 | #Constraints: 120902
1145.45/1148.50 c #Conflicts: 894000 | #Constraints: 121902
1145.45/1148.50 c #Conflicts: 895000 | #Constraints: 122902
1145.45/1148.50 c #Conflicts: 896000 | #Constraints: 123902
1145.45/1148.50 c #Conflicts: 897000 | #Constraints: 124902
1145.45/1148.50 c #Conflicts: 898000 | #Constraints: 125902
1145.45/1148.50 c #Conflicts: 899000 | #Constraints: 126902
1145.45/1148.50 c #Conflicts: 900000 | #Constraints: 127902
1145.45/1148.50 c #Conflicts: 901000 | #Constraints: 128902
1145.45/1148.50 c #Conflicts: 902000 | #Constraints: 129903
1145.45/1148.50 c #Conflicts: 903000 | #Constraints: 130904
1145.45/1148.50 c #Conflicts: 904000 | #Constraints: 131904
1145.45/1148.50 c #Conflicts: 905000 | #Constraints: 132904
1145.45/1148.50 c #Conflicts: 906000 | #Constraints: 133904
1145.45/1148.50 c #Conflicts: 907000 | #Constraints: 134904
1145.45/1148.50 c #Conflicts: 908000 | #Constraints: 135904
1145.45/1148.50 c #Conflicts: 909000 | #Constraints: 136904
1145.45/1148.50 c #Conflicts: 910000 | #Constraints: 137905
1145.45/1148.50 c #Conflicts: 911000 | #Constraints: 138907
1145.45/1148.50 c #Conflicts: 912000 | #Constraints: 139908
1145.45/1148.50 c #Conflicts: 913000 | #Constraints: 140908
1145.45/1148.50 c #Conflicts: 914000 | #Constraints: 141910
1145.45/1148.50 c #Conflicts: 915000 | #Constraints: 142911
1145.45/1148.50 c #Conflicts: 916000 | #Constraints: 143912
1145.45/1148.50 c INPROCESSING
1145.45/1148.50 c GARBAGE COLLECT
1145.45/1148.50 c #Conflicts: 917000 | #Constraints: 96863
1145.45/1148.50 c #Conflicts: 918000 | #Constraints: 97864
1145.45/1148.50 c #Conflicts: 919000 | #Constraints: 98864
1145.45/1148.50 c #Conflicts: 920000 | #Constraints: 99864
1145.45/1148.50 c #Conflicts: 921000 | #Constraints: 100864
1145.45/1148.50 c #Conflicts: 922000 | #Constraints: 101864
1145.45/1148.50 c #Conflicts: 923000 | #Constraints: 102864
1145.45/1148.50 c #Conflicts: 924000 | #Constraints: 103864
1145.45/1148.50 c #Conflicts: 925000 | #Constraints: 104864
1145.45/1148.50 c #Conflicts: 926000 | #Constraints: 105864
1145.45/1148.50 c #Conflicts: 927000 | #Constraints: 106864
1145.45/1148.50 c #Conflicts: 928000 | #Constraints: 107864
1145.45/1148.50 c #Conflicts: 929000 | #Constraints: 108864
1145.45/1148.50 c #Conflicts: 930000 | #Constraints: 109865
1145.45/1148.50 c #Conflicts: 931000 | #Constraints: 110865
1145.45/1148.50 c #Conflicts: 932000 | #Constraints: 111865
1145.45/1148.50 c #Conflicts: 933000 | #Constraints: 112865
1145.45/1148.50 c #Conflicts: 934000 | #Constraints: 113865
1145.45/1148.50 c #Conflicts: 935000 | #Constraints: 114867
1145.45/1148.50 c #Conflicts: 936000 | #Constraints: 115867
1145.45/1148.50 c #Conflicts: 937000 | #Constraints: 116867
1145.45/1148.50 c #Conflicts: 938000 | #Constraints: 117867
1145.45/1148.50 c INPROCESSING
1145.45/1148.50 c GARBAGE COLLECT
1145.45/1148.50 c #Conflicts: 939000 | #Constraints: 84013
1145.45/1148.50 c #Conflicts: 940000 | #Constraints: 85013
1145.45/1148.50 c #Conflicts: 941000 | #Constraints: 86013
1145.45/1148.50 c #Conflicts: 942000 | #Constraints: 87013
1145.45/1148.50 c #Conflicts: 943000 | #Constraints: 88013
1145.45/1148.50 c #Conflicts: 944000 | #Constraints: 89013
1145.45/1148.50 c #Conflicts: 945000 | #Constraints: 90013
1145.45/1148.50 c #Conflicts: 946000 | #Constraints: 91013
1145.45/1148.50 c #Conflicts: 947000 | #Constraints: 92014
1145.45/1148.50 c #Conflicts: 948000 | #Constraints: 93016
1145.45/1148.50 c #Conflicts: 949000 | #Constraints: 94019
1145.45/1148.50 c #Conflicts: 950000 | #Constraints: 95021
1145.45/1148.50 c #Conflicts: 951000 | #Constraints: 96021
1282.89/1286.34 c #Conflicts: 952000 | #Constraints: 97022
1282.89/1286.34 c #Conflicts: 953000 | #Constraints: 98022
1282.89/1286.34 c #Conflicts: 954000 | #Constraints: 99022
1282.89/1286.34 c #Conflicts: 955000 | #Constraints: 100025
1282.89/1286.34 c #Conflicts: 956000 | #Constraints: 101026
1282.89/1286.34 c #Conflicts: 957000 | #Constraints: 102030
1282.89/1286.34 c #Conflicts: 958000 | #Constraints: 103032
1282.89/1286.34 c #Conflicts: 959000 | #Constraints: 104032
1282.89/1286.34 c #Conflicts: 960000 | #Constraints: 105034
1282.89/1286.34 c INPROCESSING
1282.89/1286.34 c GARBAGE COLLECT
1282.89/1286.34 c #Conflicts: 961000 | #Constraints: 77610
1282.89/1286.34 c #Conflicts: 962000 | #Constraints: 78610
1282.89/1286.34 c #Conflicts: 963000 | #Constraints: 79610
1282.89/1286.34 c #Conflicts: 964000 | #Constraints: 80610
1282.89/1286.34 c #Conflicts: 965000 | #Constraints: 81610
1282.89/1286.34 c #Conflicts: 966000 | #Constraints: 82610
1282.89/1286.34 c #Conflicts: 967000 | #Constraints: 83610
1282.89/1286.34 c #Conflicts: 968000 | #Constraints: 84610
1282.89/1286.34 c #Conflicts: 969000 | #Constraints: 85610
1282.89/1286.34 c #Conflicts: 970000 | #Constraints: 86610
1282.89/1286.34 c #Conflicts: 971000 | #Constraints: 87610
1282.89/1286.34 c #Conflicts: 972000 | #Constraints: 88610
1282.89/1286.34 c #Conflicts: 973000 | #Constraints: 89610
1282.89/1286.34 c #Conflicts: 974000 | #Constraints: 90610
1282.89/1286.34 c #Conflicts: 975000 | #Constraints: 91610
1282.89/1286.34 c #Conflicts: 976000 | #Constraints: 92610
1282.89/1286.34 c #Conflicts: 977000 | #Constraints: 93610
1282.89/1286.34 c #Conflicts: 978000 | #Constraints: 94610
1282.89/1286.34 c #Conflicts: 979000 | #Constraints: 95610
1282.89/1286.34 c #Conflicts: 980000 | #Constraints: 96610
1282.89/1286.34 c #Conflicts: 981000 | #Constraints: 97610
1282.89/1286.34 c #Conflicts: 982000 | #Constraints: 98611
1282.89/1286.34 c INPROCESSING
1282.89/1286.34 c GARBAGE COLLECT
1282.89/1286.34 c #Conflicts: 983000 | #Constraints: 74363
1282.89/1286.34 c #Conflicts: 984000 | #Constraints: 75363
1282.89/1286.34 c #Conflicts: 985000 | #Constraints: 76364
1282.89/1286.34 c #Conflicts: 986000 | #Constraints: 77364
1282.89/1286.34 c #Conflicts: 987000 | #Constraints: 78364
1282.89/1286.34 c #Conflicts: 988000 | #Constraints: 79364
1282.89/1286.34 c #Conflicts: 989000 | #Constraints: 80364
1282.89/1286.34 c #Conflicts: 990000 | #Constraints: 81364
1282.89/1286.34 c #Conflicts: 991000 | #Constraints: 82364
1282.89/1286.34 c #Conflicts: 992000 | #Constraints: 83364
1282.89/1286.34 c #Conflicts: 993000 | #Constraints: 84364
1282.89/1286.34 c #Conflicts: 994000 | #Constraints: 85364
1282.89/1286.34 c #Conflicts: 995000 | #Constraints: 86364
1282.89/1286.34 c #Conflicts: 996000 | #Constraints: 87365
1282.89/1286.34 c #Conflicts: 997000 | #Constraints: 88367
1282.89/1286.34 c #Conflicts: 998000 | #Constraints: 89369
1282.89/1286.34 c #Conflicts: 999000 | #Constraints: 90369
1282.89/1286.34 c #Conflicts: 1000000 | #Constraints: 91373
1282.89/1286.34 c #Conflicts: 1001000 | #Constraints: 92375
1282.89/1286.34 c #Conflicts: 1002000 | #Constraints: 93378
1282.89/1286.34 c #Conflicts: 1003000 | #Constraints: 94380
1282.89/1286.34 c #Conflicts: 1004000 | #Constraints: 95381
1282.89/1286.34 c #Conflicts: 1005000 | #Constraints: 96382
1282.89/1286.34 c #Conflicts: 1006000 | #Constraints: 97383
1282.89/1286.34 c #Conflicts: 1007000 | #Constraints: 98384
1282.89/1286.34 c #Conflicts: 1008000 | #Constraints: 99384
1282.89/1286.34 c #Conflicts: 1009000 | #Constraints: 100385
1282.89/1286.34 c #Conflicts: 1010000 | #Constraints: 101385
1282.89/1286.34 c #Conflicts: 1011000 | #Constraints: 102386
1282.89/1286.34 c #Conflicts: 1012000 | #Constraints: 103386
1282.89/1286.34 c #Conflicts: 1013000 | #Constraints: 104387
1282.89/1286.34 c #Conflicts: 1014000 | #Constraints: 105389
1282.89/1286.34 c #Conflicts: 1015000 | #Constraints: 106391
1282.89/1286.34 c #Conflicts: 1016000 | #Constraints: 107392
1282.89/1286.34 c #Conflicts: 1017000 | #Constraints: 108392
1282.89/1286.34 c #Conflicts: 1018000 | #Constraints: 109393
1282.89/1286.34 c #Conflicts: 1019000 | #Constraints: 110397
1282.89/1286.34 c #Conflicts: 1020000 | #Constraints: 111401
1282.89/1286.34 c #Conflicts: 1021000 | #Constraints: 112407
1282.89/1286.34 c #Conflicts: 1022000 | #Constraints: 113410
1282.89/1286.34 c #Conflicts: 1023000 | #Constraints: 114411
1282.89/1286.34 c #Conflicts: 1024000 | #Constraints: 115411
1282.89/1286.34 c #Conflicts: 1025000 | #Constraints: 116412
1282.89/1286.34 c #Conflicts: 1026000 | #Constraints: 117415
1282.89/1286.34 c #Conflicts: 1027000 | #Constraints: 118415
1282.89/1286.34 c #Conflicts: 1028000 | #Constraints: 119416
1430.90/1434.79 c #Conflicts: 1029000 | #Constraints: 120416
1430.90/1434.79 c #Conflicts: 1030000 | #Constraints: 121416
1430.90/1434.79 c #Conflicts: 1031000 | #Constraints: 122416
1430.90/1434.79 c #Conflicts: 1032000 | #Constraints: 123416
1430.90/1434.79 c #Conflicts: 1033000 | #Constraints: 124416
1430.90/1434.79 c #Conflicts: 1034000 | #Constraints: 125416
1430.90/1434.79 c #Conflicts: 1035000 | #Constraints: 126416
1430.90/1434.79 c #Conflicts: 1036000 | #Constraints: 127416
1430.90/1434.79 c #Conflicts: 1037000 | #Constraints: 128416
1430.90/1434.79 c #Conflicts: 1038000 | #Constraints: 129416
1430.90/1434.79 c #Conflicts: 1039000 | #Constraints: 130416
1430.90/1434.79 c #Conflicts: 1040000 | #Constraints: 131416
1430.90/1434.79 c #Conflicts: 1041000 | #Constraints: 132416
1430.90/1434.79 c #Conflicts: 1042000 | #Constraints: 133416
1430.90/1434.79 c #Conflicts: 1043000 | #Constraints: 134416
1430.90/1434.79 c #Conflicts: 1044000 | #Constraints: 135416
1430.90/1434.79 c #Conflicts: 1045000 | #Constraints: 136416
1430.90/1434.79 c #Conflicts: 1046000 | #Constraints: 137416
1430.90/1434.79 c #Conflicts: 1047000 | #Constraints: 138416
1430.90/1434.79 c #Conflicts: 1048000 | #Constraints: 139416
1430.90/1434.79 c #Conflicts: 1049000 | #Constraints: 140416
1430.90/1434.79 c #Conflicts: 1050000 | #Constraints: 141416
1430.90/1434.79 c #Conflicts: 1051000 | #Constraints: 142416
1430.90/1434.79 c #Conflicts: 1052000 | #Constraints: 143416
1430.90/1434.79 c #Conflicts: 1053000 | #Constraints: 144416
1430.90/1434.79 c #Conflicts: 1054000 | #Constraints: 145416
1430.90/1434.79 c #Conflicts: 1055000 | #Constraints: 146416
1430.90/1434.79 c #Conflicts: 1056000 | #Constraints: 147417
1430.90/1434.79 c #Conflicts: 1057000 | #Constraints: 148417
1430.90/1434.79 c #Conflicts: 1058000 | #Constraints: 149417
1430.90/1434.79 c #Conflicts: 1059000 | #Constraints: 150417
1430.90/1434.79 c #Conflicts: 1060000 | #Constraints: 151417
1430.90/1434.79 c INPROCESSING
1430.90/1434.79 c GARBAGE COLLECT
1430.90/1434.79 c #Conflicts: 1061000 | #Constraints: 100705
1430.90/1434.79 c #Conflicts: 1062000 | #Constraints: 101705
1430.90/1434.79 c #Conflicts: 1063000 | #Constraints: 102706
1430.90/1434.79 c #Conflicts: 1064000 | #Constraints: 103706
1430.90/1434.79 c #Conflicts: 1065000 | #Constraints: 104706
1430.90/1434.79 c #Conflicts: 1066000 | #Constraints: 105706
1430.90/1434.79 c #Conflicts: 1067000 | #Constraints: 106706
1430.90/1434.79 c #Conflicts: 1068000 | #Constraints: 107706
1430.90/1434.79 c #Conflicts: 1069000 | #Constraints: 108706
1430.90/1434.79 c #Conflicts: 1070000 | #Constraints: 109706
1430.90/1434.79 c #Conflicts: 1071000 | #Constraints: 110706
1430.90/1434.79 c #Conflicts: 1072000 | #Constraints: 111706
1430.90/1434.79 c #Conflicts: 1073000 | #Constraints: 112706
1430.90/1434.79 c #Conflicts: 1074000 | #Constraints: 113706
1430.90/1434.79 c #Conflicts: 1075000 | #Constraints: 114706
1430.90/1434.79 c #Conflicts: 1076000 | #Constraints: 115706
1430.90/1434.79 c #Conflicts: 1077000 | #Constraints: 116706
1430.90/1434.79 c #Conflicts: 1078000 | #Constraints: 117706
1430.90/1434.79 c #Conflicts: 1079000 | #Constraints: 118706
1430.90/1434.79 c #Conflicts: 1080000 | #Constraints: 119706
1430.90/1434.79 c #Conflicts: 1081000 | #Constraints: 120707
1430.90/1434.79 c #Conflicts: 1082000 | #Constraints: 121707
1430.90/1434.79 c #Conflicts: 1083000 | #Constraints: 122707
1430.90/1434.79 c INPROCESSING
1430.90/1434.79 c GARBAGE COLLECT
1430.90/1434.79 c #Conflicts: 1084000 | #Constraints: 86151
1430.90/1434.79 c #Conflicts: 1085000 | #Constraints: 87152
1430.90/1434.79 c #Conflicts: 1086000 | #Constraints: 88152
1430.90/1434.79 c #Conflicts: 1087000 | #Constraints: 89152
1430.90/1434.79 c #Conflicts: 1088000 | #Constraints: 90152
1430.90/1434.79 c #Conflicts: 1089000 | #Constraints: 91152
1430.90/1434.79 c #Conflicts: 1090000 | #Constraints: 92152
1430.90/1434.79 c #Conflicts: 1091000 | #Constraints: 93152
1430.90/1434.79 c #Conflicts: 1092000 | #Constraints: 94152
1430.90/1434.79 c #Conflicts: 1093000 | #Constraints: 95152
1430.90/1434.79 c #Conflicts: 1094000 | #Constraints: 96152
1430.90/1434.79 c #Conflicts: 1095000 | #Constraints: 97152
1430.90/1434.79 c #Conflicts: 1096000 | #Constraints: 98152
1430.90/1434.79 c #Conflicts: 1097000 | #Constraints: 99153
1430.90/1434.79 c #Conflicts: 1098000 | #Constraints: 100153
1430.90/1434.79 c #Conflicts: 1099000 | #Constraints: 101154
1430.90/1434.79 c #Conflicts: 1100000 | #Constraints: 102154
1430.90/1434.79 c #Conflicts: 1101000 | #Constraints: 103154
1430.90/1434.79 c #Conflicts: 1102000 | #Constraints: 104154
1430.90/1434.79 c #Conflicts: 1103000 | #Constraints: 105155
1430.90/1434.79 c #Conflicts: 1104000 | #Constraints: 106155
1430.90/1434.79 c #Conflicts: 1105000 | #Constraints: 107155
1430.90/1434.79 c #Conflicts: 1106000 | #Constraints: 108155
1538.02/1542.10 c #Conflicts: 1107000 | #Constraints: 109155
1538.02/1542.10 c INPROCESSING
1538.02/1542.10 c GARBAGE COLLECT
1538.02/1542.10 c #Conflicts: 1108000 | #Constraints: 79575
1538.02/1542.10 c #Conflicts: 1109000 | #Constraints: 80575
1538.02/1542.10 c #Conflicts: 1110000 | #Constraints: 81575
1538.02/1542.10 c #Conflicts: 1111000 | #Constraints: 82575
1538.02/1542.10 c #Conflicts: 1112000 | #Constraints: 83575
1538.02/1542.10 c #Conflicts: 1113000 | #Constraints: 84575
1538.02/1542.10 c #Conflicts: 1114000 | #Constraints: 85575
1538.02/1542.10 c #Conflicts: 1115000 | #Constraints: 86575
1538.02/1542.10 c #Conflicts: 1116000 | #Constraints: 87575
1538.02/1542.10 c #Conflicts: 1117000 | #Constraints: 88575
1538.02/1542.10 c #Conflicts: 1118000 | #Constraints: 89575
1538.02/1542.10 c #Conflicts: 1119000 | #Constraints: 90575
1538.02/1542.10 c #Conflicts: 1120000 | #Constraints: 91575
1538.02/1542.10 c #Conflicts: 1121000 | #Constraints: 92575
1538.02/1542.10 c #Conflicts: 1122000 | #Constraints: 93575
1538.02/1542.10 c #Conflicts: 1123000 | #Constraints: 94575
1538.02/1542.10 c #Conflicts: 1124000 | #Constraints: 95575
1538.02/1542.10 c #Conflicts: 1125000 | #Constraints: 96575
1538.02/1542.10 c #Conflicts: 1126000 | #Constraints: 97575
1538.02/1542.10 c #Conflicts: 1127000 | #Constraints: 98575
1538.02/1542.10 c #Conflicts: 1128000 | #Constraints: 99575
1538.02/1542.10 c #Conflicts: 1129000 | #Constraints: 100575
1538.02/1542.10 c #Conflicts: 1130000 | #Constraints: 101575
1538.02/1542.10 c #Conflicts: 1131000 | #Constraints: 102575
1538.02/1542.10 c INPROCESSING
1538.02/1542.10 c GARBAGE COLLECT
1538.02/1542.10 c #Conflicts: 1132000 | #Constraints: 76411
1538.02/1542.10 c #Conflicts: 1133000 | #Constraints: 77411
1538.02/1542.10 c #Conflicts: 1134000 | #Constraints: 78412
1538.02/1542.10 c #Conflicts: 1135000 | #Constraints: 79412
1538.02/1542.10 c #Conflicts: 1136000 | #Constraints: 80412
1538.02/1542.10 c #Conflicts: 1137000 | #Constraints: 81412
1538.02/1542.10 c #Conflicts: 1138000 | #Constraints: 82412
1538.02/1542.10 c #Conflicts: 1139000 | #Constraints: 83412
1538.02/1542.10 c #Conflicts: 1140000 | #Constraints: 84412
1538.02/1542.10 c #Conflicts: 1141000 | #Constraints: 85412
1538.02/1542.10 c #Conflicts: 1142000 | #Constraints: 86412
1538.02/1542.10 c #Conflicts: 1143000 | #Constraints: 87412
1538.02/1542.10 c #Conflicts: 1144000 | #Constraints: 88412
1538.02/1542.10 c #Conflicts: 1145000 | #Constraints: 89413
1538.02/1542.10 c #Conflicts: 1146000 | #Constraints: 90414
1538.02/1542.10 c #Conflicts: 1147000 | #Constraints: 91415
1538.02/1542.10 c #Conflicts: 1148000 | #Constraints: 92416
1538.02/1542.10 c #Conflicts: 1149000 | #Constraints: 93417
1538.02/1542.10 c #Conflicts: 1150000 | #Constraints: 94417
1538.02/1542.10 c #Conflicts: 1151000 | #Constraints: 95417
1538.02/1542.10 c #Conflicts: 1152000 | #Constraints: 96418
1538.02/1542.10 c #Conflicts: 1153000 | #Constraints: 97419
1538.02/1542.10 c #Conflicts: 1154000 | #Constraints: 98419
1538.02/1542.10 c #Conflicts: 1155000 | #Constraints: 99419
1538.02/1542.10 c #Conflicts: 1156000 | #Constraints: 100419
1538.02/1542.10 c #Conflicts: 1157000 | #Constraints: 101419
1538.02/1542.10 c #Conflicts: 1158000 | #Constraints: 102420
1538.02/1542.10 c #Conflicts: 1159000 | #Constraints: 103420
1538.02/1542.10 c #Conflicts: 1160000 | #Constraints: 104421
1538.02/1542.10 c #Conflicts: 1161000 | #Constraints: 105422
1538.02/1542.10 c #Conflicts: 1162000 | #Constraints: 106423
1538.02/1542.10 c #Conflicts: 1163000 | #Constraints: 107423
1538.02/1542.10 c #Conflicts: 1164000 | #Constraints: 108424
1538.02/1542.10 c #Conflicts: 1165000 | #Constraints: 109425
1538.02/1542.10 c #Conflicts: 1166000 | #Constraints: 110425
1538.02/1542.10 c #Conflicts: 1167000 | #Constraints: 111426
1538.02/1542.10 c #Conflicts: 1168000 | #Constraints: 112427
1538.02/1542.10 c #Conflicts: 1169000 | #Constraints: 113427
1538.02/1542.10 c #Conflicts: 1170000 | #Constraints: 114427
1538.02/1542.10 c #Conflicts: 1171000 | #Constraints: 115429
1538.02/1542.10 c #Conflicts: 1172000 | #Constraints: 116430
1538.02/1542.10 c #Conflicts: 1173000 | #Constraints: 117431
1538.02/1542.10 c #Conflicts: 1174000 | #Constraints: 118431
1538.02/1542.10 c #Conflicts: 1175000 | #Constraints: 119432
1538.02/1542.10 c #Conflicts: 1176000 | #Constraints: 120432
1538.02/1542.10 c #Conflicts: 1177000 | #Constraints: 121432
1538.02/1542.10 c #Conflicts: 1178000 | #Constraints: 122433
1538.02/1542.10 c #Conflicts: 1179000 | #Constraints: 123434
1538.02/1542.10 c #Conflicts: 1180000 | #Constraints: 124435
1538.02/1542.10 c #Conflicts: 1181000 | #Constraints: 125435
1538.02/1542.10 c #Conflicts: 1182000 | #Constraints: 126435
1538.02/1542.10 c #Conflicts: 1183000 | #Constraints: 127435
1685.29/1689.81 c #Conflicts: 1184000 | #Constraints: 128436
1685.29/1689.81 c #Conflicts: 1185000 | #Constraints: 129436
1685.29/1689.81 c #Conflicts: 1186000 | #Constraints: 130436
1685.29/1689.81 c #Conflicts: 1187000 | #Constraints: 131437
1685.29/1689.81 c #Conflicts: 1188000 | #Constraints: 132437
1685.29/1689.81 c #Conflicts: 1189000 | #Constraints: 133438
1685.29/1689.81 c #Conflicts: 1190000 | #Constraints: 134438
1685.29/1689.81 c #Conflicts: 1191000 | #Constraints: 135439
1685.29/1689.81 c #Conflicts: 1192000 | #Constraints: 136439
1685.29/1689.81 c #Conflicts: 1193000 | #Constraints: 137439
1685.29/1689.81 c #Conflicts: 1194000 | #Constraints: 138439
1685.29/1689.81 c #Conflicts: 1195000 | #Constraints: 139439
1685.29/1689.81 c #Conflicts: 1196000 | #Constraints: 140439
1685.29/1689.81 c #Conflicts: 1197000 | #Constraints: 141439
1685.29/1689.81 c #Conflicts: 1198000 | #Constraints: 142439
1685.29/1689.81 c #Conflicts: 1199000 | #Constraints: 143439
1685.29/1689.81 c #Conflicts: 1200000 | #Constraints: 144440
1685.29/1689.81 c #Conflicts: 1201000 | #Constraints: 145440
1685.29/1689.81 c #Conflicts: 1202000 | #Constraints: 146440
1685.29/1689.81 c #Conflicts: 1203000 | #Constraints: 147441
1685.29/1689.81 c #Conflicts: 1204000 | #Constraints: 148441
1685.29/1689.81 c #Conflicts: 1205000 | #Constraints: 149441
1685.29/1689.81 c #Conflicts: 1206000 | #Constraints: 150442
1685.29/1689.81 c #Conflicts: 1207000 | #Constraints: 151443
1685.29/1689.81 c #Conflicts: 1208000 | #Constraints: 152444
1685.29/1689.81 c #Conflicts: 1209000 | #Constraints: 153446
1685.29/1689.81 c #Conflicts: 1210000 | #Constraints: 154447
1685.29/1689.81 c #Conflicts: 1211000 | #Constraints: 155447
1685.29/1689.81 c #Conflicts: 1212000 | #Constraints: 156449
1685.29/1689.81 c #Conflicts: 1213000 | #Constraints: 157450
1685.29/1689.81 c #Conflicts: 1214000 | #Constraints: 158451
1685.29/1689.81 c INPROCESSING
1685.29/1689.81 c GARBAGE COLLECT
1685.29/1689.81 c #Conflicts: 1215000 | #Constraints: 104134
1685.29/1689.81 c #Conflicts: 1216000 | #Constraints: 105134
1685.29/1689.81 c #Conflicts: 1217000 | #Constraints: 106140
1685.29/1689.81 c #Conflicts: 1218000 | #Constraints: 107144
1685.29/1689.81 c #Conflicts: 1219000 | #Constraints: 108147
1685.29/1689.81 c #Conflicts: 1220000 | #Constraints: 109149
1685.29/1689.81 c #Conflicts: 1221000 | #Constraints: 110159
1685.29/1689.81 c #Conflicts: 1222000 | #Constraints: 111159
1685.29/1689.81 c #Conflicts: 1223000 | #Constraints: 112159
1685.29/1689.81 c #Conflicts: 1224000 | #Constraints: 113160
1685.29/1689.81 c #Conflicts: 1225000 | #Constraints: 114160
1685.29/1689.81 c #Conflicts: 1226000 | #Constraints: 115161
1685.29/1689.81 c #Conflicts: 1227000 | #Constraints: 116162
1685.29/1689.81 c #Conflicts: 1228000 | #Constraints: 117163
1685.29/1689.81 c #Conflicts: 1229000 | #Constraints: 118164
1685.29/1689.81 c #Conflicts: 1230000 | #Constraints: 119165
1685.29/1689.81 c #Conflicts: 1231000 | #Constraints: 120168
1685.29/1689.81 c #Conflicts: 1232000 | #Constraints: 121168
1685.29/1689.81 c #Conflicts: 1233000 | #Constraints: 122169
1685.29/1689.81 c #Conflicts: 1234000 | #Constraints: 123170
1685.29/1689.81 c #Conflicts: 1235000 | #Constraints: 124172
1685.29/1689.81 c #Conflicts: 1236000 | #Constraints: 125172
1685.29/1689.81 c #Conflicts: 1237000 | #Constraints: 126173
1685.29/1689.81 c #Conflicts: 1238000 | #Constraints: 127177
1685.29/1689.81 c #Conflicts: 1239000 | #Constraints: 128178
1685.29/1689.81 c INPROCESSING
1685.29/1689.81 c GARBAGE COLLECT
1685.29/1689.81 c #Conflicts: 1240000 | #Constraints: 88989
1685.29/1689.81 c #Conflicts: 1241000 | #Constraints: 89991
1685.29/1689.81 c #Conflicts: 1242000 | #Constraints: 90991
1685.29/1689.81 c #Conflicts: 1243000 | #Constraints: 91991
1685.29/1689.81 c #Conflicts: 1244000 | #Constraints: 92991
1685.29/1689.81 c #Conflicts: 1245000 | #Constraints: 93991
1685.29/1689.81 c #Conflicts: 1246000 | #Constraints: 94991
1685.29/1689.81 c #Conflicts: 1247000 | #Constraints: 95991
1685.29/1689.81 c #Conflicts: 1248000 | #Constraints: 96991
1685.29/1689.81 c #Conflicts: 1249000 | #Constraints: 97991
1685.29/1689.81 c #Conflicts: 1250000 | #Constraints: 98991
1685.29/1689.81 c #Conflicts: 1251000 | #Constraints: 99991
1685.29/1689.81 c #Conflicts: 1252000 | #Constraints: 100991
1685.29/1689.81 c #Conflicts: 1253000 | #Constraints: 101991
1685.29/1689.81 c #Conflicts: 1254000 | #Constraints: 102991
1685.29/1689.81 c #Conflicts: 1255000 | #Constraints: 103991
1685.29/1689.81 c #Conflicts: 1256000 | #Constraints: 104991
1685.29/1689.81 c #Conflicts: 1257000 | #Constraints: 105991
1685.29/1689.81 c #Conflicts: 1258000 | #Constraints: 106991
1685.29/1689.81 c #Conflicts: 1259000 | #Constraints: 107991
1685.29/1689.81 c #Conflicts: 1260000 | #Constraints: 108991
1685.29/1689.81 c #Conflicts: 1261000 | #Constraints: 109991
1799.97/1804.81 c #Conflicts: 1262000 | #Constraints: 110991
1799.97/1804.81 c #Conflicts: 1263000 | #Constraints: 111991
1799.97/1804.81 c #Conflicts: 1264000 | #Constraints: 112991
1799.97/1804.81 c INPROCESSING
1799.97/1804.81 c GARBAGE COLLECT
1799.97/1804.81 c #Conflicts: 1265000 | #Constraints: 81211
1799.97/1804.81 c #Conflicts: 1266000 | #Constraints: 82211
1799.97/1804.81 c #Conflicts: 1267000 | #Constraints: 83211
1799.97/1804.81 c #Conflicts: 1268000 | #Constraints: 84211
1799.97/1804.81 c #Conflicts: 1269000 | #Constraints: 85211
1799.97/1804.81 c #Conflicts: 1270000 | #Constraints: 86211
1799.97/1804.81 c #Conflicts: 1271000 | #Constraints: 87211
1799.97/1804.81 c #Conflicts: 1272000 | #Constraints: 88211
1799.97/1804.81 c #Conflicts: 1273000 | #Constraints: 89211
1799.97/1804.81 c #Conflicts: 1274000 | #Constraints: 90211
1799.97/1804.81 c #Conflicts: 1275000 | #Constraints: 91211
1799.97/1804.81 c #Conflicts: 1276000 | #Constraints: 92211
1799.97/1804.81 c #Conflicts: 1277000 | #Constraints: 93211
1799.97/1804.81 c #Conflicts: 1278000 | #Constraints: 94211
1799.97/1804.81 c #Conflicts: 1279000 | #Constraints: 95211
1799.97/1804.81 c #Conflicts: 1280000 | #Constraints: 96211
1799.97/1804.81 c #Conflicts: 1281000 | #Constraints: 97211
1799.97/1804.81 c #Conflicts: 1282000 | #Constraints: 98211
1799.97/1804.81 c #Conflicts: 1283000 | #Constraints: 99211
1799.97/1804.81 c #Conflicts: 1284000 | #Constraints: 100212
1799.97/1804.81 c #Conflicts: 1285000 | #Constraints: 101212
1799.97/1804.81 c #Conflicts: 1286000 | #Constraints: 102212
1799.97/1804.81 c #Conflicts: 1287000 | #Constraints: 103212
1799.97/1804.81 c #Conflicts: 1288000 | #Constraints: 104212
1799.97/1804.81 c #Conflicts: 1289000 | #Constraints: 105212
1799.97/1804.81 c #Conflicts: 1290000 | #Constraints: 106213
1799.97/1804.81 c INPROCESSING
1799.97/1804.81 c GARBAGE COLLECT
1799.97/1804.81 c #Conflicts: 1291000 | #Constraints: 78063
1799.97/1804.81 c #Conflicts: 1292000 | #Constraints: 79063
1799.97/1804.81 c #Conflicts: 1293000 | #Constraints: 80063
1799.97/1804.81 c #Conflicts: 1294000 | #Constraints: 81063
1799.97/1804.81 c #Conflicts: 1295000 | #Constraints: 82063
1799.97/1804.81 c #Conflicts: 1296000 | #Constraints: 83063
1799.97/1804.81 c #Conflicts: 1297000 | #Constraints: 84063
1799.97/1804.81 c #Conflicts: 1298000 | #Constraints: 85063
1799.97/1804.81 c #Conflicts: 1299000 | #Constraints: 86063
1799.97/1804.81 c #Conflicts: 1300000 | #Constraints: 87063
1799.97/1804.81 c #Conflicts: 1301000 | #Constraints: 88063
1799.97/1804.81 c #Conflicts: 1302000 | #Constraints: 89063
1799.97/1804.81 c #Conflicts: 1303000 | #Constraints: 90063
1799.97/1804.81 c #Conflicts: 1304000 | #Constraints: 91063
1799.97/1804.81 c #Conflicts: 1305000 | #Constraints: 92063
1799.97/1804.81 c #Conflicts: 1306000 | #Constraints: 93063
1799.97/1804.81 c #Conflicts: 1307000 | #Constraints: 94063
1799.97/1804.81 c #Conflicts: 1308000 | #Constraints: 95063
1799.97/1804.81 c #Conflicts: 1309000 | #Constraints: 96063
1799.97/1804.81 c #Conflicts: 1310000 | #Constraints: 97063
1799.97/1804.81 c #Conflicts: 1311000 | #Constraints: 98063
1799.97/1804.81 c #Conflicts: 1312000 | #Constraints: 99063
1799.97/1804.81 c #Conflicts: 1313000 | #Constraints: 100063
1799.97/1804.81 c #Conflicts: 1314000 | #Constraints: 101063
1799.97/1804.81 c #Conflicts: 1315000 | #Constraints: 102063
1799.97/1804.81 c #Conflicts: 1316000 | #Constraints: 103063
1799.97/1804.81 c #Conflicts: 1317000 | #Constraints: 104063
1799.97/1804.81 c #Conflicts: 1318000 | #Constraints: 105063
1799.97/1804.81 c #Conflicts: 1319000 | #Constraints: 106064
1799.97/1804.81 c #Conflicts: 1320000 | #Constraints: 107064
1799.97/1804.81 c #Conflicts: 1321000 | #Constraints: 108064
1799.97/1804.81 c #Conflicts: 1322000 | #Constraints: 109064
1799.97/1804.81 c #Conflicts: 1323000 | #Constraints: 110064
1799.97/1804.81 c #Conflicts: 1324000 | #Constraints: 111064
1799.97/1804.81 c #Conflicts: 1325000 | #Constraints: 112064
1799.97/1804.81 c #Conflicts: 1326000 | #Constraints: 113064
1799.97/1804.81 c #Conflicts: 1327000 | #Constraints: 114064
1799.97/1804.81 c #Conflicts: 1328000 | #Constraints: 115064
1799.97/1804.81 c #Conflicts: 1329000 | #Constraints: 116064
1799.97/1804.81 c #Conflicts: 1330000 | #Constraints: 117064
1799.97/1804.81 c #Conflicts: 1331000 | #Constraints: 118065
1799.97/1804.81 c #Conflicts: 1332000 | #Constraints: 119065
1799.97/1804.81 c #Conflicts: 1333000 | #Constraints: 120065
1799.97/1804.81 c #Conflicts: 1334000 | #Constraints: 121066
1799.97/1804.81 c #Conflicts: 1335000 | #Constraints: 122067
1799.97/1804.81 c #Conflicts: 1336000 | #Constraints: 123068
1799.97/1804.81 c #Conflicts: 1337000 | #Constraints: 124068
1799.97/1804.81 c #Conflicts: 1338000 | #Constraints: 125068
1931.82/1937.00 c #Conflicts: 1339000 | #Constraints: 126069
1931.82/1937.00 c #Conflicts: 1340000 | #Constraints: 127069
1931.82/1937.00 c #Conflicts: 1341000 | #Constraints: 128069
1931.82/1937.00 c #Conflicts: 1342000 | #Constraints: 129070
1931.82/1937.00 c #Conflicts: 1343000 | #Constraints: 130070
1931.82/1937.00 c #Conflicts: 1344000 | #Constraints: 131070
1931.82/1937.00 c #Conflicts: 1345000 | #Constraints: 132070
1931.82/1937.00 c #Conflicts: 1346000 | #Constraints: 133070
1931.82/1937.00 c #Conflicts: 1347000 | #Constraints: 134070
1931.82/1937.00 c #Conflicts: 1348000 | #Constraints: 135070
1931.82/1937.00 c #Conflicts: 1349000 | #Constraints: 136070
1931.82/1937.00 c #Conflicts: 1350000 | #Constraints: 137070
1931.82/1937.00 c #Conflicts: 1351000 | #Constraints: 138070
1931.82/1937.00 c #Conflicts: 1352000 | #Constraints: 139070
1931.82/1937.00 c #Conflicts: 1353000 | #Constraints: 140070
1931.82/1937.00 c #Conflicts: 1354000 | #Constraints: 141070
1931.82/1937.00 c #Conflicts: 1355000 | #Constraints: 142071
1931.82/1937.00 c #Conflicts: 1356000 | #Constraints: 143071
1931.82/1937.00 c #Conflicts: 1357000 | #Constraints: 144072
1931.82/1937.00 c #Conflicts: 1358000 | #Constraints: 145072
1931.82/1937.00 c #Conflicts: 1359000 | #Constraints: 146073
1931.82/1937.00 c #Conflicts: 1360000 | #Constraints: 147074
1931.82/1937.00 c #Conflicts: 1361000 | #Constraints: 148075
1931.82/1937.00 c #Conflicts: 1362000 | #Constraints: 149075
1931.82/1937.00 c #Conflicts: 1363000 | #Constraints: 150075
1931.82/1937.00 c #Conflicts: 1364000 | #Constraints: 151076
1931.82/1937.00 c #Conflicts: 1365000 | #Constraints: 152076
1931.82/1937.00 c #Conflicts: 1366000 | #Constraints: 153076
1931.82/1937.00 c #Conflicts: 1367000 | #Constraints: 154077
1931.82/1937.00 c #Conflicts: 1368000 | #Constraints: 155078
1931.82/1937.00 c #Conflicts: 1369000 | #Constraints: 156078
1931.82/1937.00 c #Conflicts: 1370000 | #Constraints: 157079
1931.82/1937.00 c #Conflicts: 1371000 | #Constraints: 158079
1931.82/1937.00 c #Conflicts: 1372000 | #Constraints: 159080
1931.82/1937.00 c #Conflicts: 1373000 | #Constraints: 160081
1931.82/1937.00 c #Conflicts: 1374000 | #Constraints: 161082
1931.82/1937.00 c #Conflicts: 1375000 | #Constraints: 162082
1931.82/1937.00 c #Conflicts: 1376000 | #Constraints: 163083
1931.82/1937.00 c #Conflicts: 1377000 | #Constraints: 164083
1931.82/1937.00 c #Conflicts: 1378000 | #Constraints: 165083
1931.82/1937.00 c #Conflicts: 1379000 | #Constraints: 166084
1931.82/1937.00 c INPROCESSING
1931.82/1937.00 c GARBAGE COLLECT
1931.82/1937.00 c #Conflicts: 1380000 | #Constraints: 108147
1931.82/1937.00 c #Conflicts: 1381000 | #Constraints: 109148
1931.82/1937.00 c #Conflicts: 1382000 | #Constraints: 110148
1931.82/1937.00 c #Conflicts: 1383000 | #Constraints: 111148
1931.82/1937.00 c #Conflicts: 1384000 | #Constraints: 112148
1931.82/1937.00 c #Conflicts: 1385000 | #Constraints: 113148
1931.82/1937.00 c #Conflicts: 1386000 | #Constraints: 114148
1931.82/1937.00 c #Conflicts: 1387000 | #Constraints: 115148
1931.82/1937.00 c #Conflicts: 1388000 | #Constraints: 116148
1931.82/1937.00 c #Conflicts: 1389000 | #Constraints: 117148
1931.82/1937.00 c #Conflicts: 1390000 | #Constraints: 118148
1931.82/1937.00 c #Conflicts: 1391000 | #Constraints: 119148
1931.82/1937.00 c #Conflicts: 1392000 | #Constraints: 120148
1931.82/1937.00 c #Conflicts: 1393000 | #Constraints: 121148
1931.82/1937.00 c #Conflicts: 1394000 | #Constraints: 122148
1931.82/1937.00 c #Conflicts: 1395000 | #Constraints: 123148
1931.82/1937.00 c #Conflicts: 1396000 | #Constraints: 124148
1931.82/1937.00 c #Conflicts: 1397000 | #Constraints: 125148
1931.82/1937.00 c #Conflicts: 1398000 | #Constraints: 126148
1931.82/1937.00 c #Conflicts: 1399000 | #Constraints: 127148
1931.82/1937.00 c #Conflicts: 1400000 | #Constraints: 128148
1931.82/1937.00 c #Conflicts: 1401000 | #Constraints: 129148
1931.82/1937.00 c #Conflicts: 1402000 | #Constraints: 130148
1931.82/1937.00 WSVECS04 Frhs2[290]: 6 -0.934613 0 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[302]: 6 0 0.0850358 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[303]: 6 0 0.169945 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[304]: 6 0 0.254915 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[305]: 6 0 0.339917 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[306]: 6 0 0.424836 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[307]: 6 0 1.69728 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[308]: 6 0 0.594804 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[374]: 6 0 0.0574931 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[441]: 6 -6.28482 0 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[496]: 6 0 0.187592 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[643]: 6 0 0.0671096 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[968]: 6 0 0.00855582 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[969]: 6 0 0.0170794 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[973]: 6 0 0.0510139 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[1103]: 6 0 6.35247 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[1387]: 6 0 0.0625777 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[1388]: 6 0 0.125017 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[1659]: 6 0 0.0625123 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[1661]: 6 0 0.187589 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[2001]: 6 -1.25007 0 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[2215]: 6 0 3.55649 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[3394]: 6 0 1.30561 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[3396]: 6 0 1.30557 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[3399]: 6 0 1.3056 shouldn't be
1931.82/1937.00 WSVECS04 Frhs2[3450]: 6 0 1.30558 shouldn't be
2037.45/2042.90 c #Conflicts: 1403000 | #Constraints: 131148
2037.45/2042.90 c #Conflicts: 1404000 | #Constraints: 132148
2037.45/2042.90 c #Conflicts: 1405000 | #Constraints: 133148
2037.45/2042.90 c INPROCESSING
2037.45/2042.90 c GARBAGE COLLECT
2037.45/2042.90 c #Conflicts: 1406000 | #Constraints: 91305
2037.45/2042.90 c #Conflicts: 1407000 | #Constraints: 92305
2037.45/2042.90 c #Conflicts: 1408000 | #Constraints: 93305
2037.45/2042.90 c #Conflicts: 1409000 | #Constraints: 94305
2037.45/2042.90 c #Conflicts: 1410000 | #Constraints: 95305
2037.45/2042.90 c #Conflicts: 1411000 | #Constraints: 96305
2037.45/2042.90 c #Conflicts: 1412000 | #Constraints: 97305
2037.45/2042.90 c #Conflicts: 1413000 | #Constraints: 98305
2037.45/2042.90 c #Conflicts: 1414000 | #Constraints: 99305
2037.45/2042.90 c #Conflicts: 1415000 | #Constraints: 100305
2037.45/2042.90 c #Conflicts: 1416000 | #Constraints: 101305
2037.45/2042.90 c #Conflicts: 1417000 | #Constraints: 102305
2037.45/2042.90 c #Conflicts: 1418000 | #Constraints: 103305
2037.45/2042.90 c #Conflicts: 1419000 | #Constraints: 104305
2037.45/2042.90 c #Conflicts: 1420000 | #Constraints: 105305
2037.45/2042.90 c #Conflicts: 1421000 | #Constraints: 106305
2037.45/2042.90 c #Conflicts: 1422000 | #Constraints: 107305
2037.45/2042.90 c #Conflicts: 1423000 | #Constraints: 108305
2037.45/2042.90 c #Conflicts: 1424000 | #Constraints: 109305
2037.45/2042.90 c #Conflicts: 1425000 | #Constraints: 110305
2037.45/2042.90 c #Conflicts: 1426000 | #Constraints: 111305
2037.45/2042.90 c #Conflicts: 1427000 | #Constraints: 112305
2037.45/2042.90 c #Conflicts: 1428000 | #Constraints: 113305
2037.45/2042.90 c #Conflicts: 1429000 | #Constraints: 114305
2037.45/2042.90 c #Conflicts: 1430000 | #Constraints: 115305
2037.45/2042.90 c #Conflicts: 1431000 | #Constraints: 116305
2037.45/2042.90 c #Conflicts: 1432000 | #Constraints: 117305
2037.45/2042.90 c INPROCESSING
2037.45/2042.90 c GARBAGE COLLECT
2037.45/2042.90 c #Conflicts: 1433000 | #Constraints: 83397
2037.45/2042.90 c #Conflicts: 1434000 | #Constraints: 84397
2037.45/2042.90 c #Conflicts: 1435000 | #Constraints: 85397
2037.45/2042.90 c #Conflicts: 1436000 | #Constraints: 86397
2037.45/2042.90 c #Conflicts: 1437000 | #Constraints: 87397
2037.45/2042.90 c #Conflicts: 1438000 | #Constraints: 88397
2037.45/2042.90 c #Conflicts: 1439000 | #Constraints: 89397
2037.45/2042.90 c #Conflicts: 1440000 | #Constraints: 90397
2037.45/2042.90 c #Conflicts: 1441000 | #Constraints: 91397
2037.45/2042.90 c #Conflicts: 1442000 | #Constraints: 92397
2037.45/2042.90 c #Conflicts: 1443000 | #Constraints: 93397
2037.45/2042.90 c #Conflicts: 1444000 | #Constraints: 94397
2037.45/2042.90 c #Conflicts: 1445000 | #Constraints: 95397
2037.45/2042.90 c #Conflicts: 1446000 | #Constraints: 96397
2037.45/2042.90 c #Conflicts: 1447000 | #Constraints: 97397
2037.45/2042.90 c #Conflicts: 1448000 | #Constraints: 98397
2037.45/2042.90 c #Conflicts: 1449000 | #Constraints: 99397
2037.45/2042.90 c #Conflicts: 1450000 | #Constraints: 100397
2037.45/2042.90 c #Conflicts: 1451000 | #Constraints: 101397
2037.45/2042.90 c #Conflicts: 1452000 | #Constraints: 102397
2037.45/2042.90 c #Conflicts: 1453000 | #Constraints: 103397
2037.45/2042.90 c #Conflicts: 1454000 | #Constraints: 104397
2037.45/2042.90 c #Conflicts: 1455000 | #Constraints: 105397
2037.45/2042.90 c #Conflicts: 1456000 | #Constraints: 106397
2037.45/2042.90 c #Conflicts: 1457000 | #Constraints: 107397
2037.45/2042.90 c #Conflicts: 1458000 | #Constraints: 108397
2037.45/2042.90 c #Conflicts: 1459000 | #Constraints: 109397
2037.45/2042.90 c #Conflicts: 1460000 | #Constraints: 110397
2037.45/2042.90 c INPROCESSING
2037.45/2042.90 c GARBAGE COLLECT
2037.45/2042.90 c #Conflicts: 1461000 | #Constraints: 80307
2037.45/2042.90 c #Conflicts: 1462000 | #Constraints: 81307
2037.45/2042.90 c #Conflicts: 1463000 | #Constraints: 82307
2037.45/2042.90 c #Conflicts: 1464000 | #Constraints: 83307
2037.45/2042.90 c #Conflicts: 1465000 | #Constraints: 84307
2037.45/2042.90 c #Conflicts: 1466000 | #Constraints: 85307
2037.45/2042.90 c #Conflicts: 1467000 | #Constraints: 86307
2037.45/2042.90 c #Conflicts: 1468000 | #Constraints: 87307
2037.45/2042.90 c #Conflicts: 1469000 | #Constraints: 88307
2037.45/2042.90 c #Conflicts: 1470000 | #Constraints: 89307
2037.45/2042.90 c #Conflicts: 1471000 | #Constraints: 90307
2037.45/2042.90 c #Conflicts: 1472000 | #Constraints: 91307
2037.45/2042.90 c #Conflicts: 1473000 | #Constraints: 92307
2037.45/2042.90 c #Conflicts: 1474000 | #Constraints: 93307
2037.45/2042.90 c #Conflicts: 1475000 | #Constraints: 94307
2037.45/2042.90 c #Conflicts: 1476000 | #Constraints: 95307
2037.45/2042.90 c #Conflicts: 1477000 | #Constraints: 96307
2037.45/2042.90 c #Conflicts: 1478000 | #Constraints: 97307
2037.45/2042.90 c #Conflicts: 1479000 | #Constraints: 98307
2168.82/2174.66 c #Conflicts: 1480000 | #Constraints: 99307
2168.82/2174.66 c #Conflicts: 1481000 | #Constraints: 100307
2168.82/2174.66 c #Conflicts: 1482000 | #Constraints: 101307
2168.82/2174.66 c #Conflicts: 1483000 | #Constraints: 102308
2168.82/2174.66 c #Conflicts: 1484000 | #Constraints: 103308
2168.82/2174.66 c #Conflicts: 1485000 | #Constraints: 104308
2168.82/2174.66 c #Conflicts: 1486000 | #Constraints: 105308
2168.82/2174.66 c #Conflicts: 1487000 | #Constraints: 106308
2168.82/2174.66 c #Conflicts: 1488000 | #Constraints: 107308
2168.82/2174.66 c #Conflicts: 1489000 | #Constraints: 108308
2168.82/2174.66 c #Conflicts: 1490000 | #Constraints: 109308
2168.82/2174.66 c #Conflicts: 1491000 | #Constraints: 110309
2168.82/2174.66 c #Conflicts: 1492000 | #Constraints: 111309
2168.82/2174.66 c #Conflicts: 1493000 | #Constraints: 112309
2168.82/2174.66 c #Conflicts: 1494000 | #Constraints: 113310
2168.82/2174.66 c #Conflicts: 1495000 | #Constraints: 114311
2168.82/2174.66 c #Conflicts: 1496000 | #Constraints: 115312
2168.82/2174.66 c #Conflicts: 1497000 | #Constraints: 116312
2168.82/2174.66 c #Conflicts: 1498000 | #Constraints: 117313
2168.82/2174.66 c #Conflicts: 1499000 | #Constraints: 118315
2168.82/2174.66 c #Conflicts: 1500000 | #Constraints: 119318
2168.82/2174.66 c #Conflicts: 1501000 | #Constraints: 120319
2168.82/2174.66 c #Conflicts: 1502000 | #Constraints: 121320
2168.82/2174.66 c #Conflicts: 1503000 | #Constraints: 122322
2168.82/2174.66 c #Conflicts: 1504000 | #Constraints: 123324
2168.82/2174.66 c #Conflicts: 1505000 | #Constraints: 124328
2168.82/2174.66 c #Conflicts: 1506000 | #Constraints: 125331
2168.82/2174.66 c #Conflicts: 1507000 | #Constraints: 126334
2168.82/2174.66 c #Conflicts: 1508000 | #Constraints: 127335
2168.82/2174.66 c #Conflicts: 1509000 | #Constraints: 128336
2168.82/2174.66 c #Conflicts: 1510000 | #Constraints: 129336
2168.82/2174.66 c #Conflicts: 1511000 | #Constraints: 130336
2168.82/2174.66 c #Conflicts: 1512000 | #Constraints: 131337
2168.82/2174.66 c #Conflicts: 1513000 | #Constraints: 132337
2168.82/2174.66 c #Conflicts: 1514000 | #Constraints: 133337
2168.82/2174.66 c #Conflicts: 1515000 | #Constraints: 134337
2168.82/2174.66 c #Conflicts: 1516000 | #Constraints: 135337
2168.82/2174.66 c #Conflicts: 1517000 | #Constraints: 136337
2168.82/2174.66 c #Conflicts: 1518000 | #Constraints: 137337
2168.82/2174.66 c #Conflicts: 1519000 | #Constraints: 138337
2168.82/2174.66 c #Conflicts: 1520000 | #Constraints: 139337
2168.82/2174.66 c #Conflicts: 1521000 | #Constraints: 140337
2168.82/2174.66 c #Conflicts: 1522000 | #Constraints: 141337
2168.82/2174.66 c #Conflicts: 1523000 | #Constraints: 142337
2168.82/2174.66 c #Conflicts: 1524000 | #Constraints: 143337
2168.82/2174.66 c #Conflicts: 1525000 | #Constraints: 144337
2168.82/2174.66 c #Conflicts: 1526000 | #Constraints: 145337
2168.82/2174.66 c #Conflicts: 1527000 | #Constraints: 146337
2168.82/2174.66 c #Conflicts: 1528000 | #Constraints: 147337
2168.82/2174.66 c #Conflicts: 1529000 | #Constraints: 148338
2168.82/2174.66 c #Conflicts: 1530000 | #Constraints: 149338
2168.82/2174.66 c #Conflicts: 1531000 | #Constraints: 150338
2168.82/2174.66 c #Conflicts: 1532000 | #Constraints: 151338
2168.82/2174.66 c #Conflicts: 1533000 | #Constraints: 152338
2168.82/2174.66 c #Conflicts: 1534000 | #Constraints: 153338
2168.82/2174.66 c #Conflicts: 1535000 | #Constraints: 154338
2168.82/2174.66 c #Conflicts: 1536000 | #Constraints: 155338
2168.82/2174.66 c #Conflicts: 1537000 | #Constraints: 156338
2168.82/2174.66 c #Conflicts: 1538000 | #Constraints: 157338
2168.82/2174.66 c #Conflicts: 1539000 | #Constraints: 158338
2168.82/2174.66 c #Conflicts: 1540000 | #Constraints: 159338
2168.82/2174.66 c #Conflicts: 1541000 | #Constraints: 160338
2168.82/2174.66 c #Conflicts: 1542000 | #Constraints: 161338
2168.82/2174.66 c #Conflicts: 1543000 | #Constraints: 162338
2168.82/2174.66 c #Conflicts: 1544000 | #Constraints: 163338
2168.82/2174.66 c #Conflicts: 1545000 | #Constraints: 164338
2168.82/2174.66 c #Conflicts: 1546000 | #Constraints: 165338
2168.82/2174.66 c #Conflicts: 1547000 | #Constraints: 166338
2168.82/2174.66 c #Conflicts: 1548000 | #Constraints: 167338
2168.82/2174.66 c #Conflicts: 1549000 | #Constraints: 168338
2168.82/2174.66 c #Conflicts: 1550000 | #Constraints: 169338
2168.82/2174.66 c #Conflicts: 1551000 | #Constraints: 170338
2168.82/2174.66 c #Conflicts: 1552000 | #Constraints: 171338
2168.82/2174.66 c #Conflicts: 1553000 | #Constraints: 172338
2168.82/2174.66 c #Conflicts: 1554000 | #Constraints: 173338
2168.82/2174.66 c INPROCESSING
2168.82/2174.66 c GARBAGE COLLECT
2168.82/2174.66 WSVECS04 Frhs2[82]: 6 0 64.7569 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[136]: 6 -1 0 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[158]: 6 0 3.00182 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[162]: 6 0 3.77437 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[188]: 6 0 3.23029 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[198]: 6 0 0.54591 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[245]: 6 0 302.977 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[362]: 6 0 175.093 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[416]: 6 0 55.5224 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[562]: 6 0 3.69 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[565]: 6 0 0.596796 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[573]: 6 0 2.98398 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[580]: 6 0 5.07277 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[581]: 6 0 5.37116 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[603]: 6 -86.0749 0 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[604]: 6 -298.813 0 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[622]: 6 0 0.261364 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[697]: 6 0 3.59053 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[847]: 6 -0.172773 0 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[892]: 6 0 4.16439 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[976]: 6 0 78.1873 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1000]: 6 0 3.15175 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1002]: 6 0 2.7015 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1004]: 6 0 2.25125 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1005]: 6 0 2.02613 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1080]: 6 0 0.0625004 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1082]: 6 0 0.187501 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1083]: 6 0 0.250001 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1122]: 6 0 296.813 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1123]: 6 0 296.813 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1124]: 6 0 296.813 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1135]: 6 -1 0 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1412]: 6 0 1.25 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1619]: 6 0 0.250001 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1665]: 6 -6.28939 0 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[1937]: 6 0 0.596797 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[2003]: 6 0 0.187501 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[2004]: 6 0 0.25 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[2707]: 6 0 0.282682 shouldn't be
2168.82/2174.66 WSVECS04 Frhs2[2723]: 6 0 0.492092 shouldn't be
2307.87/2314.07 c #Conflicts: 1555000 | #Constraints: 111800
2307.87/2314.07 c #Conflicts: 1556000 | #Constraints: 112800
2307.87/2314.07 c #Conflicts: 1557000 | #Constraints: 113800
2307.87/2314.07 c #Conflicts: 1558000 | #Constraints: 114800
2307.87/2314.07 c #Conflicts: 1559000 | #Constraints: 115800
2307.87/2314.07 c #Conflicts: 1560000 | #Constraints: 116800
2307.87/2314.07 c #Conflicts: 1561000 | #Constraints: 117800
2307.87/2314.07 c #Conflicts: 1562000 | #Constraints: 118800
2307.87/2314.07 c #Conflicts: 1563000 | #Constraints: 119800
2307.87/2314.07 c #Conflicts: 1564000 | #Constraints: 120800
2307.87/2314.07 c #Conflicts: 1565000 | #Constraints: 121800
2307.87/2314.07 c #Conflicts: 1566000 | #Constraints: 122800
2307.87/2314.07 c #Conflicts: 1567000 | #Constraints: 123803
2307.87/2314.07 c #Conflicts: 1568000 | #Constraints: 124813
2307.87/2314.07 c #Conflicts: 1569000 | #Constraints: 125813
2307.87/2314.07 c #Conflicts: 1570000 | #Constraints: 126813
2307.87/2314.07 c #Conflicts: 1571000 | #Constraints: 127815
2307.87/2314.07 c #Conflicts: 1572000 | #Constraints: 128815
2307.87/2314.07 c #Conflicts: 1573000 | #Constraints: 129815
2307.87/2314.07 c #Conflicts: 1574000 | #Constraints: 130815
2307.87/2314.07 c #Conflicts: 1575000 | #Constraints: 131815
2307.87/2314.07 c #Conflicts: 1576000 | #Constraints: 132815
2307.87/2314.07 c #Conflicts: 1577000 | #Constraints: 133815
2307.87/2314.07 c #Conflicts: 1578000 | #Constraints: 134818
2307.87/2314.07 c #Conflicts: 1579000 | #Constraints: 135819
2307.87/2314.07 c #Conflicts: 1580000 | #Constraints: 136820
2307.87/2314.07 c #Conflicts: 1581000 | #Constraints: 137821
2307.87/2314.07 c #Conflicts: 1582000 | #Constraints: 138821
2307.87/2314.07 c INPROCESSING
2307.87/2314.07 c GARBAGE COLLECT
2307.87/2314.07 c #Conflicts: 1583000 | #Constraints: 94355
2307.87/2314.07 c #Conflicts: 1584000 | #Constraints: 95356
2307.87/2314.07 c #Conflicts: 1585000 | #Constraints: 96356
2307.87/2314.07 c #Conflicts: 1586000 | #Constraints: 97356
2307.87/2314.07 c #Conflicts: 1587000 | #Constraints: 98356
2307.87/2314.07 c #Conflicts: 1588000 | #Constraints: 99356
2307.87/2314.07 c #Conflicts: 1589000 | #Constraints: 100356
2307.87/2314.07 c #Conflicts: 1590000 | #Constraints: 101356
2307.87/2314.07 c #Conflicts: 1591000 | #Constraints: 102356
2307.87/2314.07 c #Conflicts: 1592000 | #Constraints: 103356
2307.87/2314.07 c #Conflicts: 1593000 | #Constraints: 104356
2307.87/2314.07 c #Conflicts: 1594000 | #Constraints: 105356
2307.87/2314.07 c #Conflicts: 1595000 | #Constraints: 106356
2307.87/2314.07 c #Conflicts: 1596000 | #Constraints: 107356
2307.87/2314.07 c #Conflicts: 1597000 | #Constraints: 108356
2307.87/2314.07 c #Conflicts: 1598000 | #Constraints: 109357
2307.87/2314.07 c #Conflicts: 1599000 | #Constraints: 110357
2307.87/2314.07 c #Conflicts: 1600000 | #Constraints: 111357
2307.87/2314.07 c #Conflicts: 1601000 | #Constraints: 112357
2307.87/2314.07 c #Conflicts: 1602000 | #Constraints: 113358
2307.87/2314.07 c #Conflicts: 1603000 | #Constraints: 114358
2307.87/2314.07 c #Conflicts: 1604000 | #Constraints: 115358
2307.87/2314.07 c #Conflicts: 1605000 | #Constraints: 116359
2307.87/2314.07 c #Conflicts: 1606000 | #Constraints: 117359
2307.87/2314.07 c #Conflicts: 1607000 | #Constraints: 118359
2307.87/2314.07 c #Conflicts: 1608000 | #Constraints: 119359
2307.87/2314.07 c #Conflicts: 1609000 | #Constraints: 120359
2307.87/2314.07 c #Conflicts: 1610000 | #Constraints: 121359
2307.87/2314.07 c #Conflicts: 1611000 | #Constraints: 122359
2307.87/2314.07 c INPROCESSING
2307.87/2314.07 c GARBAGE COLLECT
2307.87/2314.07 c #Conflicts: 1612000 | #Constraints: 86183
2307.87/2314.07 c #Conflicts: 1613000 | #Constraints: 87183
2307.87/2314.07 c #Conflicts: 1614000 | #Constraints: 88183
2307.87/2314.07 c #Conflicts: 1615000 | #Constraints: 89183
2307.87/2314.07 c #Conflicts: 1616000 | #Constraints: 90183
2307.87/2314.07 c #Conflicts: 1617000 | #Constraints: 91183
2307.87/2314.07 c #Conflicts: 1618000 | #Constraints: 92183
2307.87/2314.07 c #Conflicts: 1619000 | #Constraints: 93183
2307.87/2314.07 c #Conflicts: 1620000 | #Constraints: 94183
2307.87/2314.07 c #Conflicts: 1621000 | #Constraints: 95183
2307.87/2314.07 c #Conflicts: 1622000 | #Constraints: 96183
2307.87/2314.07 c #Conflicts: 1623000 | #Constraints: 97183
2307.87/2314.07 c #Conflicts: 1624000 | #Constraints: 98183
2307.87/2314.07 c #Conflicts: 1625000 | #Constraints: 99183
2307.87/2314.07 c #Conflicts: 1626000 | #Constraints: 100183
2307.87/2314.07 c #Conflicts: 1627000 | #Constraints: 101183
2307.87/2314.07 c #Conflicts: 1628000 | #Constraints: 102184
2307.87/2314.07 c #Conflicts: 1629000 | #Constraints: 103184
2307.87/2314.07 c #Conflicts: 1630000 | #Constraints: 104184
2307.87/2314.07 c #Conflicts: 1631000 | #Constraints: 105184
2307.87/2314.07 c #Conflicts: 1632000 | #Constraints: 106184
2431.15/2437.61 c #Conflicts: 1633000 | #Constraints: 107184
2431.15/2437.61 c #Conflicts: 1634000 | #Constraints: 108184
2431.15/2437.61 c #Conflicts: 1635000 | #Constraints: 109184
2431.15/2437.61 c #Conflicts: 1636000 | #Constraints: 110184
2431.15/2437.61 c #Conflicts: 1637000 | #Constraints: 111184
2431.15/2437.61 c #Conflicts: 1638000 | #Constraints: 112184
2431.15/2437.61 c #Conflicts: 1639000 | #Constraints: 113186
2431.15/2437.61 c #Conflicts: 1640000 | #Constraints: 114188
2431.15/2437.61 c INPROCESSING
2431.15/2437.61 c GARBAGE COLLECT
2431.15/2437.61 c #Conflicts: 1641000 | #Constraints: 82213
2431.15/2437.61 c #Conflicts: 1642000 | #Constraints: 83213
2431.15/2437.61 c #Conflicts: 1643000 | #Constraints: 84213
2431.15/2437.61 c #Conflicts: 1644000 | #Constraints: 85213
2431.15/2437.61 c #Conflicts: 1645000 | #Constraints: 86213
2431.15/2437.61 c #Conflicts: 1646000 | #Constraints: 87213
2431.15/2437.61 c #Conflicts: 1647000 | #Constraints: 88213
2431.15/2437.61 c #Conflicts: 1648000 | #Constraints: 89213
2431.15/2437.61 c #Conflicts: 1649000 | #Constraints: 90213
2431.15/2437.61 c #Conflicts: 1650000 | #Constraints: 91213
2431.15/2437.61 c #Conflicts: 1651000 | #Constraints: 92213
2431.15/2437.61 c #Conflicts: 1652000 | #Constraints: 93213
2431.15/2437.61 c #Conflicts: 1653000 | #Constraints: 94214
2431.15/2437.61 c #Conflicts: 1654000 | #Constraints: 95215
2431.15/2437.61 c #Conflicts: 1655000 | #Constraints: 96216
2431.15/2437.61 c #Conflicts: 1656000 | #Constraints: 97217
2431.15/2437.61 c #Conflicts: 1657000 | #Constraints: 98217
2431.15/2437.61 c #Conflicts: 1658000 | #Constraints: 99217
2431.15/2437.61 c #Conflicts: 1659000 | #Constraints: 100218
2431.15/2437.61 c #Conflicts: 1660000 | #Constraints: 101218
2431.15/2437.61 c #Conflicts: 1661000 | #Constraints: 102220
2431.15/2437.61 c #Conflicts: 1662000 | #Constraints: 103220
2431.15/2437.61 c #Conflicts: 1663000 | #Constraints: 104221
2431.15/2437.61 c #Conflicts: 1664000 | #Constraints: 105221
2431.15/2437.61 c #Conflicts: 1665000 | #Constraints: 106221
2431.15/2437.61 c #Conflicts: 1666000 | #Constraints: 107221
2431.15/2437.61 c #Conflicts: 1667000 | #Constraints: 108221
2431.15/2437.61 c #Conflicts: 1668000 | #Constraints: 109222
2431.15/2437.61 c #Conflicts: 1669000 | #Constraints: 110223
2431.15/2437.61 c #Conflicts: 1670000 | #Constraints: 111223
2431.15/2437.61 c #Conflicts: 1671000 | #Constraints: 112223
2431.15/2437.61 c #Conflicts: 1672000 | #Constraints: 113223
2431.15/2437.61 c #Conflicts: 1673000 | #Constraints: 114223
2431.15/2437.61 c #Conflicts: 1674000 | #Constraints: 115224
2431.15/2437.61 c #Conflicts: 1675000 | #Constraints: 116224
2431.15/2437.61 c #Conflicts: 1676000 | #Constraints: 117224
2431.15/2437.61 c #Conflicts: 1677000 | #Constraints: 118225
2431.15/2437.61 c #Conflicts: 1678000 | #Constraints: 119226
2431.15/2437.61 c #Conflicts: 1679000 | #Constraints: 120226
2431.15/2437.61 c #Conflicts: 1680000 | #Constraints: 121226
2431.15/2437.61 c #Conflicts: 1681000 | #Constraints: 122227
2431.15/2437.61 c #Conflicts: 1682000 | #Constraints: 123227
2431.15/2437.61 c #Conflicts: 1683000 | #Constraints: 124227
2431.15/2437.61 c #Conflicts: 1684000 | #Constraints: 125227
2431.15/2437.61 c #Conflicts: 1685000 | #Constraints: 126227
2431.15/2437.61 c #Conflicts: 1686000 | #Constraints: 127227
2431.15/2437.61 c #Conflicts: 1687000 | #Constraints: 128227
2431.15/2437.61 c #Conflicts: 1688000 | #Constraints: 129228
2431.15/2437.61 c #Conflicts: 1689000 | #Constraints: 130229
2431.15/2437.61 c #Conflicts: 1690000 | #Constraints: 131229
2431.15/2437.61 c #Conflicts: 1691000 | #Constraints: 132230
2431.15/2437.61 c #Conflicts: 1692000 | #Constraints: 133230
2431.15/2437.61 c #Conflicts: 1693000 | #Constraints: 134231
2431.15/2437.61 c #Conflicts: 1694000 | #Constraints: 135231
2431.15/2437.61 c #Conflicts: 1695000 | #Constraints: 136231
2431.15/2437.61 c #Conflicts: 1696000 | #Constraints: 137231
2431.15/2437.61 c #Conflicts: 1697000 | #Constraints: 138231
2431.15/2437.61 c #Conflicts: 1698000 | #Constraints: 139231
2431.15/2437.61 c #Conflicts: 1699000 | #Constraints: 140231
2431.15/2437.61 c #Conflicts: 1700000 | #Constraints: 141231
2431.15/2437.61 c #Conflicts: 1701000 | #Constraints: 142231
2431.15/2437.61 c #Conflicts: 1702000 | #Constraints: 143231
2431.15/2437.61 c #Conflicts: 1703000 | #Constraints: 144232
2431.15/2437.61 c #Conflicts: 1704000 | #Constraints: 145233
2431.15/2437.61 c #Conflicts: 1705000 | #Constraints: 146233
2431.15/2437.61 c #Conflicts: 1706000 | #Constraints: 147234
2431.15/2437.61 c #Conflicts: 1707000 | #Constraints: 148235
2431.15/2437.61 c #Conflicts: 1708000 | #Constraints: 149236
2431.15/2437.61 c #Conflicts: 1709000 | #Constraints: 150236
2431.15/2437.61 c #Conflicts: 1710000 | #Constraints: 151237
2574.99/2581.88 c #Conflicts: 1711000 | #Constraints: 152238
2574.99/2581.88 c #Conflicts: 1712000 | #Constraints: 153240
2574.99/2581.88 c #Conflicts: 1713000 | #Constraints: 154240
2574.99/2581.88 c #Conflicts: 1714000 | #Constraints: 155240
2574.99/2581.88 c #Conflicts: 1715000 | #Constraints: 156242
2574.99/2581.88 c #Conflicts: 1716000 | #Constraints: 157242
2574.99/2581.88 c #Conflicts: 1717000 | #Constraints: 158242
2574.99/2581.88 c #Conflicts: 1718000 | #Constraints: 159243
2574.99/2581.88 c #Conflicts: 1719000 | #Constraints: 160244
2574.99/2581.88 c #Conflicts: 1720000 | #Constraints: 161245
2574.99/2581.88 c #Conflicts: 1721000 | #Constraints: 162246
2574.99/2581.88 c #Conflicts: 1722000 | #Constraints: 163247
2574.99/2581.88 c #Conflicts: 1723000 | #Constraints: 164248
2574.99/2581.88 c #Conflicts: 1724000 | #Constraints: 165248
2574.99/2581.88 c #Conflicts: 1725000 | #Constraints: 166249
2574.99/2581.88 c #Conflicts: 1726000 | #Constraints: 167249
2574.99/2581.88 c #Conflicts: 1727000 | #Constraints: 168252
2574.99/2581.88 c #Conflicts: 1728000 | #Constraints: 169253
2574.99/2581.88 c #Conflicts: 1729000 | #Constraints: 170254
2574.99/2581.88 c #Conflicts: 1730000 | #Constraints: 171254
2574.99/2581.88 c #Conflicts: 1731000 | #Constraints: 172256
2574.99/2581.88 c #Conflicts: 1732000 | #Constraints: 173258
2574.99/2581.88 c #Conflicts: 1733000 | #Constraints: 174258
2574.99/2581.88 c #Conflicts: 1734000 | #Constraints: 175259
2574.99/2581.88 c #Conflicts: 1735000 | #Constraints: 176261
2574.99/2581.88 c #Conflicts: 1736000 | #Constraints: 177261
2574.99/2581.88 c #Conflicts: 1737000 | #Constraints: 178263
2574.99/2581.88 c #Conflicts: 1738000 | #Constraints: 179263
2574.99/2581.88 c #Conflicts: 1739000 | #Constraints: 180268
2574.99/2581.88 c INPROCESSING
2574.99/2581.88 c GARBAGE COLLECT
2574.99/2581.88 c #Conflicts: 1740000 | #Constraints: 115044
2574.99/2581.88 c #Conflicts: 1741000 | #Constraints: 116044
2574.99/2581.88 c #Conflicts: 1742000 | #Constraints: 117044
2574.99/2581.88 c #Conflicts: 1743000 | #Constraints: 118044
2574.99/2581.88 c #Conflicts: 1744000 | #Constraints: 119044
2574.99/2581.88 c #Conflicts: 1745000 | #Constraints: 120045
2574.99/2581.88 c #Conflicts: 1746000 | #Constraints: 121045
2574.99/2581.88 c #Conflicts: 1747000 | #Constraints: 122045
2574.99/2581.88 c #Conflicts: 1748000 | #Constraints: 123045
2574.99/2581.88 c #Conflicts: 1749000 | #Constraints: 124045
2574.99/2581.88 c #Conflicts: 1750000 | #Constraints: 125045
2574.99/2581.88 c #Conflicts: 1751000 | #Constraints: 126045
2574.99/2581.88 c #Conflicts: 1752000 | #Constraints: 127045
2574.99/2581.88 c #Conflicts: 1753000 | #Constraints: 128045
2574.99/2581.88 c #Conflicts: 1754000 | #Constraints: 129045
2574.99/2581.88 c #Conflicts: 1755000 | #Constraints: 130045
2574.99/2581.88 c #Conflicts: 1756000 | #Constraints: 131045
2574.99/2581.88 c #Conflicts: 1757000 | #Constraints: 132045
2574.99/2581.88 c #Conflicts: 1758000 | #Constraints: 133045
2574.99/2581.88 c #Conflicts: 1759000 | #Constraints: 134045
2574.99/2581.88 c #Conflicts: 1760000 | #Constraints: 135045
2574.99/2581.88 c #Conflicts: 1761000 | #Constraints: 136045
2574.99/2581.88 c #Conflicts: 1762000 | #Constraints: 137045
2574.99/2581.88 c #Conflicts: 1763000 | #Constraints: 138045
2574.99/2581.88 c #Conflicts: 1764000 | #Constraints: 139045
2574.99/2581.88 c #Conflicts: 1765000 | #Constraints: 140045
2574.99/2581.88 c #Conflicts: 1766000 | #Constraints: 141045
2574.99/2581.88 c #Conflicts: 1767000 | #Constraints: 142045
2574.99/2581.88 c #Conflicts: 1768000 | #Constraints: 143045
2574.99/2581.88 c #Conflicts: 1769000 | #Constraints: 144045
2574.99/2581.88 c INPROCESSING
2574.99/2581.88 c GARBAGE COLLECT
2574.99/2581.88 c #Conflicts: 1770000 | #Constraints: 96896
2574.99/2581.88 c #Conflicts: 1771000 | #Constraints: 97896
2574.99/2581.88 c #Conflicts: 1772000 | #Constraints: 98896
2574.99/2581.88 c #Conflicts: 1773000 | #Constraints: 99896
2574.99/2581.88 c #Conflicts: 1774000 | #Constraints: 100896
2574.99/2581.88 c #Conflicts: 1775000 | #Constraints: 101896
2574.99/2581.88 c #Conflicts: 1776000 | #Constraints: 102896
2574.99/2581.88 c #Conflicts: 1777000 | #Constraints: 103896
2574.99/2581.88 c #Conflicts: 1778000 | #Constraints: 104896
2574.99/2581.88 c #Conflicts: 1779000 | #Constraints: 105896
2574.99/2581.88 c #Conflicts: 1780000 | #Constraints: 106896
2574.99/2581.88 c #Conflicts: 1781000 | #Constraints: 107896
2574.99/2581.88 c #Conflicts: 1782000 | #Constraints: 108896
2574.99/2581.88 c #Conflicts: 1783000 | #Constraints: 109896
2574.99/2581.88 c #Conflicts: 1784000 | #Constraints: 110896
2574.99/2581.88 c #Conflicts: 1785000 | #Constraints: 111896
2574.99/2581.88 c #Conflicts: 1786000 | #Constraints: 112896
2574.99/2581.88 c #Conflicts: 1787000 | #Constraints: 113896
2574.99/2581.88 c #Conflicts: 1788000 | #Constraints: 114896
2697.98/2705.17 c #Conflicts: 1789000 | #Constraints: 115896
2697.98/2705.17 c #Conflicts: 1790000 | #Constraints: 116896
2697.98/2705.17 c #Conflicts: 1791000 | #Constraints: 117896
2697.98/2705.17 c #Conflicts: 1792000 | #Constraints: 118896
2697.98/2705.17 c #Conflicts: 1793000 | #Constraints: 119896
2697.98/2705.17 c #Conflicts: 1794000 | #Constraints: 120896
2697.98/2705.17 c #Conflicts: 1795000 | #Constraints: 121896
2697.98/2705.17 c #Conflicts: 1796000 | #Constraints: 122896
2697.98/2705.17 c #Conflicts: 1797000 | #Constraints: 123896
2697.98/2705.17 c #Conflicts: 1798000 | #Constraints: 124896
2697.98/2705.17 c #Conflicts: 1799000 | #Constraints: 125896
2697.98/2705.17 c #Conflicts: 1800000 | #Constraints: 126896
2697.98/2705.17 c INPROCESSING
2697.98/2705.17 c GARBAGE COLLECT
2697.98/2705.17 c #Conflicts: 1801000 | #Constraints: 88626
2697.98/2705.17 c #Conflicts: 1802000 | #Constraints: 89626
2697.98/2705.17 c #Conflicts: 1803000 | #Constraints: 90626
2697.98/2705.17 c #Conflicts: 1804000 | #Constraints: 91626
2697.98/2705.17 c #Conflicts: 1805000 | #Constraints: 92626
2697.98/2705.17 c #Conflicts: 1806000 | #Constraints: 93626
2697.98/2705.17 c #Conflicts: 1807000 | #Constraints: 94626
2697.98/2705.17 c #Conflicts: 1808000 | #Constraints: 95626
2697.98/2705.17 c #Conflicts: 1809000 | #Constraints: 96626
2697.98/2705.17 c #Conflicts: 1810000 | #Constraints: 97626
2697.98/2705.17 c #Conflicts: 1811000 | #Constraints: 98626
2697.98/2705.17 c #Conflicts: 1812000 | #Constraints: 99626
2697.98/2705.17 c #Conflicts: 1813000 | #Constraints: 100626
2697.98/2705.17 c #Conflicts: 1814000 | #Constraints: 101626
2697.98/2705.17 c #Conflicts: 1815000 | #Constraints: 102626
2697.98/2705.17 c #Conflicts: 1816000 | #Constraints: 103626
2697.98/2705.17 c #Conflicts: 1817000 | #Constraints: 104626
2697.98/2705.17 c #Conflicts: 1818000 | #Constraints: 105626
2697.98/2705.17 c #Conflicts: 1819000 | #Constraints: 106626
2697.98/2705.17 c #Conflicts: 1820000 | #Constraints: 107626
2697.98/2705.17 c #Conflicts: 1821000 | #Constraints: 108626
2697.98/2705.17 c #Conflicts: 1822000 | #Constraints: 109626
2697.98/2705.17 c #Conflicts: 1823000 | #Constraints: 110626
2697.98/2705.17 c #Conflicts: 1824000 | #Constraints: 111626
2697.98/2705.17 c #Conflicts: 1825000 | #Constraints: 112626
2697.98/2705.17 c #Conflicts: 1826000 | #Constraints: 113626
2697.98/2705.17 c #Conflicts: 1827000 | #Constraints: 114626
2697.98/2705.17 c #Conflicts: 1828000 | #Constraints: 115626
2697.98/2705.17 c #Conflicts: 1829000 | #Constraints: 116626
2697.98/2705.17 c #Conflicts: 1830000 | #Constraints: 117626
2697.98/2705.17 c INPROCESSING
2697.98/2705.17 c GARBAGE COLLECT
2697.98/2705.17 c #Conflicts: 1831000 | #Constraints: 83663
2697.98/2705.17 c #Conflicts: 1832000 | #Constraints: 84663
2697.98/2705.17 c #Conflicts: 1833000 | #Constraints: 85663
2697.98/2705.17 c #Conflicts: 1834000 | #Constraints: 86663
2697.98/2705.17 c #Conflicts: 1835000 | #Constraints: 87663
2697.98/2705.17 c #Conflicts: 1836000 | #Constraints: 88663
2697.98/2705.17 c #Conflicts: 1837000 | #Constraints: 89663
2697.98/2705.17 c #Conflicts: 1838000 | #Constraints: 90663
2697.98/2705.17 c #Conflicts: 1839000 | #Constraints: 91663
2697.98/2705.17 c #Conflicts: 1840000 | #Constraints: 92663
2697.98/2705.17 c #Conflicts: 1841000 | #Constraints: 93663
2697.98/2705.17 c #Conflicts: 1842000 | #Constraints: 94663
2697.98/2705.17 c #Conflicts: 1843000 | #Constraints: 95663
2697.98/2705.17 c #Conflicts: 1844000 | #Constraints: 96663
2697.98/2705.17 c #Conflicts: 1845000 | #Constraints: 97663
2697.98/2705.17 c #Conflicts: 1846000 | #Constraints: 98663
2697.98/2705.17 c #Conflicts: 1847000 | #Constraints: 99663
2697.98/2705.17 c #Conflicts: 1848000 | #Constraints: 100663
2697.98/2705.17 c #Conflicts: 1849000 | #Constraints: 101663
2697.98/2705.17 c #Conflicts: 1850000 | #Constraints: 102663
2697.98/2705.17 c #Conflicts: 1851000 | #Constraints: 103663
2697.98/2705.17 c #Conflicts: 1852000 | #Constraints: 104663
2697.98/2705.17 c #Conflicts: 1853000 | #Constraints: 105663
2697.98/2705.17 c #Conflicts: 1854000 | #Constraints: 106663
2697.98/2705.17 c #Conflicts: 1855000 | #Constraints: 107663
2697.98/2705.17 c #Conflicts: 1856000 | #Constraints: 108663
2697.98/2705.17 c #Conflicts: 1857000 | #Constraints: 109663
2697.98/2705.17 c #Conflicts: 1858000 | #Constraints: 110663
2697.98/2705.17 c #Conflicts: 1859000 | #Constraints: 111663
2697.98/2705.17 c #Conflicts: 1860000 | #Constraints: 112663
2697.98/2705.17 c #Conflicts: 1861000 | #Constraints: 113663
2697.98/2705.17 c #Conflicts: 1862000 | #Constraints: 114663
2697.98/2705.17 c #Conflicts: 1863000 | #Constraints: 115663
2697.98/2705.17 c #Conflicts: 1864000 | #Constraints: 116663
2697.98/2705.17 c #Conflicts: 1865000 | #Constraints: 117663
2859.08/2866.66 c #Conflicts: 1866000 | #Constraints: 118663
2859.08/2866.66 c #Conflicts: 1867000 | #Constraints: 119663
2859.08/2866.66 c #Conflicts: 1868000 | #Constraints: 120663
2859.08/2866.66 c #Conflicts: 1869000 | #Constraints: 121663
2859.08/2866.66 c #Conflicts: 1870000 | #Constraints: 122663
2859.08/2866.66 c #Conflicts: 1871000 | #Constraints: 123663
2859.08/2866.66 c #Conflicts: 1872000 | #Constraints: 124663
2859.08/2866.66 c #Conflicts: 1873000 | #Constraints: 125663
2859.08/2866.66 c #Conflicts: 1874000 | #Constraints: 126663
2859.08/2866.66 c #Conflicts: 1875000 | #Constraints: 127663
2859.08/2866.66 c #Conflicts: 1876000 | #Constraints: 128663
2859.08/2866.66 c #Conflicts: 1877000 | #Constraints: 129663
2859.08/2866.66 c #Conflicts: 1878000 | #Constraints: 130663
2859.08/2866.66 c #Conflicts: 1879000 | #Constraints: 131663
2859.08/2866.66 c #Conflicts: 1880000 | #Constraints: 132663
2859.08/2866.66 c #Conflicts: 1881000 | #Constraints: 133663
2859.08/2866.66 c #Conflicts: 1882000 | #Constraints: 134663
2859.08/2866.66 c #Conflicts: 1883000 | #Constraints: 135663
2859.08/2866.66 c #Conflicts: 1884000 | #Constraints: 136663
2859.08/2866.66 c #Conflicts: 1885000 | #Constraints: 137663
2859.08/2866.66 c #Conflicts: 1886000 | #Constraints: 138663
2859.08/2866.66 c #Conflicts: 1887000 | #Constraints: 139663
2859.08/2866.66 c #Conflicts: 1888000 | #Constraints: 140663
2859.08/2866.66 c #Conflicts: 1889000 | #Constraints: 141663
2859.08/2866.66 c #Conflicts: 1890000 | #Constraints: 142663
2859.08/2866.66 c #Conflicts: 1891000 | #Constraints: 143663
2859.08/2866.66 c #Conflicts: 1892000 | #Constraints: 144663
2859.08/2866.66 c #Conflicts: 1893000 | #Constraints: 145664
2859.08/2866.66 c #Conflicts: 1894000 | #Constraints: 146664
2859.08/2866.66 c #Conflicts: 1895000 | #Constraints: 147664
2859.08/2866.66 c #Conflicts: 1896000 | #Constraints: 148664
2859.08/2866.66 c #Conflicts: 1897000 | #Constraints: 149664
2859.08/2866.66 c #Conflicts: 1898000 | #Constraints: 150664
2859.08/2866.66 c #Conflicts: 1899000 | #Constraints: 151664
2859.08/2866.66 c #Conflicts: 1900000 | #Constraints: 152664
2859.08/2866.66 c #Conflicts: 1901000 | #Constraints: 153664
2859.08/2866.66 c #Conflicts: 1902000 | #Constraints: 154664
2859.08/2866.66 c #Conflicts: 1903000 | #Constraints: 155665
2859.08/2866.66 c #Conflicts: 1904000 | #Constraints: 156665
2859.08/2866.66 c #Conflicts: 1905000 | #Constraints: 157665
2859.08/2866.66 c #Conflicts: 1906000 | #Constraints: 158665
2859.08/2866.66 c #Conflicts: 1907000 | #Constraints: 159665
2859.08/2866.66 c #Conflicts: 1908000 | #Constraints: 160665
2859.08/2866.66 c #Conflicts: 1909000 | #Constraints: 161665
2859.08/2866.66 c #Conflicts: 1910000 | #Constraints: 162666
2859.08/2866.66 c #Conflicts: 1911000 | #Constraints: 163666
2859.08/2866.66 c #Conflicts: 1912000 | #Constraints: 164666
2859.08/2866.66 c #Conflicts: 1913000 | #Constraints: 165666
2859.08/2866.66 c #Conflicts: 1914000 | #Constraints: 166667
2859.08/2866.66 c #Conflicts: 1915000 | #Constraints: 167668
2859.08/2866.66 c #Conflicts: 1916000 | #Constraints: 168669
2859.08/2866.66 c #Conflicts: 1917000 | #Constraints: 169670
2859.08/2866.66 c #Conflicts: 1918000 | #Constraints: 170671
2859.08/2866.66 c #Conflicts: 1919000 | #Constraints: 171671
2859.08/2866.66 c #Conflicts: 1920000 | #Constraints: 172672
2859.08/2866.66 c #Conflicts: 1921000 | #Constraints: 173672
2859.08/2866.66 c #Conflicts: 1922000 | #Constraints: 174672
2859.08/2866.66 c #Conflicts: 1923000 | #Constraints: 175673
2859.08/2866.66 c #Conflicts: 1924000 | #Constraints: 176674
2859.08/2866.66 c #Conflicts: 1925000 | #Constraints: 177676
2859.08/2866.66 c #Conflicts: 1926000 | #Constraints: 178676
2859.08/2866.66 c #Conflicts: 1927000 | #Constraints: 179677
2859.08/2866.66 c #Conflicts: 1928000 | #Constraints: 180678
2859.08/2866.66 c #Conflicts: 1929000 | #Constraints: 181679
2859.08/2866.66 c #Conflicts: 1930000 | #Constraints: 182680
2859.08/2866.66 c #Conflicts: 1931000 | #Constraints: 183680
2859.08/2866.66 c #Conflicts: 1932000 | #Constraints: 184680
2859.08/2866.66 c #Conflicts: 1933000 | #Constraints: 185680
2859.08/2866.66 c #Conflicts: 1934000 | #Constraints: 186680
2859.08/2866.66 c #Conflicts: 1935000 | #Constraints: 187680
2859.08/2866.66 c INPROCESSING
2859.08/2866.66 c GARBAGE COLLECT
2859.08/2866.66 c #Conflicts: 1936000 | #Constraints: 118943
2859.08/2866.66 c #Conflicts: 1937000 | #Constraints: 119943
2859.08/2866.66 c #Conflicts: 1938000 | #Constraints: 120943
2859.08/2866.66 c #Conflicts: 1939000 | #Constraints: 121943
2859.08/2866.66 c #Conflicts: 1940000 | #Constraints: 122943
2859.08/2866.66 c #Conflicts: 1941000 | #Constraints: 123943
2859.08/2866.66 c #Conflicts: 1942000 | #Constraints: 124943
2859.08/2866.66 c #Conflicts: 1943000 | #Constraints: 125943
2992.64/3000.53 c #Conflicts: 1944000 | #Constraints: 126943
2992.64/3000.53 c #Conflicts: 1945000 | #Constraints: 127943
2992.64/3000.53 c #Conflicts: 1946000 | #Constraints: 128943
2992.64/3000.53 c #Conflicts: 1947000 | #Constraints: 129943
2992.64/3000.53 c #Conflicts: 1948000 | #Constraints: 130943
2992.64/3000.53 c #Conflicts: 1949000 | #Constraints: 131943
2992.64/3000.53 c #Conflicts: 1950000 | #Constraints: 132943
2992.64/3000.53 c #Conflicts: 1951000 | #Constraints: 133943
2992.64/3000.53 c #Conflicts: 1952000 | #Constraints: 134943
2992.64/3000.53 c #Conflicts: 1953000 | #Constraints: 135943
2992.64/3000.53 c #Conflicts: 1954000 | #Constraints: 136943
2992.64/3000.53 c #Conflicts: 1955000 | #Constraints: 137943
2992.64/3000.53 c #Conflicts: 1956000 | #Constraints: 138943
2992.64/3000.53 c #Conflicts: 1957000 | #Constraints: 139943
2992.64/3000.53 c #Conflicts: 1958000 | #Constraints: 140943
2992.64/3000.53 c #Conflicts: 1959000 | #Constraints: 141943
2992.64/3000.53 c #Conflicts: 1960000 | #Constraints: 142943
2992.64/3000.53 c #Conflicts: 1961000 | #Constraints: 143943
2992.64/3000.53 c #Conflicts: 1962000 | #Constraints: 144943
2992.64/3000.53 c #Conflicts: 1963000 | #Constraints: 145943
2992.64/3000.53 c #Conflicts: 1964000 | #Constraints: 146943
2992.64/3000.53 c #Conflicts: 1965000 | #Constraints: 147943
2992.64/3000.53 c #Conflicts: 1966000 | #Constraints: 148943
2992.64/3000.53 c #Conflicts: 1967000 | #Constraints: 149943
2992.64/3000.53 c INPROCESSING
2992.64/3000.53 c GARBAGE COLLECT
2992.64/3000.53 c #Conflicts: 1968000 | #Constraints: 100096
2992.64/3000.53 c #Conflicts: 1969000 | #Constraints: 101096
2992.64/3000.53 c #Conflicts: 1970000 | #Constraints: 102096
2992.64/3000.53 c #Conflicts: 1971000 | #Constraints: 103097
2992.64/3000.53 c #Conflicts: 1972000 | #Constraints: 104097
2992.64/3000.53 c #Conflicts: 1973000 | #Constraints: 105097
2992.64/3000.53 c #Conflicts: 1974000 | #Constraints: 106097
2992.64/3000.53 c #Conflicts: 1975000 | #Constraints: 107097
2992.64/3000.53 c #Conflicts: 1976000 | #Constraints: 108097
2992.64/3000.53 c #Conflicts: 1977000 | #Constraints: 109097
2992.64/3000.53 c #Conflicts: 1978000 | #Constraints: 110097
2992.64/3000.53 c #Conflicts: 1979000 | #Constraints: 111097
2992.64/3000.53 c #Conflicts: 1980000 | #Constraints: 112098
2992.64/3000.53 c #Conflicts: 1981000 | #Constraints: 113099
2992.64/3000.53 c #Conflicts: 1982000 | #Constraints: 114099
2992.64/3000.53 c #Conflicts: 1983000 | #Constraints: 115099
2992.64/3000.53 c #Conflicts: 1984000 | #Constraints: 116099
2992.64/3000.53 c #Conflicts: 1985000 | #Constraints: 117099
2992.64/3000.53 c #Conflicts: 1986000 | #Constraints: 118099
2992.64/3000.53 c #Conflicts: 1987000 | #Constraints: 119099
2992.64/3000.53 c #Conflicts: 1988000 | #Constraints: 120099
2992.64/3000.53 c #Conflicts: 1989000 | #Constraints: 121099
2992.64/3000.53 c #Conflicts: 1990000 | #Constraints: 122099
2992.64/3000.53 c #Conflicts: 1991000 | #Constraints: 123099
2992.64/3000.53 c #Conflicts: 1992000 | #Constraints: 124099
2992.64/3000.53 c #Conflicts: 1993000 | #Constraints: 125099
2992.64/3000.53 c #Conflicts: 1994000 | #Constraints: 126099
2992.64/3000.53 c #Conflicts: 1995000 | #Constraints: 127099
2992.64/3000.53 c #Conflicts: 1996000 | #Constraints: 128099
2992.64/3000.53 c #Conflicts: 1997000 | #Constraints: 129099
2992.64/3000.53 c #Conflicts: 1998000 | #Constraints: 130099
2992.64/3000.53 c #Conflicts: 1999000 | #Constraints: 131099
2992.64/3000.53 c INPROCESSING
2992.64/3000.53 c GARBAGE COLLECT
2992.64/3000.53 c #Conflicts: 2000000 | #Constraints: 90635
2992.64/3000.53 c #Conflicts: 2001000 | #Constraints: 91635
2992.64/3000.53 c #Conflicts: 2002000 | #Constraints: 92635
2992.64/3000.53 c #Conflicts: 2003000 | #Constraints: 93635
2992.64/3000.53 c #Conflicts: 2004000 | #Constraints: 94635
2992.64/3000.53 c #Conflicts: 2005000 | #Constraints: 95635
2992.64/3000.53 c #Conflicts: 2006000 | #Constraints: 96635
2992.64/3000.53 c #Conflicts: 2007000 | #Constraints: 97635
2992.64/3000.53 c #Conflicts: 2008000 | #Constraints: 98635
2992.64/3000.53 c #Conflicts: 2009000 | #Constraints: 99635
2992.64/3000.53 c #Conflicts: 2010000 | #Constraints: 100635
2992.64/3000.53 c #Conflicts: 2011000 | #Constraints: 101635
2992.64/3000.53 c #Conflicts: 2012000 | #Constraints: 102635
2992.64/3000.53 c #Conflicts: 2013000 | #Constraints: 103635
2992.64/3000.53 c #Conflicts: 2014000 | #Constraints: 104635
2992.64/3000.53 c #Conflicts: 2015000 | #Constraints: 105635
2992.64/3000.53 c #Conflicts: 2016000 | #Constraints: 106635
2992.64/3000.53 c #Conflicts: 2017000 | #Constraints: 107635
2992.64/3000.53 c #Conflicts: 2018000 | #Constraints: 108635
2992.64/3000.53 c #Conflicts: 2019000 | #Constraints: 109635
2992.64/3000.53 c #Conflicts: 2020000 | #Constraints: 110635
2992.64/3000.53 c #Conflicts: 2021000 | #Constraints: 111635
3124.51/3132.77 c #Conflicts: 2022000 | #Constraints: 112635
3124.51/3132.77 c #Conflicts: 2023000 | #Constraints: 113635
3124.51/3132.77 c #Conflicts: 2024000 | #Constraints: 114635
3124.51/3132.77 c #Conflicts: 2025000 | #Constraints: 115635
3124.51/3132.77 c #Conflicts: 2026000 | #Constraints: 116635
3124.51/3132.77 c #Conflicts: 2027000 | #Constraints: 117635
3124.51/3132.77 c #Conflicts: 2028000 | #Constraints: 118635
3124.51/3132.77 c #Conflicts: 2029000 | #Constraints: 119635
3124.51/3132.77 c #Conflicts: 2030000 | #Constraints: 120635
3124.51/3132.77 c #Conflicts: 2031000 | #Constraints: 121635
3124.51/3132.77 c INPROCESSING
3124.51/3132.77 c GARBAGE COLLECT
3124.51/3132.77 c #Conflicts: 2032000 | #Constraints: 85743
3124.51/3132.77 c #Conflicts: 2033000 | #Constraints: 86743
3124.51/3132.77 c #Conflicts: 2034000 | #Constraints: 87743
3124.51/3132.77 c #Conflicts: 2035000 | #Constraints: 88743
3124.51/3132.77 c #Conflicts: 2036000 | #Constraints: 89743
3124.51/3132.77 c #Conflicts: 2037000 | #Constraints: 90743
3124.51/3132.77 c #Conflicts: 2038000 | #Constraints: 91743
3124.51/3132.77 c #Conflicts: 2039000 | #Constraints: 92743
3124.51/3132.77 c #Conflicts: 2040000 | #Constraints: 93743
3124.51/3132.77 c #Conflicts: 2041000 | #Constraints: 94743
3124.51/3132.77 c #Conflicts: 2042000 | #Constraints: 95743
3124.51/3132.77 c #Conflicts: 2043000 | #Constraints: 96743
3124.51/3132.77 c #Conflicts: 2044000 | #Constraints: 97743
3124.51/3132.77 c #Conflicts: 2045000 | #Constraints: 98743
3124.51/3132.77 c #Conflicts: 2046000 | #Constraints: 99743
3124.51/3132.77 c #Conflicts: 2047000 | #Constraints: 100743
3124.51/3132.77 c #Conflicts: 2048000 | #Constraints: 101744
3124.51/3132.77 c #Conflicts: 2049000 | #Constraints: 102744
3124.51/3132.77 c #Conflicts: 2050000 | #Constraints: 103744
3124.51/3132.77 c #Conflicts: 2051000 | #Constraints: 104744
3124.51/3132.77 c #Conflicts: 2052000 | #Constraints: 105744
3124.51/3132.77 c #Conflicts: 2053000 | #Constraints: 106744
3124.51/3132.77 c #Conflicts: 2054000 | #Constraints: 107744
3124.51/3132.77 c #Conflicts: 2055000 | #Constraints: 108744
3124.51/3132.77 c #Conflicts: 2056000 | #Constraints: 109744
3124.51/3132.77 c #Conflicts: 2057000 | #Constraints: 110744
3124.51/3132.77 c #Conflicts: 2058000 | #Constraints: 111744
3124.51/3132.77 c #Conflicts: 2059000 | #Constraints: 112744
3124.51/3132.77 c #Conflicts: 2060000 | #Constraints: 113744
3124.51/3132.77 c #Conflicts: 2061000 | #Constraints: 114744
3124.51/3132.77 c #Conflicts: 2062000 | #Constraints: 115744
3124.51/3132.77 c #Conflicts: 2063000 | #Constraints: 116744
3124.51/3132.77 c #Conflicts: 2064000 | #Constraints: 117744
3124.51/3132.77 c #Conflicts: 2065000 | #Constraints: 118744
3124.51/3132.77 c #Conflicts: 2066000 | #Constraints: 119744
3124.51/3132.77 c #Conflicts: 2067000 | #Constraints: 120744
3124.51/3132.77 c #Conflicts: 2068000 | #Constraints: 121744
3124.51/3132.77 c #Conflicts: 2069000 | #Constraints: 122744
3124.51/3132.77 c #Conflicts: 2070000 | #Constraints: 123745
3124.51/3132.77 c #Conflicts: 2071000 | #Constraints: 124745
3124.51/3132.77 c #Conflicts: 2072000 | #Constraints: 125745
3124.51/3132.77 c #Conflicts: 2073000 | #Constraints: 126745
3124.51/3132.77 c #Conflicts: 2074000 | #Constraints: 127745
3124.51/3132.77 c #Conflicts: 2075000 | #Constraints: 128746
3124.51/3132.77 c #Conflicts: 2076000 | #Constraints: 129747
3124.51/3132.77 c #Conflicts: 2077000 | #Constraints: 130748
3124.51/3132.77 c #Conflicts: 2078000 | #Constraints: 131748
3124.51/3132.77 c #Conflicts: 2079000 | #Constraints: 132748
3124.51/3132.77 c #Conflicts: 2080000 | #Constraints: 133748
3124.51/3132.77 c #Conflicts: 2081000 | #Constraints: 134749
3124.51/3132.77 c #Conflicts: 2082000 | #Constraints: 135749
3124.51/3132.77 c #Conflicts: 2083000 | #Constraints: 136749
3124.51/3132.77 c #Conflicts: 2084000 | #Constraints: 137751
3124.51/3132.77 c #Conflicts: 2085000 | #Constraints: 138751
3124.51/3132.77 c #Conflicts: 2086000 | #Constraints: 139751
3124.51/3132.77 c #Conflicts: 2087000 | #Constraints: 140751
3124.51/3132.77 c #Conflicts: 2088000 | #Constraints: 141751
3124.51/3132.77 c #Conflicts: 2089000 | #Constraints: 142752
3124.51/3132.77 c #Conflicts: 2090000 | #Constraints: 143755
3124.51/3132.77 c #Conflicts: 2091000 | #Constraints: 144755
3124.51/3132.77 c #Conflicts: 2092000 | #Constraints: 145755
3124.51/3132.77 c #Conflicts: 2093000 | #Constraints: 146755
3124.51/3132.77 c #Conflicts: 2094000 | #Constraints: 147755
3124.51/3132.77 c #Conflicts: 2095000 | #Constraints: 148755
3124.51/3132.77 c #Conflicts: 2096000 | #Constraints: 149755
3124.51/3132.77 c #Conflicts: 2097000 | #Constraints: 150755
3124.51/3132.77 c #Conflicts: 2098000 | #Constraints: 151755
3124.51/3132.77 c #Conflicts: 2099000 | #Constraints: 152755
3321.42/3330.19 c #Conflicts: 2100000 | #Constraints: 153755
3321.42/3330.19 c #Conflicts: 2101000 | #Constraints: 154755
3321.42/3330.19 c #Conflicts: 2102000 | #Constraints: 155755
3321.42/3330.19 c #Conflicts: 2103000 | #Constraints: 156756
3321.42/3330.19 c #Conflicts: 2104000 | #Constraints: 157757
3321.42/3330.19 c #Conflicts: 2105000 | #Constraints: 158758
3321.42/3330.19 c #Conflicts: 2106000 | #Constraints: 159758
3321.42/3330.19 c #Conflicts: 2107000 | #Constraints: 160758
3321.42/3330.19 c #Conflicts: 2108000 | #Constraints: 161760
3321.42/3330.19 c #Conflicts: 2109000 | #Constraints: 162761
3321.42/3330.19 c #Conflicts: 2110000 | #Constraints: 163761
3321.42/3330.19 c #Conflicts: 2111000 | #Constraints: 164762
3321.42/3330.19 c #Conflicts: 2112000 | #Constraints: 165763
3321.42/3330.19 c #Conflicts: 2113000 | #Constraints: 166764
3321.42/3330.19 c #Conflicts: 2114000 | #Constraints: 167764
3321.42/3330.19 c #Conflicts: 2115000 | #Constraints: 168765
3321.42/3330.19 c #Conflicts: 2116000 | #Constraints: 169765
3321.42/3330.19 c #Conflicts: 2117000 | #Constraints: 170766
3321.42/3330.19 c #Conflicts: 2118000 | #Constraints: 171767
3321.42/3330.19 c #Conflicts: 2119000 | #Constraints: 172768
3321.42/3330.19 c #Conflicts: 2120000 | #Constraints: 173768
3321.42/3330.19 c #Conflicts: 2121000 | #Constraints: 174769
3321.42/3330.19 c #Conflicts: 2122000 | #Constraints: 175769
3321.42/3330.19 c #Conflicts: 2123000 | #Constraints: 176770
3321.42/3330.19 c #Conflicts: 2124000 | #Constraints: 177770
3321.42/3330.19 c #Conflicts: 2125000 | #Constraints: 178770
3321.42/3330.19 c #Conflicts: 2126000 | #Constraints: 179770
3321.42/3330.19 c #Conflicts: 2127000 | #Constraints: 180770
3321.42/3330.19 c #Conflicts: 2128000 | #Constraints: 181770
3321.42/3330.19 c #Conflicts: 2129000 | #Constraints: 182770
3321.42/3330.19 c #Conflicts: 2130000 | #Constraints: 183770
3321.42/3330.19 c #Conflicts: 2131000 | #Constraints: 184771
3321.42/3330.19 c #Conflicts: 2132000 | #Constraints: 185771
3321.42/3330.19 c #Conflicts: 2133000 | #Constraints: 186771
3321.42/3330.19 c #Conflicts: 2134000 | #Constraints: 187771
3321.42/3330.19 c #Conflicts: 2135000 | #Constraints: 188771
3321.42/3330.19 c #Conflicts: 2136000 | #Constraints: 189771
3321.42/3330.19 c #Conflicts: 2137000 | #Constraints: 190771
3321.42/3330.19 c #Conflicts: 2138000 | #Constraints: 191771
3321.42/3330.19 c #Conflicts: 2139000 | #Constraints: 192771
3321.42/3330.19 c #Conflicts: 2140000 | #Constraints: 193771
3321.42/3330.19 c #Conflicts: 2141000 | #Constraints: 194771
3321.42/3330.19 c INPROCESSING
3321.42/3330.19 c GARBAGE COLLECT
3321.42/3330.19 c #Conflicts: 2142000 | #Constraints: 122326
3321.42/3330.19 c #Conflicts: 2143000 | #Constraints: 123326
3321.42/3330.19 c #Conflicts: 2144000 | #Constraints: 124326
3321.42/3330.19 c #Conflicts: 2145000 | #Constraints: 125326
3321.42/3330.19 c #Conflicts: 2146000 | #Constraints: 126327
3321.42/3330.19 c #Conflicts: 2147000 | #Constraints: 127327
3321.42/3330.19 c #Conflicts: 2148000 | #Constraints: 128327
3321.42/3330.19 c #Conflicts: 2149000 | #Constraints: 129327
3321.42/3330.19 c #Conflicts: 2150000 | #Constraints: 130327
3321.42/3330.19 c #Conflicts: 2151000 | #Constraints: 131327
3321.42/3330.19 c #Conflicts: 2152000 | #Constraints: 132327
3321.42/3330.19 c #Conflicts: 2153000 | #Constraints: 133327
3321.42/3330.19 c #Conflicts: 2154000 | #Constraints: 134327
3321.42/3330.19 c #Conflicts: 2155000 | #Constraints: 135327
3321.42/3330.19 c #Conflicts: 2156000 | #Constraints: 136327
3321.42/3330.19 c #Conflicts: 2157000 | #Constraints: 137327
3321.42/3330.19 c #Conflicts: 2158000 | #Constraints: 138327
3321.42/3330.19 c #Conflicts: 2159000 | #Constraints: 139327
3321.42/3330.19 c #Conflicts: 2160000 | #Constraints: 140327
3321.42/3330.19 c #Conflicts: 2161000 | #Constraints: 141327
3321.42/3330.19 c #Conflicts: 2162000 | #Constraints: 142327
3321.42/3330.19 c #Conflicts: 2163000 | #Constraints: 143327
3321.42/3330.19 c #Conflicts: 2164000 | #Constraints: 144327
3321.42/3330.19 c #Conflicts: 2165000 | #Constraints: 145327
3321.42/3330.19 c #Conflicts: 2166000 | #Constraints: 146327
3321.42/3330.19 c #Conflicts: 2167000 | #Constraints: 147327
3321.42/3330.19 c #Conflicts: 2168000 | #Constraints: 148327
3321.42/3330.19 c #Conflicts: 2169000 | #Constraints: 149327
3321.42/3330.19 c #Conflicts: 2170000 | #Constraints: 150327
3321.42/3330.19 c #Conflicts: 2171000 | #Constraints: 151327
3321.42/3330.19 c #Conflicts: 2172000 | #Constraints: 152327
3321.42/3330.19 c #Conflicts: 2173000 | #Constraints: 153327
3321.42/3330.19 c #Conflicts: 2174000 | #Constraints: 154328
3321.42/3330.19 c #Conflicts: 2175000 | #Constraints: 155328
3321.42/3330.19 c INPROCESSING
3321.42/3330.19 c GARBAGE COLLECT
3321.42/3330.19 c #Conflicts: 2176000 | #Constraints: 102803
3447.78/3456.83 c #Conflicts: 2177000 | #Constraints: 103803
3447.78/3456.83 c #Conflicts: 2178000 | #Constraints: 104803
3447.78/3456.83 c #Conflicts: 2179000 | #Constraints: 105803
3447.78/3456.83 c #Conflicts: 2180000 | #Constraints: 106803
3447.78/3456.83 c #Conflicts: 2181000 | #Constraints: 107803
3447.78/3456.83 c #Conflicts: 2182000 | #Constraints: 108803
3447.78/3456.83 c #Conflicts: 2183000 | #Constraints: 109803
3447.78/3456.83 c #Conflicts: 2184000 | #Constraints: 110803
3447.78/3456.83 c #Conflicts: 2185000 | #Constraints: 111803
3447.78/3456.83 c #Conflicts: 2186000 | #Constraints: 112803
3447.78/3456.83 c #Conflicts: 2187000 | #Constraints: 113803
3447.78/3456.83 c #Conflicts: 2188000 | #Constraints: 114803
3447.78/3456.83 c #Conflicts: 2189000 | #Constraints: 115803
3447.78/3456.83 c #Conflicts: 2190000 | #Constraints: 116803
3447.78/3456.83 c #Conflicts: 2191000 | #Constraints: 117805
3447.78/3456.83 c #Conflicts: 2192000 | #Constraints: 118809
3447.78/3456.83 c #Conflicts: 2193000 | #Constraints: 119811
3447.78/3456.83 c #Conflicts: 2194000 | #Constraints: 120812
3447.78/3456.83 c #Conflicts: 2195000 | #Constraints: 121822
3447.78/3456.83 c #Conflicts: 2196000 | #Constraints: 122822
3447.78/3456.83 c #Conflicts: 2197000 | #Constraints: 123823
3447.78/3456.83 c #Conflicts: 2198000 | #Constraints: 124823
3447.78/3456.83 c #Conflicts: 2199000 | #Constraints: 125825
3447.78/3456.83 c #Conflicts: 2200000 | #Constraints: 126825
3447.78/3456.83 c #Conflicts: 2201000 | #Constraints: 127825
3447.78/3456.83 c #Conflicts: 2202000 | #Constraints: 128825
3447.78/3456.83 c #Conflicts: 2203000 | #Constraints: 129825
3447.78/3456.83 c #Conflicts: 2204000 | #Constraints: 130825
3447.78/3456.83 c #Conflicts: 2205000 | #Constraints: 131825
3447.78/3456.83 c #Conflicts: 2206000 | #Constraints: 132825
3447.78/3456.83 c #Conflicts: 2207000 | #Constraints: 133825
3447.78/3456.83 c #Conflicts: 2208000 | #Constraints: 134825
3447.78/3456.83 c INPROCESSING
3447.78/3456.83 c GARBAGE COLLECT
3447.78/3456.83 c #Conflicts: 2209000 | #Constraints: 92140
3447.78/3456.83 c #Conflicts: 2210000 | #Constraints: 93141
3447.78/3456.83 c #Conflicts: 2211000 | #Constraints: 94141
3447.78/3456.83 c #Conflicts: 2212000 | #Constraints: 95141
3447.78/3456.83 c #Conflicts: 2213000 | #Constraints: 96141
3447.78/3456.83 c #Conflicts: 2214000 | #Constraints: 97141
3447.78/3456.83 c #Conflicts: 2215000 | #Constraints: 98141
3447.78/3456.83 c #Conflicts: 2216000 | #Constraints: 99141
3447.78/3456.83 c #Conflicts: 2217000 | #Constraints: 100141
3447.78/3456.83 c #Conflicts: 2218000 | #Constraints: 101142
3447.78/3456.83 c #Conflicts: 2219000 | #Constraints: 102143
3447.78/3456.83 c #Conflicts: 2220000 | #Constraints: 103143
3447.78/3456.83 c #Conflicts: 2221000 | #Constraints: 104144
3447.78/3456.83 c #Conflicts: 2222000 | #Constraints: 105147
3447.78/3456.83 c #Conflicts: 2223000 | #Constraints: 106147
3447.78/3456.83 c #Conflicts: 2224000 | #Constraints: 107151
3447.78/3456.83 c #Conflicts: 2225000 | #Constraints: 108151
3447.78/3456.83 c #Conflicts: 2226000 | #Constraints: 109154
3447.78/3456.83 c #Conflicts: 2227000 | #Constraints: 110155
3447.78/3456.83 c #Conflicts: 2228000 | #Constraints: 111156
3447.78/3456.83 c #Conflicts: 2229000 | #Constraints: 112158
3447.78/3456.83 c #Conflicts: 2230000 | #Constraints: 113159
3447.78/3456.83 c #Conflicts: 2231000 | #Constraints: 114160
3447.78/3456.83 c #Conflicts: 2232000 | #Constraints: 115162
3447.78/3456.83 c #Conflicts: 2233000 | #Constraints: 116162
3447.78/3456.83 c #Conflicts: 2234000 | #Constraints: 117164
3447.78/3456.83 c #Conflicts: 2235000 | #Constraints: 118164
3447.78/3456.83 c #Conflicts: 2236000 | #Constraints: 119164
3447.78/3456.83 c #Conflicts: 2237000 | #Constraints: 120164
3447.78/3456.83 c #Conflicts: 2238000 | #Constraints: 121164
3447.78/3456.83 c #Conflicts: 2239000 | #Constraints: 122164
3447.78/3456.83 c #Conflicts: 2240000 | #Constraints: 123164
3447.78/3456.83 c #Conflicts: 2241000 | #Constraints: 124164
3447.78/3456.83 c #Conflicts: 2242000 | #Constraints: 125164
3447.78/3456.83 c INPROCESSING
3447.78/3456.83 c GARBAGE COLLECT
3447.78/3456.83 c #Conflicts: 2243000 | #Constraints: 87272
3447.78/3456.83 c #Conflicts: 2244000 | #Constraints: 88272
3447.78/3456.83 c #Conflicts: 2245000 | #Constraints: 89272
3447.78/3456.83 c #Conflicts: 2246000 | #Constraints: 90272
3447.78/3456.83 c #Conflicts: 2247000 | #Constraints: 91272
3447.78/3456.83 c #Conflicts: 2248000 | #Constraints: 92272
3447.78/3456.83 c #Conflicts: 2249000 | #Constraints: 93272
3447.78/3456.83 c #Conflicts: 2250000 | #Constraints: 94272
3447.78/3456.83 c #Conflicts: 2251000 | #Constraints: 95272
3447.78/3456.83 c #Conflicts: 2252000 | #Constraints: 96272
3447.78/3456.83 c #Conflicts: 2253000 | #Constraints: 97273
3447.78/3456.83 c #Conflicts: 2254000 | #Constraints: 98273
3600.06/3609.50 c #Conflicts: 2255000 | #Constraints: 99273
3600.06/3609.50 c #Conflicts: 2256000 | #Constraints: 100273
3600.06/3609.50 c #Conflicts: 2257000 | #Constraints: 101273
3600.06/3609.50 c #Conflicts: 2258000 | #Constraints: 102273
3600.06/3609.50 c #Conflicts: 2259000 | #Constraints: 103273
3600.06/3609.50 c #Conflicts: 2260000 | #Constraints: 104273
3600.06/3609.50 c #Conflicts: 2261000 | #Constraints: 105273
3600.06/3609.50 c #Conflicts: 2262000 | #Constraints: 106273
3600.06/3609.50 c #Conflicts: 2263000 | #Constraints: 107273
3600.06/3609.50 c #Conflicts: 2264000 | #Constraints: 108273
3600.06/3609.50 c #Conflicts: 2265000 | #Constraints: 109273
3600.06/3609.50 c #Conflicts: 2266000 | #Constraints: 110275
3600.06/3609.50 c #Conflicts: 2267000 | #Constraints: 111276
3600.06/3609.50 c #Conflicts: 2268000 | #Constraints: 112276
3600.06/3609.50 c #Conflicts: 2269000 | #Constraints: 113277
3600.06/3609.50 c #Conflicts: 2270000 | #Constraints: 114277
3600.06/3609.50 c #Conflicts: 2271000 | #Constraints: 115278
3600.06/3609.50 c #Conflicts: 2272000 | #Constraints: 116278
3600.06/3609.50 c #Conflicts: 2273000 | #Constraints: 117279
3600.06/3609.50 c #Conflicts: 2274000 | #Constraints: 118279
3600.06/3609.50 c #Conflicts: 2275000 | #Constraints: 119281
3600.06/3609.50 c #Conflicts: 2276000 | #Constraints: 120283
3600.06/3609.50 c #Conflicts: 2277000 | #Constraints: 121284
3600.06/3609.50 c #Conflicts: 2278000 | #Constraints: 122285
3600.06/3609.50 c #Conflicts: 2279000 | #Constraints: 123285
3600.06/3609.50 c #Conflicts: 2280000 | #Constraints: 124286
3600.06/3609.50 c #Conflicts: 2281000 | #Constraints: 125287
3600.06/3609.50 c #Conflicts: 2282000 | #Constraints: 126287
3600.06/3609.50 c #Conflicts: 2283000 | #Constraints: 127288
3600.06/3609.50 c #Conflicts: 2284000 | #Constraints: 128288
3600.06/3609.50 c #Conflicts: 2285000 | #Constraints: 129289
3600.06/3609.50 c #Conflicts: 2286000 | #Constraints: 130289
3600.06/3609.50 c #Conflicts: 2287000 | #Constraints: 131290
3600.06/3609.50 c #Conflicts: 2288000 | #Constraints: 132290
3600.06/3609.50 c #Conflicts: 2289000 | #Constraints: 133290
3600.06/3609.50 c #Conflicts: 2290000 | #Constraints: 134290
3600.06/3609.50 c #Conflicts: 2291000 | #Constraints: 135291
3600.06/3609.50 c #Conflicts: 2292000 | #Constraints: 136291
3600.06/3609.50 c #Conflicts: 2293000 | #Constraints: 137292
3600.06/3609.50 c #Conflicts: 2294000 | #Constraints: 138293
3600.06/3609.50 c #Conflicts: 2295000 | #Constraints: 139293
3600.06/3609.50 c #Conflicts: 2296000 | #Constraints: 140294
3600.06/3609.50 c #Conflicts: 2297000 | #Constraints: 141298
3600.06/3609.50 c #Conflicts: 2298000 | #Constraints: 142301
3600.06/3609.50 c #Conflicts: 2299000 | #Constraints: 143302
3600.06/3609.50 c #Conflicts: 2300000 | #Constraints: 144305
3600.06/3609.50 c #Conflicts: 2301000 | #Constraints: 145330
3600.06/3609.50 c #Conflicts: 2302000 | #Constraints: 146359
3600.06/3609.50 c #Conflicts: 2303000 | #Constraints: 147380
3600.06/3609.50 c #Conflicts: 2304000 | #Constraints: 148383
3600.06/3609.50 c #Conflicts: 2305000 | #Constraints: 149383
3600.06/3609.50 c #Conflicts: 2306000 | #Constraints: 150383
3600.06/3609.50 c #Conflicts: 2307000 | #Constraints: 151385
3600.06/3609.50 c #Conflicts: 2308000 | #Constraints: 152387
3600.06/3609.50 c #Conflicts: 2309000 | #Constraints: 153388
3600.06/3609.50 c #Conflicts: 2310000 | #Constraints: 154388
3600.06/3609.50 c #Conflicts: 2311000 | #Constraints: 155389
3600.06/3609.50 c #Conflicts: 2312000 | #Constraints: 156391
3600.06/3609.50 c #Conflicts: 2313000 | #Constraints: 157392
3600.06/3609.50 c #Conflicts: 2314000 | #Constraints: 158398
3600.06/3609.50 c #Conflicts: 2315000 | #Constraints: 159400
3600.06/3609.50 c #Conflicts: 2316000 | #Constraints: 160400
3600.06/3609.50 c #Conflicts: 2317000 | #Constraints: 161400
3600.06/3609.50 c #Conflicts: 2318000 | #Constraints: 162401
3600.06/3609.50 c #Conflicts: 2319000 | #Constraints: 163401
3600.06/3609.50 c #Conflicts: 2320000 | #Constraints: 164401
3600.06/3609.50 c #Conflicts: 2321000 | #Constraints: 165401
3600.06/3609.50 c cpu time 3583.22 s
3600.06/3609.50 c deterministic time 296265232217 2.96e+11
3600.06/3609.50 c optimization time 170.339 s
3600.06/3609.50 c total solve time 3412.68 s
3600.06/3609.50 c core-guided solve time 0 s
3600.06/3609.50 c propagation time 1916.94 s
3600.06/3609.50 c conflict analysis time 1554.53 s
3600.06/3609.50 c propagations 863277017
3600.06/3609.50 c resolve steps 104980291
3600.06/3609.50 c decisions 3892025
3600.06/3609.50 c conflicts 2321354
3600.06/3609.50 c restarts 4094
3600.06/3609.50 c inprocessing phases 89
3600.06/3609.50 c garbage collections 89 ,( 100.00 )
3600.06/3609.50 c input clauses 44885 ,( 93.49 )
3600.06/3609.50 c input cardinalities 45 ,( 0.09 )
3600.06/3609.50 c input general constraints 3079 ,( 6.41 )
3600.06/3609.50 c input average constraint length 2.20
3600.06/3609.50 c input average constraint degree 1.31
3600.06/3609.50 c learned clauses 2243947 ,( 96.62 )
3600.06/3609.50 c learned cardinalities 23053 ,( 0.99 )
3600.06/3609.50 c learned general constraints 55508 ,( 2.39 )
3600.06/3609.50 c learned average constraint length 827.71
3600.06/3609.50 c learned average constraint degree 3994836.70
3600.06/3609.50 c watched CF 32, 64, 128, Arb: 46653 , 0 , 0 , 0
3600.06/3609.50 c counting CF 32, 64, 128, Arb: 11934 , 0 , 0 , 0
3600.06/3609.50 c watched constraints 46653 ,( 79.63 )
3600.06/3609.50 c counting constraints 11934 ,( 20.37 )
3600.06/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 10821923646 , 1584420868 , 2316855360 ,( 613031348 , 1703824012 )
3600.06/3609.50 c gcd simplifications 9388
3600.06/3609.50 c detected cardinalities 371
3600.06/3609.50 c weakened non-implied lits 10959085
3600.06/3609.50 c weakened non-implying lits 9513
3600.06/3609.50 c original variables 4115
3600.06/3609.50 c clausal propagations 315507367
3600.06/3609.50 c cardinality propagations 14575836
3600.06/3609.50 c watched propagations 4232008
3600.06/3609.50 c counting propagations 526582068
3600.06/3609.50 c watch lookups 38158002357
3600.06/3609.50 c watch backjump lookups 0
3600.06/3609.50 c watch checks 216020024590
3600.06/3609.50 c propagation checks 36478455434
3600.06/3609.50 c constraint additions 3871696331
3600.06/3609.50 c trail pops 869487108
3600.06/3609.50 c formula constraints 48009
3600.06/3609.50 c learned constraints 2321353
3600.06/3609.50 c bound constraints 0
3600.06/3609.50 c core-guided constraints 0
3600.06/3609.50 c encountered formula constraints 80537247
3600.06/3609.50 c encountered learned constraints 26762671
3600.06/3609.50 c encountered bound constraints 0
3600.06/3609.50 c encountered core-guided constraints 0
3600.06/3609.50 c LP total time 64.3023 s
3600.06/3609.50 c LP solve time 60.14 s
3600.06/3609.50 c LP constraints added 48088
3600.06/3609.50 c LP constraints removed 35
3600.06/3609.50 c LP pivots internal 232174
3600.06/3609.50 c LP pivots root 165180
3600.06/3609.50 c LP calls 1255
3600.06/3609.50 c LP optimalities 45
3600.06/3609.50 c LP no pivot count 1
3600.06/3609.50 c LP infeasibilities 1127
3600.06/3609.50 c LP valid Farkas constraints 1127
3600.06/3609.50 c LP learned Farkas constraints 0
3600.06/3609.50 c LP basis resets 79
3600.06/3609.50 c LP cycling count 18
3600.06/3609.50 c LP singular count 36
3600.06/3609.50 c LP no primal count 0
3600.06/3609.50 c LP no farkas count 0
3600.06/3609.50 c LP other issue count 25
3600.06/3609.50 c LP Gomory cuts 28
3600.06/3609.50 c LP learned cuts 51
3600.06/3609.50 c LP deleted cuts 35
3600.06/3609.50 c LP encountered Gomory constraints 1727
3600.06/3609.50 c LP encountered Farkas constraints 0
3600.06/3609.50 c LP encountered learned Farkas constraints 0
3600.06/3609.50 c CG auxiliary variables introduced 0
3600.06/3609.50 c CG solutions found 0
3600.06/3609.50 c CG cores constructed 0
3600.06/3609.50 c CG core cardinality constraints returned 0
3600.06/3609.50 c CG unit cores 0
3600.06/3609.50 c CG single cores 0
3600.06/3609.50 c CG blocks removed during cardinality reduction 0
3600.06/3609.50 c CG first core best 0
3600.06/3609.50 c CG decision core best 0
3600.06/3609.50 c CG core reduction tie 0
3600.06/3609.50 c CG core degree average 0.00
3600.06/3609.50 c CG core slack average 0.00
3600.06/3609.50 c CG core upper bound improvements 0
3600.06/3609.50 c STR number of successful calls 0
3600.06/3609.50 c STR number of unsuccessful calls 0
3600.06/3609.50 c STR number of inconclusive calls 0
3600.06/3609.50 c STR number of successful attempts 0
3600.06/3609.50 c STR number of unsuccessful attempts 0
3600.06/3609.50 c STR number of inconclusive attempts 0
3600.06/3609.50 c STR average degree increase per successful call inf
3600.06/3609.50 c STR average degree increase per successful attempt inf
3600.06/3609.50 c STR total number of conflicts for successful attempts 0
3600.06/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.50 c STR average number of conflicts per successful attempt inf
3600.06/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.50 c AVG.sumWPerc 25.83
3600.06/3609.50 c bigint constraints 0
3600.06/3609.50 s UNKNOWN
3600.06/3609.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61975 MiB free)
memory of node 1: 64465 MiB (61026 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545237-1753233846/watcher-4545237-1753233846 -o /tmp/evaluation-result-4545237-1753233846/solver-4545237-1753233846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753233654-197624 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4545237-1753233846.opb /tmp/proof-4545237-1753233846
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=197847, runsolver pid=197844
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.06 2.58 2.18 5/270 197850
/proc/meminfo: memFree=125942580/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=59480 memory=14880 CPUtime=0.03 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 1416 0 0 0 3 0 0 0 20 0 1 0 239062151 60907520 3720 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 14870 3720 2048 1147 0 2297 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63672 KiB
Current children cumulated memory: 17696 KiB
[startup+0.205462 s]*
/proc/loadavg: 4.06 2.58 2.18 5/270 197850
/proc/meminfo: memFree=125942580/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=68780 memory=23580 CPUtime=0.13 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 3933 0 0 0 10 3 0 0 20 0 1 0 239062151 70430720 5895 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 17195 5895 2048 1147 0 4622 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 72972 KiB
Current children cumulated memory: 26396 KiB
[startup+0.304694 s]*
/proc/loadavg: 4.06 2.58 2.18 5/270 197850
/proc/meminfo: memFree=125922100/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=110488 memory=50568 CPUtime=0.23 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 8638 0 0 0 18 5 0 0 20 0 1 0 239062151 113139712 12642 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 27622 12642 2272 1147 0 15049 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 114680 KiB
Current children cumulated memory: 53384 KiB
[startup+0.70016 s]
/proc/loadavg: 4.06 2.58 2.18 5/270 197850
/proc/meminfo: memFree=125906236/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=131312 memory=79584 CPUtime=0.62 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 12845 0 0 0 56 6 0 0 20 0 1 0 239062151 134463488 19896 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 32828 19896 2304 1147 0 20255 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 135504 KiB
Current children cumulated memory: 82400 KiB
[startup+1.50014 s]
/proc/loadavg: 4.06 2.58 2.18 5/270 197850
/proc/meminfo: memFree=125906236/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=134032 memory=82340 CPUtime=1.41 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 13001 0 0 0 134 7 0 0 20 0 1 0 239062151 137248768 20585 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 33508 20585 2336 1147 0 20935 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 138224 KiB
Current children cumulated memory: 85156 KiB
[startup+3.10541 s]
/proc/loadavg: 4.06 2.60 2.19 5/270 197850
/proc/meminfo: memFree=125916104/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=138452 memory=85096 CPUtime=3.02 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 13172 0 0 0 293 9 0 0 20 0 1 0 239062151 141774848 21274 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 34613 21274 2336 1147 0 22040 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 142644 KiB
Current children cumulated memory: 87912 KiB
[startup+6.30013 s]
/proc/loadavg: 4.06 2.60 2.19 5/270 197850
/proc/meminfo: memFree=125909084/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=139120 memory=85992 CPUtime=6.2 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 13402 0 0 0 608 12 0 0 20 0 1 0 239062151 142458880 21498 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 34780 21498 2336 1147 0 22207 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 143312 KiB
Current children cumulated memory: 88808 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 2.67 2.21 5/270 197850
/proc/meminfo: memFree=125890312/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=157024 memory=102416 CPUtime=12.59 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 16446 0 0 0 1242 17 0 0 20 0 1 0 239062151 160792576 25604 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 39256 25604 2368 1147 0 26683 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 161216 KiB
Current children cumulated memory: 105232 KiB
[startup+25.5001 s]
/proc/loadavg: 4.10 2.71 2.23 5/270 197851
/proc/meminfo: memFree=125834060/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=168172 memory=113532 CPUtime=25.35 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 18728 0 0 0 2508 27 0 0 20 0 1 0 239062151 172208128 28383 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 42043 28383 2368 1147 0 29470 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 172364 KiB
Current children cumulated memory: 116348 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 2.82 2.28 5/270 197851
/proc/meminfo: memFree=125737920/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=174976 memory=124408 CPUtime=50.9 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 19417 0 0 0 5041 49 0 0 20 0 1 0 239062151 179175424 31102 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 43744 31102 2368 1147 0 31171 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 179168 KiB
Current children cumulated memory: 127224 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 3.03 2.39 5/271 197854
/proc/meminfo: memFree=125546132/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=242780 memory=184376 CPUtime=101.96 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 22256 0 0 0 10113 83 0 0 20 0 1 0 239062151 248606720 46094 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 60695 46094 2368 1147 0 48122 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 246972 KiB
Current children cumulated memory: 187192 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.23 2.49 5/270 197856
/proc/meminfo: memFree=125218728/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=309224 memory=230784 CPUtime=161.81 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 25790 0 0 0 16053 128 0 0 20 0 1 0 239062151 316645376 57696 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 77306 57696 2464 1147 0 64733 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 313416 KiB
Current children cumulated memory: 233600 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.40 2.60 5/270 197858
/proc/meminfo: memFree=125015656/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=312756 memory=240552 CPUtime=221.65 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 26217 0 0 0 22003 162 0 0 20 0 1 0 239062151 320262144 60138 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
################
# More data... #
################
/proc/197850/statm: 207975 146940 2464 1147 0 195402 0
Current children cumulated CPU time: 3094.19 s
Current children cumulated vsize: 836092 KiB
Current children cumulated memory: 590576 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/269 198022
/proc/meminfo: memFree=118452332/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=831900 memory=587760 CPUtime=3153.99 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 42455 0 0 0 313861 1538 0 0 20 0 1 0 239062151 851865600 146940 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 207975 146940 2464 1147 0 195402 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 836092 KiB
Current children cumulated memory: 590576 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/269 198024
/proc/meminfo: memFree=118350968/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=831900 memory=602156 CPUtime=3213.84 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 42640 0 0 0 319829 1555 0 0 20 0 1 0 239062151 851865600 150539 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 207975 150539 2464 1147 0 195402 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 836092 KiB
Current children cumulated memory: 604972 KiB
[startup+3282.3 s]
/proc/loadavg: 4.39 4.21 4.12 5/269 198026
/proc/meminfo: memFree=118201192/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=833848 memory=647084 CPUtime=3273.69 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 43148 0 0 0 325796 1573 0 0 20 0 1 0 239062151 853860352 161771 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 208462 161771 2464 1147 0 195889 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 838040 KiB
Current children cumulated memory: 649900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.19 4.11 5/269 198029
/proc/meminfo: memFree=118088208/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=833848 memory=647084 CPUtime=3333.55 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 43148 0 0 0 331761 1594 0 0 20 0 1 0 239062151 853860352 161771 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 208462 161771 2464 1147 0 195889 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 838040 KiB
Current children cumulated memory: 649900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.15 4.10 5/269 198031
/proc/meminfo: memFree=117991568/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=833848 memory=647084 CPUtime=3393.4 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 43148 0 0 0 337720 1620 0 0 20 0 1 0 239062151 853860352 161771 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 208462 161771 2464 1147 0 195889 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 838040 KiB
Current children cumulated memory: 649900 KiB
[startup+3462.3 s]
/proc/loadavg: 3.76 4.06 4.07 4/261 198254
/proc/meminfo: memFree=125779792/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=834316 memory=647596 CPUtime=3453.22 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 43291 0 0 0 343683 1639 0 0 20 0 1 0 239062151 854339584 161899 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 208579 161899 2464 1147 0 196006 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 838508 KiB
Current children cumulated memory: 650412 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.83 3.99 3/255 198291
/proc/meminfo: memFree=125729092/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=834316 memory=647596 CPUtime=3513.04 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 43291 0 0 0 349649 1655 0 0 20 0 1 0 239062151 854339584 161899 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 208579 161899 2464 1147 0 196006 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 838508 KiB
Current children cumulated memory: 650412 KiB
[startup+3582.3 s]
/proc/loadavg: 2.45 3.51 3.87 3/254 198295
/proc/meminfo: memFree=125555332/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=834316 memory=647596 CPUtime=3572.9 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 43293 0 0 0 355617 1673 0 0 20 0 1 0 239062151 854339584 161899 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 208579 161899 2464 1147 0 196006 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 838508 KiB
Current children cumulated memory: 650412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 2.40 3.39 3.82 3/251 198324
/proc/meminfo: memFree=125538572/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=834316 memory=647596 CPUtime=3600.02 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 43293 0 0 0 358322 1680 0 0 20 0 1 0 239062151 854339584 161899 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 208579 161899 2464 1147 0 196006 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 838508 KiB
Current children cumulated memory: 650412 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 197847 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.034011 s, system=0.016261 s
Sleeping 2 seconds
[startup+3609.52 s]
# the end of solver process 197850 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.27 s, system=16.8265 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 2.40 3.39 3.82 3/251 198324
/proc/meminfo: memFree=125538572/131250000 swapFree=33010160/33010684
[pid=197847] ppid=197844 vsize=4192 memory=2816 CPUtime=0.04 cores=0,2
/proc/197847/stat : 197847 (run-dec-break-l) S 197844 197847 197614 0 -1 4194304 238 6646 0 0 0 0 3 1 20 0 1 0 239062145 4292608 704 18446744073709551615 94165797613568 94165798508101 140722460981904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94165798747152 94165798794896 94165821534208 140722460989753 140722460989916 140722460989916 140722460995520 0
/proc/197847/statm: 1048 704 640 219 0 110 0
[pid=197850] ppid=197847 vsize=834316 memory=647596 CPUtime=3600.02 cores=0,2
/proc/197850/stat : 197850 (roundingsat) R 197847 197847 197614 0 -1 4194304 43293 0 0 0 358322 1680 0 0 20 0 1 0 239062151 854339584 161899 18446744073709551615 4227072 8923433 140729507027936 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 28160000 140729507035416 140729507035686 140729507035686 140729507041258 0
/proc/197850/statm: 208579 161899 2464 1147 0 196006 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 838508 KiB
Current children cumulated memory: 650412 KiB
Child status: 2
Real time (s): 3609.52
CPU time (s): 3600.1
CPU user time (s): 3583.27
CPU system time (s): 16.8265
CPU usage (%): 99.7392
Max. virtual memory (cumulated for all children) (KiB): 838508
Max. memory (cumulated for all children) (KiB): 650412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.28
system time used= 16.8265
maximum resident set size= 647724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4026344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 304
involuntary context switches= 8160
# summary of solver processes directly reported to runsolver:
# pid: 197847,197850
# total CPU time (s): 3600.1
# total CPU user time (s): 3583.27
# total CPU system time (s): 16.8265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88933 second user time and 15.5561 second system time
The end
Begin job on nodeC016 at 2025-07-23 03:24:06
IDJOB=4545237
IDBENCH=180780
IDSOLVER=3358
FILE ID=nodeC016/4545237-1753233846
RUNJOBID= nodeC016-1753233654-197624
SLURM_JOB_ID= 9687851
Free space on /tmp= 432464 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-45-21-3-mgd_c18.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545237-1753233846/watcher-4545237-1753233846 -o /tmp/evaluation-result-4545237-1753233846/solver-4545237-1753233846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753233654-197624 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4545237-1753233846.opb /tmp/proof-4545237-1753233846
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6b2fe99dba414b0499b72921573350a8
RANDOM SEED=1063722157
nodeC016 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.735
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.48
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.731
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.48
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 : 3600.932
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.48
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 : 3520.699
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.48
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.552
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.48
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.658
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.48
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 : 3565.484
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.48
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 : 3598.410
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 125954488 kB
MemAvailable: 127194356 kB
Buffers: 2144 kB
Cached: 1955036 kB
SwapCached: 24 kB
Active: 3695524 kB
Inactive: 718128 kB
Active(anon): 2480612 kB
Inactive(anon): 2108 kB
Active(file): 1214912 kB
Inactive(file): 716020 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26700 kB
Writeback: 16 kB
AnonPages: 2458652 kB
Mapped: 122384 kB
Shmem: 26240 kB
KReclaimable: 296348 kB
Slab: 396100 kB
SReclaimable: 296348 kB
SUnreclaim: 99752 kB
KernelStack: 4352 kB
PageTables: 8180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3213704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1433600 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430448 MiB
End job on nodeC016 at 2025-07-23 04:24:16