0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.17/0.26 c #variables 40451 #constraints 40949
0.17/0.26 c objective is ce32
0.17/0.27 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.17/0.27 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.17/0.27 c GLOBAL bounds - >= -94230312 @ 0.189119
0.27/0.31 c GLOBAL bounds - >= -94230312 @ 0.204461
0.27/0.36 c GLOBAL bounds - >= -94230312 @ 0.222256
0.27/0.40 c GLOBAL bounds - >= -94230312 @ 0.241693
0.37/0.45 c GLOBAL bounds - >= -94230312 @ 0.26645
0.37/0.50 c GLOBAL bounds - >= -94230312 @ 0.298964
0.47/0.54 c GLOBAL bounds - >= -94230312 @ 0.314232
0.47/0.59 c GLOBAL bounds - >= -94230312 @ 0.331144
0.56/0.64 c GLOBAL bounds - >= -94230312 @ 0.363803
0.56/0.69 c GLOBAL bounds - >= -94230312 @ 0.391927
0.66/0.73 c GLOBAL bounds - >= -94230312 @ 0.413107
0.66/0.78 c GLOBAL bounds - >= -94230312 @ 0.434507
0.75/0.83 c GLOBAL bounds - >= -94230312 @ 0.458867
0.75/0.88 c GLOBAL bounds - >= -94230312 @ 0.477104
0.86/0.92 c GLOBAL bounds - >= -94230312 @ 0.496824
0.86/0.97 c GLOBAL bounds - >= -94230312 @ 0.529201
0.97/1.03 c GLOBAL bounds - >= -94230312 @ 0.558985
0.97/1.07 c GLOBAL bounds - >= -94230312 @ 0.580015
1.06/1.12 c GLOBAL bounds - >= -94230312 @ 0.59824
1.06/1.17 c GLOBAL bounds - >= -94230312 @ 0.628517
1.16/1.23 c GLOBAL bounds - >= -94230312 @ 0.653436
1.16/1.28 c GLOBAL bounds - >= -94230312 @ 0.677434
1.26/1.32 c GLOBAL bounds - >= -94230312 @ 0.702051
1.26/1.38 c GLOBAL bounds - >= -94230312 @ 0.731457
1.36/1.44 c GLOBAL bounds - >= -94230312 @ 0.759347
1.36/1.48 c GLOBAL bounds - >= -94230312 @ 0.782245
1.45/1.56 c GLOBAL bounds - >= -94230312 @ 0.831462
1.55/1.63 c GLOBAL bounds - >= -94230312 @ 0.87012
1.55/1.69 c GLOBAL bounds - >= -94230312 @ 0.912071
1.66/1.75 c GLOBAL bounds - >= -94230312 @ 0.95325
1.75/1.80 c GLOBAL bounds - >= -94230312 @ 0.980066
1.75/1.86 c GLOBAL bounds - >= -94230312 @ 1.0124
1.86/1.91 c GLOBAL bounds - >= -94230312 @ 1.04525
1.86/1.96 c GLOBAL bounds - >= -94230312 @ 1.07532
1.96/2.01 c GLOBAL bounds - >= -94230312 @ 1.10319
1.96/2.08 c GLOBAL bounds - >= -94230312 @ 1.15537
2.85/2.91 c GLOBAL bounds - >= -94230312 @ 1.95319
2.85/2.97 c GLOBAL bounds - >= -94230312 @ 1.98671
2.96/3.05 c GLOBAL bounds - >= -94230312 @ 2.04919
3.06/3.11 c GLOBAL bounds - >= -94230312 @ 2.07968
3.06/3.19 c GLOBAL bounds - >= -94230312 @ 2.13391
3.15/3.25 c GLOBAL bounds - >= -94230312 @ 2.17082
3.25/3.37 c GLOBAL bounds - >= -94230312 @ 2.25396
3.35/3.43 c GLOBAL bounds - >= -94230312 @ 2.2897
3.45/3.50 c GLOBAL bounds - >= -94230312 @ 2.33739
3.45/3.56 c GLOBAL bounds - >= -94230312 @ 2.37482
3.55/3.63 c GLOBAL bounds - >= -94230312 @ 2.42087
3.55/3.69 c GLOBAL bounds - >= -94230312 @ 2.46442
3.65/3.76 c GLOBAL bounds - >= -94230312 @ 2.51265
3.75/3.86 c GLOBAL bounds - >= -94230312 @ 2.58968
4.25/4.36 c GLOBAL bounds - >= -94230312 @ 3.06765
4.35/4.43 c GLOBAL bounds - >= -94230312 @ 3.11035
4.45/4.51 c GLOBAL bounds - >= -94230312 @ 3.16436
4.45/4.59 c GLOBAL bounds - >= -94230312 @ 3.22443
5.34/5.44 c GLOBAL bounds - >= -94230312 @ 4.04953
5.45/5.53 c GLOBAL bounds - >= -94230312 @ 4.1139
5.54/5.62 c GLOBAL bounds - >= -94230312 @ 4.17433
5.54/5.69 c GLOBAL bounds - >= -94230312 @ 4.22665
5.65/5.77 c GLOBAL bounds - >= -94230312 @ 4.27756
5.75/5.86 c GLOBAL bounds - >= -94230312 @ 4.34806
5.84/5.96 c GLOBAL bounds - >= -94230312 @ 4.42258
5.94/6.04 c GLOBAL bounds - >= -94230312 @ 4.4662
6.14/6.21 c GLOBAL bounds - >= -94230312 @ 4.60903
6.24/6.37 c GLOBAL bounds - >= -94230312 @ 4.74855
6.34/6.47 c GLOBAL bounds - >= -94230312 @ 4.82646
6.44/6.56 c GLOBAL bounds - >= -94230312 @ 4.88439
6.54/6.67 c GLOBAL bounds - >= -94230312 @ 4.97449
6.74/6.82 c GLOBAL bounds - >= -94230312 @ 5.09265
6.83/6.92 c GLOBAL bounds - >= -94230312 @ 5.18123
6.95/7.03 c GLOBAL bounds - >= -94230312 @ 5.26753
7.05/7.12 c GLOBAL bounds - >= -94230312 @ 5.33023
7.14/7.21 c GLOBAL bounds - >= -94230312 @ 5.40634
7.24/7.31 c GLOBAL bounds - >= -94230312 @ 5.48595
7.34/7.48 c GLOBAL bounds - >= -94230312 @ 5.6336
7.54/7.63 c GLOBAL bounds - >= -94230312 @ 5.76371
7.64/7.72 c GLOBAL bounds - >= -94230312 @ 5.82777
7.74/7.82 c GLOBAL bounds - >= -94230312 @ 5.89695
7.84/7.92 c GLOBAL bounds - >= -94230312 @ 5.97274
7.94/8.02 c GLOBAL bounds - >= -94230312 @ 6.05017
8.04/8.11 c GLOBAL bounds - >= -94230312 @ 6.11964
8.14/8.23 c GLOBAL bounds - >= -94230312 @ 6.22386
8.23/8.31 c GLOBAL bounds - >= -94230312 @ 6.28323
8.23/8.39 c GLOBAL bounds - >= -94230312 @ 6.33646
8.54/8.68 c GLOBAL bounds - >= -94230312 @ 6.59579
8.74/8.84 c GLOBAL bounds - >= -94230312 @ 6.73251
9.23/9.33 c GLOBAL bounds - >= -94230312 @ 7.17571
9.34/9.44 c GLOBAL bounds - >= -94230312 @ 7.25892
9.43/9.57 c GLOBAL bounds - >= -94230312 @ 7.36361
11.13/11.26 c GLOBAL bounds - >= -94230312 @ 8.9589
11.33/11.41 c GLOBAL bounds - >= -94230312 @ 9.08887
11.42/11.56 c GLOBAL bounds - >= -94230312 @ 9.20298
11.63/11.71 c GLOBAL bounds - >= -94230312 @ 9.32551
11.73/11.85 c GLOBAL bounds - >= -94230312 @ 9.4375
11.83/12.00 c GLOBAL bounds - >= -94230312 @ 9.56139
12.03/12.15 c GLOBAL bounds - >= -94230312 @ 9.69203
12.22/12.32 c GLOBAL bounds - >= -94230312 @ 9.84002
12.32/12.47 c GLOBAL bounds - >= -94230312 @ 9.962
12.52/12.62 c GLOBAL bounds - >= -94230312 @ 10.084
12.63/12.77 c GLOBAL bounds - >= -94230312 @ 10.2117
13.62/13.70 c GLOBAL bounds - >= -94230312 @ 11.091
14.02/14.13 c GLOBAL bounds - >= -94230312 @ 11.4988
14.32/14.46 c GLOBAL bounds - >= -94230312 @ 11.8044
17.21/17.35 c GLOBAL bounds - >= -94230312 @ 14.6091
17.41/17.51 c GLOBAL bounds - >= -94230312 @ 14.7542
17.52/17.68 c GLOBAL bounds - >= -94230312 @ 14.8984
17.71/17.85 c GLOBAL bounds - >= -94230312 @ 15.0374
17.92/18.02 c GLOBAL bounds - >= -94230312 @ 15.1795
18.02/18.19 c GLOBAL bounds - >= -94230312 @ 15.3233
19.10/19.25 c GLOBAL bounds - >= -94230312 @ 16.3371
19.31/19.43 c GLOBAL bounds - >= -94230312 @ 16.4924
19.51/19.60 c GLOBAL bounds - >= -94230312 @ 16.6325
19.71/19.80 c GLOBAL bounds - >= -94230312 @ 16.8031
19.81/19.98 c GLOBAL bounds - >= -94230312 @ 16.9552
20.01/20.16 c GLOBAL bounds - >= -94230312 @ 17.1075
20.21/20.39 c GLOBAL bounds - >= -94230312 @ 17.3126
20.41/20.58 c GLOBAL bounds - >= -94230312 @ 17.4669
20.60/20.76 c GLOBAL bounds - >= -94230312 @ 17.6185
20.80/20.96 c GLOBAL bounds - >= -94230312 @ 17.7977
21.01/21.19 c GLOBAL bounds - >= -94230312 @ 17.9991
21.20/21.38 c GLOBAL bounds - >= -94230312 @ 18.1524
21.40/21.56 c GLOBAL bounds - >= -94230312 @ 18.3059
21.60/21.76 c GLOBAL bounds - >= -94230312 @ 18.4742
29.18/29.36 c #Conflicts: 1000 | #Constraints: 1727
29.18/29.36 c GLOBAL bounds - >= -94230312 @ 25.9101
29.37/29.59 c GLOBAL bounds - >= -94230312 @ 26.109
29.67/29.83 c GLOBAL bounds - >= -94230312 @ 26.316
29.88/30.04 c GLOBAL bounds - >= -94230312 @ 26.5035
30.07/30.26 c GLOBAL bounds - >= -94230312 @ 26.6975
31.87/32.08 c GLOBAL bounds - >= -94230312 @ 28.4733
32.17/32.34 c GLOBAL bounds - >= -94230312 @ 28.6959
32.37/32.58 c GLOBAL bounds - >= -94230312 @ 28.9071
32.77/32.93 c GLOBAL bounds - >= -94230312 @ 29.2273
32.98/33.17 c GLOBAL bounds - >= -94230312 @ 29.4419
33.26/33.46 c GLOBAL bounds - >= -94230312 @ 29.702
33.76/33.90 c GLOBAL bounds - >= -94230312 @ 30.0985
34.06/34.21 c GLOBAL bounds - >= -94230312 @ 30.3839
34.26/34.45 c GLOBAL bounds - >= -94230312 @ 30.5993
34.57/34.71 c GLOBAL bounds - >= -94230312 @ 30.8318
34.76/34.98 c GLOBAL bounds - >= -94230312 @ 31.0776
35.06/35.25 c GLOBAL bounds - >= -94230312 @ 31.3247
35.35/35.59 c GLOBAL bounds - >= -94230312 @ 31.6349
35.65/35.89 c GLOBAL bounds - >= -94230312 @ 31.9162
36.06/36.26 c GLOBAL bounds - >= -94230312 @ 32.2648
36.36/36.52 c GLOBAL bounds - >= -94230312 @ 32.5078
36.76/36.95 c GLOBAL bounds - >= -94230312 @ 32.903
37.05/37.21 c GLOBAL bounds - >= -94230312 @ 33.1428
37.85/38.00 c GLOBAL bounds - >= -94230312 @ 33.8799
38.05/38.25 c GLOBAL bounds - >= -94230312 @ 34.1065
38.25/38.49 c GLOBAL bounds - >= -94230312 @ 34.3265
38.54/38.74 c GLOBAL bounds - >= -94230312 @ 34.5394
38.75/38.98 c GLOBAL bounds - >= -94230312 @ 34.7577
39.04/39.23 c GLOBAL bounds - >= -94230312 @ 34.9834
39.25/39.47 c GLOBAL bounds - >= -94230312 @ 35.1961
39.55/39.72 c GLOBAL bounds - >= -94230312 @ 35.4295
39.74/39.97 c GLOBAL bounds - >= -94230312 @ 35.647
40.05/40.23 c GLOBAL bounds - >= -94230312 @ 35.8755
42.33/42.55 c GLOBAL bounds - >= -94230312 @ 38.1324
42.64/42.83 c GLOBAL bounds - >= -94230312 @ 38.3849
47.82/48.10 c GLOBAL bounds - >= -94230312 @ 43.4681
48.72/48.98 c GLOBAL bounds - >= -94230312 @ 44.3109
49.12/49.38 c GLOBAL bounds - >= -94230312 @ 44.687
49.52/49.79 c GLOBAL bounds - >= -94230312 @ 45.065
50.01/50.21 c GLOBAL bounds - >= -94230312 @ 45.4667
50.31/50.58 c GLOBAL bounds - >= -94230312 @ 45.8059
51.61/51.80 c GLOBAL bounds - >= -94230312 @ 46.9856
52.01/52.21 c GLOBAL bounds - >= -94230312 @ 47.3612
52.41/52.60 c GLOBAL bounds - >= -94230312 @ 47.7189
52.71/52.98 c GLOBAL bounds - >= -94230312 @ 48.0724
53.11/53.37 c GLOBAL bounds - >= -94230312 @ 48.4304
54.20/54.41 c GLOBAL bounds - >= -94230312 @ 49.4422
54.81/55.05 c GLOBAL bounds - >= -94230312 @ 50.0528
55.21/55.45 c GLOBAL bounds - >= -94230312 @ 50.425
55.60/55.84 c GLOBAL bounds - >= -94230312 @ 50.7911
56.00/56.24 c GLOBAL bounds - >= -94230312 @ 51.162
56.40/56.63 c GLOBAL bounds - >= -94230312 @ 51.541
56.81/57.07 c GLOBAL bounds - >= -94230312 @ 51.9584
57.20/57.44 c GLOBAL bounds - >= -94230312 @ 52.3194
57.90/58.19 c GLOBAL bounds - >= -94230312 @ 53.0309
58.59/58.83 c GLOBAL bounds - >= -94230312 @ 53.6541
58.90/59.18 c GLOBAL bounds - >= -94230312 @ 53.978
59.29/59.54 c GLOBAL bounds - >= -94230312 @ 54.3189
59.69/59.91 c GLOBAL bounds - >= -94230312 @ 54.6639
60.09/60.30 c GLOBAL bounds - >= -94230312 @ 55.0385
60.39/60.68 c GLOBAL bounds - >= -94230312 @ 55.3889
60.79/61.09 c GLOBAL bounds - >= -94230312 @ 55.7857
61.68/61.95 c GLOBAL bounds - >= -94230312 @ 56.596
61.98/62.29 c GLOBAL bounds - >= -94230312 @ 56.9279
62.58/62.84 c GLOBAL bounds - >= -94230312 @ 57.4555
63.08/63.39 c GLOBAL bounds - >= -94230312 @ 57.9785
63.48/63.75 c GLOBAL bounds - >= -94230312 @ 58.3278
63.88/64.11 c GLOBAL bounds - >= -94230312 @ 58.6596
64.27/64.50 c GLOBAL bounds - >= -94230312 @ 59.0347
64.78/65.04 c GLOBAL bounds - >= -94230312 @ 59.552
65.37/65.67 c GLOBAL bounds - >= -94230312 @ 60.1467
65.78/66.04 c GLOBAL bounds - >= -94230312 @ 60.4935
66.17/66.42 c GLOBAL bounds - >= -94230312 @ 60.8467
66.47/66.80 c GLOBAL bounds - >= -94230312 @ 61.1962
67.16/67.47 c GLOBAL bounds - >= -94230312 @ 61.8348
67.77/68.06 c GLOBAL bounds - >= -94230312 @ 62.3906
68.16/68.45 c GLOBAL bounds - >= -94230312 @ 62.7577
68.56/68.85 c GLOBAL bounds - >= -94230312 @ 63.1205
68.96/69.24 c GLOBAL bounds - >= -94230312 @ 63.4964
70.76/71.02 c GLOBAL bounds - >= -94230312 @ 65.2201
71.15/71.43 c GLOBAL bounds - >= -94230312 @ 65.6077
71.55/71.85 c GLOBAL bounds - >= -94230312 @ 66.0072
72.15/72.41 c GLOBAL bounds - >= -94230312 @ 66.5418
72.55/72.89 c GLOBAL bounds - >= -94230312 @ 66.9913
73.05/73.38 c GLOBAL bounds - >= -94230312 @ 67.4563
73.55/73.85 c GLOBAL bounds - >= -94230312 @ 67.9026
74.05/74.35 c GLOBAL bounds - >= -94230312 @ 68.3786
75.85/76.19 c GLOBAL bounds - >= -94230312 @ 70.1693
77.44/77.72 c GLOBAL bounds - >= -94230312 @ 71.6782
78.93/79.21 c GLOBAL bounds - >= -94230312 @ 73.1492
80.13/80.42 c GLOBAL bounds - >= -94230312 @ 74.3341
81.53/81.80 c GLOBAL bounds - >= -94230312 @ 75.6926
84.12/84.41 c GLOBAL bounds - >= -94230312 @ 78.2465
84.51/84.86 c GLOBAL bounds - >= -94230312 @ 78.6744
85.02/85.31 c GLOBAL bounds - >= -94230312 @ 79.0992
85.41/85.75 c GLOBAL bounds - >= -94230312 @ 79.5121
88.40/88.79 c #Conflicts: 2000 | #Constraints: 2919
88.40/88.79 c INPROCESSING
88.40/88.79 c GARBAGE COLLECT
88.40/88.79 c GLOBAL bounds - >= -94230312 @ 82.4817
118.32/118.75 c #Conflicts: 3000 | #Constraints: 2925
118.32/118.75 c GLOBAL bounds - >= -94230312 @ 111.974
119.11/119.58 c GLOBAL bounds - >= -94230312 @ 112.755
122.20/122.61 c GLOBAL bounds - >= -94230312 @ 115.708
122.71/123.17 c GLOBAL bounds - >= -94230312 @ 116.259
123.61/124.05 c GLOBAL bounds - >= -94230312 @ 117.122
124.09/124.56 c GLOBAL bounds - >= -94230312 @ 117.615
124.60/125.03 c GLOBAL bounds - >= -94230312 @ 118.063
125.40/125.85 c GLOBAL bounds - >= -94230312 @ 118.862
222.99/223.77 c #Conflicts: 4000 | #Constraints: 3941
222.99/223.77 c INPROCESSING
222.99/223.77 c GARBAGE COLLECT
222.99/223.77 c #Conflicts: 5000 | #Constraints: 3359
222.99/223.77 c GLOBAL bounds - >= -94230312 @ 215.247
223.49/224.23 c GLOBAL bounds - >= -94230312 @ 215.678
223.99/224.70 c GLOBAL bounds - >= -94230312 @ 216.119
224.40/225.18 c GLOBAL bounds - >= -94230312 @ 216.572
225.08/225.88 c GLOBAL bounds - >= -94230312 @ 217.236
225.69/226.41 c GLOBAL bounds - >= -94230312 @ 217.736
226.19/226.95 c GLOBAL bounds - >= -94230312 @ 218.263
226.69/227.47 c GLOBAL bounds - >= -94230312 @ 218.756
227.18/227.99 c GLOBAL bounds - >= -94230312 @ 219.252
227.78/228.52 c GLOBAL bounds - >= -94230312 @ 219.763
260.97/261.89 c #Conflicts: 6000 | #Constraints: 4379
260.97/261.89 c GLOBAL bounds - >= -94230312 @ 252.818
261.68/262.59 c GLOBAL bounds - >= -94230312 @ 253.501
262.97/263.86 c GLOBAL bounds - >= -94230312 @ 254.75
318.40/319.40 c INPROCESSING
318.40/319.40 c GARBAGE COLLECT
318.40/319.40 c #Conflicts: 7000 | #Constraints: 3407
318.40/319.40 c GLOBAL bounds - >= -94230312 @ 309.896
322.19/323.25 c #Conflicts: 8000 | #Constraints: 4409
322.19/323.25 c GLOBAL bounds - >= -94230312 @ 313.558
323.38/324.42 c GLOBAL bounds - >= -94230312 @ 314.704
323.98/325.06 c GLOBAL bounds - >= -94230312 @ 315.326
324.67/325.73 c GLOBAL bounds - >= -94230312 @ 315.969
325.37/326.40 c GLOBAL bounds - >= -94230312 @ 316.628
327.37/328.46 c GLOBAL bounds - >= -94230312 @ 318.664
327.98/329.07 c GLOBAL bounds - >= -94230312 @ 319.263
328.87/329.92 c GLOBAL bounds - >= -94230312 @ 320.091
330.86/331.93 c GLOBAL bounds - >= -94230312 @ 322.085
332.06/333.11 c GLOBAL bounds - >= -94230312 @ 323.246
332.85/333.99 c GLOBAL bounds - >= -94230312 @ 324.103
334.55/335.64 c GLOBAL bounds - >= -94230312 @ 325.725
337.84/338.96 c GLOBAL bounds - >= -94230312 @ 329.003
338.64/339.74 c GLOBAL bounds - >= -94230312 @ 329.768
339.73/340.81 c GLOBAL bounds - >= -94230312 @ 330.82
346.62/347.77 c GLOBAL bounds - >= -94230312 @ 337.716
348.21/349.30 c GLOBAL bounds - >= -94230312 @ 339.227
349.10/350.26 c GLOBAL bounds - >= -94230312 @ 340.171
349.70/350.87 c GLOBAL bounds - >= -94230312 @ 340.758
350.60/351.73 c GLOBAL bounds - >= -94230312 @ 341.598
351.29/352.42 c GLOBAL bounds - >= -94230312 @ 342.265
352.10/353.20 c GLOBAL bounds - >= -94230312 @ 343.026
352.79/353.98 c GLOBAL bounds - >= -94230312 @ 343.789
353.79/354.97 c GLOBAL bounds - >= -94230312 @ 344.769
356.88/358.07 c GLOBAL bounds - >= -94230312 @ 347.842
357.67/358.86 c GLOBAL bounds - >= -94230312 @ 348.612
361.97/363.18 c GLOBAL bounds - >= -94230312 @ 352.876
386.19/387.40 c #Conflicts: 9000 | #Constraints: 5463
386.19/387.40 c INPROCESSING
386.19/387.40 c GARBAGE COLLECT
386.19/387.40 c GLOBAL bounds - >= -94230312 @ 376.818
386.69/387.93 c GLOBAL bounds - >= -94230312 @ 377.327
387.18/388.41 c GLOBAL bounds - >= -94230312 @ 377.789
387.58/388.88 c GLOBAL bounds - >= -94230312 @ 378.238
400.95/402.29 c GLOBAL bounds - >= -94230312 @ 391.408
401.35/402.66 c GLOBAL bounds - >= -94230312 @ 391.758
401.75/403.00 c GLOBAL bounds - >= -94230312 @ 392.073
402.04/403.35 c GLOBAL bounds - >= -94230312 @ 392.393
402.44/403.71 c GLOBAL bounds - >= -94230312 @ 392.732
402.75/404.07 c GLOBAL bounds - >= -94230312 @ 393.048
403.14/404.43 c GLOBAL bounds - >= -94230312 @ 393.381
569.51/571.30 c #Conflicts: 10000 | #Constraints: 4168
569.51/571.30 c #Conflicts: 11000 | #Constraints: 5168
569.51/571.30 c #Conflicts: 12000 | #Constraints: 6168
569.51/571.30 c INPROCESSING
569.51/571.30 c GARBAGE COLLECT
569.51/571.30 c GLOBAL bounds - >= -94230312 @ 559.076
570.00/571.89 c GLOBAL bounds - >= -94230312 @ 559.652
570.41/572.24 c GLOBAL bounds - >= -94230312 @ 559.987
570.80/572.63 c GLOBAL bounds - >= -94230312 @ 560.354
571.21/573.03 c GLOBAL bounds - >= -94230312 @ 560.744
571.59/573.45 c GLOBAL bounds - >= -94230312 @ 561.139
572.00/573.85 c GLOBAL bounds - >= -94230312 @ 561.533
572.40/574.24 c GLOBAL bounds - >= -94230312 @ 561.91
572.80/574.63 c GLOBAL bounds - >= -94230312 @ 562.291
576.09/577.96 c GLOBAL bounds - >= -94230312 @ 565.579
578.78/580.69 c GLOBAL bounds - >= -94230312 @ 568.262
584.06/585.93 c GLOBAL bounds - >= -94230312 @ 573.427
584.56/586.44 c GLOBAL bounds - >= -94230312 @ 573.934
589.64/591.50 c GLOBAL bounds - >= -94230312 @ 578.912
590.55/592.41 c GLOBAL bounds - >= -94230312 @ 579.808
591.15/593.01 c GLOBAL bounds - >= -94230312 @ 580.382
591.54/593.41 c GLOBAL bounds - >= -94230312 @ 580.754
592.14/594.05 c GLOBAL bounds - >= -94230312 @ 581.35
604.50/606.45 c GLOBAL bounds - >= -94230312 @ 593.264
613.08/615.05 c GLOBAL bounds - >= -94230312 @ 601.668
615.77/617.77 c GLOBAL bounds - >= -94230312 @ 604.35
616.56/618.56 c GLOBAL bounds - >= -94230312 @ 605.123
616.96/619.00 c GLOBAL bounds - >= -94230312 @ 605.537
617.56/619.54 c GLOBAL bounds - >= -94230312 @ 606.061
676.89/679.04 c #Conflicts: 13000 | #Constraints: 4668
676.89/679.04 c #Conflicts: 14000 | #Constraints: 5668
676.89/679.04 c GLOBAL bounds - >= -94230312 @ 664.494
677.77/679.98 c GLOBAL bounds - >= -94230312 @ 665.403
679.37/681.52 c GLOBAL bounds - >= -94230312 @ 666.907
679.98/682.17 c GLOBAL bounds - >= -94230312 @ 667.543
681.97/684.15 c GLOBAL bounds - >= -94230312 @ 669.496
682.57/684.79 c GLOBAL bounds - >= -94230312 @ 670.113
683.26/685.47 c GLOBAL bounds - >= -94230312 @ 670.783
684.06/686.26 c GLOBAL bounds - >= -94230312 @ 671.543
685.25/687.43 c GLOBAL bounds - >= -94230312 @ 672.682
686.25/688.45 c GLOBAL bounds - >= -94230312 @ 673.688
687.35/689.53 c GLOBAL bounds - >= -94230312 @ 674.731
688.14/690.33 c GLOBAL bounds - >= -94230312 @ 675.494
689.94/692.12 c GLOBAL bounds - >= -94230312 @ 677.255
691.54/693.75 c GLOBAL bounds - >= -94230312 @ 678.861
692.64/694.80 c GLOBAL bounds - >= -94230312 @ 679.875
722.44/724.78 c #Conflicts: 15000 | #Constraints: 6698
722.44/724.78 c INPROCESSING
722.44/724.78 c GARBAGE COLLECT
722.44/724.78 c GLOBAL bounds - >= -94230312 @ 709.369
3600.01/3611.65 c #Conflicts: 16000 | #Constraints: 4940
3600.01/3611.65 c #Conflicts: 17000 | #Constraints: 5940
3600.01/3611.65 c #Conflicts: 18000 | #Constraints: 6940
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 19000 | #Constraints: 4968
3600.01/3611.65 c #Conflicts: 20000 | #Constraints: 5968
3600.01/3611.65 c #Conflicts: 21000 | #Constraints: 6968
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 22000 | #Constraints: 4779
3600.01/3611.65 c #Conflicts: 23000 | #Constraints: 5779
3600.01/3611.65 c #Conflicts: 24000 | #Constraints: 6779
3600.01/3611.65 c #Conflicts: 25000 | #Constraints: 7779
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 26000 | #Constraints: 5375
3600.01/3611.65 c #Conflicts: 27000 | #Constraints: 6375
3600.01/3611.65 c #Conflicts: 28000 | #Constraints: 7375
3600.01/3611.65 c #Conflicts: 29000 | #Constraints: 8375
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 30000 | #Constraints: 5756
3600.01/3611.65 c #Conflicts: 31000 | #Constraints: 6756
3600.01/3611.65 c #Conflicts: 32000 | #Constraints: 7756
3600.01/3611.65 c #Conflicts: 33000 | #Constraints: 8756
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 34000 | #Constraints: 5993
3600.01/3611.65 c #Conflicts: 35000 | #Constraints: 6993
3600.01/3611.65 c #Conflicts: 36000 | #Constraints: 7993
3600.01/3611.65 c #Conflicts: 37000 | #Constraints: 8993
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 38000 | #Constraints: 6024
3600.01/3611.65 c #Conflicts: 39000 | #Constraints: 7024
3600.01/3611.65 c #Conflicts: 40000 | #Constraints: 8024
3600.01/3611.65 c #Conflicts: 41000 | #Constraints: 9024
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 42000 | #Constraints: 5817
3600.01/3611.65 c #Conflicts: 43000 | #Constraints: 6817
3600.01/3611.65 c #Conflicts: 44000 | #Constraints: 7817
3600.01/3611.65 c #Conflicts: 45000 | #Constraints: 8817
3600.01/3611.65 c #Conflicts: 46000 | #Constraints: 9817
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 47000 | #Constraints: 6379
3600.01/3611.65 c #Conflicts: 48000 | #Constraints: 7379
3600.01/3611.65 c #Conflicts: 49000 | #Constraints: 8379
3600.01/3611.65 c #Conflicts: 50000 | #Constraints: 9379
3600.01/3611.65 c #Conflicts: 51000 | #Constraints: 10379
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 52000 | #Constraints: 6842
3600.01/3611.65 c #Conflicts: 53000 | #Constraints: 7842
3600.01/3611.65 c #Conflicts: 54000 | #Constraints: 8842
3600.01/3611.65 c #Conflicts: 55000 | #Constraints: 9842
3600.01/3611.65 c #Conflicts: 56000 | #Constraints: 10842
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 57000 | #Constraints: 7070
3600.01/3611.65 c #Conflicts: 58000 | #Constraints: 8070
3600.01/3611.65 c #Conflicts: 59000 | #Constraints: 9070
3600.01/3611.65 c #Conflicts: 60000 | #Constraints: 10070
3600.01/3611.65 c #Conflicts: 61000 | #Constraints: 11070
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 62000 | #Constraints: 7057
3600.01/3611.65 c #Conflicts: 63000 | #Constraints: 8057
3600.01/3611.65 c #Conflicts: 64000 | #Constraints: 9057
3600.01/3611.65 c #Conflicts: 65000 | #Constraints: 10057
3600.01/3611.65 c #Conflicts: 66000 | #Constraints: 11057
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c #Conflicts: 67000 | #Constraints: 6841
3600.01/3611.65 c #Conflicts: 68000 | #Constraints: 7841
3600.01/3611.65 c #Conflicts: 69000 | #Constraints: 8841
3600.01/3611.65 c #Conflicts: 70000 | #Constraints: 9841
3600.01/3611.65 c #Conflicts: 71000 | #Constraints: 10841
3600.01/3611.65 c #Conflicts: 72000 | #Constraints: 11841
3600.01/3611.65 c INPROCESSING
3600.01/3611.65 c GARBAGE COLLECT
3600.01/3611.65 c cpu time 3575.56 s
3600.01/3611.65 c deterministic time 126 1.26e+02
3600.01/3611.65 c optimization time 3575.38 s
3600.01/3611.65 c total solve time 0 s
3600.01/3611.65 c core-guided solve time 0 s
3600.01/3611.65 c propagation time 0.012811 s
3600.01/3611.65 c conflict analysis time 0 s
3600.01/3611.65 c propagations 125
3600.01/3611.65 c resolve steps 0
3600.01/3611.65 c decisions 0
3600.01/3611.65 c conflicts 0
3600.01/3611.65 c restarts 0
3600.01/3611.65 c inprocessing phases 0
3600.01/3611.65 c garbage collections 0 ,( -nan )
3600.01/3611.65 c input clauses 40395 ,( 98.65 )
3600.01/3611.65 c input cardinalities 553 ,( 1.35 )
3600.01/3611.65 c input general constraints 1 ,( 0.00 )
3600.01/3611.65 c input average constraint length 5.42
3600.01/3611.65 c input average constraint degree 4.66
3600.01/3611.65 c learned clauses 0 ,( 0.00 )
3600.01/3611.65 c learned cardinalities 0 ,( 0.00 )
3600.01/3611.65 c learned general constraints 0 ,( 0.00 )
3600.01/3611.65 c learned average constraint length 0.00
3600.01/3611.65 c learned average constraint degree 0.00
3600.01/3611.65 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3611.65 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.01/3611.65 c watched constraints 0 ,( 0.00 )
3600.01/3611.65 c counting constraints 1 ,( 100.00 )
3600.01/3611.65 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3611.65 c gcd simplifications 0
3600.01/3611.65 c detected cardinalities 0
3600.01/3611.65 c weakened non-implied lits 0
3600.01/3611.65 c weakened non-implying lits 0
3600.01/3611.65 c original variables 40451
3600.01/3611.65 c clausal propagations 0
3600.01/3611.65 c cardinality propagations 0
3600.01/3611.65 c watched propagations 0
3600.01/3611.65 c counting propagations 0
3600.01/3611.65 c watch lookups 0
3600.01/3611.65 c watch backjump lookups 0
3600.01/3611.65 c watch checks 0
3600.01/3611.65 c propagation checks 0
3600.01/3611.65 c constraint additions 0
3600.01/3611.65 c trail pops 0
3600.01/3611.65 c formula constraints 40949
3600.01/3611.65 c learned constraints 0
3600.01/3611.65 c bound constraints 0
3600.01/3611.65 c core-guided constraints 0
3600.01/3611.65 c encountered formula constraints 0
3600.01/3611.65 c encountered learned constraints 0
3600.01/3611.65 c encountered bound constraints 0
3600.01/3611.65 c encountered core-guided constraints 0
3600.01/3611.65 c LP total time 0 s
3600.01/3611.65 c LP solve time 0 s
3600.01/3611.65 c LP constraints added 0
3600.01/3611.65 c LP constraints removed 0
3600.01/3611.65 c LP pivots internal 0
3600.01/3611.65 c LP pivots root 0
3600.01/3611.65 c LP calls 0
3600.01/3611.65 c LP optimalities 0
3600.01/3611.65 c LP no pivot count 0
3600.01/3611.65 c LP infeasibilities 0
3600.01/3611.65 c LP valid Farkas constraints 0
3600.01/3611.65 c LP learned Farkas constraints 0
3600.01/3611.65 c LP basis resets 0
3600.01/3611.65 c LP cycling count 0
3600.01/3611.65 c LP singular count 0
3600.01/3611.65 c LP no primal count 0
3600.01/3611.65 c LP no farkas count 0
3600.01/3611.65 c LP other issue count 0
3600.01/3611.65 c LP Gomory cuts 0
3600.01/3611.65 c LP learned cuts 0
3600.01/3611.65 c LP deleted cuts 0
3600.01/3611.65 c LP encountered Gomory constraints 0
3600.01/3611.65 c LP encountered Farkas constraints 0
3600.01/3611.65 c LP encountered learned Farkas constraints 0
3600.01/3611.65 c CG auxiliary variables introduced 0
3600.01/3611.65 c CG solutions found 0
3600.01/3611.65 c CG cores constructed 0
3600.01/3611.65 c CG core cardinality constraints returned 0
3600.01/3611.65 c CG unit cores 0
3600.01/3611.65 c CG single cores 0
3600.01/3611.65 c CG blocks removed during cardinality reduction 0
3600.01/3611.65 c CG first core best 0
3600.01/3611.65 c CG decision core best 0
3600.01/3611.65 c CG core reduction tie 0
3600.01/3611.65 c CG core degree average 0.00
3600.01/3611.65 c CG core slack average 0.00
3600.01/3611.65 c CG core upper bound improvements 0
3600.01/3611.65 c STR number of successful calls 0
3600.01/3611.65 c STR number of unsuccessful calls 0
3600.01/3611.65 c STR number of inconclusive calls 0
3600.01/3611.65 c STR number of successful attempts 0
3600.01/3611.65 c STR number of unsuccessful attempts 0
3600.01/3611.65 c STR number of inconclusive attempts 0
3600.01/3611.65 c STR average degree increase per successful call inf
3600.01/3611.65 c STR average degree increase per successful attempt inf
3600.01/3611.65 c STR total number of conflicts for successful attempts 0
3600.01/3611.65 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3611.65 c STR total number of conflicts for inconclusive attempts 0
3600.01/3611.65 c STR average number of conflicts per successful attempt inf
3600.01/3611.65 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3611.65 c STR average number of conflicts per inconclusive attempt inf
3600.01/3611.65 c AVG.sumWPerc 99.91
3600.01/3611.65 c bigint constraints 0
3600.01/3611.65 s UNKNOWN
3600.01/3611.65 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 (30368 MiB free)
memory of node 1: 64507 MiB (60088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505630-1751489481/watcher-4505630-1751489481 -o /tmp/evaluation-result-4505630-1751489481/solver-4505630-1751489481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69376 --watchdog 3760 run-opt.sh HOME/instance-4505630-1751489481.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
Starting watchdog thread
solver pid=69605, runsolver pid=69602
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.24 4.12 3.99 5/274 69607
/proc/meminfo: memFree=92626408/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=65928 memory=21368 CPUtime=0.07 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 4210 0 0 0 6 1 0 0 20 0 1 0 64625772 67510272 5342 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 16482 5342 1984 1147 0 3909 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70120 KiB
Current children cumulated memory: 24312 KiB
[startup+0.205695 s]*
/proc/loadavg: 4.24 4.12 3.99 5/274 69607
/proc/meminfo: memFree=92602720/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=95100 memory=52072 CPUtime=0.17 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 9932 0 0 0 13 4 0 0 20 0 1 0 64625772 97382400 13018 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 23775 13018 2304 1147 0 11202 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 99292 KiB
Current children cumulated memory: 55016 KiB
[startup+0.305683 s]*
/proc/loadavg: 4.24 4.12 3.99 5/274 69607
/proc/meminfo: memFree=92578460/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=127848 memory=75184 CPUtime=0.27 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 13249 0 0 0 20 7 0 0 20 0 1 0 64625772 130916352 18796 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 31962 18796 2400 1147 0 19389 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 132040 KiB
Current children cumulated memory: 78128 KiB
[startup+0.700236 s]
/proc/loadavg: 4.24 4.12 3.99 5/274 69607
/proc/meminfo: memFree=92578460/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=136064 memory=81072 CPUtime=0.66 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 14735 0 0 0 39 27 0 0 20 0 1 0 64625772 139329536 20268 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 34016 20268 2400 1147 0 21443 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 140256 KiB
Current children cumulated memory: 84016 KiB
[startup+1.50021 s]
/proc/loadavg: 4.24 4.12 3.99 5/274 69607
/proc/meminfo: memFree=92562204/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=155304 memory=93248 CPUtime=1.45 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 15716 0 0 0 78 67 0 0 20 0 1 0 64625772 159031296 23312 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 38826 23312 2400 1147 0 26253 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 159496 KiB
Current children cumulated memory: 96192 KiB
[startup+3.10554 s]
/proc/loadavg: 4.22 4.11 3.99 5/274 69607
/proc/meminfo: memFree=92526520/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=209460 memory=139632 CPUtime=3.06 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 17643 0 0 0 207 99 0 0 20 0 1 0 64625772 214487040 34908 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 52365 34908 2400 1147 0 39792 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 213652 KiB
Current children cumulated memory: 142576 KiB
[startup+6.30022 s]
/proc/loadavg: 4.22 4.11 3.99 5/273 69607
/proc/meminfo: memFree=92504872/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=250672 memory=189368 CPUtime=6.24 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 20897 0 0 0 467 157 0 0 20 0 1 0 64625772 256688128 47342 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 62668 47342 2400 1147 0 50095 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 254864 KiB
Current children cumulated memory: 192312 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.11 3.99 5/273 69607
/proc/meminfo: memFree=92118996/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=433556 memory=373244 CPUtime=12.63 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 54649 0 0 0 1014 249 0 0 20 0 1 0 64625772 443961344 93311 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 108389 93311 2400 1147 0 95816 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 437748 KiB
Current children cumulated memory: 376188 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.11 3.99 5/273 69607
/proc/meminfo: memFree=91519496/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=858488 memory=701308 CPUtime=25.39 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 108549 0 0 0 2215 324 0 0 20 0 1 0 64625772 879091712 175327 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 214622 175327 2400 1147 0 202049 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 862680 KiB
Current children cumulated memory: 704252 KiB
[startup+51.1056 s]
/proc/loadavg: 4.18 4.11 4.00 5/273 69607
/proc/meminfo: memFree=90500204/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=1584996 memory=1273008 CPUtime=50.92 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 217740 0 0 0 4629 463 0 0 20 0 1 0 64625772 1623035904 318252 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 396249 318252 2400 1147 0 383676 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1589188 KiB
Current children cumulated memory: 1275952 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.00 5/272 69609
/proc/meminfo: memFree=89689384/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=2068008 memory=1838056 CPUtime=101.97 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 331965 0 0 0 9571 626 0 0 20 0 1 0 64625772 2117640192 459514 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 517002 459514 2400 1147 0 504429 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2072200 KiB
Current children cumulated memory: 1841000 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.00 5/273 69612
/proc/meminfo: memFree=88404244/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=3113468 memory=2585708 CPUtime=161.79 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 473931 0 0 0 15456 723 0 0 20 0 1 0 64625772 3188191232 646427 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 778367 646427 2400 1147 0 765794 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 3117660 KiB
Current children cumulated memory: 2588652 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/273 69618
/proc/meminfo: memFree=87643756/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=3287784 memory=2758768 CPUtime=221.6 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 507145 0 0 0 21381 779 0 0 20 0 1 0 64625772 3366690816 689692 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 821946 689692 2400 1147 0 809373 0
Current children cumulated CPU time: 221.6 s
################
# More data... #
################
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=11276296 memory=9363896 CPUtime=3092.32 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 1803271 0 0 0 306964 2268 0 0 20 0 1 0 64625772 11546927104 2340974 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 2819074 2340974 2400 1147 0 2806501 0
Current children cumulated CPU time: 3092.32 s
Current children cumulated vsize: 11280488 KiB
Current children cumulated memory: 9366840 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.19 4.12 5/268 69882
/proc/meminfo: memFree=97732240/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=11276296 memory=9363896 CPUtime=3152.12 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 1803811 0 0 0 312927 2285 0 0 20 0 1 0 64625772 11546927104 2340974 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 2819074 2340974 2400 1147 0 2806501 0
Current children cumulated CPU time: 3152.12 s
Current children cumulated vsize: 11280488 KiB
Current children cumulated memory: 9366840 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/268 69884
/proc/meminfo: memFree=97499752/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=11276296 memory=9364024 CPUtime=3211.91 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 1804421 0 0 0 318895 2296 0 0 20 0 1 0 64625772 11546927104 2341006 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 2819074 2341006 2400 1147 0 2806501 0
Current children cumulated CPU time: 3211.91 s
Current children cumulated vsize: 11280488 KiB
Current children cumulated memory: 9366968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/269 69888
/proc/meminfo: memFree=97269588/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=11276296 memory=9421424 CPUtime=3271.71 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 1805116 0 0 0 324850 2321 0 0 20 0 1 0 64625772 11546927104 2355356 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 2819074 2355356 2400 1147 0 2806501 0
Current children cumulated CPU time: 3271.71 s
Current children cumulated vsize: 11280488 KiB
Current children cumulated memory: 9424368 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/268 69894
/proc/meminfo: memFree=96833876/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=11276296 memory=9421424 CPUtime=3331.51 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 1805472 0 0 0 330798 2353 0 0 20 0 1 0 64625772 11546927104 2355356 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 2819074 2355356 2400 1147 0 2806501 0
Current children cumulated CPU time: 3331.51 s
Current children cumulated vsize: 11280488 KiB
Current children cumulated memory: 9424368 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/268 69896
/proc/meminfo: memFree=96321104/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=11276296 memory=9421424 CPUtime=3391.31 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 1805961 0 0 0 336756 2375 0 0 20 0 1 0 64625772 11546927104 2355356 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 2819074 2355356 2400 1147 0 2806501 0
Current children cumulated CPU time: 3391.31 s
Current children cumulated vsize: 11280488 KiB
Current children cumulated memory: 9424368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/268 69944
/proc/meminfo: memFree=103468812/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=11276296 memory=9421424 CPUtime=3451.11 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 1806453 0 0 0 342718 2393 0 0 20 0 1 0 64625772 11546927104 2355356 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 2819074 2355356 2400 1147 0 2806501 0
Current children cumulated CPU time: 3451.11 s
Current children cumulated vsize: 11280488 KiB
Current children cumulated memory: 9424368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/268 69946
/proc/meminfo: memFree=103169644/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=11276296 memory=9423984 CPUtime=3510.95 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 1807033 0 0 0 348684 2411 0 0 20 0 1 0 64625772 11546927104 2355996 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 2819074 2355996 2400 1147 0 2806501 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 11280488 KiB
Current children cumulated memory: 9426928 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/267 69949
/proc/meminfo: memFree=102814936/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=11288584 memory=9577456 CPUtime=3570.79 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 1846161 0 0 0 354636 2443 0 0 20 0 1 0 64625772 11559510016 2394364 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 2822146 2394364 2400 1147 0 2809573 0
Current children cumulated CPU time: 3570.79 s
Current children cumulated vsize: 11292776 KiB
Current children cumulated memory: 9580400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.09 4.13 4.10 5/266 69949
/proc/meminfo: memFree=102579720/131249996 swapFree=33010160/33010684
[pid=69605] ppid=69602 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69605/stat : 69605 (run-opt.sh) S 69602 69605 69363 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 64625771 4292608 736 18446744073709551615 94855176163328 94855177057861 140729520704832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94855177296912 94855177344656 94855181156352 140729520707949 140729520708072 140729520708072 140729520713674 0
/proc/69605/statm: 1048 736 672 219 0 110 0
[pid=69607] ppid=69605 vsize=11288584 memory=9577456 CPUtime=3600.01 cores=5,7
/proc/69607/stat : 69607 (roundingsat) R 69605 69605 69363 0 -1 4194304 1846285 0 0 0 357550 2451 0 0 20 0 1 0 64625772 11559510016 2394364 18446744073709551615 4227072 8923433 140732954473200 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16515072 140732954479010 140732954479144 140732954479144 140732954484714 0
/proc/69607/statm: 2822146 2394364 2400 1147 0 2809573 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 11292776 KiB
Current children cumulated memory: 9580400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.6 s]
# the end of solver process 69605 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001033 s, system=0.001034 s
[startup+3612.02 s]
# the end of solver process 69607 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.58 s, system=24.8561 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+3612 s]*
/proc/loadavg: 4.09 4.13 4.10 5/266 69950
/proc/meminfo: memFree=111729900/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002067 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): 3612.02
CPU time (s): 3600.44
CPU user time (s): 3575.58
CPU system time (s): 24.8561
CPU usage (%): 99.6793
Max. virtual memory (cumulated for all children) (KiB): 11292776
Max. memory (cumulated for all children) (KiB): 9580400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.58
system time used= 24.8561
maximum resident set size= 9577840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1846521
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= 152
involuntary context switches= 19713
# summary of solver processes directly reported to runsolver:
# pid: 69605,69607
# total CPU time (s): 3600.44
# total CPU user time (s): 3575.58
# total CPU system time (s): 24.8561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96837 second user time and 18.1444 second system time
The end
Begin job on nodeC021 at 2025-07-02 22:51:21
IDJOB=4505630
IDBENCH=155767
IDSOLVER=3350
FILE ID=nodeC021/4505630-1751489481
RUNJOBID= nodeC021-1751488380-69376
SLURM_JOB_ID= 9598545
Free space on /tmp= 430792 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505630-1751489481/watcher-4505630-1751489481 -o /tmp/evaluation-result-4505630-1751489481/solver-4505630-1751489481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751488380-69376 --watchdog 3760 run-opt.sh HOME/instance-4505630-1751489481.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 80f0935d0a86591f889a9638d17fdf07
RANDOM SEED=1188597885
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.778
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.643
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.364
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.239
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.782
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3588.864
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.234
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 92628672 kB
MemAvailable: 96553624 kB
Buffers: 2128 kB
Cached: 4663228 kB
SwapCached: 20 kB
Active: 33385324 kB
Inactive: 4184492 kB
Active(anon): 32911576 kB
Inactive(anon): 10924 kB
Active(file): 473748 kB
Inactive(file): 4173568 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9924 kB
Writeback: 0 kB
AnonPages: 32906668 kB
Mapped: 114080 kB
Shmem: 18040 kB
KReclaimable: 233348 kB
Slab: 325856 kB
SReclaimable: 233348 kB
SUnreclaim: 92508 kB
KernelStack: 4432 kB
PageTables: 68780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 34584684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7038976 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= 431052 MiB
End job on nodeC021 at 2025-07-02 23:51:33