0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.17 c #variables 83285 #constraints 615
0.08/0.17 c objective is ce32
0.19/0.23 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.19/0.23 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.19/0.23 c GLOBAL bounds - >= -9389109 @ 0.178949
0.29/0.32 c GLOBAL bounds - >= -9389109 @ 0.220593
0.39/0.41 c GLOBAL bounds - >= -9389109 @ 0.25911
0.39/0.50 c GLOBAL bounds - >= -9389109 @ 0.302022
0.58/0.65 c GLOBAL bounds - >= -9389109 @ 0.38915
0.68/0.74 c GLOBAL bounds - >= -9389109 @ 0.447149
0.78/0.84 c GLOBAL bounds - >= -9389109 @ 0.497955
0.88/0.97 c GLOBAL bounds - >= -9389109 @ 0.586913
0.98/1.07 c GLOBAL bounds - >= -9389109 @ 0.638832
1.09/1.18 c GLOBAL bounds - >= -9389109 @ 0.686479
1.17/1.27 c GLOBAL bounds - >= -9389109 @ 0.740518
1.38/1.47 c GLOBAL bounds - >= -9389109 @ 0.872761
1.48/1.57 c GLOBAL bounds - >= -9389109 @ 0.927346
1.57/1.67 c GLOBAL bounds - >= -9389109 @ 0.971496
1.78/1.81 c GLOBAL bounds - >= -9389109 @ 1.06628
1.87/1.91 c GLOBAL bounds - >= -9389109 @ 1.11758
1.98/2.00 c GLOBAL bounds - >= -9389109 @ 1.17149
2.08/2.18 c GLOBAL bounds - >= -9389109 @ 1.306
2.17/2.28 c GLOBAL bounds - >= -9389109 @ 1.35537
2.27/2.37 c GLOBAL bounds - >= -9389109 @ 1.39725
2.67/2.74 c GLOBAL bounds - >= -9389109 @ 1.72619
2.77/2.88 c GLOBAL bounds - >= -9389109 @ 1.81205
2.87/2.97 c GLOBAL bounds - >= -9389109 @ 1.86585
2.97/3.06 c GLOBAL bounds - >= -9389109 @ 1.92138
3.07/3.15 c GLOBAL bounds - >= -9389109 @ 1.98348
3.67/3.71 c GLOBAL bounds - >= -9389109 @ 2.49958
3.77/3.81 c GLOBAL bounds - >= -9389109 @ 2.55504
3.87/3.95 c GLOBAL bounds - >= -9389109 @ 2.65318
3.97/4.04 c GLOBAL bounds - >= -9389109 @ 2.71132
4.08/4.14 c GLOBAL bounds - >= -9389109 @ 2.77144
4.16/4.23 c GLOBAL bounds - >= -9389109 @ 2.81875
4.36/4.41 c GLOBAL bounds - >= -9389109 @ 2.95069
4.46/4.55 c GLOBAL bounds - >= -9389109 @ 3.04873
4.66/4.77 c GLOBAL bounds - >= -9389109 @ 3.23317
4.76/4.88 c GLOBAL bounds - >= -9389109 @ 3.29763
4.97/5.01 c GLOBAL bounds - >= -9389109 @ 3.39256
5.26/5.30 c GLOBAL bounds - >= -9389109 @ 3.64393
5.47/5.50 c GLOBAL bounds - >= -9389109 @ 3.79159
5.57/5.60 c GLOBAL bounds - >= -9389109 @ 3.85773
5.77/5.80 c GLOBAL bounds - >= -9389109 @ 4.0029
5.86/5.90 c GLOBAL bounds - >= -9389109 @ 4.05926
5.97/6.09 c GLOBAL bounds - >= -9389109 @ 4.2076
6.26/6.30 c GLOBAL bounds - >= -9389109 @ 4.38039
6.36/6.40 c GLOBAL bounds - >= -9389109 @ 4.4428
6.56/6.60 c GLOBAL bounds - >= -9389109 @ 4.60311
6.66/6.76 c GLOBAL bounds - >= -9389109 @ 4.72011
7.26/7.34 c GLOBAL bounds - >= -9389109 @ 5.25288
7.36/7.45 c GLOBAL bounds - >= -9389109 @ 5.31602
7.56/7.66 c GLOBAL bounds - >= -9389109 @ 5.48546
7.65/7.77 c GLOBAL bounds - >= -9389109 @ 5.55342
7.97/8.05 c GLOBAL bounds - >= -9389109 @ 5.78838
8.15/8.20 c GLOBAL bounds - >= -9389109 @ 5.90639
8.26/8.31 c GLOBAL bounds - >= -9389109 @ 5.97001
9.46/9.50 c GLOBAL bounds - >= -9389109 @ 7.11274
9.55/9.61 c GLOBAL bounds - >= -9389109 @ 7.18985
10.55/10.65 c GLOBAL bounds - >= -9389109 @ 8.17822
10.75/10.89 c GLOBAL bounds - >= -9389109 @ 8.34973
11.05/11.18 c GLOBAL bounds - >= -9389109 @ 8.59974
11.24/11.30 c GLOBAL bounds - >= -9389109 @ 8.68583
11.45/11.55 c GLOBAL bounds - >= -9389109 @ 8.89228
11.54/11.67 c GLOBAL bounds - >= -9389109 @ 8.98001
11.75/11.86 c GLOBAL bounds - >= -9389109 @ 9.1372
11.95/12.07 c GLOBAL bounds - >= -9389109 @ 9.31278
12.05/12.19 c GLOBAL bounds - >= -9389109 @ 9.39394
12.24/12.35 c GLOBAL bounds - >= -9389109 @ 9.50641
12.45/12.52 c GLOBAL bounds - >= -9389109 @ 9.63805
12.64/12.72 c GLOBAL bounds - >= -9389109 @ 9.80211
12.74/12.84 c GLOBAL bounds - >= -9389109 @ 9.88137
12.84/13.00 c GLOBAL bounds - >= -9389109 @ 9.99932
13.14/13.23 c GLOBAL bounds - >= -9389109 @ 10.1863
14.14/14.28 c GLOBAL bounds - >= -9389109 @ 11.1956
14.34/14.41 c GLOBAL bounds - >= -9389109 @ 11.2846
14.54/14.63 c GLOBAL bounds - >= -9389109 @ 11.4744
14.64/14.75 c GLOBAL bounds - >= -9389109 @ 11.5654
15.04/15.12 c GLOBAL bounds - >= -9389109 @ 11.9019
15.14/15.24 c GLOBAL bounds - >= -9389109 @ 11.9932
15.23/15.39 c GLOBAL bounds - >= -9389109 @ 12.11
15.43/15.51 c GLOBAL bounds - >= -9389109 @ 12.2045
15.53/15.67 c GLOBAL bounds - >= -9389109 @ 12.3273
15.73/15.83 c GLOBAL bounds - >= -9389109 @ 12.4557
15.83/15.94 c GLOBAL bounds - >= -9389109 @ 12.5383
16.03/16.14 c GLOBAL bounds - >= -9389109 @ 12.7061
16.23/16.31 c GLOBAL bounds - >= -9389109 @ 12.8431
16.33/16.48 c GLOBAL bounds - >= -9389109 @ 12.9777
16.53/16.60 c GLOBAL bounds - >= -9389109 @ 13.0661
16.83/16.90 c GLOBAL bounds - >= -9389109 @ 13.3448
16.94/17.03 c GLOBAL bounds - >= -9389109 @ 13.4397
17.03/17.18 c GLOBAL bounds - >= -9389109 @ 13.5571
17.23/17.34 c GLOBAL bounds - >= -9389109 @ 13.6824
17.33/17.46 c GLOBAL bounds - >= -9389109 @ 13.7762
17.62/17.72 c GLOBAL bounds - >= -9389109 @ 14.0111
17.73/17.84 c GLOBAL bounds - >= -9389109 @ 14.0956
17.93/18.09 c GLOBAL bounds - >= -9389109 @ 14.3115
18.13/18.21 c GLOBAL bounds - >= -9389109 @ 14.3982
18.23/18.31 c GLOBAL bounds - >= -9389109 @ 14.4696
18.62/18.76 c GLOBAL bounds - >= -9389109 @ 14.8776
18.72/18.88 c GLOBAL bounds - >= -9389109 @ 14.9676
19.03/19.15 c GLOBAL bounds - >= -9389109 @ 15.2085
19.13/19.27 c GLOBAL bounds - >= -9389109 @ 15.2918
19.22/19.38 c GLOBAL bounds - >= -9389109 @ 15.3613
19.42/19.53 c GLOBAL bounds - >= -9389109 @ 15.4864
19.52/19.64 c GLOBAL bounds - >= -9389109 @ 15.5715
20.03/20.18 c GLOBAL bounds - >= -9389109 @ 16.0818
20.22/20.30 c GLOBAL bounds - >= -9389109 @ 16.1723
20.32/20.45 c GLOBAL bounds - >= -9389109 @ 16.2944
20.52/20.61 c GLOBAL bounds - >= -9389109 @ 16.4235
20.72/20.82 c GLOBAL bounds - >= -9389109 @ 16.6011
20.82/20.94 c GLOBAL bounds - >= -9389109 @ 16.6966
20.93/21.09 c GLOBAL bounds - >= -9389109 @ 16.8231
21.12/21.24 c GLOBAL bounds - >= -9389109 @ 16.9502
21.42/21.53 c GLOBAL bounds - >= -9389109 @ 17.2118
21.52/21.65 c GLOBAL bounds - >= -9389109 @ 17.294
21.62/21.75 c GLOBAL bounds - >= -9389109 @ 17.3747
21.82/21.95 c GLOBAL bounds - >= -9389109 @ 17.5451
22.02/22.12 c GLOBAL bounds - >= -9389109 @ 17.689
22.11/22.22 c GLOBAL bounds - >= -9389109 @ 17.762
22.31/22.42 c GLOBAL bounds - >= -9389109 @ 17.9323
22.41/22.53 c GLOBAL bounds - >= -9389109 @ 18.0227
22.62/22.72 c GLOBAL bounds - >= -9389109 @ 18.1865
22.72/22.84 c GLOBAL bounds - >= -9389109 @ 18.276
22.81/22.95 c GLOBAL bounds - >= -9389109 @ 18.3512
22.92/23.05 c GLOBAL bounds - >= -9389109 @ 18.4265
23.12/23.20 c GLOBAL bounds - >= -9389109 @ 18.544
23.21/23.31 c GLOBAL bounds - >= -9389109 @ 18.6297
23.31/23.46 c GLOBAL bounds - >= -9389109 @ 18.7457
23.41/23.58 c GLOBAL bounds - >= -9389109 @ 18.8328
23.51/23.68 c GLOBAL bounds - >= -9389109 @ 18.9165
23.61/23.79 c GLOBAL bounds - >= -9389109 @ 18.9926
23.81/23.94 c GLOBAL bounds - >= -9389109 @ 19.1225
23.92/24.06 c GLOBAL bounds - >= -9389109 @ 19.2196
24.40/24.54 c GLOBAL bounds - >= -9389109 @ 19.6741
24.91/25.04 c GLOBAL bounds - >= -9389109 @ 20.1422
25.02/25.16 c GLOBAL bounds - >= -9389109 @ 20.2363
25.21/25.31 c GLOBAL bounds - >= -9389109 @ 20.3546
25.30/25.45 c GLOBAL bounds - >= -9389109 @ 20.4615
25.91/26.02 c GLOBAL bounds - >= -9389109 @ 20.9934
26.10/26.24 c GLOBAL bounds - >= -9389109 @ 21.1746
26.40/26.58 c GLOBAL bounds - >= -9389109 @ 21.4773
26.60/26.77 c GLOBAL bounds - >= -9389109 @ 21.6353
26.80/26.94 c GLOBAL bounds - >= -9389109 @ 21.7659
27.01/27.11 c GLOBAL bounds - >= -9389109 @ 21.895
27.20/27.37 c GLOBAL bounds - >= -9389109 @ 22.1265
27.40/27.52 c GLOBAL bounds - >= -9389109 @ 22.238
27.50/27.69 c GLOBAL bounds - >= -9389109 @ 22.3783
27.70/27.83 c GLOBAL bounds - >= -9389109 @ 22.4915
27.80/27.95 c GLOBAL bounds - >= -9389109 @ 22.5784
28.00/28.12 c GLOBAL bounds - >= -9389109 @ 22.7138
28.10/28.26 c GLOBAL bounds - >= -9389109 @ 22.8168
28.30/28.46 c GLOBAL bounds - >= -9389109 @ 22.9978
28.49/28.60 c GLOBAL bounds - >= -9389109 @ 23.1058
28.60/28.72 c GLOBAL bounds - >= -9389109 @ 23.1877
28.70/28.88 c GLOBAL bounds - >= -9389109 @ 23.322
29.10/29.22 c GLOBAL bounds - >= -9389109 @ 23.621
29.29/29.45 c GLOBAL bounds - >= -9389109 @ 23.8198
29.59/29.75 c GLOBAL bounds - >= -9389109 @ 24.084
29.79/29.99 c GLOBAL bounds - >= -9389109 @ 24.2991
29.99/30.19 c GLOBAL bounds - >= -9389109 @ 24.4779
30.19/30.38 c GLOBAL bounds - >= -9389109 @ 24.6273
30.39/30.51 c GLOBAL bounds - >= -9389109 @ 24.7227
30.49/30.67 c GLOBAL bounds - >= -9389109 @ 24.8471
30.69/30.84 c GLOBAL bounds - >= -9389109 @ 24.9866
30.80/30.97 c GLOBAL bounds - >= -9389109 @ 25.0808
30.89/31.09 c GLOBAL bounds - >= -9389109 @ 25.1706
31.19/31.30 c GLOBAL bounds - >= -9389109 @ 25.3519
31.29/31.49 c GLOBAL bounds - >= -9389109 @ 25.4993
31.49/31.66 c GLOBAL bounds - >= -9389109 @ 25.6474
31.69/31.84 c GLOBAL bounds - >= -9389109 @ 25.8037
31.78/31.98 c GLOBAL bounds - >= -9389109 @ 25.9063
31.99/32.15 c GLOBAL bounds - >= -9389109 @ 26.0367
32.08/32.28 c GLOBAL bounds - >= -9389109 @ 26.1468
32.29/32.40 c GLOBAL bounds - >= -9389109 @ 26.2293
32.39/32.57 c GLOBAL bounds - >= -9389109 @ 26.3654
32.59/32.71 c GLOBAL bounds - >= -9389109 @ 26.4771
32.69/32.83 c GLOBAL bounds - >= -9389109 @ 26.569
33.08/33.25 c GLOBAL bounds - >= -9389109 @ 26.9462
33.58/33.75 c GLOBAL bounds - >= -9389109 @ 27.4061
33.78/33.99 c GLOBAL bounds - >= -9389109 @ 27.6163
33.98/34.17 c GLOBAL bounds - >= -9389109 @ 27.7776
34.18/34.30 c GLOBAL bounds - >= -9389109 @ 27.879
34.48/34.61 c GLOBAL bounds - >= -9389109 @ 28.1637
34.58/34.75 c GLOBAL bounds - >= -9389109 @ 28.288
34.68/34.88 c GLOBAL bounds - >= -9389109 @ 28.3867
34.88/35.09 c GLOBAL bounds - >= -9389109 @ 28.5777
35.18/35.37 c GLOBAL bounds - >= -9389109 @ 28.8241
35.38/35.52 c GLOBAL bounds - >= -9389109 @ 28.9441
35.57/35.74 c GLOBAL bounds - >= -9389109 @ 29.1277
35.68/35.89 c GLOBAL bounds - >= -9389109 @ 29.2491
35.88/36.01 c GLOBAL bounds - >= -9389109 @ 29.3465
36.08/36.23 c GLOBAL bounds - >= -9389109 @ 29.5391
36.17/36.38 c GLOBAL bounds - >= -9389109 @ 29.6602
36.37/36.55 c GLOBAL bounds - >= -9389109 @ 29.7974
36.58/36.70 c GLOBAL bounds - >= -9389109 @ 29.9214
36.67/36.87 c GLOBAL bounds - >= -9389109 @ 30.0667
36.88/37.01 c GLOBAL bounds - >= -9389109 @ 30.1845
36.98/37.18 c GLOBAL bounds - >= -9389109 @ 30.3325
37.37/37.55 c GLOBAL bounds - >= -9389109 @ 30.6708
37.77/37.97 c GLOBAL bounds - >= -9389109 @ 31.0512
38.27/38.43 c GLOBAL bounds - >= -9389109 @ 31.4409
38.47/38.68 c GLOBAL bounds - >= -9389109 @ 31.6561
38.67/38.88 c GLOBAL bounds - >= -9389109 @ 31.8283
38.87/39.03 c GLOBAL bounds - >= -9389109 @ 31.9439
39.07/39.22 c GLOBAL bounds - >= -9389109 @ 32.0912
39.26/39.45 c GLOBAL bounds - >= -9389109 @ 32.2976
39.47/39.62 c GLOBAL bounds - >= -9389109 @ 32.428
39.57/39.76 c GLOBAL bounds - >= -9389109 @ 32.536
39.77/40.00 c GLOBAL bounds - >= -9389109 @ 32.7308
40.06/40.20 c GLOBAL bounds - >= -9389109 @ 32.9044
40.17/40.37 c GLOBAL bounds - >= -9389109 @ 33.041
40.46/40.60 c GLOBAL bounds - >= -9389109 @ 33.2384
40.56/40.76 c GLOBAL bounds - >= -9389109 @ 33.3626
40.76/40.90 c GLOBAL bounds - >= -9389109 @ 33.4729
40.87/41.09 c GLOBAL bounds - >= -9389109 @ 33.6291
41.06/41.29 c GLOBAL bounds - >= -9389109 @ 33.7952
41.26/41.46 c GLOBAL bounds - >= -9389109 @ 33.9381
41.47/41.60 c GLOBAL bounds - >= -9389109 @ 34.0424
41.56/41.74 c GLOBAL bounds - >= -9389109 @ 34.1508
41.76/41.97 c GLOBAL bounds - >= -9389109 @ 34.3429
41.97/42.14 c GLOBAL bounds - >= -9389109 @ 34.4793
42.25/42.42 c GLOBAL bounds - >= -9389109 @ 34.7358
42.56/42.70 c GLOBAL bounds - >= -9389109 @ 34.9737
42.86/43.08 c GLOBAL bounds - >= -9389109 @ 35.315
43.05/43.26 c GLOBAL bounds - >= -9389109 @ 35.4599
43.26/43.45 c GLOBAL bounds - >= -9389109 @ 35.6148
43.96/44.16 c GLOBAL bounds - >= -9389109 @ 36.2954
44.15/44.35 c GLOBAL bounds - >= -9389109 @ 36.4578
44.65/44.87 c GLOBAL bounds - >= -9389109 @ 36.9387
48.14/48.38 c GLOBAL bounds - >= -9389109 @ 40.3963
49.24/49.44 c GLOBAL bounds - >= -9389109 @ 41.3918
49.44/49.65 c GLOBAL bounds - >= -9389109 @ 41.5725
49.64/49.81 c GLOBAL bounds - >= -9389109 @ 41.6971
50.74/50.91 c GLOBAL bounds - >= -9389109 @ 42.7646
50.94/51.14 c GLOBAL bounds - >= -9389109 @ 42.9534
52.23/52.44 c GLOBAL bounds - >= -9389109 @ 44.2199
52.53/52.71 c GLOBAL bounds - >= -9389109 @ 44.4638
52.73/52.90 c GLOBAL bounds - >= -9389109 @ 44.6284
52.93/53.10 c GLOBAL bounds - >= -9389109 @ 44.8006
53.03/53.29 c GLOBAL bounds - >= -9389109 @ 44.9531
53.52/53.71 c GLOBAL bounds - >= -9389109 @ 45.3445
53.72/53.93 c GLOBAL bounds - >= -9389109 @ 45.5262
53.83/54.09 c GLOBAL bounds - >= -9389109 @ 45.6547
54.03/54.29 c GLOBAL bounds - >= -9389109 @ 45.8288
54.33/54.54 c GLOBAL bounds - >= -9389109 @ 46.0435
54.52/54.75 c GLOBAL bounds - >= -9389109 @ 46.2236
54.83/55.06 c GLOBAL bounds - >= -9389109 @ 46.5007
55.02/55.28 c GLOBAL bounds - >= -9389109 @ 46.688
55.23/55.45 c GLOBAL bounds - >= -9389109 @ 46.8171
55.42/55.61 c GLOBAL bounds - >= -9389109 @ 46.9435
55.52/55.78 c GLOBAL bounds - >= -9389109 @ 47.078
55.72/55.94 c GLOBAL bounds - >= -9389109 @ 47.2091
55.93/56.10 c GLOBAL bounds - >= -9389109 @ 47.3351
56.62/56.88 c GLOBAL bounds - >= -9389109 @ 48.0725
57.02/57.20 c GLOBAL bounds - >= -9389109 @ 48.3678
57.21/57.42 c GLOBAL bounds - >= -9389109 @ 48.5464
57.51/57.78 c GLOBAL bounds - >= -9389109 @ 48.8747
57.71/57.99 c GLOBAL bounds - >= -9389109 @ 49.0549
58.71/58.90 c GLOBAL bounds - >= -9389109 @ 49.9252
59.01/59.24 c GLOBAL bounds - >= -9389109 @ 50.2366
59.31/59.56 c GLOBAL bounds - >= -9389109 @ 50.5262
59.71/59.94 c GLOBAL bounds - >= -9389109 @ 50.8674
61.50/61.78 c GLOBAL bounds - >= -9389109 @ 52.6407
61.81/62.10 c GLOBAL bounds - >= -9389109 @ 52.9197
62.10/62.33 c GLOBAL bounds - >= -9389109 @ 53.1193
62.40/62.61 c GLOBAL bounds - >= -9389109 @ 53.3604
62.81/63.05 c GLOBAL bounds - >= -9389109 @ 53.7563
63.20/63.40 c GLOBAL bounds - >= -9389109 @ 54.0744
63.50/63.77 c GLOBAL bounds - >= -9389109 @ 54.4128
64.20/64.44 c GLOBAL bounds - >= -9389109 @ 55.0518
64.59/64.85 c GLOBAL bounds - >= -9389109 @ 55.4257
64.80/65.09 c GLOBAL bounds - >= -9389109 @ 55.6227
65.19/65.43 c GLOBAL bounds - >= -9389109 @ 55.9222
65.59/65.87 c GLOBAL bounds - >= -9389109 @ 56.322
65.99/66.26 c GLOBAL bounds - >= -9389109 @ 56.6768
66.29/66.52 c GLOBAL bounds - >= -9389109 @ 56.905
66.59/66.86 c GLOBAL bounds - >= -9389109 @ 57.2038
66.89/67.13 c GLOBAL bounds - >= -9389109 @ 57.4243
67.08/67.39 c GLOBAL bounds - >= -9389109 @ 57.6391
67.39/67.60 c GLOBAL bounds - >= -9389109 @ 57.812
67.98/68.26 c GLOBAL bounds - >= -9389109 @ 58.4269
68.48/68.70 c GLOBAL bounds - >= -9389109 @ 58.8281
69.58/69.86 c GLOBAL bounds - >= -9389109 @ 59.9369
69.89/70.14 c GLOBAL bounds - >= -9389109 @ 60.1772
70.48/70.73 c GLOBAL bounds - >= -9389109 @ 60.7197
70.97/71.30 c GLOBAL bounds - >= -9389109 @ 61.2479
71.38/71.64 c GLOBAL bounds - >= -9389109 @ 61.5533
71.67/72.00 c GLOBAL bounds - >= -9389109 @ 61.8661
71.97/72.26 c GLOBAL bounds - >= -9389109 @ 62.0944
72.27/72.51 c GLOBAL bounds - >= -9389109 @ 62.3051
72.57/72.88 c GLOBAL bounds - >= -9389109 @ 62.6351
73.16/73.40 c GLOBAL bounds - >= -9389109 @ 63.1225
73.37/73.68 c GLOBAL bounds - >= -9389109 @ 63.3655
73.57/73.88 c GLOBAL bounds - >= -9389109 @ 63.5258
73.87/74.17 c GLOBAL bounds - >= -9389109 @ 63.7733
74.36/74.61 c GLOBAL bounds - >= -9389109 @ 64.1859
74.56/74.87 c GLOBAL bounds - >= -9389109 @ 64.4043
74.96/75.22 c GLOBAL bounds - >= -9389109 @ 64.7085
94.50/94.89 c GLOBAL bounds - >= -9389109 @ 84.1866
94.91/95.27 c GLOBAL bounds - >= -9389109 @ 84.5087
99.39/99.72 c GLOBAL bounds - >= -9389109 @ 88.9026
334.99/336.04 c #Conflicts: 1000 | #Constraints: 2207
334.99/336.04 c #Conflicts: 2000 | #Constraints: 3207
334.99/336.04 c INPROCESSING
334.99/336.04 c GARBAGE COLLECT
334.99/336.04 c GLOBAL bounds - >= -9389109 @ 323.76
398.49/399.74 c #Conflicts: 3000 | #Constraints: 3220
398.49/399.74 c GLOBAL bounds - >= -9389109 @ 387.083
399.68/400.91 c GLOBAL bounds - >= -9389109 @ 388.188
400.58/401.86 c GLOBAL bounds - >= -9389109 @ 389.085
419.83/421.12 c GLOBAL bounds - >= -9389109 @ 408.173
465.08/466.53 c GLOBAL bounds - >= -9389109 @ 453.303
494.49/496.08 c GLOBAL bounds - >= -9389109 @ 482.57
496.19/497.71 c GLOBAL bounds - >= -9389109 @ 484.144
498.38/499.91 c GLOBAL bounds - >= -9389109 @ 486.293
504.86/506.41 c GLOBAL bounds - >= -9389109 @ 492.709
509.35/510.90 c GLOBAL bounds - >= -9389109 @ 497.09
511.64/513.21 c GLOBAL bounds - >= -9389109 @ 499.334
514.04/515.64 c GLOBAL bounds - >= -9389109 @ 501.696
522.61/524.27 c GLOBAL bounds - >= -9389109 @ 510.245
750.82/753.13 c #Conflicts: 4000 | #Constraints: 4246
750.82/753.13 c INPROCESSING
750.82/753.13 c GARBAGE COLLECT
750.82/753.13 c #Conflicts: 5000 | #Constraints: 3648
750.82/753.13 c GLOBAL bounds - >= -9389109 @ 737.797
1135.84/1139.34 c #Conflicts: 6000 | #Constraints: 4650
1135.84/1139.34 c INPROCESSING
1135.84/1139.34 c GARBAGE COLLECT
1135.84/1139.34 c #Conflicts: 7000 | #Constraints: 3651
1135.84/1139.34 c GLOBAL bounds - >= -9389109 @ 1122.45
1469.21/1473.76 c #Conflicts: 8000 | #Constraints: 4653
1469.21/1473.76 c GLOBAL bounds - >= -9389109 @ 1455.48
1557.24/1562.00 c GLOBAL bounds - >= -9389109 @ 1543.28
1726.32/1731.60 c #Conflicts: 9000 | #Constraints: 5657
1726.32/1731.60 c INPROCESSING
1726.32/1731.60 c GARBAGE COLLECT
1726.32/1731.60 c GLOBAL bounds - >= -9389109 @ 1711.92
1999.78/2005.93 c #Conflicts: 10000 | #Constraints: 4362
1999.78/2005.93 c GLOBAL bounds - >= -9389109 @ 1985.19
2304.68/2311.75 c #Conflicts: 11000 | #Constraints: 5364
2304.68/2311.75 c GLOBAL bounds - >= -9389109 @ 2289.97
2355.63/2362.86 c GLOBAL bounds - >= -9389109 @ 2340.77
2378.16/2385.49 c GLOBAL bounds - >= -9389109 @ 2363.27
2441.47/2448.95 c GLOBAL bounds - >= -9389109 @ 2426.34
2502.19/2509.82 c #Conflicts: 12000 | #Constraints: 6372
2502.19/2509.82 c INPROCESSING
2502.19/2509.82 c GARBAGE COLLECT
2502.19/2509.82 c GLOBAL bounds - >= -9389109 @ 2486.77
2622.84/2630.89 c GLOBAL bounds - >= -9389109 @ 2607.33
2662.82/2670.99 c GLOBAL bounds - >= -9389109 @ 2647.21
2666.81/2674.97 c GLOBAL bounds - >= -9389109 @ 2651.14
2680.97/2689.13 c GLOBAL bounds - >= -9389109 @ 2665.2
3065.27/3074.59 c #Conflicts: 13000 | #Constraints: 4832
3065.27/3074.59 c #Conflicts: 14000 | #Constraints: 5832
3065.27/3074.59 c GLOBAL bounds - >= -9389109 @ 3049.11
3600.00/3610.76 c #Conflicts: 15000 | #Constraints: 6834
3600.00/3610.76 c INPROCESSING
3600.00/3610.76 c GARBAGE COLLECT
3600.00/3610.76 c #Conflicts: 16000 | #Constraints: 5057
3600.00/3610.76 c cpu time 3583.52 s
3600.00/3610.76 c deterministic time 1 1.00e+00
3600.00/3610.76 c optimization time 3583.39 s
3600.00/3610.76 c total solve time 0 s
3600.00/3610.76 c core-guided solve time 0 s
3600.00/3610.76 c propagation time 0.000369 s
3600.00/3610.76 c conflict analysis time 0 s
3600.00/3610.76 c propagations 0
3600.00/3610.76 c resolve steps 0
3600.00/3610.76 c decisions 0
3600.00/3610.76 c conflicts 0
3600.00/3610.76 c restarts 0
3600.00/3610.76 c inprocessing phases 0
3600.00/3610.76 c garbage collections 0 ,( -nan )
3600.00/3610.76 c input clauses 22 ,( 3.58 )
3600.00/3610.76 c input cardinalities 593 ,( 96.42 )
3600.00/3610.76 c input general constraints 0 ,( 0.00 )
3600.00/3610.76 c input average constraint length 402.42
3600.00/3610.76 c input average constraint degree 401.42
3600.00/3610.76 c learned clauses 0 ,( 0.00 )
3600.00/3610.76 c learned cardinalities 0 ,( 0.00 )
3600.00/3610.76 c learned general constraints 0 ,( 0.00 )
3600.00/3610.76 c learned average constraint length 0.00
3600.00/3610.76 c learned average constraint degree 0.00
3600.00/3610.76 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.76 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3610.76 c watched constraints 0 ,( -nan )
3600.00/3610.76 c counting constraints 0 ,( -nan )
3600.00/3610.76 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3610.76 c gcd simplifications 0
3600.00/3610.76 c detected cardinalities 0
3600.00/3610.76 c weakened non-implied lits 0
3600.00/3610.76 c weakened non-implying lits 0
3600.00/3610.76 c original variables 83285
3600.00/3610.76 c clausal propagations 0
3600.00/3610.76 c cardinality propagations 0
3600.00/3610.76 c watched propagations 0
3600.00/3610.76 c counting propagations 0
3600.00/3610.76 c watch lookups 0
3600.00/3610.76 c watch backjump lookups 0
3600.00/3610.76 c watch checks 0
3600.00/3610.76 c propagation checks 0
3600.00/3610.76 c constraint additions 0
3600.00/3610.76 c trail pops 0
3600.00/3610.76 c formula constraints 615
3600.00/3610.76 c learned constraints 0
3600.00/3610.76 c bound constraints 0
3600.00/3610.76 c core-guided constraints 0
3600.00/3610.76 c encountered formula constraints 0
3600.00/3610.76 c encountered learned constraints 0
3600.00/3610.76 c encountered bound constraints 0
3600.00/3610.76 c encountered core-guided constraints 0
3600.00/3610.76 c LP total time 0 s
3600.00/3610.76 c LP solve time 0 s
3600.00/3610.76 c LP constraints added 0
3600.00/3610.76 c LP constraints removed 0
3600.00/3610.76 c LP pivots internal 0
3600.00/3610.76 c LP pivots root 0
3600.00/3610.76 c LP calls 0
3600.00/3610.76 c LP optimalities 0
3600.00/3610.76 c LP no pivot count 0
3600.00/3610.76 c LP infeasibilities 0
3600.00/3610.76 c LP valid Farkas constraints 0
3600.00/3610.76 c LP learned Farkas constraints 0
3600.00/3610.76 c LP basis resets 0
3600.00/3610.76 c LP cycling count 0
3600.00/3610.76 c LP singular count 0
3600.00/3610.76 c LP no primal count 0
3600.00/3610.76 c LP no farkas count 0
3600.00/3610.76 c LP other issue count 0
3600.00/3610.76 c LP Gomory cuts 0
3600.00/3610.76 c LP learned cuts 0
3600.00/3610.76 c LP deleted cuts 0
3600.00/3610.76 c LP encountered Gomory constraints 0
3600.00/3610.76 c LP encountered Farkas constraints 0
3600.00/3610.76 c LP encountered learned Farkas constraints 0
3600.00/3610.76 c CG auxiliary variables introduced 0
3600.00/3610.76 c CG solutions found 0
3600.00/3610.76 c CG cores constructed 0
3600.00/3610.76 c CG core cardinality constraints returned 0
3600.00/3610.76 c CG unit cores 0
3600.00/3610.76 c CG single cores 0
3600.00/3610.76 c CG blocks removed during cardinality reduction 0
3600.00/3610.76 c CG first core best 0
3600.00/3610.76 c CG decision core best 0
3600.00/3610.76 c CG core reduction tie 0
3600.00/3610.76 c CG core degree average 0.00
3600.00/3610.76 c CG core slack average 0.00
3600.00/3610.76 c CG core upper bound improvements 0
3600.00/3610.76 c STR number of successful calls 0
3600.00/3610.76 c STR number of unsuccessful calls 0
3600.00/3610.76 c STR number of inconclusive calls 0
3600.00/3610.76 c STR number of successful attempts 0
3600.00/3610.76 c STR number of unsuccessful attempts 0
3600.00/3610.76 c STR number of inconclusive attempts 0
3600.00/3610.76 c STR average degree increase per successful call inf
3600.00/3610.76 c STR average degree increase per successful attempt inf
3600.00/3610.76 c STR total number of conflicts for successful attempts 0
3600.00/3610.76 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.76 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.76 c STR average number of conflicts per successful attempt inf
3600.00/3610.76 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.76 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.76 c AVG.sumWPerc -nan
3600.00/3610.76 c bigint constraints 0
3600.00/3610.76 s UNKNOWN
3600.00/3610.76 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 (58968 MiB free)
memory of node 1: 64507 MiB (56040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523378-1751650785/watcher-4523378-1751650785 -o /tmp/evaluation-result-4523378-1751650785/solver-4523378-1751650785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751647175-101047 --watchdog 3760 run-opt.sh HOME/instance-4523378-1751650785.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=101479, runsolver pid=101476
[startup+0.100067 s]*
/proc/loadavg: 4.05 4.12 4.08 5/265 101481
/proc/meminfo: memFree=119789884/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=77328 memory=32248 CPUtime=0.08 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 6919 0 0 0 7 1 0 0 20 0 1 0 80756249 79183872 8062 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 19332 8062 1888 1147 0 6759 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 81520 KiB
Current children cumulated memory: 35320 KiB
[startup+0.205655 s]*
/proc/loadavg: 4.05 4.12 4.08 5/263 101481
/proc/meminfo: memFree=120227284/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=118772 memory=75444 CPUtime=0.19 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 14827 0 0 0 16 3 0 0 20 0 1 0 80756249 121622528 18861 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 29693 18861 2304 1147 0 17120 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 122964 KiB
Current children cumulated memory: 78516 KiB
[startup+0.305607 s]*
/proc/loadavg: 4.05 4.12 4.08 5/261 101489
/proc/meminfo: memFree=120223356/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=128764 memory=82484 CPUtime=0.29 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 16563 0 0 0 21 8 0 0 20 0 1 0 80756249 131854336 20621 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 32191 20621 2336 1147 0 19618 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132956 KiB
Current children cumulated memory: 85556 KiB
[startup+0.700236 s]
/proc/loadavg: 4.05 4.12 4.08 4/263 101495
/proc/meminfo: memFree=120223680/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=140388 memory=91956 CPUtime=0.68 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 18904 0 0 0 41 27 0 0 20 0 1 0 80756249 143757312 22989 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 35097 22989 2336 1147 0 22524 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 144580 KiB
Current children cumulated memory: 95028 KiB
[startup+1.50022 s]
/proc/loadavg: 4.05 4.12 4.08 4/259 101512
/proc/meminfo: memFree=120258556/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=158956 memory=109824 CPUtime=1.48 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 19339 0 0 0 88 60 0 0 20 0 1 0 80756249 162770944 27456 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 39739 27456 2336 1147 0 27166 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 163148 KiB
Current children cumulated memory: 112896 KiB
[startup+3.1053 s]
/proc/loadavg: 4.05 4.12 4.08 4/259 101512
/proc/meminfo: memFree=120234448/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=177812 memory=124040 CPUtime=3.07 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 20342 0 0 0 194 113 0 0 20 0 1 0 80756249 182079488 31010 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 44453 31010 2336 1147 0 31880 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 182004 KiB
Current children cumulated memory: 127112 KiB
[startup+6.3002 s]
/proc/loadavg: 4.04 4.12 4.08 4/259 101512
/proc/meminfo: memFree=120210460/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=227600 memory=155028 CPUtime=6.26 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 21451 0 0 0 438 188 0 0 20 0 1 0 80756249 233062400 38757 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 56900 38757 2336 1147 0 44327 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 231792 KiB
Current children cumulated memory: 158100 KiB
[startup+12.7002 s]
/proc/loadavg: 3.96 4.10 4.08 4/259 101512
/proc/meminfo: memFree=120149480/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=277688 memory=216596 CPUtime=12.64 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 22014 0 0 0 977 287 0 0 20 0 1 0 80756249 284352512 54149 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 69422 54149 2368 1147 0 56849 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 281880 KiB
Current children cumulated memory: 219668 KiB
[startup+25.5002 s]
/proc/loadavg: 3.75 4.05 4.06 4/259 101512
/proc/meminfo: memFree=120026036/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=491336 memory=321716 CPUtime=25.41 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 22744 0 0 0 2048 493 0 0 20 0 1 0 80756249 503128064 80429 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 122834 80429 2368 1147 0 110261 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 495528 KiB
Current children cumulated memory: 324788 KiB
[startup+51.1054 s]
/proc/loadavg: 3.57 3.98 4.04 4/259 101513
/proc/meminfo: memFree=119786108/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=714764 memory=526724 CPUtime=50.94 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 25475 0 0 0 4292 802 0 0 20 0 1 0 80756249 731918336 131681 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 178691 131681 2368 1147 0 166118 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 718956 KiB
Current children cumulated memory: 529796 KiB
[startup+102.3 s]
/proc/loadavg: 3.32 3.84 3.99 4/259 101515
/proc/meminfo: memFree=119348256/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=1097884 memory=894444 CPUtime=101.99 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 34746 0 0 0 9141 1058 0 0 20 0 1 0 80756249 1124233216 223611 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 274471 223611 2368 1147 0 261898 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1102076 KiB
Current children cumulated memory: 897516 KiB
[startup+162.3 s]
/proc/loadavg: 3.17 3.70 3.93 4/260 101524
/proc/meminfo: memFree=118944900/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=1687668 memory=1204288 CPUtime=161.8 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 41178 0 0 0 15099 1081 0 0 20 0 1 0 80756249 1728172032 301072 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 421917 301072 2368 1147 0 409344 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1691860 KiB
Current children cumulated memory: 1207360 KiB
[startup+222.3 s]
/proc/loadavg: 3.22 3.61 3.88 4/260 101526
/proc/meminfo: memFree=118608300/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=1721492 memory=1468864 CPUtime=221.62 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 49681 0 0 0 21059 1103 0 0 20 0 1 0 80756249 1762807808 367216 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 430373 367216 2368 1147 0 417800 0
################
# More data... #
################
[pid=101481] ppid=101479 vsize=5169800 memory=4503956 CPUtime=3092.99 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 298797 0 0 0 307668 1631 0 0 20 0 1 0 80756249 5293875200 1125989 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 1292450 1125989 2368 1147 0 1279877 0
Current children cumulated CPU time: 3092.99 s
Current children cumulated vsize: 5173992 KiB
Current children cumulated memory: 4507028 KiB
[startup+3162.3 s]
/proc/loadavg: 2.12 2.31 2.73 3/253 101703
/proc/meminfo: memFree=115190536/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=5227792 memory=4659172 CPUtime=3152.81 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 312947 0 0 0 313638 1643 0 0 20 0 1 0 80756249 5353259008 1164793 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 1306948 1164793 2368 1147 0 1294375 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 5231984 KiB
Current children cumulated memory: 4662244 KiB
[startup+3222.3 s]
/proc/loadavg: 1.81 2.20 2.66 2/245 101736
/proc/meminfo: memFree=117214400/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=5232368 memory=4663780 CPUtime=3212.65 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 314771 0 0 0 319619 1646 0 0 20 0 1 0 80756249 5357944832 1165945 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 1308092 1165945 2368 1147 0 1295519 0
Current children cumulated CPU time: 3212.65 s
Current children cumulated vsize: 5236560 KiB
Current children cumulated memory: 4666852 KiB
[startup+3282.3 s]
/proc/loadavg: 1.37 2.00 2.56 2/245 101737
/proc/meminfo: memFree=117209972/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=5235980 memory=4667236 CPUtime=3272.48 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 316143 0 0 0 325602 1646 0 0 20 0 1 0 80756249 5361643520 1166809 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 1308995 1166809 2368 1147 0 1296422 0
Current children cumulated CPU time: 3272.48 s
Current children cumulated vsize: 5240172 KiB
Current children cumulated memory: 4670308 KiB
[startup+3342.3 s]
/proc/loadavg: 1.19 1.83 2.47 2/245 101739
/proc/meminfo: memFree=117202468/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=5239556 memory=4670820 CPUtime=3332.32 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 317315 0 0 0 331585 1647 0 0 20 0 1 0 80756249 5365305344 1167705 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 1309889 1167705 2368 1147 0 1297316 0
Current children cumulated CPU time: 3332.32 s
Current children cumulated vsize: 5243748 KiB
Current children cumulated memory: 4673892 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.69 2.38 2/245 101741
/proc/meminfo: memFree=117166892/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=5272384 memory=4700132 CPUtime=3392.17 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 325971 0 0 0 337565 1652 0 0 20 0 1 0 80756249 5398921216 1175033 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 1318096 1175033 2368 1147 0 1305523 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 5276576 KiB
Current children cumulated memory: 4703204 KiB
[startup+3462.3 s]
/proc/loadavg: 1.07 1.58 2.29 2/245 101743
/proc/meminfo: memFree=117158920/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=5281392 memory=4709604 CPUtime=3452 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 328411 0 0 0 343547 1653 0 0 20 0 1 0 80756249 5408145408 1177401 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 1320348 1177401 2368 1147 0 1307775 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 5285584 KiB
Current children cumulated memory: 4712676 KiB
[startup+3522.3 s]
/proc/loadavg: 1.07 1.48 2.21 2/246 101746
/proc/meminfo: memFree=117159632/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=5281948 memory=4710244 CPUtime=3511.84 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 330140 0 0 0 349530 1654 0 0 20 0 1 0 80756249 5408714752 1177561 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 1320487 1177561 2368 1147 0 1307914 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 5286140 KiB
Current children cumulated memory: 4713316 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.43 2.15 2/246 101748
/proc/meminfo: memFree=117161824/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=5284660 memory=4713060 CPUtime=3571.67 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 331004 0 0 0 355513 1654 0 0 20 0 1 0 80756249 5411491840 1178265 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 1321165 1178265 2368 1147 0 1308592 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 5288852 KiB
Current children cumulated memory: 4716132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 1.09 1.38 2.11 2/246 101749
/proc/meminfo: memFree=117154012/131249996 swapFree=33010416/33010684
[pid=101479] ppid=101476 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/101479/stat : 101479 (run-opt.sh) S 101476 101479 100629 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80756248 4292608 768 18446744073709551615 94389892235264 94389893129797 140732339391920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94389893368848 94389893416592 94389925634048 140732339394923 140732339395046 140732339395046 140732339400650 0
/proc/101479/statm: 1048 768 704 219 0 110 0
[pid=101481] ppid=101479 vsize=5287632 memory=4716132 CPUtime=3600 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101479 101479 100629 0 -1 4194304 332178 0 0 0 358345 1655 0 0 20 0 1 0 80756249 5414535168 1179033 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 1321908 1179033 2368 1147 0 1309335 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 5291824 KiB
Current children cumulated memory: 4719204 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.7 s]
# the end of solver process 101479 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002294 s, system=0 s
Sleeping 2 seconds
[startup+3610.82 s]
# the end of solver process 101481 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.55 s, system=16.5815 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.8 s]*
/proc/loadavg: 1.09 1.38 2.11 2/245 101749
/proc/meminfo: memFree=121230300/131249996 swapFree=33010416/33010684
[pid=101481] ppid=101476 vsize=317872 memory=275188 CPUtime=3600.11 cores=5,7
/proc/101481/stat : 101481 (roundingsat) R 101476 101479 100629 0 -1 4194304 332264 0 0 0 358354 1657 0 0 20 0 1 0 80756249 325500928 68797 18446744073709551615 4227072 8923433 140728031880672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37179392 140728031889824 140728031889958 140728031889958 140728031895530 0
/proc/101481/statm: 79468 68797 2464 1147 0 66895 0
Current cumulated CPU time of completed processes: 0.002294 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 317872 KiB
Current children cumulated memory: 275188 KiB
Child status: 2
Real time (s): 3610.82
CPU time (s): 3600.13
CPU user time (s): 3583.55
CPU system time (s): 16.5815
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 5291824
Max. memory (cumulated for all children) (KiB): 4719204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.55
system time used= 16.5815
maximum resident set size= 4716388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332486
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= 197
involuntary context switches= 3973
# summary of solver processes directly reported to runsolver:
# pid: 101479,101481
# total CPU time (s): 3600.13
# total CPU user time (s): 3583.55
# total CPU system time (s): 16.5815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.89077 second user time and 15.3629 second system time
The end
Begin job on nodeC022 at 2025-07-04 19:39:45
IDJOB=4523378
IDBENCH=180121
IDSOLVER=3350
FILE ID=nodeC022/4523378-1751650785
RUNJOBID= nodeC022-1751647175-101047
SLURM_JOB_ID= 9672327
Free space on /tmp= 432248 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_680_004.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523378-1751650785/watcher-4523378-1751650785 -o /tmp/evaluation-result-4523378-1751650785/solver-4523378-1751650785 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751647175-101047 --watchdog 3760 run-opt.sh HOME/instance-4523378-1751650785.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 979facf7d2b0cd6465681d1d436ff5eb
RANDOM SEED=894533849
nodeC022 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.685
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.44
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.623
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.44
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 : 3530.740
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.44
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 : 3612.242
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.030
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.44
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 : 3597.441
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.44
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 : 3621.749
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.44
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 : 3600.023
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 115789156 kB
MemAvailable: 123566724 kB
Buffers: 2128 kB
Cached: 8526400 kB
SwapCached: 32 kB
Active: 6796208 kB
Inactive: 7875240 kB
Active(anon): 6156776 kB
Inactive(anon): 4176 kB
Active(file): 639432 kB
Inactive(file): 7871064 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10468 kB
Writeback: 216 kB
AnonPages: 6121744 kB
Mapped: 118428 kB
Shmem: 18028 kB
KReclaimable: 212224 kB
Slab: 305688 kB
SReclaimable: 212224 kB
SUnreclaim: 93464 kB
KernelStack: 4304 kB
PageTables: 16160 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 7302304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1146880 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= 432276 MiB
End job on nodeC022 at 2025-07-04 20:39:56