0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.17/0.30 c #variables 40451 #constraints 40949
0.17/0.30 c objective is ce32
0.27/0.33 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.27/0.33 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.27/0.33 c GLOBAL bounds - >= -94230312 @ 0.239723
0.27/0.38 c GLOBAL bounds - >= -94230312 @ 0.266112
0.37/0.43 c GLOBAL bounds - >= -94230312 @ 0.291541
0.37/0.48 c GLOBAL bounds - >= -94230312 @ 0.325982
0.47/0.54 c GLOBAL bounds - >= -94230312 @ 0.36452
0.56/0.61 c GLOBAL bounds - >= -94230312 @ 0.402062
0.56/0.66 c GLOBAL bounds - >= -94230312 @ 0.42726
0.66/0.71 c GLOBAL bounds - >= -94230312 @ 0.452329
0.66/0.77 c GLOBAL bounds - >= -94230312 @ 0.485156
0.76/0.83 c GLOBAL bounds - >= -94230312 @ 0.518064
0.76/0.88 c GLOBAL bounds - >= -94230312 @ 0.547376
0.86/0.94 c GLOBAL bounds - >= -94230312 @ 0.576833
0.96/1.00 c GLOBAL bounds - >= -94230312 @ 0.615527
0.96/1.06 c GLOBAL bounds - >= -94230312 @ 0.644924
1.07/1.11 c GLOBAL bounds - >= -94230312 @ 0.678831
1.07/1.17 c GLOBAL bounds - >= -94230312 @ 0.721078
1.16/1.24 c GLOBAL bounds - >= -94230312 @ 0.757474
1.16/1.29 c GLOBAL bounds - >= -94230312 @ 0.784486
1.25/1.34 c GLOBAL bounds - >= -94230312 @ 0.821693
1.36/1.41 c GLOBAL bounds - >= -94230312 @ 0.858687
1.36/1.48 c GLOBAL bounds - >= -94230312 @ 0.898349
1.45/1.53 c GLOBAL bounds - >= -94230312 @ 0.924565
1.45/1.59 c GLOBAL bounds - >= -94230312 @ 0.954798
1.56/1.65 c GLOBAL bounds - >= -94230312 @ 0.99838
1.65/1.72 c GLOBAL bounds - >= -94230312 @ 1.03202
1.65/1.77 c GLOBAL bounds - >= -94230312 @ 1.06638
1.75/1.86 c GLOBAL bounds - >= -94230312 @ 1.12927
1.85/1.94 c GLOBAL bounds - >= -94230312 @ 1.17946
1.96/2.01 c GLOBAL bounds - >= -94230312 @ 1.22918
1.96/2.08 c GLOBAL bounds - >= -94230312 @ 1.27266
2.06/2.14 c GLOBAL bounds - >= -94230312 @ 1.30524
2.16/2.21 c GLOBAL bounds - >= -94230312 @ 1.34015
2.16/2.27 c GLOBAL bounds - >= -94230312 @ 1.38599
2.26/2.33 c GLOBAL bounds - >= -94230312 @ 1.419
2.26/2.39 c GLOBAL bounds - >= -94230312 @ 1.45434
2.35/2.47 c GLOBAL bounds - >= -94230312 @ 1.51422
3.25/3.37 c GLOBAL bounds - >= -94230312 @ 2.37517
3.35/3.43 c GLOBAL bounds - >= -94230312 @ 2.41432
3.45/3.53 c GLOBAL bounds - >= -94230312 @ 2.48663
3.55/3.60 c GLOBAL bounds - >= -94230312 @ 2.53723
3.55/3.69 c GLOBAL bounds - >= -94230312 @ 2.60101
3.65/3.76 c GLOBAL bounds - >= -94230312 @ 2.64386
3.75/3.89 c GLOBAL bounds - >= -94230312 @ 2.73506
3.85/3.95 c GLOBAL bounds - >= -94230312 @ 2.7804
3.96/4.04 c GLOBAL bounds - >= -94230312 @ 2.83952
4.06/4.11 c GLOBAL bounds - >= -94230312 @ 2.88523
4.06/4.18 c GLOBAL bounds - >= -94230312 @ 2.93823
4.15/4.26 c GLOBAL bounds - >= -94230312 @ 2.9916
4.25/4.33 c GLOBAL bounds - >= -94230312 @ 3.04094
4.35/4.44 c GLOBAL bounds - >= -94230312 @ 3.12661
4.84/4.97 c GLOBAL bounds - >= -94230312 @ 3.62475
4.96/5.04 c GLOBAL bounds - >= -94230312 @ 3.67239
5.05/5.13 c GLOBAL bounds - >= -94230312 @ 3.74208
5.15/5.22 c GLOBAL bounds - >= -94230312 @ 3.81375
6.05/6.15 c GLOBAL bounds - >= -94230312 @ 4.70632
6.14/6.25 c GLOBAL bounds - >= -94230312 @ 4.77342
6.25/6.34 c GLOBAL bounds - >= -94230312 @ 4.84028
6.35/6.42 c GLOBAL bounds - >= -94230312 @ 4.89339
6.44/6.51 c GLOBAL bounds - >= -94230312 @ 4.96014
6.54/6.61 c GLOBAL bounds - >= -94230312 @ 5.04017
6.65/6.72 c GLOBAL bounds - >= -94230312 @ 5.12544
6.74/6.81 c GLOBAL bounds - >= -94230312 @ 5.17866
6.85/6.98 c GLOBAL bounds - >= -94230312 @ 5.32908
7.05/7.17 c GLOBAL bounds - >= -94230312 @ 5.4899
7.14/7.28 c GLOBAL bounds - >= -94230312 @ 5.57087
7.24/7.38 c GLOBAL bounds - >= -94230312 @ 5.64588
7.44/7.51 c GLOBAL bounds - >= -94230312 @ 5.74947
7.54/7.67 c GLOBAL bounds - >= -94230312 @ 5.89077
7.64/7.79 c GLOBAL bounds - >= -94230312 @ 5.99055
7.84/7.91 c GLOBAL bounds - >= -94230312 @ 6.08825
7.95/8.01 c GLOBAL bounds - >= -94230312 @ 6.16134
8.05/8.11 c GLOBAL bounds - >= -94230312 @ 6.23861
8.14/8.22 c GLOBAL bounds - >= -94230312 @ 6.32823
8.34/8.41 c GLOBAL bounds - >= -94230312 @ 6.4914
8.44/8.57 c GLOBAL bounds - >= -94230312 @ 6.62801
8.54/8.67 c GLOBAL bounds - >= -94230312 @ 6.70714
8.64/8.78 c GLOBAL bounds - >= -94230312 @ 6.79593
8.74/8.89 c GLOBAL bounds - >= -94230312 @ 6.8786
8.84/9.00 c GLOBAL bounds - >= -94230312 @ 6.9672
8.95/9.10 c GLOBAL bounds - >= -94230312 @ 7.04511
9.14/9.24 c GLOBAL bounds - >= -94230312 @ 7.16048
9.23/9.33 c GLOBAL bounds - >= -94230312 @ 7.22855
9.33/9.42 c GLOBAL bounds - >= -94230312 @ 7.29815
9.64/9.75 c GLOBAL bounds - >= -94230312 @ 7.59543
9.84/9.91 c GLOBAL bounds - >= -94230312 @ 7.73447
10.34/10.40 c GLOBAL bounds - >= -94230312 @ 8.17762
10.43/10.52 c GLOBAL bounds - >= -94230312 @ 8.26508
10.53/10.66 c GLOBAL bounds - >= -94230312 @ 8.37915
12.23/12.31 c GLOBAL bounds - >= -94230312 @ 9.94944
12.32/12.47 c GLOBAL bounds - >= -94230312 @ 10.0884
12.53/12.63 c GLOBAL bounds - >= -94230312 @ 10.2202
12.63/12.78 c GLOBAL bounds - >= -94230312 @ 10.3565
12.83/12.93 c GLOBAL bounds - >= -94230312 @ 10.4792
12.93/13.09 c GLOBAL bounds - >= -94230312 @ 10.6112
13.13/13.25 c GLOBAL bounds - >= -94230312 @ 10.7536
13.32/13.43 c GLOBAL bounds - >= -94230312 @ 10.9102
13.42/13.59 c GLOBAL bounds - >= -94230312 @ 11.0561
13.63/13.75 c GLOBAL bounds - >= -94230312 @ 11.1863
13.83/13.91 c GLOBAL bounds - >= -94230312 @ 11.3266
15.02/15.10 c GLOBAL bounds - >= -94230312 @ 12.4605
15.42/15.57 c GLOBAL bounds - >= -94230312 @ 12.8978
15.83/15.90 c GLOBAL bounds - >= -94230312 @ 13.213
19.11/19.24 c GLOBAL bounds - >= -94230312 @ 16.4397
19.32/19.42 c GLOBAL bounds - >= -94230312 @ 16.592
19.51/19.60 c GLOBAL bounds - >= -94230312 @ 16.7473
19.61/19.77 c GLOBAL bounds - >= -94230312 @ 16.899
19.82/19.95 c GLOBAL bounds - >= -94230312 @ 17.0501
20.01/20.13 c GLOBAL bounds - >= -94230312 @ 17.2003
21.10/21.24 c GLOBAL bounds - >= -94230312 @ 18.2722
21.31/21.44 c GLOBAL bounds - >= -94230312 @ 18.4454
21.51/21.61 c GLOBAL bounds - >= -94230312 @ 18.595
21.71/21.81 c GLOBAL bounds - >= -94230312 @ 18.7702
21.91/22.00 c GLOBAL bounds - >= -94230312 @ 18.9357
22.01/22.19 c GLOBAL bounds - >= -94230312 @ 19.1012
22.31/22.45 c GLOBAL bounds - >= -94230312 @ 19.3284
22.51/22.64 c GLOBAL bounds - >= -94230312 @ 19.491
22.71/22.83 c GLOBAL bounds - >= -94230312 @ 19.6546
22.90/23.04 c GLOBAL bounds - >= -94230312 @ 19.8367
23.10/23.29 c GLOBAL bounds - >= -94230312 @ 20.0586
23.30/23.48 c GLOBAL bounds - >= -94230312 @ 20.2259
23.50/23.68 c GLOBAL bounds - >= -94230312 @ 20.3958
23.70/23.89 c GLOBAL bounds - >= -94230312 @ 20.5826
32.88/33.01 c #Conflicts: 1000 | #Constraints: 1727
32.88/33.01 c GLOBAL bounds - >= -94230312 @ 29.4884
33.07/33.25 c GLOBAL bounds - >= -94230312 @ 29.7032
33.28/33.49 c GLOBAL bounds - >= -94230312 @ 29.9201
33.58/33.71 c GLOBAL bounds - >= -94230312 @ 30.1208
33.77/33.93 c GLOBAL bounds - >= -94230312 @ 30.3169
35.67/35.86 c GLOBAL bounds - >= -94230312 @ 32.1818
35.98/36.12 c GLOBAL bounds - >= -94230312 @ 32.4282
36.17/36.37 c GLOBAL bounds - >= -94230312 @ 32.6474
36.57/36.72 c GLOBAL bounds - >= -94230312 @ 32.9703
36.77/36.97 c GLOBAL bounds - >= -94230312 @ 33.1964
37.07/37.27 c GLOBAL bounds - >= -94230312 @ 33.462
37.57/37.72 c GLOBAL bounds - >= -94230312 @ 33.8749
37.87/38.04 c GLOBAL bounds - >= -94230312 @ 34.1684
38.06/38.28 c GLOBAL bounds - >= -94230312 @ 34.3836
38.37/38.55 c GLOBAL bounds - >= -94230312 @ 34.6248
38.67/38.82 c GLOBAL bounds - >= -94230312 @ 34.8696
38.97/39.10 c GLOBAL bounds - >= -94230312 @ 35.1225
39.26/39.45 c GLOBAL bounds - >= -94230312 @ 35.4382
39.56/39.76 c GLOBAL bounds - >= -94230312 @ 35.7226
39.97/40.13 c GLOBAL bounds - >= -94230312 @ 36.0727
40.26/40.40 c GLOBAL bounds - >= -94230312 @ 36.321
40.66/40.84 c GLOBAL bounds - >= -94230312 @ 36.7389
40.97/41.11 c GLOBAL bounds - >= -94230312 @ 36.9896
41.75/41.93 c GLOBAL bounds - >= -94230312 @ 37.7533
41.96/42.19 c GLOBAL bounds - >= -94230312 @ 37.985
42.25/42.44 c GLOBAL bounds - >= -94230312 @ 38.2064
42.46/42.69 c GLOBAL bounds - >= -94230312 @ 38.434
42.75/42.93 c GLOBAL bounds - >= -94230312 @ 38.6438
43.05/43.20 c GLOBAL bounds - >= -94230312 @ 38.8796
43.26/43.45 c GLOBAL bounds - >= -94230312 @ 39.1016
43.55/43.71 c GLOBAL bounds - >= -94230312 @ 39.339
43.75/43.96 c GLOBAL bounds - >= -94230312 @ 39.5693
44.05/44.23 c GLOBAL bounds - >= -94230312 @ 39.8087
46.44/46.65 c GLOBAL bounds - >= -94230312 @ 42.1465
46.75/46.94 c GLOBAL bounds - >= -94230312 @ 42.4126
52.13/52.39 c GLOBAL bounds - >= -94230312 @ 47.6785
53.02/53.28 c GLOBAL bounds - >= -94230312 @ 48.5301
53.43/53.69 c GLOBAL bounds - >= -94230312 @ 48.9065
53.93/54.10 c GLOBAL bounds - >= -94230312 @ 49.2958
54.33/54.53 c GLOBAL bounds - >= -94230312 @ 49.6954
54.72/54.91 c GLOBAL bounds - >= -94230312 @ 50.0461
56.02/56.20 c GLOBAL bounds - >= -94230312 @ 51.3063
56.42/56.62 c GLOBAL bounds - >= -94230312 @ 51.696
56.82/57.01 c GLOBAL bounds - >= -94230312 @ 52.0534
57.22/57.40 c GLOBAL bounds - >= -94230312 @ 52.4148
57.51/57.79 c GLOBAL bounds - >= -94230312 @ 52.784
58.62/58.85 c GLOBAL bounds - >= -94230312 @ 53.7962
59.31/59.50 c GLOBAL bounds - >= -94230312 @ 54.4128
59.71/59.91 c GLOBAL bounds - >= -94230312 @ 54.7956
60.11/60.30 c GLOBAL bounds - >= -94230312 @ 55.1637
60.50/60.70 c GLOBAL bounds - >= -94230312 @ 55.5428
60.91/61.10 c GLOBAL bounds - >= -94230312 @ 55.9266
61.31/61.54 c GLOBAL bounds - >= -94230312 @ 56.3365
61.71/61.92 c GLOBAL bounds - >= -94230312 @ 56.6962
62.41/62.67 c GLOBAL bounds - >= -94230312 @ 57.4012
63.10/63.32 c GLOBAL bounds - >= -94230312 @ 58.0222
63.40/63.67 c GLOBAL bounds - >= -94230312 @ 58.3429
63.81/64.04 c GLOBAL bounds - >= -94230312 @ 58.6873
64.20/64.41 c GLOBAL bounds - >= -94230312 @ 59.0371
64.60/64.81 c GLOBAL bounds - >= -94230312 @ 59.4154
64.90/65.19 c GLOBAL bounds - >= -94230312 @ 59.7687
65.40/65.62 c GLOBAL bounds - >= -94230312 @ 60.1705
66.19/66.48 c GLOBAL bounds - >= -94230312 @ 60.9981
66.59/66.84 c GLOBAL bounds - >= -94230312 @ 61.3348
67.09/67.39 c GLOBAL bounds - >= -94230312 @ 61.8653
67.69/67.95 c GLOBAL bounds - >= -94230312 @ 62.3979
68.09/68.32 c GLOBAL bounds - >= -94230312 @ 62.7512
68.39/68.68 c GLOBAL bounds - >= -94230312 @ 63.0945
68.79/69.08 c GLOBAL bounds - >= -94230312 @ 63.4845
69.39/69.63 c GLOBAL bounds - >= -94230312 @ 64.0139
69.99/70.28 c GLOBAL bounds - >= -94230312 @ 64.6312
70.38/70.66 c GLOBAL bounds - >= -94230312 @ 64.9854
70.79/71.04 c GLOBAL bounds - >= -94230312 @ 65.34
71.18/71.42 c GLOBAL bounds - >= -94230312 @ 65.689
71.88/72.12 c GLOBAL bounds - >= -94230312 @ 66.3525
72.48/72.71 c GLOBAL bounds - >= -94230312 @ 66.9197
72.88/73.12 c GLOBAL bounds - >= -94230312 @ 67.2918
73.28/73.52 c GLOBAL bounds - >= -94230312 @ 67.669
73.67/73.92 c GLOBAL bounds - >= -94230312 @ 68.0448
75.47/75.74 c GLOBAL bounds - >= -94230312 @ 69.8218
75.87/76.16 c GLOBAL bounds - >= -94230312 @ 70.2124
76.27/76.58 c GLOBAL bounds - >= -94230312 @ 70.6066
76.87/77.14 c GLOBAL bounds - >= -94230312 @ 71.1458
77.36/77.63 c GLOBAL bounds - >= -94230312 @ 71.6037
77.87/78.11 c GLOBAL bounds - >= -94230312 @ 72.0596
78.26/78.59 c GLOBAL bounds - >= -94230312 @ 72.5028
78.86/79.10 c GLOBAL bounds - >= -94230312 @ 72.9868
80.95/81.28 c GLOBAL bounds - >= -94230312 @ 75.1227
82.45/82.79 c GLOBAL bounds - >= -94230312 @ 76.6108
83.94/84.27 c GLOBAL bounds - >= -94230312 @ 78.0653
85.14/85.49 c GLOBAL bounds - >= -94230312 @ 79.2627
86.54/86.87 c GLOBAL bounds - >= -94230312 @ 80.611
89.23/89.53 c GLOBAL bounds - >= -94230312 @ 83.2206
89.63/89.99 c GLOBAL bounds - >= -94230312 @ 83.6542
90.13/90.44 c GLOBAL bounds - >= -94230312 @ 84.0753
90.53/90.89 c GLOBAL bounds - >= -94230312 @ 84.5044
93.83/94.17 c #Conflicts: 2000 | #Constraints: 2919
93.83/94.17 c INPROCESSING
93.83/94.17 c GARBAGE COLLECT
93.83/94.17 c GLOBAL bounds - >= -94230312 @ 87.7034
125.24/125.69 c #Conflicts: 3000 | #Constraints: 2925
125.24/125.69 c GLOBAL bounds - >= -94230312 @ 118.771
126.14/126.54 c GLOBAL bounds - >= -94230312 @ 119.555
129.53/129.91 c GLOBAL bounds - >= -94230312 @ 122.854
130.03/130.47 c GLOBAL bounds - >= -94230312 @ 123.407
130.93/131.39 c GLOBAL bounds - >= -94230312 @ 124.309
131.53/131.91 c GLOBAL bounds - >= -94230312 @ 124.818
131.92/132.38 c GLOBAL bounds - >= -94230312 @ 125.273
132.82/133.23 c GLOBAL bounds - >= -94230312 @ 126.101
236.24/236.99 c #Conflicts: 4000 | #Constraints: 3941
236.24/236.99 c INPROCESSING
236.24/236.99 c GARBAGE COLLECT
236.24/236.99 c #Conflicts: 5000 | #Constraints: 3359
236.24/236.99 c GLOBAL bounds - >= -94230312 @ 228.103
236.74/237.46 c GLOBAL bounds - >= -94230312 @ 228.54
237.25/237.94 c GLOBAL bounds - >= -94230312 @ 228.975
237.75/238.43 c GLOBAL bounds - >= -94230312 @ 229.43
238.45/239.14 c GLOBAL bounds - >= -94230312 @ 230.098
238.94/239.67 c GLOBAL bounds - >= -94230312 @ 230.6
239.54/240.23 c GLOBAL bounds - >= -94230312 @ 231.138
240.03/240.75 c GLOBAL bounds - >= -94230312 @ 231.634
240.53/241.28 c GLOBAL bounds - >= -94230312 @ 232.137
241.14/241.81 c GLOBAL bounds - >= -94230312 @ 232.656
279.93/280.73 c #Conflicts: 6000 | #Constraints: 4379
279.93/280.73 c GLOBAL bounds - >= -94230312 @ 271.118
280.63/281.45 c GLOBAL bounds - >= -94230312 @ 271.817
281.93/282.77 c GLOBAL bounds - >= -94230312 @ 273.114
340.46/341.41 c INPROCESSING
340.46/341.41 c GARBAGE COLLECT
340.46/341.41 c #Conflicts: 7000 | #Constraints: 3407
340.46/341.41 c GLOBAL bounds - >= -94230312 @ 331.247
344.36/345.30 c #Conflicts: 8000 | #Constraints: 4409
344.36/345.30 c GLOBAL bounds - >= -94230312 @ 334.941
345.55/346.50 c GLOBAL bounds - >= -94230312 @ 336.106
346.16/347.15 c GLOBAL bounds - >= -94230312 @ 336.734
346.85/347.83 c GLOBAL bounds - >= -94230312 @ 337.398
347.54/348.52 c GLOBAL bounds - >= -94230312 @ 338.073
349.74/350.72 c GLOBAL bounds - >= -94230312 @ 340.242
350.34/351.34 c GLOBAL bounds - >= -94230312 @ 340.844
351.23/352.22 c GLOBAL bounds - >= -94230312 @ 341.705
353.33/354.34 c GLOBAL bounds - >= -94230312 @ 343.798
354.52/355.51 c GLOBAL bounds - >= -94230312 @ 344.952
355.41/356.42 c GLOBAL bounds - >= -94230312 @ 345.823
357.01/358.08 c GLOBAL bounds - >= -94230312 @ 347.459
360.40/361.47 c GLOBAL bounds - >= -94230312 @ 350.809
361.20/362.27 c GLOBAL bounds - >= -94230312 @ 351.598
362.29/363.38 c GLOBAL bounds - >= -94230312 @ 352.684
369.68/370.79 c GLOBAL bounds - >= -94230312 @ 360.021
371.27/372.34 c GLOBAL bounds - >= -94230312 @ 361.557
372.26/373.31 c GLOBAL bounds - >= -94230312 @ 362.508
372.87/373.92 c GLOBAL bounds - >= -94230312 @ 363.106
373.66/374.79 c GLOBAL bounds - >= -94230312 @ 363.943
374.35/375.49 c GLOBAL bounds - >= -94230312 @ 364.621
375.16/376.26 c GLOBAL bounds - >= -94230312 @ 365.381
375.96/377.05 c GLOBAL bounds - >= -94230312 @ 366.149
376.96/378.07 c GLOBAL bounds - >= -94230312 @ 367.147
380.14/381.22 c GLOBAL bounds - >= -94230312 @ 370.245
380.94/382.02 c GLOBAL bounds - >= -94230312 @ 371.021
385.33/386.43 c GLOBAL bounds - >= -94230312 @ 375.389
411.35/412.52 c #Conflicts: 9000 | #Constraints: 5463
411.35/412.52 c INPROCESSING
411.35/412.52 c GARBAGE COLLECT
411.35/412.52 c GLOBAL bounds - >= -94230312 @ 401.094
411.85/413.07 c GLOBAL bounds - >= -94230312 @ 401.629
412.35/413.56 c GLOBAL bounds - >= -94230312 @ 402.094
412.85/414.04 c GLOBAL bounds - >= -94230312 @ 402.561
427.11/428.35 c GLOBAL bounds - >= -94230312 @ 416.588
427.50/428.74 c GLOBAL bounds - >= -94230312 @ 416.952
427.81/429.09 c GLOBAL bounds - >= -94230312 @ 417.277
428.20/429.45 c GLOBAL bounds - >= -94230312 @ 417.602
428.60/429.83 c GLOBAL bounds - >= -94230312 @ 417.953
428.99/430.20 c GLOBAL bounds - >= -94230312 @ 418.301
429.30/430.57 c GLOBAL bounds - >= -94230312 @ 418.644
598.24/600.09 c #Conflicts: 10000 | #Constraints: 4168
598.24/600.09 c #Conflicts: 11000 | #Constraints: 5168
598.24/600.09 c #Conflicts: 12000 | #Constraints: 6168
598.24/600.09 c INPROCESSING
598.24/600.09 c GARBAGE COLLECT
598.24/600.09 c GLOBAL bounds - >= -94230312 @ 586.903
598.93/600.70 c GLOBAL bounds - >= -94230312 @ 587.494
599.23/601.06 c GLOBAL bounds - >= -94230312 @ 587.834
599.62/601.45 c GLOBAL bounds - >= -94230312 @ 588.214
600.03/601.86 c GLOBAL bounds - >= -94230312 @ 588.607
600.43/602.28 c GLOBAL bounds - >= -94230312 @ 589.007
600.83/602.69 c GLOBAL bounds - >= -94230312 @ 589.398
601.23/603.09 c GLOBAL bounds - >= -94230312 @ 589.785
601.72/603.50 c GLOBAL bounds - >= -94230312 @ 590.167
605.61/607.47 c GLOBAL bounds - >= -94230312 @ 594.067
608.40/610.28 c GLOBAL bounds - >= -94230312 @ 596.817
614.07/615.97 c GLOBAL bounds - >= -94230312 @ 602.419
614.58/616.49 c GLOBAL bounds - >= -94230312 @ 602.927
619.75/621.65 c GLOBAL bounds - >= -94230312 @ 607.979
620.65/622.58 c GLOBAL bounds - >= -94230312 @ 608.893
621.26/623.19 c GLOBAL bounds - >= -94230312 @ 609.476
621.74/623.60 c GLOBAL bounds - >= -94230312 @ 609.86
622.34/624.25 c GLOBAL bounds - >= -94230312 @ 610.482
635.31/637.23 c GLOBAL bounds - >= -94230312 @ 622.938
644.18/646.19 c GLOBAL bounds - >= -94230312 @ 631.652
646.97/648.98 c GLOBAL bounds - >= -94230312 @ 634.416
647.86/649.80 c GLOBAL bounds - >= -94230312 @ 635.201
648.26/650.24 c GLOBAL bounds - >= -94230312 @ 635.622
648.76/650.79 c GLOBAL bounds - >= -94230312 @ 636.161
713.34/715.56 c #Conflicts: 13000 | #Constraints: 4668
713.34/715.56 c #Conflicts: 14000 | #Constraints: 5668
713.34/715.56 c GLOBAL bounds - >= -94230312 @ 699.628
714.34/716.52 c GLOBAL bounds - >= -94230312 @ 700.562
715.83/718.10 c GLOBAL bounds - >= -94230312 @ 702.105
716.54/718.76 c GLOBAL bounds - >= -94230312 @ 702.752
718.63/720.81 c GLOBAL bounds - >= -94230312 @ 704.763
719.23/721.46 c GLOBAL bounds - >= -94230312 @ 705.382
719.92/722.15 c GLOBAL bounds - >= -94230312 @ 706.048
720.72/722.95 c GLOBAL bounds - >= -94230312 @ 706.826
721.92/724.19 c GLOBAL bounds - >= -94230312 @ 708.02
723.01/725.25 c GLOBAL bounds - >= -94230312 @ 709.063
724.11/726.35 c GLOBAL bounds - >= -94230312 @ 710.119
724.91/727.17 c GLOBAL bounds - >= -94230312 @ 710.897
726.81/729.03 c GLOBAL bounds - >= -94230312 @ 712.735
728.49/730.71 c GLOBAL bounds - >= -94230312 @ 714.374
729.49/731.77 c GLOBAL bounds - >= -94230312 @ 715.409
763.06/765.47 c #Conflicts: 15000 | #Constraints: 6698
763.06/765.47 c INPROCESSING
763.06/765.47 c GARBAGE COLLECT
763.06/765.47 c GLOBAL bounds - >= -94230312 @ 748.486
3600.01/3611.31 c #Conflicts: 16000 | #Constraints: 4940
3600.01/3611.31 c #Conflicts: 17000 | #Constraints: 5940
3600.01/3611.31 c #Conflicts: 18000 | #Constraints: 6940
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 19000 | #Constraints: 4968
3600.01/3611.31 c #Conflicts: 20000 | #Constraints: 5968
3600.01/3611.31 c #Conflicts: 21000 | #Constraints: 6968
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 22000 | #Constraints: 4779
3600.01/3611.31 c #Conflicts: 23000 | #Constraints: 5779
3600.01/3611.31 c #Conflicts: 24000 | #Constraints: 6779
3600.01/3611.31 c #Conflicts: 25000 | #Constraints: 7779
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 26000 | #Constraints: 5375
3600.01/3611.31 c #Conflicts: 27000 | #Constraints: 6375
3600.01/3611.31 c #Conflicts: 28000 | #Constraints: 7375
3600.01/3611.31 c #Conflicts: 29000 | #Constraints: 8375
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 30000 | #Constraints: 5756
3600.01/3611.31 c #Conflicts: 31000 | #Constraints: 6756
3600.01/3611.31 c #Conflicts: 32000 | #Constraints: 7756
3600.01/3611.31 c #Conflicts: 33000 | #Constraints: 8756
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 34000 | #Constraints: 5993
3600.01/3611.31 c #Conflicts: 35000 | #Constraints: 6993
3600.01/3611.31 c #Conflicts: 36000 | #Constraints: 7993
3600.01/3611.31 c #Conflicts: 37000 | #Constraints: 8993
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 38000 | #Constraints: 6024
3600.01/3611.31 c #Conflicts: 39000 | #Constraints: 7024
3600.01/3611.31 c #Conflicts: 40000 | #Constraints: 8024
3600.01/3611.31 c #Conflicts: 41000 | #Constraints: 9024
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 42000 | #Constraints: 5817
3600.01/3611.31 c #Conflicts: 43000 | #Constraints: 6817
3600.01/3611.31 c #Conflicts: 44000 | #Constraints: 7817
3600.01/3611.31 c #Conflicts: 45000 | #Constraints: 8817
3600.01/3611.31 c #Conflicts: 46000 | #Constraints: 9817
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 47000 | #Constraints: 6379
3600.01/3611.31 c #Conflicts: 48000 | #Constraints: 7379
3600.01/3611.31 c #Conflicts: 49000 | #Constraints: 8379
3600.01/3611.31 c #Conflicts: 50000 | #Constraints: 9379
3600.01/3611.31 c #Conflicts: 51000 | #Constraints: 10379
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 52000 | #Constraints: 6842
3600.01/3611.31 c #Conflicts: 53000 | #Constraints: 7842
3600.01/3611.31 c #Conflicts: 54000 | #Constraints: 8842
3600.01/3611.31 c #Conflicts: 55000 | #Constraints: 9842
3600.01/3611.31 c #Conflicts: 56000 | #Constraints: 10842
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 57000 | #Constraints: 7070
3600.01/3611.31 c #Conflicts: 58000 | #Constraints: 8070
3600.01/3611.31 c #Conflicts: 59000 | #Constraints: 9070
3600.01/3611.31 c #Conflicts: 60000 | #Constraints: 10070
3600.01/3611.31 c #Conflicts: 61000 | #Constraints: 11070
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c #Conflicts: 62000 | #Constraints: 7057
3600.01/3611.31 c #Conflicts: 63000 | #Constraints: 8057
3600.01/3611.31 c #Conflicts: 64000 | #Constraints: 9057
3600.01/3611.31 c #Conflicts: 65000 | #Constraints: 10057
3600.01/3611.31 c #Conflicts: 66000 | #Constraints: 11057
3600.01/3611.31 c INPROCESSING
3600.01/3611.31 c GARBAGE COLLECT
3600.01/3611.31 c cpu time 3565.71 s
3600.01/3611.31 c deterministic time 126 1.26e+02
3600.01/3611.31 c optimization time 3565.49 s
3600.01/3611.31 c total solve time 0 s
3600.01/3611.31 c core-guided solve time 0 s
3600.01/3611.31 c propagation time 0.013659 s
3600.01/3611.31 c conflict analysis time 0 s
3600.01/3611.31 c propagations 125
3600.01/3611.31 c resolve steps 0
3600.01/3611.31 c decisions 0
3600.01/3611.31 c conflicts 0
3600.01/3611.31 c restarts 0
3600.01/3611.31 c inprocessing phases 0
3600.01/3611.31 c garbage collections 0 ,( -nan )
3600.01/3611.31 c input clauses 40395 ,( 98.65 )
3600.01/3611.31 c input cardinalities 553 ,( 1.35 )
3600.01/3611.31 c input general constraints 1 ,( 0.00 )
3600.01/3611.31 c input average constraint length 5.42
3600.01/3611.31 c input average constraint degree 4.66
3600.01/3611.31 c learned clauses 0 ,( 0.00 )
3600.01/3611.31 c learned cardinalities 0 ,( 0.00 )
3600.01/3611.31 c learned general constraints 0 ,( 0.00 )
3600.01/3611.31 c learned average constraint length 0.00
3600.01/3611.31 c learned average constraint degree 0.00
3600.01/3611.31 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3611.31 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.01/3611.31 c watched constraints 0 ,( 0.00 )
3600.01/3611.31 c counting constraints 1 ,( 100.00 )
3600.01/3611.31 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3611.31 c gcd simplifications 0
3600.01/3611.31 c detected cardinalities 0
3600.01/3611.31 c weakened non-implied lits 0
3600.01/3611.31 c weakened non-implying lits 0
3600.01/3611.31 c original variables 40451
3600.01/3611.31 c clausal propagations 0
3600.01/3611.31 c cardinality propagations 0
3600.01/3611.31 c watched propagations 0
3600.01/3611.31 c counting propagations 0
3600.01/3611.31 c watch lookups 0
3600.01/3611.31 c watch backjump lookups 0
3600.01/3611.31 c watch checks 0
3600.01/3611.31 c propagation checks 0
3600.01/3611.31 c constraint additions 0
3600.01/3611.31 c trail pops 0
3600.01/3611.31 c formula constraints 40949
3600.01/3611.31 c learned constraints 0
3600.01/3611.31 c bound constraints 0
3600.01/3611.31 c core-guided constraints 0
3600.01/3611.31 c encountered formula constraints 0
3600.01/3611.31 c encountered learned constraints 0
3600.01/3611.31 c encountered bound constraints 0
3600.01/3611.31 c encountered core-guided constraints 0
3600.01/3611.31 c LP total time 0 s
3600.01/3611.31 c LP solve time 0 s
3600.01/3611.31 c LP constraints added 0
3600.01/3611.31 c LP constraints removed 0
3600.01/3611.31 c LP pivots internal 0
3600.01/3611.31 c LP pivots root 0
3600.01/3611.31 c LP calls 0
3600.01/3611.31 c LP optimalities 0
3600.01/3611.31 c LP no pivot count 0
3600.01/3611.31 c LP infeasibilities 0
3600.01/3611.31 c LP valid Farkas constraints 0
3600.01/3611.31 c LP learned Farkas constraints 0
3600.01/3611.31 c LP basis resets 0
3600.01/3611.31 c LP cycling count 0
3600.01/3611.31 c LP singular count 0
3600.01/3611.31 c LP no primal count 0
3600.01/3611.31 c LP no farkas count 0
3600.01/3611.31 c LP other issue count 0
3600.01/3611.31 c LP Gomory cuts 0
3600.01/3611.31 c LP learned cuts 0
3600.01/3611.31 c LP deleted cuts 0
3600.01/3611.31 c LP encountered Gomory constraints 0
3600.01/3611.31 c LP encountered Farkas constraints 0
3600.01/3611.31 c LP encountered learned Farkas constraints 0
3600.01/3611.31 c CG auxiliary variables introduced 0
3600.01/3611.31 c CG solutions found 0
3600.01/3611.31 c CG cores constructed 0
3600.01/3611.31 c CG core cardinality constraints returned 0
3600.01/3611.31 c CG unit cores 0
3600.01/3611.31 c CG single cores 0
3600.01/3611.31 c CG blocks removed during cardinality reduction 0
3600.01/3611.31 c CG first core best 0
3600.01/3611.31 c CG decision core best 0
3600.01/3611.31 c CG core reduction tie 0
3600.01/3611.31 c CG core degree average 0.00
3600.01/3611.31 c CG core slack average 0.00
3600.01/3611.31 c CG core upper bound improvements 0
3600.01/3611.31 c STR number of successful calls 0
3600.01/3611.31 c STR number of unsuccessful calls 0
3600.01/3611.31 c STR number of inconclusive calls 0
3600.01/3611.31 c STR number of successful attempts 0
3600.01/3611.31 c STR number of unsuccessful attempts 0
3600.01/3611.31 c STR number of inconclusive attempts 0
3600.01/3611.31 c STR average degree increase per successful call inf
3600.01/3611.31 c STR average degree increase per successful attempt inf
3600.01/3611.31 c STR total number of conflicts for successful attempts 0
3600.01/3611.31 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3611.31 c STR total number of conflicts for inconclusive attempts 0
3600.01/3611.31 c STR average number of conflicts per successful attempt inf
3600.01/3611.31 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3611.31 c STR average number of conflicts per inconclusive attempt inf
3600.01/3611.31 c AVG.sumWPerc 99.91
3600.01/3611.31 c bigint constraints 0
3600.01/3611.31 s UNKNOWN
3600.01/3611.31 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 (61774 MiB free)
memory of node 1: 64507 MiB (59698 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505631-1751482096/watcher-4505631-1751482096 -o /tmp/evaluation-result-4505631-1751482096/solver-4505631-1751482096 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72301 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505631-1751482096.opb PROOFDIR/proof-4505631-1751482096
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=73651, runsolver pid=73648
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.09 4.09 5/273 73653
/proc/meminfo: memFree=124381376/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=66212 memory=21444 CPUtime=0.07 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 4279 0 0 0 6 1 0 0 20 0 1 0 63889895 67801088 5361 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 16553 5361 1952 1147 0 3980 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70404 KiB
Current children cumulated memory: 24516 KiB
[startup+0.205746 s]*
/proc/loadavg: 4.10 4.09 4.09 5/273 73653
/proc/meminfo: memFree=124368964/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=74184 memory=31308 CPUtime=0.17 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 6333 0 0 0 13 4 0 0 20 0 1 0 63889895 75964416 7827 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 18546 7827 1952 1147 0 5973 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 78376 KiB
Current children cumulated memory: 34380 KiB
[startup+0.305763 s]*
/proc/loadavg: 4.10 4.09 4.09 5/273 73653
/proc/meminfo: memFree=124312004/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=124636 memory=71664 CPUtime=0.27 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 12488 0 0 0 21 6 0 0 20 0 1 0 63889895 127627264 17916 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 31159 17916 2272 1147 0 18586 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 128828 KiB
Current children cumulated memory: 74736 KiB
[startup+0.700191 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 73653
/proc/meminfo: memFree=124231228/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=138752 memory=83312 CPUtime=0.66 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 15351 0 0 0 44 22 0 0 20 0 1 0 63889895 142082048 20828 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 34688 20828 2336 1147 0 22115 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 142944 KiB
Current children cumulated memory: 86384 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 73653
/proc/meminfo: memFree=124186812/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=159624 memory=96156 CPUtime=1.45 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 15991 0 0 0 90 55 0 0 20 0 1 0 63889895 163454976 24039 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 39906 24039 2336 1147 0 27333 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 163816 KiB
Current children cumulated memory: 99228 KiB
[startup+3.10555 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 73653
/proc/meminfo: memFree=123842940/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=194744 memory=138396 CPUtime=3.06 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 17906 0 0 0 211 95 0 0 20 0 1 0 63889895 199417856 34599 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 48686 34599 2336 1147 0 36113 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 198936 KiB
Current children cumulated memory: 141468 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 73653
/proc/meminfo: memFree=123661172/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=244532 memory=177744 CPUtime=6.25 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 18553 0 0 0 480 145 0 0 20 0 1 0 63889895 250400768 44436 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 61133 44436 2336 1147 0 48560 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 248724 KiB
Current children cumulated memory: 180816 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.10 4.09 5/273 73653
/proc/meminfo: memFree=123205524/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=437176 memory=373684 CPUtime=12.63 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 54791 0 0 0 1027 236 0 0 20 0 1 0 63889895 447668224 93421 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 109294 93421 2336 1147 0 96721 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 441368 KiB
Current children cumulated memory: 376756 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.12 4.10 5/273 73653
/proc/meminfo: memFree=122169668/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=845724 memory=662820 CPUtime=25.4 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 104614 0 0 0 2214 326 0 0 20 0 1 0 63889895 866021376 165705 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 211431 165705 2336 1147 0 198858 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 849916 KiB
Current children cumulated memory: 665892 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.11 4.09 5/273 73654
/proc/meminfo: memFree=119971720/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=1390244 memory=1118824 CPUtime=50.93 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 183362 0 0 0 4646 447 0 0 20 0 1 0 63889895 1423609856 279706 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 347561 279706 2336 1147 0 334988 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1394436 KiB
Current children cumulated memory: 1121896 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/272 73655
/proc/meminfo: memFree=114810084/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=1897212 memory=1673804 CPUtime=102.01 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 290447 0 0 0 9570 631 0 0 20 0 1 0 63889895 1942745088 418451 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 474303 418451 2336 1147 0 461730 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1901404 KiB
Current children cumulated memory: 1676876 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 73659
/proc/meminfo: memFree=109522832/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=3078296 memory=2511084 CPUtime=161.85 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 461944 0 0 0 15454 731 0 0 20 0 1 0 63889895 3152175104 627771 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 769574 627771 2336 1147 0 757001 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 3082488 KiB
Current children cumulated memory: 2514156 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 73661
/proc/meminfo: memFree=103598152/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=3300412 memory=2768636 CPUtime=221.69 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 509144 0 0 0 21353 816 0 0 20 0 1 0 63889895 3379621888 692159 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 825103 692159 2336 1147 0 812530 0
################
# More data... #
################
Current children cumulated memory: 9386672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/273 73875
/proc/meminfo: memFree=36170384/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=11308288 memory=9383600 CPUtime=3331.85 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 1807607 0 0 0 329854 3331 0 0 20 0 1 0 63889895 11579686912 2345900 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 2827072 2345900 2336 1147 0 2814499 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 11312480 KiB
Current children cumulated memory: 9386672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.43 4.20 4.12 5/273 73881
/proc/meminfo: memFree=35055108/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=11308288 memory=9383600 CPUtime=3391.64 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 1807908 0 0 0 335821 3343 0 0 20 0 1 0 63889895 11579686912 2345900 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 2827072 2345900 2336 1147 0 2814499 0
Current children cumulated CPU time: 3391.64 s
Current children cumulated vsize: 11312480 KiB
Current children cumulated memory: 9386672 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.20 4.13 5/272 73883
/proc/meminfo: memFree=33931056/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=11308288 memory=9383600 CPUtime=3451.46 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 1808716 0 0 0 341775 3371 0 0 20 0 1 0 63889895 11579686912 2345900 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 2827072 2345900 2336 1147 0 2814499 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 11312480 KiB
Current children cumulated memory: 9386672 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.20 4.13 5/271 73885
/proc/meminfo: memFree=33110752/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=11308288 memory=9383600 CPUtime=3511.26 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 1809271 0 0 0 347748 3378 0 0 20 0 1 0 63889895 11579686912 2345900 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 2827072 2345900 2336 1147 0 2814499 0
Current children cumulated CPU time: 3511.26 s
Current children cumulated vsize: 11312480 KiB
Current children cumulated memory: 9386672 KiB
[startup+3582.3 s]
/proc/loadavg: 3.99 4.14 4.11 4/264 73917
/proc/meminfo: memFree=56225720/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=11308288 memory=9383728 CPUtime=3571.08 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 1809910 0 0 0 353692 3416 0 0 20 0 1 0 63889895 11579686912 2345932 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 2827072 2345932 2336 1147 0 2814499 0
Current children cumulated CPU time: 3571.08 s
Current children cumulated vsize: 11312480 KiB
Current children cumulated memory: 9386800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 3.64 4.04 4.08 3/257 73949
/proc/meminfo: memFree=83648520/131250000 swapFree=33008100/33010684
[pid=73651] ppid=73648 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73651/stat : 73651 (run-opt-log.sh) S 73648 73651 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63889894 4292608 768 18446744073709551615 94024846950400 94024847844933 140734432569856 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94024848083984 94024848131728 94024862076928 140734432577825 140734432578020 140734432578020 140734432583622 0
/proc/73651/statm: 1048 768 704 219 0 110 0
[pid=73653] ppid=73651 vsize=11308288 memory=9441096 CPUtime=3600.01 cores=0,2
/proc/73653/stat : 73653 (roundingsat) R 73651 73651 72291 0 -1 4194304 1810135 0 0 0 356569 3432 0 0 20 0 1 0 63889895 11579686912 2360274 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 2827072 2360274 2336 1147 0 2814499 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 11312480 KiB
Current children cumulated memory: 9444168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 73651 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002016 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 3.64 4.04 4.08 2/256 73949
/proc/meminfo: memFree=83619164/131250000 swapFree=33008100/33010684
[pid=73653] ppid=73648 vsize=11308288 memory=9441480 CPUtime=3600.37 cores=0,2
/proc/73653/stat : 73653 (roundingsat) D 73648 73651 72291 0 -1 4194304 1810141 0 0 0 356571 3466 0 0 20 0 1 0 63889895 11579686912 2360370 18446744073709551615 4227072 8923433 140733365289696 0 0 256 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 9
/proc/73653/statm: 2827072 2360370 2432 1147 0 2814499 0
??? kill 73653 sig 9
??? end of watcher thread
[startup+3614.52 s]
# the end of solver process 73653 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3565.73 s, system=35.0978 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3612 s]*
/proc/loadavg: 3.64 4.04 4.08 3/256 73949
/proc/meminfo: memFree=83626256/131250000 swapFree=33008100/33010684
[pid=73653] ppid=73648 vsize=11308288 memory=9441480 CPUtime=3600.31 cores=0,2
/proc/73653/stat : 73653 (roundingsat) D 73648 73651 72291 0 -1 4194304 1810141 0 0 0 356571 3460 0 0 20 0 1 0 63889895 11579686912 2360370 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 2827072 2360370 2432 1147 0 2814499 0
Current cumulated CPU time of completed processes: 0.002016 s
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 11308288 KiB
Current children cumulated memory: 9441480 KiB
[startup+3612.8 s]
/proc/loadavg: 3.64 4.04 4.08 3/256 73949
/proc/meminfo: memFree=83626256/131250000 swapFree=33008100/33010684
[pid=73653] ppid=73648 vsize=11308288 memory=9441480 CPUtime=3600.34 cores=0,2
/proc/73653/stat : 73653 (roundingsat) D 73648 73651 72291 0 -1 4194304 1810141 0 0 0 356571 3463 0 0 20 0 1 0 63889895 11579686912 2360370 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 2827072 2360370 2432 1147 0 2814499 0
Current cumulated CPU time of completed processes: 0.002016 s
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 11308288 KiB
Current children cumulated memory: 9441480 KiB
[startup+3613.2 s]
/proc/loadavg: 3.64 4.04 4.08 3/256 73949
/proc/meminfo: memFree=83615352/131250000 swapFree=33008100/33010684
[pid=73653] ppid=73648 vsize=11308288 memory=9441480 CPUtime=3600.36 cores=0,2
/proc/73653/stat : 73653 (roundingsat) D 73648 73651 72291 0 -1 4194304 1810141 0 0 0 356571 3465 0 0 20 0 1 0 63889895 11579686912 2360370 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 2827072 2360370 2432 1147 0 2814499 0
Current cumulated CPU time of completed processes: 0.002016 s
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 11308288 KiB
Current children cumulated memory: 9441480 KiB
[startup+3613.3 s]
/proc/loadavg: 3.64 4.04 4.08 3/256 73949
/proc/meminfo: memFree=83615352/131250000 swapFree=33008100/33010684
[pid=73653] ppid=73648 vsize=11308288 memory=9441480 CPUtime=3600.37 cores=0,2
/proc/73653/stat : 73653 (roundingsat) D 73648 73651 72291 0 -1 4194304 1810141 0 0 0 356571 3466 0 0 20 0 1 0 63889895 11579686912 2360370 18446744073709551615 4227072 8923433 140733365289696 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 29069312 140733365295442 140733365295656 140733365295656 140733365301226 0
/proc/73653/statm: 2827072 2360370 2432 1147 0 2814499 0
Current cumulated CPU time of completed processes: 0.002016 s
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 11308288 KiB
Current children cumulated memory: 9441480 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.52
CPU time (s): 3600.82
CPU user time (s): 3565.73
CPU system time (s): 35.0978
CPU usage (%): 99.6209
Max. virtual memory (cumulated for all children) (KiB): 11312480
Max. memory (cumulated for all children) (KiB): 9444168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.73
system time used= 35.0978
maximum resident set size= 9441480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1810349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38949576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98930
involuntary context switches= 6492
# summary of solver processes directly reported to runsolver:
# pid: 73651,73653
# total CPU time (s): 3600.82
# total CPU user time (s): 3565.73
# total CPU system time (s): 35.0978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16284 second user time and 17.0128 second system time
The end
Begin job on nodeC013 at 2025-07-02 20:48:16
IDJOB=4505631
IDBENCH=155767
IDSOLVER=3351
FILE ID=nodeC013/4505631-1751482096
RUNJOBID= nodeC013-1751474816-72301
SLURM_JOB_ID= 9598506
Free space on /tmp= 432260 MiB
SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505631-1751482096/watcher-4505631-1751482096 -o /tmp/evaluation-result-4505631-1751482096/solver-4505631-1751482096 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72301 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505631-1751482096.opb PROOFDIR/proof-4505631-1751482096
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 80f0935d0a86591f889a9638d17fdf07
RANDOM SEED=378244083
nodeC013 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.838
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.67
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.759
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.67
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.416
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.67
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 : 3584.943
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.836
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.67
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.822
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.67
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 : 3528.810
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.67
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 : 3595.168
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124388180 kB
MemAvailable: 125209800 kB
Buffers: 1668 kB
Cached: 1618868 kB
SwapCached: 2168 kB
Active: 4842052 kB
Inactive: 1390416 kB
Active(anon): 4605008 kB
Inactive(anon): 18128 kB
Active(file): 237044 kB
Inactive(file): 1372288 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008100 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 458624 kB
Writeback: 0 kB
AnonPages: 4613060 kB
Mapped: 109624 kB
Shmem: 11108 kB
KReclaimable: 102652 kB
Slab: 202584 kB
SReclaimable: 102652 kB
SUnreclaim: 99932 kB
KernelStack: 4416 kB
PageTables: 12292 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5395468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1677312 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432676 MiB
End job on nodeC013 at 2025-07-02 21:48:31