0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.36/0.48 c #variables 83285 #constraints 615
0.36/0.48 c objective is ce32
0.55/0.63 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.55/0.63 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.55/0.63 c GLOBAL bounds - >= -9389109 @ 0.511893
0.83/0.91 c GLOBAL bounds - >= -9389109 @ 0.656418
1.05/1.13 c GLOBAL bounds - >= -9389109 @ 0.783244
1.24/1.34 c GLOBAL bounds - >= -9389109 @ 0.903702
1.44/1.58 c GLOBAL bounds - >= -9389109 @ 1.08431
1.64/1.76 c GLOBAL bounds - >= -9389109 @ 1.19995
1.83/1.91 c GLOBAL bounds - >= -9389109 @ 1.29163
1.95/2.09 c GLOBAL bounds - >= -9389109 @ 1.42229
2.13/2.24 c GLOBAL bounds - >= -9389109 @ 1.50714
2.24/2.38 c GLOBAL bounds - >= -9389109 @ 1.58819
2.43/2.52 c GLOBAL bounds - >= -9389109 @ 1.67159
2.63/2.75 c GLOBAL bounds - >= -9389109 @ 1.84198
2.73/2.88 c GLOBAL bounds - >= -9389109 @ 1.92276
2.95/3.01 c GLOBAL bounds - >= -9389109 @ 2.00982
3.04/3.19 c GLOBAL bounds - >= -9389109 @ 2.13481
3.24/3.32 c GLOBAL bounds - >= -9389109 @ 2.22204
3.33/3.45 c GLOBAL bounds - >= -9389109 @ 2.29979
3.54/3.66 c GLOBAL bounds - >= -9389109 @ 2.46922
3.64/3.78 c GLOBAL bounds - >= -9389109 @ 2.55176
3.83/3.90 c GLOBAL bounds - >= -9389109 @ 2.6344
4.22/4.32 c GLOBAL bounds - >= -9389109 @ 2.99874
4.33/4.49 c GLOBAL bounds - >= -9389109 @ 3.12225
4.53/4.61 c GLOBAL bounds - >= -9389109 @ 3.20952
4.63/4.73 c GLOBAL bounds - >= -9389109 @ 3.2859
4.72/4.85 c GLOBAL bounds - >= -9389109 @ 3.36175
5.32/5.46 c GLOBAL bounds - >= -9389109 @ 3.93782
5.43/5.59 c GLOBAL bounds - >= -9389109 @ 4.02095
5.63/5.76 c GLOBAL bounds - >= -9389109 @ 4.15625
5.73/5.88 c GLOBAL bounds - >= -9389109 @ 4.23403
5.82/6.00 c GLOBAL bounds - >= -9389109 @ 4.3142
6.04/6.12 c GLOBAL bounds - >= -9389109 @ 4.38795
6.22/6.34 c GLOBAL bounds - >= -9389109 @ 4.5631
6.43/6.51 c GLOBAL bounds - >= -9389109 @ 4.68733
6.62/6.77 c GLOBAL bounds - >= -9389109 @ 4.91842
6.82/6.90 c GLOBAL bounds - >= -9389109 @ 5.00617
6.94/7.07 c GLOBAL bounds - >= -9389109 @ 5.12736
7.32/7.40 c GLOBAL bounds - >= -9389109 @ 5.41508
7.53/7.63 c GLOBAL bounds - >= -9389109 @ 5.59567
7.62/7.76 c GLOBAL bounds - >= -9389109 @ 5.68226
7.82/7.99 c GLOBAL bounds - >= -9389109 @ 5.86925
8.03/8.11 c GLOBAL bounds - >= -9389109 @ 5.95594
8.22/8.34 c GLOBAL bounds - >= -9389109 @ 6.13526
8.42/8.58 c GLOBAL bounds - >= -9389109 @ 6.33852
8.62/8.71 c GLOBAL bounds - >= -9389109 @ 6.42643
8.82/8.95 c GLOBAL bounds - >= -9389109 @ 6.61496
9.03/9.14 c GLOBAL bounds - >= -9389109 @ 6.74358
9.62/9.77 c GLOBAL bounds - >= -9389109 @ 7.32577
9.81/9.91 c GLOBAL bounds - >= -9389109 @ 7.42706
10.03/10.16 c GLOBAL bounds - >= -9389109 @ 7.62794
10.21/10.30 c GLOBAL bounds - >= -9389109 @ 7.72518
10.52/10.62 c GLOBAL bounds - >= -9389109 @ 7.99899
10.72/10.81 c GLOBAL bounds - >= -9389109 @ 8.1495
10.82/10.95 c GLOBAL bounds - >= -9389109 @ 8.2447
12.11/12.20 c GLOBAL bounds - >= -9389109 @ 9.45043
12.21/12.34 c GLOBAL bounds - >= -9389109 @ 9.55731
13.31/13.43 c GLOBAL bounds - >= -9389109 @ 10.6073
13.61/13.71 c GLOBAL bounds - >= -9389109 @ 10.8144
13.92/14.04 c GLOBAL bounds - >= -9389109 @ 11.1082
14.01/14.19 c GLOBAL bounds - >= -9389109 @ 11.2123
14.31/14.47 c GLOBAL bounds - >= -9389109 @ 11.4447
14.51/14.61 c GLOBAL bounds - >= -9389109 @ 11.5528
14.70/14.84 c GLOBAL bounds - >= -9389109 @ 11.7436
14.91/15.08 c GLOBAL bounds - >= -9389109 @ 11.9475
15.10/15.23 c GLOBAL bounds - >= -9389109 @ 12.0523
15.30/15.42 c GLOBAL bounds - >= -9389109 @ 12.2024
15.50/15.61 c GLOBAL bounds - >= -9389109 @ 12.3686
15.70/15.85 c GLOBAL bounds - >= -9389109 @ 12.5754
15.80/16.00 c GLOBAL bounds - >= -9389109 @ 12.68
16.02/16.19 c GLOBAL bounds - >= -9389109 @ 12.8322
16.30/16.45 c GLOBAL bounds - >= -9389109 @ 13.0525
17.40/17.57 c GLOBAL bounds - >= -9389109 @ 14.1321
17.59/17.72 c GLOBAL bounds - >= -9389109 @ 14.2392
17.79/17.97 c GLOBAL bounds - >= -9389109 @ 14.4594
18.01/18.12 c GLOBAL bounds - >= -9389109 @ 14.5729
18.39/18.53 c GLOBAL bounds - >= -9389109 @ 14.9443
18.50/18.68 c GLOBAL bounds - >= -9389109 @ 15.0594
18.70/18.86 c GLOBAL bounds - >= -9389109 @ 15.2126
18.91/19.01 c GLOBAL bounds - >= -9389109 @ 15.3232
19.01/19.20 c GLOBAL bounds - >= -9389109 @ 15.4753
19.19/19.39 c GLOBAL bounds - >= -9389109 @ 15.6366
19.39/19.53 c GLOBAL bounds - >= -9389109 @ 15.7463
19.59/19.76 c GLOBAL bounds - >= -9389109 @ 15.9476
19.79/19.96 c GLOBAL bounds - >= -9389109 @ 16.1116
20.01/20.16 c GLOBAL bounds - >= -9389109 @ 16.2792
20.19/20.31 c GLOBAL bounds - >= -9389109 @ 16.4047
20.49/20.66 c GLOBAL bounds - >= -9389109 @ 16.7187
20.69/20.81 c GLOBAL bounds - >= -9389109 @ 16.8342
20.79/20.99 c GLOBAL bounds - >= -9389109 @ 16.9878
21.00/21.18 c GLOBAL bounds - >= -9389109 @ 17.1478
21.19/21.33 c GLOBAL bounds - >= -9389109 @ 17.2629
21.49/21.63 c GLOBAL bounds - >= -9389109 @ 17.5283
21.59/21.78 c GLOBAL bounds - >= -9389109 @ 17.649
21.90/22.06 c GLOBAL bounds - >= -9389109 @ 17.8986
22.09/22.20 c GLOBAL bounds - >= -9389109 @ 18.0145
22.19/22.34 c GLOBAL bounds - >= -9389109 @ 18.1159
22.69/22.82 c GLOBAL bounds - >= -9389109 @ 18.5686
22.78/22.97 c GLOBAL bounds - >= -9389109 @ 18.6879
23.08/23.28 c GLOBAL bounds - >= -9389109 @ 18.9638
23.28/23.43 c GLOBAL bounds - >= -9389109 @ 19.0778
23.38/23.56 c GLOBAL bounds - >= -9389109 @ 19.1851
23.58/23.74 c GLOBAL bounds - >= -9389109 @ 19.347
23.68/23.88 c GLOBAL bounds - >= -9389109 @ 19.4591
24.28/24.46 c GLOBAL bounds - >= -9389109 @ 20.0028
24.48/24.61 c GLOBAL bounds - >= -9389109 @ 20.1164
24.58/24.79 c GLOBAL bounds - >= -9389109 @ 20.2747
24.78/24.97 c GLOBAL bounds - >= -9389109 @ 20.4375
25.08/25.21 c GLOBAL bounds - >= -9389109 @ 20.6481
25.17/25.36 c GLOBAL bounds - >= -9389109 @ 20.7653
25.38/25.54 c GLOBAL bounds - >= -9389109 @ 20.915
25.58/25.73 c GLOBAL bounds - >= -9389109 @ 21.0775
25.88/26.04 c GLOBAL bounds - >= -9389109 @ 21.3698
25.99/26.19 c GLOBAL bounds - >= -9389109 @ 21.4843
26.17/26.32 c GLOBAL bounds - >= -9389109 @ 21.5837
26.38/26.54 c GLOBAL bounds - >= -9389109 @ 21.7793
26.57/26.74 c GLOBAL bounds - >= -9389109 @ 21.9502
26.67/26.87 c GLOBAL bounds - >= -9389109 @ 22.0561
26.89/27.10 c GLOBAL bounds - >= -9389109 @ 22.2558
27.08/27.24 c GLOBAL bounds - >= -9389109 @ 22.3672
27.27/27.46 c GLOBAL bounds - >= -9389109 @ 22.5583
27.47/27.61 c GLOBAL bounds - >= -9389109 @ 22.6688
27.57/27.74 c GLOBAL bounds - >= -9389109 @ 22.7692
27.67/27.87 c GLOBAL bounds - >= -9389109 @ 22.8684
27.88/28.05 c GLOBAL bounds - >= -9389109 @ 23.0195
27.98/28.19 c GLOBAL bounds - >= -9389109 @ 23.1385
28.17/28.37 c GLOBAL bounds - >= -9389109 @ 23.2822
28.37/28.51 c GLOBAL bounds - >= -9389109 @ 23.4004
28.47/28.64 c GLOBAL bounds - >= -9389109 @ 23.5031
28.57/28.77 c GLOBAL bounds - >= -9389109 @ 23.5974
28.77/28.95 c GLOBAL bounds - >= -9389109 @ 23.7572
28.88/29.10 c GLOBAL bounds - >= -9389109 @ 23.8778
29.47/29.62 c GLOBAL bounds - >= -9389109 @ 24.3589
29.98/30.15 c GLOBAL bounds - >= -9389109 @ 24.8714
30.07/30.30 c GLOBAL bounds - >= -9389109 @ 24.9914
30.27/30.48 c GLOBAL bounds - >= -9389109 @ 25.1486
30.46/30.64 c GLOBAL bounds - >= -9389109 @ 25.282
31.06/31.26 c GLOBAL bounds - >= -9389109 @ 25.8644
31.36/31.52 c GLOBAL bounds - >= -9389109 @ 26.0839
31.66/31.89 c GLOBAL bounds - >= -9389109 @ 26.4209
31.87/32.11 c GLOBAL bounds - >= -9389109 @ 26.6009
32.16/32.30 c GLOBAL bounds - >= -9389109 @ 26.7547
32.36/32.50 c GLOBAL bounds - >= -9389109 @ 26.9093
32.65/32.80 c GLOBAL bounds - >= -9389109 @ 27.1826
32.76/32.98 c GLOBAL bounds - >= -9389109 @ 27.3213
32.97/33.18 c GLOBAL bounds - >= -9389109 @ 27.4813
33.16/33.34 c GLOBAL bounds - >= -9389109 @ 27.6189
33.26/33.49 c GLOBAL bounds - >= -9389109 @ 27.7291
33.46/33.69 c GLOBAL bounds - >= -9389109 @ 27.8947
33.66/33.85 c GLOBAL bounds - >= -9389109 @ 28.0219
33.87/34.09 c GLOBAL bounds - >= -9389109 @ 28.2286
34.06/34.25 c GLOBAL bounds - >= -9389109 @ 28.3638
34.25/34.40 c GLOBAL bounds - >= -9389109 @ 28.4733
34.35/34.59 c GLOBAL bounds - >= -9389109 @ 28.6361
34.75/34.96 c GLOBAL bounds - >= -9389109 @ 28.9716
35.05/35.22 c GLOBAL bounds - >= -9389109 @ 29.2056
35.35/35.55 c GLOBAL bounds - >= -9389109 @ 29.4992
35.65/35.82 c GLOBAL bounds - >= -9389109 @ 29.7376
35.86/36.05 c GLOBAL bounds - >= -9389109 @ 29.9334
36.05/36.27 c GLOBAL bounds - >= -9389109 @ 30.1165
36.25/36.43 c GLOBAL bounds - >= -9389109 @ 30.2454
36.44/36.62 c GLOBAL bounds - >= -9389109 @ 30.406
36.64/36.82 c GLOBAL bounds - >= -9389109 @ 30.5773
36.75/36.98 c GLOBAL bounds - >= -9389109 @ 30.7089
36.96/37.12 c GLOBAL bounds - >= -9389109 @ 30.8205
37.14/37.37 c GLOBAL bounds - >= -9389109 @ 31.0356
37.34/37.58 c GLOBAL bounds - >= -9389109 @ 31.2186
37.55/37.78 c GLOBAL bounds - >= -9389109 @ 31.3867
37.74/38.00 c GLOBAL bounds - >= -9389109 @ 31.5702
37.96/38.16 c GLOBAL bounds - >= -9389109 @ 31.7071
38.14/38.36 c GLOBAL bounds - >= -9389109 @ 31.8756
38.34/38.52 c GLOBAL bounds - >= -9389109 @ 31.9959
38.45/38.67 c GLOBAL bounds - >= -9389109 @ 32.118
38.64/38.87 c GLOBAL bounds - >= -9389109 @ 32.2872
38.85/39.04 c GLOBAL bounds - >= -9389109 @ 32.4288
38.95/39.18 c GLOBAL bounds - >= -9389109 @ 32.544
39.44/39.64 c GLOBAL bounds - >= -9389109 @ 32.9698
39.95/40.18 c GLOBAL bounds - >= -9389109 @ 33.4757
40.24/40.46 c GLOBAL bounds - >= -9389109 @ 33.7203
40.44/40.67 c GLOBAL bounds - >= -9389109 @ 33.9042
40.64/40.83 c GLOBAL bounds - >= -9389109 @ 34.0315
40.94/41.17 c GLOBAL bounds - >= -9389109 @ 34.3473
41.13/41.34 c GLOBAL bounds - >= -9389109 @ 34.4877
41.24/41.49 c GLOBAL bounds - >= -9389109 @ 34.6016
41.53/41.75 c GLOBAL bounds - >= -9389109 @ 34.8266
41.84/42.06 c GLOBAL bounds - >= -9389109 @ 35.1114
42.03/42.24 c GLOBAL bounds - >= -9389109 @ 35.2695
42.34/42.50 c GLOBAL bounds - >= -9389109 @ 35.4892
42.43/42.67 c GLOBAL bounds - >= -9389109 @ 35.6359
42.63/42.82 c GLOBAL bounds - >= -9389109 @ 35.7633
42.84/43.08 c GLOBAL bounds - >= -9389109 @ 35.9854
43.03/43.25 c GLOBAL bounds - >= -9389109 @ 36.1357
43.23/43.45 c GLOBAL bounds - >= -9389109 @ 36.2996
43.43/43.63 c GLOBAL bounds - >= -9389109 @ 36.4476
43.63/43.83 c GLOBAL bounds - >= -9389109 @ 36.6195
43.72/44.00 c GLOBAL bounds - >= -9389109 @ 36.7623
44.03/44.21 c GLOBAL bounds - >= -9389109 @ 36.9336
44.43/44.62 c GLOBAL bounds - >= -9389109 @ 37.3121
44.84/45.09 c GLOBAL bounds - >= -9389109 @ 37.735
45.32/45.58 c GLOBAL bounds - >= -9389109 @ 38.1456
45.62/45.86 c GLOBAL bounds - >= -9389109 @ 38.395
45.84/46.09 c GLOBAL bounds - >= -9389109 @ 38.589
46.02/46.27 c GLOBAL bounds - >= -9389109 @ 38.7362
46.22/46.49 c GLOBAL bounds - >= -9389109 @ 38.9233
46.52/46.76 c GLOBAL bounds - >= -9389109 @ 39.1564
46.72/46.96 c GLOBAL bounds - >= -9389109 @ 39.3084
46.93/47.13 c GLOBAL bounds - >= -9389109 @ 39.4399
47.12/47.39 c GLOBAL bounds - >= -9389109 @ 39.67
47.42/47.63 c GLOBAL bounds - >= -9389109 @ 39.8703
47.62/47.82 c GLOBAL bounds - >= -9389109 @ 40.0315
47.83/48.09 c GLOBAL bounds - >= -9389109 @ 40.2627
48.02/48.28 c GLOBAL bounds - >= -9389109 @ 40.4229
48.21/48.45 c GLOBAL bounds - >= -9389109 @ 40.5553
48.42/48.67 c GLOBAL bounds - >= -9389109 @ 40.7388
48.72/48.90 c GLOBAL bounds - >= -9389109 @ 40.9437
48.83/49.10 c GLOBAL bounds - >= -9389109 @ 41.1058
49.02/49.27 c GLOBAL bounds - >= -9389109 @ 41.235
49.22/49.43 c GLOBAL bounds - >= -9389109 @ 41.3725
49.41/49.69 c GLOBAL bounds - >= -9389109 @ 41.5943
49.61/49.89 c GLOBAL bounds - >= -9389109 @ 41.7582
50.02/50.21 c GLOBAL bounds - >= -9389109 @ 42.0436
50.31/50.52 c GLOBAL bounds - >= -9389109 @ 42.3163
50.71/50.94 c GLOBAL bounds - >= -9389109 @ 42.7001
50.93/51.14 c GLOBAL bounds - >= -9389109 @ 42.8666
51.11/51.36 c GLOBAL bounds - >= -9389109 @ 43.0509
51.92/52.13 c GLOBAL bounds - >= -9389109 @ 43.7821
52.10/52.34 c GLOBAL bounds - >= -9389109 @ 43.9677
52.70/52.91 c GLOBAL bounds - >= -9389109 @ 44.4928
56.30/56.55 c GLOBAL bounds - >= -9389109 @ 48.0709
57.39/57.66 c GLOBAL bounds - >= -9389109 @ 49.1011
57.69/57.90 c GLOBAL bounds - >= -9389109 @ 49.3054
57.80/58.08 c GLOBAL bounds - >= -9389109 @ 49.459
58.99/59.27 c GLOBAL bounds - >= -9389109 @ 50.6063
59.29/59.52 c GLOBAL bounds - >= -9389109 @ 50.82
60.58/60.89 c GLOBAL bounds - >= -9389109 @ 52.1614
60.90/61.19 c GLOBAL bounds - >= -9389109 @ 52.4272
61.18/61.41 c GLOBAL bounds - >= -9389109 @ 52.6147
61.38/61.64 c GLOBAL bounds - >= -9389109 @ 52.8135
61.58/61.85 c GLOBAL bounds - >= -9389109 @ 52.9892
62.07/62.33 c GLOBAL bounds - >= -9389109 @ 53.4349
62.28/62.57 c GLOBAL bounds - >= -9389109 @ 53.6384
62.47/62.76 c GLOBAL bounds - >= -9389109 @ 53.7938
62.67/62.99 c GLOBAL bounds - >= -9389109 @ 53.9961
62.97/63.26 c GLOBAL bounds - >= -9389109 @ 54.2273
63.27/63.51 c GLOBAL bounds - >= -9389109 @ 54.4349
63.58/63.86 c GLOBAL bounds - >= -9389109 @ 54.7427
63.78/64.10 c GLOBAL bounds - >= -9389109 @ 54.9515
63.98/64.29 c GLOBAL bounds - >= -9389109 @ 55.1098
64.17/64.48 c GLOBAL bounds - >= -9389109 @ 55.2654
64.38/64.67 c GLOBAL bounds - >= -9389109 @ 55.4212
64.57/64.86 c GLOBAL bounds - >= -9389109 @ 55.5759
64.78/65.05 c GLOBAL bounds - >= -9389109 @ 55.7388
65.57/65.87 c GLOBAL bounds - >= -9389109 @ 56.5166
65.97/66.22 c GLOBAL bounds - >= -9389109 @ 56.8356
66.16/66.47 c GLOBAL bounds - >= -9389109 @ 57.0392
66.56/66.86 c GLOBAL bounds - >= -9389109 @ 57.4106
66.78/67.11 c GLOBAL bounds - >= -9389109 @ 57.6229
67.78/68.07 c GLOBAL bounds - >= -9389109 @ 58.5504
68.16/68.45 c GLOBAL bounds - >= -9389109 @ 58.8865
68.56/68.81 c GLOBAL bounds - >= -9389109 @ 59.2067
68.96/69.22 c GLOBAL bounds - >= -9389109 @ 59.5836
70.87/71.13 c GLOBAL bounds - >= -9389109 @ 61.4224
71.15/71.48 c GLOBAL bounds - >= -9389109 @ 61.7304
71.45/71.74 c GLOBAL bounds - >= -9389109 @ 61.9528
71.77/72.05 c GLOBAL bounds - >= -9389109 @ 62.2279
72.25/72.51 c GLOBAL bounds - >= -9389109 @ 62.6539
72.55/72.89 c GLOBAL bounds - >= -9389109 @ 63.0044
72.95/73.29 c GLOBAL bounds - >= -9389109 @ 63.3735
73.76/74.01 c GLOBAL bounds - >= -9389109 @ 64.0421
74.14/74.46 c GLOBAL bounds - >= -9389109 @ 64.4334
74.44/74.71 c GLOBAL bounds - >= -9389109 @ 64.6527
74.75/75.09 c GLOBAL bounds - >= -9389109 @ 64.9769
75.25/75.57 c GLOBAL bounds - >= -9389109 @ 65.4054
75.65/75.99 c GLOBAL bounds - >= -9389109 @ 65.7864
75.94/76.28 c GLOBAL bounds - >= -9389109 @ 66.0427
76.34/76.64 c GLOBAL bounds - >= -9389109 @ 66.3655
76.64/76.93 c GLOBAL bounds - >= -9389109 @ 66.6178
76.93/77.21 c GLOBAL bounds - >= -9389109 @ 66.8627
77.14/77.45 c GLOBAL bounds - >= -9389109 @ 67.0578
77.85/78.16 c GLOBAL bounds - >= -9389109 @ 67.7268
78.33/78.62 c GLOBAL bounds - >= -9389109 @ 68.1436
79.53/79.84 c GLOBAL bounds - >= -9389109 @ 69.313
79.84/80.14 c GLOBAL bounds - >= -9389109 @ 69.5721
80.43/80.78 c GLOBAL bounds - >= -9389109 @ 70.1635
81.03/81.38 c GLOBAL bounds - >= -9389109 @ 70.7135
81.43/81.75 c GLOBAL bounds - >= -9389109 @ 71.0531
81.84/82.13 c GLOBAL bounds - >= -9389109 @ 71.3913
82.12/82.42 c GLOBAL bounds - >= -9389109 @ 71.6384
82.43/82.70 c GLOBAL bounds - >= -9389109 @ 71.8723
82.74/83.10 c GLOBAL bounds - >= -9389109 @ 72.2272
83.32/83.66 c GLOBAL bounds - >= -9389109 @ 72.7311
83.62/83.96 c GLOBAL bounds - >= -9389109 @ 72.991
83.83/84.19 c GLOBAL bounds - >= -9389109 @ 73.1833
84.21/84.52 c GLOBAL bounds - >= -9389109 @ 73.4643
84.62/85.00 c GLOBAL bounds - >= -9389109 @ 73.9099
84.91/85.28 c GLOBAL bounds - >= -9389109 @ 74.1584
85.32/85.67 c GLOBAL bounds - >= -9389109 @ 74.4988
105.47/105.87 c GLOBAL bounds - >= -9389109 @ 94.5185
105.86/106.27 c GLOBAL bounds - >= -9389109 @ 94.8644
110.55/110.98 c GLOBAL bounds - >= -9389109 @ 99.5071
350.89/351.91 c #Conflicts: 1000 | #Constraints: 2207
350.89/351.91 c #Conflicts: 2000 | #Constraints: 3207
350.89/351.91 c INPROCESSING
350.89/351.91 c GARBAGE COLLECT
350.89/351.91 c GLOBAL bounds - >= -9389109 @ 338.924
416.21/417.41 c #Conflicts: 3000 | #Constraints: 3220
416.21/417.41 c GLOBAL bounds - >= -9389109 @ 404.035
417.40/418.60 c GLOBAL bounds - >= -9389109 @ 405.163
418.30/419.58 c GLOBAL bounds - >= -9389109 @ 406.09
437.86/439.13 c GLOBAL bounds - >= -9389109 @ 425.46
482.52/484.01 c GLOBAL bounds - >= -9389109 @ 470.07
512.33/513.83 c GLOBAL bounds - >= -9389109 @ 499.619
513.93/515.49 c GLOBAL bounds - >= -9389109 @ 501.238
516.22/517.74 c GLOBAL bounds - >= -9389109 @ 503.429
522.81/524.32 c GLOBAL bounds - >= -9389109 @ 509.941
527.29/528.86 c GLOBAL bounds - >= -9389109 @ 514.38
529.60/531.18 c GLOBAL bounds - >= -9389109 @ 516.632
532.07/533.60 c GLOBAL bounds - >= -9389109 @ 518.987
540.86/542.49 c GLOBAL bounds - >= -9389109 @ 527.796
770.31/772.53 c #Conflicts: 4000 | #Constraints: 4246
770.31/772.53 c INPROCESSING
770.31/772.53 c GARBAGE COLLECT
770.31/772.53 c #Conflicts: 5000 | #Constraints: 3648
770.31/772.53 c GLOBAL bounds - >= -9389109 @ 756.571
1160.18/1163.57 c #Conflicts: 6000 | #Constraints: 4650
1160.18/1163.57 c INPROCESSING
1160.18/1163.57 c GARBAGE COLLECT
1160.18/1163.57 c #Conflicts: 7000 | #Constraints: 3651
1160.18/1163.57 c GLOBAL bounds - >= -9389109 @ 1145.96
1487.52/1491.84 c #Conflicts: 8000 | #Constraints: 4653
1487.52/1491.84 c GLOBAL bounds - >= -9389109 @ 1472.82
1572.76/1577.31 c GLOBAL bounds - >= -9389109 @ 1557.84
1738.69/1743.73 c #Conflicts: 9000 | #Constraints: 5657
1738.69/1743.73 c INPROCESSING
1738.69/1743.73 c GARBAGE COLLECT
1738.69/1743.73 c GLOBAL bounds - >= -9389109 @ 1723.28
2005.62/2011.40 c #Conflicts: 10000 | #Constraints: 4362
2005.62/2011.40 c GLOBAL bounds - >= -9389109 @ 1989.92
2315.89/2322.79 c #Conflicts: 11000 | #Constraints: 5364
2315.89/2322.79 c GLOBAL bounds - >= -9389109 @ 2300.1
2368.91/2376.01 c GLOBAL bounds - >= -9389109 @ 2352.98
2392.05/2399.17 c GLOBAL bounds - >= -9389109 @ 2376.01
2456.52/2463.88 c GLOBAL bounds - >= -9389109 @ 2440.33
2519.21/2526.73 c #Conflicts: 12000 | #Constraints: 6372
2519.21/2526.73 c INPROCESSING
2519.21/2526.73 c GARBAGE COLLECT
2519.21/2526.73 c GLOBAL bounds - >= -9389109 @ 2502.7
2642.81/2650.71 c GLOBAL bounds - >= -9389109 @ 2626.1
2683.77/2691.85 c GLOBAL bounds - >= -9389109 @ 2667.01
2687.86/2695.99 c GLOBAL bounds - >= -9389109 @ 2671.09
2702.42/2710.51 c GLOBAL bounds - >= -9389109 @ 2685.51
3096.49/3105.71 c #Conflicts: 13000 | #Constraints: 4832
3096.49/3105.71 c #Conflicts: 14000 | #Constraints: 5832
3096.49/3105.71 c GLOBAL bounds - >= -9389109 @ 3079
3600.09/3610.90 c #Conflicts: 15000 | #Constraints: 6834
3600.09/3610.90 c INPROCESSING
3600.09/3610.90 c GARBAGE COLLECT
3600.09/3610.90 c #Conflicts: 16000 | #Constraints: 5057
3600.09/3610.90 c cpu time 3582.11 s
3600.09/3610.90 c deterministic time 1 1.00e+00
3600.09/3610.90 c optimization time 3581.73 s
3600.09/3610.90 c total solve time 0 s
3600.09/3610.90 c core-guided solve time 0 s
3600.09/3610.90 c propagation time 0.000988 s
3600.09/3610.90 c conflict analysis time 0 s
3600.09/3610.90 c propagations 0
3600.09/3610.90 c resolve steps 0
3600.09/3610.90 c decisions 0
3600.09/3610.90 c conflicts 0
3600.09/3610.90 c restarts 0
3600.09/3610.90 c inprocessing phases 0
3600.09/3610.90 c garbage collections 0 ,( -nan )
3600.09/3610.90 c input clauses 22 ,( 3.58 )
3600.09/3610.90 c input cardinalities 593 ,( 96.42 )
3600.09/3610.90 c input general constraints 0 ,( 0.00 )
3600.09/3610.90 c input average constraint length 402.42
3600.09/3610.90 c input average constraint degree 401.42
3600.09/3610.90 c learned clauses 0 ,( 0.00 )
3600.09/3610.90 c learned cardinalities 0 ,( 0.00 )
3600.09/3610.90 c learned general constraints 0 ,( 0.00 )
3600.09/3610.90 c learned average constraint length 0.00
3600.09/3610.90 c learned average constraint degree 0.00
3600.09/3610.90 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3610.90 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3610.90 c watched constraints 0 ,( -nan )
3600.09/3610.90 c counting constraints 0 ,( -nan )
3600.09/3610.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3610.90 c gcd simplifications 0
3600.09/3610.90 c detected cardinalities 0
3600.09/3610.90 c weakened non-implied lits 0
3600.09/3610.90 c weakened non-implying lits 0
3600.09/3610.90 c original variables 83285
3600.09/3610.90 c clausal propagations 0
3600.09/3610.90 c cardinality propagations 0
3600.09/3610.90 c watched propagations 0
3600.09/3610.90 c counting propagations 0
3600.09/3610.90 c watch lookups 0
3600.09/3610.90 c watch backjump lookups 0
3600.09/3610.90 c watch checks 0
3600.09/3610.90 c propagation checks 0
3600.09/3610.90 c constraint additions 0
3600.09/3610.90 c trail pops 0
3600.09/3610.90 c formula constraints 615
3600.09/3610.90 c learned constraints 0
3600.09/3610.90 c bound constraints 0
3600.09/3610.90 c core-guided constraints 0
3600.09/3610.90 c encountered formula constraints 0
3600.09/3610.90 c encountered learned constraints 0
3600.09/3610.90 c encountered bound constraints 0
3600.09/3610.90 c encountered core-guided constraints 0
3600.09/3610.90 c LP total time 0 s
3600.09/3610.90 c LP solve time 0 s
3600.09/3610.90 c LP constraints added 0
3600.09/3610.90 c LP constraints removed 0
3600.09/3610.90 c LP pivots internal 0
3600.09/3610.90 c LP pivots root 0
3600.09/3610.90 c LP calls 0
3600.09/3610.90 c LP optimalities 0
3600.09/3610.90 c LP no pivot count 0
3600.09/3610.90 c LP infeasibilities 0
3600.09/3610.90 c LP valid Farkas constraints 0
3600.09/3610.90 c LP learned Farkas constraints 0
3600.09/3610.90 c LP basis resets 0
3600.09/3610.90 c LP cycling count 0
3600.09/3610.90 c LP singular count 0
3600.09/3610.90 c LP no primal count 0
3600.09/3610.90 c LP no farkas count 0
3600.09/3610.90 c LP other issue count 0
3600.09/3610.90 c LP Gomory cuts 0
3600.09/3610.90 c LP learned cuts 0
3600.09/3610.90 c LP deleted cuts 0
3600.09/3610.90 c LP encountered Gomory constraints 0
3600.09/3610.90 c LP encountered Farkas constraints 0
3600.09/3610.90 c LP encountered learned Farkas constraints 0
3600.09/3610.90 c CG auxiliary variables introduced 0
3600.09/3610.90 c CG solutions found 0
3600.09/3610.90 c CG cores constructed 0
3600.09/3610.90 c CG core cardinality constraints returned 0
3600.09/3610.90 c CG unit cores 0
3600.09/3610.90 c CG single cores 0
3600.09/3610.90 c CG blocks removed during cardinality reduction 0
3600.09/3610.90 c CG first core best 0
3600.09/3610.90 c CG decision core best 0
3600.09/3610.90 c CG core reduction tie 0
3600.09/3610.90 c CG core degree average 0.00
3600.09/3610.90 c CG core slack average 0.00
3600.09/3610.90 c CG core upper bound improvements 0
3600.09/3610.90 c STR number of successful calls 0
3600.09/3610.90 c STR number of unsuccessful calls 0
3600.09/3610.90 c STR number of inconclusive calls 0
3600.09/3610.90 c STR number of successful attempts 0
3600.09/3610.90 c STR number of unsuccessful attempts 0
3600.09/3610.90 c STR number of inconclusive attempts 0
3600.09/3610.90 c STR average degree increase per successful call inf
3600.09/3610.90 c STR average degree increase per successful attempt inf
3600.09/3610.90 c STR total number of conflicts for successful attempts 0
3600.09/3610.90 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.90 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.90 c STR average number of conflicts per successful attempt inf
3600.09/3610.90 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.90 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.90 c AVG.sumWPerc -nan
3600.09/3610.90 c bigint constraints 0
3600.09/3610.90 s UNKNOWN
3600.09/3610.90 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: 63794 MiB (55921 MiB free)
memory of node 1: 64507 MiB (59596 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523379-1751649834/watcher-4523379-1751649834 -o /tmp/evaluation-result-4523379-1751649834/solver-4523379-1751649834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751646221-104524 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523379-1751649834.opb PROOFDIR/proof-4523379-1751649834
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=105059, runsolver pid=105056
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.09 4.12 4.06 5/259 105061
/proc/meminfo: memFree=119193212/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=82092 memory=32632 CPUtime=0.07 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 5566 0 0 0 6 1 0 0 20 0 1 0 80663118 84062208 8158 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 20523 8158 1952 1147 0 7950 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 86284 KiB
Current children cumulated memory: 35704 KiB
[startup+0.219097 s]*
/proc/loadavg: 4.01 4.11 4.05 6/260 105066
/proc/meminfo: memFree=119402928/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=75820 memory=30932 CPUtime=0.17 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 6268 0 0 0 15 2 0 0 20 0 1 0 80663118 77639680 7733 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 18955 7733 1984 1147 0 6382 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 80012 KiB
Current children cumulated memory: 34004 KiB
[startup+0.313866 s]*
/proc/loadavg: 4.01 4.11 4.05 4/258 105066
/proc/meminfo: memFree=119403780/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=77820 memory=33108 CPUtime=0.26 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 6826 0 0 0 24 2 0 0 20 0 1 0 80663118 79687680 8277 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 19455 8277 1984 1147 0 6882 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 82012 KiB
Current children cumulated memory: 36180 KiB
[startup+0.700374 s]
/proc/loadavg: 4.01 4.11 4.05 4/258 105066
/proc/meminfo: memFree=119383556/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=123260 memory=80116 CPUtime=0.64 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 15703 0 0 0 54 10 0 0 20 0 1 0 80663118 126218240 20029 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 30815 20029 2368 1147 0 18242 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 127452 KiB
Current children cumulated memory: 83188 KiB
[startup+1.50039 s]
/proc/loadavg: 4.01 4.11 4.05 4/258 105066
/proc/meminfo: memFree=119361504/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=140632 memory=92532 CPUtime=1.44 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 18824 0 0 0 101 43 0 0 20 0 1 0 80663118 144007168 23133 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 35158 23133 2368 1147 0 22585 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 144824 KiB
Current children cumulated memory: 95604 KiB
[startup+3.11338 s]
/proc/loadavg: 4.01 4.11 4.05 4/258 105066
/proc/meminfo: memFree=119324484/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=165296 memory=115196 CPUtime=3.04 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 20977 0 0 0 205 99 0 0 20 0 1 0 80663118 169263104 28799 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 41324 28799 2368 1147 0 28751 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 169488 KiB
Current children cumulated memory: 118268 KiB
[startup+6.30039 s]
/proc/loadavg: 3.92 4.09 4.05 4/258 105066
/proc/meminfo: memFree=119231956/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=203120 memory=142464 CPUtime=6.22 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 22159 0 0 0 452 170 0 0 20 0 1 0 80663118 207994880 35616 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 50780 35616 2368 1147 0 38207 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 207312 KiB
Current children cumulated memory: 145536 KiB
[startup+12.7004 s]
/proc/loadavg: 3.85 4.07 4.04 4/258 105066
/proc/meminfo: memFree=119074036/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=284028 memory=195980 CPUtime=12.6 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 23291 0 0 0 987 273 0 0 20 0 1 0 80663118 290844672 48995 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 71007 48995 2368 1147 0 58434 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 288220 KiB
Current children cumulated memory: 199052 KiB
[startup+25.5004 s]
/proc/loadavg: 3.72 4.03 4.03 4/258 105066
/proc/meminfo: memFree=118763676/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=365416 memory=288940 CPUtime=25.38 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 24018 0 0 0 2088 450 0 0 20 0 1 0 80663118 374185984 72235 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 91354 72235 2400 1147 0 78781 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 369608 KiB
Current children cumulated memory: 292012 KiB
[startup+51.1134 s]
/proc/loadavg: 3.51 3.95 4.00 4/258 105067
/proc/meminfo: memFree=118102556/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=713300 memory=455472 CPUtime=50.93 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 25284 0 0 0 4284 809 0 0 20 0 1 0 80663118 730419200 113868 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 178325 113868 2400 1147 0 165752 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 717492 KiB
Current children cumulated memory: 458544 KiB
[startup+102.3 s]
/proc/loadavg: 3.29 3.82 3.95 4/255 105069
/proc/meminfo: memFree=117184792/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=1097064 memory=817560 CPUtime=101.97 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 34678 0 0 0 9096 1101 0 0 20 0 1 0 80663118 1123393536 204390 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 274266 204390 2400 1147 0 261693 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1101256 KiB
Current children cumulated memory: 820632 KiB
[startup+162.3 s]
/proc/loadavg: 3.33 3.73 3.91 4/254 105071
/proc/meminfo: memFree=116308304/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=1689892 memory=1165380 CPUtime=161.81 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 41378 0 0 0 15039 1142 0 0 20 0 1 0 80663118 1730449408 291345 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 422473 291345 2400 1147 0 409900 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1694084 KiB
Current children cumulated memory: 1168452 KiB
[startup+222.3 s]
/proc/loadavg: 3.20 3.62 3.86 4/254 105073
/proc/meminfo: memFree=115534404/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=1717240 memory=1407416 CPUtime=221.64 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 48287 0 0 0 21003 1161 0 0 20 0 1 0 80663118 1758453760 351854 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 429310 351854 2400 1147 0 416737 0
################
# More data... #
################
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=5167440 memory=4399332 CPUtime=3093.1 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 295676 0 0 0 307559 1751 0 0 20 0 1 0 80663118 5291458560 1099833 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 1291860 1099833 2400 1147 0 1279287 0
Current children cumulated CPU time: 3093.1 s
Current children cumulated vsize: 5171632 KiB
Current children cumulated memory: 4402404 KiB
[startup+3162.3 s]
/proc/loadavg: 2.26 2.79 3.03 3/250 105278
/proc/meminfo: memFree=110771804/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=5177296 memory=4499948 CPUtime=3152.94 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 299088 0 0 0 313534 1760 0 0 20 0 1 0 80663118 5301551104 1124987 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 1294324 1124987 2400 1147 0 1281751 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 5181488 KiB
Current children cumulated memory: 4503020 KiB
[startup+3222.3 s]
/proc/loadavg: 2.14 2.66 2.97 3/248 105280
/proc/meminfo: memFree=110493768/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=5235944 memory=4596588 CPUtime=3212.74 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 313264 0 0 0 319503 1771 0 0 20 0 1 0 80663118 5361606656 1149147 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 1308986 1149147 2400 1147 0 1296413 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 5240136 KiB
Current children cumulated memory: 4599660 KiB
[startup+3282.3 s]
/proc/loadavg: 2.09 2.55 2.91 3/246 105282
/proc/meminfo: memFree=110317568/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=5240848 memory=4601452 CPUtime=3272.54 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 314689 0 0 0 325479 1775 0 0 20 0 1 0 80663118 5366628352 1150363 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 1310212 1150363 2400 1147 0 1297639 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 5245040 KiB
Current children cumulated memory: 4604524 KiB
[startup+3342.3 s]
/proc/loadavg: 2.08 2.46 2.86 3/246 105284
/proc/meminfo: memFree=110141008/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=5244176 memory=4604652 CPUtime=3332.34 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 315830 0 0 0 331456 1778 0 0 20 0 1 0 80663118 5370036224 1151163 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 1311044 1151163 2400 1147 0 1298471 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 5248368 KiB
Current children cumulated memory: 4607724 KiB
[startup+3402.3 s]
/proc/loadavg: 1.68 2.30 2.77 2/236 105317
/proc/meminfo: memFree=117523952/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=5246700 memory=4607212 CPUtime=3392.14 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 316510 0 0 0 337434 1780 0 0 20 0 1 0 80663118 5372620800 1151803 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 1311675 1151803 2400 1147 0 1299102 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 5250892 KiB
Current children cumulated memory: 4610284 KiB
[startup+3462.3 s]
/proc/loadavg: 1.35 2.09 2.67 2/236 105319
/proc/meminfo: memFree=117444448/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=5282572 memory=4640492 CPUtime=3451.95 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 325332 0 0 0 343407 1788 0 0 20 0 1 0 80663118 5409353728 1160123 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 1320643 1160123 2400 1147 0 1308070 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 5286764 KiB
Current children cumulated memory: 4643564 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.89 2.56 2/236 105321
/proc/meminfo: memFree=117404412/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=5287524 memory=4645100 CPUtime=3511.77 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 326839 0 0 0 349384 1793 0 0 20 0 1 0 80663118 5414424576 1161275 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 1321881 1161275 2400 1147 0 1309308 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 5291716 KiB
Current children cumulated memory: 4648172 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 1.75 2.47 2/236 105323
/proc/meminfo: memFree=117365596/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=5288548 memory=4646380 CPUtime=3571.57 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 327348 0 0 0 355361 1796 0 0 20 0 1 0 80663118 5415473152 1161595 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 1322137 1161595 2400 1147 0 1309564 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 5292740 KiB
Current children cumulated memory: 4649452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 1.10 1.69 2.43 2/236 105323
/proc/meminfo: memFree=117341948/131382116 swapFree=33010684/33010684
[pid=105059] ppid=105056 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/105059/stat : 105059 (run-opt-log.sh) S 105056 105059 104094 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 80663117 4292608 768 18446744073709551615 93891102720000 93891103614533 140736993327552 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93891103853584 93891103901328 93891111587840 140736993331487 140736993331682 140736993331682 140736993337286 0
/proc/105059/statm: 1048 768 704 219 0 110 0
[pid=105061] ppid=105059 vsize=5289016 memory=4646764 CPUtime=3600.09 cores=0,2
/proc/105061/stat : 105061 (roundingsat) R 105059 105059 104094 0 -1 4194304 327508 0 0 0 358211 1798 0 0 20 0 1 0 80663118 5415952384 1161691 18446744073709551615 4227072 8923433 140723695160560 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40644608 140723695163728 140723695163942 140723695163942 140723695169514 0
/proc/105061/statm: 1322254 1161691 2400 1147 0 1309681 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5293208 KiB
Current children cumulated memory: 4649836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 105059 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001853 s, system=0.003303 s
[startup+3611.02 s]
# the end of solver process 105061 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.15 s, system=18.053 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 s]*
/proc/loadavg: 1.09 1.68 2.42 2/236 105324
/proc/meminfo: memFree=121230000/131382116 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.005156 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3611.02
CPU time (s): 3600.2
CPU user time (s): 3582.15
CPU system time (s): 18.053
CPU usage (%): 99.7003
Max. virtual memory (cumulated for all children) (KiB): 5293208
Max. memory (cumulated for all children) (KiB): 4649836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.15
system time used= 18.053
maximum resident set size= 4647148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3827560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 333
involuntary context switches= 8174
# summary of solver processes directly reported to runsolver:
# pid: 105059,105061
# total CPU time (s): 3600.2
# total CPU user time (s): 3582.15
# total CPU system time (s): 18.053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0437 second user time and 36.5868 second system time
The end
Begin job on nodeC011 at 2025-07-04 19:23:54
IDJOB=4523379
IDBENCH=180121
IDSOLVER=3351
FILE ID=nodeC011/4523379-1751649834
RUNJOBID= nodeC011-1751646221-104524
SLURM_JOB_ID= 9672316
Free space on /tmp= 430316 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_680_004.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523379-1751649834/watcher-4523379-1751649834 -o /tmp/evaluation-result-4523379-1751649834/solver-4523379-1751649834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751646221-104524 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523379-1751649834.opb PROOFDIR/proof-4523379-1751649834
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 979facf7d2b0cd6465681d1d436ff5eb
RANDOM SEED=1802732156
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.292
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.922
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.585
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.449
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.755
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.669
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.916
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 117516344 kB
MemAvailable: 128608244 kB
Buffers: 3276 kB
Cached: 11862356 kB
SwapCached: 0 kB
Active: 1817028 kB
Inactive: 11420432 kB
Active(anon): 1387740 kB
Inactive(anon): 2104 kB
Active(file): 429288 kB
Inactive(file): 11418328 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 201876 kB
Writeback: 0 kB
AnonPages: 1374960 kB
Mapped: 114340 kB
Shmem: 17960 kB
KReclaimable: 167436 kB
Slab: 262452 kB
SReclaimable: 167436 kB
SUnreclaim: 95016 kB
KernelStack: 4160 kB
PageTables: 5904 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1968020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149544 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 129024 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430336 MiB
End job on nodeC011 at 2025-07-04 20:24:05