0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 4624 #constraints 5263
0.00/0.04 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= -2577 @ 0.030706
0.00/0.06 c GLOBAL bounds - >= -2577 @ 0.034283
0.00/0.09 c GLOBAL bounds - >= -2577 @ 0.063872
0.08/0.11 c GLOBAL bounds - >= -2577 @ 0.08732
0.08/0.12 c GLOBAL bounds - >= -2577 @ 0.093101
0.08/0.13 c GLOBAL bounds - >= -2577 @ 0.096113
0.08/0.13 c GLOBAL bounds - >= -2577 @ 0.101611
0.08/0.14 c GLOBAL bounds - >= -2577 @ 0.108899
0.08/0.16 c GLOBAL bounds - >= -2577 @ 0.121004
0.08/0.17 c GLOBAL bounds - >= -2577 @ 0.128547
0.08/0.17 c GLOBAL bounds - >= -2577 @ 0.134932
0.08/0.19 c GLOBAL bounds - >= -2577 @ 0.153896
0.19/0.21 c GLOBAL bounds - >= -2577 @ 0.167935
0.19/0.22 c GLOBAL bounds - >= -2577 @ 0.17167
0.29/0.32 c GLOBAL bounds - >= -2577 @ 0.273758
0.29/0.35 c GLOBAL bounds - >= -2577 @ 0.29426
0.29/0.39 c GLOBAL bounds - >= -2577 @ 0.331222
0.29/0.40 c GLOBAL bounds - >= -2577 @ 0.34059
0.39/0.41 c GLOBAL bounds - >= -2577 @ 0.346699
0.39/0.46 c GLOBAL bounds - >= -2577 @ 0.388035
0.39/0.47 c GLOBAL bounds - >= -2577 @ 0.398866
0.49/0.51 c GLOBAL bounds - >= -2577 @ 0.43403
0.49/0.53 c GLOBAL bounds - >= -2577 @ 0.458666
0.58/0.64 c GLOBAL bounds - >= -2577 @ 0.555825
0.77/0.86 c GLOBAL bounds - >= -2577 @ 0.761509
0.77/0.88 c GLOBAL bounds - >= -2577 @ 0.784844
0.87/0.92 c GLOBAL bounds - >= -2577 @ 0.819121
0.87/0.93 c GLOBAL bounds - >= -2577 @ 0.831213
1.08/1.13 c GLOBAL bounds - >= -2577 @ 1.02854
1.08/1.16 c GLOBAL bounds - >= -2577 @ 1.04699
1.38/1.47 c GLOBAL bounds - >= -2577 @ 1.34367
1.48/1.50 c GLOBAL bounds - >= -2577 @ 1.36507
1.48/1.53 c GLOBAL bounds - >= -2577 @ 1.3919
1.48/1.56 c GLOBAL bounds - >= -2577 @ 1.42079
1.57/1.62 c GLOBAL bounds - >= -2577 @ 1.47979
1.57/1.64 c GLOBAL bounds - >= -2577 @ 1.49827
1.57/1.67 c GLOBAL bounds - >= -2577 @ 1.52692
1.67/1.70 c GLOBAL bounds - >= -2577 @ 1.55401
1.77/1.82 c GLOBAL bounds - >= -2577 @ 1.66456
1.98/2.07 c GLOBAL bounds - >= -2577 @ 1.90095
2.17/2.25 c #Conflicts: 1000 | #Constraints: 6339
2.17/2.25 c GLOBAL bounds - >= -2577 @ 2.07103
2.28/2.30 c GLOBAL bounds - >= -2577 @ 2.11502
2.38/2.41 c GLOBAL bounds - >= -2577 @ 2.21108
2.38/2.44 c GLOBAL bounds - >= -2577 @ 2.24149
2.38/2.47 c GLOBAL bounds - >= -2577 @ 2.27588
2.47/2.51 c GLOBAL bounds - >= -2577 @ 2.3067
2.67/2.70 c GLOBAL bounds - >= -2577 @ 2.49212
2.67/2.77 c GLOBAL bounds - >= -2577 @ 2.55797
2.78/2.85 c GLOBAL bounds - >= -2577 @ 2.62516
2.98/3.05 c GLOBAL bounds - >= -2577 @ 2.82013
3.08/3.12 c GLOBAL bounds - >= -2577 @ 2.88226
3.08/3.17 c GLOBAL bounds - >= -2577 @ 2.92527
3.17/3.21 c GLOBAL bounds - >= -2577 @ 2.96454
3.47/3.56 c GLOBAL bounds - >= -2577 @ 3.2861
3.67/3.72 c GLOBAL bounds - >= -2577 @ 3.44261
3.77/3.80 c GLOBAL bounds - >= -2577 @ 3.50692
3.87/3.92 c GLOBAL bounds - >= -2577 @ 3.62373
3.87/3.99 c GLOBAL bounds - >= -2577 @ 3.68809
3.97/4.05 c GLOBAL bounds - >= -2577 @ 3.74958
4.08/4.13 c GLOBAL bounds - >= -2577 @ 3.82893
4.08/4.19 c GLOBAL bounds - >= -2577 @ 3.88675
4.17/4.26 c GLOBAL bounds - >= -2577 @ 3.9497
4.27/4.35 c GLOBAL bounds - >= -2577 @ 4.03447
4.47/4.57 c GLOBAL bounds - >= -2577 @ 4.24447
4.76/4.88 c #Conflicts: 2000 | #Constraints: 7387
4.76/4.88 c INPROCESSING
4.76/4.88 c GARBAGE COLLECT
4.76/4.88 c GLOBAL bounds - >= -2577 @ 4.54851
4.86/4.95 c GLOBAL bounds - >= -2577 @ 4.6218
4.86/5.00 c GLOBAL bounds - >= -2577 @ 4.6697
4.97/5.05 c GLOBAL bounds - >= -2577 @ 4.71652
5.26/5.33 c GLOBAL bounds - >= -2577 @ 4.99578
5.26/5.39 c GLOBAL bounds - >= -2577 @ 5.04761
5.36/5.43 c GLOBAL bounds - >= -2577 @ 5.09467
5.36/5.49 c GLOBAL bounds - >= -2577 @ 5.14864
5.57/5.61 c GLOBAL bounds - >= -2577 @ 5.26573
5.57/5.69 c GLOBAL bounds - >= -2577 @ 5.34252
6.27/6.33 c GLOBAL bounds - >= -2577 @ 5.96978
6.46/6.58 c GLOBAL bounds - >= -2577 @ 6.20681
6.66/6.77 c GLOBAL bounds - >= -2577 @ 6.38593
6.76/6.89 c GLOBAL bounds - >= -2577 @ 6.50454
6.97/7.04 c #Conflicts: 3000 | #Constraints: 7430
6.97/7.04 c GLOBAL bounds - >= -2577 @ 6.65208
7.06/7.16 c GLOBAL bounds - >= -2577 @ 6.76547
7.26/7.30 c GLOBAL bounds - >= -2577 @ 6.89937
7.26/7.37 c GLOBAL bounds - >= -2577 @ 6.96947
7.56/7.62 c GLOBAL bounds - >= -2577 @ 7.20592
7.65/7.73 c GLOBAL bounds - >= -2577 @ 7.31296
7.76/7.88 c GLOBAL bounds - >= -2577 @ 7.44788
7.97/8.04 c GLOBAL bounds - >= -2577 @ 7.61028
8.06/8.14 c GLOBAL bounds - >= -2577 @ 7.70498
8.15/8.23 c GLOBAL bounds - >= -2577 @ 7.79464
8.25/8.39 c GLOBAL bounds - >= -2577 @ 7.95076
8.55/8.61 c GLOBAL bounds - >= -2577 @ 8.15323
8.76/8.80 c GLOBAL bounds - >= -2577 @ 8.3304
8.96/9.01 c GLOBAL bounds - >= -2577 @ 8.5204
9.25/9.31 c GLOBAL bounds - >= -2577 @ 8.80535
9.96/10.04 c #Conflicts: 4000 | #Constraints: 8460
9.96/10.04 c GLOBAL bounds - >= -2577 @ 9.51894
10.65/10.74 c INPROCESSING
10.65/10.74 c GARBAGE COLLECT
10.65/10.74 c GLOBAL bounds - >= -2577 @ 10.1963
10.96/11.08 c GLOBAL bounds - >= -2577 @ 10.5209
11.45/11.59 c GLOBAL bounds - >= -2577 @ 11.0247
11.65/11.73 c GLOBAL bounds - >= -2577 @ 11.1535
11.75/11.82 c GLOBAL bounds - >= -2577 @ 11.2463
12.15/12.22 c GLOBAL bounds - >= -2577 @ 11.6308
12.84/12.93 c #Conflicts: 5000 | #Constraints: 7888
12.84/12.93 c GLOBAL bounds - >= -2577 @ 12.3181
13.14/13.26 c GLOBAL bounds - >= -2577 @ 12.6454
13.44/13.52 c GLOBAL bounds - >= -2577 @ 12.8949
13.55/13.64 c GLOBAL bounds - >= -2577 @ 13.0149
13.74/13.80 c GLOBAL bounds - >= -2577 @ 13.1685
13.94/14.03 c GLOBAL bounds - >= -2577 @ 13.4002
14.34/14.47 c GLOBAL bounds - >= -2577 @ 13.8199
15.54/15.67 c #Conflicts: 6000 | #Constraints: 8902
15.54/15.67 c GLOBAL bounds - >= -2577 @ 14.9782
16.43/16.52 c INPROCESSING
16.43/16.52 c GARBAGE COLLECT
16.43/16.52 c GLOBAL bounds - >= -2577 @ 15.7924
16.53/16.66 c GLOBAL bounds - >= -2577 @ 15.9296
16.73/16.87 c GLOBAL bounds - >= -2577 @ 16.1383
18.63/18.70 c #Conflicts: 7000 | #Constraints: 7923
18.63/18.70 c GLOBAL bounds - >= -2577 @ 17.9079
21.23/21.39 c #Conflicts: 8000 | #Constraints: 8925
21.23/21.39 c #Conflicts: 9000 | #Constraints: 9925
21.23/21.39 c GLOBAL bounds - >= -2577 @ 20.511
22.72/22.87 c INPROCESSING
22.72/22.87 c GARBAGE COLLECT
22.72/22.87 c GLOBAL bounds - >= -2577 @ 21.9602
23.22/23.35 c GLOBAL bounds - >= -2577 @ 22.4381
23.52/23.60 c GLOBAL bounds - >= -2577 @ 22.6829
23.72/23.83 c #Conflicts: 10000 | #Constraints: 8631
23.72/23.83 c GLOBAL bounds - >= -2577 @ 22.9072
23.81/23.98 c GLOBAL bounds - >= -2577 @ 23.0555
24.02/24.19 c GLOBAL bounds - >= -2577 @ 23.2575
24.51/24.64 c GLOBAL bounds - >= -2577 @ 23.6983
24.62/24.79 c GLOBAL bounds - >= -2577 @ 23.8422
24.92/25.03 c GLOBAL bounds - >= -2577 @ 24.0811
26.71/26.88 c #Conflicts: 11000 | #Constraints: 9643
26.71/26.88 c GLOBAL bounds - >= -2577 @ 25.8822
27.21/27.38 c GLOBAL bounds - >= -2577 @ 26.3746
28.30/28.43 c GLOBAL bounds - >= -2577 @ 27.3905
30.70/30.82 c #Conflicts: 12000 | #Constraints: 10649
30.70/30.82 c INPROCESSING
30.70/30.82 c GARBAGE COLLECT
30.70/30.82 c GLOBAL bounds - >= -2577 @ 29.7231
32.00/32.11 c #Conflicts: 13000 | #Constraints: 9104
32.00/32.11 c GLOBAL bounds - >= -2577 @ 30.9793
32.70/32.82 c GLOBAL bounds - >= -2577 @ 31.6674
33.29/33.40 c #Conflicts: 14000 | #Constraints: 10108
33.29/33.40 c GLOBAL bounds - >= -2577 @ 32.2422
33.69/33.86 c GLOBAL bounds - >= -2577 @ 32.6906
37.38/37.53 c #Conflicts: 15000 | #Constraints: 11112
37.38/37.53 c INPROCESSING
37.38/37.53 c GARBAGE COLLECT
37.38/37.53 c #Conflicts: 16000 | #Constraints: 9345
37.38/37.53 c GLOBAL bounds - >= -2577 @ 36.2569
37.48/37.68 c GLOBAL bounds - >= -2577 @ 36.4088
41.77/41.98 c #Conflicts: 17000 | #Constraints: 10349
41.77/41.98 c #Conflicts: 18000 | #Constraints: 11349
41.77/41.98 c INPROCESSING
41.77/41.98 c GARBAGE COLLECT
41.77/41.98 c GLOBAL bounds - >= -2577 @ 40.5869
43.37/43.52 c #Conflicts: 19000 | #Constraints: 9372
43.37/43.52 c GLOBAL bounds - >= -2577 @ 42.0823
43.76/43.98 c GLOBAL bounds - >= -2577 @ 42.5296
44.66/44.85 c GLOBAL bounds - >= -2577 @ 43.3848
44.87/45.06 c GLOBAL bounds - >= -2577 @ 43.5904
45.06/45.25 c GLOBAL bounds - >= -2577 @ 43.7726
45.26/45.45 c GLOBAL bounds - >= -2577 @ 43.9708
49.15/49.39 c #Conflicts: 20000 | #Constraints: 10384
49.15/49.39 c #Conflicts: 21000 | #Constraints: 11384
49.15/49.39 c GLOBAL bounds - >= -2577 @ 47.7954
49.95/50.19 c INPROCESSING
49.95/50.19 c GARBAGE COLLECT
49.95/50.19 c GLOBAL bounds - >= -2577 @ 48.5843
50.85/51.08 c #Conflicts: 22000 | #Constraints: 9178
50.85/51.08 c GLOBAL bounds - >= -2577 @ 49.4638
59.32/59.53 c #Conflicts: 23000 | #Constraints: 10180
59.32/59.53 c #Conflicts: 24000 | #Constraints: 11180
59.32/59.53 c #Conflicts: 25000 | #Constraints: 12180
59.32/59.53 c INPROCESSING
59.32/59.53 c GARBAGE COLLECT
59.32/59.53 c GLOBAL bounds - >= -2577 @ 57.7289
60.22/60.41 c GLOBAL bounds - >= -2577 @ 58.5848
60.82/61.06 c #Conflicts: 26000 | #Constraints: 9801
60.82/61.06 c GLOBAL bounds - >= -2577 @ 59.2191
65.21/65.40 c #Conflicts: 27000 | #Constraints: 10803
65.21/65.40 c GLOBAL bounds - >= -2577 @ 63.4828
65.50/65.71 c #Conflicts: 28000 | #Constraints: 11805
65.50/65.71 c GLOBAL bounds - >= -2577 @ 63.7863
66.30/66.53 c GLOBAL bounds - >= -2577 @ 64.593
66.91/67.16 c GLOBAL bounds - >= -2577 @ 65.2105
69.29/69.52 c #Conflicts: 29000 | #Constraints: 12811
69.29/69.52 c INPROCESSING
69.29/69.52 c GARBAGE COLLECT
69.29/69.52 c GLOBAL bounds - >= -2577 @ 67.4948
69.68/69.94 c GLOBAL bounds - >= -2577 @ 67.9145
71.29/71.57 c GLOBAL bounds - >= -2577 @ 69.5078
73.37/73.67 c #Conflicts: 30000 | #Constraints: 10224
73.37/73.67 c GLOBAL bounds - >= -2577 @ 71.5727
74.18/74.47 c #Conflicts: 31000 | #Constraints: 11226
74.18/74.47 c GLOBAL bounds - >= -2577 @ 72.3581
75.47/75.80 c GLOBAL bounds - >= -2577 @ 73.6452
76.96/77.22 c #Conflicts: 32000 | #Constraints: 12230
76.96/77.22 c GLOBAL bounds - >= -2577 @ 75.0412
77.46/77.76 c GLOBAL bounds - >= -2577 @ 75.5772
78.57/78.85 c GLOBAL bounds - >= -2577 @ 76.6495
79.06/79.38 c GLOBAL bounds - >= -2577 @ 77.1758
79.46/79.79 c GLOBAL bounds - >= -2577 @ 77.5723
79.96/80.29 c GLOBAL bounds - >= -2577 @ 78.0627
85.94/86.21 c #Conflicts: 33000 | #Constraints: 13242
85.94/86.21 c INPROCESSING
85.94/86.21 c GARBAGE COLLECT
85.94/86.21 c #Conflicts: 34000 | #Constraints: 10447
85.94/86.21 c #Conflicts: 35000 | #Constraints: 11447
85.94/86.21 c GLOBAL bounds - >= -2577 @ 83.857
87.13/87.41 c #Conflicts: 36000 | #Constraints: 12449
87.13/87.41 c GLOBAL bounds - >= -2577 @ 85.0277
98.40/98.72 c #Conflicts: 37000 | #Constraints: 13451
98.40/98.72 c INPROCESSING
98.40/98.72 c GARBAGE COLLECT
98.40/98.72 c #Conflicts: 38000 | #Constraints: 10466
98.40/98.72 c #Conflicts: 39000 | #Constraints: 11466
98.40/98.72 c #Conflicts: 40000 | #Constraints: 12466
98.40/98.72 c #Conflicts: 41000 | #Constraints: 13466
98.40/98.72 c INPROCESSING
98.40/98.72 c GARBAGE COLLECT
98.40/98.72 c GLOBAL bounds - >= -2577 @ 96.0804
98.89/99.22 c #Conflicts: 42000 | #Constraints: 10279
98.89/99.22 c GLOBAL bounds - >= -2577 @ 96.5815
99.30/99.67 c GLOBAL bounds - >= -2577 @ 97.0254
99.49/99.82 c GLOBAL bounds - >= -2577 @ 97.1686
104.38/104.77 c #Conflicts: 43000 | #Constraints: 11285
104.38/104.77 c #Conflicts: 44000 | #Constraints: 12285
104.38/104.77 c #Conflicts: 45000 | #Constraints: 13285
104.38/104.77 c GLOBAL bounds - >= -2577 @ 102.015
107.37/107.71 c #Conflicts: 46000 | #Constraints: 14287
107.37/107.71 c GLOBAL bounds - >= -2577 @ 104.889
110.56/110.95 c INPROCESSING
110.56/110.95 c GARBAGE COLLECT
110.56/110.95 c #Conflicts: 47000 | #Constraints: 10878
110.56/110.95 c GLOBAL bounds - >= -2577 @ 108.086
113.05/113.44 c #Conflicts: 48000 | #Constraints: 11880
113.05/113.44 c GLOBAL bounds - >= -2577 @ 110.517
115.94/116.32 c #Conflicts: 49000 | #Constraints: 12882
115.94/116.32 c GLOBAL bounds - >= -2577 @ 113.354
117.13/117.59 c GLOBAL bounds - >= -2577 @ 114.602
121.82/122.29 c #Conflicts: 50000 | #Constraints: 13886
121.82/122.29 c #Conflicts: 51000 | #Constraints: 14886
121.82/122.29 c INPROCESSING
121.82/122.29 c GARBAGE COLLECT
121.82/122.29 c GLOBAL bounds - >= -2577 @ 119.224
126.61/127.07 c #Conflicts: 52000 | #Constraints: 11292
126.61/127.07 c #Conflicts: 53000 | #Constraints: 12292
126.61/127.07 c GLOBAL bounds - >= -2577 @ 123.893
128.20/128.67 c GLOBAL bounds - >= -2577 @ 125.469
139.16/139.65 c #Conflicts: 54000 | #Constraints: 13296
139.16/139.65 c #Conflicts: 55000 | #Constraints: 14296
139.16/139.65 c #Conflicts: 56000 | #Constraints: 15296
139.16/139.65 c INPROCESSING
139.16/139.65 c GARBAGE COLLECT
139.16/139.65 c #Conflicts: 57000 | #Constraints: 11496
139.16/139.65 c GLOBAL bounds - >= -2577 @ 136.256
141.36/141.87 c #Conflicts: 58000 | #Constraints: 12498
141.36/141.87 c GLOBAL bounds - >= -2577 @ 138.443
141.96/142.48 c GLOBAL bounds - >= -2577 @ 139.048
143.65/144.19 c #Conflicts: 59000 | #Constraints: 13502
143.65/144.19 c GLOBAL bounds - >= -2577 @ 140.72
147.64/148.13 c #Conflicts: 60000 | #Constraints: 14504
147.64/148.13 c #Conflicts: 61000 | #Constraints: 15504
147.64/148.13 c INPROCESSING
147.64/148.13 c GARBAGE COLLECT
147.64/148.13 c GLOBAL bounds - >= -2577 @ 144.57
148.54/149.01 c GLOBAL bounds - >= -2577 @ 145.437
155.12/155.61 c #Conflicts: 62000 | #Constraints: 11523
155.12/155.61 c #Conflicts: 63000 | #Constraints: 12523
155.12/155.61 c #Conflicts: 64000 | #Constraints: 13523
155.12/155.61 c GLOBAL bounds - >= -2577 @ 151.927
163.89/164.46 c #Conflicts: 65000 | #Constraints: 14525
163.89/164.46 c #Conflicts: 66000 | #Constraints: 15525
163.89/164.46 c INPROCESSING
163.89/164.46 c GARBAGE COLLECT
163.89/164.46 c #Conflicts: 67000 | #Constraints: 11333
163.89/164.46 c GLOBAL bounds - >= -2577 @ 160.6
165.48/166.09 c #Conflicts: 68000 | #Constraints: 12335
165.48/166.09 c GLOBAL bounds - >= -2577 @ 162.215
166.98/167.57 c GLOBAL bounds - >= -2577 @ 163.669
175.85/176.49 c #Conflicts: 69000 | #Constraints: 13339
175.85/176.49 c #Conflicts: 70000 | #Constraints: 14339
175.85/176.49 c #Conflicts: 71000 | #Constraints: 15339
175.85/176.49 c #Conflicts: 72000 | #Constraints: 16339
175.85/176.49 c INPROCESSING
175.85/176.49 c GARBAGE COLLECT
175.85/176.49 c GLOBAL bounds - >= -2577 @ 172.435
178.84/179.46 c #Conflicts: 73000 | #Constraints: 11960
178.84/179.46 c GLOBAL bounds - >= -2577 @ 175.359
222.09/222.87 c #Conflicts: 74000 | #Constraints: 12962
222.09/222.87 c #Conflicts: 75000 | #Constraints: 13962
222.09/222.87 c #Conflicts: 76000 | #Constraints: 14962
222.09/222.87 c #Conflicts: 77000 | #Constraints: 15962
222.09/222.87 c #Conflicts: 78000 | #Constraints: 16962
222.09/222.87 c INPROCESSING
222.09/222.87 c GARBAGE COLLECT
222.09/222.87 c #Conflicts: 79000 | #Constraints: 12360
222.09/222.87 c #Conflicts: 80000 | #Constraints: 13360
222.09/222.87 c #Conflicts: 81000 | #Constraints: 14360
222.09/222.87 c #Conflicts: 82000 | #Constraints: 15360
222.09/222.87 c #Conflicts: 83000 | #Constraints: 16360
222.09/222.87 c #Conflicts: 84000 | #Constraints: 17360
222.09/222.87 c INPROCESSING
222.09/222.87 c GARBAGE COLLECT
222.09/222.87 c #Conflicts: 85000 | #Constraints: 12565
222.09/222.87 c #Conflicts: 86000 | #Constraints: 13565
222.09/222.87 c #Conflicts: 87000 | #Constraints: 14565
222.09/222.87 c #Conflicts: 88000 | #Constraints: 15565
222.09/222.87 c #Conflicts: 89000 | #Constraints: 16565
222.09/222.87 c GLOBAL bounds - >= -2577 @ 218.086
224.79/225.59 c #Conflicts: 90000 | #Constraints: 17567
224.79/225.59 c INPROCESSING
224.79/225.59 c GARBAGE COLLECT
224.79/225.59 c GLOBAL bounds - >= -2577 @ 220.762
233.76/234.59 c #Conflicts: 91000 | #Constraints: 12577
233.76/234.59 c #Conflicts: 92000 | #Constraints: 13577
233.76/234.59 c #Conflicts: 93000 | #Constraints: 14577
233.76/234.59 c #Conflicts: 94000 | #Constraints: 15577
233.76/234.59 c #Conflicts: 95000 | #Constraints: 16577
233.76/234.59 c #Conflicts: 96000 | #Constraints: 17577
233.76/234.59 c GLOBAL bounds - >= -2577 @ 229.599
250.71/251.56 c INPROCESSING
250.71/251.56 c GARBAGE COLLECT
250.71/251.56 c #Conflicts: 97000 | #Constraints: 12383
250.71/251.56 c #Conflicts: 98000 | #Constraints: 13383
250.71/251.56 c #Conflicts: 99000 | #Constraints: 14383
250.71/251.56 c #Conflicts: 100000 | #Constraints: 15383
250.71/251.56 c #Conflicts: 101000 | #Constraints: 16383
250.71/251.56 c #Conflicts: 102000 | #Constraints: 17383
250.71/251.56 c #Conflicts: 103000 | #Constraints: 18383
250.71/251.56 c GLOBAL bounds - >= -2577 @ 246.286
270.74/271.67 c INPROCESSING
270.74/271.67 c GARBAGE COLLECT
270.74/271.67 c #Conflicts: 104000 | #Constraints: 12940
270.74/271.67 c #Conflicts: 105000 | #Constraints: 13940
270.74/271.67 c #Conflicts: 106000 | #Constraints: 14940
270.74/271.67 c #Conflicts: 107000 | #Constraints: 15940
270.74/271.67 c #Conflicts: 108000 | #Constraints: 16940
270.74/271.67 c #Conflicts: 109000 | #Constraints: 17940
270.74/271.67 c GLOBAL bounds - >= -2577 @ 266.124
275.03/275.97 c #Conflicts: 110000 | #Constraints: 18942
275.03/275.97 c INPROCESSING
275.03/275.97 c GARBAGE COLLECT
275.03/275.97 c #Conflicts: 111000 | #Constraints: 13353
275.03/275.97 c GLOBAL bounds - >= -2577 @ 270.341
292.77/293.73 c #Conflicts: 112000 | #Constraints: 14355
292.77/293.73 c #Conflicts: 113000 | #Constraints: 15355
292.77/293.73 c #Conflicts: 114000 | #Constraints: 16355
292.77/293.73 c #Conflicts: 115000 | #Constraints: 17355
292.77/293.73 c #Conflicts: 116000 | #Constraints: 18355
292.77/293.73 c #Conflicts: 117000 | #Constraints: 19355
292.77/293.73 c INPROCESSING
292.77/293.73 c GARBAGE COLLECT
292.77/293.73 c GLOBAL bounds - >= -2577 @ 287.804
306.13/307.17 c #Conflicts: 118000 | #Constraints: 13584
306.13/307.17 c #Conflicts: 119000 | #Constraints: 14584
306.13/307.17 c #Conflicts: 120000 | #Constraints: 15584
306.13/307.17 c #Conflicts: 121000 | #Constraints: 16584
306.13/307.17 c #Conflicts: 122000 | #Constraints: 17584
306.13/307.17 c GLOBAL bounds - >= -2577 @ 301.052
335.94/337.03 c #Conflicts: 123000 | #Constraints: 18586
335.94/337.03 c #Conflicts: 124000 | #Constraints: 19586
335.94/337.03 c INPROCESSING
335.94/337.03 c GARBAGE COLLECT
335.94/337.03 c #Conflicts: 125000 | #Constraints: 13610
335.94/337.03 c #Conflicts: 126000 | #Constraints: 14610
335.94/337.03 c #Conflicts: 127000 | #Constraints: 15610
335.94/337.03 c #Conflicts: 128000 | #Constraints: 16610
335.94/337.03 c #Conflicts: 129000 | #Constraints: 17610
335.94/337.03 c #Conflicts: 130000 | #Constraints: 18610
335.94/337.03 c #Conflicts: 131000 | #Constraints: 19610
335.94/337.03 c INPROCESSING
335.94/337.03 c GARBAGE COLLECT
335.94/337.03 c #Conflicts: 132000 | #Constraints: 13421
335.94/337.03 c GLOBAL bounds - >= -2577 @ 330.53
346.30/347.40 c #Conflicts: 133000 | #Constraints: 14423
346.30/347.40 c #Conflicts: 134000 | #Constraints: 15423
346.30/347.40 c #Conflicts: 135000 | #Constraints: 16423
346.30/347.40 c GLOBAL bounds - >= -2577 @ 340.77
396.54/397.83 c #Conflicts: 136000 | #Constraints: 17425
396.54/397.83 c #Conflicts: 137000 | #Constraints: 18425
396.54/397.83 c #Conflicts: 138000 | #Constraints: 19425
396.54/397.83 c #Conflicts: 139000 | #Constraints: 20425
396.54/397.83 c INPROCESSING
396.54/397.83 c GARBAGE COLLECT
396.54/397.83 c #Conflicts: 140000 | #Constraints: 14022
396.54/397.83 c #Conflicts: 141000 | #Constraints: 15022
396.54/397.83 c #Conflicts: 142000 | #Constraints: 16022
396.54/397.83 c #Conflicts: 143000 | #Constraints: 17022
396.54/397.83 c #Conflicts: 144000 | #Constraints: 18022
396.54/397.83 c #Conflicts: 145000 | #Constraints: 19022
396.54/397.83 c #Conflicts: 146000 | #Constraints: 20022
396.54/397.83 c #Conflicts: 147000 | #Constraints: 21022
396.54/397.83 c INPROCESSING
396.54/397.83 c GARBAGE COLLECT
396.54/397.83 c #Conflicts: 148000 | #Constraints: 14429
396.54/397.83 c #Conflicts: 149000 | #Constraints: 15429
396.54/397.83 c #Conflicts: 150000 | #Constraints: 16429
396.54/397.83 c #Conflicts: 151000 | #Constraints: 17429
396.54/397.83 c #Conflicts: 152000 | #Constraints: 18429
396.54/397.83 c #Conflicts: 153000 | #Constraints: 19429
396.54/397.83 c #Conflicts: 154000 | #Constraints: 20429
396.54/397.83 c GLOBAL bounds - >= -2577 @ 390.477
397.54/398.84 c GLOBAL bounds - >= -2577 @ 391.473
401.41/402.79 c #Conflicts: 155000 | #Constraints: 21433
401.41/402.79 c INPROCESSING
401.41/402.79 c GARBAGE COLLECT
401.41/402.79 c GLOBAL bounds - >= -2577 @ 395.381
407.20/408.51 c #Conflicts: 156000 | #Constraints: 14630
407.20/408.51 c #Conflicts: 157000 | #Constraints: 15630
407.20/408.51 c GLOBAL bounds - >= -2577 @ 401.038
436.61/438.06 c #Conflicts: 158000 | #Constraints: 16632
436.61/438.06 c #Conflicts: 159000 | #Constraints: 17632
436.61/438.06 c #Conflicts: 160000 | #Constraints: 18632
436.61/438.06 c #Conflicts: 161000 | #Constraints: 19632
436.61/438.06 c #Conflicts: 162000 | #Constraints: 20632
436.61/438.06 c #Conflicts: 163000 | #Constraints: 21632
436.61/438.06 c INPROCESSING
436.61/438.06 c GARBAGE COLLECT
436.61/438.06 c #Conflicts: 164000 | #Constraints: 14629
436.61/438.06 c #Conflicts: 165000 | #Constraints: 15629
436.61/438.06 c #Conflicts: 166000 | #Constraints: 16629
436.61/438.06 c #Conflicts: 167000 | #Constraints: 17629
436.61/438.06 c GLOBAL bounds - >= -2577 @ 430.113
457.24/458.78 c #Conflicts: 168000 | #Constraints: 18631
457.24/458.78 c #Conflicts: 169000 | #Constraints: 19631
457.24/458.78 c #Conflicts: 170000 | #Constraints: 20631
457.24/458.78 c #Conflicts: 171000 | #Constraints: 21631
457.24/458.78 c INPROCESSING
457.24/458.78 c GARBAGE COLLECT
457.24/458.78 c #Conflicts: 172000 | #Constraints: 14421
457.24/458.78 c #Conflicts: 173000 | #Constraints: 15421
457.24/458.78 c GLOBAL bounds - >= -2577 @ 450.608
476.77/478.30 c #Conflicts: 174000 | #Constraints: 16423
476.77/478.30 c #Conflicts: 175000 | #Constraints: 17423
476.77/478.30 c #Conflicts: 176000 | #Constraints: 18423
476.77/478.30 c #Conflicts: 177000 | #Constraints: 19423
476.77/478.30 c #Conflicts: 178000 | #Constraints: 20423
476.77/478.30 c GLOBAL bounds - >= -2577 @ 469.924
506.18/507.87 c #Conflicts: 179000 | #Constraints: 21425
506.18/507.87 c #Conflicts: 180000 | #Constraints: 22425
506.18/507.87 c INPROCESSING
506.18/507.87 c GARBAGE COLLECT
506.18/507.87 c #Conflicts: 181000 | #Constraints: 15023
506.18/507.87 c #Conflicts: 182000 | #Constraints: 16023
506.18/507.87 c #Conflicts: 183000 | #Constraints: 17023
506.18/507.87 c #Conflicts: 184000 | #Constraints: 18023
506.18/507.87 c #Conflicts: 185000 | #Constraints: 19023
506.18/507.87 c #Conflicts: 186000 | #Constraints: 20023
506.18/507.87 c #Conflicts: 187000 | #Constraints: 21023
506.18/507.87 c GLOBAL bounds - >= -2577 @ 499.032
537.28/539.01 c #Conflicts: 188000 | #Constraints: 22025
537.28/539.01 c #Conflicts: 189000 | #Constraints: 23025
537.28/539.01 c INPROCESSING
537.28/539.01 c GARBAGE COLLECT
537.28/539.01 c #Conflicts: 190000 | #Constraints: 15436
537.28/539.01 c #Conflicts: 191000 | #Constraints: 16436
537.28/539.01 c #Conflicts: 192000 | #Constraints: 17436
537.28/539.01 c #Conflicts: 193000 | #Constraints: 18436
537.28/539.01 c #Conflicts: 194000 | #Constraints: 19436
537.28/539.01 c #Conflicts: 195000 | #Constraints: 20436
537.28/539.01 c #Conflicts: 196000 | #Constraints: 21436
537.28/539.01 c #Conflicts: 197000 | #Constraints: 22436
537.28/539.01 c #Conflicts: 198000 | #Constraints: 23436
537.28/539.01 c INPROCESSING
537.28/539.01 c GARBAGE COLLECT
537.28/539.01 c GLOBAL bounds - >= -2577 @ 529.716
564.89/566.74 c #Conflicts: 199000 | #Constraints: 15639
564.89/566.74 c #Conflicts: 200000 | #Constraints: 16639
564.89/566.74 c #Conflicts: 201000 | #Constraints: 17639
564.89/566.74 c #Conflicts: 202000 | #Constraints: 18639
564.89/566.74 c #Conflicts: 203000 | #Constraints: 19639
564.89/566.74 c #Conflicts: 204000 | #Constraints: 20639
564.89/566.74 c #Conflicts: 205000 | #Constraints: 21639
564.89/566.74 c #Conflicts: 206000 | #Constraints: 22639
564.89/566.74 c #Conflicts: 207000 | #Constraints: 23639
564.89/566.74 c INPROCESSING
564.89/566.74 c GARBAGE COLLECT
564.89/566.74 c GLOBAL bounds - >= -2577 @ 557.06
618.51/620.56 c #Conflicts: 208000 | #Constraints: 15641
618.51/620.56 c #Conflicts: 209000 | #Constraints: 16641
618.51/620.56 c #Conflicts: 210000 | #Constraints: 17641
618.51/620.56 c #Conflicts: 211000 | #Constraints: 18641
618.51/620.56 c #Conflicts: 212000 | #Constraints: 19641
618.51/620.56 c #Conflicts: 213000 | #Constraints: 20641
618.51/620.56 c #Conflicts: 214000 | #Constraints: 21641
618.51/620.56 c #Conflicts: 215000 | #Constraints: 22641
618.51/620.56 c #Conflicts: 216000 | #Constraints: 23641
618.51/620.56 c INPROCESSING
618.51/620.56 c GARBAGE COLLECT
618.51/620.56 c #Conflicts: 217000 | #Constraints: 15449
618.51/620.56 c #Conflicts: 218000 | #Constraints: 16449
618.51/620.56 c #Conflicts: 219000 | #Constraints: 17449
618.51/620.56 c #Conflicts: 220000 | #Constraints: 18449
618.51/620.56 c #Conflicts: 221000 | #Constraints: 19449
618.51/620.56 c #Conflicts: 222000 | #Constraints: 20449
618.51/620.56 c #Conflicts: 223000 | #Constraints: 21449
618.51/620.56 c #Conflicts: 224000 | #Constraints: 22449
618.51/620.56 c #Conflicts: 225000 | #Constraints: 23449
618.51/620.56 c #Conflicts: 226000 | #Constraints: 24449
618.51/620.56 c INPROCESSING
618.51/620.56 c GARBAGE COLLECT
618.51/620.56 c #Conflicts: 227000 | #Constraints: 16047
618.51/620.56 c #Conflicts: 228000 | #Constraints: 17047
618.51/620.56 c #Conflicts: 229000 | #Constraints: 18047
618.51/620.56 c GLOBAL bounds - >= -2577 @ 609.829
623.19/625.23 c #Conflicts: 230000 | #Constraints: 19049
623.19/625.23 c #Conflicts: 231000 | #Constraints: 20049
623.19/625.23 c GLOBAL bounds - >= -2577 @ 614.436
638.64/640.76 c #Conflicts: 232000 | #Constraints: 21051
638.64/640.76 c #Conflicts: 233000 | #Constraints: 22051
638.64/640.76 c #Conflicts: 234000 | #Constraints: 23051
638.64/640.76 c GLOBAL bounds - >= -2577 @ 629.825
674.13/676.38 c #Conflicts: 235000 | #Constraints: 24053
674.13/676.38 c #Conflicts: 236000 | #Constraints: 25053
674.13/676.38 c INPROCESSING
674.13/676.38 c GARBAGE COLLECT
674.13/676.38 c #Conflicts: 237000 | #Constraints: 16458
674.13/676.38 c #Conflicts: 238000 | #Constraints: 17458
674.13/676.38 c #Conflicts: 239000 | #Constraints: 18458
674.13/676.38 c #Conflicts: 240000 | #Constraints: 19458
674.13/676.38 c #Conflicts: 241000 | #Constraints: 20458
674.13/676.38 c #Conflicts: 242000 | #Constraints: 21458
674.13/676.38 c #Conflicts: 243000 | #Constraints: 22458
674.13/676.38 c GLOBAL bounds - >= -2577 @ 664.998
700.24/702.53 c #Conflicts: 244000 | #Constraints: 23460
700.24/702.53 c #Conflicts: 245000 | #Constraints: 24460
700.24/702.53 c #Conflicts: 246000 | #Constraints: 25460
700.24/702.53 c INPROCESSING
700.24/702.53 c GARBAGE COLLECT
700.24/702.53 c #Conflicts: 247000 | #Constraints: 16663
700.24/702.53 c #Conflicts: 248000 | #Constraints: 17663
700.24/702.53 c #Conflicts: 249000 | #Constraints: 18663
700.24/702.53 c #Conflicts: 250000 | #Constraints: 19663
700.24/702.53 c #Conflicts: 251000 | #Constraints: 20663
700.24/702.53 c GLOBAL bounds - >= -2577 @ 690.805
729.94/732.37 c #Conflicts: 252000 | #Constraints: 21665
729.94/732.37 c #Conflicts: 253000 | #Constraints: 22665
729.94/732.37 c #Conflicts: 254000 | #Constraints: 23665
729.94/732.37 c #Conflicts: 255000 | #Constraints: 24665
729.94/732.37 c #Conflicts: 256000 | #Constraints: 25665
729.94/732.37 c INPROCESSING
729.94/732.37 c GARBAGE COLLECT
729.94/732.37 c #Conflicts: 257000 | #Constraints: 16665
729.94/732.37 c #Conflicts: 258000 | #Constraints: 17665
729.94/732.37 c GLOBAL bounds - >= -2577 @ 720.305
1038.64/1042.07 c #Conflicts: 259000 | #Constraints: 18667
1038.64/1042.07 c #Conflicts: 260000 | #Constraints: 19667
1038.64/1042.07 c #Conflicts: 261000 | #Constraints: 20667
1038.64/1042.07 c #Conflicts: 262000 | #Constraints: 21667
1038.64/1042.07 c #Conflicts: 263000 | #Constraints: 22667
1038.64/1042.07 c #Conflicts: 264000 | #Constraints: 23667
1038.64/1042.07 c #Conflicts: 265000 | #Constraints: 24667
1038.64/1042.07 c #Conflicts: 266000 | #Constraints: 25667
1038.64/1042.07 c INPROCESSING
1038.64/1042.07 c GARBAGE COLLECT
1038.64/1042.07 c #Conflicts: 267000 | #Constraints: 16467
1038.64/1042.07 c #Conflicts: 268000 | #Constraints: 17467
1038.64/1042.07 c #Conflicts: 269000 | #Constraints: 18467
1038.64/1042.07 c #Conflicts: 270000 | #Constraints: 19467
1038.64/1042.07 c #Conflicts: 271000 | #Constraints: 20467
1038.64/1042.07 c #Conflicts: 272000 | #Constraints: 21467
1038.64/1042.07 c #Conflicts: 273000 | #Constraints: 22467
1038.64/1042.07 c #Conflicts: 274000 | #Constraints: 23467
1038.64/1042.07 c #Conflicts: 275000 | #Constraints: 24467
1038.64/1042.07 c #Conflicts: 276000 | #Constraints: 25467
1038.64/1042.07 c #Conflicts: 277000 | #Constraints: 26467
1038.64/1042.07 c INPROCESSING
1038.64/1042.07 c GARBAGE COLLECT
1038.64/1042.07 c #Conflicts: 278000 | #Constraints: 17070
1038.64/1042.07 c #Conflicts: 279000 | #Constraints: 18070
1038.64/1042.07 c #Conflicts: 280000 | #Constraints: 19070
1038.64/1042.07 c #Conflicts: 281000 | #Constraints: 20070
1038.64/1042.07 c #Conflicts: 282000 | #Constraints: 21070
1038.64/1042.07 c #Conflicts: 283000 | #Constraints: 22070
1038.64/1042.07 c #Conflicts: 284000 | #Constraints: 23070
1038.64/1042.07 c #Conflicts: 285000 | #Constraints: 24070
1038.64/1042.07 c #Conflicts: 286000 | #Constraints: 25070
1038.64/1042.07 c #Conflicts: 287000 | #Constraints: 26070
1038.64/1042.07 c #Conflicts: 288000 | #Constraints: 27070
1038.64/1042.07 c INPROCESSING
1038.64/1042.07 c GARBAGE COLLECT
1038.64/1042.07 c #Conflicts: 289000 | #Constraints: 17486
1038.64/1042.07 c #Conflicts: 290000 | #Constraints: 18486
1038.64/1042.07 c #Conflicts: 291000 | #Constraints: 19486
1038.64/1042.07 c #Conflicts: 292000 | #Constraints: 20486
1038.64/1042.07 c #Conflicts: 293000 | #Constraints: 21486
1038.64/1042.07 c #Conflicts: 294000 | #Constraints: 22486
1038.64/1042.07 c #Conflicts: 295000 | #Constraints: 23486
1038.64/1042.07 c #Conflicts: 296000 | #Constraints: 24486
1038.64/1042.07 c #Conflicts: 297000 | #Constraints: 25486
1038.64/1042.07 c #Conflicts: 298000 | #Constraints: 26486
1038.64/1042.07 c #Conflicts: 299000 | #Constraints: 27486
1038.64/1042.07 c INPROCESSING
1038.64/1042.07 c GARBAGE COLLECT
1038.64/1042.07 c #Conflicts: 300000 | #Constraints: 17684
1038.64/1042.07 c #Conflicts: 301000 | #Constraints: 18684
1038.64/1042.07 c #Conflicts: 302000 | #Constraints: 19684
1038.64/1042.07 c #Conflicts: 303000 | #Constraints: 20684
1038.64/1042.07 c #Conflicts: 304000 | #Constraints: 21684
1038.64/1042.07 c #Conflicts: 305000 | #Constraints: 22684
1038.64/1042.07 c #Conflicts: 306000 | #Constraints: 23684
1038.64/1042.07 c #Conflicts: 307000 | #Constraints: 24684
1038.64/1042.07 c #Conflicts: 308000 | #Constraints: 25684
1038.64/1042.07 c #Conflicts: 309000 | #Constraints: 26684
1038.64/1042.07 c #Conflicts: 310000 | #Constraints: 27684
1038.64/1042.07 c INPROCESSING
1038.64/1042.07 c GARBAGE COLLECT
1038.64/1042.07 c #Conflicts: 311000 | #Constraints: 17687
1038.64/1042.07 c #Conflicts: 312000 | #Constraints: 18687
1038.64/1042.07 c #Conflicts: 313000 | #Constraints: 19687
1038.64/1042.07 c #Conflicts: 314000 | #Constraints: 20687
1038.64/1042.07 c #Conflicts: 315000 | #Constraints: 21687
1038.64/1042.07 c #Conflicts: 316000 | #Constraints: 22687
1038.64/1042.07 c #Conflicts: 317000 | #Constraints: 23687
1038.64/1042.07 c #Conflicts: 318000 | #Constraints: 24687
1038.64/1042.07 c #Conflicts: 319000 | #Constraints: 25687
1038.64/1042.07 c #Conflicts: 320000 | #Constraints: 26687
1038.64/1042.07 c #Conflicts: 321000 | #Constraints: 27687
1038.64/1042.07 c INPROCESSING
1038.64/1042.07 c GARBAGE COLLECT
1038.64/1042.07 c #Conflicts: 322000 | #Constraints: 17470
1038.64/1042.07 c #Conflicts: 323000 | #Constraints: 18470
1038.64/1042.07 c #Conflicts: 324000 | #Constraints: 19470
1038.64/1042.07 c #Conflicts: 325000 | #Constraints: 20470
1038.64/1042.07 c #Conflicts: 326000 | #Constraints: 21470
1038.64/1042.07 c #Conflicts: 327000 | #Constraints: 22470
1038.64/1042.07 c #Conflicts: 328000 | #Constraints: 23470
1038.64/1042.07 c #Conflicts: 329000 | #Constraints: 24470
1038.64/1042.07 c #Conflicts: 330000 | #Constraints: 25470
1038.64/1042.07 c #Conflicts: 331000 | #Constraints: 26470
1038.64/1042.07 c #Conflicts: 332000 | #Constraints: 27470
1038.64/1042.07 c #Conflicts: 333000 | #Constraints: 28470
1366.05/1370.55 c INPROCESSING
1366.05/1370.55 c GARBAGE COLLECT
1366.05/1370.55 c #Conflicts: 334000 | #Constraints: 18064
1366.05/1370.55 c #Conflicts: 335000 | #Constraints: 19064
1366.05/1370.55 c #Conflicts: 336000 | #Constraints: 20064
1366.05/1370.55 c #Conflicts: 337000 | #Constraints: 21064
1366.05/1370.55 c #Conflicts: 338000 | #Constraints: 22064
1366.05/1370.55 c #Conflicts: 339000 | #Constraints: 23064
1366.05/1370.55 c #Conflicts: 340000 | #Constraints: 24064
1366.05/1370.55 c #Conflicts: 341000 | #Constraints: 25064
1366.05/1370.55 c #Conflicts: 342000 | #Constraints: 26064
1366.05/1370.55 c #Conflicts: 343000 | #Constraints: 27064
1366.05/1370.55 c #Conflicts: 344000 | #Constraints: 28064
1366.05/1370.55 c #Conflicts: 345000 | #Constraints: 29064
1366.05/1370.55 c INPROCESSING
1366.05/1370.55 c GARBAGE COLLECT
1366.05/1370.55 c #Conflicts: 346000 | #Constraints: 18470
1366.05/1370.55 c #Conflicts: 347000 | #Constraints: 19470
1366.05/1370.55 c #Conflicts: 348000 | #Constraints: 20470
1366.05/1370.55 c #Conflicts: 349000 | #Constraints: 21470
1366.05/1370.55 c #Conflicts: 350000 | #Constraints: 22470
1366.05/1370.55 c #Conflicts: 351000 | #Constraints: 23470
1366.05/1370.55 c #Conflicts: 352000 | #Constraints: 24470
1366.05/1370.55 c #Conflicts: 353000 | #Constraints: 25470
1366.05/1370.55 c #Conflicts: 354000 | #Constraints: 26470
1366.05/1370.55 c #Conflicts: 355000 | #Constraints: 27470
1366.05/1370.55 c #Conflicts: 356000 | #Constraints: 28470
1366.05/1370.55 c #Conflicts: 357000 | #Constraints: 29470
1366.05/1370.55 c INPROCESSING
1366.05/1370.55 c GARBAGE COLLECT
1366.05/1370.55 c #Conflicts: 358000 | #Constraints: 18660
1366.05/1370.55 c #Conflicts: 359000 | #Constraints: 19660
1366.05/1370.55 c #Conflicts: 360000 | #Constraints: 20660
1366.05/1370.55 c #Conflicts: 361000 | #Constraints: 21660
1366.05/1370.55 c #Conflicts: 362000 | #Constraints: 22660
1366.05/1370.55 c #Conflicts: 363000 | #Constraints: 23660
1366.05/1370.55 c #Conflicts: 364000 | #Constraints: 24660
1366.05/1370.55 c #Conflicts: 365000 | #Constraints: 25660
1366.05/1370.55 c #Conflicts: 366000 | #Constraints: 26660
1366.05/1370.55 c #Conflicts: 367000 | #Constraints: 27660
1366.05/1370.55 c #Conflicts: 368000 | #Constraints: 28660
1366.05/1370.55 c #Conflicts: 369000 | #Constraints: 29660
1366.05/1370.55 c INPROCESSING
1366.05/1370.55 c GARBAGE COLLECT
1366.05/1370.55 c #Conflicts: 370000 | #Constraints: 18663
1366.05/1370.55 c #Conflicts: 371000 | #Constraints: 19663
1366.05/1370.55 c #Conflicts: 372000 | #Constraints: 20663
1366.05/1370.55 c #Conflicts: 373000 | #Constraints: 21663
1366.05/1370.55 c #Conflicts: 374000 | #Constraints: 22663
1366.05/1370.55 c #Conflicts: 375000 | #Constraints: 23663
1366.05/1370.55 c #Conflicts: 376000 | #Constraints: 24663
1366.05/1370.55 c #Conflicts: 377000 | #Constraints: 25663
1366.05/1370.55 c #Conflicts: 378000 | #Constraints: 26663
1366.05/1370.55 c #Conflicts: 379000 | #Constraints: 27663
1366.05/1370.55 c #Conflicts: 380000 | #Constraints: 28663
1366.05/1370.55 c #Conflicts: 381000 | #Constraints: 29663
1366.05/1370.55 c INPROCESSING
1366.05/1370.55 c GARBAGE COLLECT
1366.05/1370.55 c #Conflicts: 382000 | #Constraints: 18465
1366.05/1370.55 c #Conflicts: 383000 | #Constraints: 19465
1366.05/1370.55 c #Conflicts: 384000 | #Constraints: 20465
1366.05/1370.55 c #Conflicts: 385000 | #Constraints: 21465
1366.05/1370.55 c #Conflicts: 386000 | #Constraints: 22465
1366.05/1370.55 c #Conflicts: 387000 | #Constraints: 23465
1366.05/1370.55 c #Conflicts: 388000 | #Constraints: 24465
1366.05/1370.55 c #Conflicts: 389000 | #Constraints: 25465
1366.05/1370.55 c #Conflicts: 390000 | #Constraints: 26465
1366.05/1370.55 c #Conflicts: 391000 | #Constraints: 27465
1366.05/1370.55 c #Conflicts: 392000 | #Constraints: 28465
1366.05/1370.55 c #Conflicts: 393000 | #Constraints: 29465
1366.05/1370.55 c #Conflicts: 394000 | #Constraints: 30465
1366.05/1370.55 c INPROCESSING
1366.05/1370.55 c GARBAGE COLLECT
1366.05/1370.55 c #Conflicts: 395000 | #Constraints: 19071
1366.05/1370.55 c #Conflicts: 396000 | #Constraints: 20071
1366.05/1370.55 c #Conflicts: 397000 | #Constraints: 21071
1366.05/1370.55 c #Conflicts: 398000 | #Constraints: 22071
1366.05/1370.55 c #Conflicts: 399000 | #Constraints: 23071
1366.05/1370.55 c #Conflicts: 400000 | #Constraints: 24071
1366.05/1370.55 c GLOBAL bounds - >= -2577 @ 1351.81
1420.39/1425.02 c #Conflicts: 401000 | #Constraints: 25073
1420.39/1425.02 c #Conflicts: 402000 | #Constraints: 26073
1420.39/1425.02 c #Conflicts: 403000 | #Constraints: 27073
1420.39/1425.02 c #Conflicts: 404000 | #Constraints: 28073
1420.39/1425.02 c #Conflicts: 405000 | #Constraints: 29073
1420.39/1425.02 c #Conflicts: 406000 | #Constraints: 30073
1420.39/1425.02 c #Conflicts: 407000 | #Constraints: 31073
1420.39/1425.02 c INPROCESSING
1420.39/1425.02 c GARBAGE COLLECT
1420.39/1425.02 c #Conflicts: 408000 | #Constraints: 19481
1420.39/1425.02 c #Conflicts: 409000 | #Constraints: 20481
1420.39/1425.02 c GLOBAL bounds - >= -2577 @ 1405.79
1492.35/1497.26 c #Conflicts: 410000 | #Constraints: 21483
1492.35/1497.26 c #Conflicts: 411000 | #Constraints: 22483
1492.35/1497.26 c #Conflicts: 412000 | #Constraints: 23483
1492.35/1497.26 c #Conflicts: 413000 | #Constraints: 24483
1492.35/1497.26 c #Conflicts: 414000 | #Constraints: 25483
1492.35/1497.26 c #Conflicts: 415000 | #Constraints: 26483
1492.35/1497.26 c #Conflicts: 416000 | #Constraints: 27483
1492.35/1497.26 c #Conflicts: 417000 | #Constraints: 28483
1492.35/1497.26 c #Conflicts: 418000 | #Constraints: 29483
1492.35/1497.26 c #Conflicts: 419000 | #Constraints: 30483
1492.35/1497.26 c #Conflicts: 420000 | #Constraints: 31483
1492.35/1497.26 c INPROCESSING
1492.35/1497.26 c GARBAGE COLLECT
1492.35/1497.26 c #Conflicts: 421000 | #Constraints: 19677
1492.35/1497.26 c #Conflicts: 422000 | #Constraints: 20677
1492.35/1497.26 c #Conflicts: 423000 | #Constraints: 21677
1492.35/1497.26 c #Conflicts: 424000 | #Constraints: 22677
1492.35/1497.26 c #Conflicts: 425000 | #Constraints: 23677
1492.35/1497.26 c #Conflicts: 426000 | #Constraints: 24677
1492.35/1497.26 c #Conflicts: 427000 | #Constraints: 25677
1492.35/1497.26 c #Conflicts: 428000 | #Constraints: 26677
1492.35/1497.26 c #Conflicts: 429000 | #Constraints: 27677
1492.35/1497.26 c #Conflicts: 430000 | #Constraints: 28677
1492.35/1497.26 c #Conflicts: 431000 | #Constraints: 29677
1492.35/1497.26 c #Conflicts: 432000 | #Constraints: 30677
1492.35/1497.26 c #Conflicts: 433000 | #Constraints: 31677
1492.35/1497.26 c INPROCESSING
1492.35/1497.26 c GARBAGE COLLECT
1492.35/1497.26 c #Conflicts: 434000 | #Constraints: 19665
1492.35/1497.26 c GLOBAL bounds - >= -2577 @ 1477.23
1708.45/1714.10 c #Conflicts: 435000 | #Constraints: 20667
1708.45/1714.10 c #Conflicts: 436000 | #Constraints: 21667
1708.45/1714.10 c #Conflicts: 437000 | #Constraints: 22667
1708.45/1714.10 c #Conflicts: 438000 | #Constraints: 23667
1708.45/1714.10 c #Conflicts: 439000 | #Constraints: 24667
1708.45/1714.10 c #Conflicts: 440000 | #Constraints: 25667
1708.45/1714.10 c #Conflicts: 441000 | #Constraints: 26667
1708.45/1714.10 c #Conflicts: 442000 | #Constraints: 27667
1708.45/1714.10 c #Conflicts: 443000 | #Constraints: 28667
1708.45/1714.10 c #Conflicts: 444000 | #Constraints: 29667
1708.45/1714.10 c #Conflicts: 445000 | #Constraints: 30667
1708.45/1714.10 c #Conflicts: 446000 | #Constraints: 31667
1708.45/1714.10 c INPROCESSING
1708.45/1714.10 c GARBAGE COLLECT
1708.45/1714.10 c #Conflicts: 447000 | #Constraints: 19484
1708.45/1714.10 c #Conflicts: 448000 | #Constraints: 20484
1708.45/1714.10 c #Conflicts: 449000 | #Constraints: 21484
1708.45/1714.10 c #Conflicts: 450000 | #Constraints: 22484
1708.45/1714.10 c #Conflicts: 451000 | #Constraints: 23484
1708.45/1714.10 c #Conflicts: 452000 | #Constraints: 24484
1708.45/1714.10 c #Conflicts: 453000 | #Constraints: 25484
1708.45/1714.10 c #Conflicts: 454000 | #Constraints: 26484
1708.45/1714.10 c #Conflicts: 455000 | #Constraints: 27484
1708.45/1714.10 c #Conflicts: 456000 | #Constraints: 28484
1708.45/1714.10 c #Conflicts: 457000 | #Constraints: 29484
1708.45/1714.10 c #Conflicts: 458000 | #Constraints: 30484
1708.45/1714.10 c #Conflicts: 459000 | #Constraints: 31484
1708.45/1714.10 c #Conflicts: 460000 | #Constraints: 32484
1708.45/1714.10 c INPROCESSING
1708.45/1714.10 c GARBAGE COLLECT
1708.45/1714.10 c #Conflicts: 461000 | #Constraints: 20089
1708.45/1714.10 c #Conflicts: 462000 | #Constraints: 21089
1708.45/1714.10 c #Conflicts: 463000 | #Constraints: 22089
1708.45/1714.10 c #Conflicts: 464000 | #Constraints: 23089
1708.45/1714.10 c #Conflicts: 465000 | #Constraints: 24089
1708.45/1714.10 c #Conflicts: 466000 | #Constraints: 25089
1708.45/1714.10 c #Conflicts: 467000 | #Constraints: 26089
1708.45/1714.10 c #Conflicts: 468000 | #Constraints: 27089
1708.45/1714.10 c #Conflicts: 469000 | #Constraints: 28089
1708.45/1714.10 c #Conflicts: 470000 | #Constraints: 29089
1708.45/1714.10 c #Conflicts: 471000 | #Constraints: 30089
1708.45/1714.10 c #Conflicts: 472000 | #Constraints: 31089
1708.45/1714.10 c #Conflicts: 473000 | #Constraints: 32089
1708.45/1714.10 c #Conflicts: 474000 | #Constraints: 33089
1708.45/1714.10 c INPROCESSING
1708.45/1714.10 c GARBAGE COLLECT
1708.45/1714.10 c #Conflicts: 475000 | #Constraints: 20492
1708.45/1714.10 c #Conflicts: 476000 | #Constraints: 21492
1708.45/1714.10 c #Conflicts: 477000 | #Constraints: 22492
1708.45/1714.10 c #Conflicts: 478000 | #Constraints: 23492
1708.45/1714.10 c #Conflicts: 479000 | #Constraints: 24492
1708.45/1714.10 c #Conflicts: 480000 | #Constraints: 25492
1708.45/1714.10 c #Conflicts: 481000 | #Constraints: 26492
1708.45/1714.10 c #Conflicts: 482000 | #Constraints: 27492
1708.45/1714.10 c #Conflicts: 483000 | #Constraints: 28492
1708.45/1714.10 c #Conflicts: 484000 | #Constraints: 29492
1708.45/1714.10 c #Conflicts: 485000 | #Constraints: 30492
1708.45/1714.10 c #Conflicts: 486000 | #Constraints: 31492
1708.45/1714.10 c #Conflicts: 487000 | #Constraints: 32492
1708.45/1714.10 c #Conflicts: 488000 | #Constraints: 33492
1708.45/1714.10 c INPROCESSING
1708.45/1714.10 c GARBAGE COLLECT
1708.45/1714.10 c GLOBAL bounds - >= -2577 @ 1691.85
2006.85/2013.41 c #Conflicts: 489000 | #Constraints: 20701
2006.85/2013.41 c #Conflicts: 490000 | #Constraints: 21701
2006.85/2013.41 c #Conflicts: 491000 | #Constraints: 22701
2006.85/2013.41 c #Conflicts: 492000 | #Constraints: 23701
2006.85/2013.41 c #Conflicts: 493000 | #Constraints: 24701
2006.85/2013.41 c #Conflicts: 494000 | #Constraints: 25701
2006.85/2013.41 c #Conflicts: 495000 | #Constraints: 26701
2006.85/2013.41 c #Conflicts: 496000 | #Constraints: 27701
2006.85/2013.41 c #Conflicts: 497000 | #Constraints: 28701
2006.85/2013.41 c #Conflicts: 498000 | #Constraints: 29701
2006.85/2013.41 c #Conflicts: 499000 | #Constraints: 30701
2006.85/2013.41 c #Conflicts: 500000 | #Constraints: 31701
2006.85/2013.41 c #Conflicts: 501000 | #Constraints: 32701
2006.85/2013.41 c #Conflicts: 502000 | #Constraints: 33701
2006.85/2013.41 c INPROCESSING
2006.85/2013.41 c GARBAGE COLLECT
2006.85/2013.41 c #Conflicts: 503000 | #Constraints: 20697
2006.85/2013.41 c #Conflicts: 504000 | #Constraints: 21697
2006.85/2013.41 c #Conflicts: 505000 | #Constraints: 22697
2006.85/2013.41 c #Conflicts: 506000 | #Constraints: 23697
2006.85/2013.41 c #Conflicts: 507000 | #Constraints: 24697
2006.85/2013.41 c #Conflicts: 508000 | #Constraints: 25697
2006.85/2013.41 c #Conflicts: 509000 | #Constraints: 26697
2006.85/2013.41 c #Conflicts: 510000 | #Constraints: 27697
2006.85/2013.41 c #Conflicts: 511000 | #Constraints: 28697
2006.85/2013.41 c #Conflicts: 512000 | #Constraints: 29697
2006.85/2013.41 c #Conflicts: 513000 | #Constraints: 30697
2006.85/2013.41 c #Conflicts: 514000 | #Constraints: 31697
2006.85/2013.41 c #Conflicts: 515000 | #Constraints: 32697
2006.85/2013.41 c #Conflicts: 516000 | #Constraints: 33697
2006.85/2013.41 c INPROCESSING
2006.85/2013.41 c GARBAGE COLLECT
2006.85/2013.41 c #Conflicts: 517000 | #Constraints: 20496
2006.85/2013.41 c #Conflicts: 518000 | #Constraints: 21496
2006.85/2013.41 c #Conflicts: 519000 | #Constraints: 22496
2006.85/2013.41 c #Conflicts: 520000 | #Constraints: 23496
2006.85/2013.41 c #Conflicts: 521000 | #Constraints: 24496
2006.85/2013.41 c #Conflicts: 522000 | #Constraints: 25496
2006.85/2013.41 c #Conflicts: 523000 | #Constraints: 26496
2006.85/2013.41 c #Conflicts: 524000 | #Constraints: 27496
2006.85/2013.41 c #Conflicts: 525000 | #Constraints: 28496
2006.85/2013.41 c #Conflicts: 526000 | #Constraints: 29496
2006.85/2013.41 c #Conflicts: 527000 | #Constraints: 30496
2006.85/2013.41 c #Conflicts: 528000 | #Constraints: 31496
2006.85/2013.41 c #Conflicts: 529000 | #Constraints: 32496
2006.85/2013.41 c #Conflicts: 530000 | #Constraints: 33496
2006.85/2013.41 c #Conflicts: 531000 | #Constraints: 34496
2006.85/2013.41 c INPROCESSING
2006.85/2013.41 c GARBAGE COLLECT
2006.85/2013.41 c #Conflicts: 532000 | #Constraints: 21100
2006.85/2013.41 c #Conflicts: 533000 | #Constraints: 22100
2006.85/2013.41 c #Conflicts: 534000 | #Constraints: 23100
2006.85/2013.41 c #Conflicts: 535000 | #Constraints: 24100
2006.85/2013.41 c #Conflicts: 536000 | #Constraints: 25100
2006.85/2013.41 c #Conflicts: 537000 | #Constraints: 26100
2006.85/2013.41 c #Conflicts: 538000 | #Constraints: 27100
2006.85/2013.41 c #Conflicts: 539000 | #Constraints: 28100
2006.85/2013.41 c #Conflicts: 540000 | #Constraints: 29100
2006.85/2013.41 c #Conflicts: 541000 | #Constraints: 30100
2006.85/2013.41 c #Conflicts: 542000 | #Constraints: 31100
2006.85/2013.41 c #Conflicts: 543000 | #Constraints: 32100
2006.85/2013.41 c #Conflicts: 544000 | #Constraints: 33100
2006.85/2013.41 c #Conflicts: 545000 | #Constraints: 34100
2006.85/2013.41 c #Conflicts: 546000 | #Constraints: 35100
2006.85/2013.41 c INPROCESSING
2006.85/2013.41 c GARBAGE COLLECT
2006.85/2013.41 c #Conflicts: 547000 | #Constraints: 21488
2006.85/2013.41 c GLOBAL bounds - >= -2577 @ 1988.32
2237.90/2245.20 c #Conflicts: 548000 | #Constraints: 22490
2237.90/2245.20 c #Conflicts: 549000 | #Constraints: 23490
2237.90/2245.20 c #Conflicts: 550000 | #Constraints: 24490
2237.90/2245.20 c #Conflicts: 551000 | #Constraints: 25490
2237.90/2245.20 c #Conflicts: 552000 | #Constraints: 26490
2237.90/2245.20 c #Conflicts: 553000 | #Constraints: 27490
2237.90/2245.20 c #Conflicts: 554000 | #Constraints: 28490
2237.90/2245.20 c #Conflicts: 555000 | #Constraints: 29490
2237.90/2245.20 c #Conflicts: 556000 | #Constraints: 30490
2237.90/2245.20 c #Conflicts: 557000 | #Constraints: 31490
2237.90/2245.20 c #Conflicts: 558000 | #Constraints: 32490
2237.90/2245.20 c #Conflicts: 559000 | #Constraints: 33490
2237.90/2245.20 c #Conflicts: 560000 | #Constraints: 34490
2237.90/2245.20 c #Conflicts: 561000 | #Constraints: 35490
2237.90/2245.20 c INPROCESSING
2237.90/2245.20 c GARBAGE COLLECT
2237.90/2245.20 c #Conflicts: 562000 | #Constraints: 21694
2237.90/2245.20 c #Conflicts: 563000 | #Constraints: 22694
2237.90/2245.20 c #Conflicts: 564000 | #Constraints: 23694
2237.90/2245.20 c #Conflicts: 565000 | #Constraints: 24694
2237.90/2245.20 c #Conflicts: 566000 | #Constraints: 25694
2237.90/2245.20 c #Conflicts: 567000 | #Constraints: 26694
2237.90/2245.20 c #Conflicts: 568000 | #Constraints: 27694
2237.90/2245.20 c #Conflicts: 569000 | #Constraints: 28694
2237.90/2245.20 c #Conflicts: 570000 | #Constraints: 29694
2237.90/2245.20 c #Conflicts: 571000 | #Constraints: 30694
2237.90/2245.20 c #Conflicts: 572000 | #Constraints: 31694
2237.90/2245.20 c #Conflicts: 573000 | #Constraints: 32694
2237.90/2245.20 c #Conflicts: 574000 | #Constraints: 33694
2237.90/2245.20 c #Conflicts: 575000 | #Constraints: 34694
2237.90/2245.20 c #Conflicts: 576000 | #Constraints: 35694
2237.90/2245.20 c INPROCESSING
2237.90/2245.20 c GARBAGE COLLECT
2237.90/2245.20 c #Conflicts: 577000 | #Constraints: 21690
2237.90/2245.20 c #Conflicts: 578000 | #Constraints: 22690
2237.90/2245.20 c #Conflicts: 579000 | #Constraints: 23690
2237.90/2245.20 c #Conflicts: 580000 | #Constraints: 24690
2237.90/2245.20 c #Conflicts: 581000 | #Constraints: 25690
2237.90/2245.20 c #Conflicts: 582000 | #Constraints: 26690
2237.90/2245.20 c #Conflicts: 583000 | #Constraints: 27690
2237.90/2245.20 c #Conflicts: 584000 | #Constraints: 28690
2237.90/2245.20 c #Conflicts: 585000 | #Constraints: 29690
2237.90/2245.20 c #Conflicts: 586000 | #Constraints: 30690
2237.90/2245.20 c #Conflicts: 587000 | #Constraints: 31690
2237.90/2245.20 c #Conflicts: 588000 | #Constraints: 32690
2237.90/2245.20 c #Conflicts: 589000 | #Constraints: 33690
2237.90/2245.20 c GLOBAL bounds - >= -2577 @ 2217.86
2634.26/2642.81 c #Conflicts: 590000 | #Constraints: 34692
2634.26/2642.81 c #Conflicts: 591000 | #Constraints: 35692
2634.26/2642.81 c INPROCESSING
2634.26/2642.81 c GARBAGE COLLECT
2634.26/2642.81 c #Conflicts: 592000 | #Constraints: 21496
2634.26/2642.81 c #Conflicts: 593000 | #Constraints: 22496
2634.26/2642.81 c #Conflicts: 594000 | #Constraints: 23496
2634.26/2642.81 c #Conflicts: 595000 | #Constraints: 24496
2634.26/2642.81 c #Conflicts: 596000 | #Constraints: 25496
2634.26/2642.81 c #Conflicts: 597000 | #Constraints: 26496
2634.26/2642.81 c #Conflicts: 598000 | #Constraints: 27496
2634.26/2642.81 c #Conflicts: 599000 | #Constraints: 28496
2634.26/2642.81 c #Conflicts: 600000 | #Constraints: 29496
2634.26/2642.81 c #Conflicts: 601000 | #Constraints: 30496
2634.26/2642.81 c #Conflicts: 602000 | #Constraints: 31496
2634.26/2642.81 c #Conflicts: 603000 | #Constraints: 32496
2634.26/2642.81 c #Conflicts: 604000 | #Constraints: 33496
2634.26/2642.81 c #Conflicts: 605000 | #Constraints: 34496
2634.26/2642.81 c #Conflicts: 606000 | #Constraints: 35496
2634.26/2642.81 c #Conflicts: 607000 | #Constraints: 36496
2634.26/2642.81 c INPROCESSING
2634.26/2642.81 c GARBAGE COLLECT
2634.26/2642.81 c #Conflicts: 608000 | #Constraints: 22093
2634.26/2642.81 c #Conflicts: 609000 | #Constraints: 23093
2634.26/2642.81 c #Conflicts: 610000 | #Constraints: 24093
2634.26/2642.81 c #Conflicts: 611000 | #Constraints: 25093
2634.26/2642.81 c #Conflicts: 612000 | #Constraints: 26093
2634.26/2642.81 c #Conflicts: 613000 | #Constraints: 27093
2634.26/2642.81 c #Conflicts: 614000 | #Constraints: 28093
2634.26/2642.81 c #Conflicts: 615000 | #Constraints: 29093
2634.26/2642.81 c #Conflicts: 616000 | #Constraints: 30093
2634.26/2642.81 c #Conflicts: 617000 | #Constraints: 31093
2634.26/2642.81 c #Conflicts: 618000 | #Constraints: 32093
2634.26/2642.81 c #Conflicts: 619000 | #Constraints: 33093
2634.26/2642.81 c #Conflicts: 620000 | #Constraints: 34093
2634.26/2642.81 c #Conflicts: 621000 | #Constraints: 35093
2634.26/2642.81 c #Conflicts: 622000 | #Constraints: 36093
2634.26/2642.81 c #Conflicts: 623000 | #Constraints: 37093
2634.26/2642.81 c INPROCESSING
2634.26/2642.81 c GARBAGE COLLECT
2634.26/2642.81 c #Conflicts: 624000 | #Constraints: 22490
2634.26/2642.81 c #Conflicts: 625000 | #Constraints: 23490
2634.26/2642.81 c #Conflicts: 626000 | #Constraints: 24490
2634.26/2642.81 c #Conflicts: 627000 | #Constraints: 25490
2634.26/2642.81 c #Conflicts: 628000 | #Constraints: 26490
2634.26/2642.81 c #Conflicts: 629000 | #Constraints: 27490
2634.26/2642.81 c #Conflicts: 630000 | #Constraints: 28490
2634.26/2642.81 c #Conflicts: 631000 | #Constraints: 29490
2634.26/2642.81 c #Conflicts: 632000 | #Constraints: 30490
2634.26/2642.81 c #Conflicts: 633000 | #Constraints: 31490
2634.26/2642.81 c #Conflicts: 634000 | #Constraints: 32490
2634.26/2642.81 c #Conflicts: 635000 | #Constraints: 33490
2634.26/2642.81 c #Conflicts: 636000 | #Constraints: 34490
2634.26/2642.81 c #Conflicts: 637000 | #Constraints: 35490
2634.26/2642.81 c #Conflicts: 638000 | #Constraints: 36490
2634.26/2642.81 c #Conflicts: 639000 | #Constraints: 37490
2634.26/2642.81 c INPROCESSING
2634.26/2642.81 c GARBAGE COLLECT
2634.26/2642.81 c #Conflicts: 640000 | #Constraints: 22688
2634.26/2642.81 c #Conflicts: 641000 | #Constraints: 23688
2634.26/2642.81 c #Conflicts: 642000 | #Constraints: 24688
2634.26/2642.81 c #Conflicts: 643000 | #Constraints: 25688
2634.26/2642.81 c #Conflicts: 644000 | #Constraints: 26688
2634.26/2642.81 c #Conflicts: 645000 | #Constraints: 27688
2634.26/2642.81 c #Conflicts: 646000 | #Constraints: 28688
2634.26/2642.81 c #Conflicts: 647000 | #Constraints: 29688
2634.26/2642.81 c #Conflicts: 648000 | #Constraints: 30688
2634.26/2642.81 c #Conflicts: 649000 | #Constraints: 31688
2634.26/2642.81 c #Conflicts: 650000 | #Constraints: 32688
2634.26/2642.81 c #Conflicts: 651000 | #Constraints: 33688
2634.26/2642.81 c #Conflicts: 652000 | #Constraints: 34688
2634.26/2642.81 c #Conflicts: 653000 | #Constraints: 35688
2634.26/2642.81 c #Conflicts: 654000 | #Constraints: 36688
2634.26/2642.81 c #Conflicts: 655000 | #Constraints: 37688
2634.26/2642.81 c INPROCESSING
2634.26/2642.81 c GARBAGE COLLECT
2634.26/2642.81 c #Conflicts: 656000 | #Constraints: 22693
2634.26/2642.81 c #Conflicts: 657000 | #Constraints: 23693
2634.26/2642.81 c #Conflicts: 658000 | #Constraints: 24693
2634.26/2642.81 c #Conflicts: 659000 | #Constraints: 25693
2634.26/2642.81 c #Conflicts: 660000 | #Constraints: 26693
2634.26/2642.81 c #Conflicts: 661000 | #Constraints: 27693
2634.26/2642.81 c #Conflicts: 662000 | #Constraints: 28693
2634.26/2642.81 c #Conflicts: 663000 | #Constraints: 29693
2634.26/2642.81 c #Conflicts: 664000 | #Constraints: 30693
2634.26/2642.81 c #Conflicts: 665000 | #Constraints: 31693
2822.85/2831.91 c #Conflicts: 666000 | #Constraints: 32693
2822.85/2831.91 c #Conflicts: 667000 | #Constraints: 33693
2822.85/2831.91 c #Conflicts: 668000 | #Constraints: 34693
2822.85/2831.91 c #Conflicts: 669000 | #Constraints: 35693
2822.85/2831.91 c #Conflicts: 670000 | #Constraints: 36693
2822.85/2831.91 c #Conflicts: 671000 | #Constraints: 37693
2822.85/2831.91 c INPROCESSING
2822.85/2831.91 c GARBAGE COLLECT
2822.85/2831.91 c #Conflicts: 672000 | #Constraints: 22484
2822.85/2831.91 c #Conflicts: 673000 | #Constraints: 23484
2822.85/2831.91 c #Conflicts: 674000 | #Constraints: 24484
2822.85/2831.91 c #Conflicts: 675000 | #Constraints: 25484
2822.85/2831.91 c #Conflicts: 676000 | #Constraints: 26484
2822.85/2831.91 c #Conflicts: 677000 | #Constraints: 27484
2822.85/2831.91 c #Conflicts: 678000 | #Constraints: 28484
2822.85/2831.91 c #Conflicts: 679000 | #Constraints: 29484
2822.85/2831.91 c #Conflicts: 680000 | #Constraints: 30484
2822.85/2831.91 c #Conflicts: 681000 | #Constraints: 31484
2822.85/2831.91 c #Conflicts: 682000 | #Constraints: 32484
2822.85/2831.91 c #Conflicts: 683000 | #Constraints: 33484
2822.85/2831.91 c #Conflicts: 684000 | #Constraints: 34484
2822.85/2831.91 c #Conflicts: 685000 | #Constraints: 35484
2822.85/2831.91 c #Conflicts: 686000 | #Constraints: 36484
2822.85/2831.91 c #Conflicts: 687000 | #Constraints: 37484
2822.85/2831.91 c #Conflicts: 688000 | #Constraints: 38484
2822.85/2831.91 c INPROCESSING
2822.85/2831.91 c GARBAGE COLLECT
2822.85/2831.91 c #Conflicts: 689000 | #Constraints: 23079
2822.85/2831.91 c #Conflicts: 690000 | #Constraints: 24079
2822.85/2831.91 c #Conflicts: 691000 | #Constraints: 25079
2822.85/2831.91 c #Conflicts: 692000 | #Constraints: 26079
2822.85/2831.91 c #Conflicts: 693000 | #Constraints: 27079
2822.85/2831.91 c #Conflicts: 694000 | #Constraints: 28079
2822.85/2831.91 c #Conflicts: 695000 | #Constraints: 29079
2822.85/2831.91 c #Conflicts: 696000 | #Constraints: 30079
2822.85/2831.91 c GLOBAL bounds - >= -2577 @ 2799.36
3048.55/3058.29 c #Conflicts: 697000 | #Constraints: 31081
3048.55/3058.29 c #Conflicts: 698000 | #Constraints: 32081
3048.55/3058.29 c #Conflicts: 699000 | #Constraints: 33081
3048.55/3058.29 c #Conflicts: 700000 | #Constraints: 34081
3048.55/3058.29 c #Conflicts: 701000 | #Constraints: 35081
3048.55/3058.29 c #Conflicts: 702000 | #Constraints: 36081
3048.55/3058.29 c #Conflicts: 703000 | #Constraints: 37081
3048.55/3058.29 c #Conflicts: 704000 | #Constraints: 38081
3048.55/3058.29 c #Conflicts: 705000 | #Constraints: 39081
3048.55/3058.29 c INPROCESSING
3048.55/3058.29 c GARBAGE COLLECT
3048.55/3058.29 c #Conflicts: 706000 | #Constraints: 23495
3048.55/3058.29 c #Conflicts: 707000 | #Constraints: 24495
3048.55/3058.29 c #Conflicts: 708000 | #Constraints: 25495
3048.55/3058.29 c #Conflicts: 709000 | #Constraints: 26495
3048.55/3058.29 c #Conflicts: 710000 | #Constraints: 27495
3048.55/3058.29 c #Conflicts: 711000 | #Constraints: 28495
3048.55/3058.29 c #Conflicts: 712000 | #Constraints: 29495
3048.55/3058.29 c #Conflicts: 713000 | #Constraints: 30495
3048.55/3058.29 c #Conflicts: 714000 | #Constraints: 31495
3048.55/3058.29 c #Conflicts: 715000 | #Constraints: 32495
3048.55/3058.29 c #Conflicts: 716000 | #Constraints: 33495
3048.55/3058.29 c #Conflicts: 717000 | #Constraints: 34495
3048.55/3058.29 c #Conflicts: 718000 | #Constraints: 35495
3048.55/3058.29 c #Conflicts: 719000 | #Constraints: 36495
3048.55/3058.29 c #Conflicts: 720000 | #Constraints: 37495
3048.55/3058.29 c #Conflicts: 721000 | #Constraints: 38495
3048.55/3058.29 c #Conflicts: 722000 | #Constraints: 39495
3048.55/3058.29 c INPROCESSING
3048.55/3058.29 c GARBAGE COLLECT
3048.55/3058.29 c #Conflicts: 723000 | #Constraints: 23697
3048.55/3058.29 c #Conflicts: 724000 | #Constraints: 24697
3048.55/3058.29 c #Conflicts: 725000 | #Constraints: 25697
3048.55/3058.29 c #Conflicts: 726000 | #Constraints: 26697
3048.55/3058.29 c #Conflicts: 727000 | #Constraints: 27697
3048.55/3058.29 c #Conflicts: 728000 | #Constraints: 28697
3048.55/3058.29 c #Conflicts: 729000 | #Constraints: 29697
3048.55/3058.29 c #Conflicts: 730000 | #Constraints: 30697
3048.55/3058.29 c #Conflicts: 731000 | #Constraints: 31697
3048.55/3058.29 c #Conflicts: 732000 | #Constraints: 32697
3048.55/3058.29 c #Conflicts: 733000 | #Constraints: 33697
3048.55/3058.29 c #Conflicts: 734000 | #Constraints: 34697
3048.55/3058.29 c #Conflicts: 735000 | #Constraints: 35697
3048.55/3058.29 c #Conflicts: 736000 | #Constraints: 36697
3048.55/3058.29 c #Conflicts: 737000 | #Constraints: 37697
3048.55/3058.29 c #Conflicts: 738000 | #Constraints: 38697
3048.55/3058.29 c #Conflicts: 739000 | #Constraints: 39697
3048.55/3058.29 c INPROCESSING
3048.55/3058.29 c GARBAGE COLLECT
3048.55/3058.29 c #Conflicts: 740000 | #Constraints: 23701
3048.55/3058.29 c #Conflicts: 741000 | #Constraints: 24701
3048.55/3058.29 c #Conflicts: 742000 | #Constraints: 25701
3048.55/3058.29 c #Conflicts: 743000 | #Constraints: 26701
3048.55/3058.29 c #Conflicts: 744000 | #Constraints: 27701
3048.55/3058.29 c GLOBAL bounds - >= -2577 @ 3023.67
3157.66/3167.69 c #Conflicts: 745000 | #Constraints: 28703
3157.66/3167.69 c #Conflicts: 746000 | #Constraints: 29703
3157.66/3167.69 c #Conflicts: 747000 | #Constraints: 30703
3157.66/3167.69 c #Conflicts: 748000 | #Constraints: 31703
3157.66/3167.69 c #Conflicts: 749000 | #Constraints: 32703
3157.66/3167.69 c #Conflicts: 750000 | #Constraints: 33703
3157.66/3167.69 c #Conflicts: 751000 | #Constraints: 34703
3157.66/3167.69 c #Conflicts: 752000 | #Constraints: 35703
3157.66/3167.69 c #Conflicts: 753000 | #Constraints: 36703
3157.66/3167.69 c #Conflicts: 754000 | #Constraints: 37703
3157.66/3167.69 c #Conflicts: 755000 | #Constraints: 38703
3157.66/3167.69 c #Conflicts: 756000 | #Constraints: 39703
3157.66/3167.69 c INPROCESSING
3157.66/3167.69 c GARBAGE COLLECT
3157.66/3167.69 c #Conflicts: 757000 | #Constraints: 23475
3157.66/3167.69 c #Conflicts: 758000 | #Constraints: 24475
3157.66/3167.69 c #Conflicts: 759000 | #Constraints: 25475
3157.66/3167.69 c #Conflicts: 760000 | #Constraints: 26475
3157.66/3167.69 c #Conflicts: 761000 | #Constraints: 27475
3157.66/3167.69 c #Conflicts: 762000 | #Constraints: 28475
3157.66/3167.69 c #Conflicts: 763000 | #Constraints: 29475
3157.66/3167.69 c #Conflicts: 764000 | #Constraints: 30475
3157.66/3167.69 c #Conflicts: 765000 | #Constraints: 31475
3157.66/3167.69 c GLOBAL bounds - >= -2577 @ 3132.15
3476.52/3487.37 c #Conflicts: 766000 | #Constraints: 32477
3476.52/3487.37 c #Conflicts: 767000 | #Constraints: 33477
3476.52/3487.37 c #Conflicts: 768000 | #Constraints: 34477
3476.52/3487.37 c #Conflicts: 769000 | #Constraints: 35477
3476.52/3487.37 c #Conflicts: 770000 | #Constraints: 36477
3476.52/3487.37 c #Conflicts: 771000 | #Constraints: 37477
3476.52/3487.37 c #Conflicts: 772000 | #Constraints: 38477
3476.52/3487.37 c #Conflicts: 773000 | #Constraints: 39477
3476.52/3487.37 c #Conflicts: 774000 | #Constraints: 40477
3476.52/3487.37 c INPROCESSING
3476.52/3487.37 c GARBAGE COLLECT
3476.52/3487.37 c #Conflicts: 775000 | #Constraints: 24074
3476.52/3487.37 c #Conflicts: 776000 | #Constraints: 25074
3476.52/3487.37 c #Conflicts: 777000 | #Constraints: 26074
3476.52/3487.37 c #Conflicts: 778000 | #Constraints: 27074
3476.52/3487.37 c #Conflicts: 779000 | #Constraints: 28074
3476.52/3487.37 c #Conflicts: 780000 | #Constraints: 29074
3476.52/3487.37 c #Conflicts: 781000 | #Constraints: 30074
3476.52/3487.37 c #Conflicts: 782000 | #Constraints: 31074
3476.52/3487.37 c #Conflicts: 783000 | #Constraints: 32074
3476.52/3487.37 c #Conflicts: 784000 | #Constraints: 33074
3476.52/3487.37 c #Conflicts: 785000 | #Constraints: 34074
3476.52/3487.37 c #Conflicts: 786000 | #Constraints: 35074
3476.52/3487.37 c #Conflicts: 787000 | #Constraints: 36074
3476.52/3487.37 c #Conflicts: 788000 | #Constraints: 37074
3476.52/3487.37 c #Conflicts: 789000 | #Constraints: 38074
3476.52/3487.37 c #Conflicts: 790000 | #Constraints: 39074
3476.52/3487.37 c #Conflicts: 791000 | #Constraints: 40074
3476.52/3487.37 c #Conflicts: 792000 | #Constraints: 41074
3476.52/3487.37 c INPROCESSING
3476.52/3487.37 c GARBAGE COLLECT
3476.52/3487.37 c #Conflicts: 793000 | #Constraints: 24481
3476.52/3487.37 c #Conflicts: 794000 | #Constraints: 25481
3476.52/3487.37 c #Conflicts: 795000 | #Constraints: 26481
3476.52/3487.37 c #Conflicts: 796000 | #Constraints: 27481
3476.52/3487.37 c #Conflicts: 797000 | #Constraints: 28481
3476.52/3487.37 c #Conflicts: 798000 | #Constraints: 29481
3476.52/3487.37 c #Conflicts: 799000 | #Constraints: 30481
3476.52/3487.37 c #Conflicts: 800000 | #Constraints: 31481
3476.52/3487.37 c #Conflicts: 801000 | #Constraints: 32481
3476.52/3487.37 c #Conflicts: 802000 | #Constraints: 33481
3476.52/3487.37 c #Conflicts: 803000 | #Constraints: 34481
3476.52/3487.37 c #Conflicts: 804000 | #Constraints: 35481
3476.52/3487.37 c #Conflicts: 805000 | #Constraints: 36481
3476.52/3487.37 c #Conflicts: 806000 | #Constraints: 37481
3476.52/3487.37 c #Conflicts: 807000 | #Constraints: 38481
3476.52/3487.37 c #Conflicts: 808000 | #Constraints: 39481
3476.52/3487.37 c #Conflicts: 809000 | #Constraints: 40481
3476.52/3487.37 c #Conflicts: 810000 | #Constraints: 41481
3476.52/3487.37 c INPROCESSING
3476.52/3487.37 c GARBAGE COLLECT
3476.52/3487.37 c #Conflicts: 811000 | #Constraints: 24694
3476.52/3487.37 c #Conflicts: 812000 | #Constraints: 25694
3476.52/3487.37 c #Conflicts: 813000 | #Constraints: 26694
3476.52/3487.37 c #Conflicts: 814000 | #Constraints: 27694
3476.52/3487.37 c #Conflicts: 815000 | #Constraints: 28694
3476.52/3487.37 c #Conflicts: 816000 | #Constraints: 29694
3476.52/3487.37 c #Conflicts: 817000 | #Constraints: 30694
3476.52/3487.37 c #Conflicts: 818000 | #Constraints: 31694
3476.52/3487.37 c #Conflicts: 819000 | #Constraints: 32694
3476.52/3487.37 c #Conflicts: 820000 | #Constraints: 33694
3476.52/3487.37 c #Conflicts: 821000 | #Constraints: 34694
3476.52/3487.37 c #Conflicts: 822000 | #Constraints: 35694
3476.52/3487.37 c #Conflicts: 823000 | #Constraints: 36694
3476.52/3487.37 c #Conflicts: 824000 | #Constraints: 37694
3476.52/3487.37 c #Conflicts: 825000 | #Constraints: 38694
3476.52/3487.37 c #Conflicts: 826000 | #Constraints: 39694
3476.52/3487.37 c GLOBAL bounds - >= -2577 @ 3448.95
3600.00/3611.10 c #Conflicts: 827000 | #Constraints: 40696
3600.00/3611.10 c #Conflicts: 828000 | #Constraints: 41696
3600.00/3611.10 c INPROCESSING
3600.00/3611.10 c GARBAGE COLLECT
3600.00/3611.10 c #Conflicts: 829000 | #Constraints: 24698
3600.00/3611.10 c #Conflicts: 830000 | #Constraints: 25698
3600.00/3611.10 c #Conflicts: 831000 | #Constraints: 26698
3600.00/3611.10 c #Conflicts: 832000 | #Constraints: 27698
3600.00/3611.10 c #Conflicts: 833000 | #Constraints: 28698
3600.00/3611.10 c #Conflicts: 834000 | #Constraints: 29698
3600.00/3611.10 c #Conflicts: 835000 | #Constraints: 30698
3600.00/3611.10 c #Conflicts: 836000 | #Constraints: 31698
3600.00/3611.10 c #Conflicts: 837000 | #Constraints: 32698
3600.00/3611.10 c #Conflicts: 838000 | #Constraints: 33698
3600.00/3611.10 c #Conflicts: 839000 | #Constraints: 34698
3600.00/3611.10 c #Conflicts: 840000 | #Constraints: 35698
3600.00/3611.10 c #Conflicts: 841000 | #Constraints: 36698
3600.00/3611.10 c #Conflicts: 842000 | #Constraints: 37698
3600.00/3611.10 c #Conflicts: 843000 | #Constraints: 38698
3600.00/3611.10 c #Conflicts: 844000 | #Constraints: 39698
3600.00/3611.10 c #Conflicts: 845000 | #Constraints: 40698
3600.00/3611.10 c #Conflicts: 846000 | #Constraints: 41698
3600.00/3611.10 c INPROCESSING
3600.00/3611.10 c GARBAGE COLLECT
3600.00/3611.10 c #Conflicts: 847000 | #Constraints: 24525
3600.00/3611.10 c #Conflicts: 848000 | #Constraints: 25525
3600.00/3611.10 c #Conflicts: 849000 | #Constraints: 26525
3600.00/3611.10 c #Conflicts: 850000 | #Constraints: 27525
3600.00/3611.10 c #Conflicts: 851000 | #Constraints: 28525
3600.00/3611.10 c #Conflicts: 852000 | #Constraints: 29525
3600.00/3611.10 c #Conflicts: 853000 | #Constraints: 30525
3600.00/3611.10 c #Conflicts: 854000 | #Constraints: 31525
3600.00/3611.10 c cpu time 3571.49 s
3600.00/3611.10 c deterministic time 2 2.00e+00
3600.00/3611.10 c optimization time 3571.47 s
3600.00/3611.10 c total solve time 0 s
3600.00/3611.10 c core-guided solve time 0 s
3600.00/3611.10 c propagation time 0.001423 s
3600.00/3611.10 c conflict analysis time 0 s
3600.00/3611.10 c propagations 1
3600.00/3611.10 c resolve steps 0
3600.00/3611.10 c decisions 0
3600.00/3611.10 c conflicts 0
3600.00/3611.10 c restarts 0
3600.00/3611.10 c inprocessing phases 0
3600.00/3611.10 c garbage collections 0 ,( -nan )
3600.00/3611.10 c input clauses 4405 ,( 83.70 )
3600.00/3611.10 c input cardinalities 858 ,( 16.30 )
3600.00/3611.10 c input general constraints 0 ,( 0.00 )
3600.00/3611.10 c input average constraint length 3.67
3600.00/3611.10 c input average constraint degree 1.32
3600.00/3611.10 c learned clauses 0 ,( 0.00 )
3600.00/3611.10 c learned cardinalities 0 ,( 0.00 )
3600.00/3611.10 c learned general constraints 0 ,( 0.00 )
3600.00/3611.10 c learned average constraint length 0.00
3600.00/3611.10 c learned average constraint degree 0.00
3600.00/3611.10 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3611.10 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3611.10 c watched constraints 0 ,( -nan )
3600.00/3611.10 c counting constraints 0 ,( -nan )
3600.00/3611.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3611.10 c gcd simplifications 0
3600.00/3611.10 c detected cardinalities 0
3600.00/3611.10 c weakened non-implied lits 0
3600.00/3611.10 c weakened non-implying lits 0
3600.00/3611.10 c original variables 4624
3600.00/3611.10 c clausal propagations 0
3600.00/3611.10 c cardinality propagations 0
3600.00/3611.10 c watched propagations 0
3600.00/3611.10 c counting propagations 0
3600.00/3611.10 c watch lookups 0
3600.00/3611.10 c watch backjump lookups 0
3600.00/3611.10 c watch checks 0
3600.00/3611.10 c propagation checks 0
3600.00/3611.10 c constraint additions 0
3600.00/3611.10 c trail pops 0
3600.00/3611.10 c formula constraints 5263
3600.00/3611.10 c learned constraints 0
3600.00/3611.10 c bound constraints 0
3600.00/3611.10 c core-guided constraints 0
3600.00/3611.10 c encountered formula constraints 0
3600.00/3611.10 c encountered learned constraints 0
3600.00/3611.10 c encountered bound constraints 0
3600.00/3611.10 c encountered core-guided constraints 0
3600.00/3611.10 c LP total time 0 s
3600.00/3611.10 c LP solve time 0 s
3600.00/3611.10 c LP constraints added 0
3600.00/3611.10 c LP constraints removed 0
3600.00/3611.10 c LP pivots internal 0
3600.00/3611.10 c LP pivots root 0
3600.00/3611.10 c LP calls 0
3600.00/3611.10 c LP optimalities 0
3600.00/3611.10 c LP no pivot count 0
3600.00/3611.10 c LP infeasibilities 0
3600.00/3611.10 c LP valid Farkas constraints 0
3600.00/3611.10 c LP learned Farkas constraints 0
3600.00/3611.10 c LP basis resets 0
3600.00/3611.10 c LP cycling count 0
3600.00/3611.10 c LP singular count 0
3600.00/3611.10 c LP no primal count 0
3600.00/3611.10 c LP no farkas count 0
3600.00/3611.10 c LP other issue count 0
3600.00/3611.10 c LP Gomory cuts 0
3600.00/3611.10 c LP learned cuts 0
3600.00/3611.10 c LP deleted cuts 0
3600.00/3611.10 c LP encountered Gomory constraints 0
3600.00/3611.10 c LP encountered Farkas constraints 0
3600.00/3611.10 c LP encountered learned Farkas constraints 0
3600.00/3611.10 c CG auxiliary variables introduced 0
3600.00/3611.10 c CG solutions found 0
3600.00/3611.10 c CG cores constructed 0
3600.00/3611.10 c CG core cardinality constraints returned 0
3600.00/3611.10 c CG unit cores 0
3600.00/3611.10 c CG single cores 0
3600.00/3611.10 c CG blocks removed during cardinality reduction 0
3600.00/3611.10 c CG first core best 0
3600.00/3611.10 c CG decision core best 0
3600.00/3611.10 c CG core reduction tie 0
3600.00/3611.10 c CG core degree average 0.00
3600.00/3611.10 c CG core slack average 0.00
3600.00/3611.10 c CG core upper bound improvements 0
3600.00/3611.10 c STR number of successful calls 0
3600.00/3611.10 c STR number of unsuccessful calls 0
3600.00/3611.10 c STR number of inconclusive calls 0
3600.00/3611.10 c STR number of successful attempts 0
3600.00/3611.10 c STR number of unsuccessful attempts 0
3600.00/3611.10 c STR number of inconclusive attempts 0
3600.00/3611.10 c STR average degree increase per successful call inf
3600.00/3611.10 c STR average degree increase per successful attempt inf
3600.00/3611.10 c STR total number of conflicts for successful attempts 0
3600.00/3611.10 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.10 c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.10 c STR average number of conflicts per successful attempt inf
3600.00/3611.10 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.10 c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.10 c AVG.sumWPerc -nan
3600.00/3611.10 c bigint constraints 0
3600.00/3611.10 s UNKNOWN
3600.00/3611.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (55040 MiB free)
memory of node 1: 64465 MiB (63626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484309-1751287344/watcher-4484309-1751287344 -o /tmp/evaluation-result-4484309-1751287344/solver-4484309-1751287344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751280113-39700 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484309-1751287344.opb PROOFDIR/proof-4484309-1751287344
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40593, runsolver pid=40590
[startup+0.10006 s]*
/proc/loadavg: 4.10 4.09 4.09 6/274 40597
/proc/meminfo: memFree=121495696/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=71376 memory=23596 CPUtime=0.08 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 3900 0 0 0 7 1 0 0 20 0 1 0 44410981 73089024 5899 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 17844 5899 2336 1147 0 5271 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75568 KiB
Current children cumulated memory: 26668 KiB
[startup+0.205705 s]*
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=121474024/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=73680 memory=29200 CPUtime=0.19 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 4782 0 0 0 16 3 0 0 20 0 1 0 44410981 75448320 7300 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 18420 7300 2336 1147 0 5847 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77872 KiB
Current children cumulated memory: 32272 KiB
[startup+0.305607 s]*
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=121459912/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=76612 memory=32144 CPUtime=0.29 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 5509 0 0 0 26 3 0 0 20 0 1 0 44410981 78450688 8036 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 19153 8036 2368 1147 0 6580 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80804 KiB
Current children cumulated memory: 35216 KiB
[startup+0.700191 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=121443784/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=87808 memory=43544 CPUtime=0.67 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 7851 0 0 0 60 7 0 0 20 0 1 0 44410981 89915392 10886 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 21952 10886 2368 1147 0 9379 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 92000 KiB
Current children cumulated memory: 46616 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=121400628/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=127432 memory=75744 CPUtime=1.48 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 14860 0 0 0 136 12 0 0 20 0 1 0 44410981 130490368 18936 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 31858 18936 2368 1147 0 19285 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 131624 KiB
Current children cumulated memory: 78816 KiB
[startup+3.10553 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=121260036/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=189776 memory=132872 CPUtime=3.08 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 25592 0 0 0 286 22 0 0 20 0 1 0 44410981 194330624 33218 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 47444 33218 2368 1147 0 34871 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 193968 KiB
Current children cumulated memory: 135944 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 40597
/proc/meminfo: memFree=120934856/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=234408 memory=177304 CPUtime=6.27 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 33634 0 0 0 593 34 0 0 20 0 1 0 44410981 240033792 44326 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 58602 44326 2368 1147 0 46029 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 238600 KiB
Current children cumulated memory: 180376 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/274 40597
/proc/meminfo: memFree=120537816/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=369652 memory=293796 CPUtime=12.64 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 55595 0 0 0 1209 55 0 0 20 0 1 0 44410981 378523648 73449 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 92413 73449 2368 1147 0 79840 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 373844 KiB
Current children cumulated memory: 296868 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/274 40597
/proc/meminfo: memFree=120213472/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=450836 memory=335356 CPUtime=25.42 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 63462 0 0 0 2453 89 0 0 20 0 1 0 44410981 461656064 83839 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 112709 83839 2368 1147 0 100136 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 455028 KiB
Current children cumulated memory: 338428 KiB
[startup+51.1055 s]
/proc/loadavg: 4.23 4.13 4.10 5/274 40643
/proc/meminfo: memFree=127030352/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=711500 memory=519388 CPUtime=50.95 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 98716 0 0 0 4948 147 0 0 20 0 1 0 44410981 728576000 129847 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 177875 129847 2368 1147 0 165302 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 715692 KiB
Current children cumulated memory: 522460 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/274 40646
/proc/meminfo: memFree=125263872/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=769360 memory=614640 CPUtime=101.98 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 115408 0 0 0 9959 239 0 0 20 0 1 0 44410981 787824640 153660 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 192340 153660 2368 1147 0 179767 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 773552 KiB
Current children cumulated memory: 617712 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/274 40648
/proc/meminfo: memFree=123524240/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=1040612 memory=852324 CPUtime=161.79 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 163061 0 0 0 15847 332 0 0 20 0 1 0 44410981 1065586688 213081 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 260153 213081 2368 1147 0 247580 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1044804 KiB
Current children cumulated memory: 855396 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/275 40651
/proc/meminfo: memFree=121924124/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=1236108 memory=943312 CPUtime=221.6 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 179729 0 0 0 21752 408 0 0 20 0 1 0 44410981 1265774592 235828 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
################
# More data... #
################
[pid=40595] ppid=40593 vsize=2925004 memory=2361092 CPUtime=3092.53 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 442775 0 0 0 306730 2523 0 0 20 0 1 0 44410981 2995204096 590273 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 731251 590273 2368 1147 0 718678 0
Current children cumulated CPU time: 3092.53 s
Current children cumulated vsize: 2929196 KiB
Current children cumulated memory: 2364164 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 40863
/proc/meminfo: memFree=71668604/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=2933196 memory=2431292 CPUtime=3152.37 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 447627 0 0 0 312680 2557 0 0 20 0 1 0 44410981 3003592704 607823 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 733299 607823 2368 1147 0 720726 0
Current children cumulated CPU time: 3152.37 s
Current children cumulated vsize: 2937388 KiB
Current children cumulated memory: 2434364 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 40865
/proc/meminfo: memFree=71040172/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=2934220 memory=2442684 CPUtime=3212.22 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 447771 0 0 0 318632 2590 0 0 20 0 1 0 44410981 3004641280 610671 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 733555 610671 2368 1147 0 720982 0
Current children cumulated CPU time: 3212.22 s
Current children cumulated vsize: 2938412 KiB
Current children cumulated memory: 2445756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 40867
/proc/meminfo: memFree=70294844/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=2934220 memory=2454460 CPUtime=3272.06 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 447780 0 0 0 324569 2637 0 0 20 0 1 0 44410981 3004641280 613615 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 733555 613615 2368 1147 0 720982 0
Current children cumulated CPU time: 3272.06 s
Current children cumulated vsize: 2938412 KiB
Current children cumulated memory: 2457532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/271 40875
/proc/meminfo: memFree=69535432/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=2935244 memory=2467004 CPUtime=3331.9 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 448022 0 0 0 330515 2675 0 0 20 0 1 0 44410981 3005689856 616751 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 733811 616751 2368 1147 0 721238 0
Current children cumulated CPU time: 3331.9 s
Current children cumulated vsize: 2939436 KiB
Current children cumulated memory: 2470076 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/271 40878
/proc/meminfo: memFree=68926292/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=2938316 memory=2481980 CPUtime=3391.74 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 448613 0 0 0 336466 2708 0 0 20 0 1 0 44410981 3008835584 620495 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 734579 620495 2368 1147 0 722006 0
Current children cumulated CPU time: 3391.74 s
Current children cumulated vsize: 2942508 KiB
Current children cumulated memory: 2485052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 40880
/proc/meminfo: memFree=68347548/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=2938316 memory=2496444 CPUtime=3451.58 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 448627 0 0 0 342411 2747 0 0 20 0 1 0 44410981 3008835584 624111 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 734579 624111 2368 1147 0 722006 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 2942508 KiB
Current children cumulated memory: 2499516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/271 40882
/proc/meminfo: memFree=67492316/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=2941028 memory=2518076 CPUtime=3511.42 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 449269 0 0 0 348349 2793 0 0 20 0 1 0 44410981 3011612672 629519 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 735257 629519 2368 1147 0 722684 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 2945220 KiB
Current children cumulated memory: 2521148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.15 4.10 5/271 40884
/proc/meminfo: memFree=66196128/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=2983528 memory=2646252 CPUtime=3571.26 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 462584 0 0 0 354296 2830 0 0 20 0 1 0 44410981 3055132672 661563 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 745882 661563 2368 1147 0 733309 0
Current children cumulated CPU time: 3571.26 s
Current children cumulated vsize: 2987720 KiB
Current children cumulated memory: 2649324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.14 4.13 4.10 4/265 40911
/proc/meminfo: memFree=69676312/131250000 swapFree=33010684/33010684
[pid=40593] ppid=40590 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/40593/stat : 40593 (run-opt-log.sh) S 40590 40593 39688 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 44410980 4292608 768 18446744073709551615 94625020108800 94625021003333 140723487154128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94625021242384 94625021290128 94625029009408 140723487160609 140723487160804 140723487160804 140723487166406 0
/proc/40593/statm: 1048 768 704 219 0 110 0
[pid=40595] ppid=40593 vsize=2983528 memory=2656108 CPUtime=3600 cores=1,3
/proc/40595/stat : 40595 (roundingsat) R 40593 40593 39688 0 -1 4194304 462585 0 0 0 357148 2852 0 0 20 0 1 0 44410981 3055132672 664027 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 745882 664027 2368 1147 0 733309 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2987720 KiB
Current children cumulated memory: 2659180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 40593 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002201 s, system=0 s
[startup+3611.27 s]
# the end of solver process 40595 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3571.49 s, system=28.555 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]*
/proc/loadavg: 4.14 4.13 4.10 3/264 40911
/proc/meminfo: memFree=69685848/131250000 swapFree=33010684/33010684
[pid=40595] ppid=40590 vsize=2983528 memory=2656492 CPUtime=3600 cores=1,3
/proc/40595/stat : 40595 (roundingsat) D 40590 40593 39688 0 -1 4194304 462591 0 0 0 357148 2852 0 0 20 0 1 0 44410981 3055132672 664123 18446744073709551615 4227072 8923433 140726919352320 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140726919354706 140726919354920 140726919354920 140726919360490 0
/proc/40595/statm: 745882 664123 2464 1147 0 733309 0
Current cumulated CPU time of completed processes: 0.002201 s
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2983528 KiB
Current children cumulated memory: 2656492 KiB
Child status: 2
Real time (s): 3611.27
CPU time (s): 3600.05
CPU user time (s): 3571.49
CPU system time (s): 28.555
CPU usage (%): 99.6892
Max. virtual memory (cumulated for all children) (KiB): 2987720
Max. memory (cumulated for all children) (KiB): 2659180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.49
system time used= 28.555
maximum resident set size= 2656492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28170440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 713
involuntary context switches= 8192
# summary of solver processes directly reported to runsolver:
# pid: 40593,40595
# total CPU time (s): 3600.05
# total CPU user time (s): 3571.49
# total CPU system time (s): 28.555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75359 second user time and 16.3097 second system time
The end
Begin job on nodeC014 at 2025-06-30 14:42:24
IDJOB=4484309
IDBENCH=146654
IDSOLVER=3351
FILE ID=nodeC014/4484309-1751287344
RUNJOBID= nodeC014-1751280113-39700
SLURM_JOB_ID= 9594224
Free space on /tmp= 432988 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484309-1751287344/watcher-4484309-1751287344 -o /tmp/evaluation-result-4484309-1751287344/solver-4484309-1751287344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751280113-39700 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484309-1751287344.opb PROOFDIR/proof-4484309-1751287344
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 95d9c8e5d82ddbf9273186de2f795996
RANDOM SEED=1322084978
nodeC014 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 : 3600.168
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 : 7000.23
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.467
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 : 7000.23
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 : 3602.977
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 : 7000.23
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 : 3600.113
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 : 7000.23
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 : 3600.133
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 : 7000.23
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 : 3600.121
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 : 7000.23
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 : 3586.648
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 : 7000.23
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 : 3601.039
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121514856 kB
MemAvailable: 129159848 kB
Buffers: 3280 kB
Cached: 8443776 kB
SwapCached: 0 kB
Active: 942572 kB
Inactive: 8187668 kB
Active(anon): 701288 kB
Inactive(anon): 0 kB
Active(file): 241284 kB
Inactive(file): 8187668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 39964 kB
Writeback: 48 kB
AnonPages: 672688 kB
Mapped: 116580 kB
Shmem: 18068 kB
KReclaimable: 110556 kB
Slab: 199472 kB
SReclaimable: 110556 kB
SUnreclaim: 88916 kB
KernelStack: 4464 kB
PageTables: 4500 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1176592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 299008 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC014 at 2025-06-30 15:42:35