0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4519563-1751555170.opb'
0.00/0.02 c read 0.11MB (1.50ms)
0.00/0.02 c [cnf: #variables 3380 #clauses 1508 #duplicates 0 #arr 10764]
0.00/0.38 c output proof to 'PROOFDIR/proof-4519563-1751555170'
0.00/0.38 c
0.00/0.38 c make graph and approximate orbits
0.00/0.38 c [group: #orbits ~= 14] (2.31ms)
0.00/0.38 c
0.00/0.38 c detect special group actions
0.00/0.38 c probe for Johnson action (limit=64)
0.00/0.39 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.39 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.39 c recursing 156 blocks of candidate 26x158r
0.00/0.39 c found row 26x2, generating row predicate
0.00/0.39 c (7.79ms)
0.00/0.39 c
0.00/0.39 c detect symmetries on remainder
0.00/0.39 c [graph: #vertices 14352 #edges 40456]
0.00/0.39 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.40 c [group: #symmetries 1.34*10^742 #generators 657] (10.93ms)
0.00/0.40 c
0.00/0.40 c optimize generators (opt_passes=64, conjugate_limit=1590)
0.00/0.40 c ran it=0, +gens=28
0.30/0.75 c con best_support=4, best_gens=625, +gens=1587
0.30/0.75 c (344.55ms)
0.30/0.75 c
0.30/0.75 c finalize break order and special generators
0.30/0.75 c
0.30/0.75 c add generic predicates (break_depth=20)
0.30/0.75 c added predicates for 2272 generators (0.69ms)
0.41/0.81 c
0.41/0.81 c generation finished
0.41/0.81 c [sbp: #constraints 249 #add_vars 0]
0.41/0.81 c
0.41/0.81 c write result to 'HOME/instance-4519563-1751555170.opb.pre'
0.41/0.81 c wrote 0.11MB (0.38ms)
0.41/0.81 c ------------------------------------------------------------------
0.41/0.81 c 425.53ms 53.58% other
0.41/0.81 c 344.55ms 43.38% optimize_gens
0.41/0.81 c 10.93ms 1.38% detect_generic
0.41/0.81 c 7.79ms 0.98% detect_special
0.41/0.81 c 2.31ms 0.29% approx_orbits
0.41/0.81 c 1.50ms 0.19% parse
0.41/0.81 c 0.69ms 0.09% break_generic
0.41/0.81 c 0.53ms 0.07% finalize_order
0.41/0.81 c 0.38ms 0.05% output
0.41/0.81 c ───────────────────────────────────────────────
0.41/0.81 c 794.21ms 100% total
0.41/0.81 c ------------------------------------------------------------------
0.41/0.83 c RoundingSat 2
0.41/0.83 c branch pb25
0.41/0.83 c commit 63f22ad
0.41/0.85 c #variables 3380 #constraints 1756
0.41/0.85 c objective is ce32
0.41/0.87 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.41/0.87 c initial counting CF 32, 64, 128, Arb: 53 , 0 , 0 , 0
0.41/0.87 c bounds -57 >= -2002 @ 0.030414
0.41/0.87 c rational objective -77
0.43/0.90 c bounds -58 >= -2002 @ 0.060646
0.43/0.90 c bounds -58 >= -1978 @ 0.061663
0.43/0.90 c bounds -58 >= -1954 @ 0.062241
0.43/0.90 c bounds -58 >= -1930 @ 0.062793
0.43/0.91 c bounds -58 >= -1906 @ 0.063346
0.43/0.91 c bounds -58 >= -1881 @ 0.064266
0.43/0.91 c bounds -58 >= -1856 @ 0.064795
0.43/0.91 c bounds -58 >= -1831 @ 0.065316
0.43/0.91 c bounds -58 >= -1806 @ 0.065846
0.43/0.91 c bounds -58 >= -1781 @ 0.066374
0.43/0.91 c bounds -58 >= -1756 @ 0.066904
0.43/0.91 c bounds -58 >= -1731 @ 0.067437
0.43/0.91 c bounds -58 >= -1706 @ 0.067947
0.43/0.91 c bounds -58 >= -1681 @ 0.068449
0.43/0.91 c bounds -58 >= -1656 @ 0.068942
0.43/0.91 c bounds -58 >= -1631 @ 0.069438
0.43/0.91 c bounds -58 >= -1606 @ 0.069928
0.43/0.91 c bounds -58 >= -1581 @ 0.070419
0.43/0.91 c bounds -58 >= -1556 @ 0.070906
0.43/0.91 c bounds -58 >= -1531 @ 0.071391
0.43/0.91 c bounds -58 >= -1506 @ 0.071872
0.43/0.91 c bounds -58 >= -1481 @ 0.072349
0.43/0.91 c bounds -58 >= -1456 @ 0.072821
0.43/0.92 c bounds -58 >= -1431 @ 0.073291
0.43/0.92 c bounds -58 >= -1406 @ 0.073754
0.43/0.92 c bounds -58 >= -1381 @ 0.074211
0.43/0.92 c bounds -58 >= -1356 @ 0.074665
0.43/0.92 c bounds -58 >= -1355 @ 0.075104
0.43/0.92 c bounds -58 >= -1354 @ 0.075562
0.43/0.92 c bounds -58 >= -1353 @ 0.076021
0.43/0.92 c bounds -58 >= -1352 @ 0.076481
0.43/0.92 c bounds -58 >= -1327 @ 0.076938
0.43/0.92 c bounds -58 >= -1302 @ 0.077386
0.43/0.92 c bounds -58 >= -1277 @ 0.07785
0.43/0.92 c bounds -58 >= -1252 @ 0.078312
0.43/0.92 c bounds -58 >= -1227 @ 0.078763
0.43/0.92 c bounds -58 >= -1202 @ 0.079215
0.43/0.92 c bounds -58 >= -1177 @ 0.079267
0.43/0.92 c bounds -58 >= -1152 @ 0.079267
0.43/0.92 c bounds -58 >= -1127 @ 0.079611
0.43/0.92 c bounds -58 >= -1102 @ 0.08001
0.43/0.92 c bounds -58 >= -1077 @ 0.080425
0.43/0.92 c bounds -58 >= -1052 @ 0.080843
0.43/0.92 c bounds -58 >= -1027 @ 0.081235
0.43/0.92 c bounds -58 >= -1002 @ 0.081643
0.43/0.93 c bounds -58 >= -977 @ 0.082038
0.43/0.93 c bounds -58 >= -952 @ 0.082444
0.43/0.93 c bounds -58 >= -927 @ 0.082844
0.43/0.93 c bounds -58 >= -902 @ 0.083249
0.43/0.93 c bounds -58 >= -877 @ 0.083649
0.43/0.93 c bounds -58 >= -852 @ 0.084039
0.43/0.93 c bounds -58 >= -827 @ 0.084433
0.43/0.93 c bounds -58 >= -802 @ 0.084818
0.43/0.93 c bounds -58 >= -777 @ 0.085198
0.43/0.93 c bounds -58 >= -752 @ 0.085573
0.43/0.93 c bounds -58 >= -727 @ 0.085942
0.43/0.93 c bounds -58 >= -702 @ 0.086019
0.43/0.93 c bounds -58 >= -677 @ 0.086019
0.43/0.93 c bounds -58 >= -652 @ 0.086052
0.43/0.93 c bounds -58 >= -627 @ 0.086394
0.43/0.93 c bounds -58 >= -602 @ 0.086741
0.43/0.93 c bounds -58 >= -577 @ 0.087083
0.43/0.93 c bounds -58 >= -552 @ 0.087415
0.43/0.93 c bounds -58 >= -527 @ 0.087766
0.43/0.93 c bounds -58 >= -502 @ 0.088104
0.43/0.93 c bounds -58 >= -477 @ 0.088443
0.43/0.93 c bounds -58 >= -452 @ 0.088796
0.43/0.93 c bounds -58 >= -427 @ 0.089132
0.43/0.93 c bounds -58 >= -402 @ 0.089462
0.43/0.93 c bounds -58 >= -377 @ 0.089785
0.43/0.93 c bounds -58 >= -352 @ 0.090115
0.43/0.93 c bounds -58 >= -327 @ 0.090446
0.43/0.93 c bounds -58 >= -302 @ 0.090769
0.43/0.94 c bounds -58 >= -277 @ 0.091094
0.43/0.94 c bounds -58 >= -252 @ 0.091416
0.43/0.94 c bounds -58 >= -227 @ 0.091725
0.43/0.94 c bounds -58 >= -202 @ 0.092031
0.43/0.94 c bounds -58 >= -177 @ 0.09232
0.43/0.94 c bounds -58 >= -152 @ 0.092612
0.43/0.94 c bounds -58 >= -127 @ 0.092911
0.43/0.94 c bounds -58 >= -102 @ 0.093205
0.43/0.94 c bounds -58 >= -77 @ 0.093488
0.98/1.45 c #Conflicts: 1000 | #Constraints: 3026
0.98/1.45 c #Conflicts: 2000 | #Constraints: 4050
0.98/1.45 c INPROCESSING
0.98/1.45 c GARBAGE COLLECT
0.98/1.45 c rational objective -77
1.08/1.50 c bounds -59 >= -77 @ 0.600782
1.08/1.50 c bounds -60 >= -77 @ 0.60421
1.08/1.51 c bounds -61 >= -77 @ 0.609218
1.08/1.51 c bounds -62 >= -77 @ 0.612001
1.08/1.52 c bounds -63 >= -77 @ 0.616125
1.08/1.52 c bounds -64 >= -77 @ 0.61997
1.08/1.53 c bounds -65 >= -77 @ 0.624278
1.08/1.53 c bounds -66 >= -77 @ 0.632303
1.08/1.54 c bounds -67 >= -77 @ 0.637762
1.08/1.55 c bounds -68 >= -77 @ 0.643586
1.08/1.56 c bounds -69 >= -77 @ 0.650185
1.08/1.57 c bounds -70 >= -77 @ 0.659263
1.18/1.63 c bounds -71 >= -77 @ 0.723601
1.48/1.92 c bounds -72 >= -77 @ 1.00415
1.48/1.95 c bounds -73 >= -77 @ 1.03271
1.48/1.97 c bounds -74 >= -77 @ 1.05215
1.48/1.99 c bounds -75 >= -77 @ 1.07092
1.78/2.28 c #Conflicts: 3000 | #Constraints: 3930
1.78/2.28 c bounds -76 >= -77 @ 1.34776
1.78/2.29 c rational objective -77
2.38/2.82 c #Conflicts: 4000 | #Constraints: 4939
2.38/2.82 c INPROCESSING
2.38/2.82 c GARBAGE COLLECT
2.38/2.82 c rational objective -77
2.38/2.85 c rational objective -77
3.78/4.22 c #Conflicts: 5000 | #Constraints: 4210
3.78/4.22 c #Conflicts: 6000 | #Constraints: 5225
3.78/4.22 c INPROCESSING
3.78/4.22 c GARBAGE COLLECT
3.78/4.22 c rational objective -77
3.88/4.31 c rational objective -77
4.97/5.43 c #Conflicts: 7000 | #Constraints: 4216
4.97/5.43 c #Conflicts: 8000 | #Constraints: 5221
4.97/5.43 c #Conflicts: 9000 | #Constraints: 6236
4.97/5.43 c INPROCESSING
4.97/5.43 c GARBAGE COLLECT
4.97/5.43 c rational objective -77
5.06/5.58 c rational objective -77
7.26/7.77 c #Conflicts: 10000 | #Constraints: 4927
7.26/7.77 c #Conflicts: 11000 | #Constraints: 5938
7.26/7.77 c #Conflicts: 12000 | #Constraints: 6964
7.26/7.77 c INPROCESSING
7.26/7.77 c GARBAGE COLLECT
7.26/7.77 c rational objective -77
7.36/7.88 c rational objective -77
9.25/9.73 c #Conflicts: 13000 | #Constraints: 5309
9.25/9.73 c #Conflicts: 14000 | #Constraints: 6313
9.25/9.73 c #Conflicts: 15000 | #Constraints: 7324
9.25/9.73 c INPROCESSING
9.25/9.73 c GARBAGE COLLECT
9.25/9.73 c rational objective -77
9.45/9.95 c rational objective -77
12.04/12.55 c #Conflicts: 16000 | #Constraints: 5555
12.04/12.55 c #Conflicts: 17000 | #Constraints: 6567
12.04/12.55 c #Conflicts: 18000 | #Constraints: 7578
12.04/12.55 c INPROCESSING
12.04/12.55 c GARBAGE COLLECT
12.04/12.55 c rational objective -77
12.14/12.65 c rational objective -77
14.24/14.76 c #Conflicts: 19000 | #Constraints: 5576
14.24/14.76 c #Conflicts: 20000 | #Constraints: 6587
14.24/14.76 c #Conflicts: 21000 | #Constraints: 7597
14.24/14.76 c INPROCESSING
14.24/14.76 c GARBAGE COLLECT
14.24/14.76 c rational objective -77
14.33/14.89 c rational objective -77
16.92/17.47 c #Conflicts: 22000 | #Constraints: 5395
16.92/17.47 c #Conflicts: 23000 | #Constraints: 6398
16.92/17.47 c #Conflicts: 24000 | #Constraints: 7405
16.92/17.47 c #Conflicts: 25000 | #Constraints: 8417
16.92/17.47 c INPROCESSING
16.92/17.47 c GARBAGE COLLECT
16.92/17.47 c rational objective -77
17.12/17.60 c rational objective -77
19.62/20.16 c #Conflicts: 26000 | #Constraints: 5883
19.62/20.16 c #Conflicts: 27000 | #Constraints: 6884
19.62/20.16 c #Conflicts: 28000 | #Constraints: 7894
19.62/20.16 c #Conflicts: 29000 | #Constraints: 8915
19.62/20.16 c INPROCESSING
19.62/20.16 c GARBAGE COLLECT
19.62/20.16 c rational objective -77
19.71/20.28 c rational objective -77
23.00/23.53 c #Conflicts: 30000 | #Constraints: 6350
23.00/23.53 c #Conflicts: 31000 | #Constraints: 7358
23.00/23.53 c #Conflicts: 32000 | #Constraints: 8368
23.00/23.53 c #Conflicts: 33000 | #Constraints: 9386
23.00/23.53 c INPROCESSING
23.00/23.53 c GARBAGE COLLECT
23.00/23.53 c rational objective -77
23.10/23.66 c rational objective -77
26.09/26.65 c #Conflicts: 34000 | #Constraints: 6589
26.09/26.65 c #Conflicts: 35000 | #Constraints: 7594
26.09/26.65 c #Conflicts: 36000 | #Constraints: 8606
26.09/26.65 c #Conflicts: 37000 | #Constraints: 9614
26.09/26.65 c INPROCESSING
26.09/26.65 c GARBAGE COLLECT
26.09/26.65 c rational objective -77
26.40/26.94 c rational objective -77
29.88/30.43 c #Conflicts: 38000 | #Constraints: 6610
29.88/30.43 c #Conflicts: 39000 | #Constraints: 7625
29.88/30.43 c #Conflicts: 40000 | #Constraints: 8644
29.88/30.43 c #Conflicts: 41000 | #Constraints: 9656
29.88/30.43 c INPROCESSING
29.88/30.43 c GARBAGE COLLECT
29.88/30.43 c rational objective -77
29.98/30.56 c rational objective -77
97.02/106.05 c #Conflicts: 42000 | #Constraints: 6474
97.02/106.05 c #Conflicts: 43000 | #Constraints: 7549
97.02/106.05 c #Conflicts: 44000 | #Constraints: 8704
97.02/106.05 c #Conflicts: 45000 | #Constraints: 10008
97.02/106.05 c #Conflicts: 46000 | #Constraints: 11058
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 47000 | #Constraints: 7417
97.02/106.05 c #Conflicts: 48000 | #Constraints: 8716
97.02/106.05 c #Conflicts: 49000 | #Constraints: 9830
97.02/106.05 c #Conflicts: 50000 | #Constraints: 11137
97.02/106.05 c #Conflicts: 51000 | #Constraints: 12322
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 52000 | #Constraints: 8205
97.02/106.05 c #Conflicts: 53000 | #Constraints: 9486
97.02/106.05 c #Conflicts: 54000 | #Constraints: 10553
97.02/106.05 c #Conflicts: 55000 | #Constraints: 11727
97.02/106.05 c #Conflicts: 56000 | #Constraints: 12897
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 57000 | #Constraints: 8539
97.02/106.05 c #Conflicts: 58000 | #Constraints: 9670
97.02/106.05 c #Conflicts: 59000 | #Constraints: 10946
97.02/106.05 c #Conflicts: 60000 | #Constraints: 12380
97.02/106.05 c #Conflicts: 61000 | #Constraints: 13839
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 62000 | #Constraints: 8937
97.02/106.05 c #Conflicts: 63000 | #Constraints: 10408
97.02/106.05 c #Conflicts: 64000 | #Constraints: 11887
97.02/106.05 c #Conflicts: 65000 | #Constraints: 13329
97.02/106.05 c #Conflicts: 66000 | #Constraints: 14780
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 67000 | #Constraints: 9105
97.02/106.05 c #Conflicts: 68000 | #Constraints: 10331
97.02/106.05 c #Conflicts: 69000 | #Constraints: 11420
97.02/106.05 c #Conflicts: 70000 | #Constraints: 12544
97.02/106.05 c #Conflicts: 71000 | #Constraints: 13839
97.02/106.05 c #Conflicts: 72000 | #Constraints: 15022
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 73000 | #Constraints: 9434
97.02/106.05 c #Conflicts: 74000 | #Constraints: 10590
97.02/106.05 c #Conflicts: 75000 | #Constraints: 11775
97.02/106.05 c #Conflicts: 76000 | #Constraints: 12866
97.02/106.05 c #Conflicts: 77000 | #Constraints: 14146
97.02/106.05 c #Conflicts: 78000 | #Constraints: 15234
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 79000 | #Constraints: 9734
97.02/106.05 c #Conflicts: 80000 | #Constraints: 11241
97.02/106.05 c #Conflicts: 81000 | #Constraints: 12360
97.02/106.05 c #Conflicts: 82000 | #Constraints: 13360
97.02/106.05 c #Conflicts: 83000 | #Constraints: 14516
97.02/106.05 c #Conflicts: 84000 | #Constraints: 16112
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 85000 | #Constraints: 10475
97.02/106.05 c #Conflicts: 86000 | #Constraints: 11524
97.02/106.05 c #Conflicts: 87000 | #Constraints: 12530
97.02/106.05 c #Conflicts: 88000 | #Constraints: 13554
97.02/106.05 c #Conflicts: 89000 | #Constraints: 14837
97.02/106.05 c #Conflicts: 90000 | #Constraints: 16371
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 91000 | #Constraints: 10173
97.02/106.05 c #Conflicts: 92000 | #Constraints: 11360
97.02/106.05 c #Conflicts: 93000 | #Constraints: 12666
97.02/106.05 c #Conflicts: 94000 | #Constraints: 13919
97.02/106.05 c #Conflicts: 95000 | #Constraints: 15298
97.02/106.05 c #Conflicts: 96000 | #Constraints: 16416
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 97000 | #Constraints: 9926
97.02/106.05 c #Conflicts: 98000 | #Constraints: 11212
97.02/106.05 c #Conflicts: 99000 | #Constraints: 12365
97.02/106.05 c #Conflicts: 100000 | #Constraints: 13692
97.02/106.05 c #Conflicts: 101000 | #Constraints: 15311
97.02/106.05 c #Conflicts: 102000 | #Constraints: 16616
97.02/106.05 c #Conflicts: 103000 | #Constraints: 17956
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 104000 | #Constraints: 11052
97.02/106.05 c #Conflicts: 105000 | #Constraints: 12289
97.02/106.05 c #Conflicts: 106000 | #Constraints: 13626
97.02/106.05 c #Conflicts: 107000 | #Constraints: 15061
97.02/106.05 c #Conflicts: 108000 | #Constraints: 16310
97.02/106.05 c #Conflicts: 109000 | #Constraints: 17749
97.02/106.05 c #Conflicts: 110000 | #Constraints: 18961
97.02/106.05 c INPROCESSING
97.02/106.05 c GARBAGE COLLECT
97.02/106.05 c #Conflicts: 111000 | #Constraints: 11445
97.02/106.05 c #Conflicts: 112000 | #Constraints: 12509
97.02/106.05 c #Conflicts: 113000 | #Constraints: 13813
173.14/182.45 c #Conflicts: 114000 | #Constraints: 14971
173.14/182.45 c #Conflicts: 115000 | #Constraints: 16047
173.14/182.45 c #Conflicts: 116000 | #Constraints: 17485
173.14/182.45 c #Conflicts: 117000 | #Constraints: 18674
173.14/182.45 c INPROCESSING
173.14/182.45 c GARBAGE COLLECT
173.14/182.45 c #Conflicts: 118000 | #Constraints: 11516
173.14/182.45 c #Conflicts: 119000 | #Constraints: 12734
173.14/182.45 c #Conflicts: 120000 | #Constraints: 13986
173.14/182.45 c #Conflicts: 121000 | #Constraints: 15292
173.14/182.45 c #Conflicts: 122000 | #Constraints: 16527
173.14/182.45 c #Conflicts: 123000 | #Constraints: 17804
173.14/182.45 c #Conflicts: 124000 | #Constraints: 18889
173.14/182.45 c INPROCESSING
173.14/182.45 c GARBAGE COLLECT
173.14/182.45 c #Conflicts: 125000 | #Constraints: 11530
173.14/182.45 c #Conflicts: 126000 | #Constraints: 13213
173.14/182.45 c #Conflicts: 127000 | #Constraints: 14637
173.14/182.45 c #Conflicts: 128000 | #Constraints: 15976
173.14/182.45 c #Conflicts: 129000 | #Constraints: 17117
173.14/182.45 c #Conflicts: 130000 | #Constraints: 18541
173.14/182.45 c #Conflicts: 131000 | #Constraints: 19645
173.14/182.45 c INPROCESSING
173.14/182.45 c GARBAGE COLLECT
173.14/182.45 c #Conflicts: 132000 | #Constraints: 11547
173.14/182.45 c #Conflicts: 133000 | #Constraints: 12735
173.14/182.45 c #Conflicts: 134000 | #Constraints: 13973
173.14/182.45 c #Conflicts: 135000 | #Constraints: 15240
173.14/182.45 c #Conflicts: 136000 | #Constraints: 16401
173.14/182.45 c #Conflicts: 137000 | #Constraints: 17581
173.14/182.45 c #Conflicts: 138000 | #Constraints: 18793
173.14/182.45 c #Conflicts: 139000 | #Constraints: 19982
173.14/182.45 c INPROCESSING
173.14/182.45 c GARBAGE COLLECT
173.14/182.45 c #Conflicts: 140000 | #Constraints: 12018
173.14/182.45 c #Conflicts: 141000 | #Constraints: 13256
173.14/182.45 c #Conflicts: 142000 | #Constraints: 14472
173.14/182.45 c #Conflicts: 143000 | #Constraints: 15689
173.14/182.45 c #Conflicts: 144000 | #Constraints: 16873
173.14/182.45 c #Conflicts: 145000 | #Constraints: 18227
173.14/182.45 c #Conflicts: 146000 | #Constraints: 19589
173.14/182.45 c #Conflicts: 147000 | #Constraints: 20916
173.14/182.45 c INPROCESSING
173.14/182.45 c GARBAGE COLLECT
173.14/182.45 c #Conflicts: 148000 | #Constraints: 12681
173.14/182.45 c #Conflicts: 149000 | #Constraints: 13752
173.14/182.45 c #Conflicts: 150000 | #Constraints: 14917
173.14/182.45 c #Conflicts: 151000 | #Constraints: 15995
173.14/182.45 c #Conflicts: 152000 | #Constraints: 17093
173.14/182.45 c #Conflicts: 153000 | #Constraints: 18233
173.14/182.45 c #Conflicts: 154000 | #Constraints: 19546
173.14/182.45 c #Conflicts: 155000 | #Constraints: 21113
173.14/182.45 c INPROCESSING
173.14/182.45 c GARBAGE COLLECT
173.14/182.45 c #Conflicts: 156000 | #Constraints: 12853
173.14/182.45 c #Conflicts: 157000 | #Constraints: 13998
173.14/182.45 c #Conflicts: 158000 | #Constraints: 15104
173.14/182.45 c #Conflicts: 159000 | #Constraints: 16233
173.14/182.45 c #Conflicts: 160000 | #Constraints: 17323
173.14/182.45 c #Conflicts: 161000 | #Constraints: 18523
173.14/182.45 c #Conflicts: 162000 | #Constraints: 19787
173.14/182.45 c #Conflicts: 163000 | #Constraints: 21105
173.14/182.45 c INPROCESSING
173.14/182.45 c GARBAGE COLLECT
173.14/182.45 c #Conflicts: 164000 | #Constraints: 12607
173.14/182.45 c #Conflicts: 165000 | #Constraints: 13864
173.14/182.45 c #Conflicts: 166000 | #Constraints: 15300
173.14/182.45 c #Conflicts: 167000 | #Constraints: 16774
173.14/182.45 c #Conflicts: 168000 | #Constraints: 18184
173.14/182.45 c #Conflicts: 169000 | #Constraints: 19842
173.14/182.45 c #Conflicts: 170000 | #Constraints: 21534
173.14/182.45 c #Conflicts: 171000 | #Constraints: 23156
173.14/182.45 c INPROCESSING
173.14/182.45 c GARBAGE COLLECT
173.14/182.45 c #Conflicts: 172000 | #Constraints: 13635
173.14/182.45 c #Conflicts: 173000 | #Constraints: 15311
173.14/182.45 c #Conflicts: 174000 | #Constraints: 16645
173.14/182.45 c #Conflicts: 175000 | #Constraints: 17884
173.14/182.45 c #Conflicts: 176000 | #Constraints: 19021
173.14/182.45 c #Conflicts: 177000 | #Constraints: 20249
173.14/182.45 c #Conflicts: 178000 | #Constraints: 21514
173.14/182.45 c #Conflicts: 179000 | #Constraints: 22731
173.14/182.45 c #Conflicts: 180000 | #Constraints: 23930
173.14/182.45 c INPROCESSING
173.14/182.45 c GARBAGE COLLECT
173.14/182.45 c #Conflicts: 181000 | #Constraints: 13957
173.14/182.45 c #Conflicts: 182000 | #Constraints: 15017
173.14/182.45 c #Conflicts: 183000 | #Constraints: 16126
173.14/182.45 c #Conflicts: 184000 | #Constraints: 17532
173.14/182.45 c #Conflicts: 185000 | #Constraints: 19211
173.14/182.45 c #Conflicts: 186000 | #Constraints: 20865
266.74/276.31 c #Conflicts: 187000 | #Constraints: 22291
266.74/276.31 c #Conflicts: 188000 | #Constraints: 23782
266.74/276.31 c #Conflicts: 189000 | #Constraints: 24963
266.74/276.31 c INPROCESSING
266.74/276.31 c GARBAGE COLLECT
266.74/276.31 c #Conflicts: 190000 | #Constraints: 14602
266.74/276.31 c #Conflicts: 191000 | #Constraints: 15735
266.74/276.31 c #Conflicts: 192000 | #Constraints: 16875
266.74/276.31 c #Conflicts: 193000 | #Constraints: 18126
266.74/276.31 c #Conflicts: 194000 | #Constraints: 19774
266.74/276.31 c #Conflicts: 195000 | #Constraints: 21411
266.74/276.31 c #Conflicts: 196000 | #Constraints: 23033
266.74/276.31 c #Conflicts: 197000 | #Constraints: 24633
266.74/276.31 c #Conflicts: 198000 | #Constraints: 26221
266.74/276.31 c INPROCESSING
266.74/276.31 c GARBAGE COLLECT
266.74/276.31 c #Conflicts: 199000 | #Constraints: 15725
266.74/276.31 c #Conflicts: 200000 | #Constraints: 17338
266.74/276.31 c #Conflicts: 201000 | #Constraints: 18969
266.74/276.31 c #Conflicts: 202000 | #Constraints: 20608
266.74/276.31 c #Conflicts: 203000 | #Constraints: 22269
266.74/276.31 c #Conflicts: 204000 | #Constraints: 23488
266.74/276.31 c #Conflicts: 205000 | #Constraints: 24821
266.74/276.31 c #Conflicts: 206000 | #Constraints: 26115
266.74/276.31 c #Conflicts: 207000 | #Constraints: 27372
266.74/276.31 c INPROCESSING
266.74/276.31 c GARBAGE COLLECT
266.74/276.31 c #Conflicts: 208000 | #Constraints: 15751
266.74/276.31 c #Conflicts: 209000 | #Constraints: 16857
266.74/276.31 c #Conflicts: 210000 | #Constraints: 18049
266.74/276.31 c #Conflicts: 211000 | #Constraints: 19391
266.74/276.31 c #Conflicts: 212000 | #Constraints: 21049
266.74/276.31 c #Conflicts: 213000 | #Constraints: 22676
266.74/276.31 c #Conflicts: 214000 | #Constraints: 24160
266.74/276.31 c #Conflicts: 215000 | #Constraints: 25696
266.74/276.31 c #Conflicts: 216000 | #Constraints: 27236
266.74/276.31 c INPROCESSING
266.74/276.31 c GARBAGE COLLECT
266.74/276.31 c #Conflicts: 217000 | #Constraints: 15697
266.74/276.31 c #Conflicts: 218000 | #Constraints: 17203
266.74/276.31 c #Conflicts: 219000 | #Constraints: 18801
266.74/276.31 c #Conflicts: 220000 | #Constraints: 20491
266.74/276.31 c #Conflicts: 221000 | #Constraints: 22147
266.74/276.31 c #Conflicts: 222000 | #Constraints: 23770
266.74/276.31 c #Conflicts: 223000 | #Constraints: 25416
266.74/276.31 c #Conflicts: 224000 | #Constraints: 27063
266.74/276.31 c #Conflicts: 225000 | #Constraints: 28707
266.74/276.31 c #Conflicts: 226000 | #Constraints: 30339
266.74/276.31 c INPROCESSING
266.74/276.31 c GARBAGE COLLECT
266.74/276.31 c #Conflicts: 227000 | #Constraints: 17608
266.74/276.31 c #Conflicts: 228000 | #Constraints: 19197
266.74/276.31 c #Conflicts: 229000 | #Constraints: 20785
266.74/276.31 c #Conflicts: 230000 | #Constraints: 22292
266.74/276.31 c #Conflicts: 231000 | #Constraints: 23962
266.74/276.31 c #Conflicts: 232000 | #Constraints: 25517
266.74/276.31 c #Conflicts: 233000 | #Constraints: 26833
266.74/276.31 c #Conflicts: 234000 | #Constraints: 28189
266.74/276.31 c #Conflicts: 235000 | #Constraints: 29254
266.74/276.31 c #Conflicts: 236000 | #Constraints: 30486
266.74/276.31 c INPROCESSING
266.74/276.31 c GARBAGE COLLECT
266.74/276.31 c #Conflicts: 237000 | #Constraints: 17476
266.74/276.31 c #Conflicts: 238000 | #Constraints: 18842
266.74/276.31 c #Conflicts: 239000 | #Constraints: 20055
266.74/276.31 c #Conflicts: 240000 | #Constraints: 21121
266.74/276.31 c #Conflicts: 241000 | #Constraints: 22207
266.74/276.31 c #Conflicts: 242000 | #Constraints: 23374
266.74/276.31 c #Conflicts: 243000 | #Constraints: 24896
266.74/276.31 c #Conflicts: 244000 | #Constraints: 26219
266.74/276.31 c #Conflicts: 245000 | #Constraints: 27277
266.74/276.31 c #Conflicts: 246000 | #Constraints: 28395
266.74/276.31 c INPROCESSING
266.74/276.31 c GARBAGE COLLECT
266.74/276.31 c #Conflicts: 247000 | #Constraints: 16260
266.74/276.31 c #Conflicts: 248000 | #Constraints: 17379
266.74/276.31 c #Conflicts: 249000 | #Constraints: 18549
266.74/276.31 c #Conflicts: 250000 | #Constraints: 19748
266.74/276.31 c #Conflicts: 251000 | #Constraints: 20992
266.74/276.31 c #Conflicts: 252000 | #Constraints: 22353
266.74/276.31 c #Conflicts: 253000 | #Constraints: 23599
266.74/276.31 c #Conflicts: 254000 | #Constraints: 24803
266.74/276.31 c #Conflicts: 255000 | #Constraints: 25977
266.74/276.31 c #Conflicts: 256000 | #Constraints: 27144
266.74/276.31 c INPROCESSING
266.74/276.31 c GARBAGE COLLECT
266.74/276.31 c #Conflicts: 257000 | #Constraints: 15636
266.74/276.31 c #Conflicts: 258000 | #Constraints: 17032
266.74/276.31 c #Conflicts: 259000 | #Constraints: 18184
350.17/360.09 c #Conflicts: 260000 | #Constraints: 19676
350.17/360.09 c #Conflicts: 261000 | #Constraints: 21269
350.17/360.09 c #Conflicts: 262000 | #Constraints: 22859
350.17/360.09 c #Conflicts: 263000 | #Constraints: 24417
350.17/360.09 c #Conflicts: 264000 | #Constraints: 25971
350.17/360.09 c #Conflicts: 265000 | #Constraints: 27528
350.17/360.09 c #Conflicts: 266000 | #Constraints: 29126
350.17/360.09 c INPROCESSING
350.17/360.09 c GARBAGE COLLECT
350.17/360.09 c #Conflicts: 267000 | #Constraints: 16617
350.17/360.09 c #Conflicts: 268000 | #Constraints: 17803
350.17/360.09 c #Conflicts: 269000 | #Constraints: 18805
350.17/360.09 c #Conflicts: 270000 | #Constraints: 19947
350.17/360.09 c #Conflicts: 271000 | #Constraints: 21503
350.17/360.09 c #Conflicts: 272000 | #Constraints: 23108
350.17/360.09 c #Conflicts: 273000 | #Constraints: 24770
350.17/360.09 c #Conflicts: 274000 | #Constraints: 26388
350.17/360.09 c #Conflicts: 275000 | #Constraints: 27956
350.17/360.09 c #Conflicts: 276000 | #Constraints: 29498
350.17/360.09 c #Conflicts: 277000 | #Constraints: 31062
350.17/360.09 c INPROCESSING
350.17/360.09 c GARBAGE COLLECT
350.17/360.09 c #Conflicts: 278000 | #Constraints: 17851
350.17/360.09 c #Conflicts: 279000 | #Constraints: 19421
350.17/360.09 c #Conflicts: 280000 | #Constraints: 20873
350.17/360.09 c #Conflicts: 281000 | #Constraints: 21876
350.17/360.09 c #Conflicts: 282000 | #Constraints: 22880
350.17/360.09 c #Conflicts: 283000 | #Constraints: 23915
350.17/360.09 c #Conflicts: 284000 | #Constraints: 24925
350.17/360.09 c #Conflicts: 285000 | #Constraints: 26286
350.17/360.09 c #Conflicts: 286000 | #Constraints: 27617
350.17/360.09 c #Conflicts: 287000 | #Constraints: 28746
350.17/360.09 c #Conflicts: 288000 | #Constraints: 29794
350.17/360.09 c INPROCESSING
350.17/360.09 c GARBAGE COLLECT
350.17/360.09 c #Conflicts: 289000 | #Constraints: 16870
350.17/360.09 c #Conflicts: 290000 | #Constraints: 17975
350.17/360.09 c #Conflicts: 291000 | #Constraints: 19065
350.17/360.09 c #Conflicts: 292000 | #Constraints: 20239
350.17/360.09 c #Conflicts: 293000 | #Constraints: 21345
350.17/360.09 c #Conflicts: 294000 | #Constraints: 22434
350.17/360.09 c #Conflicts: 295000 | #Constraints: 23623
350.17/360.09 c #Conflicts: 296000 | #Constraints: 24806
350.17/360.09 c #Conflicts: 297000 | #Constraints: 26012
350.17/360.09 c #Conflicts: 298000 | #Constraints: 27103
350.17/360.09 c #Conflicts: 299000 | #Constraints: 28134
350.17/360.09 c INPROCESSING
350.17/360.09 c GARBAGE COLLECT
350.17/360.09 c #Conflicts: 300000 | #Constraints: 16190
350.17/360.09 c #Conflicts: 301000 | #Constraints: 17308
350.17/360.09 c #Conflicts: 302000 | #Constraints: 18359
350.17/360.09 c #Conflicts: 303000 | #Constraints: 19451
350.17/360.09 c #Conflicts: 304000 | #Constraints: 20684
350.17/360.09 c #Conflicts: 305000 | #Constraints: 21843
350.17/360.09 c #Conflicts: 306000 | #Constraints: 22959
350.17/360.09 c #Conflicts: 307000 | #Constraints: 24123
350.17/360.09 c #Conflicts: 308000 | #Constraints: 25259
350.17/360.09 c #Conflicts: 309000 | #Constraints: 26325
350.17/360.09 c #Conflicts: 310000 | #Constraints: 27414
350.17/360.09 c INPROCESSING
350.17/360.09 c GARBAGE COLLECT
350.17/360.09 c #Conflicts: 311000 | #Constraints: 15616
350.17/360.09 c #Conflicts: 312000 | #Constraints: 16733
350.17/360.09 c #Conflicts: 313000 | #Constraints: 17957
350.17/360.09 c #Conflicts: 314000 | #Constraints: 19214
350.17/360.09 c #Conflicts: 315000 | #Constraints: 20292
350.17/360.09 c #Conflicts: 316000 | #Constraints: 21535
350.17/360.09 c #Conflicts: 317000 | #Constraints: 23118
350.17/360.09 c #Conflicts: 318000 | #Constraints: 24360
350.17/360.09 c #Conflicts: 319000 | #Constraints: 25481
350.17/360.09 c #Conflicts: 320000 | #Constraints: 26651
350.17/360.09 c #Conflicts: 321000 | #Constraints: 27760
350.17/360.09 c INPROCESSING
350.17/360.09 c GARBAGE COLLECT
350.17/360.09 c #Conflicts: 322000 | #Constraints: 15736
350.17/360.09 c #Conflicts: 323000 | #Constraints: 16878
350.17/360.09 c #Conflicts: 324000 | #Constraints: 18416
350.17/360.09 c #Conflicts: 325000 | #Constraints: 19609
350.17/360.09 c #Conflicts: 326000 | #Constraints: 20771
350.17/360.09 c #Conflicts: 327000 | #Constraints: 22015
350.17/360.09 c #Conflicts: 328000 | #Constraints: 23180
350.17/360.09 c #Conflicts: 329000 | #Constraints: 24307
350.17/360.09 c #Conflicts: 330000 | #Constraints: 25328
350.17/360.09 c #Conflicts: 331000 | #Constraints: 26891
350.17/360.09 c #Conflicts: 332000 | #Constraints: 28448
350.17/360.09 c #Conflicts: 333000 | #Constraints: 30037
350.17/360.09 c INPROCESSING
350.17/360.09 c GARBAGE COLLECT
350.17/360.09 c #Conflicts: 334000 | #Constraints: 17372
436.11/446.57 c #Conflicts: 335000 | #Constraints: 18777
436.11/446.57 c #Conflicts: 336000 | #Constraints: 19815
436.11/446.57 c #Conflicts: 337000 | #Constraints: 20917
436.11/446.57 c #Conflicts: 338000 | #Constraints: 22030
436.11/446.57 c #Conflicts: 339000 | #Constraints: 23306
436.11/446.57 c #Conflicts: 340000 | #Constraints: 24505
436.11/446.57 c #Conflicts: 341000 | #Constraints: 25660
436.11/446.57 c #Conflicts: 342000 | #Constraints: 26782
436.11/446.57 c #Conflicts: 343000 | #Constraints: 27847
436.11/446.57 c #Conflicts: 344000 | #Constraints: 29069
436.11/446.57 c #Conflicts: 345000 | #Constraints: 30189
436.11/446.57 c INPROCESSING
436.11/446.57 c GARBAGE COLLECT
436.11/446.57 c #Conflicts: 346000 | #Constraints: 17083
436.11/446.57 c #Conflicts: 347000 | #Constraints: 18338
436.11/446.57 c #Conflicts: 348000 | #Constraints: 19541
436.11/446.57 c #Conflicts: 349000 | #Constraints: 20676
436.11/446.57 c #Conflicts: 350000 | #Constraints: 21977
436.11/446.57 c #Conflicts: 351000 | #Constraints: 23370
436.11/446.57 c #Conflicts: 352000 | #Constraints: 24611
436.11/446.57 c #Conflicts: 353000 | #Constraints: 25796
436.11/446.57 c #Conflicts: 354000 | #Constraints: 26990
436.11/446.57 c #Conflicts: 355000 | #Constraints: 28155
436.11/446.57 c #Conflicts: 356000 | #Constraints: 29208
436.11/446.57 c #Conflicts: 357000 | #Constraints: 30277
436.11/446.57 c INPROCESSING
436.11/446.57 c GARBAGE COLLECT
436.11/446.57 c #Conflicts: 358000 | #Constraints: 17322
436.11/446.57 c #Conflicts: 359000 | #Constraints: 18448
436.11/446.57 c #Conflicts: 360000 | #Constraints: 19644
436.11/446.57 c #Conflicts: 361000 | #Constraints: 20916
436.11/446.57 c #Conflicts: 362000 | #Constraints: 22304
436.11/446.57 c #Conflicts: 363000 | #Constraints: 23456
436.11/446.57 c #Conflicts: 364000 | #Constraints: 24628
436.11/446.57 c #Conflicts: 365000 | #Constraints: 25913
436.11/446.57 c #Conflicts: 366000 | #Constraints: 27272
436.11/446.57 c #Conflicts: 367000 | #Constraints: 28413
436.11/446.57 c #Conflicts: 368000 | #Constraints: 29752
436.11/446.57 c #Conflicts: 369000 | #Constraints: 31184
436.11/446.57 c INPROCESSING
436.11/446.57 c GARBAGE COLLECT
436.11/446.57 c #Conflicts: 370000 | #Constraints: 17444
436.11/446.57 c #Conflicts: 371000 | #Constraints: 18603
436.11/446.57 c #Conflicts: 372000 | #Constraints: 19807
436.11/446.57 c #Conflicts: 373000 | #Constraints: 20959
436.11/446.57 c #Conflicts: 374000 | #Constraints: 22105
436.11/446.57 c #Conflicts: 375000 | #Constraints: 23377
436.11/446.57 c #Conflicts: 376000 | #Constraints: 24516
436.11/446.57 c #Conflicts: 377000 | #Constraints: 25927
436.11/446.57 c #Conflicts: 378000 | #Constraints: 27140
436.11/446.57 c #Conflicts: 379000 | #Constraints: 28509
436.11/446.57 c #Conflicts: 380000 | #Constraints: 30072
436.11/446.57 c #Conflicts: 381000 | #Constraints: 31317
436.11/446.57 c INPROCESSING
436.11/446.57 c GARBAGE COLLECT
436.11/446.57 c #Conflicts: 382000 | #Constraints: 17380
436.11/446.57 c #Conflicts: 383000 | #Constraints: 18827
436.11/446.57 c #Conflicts: 384000 | #Constraints: 20325
436.11/446.57 c #Conflicts: 385000 | #Constraints: 21549
436.11/446.57 c #Conflicts: 386000 | #Constraints: 23116
436.11/446.57 c #Conflicts: 387000 | #Constraints: 24279
436.11/446.57 c #Conflicts: 388000 | #Constraints: 25425
436.11/446.57 c #Conflicts: 389000 | #Constraints: 26566
436.11/446.57 c #Conflicts: 390000 | #Constraints: 27625
436.11/446.57 c #Conflicts: 391000 | #Constraints: 28743
436.11/446.57 c #Conflicts: 392000 | #Constraints: 30339
436.11/446.57 c #Conflicts: 393000 | #Constraints: 31604
436.11/446.57 c #Conflicts: 394000 | #Constraints: 32890
436.11/446.57 c INPROCESSING
436.11/446.57 c GARBAGE COLLECT
436.11/446.57 c #Conflicts: 395000 | #Constraints: 18416
436.11/446.57 c #Conflicts: 396000 | #Constraints: 19593
436.11/446.57 c #Conflicts: 397000 | #Constraints: 21036
436.11/446.57 c #Conflicts: 398000 | #Constraints: 22103
436.11/446.57 c #Conflicts: 399000 | #Constraints: 23329
436.11/446.57 c #Conflicts: 400000 | #Constraints: 24435
436.11/446.57 c #Conflicts: 401000 | #Constraints: 25561
436.11/446.57 c #Conflicts: 402000 | #Constraints: 26825
436.11/446.57 c #Conflicts: 403000 | #Constraints: 27941
436.11/446.57 c #Conflicts: 404000 | #Constraints: 29060
436.11/446.57 c #Conflicts: 405000 | #Constraints: 30308
436.11/446.57 c #Conflicts: 406000 | #Constraints: 31374
436.11/446.57 c #Conflicts: 407000 | #Constraints: 32528
436.11/446.57 c INPROCESSING
436.11/446.57 c GARBAGE COLLECT
436.11/446.57 c #Conflicts: 408000 | #Constraints: 18032
436.11/446.57 c #Conflicts: 409000 | #Constraints: 19345
533.96/549.49 c #Conflicts: 410000 | #Constraints: 20442
533.96/549.49 c #Conflicts: 411000 | #Constraints: 21510
533.96/549.49 c #Conflicts: 412000 | #Constraints: 22611
533.96/549.49 c #Conflicts: 413000 | #Constraints: 23761
533.96/549.49 c #Conflicts: 414000 | #Constraints: 24965
533.96/549.49 c #Conflicts: 415000 | #Constraints: 26066
533.96/549.49 c #Conflicts: 416000 | #Constraints: 27340
533.96/549.49 c #Conflicts: 417000 | #Constraints: 28513
533.96/549.49 c #Conflicts: 418000 | #Constraints: 29827
533.96/549.49 c #Conflicts: 419000 | #Constraints: 30959
533.96/549.49 c #Conflicts: 420000 | #Constraints: 32287
533.96/549.49 c INPROCESSING
533.96/549.49 c GARBAGE COLLECT
533.96/549.49 c #Conflicts: 421000 | #Constraints: 18274
533.96/549.49 c #Conflicts: 422000 | #Constraints: 19900
533.96/549.49 c #Conflicts: 423000 | #Constraints: 21476
533.96/549.49 c #Conflicts: 424000 | #Constraints: 23111
533.96/549.49 c #Conflicts: 425000 | #Constraints: 24808
533.96/549.49 c #Conflicts: 426000 | #Constraints: 26468
533.96/549.49 c #Conflicts: 427000 | #Constraints: 28154
533.96/549.49 c #Conflicts: 428000 | #Constraints: 29829
533.96/549.49 c #Conflicts: 429000 | #Constraints: 31533
533.96/549.49 c #Conflicts: 430000 | #Constraints: 33135
533.96/549.49 c #Conflicts: 431000 | #Constraints: 34725
533.96/549.49 c #Conflicts: 432000 | #Constraints: 36426
533.96/549.49 c #Conflicts: 433000 | #Constraints: 38082
533.96/549.49 c INPROCESSING
533.96/549.49 c GARBAGE COLLECT
533.96/549.49 c #Conflicts: 434000 | #Constraints: 21443
533.96/549.49 c #Conflicts: 435000 | #Constraints: 23107
533.96/549.49 c #Conflicts: 436000 | #Constraints: 24724
533.96/549.49 c #Conflicts: 437000 | #Constraints: 26262
533.96/549.49 c #Conflicts: 438000 | #Constraints: 27855
533.96/549.49 c #Conflicts: 439000 | #Constraints: 29409
533.96/549.49 c #Conflicts: 440000 | #Constraints: 31018
533.96/549.49 c #Conflicts: 441000 | #Constraints: 32628
533.96/549.49 c #Conflicts: 442000 | #Constraints: 34307
533.96/549.49 c #Conflicts: 443000 | #Constraints: 35957
533.96/549.49 c #Conflicts: 444000 | #Constraints: 37585
533.96/549.49 c #Conflicts: 445000 | #Constraints: 39197
533.96/549.49 c #Conflicts: 446000 | #Constraints: 40812
533.96/549.49 c INPROCESSING
533.96/549.49 c GARBAGE COLLECT
533.96/549.49 c #Conflicts: 447000 | #Constraints: 22454
533.96/549.49 c #Conflicts: 448000 | #Constraints: 23953
533.96/549.49 c #Conflicts: 449000 | #Constraints: 25542
533.96/549.49 c #Conflicts: 450000 | #Constraints: 27122
533.96/549.49 c #Conflicts: 451000 | #Constraints: 28761
533.96/549.49 c #Conflicts: 452000 | #Constraints: 29998
533.96/549.49 c #Conflicts: 453000 | #Constraints: 31313
533.96/549.49 c #Conflicts: 454000 | #Constraints: 32409
533.96/549.49 c #Conflicts: 455000 | #Constraints: 34003
533.96/549.49 c #Conflicts: 456000 | #Constraints: 35580
533.96/549.49 c #Conflicts: 457000 | #Constraints: 36869
533.96/549.49 c #Conflicts: 458000 | #Constraints: 38013
533.96/549.49 c #Conflicts: 459000 | #Constraints: 39246
533.96/549.49 c #Conflicts: 460000 | #Constraints: 40315
533.96/549.49 c INPROCESSING
533.96/549.49 c GARBAGE COLLECT
533.96/549.49 c #Conflicts: 461000 | #Constraints: 22119
533.96/549.49 c #Conflicts: 462000 | #Constraints: 23230
533.96/549.49 c #Conflicts: 463000 | #Constraints: 24274
533.96/549.49 c #Conflicts: 464000 | #Constraints: 25836
533.96/549.49 c #Conflicts: 465000 | #Constraints: 27494
533.96/549.49 c #Conflicts: 466000 | #Constraints: 29177
533.96/549.49 c #Conflicts: 467000 | #Constraints: 30563
533.96/549.49 c #Conflicts: 468000 | #Constraints: 31739
533.96/549.49 c #Conflicts: 469000 | #Constraints: 33015
533.96/549.49 c #Conflicts: 470000 | #Constraints: 34112
533.96/549.49 c #Conflicts: 471000 | #Constraints: 35303
533.96/549.49 c #Conflicts: 472000 | #Constraints: 36409
533.96/549.49 c #Conflicts: 473000 | #Constraints: 37645
533.96/549.49 c #Conflicts: 474000 | #Constraints: 39106
533.96/549.49 c INPROCESSING
533.96/549.49 c GARBAGE COLLECT
533.96/549.49 c #Conflicts: 475000 | #Constraints: 21516
533.96/549.49 c #Conflicts: 476000 | #Constraints: 22653
533.96/549.49 c #Conflicts: 477000 | #Constraints: 23685
533.96/549.49 c #Conflicts: 478000 | #Constraints: 24810
533.96/549.49 c #Conflicts: 479000 | #Constraints: 25911
533.96/549.49 c #Conflicts: 480000 | #Constraints: 27034
533.96/549.49 c #Conflicts: 481000 | #Constraints: 28089
533.96/549.49 c #Conflicts: 482000 | #Constraints: 29340
533.96/549.49 c #Conflicts: 483000 | #Constraints: 30635
533.96/549.49 c #Conflicts: 484000 | #Constraints: 31829
616.98/633.07 c #Conflicts: 485000 | #Constraints: 32962
616.98/633.07 c #Conflicts: 486000 | #Constraints: 34025
616.98/633.07 c #Conflicts: 487000 | #Constraints: 35193
616.98/633.07 c #Conflicts: 488000 | #Constraints: 36367
616.98/633.07 c INPROCESSING
616.98/633.07 c GARBAGE COLLECT
616.98/633.07 c #Conflicts: 489000 | #Constraints: 20222
616.98/633.07 c #Conflicts: 490000 | #Constraints: 21411
616.98/633.07 c #Conflicts: 491000 | #Constraints: 22589
616.98/633.07 c #Conflicts: 492000 | #Constraints: 23706
616.98/633.07 c #Conflicts: 493000 | #Constraints: 24847
616.98/633.07 c #Conflicts: 494000 | #Constraints: 26126
616.98/633.07 c #Conflicts: 495000 | #Constraints: 27650
616.98/633.07 c #Conflicts: 496000 | #Constraints: 28821
616.98/633.07 c #Conflicts: 497000 | #Constraints: 29905
616.98/633.07 c #Conflicts: 498000 | #Constraints: 31003
616.98/633.07 c #Conflicts: 499000 | #Constraints: 32190
616.98/633.07 c #Conflicts: 500000 | #Constraints: 33401
616.98/633.07 c #Conflicts: 501000 | #Constraints: 34531
616.98/633.07 c #Conflicts: 502000 | #Constraints: 35641
616.98/633.07 c INPROCESSING
616.98/633.07 c GARBAGE COLLECT
616.98/633.07 c #Conflicts: 503000 | #Constraints: 19718
616.98/633.07 c #Conflicts: 504000 | #Constraints: 20787
616.98/633.07 c #Conflicts: 505000 | #Constraints: 21988
616.98/633.07 c #Conflicts: 506000 | #Constraints: 23151
616.98/633.07 c #Conflicts: 507000 | #Constraints: 24287
616.98/633.07 c #Conflicts: 508000 | #Constraints: 25583
616.98/633.07 c #Conflicts: 509000 | #Constraints: 26775
616.98/633.07 c #Conflicts: 510000 | #Constraints: 27936
616.98/633.07 c #Conflicts: 511000 | #Constraints: 29227
616.98/633.07 c #Conflicts: 512000 | #Constraints: 30430
616.98/633.07 c #Conflicts: 513000 | #Constraints: 31597
616.98/633.07 c #Conflicts: 514000 | #Constraints: 32798
616.98/633.07 c #Conflicts: 515000 | #Constraints: 33904
616.98/633.07 c #Conflicts: 516000 | #Constraints: 34969
616.98/633.07 c INPROCESSING
616.98/633.07 c GARBAGE COLLECT
616.98/633.07 c #Conflicts: 517000 | #Constraints: 19176
616.98/633.07 c #Conflicts: 518000 | #Constraints: 20249
616.98/633.07 c #Conflicts: 519000 | #Constraints: 21346
616.98/633.07 c #Conflicts: 520000 | #Constraints: 22511
616.98/633.07 c #Conflicts: 521000 | #Constraints: 23638
616.98/633.07 c #Conflicts: 522000 | #Constraints: 24727
616.98/633.07 c #Conflicts: 523000 | #Constraints: 25798
616.98/633.07 c #Conflicts: 524000 | #Constraints: 26860
616.98/633.07 c #Conflicts: 525000 | #Constraints: 28111
616.98/633.07 c #Conflicts: 526000 | #Constraints: 29261
616.98/633.07 c #Conflicts: 527000 | #Constraints: 30374
616.98/633.07 c #Conflicts: 528000 | #Constraints: 31485
616.98/633.07 c #Conflicts: 529000 | #Constraints: 32612
616.98/633.07 c #Conflicts: 530000 | #Constraints: 33837
616.98/633.07 c #Conflicts: 531000 | #Constraints: 35051
616.98/633.07 c INPROCESSING
616.98/633.07 c GARBAGE COLLECT
616.98/633.07 c #Conflicts: 532000 | #Constraints: 19395
616.98/633.07 c #Conflicts: 533000 | #Constraints: 20467
616.98/633.07 c #Conflicts: 534000 | #Constraints: 21507
616.98/633.07 c #Conflicts: 535000 | #Constraints: 22595
616.98/633.07 c #Conflicts: 536000 | #Constraints: 23649
616.98/633.07 c #Conflicts: 537000 | #Constraints: 24790
616.98/633.07 c #Conflicts: 538000 | #Constraints: 25918
616.98/633.07 c #Conflicts: 539000 | #Constraints: 27031
616.98/633.07 c #Conflicts: 540000 | #Constraints: 28131
616.98/633.07 c #Conflicts: 541000 | #Constraints: 29166
616.98/633.07 c #Conflicts: 542000 | #Constraints: 30238
616.98/633.07 c #Conflicts: 543000 | #Constraints: 31397
616.98/633.07 c #Conflicts: 544000 | #Constraints: 32578
616.98/633.07 c #Conflicts: 545000 | #Constraints: 33883
616.98/633.07 c #Conflicts: 546000 | #Constraints: 35232
616.98/633.07 c INPROCESSING
616.98/633.07 c GARBAGE COLLECT
616.98/633.07 c #Conflicts: 547000 | #Constraints: 19920
616.98/633.07 c #Conflicts: 548000 | #Constraints: 21004
616.98/633.07 c #Conflicts: 549000 | #Constraints: 22126
616.98/633.07 c #Conflicts: 550000 | #Constraints: 23401
616.98/633.07 c #Conflicts: 551000 | #Constraints: 24456
616.98/633.07 c #Conflicts: 552000 | #Constraints: 25592
616.98/633.07 c #Conflicts: 553000 | #Constraints: 26872
616.98/633.07 c #Conflicts: 554000 | #Constraints: 28093
616.98/633.07 c #Conflicts: 555000 | #Constraints: 29505
616.98/633.07 c #Conflicts: 556000 | #Constraints: 31197
616.98/633.07 c #Conflicts: 557000 | #Constraints: 32896
616.98/633.07 c #Conflicts: 558000 | #Constraints: 34581
616.98/633.07 c #Conflicts: 559000 | #Constraints: 36237
616.98/633.07 c #Conflicts: 560000 | #Constraints: 37891
682.04/705.88 c #Conflicts: 561000 | #Constraints: 39571
682.04/705.88 c INPROCESSING
682.04/705.88 c GARBAGE COLLECT
682.04/705.88 c #Conflicts: 562000 | #Constraints: 22333
682.04/705.88 c #Conflicts: 563000 | #Constraints: 23998
682.04/705.88 c #Conflicts: 564000 | #Constraints: 25645
682.04/705.88 c #Conflicts: 565000 | #Constraints: 27343
682.04/705.88 c #Conflicts: 566000 | #Constraints: 28968
682.04/705.88 c #Conflicts: 567000 | #Constraints: 30547
682.04/705.88 c #Conflicts: 568000 | #Constraints: 32118
682.04/705.88 c #Conflicts: 569000 | #Constraints: 33795
682.04/705.88 c #Conflicts: 570000 | #Constraints: 35424
682.04/705.88 c #Conflicts: 571000 | #Constraints: 37050
682.04/705.88 c #Conflicts: 572000 | #Constraints: 38694
682.04/705.88 c #Conflicts: 573000 | #Constraints: 40332
682.04/705.88 c #Conflicts: 574000 | #Constraints: 41889
682.04/705.88 c #Conflicts: 575000 | #Constraints: 43004
682.04/705.88 c #Conflicts: 576000 | #Constraints: 44287
682.04/705.88 c INPROCESSING
682.04/705.88 c GARBAGE COLLECT
682.04/705.88 c #Conflicts: 577000 | #Constraints: 24024
682.04/705.88 c #Conflicts: 578000 | #Constraints: 25213
682.04/705.88 c #Conflicts: 579000 | #Constraints: 26246
682.04/705.88 c #Conflicts: 580000 | #Constraints: 27388
682.04/705.88 c #Conflicts: 581000 | #Constraints: 28665
682.04/705.88 c #Conflicts: 582000 | #Constraints: 29876
682.04/705.88 c #Conflicts: 583000 | #Constraints: 31099
682.04/705.88 c #Conflicts: 584000 | #Constraints: 32263
682.04/705.88 c #Conflicts: 585000 | #Constraints: 33406
682.04/705.88 c #Conflicts: 586000 | #Constraints: 34560
682.04/705.88 c #Conflicts: 587000 | #Constraints: 35609
682.04/705.88 c #Conflicts: 588000 | #Constraints: 36911
682.04/705.88 c #Conflicts: 589000 | #Constraints: 38184
682.04/705.88 c #Conflicts: 590000 | #Constraints: 39344
682.04/705.88 c #Conflicts: 591000 | #Constraints: 40638
682.04/705.88 c INPROCESSING
682.04/705.88 c GARBAGE COLLECT
682.04/705.88 c #Conflicts: 592000 | #Constraints: 21962
682.04/705.88 c #Conflicts: 593000 | #Constraints: 22984
682.04/705.88 c #Conflicts: 594000 | #Constraints: 24335
682.04/705.88 c #Conflicts: 595000 | #Constraints: 25521
682.04/705.88 c #Conflicts: 596000 | #Constraints: 26960
682.04/705.88 c #Conflicts: 597000 | #Constraints: 27960
682.04/705.88 c #Conflicts: 598000 | #Constraints: 28960
682.04/705.88 c #Conflicts: 599000 | #Constraints: 29960
682.04/705.88 c #Conflicts: 600000 | #Constraints: 30960
682.04/705.88 c #Conflicts: 601000 | #Constraints: 31960
682.04/705.88 c #Conflicts: 602000 | #Constraints: 32960
682.04/705.88 c #Conflicts: 603000 | #Constraints: 33960
682.04/705.88 c #Conflicts: 604000 | #Constraints: 34961
682.04/705.88 c #Conflicts: 605000 | #Constraints: 35962
682.04/705.88 c #Conflicts: 606000 | #Constraints: 36962
682.04/705.88 c #Conflicts: 607000 | #Constraints: 37963
682.04/705.88 c INPROCESSING
682.04/705.88 c GARBAGE COLLECT
682.04/705.88 c rational objective -77
682.34/706.10 c rational objective -77
702.40/726.54 c #Conflicts: 608000 | #Constraints: 21312
702.40/726.54 c #Conflicts: 609000 | #Constraints: 22816
702.40/726.54 c #Conflicts: 610000 | #Constraints: 24098
702.40/726.54 c #Conflicts: 611000 | #Constraints: 25269
702.40/726.54 c #Conflicts: 612000 | #Constraints: 26387
702.40/726.54 c #Conflicts: 613000 | #Constraints: 27470
702.40/726.54 c #Conflicts: 614000 | #Constraints: 28646
702.40/726.54 c #Conflicts: 615000 | #Constraints: 30080
702.40/726.54 c #Conflicts: 616000 | #Constraints: 31433
702.40/726.54 c #Conflicts: 617000 | #Constraints: 32485
702.40/726.54 c #Conflicts: 618000 | #Constraints: 33739
702.40/726.54 c #Conflicts: 619000 | #Constraints: 35346
702.40/726.54 c #Conflicts: 620000 | #Constraints: 36949
702.40/726.54 c #Conflicts: 621000 | #Constraints: 38563
702.40/726.54 c #Conflicts: 622000 | #Constraints: 40185
702.40/726.54 c #Conflicts: 623000 | #Constraints: 41828
702.40/726.54 c INPROCESSING
702.40/726.54 c GARBAGE COLLECT
702.40/726.54 c rational objective -77
716.92/741.24 c #Conflicts: 624000 | #Constraints: 23122
716.92/741.24 c #Conflicts: 625000 | #Constraints: 24217
716.92/741.24 c #Conflicts: 626000 | #Constraints: 25318
716.92/741.24 c #Conflicts: 627000 | #Constraints: 26434
716.92/741.24 c #Conflicts: 628000 | #Constraints: 27756
716.92/741.24 c #Conflicts: 629000 | #Constraints: 29099
716.92/741.24 c #Conflicts: 630000 | #Constraints: 30123
716.92/741.24 c #Conflicts: 631000 | #Constraints: 31123
716.92/741.24 c #Conflicts: 632000 | #Constraints: 32169
716.92/741.24 c #Conflicts: 633000 | #Constraints: 33496
716.92/741.24 c #Conflicts: 634000 | #Constraints: 34649
716.92/741.24 c #Conflicts: 635000 | #Constraints: 35651
716.92/741.24 c #Conflicts: 636000 | #Constraints: 36651
716.92/741.24 c #Conflicts: 637000 | #Constraints: 37651
716.92/741.24 c #Conflicts: 638000 | #Constraints: 38652
716.92/741.24 c #Conflicts: 639000 | #Constraints: 39652
716.92/741.24 c INPROCESSING
716.92/741.24 c GARBAGE COLLECT
716.92/741.24 c rational objective -77
717.12/741.47 c rational objective -77
736.85/761.22 c #Conflicts: 640000 | #Constraints: 21999
736.85/761.22 c #Conflicts: 641000 | #Constraints: 23578
736.85/761.22 c #Conflicts: 642000 | #Constraints: 25151
736.85/761.22 c #Conflicts: 643000 | #Constraints: 26794
736.85/761.22 c #Conflicts: 644000 | #Constraints: 28434
736.85/761.22 c #Conflicts: 645000 | #Constraints: 30062
736.85/761.22 c #Conflicts: 646000 | #Constraints: 31690
736.85/761.22 c #Conflicts: 647000 | #Constraints: 33310
736.85/761.22 c #Conflicts: 648000 | #Constraints: 34936
736.85/761.22 c #Conflicts: 649000 | #Constraints: 36536
736.85/761.22 c #Conflicts: 650000 | #Constraints: 38179
736.85/761.22 c #Conflicts: 651000 | #Constraints: 39793
736.85/761.22 c #Conflicts: 652000 | #Constraints: 41401
736.85/761.22 c #Conflicts: 653000 | #Constraints: 42958
736.85/761.22 c #Conflicts: 654000 | #Constraints: 44564
736.85/761.22 c #Conflicts: 655000 | #Constraints: 46188
736.85/761.22 c INPROCESSING
736.85/761.22 c GARBAGE COLLECT
736.85/761.22 c rational objective -77
737.16/761.50 c rational objective -77
754.85/780.58 c #Conflicts: 656000 | #Constraints: 25004
754.85/780.58 c #Conflicts: 657000 | #Constraints: 26005
754.85/780.58 c #Conflicts: 658000 | #Constraints: 27009
754.85/780.58 c #Conflicts: 659000 | #Constraints: 28031
754.85/780.58 c #Conflicts: 660000 | #Constraints: 29048
754.85/780.58 c #Conflicts: 661000 | #Constraints: 30049
754.85/780.58 c #Conflicts: 662000 | #Constraints: 31049
754.85/780.58 c #Conflicts: 663000 | #Constraints: 32049
754.85/780.58 c #Conflicts: 664000 | #Constraints: 33050
754.85/780.58 c #Conflicts: 665000 | #Constraints: 34106
754.85/780.58 c #Conflicts: 666000 | #Constraints: 35113
754.85/780.58 c #Conflicts: 667000 | #Constraints: 36113
754.85/780.58 c #Conflicts: 668000 | #Constraints: 37113
754.85/780.58 c #Conflicts: 669000 | #Constraints: 38113
754.85/780.58 c #Conflicts: 670000 | #Constraints: 39115
754.85/780.58 c #Conflicts: 671000 | #Constraints: 40126
754.85/780.58 c INPROCESSING
754.85/780.58 c GARBAGE COLLECT
754.85/780.58 c rational objective -77
755.65/781.38 c rational objective -77
770.51/796.24 c #Conflicts: 672000 | #Constraints: 21694
770.51/796.24 c #Conflicts: 673000 | #Constraints: 22694
770.51/796.24 c #Conflicts: 674000 | #Constraints: 23694
770.51/796.24 c #Conflicts: 675000 | #Constraints: 24695
770.51/796.24 c #Conflicts: 676000 | #Constraints: 25695
770.51/796.24 c #Conflicts: 677000 | #Constraints: 26696
770.51/796.24 c #Conflicts: 678000 | #Constraints: 27697
770.51/796.24 c #Conflicts: 679000 | #Constraints: 28697
770.51/796.24 c #Conflicts: 680000 | #Constraints: 29698
770.51/796.24 c #Conflicts: 681000 | #Constraints: 30698
770.51/796.24 c #Conflicts: 682000 | #Constraints: 31698
770.51/796.24 c #Conflicts: 683000 | #Constraints: 32698
770.51/796.24 c #Conflicts: 684000 | #Constraints: 33698
770.51/796.24 c #Conflicts: 685000 | #Constraints: 34698
770.51/796.24 c #Conflicts: 686000 | #Constraints: 35698
770.51/796.24 c #Conflicts: 687000 | #Constraints: 36698
770.51/796.24 c #Conflicts: 688000 | #Constraints: 37698
770.51/796.24 c INPROCESSING
770.51/796.24 c GARBAGE COLLECT
770.51/796.24 c rational objective -77
771.31/797.01 c rational objective -77
785.15/820.62 c #Conflicts: 689000 | #Constraints: 20675
785.15/820.62 c #Conflicts: 690000 | #Constraints: 21675
785.15/820.62 c #Conflicts: 691000 | #Constraints: 22675
785.15/820.62 c #Conflicts: 692000 | #Constraints: 23703
785.15/820.62 c #Conflicts: 693000 | #Constraints: 24703
785.15/820.62 c #Conflicts: 694000 | #Constraints: 25709
785.15/820.62 c #Conflicts: 695000 | #Constraints: 26715
785.15/820.62 c #Conflicts: 696000 | #Constraints: 27716
785.15/820.62 c #Conflicts: 697000 | #Constraints: 28728
785.15/820.62 c #Conflicts: 698000 | #Constraints: 29931
785.15/820.62 c #Conflicts: 699000 | #Constraints: 30945
785.15/820.62 c #Conflicts: 700000 | #Constraints: 31946
785.15/820.62 c #Conflicts: 701000 | #Constraints: 32949
785.15/820.62 c #Conflicts: 702000 | #Constraints: 33959
785.15/820.62 c #Conflicts: 703000 | #Constraints: 34962
785.15/820.62 c #Conflicts: 704000 | #Constraints: 35962
785.15/820.62 c #Conflicts: 705000 | #Constraints: 36964
785.15/820.62 c INPROCESSING
785.15/820.62 c GARBAGE COLLECT
785.15/820.62 c rational objective -77
785.35/820.87 c rational objective -77
801.90/837.47 c #Conflicts: 706000 | #Constraints: 20404
801.90/837.47 c #Conflicts: 707000 | #Constraints: 21766
801.90/837.47 c #Conflicts: 708000 | #Constraints: 23369
801.90/837.47 c #Conflicts: 709000 | #Constraints: 24992
801.90/837.47 c #Conflicts: 710000 | #Constraints: 26594
801.90/837.47 c #Conflicts: 711000 | #Constraints: 28224
801.90/837.47 c #Conflicts: 712000 | #Constraints: 29832
801.90/837.47 c #Conflicts: 713000 | #Constraints: 31442
801.90/837.47 c #Conflicts: 714000 | #Constraints: 33041
801.90/837.47 c #Conflicts: 715000 | #Constraints: 34668
801.90/837.47 c #Conflicts: 716000 | #Constraints: 36314
801.90/837.47 c #Conflicts: 717000 | #Constraints: 37940
801.90/837.47 c #Conflicts: 718000 | #Constraints: 39499
801.90/837.47 c #Conflicts: 719000 | #Constraints: 41110
801.90/837.47 c #Conflicts: 720000 | #Constraints: 42730
801.90/837.47 c #Conflicts: 721000 | #Constraints: 44350
801.90/837.47 c #Conflicts: 722000 | #Constraints: 45979
801.90/837.47 c INPROCESSING
801.90/837.47 c GARBAGE COLLECT
801.90/837.47 c rational objective -77
802.10/837.60 c rational objective -77
819.53/855.28 c #Conflicts: 723000 | #Constraints: 25490
819.53/855.28 c #Conflicts: 724000 | #Constraints: 27107
819.53/855.28 c #Conflicts: 725000 | #Constraints: 28717
819.53/855.28 c #Conflicts: 726000 | #Constraints: 30330
819.53/855.28 c #Conflicts: 727000 | #Constraints: 31966
819.53/855.28 c #Conflicts: 728000 | #Constraints: 33588
819.53/855.28 c #Conflicts: 729000 | #Constraints: 35168
819.53/855.28 c #Conflicts: 730000 | #Constraints: 36760
819.53/855.28 c #Conflicts: 731000 | #Constraints: 38381
819.53/855.28 c #Conflicts: 732000 | #Constraints: 39991
819.53/855.28 c #Conflicts: 733000 | #Constraints: 41616
819.53/855.28 c #Conflicts: 734000 | #Constraints: 43253
819.53/855.28 c #Conflicts: 735000 | #Constraints: 44871
819.53/855.28 c #Conflicts: 736000 | #Constraints: 46524
819.53/855.28 c #Conflicts: 737000 | #Constraints: 48172
819.53/855.28 c #Conflicts: 738000 | #Constraints: 49796
819.53/855.28 c #Conflicts: 739000 | #Constraints: 51441
819.53/855.28 c INPROCESSING
819.53/855.28 c GARBAGE COLLECT
819.53/855.28 c rational objective -77
820.13/855.83 c rational objective -77
857.23/893.00 c #Conflicts: 740000 | #Constraints: 27661
857.23/893.00 c #Conflicts: 741000 | #Constraints: 28690
857.23/893.00 c #Conflicts: 742000 | #Constraints: 29706
857.23/893.00 c #Conflicts: 743000 | #Constraints: 30714
857.23/893.00 c #Conflicts: 744000 | #Constraints: 31720
857.23/893.00 c #Conflicts: 745000 | #Constraints: 32739
857.23/893.00 c #Conflicts: 746000 | #Constraints: 33749
857.23/893.00 c #Conflicts: 747000 | #Constraints: 34762
857.23/893.00 c #Conflicts: 748000 | #Constraints: 35776
857.23/893.00 c #Conflicts: 749000 | #Constraints: 36783
857.23/893.00 c #Conflicts: 750000 | #Constraints: 37791
857.23/893.00 c #Conflicts: 751000 | #Constraints: 38800
857.23/893.00 c #Conflicts: 752000 | #Constraints: 39806
857.23/893.00 c #Conflicts: 753000 | #Constraints: 40810
857.23/893.00 c #Conflicts: 754000 | #Constraints: 41810
857.23/893.00 c #Conflicts: 755000 | #Constraints: 42811
857.23/893.00 c #Conflicts: 756000 | #Constraints: 43812
857.23/893.00 c INPROCESSING
857.23/893.00 c GARBAGE COLLECT
857.23/893.00 c #Conflicts: 757000 | #Constraints: 23444
857.23/893.00 c #Conflicts: 758000 | #Constraints: 24444
857.23/893.00 c #Conflicts: 759000 | #Constraints: 25444
857.23/893.00 c #Conflicts: 760000 | #Constraints: 26444
857.23/893.00 c #Conflicts: 761000 | #Constraints: 27445
857.23/893.00 c #Conflicts: 762000 | #Constraints: 28445
857.23/893.00 c #Conflicts: 763000 | #Constraints: 29446
857.23/893.00 c #Conflicts: 764000 | #Constraints: 30487
857.23/893.00 c #Conflicts: 765000 | #Constraints: 31550
857.23/893.00 c #Conflicts: 766000 | #Constraints: 32556
857.23/893.00 c #Conflicts: 767000 | #Constraints: 33628
857.23/893.00 c #Conflicts: 768000 | #Constraints: 34635
857.23/893.00 c #Conflicts: 769000 | #Constraints: 35636
857.23/893.00 c #Conflicts: 770000 | #Constraints: 36637
857.23/893.00 c #Conflicts: 771000 | #Constraints: 37637
857.23/893.00 c #Conflicts: 772000 | #Constraints: 38651
857.23/893.00 c #Conflicts: 773000 | #Constraints: 39652
857.23/893.00 c #Conflicts: 774000 | #Constraints: 40653
857.23/893.00 c INPROCESSING
857.23/893.00 c GARBAGE COLLECT
857.23/893.00 c #Conflicts: 775000 | #Constraints: 22121
857.23/893.00 c #Conflicts: 776000 | #Constraints: 23121
857.23/893.00 c #Conflicts: 777000 | #Constraints: 24121
857.23/893.00 c #Conflicts: 778000 | #Constraints: 25122
857.23/893.00 c #Conflicts: 779000 | #Constraints: 26123
857.23/893.00 c #Conflicts: 780000 | #Constraints: 27123
857.23/893.00 c #Conflicts: 781000 | #Constraints: 28125
857.23/893.00 c #Conflicts: 782000 | #Constraints: 29127
857.23/893.00 c #Conflicts: 783000 | #Constraints: 30127
857.23/893.00 c #Conflicts: 784000 | #Constraints: 31130
857.23/893.00 c #Conflicts: 785000 | #Constraints: 32132
857.23/893.00 c #Conflicts: 786000 | #Constraints: 33155
857.23/893.00 c #Conflicts: 787000 | #Constraints: 34156
857.23/893.00 c #Conflicts: 788000 | #Constraints: 35157
857.23/893.00 c #Conflicts: 789000 | #Constraints: 36158
857.23/893.00 c #Conflicts: 790000 | #Constraints: 37159
857.23/893.00 c #Conflicts: 791000 | #Constraints: 38172
857.23/893.00 c #Conflicts: 792000 | #Constraints: 39177
857.23/893.00 c INPROCESSING
857.23/893.00 c GARBAGE COLLECT
857.23/893.00 c rational objective -77
865.81/901.65 c #Conflicts: 793000 | #Constraints: 21504
865.81/901.65 c #Conflicts: 794000 | #Constraints: 22504
865.81/901.65 c #Conflicts: 795000 | #Constraints: 23504
865.81/901.65 c #Conflicts: 796000 | #Constraints: 24505
865.81/901.65 c #Conflicts: 797000 | #Constraints: 25506
865.81/901.65 c #Conflicts: 798000 | #Constraints: 26506
865.81/901.65 c #Conflicts: 799000 | #Constraints: 27506
865.81/901.65 c #Conflicts: 800000 | #Constraints: 28507
865.81/901.65 c #Conflicts: 801000 | #Constraints: 29510
865.81/901.65 c #Conflicts: 802000 | #Constraints: 30511
865.81/901.65 c #Conflicts: 803000 | #Constraints: 31512
865.81/901.65 c #Conflicts: 804000 | #Constraints: 32513
865.81/901.65 c #Conflicts: 805000 | #Constraints: 33513
865.81/901.65 c #Conflicts: 806000 | #Constraints: 34514
865.81/901.65 c #Conflicts: 807000 | #Constraints: 35514
865.81/901.65 c #Conflicts: 808000 | #Constraints: 36514
865.81/901.65 c #Conflicts: 809000 | #Constraints: 37517
865.81/901.65 c #Conflicts: 810000 | #Constraints: 38518
865.81/901.65 c INPROCESSING
865.81/901.65 c GARBAGE COLLECT
865.81/901.65 c rational objective -77
866.10/901.90 c rational objective -77
880.37/925.57 c #Conflicts: 811000 | #Constraints: 21181
880.37/925.57 c #Conflicts: 812000 | #Constraints: 22182
880.37/925.57 c #Conflicts: 813000 | #Constraints: 23190
880.37/925.57 c #Conflicts: 814000 | #Constraints: 24201
880.37/925.57 c #Conflicts: 815000 | #Constraints: 25218
880.37/925.57 c #Conflicts: 816000 | #Constraints: 26231
880.37/925.57 c #Conflicts: 817000 | #Constraints: 27233
880.37/925.57 c #Conflicts: 818000 | #Constraints: 28238
880.37/925.57 c #Conflicts: 819000 | #Constraints: 29240
880.37/925.57 c #Conflicts: 820000 | #Constraints: 30243
880.37/925.57 c #Conflicts: 821000 | #Constraints: 31248
880.37/925.57 c #Conflicts: 822000 | #Constraints: 32258
880.37/925.57 c #Conflicts: 823000 | #Constraints: 33259
880.37/925.57 c #Conflicts: 824000 | #Constraints: 34268
880.37/925.57 c #Conflicts: 825000 | #Constraints: 35274
880.37/925.57 c #Conflicts: 826000 | #Constraints: 36276
880.37/925.57 c #Conflicts: 827000 | #Constraints: 37288
880.37/925.57 c #Conflicts: 828000 | #Constraints: 38288
880.37/925.57 c INPROCESSING
880.37/925.57 c GARBAGE COLLECT
880.37/925.57 c rational objective -77
880.47/925.69 c rational objective -77
893.04/938.29 c #Conflicts: 829000 | #Constraints: 20971
893.04/938.29 c #Conflicts: 830000 | #Constraints: 21972
893.04/938.29 c #Conflicts: 831000 | #Constraints: 22985
893.04/938.29 c #Conflicts: 832000 | #Constraints: 23994
893.04/938.29 c #Conflicts: 833000 | #Constraints: 25003
893.04/938.29 c #Conflicts: 834000 | #Constraints: 26013
893.04/938.29 c #Conflicts: 835000 | #Constraints: 27020
893.04/938.29 c #Conflicts: 836000 | #Constraints: 28033
893.04/938.29 c #Conflicts: 837000 | #Constraints: 29043
893.04/938.29 c #Conflicts: 838000 | #Constraints: 30046
893.04/938.29 c #Conflicts: 839000 | #Constraints: 31046
893.04/938.29 c #Conflicts: 840000 | #Constraints: 32051
893.04/938.29 c #Conflicts: 841000 | #Constraints: 33052
893.04/938.29 c #Conflicts: 842000 | #Constraints: 34052
893.04/938.29 c #Conflicts: 843000 | #Constraints: 35053
893.04/938.29 c #Conflicts: 844000 | #Constraints: 36054
893.04/938.29 c #Conflicts: 845000 | #Constraints: 37054
893.04/938.29 c #Conflicts: 846000 | #Constraints: 38054
893.04/938.29 c INPROCESSING
893.04/938.29 c GARBAGE COLLECT
893.04/938.29 c rational objective -77
893.23/938.42 c rational objective -77
902.92/948.29 c #Conflicts: 847000 | #Constraints: 20661
902.92/948.29 c #Conflicts: 848000 | #Constraints: 21693
902.92/948.29 c #Conflicts: 849000 | #Constraints: 22707
902.92/948.29 c #Conflicts: 850000 | #Constraints: 23723
902.92/948.29 c #Conflicts: 851000 | #Constraints: 24731
902.92/948.29 c #Conflicts: 852000 | #Constraints: 25735
902.92/948.29 c #Conflicts: 853000 | #Constraints: 26742
902.92/948.29 c #Conflicts: 854000 | #Constraints: 27757
902.92/948.29 c #Conflicts: 855000 | #Constraints: 28765
902.92/948.29 c #Conflicts: 856000 | #Constraints: 29773
902.92/948.29 c #Conflicts: 857000 | #Constraints: 30785
902.92/948.29 c #Conflicts: 858000 | #Constraints: 31798
902.92/948.29 c #Conflicts: 859000 | #Constraints: 32804
902.92/948.29 c #Conflicts: 860000 | #Constraints: 33814
902.92/948.29 c #Conflicts: 861000 | #Constraints: 34819
902.92/948.29 c #Conflicts: 862000 | #Constraints: 35821
902.92/948.29 c #Conflicts: 863000 | #Constraints: 36825
902.92/948.29 c #Conflicts: 864000 | #Constraints: 37827
902.92/948.29 c #Conflicts: 865000 | #Constraints: 38831
902.92/948.29 c INPROCESSING
902.92/948.29 c GARBAGE COLLECT
902.92/948.29 c rational objective -77
903.12/948.42 c rational objective -77
906.01/951.36 c #Conflicts: 866000 | #Constraints: 21226
906.01/951.36 c #Conflicts: 867000 | #Constraints: 22230
906.01/951.36 c #Conflicts: 868000 | #Constraints: 23231
906.01/951.36 c #Conflicts: 869000 | #Constraints: 24243
906.01/951.36 c bounds -76 >= -76 @ 891.879
906.01/951.36 c cpu time 891.879 s
906.01/951.36 c deterministic time 72280304079 7.23e+10
906.01/951.36 c optimization time 0.057128 s
906.01/951.36 c total solve time 891.81 s
906.01/951.36 c core-guided solve time 452.354 s
906.01/951.36 c propagation time 678.333 s
906.01/951.36 c conflict analysis time 171.467 s
906.01/951.36 c propagations 41319952
906.01/951.36 c resolve steps 9199903
906.01/951.36 c decisions 2814489
906.01/951.36 c conflicts 869862
906.01/951.36 c restarts 1876
906.01/951.36 c inprocessing phases 84
906.01/951.36 c garbage collections 84 ,( 100.00 )
906.01/951.36 c input clauses 1708 ,( 84.72 )
906.01/951.36 c input cardinalities 256 ,( 12.70 )
906.01/951.36 c input general constraints 52 ,( 2.58 )
906.01/951.36 c input average constraint length 104.74
906.01/951.36 c input average constraint degree 41.32
906.01/951.36 c learned clauses 758404 ,( 70.76 )
906.01/951.36 c learned cardinalities 8784 ,( 0.82 )
906.01/951.36 c learned general constraints 304592 ,( 28.42 )
906.01/951.36 c learned average constraint length 490.60
906.01/951.36 c learned average constraint degree 1239208718.21
906.01/951.36 c watched CF 32, 64, 128, Arb: 83634 , 0 , 0 , 0
906.01/951.36 c counting CF 32, 64, 128, Arb: 221011 , 0 , 0 , 0
906.01/951.36 c watched constraints 83634 ,( 27.45 )
906.01/951.36 c counting constraints 221010 ,( 72.55 )
906.01/951.36 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 213808121 , 147819274 , 2306003417 ,( 693842963 , 1612160454 )
906.01/951.36 c gcd simplifications 37814
906.01/951.36 c detected cardinalities 487
906.01/951.36 c weakened non-implied lits 136541761
906.01/951.36 c weakened non-implying lits 80548
906.01/951.36 c original variables 3380
906.01/951.36 c clausal propagations 12762468
906.01/951.36 c cardinality propagations 9155902
906.01/951.36 c watched propagations 2879141
906.01/951.36 c counting propagations 15364701
906.01/951.36 c watch lookups 17479541215
906.01/951.36 c watch backjump lookups 0
906.01/951.36 c watch checks 29272472566
906.01/951.36 c propagation checks 23873700517
906.01/951.36 c constraint additions 1564479718
906.01/951.36 c trail pops 45002692
906.01/951.36 c formula constraints 1756
906.01/951.36 c learned constraints 868719
906.01/951.36 c bound constraints 101
906.01/951.36 c core-guided constraints 159
906.01/951.36 c encountered formula constraints 3363425
906.01/951.36 c encountered learned constraints 6395680
906.01/951.36 c encountered bound constraints 35
906.01/951.36 c encountered core-guided constraints 105025
906.01/951.36 c LP total time 262.433 s
906.01/951.36 c LP solve time 161.53 s
906.01/951.36 c LP constraints added 2751
906.01/951.36 c LP constraints removed 969
906.01/951.36 c LP pivots internal 869904
906.01/951.36 c LP pivots root 103025
906.01/951.36 c LP calls 251535
906.01/951.36 c LP optimalities 49937
906.01/951.36 c LP no pivot count 28656
906.01/951.36 c LP infeasibilities 201577
906.01/951.36 c LP valid Farkas constraints 201571
906.01/951.36 c LP learned Farkas constraints 1143
906.01/951.36 c LP basis resets 18
906.01/951.36 c LP cycling count 6
906.01/951.36 c LP singular count 10
906.01/951.36 c LP no primal count 0
906.01/951.36 c LP no farkas count 2
906.01/951.36 c LP other issue count 0
906.01/951.36 c LP Gomory cuts 347
906.01/951.36 c LP learned cuts 648
906.01/951.36 c LP deleted cuts 969
906.01/951.36 c LP encountered Gomory constraints 21037
906.01/951.36 c LP encountered Farkas constraints 124182
906.01/951.36 c LP encountered learned Farkas constraints 59238
906.01/951.36 c CG auxiliary variables introduced 78
906.01/951.36 c CG solutions found 19
906.01/951.36 c CG cores constructed 81
906.01/951.36 c CG core cardinality constraints returned 77
906.01/951.36 c CG unit cores 0
906.01/951.36 c CG single cores 81
906.01/951.36 c CG blocks removed during cardinality reduction 0
906.01/951.36 c CG first core best 0
906.01/951.36 c CG decision core best 0
906.01/951.36 c CG core reduction tie 0
906.01/951.36 c CG core degree average 23.77
906.01/951.36 c CG core slack average 0.96
906.01/951.36 c CG core upper bound improvements 0
906.01/951.36 c STR number of successful calls 0
906.01/951.36 c STR number of unsuccessful calls 0
906.01/951.36 c STR number of inconclusive calls 0
906.01/951.36 c STR number of successful attempts 0
906.01/951.36 c STR number of unsuccessful attempts 0
906.01/951.36 c STR number of inconclusive attempts 0
906.01/951.36 c STR average degree increase per successful call inf
906.01/951.36 c STR average degree increase per successful attempt inf
906.01/951.36 c STR total number of conflicts for successful attempts 0
906.01/951.36 c STR total number of conflicts for unsuccessful attempts 0
906.01/951.36 c STR total number of conflicts for inconclusive attempts 0
906.01/951.36 c STR average number of conflicts per successful attempt inf
906.01/951.36 c STR average number of conflicts per unsuccessful attempt inf
906.01/951.36 c STR average number of conflicts per inconclusive attempt inf
906.01/951.36 c AVG.sumWPerc 52.10
906.01/951.36 c bigint constraints 0
906.01/951.36 o -76
906.01/951.36 s OPTIMUM FOUND
906.01/951.36 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 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 x2029 x2030 x2031 x2032 x2033 x2034 x2035 x2036 x2037 x2038 x2039 x2040 x2041 x2042 x2043 x2044 x2045 x2046 -x2047 x2048 x2049 x2050 x2051 x2052 x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 x3355 x3356 x3357 x3358 x3359 x3360 x3361 x3362 x3363 x3364 x3365 x3366 x3367 -x3368 x3369 x3370 x3371 x3372 x3373 x3374 x3375 x3376 x3377 x3378 x3379 x3380
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62607 MiB free)
memory of node 1: 64465 MiB (63907 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519563-1751555170/watcher-4519563-1751555170 -o /tmp/evaluation-result-4519563-1751555170/solver-4519563-1751555170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751555170-93571 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4519563-1751555170.opb PROOFDIR/proof-4519563-1751555170
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=93629, runsolver pid=93611
[startup+0.100058 s]*
/proc/loadavg: 0.27 0.81 1.37 2/269 93632
/proc/meminfo: memFree=129549720/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93632] ppid=93629 vsize=11648 memory=4992 CPUtime=0 cores=1,3
/proc/93632/stat : 93632 (pbsuma) D 93629 93629 93530 0 -1 4194304 371 0 0 0 0 0 0 0 20 0 1 0 71194597 11927552 1248 18446744073709551615 4210688 4653049 140724030950224 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 13086720 140724030953699 140724030954034 140724030954034 140724030959599 0
/proc/93632/statm: 2912 1248 992 108 0 320 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 15840 KiB
Current children cumulated memory: 8064 KiB
[startup+0.205318 s]*
/proc/loadavg: 0.27 0.81 1.37 3/269 93632
/proc/meminfo: memFree=129546976/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93632] ppid=93629 vsize=11648 memory=4992 CPUtime=0 cores=1,3
/proc/93632/stat : 93632 (pbsuma) D 93629 93629 93530 0 -1 4194304 371 0 0 0 0 0 0 0 20 0 1 0 71194597 11927552 1248 18446744073709551615 4210688 4653049 140724030950224 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 13086720 140724030953699 140724030954034 140724030954034 140724030959599 0
/proc/93632/statm: 2912 1248 992 108 0 320 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 15840 KiB
Current children cumulated memory: 8064 KiB
[startup+0.305177 s]*
/proc/loadavg: 0.27 0.81 1.37 4/269 93632
/proc/meminfo: memFree=129539416/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93632] ppid=93629 vsize=11648 memory=4992 CPUtime=0 cores=1,3
/proc/93632/stat : 93632 (pbsuma) D 93629 93629 93530 0 -1 4456448 371 0 0 0 0 0 0 0 20 0 1 0 71194597 11927552 1248 18446744073709551615 4210688 4653049 140724030950224 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 13086720 140724030953699 140724030954034 140724030954034 140724030959599 0
/proc/93632/statm: 2912 1248 992 108 0 320 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 15840 KiB
Current children cumulated memory: 8064 KiB
[startup+0.700177 s]
/proc/loadavg: 0.27 0.81 1.37 6/269 93632
/proc/meminfo: memFree=129530848/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93632] ppid=93629 vsize=18016 memory=10092 CPUtime=0.3 cores=1,3
/proc/93632/stat : 93632 (pbsuma) R 93629 93629 93530 0 -1 4194304 2150 0 0 0 30 0 0 0 20 0 1 0 71194597 18448384 2523 18446744073709551615 4210688 4653049 140724030950224 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 13086720 140724030953699 140724030954034 140724030954034 140724030959599 0
/proc/93632/statm: 4504 2523 1024 108 0 1912 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22208 KiB
Current children cumulated memory: 13164 KiB
[startup+1.50015 s]
/proc/loadavg: 0.27 0.81 1.37 5/269 93635
/proc/meminfo: memFree=129518376/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=76660 memory=33032 CPUtime=0.65 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 5317 0 0 0 60 5 0 0 20 0 1 0 71194679 78499840 8258 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 19165 8258 2464 1147 0 6592 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 80852 KiB
Current children cumulated memory: 36104 KiB
[startup+3.10526 s]
/proc/loadavg: 0.56 0.86 1.38 4/264 93644
/proc/meminfo: memFree=129403660/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=98192 memory=51700 CPUtime=2.25 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 8958 0 0 0 213 12 0 0 20 0 1 0 71194679 100548608 12925 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 24548 12925 2464 1147 0 11975 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 102384 KiB
Current children cumulated memory: 54772 KiB
[startup+6.30014 s]
/proc/loadavg: 0.56 0.86 1.38 5/269 93731
/proc/meminfo: memFree=129304100/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=105840 memory=58996 CPUtime=5.43 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 10787 0 0 0 523 20 0 0 20 0 1 0 71194679 108380160 14749 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 26460 14749 2464 1147 0 13887 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 110032 KiB
Current children cumulated memory: 62068 KiB
[startup+12.7002 s]
/proc/loadavg: 1.09 0.97 1.41 5/269 93731
/proc/meminfo: memFree=129163824/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=105840 memory=61432 CPUtime=11.82 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 10867 0 0 0 1151 31 0 0 20 0 1 0 71194679 108380160 15358 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 26460 15358 2464 1147 0 13887 0
Current children cumulated CPU time: 12.25 s
Current children cumulated vsize: 110032 KiB
Current children cumulated memory: 64504 KiB
[startup+25.5002 s]
/proc/loadavg: 1.61 1.08 1.44 5/269 93731
/proc/meminfo: memFree=128920972/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=112952 memory=70496 CPUtime=24.57 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 12631 0 0 0 2403 54 0 0 20 0 1 0 71194679 115662848 17624 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 28238 17624 2464 1147 0 15665 0
Current children cumulated CPU time: 25 s
Current children cumulated vsize: 117144 KiB
Current children cumulated memory: 73568 KiB
[startup+51.1055 s]
/proc/loadavg: 2.43 1.32 1.51 5/273 93737
/proc/meminfo: memFree=128082572/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=149976 memory=102272 CPUtime=42.09 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 19037 0 0 0 4125 84 0 0 20 0 1 0 71194679 153575424 25568 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 37494 25568 2464 1147 0 24921 0
Current children cumulated CPU time: 42.52 s
Current children cumulated vsize: 154168 KiB
Current children cumulated memory: 105344 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.79 1.66 5/274 93788
/proc/meminfo: memFree=127513500/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=223096 memory=166344 CPUtime=92.89 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 30983 0 0 0 9120 169 0 0 20 0 1 0 71194679 228450304 41586 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 55774 41586 2464 1147 0 43201 0
Current children cumulated CPU time: 93.32 s
Current children cumulated vsize: 227288 KiB
Current children cumulated memory: 169416 KiB
[startup+162.3 s]
/proc/loadavg: 3.81 2.21 1.82 4/269 94008
/proc/meminfo: memFree=126802108/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=232596 memory=180412 CPUtime=152.67 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 33649 0 0 0 15001 266 0 0 20 0 1 0 71194679 238178304 45103 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 58149 45103 2464 1147 0 45576 0
Current children cumulated CPU time: 153.1 s
Current children cumulated vsize: 236788 KiB
Current children cumulated memory: 183484 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.57 1.97 5/269 94105
/proc/meminfo: memFree=125693040/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=331248 memory=268996 CPUtime=212.48 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 46283 0 0 0 20893 355 0 0 20 0 1 0 71194679 339197952 67249 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 82812 67249 2464 1147 0 70239 0
################
# More data... #
################
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 64173 0 0 0 55789 843 0 0 20 0 1 0 71194679 498585600 94660 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 121725 94660 2464 1147 0 109152 0
Current children cumulated CPU time: 566.75 s
Current children cumulated vsize: 491092 KiB
Current children cumulated memory: 381712 KiB
[startup+642.3 s]
/proc/loadavg: 4.05 3.74 2.76 5/274 94338
/proc/meminfo: memFree=120914552/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=487728 memory=379408 CPUtime=625.59 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 64378 0 0 0 61637 922 0 0 20 0 1 0 71194679 499433472 94852 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 121932 94852 2464 1147 0 109359 0
Current children cumulated CPU time: 626.02 s
Current children cumulated vsize: 491920 KiB
Current children cumulated memory: 382480 KiB
[startup+702.3 s]
/proc/loadavg: 4.06 3.80 2.85 5/274 94391
/proc/meminfo: memFree=120207704/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=494340 memory=384456 CPUtime=678.11 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 66072 0 0 0 66820 991 0 0 20 0 1 0 71194679 506204160 96114 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 123585 96114 2464 1147 0 111012 0
Current children cumulated CPU time: 678.54 s
Current children cumulated vsize: 498532 KiB
Current children cumulated memory: 387528 KiB
[startup+762.3 s]
/proc/loadavg: 4.12 3.87 2.93 5/275 94393
/proc/meminfo: memFree=119476884/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=507700 memory=397300 CPUtime=737.51 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 69538 0 0 0 72683 1068 0 0 20 0 1 0 71194679 519884800 99325 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 126925 99325 2560 1147 0 114352 0
Current children cumulated CPU time: 737.94 s
Current children cumulated vsize: 511892 KiB
Current children cumulated memory: 400372 KiB
[startup+822.3 s]
/proc/loadavg: 4.10 3.91 3.01 5/270 94423
/proc/meminfo: memFree=119849732/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=509820 memory=399332 CPUtime=786.43 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 71409 0 0 0 77500 1143 0 0 20 0 1 0 71194679 522055680 99833 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 127455 99833 2592 1147 0 114882 0
Current children cumulated CPU time: 786.86 s
Current children cumulated vsize: 514012 KiB
Current children cumulated memory: 402404 KiB
[startup+882.3 s]
/proc/loadavg: 4.11 3.95 3.08 4/266 94605
/proc/meminfo: memFree=120885932/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=514120 memory=403520 CPUtime=846.13 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 74670 0 0 0 83358 1255 0 0 20 0 1 0 71194679 526458880 100880 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 128530 100880 2592 1147 0 115957 0
Current children cumulated CPU time: 846.56 s
Current children cumulated vsize: 518312 KiB
Current children cumulated memory: 406592 KiB
[startup+942.3 s]
/proc/loadavg: 4.09 3.97 3.15 5/274 94690
/proc/meminfo: memFree=119538080/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=511676 memory=401292 CPUtime=896.61 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 75802 0 0 0 88306 1355 0 0 20 0 1 0 71194679 523956224 100323 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 127919 100323 2592 1147 0 115346 0
Current children cumulated CPU time: 897.04 s
Current children cumulated vsize: 515868 KiB
Current children cumulated memory: 404364 KiB
[startup+951.442 s]
# the end of solver process 93629 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=892.305 s, system=13.8073 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.09 3.97 3.15 5/274 94691
/proc/meminfo: memFree=119514440/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=511676 memory=401292 CPUtime=901.5 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 75802 0 0 0 88784 1366 0 0 20 0 1 0 71194679 523956224 100323 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 127919 100323 2592 1147 0 115346 0
Current children cumulated CPU time: 901.93 s
Current children cumulated vsize: 515868 KiB
Current children cumulated memory: 404364 KiB
[startup+948.8 s]
/proc/loadavg: 4.09 3.97 3.15 5/274 94692
/proc/meminfo: memFree=119506376/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=511676 memory=401292 CPUtime=903.09 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 75802 0 0 0 88940 1369 0 0 20 0 1 0 71194679 523956224 100323 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 127919 100323 2592 1147 0 115346 0
Current children cumulated CPU time: 903.52 s
Current children cumulated vsize: 515868 KiB
Current children cumulated memory: 404364 KiB
[startup+950.4 s]
/proc/loadavg: 4.09 3.97 3.15 5/274 94692
/proc/meminfo: memFree=119503988/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=511676 memory=401292 CPUtime=904.69 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 75802 0 0 0 89094 1375 0 0 20 0 1 0 71194679 523956224 100323 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 127919 100323 2592 1147 0 115346 0
Current children cumulated CPU time: 905.12 s
Current children cumulated vsize: 515868 KiB
Current children cumulated memory: 404364 KiB
[startup+951.2 s]
/proc/loadavg: 4.09 3.97 3.15 5/274 94692
/proc/meminfo: memFree=119502980/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=511676 memory=401292 CPUtime=905.48 cores=1,3
/proc/93634/stat : 93634 (roundingsat) R 93629 93629 93530 0 -1 4194304 75802 0 0 0 89172 1376 0 0 20 0 1 0 71194679 523956224 100323 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 127919 100323 2592 1147 0 115346 0
Current children cumulated CPU time: 905.91 s
Current children cumulated vsize: 515868 KiB
Current children cumulated memory: 404364 KiB
[startup+951.4 s]
/proc/loadavg: 4.09 3.97 3.15 5/274 94692
/proc/meminfo: memFree=119502980/131250000 swapFree=33010160/33010684
[pid=93629] ppid=93611 vsize=4192 memory=3072 CPUtime=0.43 cores=1,3
/proc/93629/stat : 93629 (run-opt-ls-log.) S 93611 93629 93530 0 -1 4194304 242 2351 0 0 0 0 42 1 20 0 1 0 71194596 4292608 768 18446744073709551615 94851718516736 94851719411269 140725330806400 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851719650320 94851719698064 94851730251776 140725330811163 140725330811361 140725330811361 140725330816963 0
/proc/93629/statm: 1048 768 704 219 0 110 0
[pid=93634] ppid=93629 vsize=511676 memory=401292 CPUtime=905.66 cores=1,3
/proc/93634/stat : 93634 (roundingsat) D 93629 93629 93530 0 -1 4194304 75802 0 0 0 89188 1378 0 0 20 0 1 0 71194679 523956224 100323 18446744073709551615 4227072 8923433 140735263416144 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 34832384 140735263422710 140735263423016 140735263423016 140735263428586 0
/proc/93634/statm: 127919 100323 2592 1147 0 115346 0
Current children cumulated CPU time: 906.09 s
Current children cumulated vsize: 515868 KiB
Current children cumulated memory: 404364 KiB
Child status: 0
Real time (s): 951.442
CPU time (s): 906.113
CPU user time (s): 892.305
CPU system time (s): 13.8073
CPU usage (%): 95.2357
Max. virtual memory (cumulated for all children) (KiB): 518312
Max. memory (cumulated for all children) (KiB): 406592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 892.305
system time used= 13.8073
maximum resident set size= 403520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78417
page faults= 0
swaps= 0
block input operations= 8
block output operations= 8961248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1363
involuntary context switches= 5989
# summary of solver processes directly reported to runsolver:
# pid: 93629
# total CPU time (s): 906.113
# total CPU user time (s): 892.305
# total CPU system time (s): 13.8073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8403 second user time and 4.32878 second system time
The end
Begin job on nodeC016 at 2025-07-03 17:06:10
IDJOB=4519563
IDBENCH=177275
IDSOLVER=3356
FILE ID=nodeC016/4519563-1751555170
RUNJOBID= nodeC016-1751555170-93571
SLURM_JOB_ID= 9598745
Free space on /tmp= 432884 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519563-1751555170/watcher-4519563-1751555170 -o /tmp/evaluation-result-4519563-1751555170/solver-4519563-1751555170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751555170-93571 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4519563-1751555170.opb PROOFDIR/proof-4519563-1751555170
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c7d48d7b52922a8c66e4a5b5da991f51
RANDOM SEED=184778046
nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.115
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.714
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.744
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3754.259
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3656.487
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.776
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.732
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3653.831
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129556960 kB
MemAvailable: 129714608 kB
Buffers: 2144 kB
Cached: 925664 kB
SwapCached: 28 kB
Active: 692968 kB
Inactive: 305800 kB
Active(anon): 83816 kB
Inactive(anon): 5288 kB
Active(file): 609152 kB
Inactive(file): 300512 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29724 kB
Writeback: 0 kB
AnonPages: 74112 kB
Mapped: 104328 kB
Shmem: 18044 kB
KReclaimable: 174448 kB
Slab: 267168 kB
SReclaimable: 174448 kB
SUnreclaim: 92720 kB
KernelStack: 4096 kB
PageTables: 2940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 334988 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432852 MiB
End job on nodeC016 at 2025-07-03 17:22:02