0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.19/0.23 c [STEP] preprocessing with Papilo
0.19/0.29 c [STEP] solving with SCIP
299.54/300.40 c [STEP] preprocessing done, loading into solver
299.54/300.46 c [STEP] solving
299.54/300.46 c #variables 1277 #constraints 1073
299.54/300.46 c SMALL=int, LARGE=long long
299.54/300.46 d SCIPUB -1423481
299.54/300.46 c bounds - >= -1912644 @ 299.283
299.54/300.46 c stratification level: 20736
299.84/300.74 c bounds -1430697 >= -1912644 @ 299.538
299.84/300.74 c stratification level: 20449
299.84/300.74 c bounds -1471594 >= -1912644 @ 299.542
299.84/300.74 c stratification level: 20164
299.84/300.74 c bounds -1471595 >= -1912644 @ 299.545
299.84/300.74 c stratification level: 19881
299.84/300.75 c bounds -1471596 >= -1912644 @ 299.547
299.84/300.75 c stratification level: 19600
299.84/300.75 c bounds -1491196 >= -1912644 @ 299.549
299.84/300.75 c stratification level: 19321
299.84/300.75 c bounds -1510517 >= -1912644 @ 299.552
299.84/300.75 c stratification level: 18769
299.84/300.76 c bounds -1510518 >= -1912644 @ 299.553
299.84/300.76 c stratification level: 18496
299.84/300.76 c bounds -1529014 >= -1912644 @ 299.556
299.84/300.76 c stratification level: 18225
299.84/300.76 c bounds -1546983 >= -1912644 @ 299.559
299.84/300.76 c stratification level: 17424
299.84/300.77 c bounds -1564407 >= -1912644 @ 299.563
299.84/300.77 c stratification level: 17161
299.84/300.77 c bounds -1564663 >= -1912644 @ 299.565
299.84/300.77 c stratification level: 16900
299.84/300.77 c bounds -1581307 >= -1912644 @ 299.568
299.84/300.77 c stratification level: 16641
299.84/300.78 c bounds -1581563 >= -1912644 @ 299.572
299.84/300.78 c stratification level: 16129
299.84/300.78 c bounds -1581567 >= -1912644 @ 299.575
299.84/300.78 c stratification level: 15876
299.84/300.78 c bounds -1613319 >= -1912644 @ 299.578
299.84/300.78 c stratification level: 15625
299.84/300.79 c bounds -1644569 >= -1912644 @ 299.581
299.84/300.79 c stratification level: 14884
299.84/300.79 c bounds -1644578 >= -1912644 @ 299.585
299.84/300.79 c stratification level: 14641
299.84/300.79 c bounds -1659219 >= -1912644 @ 299.587
299.84/300.79 c stratification level: 13924
299.94/300.80 c bounds -1673143 >= -1912644 @ 299.589
299.94/300.80 c stratification level: 13689
299.94/300.80 c bounds -1680032 >= -1912644 @ 299.592
299.94/300.80 c stratification level: 13456
299.94/300.80 c bounds -1693488 >= -1912644 @ 299.595
299.94/300.80 c stratification level: 13225
299.94/300.81 c bounds -1693492 >= -1912644 @ 299.597
299.94/300.81 c stratification level: 12321
299.94/300.81 c bounds -1693613 >= -1912644 @ 299.599
299.94/300.81 c stratification level: 12100
299.94/300.81 c bounds -1699854 >= -1912644 @ 299.603
299.94/300.81 c stratification level: 11881
299.94/300.82 c bounds -1711735 >= -1912644 @ 299.605
299.94/300.82 c stratification level: 11664
299.94/300.82 c bounds -1723399 >= -1912644 @ 299.608
299.94/300.82 c stratification level: 11449
299.94/300.82 c bounds -1723403 >= -1912644 @ 299.611
299.94/300.82 c stratification level: 10201
299.94/300.83 c bounds -1733604 >= -1912644 @ 299.614
299.94/300.83 c stratification level: 10000
299.94/300.83 c bounds -1734693 >= -1912644 @ 299.617
299.94/300.83 c stratification level: 9801
299.94/300.83 c bounds -1734718 >= -1912644 @ 299.62
299.94/300.83 c stratification level: 9409
299.94/300.84 c bounds -1734722 >= -1912644 @ 299.621
299.94/300.84 c stratification level: 9025
299.94/300.84 c bounds -1743747 >= -1912644 @ 299.625
299.94/300.84 c stratification level: 8464
299.94/300.84 c bounds -1752211 >= -1912644 @ 299.626
299.94/300.84 c stratification level: 8100
299.94/300.85 c bounds -1752212 >= -1912644 @ 299.629
299.94/300.85 c stratification level: 7921
299.94/300.85 c bounds -1760133 >= -1912644 @ 299.633
299.94/300.85 c stratification level: 7744
299.94/300.85 c bounds -1767877 >= -1912644 @ 299.636
299.94/300.85 c stratification level: 7396
299.94/300.86 c bounds -1775273 >= -1912644 @ 299.639
299.94/300.86 c stratification level: 7225
299.94/300.86 c bounds -1775277 >= -1912644 @ 299.642
299.94/300.86 c stratification level: 7056
299.94/300.86 c bounds -1789389 >= -1912644 @ 299.645
299.94/300.86 c stratification level: 6889
299.94/300.87 c bounds -1793110 >= -1912644 @ 299.648
299.94/300.87 c stratification level: 6724
299.94/300.87 c bounds -1797335 >= -1912644 @ 299.651
299.94/300.87 c stratification level: 6561
299.94/300.87 c bounds -1810457 >= -1912644 @ 299.655
299.94/300.87 c stratification level: 6400
299.94/300.88 c bounds -1810461 >= -1912644 @ 299.658
299.94/300.88 c stratification level: 6241
299.94/300.88 c bounds -1829184 >= -1912644 @ 299.661
299.94/300.88 c stratification level: 6084
299.94/300.88 c bounds -1835268 >= -1912644 @ 299.664
299.94/300.88 c stratification level: 5929
299.94/300.89 c bounds -1841197 >= -1912644 @ 299.667
299.94/300.89 c stratification level: 5776
299.94/300.89 c bounds -1841198 >= -1912644 @ 299.669
299.94/300.89 c stratification level: 5625
299.94/300.89 c bounds -1841682 >= -1912644 @ 299.672
299.94/300.89 c stratification level: 5476
300.04/300.90 c bounds -1845651 >= -1912644 @ 299.676
300.04/300.90 c stratification level: 5329
300.04/300.90 c bounds -1856309 >= -1912644 @ 299.678
300.04/300.90 c stratification level: 5184
300.04/300.90 c bounds -1856318 >= -1912644 @ 299.68
300.04/300.90 c stratification level: 5041
300.04/300.91 c bounds -1861359 >= -1912644 @ 299.683
300.04/300.91 c stratification level: 4900
300.04/300.91 c bounds -1862143 >= -1912644 @ 299.687
300.04/300.91 c stratification level: 4761
300.04/300.91 c bounds -1862368 >= -1912644 @ 299.689
300.04/300.91 c stratification level: 4624
300.04/300.92 c bounds -1866992 >= -1912644 @ 299.691
300.04/300.92 c stratification level: 4489
300.04/300.92 c bounds -1871481 >= -1912644 @ 299.694
300.04/300.92 c stratification level: 4356
300.04/300.92 c bounds -1871497 >= -1912644 @ 299.698
300.04/300.92 c stratification level: 4225
300.04/300.93 c bounds -1871498 >= -1912644 @ 299.701
300.04/300.93 c stratification level: 4096
300.04/300.93 c bounds -1871502 >= -1912644 @ 299.703
300.04/300.93 c stratification level: 3969
300.04/300.93 c bounds -1871582 >= -1912644 @ 299.706
300.04/300.93 c stratification level: 3844
300.04/300.93 c bounds -1875426 >= -1912644 @ 299.709
300.04/300.93 c stratification level: 3721
300.04/300.94 c bounds -1878891 >= -1912644 @ 299.713
300.04/300.94 c stratification level: 3600
300.04/300.94 c bounds -1882492 >= -1912644 @ 299.716
300.04/300.94 c stratification level: 3364
300.04/300.94 c bounds -1882748 >= -1912644 @ 299.719
300.04/300.94 c stratification level: 3249
300.04/300.95 c bounds -1882749 >= -1912644 @ 299.722
300.04/300.95 c stratification level: 3136
300.04/300.95 c bounds -1882974 >= -1912644 @ 299.724
300.04/300.95 c stratification level: 3025
300.04/300.95 c bounds -1882983 >= -1912644 @ 299.728
300.04/300.95 c stratification level: 2916
300.04/300.96 c bounds -1885899 >= -1912644 @ 299.731
300.04/300.96 c stratification level: 2809
300.04/300.96 c bounds -1885915 >= -1912644 @ 299.734
300.04/300.96 c stratification level: 2601
300.04/300.96 c bounds -1885951 >= -1912644 @ 299.737
300.04/300.96 c stratification level: 2500
300.04/300.97 c bounds -1886120 >= -1912644 @ 299.739
300.04/300.97 c stratification level: 2401
300.04/300.97 c bounds -1886376 >= -1912644 @ 299.742
300.04/300.97 c stratification level: 2304
300.04/300.97 c bounds -1888424 >= -1912644 @ 299.744
300.04/300.97 c stratification level: 2209
300.04/300.98 c bounds -1888680 >= -1912644 @ 299.746
300.04/300.98 c stratification level: 2116
300.04/300.98 c bounds -1888780 >= -1912644 @ 299.748
300.04/300.98 c stratification level: 2025
300.04/300.98 c bounds -1888861 >= -1912644 @ 299.751
300.04/300.98 c stratification level: 1936
300.04/300.99 c bounds -1890797 >= -1912644 @ 299.754
300.04/300.99 c stratification level: 1849
300.04/300.99 c bounds -1890813 >= -1912644 @ 299.757
300.04/300.99 c stratification level: 1681
300.04/300.99 c bounds -1892494 >= -1912644 @ 299.76
300.04/300.99 c stratification level: 1600
300.04/300.99 c bounds -1892562 >= -1912644 @ 299.763
300.04/300.99 c stratification level: 1521
300.04/301.00 c bounds -1892818 >= -1912644 @ 299.765
300.04/301.00 c stratification level: 1444
300.14/301.00 c bounds -1894262 >= -1912644 @ 299.768
300.14/301.00 c stratification level: 1369
300.14/301.00 c bounds -1895631 >= -1912644 @ 299.77
300.14/301.00 c stratification level: 1296
300.14/301.01 c bounds -1898223 >= -1912644 @ 299.773
300.14/301.01 c stratification level: 1225
300.14/301.01 c bounds -1898232 >= -1912644 @ 299.775
300.14/301.01 c stratification level: 1089
300.14/301.01 c bounds -1898961 >= -1912644 @ 299.776
300.14/301.01 c stratification level: 1024
300.14/301.02 c bounds -1899985 >= -1912644 @ 299.779
300.14/301.02 c stratification level: 961
300.14/301.02 c bounds -1899994 >= -1912644 @ 299.781
300.14/301.02 c stratification level: 900
300.14/301.02 c bounds -1900778 >= -1912644 @ 299.783
300.14/301.02 c stratification level: 784
300.14/301.03 c bounds -1900803 >= -1912644 @ 299.786
300.14/301.03 c stratification level: 729
300.14/301.03 c bounds -1901532 >= -1912644 @ 299.788
300.14/301.03 c stratification level: 625
300.14/301.03 c bounds -1903151 >= -1912644 @ 299.791
300.14/301.03 c stratification level: 576
300.14/301.03 c bounds -1903407 >= -1912644 @ 299.793
300.14/301.03 c stratification level: 529
300.14/301.04 c bounds -1903936 >= -1912644 @ 299.796
300.14/301.04 c stratification level: 484
300.14/301.04 c bounds -1904080 >= -1912644 @ 299.798
300.14/301.04 c stratification level: 441
300.14/301.04 c bounds -1905403 >= -1912644 @ 299.8
300.14/301.04 c stratification level: 400
300.14/301.05 c bounds -1905659 >= -1912644 @ 299.802
300.14/301.05 c stratification level: 361
300.14/301.05 c bounds -1906742 >= -1912644 @ 299.804
300.14/301.05 c stratification level: 324
300.14/301.05 c bounds -1907390 >= -1912644 @ 299.806
300.14/301.05 c stratification level: 289
300.14/301.06 c bounds -1907968 >= -1912644 @ 299.808
300.14/301.06 c stratification level: 256
300.14/301.06 c bounds -1908736 >= -1912644 @ 299.811
300.14/301.06 c stratification level: 225
300.14/301.06 c bounds -1909411 >= -1912644 @ 299.813
300.14/301.06 c stratification level: 196
300.14/301.06 c bounds -1910195 >= -1912644 @ 299.815
300.14/301.06 c stratification level: 169
300.14/301.07 c bounds -1910533 >= -1912644 @ 299.818
300.14/301.07 c stratification level: 144
300.14/301.07 c bounds -1910821 >= -1912644 @ 299.82
300.14/301.07 c stratification level: 121
300.14/301.07 c bounds -1911063 >= -1912644 @ 299.823
300.14/301.07 c stratification level: 100
300.14/301.08 c bounds -1911099 >= -1912644 @ 299.826
300.14/301.08 c stratification level: 81
300.24/301.15 c bounds -1911544 >= -1912644 @ 299.899
300.24/301.15 c stratification level: 64
300.44/301.34 c bounds -1911822 >= -1912644 @ 300.091
300.44/301.34 c stratification level: 49
300.44/301.37 c bounds -1912023 >= -1912644 @ 300.115
300.44/301.37 c stratification level: 36
300.54/301.46 c bounds -1912103 >= -1912644 @ 300.204
300.54/301.46 c stratification level: 25
300.54/301.47 c bounds -1912215 >= -1912644 @ 300.215
300.54/301.47 c stratification level: 16
300.54/301.47 c bounds -1912439 >= -1912644 @ 300.217
300.54/301.47 c stratification level: 9
300.54/301.48 c bounds -1912556 >= -1912644 @ 300.22
300.54/301.48 c stratification level: 4
301.54/302.46 c #Conflicts: 1000 | #Constraints: 2187
301.54/302.46 c bounds -1912595 >= -1912644 @ 301.187
301.54/302.46 c stratification level: 1
302.14/303.00 c bounds -1912595 >= -1912643 @ 301.213
302.14/303.00 c #Conflicts: 2000 | #Constraints: 3189
302.14/303.00 c INPROCESSING
302.14/303.00 c GARBAGE COLLECT
302.14/303.00 c finalizing WCE round: reformulating cores
371.46/372.52 c #Conflicts: 3000 | #Constraints: 3019
371.46/372.52 c bounds -1912602 >= -1912643 @ 304.355
371.46/372.52 c bounds -1912602 >= -1912642 @ 306.247
371.46/372.52 c #Conflicts: 4000 | #Constraints: 4023
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 5000 | #Constraints: 3458
371.46/372.52 c #Conflicts: 6000 | #Constraints: 4458
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 7000 | #Constraints: 3492
371.46/372.52 c #Conflicts: 8000 | #Constraints: 4492
371.46/372.52 c #Conflicts: 9000 | #Constraints: 5492
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 10000 | #Constraints: 4220
371.46/372.52 c #Conflicts: 11000 | #Constraints: 5220
371.46/372.52 c #Conflicts: 12000 | #Constraints: 6220
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 13000 | #Constraints: 4685
371.46/372.52 c #Conflicts: 14000 | #Constraints: 5685
371.46/372.52 c #Conflicts: 15000 | #Constraints: 6685
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 16000 | #Constraints: 4926
371.46/372.52 c #Conflicts: 17000 | #Constraints: 5926
371.46/372.52 c #Conflicts: 18000 | #Constraints: 6926
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 19000 | #Constraints: 4944
371.46/372.52 c #Conflicts: 20000 | #Constraints: 5944
371.46/372.52 c #Conflicts: 21000 | #Constraints: 6944
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 22000 | #Constraints: 4769
371.46/372.52 c #Conflicts: 23000 | #Constraints: 5769
371.46/372.52 c #Conflicts: 24000 | #Constraints: 6769
371.46/372.52 c #Conflicts: 25000 | #Constraints: 7769
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 26000 | #Constraints: 5383
371.46/372.52 c #Conflicts: 27000 | #Constraints: 6383
371.46/372.52 c #Conflicts: 28000 | #Constraints: 7383
371.46/372.52 c #Conflicts: 29000 | #Constraints: 8383
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 30000 | #Constraints: 5794
371.46/372.52 c #Conflicts: 31000 | #Constraints: 6794
371.46/372.52 c #Conflicts: 32000 | #Constraints: 7794
371.46/372.52 c #Conflicts: 33000 | #Constraints: 8794
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 34000 | #Constraints: 6007
371.46/372.52 c #Conflicts: 35000 | #Constraints: 7007
371.46/372.52 c #Conflicts: 36000 | #Constraints: 8007
371.46/372.52 c #Conflicts: 37000 | #Constraints: 9007
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 38000 | #Constraints: 6017
371.46/372.52 c #Conflicts: 39000 | #Constraints: 7017
371.46/372.52 c #Conflicts: 40000 | #Constraints: 8017
371.46/372.52 c #Conflicts: 41000 | #Constraints: 9017
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 42000 | #Constraints: 5840
371.46/372.52 c #Conflicts: 43000 | #Constraints: 6840
371.46/372.52 c #Conflicts: 44000 | #Constraints: 7840
371.46/372.52 c #Conflicts: 45000 | #Constraints: 8840
371.46/372.52 c #Conflicts: 46000 | #Constraints: 9840
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 47000 | #Constraints: 6453
371.46/372.52 c #Conflicts: 48000 | #Constraints: 7453
371.46/372.52 c #Conflicts: 49000 | #Constraints: 8453
371.46/372.52 c #Conflicts: 50000 | #Constraints: 9453
371.46/372.52 c #Conflicts: 51000 | #Constraints: 10453
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 52000 | #Constraints: 6871
371.46/372.52 c #Conflicts: 53000 | #Constraints: 7871
371.46/372.52 c #Conflicts: 54000 | #Constraints: 8871
371.46/372.52 c #Conflicts: 55000 | #Constraints: 9871
371.46/372.52 c #Conflicts: 56000 | #Constraints: 10871
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 57000 | #Constraints: 7087
371.46/372.52 c #Conflicts: 58000 | #Constraints: 8087
371.46/372.52 c #Conflicts: 59000 | #Constraints: 9087
371.46/372.52 c #Conflicts: 60000 | #Constraints: 10087
371.46/372.52 c #Conflicts: 61000 | #Constraints: 11087
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 62000 | #Constraints: 7088
371.46/372.52 c #Conflicts: 63000 | #Constraints: 8088
371.46/372.52 c #Conflicts: 64000 | #Constraints: 9088
371.46/372.52 c #Conflicts: 65000 | #Constraints: 10088
371.46/372.52 c #Conflicts: 66000 | #Constraints: 11088
371.46/372.52 c INPROCESSING
371.46/372.52 c GARBAGE COLLECT
371.46/372.52 c #Conflicts: 67000 | #Constraints: 6889
371.46/372.52 c #Conflicts: 68000 | #Constraints: 7889
371.46/372.52 c #Conflicts: 69000 | #Constraints: 8889
426.43/427.69 c #Conflicts: 70000 | #Constraints: 9889
426.43/427.69 c #Conflicts: 71000 | #Constraints: 10889
426.43/427.69 c #Conflicts: 72000 | #Constraints: 11889
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 73000 | #Constraints: 7514
426.43/427.69 c #Conflicts: 74000 | #Constraints: 8514
426.43/427.69 c #Conflicts: 75000 | #Constraints: 9514
426.43/427.69 c #Conflicts: 76000 | #Constraints: 10514
426.43/427.69 c bounds -1912602 >= -1912641 @ 380.372
426.43/427.69 c #Conflicts: 77000 | #Constraints: 11518
426.43/427.69 c #Conflicts: 78000 | #Constraints: 12518
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 79000 | #Constraints: 7822
426.43/427.69 c #Conflicts: 80000 | #Constraints: 8822
426.43/427.69 c #Conflicts: 81000 | #Constraints: 9822
426.43/427.69 c #Conflicts: 82000 | #Constraints: 10822
426.43/427.69 c #Conflicts: 83000 | #Constraints: 11822
426.43/427.69 c #Conflicts: 84000 | #Constraints: 12822
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 85000 | #Constraints: 7975
426.43/427.69 c #Conflicts: 86000 | #Constraints: 8975
426.43/427.69 c #Conflicts: 87000 | #Constraints: 9975
426.43/427.69 c #Conflicts: 88000 | #Constraints: 10975
426.43/427.69 c #Conflicts: 89000 | #Constraints: 11975
426.43/427.69 c #Conflicts: 90000 | #Constraints: 12975
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 91000 | #Constraints: 7952
426.43/427.69 c #Conflicts: 92000 | #Constraints: 8952
426.43/427.69 c #Conflicts: 93000 | #Constraints: 9952
426.43/427.69 c #Conflicts: 94000 | #Constraints: 10952
426.43/427.69 c #Conflicts: 95000 | #Constraints: 11952
426.43/427.69 c #Conflicts: 96000 | #Constraints: 12952
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 97000 | #Constraints: 7758
426.43/427.69 c #Conflicts: 98000 | #Constraints: 8758
426.43/427.69 c #Conflicts: 99000 | #Constraints: 9758
426.43/427.69 c #Conflicts: 100000 | #Constraints: 10758
426.43/427.69 c #Conflicts: 101000 | #Constraints: 11758
426.43/427.69 c #Conflicts: 102000 | #Constraints: 12758
426.43/427.69 c #Conflicts: 103000 | #Constraints: 13758
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 104000 | #Constraints: 8363
426.43/427.69 c #Conflicts: 105000 | #Constraints: 9363
426.43/427.69 c #Conflicts: 106000 | #Constraints: 10363
426.43/427.69 c #Conflicts: 107000 | #Constraints: 11363
426.43/427.69 c #Conflicts: 108000 | #Constraints: 12363
426.43/427.69 c #Conflicts: 109000 | #Constraints: 13363
426.43/427.69 c #Conflicts: 110000 | #Constraints: 14363
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 111000 | #Constraints: 8766
426.43/427.69 c #Conflicts: 112000 | #Constraints: 9766
426.43/427.69 c #Conflicts: 113000 | #Constraints: 10766
426.43/427.69 c #Conflicts: 114000 | #Constraints: 11766
426.43/427.69 c #Conflicts: 115000 | #Constraints: 12766
426.43/427.69 c #Conflicts: 116000 | #Constraints: 13766
426.43/427.69 c #Conflicts: 117000 | #Constraints: 14766
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 118000 | #Constraints: 8971
426.43/427.69 c #Conflicts: 119000 | #Constraints: 9971
426.43/427.69 c #Conflicts: 120000 | #Constraints: 10971
426.43/427.69 c #Conflicts: 121000 | #Constraints: 11971
426.43/427.69 c #Conflicts: 122000 | #Constraints: 12971
426.43/427.69 c #Conflicts: 123000 | #Constraints: 13971
426.43/427.69 c #Conflicts: 124000 | #Constraints: 14971
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 125000 | #Constraints: 8977
426.43/427.69 c #Conflicts: 126000 | #Constraints: 9977
426.43/427.69 c #Conflicts: 127000 | #Constraints: 10977
426.43/427.69 c #Conflicts: 128000 | #Constraints: 11977
426.43/427.69 c #Conflicts: 129000 | #Constraints: 12977
426.43/427.69 c #Conflicts: 130000 | #Constraints: 13977
426.43/427.69 c #Conflicts: 131000 | #Constraints: 14977
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 132000 | #Constraints: 8803
426.43/427.69 c #Conflicts: 133000 | #Constraints: 9803
426.43/427.69 c #Conflicts: 134000 | #Constraints: 10803
426.43/427.69 c #Conflicts: 135000 | #Constraints: 11803
426.43/427.69 c #Conflicts: 136000 | #Constraints: 12803
426.43/427.69 c #Conflicts: 137000 | #Constraints: 13803
426.43/427.69 c #Conflicts: 138000 | #Constraints: 14803
426.43/427.69 c #Conflicts: 139000 | #Constraints: 15803
426.43/427.69 c INPROCESSING
426.43/427.69 c GARBAGE COLLECT
426.43/427.69 c #Conflicts: 140000 | #Constraints: 9422
481.80/483.19 c #Conflicts: 141000 | #Constraints: 10422
481.80/483.19 c #Conflicts: 142000 | #Constraints: 11422
481.80/483.19 c #Conflicts: 143000 | #Constraints: 12422
481.80/483.19 c #Conflicts: 144000 | #Constraints: 13422
481.80/483.19 c #Conflicts: 145000 | #Constraints: 14422
481.80/483.19 c #Conflicts: 146000 | #Constraints: 15422
481.80/483.19 c #Conflicts: 147000 | #Constraints: 16422
481.80/483.19 c INPROCESSING
481.80/483.19 c GARBAGE COLLECT
481.80/483.19 c #Conflicts: 148000 | #Constraints: 9833
481.80/483.19 c #Conflicts: 149000 | #Constraints: 10833
481.80/483.19 c #Conflicts: 150000 | #Constraints: 11833
481.80/483.19 c #Conflicts: 151000 | #Constraints: 12833
481.80/483.19 c #Conflicts: 152000 | #Constraints: 13833
481.80/483.19 c #Conflicts: 153000 | #Constraints: 14833
481.80/483.19 c #Conflicts: 154000 | #Constraints: 15833
481.80/483.19 c #Conflicts: 155000 | #Constraints: 16833
481.80/483.19 c INPROCESSING
481.80/483.19 c GARBAGE COLLECT
481.80/483.19 c #Conflicts: 156000 | #Constraints: 10056
481.80/483.19 c #Conflicts: 157000 | #Constraints: 11056
481.80/483.19 c #Conflicts: 158000 | #Constraints: 12056
481.80/483.19 c #Conflicts: 159000 | #Constraints: 13056
481.80/483.19 c #Conflicts: 160000 | #Constraints: 14056
481.80/483.19 c #Conflicts: 161000 | #Constraints: 15056
481.80/483.19 c #Conflicts: 162000 | #Constraints: 16056
481.80/483.19 c #Conflicts: 163000 | #Constraints: 17056
481.80/483.19 c INPROCESSING
481.80/483.19 c GARBAGE COLLECT
481.80/483.19 c #Conflicts: 164000 | #Constraints: 10078
481.80/483.19 c #Conflicts: 165000 | #Constraints: 11078
481.80/483.19 c #Conflicts: 166000 | #Constraints: 12078
481.80/483.19 c #Conflicts: 167000 | #Constraints: 13078
481.80/483.19 c #Conflicts: 168000 | #Constraints: 14078
481.80/483.19 c #Conflicts: 169000 | #Constraints: 15078
481.80/483.19 c #Conflicts: 170000 | #Constraints: 16078
481.80/483.19 c #Conflicts: 171000 | #Constraints: 17078
481.80/483.19 c INPROCESSING
481.80/483.19 c GARBAGE COLLECT
481.80/483.19 c #Conflicts: 172000 | #Constraints: 9886
481.80/483.19 c #Conflicts: 173000 | #Constraints: 10886
481.80/483.19 c #Conflicts: 174000 | #Constraints: 11886
481.80/483.19 c #Conflicts: 175000 | #Constraints: 12886
481.80/483.19 c #Conflicts: 176000 | #Constraints: 13886
481.80/483.19 c #Conflicts: 177000 | #Constraints: 14886
481.80/483.19 c #Conflicts: 178000 | #Constraints: 15886
481.80/483.19 c #Conflicts: 179000 | #Constraints: 16886
481.80/483.19 c #Conflicts: 180000 | #Constraints: 17886
481.80/483.19 c INPROCESSING
481.80/483.19 c GARBAGE COLLECT
481.80/483.19 c #Conflicts: 181000 | #Constraints: 10484
481.80/483.19 c #Conflicts: 182000 | #Constraints: 11484
481.80/483.19 c #Conflicts: 183000 | #Constraints: 12484
481.80/483.19 c #Conflicts: 184000 | #Constraints: 13484
481.80/483.19 c #Conflicts: 185000 | #Constraints: 14484
481.80/483.19 c #Conflicts: 186000 | #Constraints: 15484
481.80/483.19 c #Conflicts: 187000 | #Constraints: 16484
481.80/483.19 c #Conflicts: 188000 | #Constraints: 17484
481.80/483.19 c #Conflicts: 189000 | #Constraints: 18484
481.80/483.19 c INPROCESSING
481.80/483.19 c GARBAGE COLLECT
481.80/483.19 c #Conflicts: 190000 | #Constraints: 10903
481.80/483.19 c #Conflicts: 191000 | #Constraints: 11903
481.80/483.19 c #Conflicts: 192000 | #Constraints: 12903
481.80/483.19 c #Conflicts: 193000 | #Constraints: 13903
481.80/483.19 c #Conflicts: 194000 | #Constraints: 14903
481.80/483.19 c #Conflicts: 195000 | #Constraints: 15903
481.80/483.19 c #Conflicts: 196000 | #Constraints: 16903
481.80/483.19 c #Conflicts: 197000 | #Constraints: 17903
481.80/483.19 c #Conflicts: 198000 | #Constraints: 18903
481.80/483.19 c INPROCESSING
481.80/483.19 c GARBAGE COLLECT
481.80/483.19 c #Conflicts: 199000 | #Constraints: 11129
481.80/483.19 c #Conflicts: 200000 | #Constraints: 12129
481.80/483.19 c #Conflicts: 201000 | #Constraints: 13129
481.80/483.19 c #Conflicts: 202000 | #Constraints: 14129
481.80/483.19 c #Conflicts: 203000 | #Constraints: 15129
481.80/483.19 c #Conflicts: 204000 | #Constraints: 16129
481.80/483.19 c #Conflicts: 205000 | #Constraints: 17129
481.80/483.19 c #Conflicts: 206000 | #Constraints: 18129
481.80/483.19 c #Conflicts: 207000 | #Constraints: 19129
481.80/483.19 c INPROCESSING
481.80/483.19 c GARBAGE COLLECT
481.80/483.19 c #Conflicts: 208000 | #Constraints: 11126
481.80/483.19 c #Conflicts: 209000 | #Constraints: 12126
481.80/483.19 c #Conflicts: 210000 | #Constraints: 13126
481.80/483.19 c #Conflicts: 211000 | #Constraints: 14126
481.80/483.19 c #Conflicts: 212000 | #Constraints: 15126
481.80/483.19 c #Conflicts: 213000 | #Constraints: 16126
481.80/483.19 c #Conflicts: 214000 | #Constraints: 17126
534.57/536.08 c #Conflicts: 215000 | #Constraints: 18126
534.57/536.08 c #Conflicts: 216000 | #Constraints: 19126
534.57/536.08 c INPROCESSING
534.57/536.08 c GARBAGE COLLECT
534.57/536.08 c #Conflicts: 217000 | #Constraints: 10910
534.57/536.08 c #Conflicts: 218000 | #Constraints: 11910
534.57/536.08 c #Conflicts: 219000 | #Constraints: 12910
534.57/536.08 c #Conflicts: 220000 | #Constraints: 13910
534.57/536.08 c #Conflicts: 221000 | #Constraints: 14910
534.57/536.08 c #Conflicts: 222000 | #Constraints: 15910
534.57/536.08 c #Conflicts: 223000 | #Constraints: 16910
534.57/536.08 c #Conflicts: 224000 | #Constraints: 17910
534.57/536.08 c #Conflicts: 225000 | #Constraints: 18910
534.57/536.08 c #Conflicts: 226000 | #Constraints: 19910
534.57/536.08 c INPROCESSING
534.57/536.08 c GARBAGE COLLECT
534.57/536.08 c #Conflicts: 227000 | #Constraints: 11519
534.57/536.08 c #Conflicts: 228000 | #Constraints: 12519
534.57/536.08 c #Conflicts: 229000 | #Constraints: 13519
534.57/536.08 c #Conflicts: 230000 | #Constraints: 14519
534.57/536.08 c #Conflicts: 231000 | #Constraints: 15519
534.57/536.08 c #Conflicts: 232000 | #Constraints: 16519
534.57/536.08 c #Conflicts: 233000 | #Constraints: 17519
534.57/536.08 c #Conflicts: 234000 | #Constraints: 18519
534.57/536.08 c #Conflicts: 235000 | #Constraints: 19519
534.57/536.08 c #Conflicts: 236000 | #Constraints: 20519
534.57/536.08 c INPROCESSING
534.57/536.08 c GARBAGE COLLECT
534.57/536.08 c #Conflicts: 237000 | #Constraints: 11929
534.57/536.08 c #Conflicts: 238000 | #Constraints: 12929
534.57/536.08 c #Conflicts: 239000 | #Constraints: 13929
534.57/536.08 c #Conflicts: 240000 | #Constraints: 14929
534.57/536.08 c #Conflicts: 241000 | #Constraints: 15929
534.57/536.08 c #Conflicts: 242000 | #Constraints: 16929
534.57/536.08 c #Conflicts: 243000 | #Constraints: 17929
534.57/536.08 c #Conflicts: 244000 | #Constraints: 18929
534.57/536.08 c #Conflicts: 245000 | #Constraints: 19929
534.57/536.08 c #Conflicts: 246000 | #Constraints: 20929
534.57/536.08 c INPROCESSING
534.57/536.08 c GARBAGE COLLECT
534.57/536.08 c #Conflicts: 247000 | #Constraints: 12144
534.57/536.08 c #Conflicts: 248000 | #Constraints: 13144
534.57/536.08 c #Conflicts: 249000 | #Constraints: 14144
534.57/536.08 c #Conflicts: 250000 | #Constraints: 15144
534.57/536.08 c #Conflicts: 251000 | #Constraints: 16144
534.57/536.08 c #Conflicts: 252000 | #Constraints: 17144
534.57/536.08 c #Conflicts: 253000 | #Constraints: 18144
534.57/536.08 c #Conflicts: 254000 | #Constraints: 19144
534.57/536.08 c #Conflicts: 255000 | #Constraints: 20144
534.57/536.08 c #Conflicts: 256000 | #Constraints: 21144
534.57/536.08 c INPROCESSING
534.57/536.08 c GARBAGE COLLECT
534.57/536.08 c #Conflicts: 257000 | #Constraints: 12168
534.57/536.08 c #Conflicts: 258000 | #Constraints: 13168
534.57/536.08 c #Conflicts: 259000 | #Constraints: 14168
534.57/536.08 c #Conflicts: 260000 | #Constraints: 15168
534.57/536.08 c #Conflicts: 261000 | #Constraints: 16168
534.57/536.08 c #Conflicts: 262000 | #Constraints: 17168
534.57/536.08 c #Conflicts: 263000 | #Constraints: 18168
534.57/536.08 c #Conflicts: 264000 | #Constraints: 19168
534.57/536.08 c #Conflicts: 265000 | #Constraints: 20168
534.57/536.08 c #Conflicts: 266000 | #Constraints: 21168
534.57/536.08 c INPROCESSING
534.57/536.08 c GARBAGE COLLECT
534.57/536.08 c #Conflicts: 267000 | #Constraints: 11972
534.57/536.08 c #Conflicts: 268000 | #Constraints: 12972
534.57/536.08 c #Conflicts: 269000 | #Constraints: 13972
534.57/536.08 c #Conflicts: 270000 | #Constraints: 14972
534.57/536.08 c #Conflicts: 271000 | #Constraints: 15972
534.57/536.08 c #Conflicts: 272000 | #Constraints: 16972
534.57/536.08 c #Conflicts: 273000 | #Constraints: 17972
534.57/536.08 c #Conflicts: 274000 | #Constraints: 18972
534.57/536.08 c #Conflicts: 275000 | #Constraints: 19972
534.57/536.08 c #Conflicts: 276000 | #Constraints: 20972
534.57/536.08 c #Conflicts: 277000 | #Constraints: 21972
534.57/536.08 c INPROCESSING
534.57/536.08 c GARBAGE COLLECT
534.57/536.08 c #Conflicts: 278000 | #Constraints: 12565
534.57/536.08 c #Conflicts: 279000 | #Constraints: 13565
534.57/536.08 c #Conflicts: 280000 | #Constraints: 14565
534.57/536.08 c #Conflicts: 281000 | #Constraints: 15565
534.57/536.08 c #Conflicts: 282000 | #Constraints: 16565
534.57/536.08 c #Conflicts: 283000 | #Constraints: 17565
534.57/536.08 c #Conflicts: 284000 | #Constraints: 18565
534.57/536.08 c #Conflicts: 285000 | #Constraints: 19565
534.57/536.08 c #Conflicts: 286000 | #Constraints: 20565
534.57/536.08 c #Conflicts: 287000 | #Constraints: 21565
534.57/536.08 c #Conflicts: 288000 | #Constraints: 22565
592.91/594.51 c INPROCESSING
592.91/594.51 c GARBAGE COLLECT
592.91/594.51 c #Conflicts: 289000 | #Constraints: 12991
592.91/594.51 c #Conflicts: 290000 | #Constraints: 13991
592.91/594.51 c #Conflicts: 291000 | #Constraints: 14991
592.91/594.51 c #Conflicts: 292000 | #Constraints: 15991
592.91/594.51 c #Conflicts: 293000 | #Constraints: 16991
592.91/594.51 c #Conflicts: 294000 | #Constraints: 17991
592.91/594.51 c #Conflicts: 295000 | #Constraints: 18991
592.91/594.51 c #Conflicts: 296000 | #Constraints: 19991
592.91/594.51 c #Conflicts: 297000 | #Constraints: 20991
592.91/594.51 c #Conflicts: 298000 | #Constraints: 21991
592.91/594.51 c #Conflicts: 299000 | #Constraints: 22991
592.91/594.51 c INPROCESSING
592.91/594.51 c GARBAGE COLLECT
592.91/594.51 c #Conflicts: 300000 | #Constraints: 13173
592.91/594.51 c #Conflicts: 301000 | #Constraints: 14173
592.91/594.51 c #Conflicts: 302000 | #Constraints: 15173
592.91/594.51 c #Conflicts: 303000 | #Constraints: 16173
592.91/594.51 c #Conflicts: 304000 | #Constraints: 17173
592.91/594.51 c #Conflicts: 305000 | #Constraints: 18173
592.91/594.51 c #Conflicts: 306000 | #Constraints: 19173
592.91/594.51 c #Conflicts: 307000 | #Constraints: 20173
592.91/594.51 c #Conflicts: 308000 | #Constraints: 21173
592.91/594.51 c #Conflicts: 309000 | #Constraints: 22173
592.91/594.51 c #Conflicts: 310000 | #Constraints: 23173
592.91/594.51 c INPROCESSING
592.91/594.51 c GARBAGE COLLECT
592.91/594.51 c #Conflicts: 311000 | #Constraints: 13176
592.91/594.51 c #Conflicts: 312000 | #Constraints: 14176
592.91/594.51 c #Conflicts: 313000 | #Constraints: 15176
592.91/594.51 c #Conflicts: 314000 | #Constraints: 16176
592.91/594.51 c #Conflicts: 315000 | #Constraints: 17176
592.91/594.51 c #Conflicts: 316000 | #Constraints: 18176
592.91/594.51 c #Conflicts: 317000 | #Constraints: 19176
592.91/594.51 c #Conflicts: 318000 | #Constraints: 20176
592.91/594.51 c #Conflicts: 319000 | #Constraints: 21176
592.91/594.51 c #Conflicts: 320000 | #Constraints: 22176
592.91/594.51 c #Conflicts: 321000 | #Constraints: 23176
592.91/594.51 c INPROCESSING
592.91/594.51 c GARBAGE COLLECT
592.91/594.51 c #Conflicts: 322000 | #Constraints: 12956
592.91/594.51 c #Conflicts: 323000 | #Constraints: 13956
592.91/594.51 c #Conflicts: 324000 | #Constraints: 14956
592.91/594.51 c #Conflicts: 325000 | #Constraints: 15956
592.91/594.51 c #Conflicts: 326000 | #Constraints: 16956
592.91/594.51 c #Conflicts: 327000 | #Constraints: 17956
592.91/594.51 c #Conflicts: 328000 | #Constraints: 18956
592.91/594.51 c #Conflicts: 329000 | #Constraints: 19956
592.91/594.51 c #Conflicts: 330000 | #Constraints: 20956
592.91/594.51 c #Conflicts: 331000 | #Constraints: 21956
592.91/594.51 c #Conflicts: 332000 | #Constraints: 22956
592.91/594.51 c #Conflicts: 333000 | #Constraints: 23956
592.91/594.51 c INPROCESSING
592.91/594.51 c GARBAGE COLLECT
592.91/594.51 c #Conflicts: 334000 | #Constraints: 13559
592.91/594.51 c #Conflicts: 335000 | #Constraints: 14559
592.91/594.51 c #Conflicts: 336000 | #Constraints: 15559
592.91/594.51 c #Conflicts: 337000 | #Constraints: 16559
592.91/594.51 c #Conflicts: 338000 | #Constraints: 17559
592.91/594.51 c #Conflicts: 339000 | #Constraints: 18559
592.91/594.51 c #Conflicts: 340000 | #Constraints: 19559
592.91/594.51 c #Conflicts: 341000 | #Constraints: 20559
592.91/594.51 c #Conflicts: 342000 | #Constraints: 21559
592.91/594.51 c #Conflicts: 343000 | #Constraints: 22559
592.91/594.51 c #Conflicts: 344000 | #Constraints: 23559
592.91/594.51 c #Conflicts: 345000 | #Constraints: 24559
592.91/594.51 c INPROCESSING
592.91/594.51 c GARBAGE COLLECT
592.91/594.51 c #Conflicts: 346000 | #Constraints: 13983
592.91/594.51 c #Conflicts: 347000 | #Constraints: 14983
592.91/594.51 c #Conflicts: 348000 | #Constraints: 15983
592.91/594.51 c #Conflicts: 349000 | #Constraints: 16983
592.91/594.51 c #Conflicts: 350000 | #Constraints: 17983
592.91/594.51 c #Conflicts: 351000 | #Constraints: 18983
592.91/594.51 c #Conflicts: 352000 | #Constraints: 19983
592.91/594.51 c #Conflicts: 353000 | #Constraints: 20983
592.91/594.51 c #Conflicts: 354000 | #Constraints: 21983
592.91/594.51 c #Conflicts: 355000 | #Constraints: 22983
592.91/594.51 c #Conflicts: 356000 | #Constraints: 23983
592.91/594.51 c #Conflicts: 357000 | #Constraints: 24983
592.91/594.51 c INPROCESSING
592.91/594.51 c GARBAGE COLLECT
592.91/594.51 c #Conflicts: 358000 | #Constraints: 14165
592.91/594.51 c #Conflicts: 359000 | #Constraints: 15165
592.91/594.51 c #Conflicts: 360000 | #Constraints: 16165
592.91/594.51 c #Conflicts: 361000 | #Constraints: 17165
592.91/594.51 c #Conflicts: 362000 | #Constraints: 18165
659.04/660.85 c #Conflicts: 363000 | #Constraints: 19165
659.04/660.85 c #Conflicts: 364000 | #Constraints: 20165
659.04/660.85 c #Conflicts: 365000 | #Constraints: 21165
659.04/660.85 c #Conflicts: 366000 | #Constraints: 22165
659.04/660.85 c #Conflicts: 367000 | #Constraints: 23165
659.04/660.85 c #Conflicts: 368000 | #Constraints: 24165
659.04/660.85 c #Conflicts: 369000 | #Constraints: 25165
659.04/660.85 c INPROCESSING
659.04/660.85 c GARBAGE COLLECT
659.04/660.85 c #Conflicts: 370000 | #Constraints: 14176
659.04/660.85 c #Conflicts: 371000 | #Constraints: 15176
659.04/660.85 c #Conflicts: 372000 | #Constraints: 16176
659.04/660.85 c #Conflicts: 373000 | #Constraints: 17176
659.04/660.85 c #Conflicts: 374000 | #Constraints: 18176
659.04/660.85 c #Conflicts: 375000 | #Constraints: 19176
659.04/660.85 c #Conflicts: 376000 | #Constraints: 20176
659.04/660.85 c #Conflicts: 377000 | #Constraints: 21176
659.04/660.85 c #Conflicts: 378000 | #Constraints: 22176
659.04/660.85 c #Conflicts: 379000 | #Constraints: 23176
659.04/660.85 c #Conflicts: 380000 | #Constraints: 24176
659.04/660.85 c #Conflicts: 381000 | #Constraints: 25176
659.04/660.85 c INPROCESSING
659.04/660.85 c GARBAGE COLLECT
659.04/660.85 c #Conflicts: 382000 | #Constraints: 13976
659.04/660.85 c #Conflicts: 383000 | #Constraints: 14976
659.04/660.85 c #Conflicts: 384000 | #Constraints: 15976
659.04/660.85 c #Conflicts: 385000 | #Constraints: 16976
659.04/660.85 c #Conflicts: 386000 | #Constraints: 17976
659.04/660.85 c #Conflicts: 387000 | #Constraints: 18976
659.04/660.85 c #Conflicts: 388000 | #Constraints: 19976
659.04/660.85 c #Conflicts: 389000 | #Constraints: 20976
659.04/660.85 c #Conflicts: 390000 | #Constraints: 21976
659.04/660.85 c #Conflicts: 391000 | #Constraints: 22976
659.04/660.85 c #Conflicts: 392000 | #Constraints: 23976
659.04/660.85 c #Conflicts: 393000 | #Constraints: 24976
659.04/660.85 c #Conflicts: 394000 | #Constraints: 25976
659.04/660.85 c INPROCESSING
659.04/660.85 c GARBAGE COLLECT
659.04/660.85 c #Conflicts: 395000 | #Constraints: 14591
659.04/660.85 c #Conflicts: 396000 | #Constraints: 15591
659.04/660.85 c #Conflicts: 397000 | #Constraints: 16591
659.04/660.85 c #Conflicts: 398000 | #Constraints: 17591
659.04/660.85 c #Conflicts: 399000 | #Constraints: 18591
659.04/660.85 c #Conflicts: 400000 | #Constraints: 19591
659.04/660.85 c #Conflicts: 401000 | #Constraints: 20591
659.04/660.85 c #Conflicts: 402000 | #Constraints: 21591
659.04/660.85 c #Conflicts: 403000 | #Constraints: 22591
659.04/660.85 c #Conflicts: 404000 | #Constraints: 23591
659.04/660.85 c #Conflicts: 405000 | #Constraints: 24591
659.04/660.85 c #Conflicts: 406000 | #Constraints: 25591
659.04/660.85 c #Conflicts: 407000 | #Constraints: 26591
659.04/660.85 c INPROCESSING
659.04/660.85 c GARBAGE COLLECT
659.04/660.85 c #Conflicts: 408000 | #Constraints: 14998
659.04/660.85 c #Conflicts: 409000 | #Constraints: 15998
659.04/660.85 c #Conflicts: 410000 | #Constraints: 16998
659.04/660.85 c #Conflicts: 411000 | #Constraints: 17998
659.04/660.85 c #Conflicts: 412000 | #Constraints: 18998
659.04/660.85 c #Conflicts: 413000 | #Constraints: 19998
659.04/660.85 c #Conflicts: 414000 | #Constraints: 20998
659.04/660.85 c #Conflicts: 415000 | #Constraints: 21998
659.04/660.85 c #Conflicts: 416000 | #Constraints: 22998
659.04/660.85 c #Conflicts: 417000 | #Constraints: 23998
659.04/660.85 c #Conflicts: 418000 | #Constraints: 24998
659.04/660.85 c #Conflicts: 419000 | #Constraints: 25998
659.04/660.85 c #Conflicts: 420000 | #Constraints: 26998
659.04/660.85 c INPROCESSING
659.04/660.85 c GARBAGE COLLECT
659.04/660.85 c #Conflicts: 421000 | #Constraints: 15187
659.04/660.85 c #Conflicts: 422000 | #Constraints: 16187
659.04/660.85 c #Conflicts: 423000 | #Constraints: 17187
659.04/660.85 c #Conflicts: 424000 | #Constraints: 18187
659.04/660.85 c #Conflicts: 425000 | #Constraints: 19187
659.04/660.85 c #Conflicts: 426000 | #Constraints: 20187
659.04/660.85 c #Conflicts: 427000 | #Constraints: 21187
659.04/660.85 c #Conflicts: 428000 | #Constraints: 22187
659.04/660.85 c #Conflicts: 429000 | #Constraints: 23187
659.04/660.85 c #Conflicts: 430000 | #Constraints: 24187
659.04/660.85 c #Conflicts: 431000 | #Constraints: 25187
659.04/660.85 c #Conflicts: 432000 | #Constraints: 26187
659.04/660.85 c #Conflicts: 433000 | #Constraints: 27187
659.04/660.85 c INPROCESSING
659.04/660.85 c GARBAGE COLLECT
659.04/660.85 c #Conflicts: 434000 | #Constraints: 15187
659.04/660.85 c #Conflicts: 435000 | #Constraints: 16187
659.04/660.85 c #Conflicts: 436000 | #Constraints: 17187
659.04/660.85 c #Conflicts: 437000 | #Constraints: 18187
724.76/726.76 c #Conflicts: 438000 | #Constraints: 19187
724.76/726.76 c #Conflicts: 439000 | #Constraints: 20187
724.76/726.76 c #Conflicts: 440000 | #Constraints: 21187
724.76/726.76 c #Conflicts: 441000 | #Constraints: 22187
724.76/726.76 c #Conflicts: 442000 | #Constraints: 23187
724.76/726.76 c #Conflicts: 443000 | #Constraints: 24187
724.76/726.76 c #Conflicts: 444000 | #Constraints: 25187
724.76/726.76 c #Conflicts: 445000 | #Constraints: 26187
724.76/726.76 c #Conflicts: 446000 | #Constraints: 27187
724.76/726.76 c INPROCESSING
724.76/726.76 c GARBAGE COLLECT
724.76/726.76 c #Conflicts: 447000 | #Constraints: 14990
724.76/726.76 c #Conflicts: 448000 | #Constraints: 15990
724.76/726.76 c #Conflicts: 449000 | #Constraints: 16990
724.76/726.76 c #Conflicts: 450000 | #Constraints: 17990
724.76/726.76 c #Conflicts: 451000 | #Constraints: 18990
724.76/726.76 c #Conflicts: 452000 | #Constraints: 19990
724.76/726.76 c #Conflicts: 453000 | #Constraints: 20990
724.76/726.76 c #Conflicts: 454000 | #Constraints: 21990
724.76/726.76 c #Conflicts: 455000 | #Constraints: 22990
724.76/726.76 c #Conflicts: 456000 | #Constraints: 23990
724.76/726.76 c #Conflicts: 457000 | #Constraints: 24990
724.76/726.76 c #Conflicts: 458000 | #Constraints: 25990
724.76/726.76 c #Conflicts: 459000 | #Constraints: 26990
724.76/726.76 c #Conflicts: 460000 | #Constraints: 27990
724.76/726.76 c INPROCESSING
724.76/726.76 c GARBAGE COLLECT
724.76/726.76 c #Conflicts: 461000 | #Constraints: 15593
724.76/726.76 c #Conflicts: 462000 | #Constraints: 16593
724.76/726.76 c #Conflicts: 463000 | #Constraints: 17593
724.76/726.76 c #Conflicts: 464000 | #Constraints: 18593
724.76/726.76 c #Conflicts: 465000 | #Constraints: 19593
724.76/726.76 c #Conflicts: 466000 | #Constraints: 20593
724.76/726.76 c #Conflicts: 467000 | #Constraints: 21593
724.76/726.76 c #Conflicts: 468000 | #Constraints: 22593
724.76/726.76 c #Conflicts: 469000 | #Constraints: 23593
724.76/726.76 c #Conflicts: 470000 | #Constraints: 24593
724.76/726.76 c #Conflicts: 471000 | #Constraints: 25593
724.76/726.76 c #Conflicts: 472000 | #Constraints: 26593
724.76/726.76 c #Conflicts: 473000 | #Constraints: 27593
724.76/726.76 c #Conflicts: 474000 | #Constraints: 28593
724.76/726.76 c INPROCESSING
724.76/726.76 c GARBAGE COLLECT
724.76/726.76 c #Conflicts: 475000 | #Constraints: 15989
724.76/726.76 c #Conflicts: 476000 | #Constraints: 16989
724.76/726.76 c #Conflicts: 477000 | #Constraints: 17989
724.76/726.76 c #Conflicts: 478000 | #Constraints: 18989
724.76/726.76 c #Conflicts: 479000 | #Constraints: 19989
724.76/726.76 c #Conflicts: 480000 | #Constraints: 20989
724.76/726.76 c #Conflicts: 481000 | #Constraints: 21989
724.76/726.76 c #Conflicts: 482000 | #Constraints: 22989
724.76/726.76 c #Conflicts: 483000 | #Constraints: 23989
724.76/726.76 c #Conflicts: 484000 | #Constraints: 24989
724.76/726.76 c #Conflicts: 485000 | #Constraints: 25989
724.76/726.76 c #Conflicts: 486000 | #Constraints: 26989
724.76/726.76 c #Conflicts: 487000 | #Constraints: 27989
724.76/726.76 c #Conflicts: 488000 | #Constraints: 28989
724.76/726.76 c INPROCESSING
724.76/726.76 c GARBAGE COLLECT
724.76/726.76 c #Conflicts: 489000 | #Constraints: 16209
724.76/726.76 c #Conflicts: 490000 | #Constraints: 17209
724.76/726.76 c #Conflicts: 491000 | #Constraints: 18209
724.76/726.76 c #Conflicts: 492000 | #Constraints: 19209
724.76/726.76 c #Conflicts: 493000 | #Constraints: 20209
724.76/726.76 c #Conflicts: 494000 | #Constraints: 21209
724.76/726.76 c #Conflicts: 495000 | #Constraints: 22209
724.76/726.76 c #Conflicts: 496000 | #Constraints: 23209
724.76/726.76 c #Conflicts: 497000 | #Constraints: 24209
724.76/726.76 c #Conflicts: 498000 | #Constraints: 25209
724.76/726.76 c #Conflicts: 499000 | #Constraints: 26209
724.76/726.76 c #Conflicts: 500000 | #Constraints: 27209
724.76/726.76 c #Conflicts: 501000 | #Constraints: 28209
724.76/726.76 c #Conflicts: 502000 | #Constraints: 29209
724.76/726.76 c INPROCESSING
724.76/726.76 c GARBAGE COLLECT
724.76/726.76 c #Conflicts: 503000 | #Constraints: 16200
724.76/726.76 c #Conflicts: 504000 | #Constraints: 17200
724.76/726.76 c #Conflicts: 505000 | #Constraints: 18200
724.76/726.76 c #Conflicts: 506000 | #Constraints: 19200
724.76/726.76 c #Conflicts: 507000 | #Constraints: 20200
724.76/726.76 c #Conflicts: 508000 | #Constraints: 21200
724.76/726.76 c #Conflicts: 509000 | #Constraints: 22200
724.76/726.76 c #Conflicts: 510000 | #Constraints: 23200
724.76/726.76 c #Conflicts: 511000 | #Constraints: 24200
724.76/726.76 c #Conflicts: 512000 | #Constraints: 25200
724.76/726.76 c #Conflicts: 513000 | #Constraints: 26200
802.13/804.32 c #Conflicts: 514000 | #Constraints: 27200
802.13/804.32 c #Conflicts: 515000 | #Constraints: 28200
802.13/804.32 c #Conflicts: 516000 | #Constraints: 29200
802.13/804.32 c INPROCESSING
802.13/804.32 c GARBAGE COLLECT
802.13/804.32 c #Conflicts: 517000 | #Constraints: 15991
802.13/804.32 c #Conflicts: 518000 | #Constraints: 16991
802.13/804.32 c #Conflicts: 519000 | #Constraints: 17991
802.13/804.32 c #Conflicts: 520000 | #Constraints: 18991
802.13/804.32 c #Conflicts: 521000 | #Constraints: 19991
802.13/804.32 c #Conflicts: 522000 | #Constraints: 20991
802.13/804.32 c #Conflicts: 523000 | #Constraints: 21991
802.13/804.32 c #Conflicts: 524000 | #Constraints: 22991
802.13/804.32 c #Conflicts: 525000 | #Constraints: 23991
802.13/804.32 c #Conflicts: 526000 | #Constraints: 24991
802.13/804.32 c #Conflicts: 527000 | #Constraints: 25991
802.13/804.32 c #Conflicts: 528000 | #Constraints: 26991
802.13/804.32 c #Conflicts: 529000 | #Constraints: 27991
802.13/804.32 c #Conflicts: 530000 | #Constraints: 28991
802.13/804.32 c #Conflicts: 531000 | #Constraints: 29991
802.13/804.32 c INPROCESSING
802.13/804.32 c GARBAGE COLLECT
802.13/804.32 c #Conflicts: 532000 | #Constraints: 16605
802.13/804.32 c #Conflicts: 533000 | #Constraints: 17605
802.13/804.32 c #Conflicts: 534000 | #Constraints: 18605
802.13/804.32 c #Conflicts: 535000 | #Constraints: 19605
802.13/804.32 c #Conflicts: 536000 | #Constraints: 20605
802.13/804.32 c #Conflicts: 537000 | #Constraints: 21605
802.13/804.32 c #Conflicts: 538000 | #Constraints: 22605
802.13/804.32 c #Conflicts: 539000 | #Constraints: 23605
802.13/804.32 c #Conflicts: 540000 | #Constraints: 24605
802.13/804.32 c #Conflicts: 541000 | #Constraints: 25605
802.13/804.32 c #Conflicts: 542000 | #Constraints: 26605
802.13/804.32 c #Conflicts: 543000 | #Constraints: 27605
802.13/804.32 c #Conflicts: 544000 | #Constraints: 28605
802.13/804.32 c #Conflicts: 545000 | #Constraints: 29605
802.13/804.32 c #Conflicts: 546000 | #Constraints: 30605
802.13/804.32 c INPROCESSING
802.13/804.32 c GARBAGE COLLECT
802.13/804.32 c #Conflicts: 547000 | #Constraints: 17022
802.13/804.32 c #Conflicts: 548000 | #Constraints: 18022
802.13/804.32 c #Conflicts: 549000 | #Constraints: 19022
802.13/804.32 c #Conflicts: 550000 | #Constraints: 20022
802.13/804.32 c #Conflicts: 551000 | #Constraints: 21022
802.13/804.32 c #Conflicts: 552000 | #Constraints: 22022
802.13/804.32 c #Conflicts: 553000 | #Constraints: 23022
802.13/804.32 c #Conflicts: 554000 | #Constraints: 24022
802.13/804.32 c #Conflicts: 555000 | #Constraints: 25022
802.13/804.32 c #Conflicts: 556000 | #Constraints: 26022
802.13/804.32 c #Conflicts: 557000 | #Constraints: 27022
802.13/804.32 c #Conflicts: 558000 | #Constraints: 28022
802.13/804.32 c #Conflicts: 559000 | #Constraints: 29022
802.13/804.32 c #Conflicts: 560000 | #Constraints: 30022
802.13/804.32 c #Conflicts: 561000 | #Constraints: 31022
802.13/804.32 c INPROCESSING
802.13/804.32 c GARBAGE COLLECT
802.13/804.32 c #Conflicts: 562000 | #Constraints: 17185
802.13/804.32 c #Conflicts: 563000 | #Constraints: 18185
802.13/804.32 c #Conflicts: 564000 | #Constraints: 19185
802.13/804.32 c #Conflicts: 565000 | #Constraints: 20185
802.13/804.32 c #Conflicts: 566000 | #Constraints: 21185
802.13/804.32 c #Conflicts: 567000 | #Constraints: 22185
802.13/804.32 c #Conflicts: 568000 | #Constraints: 23185
802.13/804.32 c #Conflicts: 569000 | #Constraints: 24185
802.13/804.32 c #Conflicts: 570000 | #Constraints: 25185
802.13/804.32 c #Conflicts: 571000 | #Constraints: 26185
802.13/804.32 c #Conflicts: 572000 | #Constraints: 27185
802.13/804.32 c #Conflicts: 573000 | #Constraints: 28185
802.13/804.32 c #Conflicts: 574000 | #Constraints: 29185
802.13/804.32 c #Conflicts: 575000 | #Constraints: 30185
802.13/804.32 c #Conflicts: 576000 | #Constraints: 31185
802.13/804.32 c INPROCESSING
802.13/804.32 c GARBAGE COLLECT
802.13/804.32 c #Conflicts: 577000 | #Constraints: 17179
802.13/804.32 c #Conflicts: 578000 | #Constraints: 18179
802.13/804.32 c #Conflicts: 579000 | #Constraints: 19179
802.13/804.32 c #Conflicts: 580000 | #Constraints: 20179
802.13/804.32 c #Conflicts: 581000 | #Constraints: 21179
802.13/804.32 c #Conflicts: 582000 | #Constraints: 22179
802.13/804.32 c #Conflicts: 583000 | #Constraints: 23179
802.13/804.32 c #Conflicts: 584000 | #Constraints: 24179
802.13/804.32 c #Conflicts: 585000 | #Constraints: 25179
802.13/804.32 c #Conflicts: 586000 | #Constraints: 26179
802.13/804.32 c #Conflicts: 587000 | #Constraints: 27179
802.13/804.32 c #Conflicts: 588000 | #Constraints: 28179
888.75/891.22 c #Conflicts: 589000 | #Constraints: 29179
888.75/891.22 c #Conflicts: 590000 | #Constraints: 30179
888.75/891.22 c #Conflicts: 591000 | #Constraints: 31179
888.75/891.22 c INPROCESSING
888.75/891.22 c GARBAGE COLLECT
888.75/891.22 c #Conflicts: 592000 | #Constraints: 17020
888.75/891.22 c #Conflicts: 593000 | #Constraints: 18020
888.75/891.22 c #Conflicts: 594000 | #Constraints: 19020
888.75/891.22 c #Conflicts: 595000 | #Constraints: 20020
888.75/891.22 c #Conflicts: 596000 | #Constraints: 21020
888.75/891.22 c #Conflicts: 597000 | #Constraints: 22020
888.75/891.22 c #Conflicts: 598000 | #Constraints: 23020
888.75/891.22 c #Conflicts: 599000 | #Constraints: 24020
888.75/891.22 c #Conflicts: 600000 | #Constraints: 25020
888.75/891.22 c #Conflicts: 601000 | #Constraints: 26020
888.75/891.22 c #Conflicts: 602000 | #Constraints: 27020
888.75/891.22 c #Conflicts: 603000 | #Constraints: 28020
888.75/891.22 c #Conflicts: 604000 | #Constraints: 29020
888.75/891.22 c #Conflicts: 605000 | #Constraints: 30020
888.75/891.22 c #Conflicts: 606000 | #Constraints: 31020
888.75/891.22 c #Conflicts: 607000 | #Constraints: 32020
888.75/891.22 c INPROCESSING
888.75/891.22 c GARBAGE COLLECT
888.75/891.22 c #Conflicts: 608000 | #Constraints: 17618
888.75/891.22 c #Conflicts: 609000 | #Constraints: 18618
888.75/891.22 c #Conflicts: 610000 | #Constraints: 19618
888.75/891.22 c #Conflicts: 611000 | #Constraints: 20618
888.75/891.22 c #Conflicts: 612000 | #Constraints: 21618
888.75/891.22 c #Conflicts: 613000 | #Constraints: 22618
888.75/891.22 c #Conflicts: 614000 | #Constraints: 23618
888.75/891.22 c #Conflicts: 615000 | #Constraints: 24618
888.75/891.22 c #Conflicts: 616000 | #Constraints: 25618
888.75/891.22 c #Conflicts: 617000 | #Constraints: 26618
888.75/891.22 c #Conflicts: 618000 | #Constraints: 27618
888.75/891.22 c #Conflicts: 619000 | #Constraints: 28618
888.75/891.22 c #Conflicts: 620000 | #Constraints: 29618
888.75/891.22 c #Conflicts: 621000 | #Constraints: 30618
888.75/891.22 c #Conflicts: 622000 | #Constraints: 31618
888.75/891.22 c #Conflicts: 623000 | #Constraints: 32618
888.75/891.22 c INPROCESSING
888.75/891.22 c GARBAGE COLLECT
888.75/891.22 c #Conflicts: 624000 | #Constraints: 18019
888.75/891.22 c #Conflicts: 625000 | #Constraints: 19019
888.75/891.22 c #Conflicts: 626000 | #Constraints: 20019
888.75/891.22 c #Conflicts: 627000 | #Constraints: 21019
888.75/891.22 c #Conflicts: 628000 | #Constraints: 22019
888.75/891.22 c #Conflicts: 629000 | #Constraints: 23019
888.75/891.22 c #Conflicts: 630000 | #Constraints: 24019
888.75/891.22 c #Conflicts: 631000 | #Constraints: 25019
888.75/891.22 c #Conflicts: 632000 | #Constraints: 26019
888.75/891.22 c #Conflicts: 633000 | #Constraints: 27019
888.75/891.22 c #Conflicts: 634000 | #Constraints: 28019
888.75/891.22 c #Conflicts: 635000 | #Constraints: 29019
888.75/891.22 c #Conflicts: 636000 | #Constraints: 30019
888.75/891.22 c #Conflicts: 637000 | #Constraints: 31019
888.75/891.22 c #Conflicts: 638000 | #Constraints: 32019
888.75/891.22 c #Conflicts: 639000 | #Constraints: 33019
888.75/891.22 c INPROCESSING
888.75/891.22 c GARBAGE COLLECT
888.75/891.22 c #Conflicts: 640000 | #Constraints: 18202
888.75/891.22 c #Conflicts: 641000 | #Constraints: 19202
888.75/891.22 c #Conflicts: 642000 | #Constraints: 20202
888.75/891.22 c #Conflicts: 643000 | #Constraints: 21202
888.75/891.22 c #Conflicts: 644000 | #Constraints: 22202
888.75/891.22 c #Conflicts: 645000 | #Constraints: 23202
888.75/891.22 c #Conflicts: 646000 | #Constraints: 24202
888.75/891.22 c #Conflicts: 647000 | #Constraints: 25202
888.75/891.22 c #Conflicts: 648000 | #Constraints: 26202
888.75/891.22 c #Conflicts: 649000 | #Constraints: 27202
888.75/891.22 c #Conflicts: 650000 | #Constraints: 28202
888.75/891.22 c #Conflicts: 651000 | #Constraints: 29202
888.75/891.22 c #Conflicts: 652000 | #Constraints: 30202
888.75/891.22 c #Conflicts: 653000 | #Constraints: 31202
888.75/891.22 c #Conflicts: 654000 | #Constraints: 32202
888.75/891.22 c #Conflicts: 655000 | #Constraints: 33202
888.75/891.22 c INPROCESSING
888.75/891.22 c GARBAGE COLLECT
888.75/891.22 c #Conflicts: 656000 | #Constraints: 18197
888.75/891.22 c #Conflicts: 657000 | #Constraints: 19197
888.75/891.22 c #Conflicts: 658000 | #Constraints: 20197
888.75/891.22 c #Conflicts: 659000 | #Constraints: 21197
888.75/891.22 c #Conflicts: 660000 | #Constraints: 22197
888.75/891.22 c #Conflicts: 661000 | #Constraints: 23197
888.75/891.22 c #Conflicts: 662000 | #Constraints: 24197
888.75/891.22 c #Conflicts: 663000 | #Constraints: 25197
888.75/891.22 c #Conflicts: 664000 | #Constraints: 26197
992.93/995.72 c #Conflicts: 665000 | #Constraints: 27197
992.93/995.72 c #Conflicts: 666000 | #Constraints: 28197
992.93/995.72 c #Conflicts: 667000 | #Constraints: 29197
992.93/995.72 c #Conflicts: 668000 | #Constraints: 30197
992.93/995.72 c #Conflicts: 669000 | #Constraints: 31197
992.93/995.72 c #Conflicts: 670000 | #Constraints: 32197
992.93/995.72 c #Conflicts: 671000 | #Constraints: 33197
992.93/995.72 c INPROCESSING
992.93/995.72 c GARBAGE COLLECT
992.93/995.72 c #Conflicts: 672000 | #Constraints: 18011
992.93/995.72 c #Conflicts: 673000 | #Constraints: 19011
992.93/995.72 c #Conflicts: 674000 | #Constraints: 20011
992.93/995.72 c #Conflicts: 675000 | #Constraints: 21011
992.93/995.72 c #Conflicts: 676000 | #Constraints: 22011
992.93/995.72 c #Conflicts: 677000 | #Constraints: 23011
992.93/995.72 c #Conflicts: 678000 | #Constraints: 24011
992.93/995.72 c #Conflicts: 679000 | #Constraints: 25011
992.93/995.72 c #Conflicts: 680000 | #Constraints: 26011
992.93/995.72 c #Conflicts: 681000 | #Constraints: 27011
992.93/995.72 c #Conflicts: 682000 | #Constraints: 28011
992.93/995.72 c #Conflicts: 683000 | #Constraints: 29011
992.93/995.72 c #Conflicts: 684000 | #Constraints: 30011
992.93/995.72 c #Conflicts: 685000 | #Constraints: 31011
992.93/995.72 c #Conflicts: 686000 | #Constraints: 32011
992.93/995.72 c #Conflicts: 687000 | #Constraints: 33011
992.93/995.72 c #Conflicts: 688000 | #Constraints: 34011
992.93/995.72 c INPROCESSING
992.93/995.72 c GARBAGE COLLECT
992.93/995.72 c #Conflicts: 689000 | #Constraints: 18606
992.93/995.72 c #Conflicts: 690000 | #Constraints: 19606
992.93/995.72 c #Conflicts: 691000 | #Constraints: 20606
992.93/995.72 c #Conflicts: 692000 | #Constraints: 21606
992.93/995.72 c #Conflicts: 693000 | #Constraints: 22606
992.93/995.72 c #Conflicts: 694000 | #Constraints: 23606
992.93/995.72 c #Conflicts: 695000 | #Constraints: 24606
992.93/995.72 c #Conflicts: 696000 | #Constraints: 25606
992.93/995.72 c #Conflicts: 697000 | #Constraints: 26606
992.93/995.72 c #Conflicts: 698000 | #Constraints: 27606
992.93/995.72 c #Conflicts: 699000 | #Constraints: 28606
992.93/995.72 c #Conflicts: 700000 | #Constraints: 29606
992.93/995.72 c #Conflicts: 701000 | #Constraints: 30606
992.93/995.72 c #Conflicts: 702000 | #Constraints: 31606
992.93/995.72 c #Conflicts: 703000 | #Constraints: 32606
992.93/995.72 c #Conflicts: 704000 | #Constraints: 33606
992.93/995.72 c #Conflicts: 705000 | #Constraints: 34606
992.93/995.72 c INPROCESSING
992.93/995.72 c GARBAGE COLLECT
992.93/995.72 c #Conflicts: 706000 | #Constraints: 19000
992.93/995.72 c #Conflicts: 707000 | #Constraints: 20000
992.93/995.72 c #Conflicts: 708000 | #Constraints: 21000
992.93/995.72 c #Conflicts: 709000 | #Constraints: 22000
992.93/995.72 c #Conflicts: 710000 | #Constraints: 23000
992.93/995.72 c #Conflicts: 711000 | #Constraints: 24000
992.93/995.72 c #Conflicts: 712000 | #Constraints: 25000
992.93/995.72 c #Conflicts: 713000 | #Constraints: 26000
992.93/995.72 c #Conflicts: 714000 | #Constraints: 27000
992.93/995.72 c #Conflicts: 715000 | #Constraints: 28000
992.93/995.72 c #Conflicts: 716000 | #Constraints: 29000
992.93/995.72 c #Conflicts: 717000 | #Constraints: 30000
992.93/995.72 c #Conflicts: 718000 | #Constraints: 31000
992.93/995.72 c #Conflicts: 719000 | #Constraints: 32000
992.93/995.72 c #Conflicts: 720000 | #Constraints: 33000
992.93/995.72 c #Conflicts: 721000 | #Constraints: 34000
992.93/995.72 c #Conflicts: 722000 | #Constraints: 35000
992.93/995.72 c INPROCESSING
992.93/995.72 c GARBAGE COLLECT
992.93/995.72 c #Conflicts: 723000 | #Constraints: 19191
992.93/995.72 c #Conflicts: 724000 | #Constraints: 20191
992.93/995.72 c #Conflicts: 725000 | #Constraints: 21191
992.93/995.72 c #Conflicts: 726000 | #Constraints: 22191
992.93/995.72 c #Conflicts: 727000 | #Constraints: 23191
992.93/995.72 c #Conflicts: 728000 | #Constraints: 24191
992.93/995.72 c #Conflicts: 729000 | #Constraints: 25191
992.93/995.72 c #Conflicts: 730000 | #Constraints: 26191
992.93/995.72 c #Conflicts: 731000 | #Constraints: 27191
992.93/995.72 c #Conflicts: 732000 | #Constraints: 28191
992.93/995.72 c #Conflicts: 733000 | #Constraints: 29191
992.93/995.72 c #Conflicts: 734000 | #Constraints: 30191
992.93/995.72 c #Conflicts: 735000 | #Constraints: 31191
992.93/995.72 c #Conflicts: 736000 | #Constraints: 32191
992.93/995.72 c #Conflicts: 737000 | #Constraints: 33191
992.93/995.72 c #Conflicts: 738000 | #Constraints: 34191
992.93/995.72 c #Conflicts: 739000 | #Constraints: 35191
992.93/995.72 c INPROCESSING
992.93/995.72 c GARBAGE COLLECT
992.93/995.72 c #Conflicts: 740000 | #Constraints: 19196
1093.30/1096.40 c #Conflicts: 741000 | #Constraints: 20196
1093.30/1096.40 c #Conflicts: 742000 | #Constraints: 21196
1093.30/1096.40 c #Conflicts: 743000 | #Constraints: 22196
1093.30/1096.40 c #Conflicts: 744000 | #Constraints: 23196
1093.30/1096.40 c #Conflicts: 745000 | #Constraints: 24196
1093.30/1096.40 c #Conflicts: 746000 | #Constraints: 25196
1093.30/1096.40 c #Conflicts: 747000 | #Constraints: 26196
1093.30/1096.40 c #Conflicts: 748000 | #Constraints: 27196
1093.30/1096.40 c #Conflicts: 749000 | #Constraints: 28196
1093.30/1096.40 c #Conflicts: 750000 | #Constraints: 29196
1093.30/1096.40 c #Conflicts: 751000 | #Constraints: 30196
1093.30/1096.40 c #Conflicts: 752000 | #Constraints: 31196
1093.30/1096.40 c #Conflicts: 753000 | #Constraints: 32196
1093.30/1096.40 c #Conflicts: 754000 | #Constraints: 33196
1093.30/1096.40 c #Conflicts: 755000 | #Constraints: 34196
1093.30/1096.40 c #Conflicts: 756000 | #Constraints: 35196
1093.30/1096.40 c INPROCESSING
1093.30/1096.40 c GARBAGE COLLECT
1093.30/1096.40 c #Conflicts: 757000 | #Constraints: 19022
1093.30/1096.40 c #Conflicts: 758000 | #Constraints: 20022
1093.30/1096.40 c #Conflicts: 759000 | #Constraints: 21022
1093.30/1096.40 c #Conflicts: 760000 | #Constraints: 22022
1093.30/1096.40 c #Conflicts: 761000 | #Constraints: 23022
1093.30/1096.40 c #Conflicts: 762000 | #Constraints: 24022
1093.30/1096.40 c #Conflicts: 763000 | #Constraints: 25022
1093.30/1096.40 c #Conflicts: 764000 | #Constraints: 26022
1093.30/1096.40 c #Conflicts: 765000 | #Constraints: 27022
1093.30/1096.40 c #Conflicts: 766000 | #Constraints: 28022
1093.30/1096.40 c #Conflicts: 767000 | #Constraints: 29022
1093.30/1096.40 c #Conflicts: 768000 | #Constraints: 30022
1093.30/1096.40 c #Conflicts: 769000 | #Constraints: 31022
1093.30/1096.40 c #Conflicts: 770000 | #Constraints: 32022
1093.30/1096.40 c #Conflicts: 771000 | #Constraints: 33022
1093.30/1096.40 c #Conflicts: 772000 | #Constraints: 34022
1093.30/1096.40 c #Conflicts: 773000 | #Constraints: 35022
1093.30/1096.40 c #Conflicts: 774000 | #Constraints: 36022
1093.30/1096.40 c INPROCESSING
1093.30/1096.40 c GARBAGE COLLECT
1093.30/1096.40 c #Conflicts: 775000 | #Constraints: 19620
1093.30/1096.40 c #Conflicts: 776000 | #Constraints: 20620
1093.30/1096.40 c #Conflicts: 777000 | #Constraints: 21620
1093.30/1096.40 c #Conflicts: 778000 | #Constraints: 22620
1093.30/1096.40 c #Conflicts: 779000 | #Constraints: 23620
1093.30/1096.40 c #Conflicts: 780000 | #Constraints: 24620
1093.30/1096.40 c #Conflicts: 781000 | #Constraints: 25620
1093.30/1096.40 c #Conflicts: 782000 | #Constraints: 26620
1093.30/1096.40 c #Conflicts: 783000 | #Constraints: 27620
1093.30/1096.40 c #Conflicts: 784000 | #Constraints: 28620
1093.30/1096.40 c #Conflicts: 785000 | #Constraints: 29620
1093.30/1096.40 c #Conflicts: 786000 | #Constraints: 30620
1093.30/1096.40 c #Conflicts: 787000 | #Constraints: 31620
1093.30/1096.40 c #Conflicts: 788000 | #Constraints: 32620
1093.30/1096.40 c #Conflicts: 789000 | #Constraints: 33620
1093.30/1096.40 c #Conflicts: 790000 | #Constraints: 34620
1093.30/1096.40 c #Conflicts: 791000 | #Constraints: 35620
1093.30/1096.40 c #Conflicts: 792000 | #Constraints: 36620
1093.30/1096.40 c INPROCESSING
1093.30/1096.40 c GARBAGE COLLECT
1093.30/1096.40 c #Conflicts: 793000 | #Constraints: 20023
1093.30/1096.40 c #Conflicts: 794000 | #Constraints: 21023
1093.30/1096.40 c #Conflicts: 795000 | #Constraints: 22023
1093.30/1096.40 c #Conflicts: 796000 | #Constraints: 23023
1093.30/1096.40 c #Conflicts: 797000 | #Constraints: 24023
1093.30/1096.40 c #Conflicts: 798000 | #Constraints: 25023
1093.30/1096.40 c #Conflicts: 799000 | #Constraints: 26023
1093.30/1096.40 c #Conflicts: 800000 | #Constraints: 27023
1093.30/1096.40 c #Conflicts: 801000 | #Constraints: 28023
1093.30/1096.40 c #Conflicts: 802000 | #Constraints: 29023
1093.30/1096.40 c #Conflicts: 803000 | #Constraints: 30023
1093.30/1096.40 c #Conflicts: 804000 | #Constraints: 31023
1093.30/1096.40 c #Conflicts: 805000 | #Constraints: 32023
1093.30/1096.40 c #Conflicts: 806000 | #Constraints: 33023
1093.30/1096.40 c #Conflicts: 807000 | #Constraints: 34023
1093.30/1096.40 c #Conflicts: 808000 | #Constraints: 35023
1093.30/1096.40 c #Conflicts: 809000 | #Constraints: 36023
1093.30/1096.40 c #Conflicts: 810000 | #Constraints: 37023
1093.30/1096.40 c INPROCESSING
1093.30/1096.40 c GARBAGE COLLECT
1093.30/1096.40 c #Conflicts: 811000 | #Constraints: 20203
1093.30/1096.40 c #Conflicts: 812000 | #Constraints: 21203
1093.30/1096.40 c #Conflicts: 813000 | #Constraints: 22203
1093.30/1096.40 c #Conflicts: 814000 | #Constraints: 23203
1093.30/1096.40 c #Conflicts: 815000 | #Constraints: 24203
1093.30/1096.40 c #Conflicts: 816000 | #Constraints: 25203
1208.64/1212.14 c #Conflicts: 817000 | #Constraints: 26203
1208.64/1212.14 c #Conflicts: 818000 | #Constraints: 27203
1208.64/1212.14 c #Conflicts: 819000 | #Constraints: 28203
1208.64/1212.14 c #Conflicts: 820000 | #Constraints: 29203
1208.64/1212.14 c #Conflicts: 821000 | #Constraints: 30203
1208.64/1212.14 c #Conflicts: 822000 | #Constraints: 31203
1208.64/1212.14 c #Conflicts: 823000 | #Constraints: 32203
1208.64/1212.14 c #Conflicts: 824000 | #Constraints: 33203
1208.64/1212.14 c #Conflicts: 825000 | #Constraints: 34203
1208.64/1212.14 c #Conflicts: 826000 | #Constraints: 35203
1208.64/1212.14 c #Conflicts: 827000 | #Constraints: 36203
1208.64/1212.14 c #Conflicts: 828000 | #Constraints: 37203
1208.64/1212.14 c INPROCESSING
1208.64/1212.14 c GARBAGE COLLECT
1208.64/1212.14 c #Conflicts: 829000 | #Constraints: 20205
1208.64/1212.14 c #Conflicts: 830000 | #Constraints: 21205
1208.64/1212.14 c #Conflicts: 831000 | #Constraints: 22205
1208.64/1212.14 c #Conflicts: 832000 | #Constraints: 23205
1208.64/1212.14 c #Conflicts: 833000 | #Constraints: 24205
1208.64/1212.14 c #Conflicts: 834000 | #Constraints: 25205
1208.64/1212.14 c #Conflicts: 835000 | #Constraints: 26205
1208.64/1212.14 c #Conflicts: 836000 | #Constraints: 27205
1208.64/1212.14 c #Conflicts: 837000 | #Constraints: 28205
1208.64/1212.14 c #Conflicts: 838000 | #Constraints: 29205
1208.64/1212.14 c #Conflicts: 839000 | #Constraints: 30205
1208.64/1212.14 c #Conflicts: 840000 | #Constraints: 31205
1208.64/1212.14 c #Conflicts: 841000 | #Constraints: 32205
1208.64/1212.14 c #Conflicts: 842000 | #Constraints: 33205
1208.64/1212.14 c #Conflicts: 843000 | #Constraints: 34205
1208.64/1212.14 c #Conflicts: 844000 | #Constraints: 35205
1208.64/1212.14 c #Conflicts: 845000 | #Constraints: 36205
1208.64/1212.14 c #Conflicts: 846000 | #Constraints: 37205
1208.64/1212.14 c INPROCESSING
1208.64/1212.14 c GARBAGE COLLECT
1208.64/1212.14 c #Conflicts: 847000 | #Constraints: 20008
1208.64/1212.14 c #Conflicts: 848000 | #Constraints: 21008
1208.64/1212.14 c #Conflicts: 849000 | #Constraints: 22008
1208.64/1212.14 c #Conflicts: 850000 | #Constraints: 23008
1208.64/1212.14 c #Conflicts: 851000 | #Constraints: 24008
1208.64/1212.14 c #Conflicts: 852000 | #Constraints: 25008
1208.64/1212.14 c #Conflicts: 853000 | #Constraints: 26008
1208.64/1212.14 c #Conflicts: 854000 | #Constraints: 27008
1208.64/1212.14 c #Conflicts: 855000 | #Constraints: 28008
1208.64/1212.14 c #Conflicts: 856000 | #Constraints: 29008
1208.64/1212.14 c #Conflicts: 857000 | #Constraints: 30008
1208.64/1212.14 c #Conflicts: 858000 | #Constraints: 31008
1208.64/1212.14 c #Conflicts: 859000 | #Constraints: 32008
1208.64/1212.14 c #Conflicts: 860000 | #Constraints: 33008
1208.64/1212.14 c #Conflicts: 861000 | #Constraints: 34008
1208.64/1212.14 c #Conflicts: 862000 | #Constraints: 35008
1208.64/1212.14 c #Conflicts: 863000 | #Constraints: 36008
1208.64/1212.14 c #Conflicts: 864000 | #Constraints: 37008
1208.64/1212.14 c #Conflicts: 865000 | #Constraints: 38008
1208.64/1212.14 c INPROCESSING
1208.64/1212.14 c GARBAGE COLLECT
1208.64/1212.14 c #Conflicts: 866000 | #Constraints: 20593
1208.64/1212.14 c #Conflicts: 867000 | #Constraints: 21593
1208.64/1212.14 c #Conflicts: 868000 | #Constraints: 22593
1208.64/1212.14 c #Conflicts: 869000 | #Constraints: 23593
1208.64/1212.14 c #Conflicts: 870000 | #Constraints: 24593
1208.64/1212.14 c #Conflicts: 871000 | #Constraints: 25593
1208.64/1212.14 c #Conflicts: 872000 | #Constraints: 26593
1208.64/1212.14 c #Conflicts: 873000 | #Constraints: 27593
1208.64/1212.14 c #Conflicts: 874000 | #Constraints: 28593
1208.64/1212.14 c #Conflicts: 875000 | #Constraints: 29593
1208.64/1212.14 c #Conflicts: 876000 | #Constraints: 30593
1208.64/1212.14 c #Conflicts: 877000 | #Constraints: 31593
1208.64/1212.14 c #Conflicts: 878000 | #Constraints: 32593
1208.64/1212.14 c #Conflicts: 879000 | #Constraints: 33593
1208.64/1212.14 c #Conflicts: 880000 | #Constraints: 34593
1208.64/1212.14 c #Conflicts: 881000 | #Constraints: 35593
1208.64/1212.14 c #Conflicts: 882000 | #Constraints: 36593
1208.64/1212.14 c #Conflicts: 883000 | #Constraints: 37593
1208.64/1212.14 c #Conflicts: 884000 | #Constraints: 38593
1208.64/1212.14 c INPROCESSING
1208.64/1212.14 c GARBAGE COLLECT
1208.64/1212.14 c #Conflicts: 885000 | #Constraints: 20992
1208.64/1212.14 c #Conflicts: 886000 | #Constraints: 21992
1208.64/1212.14 c #Conflicts: 887000 | #Constraints: 22992
1208.64/1212.14 c #Conflicts: 888000 | #Constraints: 23992
1208.64/1212.14 c #Conflicts: 889000 | #Constraints: 24992
1208.64/1212.14 c #Conflicts: 890000 | #Constraints: 25992
1208.64/1212.14 c #Conflicts: 891000 | #Constraints: 26992
1208.64/1212.14 c #Conflicts: 892000 | #Constraints: 27992
1316.18/1320.03 c #Conflicts: 893000 | #Constraints: 28992
1316.18/1320.03 c #Conflicts: 894000 | #Constraints: 29992
1316.18/1320.03 c #Conflicts: 895000 | #Constraints: 30992
1316.18/1320.03 c #Conflicts: 896000 | #Constraints: 31992
1316.18/1320.03 c #Conflicts: 897000 | #Constraints: 32992
1316.18/1320.03 c #Conflicts: 898000 | #Constraints: 33992
1316.18/1320.03 c #Conflicts: 899000 | #Constraints: 34992
1316.18/1320.03 c #Conflicts: 900000 | #Constraints: 35992
1316.18/1320.03 c #Conflicts: 901000 | #Constraints: 36992
1316.18/1320.03 c #Conflicts: 902000 | #Constraints: 37992
1316.18/1320.03 c #Conflicts: 903000 | #Constraints: 38992
1316.18/1320.03 c INPROCESSING
1316.18/1320.03 c GARBAGE COLLECT
1316.18/1320.03 c #Conflicts: 904000 | #Constraints: 21221
1316.18/1320.03 c #Conflicts: 905000 | #Constraints: 22221
1316.18/1320.03 c #Conflicts: 906000 | #Constraints: 23221
1316.18/1320.03 c #Conflicts: 907000 | #Constraints: 24221
1316.18/1320.03 c #Conflicts: 908000 | #Constraints: 25221
1316.18/1320.03 c #Conflicts: 909000 | #Constraints: 26221
1316.18/1320.03 c #Conflicts: 910000 | #Constraints: 27221
1316.18/1320.03 c #Conflicts: 911000 | #Constraints: 28221
1316.18/1320.03 c #Conflicts: 912000 | #Constraints: 29221
1316.18/1320.03 c #Conflicts: 913000 | #Constraints: 30221
1316.18/1320.03 c #Conflicts: 914000 | #Constraints: 31221
1316.18/1320.03 c #Conflicts: 915000 | #Constraints: 32221
1316.18/1320.03 c #Conflicts: 916000 | #Constraints: 33221
1316.18/1320.03 c #Conflicts: 917000 | #Constraints: 34221
1316.18/1320.03 c #Conflicts: 918000 | #Constraints: 35221
1316.18/1320.03 c #Conflicts: 919000 | #Constraints: 36221
1316.18/1320.03 c #Conflicts: 920000 | #Constraints: 37221
1316.18/1320.03 c #Conflicts: 921000 | #Constraints: 38221
1316.18/1320.03 c #Conflicts: 922000 | #Constraints: 39221
1316.18/1320.03 c INPROCESSING
1316.18/1320.03 c GARBAGE COLLECT
1316.18/1320.03 c #Conflicts: 923000 | #Constraints: 21236
1316.18/1320.03 c #Conflicts: 924000 | #Constraints: 22236
1316.18/1320.03 c #Conflicts: 925000 | #Constraints: 23236
1316.18/1320.03 c #Conflicts: 926000 | #Constraints: 24236
1316.18/1320.03 c #Conflicts: 927000 | #Constraints: 25236
1316.18/1320.03 c #Conflicts: 928000 | #Constraints: 26236
1316.18/1320.03 c #Conflicts: 929000 | #Constraints: 27236
1316.18/1320.03 c #Conflicts: 930000 | #Constraints: 28236
1316.18/1320.03 c #Conflicts: 931000 | #Constraints: 29236
1316.18/1320.03 c #Conflicts: 932000 | #Constraints: 30236
1316.18/1320.03 c #Conflicts: 933000 | #Constraints: 31236
1316.18/1320.03 c #Conflicts: 934000 | #Constraints: 32236
1316.18/1320.03 c #Conflicts: 935000 | #Constraints: 33236
1316.18/1320.03 c #Conflicts: 936000 | #Constraints: 34236
1316.18/1320.03 c #Conflicts: 937000 | #Constraints: 35236
1316.18/1320.03 c #Conflicts: 938000 | #Constraints: 36236
1316.18/1320.03 c #Conflicts: 939000 | #Constraints: 37236
1316.18/1320.03 c #Conflicts: 940000 | #Constraints: 38236
1316.18/1320.03 c #Conflicts: 941000 | #Constraints: 39236
1316.18/1320.03 c INPROCESSING
1316.18/1320.03 c GARBAGE COLLECT
1316.18/1320.03 c #Conflicts: 942000 | #Constraints: 21049
1316.18/1320.03 c #Conflicts: 943000 | #Constraints: 22049
1316.18/1320.03 c #Conflicts: 944000 | #Constraints: 23049
1316.18/1320.03 c #Conflicts: 945000 | #Constraints: 24049
1316.18/1320.03 c #Conflicts: 946000 | #Constraints: 25049
1316.18/1320.03 c #Conflicts: 947000 | #Constraints: 26049
1316.18/1320.03 c #Conflicts: 948000 | #Constraints: 27049
1316.18/1320.03 c #Conflicts: 949000 | #Constraints: 28049
1316.18/1320.03 c #Conflicts: 950000 | #Constraints: 29049
1316.18/1320.03 c #Conflicts: 951000 | #Constraints: 30049
1316.18/1320.03 c #Conflicts: 952000 | #Constraints: 31049
1316.18/1320.03 c #Conflicts: 953000 | #Constraints: 32049
1316.18/1320.03 c #Conflicts: 954000 | #Constraints: 33049
1316.18/1320.03 c #Conflicts: 955000 | #Constraints: 34049
1316.18/1320.03 c #Conflicts: 956000 | #Constraints: 35049
1316.18/1320.03 c #Conflicts: 957000 | #Constraints: 36049
1316.18/1320.03 c #Conflicts: 958000 | #Constraints: 37049
1316.18/1320.03 c #Conflicts: 959000 | #Constraints: 38049
1316.18/1320.03 c #Conflicts: 960000 | #Constraints: 39049
1316.18/1320.03 c #Conflicts: 961000 | #Constraints: 40049
1316.18/1320.03 c INPROCESSING
1316.18/1320.03 c GARBAGE COLLECT
1316.18/1320.03 c #Conflicts: 962000 | #Constraints: 21635
1316.18/1320.03 c #Conflicts: 963000 | #Constraints: 22635
1316.18/1320.03 c #Conflicts: 964000 | #Constraints: 23635
1316.18/1320.03 c #Conflicts: 965000 | #Constraints: 24635
1316.18/1320.03 c #Conflicts: 966000 | #Constraints: 25635
1316.18/1320.03 c #Conflicts: 967000 | #Constraints: 26635
1316.18/1320.03 c #Conflicts: 968000 | #Constraints: 27635
1421.05/1425.22 c #Conflicts: 969000 | #Constraints: 28635
1421.05/1425.22 c #Conflicts: 970000 | #Constraints: 29635
1421.05/1425.22 c #Conflicts: 971000 | #Constraints: 30635
1421.05/1425.22 c #Conflicts: 972000 | #Constraints: 31635
1421.05/1425.22 c #Conflicts: 973000 | #Constraints: 32635
1421.05/1425.22 c #Conflicts: 974000 | #Constraints: 33635
1421.05/1425.22 c #Conflicts: 975000 | #Constraints: 34635
1421.05/1425.22 c #Conflicts: 976000 | #Constraints: 35635
1421.05/1425.22 c #Conflicts: 977000 | #Constraints: 36635
1421.05/1425.22 c #Conflicts: 978000 | #Constraints: 37635
1421.05/1425.22 c #Conflicts: 979000 | #Constraints: 38635
1421.05/1425.22 c #Conflicts: 980000 | #Constraints: 39635
1421.05/1425.22 c #Conflicts: 981000 | #Constraints: 40635
1421.05/1425.22 c INPROCESSING
1421.05/1425.22 c GARBAGE COLLECT
1421.05/1425.22 c #Conflicts: 982000 | #Constraints: 22034
1421.05/1425.22 c #Conflicts: 983000 | #Constraints: 23034
1421.05/1425.22 c #Conflicts: 984000 | #Constraints: 24034
1421.05/1425.22 c #Conflicts: 985000 | #Constraints: 25034
1421.05/1425.22 c #Conflicts: 986000 | #Constraints: 26034
1421.05/1425.22 c #Conflicts: 987000 | #Constraints: 27034
1421.05/1425.22 c #Conflicts: 988000 | #Constraints: 28034
1421.05/1425.22 c #Conflicts: 989000 | #Constraints: 29034
1421.05/1425.22 c #Conflicts: 990000 | #Constraints: 30034
1421.05/1425.22 c #Conflicts: 991000 | #Constraints: 31034
1421.05/1425.22 c #Conflicts: 992000 | #Constraints: 32034
1421.05/1425.22 c #Conflicts: 993000 | #Constraints: 33034
1421.05/1425.22 c #Conflicts: 994000 | #Constraints: 34034
1421.05/1425.22 c #Conflicts: 995000 | #Constraints: 35034
1421.05/1425.22 c #Conflicts: 996000 | #Constraints: 36034
1421.05/1425.22 c #Conflicts: 997000 | #Constraints: 37034
1421.05/1425.22 c #Conflicts: 998000 | #Constraints: 38034
1421.05/1425.22 c #Conflicts: 999000 | #Constraints: 39034
1421.05/1425.22 c #Conflicts: 1000000 | #Constraints: 40034
1421.05/1425.22 c #Conflicts: 1001000 | #Constraints: 41034
1421.05/1425.22 c INPROCESSING
1421.05/1425.22 c GARBAGE COLLECT
1421.05/1425.22 c #Conflicts: 1002000 | #Constraints: 22254
1421.05/1425.22 c #Conflicts: 1003000 | #Constraints: 23254
1421.05/1425.22 c #Conflicts: 1004000 | #Constraints: 24254
1421.05/1425.22 c #Conflicts: 1005000 | #Constraints: 25254
1421.05/1425.22 c #Conflicts: 1006000 | #Constraints: 26254
1421.05/1425.22 c #Conflicts: 1007000 | #Constraints: 27254
1421.05/1425.22 c #Conflicts: 1008000 | #Constraints: 28254
1421.05/1425.22 c #Conflicts: 1009000 | #Constraints: 29254
1421.05/1425.22 c #Conflicts: 1010000 | #Constraints: 30254
1421.05/1425.22 c #Conflicts: 1011000 | #Constraints: 31254
1421.05/1425.22 c #Conflicts: 1012000 | #Constraints: 32254
1421.05/1425.22 c #Conflicts: 1013000 | #Constraints: 33254
1421.05/1425.22 c #Conflicts: 1014000 | #Constraints: 34254
1421.05/1425.22 c #Conflicts: 1015000 | #Constraints: 35254
1421.05/1425.22 c #Conflicts: 1016000 | #Constraints: 36254
1421.05/1425.22 c #Conflicts: 1017000 | #Constraints: 37254
1421.05/1425.22 c #Conflicts: 1018000 | #Constraints: 38254
1421.05/1425.22 c #Conflicts: 1019000 | #Constraints: 39254
1421.05/1425.22 c #Conflicts: 1020000 | #Constraints: 40254
1421.05/1425.22 c #Conflicts: 1021000 | #Constraints: 41254
1421.05/1425.22 c INPROCESSING
1421.05/1425.22 c GARBAGE COLLECT
1421.05/1425.22 c #Conflicts: 1022000 | #Constraints: 22234
1421.05/1425.22 c #Conflicts: 1023000 | #Constraints: 23234
1421.05/1425.22 c #Conflicts: 1024000 | #Constraints: 24234
1421.05/1425.22 c #Conflicts: 1025000 | #Constraints: 25234
1421.05/1425.22 c #Conflicts: 1026000 | #Constraints: 26234
1421.05/1425.22 c #Conflicts: 1027000 | #Constraints: 27234
1421.05/1425.22 c #Conflicts: 1028000 | #Constraints: 28234
1421.05/1425.22 c #Conflicts: 1029000 | #Constraints: 29234
1421.05/1425.22 c #Conflicts: 1030000 | #Constraints: 30234
1421.05/1425.22 c #Conflicts: 1031000 | #Constraints: 31234
1421.05/1425.22 c #Conflicts: 1032000 | #Constraints: 32234
1421.05/1425.22 c #Conflicts: 1033000 | #Constraints: 33234
1421.05/1425.22 c #Conflicts: 1034000 | #Constraints: 34234
1421.05/1425.22 c #Conflicts: 1035000 | #Constraints: 35234
1421.05/1425.22 c #Conflicts: 1036000 | #Constraints: 36234
1421.05/1425.22 c #Conflicts: 1037000 | #Constraints: 37234
1421.05/1425.22 c #Conflicts: 1038000 | #Constraints: 38234
1421.05/1425.22 c #Conflicts: 1039000 | #Constraints: 39234
1421.05/1425.22 c #Conflicts: 1040000 | #Constraints: 40234
1421.05/1425.22 c #Conflicts: 1041000 | #Constraints: 41234
1421.05/1425.22 c INPROCESSING
1421.05/1425.22 c GARBAGE COLLECT
1421.05/1425.22 c #Conflicts: 1042000 | #Constraints: 22045
1421.05/1425.22 c #Conflicts: 1043000 | #Constraints: 23045
1421.05/1425.22 c #Conflicts: 1044000 | #Constraints: 24045
1421.05/1425.22 c #Conflicts: 1045000 | #Constraints: 25045
1526.91/1531.44 c #Conflicts: 1046000 | #Constraints: 26045
1526.91/1531.44 c #Conflicts: 1047000 | #Constraints: 27045
1526.91/1531.44 c #Conflicts: 1048000 | #Constraints: 28045
1526.91/1531.44 c #Conflicts: 1049000 | #Constraints: 29045
1526.91/1531.44 c #Conflicts: 1050000 | #Constraints: 30045
1526.91/1531.44 c #Conflicts: 1051000 | #Constraints: 31045
1526.91/1531.44 c #Conflicts: 1052000 | #Constraints: 32045
1526.91/1531.44 c #Conflicts: 1053000 | #Constraints: 33045
1526.91/1531.44 c #Conflicts: 1054000 | #Constraints: 34045
1526.91/1531.44 c #Conflicts: 1055000 | #Constraints: 35045
1526.91/1531.44 c #Conflicts: 1056000 | #Constraints: 36045
1526.91/1531.44 c #Conflicts: 1057000 | #Constraints: 37045
1526.91/1531.44 c #Conflicts: 1058000 | #Constraints: 38045
1526.91/1531.44 c #Conflicts: 1059000 | #Constraints: 39045
1526.91/1531.44 c #Conflicts: 1060000 | #Constraints: 40045
1526.91/1531.44 c #Conflicts: 1061000 | #Constraints: 41045
1526.91/1531.44 c #Conflicts: 1062000 | #Constraints: 42045
1526.91/1531.44 c INPROCESSING
1526.91/1531.44 c GARBAGE COLLECT
1526.91/1531.44 c #Conflicts: 1063000 | #Constraints: 22653
1526.91/1531.44 c #Conflicts: 1064000 | #Constraints: 23653
1526.91/1531.44 c #Conflicts: 1065000 | #Constraints: 24653
1526.91/1531.44 c #Conflicts: 1066000 | #Constraints: 25653
1526.91/1531.44 c #Conflicts: 1067000 | #Constraints: 26653
1526.91/1531.44 c #Conflicts: 1068000 | #Constraints: 27653
1526.91/1531.44 c #Conflicts: 1069000 | #Constraints: 28653
1526.91/1531.44 c #Conflicts: 1070000 | #Constraints: 29653
1526.91/1531.44 c #Conflicts: 1071000 | #Constraints: 30653
1526.91/1531.44 c #Conflicts: 1072000 | #Constraints: 31653
1526.91/1531.44 c #Conflicts: 1073000 | #Constraints: 32653
1526.91/1531.44 c #Conflicts: 1074000 | #Constraints: 33653
1526.91/1531.44 c #Conflicts: 1075000 | #Constraints: 34653
1526.91/1531.44 c #Conflicts: 1076000 | #Constraints: 35653
1526.91/1531.44 c #Conflicts: 1077000 | #Constraints: 36653
1526.91/1531.44 c #Conflicts: 1078000 | #Constraints: 37653
1526.91/1531.44 c #Conflicts: 1079000 | #Constraints: 38653
1526.91/1531.44 c #Conflicts: 1080000 | #Constraints: 39653
1526.91/1531.44 c #Conflicts: 1081000 | #Constraints: 40653
1526.91/1531.44 c #Conflicts: 1082000 | #Constraints: 41653
1526.91/1531.44 c #Conflicts: 1083000 | #Constraints: 42653
1526.91/1531.44 c INPROCESSING
1526.91/1531.44 c GARBAGE COLLECT
1526.91/1531.44 c #Conflicts: 1084000 | #Constraints: 23033
1526.91/1531.44 c #Conflicts: 1085000 | #Constraints: 24033
1526.91/1531.44 c #Conflicts: 1086000 | #Constraints: 25033
1526.91/1531.44 c #Conflicts: 1087000 | #Constraints: 26033
1526.91/1531.44 c #Conflicts: 1088000 | #Constraints: 27033
1526.91/1531.44 c #Conflicts: 1089000 | #Constraints: 28033
1526.91/1531.44 c #Conflicts: 1090000 | #Constraints: 29033
1526.91/1531.44 c #Conflicts: 1091000 | #Constraints: 30033
1526.91/1531.44 c #Conflicts: 1092000 | #Constraints: 31033
1526.91/1531.44 c #Conflicts: 1093000 | #Constraints: 32033
1526.91/1531.44 c #Conflicts: 1094000 | #Constraints: 33033
1526.91/1531.44 c #Conflicts: 1095000 | #Constraints: 34033
1526.91/1531.44 c #Conflicts: 1096000 | #Constraints: 35033
1526.91/1531.44 c #Conflicts: 1097000 | #Constraints: 36033
1526.91/1531.44 c #Conflicts: 1098000 | #Constraints: 37033
1526.91/1531.44 c #Conflicts: 1099000 | #Constraints: 38033
1526.91/1531.44 c #Conflicts: 1100000 | #Constraints: 39033
1526.91/1531.44 c #Conflicts: 1101000 | #Constraints: 40033
1526.91/1531.44 c #Conflicts: 1102000 | #Constraints: 41033
1526.91/1531.44 c #Conflicts: 1103000 | #Constraints: 42033
1526.91/1531.44 c #Conflicts: 1104000 | #Constraints: 43033
1526.91/1531.44 c INPROCESSING
1526.91/1531.44 c GARBAGE COLLECT
1526.91/1531.44 c #Conflicts: 1105000 | #Constraints: 23233
1526.91/1531.44 c #Conflicts: 1106000 | #Constraints: 24233
1526.91/1531.44 c #Conflicts: 1107000 | #Constraints: 25233
1526.91/1531.44 c #Conflicts: 1108000 | #Constraints: 26233
1526.91/1531.44 c #Conflicts: 1109000 | #Constraints: 27233
1526.91/1531.44 c #Conflicts: 1110000 | #Constraints: 28233
1526.91/1531.44 c #Conflicts: 1111000 | #Constraints: 29233
1526.91/1531.44 c #Conflicts: 1112000 | #Constraints: 30233
1526.91/1531.44 c #Conflicts: 1113000 | #Constraints: 31233
1526.91/1531.44 c #Conflicts: 1114000 | #Constraints: 32233
1526.91/1531.44 c #Conflicts: 1115000 | #Constraints: 33233
1526.91/1531.44 c #Conflicts: 1116000 | #Constraints: 34233
1526.91/1531.44 c #Conflicts: 1117000 | #Constraints: 35233
1526.91/1531.44 c #Conflicts: 1118000 | #Constraints: 36233
1526.91/1531.44 c #Conflicts: 1119000 | #Constraints: 37233
1526.91/1531.44 c #Conflicts: 1120000 | #Constraints: 38233
1526.91/1531.44 c #Conflicts: 1121000 | #Constraints: 39233
1663.27/1668.26 c #Conflicts: 1122000 | #Constraints: 40233
1663.27/1668.26 c #Conflicts: 1123000 | #Constraints: 41233
1663.27/1668.26 c #Conflicts: 1124000 | #Constraints: 42233
1663.27/1668.26 c #Conflicts: 1125000 | #Constraints: 43233
1663.27/1668.26 c INPROCESSING
1663.27/1668.26 c GARBAGE COLLECT
1663.27/1668.26 c #Conflicts: 1126000 | #Constraints: 23236
1663.27/1668.26 c #Conflicts: 1127000 | #Constraints: 24236
1663.27/1668.26 c #Conflicts: 1128000 | #Constraints: 25236
1663.27/1668.26 c #Conflicts: 1129000 | #Constraints: 26236
1663.27/1668.26 c #Conflicts: 1130000 | #Constraints: 27236
1663.27/1668.26 c #Conflicts: 1131000 | #Constraints: 28236
1663.27/1668.26 c #Conflicts: 1132000 | #Constraints: 29236
1663.27/1668.26 c #Conflicts: 1133000 | #Constraints: 30236
1663.27/1668.26 c #Conflicts: 1134000 | #Constraints: 31236
1663.27/1668.26 c #Conflicts: 1135000 | #Constraints: 32236
1663.27/1668.26 c #Conflicts: 1136000 | #Constraints: 33236
1663.27/1668.26 c #Conflicts: 1137000 | #Constraints: 34236
1663.27/1668.26 c #Conflicts: 1138000 | #Constraints: 35236
1663.27/1668.26 c #Conflicts: 1139000 | #Constraints: 36236
1663.27/1668.26 c #Conflicts: 1140000 | #Constraints: 37236
1663.27/1668.26 c #Conflicts: 1141000 | #Constraints: 38236
1663.27/1668.26 c #Conflicts: 1142000 | #Constraints: 39236
1663.27/1668.26 c #Conflicts: 1143000 | #Constraints: 40236
1663.27/1668.26 c #Conflicts: 1144000 | #Constraints: 41236
1663.27/1668.26 c #Conflicts: 1145000 | #Constraints: 42236
1663.27/1668.26 c #Conflicts: 1146000 | #Constraints: 43236
1663.27/1668.26 c INPROCESSING
1663.27/1668.26 c GARBAGE COLLECT
1663.27/1668.26 c #Conflicts: 1147000 | #Constraints: 23031
1663.27/1668.26 c #Conflicts: 1148000 | #Constraints: 24031
1663.27/1668.26 c #Conflicts: 1149000 | #Constraints: 25031
1663.27/1668.26 c #Conflicts: 1150000 | #Constraints: 26031
1663.27/1668.26 c #Conflicts: 1151000 | #Constraints: 27031
1663.27/1668.26 c #Conflicts: 1152000 | #Constraints: 28031
1663.27/1668.26 c #Conflicts: 1153000 | #Constraints: 29031
1663.27/1668.26 c #Conflicts: 1154000 | #Constraints: 30031
1663.27/1668.26 c #Conflicts: 1155000 | #Constraints: 31031
1663.27/1668.26 c #Conflicts: 1156000 | #Constraints: 32031
1663.27/1668.26 c #Conflicts: 1157000 | #Constraints: 33031
1663.27/1668.26 c #Conflicts: 1158000 | #Constraints: 34031
1663.27/1668.26 c #Conflicts: 1159000 | #Constraints: 35031
1663.27/1668.26 c #Conflicts: 1160000 | #Constraints: 36031
1663.27/1668.26 c #Conflicts: 1161000 | #Constraints: 37031
1663.27/1668.26 c #Conflicts: 1162000 | #Constraints: 38031
1663.27/1668.26 c #Conflicts: 1163000 | #Constraints: 39031
1663.27/1668.26 c #Conflicts: 1164000 | #Constraints: 40031
1663.27/1668.26 c #Conflicts: 1165000 | #Constraints: 41031
1663.27/1668.26 c #Conflicts: 1166000 | #Constraints: 42031
1663.27/1668.26 c #Conflicts: 1167000 | #Constraints: 43031
1663.27/1668.26 c #Conflicts: 1168000 | #Constraints: 44031
1663.27/1668.26 c INPROCESSING
1663.27/1668.26 c GARBAGE COLLECT
1663.27/1668.26 c #Conflicts: 1169000 | #Constraints: 23644
1663.27/1668.26 c #Conflicts: 1170000 | #Constraints: 24644
1663.27/1668.26 c #Conflicts: 1171000 | #Constraints: 25644
1663.27/1668.26 c #Conflicts: 1172000 | #Constraints: 26644
1663.27/1668.26 c #Conflicts: 1173000 | #Constraints: 27644
1663.27/1668.26 c #Conflicts: 1174000 | #Constraints: 28644
1663.27/1668.26 c #Conflicts: 1175000 | #Constraints: 29644
1663.27/1668.26 c #Conflicts: 1176000 | #Constraints: 30644
1663.27/1668.26 c #Conflicts: 1177000 | #Constraints: 31644
1663.27/1668.26 c #Conflicts: 1178000 | #Constraints: 32644
1663.27/1668.26 c #Conflicts: 1179000 | #Constraints: 33644
1663.27/1668.26 c #Conflicts: 1180000 | #Constraints: 34644
1663.27/1668.26 c #Conflicts: 1181000 | #Constraints: 35644
1663.27/1668.26 c #Conflicts: 1182000 | #Constraints: 36644
1663.27/1668.26 c #Conflicts: 1183000 | #Constraints: 37644
1663.27/1668.26 c #Conflicts: 1184000 | #Constraints: 38644
1663.27/1668.26 c #Conflicts: 1185000 | #Constraints: 39644
1663.27/1668.26 c #Conflicts: 1186000 | #Constraints: 40644
1663.27/1668.26 c #Conflicts: 1187000 | #Constraints: 41644
1663.27/1668.26 c #Conflicts: 1188000 | #Constraints: 42644
1663.27/1668.26 c #Conflicts: 1189000 | #Constraints: 43644
1663.27/1668.26 c #Conflicts: 1190000 | #Constraints: 44644
1663.27/1668.26 c INPROCESSING
1663.27/1668.26 c GARBAGE COLLECT
1663.27/1668.26 c #Conflicts: 1191000 | #Constraints: 24049
1663.27/1668.26 c #Conflicts: 1192000 | #Constraints: 25049
1663.27/1668.26 c #Conflicts: 1193000 | #Constraints: 26049
1663.27/1668.26 c #Conflicts: 1194000 | #Constraints: 27049
1663.27/1668.26 c #Conflicts: 1195000 | #Constraints: 28049
1663.27/1668.26 c #Conflicts: 1196000 | #Constraints: 29049
1663.27/1668.26 c #Conflicts: 1197000 | #Constraints: 30049
1663.27/1668.26 c #Conflicts: 1198000 | #Constraints: 31049
1805.81/1811.29 c #Conflicts: 1199000 | #Constraints: 32049
1805.81/1811.29 c #Conflicts: 1200000 | #Constraints: 33049
1805.81/1811.29 c #Conflicts: 1201000 | #Constraints: 34049
1805.81/1811.29 c #Conflicts: 1202000 | #Constraints: 35049
1805.81/1811.29 c #Conflicts: 1203000 | #Constraints: 36049
1805.81/1811.29 c #Conflicts: 1204000 | #Constraints: 37049
1805.81/1811.29 c #Conflicts: 1205000 | #Constraints: 38049
1805.81/1811.29 c #Conflicts: 1206000 | #Constraints: 39049
1805.81/1811.29 c #Conflicts: 1207000 | #Constraints: 40049
1805.81/1811.29 c #Conflicts: 1208000 | #Constraints: 41049
1805.81/1811.29 c #Conflicts: 1209000 | #Constraints: 42049
1805.81/1811.29 c #Conflicts: 1210000 | #Constraints: 43049
1805.81/1811.29 c #Conflicts: 1211000 | #Constraints: 44049
1805.81/1811.29 c #Conflicts: 1212000 | #Constraints: 45049
1805.81/1811.29 c INPROCESSING
1805.81/1811.29 c GARBAGE COLLECT
1805.81/1811.29 c #Conflicts: 1213000 | #Constraints: 24229
1805.81/1811.29 c #Conflicts: 1214000 | #Constraints: 25229
1805.81/1811.29 c #Conflicts: 1215000 | #Constraints: 26229
1805.81/1811.29 c #Conflicts: 1216000 | #Constraints: 27229
1805.81/1811.29 c #Conflicts: 1217000 | #Constraints: 28229
1805.81/1811.29 c #Conflicts: 1218000 | #Constraints: 29229
1805.81/1811.29 c #Conflicts: 1219000 | #Constraints: 30229
1805.81/1811.29 c #Conflicts: 1220000 | #Constraints: 31229
1805.81/1811.29 c #Conflicts: 1221000 | #Constraints: 32229
1805.81/1811.29 c #Conflicts: 1222000 | #Constraints: 33229
1805.81/1811.29 c #Conflicts: 1223000 | #Constraints: 34229
1805.81/1811.29 c #Conflicts: 1224000 | #Constraints: 35229
1805.81/1811.29 c #Conflicts: 1225000 | #Constraints: 36229
1805.81/1811.29 c #Conflicts: 1226000 | #Constraints: 37229
1805.81/1811.29 c #Conflicts: 1227000 | #Constraints: 38229
1805.81/1811.29 c #Conflicts: 1228000 | #Constraints: 39229
1805.81/1811.29 c #Conflicts: 1229000 | #Constraints: 40229
1805.81/1811.29 c #Conflicts: 1230000 | #Constraints: 41229
1805.81/1811.29 c #Conflicts: 1231000 | #Constraints: 42229
1805.81/1811.29 c #Conflicts: 1232000 | #Constraints: 43229
1805.81/1811.29 c #Conflicts: 1233000 | #Constraints: 44229
1805.81/1811.29 c #Conflicts: 1234000 | #Constraints: 45229
1805.81/1811.29 c INPROCESSING
1805.81/1811.29 c GARBAGE COLLECT
1805.81/1811.29 c #Conflicts: 1235000 | #Constraints: 24246
1805.81/1811.29 c #Conflicts: 1236000 | #Constraints: 25246
1805.81/1811.29 c #Conflicts: 1237000 | #Constraints: 26246
1805.81/1811.29 c #Conflicts: 1238000 | #Constraints: 27246
1805.81/1811.29 c #Conflicts: 1239000 | #Constraints: 28246
1805.81/1811.29 c #Conflicts: 1240000 | #Constraints: 29246
1805.81/1811.29 c #Conflicts: 1241000 | #Constraints: 30246
1805.81/1811.29 c #Conflicts: 1242000 | #Constraints: 31246
1805.81/1811.29 c #Conflicts: 1243000 | #Constraints: 32246
1805.81/1811.29 c #Conflicts: 1244000 | #Constraints: 33246
1805.81/1811.29 c #Conflicts: 1245000 | #Constraints: 34246
1805.81/1811.29 c #Conflicts: 1246000 | #Constraints: 35246
1805.81/1811.29 c #Conflicts: 1247000 | #Constraints: 36246
1805.81/1811.29 c #Conflicts: 1248000 | #Constraints: 37246
1805.81/1811.29 c #Conflicts: 1249000 | #Constraints: 38246
1805.81/1811.29 c #Conflicts: 1250000 | #Constraints: 39246
1805.81/1811.29 c #Conflicts: 1251000 | #Constraints: 40246
1805.81/1811.29 c #Conflicts: 1252000 | #Constraints: 41246
1805.81/1811.29 c #Conflicts: 1253000 | #Constraints: 42246
1805.81/1811.29 c #Conflicts: 1254000 | #Constraints: 43246
1805.81/1811.29 c #Conflicts: 1255000 | #Constraints: 44246
1805.81/1811.29 c #Conflicts: 1256000 | #Constraints: 45246
1805.81/1811.29 c INPROCESSING
1805.81/1811.29 c GARBAGE COLLECT
1805.81/1811.29 c #Conflicts: 1257000 | #Constraints: 24056
1805.81/1811.29 c #Conflicts: 1258000 | #Constraints: 25056
1805.81/1811.29 c #Conflicts: 1259000 | #Constraints: 26056
1805.81/1811.29 c #Conflicts: 1260000 | #Constraints: 27056
1805.81/1811.29 c #Conflicts: 1261000 | #Constraints: 28056
1805.81/1811.29 c #Conflicts: 1262000 | #Constraints: 29056
1805.81/1811.29 c #Conflicts: 1263000 | #Constraints: 30056
1805.81/1811.29 c #Conflicts: 1264000 | #Constraints: 31056
1805.81/1811.29 c #Conflicts: 1265000 | #Constraints: 32056
1805.81/1811.29 c #Conflicts: 1266000 | #Constraints: 33056
1805.81/1811.29 c #Conflicts: 1267000 | #Constraints: 34056
1805.81/1811.29 c #Conflicts: 1268000 | #Constraints: 35056
1805.81/1811.29 c #Conflicts: 1269000 | #Constraints: 36056
1805.81/1811.29 c #Conflicts: 1270000 | #Constraints: 37056
1805.81/1811.29 c #Conflicts: 1271000 | #Constraints: 38056
1805.81/1811.29 c #Conflicts: 1272000 | #Constraints: 39056
1805.81/1811.29 c #Conflicts: 1273000 | #Constraints: 40056
1805.81/1811.29 c #Conflicts: 1274000 | #Constraints: 41056
1805.81/1811.29 c #Conflicts: 1275000 | #Constraints: 42056
1935.30/1941.14 c #Conflicts: 1276000 | #Constraints: 43056
1935.30/1941.14 c #Conflicts: 1277000 | #Constraints: 44056
1935.30/1941.14 c #Conflicts: 1278000 | #Constraints: 45056
1935.30/1941.14 c #Conflicts: 1279000 | #Constraints: 46056
1935.30/1941.14 c INPROCESSING
1935.30/1941.14 c GARBAGE COLLECT
1935.30/1941.14 c #Conflicts: 1280000 | #Constraints: 24632
1935.30/1941.14 c #Conflicts: 1281000 | #Constraints: 25632
1935.30/1941.14 c #Conflicts: 1282000 | #Constraints: 26632
1935.30/1941.14 c #Conflicts: 1283000 | #Constraints: 27632
1935.30/1941.14 c #Conflicts: 1284000 | #Constraints: 28632
1935.30/1941.14 c #Conflicts: 1285000 | #Constraints: 29632
1935.30/1941.14 c #Conflicts: 1286000 | #Constraints: 30632
1935.30/1941.14 c #Conflicts: 1287000 | #Constraints: 31632
1935.30/1941.14 c #Conflicts: 1288000 | #Constraints: 32632
1935.30/1941.14 c #Conflicts: 1289000 | #Constraints: 33632
1935.30/1941.14 c #Conflicts: 1290000 | #Constraints: 34632
1935.30/1941.14 c #Conflicts: 1291000 | #Constraints: 35632
1935.30/1941.14 c #Conflicts: 1292000 | #Constraints: 36632
1935.30/1941.14 c #Conflicts: 1293000 | #Constraints: 37632
1935.30/1941.14 c #Conflicts: 1294000 | #Constraints: 38632
1935.30/1941.14 c #Conflicts: 1295000 | #Constraints: 39632
1935.30/1941.14 c #Conflicts: 1296000 | #Constraints: 40632
1935.30/1941.14 c #Conflicts: 1297000 | #Constraints: 41632
1935.30/1941.14 c #Conflicts: 1298000 | #Constraints: 42632
1935.30/1941.14 c #Conflicts: 1299000 | #Constraints: 43632
1935.30/1941.14 c #Conflicts: 1300000 | #Constraints: 44632
1935.30/1941.14 c #Conflicts: 1301000 | #Constraints: 45632
1935.30/1941.14 c #Conflicts: 1302000 | #Constraints: 46632
1935.30/1941.14 c INPROCESSING
1935.30/1941.14 c GARBAGE COLLECT
1935.30/1941.14 c #Conflicts: 1303000 | #Constraints: 25043
1935.30/1941.14 c #Conflicts: 1304000 | #Constraints: 26043
1935.30/1941.14 c #Conflicts: 1305000 | #Constraints: 27043
1935.30/1941.14 c #Conflicts: 1306000 | #Constraints: 28043
1935.30/1941.14 c #Conflicts: 1307000 | #Constraints: 29043
1935.30/1941.14 c #Conflicts: 1308000 | #Constraints: 30043
1935.30/1941.14 c #Conflicts: 1309000 | #Constraints: 31043
1935.30/1941.14 c #Conflicts: 1310000 | #Constraints: 32043
1935.30/1941.14 c #Conflicts: 1311000 | #Constraints: 33043
1935.30/1941.14 c #Conflicts: 1312000 | #Constraints: 34043
1935.30/1941.14 c #Conflicts: 1313000 | #Constraints: 35043
1935.30/1941.14 c #Conflicts: 1314000 | #Constraints: 36043
1935.30/1941.14 c #Conflicts: 1315000 | #Constraints: 37043
1935.30/1941.14 c #Conflicts: 1316000 | #Constraints: 38043
1935.30/1941.14 c #Conflicts: 1317000 | #Constraints: 39043
1935.30/1941.14 c #Conflicts: 1318000 | #Constraints: 40043
1935.30/1941.14 c #Conflicts: 1319000 | #Constraints: 41043
1935.30/1941.14 c #Conflicts: 1320000 | #Constraints: 42043
1935.30/1941.14 c #Conflicts: 1321000 | #Constraints: 43043
1935.30/1941.14 c #Conflicts: 1322000 | #Constraints: 44043
1935.30/1941.14 c #Conflicts: 1323000 | #Constraints: 45043
1935.30/1941.14 c #Conflicts: 1324000 | #Constraints: 46043
1935.30/1941.14 c #Conflicts: 1325000 | #Constraints: 47043
1935.30/1941.14 c INPROCESSING
1935.30/1941.14 c GARBAGE COLLECT
1935.30/1941.14 c #Conflicts: 1326000 | #Constraints: 25221
1935.30/1941.14 c #Conflicts: 1327000 | #Constraints: 26221
1935.30/1941.14 c #Conflicts: 1328000 | #Constraints: 27221
1935.30/1941.14 c #Conflicts: 1329000 | #Constraints: 28221
1935.30/1941.14 c #Conflicts: 1330000 | #Constraints: 29221
1935.30/1941.14 c #Conflicts: 1331000 | #Constraints: 30221
1935.30/1941.14 c #Conflicts: 1332000 | #Constraints: 31221
1935.30/1941.14 c #Conflicts: 1333000 | #Constraints: 32221
1935.30/1941.14 c #Conflicts: 1334000 | #Constraints: 33221
1935.30/1941.14 c #Conflicts: 1335000 | #Constraints: 34221
1935.30/1941.14 c #Conflicts: 1336000 | #Constraints: 35221
1935.30/1941.14 c #Conflicts: 1337000 | #Constraints: 36221
1935.30/1941.14 c #Conflicts: 1338000 | #Constraints: 37221
1935.30/1941.14 c #Conflicts: 1339000 | #Constraints: 38221
1935.30/1941.14 c #Conflicts: 1340000 | #Constraints: 39221
1935.30/1941.14 c #Conflicts: 1341000 | #Constraints: 40221
1935.30/1941.14 c #Conflicts: 1342000 | #Constraints: 41221
1935.30/1941.14 c #Conflicts: 1343000 | #Constraints: 42221
1935.30/1941.14 c #Conflicts: 1344000 | #Constraints: 43221
1935.30/1941.14 c #Conflicts: 1345000 | #Constraints: 44221
1935.30/1941.14 c #Conflicts: 1346000 | #Constraints: 45221
1935.30/1941.14 c #Conflicts: 1347000 | #Constraints: 46221
1935.30/1941.14 c #Conflicts: 1348000 | #Constraints: 47221
1935.30/1941.14 c INPROCESSING
1935.30/1941.14 c GARBAGE COLLECT
1935.30/1941.14 c #Conflicts: 1349000 | #Constraints: 25261
1935.30/1941.14 c #Conflicts: 1350000 | #Constraints: 26261
1935.30/1941.14 c #Conflicts: 1351000 | #Constraints: 27261
2072.28/2078.56 c #Conflicts: 1352000 | #Constraints: 28261
2072.28/2078.56 c #Conflicts: 1353000 | #Constraints: 29261
2072.28/2078.56 c #Conflicts: 1354000 | #Constraints: 30261
2072.28/2078.56 c #Conflicts: 1355000 | #Constraints: 31261
2072.28/2078.56 c #Conflicts: 1356000 | #Constraints: 32261
2072.28/2078.56 c #Conflicts: 1357000 | #Constraints: 33261
2072.28/2078.56 c #Conflicts: 1358000 | #Constraints: 34261
2072.28/2078.56 c #Conflicts: 1359000 | #Constraints: 35261
2072.28/2078.56 c #Conflicts: 1360000 | #Constraints: 36261
2072.28/2078.56 c #Conflicts: 1361000 | #Constraints: 37261
2072.28/2078.56 c #Conflicts: 1362000 | #Constraints: 38261
2072.28/2078.56 c #Conflicts: 1363000 | #Constraints: 39261
2072.28/2078.56 c #Conflicts: 1364000 | #Constraints: 40261
2072.28/2078.56 c #Conflicts: 1365000 | #Constraints: 41261
2072.28/2078.56 c #Conflicts: 1366000 | #Constraints: 42261
2072.28/2078.56 c #Conflicts: 1367000 | #Constraints: 43261
2072.28/2078.56 c #Conflicts: 1368000 | #Constraints: 44261
2072.28/2078.56 c #Conflicts: 1369000 | #Constraints: 45261
2072.28/2078.56 c #Conflicts: 1370000 | #Constraints: 46261
2072.28/2078.56 c #Conflicts: 1371000 | #Constraints: 47261
2072.28/2078.56 c INPROCESSING
2072.28/2078.56 c GARBAGE COLLECT
2072.28/2078.56 c #Conflicts: 1372000 | #Constraints: 25053
2072.28/2078.56 c #Conflicts: 1373000 | #Constraints: 26053
2072.28/2078.56 c #Conflicts: 1374000 | #Constraints: 27053
2072.28/2078.56 c #Conflicts: 1375000 | #Constraints: 28053
2072.28/2078.56 c #Conflicts: 1376000 | #Constraints: 29053
2072.28/2078.56 c #Conflicts: 1377000 | #Constraints: 30053
2072.28/2078.56 c #Conflicts: 1378000 | #Constraints: 31053
2072.28/2078.56 c #Conflicts: 1379000 | #Constraints: 32053
2072.28/2078.56 c #Conflicts: 1380000 | #Constraints: 33053
2072.28/2078.56 c #Conflicts: 1381000 | #Constraints: 34053
2072.28/2078.56 c #Conflicts: 1382000 | #Constraints: 35053
2072.28/2078.56 c #Conflicts: 1383000 | #Constraints: 36053
2072.28/2078.56 c #Conflicts: 1384000 | #Constraints: 37053
2072.28/2078.56 c #Conflicts: 1385000 | #Constraints: 38053
2072.28/2078.56 c #Conflicts: 1386000 | #Constraints: 39053
2072.28/2078.56 c #Conflicts: 1387000 | #Constraints: 40053
2072.28/2078.56 c #Conflicts: 1388000 | #Constraints: 41053
2072.28/2078.56 c #Conflicts: 1389000 | #Constraints: 42053
2072.28/2078.56 c #Conflicts: 1390000 | #Constraints: 43053
2072.28/2078.56 c #Conflicts: 1391000 | #Constraints: 44053
2072.28/2078.56 c #Conflicts: 1392000 | #Constraints: 45053
2072.28/2078.56 c #Conflicts: 1393000 | #Constraints: 46053
2072.28/2078.56 c #Conflicts: 1394000 | #Constraints: 47053
2072.28/2078.56 c #Conflicts: 1395000 | #Constraints: 48053
2072.28/2078.56 c INPROCESSING
2072.28/2078.56 c GARBAGE COLLECT
2072.28/2078.56 c #Conflicts: 1396000 | #Constraints: 25638
2072.28/2078.56 c #Conflicts: 1397000 | #Constraints: 26638
2072.28/2078.56 c #Conflicts: 1398000 | #Constraints: 27638
2072.28/2078.56 c #Conflicts: 1399000 | #Constraints: 28638
2072.28/2078.56 c #Conflicts: 1400000 | #Constraints: 29638
2072.28/2078.56 c #Conflicts: 1401000 | #Constraints: 30638
2072.28/2078.56 c #Conflicts: 1402000 | #Constraints: 31638
2072.28/2078.56 c #Conflicts: 1403000 | #Constraints: 32638
2072.28/2078.56 c #Conflicts: 1404000 | #Constraints: 33638
2072.28/2078.56 c #Conflicts: 1405000 | #Constraints: 34638
2072.28/2078.56 c #Conflicts: 1406000 | #Constraints: 35638
2072.28/2078.56 c #Conflicts: 1407000 | #Constraints: 36638
2072.28/2078.56 c #Conflicts: 1408000 | #Constraints: 37638
2072.28/2078.56 c #Conflicts: 1409000 | #Constraints: 38638
2072.28/2078.56 c #Conflicts: 1410000 | #Constraints: 39638
2072.28/2078.56 c #Conflicts: 1411000 | #Constraints: 40638
2072.28/2078.56 c #Conflicts: 1412000 | #Constraints: 41638
2072.28/2078.56 c #Conflicts: 1413000 | #Constraints: 42638
2072.28/2078.56 c #Conflicts: 1414000 | #Constraints: 43638
2072.28/2078.56 c #Conflicts: 1415000 | #Constraints: 44638
2072.28/2078.56 c #Conflicts: 1416000 | #Constraints: 45638
2072.28/2078.56 c #Conflicts: 1417000 | #Constraints: 46638
2072.28/2078.56 c #Conflicts: 1418000 | #Constraints: 47638
2072.28/2078.56 c #Conflicts: 1419000 | #Constraints: 48638
2072.28/2078.56 c INPROCESSING
2072.28/2078.56 c GARBAGE COLLECT
2072.28/2078.56 c #Conflicts: 1420000 | #Constraints: 26049
2072.28/2078.56 c #Conflicts: 1421000 | #Constraints: 27049
2072.28/2078.56 c #Conflicts: 1422000 | #Constraints: 28049
2072.28/2078.56 c #Conflicts: 1423000 | #Constraints: 29049
2072.28/2078.56 c #Conflicts: 1424000 | #Constraints: 30049
2072.28/2078.56 c #Conflicts: 1425000 | #Constraints: 31049
2072.28/2078.56 c #Conflicts: 1426000 | #Constraints: 32049
2072.28/2078.56 c #Conflicts: 1427000 | #Constraints: 33049
2072.28/2078.56 c finalizing WCE round: reformulating cores
2072.28/2078.56 c bounds -1912641 >= -1912641 @ 2062.74
2072.28/2078.56 d SOLVEDBY oll
2072.28/2078.56 c cpu time 2062.74 s
2072.28/2078.56 c deterministic time 265759683674 2.66e+11
2072.28/2078.56 c optimization time 3.75726 s
2072.28/2078.56 c total solve time 1759.7 s
2072.28/2078.56 c core-guided solve time 1759.7 s
2072.28/2078.56 c propagation time 1360.21 s
2072.28/2078.56 c conflict analysis time 378.06 s
2072.28/2078.56 c propagations 85886661
2072.28/2078.56 c resolve steps 20988553
2072.28/2078.56 c decisions 6054362
2072.28/2078.56 c conflicts 1427965
2072.28/2078.56 c restarts 2776
2072.28/2078.56 c inprocessing phases 110
2072.28/2078.56 c input clauses 4
2072.28/2078.56 c input cardinalities 4
2072.28/2078.56 c input general constraints 1194
2072.28/2078.56 c input average constraint length 398.05
2072.28/2078.56 c input average constraint degree 189337.64
2072.28/2078.56 c learned clauses 1112318
2072.28/2078.56 c learned cardinalities 43
2072.28/2078.56 c learned general constraints 315604
2072.28/2078.56 c learned average constraint length 227.77
2072.28/2078.56 c learned average constraint degree 52591.39
2072.28/2078.56 c watched constraints 301766
2072.28/2078.56 c counting constraints 15032
2072.28/2078.56 c gcd simplifications 219479
2072.28/2078.56 c detected cardinalities 0
2072.28/2078.56 c weakened non-implied lits 33274199
2072.28/2078.56 c weakened non-implying lits 650171
2072.28/2078.56 c original variables 1289
2072.28/2078.56 c clausal propagations 7416903
2072.28/2078.56 c cardinality propagations 175191
2072.28/2078.56 c watched propagations 30993895
2072.28/2078.56 c counting propagations 45489104
2072.28/2078.56 c watch lookups 18830552624
2072.28/2078.56 c watch backjump lookups 14393527423
2072.28/2078.56 c watch checks 224427419157
2072.28/2078.56 c propagation checks 4662224452
2072.28/2078.56 c constraint additions 3260650698
2072.28/2078.56 c trail pops 93368296
2072.28/2078.56 c formula constraints 1073
2072.28/2078.56 c learned constraints 1427965
2072.28/2078.56 c bound constraints 121
2072.28/2078.56 c core-guided constraints 8
2072.28/2078.56 c encountered formula constraints 9396664
2072.28/2078.56 c encountered learned constraints 12986097
2072.28/2078.56 c encountered bound constraints 575
2072.28/2078.56 c encountered core-guided constraints 33182
2072.28/2078.56 c LP total time 0 s
2072.28/2078.56 c LP solve time 0 s
2072.28/2078.56 c LP constraints added 0
2072.28/2078.56 c LP constraints removed 0
2072.28/2078.56 c LP pivots internal 0
2072.28/2078.56 c LP pivots root 0
2072.28/2078.56 c LP calls 0
2072.28/2078.56 c LP optimalities 0
2072.28/2078.56 c LP no pivot count 0
2072.28/2078.56 c LP infeasibilities 0
2072.28/2078.56 c LP valid Farkas constraints 0
2072.28/2078.56 c LP learned Farkas constraints 0
2072.28/2078.56 c LP basis resets 0
2072.28/2078.56 c LP cycling count 0
2072.28/2078.56 c LP singular count 0
2072.28/2078.56 c LP no primal count 0
2072.28/2078.56 c LP no farkas count 0
2072.28/2078.56 c LP other issue count 0
2072.28/2078.56 c LP Gomory cuts 0
2072.28/2078.56 c LP learned cuts 0
2072.28/2078.56 c LP deleted cuts 0
2072.28/2078.56 c LP encountered Gomory constraints 0
2072.28/2078.56 c LP encountered Farkas constraints 0
2072.28/2078.56 c LP encountered learned Farkas constraints 0
2072.28/2078.56 c CG auxiliary variables introduced 3
2072.28/2078.56 c CG solutions found 117
2072.28/2078.56 c CG cores constructed 3
2072.28/2078.56 c CG core cardinality constraints returned 0
2072.28/2078.56 c CG unit cores 0
2072.28/2078.56 c CG single cores 3
2072.28/2078.56 c CG blocks removed during cardinality reduction 0
2072.28/2078.56 c CG first core best 0
2072.28/2078.56 c CG decision core best 0
2072.28/2078.56 c CG core reduction tie 0
2072.28/2078.56 c CG core degree average 1.00
2072.28/2078.56 c CG core slack average 198.33
2072.28/2078.56 c CG exhausted 0
2072.28/2078.56 c CG exhaust time 2.6361 s
2072.28/2078.56 c CG trimmed 101
2072.28/2078.56 c CG trim time 1.09708 s
2072.28/2078.56 c CG minimized 0
2072.28/2078.56 c CG minimize time 0 s
2072.28/2078.56 c CG am1 prop time 0.003547 s
2072.28/2078.56 c CG # am1s reformulated 0
2072.28/2078.56 c CG lower bound derived from am1s 0
2072.28/2078.56 c CG # clausal cores 3
2072.28/2078.56 c CG # cardinality cores 0
2072.28/2078.56 c CG # pb cores 0
2072.28/2078.56 c CG # pb reforms 0
2072.28/2078.56 c CG # cores discarded because of pb reform 0
2072.28/2078.56 d LOWERBOUND -1912641
2072.28/2078.56 d NCORES 3
2072.28/2078.56 d NPBCORES 0
2072.28/2078.56 d NPBREFORM 0
2072.28/2078.56 d NTRIMMED 101
2072.28/2078.56 d NEXHAUSTED 0
2072.28/2078.56 d NAM1S 0
2072.28/2078.56 d AM1LB 0
2072.28/2078.56 c [Papilo Statistics]
2072.28/2078.56 c prepro time 0.0592234s
2072.28/2078.56 c # tsx applied 400
2072.28/2078.56 c # tsx conflicts 0
2072.28/2078.56 c # bound changes 13
2072.28/2078.56 c # side changes 200
2072.28/2078.56 c # coef changes 400
2072.28/2078.56 c # rounds 2
2072.28/2078.56 c # deted vars 13
2072.28/2078.56 c # deted constrs 22
2072.28/2078.56 c # consecutive rounds of only bound changes 0
2072.28/2078.56 c [STEP] postprocessing with Papilo
2072.28/2078.57 o 3
2072.28/2078.57 s OPTIMUM FOUND
2072.28/2078.57 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 x202 x203 x204 x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 x231 x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 x259 x260 x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 x289 x290 x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 x316 x317 x318 x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 x347 x348 x349 x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 x377 x378 x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 x406 x407 x408 x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 x436 x437 x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 x464 x465 x466 x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 x494 x495 x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 x522 x523 x524 x525 x526 x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 x551 x552 x553 x554 x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 x580 x581 x582 x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 x805 -x806 x807 -x808 -x809 x810 x811 x812 -x813 x814 -x815 x816 -x817 x818 -x819 x820 -x821 x822 x823 -x824 x825 x826 x827 x828 -x829 -x830 x831 x832 x833 x834 -x835 -x836 x837 x838 x839 x840 x841 -x842 x843 x844 -x845 -x846 x847 x848 -x849 x850 -x851 x852 -x853 x854 -x855 x856 x857 x858 x859 x860 -x861 -x862 x863 -x864 x865 x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 x883 x884 -x885 x886 x887 -x888 x889 -x890 -x891 x892 -x893 x894 -x895 -x896 x897 x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 x911 -x912 x913 x914 -x915 -x916 -x917 x918 x919 x920 x921 -x922 x923 -x924 x925 x926 x927 x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 x936 x937 -x938 x939 x940 x941 x942 -x943 x944 -x945 -x946 x947 -x948 -x949 x950 x951 x952 -x953 x954 -x955 -x956 x957 x958 -x959 -x960 -x961 x962 -x963 x964 -x965 x966 -x967 -x968 x969 x970 x971 -x972 -x973 -x974 x975 -x976 x977 -x978 x979 -x980 x981 x982 -x983 x984 -x985 x986 -x987 x988 -x989 -x990 x991 -x992 x993 x994 x995 x996 x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 x1010 x1011 x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 x1019 -x1020 x1021 -x1022 -x1023 x1024 -x1025 -x1026 x1027 -x1028 x1029 -x1030 x1031 x1032 x1033 x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 x1041 x1042 x1043 -x1044 x1045 x1046 x1047 x1048 x1049 x1050 x1051 -x1052 x1053 x1054 -x1055 x1056 -x1057 x1058 -x1059 x1060 x1061 -x1062 x1063 x1064 x1065 -x1066 -x1067 -x1068 x1069 x1070 -x1071 x1072 x1073 -x1074 x1075 x1076 x1077 x1078 x1079 x1080 -x1081 x1082 x1083 x1084 -x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 -x1093 x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 x1113 x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 x1130 x1131 -x1132 -x1133 x1134 x1135 x1136 -x1137 -x1138 -x1139 x1140 -x1141 x1142 -x1143 x1144 x1145 x1146 -x1147 -x1148 x1149 x1150 -x1151 x1152 x1153 x1154 -x1155 -x1156 -x1157 x1158 -x1159 x1160 -x1161 x1162 -x1163 x1164 x1165 x1166 x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 x1175 x1176 -x1177 -x1178 x1179 x1180 -x1181 -x1182 x1183 x1184 -x1185 -x1186 x1187 x1188 x1189 x1190 x1191 -x1192 x1193 x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 -x1203 x1204 x1205 -x1206 x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 x1216 -x1217 x1218 x1219 x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 x1227 x1228 x1229 -x1230 -x1231 x1232 -x1233 x1234 -x1235 -x1236 x1237 -x1238 x1239 x1240 -x1241 x1242 x1243 -x1244 x1245 -x1246 x1247 -x1248 x1249 x1250 -x1251 x1252 -x1253 -x1254 x1255 x1256 -x1257 x1258 -x1259 -x1260 -x1261 x1262 -x1263 x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 x1275 x1276 x1277 x1278 -x1279 -x1280 x1281 x1282 -x1283 x1284 x1285 x1286 x1287 -x1288 x1289
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (41360 MiB free)
memory of node 1: 64507 MiB (62792 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523553-1751583589/watcher-4523553-1751583589 -o /tmp/evaluation-result-4523553-1751583589/solver-4523553-1751583589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90103 --watchdog 3760 mixed-bag HOME/instance-4523553-1751583589.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64solver pid=91850, runsolver pid=91847
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.36 4.28 4.20 5/266 91851
/proc/meminfo: memFree=106652160/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=90052 memory=17420 CPUtime=0.08 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 2445 0 0 0 8 0 0 0 20 0 1 0 74036726 92213248 4355 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 22513 4355 2144 2842 0 4746 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90052 KiB
Current children cumulated memory: 17420 KiB
[startup+0.205595 s]*
/proc/loadavg: 4.36 4.28 4.20 5/266 91851
/proc/meminfo: memFree=106648068/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=107620 memory=32724 CPUtime=0.19 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 3750 0 0 0 18 1 0 0 20 0 1 0 74036726 110202880 8181 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 26905 8181 2144 2842 0 9138 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 107620 KiB
Current children cumulated memory: 32724 KiB
[startup+0.305666 s]*
/proc/loadavg: 4.36 4.28 4.20 5/266 91851
/proc/meminfo: memFree=106612280/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=150788 memory=74692 CPUtime=0.29 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 8451 0 0 0 27 2 0 0 20 0 1 0 74036726 154406912 18673 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 37697 18673 3968 2842 0 19391 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 150788 KiB
Current children cumulated memory: 74692 KiB
[startup+0.700185 s]
/proc/loadavg: 4.36 4.28 4.20 5/266 91851
/proc/meminfo: memFree=106527352/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=269260 memory=191504 CPUtime=0.68 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 38598 0 0 0 60 8 0 0 20 0 1 0 74036726 275722240 47876 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 67315 47876 4064 2842 0 49009 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 269260 KiB
Current children cumulated memory: 191504 KiB
[startup+1.50018 s]
/proc/loadavg: 4.41 4.29 4.20 5/266 91851
/proc/meminfo: memFree=106450820/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=491196 memory=384236 CPUtime=1.47 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 62050 0 0 0 134 13 0 0 20 0 1 0 74036726 502984704 96059 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 122799 96059 4160 2842 0 104493 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 491196 KiB
Current children cumulated memory: 384236 KiB
[startup+3.10558 s]
/proc/loadavg: 4.41 4.29 4.20 5/266 91851
/proc/meminfo: memFree=106220896/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=536180 memory=429568 CPUtime=3.07 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 68709 0 0 0 293 14 0 0 20 0 1 0 74036726 549048320 107392 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 134045 107392 4288 2842 0 115739 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 536180 KiB
Current children cumulated memory: 429568 KiB
[startup+6.30017 s]
/proc/loadavg: 4.38 4.29 4.20 5/266 91851
/proc/meminfo: memFree=106031388/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=683608 memory=575932 CPUtime=6.26 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 103285 0 0 0 607 19 0 0 20 0 1 0 74036726 700014592 143983 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 170902 143983 4288 2842 0 152596 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 683608 KiB
Current children cumulated memory: 575932 KiB
[startup+12.7002 s]
/proc/loadavg: 4.35 4.28 4.20 5/266 91851
/proc/meminfo: memFree=105867764/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=739712 memory=630908 CPUtime=12.64 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 115009 0 0 0 1241 23 0 0 20 0 1 0 74036726 757465088 157727 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 184928 157727 4288 2842 0 166622 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 739712 KiB
Current children cumulated memory: 630908 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.27 4.20 5/266 91851
/proc/meminfo: memFree=105644808/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=785936 memory=671328 CPUtime=25.4 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 118535 0 0 0 2517 23 0 0 20 0 1 0 74036726 804798464 167832 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 196484 167832 4288 2842 0 178178 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 785936 KiB
Current children cumulated memory: 671328 KiB
[startup+51.1057 s]
/proc/loadavg: 4.25 4.26 4.19 5/266 91851
/proc/meminfo: memFree=105186096/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=789280 memory=674520 CPUtime=50.93 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 128994 0 0 0 5068 25 0 0 20 0 1 0 74036726 808222720 168630 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 197320 168630 4288 2842 0 179014 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 789280 KiB
Current children cumulated memory: 674520 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.24 4.18 5/266 91913
/proc/meminfo: memFree=104845404/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=938004 memory=823040 CPUtime=101.98 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 163756 0 0 0 10167 31 0 0 20 0 1 0 74036726 960516096 205760 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 234501 205760 4288 2842 0 216195 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 938004 KiB
Current children cumulated memory: 823040 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/266 91959
/proc/meminfo: memFree=103858320/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=960908 memory=846312 CPUtime=161.82 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 168581 0 0 0 16150 32 0 0 20 0 1 0 74036726 983969792 211578 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 240227 211578 4288 2842 0 221921 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 960908 KiB
Current children cumulated memory: 846312 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/265 91962
/proc/meminfo: memFree=101852196/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=960908 memory=849512 CPUtime=221.66 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 169408 0 0 0 22134 32 0 0 20 0 1 0 74036726 983969792 212378 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 240227 212378 4288 2842 0 221921 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 960908 KiB
Current children cumulated memory: 849512 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/265 91968
/proc/meminfo: memFree=99838280/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=960908 memory=849512 CPUtime=281.49 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 169408 0 0 0 28117 32 0 0 20 0 1 0 74036726 983969792 212378 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 240227 212378 4288 2842 0 221921 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 960908 KiB
Current children cumulated memory: 849512 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/264 91970
/proc/meminfo: memFree=99607012/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=796936 memory=720748 CPUtime=341.34 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 170638 0 0 0 34063 71 0 0 20 0 1 0 74036726 816062464 180187 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 199234 180187 4480 2842 0 180928 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 796936 KiB
Current children cumulated memory: 720748 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/264 91972
/proc/meminfo: memFree=99286572/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=804116 memory=727136 CPUtime=401.19 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 171213 0 0 0 40007 112 0 0 20 0 1 0 74036726 823414784 181784 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 201029 181784 4480 2842 0 182723 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 804116 KiB
Current children cumulated memory: 727136 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.12 4.15 5/264 91974
/proc/meminfo: memFree=99023516/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=815792 memory=731232 CPUtime=461.05 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 171738 0 0 0 45948 157 0 0 20 0 1 0 74036726 835371008 182808 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 203948 182808 4480 2842 0 185642 0
################
# More data... #
################
/proc/loadavg: 4.13 4.16 4.15 5/267 92274
/proc/meminfo: memFree=121137404/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=759304 CPUtime=1717.19 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172735 0 0 0 170893 826 0 0 20 0 1 0 74036726 886353920 189826 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 189826 4480 2842 0 198089 0
Current children cumulated CPU time: 1717.19 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 759304 KiB
[startup+1782.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/267 92276
/proc/meminfo: memFree=121129688/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=759304 CPUtime=1776.99 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172735 0 0 0 176851 848 0 0 20 0 1 0 74036726 886353920 189826 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 189826 4480 2842 0 198089 0
Current children cumulated CPU time: 1776.99 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 759304 KiB
[startup+1842.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/267 92279
/proc/meminfo: memFree=121093300/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=1836.81 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 182810 871 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 1836.81 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+1902.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/263 92283
/proc/meminfo: memFree=121167356/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=1896.62 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 188769 893 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 1896.62 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+1962.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/263 92285
/proc/meminfo: memFree=118940432/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=1956.43 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 194729 914 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 1956.43 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+2022.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/263 92287
/proc/meminfo: memFree=117995708/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=2016.25 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 200686 939 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 2016.25 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+2078.6 s]
# the end of solver process 91850 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2062.75 s, system=9.63562 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2048 s]*
/proc/loadavg: 4.11 4.12 4.12 5/263 92287
/proc/meminfo: memFree=118005920/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=2041.87 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 203239 948 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 2041.87 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+2060.8 s]
/proc/loadavg: 4.09 4.11 4.12 5/263 92287
/proc/meminfo: memFree=118005920/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=2054.63 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 204511 952 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 2054.63 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+2067.2 s]
/proc/loadavg: 4.08 4.11 4.12 5/263 92287
/proc/meminfo: memFree=118005920/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=2061.01 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 205146 955 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 2061.01 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+2073.6 s]
/proc/loadavg: 4.15 4.13 4.12 5/263 92288
/proc/meminfo: memFree=118005448/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=2067.39 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 205781 958 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 2067.39 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+2076.8 s]
/proc/loadavg: 4.15 4.13 4.12 5/263 92288
/proc/meminfo: memFree=118005448/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=2070.58 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 206098 960 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 2070.58 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+2077.6 s]
/proc/loadavg: 4.14 4.12 4.12 5/263 92288
/proc/meminfo: memFree=118005512/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=2071.37 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 206177 960 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 2071.37 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+2078 s]*
/proc/loadavg: 4.14 4.12 4.12 5/263 92288
/proc/meminfo: memFree=118005512/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=2071.78 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 206218 960 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 2071.78 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+2078.4 s]
/proc/loadavg: 4.14 4.12 4.12 5/263 92288
/proc/meminfo: memFree=118005512/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=2072.17 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 206257 960 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 2072.17 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
[startup+2078.5 s]
/proc/loadavg: 4.14 4.12 4.12 5/263 92288
/proc/meminfo: memFree=118005512/131250000 swapFree=33010416/33010684
[pid=91850] ppid=91847 vsize=865580 memory=762120 CPUtime=2072.28 cores=1,3
/proc/91850/stat : 91850 (mixed-bag) R 91847 91850 90091 0 -1 4194304 172901 0 0 0 206267 961 0 0 20 0 1 0 74036726 886353920 190530 18446744073709551615 4235264 15874749 140734927226368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 48459776 140734927231388 140734927231465 140734927231465 140734927237067 0
/proc/91850/statm: 216395 190530 4480 2842 0 198089 0
Current children cumulated CPU time: 2072.28 s
Current children cumulated vsize: 865580 KiB
Current children cumulated memory: 762120 KiB
Child status: 0
Real time (s): 2078.6
CPU time (s): 2072.38
CPU user time (s): 2062.75
CPU system time (s): 9.63562
CPU usage (%): 99.701
Max. virtual memory (cumulated for all children) (KiB): 960908
Max. memory (cumulated for all children) (KiB): 849512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2062.75
system time used= 9.63562
maximum resident set size= 849512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172926
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129
involuntary context switches= 3647
# summary of solver processes directly reported to runsolver:
# pid: 91850
# total CPU time (s): 2072.38
# total CPU user time (s): 2062.75
# total CPU system time (s): 9.63562
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8769 second user time and 9.19126 second system time
The end
Begin job on nodeC018 at 2025-07-04 00:59:49
IDJOB=4523553
IDBENCH=180365
IDSOLVER=3340
FILE ID=nodeC018/4523553-1751583589
RUNJOBID= nodeC018-1751578094-90103
SLURM_JOB_ID= 9598808
Free space on /tmp= 432760 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523553-1751583589/watcher-4523553-1751583589 -o /tmp/evaluation-result-4523553-1751583589/solver-4523553-1751583589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90103 --watchdog 3760 mixed-bag HOME/instance-4523553-1751583589.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1a33c023168dcd92e975780dbc5145d9
RANDOM SEED=2069353418
nodeC018 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.803
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.66
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.861
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.011
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.66
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 : 3618.110
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.66
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.883
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.66
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.793
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.66
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 : 3609.550
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.446
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 106652016 kB
MemAvailable: 107095176 kB
Buffers: 2128 kB
Cached: 1207200 kB
SwapCached: 32 kB
Active: 23091368 kB
Inactive: 732332 kB
Active(anon): 22632128 kB
Inactive(anon): 288 kB
Active(file): 459240 kB
Inactive(file): 732044 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18492 kB
Writeback: 24 kB
AnonPages: 22612532 kB
Mapped: 138252 kB
Shmem: 18044 kB
KReclaimable: 181832 kB
Slab: 272420 kB
SReclaimable: 181832 kB
SUnreclaim: 90588 kB
KernelStack: 4272 kB
PageTables: 48948 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 26829544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5070848 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= 432512 MiB
End job on nodeC018 at 2025-07-04 01:34:28