0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.19/0.25 c #variables 40451 #constraints 40949
0.19/0.25 c objective is ce32
0.19/0.26 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.19/0.26 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.19/0.26 c GLOBAL bounds - >= -14671668 @ 0.195948
0.19/0.30 c GLOBAL bounds - >= -14671668 @ 0.212791
0.29/0.35 c GLOBAL bounds - >= -14671668 @ 0.235477
0.29/0.39 c GLOBAL bounds - >= -14671668 @ 0.255822
0.39/0.43 c GLOBAL bounds - >= -14671668 @ 0.277185
0.39/0.48 c GLOBAL bounds - >= -14671668 @ 0.300498
0.49/0.52 c GLOBAL bounds - >= -14671668 @ 0.322029
0.49/0.56 c GLOBAL bounds - >= -14671668 @ 0.337499
0.59/0.61 c GLOBAL bounds - >= -14671668 @ 0.357278
0.59/0.65 c GLOBAL bounds - >= -14671668 @ 0.381772
0.68/0.70 c GLOBAL bounds - >= -14671668 @ 0.402277
0.68/0.74 c GLOBAL bounds - >= -14671668 @ 0.416821
0.68/0.78 c GLOBAL bounds - >= -14671668 @ 0.43852
0.77/0.83 c GLOBAL bounds - >= -14671668 @ 0.463194
0.77/0.87 c GLOBAL bounds - >= -14671668 @ 0.482116
0.88/0.91 c GLOBAL bounds - >= -14671668 @ 0.500943
0.88/0.96 c GLOBAL bounds - >= -14671668 @ 0.520591
0.98/1.00 c GLOBAL bounds - >= -14671668 @ 0.537649
0.98/1.05 c GLOBAL bounds - >= -14671668 @ 0.554873
0.98/1.09 c GLOBAL bounds - >= -14671668 @ 0.572873
1.08/1.14 c GLOBAL bounds - >= -14671668 @ 0.592872
1.08/1.18 c GLOBAL bounds - >= -14671668 @ 0.616767
1.18/1.23 c GLOBAL bounds - >= -14671668 @ 0.637866
1.18/1.27 c GLOBAL bounds - >= -14671668 @ 0.654858
1.27/1.31 c GLOBAL bounds - >= -14671668 @ 0.675111
1.27/1.36 c GLOBAL bounds - >= -14671668 @ 0.69246
1.37/1.40 c GLOBAL bounds - >= -14671668 @ 0.709955
1.37/1.45 c GLOBAL bounds - >= -14671668 @ 0.731129
1.37/1.49 c GLOBAL bounds - >= -14671668 @ 0.750446
1.47/1.54 c GLOBAL bounds - >= -14671668 @ 0.769731
1.47/1.58 c GLOBAL bounds - >= -14671668 @ 0.788937
1.57/1.62 c GLOBAL bounds - >= -14671668 @ 0.813653
1.57/1.67 c GLOBAL bounds - >= -14671668 @ 0.829686
1.67/1.71 c GLOBAL bounds - >= -14671668 @ 0.847647
1.67/1.76 c GLOBAL bounds - >= -14671668 @ 0.863974
1.78/1.80 c GLOBAL bounds - >= -14671668 @ 0.887363
1.78/1.86 c GLOBAL bounds - >= -14671668 @ 0.925447
1.88/1.90 c GLOBAL bounds - >= -14671668 @ 0.946849
1.88/1.95 c GLOBAL bounds - >= -14671668 @ 0.967935
1.98/2.03 c GLOBAL bounds - >= -14671668 @ 1.02419
1.98/2.06 c GLOBAL bounds - >= -14671668 @ 1.04849
2.07/2.13 c GLOBAL bounds - >= -14671668 @ 1.09745
2.07/2.17 c GLOBAL bounds - >= -14671668 @ 1.11788
2.17/2.23 c GLOBAL bounds - >= -14671668 @ 1.15834
2.17/2.28 c GLOBAL bounds - >= -14671668 @ 1.18374
2.27/2.35 c GLOBAL bounds - >= -14671668 @ 1.22326
2.37/2.41 c GLOBAL bounds - >= -14671668 @ 1.27059
2.48/2.58 c GLOBAL bounds - >= -14671668 @ 1.40842
2.57/2.63 c GLOBAL bounds - >= -14671668 @ 1.43601
2.67/2.70 c GLOBAL bounds - >= -14671668 @ 1.48052
2.67/2.78 c GLOBAL bounds - >= -14671668 @ 1.55223
2.77/2.87 c GLOBAL bounds - >= -14671668 @ 1.61926
2.87/2.96 c GLOBAL bounds - >= -14671668 @ 1.6818
2.98/3.03 c GLOBAL bounds - >= -14671668 @ 1.72642
2.98/3.09 c GLOBAL bounds - >= -14671668 @ 1.7584
3.08/3.14 c GLOBAL bounds - >= -14671668 @ 1.78807
3.17/3.20 c GLOBAL bounds - >= -14671668 @ 1.81735
3.17/3.25 c GLOBAL bounds - >= -14671668 @ 1.85146
3.27/3.32 c GLOBAL bounds - >= -14671668 @ 1.89185
3.27/3.39 c GLOBAL bounds - >= -14671668 @ 1.94226
3.47/3.50 c GLOBAL bounds - >= -14671668 @ 2.02416
3.47/3.55 c GLOBAL bounds - >= -14671668 @ 2.05807
3.57/3.61 c GLOBAL bounds - >= -14671668 @ 2.09153
3.57/3.67 c GLOBAL bounds - >= -14671668 @ 2.12359
3.67/3.73 c GLOBAL bounds - >= -14671668 @ 2.15929
3.77/3.85 c GLOBAL bounds - >= -14671668 @ 2.24796
3.87/3.91 c GLOBAL bounds - >= -14671668 @ 2.28245
3.87/3.96 c GLOBAL bounds - >= -14671668 @ 2.31269
3.97/4.05 c GLOBAL bounds - >= -14671668 @ 2.37885
4.07/4.13 c GLOBAL bounds - >= -14671668 @ 2.42436
4.07/4.18 c GLOBAL bounds - >= -14671668 @ 2.46381
4.17/4.26 c GLOBAL bounds - >= -14671668 @ 2.51074
4.26/4.33 c GLOBAL bounds - >= -14671668 @ 2.55668
4.47/4.53 c GLOBAL bounds - >= -14671668 @ 2.72945
4.57/4.60 c GLOBAL bounds - >= -14671668 @ 2.77881
4.66/4.79 c GLOBAL bounds - >= -14671668 @ 2.94727
4.76/4.87 c GLOBAL bounds - >= -14671668 @ 2.99327
4.97/5.07 c GLOBAL bounds - >= -14671668 @ 3.17787
5.17/5.20 c GLOBAL bounds - >= -14671668 @ 3.2863
5.17/5.28 c GLOBAL bounds - >= -14671668 @ 3.34303
5.26/5.38 c GLOBAL bounds - >= -14671668 @ 3.41392
5.47/5.51 c GLOBAL bounds - >= -14671668 @ 3.51962
5.47/5.58 c GLOBAL bounds - >= -14671668 @ 3.56572
5.56/5.64 c GLOBAL bounds - >= -14671668 @ 3.60889
5.66/5.70 c GLOBAL bounds - >= -14671668 @ 3.64186
5.66/5.76 c GLOBAL bounds - >= -14671668 @ 3.67922
5.76/5.83 c GLOBAL bounds - >= -14671668 @ 3.72849
5.86/5.92 c GLOBAL bounds - >= -14671668 @ 3.78847
6.27/6.34 c GLOBAL bounds - >= -14671668 @ 4.17541
6.36/6.45 c GLOBAL bounds - >= -14671668 @ 4.26839
6.56/6.65 c GLOBAL bounds - >= -14671668 @ 4.44426
6.76/6.81 c GLOBAL bounds - >= -14671668 @ 4.57853
6.76/6.88 c GLOBAL bounds - >= -14671668 @ 4.62743
9.96/10.07 c GLOBAL bounds - >= -14671668 @ 7.73388
12.24/12.38 c GLOBAL bounds - >= -14671668 @ 9.98457
16.53/16.63 c GLOBAL bounds - >= -14671668 @ 14.1442
16.74/16.86 c GLOBAL bounds - >= -14671668 @ 14.3395
16.94/17.10 c GLOBAL bounds - >= -14671668 @ 14.5574
17.13/17.23 c GLOBAL bounds - >= -14671668 @ 14.6649
17.23/17.37 c GLOBAL bounds - >= -14671668 @ 14.7859
17.43/17.52 c GLOBAL bounds - >= -14671668 @ 14.9146
19.23/19.34 c GLOBAL bounds - >= -14671668 @ 16.6875
22.51/22.60 c GLOBAL bounds - >= -14671668 @ 19.8898
22.62/22.75 c GLOBAL bounds - >= -14671668 @ 20.0161
24.61/24.79 c GLOBAL bounds - >= -14671668 @ 22.0197
24.81/24.97 c GLOBAL bounds - >= -14671668 @ 22.1695
25.01/25.11 c GLOBAL bounds - >= -14671668 @ 22.2833
25.11/25.23 c GLOBAL bounds - >= -14671668 @ 22.3844
25.21/25.36 c GLOBAL bounds - >= -14671668 @ 22.4988
25.41/25.50 c GLOBAL bounds - >= -14671668 @ 22.6163
25.50/25.65 c GLOBAL bounds - >= -14671668 @ 22.745
25.61/25.79 c GLOBAL bounds - >= -14671668 @ 22.8617
25.81/25.93 c GLOBAL bounds - >= -14671668 @ 22.9725
25.91/26.07 c GLOBAL bounds - >= -14671668 @ 23.076
26.11/26.20 c GLOBAL bounds - >= -14671668 @ 23.1936
26.20/26.33 c GLOBAL bounds - >= -14671668 @ 23.3063
26.30/26.49 c GLOBAL bounds - >= -14671668 @ 23.4331
26.60/26.72 c GLOBAL bounds - >= -14671668 @ 23.6292
26.81/26.91 c GLOBAL bounds - >= -14671668 @ 23.7909
27.10/27.23 c GLOBAL bounds - >= -14671668 @ 24.0827
27.20/27.37 c GLOBAL bounds - >= -14671668 @ 24.2062
27.40/27.50 c GLOBAL bounds - >= -14671668 @ 24.3081
27.50/27.64 c GLOBAL bounds - >= -14671668 @ 24.4316
27.60/27.77 c GLOBAL bounds - >= -14671668 @ 24.5495
27.80/27.90 c GLOBAL bounds - >= -14671668 @ 24.6593
29.30/29.43 c GLOBAL bounds - >= -14671668 @ 26.144
30.70/30.81 c GLOBAL bounds - >= -14671668 @ 27.4885
40.47/40.65 c #Conflicts: 1000 | #Constraints: 1689
40.47/40.65 c GLOBAL bounds - >= -14671668 @ 37.1499
40.66/40.88 c GLOBAL bounds - >= -14671668 @ 37.3538
41.06/41.27 c GLOBAL bounds - >= -14671668 @ 37.7212
41.36/41.52 c GLOBAL bounds - >= -14671668 @ 37.9437
41.56/41.74 c GLOBAL bounds - >= -14671668 @ 38.1264
41.76/41.94 c GLOBAL bounds - >= -14671668 @ 38.291
41.96/42.13 c GLOBAL bounds - >= -14671668 @ 38.4642
48.44/48.61 c GLOBAL bounds - >= -14671668 @ 44.7403
51.53/51.79 c GLOBAL bounds - >= -14671668 @ 47.8295
51.84/52.04 c GLOBAL bounds - >= -14671668 @ 48.0589
52.03/52.27 c GLOBAL bounds - >= -14671668 @ 48.2584
52.33/52.53 c GLOBAL bounds - >= -14671668 @ 48.4891
52.53/52.78 c GLOBAL bounds - >= -14671668 @ 48.7146
52.84/53.04 c GLOBAL bounds - >= -14671668 @ 48.9544
53.13/53.33 c GLOBAL bounds - >= -14671668 @ 49.2213
53.33/53.59 c GLOBAL bounds - >= -14671668 @ 49.4567
53.84/54.03 c GLOBAL bounds - >= -14671668 @ 49.8658
54.12/54.34 c GLOBAL bounds - >= -14671668 @ 50.1494
54.43/54.63 c GLOBAL bounds - >= -14671668 @ 50.4146
54.63/54.89 c GLOBAL bounds - >= -14671668 @ 50.6526
54.93/55.17 c GLOBAL bounds - >= -14671668 @ 50.9062
55.32/55.55 c GLOBAL bounds - >= -14671668 @ 51.2663
55.63/55.88 c GLOBAL bounds - >= -14671668 @ 51.5679
55.92/56.18 c GLOBAL bounds - >= -14671668 @ 51.8251
56.32/56.51 c GLOBAL bounds - >= -14671668 @ 52.1228
56.52/56.75 c GLOBAL bounds - >= -14671668 @ 52.3362
71.18/71.44 c #Conflicts: 2000 | #Constraints: 2741
71.18/71.44 c INPROCESSING
71.18/71.44 c GARBAGE COLLECT
71.18/71.44 c GLOBAL bounds - >= -14671668 @ 66.8151
71.38/71.69 c GLOBAL bounds - >= -14671668 @ 67.0423
71.68/71.96 c GLOBAL bounds - >= -14671668 @ 67.2921
71.98/72.23 c GLOBAL bounds - >= -14671668 @ 67.5324
72.18/72.46 c GLOBAL bounds - >= -14671668 @ 67.7407
72.48/72.72 c GLOBAL bounds - >= -14671668 @ 67.9753
73.77/74.09 c GLOBAL bounds - >= -14671668 @ 69.3137
74.07/74.33 c GLOBAL bounds - >= -14671668 @ 69.5256
74.37/74.60 c GLOBAL bounds - >= -14671668 @ 69.7584
74.57/74.81 c GLOBAL bounds - >= -14671668 @ 69.9434
74.87/75.10 c GLOBAL bounds - >= -14671668 @ 70.2125
75.07/75.35 c GLOBAL bounds - >= -14671668 @ 70.4349
75.26/75.57 c GLOBAL bounds - >= -14671668 @ 70.6345
75.66/75.90 c GLOBAL bounds - >= -14671668 @ 70.9286
76.87/77.11 c GLOBAL bounds - >= -14671668 @ 72.0524
77.07/77.37 c GLOBAL bounds - >= -14671668 @ 72.2871
77.56/77.80 c GLOBAL bounds - >= -14671668 @ 72.6942
77.77/78.05 c GLOBAL bounds - >= -14671668 @ 72.9184
78.06/78.32 c GLOBAL bounds - >= -14671668 @ 73.1651
93.12/93.41 c GLOBAL bounds - >= -14671668 @ 88.0851
102.00/102.32 c GLOBAL bounds - >= -14671668 @ 96.9232
102.39/102.71 c GLOBAL bounds - >= -14671668 @ 97.2858
102.70/103.07 c GLOBAL bounds - >= -14671668 @ 97.6141
103.09/103.46 c GLOBAL bounds - >= -14671668 @ 97.9938
103.49/103.80 c GLOBAL bounds - >= -14671668 @ 98.3088
103.79/104.15 c GLOBAL bounds - >= -14671668 @ 98.6244
104.09/104.47 c GLOBAL bounds - >= -14671668 @ 98.912
104.79/105.19 c GLOBAL bounds - >= -14671668 @ 99.6038
105.18/105.59 c GLOBAL bounds - >= -14671668 @ 99.9687
105.69/106.02 c GLOBAL bounds - >= -14671668 @ 100.376
106.08/106.49 c #Conflicts: 3000 | #Constraints: 2825
106.08/106.49 c GLOBAL bounds - >= -14671668 @ 100.816
108.08/108.41 c GLOBAL bounds - >= -14671668 @ 102.686
108.88/109.23 c GLOBAL bounds - >= -14671668 @ 103.459
109.18/109.59 c GLOBAL bounds - >= -14671668 @ 103.781
109.57/109.92 c GLOBAL bounds - >= -14671668 @ 104.095
109.87/110.26 c GLOBAL bounds - >= -14671668 @ 104.397
110.17/110.59 c GLOBAL bounds - >= -14671668 @ 104.699
110.87/111.25 c GLOBAL bounds - >= -14671668 @ 105.313
111.16/111.58 c GLOBAL bounds - >= -14671668 @ 105.623
111.57/111.95 c GLOBAL bounds - >= -14671668 @ 105.954
111.96/112.39 c GLOBAL bounds - >= -14671668 @ 106.369
112.37/112.73 c GLOBAL bounds - >= -14671668 @ 106.689
112.67/113.08 c GLOBAL bounds - >= -14671668 @ 107.011
113.36/113.72 c GLOBAL bounds - >= -14671668 @ 107.62
114.46/114.82 c GLOBAL bounds - >= -14671668 @ 108.682
116.16/116.59 c GLOBAL bounds - >= -14671668 @ 110.405
116.85/117.27 c GLOBAL bounds - >= -14671668 @ 111.063
117.25/117.64 c GLOBAL bounds - >= -14671668 @ 111.402
117.55/118.00 c GLOBAL bounds - >= -14671668 @ 111.728
118.25/118.67 c GLOBAL bounds - >= -14671668 @ 112.358
135.00/135.41 c GLOBAL bounds - >= -14671668 @ 128.95
138.99/139.40 c GLOBAL bounds - >= -14671668 @ 132.862
139.39/139.86 c GLOBAL bounds - >= -14671668 @ 133.295
141.58/142.02 c GLOBAL bounds - >= -14671668 @ 135.427
141.98/142.48 c GLOBAL bounds - >= -14671668 @ 135.85
143.48/143.98 c GLOBAL bounds - >= -14671668 @ 137.295
143.97/144.41 c GLOBAL bounds - >= -14671668 @ 137.704
144.38/144.81 c GLOBAL bounds - >= -14671668 @ 138.075
151.66/152.19 c GLOBAL bounds - >= -14671668 @ 145.216
152.95/153.41 c GLOBAL bounds - >= -14671668 @ 146.398
165.21/165.75 c #Conflicts: 4000 | #Constraints: 3885
165.21/165.75 c INPROCESSING
165.21/165.75 c GARBAGE COLLECT
165.21/165.75 c GLOBAL bounds - >= -14671668 @ 158.596
170.60/171.18 c GLOBAL bounds - >= -14671668 @ 163.925
170.90/171.48 c GLOBAL bounds - >= -14671668 @ 164.202
171.40/171.90 c GLOBAL bounds - >= -14671668 @ 164.587
171.69/172.26 c GLOBAL bounds - >= -14671668 @ 164.924
172.09/172.60 c GLOBAL bounds - >= -14671668 @ 165.236
185.26/185.83 c GLOBAL bounds - >= -14671668 @ 178.298
185.66/186.26 c GLOBAL bounds - >= -14671668 @ 178.702
187.46/188.09 c GLOBAL bounds - >= -14671668 @ 180.501
187.85/188.48 c GLOBAL bounds - >= -14671668 @ 180.86
188.45/189.03 c GLOBAL bounds - >= -14671668 @ 181.379
189.64/190.28 c GLOBAL bounds - >= -14671668 @ 182.579
213.27/213.94 c #Conflicts: 5000 | #Constraints: 3301
213.27/213.94 c GLOBAL bounds - >= -14671668 @ 205.961
214.07/214.72 c GLOBAL bounds - >= -14671668 @ 206.713
214.57/215.23 c GLOBAL bounds - >= -14671668 @ 207.192
215.17/215.80 c GLOBAL bounds - >= -14671668 @ 207.726
215.57/216.28 c GLOBAL bounds - >= -14671668 @ 208.184
216.17/216.83 c GLOBAL bounds - >= -14671668 @ 208.698
220.96/221.66 c GLOBAL bounds - >= -14671668 @ 213.453
221.46/222.17 c GLOBAL bounds - >= -14671668 @ 213.938
222.36/223.02 c GLOBAL bounds - >= -14671668 @ 214.759
227.24/227.94 c #Conflicts: 6000 | #Constraints: 4319
227.24/227.94 c GLOBAL bounds - >= -14671668 @ 219.595
227.74/228.49 c GLOBAL bounds - >= -14671668 @ 220.126
228.34/229.00 c GLOBAL bounds - >= -14671668 @ 220.613
229.13/229.80 c GLOBAL bounds - >= -14671668 @ 221.386
229.93/230.68 c GLOBAL bounds - >= -14671668 @ 222.236
235.22/235.91 c GLOBAL bounds - >= -14671668 @ 227.376
235.71/236.48 c GLOBAL bounds - >= -14671668 @ 227.912
236.42/237.17 c GLOBAL bounds - >= -14671668 @ 228.566
237.11/237.87 c GLOBAL bounds - >= -14671668 @ 229.234
237.71/238.40 c GLOBAL bounds - >= -14671668 @ 229.741
247.08/247.88 c INPROCESSING
247.08/247.88 c GARBAGE COLLECT
247.08/247.88 c GLOBAL bounds - >= -14671668 @ 239.062
247.48/248.25 c GLOBAL bounds - >= -14671668 @ 239.388
247.98/248.73 c GLOBAL bounds - >= -14671668 @ 239.84
248.29/249.07 c GLOBAL bounds - >= -14671668 @ 240.144
248.68/249.42 c GLOBAL bounds - >= -14671668 @ 240.471
248.98/249.73 c GLOBAL bounds - >= -14671668 @ 240.76
255.16/255.92 c GLOBAL bounds - >= -14671668 @ 246.883
256.95/257.73 c GLOBAL bounds - >= -14671668 @ 248.648
257.26/258.07 c GLOBAL bounds - >= -14671668 @ 248.964
283.08/283.94 c #Conflicts: 7000 | #Constraints: 3372
283.08/283.94 c GLOBAL bounds - >= -14671668 @ 274.644
283.58/284.44 c GLOBAL bounds - >= -14671668 @ 275.109
284.08/284.91 c GLOBAL bounds - >= -14671668 @ 275.544
286.08/286.96 c GLOBAL bounds - >= -14671668 @ 277.543
286.57/287.42 c GLOBAL bounds - >= -14671668 @ 277.973
286.97/287.88 c GLOBAL bounds - >= -14671668 @ 278.402
287.47/288.35 c GLOBAL bounds - >= -14671668 @ 278.846
287.97/288.80 c GLOBAL bounds - >= -14671668 @ 279.267
300.54/301.48 c #Conflicts: 8000 | #Constraints: 4388
300.54/301.48 c GLOBAL bounds - >= -14671668 @ 291.764
301.14/302.05 c GLOBAL bounds - >= -14671668 @ 292.312
307.91/308.88 c GLOBAL bounds - >= -14671668 @ 299.045
310.71/311.64 c GLOBAL bounds - >= -14671668 @ 301.768
315.00/315.92 c GLOBAL bounds - >= -14671668 @ 306.002
315.70/316.62 c GLOBAL bounds - >= -14671668 @ 306.674
316.29/317.26 c GLOBAL bounds - >= -14671668 @ 307.285
316.89/317.87 c GLOBAL bounds - >= -14671668 @ 307.87
317.49/318.46 c GLOBAL bounds - >= -14671668 @ 308.434
319.48/320.46 c GLOBAL bounds - >= -14671668 @ 310.388
319.98/320.99 c GLOBAL bounds - >= -14671668 @ 310.895
320.58/321.50 c GLOBAL bounds - >= -14671668 @ 311.388
321.18/322.13 c GLOBAL bounds - >= -14671668 @ 311.997
321.88/322.85 c GLOBAL bounds - >= -14671668 @ 312.698
332.85/333.82 c #Conflicts: 9000 | #Constraints: 5416
332.85/333.82 c GLOBAL bounds - >= -14671668 @ 323.536
333.44/334.47 c GLOBAL bounds - >= -14671668 @ 324.15
334.34/335.36 c GLOBAL bounds - >= -14671668 @ 325.007
340.72/341.72 c INPROCESSING
340.72/341.72 c GARBAGE COLLECT
340.72/341.72 c GLOBAL bounds - >= -14671668 @ 331.287
351.89/352.97 c GLOBAL bounds - >= -14671668 @ 342.399
352.49/353.58 c GLOBAL bounds - >= -14671668 @ 342.982
352.99/354.00 c GLOBAL bounds - >= -14671668 @ 343.385
353.29/354.38 c GLOBAL bounds - >= -14671668 @ 343.739
353.99/355.07 c GLOBAL bounds - >= -14671668 @ 344.405
354.78/355.85 c GLOBAL bounds - >= -14671668 @ 345.152
355.58/356.65 c GLOBAL bounds - >= -14671668 @ 345.928
356.58/357.61 c GLOBAL bounds - >= -14671668 @ 346.866
356.98/358.05 c GLOBAL bounds - >= -14671668 @ 347.281
357.38/358.47 c GLOBAL bounds - >= -14671668 @ 347.667
357.88/358.90 c GLOBAL bounds - >= -14671668 @ 348.066
358.57/359.62 c GLOBAL bounds - >= -14671668 @ 348.758
359.08/360.11 c GLOBAL bounds - >= -14671668 @ 349.221
359.68/360.70 c GLOBAL bounds - >= -14671668 @ 349.782
365.35/366.46 c GLOBAL bounds - >= -14671668 @ 355.448
365.86/366.91 c GLOBAL bounds - >= -14671668 @ 355.881
366.45/367.54 c GLOBAL bounds - >= -14671668 @ 356.478
377.03/378.14 c #Conflicts: 10000 | #Constraints: 4153
377.03/378.14 c GLOBAL bounds - >= -14671668 @ 366.975
378.12/379.22 c GLOBAL bounds - >= -14671668 @ 368.025
379.11/380.20 c GLOBAL bounds - >= -14671668 @ 368.984
379.62/380.76 c GLOBAL bounds - >= -14671668 @ 369.521
380.22/381.31 c GLOBAL bounds - >= -14671668 @ 370.048
381.21/382.30 c GLOBAL bounds - >= -14671668 @ 371.012
381.71/382.83 c GLOBAL bounds - >= -14671668 @ 371.517
401.05/402.20 c GLOBAL bounds - >= -14671668 @ 390.723
401.56/402.73 c GLOBAL bounds - >= -14671668 @ 391.228
421.99/423.24 c #Conflicts: 11000 | #Constraints: 5171
421.99/423.24 c GLOBAL bounds - >= -14671668 @ 411.546
423.19/424.49 c GLOBAL bounds - >= -14671668 @ 412.762
423.89/425.19 c GLOBAL bounds - >= -14671668 @ 413.421
431.36/432.63 c GLOBAL bounds - >= -14671668 @ 420.782
431.87/433.14 c GLOBAL bounds - >= -14671668 @ 421.26
451.01/452.32 c GLOBAL bounds - >= -14671668 @ 440.227
451.51/452.89 c GLOBAL bounds - >= -14671668 @ 440.771
452.10/453.42 c GLOBAL bounds - >= -14671668 @ 441.275
456.39/457.77 c GLOBAL bounds - >= -14671668 @ 445.569
457.00/458.39 c GLOBAL bounds - >= -14671668 @ 446.153
457.70/459.08 c GLOBAL bounds - >= -14671668 @ 446.812
492.09/493.57 c #Conflicts: 12000 | #Constraints: 6193
492.09/493.57 c INPROCESSING
492.09/493.57 c GARBAGE COLLECT
492.09/493.57 c GLOBAL bounds - >= -14671668 @ 481.01
494.39/495.81 c GLOBAL bounds - >= -14671668 @ 483.215
495.59/497.03 c GLOBAL bounds - >= -14671668 @ 484.407
496.08/497.57 c GLOBAL bounds - >= -14671668 @ 484.909
496.48/497.91 c GLOBAL bounds - >= -14671668 @ 485.22
504.26/505.75 c GLOBAL bounds - >= -14671668 @ 492.959
504.76/506.27 c GLOBAL bounds - >= -14671668 @ 493.46
506.05/507.52 c GLOBAL bounds - >= -14671668 @ 494.669
506.56/508.04 c GLOBAL bounds - >= -14671668 @ 495.158
506.95/508.45 c GLOBAL bounds - >= -14671668 @ 495.539
507.45/508.94 c GLOBAL bounds - >= -14671668 @ 496.005
509.94/511.45 c GLOBAL bounds - >= -14671668 @ 498.463
518.41/519.94 c GLOBAL bounds - >= -14671668 @ 506.672
518.81/520.31 c GLOBAL bounds - >= -14671668 @ 507.01
519.11/520.68 c GLOBAL bounds - >= -14671668 @ 507.347
519.62/521.14 c GLOBAL bounds - >= -14671668 @ 507.783
520.01/521.51 c GLOBAL bounds - >= -14671668 @ 508.124
520.31/521.86 c GLOBAL bounds - >= -14671668 @ 508.448
520.71/522.25 c GLOBAL bounds - >= -14671668 @ 508.816
521.11/522.62 c GLOBAL bounds - >= -14671668 @ 509.163
521.61/523.12 c GLOBAL bounds - >= -14671668 @ 509.632
548.83/550.41 c #Conflicts: 13000 | #Constraints: 4727
548.83/550.41 c #Conflicts: 14000 | #Constraints: 5727
548.83/550.41 c GLOBAL bounds - >= -14671668 @ 536.683
570.97/572.66 c #Conflicts: 15000 | #Constraints: 6729
570.97/572.66 c INPROCESSING
570.97/572.66 c GARBAGE COLLECT
570.97/572.66 c GLOBAL bounds - >= -14671668 @ 558.775
649.04/650.91 c #Conflicts: 16000 | #Constraints: 4931
649.04/650.91 c #Conflicts: 17000 | #Constraints: 5931
649.04/650.91 c #Conflicts: 18000 | #Constraints: 6931
649.04/650.91 c INPROCESSING
649.04/650.91 c GARBAGE COLLECT
649.04/650.91 c GLOBAL bounds - >= -14671668 @ 636.567
649.44/651.31 c GLOBAL bounds - >= -14671668 @ 636.941
650.73/652.66 c GLOBAL bounds - >= -14671668 @ 638.242
658.32/660.23 c GLOBAL bounds - >= -14671668 @ 645.717
695.91/697.99 c #Conflicts: 19000 | #Constraints: 4944
695.91/697.99 c #Conflicts: 20000 | #Constraints: 5944
695.91/697.99 c GLOBAL bounds - >= -14671668 @ 683.112
700.59/702.66 c GLOBAL bounds - >= -14671668 @ 687.718
734.10/736.20 c #Conflicts: 21000 | #Constraints: 6948
734.10/736.20 c GLOBAL bounds - >= -14671668 @ 720.931
758.82/761.02 c INPROCESSING
758.82/761.02 c GARBAGE COLLECT
758.82/761.02 c GLOBAL bounds - >= -14671668 @ 745.608
774.68/776.91 c #Conflicts: 22000 | #Constraints: 4746
774.68/776.91 c GLOBAL bounds - >= -14671668 @ 761.355
775.07/777.33 c GLOBAL bounds - >= -14671668 @ 761.732
776.97/779.25 c GLOBAL bounds - >= -14671668 @ 763.608
777.27/779.59 c GLOBAL bounds - >= -14671668 @ 763.906
777.66/779.90 c GLOBAL bounds - >= -14671668 @ 764.193
777.97/780.23 c GLOBAL bounds - >= -14671668 @ 764.498
778.27/780.55 c GLOBAL bounds - >= -14671668 @ 764.784
778.87/781.15 c GLOBAL bounds - >= -14671668 @ 765.348
779.26/781.53 c GLOBAL bounds - >= -14671668 @ 765.694
779.66/781.91 c GLOBAL bounds - >= -14671668 @ 766.051
780.05/782.36 c GLOBAL bounds - >= -14671668 @ 766.466
780.46/782.70 c GLOBAL bounds - >= -14671668 @ 766.77
781.05/783.36 c GLOBAL bounds - >= -14671668 @ 767.404
782.76/785.04 c GLOBAL bounds - >= -14671668 @ 769.038
784.45/786.76 c GLOBAL bounds - >= -14671668 @ 770.719
785.24/787.53 c GLOBAL bounds - >= -14671668 @ 771.458
788.84/791.19 c GLOBAL bounds - >= -14671668 @ 775.072
789.23/791.57 c GLOBAL bounds - >= -14671668 @ 775.425
789.63/791.95 c GLOBAL bounds - >= -14671668 @ 775.778
790.12/792.50 c GLOBAL bounds - >= -14671668 @ 776.3
790.73/793.02 c GLOBAL bounds - >= -14671668 @ 776.795
803.89/806.24 c GLOBAL bounds - >= -14671668 @ 789.869
804.29/806.63 c GLOBAL bounds - >= -14671668 @ 790.229
804.69/807.05 c GLOBAL bounds - >= -14671668 @ 790.615
805.69/808.03 c GLOBAL bounds - >= -14671668 @ 791.557
862.41/865.00 c #Conflicts: 23000 | #Constraints: 5796
862.41/865.00 c GLOBAL bounds - >= -14671668 @ 847.894
871.89/874.49 c GLOBAL bounds - >= -14671668 @ 857.288
875.77/878.34 c GLOBAL bounds - >= -14671668 @ 861.074
918.35/921.01 c #Conflicts: 24000 | #Constraints: 6802
918.35/921.01 c GLOBAL bounds - >= -14671668 @ 903.405
938.09/940.81 c GLOBAL bounds - >= -14671668 @ 923.032
938.88/941.61 c GLOBAL bounds - >= -14671668 @ 923.8
939.38/942.15 c GLOBAL bounds - >= -14671668 @ 924.292
969.27/972.19 c #Conflicts: 25000 | #Constraints: 7810
969.27/972.19 c INPROCESSING
969.27/972.19 c GARBAGE COLLECT
969.27/972.19 c GLOBAL bounds - >= -14671668 @ 953.999
969.56/972.45 c GLOBAL bounds - >= -14671668 @ 954.245
1034.67/1037.75 c #Conflicts: 26000 | #Constraints: 5437
1034.67/1037.75 c #Conflicts: 27000 | #Constraints: 6437
1034.67/1037.75 c GLOBAL bounds - >= -14671668 @ 1019.14
1035.26/1038.36 c GLOBAL bounds - >= -14671668 @ 1019.72
1042.15/1045.27 c GLOBAL bounds - >= -14671668 @ 1026.56
1056.91/1060.09 c GLOBAL bounds - >= -14671668 @ 1041.28
1057.81/1060.95 c GLOBAL bounds - >= -14671668 @ 1042.11
1058.60/1061.74 c GLOBAL bounds - >= -14671668 @ 1042.87
1062.79/1065.96 c GLOBAL bounds - >= -14671668 @ 1047.03
1063.39/1066.52 c GLOBAL bounds - >= -14671668 @ 1047.57
1063.90/1067.05 c GLOBAL bounds - >= -14671668 @ 1048.07
1064.49/1067.65 c GLOBAL bounds - >= -14671668 @ 1048.63
1065.18/1068.38 c GLOBAL bounds - >= -14671668 @ 1049.34
1065.79/1068.94 c GLOBAL bounds - >= -14671668 @ 1049.87
1066.38/1069.50 c GLOBAL bounds - >= -14671668 @ 1050.41
1066.88/1070.04 c GLOBAL bounds - >= -14671668 @ 1050.92
1106.36/1109.66 c #Conflicts: 28000 | #Constraints: 7465
1106.36/1109.66 c GLOBAL bounds - >= -14671668 @ 1090.11
1110.86/1114.11 c GLOBAL bounds - >= -14671668 @ 1094.49
1111.35/1114.67 c GLOBAL bounds - >= -14671668 @ 1095.03
1111.95/1115.28 c GLOBAL bounds - >= -14671668 @ 1095.62
1112.55/1115.83 c GLOBAL bounds - >= -14671668 @ 1096.15
1113.05/1116.38 c GLOBAL bounds - >= -14671668 @ 1096.67
1113.64/1116.98 c GLOBAL bounds - >= -14671668 @ 1097.24
1127.71/1131.06 c #Conflicts: 29000 | #Constraints: 8479
1127.71/1131.06 c INPROCESSING
1127.71/1131.06 c GARBAGE COLLECT
1127.71/1131.06 c GLOBAL bounds - >= -14671668 @ 1111.12
1128.00/1131.33 c GLOBAL bounds - >= -14671668 @ 1111.37
1128.30/1131.61 c GLOBAL bounds - >= -14671668 @ 1111.63
1128.51/1131.88 c GLOBAL bounds - >= -14671668 @ 1111.88
1146.44/1149.86 c GLOBAL bounds - >= -14671668 @ 1129.71
1156.01/1159.48 c GLOBAL bounds - >= -14671668 @ 1139.27
1156.51/1159.91 c GLOBAL bounds - >= -14671668 @ 1139.68
1214.45/1218.04 c #Conflicts: 30000 | #Constraints: 5889
1214.45/1218.04 c #Conflicts: 31000 | #Constraints: 6889
1214.45/1218.04 c GLOBAL bounds - >= -14671668 @ 1197.43
1214.84/1218.43 c GLOBAL bounds - >= -14671668 @ 1197.78
1215.34/1218.94 c GLOBAL bounds - >= -14671668 @ 1198.27
1215.94/1219.58 c GLOBAL bounds - >= -14671668 @ 1198.89
1223.12/1226.77 c GLOBAL bounds - >= -14671668 @ 1206.01
1235.88/1239.52 c GLOBAL bounds - >= -14671668 @ 1218.61
1236.28/1239.94 c GLOBAL bounds - >= -14671668 @ 1219.01
1236.68/1240.35 c GLOBAL bounds - >= -14671668 @ 1219.39
1237.07/1240.77 c GLOBAL bounds - >= -14671668 @ 1219.78
1237.58/1241.22 c GLOBAL bounds - >= -14671668 @ 1220.21
1237.98/1241.64 c GLOBAL bounds - >= -14671668 @ 1220.59
1238.38/1242.05 c GLOBAL bounds - >= -14671668 @ 1220.98
1276.37/1280.15 c #Conflicts: 32000 | #Constraints: 7913
1276.37/1280.15 c GLOBAL bounds - >= -14671668 @ 1258.81
1276.86/1280.69 c GLOBAL bounds - >= -14671668 @ 1259.32
1277.46/1281.21 c GLOBAL bounds - >= -14671668 @ 1259.82
1278.56/1282.32 c GLOBAL bounds - >= -14671668 @ 1260.9
1279.05/1282.87 c GLOBAL bounds - >= -14671668 @ 1261.42
1279.55/1283.34 c GLOBAL bounds - >= -14671668 @ 1261.86
1303.38/1307.22 c #Conflicts: 33000 | #Constraints: 8925
1303.38/1307.22 c INPROCESSING
1303.38/1307.22 c GARBAGE COLLECT
1303.38/1307.22 c GLOBAL bounds - >= -14671668 @ 1285.55
1303.68/1307.60 c GLOBAL bounds - >= -14671668 @ 1285.9
1304.08/1307.90 c GLOBAL bounds - >= -14671668 @ 1286.19
1305.08/1308.98 c GLOBAL bounds - >= -14671668 @ 1287.25
1306.08/1309.95 c GLOBAL bounds - >= -14671668 @ 1288.21
1306.88/1310.77 c GLOBAL bounds - >= -14671668 @ 1289.01
1307.38/1311.24 c GLOBAL bounds - >= -14671668 @ 1289.46
1307.57/1311.49 c GLOBAL bounds - >= -14671668 @ 1289.7
1307.87/1311.73 c GLOBAL bounds - >= -14671668 @ 1289.93
1312.76/1316.64 c GLOBAL bounds - >= -14671668 @ 1294.8
1319.34/1323.25 c GLOBAL bounds - >= -14671668 @ 1301.36
1324.52/1328.48 c GLOBAL bounds - >= -14671668 @ 1306.55
1324.92/1328.80 c GLOBAL bounds - >= -14671668 @ 1306.85
1325.42/1329.30 c GLOBAL bounds - >= -14671668 @ 1307.34
1326.32/1330.24 c GLOBAL bounds - >= -14671668 @ 1308.26
1369.29/1373.30 c #Conflicts: 34000 | #Constraints: 6141
1369.29/1373.30 c GLOBAL bounds - >= -14671668 @ 1351.1
1464.93/1469.27 c #Conflicts: 35000 | #Constraints: 7143
1464.93/1469.27 c #Conflicts: 36000 | #Constraints: 8143
1464.93/1469.27 c GLOBAL bounds - >= -14671668 @ 1446.65
1474.20/1478.57 c GLOBAL bounds - >= -14671668 @ 1455.89
1475.30/1479.60 c GLOBAL bounds - >= -14671668 @ 1456.9
1477.20/1481.53 c GLOBAL bounds - >= -14671668 @ 1458.8
1478.39/1482.75 c GLOBAL bounds - >= -14671668 @ 1460.01
1508.60/1513.07 c #Conflicts: 37000 | #Constraints: 9153
1508.60/1513.07 c GLOBAL bounds - >= -14671668 @ 1490.03
3531.71/3542.03 c INPROCESSING
3531.71/3542.03 c GARBAGE COLLECT
3531.71/3542.03 c #Conflicts: 38000 | #Constraints: 6161
3531.71/3542.03 c #Conflicts: 39000 | #Constraints: 7161
3531.71/3542.03 c #Conflicts: 40000 | #Constraints: 8161
3531.71/3542.03 c #Conflicts: 41000 | #Constraints: 9161
3531.71/3542.03 c INPROCESSING
3531.71/3542.03 c GARBAGE COLLECT
3531.71/3542.03 c #Conflicts: 42000 | #Constraints: 5963
3531.71/3542.03 c #Conflicts: 43000 | #Constraints: 6963
3531.71/3542.03 c #Conflicts: 44000 | #Constraints: 7963
3531.71/3542.03 c #Conflicts: 45000 | #Constraints: 8963
3531.71/3542.03 c #Conflicts: 46000 | #Constraints: 9963
3531.71/3542.03 c INPROCESSING
3531.71/3542.03 c GARBAGE COLLECT
3531.71/3542.03 c #Conflicts: 47000 | #Constraints: 6554
3531.71/3542.03 c #Conflicts: 48000 | #Constraints: 7554
3531.71/3542.03 c #Conflicts: 49000 | #Constraints: 8554
3531.71/3542.03 c #Conflicts: 50000 | #Constraints: 9554
3531.71/3542.03 c #Conflicts: 51000 | #Constraints: 10554
3531.71/3542.03 c INPROCESSING
3531.71/3542.03 c GARBAGE COLLECT
3531.71/3542.03 c #Conflicts: 52000 | #Constraints: 6970
3531.71/3542.03 c #Conflicts: 53000 | #Constraints: 7970
3531.71/3542.03 c #Conflicts: 54000 | #Constraints: 8970
3531.71/3542.03 c #Conflicts: 55000 | #Constraints: 9970
3531.71/3542.03 c #Conflicts: 56000 | #Constraints: 10970
3531.71/3542.03 c INPROCESSING
3531.71/3542.03 c GARBAGE COLLECT
3531.71/3542.03 c #Conflicts: 57000 | #Constraints: 7173
3531.71/3542.03 c #Conflicts: 58000 | #Constraints: 8173
3531.71/3542.03 c #Conflicts: 59000 | #Constraints: 9173
3531.71/3542.03 c #Conflicts: 60000 | #Constraints: 10173
3531.71/3542.03 c #Conflicts: 61000 | #Constraints: 11173
3531.71/3542.03 c INPROCESSING
3531.71/3542.03 c GARBAGE COLLECT
3531.71/3542.03 c #Conflicts: 62000 | #Constraints: 7181
3531.71/3542.03 c #Conflicts: 63000 | #Constraints: 8181
3531.71/3542.03 c #Conflicts: 64000 | #Constraints: 9181
3531.71/3542.03 c #Conflicts: 65000 | #Constraints: 10181
3531.71/3542.03 c #Conflicts: 66000 | #Constraints: 11181
3531.71/3542.03 c INPROCESSING
3531.71/3542.03 c GARBAGE COLLECT
3531.71/3542.03 c #Conflicts: 67000 | #Constraints: 7018
3531.71/3542.03 c #Conflicts: 68000 | #Constraints: 8018
3531.71/3542.03 c #Conflicts: 69000 | #Constraints: 9018
3531.71/3542.03 c #Conflicts: 70000 | #Constraints: 10018
3531.71/3542.03 c #Conflicts: 71000 | #Constraints: 11018
3531.71/3542.03 c #Conflicts: 72000 | #Constraints: 12018
3531.71/3542.03 c INPROCESSING
3531.71/3542.03 c GARBAGE COLLECT
3531.71/3542.03 c #Conflicts: 73000 | #Constraints: 7609
3531.71/3542.03 c #Conflicts: 74000 | #Constraints: 8609
3531.71/3542.03 c #Conflicts: 75000 | #Constraints: 9609
3531.71/3542.03 c #Conflicts: 76000 | #Constraints: 10609
3531.71/3542.03 c GLOBAL bounds - >= -14671668 @ 3506.81
3600.00/3610.50 c #Conflicts: 77000 | #Constraints: 11611
3600.00/3610.50 c #Conflicts: 78000 | #Constraints: 12611
3600.00/3610.50 c INPROCESSING
3600.00/3610.50 c GARBAGE COLLECT
3600.00/3610.50 c cpu time 3574.84 s
3600.00/3610.50 c deterministic time 126 1.26e+02
3600.00/3610.50 c optimization time 3574.66 s
3600.00/3610.50 c total solve time 0 s
3600.00/3610.50 c core-guided solve time 0 s
3600.00/3610.50 c propagation time 0.012892 s
3600.00/3610.50 c conflict analysis time 0 s
3600.00/3610.50 c propagations 125
3600.00/3610.50 c resolve steps 0
3600.00/3610.50 c decisions 0
3600.00/3610.50 c conflicts 0
3600.00/3610.50 c restarts 0
3600.00/3610.50 c inprocessing phases 0
3600.00/3610.50 c garbage collections 0 ,( -nan )
3600.00/3610.50 c input clauses 40395 ,( 98.65 )
3600.00/3610.50 c input cardinalities 553 ,( 1.35 )
3600.00/3610.50 c input general constraints 1 ,( 0.00 )
3600.00/3610.50 c input average constraint length 5.42
3600.00/3610.50 c input average constraint degree 5.67
3600.00/3610.50 c learned clauses 0 ,( 0.00 )
3600.00/3610.50 c learned cardinalities 0 ,( 0.00 )
3600.00/3610.50 c learned general constraints 0 ,( 0.00 )
3600.00/3610.50 c learned average constraint length 0.00
3600.00/3610.50 c learned average constraint degree 0.00
3600.00/3610.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.50 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.00/3610.50 c watched constraints 0 ,( 0.00 )
3600.00/3610.50 c counting constraints 1 ,( 100.00 )
3600.00/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3610.50 c gcd simplifications 0
3600.00/3610.50 c detected cardinalities 0
3600.00/3610.50 c weakened non-implied lits 0
3600.00/3610.50 c weakened non-implying lits 0
3600.00/3610.50 c original variables 40451
3600.00/3610.50 c clausal propagations 0
3600.00/3610.50 c cardinality propagations 0
3600.00/3610.50 c watched propagations 0
3600.00/3610.50 c counting propagations 0
3600.00/3610.50 c watch lookups 0
3600.00/3610.50 c watch backjump lookups 0
3600.00/3610.50 c watch checks 0
3600.00/3610.50 c propagation checks 0
3600.00/3610.50 c constraint additions 0
3600.00/3610.50 c trail pops 0
3600.00/3610.50 c formula constraints 40949
3600.00/3610.50 c learned constraints 0
3600.00/3610.50 c bound constraints 0
3600.00/3610.50 c core-guided constraints 0
3600.00/3610.50 c encountered formula constraints 0
3600.00/3610.50 c encountered learned constraints 0
3600.00/3610.50 c encountered bound constraints 0
3600.00/3610.50 c encountered core-guided constraints 0
3600.00/3610.50 c LP total time 0 s
3600.00/3610.50 c LP solve time 0 s
3600.00/3610.50 c LP constraints added 0
3600.00/3610.50 c LP constraints removed 0
3600.00/3610.50 c LP pivots internal 0
3600.00/3610.50 c LP pivots root 0
3600.00/3610.50 c LP calls 0
3600.00/3610.50 c LP optimalities 0
3600.00/3610.50 c LP no pivot count 0
3600.00/3610.50 c LP infeasibilities 0
3600.00/3610.50 c LP valid Farkas constraints 0
3600.00/3610.50 c LP learned Farkas constraints 0
3600.00/3610.50 c LP basis resets 0
3600.00/3610.50 c LP cycling count 0
3600.00/3610.50 c LP singular count 0
3600.00/3610.50 c LP no primal count 0
3600.00/3610.50 c LP no farkas count 0
3600.00/3610.50 c LP other issue count 0
3600.00/3610.50 c LP Gomory cuts 0
3600.00/3610.50 c LP learned cuts 0
3600.00/3610.50 c LP deleted cuts 0
3600.00/3610.50 c LP encountered Gomory constraints 0
3600.00/3610.50 c LP encountered Farkas constraints 0
3600.00/3610.50 c LP encountered learned Farkas constraints 0
3600.00/3610.50 c CG auxiliary variables introduced 0
3600.00/3610.50 c CG solutions found 0
3600.00/3610.50 c CG cores constructed 0
3600.00/3610.50 c CG core cardinality constraints returned 0
3600.00/3610.50 c CG unit cores 0
3600.00/3610.50 c CG single cores 0
3600.00/3610.50 c CG blocks removed during cardinality reduction 0
3600.00/3610.50 c CG first core best 0
3600.00/3610.50 c CG decision core best 0
3600.00/3610.50 c CG core reduction tie 0
3600.00/3610.50 c CG core degree average 0.00
3600.00/3610.50 c CG core slack average 0.00
3600.00/3610.50 c CG core upper bound improvements 0
3600.00/3610.50 c STR number of successful calls 0
3600.00/3610.50 c STR number of unsuccessful calls 0
3600.00/3610.50 c STR number of inconclusive calls 0
3600.00/3610.50 c STR number of successful attempts 0
3600.00/3610.50 c STR number of unsuccessful attempts 0
3600.00/3610.50 c STR number of inconclusive attempts 0
3600.00/3610.50 c STR average degree increase per successful call inf
3600.00/3610.50 c STR average degree increase per successful attempt inf
3600.00/3610.50 c STR total number of conflicts for successful attempts 0
3600.00/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.50 c STR average number of conflicts per successful attempt inf
3600.00/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.50 c AVG.sumWPerc 99.95
3600.00/3610.50 c bigint constraints 0
3600.00/3610.50 s UNKNOWN
3600.00/3610.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (53707 MiB free)
memory of node 1: 64507 MiB (47598 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505722-1751491995/watcher-4505722-1751491995 -o /tmp/evaluation-result-4505722-1751491995/solver-4505722-1751491995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69373 --watchdog 3760 run-opt.sh HOME/instance-4505722-1751491995.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=69850, runsolver pid=69847
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.16 4.11 5/269 69852
/proc/meminfo: memFree=103731936/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=66180 memory=20972 CPUtime=0.09 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 4174 0 0 0 7 2 0 0 20 0 1 0 64877162 67768320 5243 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 16545 5243 1888 1147 0 3972 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70372 KiB
Current children cumulated memory: 23916 KiB
[startup+0.205837 s]*
/proc/loadavg: 4.12 4.16 4.11 5/269 69852
/proc/meminfo: memFree=103704188/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=103280 memory=54832 CPUtime=0.19 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 9966 0 0 0 15 4 0 0 20 0 1 0 64877162 105758720 13708 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 25820 13708 2240 1147 0 13247 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 107472 KiB
Current children cumulated memory: 57776 KiB
[startup+0.305797 s]*
/proc/loadavg: 4.12 4.16 4.11 5/269 69852
/proc/meminfo: memFree=103681944/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=131012 memory=76212 CPUtime=0.29 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 12319 0 0 0 21 8 0 0 20 0 1 0 64877162 134156288 19053 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 32753 19053 2336 1147 0 20180 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 135204 KiB
Current children cumulated memory: 79156 KiB
[startup+0.700211 s]
/proc/loadavg: 4.12 4.16 4.11 5/269 69852
/proc/meminfo: memFree=103679928/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=131800 memory=76724 CPUtime=0.68 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 12438 0 0 0 40 28 0 0 20 0 1 0 64877162 134963200 19181 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 32950 19181 2336 1147 0 20377 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 135992 KiB
Current children cumulated memory: 79668 KiB
[startup+1.50019 s]
/proc/loadavg: 4.12 4.16 4.11 5/269 69852
/proc/meminfo: memFree=103679928/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=138876 memory=83332 CPUtime=1.47 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 13062 0 0 0 75 72 0 0 20 0 1 0 64877162 142209024 20833 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 34719 20833 2336 1147 0 22146 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 143068 KiB
Current children cumulated memory: 86276 KiB
[startup+3.10564 s]
/proc/loadavg: 4.12 4.16 4.11 5/269 69852
/proc/meminfo: memFree=103651000/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=169044 memory=108692 CPUtime=3.08 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 13774 0 0 0 176 132 0 0 20 0 1 0 64877162 173101056 27173 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 42261 27173 2336 1147 0 29688 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 173236 KiB
Current children cumulated memory: 111636 KiB
[startup+6.30019 s]
/proc/loadavg: 4.19 4.17 4.11 5/269 69852
/proc/meminfo: memFree=103614152/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=204356 memory=140220 CPUtime=6.27 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 16051 0 0 0 414 213 0 0 20 0 1 0 64877162 209260544 35055 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 51089 35055 2336 1147 0 38516 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 208548 KiB
Current children cumulated memory: 143164 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.17 4.11 5/269 69852
/proc/meminfo: memFree=103464508/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=346460 memory=269248 CPUtime=12.65 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 32470 0 0 0 1027 238 0 0 20 0 1 0 64877162 354775040 67312 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 86615 67312 2336 1147 0 74042 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 350652 KiB
Current children cumulated memory: 272192 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.18 4.11 5/269 69852
/proc/meminfo: memFree=103282236/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=473268 memory=411508 CPUtime=25.41 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 44537 0 0 0 2261 280 0 0 20 0 1 0 64877162 484626432 102877 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 118317 102877 2336 1147 0 105744 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 477460 KiB
Current children cumulated memory: 414452 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.16 4.11 5/269 69852
/proc/meminfo: memFree=102510992/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=1272956 memory=975456 CPUtime=50.94 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 147702 0 0 0 4717 377 0 0 20 0 1 0 64877162 1303506944 243864 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 318239 243864 2336 1147 0 305666 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1277148 KiB
Current children cumulated memory: 978400 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.15 4.10 5/269 69855
/proc/meminfo: memFree=101956432/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=1668632 memory=1458332 CPUtime=102 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 246001 0 0 0 9690 510 0 0 20 0 1 0 64877162 1708679168 364583 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 417158 364583 2336 1147 0 404585 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1672824 KiB
Current children cumulated memory: 1461276 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/268 69857
/proc/meminfo: memFree=101169676/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=2782744 memory=2236988 CPUtime=161.82 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 377319 0 0 0 15517 665 0 0 20 0 1 0 64877162 2849529856 559247 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 695686 559247 2336 1147 0 683113 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2786936 KiB
Current children cumulated memory: 2239932 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/269 69864
/proc/meminfo: memFree=100906428/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=2907896 memory=2453736 CPUtime=221.65 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 429122 0 0 0 21406 759 0 0 20 0 1 0 64877162 2977685504 613434 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 726974 613434 2336 1147 0 714401 0
Current children cumulated CPU time: 221.65 s
################
# More data... #
################
/proc/69852/statm: 1837866 1753395 2336 1147 0 1825293 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 7355656 KiB
Current children cumulated memory: 7016524 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 70170
/proc/meminfo: memFree=95006432/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=7351464 memory=7013580 CPUtime=3153.09 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 1176182 0 0 0 312928 2381 0 0 20 0 1 0 64877162 7527899136 1753395 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 1837866 1753395 2336 1147 0 1825293 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 7355656 KiB
Current children cumulated memory: 7016524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.47 4.18 4.12 5/267 70172
/proc/meminfo: memFree=94953760/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=7351464 memory=7013580 CPUtime=3212.92 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 1176603 0 0 0 318904 2388 0 0 20 0 1 0 64877162 7527899136 1753395 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 1837866 1753395 2336 1147 0 1825293 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 7355656 KiB
Current children cumulated memory: 7016524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/269 70180
/proc/meminfo: memFree=94898736/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=7357384 memory=7054016 CPUtime=3272.75 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 1177873 0 0 0 324865 2410 0 0 20 0 1 0 64877162 7533961216 1763504 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 1839346 1763504 2336 1147 0 1826773 0
Current children cumulated CPU time: 3272.75 s
Current children cumulated vsize: 7361576 KiB
Current children cumulated memory: 7056960 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/269 70182
/proc/meminfo: memFree=94781156/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=7357384 memory=7054016 CPUtime=3332.58 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 1178200 0 0 0 330821 2437 0 0 20 0 1 0 64877162 7533961216 1763504 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 1839346 1763504 2336 1147 0 1826773 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 7361576 KiB
Current children cumulated memory: 7056960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/269 70184
/proc/meminfo: memFree=94743800/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=7357384 memory=7054016 CPUtime=3392.4 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 1178654 0 0 0 336792 2448 0 0 20 0 1 0 64877162 7533961216 1763504 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 1839346 1763504 2336 1147 0 1826773 0
Current children cumulated CPU time: 3392.4 s
Current children cumulated vsize: 7361576 KiB
Current children cumulated memory: 7056960 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 70188
/proc/meminfo: memFree=94528276/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=7359944 memory=7055296 CPUtime=3452.23 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 1179541 0 0 0 342754 2469 0 0 20 0 1 0 64877162 7536582656 1763824 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 1839986 1763824 2336 1147 0 1827413 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 7364136 KiB
Current children cumulated memory: 7058240 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/269 70190
/proc/meminfo: memFree=94436792/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=7359944 memory=7055296 CPUtime=3512.06 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 1180160 0 0 0 348719 2487 0 0 20 0 1 0 64877162 7536582656 1763824 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 1839986 1763824 2336 1147 0 1827413 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 7364136 KiB
Current children cumulated memory: 7058240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/267 70194
/proc/meminfo: memFree=94055612/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=7369420 memory=7060800 CPUtime=3571.89 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 1182301 0 0 0 354679 2510 0 0 20 0 1 0 64877162 7546286080 1765200 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 1842355 1765200 2336 1147 0 1829782 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 7373612 KiB
Current children cumulated memory: 7063744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 70194
/proc/meminfo: memFree=94023096/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=7369676 memory=7085776 CPUtime=3600 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 1182384 0 0 0 357484 2516 0 0 20 0 1 0 64877162 7546548224 1771444 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 1842419 1771444 2336 1147 0 1829846 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 7373868 KiB
Current children cumulated memory: 7088720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 69850 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002299 s
[startup+3610.61 s]
# the end of solver process 69852 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.86 s, system=25.2577 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+3610.5 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 70194
/proc/meminfo: memFree=94023096/131249996 swapFree=33010160/33010684
[pid=69850] ppid=69847 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69850/stat : 69850 (run-opt.sh) S 69847 69850 69363 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 64877161 4292608 736 18446744073709551615 94466385543168 94466386437701 140735959032768 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94466386676752 94466386724496 94466411687936 140735959034221 140735959034344 140735959034344 140735959039946 0
/proc/69850/statm: 1048 736 672 219 0 110 0
[pid=69852] ppid=69850 vsize=7369676 memory=7085776 CPUtime=3600 cores=0,2
/proc/69852/stat : 69852 (roundingsat) R 69850 69850 69363 0 -1 4194304 1182384 0 0 0 357484 2516 0 0 20 0 1 0 64877162 7546548224 1771444 18446744073709551615 4227072 8923433 140732123553168 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42438656 140732123556258 140732123556392 140732123556392 140732123561962 0
/proc/69852/statm: 1842419 1771444 2336 1147 0 1829846 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 7373868 KiB
Current children cumulated memory: 7088720 KiB
Child status: 2
Real time (s): 3610.61
CPU time (s): 3600.12
CPU user time (s): 3574.86
CPU system time (s): 25.2577
CPU usage (%): 99.7096
Max. virtual memory (cumulated for all children) (KiB): 7373868
Max. memory (cumulated for all children) (KiB): 7088720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.86
system time used= 25.2577
maximum resident set size= 7086160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1182624
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 229
involuntary context switches= 4705
# summary of solver processes directly reported to runsolver:
# pid: 69850,69852
# total CPU time (s): 3600.12
# total CPU user time (s): 3574.86
# total CPU system time (s): 25.2577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15154 second user time and 16.7446 second system time
The end
Begin job on nodeC021 at 2025-07-02 23:33:15
IDJOB=4505722
IDBENCH=156875
IDSOLVER=3350
FILE ID=nodeC021/4505722-1751491995
RUNJOBID= nodeC021-1751488380-69373
SLURM_JOB_ID= 9598545
Free space on /tmp= 430964 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505722-1751491995/watcher-4505722-1751491995 -o /tmp/evaluation-result-4505722-1751491995/solver-4505722-1751491995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69373 --watchdog 3760 run-opt.sh HOME/instance-4505722-1751491995.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b261ca8837cd3a85e5e1f3e7a937d60a
RANDOM SEED=1188597885
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.753
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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.791
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3710.609
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3659.698
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.767
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3575.356
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 103737228 kB
MemAvailable: 107486556 kB
Buffers: 2128 kB
Cached: 4487548 kB
SwapCached: 20 kB
Active: 22658612 kB
Inactive: 4008812 kB
Active(anon): 22184864 kB
Inactive(anon): 10924 kB
Active(file): 473748 kB
Inactive(file): 3997888 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10092 kB
Writeback: 0 kB
AnonPages: 22179820 kB
Mapped: 116472 kB
Shmem: 18040 kB
KReclaimable: 233464 kB
Slab: 325236 kB
SReclaimable: 233464 kB
SUnreclaim: 91772 kB
KernelStack: 4304 kB
PageTables: 52660 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 27163640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6301696 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430996 MiB
End job on nodeC021 at 2025-07-03 00:33:25