0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.50/0.58 c [STEP] preprocessing with Papilo
0.68/0.73 c [STEP] solving with SCIP
300.01/301.01 c [STEP] preprocessing done, loading into solver
300.01/301.08 c [STEP] solving
300.01/301.08 c #variables 1277 #constraints 1073
300.01/301.08 c SMALL=int, LARGE=long long
300.01/301.08 d SCIPUB -1423481
300.01/301.08 c bounds - >= -1912644 @ 299.691
300.01/301.08 c stratification level: 20736
300.30/301.37 c bounds -1430697 >= -1912644 @ 299.956
300.30/301.37 c stratification level: 20449
300.30/301.38 c bounds -1471594 >= -1912644 @ 299.96
300.30/301.38 c stratification level: 20164
300.30/301.38 c bounds -1471595 >= -1912644 @ 299.963
300.30/301.38 c stratification level: 19881
300.30/301.38 c bounds -1471596 >= -1912644 @ 299.966
300.30/301.38 c stratification level: 19600
300.30/301.39 c bounds -1491196 >= -1912644 @ 299.97
300.30/301.39 c stratification level: 19321
300.30/301.39 c bounds -1510517 >= -1912644 @ 299.973
300.30/301.39 c stratification level: 18769
300.30/301.39 c bounds -1510518 >= -1912644 @ 299.977
300.30/301.39 c stratification level: 18496
300.40/301.40 c bounds -1529014 >= -1912644 @ 299.979
300.40/301.40 c stratification level: 18225
300.40/301.40 c bounds -1546983 >= -1912644 @ 299.983
300.40/301.40 c stratification level: 17424
300.40/301.41 c bounds -1564407 >= -1912644 @ 299.985
300.40/301.41 c stratification level: 17161
300.40/301.41 c bounds -1564663 >= -1912644 @ 299.989
300.40/301.41 c stratification level: 16900
300.40/301.41 c bounds -1581307 >= -1912644 @ 299.991
300.40/301.41 c stratification level: 16641
300.40/301.42 c bounds -1581563 >= -1912644 @ 299.995
300.40/301.42 c stratification level: 16129
300.40/301.42 c bounds -1581567 >= -1912644 @ 299.997
300.40/301.42 c stratification level: 15876
300.40/301.42 c bounds -1613319 >= -1912644 @ 300.001
300.40/301.42 c stratification level: 15625
300.40/301.43 c bounds -1644569 >= -1912644 @ 300.004
300.40/301.43 c stratification level: 14884
300.40/301.43 c bounds -1644578 >= -1912644 @ 300.005
300.40/301.43 c stratification level: 14641
300.40/301.43 c bounds -1659219 >= -1912644 @ 300.008
300.40/301.43 c stratification level: 13924
300.40/301.44 c bounds -1673143 >= -1912644 @ 300.012
300.40/301.44 c stratification level: 13689
300.40/301.44 c bounds -1680032 >= -1912644 @ 300.016
300.40/301.44 c stratification level: 13456
300.40/301.44 c bounds -1693488 >= -1912644 @ 300.019
300.40/301.44 c stratification level: 13225
300.40/301.45 c bounds -1693492 >= -1912644 @ 300.023
300.40/301.45 c stratification level: 12321
300.40/301.45 c bounds -1693613 >= -1912644 @ 300.024
300.40/301.45 c stratification level: 12100
300.40/301.46 c bounds -1699854 >= -1912644 @ 300.028
300.40/301.46 c stratification level: 11881
300.40/301.46 c bounds -1711735 >= -1912644 @ 300.031
300.40/301.46 c stratification level: 11664
300.40/301.46 c bounds -1723399 >= -1912644 @ 300.035
300.40/301.46 c stratification level: 11449
300.40/301.47 c bounds -1723403 >= -1912644 @ 300.037
300.40/301.47 c stratification level: 10201
300.40/301.47 c bounds -1733604 >= -1912644 @ 300.041
300.40/301.47 c stratification level: 10000
300.40/301.47 c bounds -1734693 >= -1912644 @ 300.044
300.40/301.47 c stratification level: 9801
300.40/301.48 c bounds -1734718 >= -1912644 @ 300.048
300.40/301.48 c stratification level: 9409
300.40/301.48 c bounds -1734722 >= -1912644 @ 300.051
300.40/301.48 c stratification level: 9025
300.40/301.48 c bounds -1743747 >= -1912644 @ 300.055
300.40/301.48 c stratification level: 8464
300.40/301.49 c bounds -1752211 >= -1912644 @ 300.057
300.40/301.49 c stratification level: 8100
300.40/301.49 c bounds -1752212 >= -1912644 @ 300.059
300.40/301.49 c stratification level: 7921
300.40/301.49 c bounds -1760133 >= -1912644 @ 300.061
300.40/301.49 c stratification level: 7744
300.49/301.50 c bounds -1767877 >= -1912644 @ 300.064
300.49/301.50 c stratification level: 7396
300.49/301.50 c bounds -1775273 >= -1912644 @ 300.067
300.49/301.50 c stratification level: 7225
300.49/301.50 c bounds -1775277 >= -1912644 @ 300.069
300.49/301.50 c stratification level: 7056
300.49/301.51 c bounds -1789389 >= -1912644 @ 300.073
300.49/301.51 c stratification level: 6889
300.49/301.51 c bounds -1793110 >= -1912644 @ 300.076
300.49/301.51 c stratification level: 6724
300.49/301.52 c bounds -1797335 >= -1912644 @ 300.078
300.49/301.52 c stratification level: 6561
300.49/301.52 c bounds -1810457 >= -1912644 @ 300.081
300.49/301.52 c stratification level: 6400
300.49/301.52 c bounds -1810461 >= -1912644 @ 300.083
300.49/301.52 c stratification level: 6241
300.49/301.53 c bounds -1829184 >= -1912644 @ 300.086
300.49/301.53 c stratification level: 6084
300.49/301.53 c bounds -1835268 >= -1912644 @ 300.089
300.49/301.53 c stratification level: 5929
300.49/301.53 c bounds -1841197 >= -1912644 @ 300.091
300.49/301.53 c stratification level: 5776
300.49/301.54 c bounds -1841198 >= -1912644 @ 300.094
300.49/301.54 c stratification level: 5625
300.49/301.54 c bounds -1841682 >= -1912644 @ 300.098
300.49/301.54 c stratification level: 5476
300.49/301.54 c bounds -1845651 >= -1912644 @ 300.1
300.49/301.54 c stratification level: 5329
300.49/301.55 c bounds -1856309 >= -1912644 @ 300.103
300.49/301.55 c stratification level: 5184
300.49/301.55 c bounds -1856318 >= -1912644 @ 300.105
300.49/301.55 c stratification level: 5041
300.49/301.55 c bounds -1861359 >= -1912644 @ 300.108
300.49/301.55 c stratification level: 4900
300.49/301.56 c bounds -1862143 >= -1912644 @ 300.112
300.49/301.56 c stratification level: 4761
300.49/301.56 c bounds -1862368 >= -1912644 @ 300.114
300.49/301.56 c stratification level: 4624
300.49/301.57 c bounds -1866992 >= -1912644 @ 300.117
300.49/301.57 c stratification level: 4489
300.49/301.57 c bounds -1871481 >= -1912644 @ 300.121
300.49/301.57 c stratification level: 4356
300.49/301.57 c bounds -1871497 >= -1912644 @ 300.125
300.49/301.57 c stratification level: 4225
300.49/301.58 c bounds -1871498 >= -1912644 @ 300.128
300.49/301.58 c stratification level: 4096
300.49/301.58 c bounds -1871502 >= -1912644 @ 300.13
300.49/301.58 c stratification level: 3969
300.49/301.58 c bounds -1871582 >= -1912644 @ 300.132
300.49/301.58 c stratification level: 3844
300.49/301.59 c bounds -1875426 >= -1912644 @ 300.134
300.49/301.59 c stratification level: 3721
300.49/301.59 c bounds -1878891 >= -1912644 @ 300.138
300.49/301.59 c stratification level: 3600
300.49/301.59 c bounds -1882492 >= -1912644 @ 300.141
300.49/301.59 c stratification level: 3364
300.59/301.60 c bounds -1882748 >= -1912644 @ 300.145
300.59/301.60 c stratification level: 3249
300.59/301.60 c bounds -1882749 >= -1912644 @ 300.148
300.59/301.60 c stratification level: 3136
300.59/301.60 c bounds -1882974 >= -1912644 @ 300.152
300.59/301.60 c stratification level: 3025
300.59/301.61 c bounds -1882983 >= -1912644 @ 300.154
300.59/301.61 c stratification level: 2916
300.59/301.61 c bounds -1885899 >= -1912644 @ 300.158
300.59/301.61 c stratification level: 2809
300.59/301.61 c bounds -1885915 >= -1912644 @ 300.161
300.59/301.61 c stratification level: 2601
300.59/301.62 c bounds -1885951 >= -1912644 @ 300.163
300.59/301.62 c stratification level: 2500
300.59/301.62 c bounds -1886120 >= -1912644 @ 300.166
300.59/301.62 c stratification level: 2401
300.59/301.62 c bounds -1886376 >= -1912644 @ 300.168
300.59/301.62 c stratification level: 2304
300.59/301.63 c bounds -1888424 >= -1912644 @ 300.171
300.59/301.63 c stratification level: 2209
300.59/301.63 c bounds -1888680 >= -1912644 @ 300.173
300.59/301.63 c stratification level: 2116
300.59/301.63 c bounds -1888780 >= -1912644 @ 300.177
300.59/301.63 c stratification level: 2025
300.59/301.64 c bounds -1888861 >= -1912644 @ 300.18
300.59/301.64 c stratification level: 1936
300.59/301.64 c bounds -1890797 >= -1912644 @ 300.182
300.59/301.64 c stratification level: 1849
300.59/301.64 c bounds -1890813 >= -1912644 @ 300.185
300.59/301.64 c stratification level: 1681
300.59/301.65 c bounds -1892494 >= -1912644 @ 300.188
300.59/301.65 c stratification level: 1600
300.59/301.65 c bounds -1892562 >= -1912644 @ 300.19
300.59/301.65 c stratification level: 1521
300.59/301.65 c bounds -1892818 >= -1912644 @ 300.194
300.59/301.65 c stratification level: 1444
300.59/301.66 c bounds -1894262 >= -1912644 @ 300.197
300.59/301.66 c stratification level: 1369
300.59/301.66 c bounds -1895631 >= -1912644 @ 300.2
300.59/301.66 c stratification level: 1296
300.59/301.66 c bounds -1898223 >= -1912644 @ 300.204
300.59/301.66 c stratification level: 1225
300.59/301.67 c bounds -1898232 >= -1912644 @ 300.207
300.59/301.67 c stratification level: 1089
300.59/301.67 c bounds -1898961 >= -1912644 @ 300.209
300.59/301.67 c stratification level: 1024
300.59/301.67 c bounds -1899985 >= -1912644 @ 300.21
300.59/301.67 c stratification level: 961
300.59/301.68 c bounds -1899994 >= -1912644 @ 300.213
300.59/301.68 c stratification level: 900
300.59/301.68 c bounds -1900778 >= -1912644 @ 300.217
300.59/301.68 c stratification level: 784
300.59/301.68 c bounds -1900803 >= -1912644 @ 300.22
300.59/301.68 c stratification level: 729
300.59/301.69 c bounds -1901532 >= -1912644 @ 300.222
300.59/301.69 c stratification level: 625
300.59/301.69 c bounds -1903151 >= -1912644 @ 300.225
300.59/301.69 c stratification level: 576
300.59/301.69 c bounds -1903407 >= -1912644 @ 300.228
300.59/301.69 c stratification level: 529
300.70/301.70 c bounds -1903936 >= -1912644 @ 300.23
300.70/301.70 c stratification level: 484
300.70/301.70 c bounds -1904080 >= -1912644 @ 300.232
300.70/301.70 c stratification level: 441
300.70/301.70 c bounds -1905403 >= -1912644 @ 300.235
300.70/301.70 c stratification level: 400
300.70/301.71 c bounds -1905659 >= -1912644 @ 300.237
300.70/301.71 c stratification level: 361
300.70/301.71 c bounds -1906742 >= -1912644 @ 300.241
300.70/301.71 c stratification level: 324
300.70/301.71 c bounds -1907390 >= -1912644 @ 300.243
300.70/301.71 c stratification level: 289
300.70/301.72 c bounds -1907968 >= -1912644 @ 300.246
300.70/301.72 c stratification level: 256
300.70/301.72 c bounds -1908736 >= -1912644 @ 300.249
300.70/301.72 c stratification level: 225
300.70/301.72 c bounds -1909411 >= -1912644 @ 300.252
300.70/301.72 c stratification level: 196
300.70/301.73 c bounds -1910195 >= -1912644 @ 300.255
300.70/301.73 c stratification level: 169
300.70/301.73 c bounds -1910533 >= -1912644 @ 300.257
300.70/301.73 c stratification level: 144
300.70/301.73 c bounds -1910821 >= -1912644 @ 300.259
300.70/301.73 c stratification level: 121
300.70/301.73 c bounds -1911063 >= -1912644 @ 300.261
300.70/301.73 c stratification level: 100
300.70/301.74 c bounds -1911099 >= -1912644 @ 300.263
300.70/301.74 c stratification level: 81
300.79/301.81 c bounds -1911544 >= -1912644 @ 300.339
300.79/301.81 c stratification level: 64
301.00/302.02 c bounds -1911822 >= -1912644 @ 300.541
301.00/302.02 c stratification level: 49
301.00/302.04 c bounds -1912023 >= -1912644 @ 300.567
301.00/302.04 c stratification level: 36
301.10/302.14 c bounds -1912103 >= -1912644 @ 300.661
301.10/302.14 c stratification level: 25
301.10/302.15 c bounds -1912215 >= -1912644 @ 300.674
301.10/302.15 c stratification level: 16
301.10/302.15 c bounds -1912439 >= -1912644 @ 300.677
301.10/302.15 c stratification level: 9
301.10/302.16 c bounds -1912556 >= -1912644 @ 300.679
301.10/302.16 c stratification level: 4
302.10/303.18 c #Conflicts: 1000 | #Constraints: 2187
302.10/303.18 c bounds -1912595 >= -1912644 @ 301.688
302.10/303.18 c stratification level: 1
302.69/303.75 c bounds -1912595 >= -1912643 @ 301.717
302.69/303.75 c #Conflicts: 2000 | #Constraints: 3189
302.69/303.75 c INPROCESSING
302.69/303.75 c GARBAGE COLLECT
302.69/303.75 c finalizing WCE round: reformulating cores
373.76/375.09 c #Conflicts: 3000 | #Constraints: 3019
373.76/375.09 c bounds -1912602 >= -1912643 @ 304.991
373.76/375.09 c bounds -1912602 >= -1912642 @ 307.013
373.76/375.09 c #Conflicts: 4000 | #Constraints: 4023
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 5000 | #Constraints: 3458
373.76/375.09 c #Conflicts: 6000 | #Constraints: 4458
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 7000 | #Constraints: 3492
373.76/375.09 c #Conflicts: 8000 | #Constraints: 4492
373.76/375.09 c #Conflicts: 9000 | #Constraints: 5492
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 10000 | #Constraints: 4220
373.76/375.09 c #Conflicts: 11000 | #Constraints: 5220
373.76/375.09 c #Conflicts: 12000 | #Constraints: 6220
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 13000 | #Constraints: 4685
373.76/375.09 c #Conflicts: 14000 | #Constraints: 5685
373.76/375.09 c #Conflicts: 15000 | #Constraints: 6685
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 16000 | #Constraints: 4926
373.76/375.09 c #Conflicts: 17000 | #Constraints: 5926
373.76/375.09 c #Conflicts: 18000 | #Constraints: 6926
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 19000 | #Constraints: 4944
373.76/375.09 c #Conflicts: 20000 | #Constraints: 5944
373.76/375.09 c #Conflicts: 21000 | #Constraints: 6944
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 22000 | #Constraints: 4769
373.76/375.09 c #Conflicts: 23000 | #Constraints: 5769
373.76/375.09 c #Conflicts: 24000 | #Constraints: 6769
373.76/375.09 c #Conflicts: 25000 | #Constraints: 7769
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 26000 | #Constraints: 5383
373.76/375.09 c #Conflicts: 27000 | #Constraints: 6383
373.76/375.09 c #Conflicts: 28000 | #Constraints: 7383
373.76/375.09 c #Conflicts: 29000 | #Constraints: 8383
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 30000 | #Constraints: 5794
373.76/375.09 c #Conflicts: 31000 | #Constraints: 6794
373.76/375.09 c #Conflicts: 32000 | #Constraints: 7794
373.76/375.09 c #Conflicts: 33000 | #Constraints: 8794
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 34000 | #Constraints: 6007
373.76/375.09 c #Conflicts: 35000 | #Constraints: 7007
373.76/375.09 c #Conflicts: 36000 | #Constraints: 8007
373.76/375.09 c #Conflicts: 37000 | #Constraints: 9007
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 38000 | #Constraints: 6017
373.76/375.09 c #Conflicts: 39000 | #Constraints: 7017
373.76/375.09 c #Conflicts: 40000 | #Constraints: 8017
373.76/375.09 c #Conflicts: 41000 | #Constraints: 9017
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 42000 | #Constraints: 5840
373.76/375.09 c #Conflicts: 43000 | #Constraints: 6840
373.76/375.09 c #Conflicts: 44000 | #Constraints: 7840
373.76/375.09 c #Conflicts: 45000 | #Constraints: 8840
373.76/375.09 c #Conflicts: 46000 | #Constraints: 9840
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 47000 | #Constraints: 6453
373.76/375.09 c #Conflicts: 48000 | #Constraints: 7453
373.76/375.09 c #Conflicts: 49000 | #Constraints: 8453
373.76/375.09 c #Conflicts: 50000 | #Constraints: 9453
373.76/375.09 c #Conflicts: 51000 | #Constraints: 10453
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 52000 | #Constraints: 6871
373.76/375.09 c #Conflicts: 53000 | #Constraints: 7871
373.76/375.09 c #Conflicts: 54000 | #Constraints: 8871
373.76/375.09 c #Conflicts: 55000 | #Constraints: 9871
373.76/375.09 c #Conflicts: 56000 | #Constraints: 10871
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 57000 | #Constraints: 7087
373.76/375.09 c #Conflicts: 58000 | #Constraints: 8087
373.76/375.09 c #Conflicts: 59000 | #Constraints: 9087
373.76/375.09 c #Conflicts: 60000 | #Constraints: 10087
373.76/375.09 c #Conflicts: 61000 | #Constraints: 11087
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 62000 | #Constraints: 7088
373.76/375.09 c #Conflicts: 63000 | #Constraints: 8088
373.76/375.09 c #Conflicts: 64000 | #Constraints: 9088
373.76/375.09 c #Conflicts: 65000 | #Constraints: 10088
373.76/375.09 c #Conflicts: 66000 | #Constraints: 11088
373.76/375.09 c INPROCESSING
373.76/375.09 c GARBAGE COLLECT
373.76/375.09 c #Conflicts: 67000 | #Constraints: 6889
373.76/375.09 c #Conflicts: 68000 | #Constraints: 7889
373.76/375.09 c #Conflicts: 69000 | #Constraints: 8889
430.84/432.33 c #Conflicts: 70000 | #Constraints: 9889
430.84/432.33 c #Conflicts: 71000 | #Constraints: 10889
430.84/432.33 c #Conflicts: 72000 | #Constraints: 11889
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 73000 | #Constraints: 7514
430.84/432.33 c #Conflicts: 74000 | #Constraints: 8514
430.84/432.33 c #Conflicts: 75000 | #Constraints: 9514
430.84/432.33 c #Conflicts: 76000 | #Constraints: 10514
430.84/432.33 c bounds -1912602 >= -1912641 @ 382.884
430.84/432.33 c #Conflicts: 77000 | #Constraints: 11518
430.84/432.33 c #Conflicts: 78000 | #Constraints: 12518
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 79000 | #Constraints: 7822
430.84/432.33 c #Conflicts: 80000 | #Constraints: 8822
430.84/432.33 c #Conflicts: 81000 | #Constraints: 9822
430.84/432.33 c #Conflicts: 82000 | #Constraints: 10822
430.84/432.33 c #Conflicts: 83000 | #Constraints: 11822
430.84/432.33 c #Conflicts: 84000 | #Constraints: 12822
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 85000 | #Constraints: 7975
430.84/432.33 c #Conflicts: 86000 | #Constraints: 8975
430.84/432.33 c #Conflicts: 87000 | #Constraints: 9975
430.84/432.33 c #Conflicts: 88000 | #Constraints: 10975
430.84/432.33 c #Conflicts: 89000 | #Constraints: 11975
430.84/432.33 c #Conflicts: 90000 | #Constraints: 12975
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 91000 | #Constraints: 7952
430.84/432.33 c #Conflicts: 92000 | #Constraints: 8952
430.84/432.33 c #Conflicts: 93000 | #Constraints: 9952
430.84/432.33 c #Conflicts: 94000 | #Constraints: 10952
430.84/432.33 c #Conflicts: 95000 | #Constraints: 11952
430.84/432.33 c #Conflicts: 96000 | #Constraints: 12952
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 97000 | #Constraints: 7758
430.84/432.33 c #Conflicts: 98000 | #Constraints: 8758
430.84/432.33 c #Conflicts: 99000 | #Constraints: 9758
430.84/432.33 c #Conflicts: 100000 | #Constraints: 10758
430.84/432.33 c #Conflicts: 101000 | #Constraints: 11758
430.84/432.33 c #Conflicts: 102000 | #Constraints: 12758
430.84/432.33 c #Conflicts: 103000 | #Constraints: 13758
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 104000 | #Constraints: 8363
430.84/432.33 c #Conflicts: 105000 | #Constraints: 9363
430.84/432.33 c #Conflicts: 106000 | #Constraints: 10363
430.84/432.33 c #Conflicts: 107000 | #Constraints: 11363
430.84/432.33 c #Conflicts: 108000 | #Constraints: 12363
430.84/432.33 c #Conflicts: 109000 | #Constraints: 13363
430.84/432.33 c #Conflicts: 110000 | #Constraints: 14363
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 111000 | #Constraints: 8766
430.84/432.33 c #Conflicts: 112000 | #Constraints: 9766
430.84/432.33 c #Conflicts: 113000 | #Constraints: 10766
430.84/432.33 c #Conflicts: 114000 | #Constraints: 11766
430.84/432.33 c #Conflicts: 115000 | #Constraints: 12766
430.84/432.33 c #Conflicts: 116000 | #Constraints: 13766
430.84/432.33 c #Conflicts: 117000 | #Constraints: 14766
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 118000 | #Constraints: 8971
430.84/432.33 c #Conflicts: 119000 | #Constraints: 9971
430.84/432.33 c #Conflicts: 120000 | #Constraints: 10971
430.84/432.33 c #Conflicts: 121000 | #Constraints: 11971
430.84/432.33 c #Conflicts: 122000 | #Constraints: 12971
430.84/432.33 c #Conflicts: 123000 | #Constraints: 13971
430.84/432.33 c #Conflicts: 124000 | #Constraints: 14971
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 125000 | #Constraints: 8977
430.84/432.33 c #Conflicts: 126000 | #Constraints: 9977
430.84/432.33 c #Conflicts: 127000 | #Constraints: 10977
430.84/432.33 c #Conflicts: 128000 | #Constraints: 11977
430.84/432.33 c #Conflicts: 129000 | #Constraints: 12977
430.84/432.33 c #Conflicts: 130000 | #Constraints: 13977
430.84/432.33 c #Conflicts: 131000 | #Constraints: 14977
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 132000 | #Constraints: 8803
430.84/432.33 c #Conflicts: 133000 | #Constraints: 9803
430.84/432.33 c #Conflicts: 134000 | #Constraints: 10803
430.84/432.33 c #Conflicts: 135000 | #Constraints: 11803
430.84/432.33 c #Conflicts: 136000 | #Constraints: 12803
430.84/432.33 c #Conflicts: 137000 | #Constraints: 13803
430.84/432.33 c #Conflicts: 138000 | #Constraints: 14803
430.84/432.33 c #Conflicts: 139000 | #Constraints: 15803
430.84/432.33 c INPROCESSING
430.84/432.33 c GARBAGE COLLECT
430.84/432.33 c #Conflicts: 140000 | #Constraints: 9422
488.74/490.40 c #Conflicts: 141000 | #Constraints: 10422
488.74/490.40 c #Conflicts: 142000 | #Constraints: 11422
488.74/490.40 c #Conflicts: 143000 | #Constraints: 12422
488.74/490.40 c #Conflicts: 144000 | #Constraints: 13422
488.74/490.40 c #Conflicts: 145000 | #Constraints: 14422
488.74/490.40 c #Conflicts: 146000 | #Constraints: 15422
488.74/490.40 c #Conflicts: 147000 | #Constraints: 16422
488.74/490.40 c INPROCESSING
488.74/490.40 c GARBAGE COLLECT
488.74/490.40 c #Conflicts: 148000 | #Constraints: 9833
488.74/490.40 c #Conflicts: 149000 | #Constraints: 10833
488.74/490.40 c #Conflicts: 150000 | #Constraints: 11833
488.74/490.40 c #Conflicts: 151000 | #Constraints: 12833
488.74/490.40 c #Conflicts: 152000 | #Constraints: 13833
488.74/490.40 c #Conflicts: 153000 | #Constraints: 14833
488.74/490.40 c #Conflicts: 154000 | #Constraints: 15833
488.74/490.40 c #Conflicts: 155000 | #Constraints: 16833
488.74/490.40 c INPROCESSING
488.74/490.40 c GARBAGE COLLECT
488.74/490.40 c #Conflicts: 156000 | #Constraints: 10056
488.74/490.40 c #Conflicts: 157000 | #Constraints: 11056
488.74/490.40 c #Conflicts: 158000 | #Constraints: 12056
488.74/490.40 c #Conflicts: 159000 | #Constraints: 13056
488.74/490.40 c #Conflicts: 160000 | #Constraints: 14056
488.74/490.40 c #Conflicts: 161000 | #Constraints: 15056
488.74/490.40 c #Conflicts: 162000 | #Constraints: 16056
488.74/490.40 c #Conflicts: 163000 | #Constraints: 17056
488.74/490.40 c INPROCESSING
488.74/490.40 c GARBAGE COLLECT
488.74/490.40 c #Conflicts: 164000 | #Constraints: 10078
488.74/490.40 c #Conflicts: 165000 | #Constraints: 11078
488.74/490.40 c #Conflicts: 166000 | #Constraints: 12078
488.74/490.40 c #Conflicts: 167000 | #Constraints: 13078
488.74/490.40 c #Conflicts: 168000 | #Constraints: 14078
488.74/490.40 c #Conflicts: 169000 | #Constraints: 15078
488.74/490.40 c #Conflicts: 170000 | #Constraints: 16078
488.74/490.40 c #Conflicts: 171000 | #Constraints: 17078
488.74/490.40 c INPROCESSING
488.74/490.40 c GARBAGE COLLECT
488.74/490.40 c #Conflicts: 172000 | #Constraints: 9886
488.74/490.40 c #Conflicts: 173000 | #Constraints: 10886
488.74/490.40 c #Conflicts: 174000 | #Constraints: 11886
488.74/490.40 c #Conflicts: 175000 | #Constraints: 12886
488.74/490.40 c #Conflicts: 176000 | #Constraints: 13886
488.74/490.40 c #Conflicts: 177000 | #Constraints: 14886
488.74/490.40 c #Conflicts: 178000 | #Constraints: 15886
488.74/490.40 c #Conflicts: 179000 | #Constraints: 16886
488.74/490.40 c #Conflicts: 180000 | #Constraints: 17886
488.74/490.40 c INPROCESSING
488.74/490.40 c GARBAGE COLLECT
488.74/490.40 c #Conflicts: 181000 | #Constraints: 10484
488.74/490.40 c #Conflicts: 182000 | #Constraints: 11484
488.74/490.40 c #Conflicts: 183000 | #Constraints: 12484
488.74/490.40 c #Conflicts: 184000 | #Constraints: 13484
488.74/490.40 c #Conflicts: 185000 | #Constraints: 14484
488.74/490.40 c #Conflicts: 186000 | #Constraints: 15484
488.74/490.40 c #Conflicts: 187000 | #Constraints: 16484
488.74/490.40 c #Conflicts: 188000 | #Constraints: 17484
488.74/490.40 c #Conflicts: 189000 | #Constraints: 18484
488.74/490.40 c INPROCESSING
488.74/490.40 c GARBAGE COLLECT
488.74/490.40 c #Conflicts: 190000 | #Constraints: 10903
488.74/490.40 c #Conflicts: 191000 | #Constraints: 11903
488.74/490.40 c #Conflicts: 192000 | #Constraints: 12903
488.74/490.40 c #Conflicts: 193000 | #Constraints: 13903
488.74/490.40 c #Conflicts: 194000 | #Constraints: 14903
488.74/490.40 c #Conflicts: 195000 | #Constraints: 15903
488.74/490.40 c #Conflicts: 196000 | #Constraints: 16903
488.74/490.40 c #Conflicts: 197000 | #Constraints: 17903
488.74/490.40 c #Conflicts: 198000 | #Constraints: 18903
488.74/490.40 c INPROCESSING
488.74/490.40 c GARBAGE COLLECT
488.74/490.40 c #Conflicts: 199000 | #Constraints: 11129
488.74/490.40 c #Conflicts: 200000 | #Constraints: 12129
488.74/490.40 c #Conflicts: 201000 | #Constraints: 13129
488.74/490.40 c #Conflicts: 202000 | #Constraints: 14129
488.74/490.40 c #Conflicts: 203000 | #Constraints: 15129
488.74/490.40 c #Conflicts: 204000 | #Constraints: 16129
488.74/490.40 c #Conflicts: 205000 | #Constraints: 17129
488.74/490.40 c #Conflicts: 206000 | #Constraints: 18129
488.74/490.40 c #Conflicts: 207000 | #Constraints: 19129
488.74/490.40 c INPROCESSING
488.74/490.40 c GARBAGE COLLECT
488.74/490.40 c #Conflicts: 208000 | #Constraints: 11126
488.74/490.40 c #Conflicts: 209000 | #Constraints: 12126
488.74/490.40 c #Conflicts: 210000 | #Constraints: 13126
488.74/490.40 c #Conflicts: 211000 | #Constraints: 14126
488.74/490.40 c #Conflicts: 212000 | #Constraints: 15126
488.74/490.40 c #Conflicts: 213000 | #Constraints: 16126
488.74/490.40 c #Conflicts: 214000 | #Constraints: 17126
543.87/545.77 c #Conflicts: 215000 | #Constraints: 18126
543.87/545.77 c #Conflicts: 216000 | #Constraints: 19126
543.87/545.77 c INPROCESSING
543.87/545.77 c GARBAGE COLLECT
543.87/545.77 c #Conflicts: 217000 | #Constraints: 10910
543.87/545.77 c #Conflicts: 218000 | #Constraints: 11910
543.87/545.77 c #Conflicts: 219000 | #Constraints: 12910
543.87/545.77 c #Conflicts: 220000 | #Constraints: 13910
543.87/545.77 c #Conflicts: 221000 | #Constraints: 14910
543.87/545.77 c #Conflicts: 222000 | #Constraints: 15910
543.87/545.77 c #Conflicts: 223000 | #Constraints: 16910
543.87/545.77 c #Conflicts: 224000 | #Constraints: 17910
543.87/545.77 c #Conflicts: 225000 | #Constraints: 18910
543.87/545.77 c #Conflicts: 226000 | #Constraints: 19910
543.87/545.77 c INPROCESSING
543.87/545.77 c GARBAGE COLLECT
543.87/545.77 c #Conflicts: 227000 | #Constraints: 11519
543.87/545.77 c #Conflicts: 228000 | #Constraints: 12519
543.87/545.77 c #Conflicts: 229000 | #Constraints: 13519
543.87/545.77 c #Conflicts: 230000 | #Constraints: 14519
543.87/545.77 c #Conflicts: 231000 | #Constraints: 15519
543.87/545.77 c #Conflicts: 232000 | #Constraints: 16519
543.87/545.77 c #Conflicts: 233000 | #Constraints: 17519
543.87/545.77 c #Conflicts: 234000 | #Constraints: 18519
543.87/545.77 c #Conflicts: 235000 | #Constraints: 19519
543.87/545.77 c #Conflicts: 236000 | #Constraints: 20519
543.87/545.77 c INPROCESSING
543.87/545.77 c GARBAGE COLLECT
543.87/545.77 c #Conflicts: 237000 | #Constraints: 11929
543.87/545.77 c #Conflicts: 238000 | #Constraints: 12929
543.87/545.77 c #Conflicts: 239000 | #Constraints: 13929
543.87/545.77 c #Conflicts: 240000 | #Constraints: 14929
543.87/545.77 c #Conflicts: 241000 | #Constraints: 15929
543.87/545.77 c #Conflicts: 242000 | #Constraints: 16929
543.87/545.77 c #Conflicts: 243000 | #Constraints: 17929
543.87/545.77 c #Conflicts: 244000 | #Constraints: 18929
543.87/545.77 c #Conflicts: 245000 | #Constraints: 19929
543.87/545.77 c #Conflicts: 246000 | #Constraints: 20929
543.87/545.77 c INPROCESSING
543.87/545.77 c GARBAGE COLLECT
543.87/545.77 c #Conflicts: 247000 | #Constraints: 12144
543.87/545.77 c #Conflicts: 248000 | #Constraints: 13144
543.87/545.77 c #Conflicts: 249000 | #Constraints: 14144
543.87/545.77 c #Conflicts: 250000 | #Constraints: 15144
543.87/545.77 c #Conflicts: 251000 | #Constraints: 16144
543.87/545.77 c #Conflicts: 252000 | #Constraints: 17144
543.87/545.77 c #Conflicts: 253000 | #Constraints: 18144
543.87/545.77 c #Conflicts: 254000 | #Constraints: 19144
543.87/545.77 c #Conflicts: 255000 | #Constraints: 20144
543.87/545.77 c #Conflicts: 256000 | #Constraints: 21144
543.87/545.77 c INPROCESSING
543.87/545.77 c GARBAGE COLLECT
543.87/545.77 c #Conflicts: 257000 | #Constraints: 12168
543.87/545.77 c #Conflicts: 258000 | #Constraints: 13168
543.87/545.77 c #Conflicts: 259000 | #Constraints: 14168
543.87/545.77 c #Conflicts: 260000 | #Constraints: 15168
543.87/545.77 c #Conflicts: 261000 | #Constraints: 16168
543.87/545.77 c #Conflicts: 262000 | #Constraints: 17168
543.87/545.77 c #Conflicts: 263000 | #Constraints: 18168
543.87/545.77 c #Conflicts: 264000 | #Constraints: 19168
543.87/545.77 c #Conflicts: 265000 | #Constraints: 20168
543.87/545.77 c #Conflicts: 266000 | #Constraints: 21168
543.87/545.77 c INPROCESSING
543.87/545.77 c GARBAGE COLLECT
543.87/545.77 c #Conflicts: 267000 | #Constraints: 11972
543.87/545.77 c #Conflicts: 268000 | #Constraints: 12972
543.87/545.77 c #Conflicts: 269000 | #Constraints: 13972
543.87/545.77 c #Conflicts: 270000 | #Constraints: 14972
543.87/545.77 c #Conflicts: 271000 | #Constraints: 15972
543.87/545.77 c #Conflicts: 272000 | #Constraints: 16972
543.87/545.77 c #Conflicts: 273000 | #Constraints: 17972
543.87/545.77 c #Conflicts: 274000 | #Constraints: 18972
543.87/545.77 c #Conflicts: 275000 | #Constraints: 19972
543.87/545.77 c #Conflicts: 276000 | #Constraints: 20972
543.87/545.77 c #Conflicts: 277000 | #Constraints: 21972
543.87/545.77 c INPROCESSING
543.87/545.77 c GARBAGE COLLECT
543.87/545.77 c #Conflicts: 278000 | #Constraints: 12565
543.87/545.77 c #Conflicts: 279000 | #Constraints: 13565
543.87/545.77 c #Conflicts: 280000 | #Constraints: 14565
543.87/545.77 c #Conflicts: 281000 | #Constraints: 15565
543.87/545.77 c #Conflicts: 282000 | #Constraints: 16565
543.87/545.77 c #Conflicts: 283000 | #Constraints: 17565
543.87/545.77 c #Conflicts: 284000 | #Constraints: 18565
543.87/545.77 c #Conflicts: 285000 | #Constraints: 19565
543.87/545.77 c #Conflicts: 286000 | #Constraints: 20565
543.87/545.77 c #Conflicts: 287000 | #Constraints: 21565
543.87/545.77 c #Conflicts: 288000 | #Constraints: 22565
604.86/606.96 c INPROCESSING
604.86/606.96 c GARBAGE COLLECT
604.86/606.96 c #Conflicts: 289000 | #Constraints: 12991
604.86/606.96 c #Conflicts: 290000 | #Constraints: 13991
604.86/606.96 c #Conflicts: 291000 | #Constraints: 14991
604.86/606.96 c #Conflicts: 292000 | #Constraints: 15991
604.86/606.96 c #Conflicts: 293000 | #Constraints: 16991
604.86/606.96 c #Conflicts: 294000 | #Constraints: 17991
604.86/606.96 c #Conflicts: 295000 | #Constraints: 18991
604.86/606.96 c #Conflicts: 296000 | #Constraints: 19991
604.86/606.96 c #Conflicts: 297000 | #Constraints: 20991
604.86/606.96 c #Conflicts: 298000 | #Constraints: 21991
604.86/606.96 c #Conflicts: 299000 | #Constraints: 22991
604.86/606.96 c INPROCESSING
604.86/606.96 c GARBAGE COLLECT
604.86/606.96 c #Conflicts: 300000 | #Constraints: 13173
604.86/606.96 c #Conflicts: 301000 | #Constraints: 14173
604.86/606.96 c #Conflicts: 302000 | #Constraints: 15173
604.86/606.96 c #Conflicts: 303000 | #Constraints: 16173
604.86/606.96 c #Conflicts: 304000 | #Constraints: 17173
604.86/606.96 c #Conflicts: 305000 | #Constraints: 18173
604.86/606.96 c #Conflicts: 306000 | #Constraints: 19173
604.86/606.96 c #Conflicts: 307000 | #Constraints: 20173
604.86/606.96 c #Conflicts: 308000 | #Constraints: 21173
604.86/606.96 c #Conflicts: 309000 | #Constraints: 22173
604.86/606.96 c #Conflicts: 310000 | #Constraints: 23173
604.86/606.96 c INPROCESSING
604.86/606.96 c GARBAGE COLLECT
604.86/606.96 c #Conflicts: 311000 | #Constraints: 13176
604.86/606.96 c #Conflicts: 312000 | #Constraints: 14176
604.86/606.96 c #Conflicts: 313000 | #Constraints: 15176
604.86/606.96 c #Conflicts: 314000 | #Constraints: 16176
604.86/606.96 c #Conflicts: 315000 | #Constraints: 17176
604.86/606.96 c #Conflicts: 316000 | #Constraints: 18176
604.86/606.96 c #Conflicts: 317000 | #Constraints: 19176
604.86/606.96 c #Conflicts: 318000 | #Constraints: 20176
604.86/606.96 c #Conflicts: 319000 | #Constraints: 21176
604.86/606.96 c #Conflicts: 320000 | #Constraints: 22176
604.86/606.96 c #Conflicts: 321000 | #Constraints: 23176
604.86/606.96 c INPROCESSING
604.86/606.96 c GARBAGE COLLECT
604.86/606.96 c #Conflicts: 322000 | #Constraints: 12956
604.86/606.96 c #Conflicts: 323000 | #Constraints: 13956
604.86/606.96 c #Conflicts: 324000 | #Constraints: 14956
604.86/606.96 c #Conflicts: 325000 | #Constraints: 15956
604.86/606.96 c #Conflicts: 326000 | #Constraints: 16956
604.86/606.96 c #Conflicts: 327000 | #Constraints: 17956
604.86/606.96 c #Conflicts: 328000 | #Constraints: 18956
604.86/606.96 c #Conflicts: 329000 | #Constraints: 19956
604.86/606.96 c #Conflicts: 330000 | #Constraints: 20956
604.86/606.96 c #Conflicts: 331000 | #Constraints: 21956
604.86/606.96 c #Conflicts: 332000 | #Constraints: 22956
604.86/606.96 c #Conflicts: 333000 | #Constraints: 23956
604.86/606.96 c INPROCESSING
604.86/606.96 c GARBAGE COLLECT
604.86/606.96 c #Conflicts: 334000 | #Constraints: 13559
604.86/606.96 c #Conflicts: 335000 | #Constraints: 14559
604.86/606.96 c #Conflicts: 336000 | #Constraints: 15559
604.86/606.96 c #Conflicts: 337000 | #Constraints: 16559
604.86/606.96 c #Conflicts: 338000 | #Constraints: 17559
604.86/606.96 c #Conflicts: 339000 | #Constraints: 18559
604.86/606.96 c #Conflicts: 340000 | #Constraints: 19559
604.86/606.96 c #Conflicts: 341000 | #Constraints: 20559
604.86/606.96 c #Conflicts: 342000 | #Constraints: 21559
604.86/606.96 c #Conflicts: 343000 | #Constraints: 22559
604.86/606.96 c #Conflicts: 344000 | #Constraints: 23559
604.86/606.96 c #Conflicts: 345000 | #Constraints: 24559
604.86/606.96 c INPROCESSING
604.86/606.96 c GARBAGE COLLECT
604.86/606.96 c #Conflicts: 346000 | #Constraints: 13983
604.86/606.96 c #Conflicts: 347000 | #Constraints: 14983
604.86/606.96 c #Conflicts: 348000 | #Constraints: 15983
604.86/606.96 c #Conflicts: 349000 | #Constraints: 16983
604.86/606.96 c #Conflicts: 350000 | #Constraints: 17983
604.86/606.96 c #Conflicts: 351000 | #Constraints: 18983
604.86/606.96 c #Conflicts: 352000 | #Constraints: 19983
604.86/606.96 c #Conflicts: 353000 | #Constraints: 20983
604.86/606.96 c #Conflicts: 354000 | #Constraints: 21983
604.86/606.96 c #Conflicts: 355000 | #Constraints: 22983
604.86/606.96 c #Conflicts: 356000 | #Constraints: 23983
604.86/606.96 c #Conflicts: 357000 | #Constraints: 24983
604.86/606.96 c INPROCESSING
604.86/606.96 c GARBAGE COLLECT
604.86/606.96 c #Conflicts: 358000 | #Constraints: 14165
604.86/606.96 c #Conflicts: 359000 | #Constraints: 15165
604.86/606.96 c #Conflicts: 360000 | #Constraints: 16165
604.86/606.96 c #Conflicts: 361000 | #Constraints: 17165
604.86/606.96 c #Conflicts: 362000 | #Constraints: 18165
674.24/676.52 c #Conflicts: 363000 | #Constraints: 19165
674.24/676.52 c #Conflicts: 364000 | #Constraints: 20165
674.24/676.52 c #Conflicts: 365000 | #Constraints: 21165
674.24/676.52 c #Conflicts: 366000 | #Constraints: 22165
674.24/676.52 c #Conflicts: 367000 | #Constraints: 23165
674.24/676.52 c #Conflicts: 368000 | #Constraints: 24165
674.24/676.52 c #Conflicts: 369000 | #Constraints: 25165
674.24/676.52 c INPROCESSING
674.24/676.52 c GARBAGE COLLECT
674.24/676.52 c #Conflicts: 370000 | #Constraints: 14176
674.24/676.52 c #Conflicts: 371000 | #Constraints: 15176
674.24/676.52 c #Conflicts: 372000 | #Constraints: 16176
674.24/676.52 c #Conflicts: 373000 | #Constraints: 17176
674.24/676.52 c #Conflicts: 374000 | #Constraints: 18176
674.24/676.52 c #Conflicts: 375000 | #Constraints: 19176
674.24/676.52 c #Conflicts: 376000 | #Constraints: 20176
674.24/676.52 c #Conflicts: 377000 | #Constraints: 21176
674.24/676.52 c #Conflicts: 378000 | #Constraints: 22176
674.24/676.52 c #Conflicts: 379000 | #Constraints: 23176
674.24/676.52 c #Conflicts: 380000 | #Constraints: 24176
674.24/676.52 c #Conflicts: 381000 | #Constraints: 25176
674.24/676.52 c INPROCESSING
674.24/676.52 c GARBAGE COLLECT
674.24/676.52 c #Conflicts: 382000 | #Constraints: 13976
674.24/676.52 c #Conflicts: 383000 | #Constraints: 14976
674.24/676.52 c #Conflicts: 384000 | #Constraints: 15976
674.24/676.52 c #Conflicts: 385000 | #Constraints: 16976
674.24/676.52 c #Conflicts: 386000 | #Constraints: 17976
674.24/676.52 c #Conflicts: 387000 | #Constraints: 18976
674.24/676.52 c #Conflicts: 388000 | #Constraints: 19976
674.24/676.52 c #Conflicts: 389000 | #Constraints: 20976
674.24/676.52 c #Conflicts: 390000 | #Constraints: 21976
674.24/676.52 c #Conflicts: 391000 | #Constraints: 22976
674.24/676.52 c #Conflicts: 392000 | #Constraints: 23976
674.24/676.52 c #Conflicts: 393000 | #Constraints: 24976
674.24/676.52 c #Conflicts: 394000 | #Constraints: 25976
674.24/676.52 c INPROCESSING
674.24/676.52 c GARBAGE COLLECT
674.24/676.52 c #Conflicts: 395000 | #Constraints: 14591
674.24/676.52 c #Conflicts: 396000 | #Constraints: 15591
674.24/676.52 c #Conflicts: 397000 | #Constraints: 16591
674.24/676.52 c #Conflicts: 398000 | #Constraints: 17591
674.24/676.52 c #Conflicts: 399000 | #Constraints: 18591
674.24/676.52 c #Conflicts: 400000 | #Constraints: 19591
674.24/676.52 c #Conflicts: 401000 | #Constraints: 20591
674.24/676.52 c #Conflicts: 402000 | #Constraints: 21591
674.24/676.52 c #Conflicts: 403000 | #Constraints: 22591
674.24/676.52 c #Conflicts: 404000 | #Constraints: 23591
674.24/676.52 c #Conflicts: 405000 | #Constraints: 24591
674.24/676.52 c #Conflicts: 406000 | #Constraints: 25591
674.24/676.52 c #Conflicts: 407000 | #Constraints: 26591
674.24/676.52 c INPROCESSING
674.24/676.52 c GARBAGE COLLECT
674.24/676.52 c #Conflicts: 408000 | #Constraints: 14998
674.24/676.52 c #Conflicts: 409000 | #Constraints: 15998
674.24/676.52 c #Conflicts: 410000 | #Constraints: 16998
674.24/676.52 c #Conflicts: 411000 | #Constraints: 17998
674.24/676.52 c #Conflicts: 412000 | #Constraints: 18998
674.24/676.52 c #Conflicts: 413000 | #Constraints: 19998
674.24/676.52 c #Conflicts: 414000 | #Constraints: 20998
674.24/676.52 c #Conflicts: 415000 | #Constraints: 21998
674.24/676.52 c #Conflicts: 416000 | #Constraints: 22998
674.24/676.52 c #Conflicts: 417000 | #Constraints: 23998
674.24/676.52 c #Conflicts: 418000 | #Constraints: 24998
674.24/676.52 c #Conflicts: 419000 | #Constraints: 25998
674.24/676.52 c #Conflicts: 420000 | #Constraints: 26998
674.24/676.52 c INPROCESSING
674.24/676.52 c GARBAGE COLLECT
674.24/676.52 c #Conflicts: 421000 | #Constraints: 15187
674.24/676.52 c #Conflicts: 422000 | #Constraints: 16187
674.24/676.52 c #Conflicts: 423000 | #Constraints: 17187
674.24/676.52 c #Conflicts: 424000 | #Constraints: 18187
674.24/676.52 c #Conflicts: 425000 | #Constraints: 19187
674.24/676.52 c #Conflicts: 426000 | #Constraints: 20187
674.24/676.52 c #Conflicts: 427000 | #Constraints: 21187
674.24/676.52 c #Conflicts: 428000 | #Constraints: 22187
674.24/676.52 c #Conflicts: 429000 | #Constraints: 23187
674.24/676.52 c #Conflicts: 430000 | #Constraints: 24187
674.24/676.52 c #Conflicts: 431000 | #Constraints: 25187
674.24/676.52 c #Conflicts: 432000 | #Constraints: 26187
674.24/676.52 c #Conflicts: 433000 | #Constraints: 27187
674.24/676.52 c INPROCESSING
674.24/676.52 c GARBAGE COLLECT
674.24/676.52 c #Conflicts: 434000 | #Constraints: 15187
674.24/676.52 c #Conflicts: 435000 | #Constraints: 16187
674.24/676.52 c #Conflicts: 436000 | #Constraints: 17187
674.24/676.52 c #Conflicts: 437000 | #Constraints: 18187
743.52/746.07 c #Conflicts: 438000 | #Constraints: 19187
743.52/746.07 c #Conflicts: 439000 | #Constraints: 20187
743.52/746.07 c #Conflicts: 440000 | #Constraints: 21187
743.52/746.07 c #Conflicts: 441000 | #Constraints: 22187
743.52/746.07 c #Conflicts: 442000 | #Constraints: 23187
743.52/746.07 c #Conflicts: 443000 | #Constraints: 24187
743.52/746.07 c #Conflicts: 444000 | #Constraints: 25187
743.52/746.07 c #Conflicts: 445000 | #Constraints: 26187
743.52/746.07 c #Conflicts: 446000 | #Constraints: 27187
743.52/746.07 c INPROCESSING
743.52/746.07 c GARBAGE COLLECT
743.52/746.07 c #Conflicts: 447000 | #Constraints: 14990
743.52/746.07 c #Conflicts: 448000 | #Constraints: 15990
743.52/746.07 c #Conflicts: 449000 | #Constraints: 16990
743.52/746.07 c #Conflicts: 450000 | #Constraints: 17990
743.52/746.07 c #Conflicts: 451000 | #Constraints: 18990
743.52/746.07 c #Conflicts: 452000 | #Constraints: 19990
743.52/746.07 c #Conflicts: 453000 | #Constraints: 20990
743.52/746.07 c #Conflicts: 454000 | #Constraints: 21990
743.52/746.07 c #Conflicts: 455000 | #Constraints: 22990
743.52/746.07 c #Conflicts: 456000 | #Constraints: 23990
743.52/746.07 c #Conflicts: 457000 | #Constraints: 24990
743.52/746.07 c #Conflicts: 458000 | #Constraints: 25990
743.52/746.07 c #Conflicts: 459000 | #Constraints: 26990
743.52/746.07 c #Conflicts: 460000 | #Constraints: 27990
743.52/746.07 c INPROCESSING
743.52/746.07 c GARBAGE COLLECT
743.52/746.07 c #Conflicts: 461000 | #Constraints: 15593
743.52/746.07 c #Conflicts: 462000 | #Constraints: 16593
743.52/746.07 c #Conflicts: 463000 | #Constraints: 17593
743.52/746.07 c #Conflicts: 464000 | #Constraints: 18593
743.52/746.07 c #Conflicts: 465000 | #Constraints: 19593
743.52/746.07 c #Conflicts: 466000 | #Constraints: 20593
743.52/746.07 c #Conflicts: 467000 | #Constraints: 21593
743.52/746.07 c #Conflicts: 468000 | #Constraints: 22593
743.52/746.07 c #Conflicts: 469000 | #Constraints: 23593
743.52/746.07 c #Conflicts: 470000 | #Constraints: 24593
743.52/746.07 c #Conflicts: 471000 | #Constraints: 25593
743.52/746.07 c #Conflicts: 472000 | #Constraints: 26593
743.52/746.07 c #Conflicts: 473000 | #Constraints: 27593
743.52/746.07 c #Conflicts: 474000 | #Constraints: 28593
743.52/746.07 c INPROCESSING
743.52/746.07 c GARBAGE COLLECT
743.52/746.07 c #Conflicts: 475000 | #Constraints: 15989
743.52/746.07 c #Conflicts: 476000 | #Constraints: 16989
743.52/746.07 c #Conflicts: 477000 | #Constraints: 17989
743.52/746.07 c #Conflicts: 478000 | #Constraints: 18989
743.52/746.07 c #Conflicts: 479000 | #Constraints: 19989
743.52/746.07 c #Conflicts: 480000 | #Constraints: 20989
743.52/746.07 c #Conflicts: 481000 | #Constraints: 21989
743.52/746.07 c #Conflicts: 482000 | #Constraints: 22989
743.52/746.07 c #Conflicts: 483000 | #Constraints: 23989
743.52/746.07 c #Conflicts: 484000 | #Constraints: 24989
743.52/746.07 c #Conflicts: 485000 | #Constraints: 25989
743.52/746.07 c #Conflicts: 486000 | #Constraints: 26989
743.52/746.07 c #Conflicts: 487000 | #Constraints: 27989
743.52/746.07 c #Conflicts: 488000 | #Constraints: 28989
743.52/746.07 c INPROCESSING
743.52/746.07 c GARBAGE COLLECT
743.52/746.07 c #Conflicts: 489000 | #Constraints: 16209
743.52/746.07 c #Conflicts: 490000 | #Constraints: 17209
743.52/746.07 c #Conflicts: 491000 | #Constraints: 18209
743.52/746.07 c #Conflicts: 492000 | #Constraints: 19209
743.52/746.07 c #Conflicts: 493000 | #Constraints: 20209
743.52/746.07 c #Conflicts: 494000 | #Constraints: 21209
743.52/746.07 c #Conflicts: 495000 | #Constraints: 22209
743.52/746.07 c #Conflicts: 496000 | #Constraints: 23209
743.52/746.07 c #Conflicts: 497000 | #Constraints: 24209
743.52/746.07 c #Conflicts: 498000 | #Constraints: 25209
743.52/746.07 c #Conflicts: 499000 | #Constraints: 26209
743.52/746.07 c #Conflicts: 500000 | #Constraints: 27209
743.52/746.07 c #Conflicts: 501000 | #Constraints: 28209
743.52/746.07 c #Conflicts: 502000 | #Constraints: 29209
743.52/746.07 c INPROCESSING
743.52/746.07 c GARBAGE COLLECT
743.52/746.07 c #Conflicts: 503000 | #Constraints: 16200
743.52/746.07 c #Conflicts: 504000 | #Constraints: 17200
743.52/746.07 c #Conflicts: 505000 | #Constraints: 18200
743.52/746.07 c #Conflicts: 506000 | #Constraints: 19200
743.52/746.07 c #Conflicts: 507000 | #Constraints: 20200
743.52/746.07 c #Conflicts: 508000 | #Constraints: 21200
743.52/746.07 c #Conflicts: 509000 | #Constraints: 22200
743.52/746.07 c #Conflicts: 510000 | #Constraints: 23200
743.52/746.07 c #Conflicts: 511000 | #Constraints: 24200
743.52/746.07 c #Conflicts: 512000 | #Constraints: 25200
743.52/746.07 c #Conflicts: 513000 | #Constraints: 26200
825.35/828.13 c #Conflicts: 514000 | #Constraints: 27200
825.35/828.13 c #Conflicts: 515000 | #Constraints: 28200
825.35/828.13 c #Conflicts: 516000 | #Constraints: 29200
825.35/828.13 c INPROCESSING
825.35/828.13 c GARBAGE COLLECT
825.35/828.13 c #Conflicts: 517000 | #Constraints: 15991
825.35/828.13 c #Conflicts: 518000 | #Constraints: 16991
825.35/828.13 c #Conflicts: 519000 | #Constraints: 17991
825.35/828.13 c #Conflicts: 520000 | #Constraints: 18991
825.35/828.13 c #Conflicts: 521000 | #Constraints: 19991
825.35/828.13 c #Conflicts: 522000 | #Constraints: 20991
825.35/828.13 c #Conflicts: 523000 | #Constraints: 21991
825.35/828.13 c #Conflicts: 524000 | #Constraints: 22991
825.35/828.13 c #Conflicts: 525000 | #Constraints: 23991
825.35/828.13 c #Conflicts: 526000 | #Constraints: 24991
825.35/828.13 c #Conflicts: 527000 | #Constraints: 25991
825.35/828.13 c #Conflicts: 528000 | #Constraints: 26991
825.35/828.13 c #Conflicts: 529000 | #Constraints: 27991
825.35/828.13 c #Conflicts: 530000 | #Constraints: 28991
825.35/828.13 c #Conflicts: 531000 | #Constraints: 29991
825.35/828.13 c INPROCESSING
825.35/828.13 c GARBAGE COLLECT
825.35/828.13 c #Conflicts: 532000 | #Constraints: 16605
825.35/828.13 c #Conflicts: 533000 | #Constraints: 17605
825.35/828.13 c #Conflicts: 534000 | #Constraints: 18605
825.35/828.13 c #Conflicts: 535000 | #Constraints: 19605
825.35/828.13 c #Conflicts: 536000 | #Constraints: 20605
825.35/828.13 c #Conflicts: 537000 | #Constraints: 21605
825.35/828.13 c #Conflicts: 538000 | #Constraints: 22605
825.35/828.13 c #Conflicts: 539000 | #Constraints: 23605
825.35/828.13 c #Conflicts: 540000 | #Constraints: 24605
825.35/828.13 c #Conflicts: 541000 | #Constraints: 25605
825.35/828.13 c #Conflicts: 542000 | #Constraints: 26605
825.35/828.13 c #Conflicts: 543000 | #Constraints: 27605
825.35/828.13 c #Conflicts: 544000 | #Constraints: 28605
825.35/828.13 c #Conflicts: 545000 | #Constraints: 29605
825.35/828.13 c #Conflicts: 546000 | #Constraints: 30605
825.35/828.13 c INPROCESSING
825.35/828.13 c GARBAGE COLLECT
825.35/828.13 c #Conflicts: 547000 | #Constraints: 17022
825.35/828.13 c #Conflicts: 548000 | #Constraints: 18022
825.35/828.13 c #Conflicts: 549000 | #Constraints: 19022
825.35/828.13 c #Conflicts: 550000 | #Constraints: 20022
825.35/828.13 c #Conflicts: 551000 | #Constraints: 21022
825.35/828.13 c #Conflicts: 552000 | #Constraints: 22022
825.35/828.13 c #Conflicts: 553000 | #Constraints: 23022
825.35/828.13 c #Conflicts: 554000 | #Constraints: 24022
825.35/828.13 c #Conflicts: 555000 | #Constraints: 25022
825.35/828.13 c #Conflicts: 556000 | #Constraints: 26022
825.35/828.13 c #Conflicts: 557000 | #Constraints: 27022
825.35/828.13 c #Conflicts: 558000 | #Constraints: 28022
825.35/828.13 c #Conflicts: 559000 | #Constraints: 29022
825.35/828.13 c #Conflicts: 560000 | #Constraints: 30022
825.35/828.13 c #Conflicts: 561000 | #Constraints: 31022
825.35/828.13 c INPROCESSING
825.35/828.13 c GARBAGE COLLECT
825.35/828.13 c #Conflicts: 562000 | #Constraints: 17185
825.35/828.13 c #Conflicts: 563000 | #Constraints: 18185
825.35/828.13 c #Conflicts: 564000 | #Constraints: 19185
825.35/828.13 c #Conflicts: 565000 | #Constraints: 20185
825.35/828.13 c #Conflicts: 566000 | #Constraints: 21185
825.35/828.13 c #Conflicts: 567000 | #Constraints: 22185
825.35/828.13 c #Conflicts: 568000 | #Constraints: 23185
825.35/828.13 c #Conflicts: 569000 | #Constraints: 24185
825.35/828.13 c #Conflicts: 570000 | #Constraints: 25185
825.35/828.13 c #Conflicts: 571000 | #Constraints: 26185
825.35/828.13 c #Conflicts: 572000 | #Constraints: 27185
825.35/828.13 c #Conflicts: 573000 | #Constraints: 28185
825.35/828.13 c #Conflicts: 574000 | #Constraints: 29185
825.35/828.13 c #Conflicts: 575000 | #Constraints: 30185
825.35/828.13 c #Conflicts: 576000 | #Constraints: 31185
825.35/828.13 c INPROCESSING
825.35/828.13 c GARBAGE COLLECT
825.35/828.13 c #Conflicts: 577000 | #Constraints: 17179
825.35/828.13 c #Conflicts: 578000 | #Constraints: 18179
825.35/828.13 c #Conflicts: 579000 | #Constraints: 19179
825.35/828.13 c #Conflicts: 580000 | #Constraints: 20179
825.35/828.13 c #Conflicts: 581000 | #Constraints: 21179
825.35/828.13 c #Conflicts: 582000 | #Constraints: 22179
825.35/828.13 c #Conflicts: 583000 | #Constraints: 23179
825.35/828.13 c #Conflicts: 584000 | #Constraints: 24179
825.35/828.13 c #Conflicts: 585000 | #Constraints: 25179
825.35/828.13 c #Conflicts: 586000 | #Constraints: 26179
825.35/828.13 c #Conflicts: 587000 | #Constraints: 27179
825.35/828.13 c #Conflicts: 588000 | #Constraints: 28179
917.35/920.49 c #Conflicts: 589000 | #Constraints: 29179
917.35/920.49 c #Conflicts: 590000 | #Constraints: 30179
917.35/920.49 c #Conflicts: 591000 | #Constraints: 31179
917.35/920.49 c INPROCESSING
917.35/920.49 c GARBAGE COLLECT
917.35/920.49 c #Conflicts: 592000 | #Constraints: 17020
917.35/920.49 c #Conflicts: 593000 | #Constraints: 18020
917.35/920.49 c #Conflicts: 594000 | #Constraints: 19020
917.35/920.49 c #Conflicts: 595000 | #Constraints: 20020
917.35/920.49 c #Conflicts: 596000 | #Constraints: 21020
917.35/920.49 c #Conflicts: 597000 | #Constraints: 22020
917.35/920.49 c #Conflicts: 598000 | #Constraints: 23020
917.35/920.49 c #Conflicts: 599000 | #Constraints: 24020
917.35/920.49 c #Conflicts: 600000 | #Constraints: 25020
917.35/920.49 c #Conflicts: 601000 | #Constraints: 26020
917.35/920.49 c #Conflicts: 602000 | #Constraints: 27020
917.35/920.49 c #Conflicts: 603000 | #Constraints: 28020
917.35/920.49 c #Conflicts: 604000 | #Constraints: 29020
917.35/920.49 c #Conflicts: 605000 | #Constraints: 30020
917.35/920.49 c #Conflicts: 606000 | #Constraints: 31020
917.35/920.49 c #Conflicts: 607000 | #Constraints: 32020
917.35/920.49 c INPROCESSING
917.35/920.49 c GARBAGE COLLECT
917.35/920.49 c #Conflicts: 608000 | #Constraints: 17618
917.35/920.49 c #Conflicts: 609000 | #Constraints: 18618
917.35/920.49 c #Conflicts: 610000 | #Constraints: 19618
917.35/920.49 c #Conflicts: 611000 | #Constraints: 20618
917.35/920.49 c #Conflicts: 612000 | #Constraints: 21618
917.35/920.49 c #Conflicts: 613000 | #Constraints: 22618
917.35/920.49 c #Conflicts: 614000 | #Constraints: 23618
917.35/920.49 c #Conflicts: 615000 | #Constraints: 24618
917.35/920.49 c #Conflicts: 616000 | #Constraints: 25618
917.35/920.49 c #Conflicts: 617000 | #Constraints: 26618
917.35/920.49 c #Conflicts: 618000 | #Constraints: 27618
917.35/920.49 c #Conflicts: 619000 | #Constraints: 28618
917.35/920.49 c #Conflicts: 620000 | #Constraints: 29618
917.35/920.49 c #Conflicts: 621000 | #Constraints: 30618
917.35/920.49 c #Conflicts: 622000 | #Constraints: 31618
917.35/920.49 c #Conflicts: 623000 | #Constraints: 32618
917.35/920.49 c INPROCESSING
917.35/920.49 c GARBAGE COLLECT
917.35/920.49 c #Conflicts: 624000 | #Constraints: 18019
917.35/920.49 c #Conflicts: 625000 | #Constraints: 19019
917.35/920.49 c #Conflicts: 626000 | #Constraints: 20019
917.35/920.49 c #Conflicts: 627000 | #Constraints: 21019
917.35/920.49 c #Conflicts: 628000 | #Constraints: 22019
917.35/920.49 c #Conflicts: 629000 | #Constraints: 23019
917.35/920.49 c #Conflicts: 630000 | #Constraints: 24019
917.35/920.49 c #Conflicts: 631000 | #Constraints: 25019
917.35/920.49 c #Conflicts: 632000 | #Constraints: 26019
917.35/920.49 c #Conflicts: 633000 | #Constraints: 27019
917.35/920.49 c #Conflicts: 634000 | #Constraints: 28019
917.35/920.49 c #Conflicts: 635000 | #Constraints: 29019
917.35/920.49 c #Conflicts: 636000 | #Constraints: 30019
917.35/920.49 c #Conflicts: 637000 | #Constraints: 31019
917.35/920.49 c #Conflicts: 638000 | #Constraints: 32019
917.35/920.49 c #Conflicts: 639000 | #Constraints: 33019
917.35/920.49 c INPROCESSING
917.35/920.49 c GARBAGE COLLECT
917.35/920.49 c #Conflicts: 640000 | #Constraints: 18202
917.35/920.49 c #Conflicts: 641000 | #Constraints: 19202
917.35/920.49 c #Conflicts: 642000 | #Constraints: 20202
917.35/920.49 c #Conflicts: 643000 | #Constraints: 21202
917.35/920.49 c #Conflicts: 644000 | #Constraints: 22202
917.35/920.49 c #Conflicts: 645000 | #Constraints: 23202
917.35/920.49 c #Conflicts: 646000 | #Constraints: 24202
917.35/920.49 c #Conflicts: 647000 | #Constraints: 25202
917.35/920.49 c #Conflicts: 648000 | #Constraints: 26202
917.35/920.49 c #Conflicts: 649000 | #Constraints: 27202
917.35/920.49 c #Conflicts: 650000 | #Constraints: 28202
917.35/920.49 c #Conflicts: 651000 | #Constraints: 29202
917.35/920.49 c #Conflicts: 652000 | #Constraints: 30202
917.35/920.49 c #Conflicts: 653000 | #Constraints: 31202
917.35/920.49 c #Conflicts: 654000 | #Constraints: 32202
917.35/920.49 c #Conflicts: 655000 | #Constraints: 33202
917.35/920.49 c INPROCESSING
917.35/920.49 c GARBAGE COLLECT
917.35/920.49 c #Conflicts: 656000 | #Constraints: 18197
917.35/920.49 c #Conflicts: 657000 | #Constraints: 19197
917.35/920.49 c #Conflicts: 658000 | #Constraints: 20197
917.35/920.49 c #Conflicts: 659000 | #Constraints: 21197
917.35/920.49 c #Conflicts: 660000 | #Constraints: 22197
917.35/920.49 c #Conflicts: 661000 | #Constraints: 23197
917.35/920.49 c #Conflicts: 662000 | #Constraints: 24197
917.35/920.49 c #Conflicts: 663000 | #Constraints: 25197
917.35/920.49 c #Conflicts: 664000 | #Constraints: 26197
1028.23/1031.66 c #Conflicts: 665000 | #Constraints: 27197
1028.23/1031.66 c #Conflicts: 666000 | #Constraints: 28197
1028.23/1031.66 c #Conflicts: 667000 | #Constraints: 29197
1028.23/1031.66 c #Conflicts: 668000 | #Constraints: 30197
1028.23/1031.66 c #Conflicts: 669000 | #Constraints: 31197
1028.23/1031.66 c #Conflicts: 670000 | #Constraints: 32197
1028.23/1031.66 c #Conflicts: 671000 | #Constraints: 33197
1028.23/1031.66 c INPROCESSING
1028.23/1031.66 c GARBAGE COLLECT
1028.23/1031.66 c #Conflicts: 672000 | #Constraints: 18011
1028.23/1031.66 c #Conflicts: 673000 | #Constraints: 19011
1028.23/1031.66 c #Conflicts: 674000 | #Constraints: 20011
1028.23/1031.66 c #Conflicts: 675000 | #Constraints: 21011
1028.23/1031.66 c #Conflicts: 676000 | #Constraints: 22011
1028.23/1031.66 c #Conflicts: 677000 | #Constraints: 23011
1028.23/1031.66 c #Conflicts: 678000 | #Constraints: 24011
1028.23/1031.66 c #Conflicts: 679000 | #Constraints: 25011
1028.23/1031.66 c #Conflicts: 680000 | #Constraints: 26011
1028.23/1031.66 c #Conflicts: 681000 | #Constraints: 27011
1028.23/1031.66 c #Conflicts: 682000 | #Constraints: 28011
1028.23/1031.66 c #Conflicts: 683000 | #Constraints: 29011
1028.23/1031.66 c #Conflicts: 684000 | #Constraints: 30011
1028.23/1031.66 c #Conflicts: 685000 | #Constraints: 31011
1028.23/1031.66 c #Conflicts: 686000 | #Constraints: 32011
1028.23/1031.66 c #Conflicts: 687000 | #Constraints: 33011
1028.23/1031.66 c #Conflicts: 688000 | #Constraints: 34011
1028.23/1031.66 c INPROCESSING
1028.23/1031.66 c GARBAGE COLLECT
1028.23/1031.66 c #Conflicts: 689000 | #Constraints: 18606
1028.23/1031.66 c #Conflicts: 690000 | #Constraints: 19606
1028.23/1031.66 c #Conflicts: 691000 | #Constraints: 20606
1028.23/1031.66 c #Conflicts: 692000 | #Constraints: 21606
1028.23/1031.66 c #Conflicts: 693000 | #Constraints: 22606
1028.23/1031.66 c #Conflicts: 694000 | #Constraints: 23606
1028.23/1031.66 c #Conflicts: 695000 | #Constraints: 24606
1028.23/1031.66 c #Conflicts: 696000 | #Constraints: 25606
1028.23/1031.66 c #Conflicts: 697000 | #Constraints: 26606
1028.23/1031.66 c #Conflicts: 698000 | #Constraints: 27606
1028.23/1031.66 c #Conflicts: 699000 | #Constraints: 28606
1028.23/1031.66 c #Conflicts: 700000 | #Constraints: 29606
1028.23/1031.66 c #Conflicts: 701000 | #Constraints: 30606
1028.23/1031.66 c #Conflicts: 702000 | #Constraints: 31606
1028.23/1031.66 c #Conflicts: 703000 | #Constraints: 32606
1028.23/1031.66 c #Conflicts: 704000 | #Constraints: 33606
1028.23/1031.66 c #Conflicts: 705000 | #Constraints: 34606
1028.23/1031.66 c INPROCESSING
1028.23/1031.66 c GARBAGE COLLECT
1028.23/1031.66 c #Conflicts: 706000 | #Constraints: 19000
1028.23/1031.66 c #Conflicts: 707000 | #Constraints: 20000
1028.23/1031.66 c #Conflicts: 708000 | #Constraints: 21000
1028.23/1031.66 c #Conflicts: 709000 | #Constraints: 22000
1028.23/1031.66 c #Conflicts: 710000 | #Constraints: 23000
1028.23/1031.66 c #Conflicts: 711000 | #Constraints: 24000
1028.23/1031.66 c #Conflicts: 712000 | #Constraints: 25000
1028.23/1031.66 c #Conflicts: 713000 | #Constraints: 26000
1028.23/1031.66 c #Conflicts: 714000 | #Constraints: 27000
1028.23/1031.66 c #Conflicts: 715000 | #Constraints: 28000
1028.23/1031.66 c #Conflicts: 716000 | #Constraints: 29000
1028.23/1031.66 c #Conflicts: 717000 | #Constraints: 30000
1028.23/1031.66 c #Conflicts: 718000 | #Constraints: 31000
1028.23/1031.66 c #Conflicts: 719000 | #Constraints: 32000
1028.23/1031.66 c #Conflicts: 720000 | #Constraints: 33000
1028.23/1031.66 c #Conflicts: 721000 | #Constraints: 34000
1028.23/1031.66 c #Conflicts: 722000 | #Constraints: 35000
1028.23/1031.66 c INPROCESSING
1028.23/1031.66 c GARBAGE COLLECT
1028.23/1031.66 c #Conflicts: 723000 | #Constraints: 19191
1028.23/1031.66 c #Conflicts: 724000 | #Constraints: 20191
1028.23/1031.66 c #Conflicts: 725000 | #Constraints: 21191
1028.23/1031.66 c #Conflicts: 726000 | #Constraints: 22191
1028.23/1031.66 c #Conflicts: 727000 | #Constraints: 23191
1028.23/1031.66 c #Conflicts: 728000 | #Constraints: 24191
1028.23/1031.66 c #Conflicts: 729000 | #Constraints: 25191
1028.23/1031.66 c #Conflicts: 730000 | #Constraints: 26191
1028.23/1031.66 c #Conflicts: 731000 | #Constraints: 27191
1028.23/1031.66 c #Conflicts: 732000 | #Constraints: 28191
1028.23/1031.66 c #Conflicts: 733000 | #Constraints: 29191
1028.23/1031.66 c #Conflicts: 734000 | #Constraints: 30191
1028.23/1031.66 c #Conflicts: 735000 | #Constraints: 31191
1028.23/1031.66 c #Conflicts: 736000 | #Constraints: 32191
1028.23/1031.66 c #Conflicts: 737000 | #Constraints: 33191
1028.23/1031.66 c #Conflicts: 738000 | #Constraints: 34191
1028.23/1031.66 c #Conflicts: 739000 | #Constraints: 35191
1028.23/1031.66 c INPROCESSING
1028.23/1031.66 c GARBAGE COLLECT
1028.23/1031.66 c #Conflicts: 740000 | #Constraints: 19196
1135.02/1138.73 c #Conflicts: 741000 | #Constraints: 20196
1135.02/1138.73 c #Conflicts: 742000 | #Constraints: 21196
1135.02/1138.73 c #Conflicts: 743000 | #Constraints: 22196
1135.02/1138.73 c #Conflicts: 744000 | #Constraints: 23196
1135.02/1138.73 c #Conflicts: 745000 | #Constraints: 24196
1135.02/1138.73 c #Conflicts: 746000 | #Constraints: 25196
1135.02/1138.73 c #Conflicts: 747000 | #Constraints: 26196
1135.02/1138.73 c #Conflicts: 748000 | #Constraints: 27196
1135.02/1138.73 c #Conflicts: 749000 | #Constraints: 28196
1135.02/1138.73 c #Conflicts: 750000 | #Constraints: 29196
1135.02/1138.73 c #Conflicts: 751000 | #Constraints: 30196
1135.02/1138.73 c #Conflicts: 752000 | #Constraints: 31196
1135.02/1138.73 c #Conflicts: 753000 | #Constraints: 32196
1135.02/1138.73 c #Conflicts: 754000 | #Constraints: 33196
1135.02/1138.73 c #Conflicts: 755000 | #Constraints: 34196
1135.02/1138.73 c #Conflicts: 756000 | #Constraints: 35196
1135.02/1138.73 c INPROCESSING
1135.02/1138.73 c GARBAGE COLLECT
1135.02/1138.73 c #Conflicts: 757000 | #Constraints: 19022
1135.02/1138.73 c #Conflicts: 758000 | #Constraints: 20022
1135.02/1138.73 c #Conflicts: 759000 | #Constraints: 21022
1135.02/1138.73 c #Conflicts: 760000 | #Constraints: 22022
1135.02/1138.73 c #Conflicts: 761000 | #Constraints: 23022
1135.02/1138.73 c #Conflicts: 762000 | #Constraints: 24022
1135.02/1138.73 c #Conflicts: 763000 | #Constraints: 25022
1135.02/1138.73 c #Conflicts: 764000 | #Constraints: 26022
1135.02/1138.73 c #Conflicts: 765000 | #Constraints: 27022
1135.02/1138.73 c #Conflicts: 766000 | #Constraints: 28022
1135.02/1138.73 c #Conflicts: 767000 | #Constraints: 29022
1135.02/1138.73 c #Conflicts: 768000 | #Constraints: 30022
1135.02/1138.73 c #Conflicts: 769000 | #Constraints: 31022
1135.02/1138.73 c #Conflicts: 770000 | #Constraints: 32022
1135.02/1138.73 c #Conflicts: 771000 | #Constraints: 33022
1135.02/1138.73 c #Conflicts: 772000 | #Constraints: 34022
1135.02/1138.73 c #Conflicts: 773000 | #Constraints: 35022
1135.02/1138.73 c #Conflicts: 774000 | #Constraints: 36022
1135.02/1138.73 c INPROCESSING
1135.02/1138.73 c GARBAGE COLLECT
1135.02/1138.73 c #Conflicts: 775000 | #Constraints: 19620
1135.02/1138.73 c #Conflicts: 776000 | #Constraints: 20620
1135.02/1138.73 c #Conflicts: 777000 | #Constraints: 21620
1135.02/1138.73 c #Conflicts: 778000 | #Constraints: 22620
1135.02/1138.73 c #Conflicts: 779000 | #Constraints: 23620
1135.02/1138.73 c #Conflicts: 780000 | #Constraints: 24620
1135.02/1138.73 c #Conflicts: 781000 | #Constraints: 25620
1135.02/1138.73 c #Conflicts: 782000 | #Constraints: 26620
1135.02/1138.73 c #Conflicts: 783000 | #Constraints: 27620
1135.02/1138.73 c #Conflicts: 784000 | #Constraints: 28620
1135.02/1138.73 c #Conflicts: 785000 | #Constraints: 29620
1135.02/1138.73 c #Conflicts: 786000 | #Constraints: 30620
1135.02/1138.73 c #Conflicts: 787000 | #Constraints: 31620
1135.02/1138.73 c #Conflicts: 788000 | #Constraints: 32620
1135.02/1138.73 c #Conflicts: 789000 | #Constraints: 33620
1135.02/1138.73 c #Conflicts: 790000 | #Constraints: 34620
1135.02/1138.73 c #Conflicts: 791000 | #Constraints: 35620
1135.02/1138.73 c #Conflicts: 792000 | #Constraints: 36620
1135.02/1138.73 c INPROCESSING
1135.02/1138.73 c GARBAGE COLLECT
1135.02/1138.73 c #Conflicts: 793000 | #Constraints: 20023
1135.02/1138.73 c #Conflicts: 794000 | #Constraints: 21023
1135.02/1138.73 c #Conflicts: 795000 | #Constraints: 22023
1135.02/1138.73 c #Conflicts: 796000 | #Constraints: 23023
1135.02/1138.73 c #Conflicts: 797000 | #Constraints: 24023
1135.02/1138.73 c #Conflicts: 798000 | #Constraints: 25023
1135.02/1138.73 c #Conflicts: 799000 | #Constraints: 26023
1135.02/1138.73 c #Conflicts: 800000 | #Constraints: 27023
1135.02/1138.73 c #Conflicts: 801000 | #Constraints: 28023
1135.02/1138.73 c #Conflicts: 802000 | #Constraints: 29023
1135.02/1138.73 c #Conflicts: 803000 | #Constraints: 30023
1135.02/1138.73 c #Conflicts: 804000 | #Constraints: 31023
1135.02/1138.73 c #Conflicts: 805000 | #Constraints: 32023
1135.02/1138.73 c #Conflicts: 806000 | #Constraints: 33023
1135.02/1138.73 c #Conflicts: 807000 | #Constraints: 34023
1135.02/1138.73 c #Conflicts: 808000 | #Constraints: 35023
1135.02/1138.73 c #Conflicts: 809000 | #Constraints: 36023
1135.02/1138.73 c #Conflicts: 810000 | #Constraints: 37023
1135.02/1138.73 c INPROCESSING
1135.02/1138.73 c GARBAGE COLLECT
1135.02/1138.73 c #Conflicts: 811000 | #Constraints: 20203
1135.02/1138.73 c #Conflicts: 812000 | #Constraints: 21203
1135.02/1138.73 c #Conflicts: 813000 | #Constraints: 22203
1135.02/1138.73 c #Conflicts: 814000 | #Constraints: 23203
1135.02/1138.73 c #Conflicts: 815000 | #Constraints: 24203
1135.02/1138.73 c #Conflicts: 816000 | #Constraints: 25203
1252.16/1256.20 c #Conflicts: 817000 | #Constraints: 26203
1252.16/1256.20 c #Conflicts: 818000 | #Constraints: 27203
1252.16/1256.20 c #Conflicts: 819000 | #Constraints: 28203
1252.16/1256.20 c #Conflicts: 820000 | #Constraints: 29203
1252.16/1256.20 c #Conflicts: 821000 | #Constraints: 30203
1252.16/1256.20 c #Conflicts: 822000 | #Constraints: 31203
1252.16/1256.20 c #Conflicts: 823000 | #Constraints: 32203
1252.16/1256.20 c #Conflicts: 824000 | #Constraints: 33203
1252.16/1256.20 c #Conflicts: 825000 | #Constraints: 34203
1252.16/1256.20 c #Conflicts: 826000 | #Constraints: 35203
1252.16/1256.20 c #Conflicts: 827000 | #Constraints: 36203
1252.16/1256.20 c #Conflicts: 828000 | #Constraints: 37203
1252.16/1256.20 c INPROCESSING
1252.16/1256.20 c GARBAGE COLLECT
1252.16/1256.20 c #Conflicts: 829000 | #Constraints: 20205
1252.16/1256.20 c #Conflicts: 830000 | #Constraints: 21205
1252.16/1256.20 c #Conflicts: 831000 | #Constraints: 22205
1252.16/1256.20 c #Conflicts: 832000 | #Constraints: 23205
1252.16/1256.20 c #Conflicts: 833000 | #Constraints: 24205
1252.16/1256.20 c #Conflicts: 834000 | #Constraints: 25205
1252.16/1256.20 c #Conflicts: 835000 | #Constraints: 26205
1252.16/1256.20 c #Conflicts: 836000 | #Constraints: 27205
1252.16/1256.20 c #Conflicts: 837000 | #Constraints: 28205
1252.16/1256.20 c #Conflicts: 838000 | #Constraints: 29205
1252.16/1256.20 c #Conflicts: 839000 | #Constraints: 30205
1252.16/1256.20 c #Conflicts: 840000 | #Constraints: 31205
1252.16/1256.20 c #Conflicts: 841000 | #Constraints: 32205
1252.16/1256.20 c #Conflicts: 842000 | #Constraints: 33205
1252.16/1256.20 c #Conflicts: 843000 | #Constraints: 34205
1252.16/1256.20 c #Conflicts: 844000 | #Constraints: 35205
1252.16/1256.20 c #Conflicts: 845000 | #Constraints: 36205
1252.16/1256.20 c #Conflicts: 846000 | #Constraints: 37205
1252.16/1256.20 c INPROCESSING
1252.16/1256.20 c GARBAGE COLLECT
1252.16/1256.20 c #Conflicts: 847000 | #Constraints: 20008
1252.16/1256.20 c #Conflicts: 848000 | #Constraints: 21008
1252.16/1256.20 c #Conflicts: 849000 | #Constraints: 22008
1252.16/1256.20 c #Conflicts: 850000 | #Constraints: 23008
1252.16/1256.20 c #Conflicts: 851000 | #Constraints: 24008
1252.16/1256.20 c #Conflicts: 852000 | #Constraints: 25008
1252.16/1256.20 c #Conflicts: 853000 | #Constraints: 26008
1252.16/1256.20 c #Conflicts: 854000 | #Constraints: 27008
1252.16/1256.20 c #Conflicts: 855000 | #Constraints: 28008
1252.16/1256.20 c #Conflicts: 856000 | #Constraints: 29008
1252.16/1256.20 c #Conflicts: 857000 | #Constraints: 30008
1252.16/1256.20 c #Conflicts: 858000 | #Constraints: 31008
1252.16/1256.20 c #Conflicts: 859000 | #Constraints: 32008
1252.16/1256.20 c #Conflicts: 860000 | #Constraints: 33008
1252.16/1256.20 c #Conflicts: 861000 | #Constraints: 34008
1252.16/1256.20 c #Conflicts: 862000 | #Constraints: 35008
1252.16/1256.20 c #Conflicts: 863000 | #Constraints: 36008
1252.16/1256.20 c #Conflicts: 864000 | #Constraints: 37008
1252.16/1256.20 c #Conflicts: 865000 | #Constraints: 38008
1252.16/1256.20 c INPROCESSING
1252.16/1256.20 c GARBAGE COLLECT
1252.16/1256.20 c #Conflicts: 866000 | #Constraints: 20593
1252.16/1256.20 c #Conflicts: 867000 | #Constraints: 21593
1252.16/1256.20 c #Conflicts: 868000 | #Constraints: 22593
1252.16/1256.20 c #Conflicts: 869000 | #Constraints: 23593
1252.16/1256.20 c #Conflicts: 870000 | #Constraints: 24593
1252.16/1256.20 c #Conflicts: 871000 | #Constraints: 25593
1252.16/1256.20 c #Conflicts: 872000 | #Constraints: 26593
1252.16/1256.20 c #Conflicts: 873000 | #Constraints: 27593
1252.16/1256.20 c #Conflicts: 874000 | #Constraints: 28593
1252.16/1256.20 c #Conflicts: 875000 | #Constraints: 29593
1252.16/1256.20 c #Conflicts: 876000 | #Constraints: 30593
1252.16/1256.20 c #Conflicts: 877000 | #Constraints: 31593
1252.16/1256.20 c #Conflicts: 878000 | #Constraints: 32593
1252.16/1256.20 c #Conflicts: 879000 | #Constraints: 33593
1252.16/1256.20 c #Conflicts: 880000 | #Constraints: 34593
1252.16/1256.20 c #Conflicts: 881000 | #Constraints: 35593
1252.16/1256.20 c #Conflicts: 882000 | #Constraints: 36593
1252.16/1256.20 c #Conflicts: 883000 | #Constraints: 37593
1252.16/1256.20 c #Conflicts: 884000 | #Constraints: 38593
1252.16/1256.20 c INPROCESSING
1252.16/1256.20 c GARBAGE COLLECT
1252.16/1256.20 c #Conflicts: 885000 | #Constraints: 20992
1252.16/1256.20 c #Conflicts: 886000 | #Constraints: 21992
1252.16/1256.20 c #Conflicts: 887000 | #Constraints: 22992
1252.16/1256.20 c #Conflicts: 888000 | #Constraints: 23992
1252.16/1256.20 c #Conflicts: 889000 | #Constraints: 24992
1252.16/1256.20 c #Conflicts: 890000 | #Constraints: 25992
1252.16/1256.20 c #Conflicts: 891000 | #Constraints: 26992
1252.16/1256.20 c #Conflicts: 892000 | #Constraints: 27992
1353.88/1358.25 c #Conflicts: 893000 | #Constraints: 28992
1353.88/1358.25 c #Conflicts: 894000 | #Constraints: 29992
1353.88/1358.25 c #Conflicts: 895000 | #Constraints: 30992
1353.88/1358.25 c #Conflicts: 896000 | #Constraints: 31992
1353.88/1358.25 c #Conflicts: 897000 | #Constraints: 32992
1353.88/1358.25 c #Conflicts: 898000 | #Constraints: 33992
1353.88/1358.25 c #Conflicts: 899000 | #Constraints: 34992
1353.88/1358.25 c #Conflicts: 900000 | #Constraints: 35992
1353.88/1358.25 c #Conflicts: 901000 | #Constraints: 36992
1353.88/1358.25 c #Conflicts: 902000 | #Constraints: 37992
1353.88/1358.25 c #Conflicts: 903000 | #Constraints: 38992
1353.88/1358.25 c INPROCESSING
1353.88/1358.25 c GARBAGE COLLECT
1353.88/1358.25 c #Conflicts: 904000 | #Constraints: 21221
1353.88/1358.25 c #Conflicts: 905000 | #Constraints: 22221
1353.88/1358.25 c #Conflicts: 906000 | #Constraints: 23221
1353.88/1358.25 c #Conflicts: 907000 | #Constraints: 24221
1353.88/1358.25 c #Conflicts: 908000 | #Constraints: 25221
1353.88/1358.25 c #Conflicts: 909000 | #Constraints: 26221
1353.88/1358.25 c #Conflicts: 910000 | #Constraints: 27221
1353.88/1358.25 c #Conflicts: 911000 | #Constraints: 28221
1353.88/1358.25 c #Conflicts: 912000 | #Constraints: 29221
1353.88/1358.25 c #Conflicts: 913000 | #Constraints: 30221
1353.88/1358.25 c #Conflicts: 914000 | #Constraints: 31221
1353.88/1358.25 c #Conflicts: 915000 | #Constraints: 32221
1353.88/1358.25 c #Conflicts: 916000 | #Constraints: 33221
1353.88/1358.25 c #Conflicts: 917000 | #Constraints: 34221
1353.88/1358.25 c #Conflicts: 918000 | #Constraints: 35221
1353.88/1358.25 c #Conflicts: 919000 | #Constraints: 36221
1353.88/1358.25 c #Conflicts: 920000 | #Constraints: 37221
1353.88/1358.25 c #Conflicts: 921000 | #Constraints: 38221
1353.88/1358.25 c #Conflicts: 922000 | #Constraints: 39221
1353.88/1358.25 c INPROCESSING
1353.88/1358.25 c GARBAGE COLLECT
1353.88/1358.25 c #Conflicts: 923000 | #Constraints: 21236
1353.88/1358.25 c #Conflicts: 924000 | #Constraints: 22236
1353.88/1358.25 c #Conflicts: 925000 | #Constraints: 23236
1353.88/1358.25 c #Conflicts: 926000 | #Constraints: 24236
1353.88/1358.25 c #Conflicts: 927000 | #Constraints: 25236
1353.88/1358.25 c #Conflicts: 928000 | #Constraints: 26236
1353.88/1358.25 c #Conflicts: 929000 | #Constraints: 27236
1353.88/1358.25 c #Conflicts: 930000 | #Constraints: 28236
1353.88/1358.25 c #Conflicts: 931000 | #Constraints: 29236
1353.88/1358.25 c #Conflicts: 932000 | #Constraints: 30236
1353.88/1358.25 c #Conflicts: 933000 | #Constraints: 31236
1353.88/1358.25 c #Conflicts: 934000 | #Constraints: 32236
1353.88/1358.25 c #Conflicts: 935000 | #Constraints: 33236
1353.88/1358.25 c #Conflicts: 936000 | #Constraints: 34236
1353.88/1358.25 c #Conflicts: 937000 | #Constraints: 35236
1353.88/1358.25 c #Conflicts: 938000 | #Constraints: 36236
1353.88/1358.25 c #Conflicts: 939000 | #Constraints: 37236
1353.88/1358.25 c #Conflicts: 940000 | #Constraints: 38236
1353.88/1358.25 c #Conflicts: 941000 | #Constraints: 39236
1353.88/1358.25 c INPROCESSING
1353.88/1358.25 c GARBAGE COLLECT
1353.88/1358.25 c #Conflicts: 942000 | #Constraints: 21049
1353.88/1358.25 c #Conflicts: 943000 | #Constraints: 22049
1353.88/1358.25 c #Conflicts: 944000 | #Constraints: 23049
1353.88/1358.25 c #Conflicts: 945000 | #Constraints: 24049
1353.88/1358.25 c #Conflicts: 946000 | #Constraints: 25049
1353.88/1358.25 c #Conflicts: 947000 | #Constraints: 26049
1353.88/1358.25 c #Conflicts: 948000 | #Constraints: 27049
1353.88/1358.25 c #Conflicts: 949000 | #Constraints: 28049
1353.88/1358.25 c #Conflicts: 950000 | #Constraints: 29049
1353.88/1358.25 c #Conflicts: 951000 | #Constraints: 30049
1353.88/1358.25 c #Conflicts: 952000 | #Constraints: 31049
1353.88/1358.25 c #Conflicts: 953000 | #Constraints: 32049
1353.88/1358.25 c #Conflicts: 954000 | #Constraints: 33049
1353.88/1358.25 c #Conflicts: 955000 | #Constraints: 34049
1353.88/1358.25 c #Conflicts: 956000 | #Constraints: 35049
1353.88/1358.25 c #Conflicts: 957000 | #Constraints: 36049
1353.88/1358.25 c #Conflicts: 958000 | #Constraints: 37049
1353.88/1358.25 c #Conflicts: 959000 | #Constraints: 38049
1353.88/1358.25 c #Conflicts: 960000 | #Constraints: 39049
1353.88/1358.25 c #Conflicts: 961000 | #Constraints: 40049
1353.88/1358.25 c INPROCESSING
1353.88/1358.25 c GARBAGE COLLECT
1353.88/1358.25 c #Conflicts: 962000 | #Constraints: 21635
1353.88/1358.25 c #Conflicts: 963000 | #Constraints: 22635
1353.88/1358.25 c #Conflicts: 964000 | #Constraints: 23635
1353.88/1358.25 c #Conflicts: 965000 | #Constraints: 24635
1353.88/1358.25 c #Conflicts: 966000 | #Constraints: 25635
1353.88/1358.25 c #Conflicts: 967000 | #Constraints: 26635
1353.88/1358.25 c #Conflicts: 968000 | #Constraints: 27635
1453.02/1457.62 c #Conflicts: 969000 | #Constraints: 28635
1453.02/1457.62 c #Conflicts: 970000 | #Constraints: 29635
1453.02/1457.62 c #Conflicts: 971000 | #Constraints: 30635
1453.02/1457.62 c #Conflicts: 972000 | #Constraints: 31635
1453.02/1457.62 c #Conflicts: 973000 | #Constraints: 32635
1453.02/1457.62 c #Conflicts: 974000 | #Constraints: 33635
1453.02/1457.62 c #Conflicts: 975000 | #Constraints: 34635
1453.02/1457.62 c #Conflicts: 976000 | #Constraints: 35635
1453.02/1457.62 c #Conflicts: 977000 | #Constraints: 36635
1453.02/1457.62 c #Conflicts: 978000 | #Constraints: 37635
1453.02/1457.62 c #Conflicts: 979000 | #Constraints: 38635
1453.02/1457.62 c #Conflicts: 980000 | #Constraints: 39635
1453.02/1457.62 c #Conflicts: 981000 | #Constraints: 40635
1453.02/1457.62 c INPROCESSING
1453.02/1457.62 c GARBAGE COLLECT
1453.02/1457.62 c #Conflicts: 982000 | #Constraints: 22034
1453.02/1457.62 c #Conflicts: 983000 | #Constraints: 23034
1453.02/1457.62 c #Conflicts: 984000 | #Constraints: 24034
1453.02/1457.62 c #Conflicts: 985000 | #Constraints: 25034
1453.02/1457.62 c #Conflicts: 986000 | #Constraints: 26034
1453.02/1457.62 c #Conflicts: 987000 | #Constraints: 27034
1453.02/1457.62 c #Conflicts: 988000 | #Constraints: 28034
1453.02/1457.62 c #Conflicts: 989000 | #Constraints: 29034
1453.02/1457.62 c #Conflicts: 990000 | #Constraints: 30034
1453.02/1457.62 c #Conflicts: 991000 | #Constraints: 31034
1453.02/1457.62 c #Conflicts: 992000 | #Constraints: 32034
1453.02/1457.62 c #Conflicts: 993000 | #Constraints: 33034
1453.02/1457.62 c #Conflicts: 994000 | #Constraints: 34034
1453.02/1457.62 c #Conflicts: 995000 | #Constraints: 35034
1453.02/1457.62 c #Conflicts: 996000 | #Constraints: 36034
1453.02/1457.62 c #Conflicts: 997000 | #Constraints: 37034
1453.02/1457.62 c #Conflicts: 998000 | #Constraints: 38034
1453.02/1457.62 c #Conflicts: 999000 | #Constraints: 39034
1453.02/1457.62 c #Conflicts: 1000000 | #Constraints: 40034
1453.02/1457.62 c #Conflicts: 1001000 | #Constraints: 41034
1453.02/1457.62 c INPROCESSING
1453.02/1457.62 c GARBAGE COLLECT
1453.02/1457.62 c #Conflicts: 1002000 | #Constraints: 22254
1453.02/1457.62 c #Conflicts: 1003000 | #Constraints: 23254
1453.02/1457.62 c #Conflicts: 1004000 | #Constraints: 24254
1453.02/1457.62 c #Conflicts: 1005000 | #Constraints: 25254
1453.02/1457.62 c #Conflicts: 1006000 | #Constraints: 26254
1453.02/1457.62 c #Conflicts: 1007000 | #Constraints: 27254
1453.02/1457.62 c #Conflicts: 1008000 | #Constraints: 28254
1453.02/1457.62 c #Conflicts: 1009000 | #Constraints: 29254
1453.02/1457.62 c #Conflicts: 1010000 | #Constraints: 30254
1453.02/1457.62 c #Conflicts: 1011000 | #Constraints: 31254
1453.02/1457.62 c #Conflicts: 1012000 | #Constraints: 32254
1453.02/1457.62 c #Conflicts: 1013000 | #Constraints: 33254
1453.02/1457.62 c #Conflicts: 1014000 | #Constraints: 34254
1453.02/1457.62 c #Conflicts: 1015000 | #Constraints: 35254
1453.02/1457.62 c #Conflicts: 1016000 | #Constraints: 36254
1453.02/1457.62 c #Conflicts: 1017000 | #Constraints: 37254
1453.02/1457.62 c #Conflicts: 1018000 | #Constraints: 38254
1453.02/1457.62 c #Conflicts: 1019000 | #Constraints: 39254
1453.02/1457.62 c #Conflicts: 1020000 | #Constraints: 40254
1453.02/1457.62 c #Conflicts: 1021000 | #Constraints: 41254
1453.02/1457.62 c INPROCESSING
1453.02/1457.62 c GARBAGE COLLECT
1453.02/1457.62 c #Conflicts: 1022000 | #Constraints: 22234
1453.02/1457.62 c #Conflicts: 1023000 | #Constraints: 23234
1453.02/1457.62 c #Conflicts: 1024000 | #Constraints: 24234
1453.02/1457.62 c #Conflicts: 1025000 | #Constraints: 25234
1453.02/1457.62 c #Conflicts: 1026000 | #Constraints: 26234
1453.02/1457.62 c #Conflicts: 1027000 | #Constraints: 27234
1453.02/1457.62 c #Conflicts: 1028000 | #Constraints: 28234
1453.02/1457.62 c #Conflicts: 1029000 | #Constraints: 29234
1453.02/1457.62 c #Conflicts: 1030000 | #Constraints: 30234
1453.02/1457.62 c #Conflicts: 1031000 | #Constraints: 31234
1453.02/1457.62 c #Conflicts: 1032000 | #Constraints: 32234
1453.02/1457.62 c #Conflicts: 1033000 | #Constraints: 33234
1453.02/1457.62 c #Conflicts: 1034000 | #Constraints: 34234
1453.02/1457.62 c #Conflicts: 1035000 | #Constraints: 35234
1453.02/1457.62 c #Conflicts: 1036000 | #Constraints: 36234
1453.02/1457.62 c #Conflicts: 1037000 | #Constraints: 37234
1453.02/1457.62 c #Conflicts: 1038000 | #Constraints: 38234
1453.02/1457.62 c #Conflicts: 1039000 | #Constraints: 39234
1453.02/1457.62 c #Conflicts: 1040000 | #Constraints: 40234
1453.02/1457.62 c #Conflicts: 1041000 | #Constraints: 41234
1453.02/1457.62 c INPROCESSING
1453.02/1457.62 c GARBAGE COLLECT
1453.02/1457.62 c #Conflicts: 1042000 | #Constraints: 22045
1453.02/1457.62 c #Conflicts: 1043000 | #Constraints: 23045
1453.02/1457.62 c #Conflicts: 1044000 | #Constraints: 24045
1453.02/1457.62 c #Conflicts: 1045000 | #Constraints: 25045
1552.56/1557.44 c #Conflicts: 1046000 | #Constraints: 26045
1552.56/1557.44 c #Conflicts: 1047000 | #Constraints: 27045
1552.56/1557.44 c #Conflicts: 1048000 | #Constraints: 28045
1552.56/1557.44 c #Conflicts: 1049000 | #Constraints: 29045
1552.56/1557.44 c #Conflicts: 1050000 | #Constraints: 30045
1552.56/1557.44 c #Conflicts: 1051000 | #Constraints: 31045
1552.56/1557.44 c #Conflicts: 1052000 | #Constraints: 32045
1552.56/1557.44 c #Conflicts: 1053000 | #Constraints: 33045
1552.56/1557.44 c #Conflicts: 1054000 | #Constraints: 34045
1552.56/1557.44 c #Conflicts: 1055000 | #Constraints: 35045
1552.56/1557.44 c #Conflicts: 1056000 | #Constraints: 36045
1552.56/1557.44 c #Conflicts: 1057000 | #Constraints: 37045
1552.56/1557.44 c #Conflicts: 1058000 | #Constraints: 38045
1552.56/1557.44 c #Conflicts: 1059000 | #Constraints: 39045
1552.56/1557.44 c #Conflicts: 1060000 | #Constraints: 40045
1552.56/1557.44 c #Conflicts: 1061000 | #Constraints: 41045
1552.56/1557.44 c #Conflicts: 1062000 | #Constraints: 42045
1552.56/1557.44 c INPROCESSING
1552.56/1557.44 c GARBAGE COLLECT
1552.56/1557.44 c #Conflicts: 1063000 | #Constraints: 22653
1552.56/1557.44 c #Conflicts: 1064000 | #Constraints: 23653
1552.56/1557.45 c #Conflicts: 1065000 | #Constraints: 24653
1552.56/1557.45 c #Conflicts: 1066000 | #Constraints: 25653
1552.56/1557.45 c #Conflicts: 1067000 | #Constraints: 26653
1552.56/1557.45 c #Conflicts: 1068000 | #Constraints: 27653
1552.56/1557.45 c #Conflicts: 1069000 | #Constraints: 28653
1552.56/1557.45 c #Conflicts: 1070000 | #Constraints: 29653
1552.56/1557.45 c #Conflicts: 1071000 | #Constraints: 30653
1552.56/1557.45 c #Conflicts: 1072000 | #Constraints: 31653
1552.56/1557.45 c #Conflicts: 1073000 | #Constraints: 32653
1552.56/1557.45 c #Conflicts: 1074000 | #Constraints: 33653
1552.56/1557.45 c #Conflicts: 1075000 | #Constraints: 34653
1552.56/1557.45 c #Conflicts: 1076000 | #Constraints: 35653
1552.56/1557.45 c #Conflicts: 1077000 | #Constraints: 36653
1552.56/1557.45 c #Conflicts: 1078000 | #Constraints: 37653
1552.56/1557.45 c #Conflicts: 1079000 | #Constraints: 38653
1552.56/1557.45 c #Conflicts: 1080000 | #Constraints: 39653
1552.56/1557.45 c #Conflicts: 1081000 | #Constraints: 40653
1552.56/1557.45 c #Conflicts: 1082000 | #Constraints: 41653
1552.56/1557.45 c #Conflicts: 1083000 | #Constraints: 42653
1552.56/1557.45 c INPROCESSING
1552.56/1557.45 c GARBAGE COLLECT
1552.56/1557.45 c #Conflicts: 1084000 | #Constraints: 23033
1552.56/1557.45 c #Conflicts: 1085000 | #Constraints: 24033
1552.56/1557.45 c #Conflicts: 1086000 | #Constraints: 25033
1552.56/1557.45 c #Conflicts: 1087000 | #Constraints: 26033
1552.56/1557.45 c #Conflicts: 1088000 | #Constraints: 27033
1552.56/1557.45 c #Conflicts: 1089000 | #Constraints: 28033
1552.56/1557.45 c #Conflicts: 1090000 | #Constraints: 29033
1552.56/1557.45 c #Conflicts: 1091000 | #Constraints: 30033
1552.56/1557.45 c #Conflicts: 1092000 | #Constraints: 31033
1552.56/1557.45 c #Conflicts: 1093000 | #Constraints: 32033
1552.56/1557.45 c #Conflicts: 1094000 | #Constraints: 33033
1552.56/1557.45 c #Conflicts: 1095000 | #Constraints: 34033
1552.56/1557.45 c #Conflicts: 1096000 | #Constraints: 35033
1552.56/1557.45 c #Conflicts: 1097000 | #Constraints: 36033
1552.56/1557.45 c #Conflicts: 1098000 | #Constraints: 37033
1552.56/1557.45 c #Conflicts: 1099000 | #Constraints: 38033
1552.56/1557.45 c #Conflicts: 1100000 | #Constraints: 39033
1552.56/1557.45 c #Conflicts: 1101000 | #Constraints: 40033
1552.56/1557.45 c #Conflicts: 1102000 | #Constraints: 41033
1552.56/1557.45 c #Conflicts: 1103000 | #Constraints: 42033
1552.56/1557.45 c #Conflicts: 1104000 | #Constraints: 43033
1552.56/1557.45 c INPROCESSING
1552.56/1557.45 c GARBAGE COLLECT
1552.56/1557.45 c #Conflicts: 1105000 | #Constraints: 23233
1552.56/1557.45 c #Conflicts: 1106000 | #Constraints: 24233
1552.56/1557.45 c #Conflicts: 1107000 | #Constraints: 25233
1552.56/1557.45 c #Conflicts: 1108000 | #Constraints: 26233
1552.56/1557.45 c #Conflicts: 1109000 | #Constraints: 27233
1552.56/1557.45 c #Conflicts: 1110000 | #Constraints: 28233
1552.56/1557.45 c #Conflicts: 1111000 | #Constraints: 29233
1552.56/1557.45 c #Conflicts: 1112000 | #Constraints: 30233
1552.56/1557.45 c #Conflicts: 1113000 | #Constraints: 31233
1552.56/1557.45 c #Conflicts: 1114000 | #Constraints: 32233
1552.56/1557.45 c #Conflicts: 1115000 | #Constraints: 33233
1552.56/1557.45 c #Conflicts: 1116000 | #Constraints: 34233
1552.56/1557.45 c #Conflicts: 1117000 | #Constraints: 35233
1552.56/1557.45 c #Conflicts: 1118000 | #Constraints: 36233
1552.56/1557.45 c #Conflicts: 1119000 | #Constraints: 37233
1552.56/1557.45 c #Conflicts: 1120000 | #Constraints: 38233
1552.56/1557.45 c #Conflicts: 1121000 | #Constraints: 39233
1684.82/1690.07 c #Conflicts: 1122000 | #Constraints: 40233
1684.82/1690.07 c #Conflicts: 1123000 | #Constraints: 41233
1684.82/1690.07 c #Conflicts: 1124000 | #Constraints: 42233
1684.82/1690.07 c #Conflicts: 1125000 | #Constraints: 43233
1684.82/1690.07 c INPROCESSING
1684.82/1690.07 c GARBAGE COLLECT
1684.82/1690.07 c #Conflicts: 1126000 | #Constraints: 23236
1684.82/1690.07 c #Conflicts: 1127000 | #Constraints: 24236
1684.82/1690.07 c #Conflicts: 1128000 | #Constraints: 25236
1684.82/1690.07 c #Conflicts: 1129000 | #Constraints: 26236
1684.82/1690.07 c #Conflicts: 1130000 | #Constraints: 27236
1684.82/1690.07 c #Conflicts: 1131000 | #Constraints: 28236
1684.82/1690.07 c #Conflicts: 1132000 | #Constraints: 29236
1684.82/1690.07 c #Conflicts: 1133000 | #Constraints: 30236
1684.82/1690.07 c #Conflicts: 1134000 | #Constraints: 31236
1684.82/1690.07 c #Conflicts: 1135000 | #Constraints: 32236
1684.82/1690.07 c #Conflicts: 1136000 | #Constraints: 33236
1684.82/1690.07 c #Conflicts: 1137000 | #Constraints: 34236
1684.82/1690.07 c #Conflicts: 1138000 | #Constraints: 35236
1684.82/1690.07 c #Conflicts: 1139000 | #Constraints: 36236
1684.82/1690.07 c #Conflicts: 1140000 | #Constraints: 37236
1684.82/1690.07 c #Conflicts: 1141000 | #Constraints: 38236
1684.82/1690.07 c #Conflicts: 1142000 | #Constraints: 39236
1684.82/1690.07 c #Conflicts: 1143000 | #Constraints: 40236
1684.82/1690.07 c #Conflicts: 1144000 | #Constraints: 41236
1684.82/1690.07 c #Conflicts: 1145000 | #Constraints: 42236
1684.82/1690.07 c #Conflicts: 1146000 | #Constraints: 43236
1684.82/1690.07 c INPROCESSING
1684.82/1690.07 c GARBAGE COLLECT
1684.82/1690.07 c #Conflicts: 1147000 | #Constraints: 23031
1684.82/1690.07 c #Conflicts: 1148000 | #Constraints: 24031
1684.82/1690.07 c #Conflicts: 1149000 | #Constraints: 25031
1684.82/1690.07 c #Conflicts: 1150000 | #Constraints: 26031
1684.82/1690.07 c #Conflicts: 1151000 | #Constraints: 27031
1684.82/1690.07 c #Conflicts: 1152000 | #Constraints: 28031
1684.82/1690.07 c #Conflicts: 1153000 | #Constraints: 29031
1684.82/1690.07 c #Conflicts: 1154000 | #Constraints: 30031
1684.82/1690.07 c #Conflicts: 1155000 | #Constraints: 31031
1684.82/1690.07 c #Conflicts: 1156000 | #Constraints: 32031
1684.82/1690.07 c #Conflicts: 1157000 | #Constraints: 33031
1684.82/1690.07 c #Conflicts: 1158000 | #Constraints: 34031
1684.82/1690.07 c #Conflicts: 1159000 | #Constraints: 35031
1684.82/1690.07 c #Conflicts: 1160000 | #Constraints: 36031
1684.82/1690.07 c #Conflicts: 1161000 | #Constraints: 37031
1684.82/1690.07 c #Conflicts: 1162000 | #Constraints: 38031
1684.82/1690.07 c #Conflicts: 1163000 | #Constraints: 39031
1684.82/1690.07 c #Conflicts: 1164000 | #Constraints: 40031
1684.82/1690.07 c #Conflicts: 1165000 | #Constraints: 41031
1684.82/1690.07 c #Conflicts: 1166000 | #Constraints: 42031
1684.82/1690.07 c #Conflicts: 1167000 | #Constraints: 43031
1684.82/1690.07 c #Conflicts: 1168000 | #Constraints: 44031
1684.82/1690.07 c INPROCESSING
1684.82/1690.07 c GARBAGE COLLECT
1684.82/1690.07 c #Conflicts: 1169000 | #Constraints: 23644
1684.82/1690.07 c #Conflicts: 1170000 | #Constraints: 24644
1684.82/1690.07 c #Conflicts: 1171000 | #Constraints: 25644
1684.82/1690.07 c #Conflicts: 1172000 | #Constraints: 26644
1684.82/1690.07 c #Conflicts: 1173000 | #Constraints: 27644
1684.82/1690.07 c #Conflicts: 1174000 | #Constraints: 28644
1684.82/1690.07 c #Conflicts: 1175000 | #Constraints: 29644
1684.82/1690.07 c #Conflicts: 1176000 | #Constraints: 30644
1684.82/1690.07 c #Conflicts: 1177000 | #Constraints: 31644
1684.82/1690.07 c #Conflicts: 1178000 | #Constraints: 32644
1684.82/1690.07 c #Conflicts: 1179000 | #Constraints: 33644
1684.82/1690.07 c #Conflicts: 1180000 | #Constraints: 34644
1684.82/1690.07 c #Conflicts: 1181000 | #Constraints: 35644
1684.82/1690.07 c #Conflicts: 1182000 | #Constraints: 36644
1684.82/1690.07 c #Conflicts: 1183000 | #Constraints: 37644
1684.82/1690.07 c #Conflicts: 1184000 | #Constraints: 38644
1684.82/1690.07 c #Conflicts: 1185000 | #Constraints: 39644
1684.82/1690.07 c #Conflicts: 1186000 | #Constraints: 40644
1684.82/1690.07 c #Conflicts: 1187000 | #Constraints: 41644
1684.82/1690.07 c #Conflicts: 1188000 | #Constraints: 42644
1684.82/1690.07 c #Conflicts: 1189000 | #Constraints: 43644
1684.82/1690.07 c #Conflicts: 1190000 | #Constraints: 44644
1684.82/1690.07 c INPROCESSING
1684.82/1690.07 c GARBAGE COLLECT
1684.82/1690.07 c #Conflicts: 1191000 | #Constraints: 24049
1684.82/1690.07 c #Conflicts: 1192000 | #Constraints: 25049
1684.82/1690.07 c #Conflicts: 1193000 | #Constraints: 26049
1684.82/1690.07 c #Conflicts: 1194000 | #Constraints: 27049
1684.82/1690.07 c #Conflicts: 1195000 | #Constraints: 28049
1684.82/1690.07 c #Conflicts: 1196000 | #Constraints: 29049
1684.82/1690.07 c #Conflicts: 1197000 | #Constraints: 30049
1684.82/1690.07 c #Conflicts: 1198000 | #Constraints: 31049
1824.24/1829.84 c #Conflicts: 1199000 | #Constraints: 32049
1824.24/1829.84 c #Conflicts: 1200000 | #Constraints: 33049
1824.24/1829.84 c #Conflicts: 1201000 | #Constraints: 34049
1824.24/1829.84 c #Conflicts: 1202000 | #Constraints: 35049
1824.24/1829.84 c #Conflicts: 1203000 | #Constraints: 36049
1824.24/1829.84 c #Conflicts: 1204000 | #Constraints: 37049
1824.24/1829.84 c #Conflicts: 1205000 | #Constraints: 38049
1824.24/1829.84 c #Conflicts: 1206000 | #Constraints: 39049
1824.24/1829.84 c #Conflicts: 1207000 | #Constraints: 40049
1824.24/1829.84 c #Conflicts: 1208000 | #Constraints: 41049
1824.24/1829.84 c #Conflicts: 1209000 | #Constraints: 42049
1824.24/1829.84 c #Conflicts: 1210000 | #Constraints: 43049
1824.24/1829.84 c #Conflicts: 1211000 | #Constraints: 44049
1824.24/1829.84 c #Conflicts: 1212000 | #Constraints: 45049
1824.24/1829.84 c INPROCESSING
1824.24/1829.84 c GARBAGE COLLECT
1824.24/1829.84 c #Conflicts: 1213000 | #Constraints: 24229
1824.24/1829.84 c #Conflicts: 1214000 | #Constraints: 25229
1824.24/1829.84 c #Conflicts: 1215000 | #Constraints: 26229
1824.24/1829.84 c #Conflicts: 1216000 | #Constraints: 27229
1824.24/1829.84 c #Conflicts: 1217000 | #Constraints: 28229
1824.24/1829.84 c #Conflicts: 1218000 | #Constraints: 29229
1824.24/1829.84 c #Conflicts: 1219000 | #Constraints: 30229
1824.24/1829.84 c #Conflicts: 1220000 | #Constraints: 31229
1824.24/1829.84 c #Conflicts: 1221000 | #Constraints: 32229
1824.24/1829.84 c #Conflicts: 1222000 | #Constraints: 33229
1824.24/1829.84 c #Conflicts: 1223000 | #Constraints: 34229
1824.24/1829.84 c #Conflicts: 1224000 | #Constraints: 35229
1824.24/1829.84 c #Conflicts: 1225000 | #Constraints: 36229
1824.24/1829.84 c #Conflicts: 1226000 | #Constraints: 37229
1824.24/1829.84 c #Conflicts: 1227000 | #Constraints: 38229
1824.24/1829.84 c #Conflicts: 1228000 | #Constraints: 39229
1824.24/1829.84 c #Conflicts: 1229000 | #Constraints: 40229
1824.24/1829.84 c #Conflicts: 1230000 | #Constraints: 41229
1824.24/1829.84 c #Conflicts: 1231000 | #Constraints: 42229
1824.24/1829.84 c #Conflicts: 1232000 | #Constraints: 43229
1824.24/1829.84 c #Conflicts: 1233000 | #Constraints: 44229
1824.24/1829.84 c #Conflicts: 1234000 | #Constraints: 45229
1824.24/1829.84 c INPROCESSING
1824.24/1829.84 c GARBAGE COLLECT
1824.24/1829.84 c #Conflicts: 1235000 | #Constraints: 24246
1824.24/1829.84 c #Conflicts: 1236000 | #Constraints: 25246
1824.24/1829.84 c #Conflicts: 1237000 | #Constraints: 26246
1824.24/1829.84 c #Conflicts: 1238000 | #Constraints: 27246
1824.24/1829.84 c #Conflicts: 1239000 | #Constraints: 28246
1824.24/1829.84 c #Conflicts: 1240000 | #Constraints: 29246
1824.24/1829.84 c #Conflicts: 1241000 | #Constraints: 30246
1824.24/1829.84 c #Conflicts: 1242000 | #Constraints: 31246
1824.24/1829.84 c #Conflicts: 1243000 | #Constraints: 32246
1824.24/1829.84 c #Conflicts: 1244000 | #Constraints: 33246
1824.24/1829.84 c #Conflicts: 1245000 | #Constraints: 34246
1824.24/1829.84 c #Conflicts: 1246000 | #Constraints: 35246
1824.24/1829.84 c #Conflicts: 1247000 | #Constraints: 36246
1824.24/1829.84 c #Conflicts: 1248000 | #Constraints: 37246
1824.24/1829.84 c #Conflicts: 1249000 | #Constraints: 38246
1824.24/1829.84 c #Conflicts: 1250000 | #Constraints: 39246
1824.24/1829.84 c #Conflicts: 1251000 | #Constraints: 40246
1824.24/1829.84 c #Conflicts: 1252000 | #Constraints: 41246
1824.24/1829.84 c #Conflicts: 1253000 | #Constraints: 42246
1824.24/1829.84 c #Conflicts: 1254000 | #Constraints: 43246
1824.24/1829.84 c #Conflicts: 1255000 | #Constraints: 44246
1824.24/1829.84 c #Conflicts: 1256000 | #Constraints: 45246
1824.24/1829.84 c INPROCESSING
1824.24/1829.84 c GARBAGE COLLECT
1824.24/1829.84 c #Conflicts: 1257000 | #Constraints: 24056
1824.24/1829.84 c #Conflicts: 1258000 | #Constraints: 25056
1824.24/1829.84 c #Conflicts: 1259000 | #Constraints: 26056
1824.24/1829.84 c #Conflicts: 1260000 | #Constraints: 27056
1824.24/1829.84 c #Conflicts: 1261000 | #Constraints: 28056
1824.24/1829.84 c #Conflicts: 1262000 | #Constraints: 29056
1824.24/1829.84 c #Conflicts: 1263000 | #Constraints: 30056
1824.24/1829.84 c #Conflicts: 1264000 | #Constraints: 31056
1824.24/1829.84 c #Conflicts: 1265000 | #Constraints: 32056
1824.24/1829.84 c #Conflicts: 1266000 | #Constraints: 33056
1824.24/1829.84 c #Conflicts: 1267000 | #Constraints: 34056
1824.24/1829.84 c #Conflicts: 1268000 | #Constraints: 35056
1824.24/1829.84 c #Conflicts: 1269000 | #Constraints: 36056
1824.24/1829.84 c #Conflicts: 1270000 | #Constraints: 37056
1824.24/1829.84 c #Conflicts: 1271000 | #Constraints: 38056
1824.24/1829.84 c #Conflicts: 1272000 | #Constraints: 39056
1824.24/1829.84 c #Conflicts: 1273000 | #Constraints: 40056
1824.24/1829.84 c #Conflicts: 1274000 | #Constraints: 41056
1824.24/1829.84 c #Conflicts: 1275000 | #Constraints: 42056
1956.39/1962.32 c #Conflicts: 1276000 | #Constraints: 43056
1956.39/1962.32 c #Conflicts: 1277000 | #Constraints: 44056
1956.39/1962.32 c #Conflicts: 1278000 | #Constraints: 45056
1956.39/1962.32 c #Conflicts: 1279000 | #Constraints: 46056
1956.39/1962.32 c INPROCESSING
1956.39/1962.32 c GARBAGE COLLECT
1956.39/1962.32 c #Conflicts: 1280000 | #Constraints: 24632
1956.39/1962.32 c #Conflicts: 1281000 | #Constraints: 25632
1956.39/1962.32 c #Conflicts: 1282000 | #Constraints: 26632
1956.39/1962.32 c #Conflicts: 1283000 | #Constraints: 27632
1956.39/1962.32 c #Conflicts: 1284000 | #Constraints: 28632
1956.39/1962.32 c #Conflicts: 1285000 | #Constraints: 29632
1956.39/1962.32 c #Conflicts: 1286000 | #Constraints: 30632
1956.39/1962.32 c #Conflicts: 1287000 | #Constraints: 31632
1956.39/1962.32 c #Conflicts: 1288000 | #Constraints: 32632
1956.39/1962.32 c #Conflicts: 1289000 | #Constraints: 33632
1956.39/1962.32 c #Conflicts: 1290000 | #Constraints: 34632
1956.39/1962.32 c #Conflicts: 1291000 | #Constraints: 35632
1956.39/1962.32 c #Conflicts: 1292000 | #Constraints: 36632
1956.39/1962.32 c #Conflicts: 1293000 | #Constraints: 37632
1956.39/1962.32 c #Conflicts: 1294000 | #Constraints: 38632
1956.39/1962.32 c #Conflicts: 1295000 | #Constraints: 39632
1956.39/1962.32 c #Conflicts: 1296000 | #Constraints: 40632
1956.39/1962.32 c #Conflicts: 1297000 | #Constraints: 41632
1956.39/1962.32 c #Conflicts: 1298000 | #Constraints: 42632
1956.39/1962.32 c #Conflicts: 1299000 | #Constraints: 43632
1956.39/1962.32 c #Conflicts: 1300000 | #Constraints: 44632
1956.39/1962.32 c #Conflicts: 1301000 | #Constraints: 45632
1956.39/1962.32 c #Conflicts: 1302000 | #Constraints: 46632
1956.39/1962.32 c INPROCESSING
1956.39/1962.32 c GARBAGE COLLECT
1956.39/1962.32 c #Conflicts: 1303000 | #Constraints: 25043
1956.39/1962.32 c #Conflicts: 1304000 | #Constraints: 26043
1956.39/1962.32 c #Conflicts: 1305000 | #Constraints: 27043
1956.39/1962.32 c #Conflicts: 1306000 | #Constraints: 28043
1956.39/1962.32 c #Conflicts: 1307000 | #Constraints: 29043
1956.39/1962.32 c #Conflicts: 1308000 | #Constraints: 30043
1956.39/1962.32 c #Conflicts: 1309000 | #Constraints: 31043
1956.39/1962.32 c #Conflicts: 1310000 | #Constraints: 32043
1956.39/1962.32 c #Conflicts: 1311000 | #Constraints: 33043
1956.39/1962.32 c #Conflicts: 1312000 | #Constraints: 34043
1956.39/1962.32 c #Conflicts: 1313000 | #Constraints: 35043
1956.39/1962.32 c #Conflicts: 1314000 | #Constraints: 36043
1956.39/1962.32 c #Conflicts: 1315000 | #Constraints: 37043
1956.39/1962.32 c #Conflicts: 1316000 | #Constraints: 38043
1956.39/1962.32 c #Conflicts: 1317000 | #Constraints: 39043
1956.39/1962.32 c #Conflicts: 1318000 | #Constraints: 40043
1956.39/1962.32 c #Conflicts: 1319000 | #Constraints: 41043
1956.39/1962.32 c #Conflicts: 1320000 | #Constraints: 42043
1956.39/1962.32 c #Conflicts: 1321000 | #Constraints: 43043
1956.39/1962.32 c #Conflicts: 1322000 | #Constraints: 44043
1956.39/1962.32 c #Conflicts: 1323000 | #Constraints: 45043
1956.39/1962.32 c #Conflicts: 1324000 | #Constraints: 46043
1956.39/1962.32 c #Conflicts: 1325000 | #Constraints: 47043
1956.39/1962.32 c INPROCESSING
1956.39/1962.32 c GARBAGE COLLECT
1956.39/1962.32 c #Conflicts: 1326000 | #Constraints: 25221
1956.39/1962.32 c #Conflicts: 1327000 | #Constraints: 26221
1956.39/1962.32 c #Conflicts: 1328000 | #Constraints: 27221
1956.39/1962.32 c #Conflicts: 1329000 | #Constraints: 28221
1956.39/1962.32 c #Conflicts: 1330000 | #Constraints: 29221
1956.39/1962.32 c #Conflicts: 1331000 | #Constraints: 30221
1956.39/1962.32 c #Conflicts: 1332000 | #Constraints: 31221
1956.39/1962.32 c #Conflicts: 1333000 | #Constraints: 32221
1956.39/1962.32 c #Conflicts: 1334000 | #Constraints: 33221
1956.39/1962.32 c #Conflicts: 1335000 | #Constraints: 34221
1956.39/1962.32 c #Conflicts: 1336000 | #Constraints: 35221
1956.39/1962.32 c #Conflicts: 1337000 | #Constraints: 36221
1956.39/1962.32 c #Conflicts: 1338000 | #Constraints: 37221
1956.39/1962.32 c #Conflicts: 1339000 | #Constraints: 38221
1956.39/1962.32 c #Conflicts: 1340000 | #Constraints: 39221
1956.39/1962.32 c #Conflicts: 1341000 | #Constraints: 40221
1956.39/1962.32 c #Conflicts: 1342000 | #Constraints: 41221
1956.39/1962.32 c #Conflicts: 1343000 | #Constraints: 42221
1956.39/1962.32 c #Conflicts: 1344000 | #Constraints: 43221
1956.39/1962.32 c #Conflicts: 1345000 | #Constraints: 44221
1956.39/1962.32 c #Conflicts: 1346000 | #Constraints: 45221
1956.39/1962.32 c #Conflicts: 1347000 | #Constraints: 46221
1956.39/1962.32 c #Conflicts: 1348000 | #Constraints: 47221
1956.39/1962.32 c INPROCESSING
1956.39/1962.32 c GARBAGE COLLECT
1956.39/1962.32 c #Conflicts: 1349000 | #Constraints: 25261
1956.39/1962.32 c #Conflicts: 1350000 | #Constraints: 26261
1956.39/1962.32 c #Conflicts: 1351000 | #Constraints: 27261
2098.31/2104.65 c #Conflicts: 1352000 | #Constraints: 28261
2098.31/2104.65 c #Conflicts: 1353000 | #Constraints: 29261
2098.31/2104.65 c #Conflicts: 1354000 | #Constraints: 30261
2098.31/2104.65 c #Conflicts: 1355000 | #Constraints: 31261
2098.31/2104.65 c #Conflicts: 1356000 | #Constraints: 32261
2098.31/2104.65 c #Conflicts: 1357000 | #Constraints: 33261
2098.31/2104.65 c #Conflicts: 1358000 | #Constraints: 34261
2098.31/2104.65 c #Conflicts: 1359000 | #Constraints: 35261
2098.31/2104.65 c #Conflicts: 1360000 | #Constraints: 36261
2098.31/2104.65 c #Conflicts: 1361000 | #Constraints: 37261
2098.31/2104.65 c #Conflicts: 1362000 | #Constraints: 38261
2098.31/2104.65 c #Conflicts: 1363000 | #Constraints: 39261
2098.31/2104.65 c #Conflicts: 1364000 | #Constraints: 40261
2098.31/2104.65 c #Conflicts: 1365000 | #Constraints: 41261
2098.31/2104.65 c #Conflicts: 1366000 | #Constraints: 42261
2098.31/2104.65 c #Conflicts: 1367000 | #Constraints: 43261
2098.31/2104.65 c #Conflicts: 1368000 | #Constraints: 44261
2098.31/2104.65 c #Conflicts: 1369000 | #Constraints: 45261
2098.31/2104.65 c #Conflicts: 1370000 | #Constraints: 46261
2098.31/2104.65 c #Conflicts: 1371000 | #Constraints: 47261
2098.31/2104.65 c INPROCESSING
2098.31/2104.65 c GARBAGE COLLECT
2098.31/2104.65 c #Conflicts: 1372000 | #Constraints: 25053
2098.31/2104.65 c #Conflicts: 1373000 | #Constraints: 26053
2098.31/2104.65 c #Conflicts: 1374000 | #Constraints: 27053
2098.31/2104.65 c #Conflicts: 1375000 | #Constraints: 28053
2098.31/2104.65 c #Conflicts: 1376000 | #Constraints: 29053
2098.31/2104.65 c #Conflicts: 1377000 | #Constraints: 30053
2098.31/2104.65 c #Conflicts: 1378000 | #Constraints: 31053
2098.31/2104.65 c #Conflicts: 1379000 | #Constraints: 32053
2098.31/2104.65 c #Conflicts: 1380000 | #Constraints: 33053
2098.31/2104.65 c #Conflicts: 1381000 | #Constraints: 34053
2098.31/2104.65 c #Conflicts: 1382000 | #Constraints: 35053
2098.31/2104.65 c #Conflicts: 1383000 | #Constraints: 36053
2098.31/2104.65 c #Conflicts: 1384000 | #Constraints: 37053
2098.31/2104.65 c #Conflicts: 1385000 | #Constraints: 38053
2098.31/2104.65 c #Conflicts: 1386000 | #Constraints: 39053
2098.31/2104.65 c #Conflicts: 1387000 | #Constraints: 40053
2098.31/2104.65 c #Conflicts: 1388000 | #Constraints: 41053
2098.31/2104.65 c #Conflicts: 1389000 | #Constraints: 42053
2098.31/2104.65 c #Conflicts: 1390000 | #Constraints: 43053
2098.31/2104.65 c #Conflicts: 1391000 | #Constraints: 44053
2098.31/2104.65 c #Conflicts: 1392000 | #Constraints: 45053
2098.31/2104.65 c #Conflicts: 1393000 | #Constraints: 46053
2098.31/2104.65 c #Conflicts: 1394000 | #Constraints: 47053
2098.31/2104.65 c #Conflicts: 1395000 | #Constraints: 48053
2098.31/2104.65 c INPROCESSING
2098.31/2104.65 c GARBAGE COLLECT
2098.31/2104.65 c #Conflicts: 1396000 | #Constraints: 25638
2098.31/2104.65 c #Conflicts: 1397000 | #Constraints: 26638
2098.31/2104.65 c #Conflicts: 1398000 | #Constraints: 27638
2098.31/2104.65 c #Conflicts: 1399000 | #Constraints: 28638
2098.31/2104.65 c #Conflicts: 1400000 | #Constraints: 29638
2098.31/2104.65 c #Conflicts: 1401000 | #Constraints: 30638
2098.31/2104.65 c #Conflicts: 1402000 | #Constraints: 31638
2098.31/2104.65 c #Conflicts: 1403000 | #Constraints: 32638
2098.31/2104.65 c #Conflicts: 1404000 | #Constraints: 33638
2098.31/2104.65 c #Conflicts: 1405000 | #Constraints: 34638
2098.31/2104.65 c #Conflicts: 1406000 | #Constraints: 35638
2098.31/2104.65 c #Conflicts: 1407000 | #Constraints: 36638
2098.31/2104.65 c #Conflicts: 1408000 | #Constraints: 37638
2098.31/2104.65 c #Conflicts: 1409000 | #Constraints: 38638
2098.31/2104.65 c #Conflicts: 1410000 | #Constraints: 39638
2098.31/2104.65 c #Conflicts: 1411000 | #Constraints: 40638
2098.31/2104.65 c #Conflicts: 1412000 | #Constraints: 41638
2098.31/2104.65 c #Conflicts: 1413000 | #Constraints: 42638
2098.31/2104.65 c #Conflicts: 1414000 | #Constraints: 43638
2098.31/2104.65 c #Conflicts: 1415000 | #Constraints: 44638
2098.31/2104.65 c #Conflicts: 1416000 | #Constraints: 45638
2098.31/2104.65 c #Conflicts: 1417000 | #Constraints: 46638
2098.31/2104.65 c #Conflicts: 1418000 | #Constraints: 47638
2098.31/2104.65 c #Conflicts: 1419000 | #Constraints: 48638
2098.31/2104.65 c INPROCESSING
2098.31/2104.65 c GARBAGE COLLECT
2098.31/2104.65 c #Conflicts: 1420000 | #Constraints: 26049
2098.31/2104.65 c #Conflicts: 1421000 | #Constraints: 27049
2098.31/2104.65 c #Conflicts: 1422000 | #Constraints: 28049
2098.31/2104.65 c #Conflicts: 1423000 | #Constraints: 29049
2098.31/2104.65 c #Conflicts: 1424000 | #Constraints: 30049
2098.31/2104.65 c #Conflicts: 1425000 | #Constraints: 31049
2098.31/2104.65 c #Conflicts: 1426000 | #Constraints: 32049
2098.31/2104.65 c #Conflicts: 1427000 | #Constraints: 33049
2098.31/2104.65 c finalizing WCE round: reformulating cores
2098.31/2104.65 c bounds -1912641 >= -1912641 @ 2089.34
2098.31/2104.65 d SOLVEDBY oll
2098.31/2104.65 c cpu time 2089.34 s
2098.31/2104.65 c deterministic time 265759683674 2.66e+11
2098.31/2104.65 c optimization time 3.98349 s
2098.31/2104.65 c total solve time 1785.67 s
2098.31/2104.65 c core-guided solve time 1785.67 s
2098.31/2104.65 c propagation time 1385.52 s
2098.31/2104.65 c conflict analysis time 378.457 s
2098.31/2104.65 c propagations 85886661
2098.31/2104.65 c resolve steps 20988553
2098.31/2104.65 c decisions 6054362
2098.31/2104.65 c conflicts 1427965
2098.31/2104.65 c restarts 2776
2098.31/2104.65 c inprocessing phases 110
2098.31/2104.65 c input clauses 4
2098.31/2104.65 c input cardinalities 4
2098.31/2104.65 c input general constraints 1194
2098.31/2104.65 c input average constraint length 398.05
2098.31/2104.65 c input average constraint degree 189337.64
2098.31/2104.65 c learned clauses 1112318
2098.31/2104.65 c learned cardinalities 43
2098.31/2104.65 c learned general constraints 315604
2098.31/2104.65 c learned average constraint length 227.77
2098.31/2104.65 c learned average constraint degree 52591.39
2098.31/2104.65 c watched constraints 301766
2098.31/2104.65 c counting constraints 15032
2098.31/2104.65 c gcd simplifications 219479
2098.31/2104.65 c detected cardinalities 0
2098.31/2104.65 c weakened non-implied lits 33274199
2098.31/2104.65 c weakened non-implying lits 650171
2098.31/2104.65 c original variables 1289
2098.31/2104.65 c clausal propagations 7416903
2098.31/2104.65 c cardinality propagations 175191
2098.31/2104.65 c watched propagations 30993895
2098.31/2104.65 c counting propagations 45489104
2098.31/2104.65 c watch lookups 18830552624
2098.31/2104.65 c watch backjump lookups 14393527423
2098.31/2104.65 c watch checks 224427419157
2098.31/2104.65 c propagation checks 4662224452
2098.31/2104.65 c constraint additions 3260650698
2098.31/2104.65 c trail pops 93368296
2098.31/2104.65 c formula constraints 1073
2098.31/2104.65 c learned constraints 1427965
2098.31/2104.65 c bound constraints 121
2098.31/2104.65 c core-guided constraints 8
2098.31/2104.65 c encountered formula constraints 9396664
2098.31/2104.65 c encountered learned constraints 12986097
2098.31/2104.65 c encountered bound constraints 575
2098.31/2104.65 c encountered core-guided constraints 33182
2098.31/2104.65 c LP total time 0 s
2098.31/2104.65 c LP solve time 0 s
2098.31/2104.65 c LP constraints added 0
2098.31/2104.65 c LP constraints removed 0
2098.31/2104.65 c LP pivots internal 0
2098.31/2104.65 c LP pivots root 0
2098.31/2104.65 c LP calls 0
2098.31/2104.65 c LP optimalities 0
2098.31/2104.65 c LP no pivot count 0
2098.31/2104.65 c LP infeasibilities 0
2098.31/2104.65 c LP valid Farkas constraints 0
2098.31/2104.65 c LP learned Farkas constraints 0
2098.31/2104.65 c LP basis resets 0
2098.31/2104.65 c LP cycling count 0
2098.31/2104.65 c LP singular count 0
2098.31/2104.65 c LP no primal count 0
2098.31/2104.65 c LP no farkas count 0
2098.31/2104.65 c LP other issue count 0
2098.31/2104.65 c LP Gomory cuts 0
2098.31/2104.65 c LP learned cuts 0
2098.31/2104.65 c LP deleted cuts 0
2098.31/2104.65 c LP encountered Gomory constraints 0
2098.31/2104.65 c LP encountered Farkas constraints 0
2098.31/2104.65 c LP encountered learned Farkas constraints 0
2098.31/2104.65 c CG auxiliary variables introduced 3
2098.31/2104.65 c CG solutions found 117
2098.31/2104.65 c CG cores constructed 3
2098.31/2104.65 c CG core cardinality constraints returned 0
2098.31/2104.65 c CG unit cores 0
2098.31/2104.65 c CG single cores 3
2098.31/2104.65 c CG blocks removed during cardinality reduction 0
2098.31/2104.65 c CG first core best 0
2098.31/2104.65 c CG decision core best 0
2098.31/2104.65 c CG core reduction tie 0
2098.31/2104.65 c CG core degree average 1.00
2098.31/2104.65 c CG core slack average 198.33
2098.31/2104.65 c CG exhausted 0
2098.31/2104.65 c CG exhaust time 2.76067 s
2098.31/2104.65 c CG trimmed 101
2098.31/2104.65 c CG trim time 1.19365 s
2098.31/2104.65 c CG minimized 0
2098.31/2104.65 c CG minimize time 0 s
2098.31/2104.65 c CG am1 prop time 0.003836 s
2098.31/2104.65 c CG # am1s reformulated 0
2098.31/2104.65 c CG lower bound derived from am1s 0
2098.31/2104.65 c CG # clausal cores 3
2098.31/2104.65 c CG # cardinality cores 0
2098.31/2104.65 c CG # pb cores 0
2098.31/2104.65 c CG # pb reforms 0
2098.31/2104.65 c CG # cores discarded because of pb reform 0
2098.31/2104.65 d LOWERBOUND -1912641
2098.31/2104.65 d NCORES 3
2098.31/2104.65 d NPBCORES 0
2098.31/2104.65 d NPBREFORM 0
2098.31/2104.65 d NTRIMMED 101
2098.31/2104.65 d NEXHAUSTED 0
2098.31/2104.65 d NAM1S 0
2098.31/2104.65 d AM1LB 0
2098.31/2104.65 c [Papilo Statistics]
2098.31/2104.65 c prepro time 0.141561s
2098.31/2104.65 c # tsx applied 400
2098.31/2104.65 c # tsx conflicts 0
2098.31/2104.65 c # bound changes 13
2098.31/2104.65 c # side changes 200
2098.31/2104.65 c # coef changes 400
2098.31/2104.65 c # rounds 2
2098.31/2104.65 c # deted vars 13
2098.31/2104.65 c # deted constrs 22
2098.31/2104.65 c # consecutive rounds of only bound changes 0
2098.31/2104.65 c [STEP] postprocessing with Papilo
2098.31/2104.65 o 3
2098.31/2104.65 s OPTIMUM FOUND
2098.31/2104.65 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: 63794 MiB (57469 MiB free)
memory of node 1: 64507 MiB (55961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529376-1752264649/watcher-4529376-1752264649 -o /tmp/evaluation-result-4529376-1752264649/solver-4529376-1752264649 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752256869-124648 --watchdog 3760 mixed-bag HOME/instance-4529376-1752264649.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=125639, runsolver pid=125636
[startup+0.100066 s]*
/proc/loadavg: 4.07 4.08 4.09 5/250 125640
/proc/meminfo: memFree=116151956/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=83792 memory=13040 CPUtime=0.09 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 1897 0 0 0 8 1 0 0 20 0 1 0 142144674 85803008 3260 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 20948 3260 2112 2834 0 3700 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83792 KiB
Current children cumulated memory: 13040 KiB
[startup+0.213099 s]*
/proc/loadavg: 4.07 4.08 4.09 5/250 125640
/proc/meminfo: memFree=116147860/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=87888 memory=15100 CPUtime=0.2 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 2416 0 0 0 19 1 0 0 20 0 1 0 142144674 89997312 3775 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 21972 3775 2112 2834 0 4724 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87888 KiB
Current children cumulated memory: 15100 KiB
[startup+0.312849 s]*
/proc/loadavg: 4.07 4.08 4.09 5/250 125640
/proc/meminfo: memFree=116147860/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=87888 memory=17152 CPUtime=0.3 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 2418 0 0 0 29 1 0 0 20 0 1 0 142144674 89997312 4288 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 21972 4288 2112 2834 0 4724 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87888 KiB
Current children cumulated memory: 17152 KiB
[startup+0.700318 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 125640
/proc/meminfo: memFree=116139668/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=148664 memory=67724 CPUtime=0.68 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 8327 0 0 0 64 4 0 0 20 0 1 0 142144674 152231936 16931 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 37166 16931 2240 2834 0 19371 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148664 KiB
Current children cumulated memory: 67724 KiB
[startup+1.50032 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 125640
/proc/meminfo: memFree=116047872/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=267140 memory=190680 CPUtime=1.48 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 40388 0 0 0 136 12 0 0 20 0 1 0 142144674 273551360 47670 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 66785 47670 4000 2834 0 48990 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 267140 KiB
Current children cumulated memory: 190680 KiB
[startup+3.11279 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 125641
/proc/meminfo: memFree=115797596/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=487288 memory=381748 CPUtime=3.08 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 63464 0 0 0 290 18 0 0 20 0 1 0 142144674 498982912 95437 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 121822 95437 4096 2834 0 104027 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 487288 KiB
Current children cumulated memory: 381748 KiB
[startup+6.3003 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 125641
/proc/meminfo: memFree=115676536/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=626852 memory=520128 CPUtime=6.26 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 91862 0 0 0 602 24 0 0 20 0 1 0 142144674 641896448 130032 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 156713 130032 4224 2834 0 138918 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 626852 KiB
Current children cumulated memory: 520128 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 125641
/proc/meminfo: memFree=115547508/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=741264 memory=633764 CPUtime=12.64 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 115686 0 0 0 1235 29 0 0 20 0 1 0 142144674 759054336 158441 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 185316 158441 4224 2834 0 167521 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 741264 KiB
Current children cumulated memory: 633764 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 125641
/proc/meminfo: memFree=115482460/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=777556 memory=670228 CPUtime=25.4 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 131647 0 0 0 2508 32 0 0 20 0 1 0 142144674 796217344 167557 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 194389 167557 4224 2834 0 176594 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 777556 KiB
Current children cumulated memory: 670228 KiB
[startup+51.1128 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 125641
/proc/meminfo: memFree=115444780/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=779240 memory=672148 CPUtime=50.94 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 132141 0 0 0 5062 32 0 0 20 0 1 0 142144674 797941760 168037 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 194810 168037 4224 2834 0 177015 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 779240 KiB
Current children cumulated memory: 672148 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 125648
/proc/meminfo: memFree=117715504/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=832764 memory=728300 CPUtime=101.98 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 145741 0 0 0 10163 35 0 0 20 0 1 0 142144674 852750336 182075 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 208191 182075 4224 2834 0 190396 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 832764 KiB
Current children cumulated memory: 728300 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 125650
/proc/meminfo: memFree=117613476/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=878060 memory=772348 CPUtime=161.8 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 156238 0 0 0 16143 37 0 0 20 0 1 0 142144674 899133440 193087 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 219515 193087 4224 2834 0 201720 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 878060 KiB
Current children cumulated memory: 772348 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 4/246 125727
/proc/meminfo: memFree=120136520/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=889892 memory=784288 CPUtime=221.61 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 158736 0 0 0 22123 38 0 0 20 0 1 0 142144674 911249408 196072 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 222473 196072 4224 2834 0 204678 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 889892 KiB
Current children cumulated memory: 784288 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/250 125742
/proc/meminfo: memFree=119048044/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=864668 memory=759248 CPUtime=281.37 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 158752 0 0 0 28099 38 0 0 20 0 1 0 142144674 885420032 189812 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 216167 189812 4224 2834 0 198372 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 864668 KiB
Current children cumulated memory: 759248 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 125744
/proc/meminfo: memFree=119021812/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=705604 memory=630604 CPUtime=341.16 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 159984 0 0 0 34037 79 0 0 20 0 1 0 142144674 722538496 157651 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 176401 157651 4384 2834 0 158606 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 705604 KiB
Current children cumulated memory: 630604 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/249 125746
/proc/meminfo: memFree=118908260/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=712784 memory=636992 CPUtime=400.95 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 160559 0 0 0 39969 126 0 0 20 0 1 0 142144674 729890816 159248 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 178196 159248 4384 2834 0 160401 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 712784 KiB
Current children cumulated memory: 636992 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 125748
/proc/meminfo: memFree=118755708/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=724460 memory=641088 CPUtime=460.74 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 161081 0 0 0 45894 180 0 0 20 0 1 0 142144674 741847040 160272 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 181115 160272 4384 2834 0 163320 0
Current children cumulated CPU time: 460.74 s
################
# More data... #
################
/proc/loadavg: 2.14 2.30 2.93 3/238 125869
/proc/meminfo: memFree=119552612/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=680424 CPUtime=1657.18 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162222 0 0 0 164954 764 0 0 20 0 1 0 142144674 792829952 170106 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170106 4384 2834 0 175767 0
Current children cumulated CPU time: 1657.18 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 680424 KiB
[startup+1722.3 s]
/proc/loadavg: 2.10 2.26 2.87 3/237 125871
/proc/meminfo: memFree=119485492/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=680424 CPUtime=1717.02 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162268 0 0 0 170917 785 0 0 20 0 1 0 142144674 792829952 170106 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170106 4384 2834 0 175767 0
Current children cumulated CPU time: 1717.02 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 680424 KiB
[startup+1782.3 s]
/proc/loadavg: 2.15 2.24 2.83 3/239 125876
/proc/meminfo: memFree=119484740/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=680424 CPUtime=1776.87 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162268 0 0 0 176883 804 0 0 20 0 1 0 142144674 792829952 170106 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170106 4384 2834 0 175767 0
Current children cumulated CPU time: 1776.87 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 680424 KiB
[startup+1842.3 s]
/proc/loadavg: 2.12 2.21 2.78 3/240 125879
/proc/meminfo: memFree=119472832/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=1836.7 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 182849 821 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 1836.7 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+1902.3 s]
/proc/loadavg: 2.09 2.18 2.73 3/240 125881
/proc/meminfo: memFree=119473084/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=1896.55 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 188814 841 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 1896.55 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+1962.3 s]
/proc/loadavg: 2.13 2.18 2.69 3/240 125887
/proc/meminfo: memFree=119460980/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=1956.39 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 194784 855 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 1956.39 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+2022.3 s]
/proc/loadavg: 2.10 2.16 2.65 3/240 125891
/proc/meminfo: memFree=119459564/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=2016.23 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 200748 875 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 2016.23 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.14 2.62 3/239 125893
/proc/meminfo: memFree=119459316/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=2076.07 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 206711 896 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 2076.07 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+2104.66 s]
# the end of solver process 125639 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2089.35 s, system=9.03025 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2086.4 s]
/proc/loadavg: 2.15 2.16 2.62 3/239 125893
/proc/meminfo: memFree=119459316/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=2080.16 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 207119 897 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 2080.16 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+2092.8 s]
/proc/loadavg: 2.14 2.15 2.61 3/239 125894
/proc/meminfo: memFree=119459316/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=2086.55 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 207756 899 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 2086.55 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+2099.2 s]
/proc/loadavg: 2.12 2.15 2.61 3/239 125895
/proc/meminfo: memFree=119459064/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=2092.93 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 208392 901 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 2092.93 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+2102.4 s]
/proc/loadavg: 2.12 2.15 2.61 3/239 125895
/proc/meminfo: memFree=119459064/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=2096.12 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 208711 901 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 2096.12 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+2104 s]*
/proc/loadavg: 2.11 2.15 2.60 3/239 125895
/proc/meminfo: memFree=119459064/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=2097.73 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 208871 902 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 2097.73 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+2104.4 s]
/proc/loadavg: 2.11 2.15 2.60 3/239 125895
/proc/meminfo: memFree=119459064/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=2098.11 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 208909 902 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 2098.11 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
[startup+2104.6 s]
/proc/loadavg: 2.11 2.15 2.60 3/239 125895
/proc/meminfo: memFree=119459064/131382116 swapFree=33010684/33010684
[pid=125639] ppid=125636 vsize=774248 memory=683240 CPUtime=2098.31 cores=4,6
/proc/125639/stat : 125639 (mixed-bag) R 125636 125639 124637 0 -1 4194304 162434 0 0 0 208929 902 0 0 20 0 1 0 142144674 792829952 170810 18446744073709551615 4235264 15840557 140733102014944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 25460736 140733102016922 140733102016999 140733102016999 140733102022603 0
/proc/125639/statm: 193562 170810 4384 2834 0 175767 0
Current children cumulated CPU time: 2098.31 s
Current children cumulated vsize: 774248 KiB
Current children cumulated memory: 683240 KiB
Child status: 0
Real time (s): 2104.66
CPU time (s): 2098.38
CPU user time (s): 2089.35
CPU system time (s): 9.03025
CPU usage (%): 99.7017
Max. virtual memory (cumulated for all children) (KiB): 889892
Max. memory (cumulated for all children) (KiB): 784288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2089.35
system time used= 9.03025
maximum resident set size= 784288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162480
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= 151
involuntary context switches= 812
# summary of solver processes directly reported to runsolver:
# pid: 125639
# total CPU time (s): 2098.38
# total CPU user time (s): 2089.35
# total CPU system time (s): 9.03025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4178 second user time and 19.5628 second system time
The end
Begin job on nodeC011 at 2025-07-11 22:10:49
IDJOB=4529376
IDBENCH=180365
IDSOLVER=3386
FILE ID=nodeC011/4529376-1752264649
RUNJOBID= nodeC011-1752256869-124648
SLURM_JOB_ID= 9682605
Free space on /tmp= 430024 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529376-1752264649/watcher-4529376-1752264649 -o /tmp/evaluation-result-4529376-1752264649/solver-4529376-1752264649 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752256869-124648 --watchdog 3760 mixed-bag HOME/instance-4529376-1752264649.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1a33c023168dcd92e975780dbc5145d9
RANDOM SEED=1818279332
nodeC011 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 : 0xb00001f
cpu MHz : 3591.921
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3492.116
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.432
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.660
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.293
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3691.263
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 116153372 kB
MemAvailable: 122703524 kB
Buffers: 3276 kB
Cached: 7320196 kB
SwapCached: 0 kB
Active: 7678928 kB
Inactive: 6874700 kB
Active(anon): 7246040 kB
Inactive(anon): 2076 kB
Active(file): 432888 kB
Inactive(file): 6872624 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18400 kB
Writeback: 0 kB
AnonPages: 7232520 kB
Mapped: 140140 kB
Shmem: 17960 kB
KReclaimable: 168152 kB
Slab: 257772 kB
SReclaimable: 168152 kB
SUnreclaim: 89620 kB
KernelStack: 4000 kB
PageTables: 17740 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 8395804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2011136 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430112 MiB
End job on nodeC011 at 2025-07-11 22:45:54