0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4532621-1752683075.opb'
0.00/0.06 c read 2.98MB (45.18ms)
0.00/0.06 c [cnf: #variables 31350 #clauses 73033 #duplicates 300 #arr 238100]
0.00/0.06 c output proof to '/tmp/proof-4532621-1752683075'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.08/0.12 c [group: #orbits ~= 1206] (58.73ms)
0.08/0.12 c
0.08/0.12 c detect special group actions
0.08/0.12 c probe for Johnson action (limit=64)
0.08/0.12 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.12 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.13 c found row 25x2, generating row predicate
0.08/0.13 c found row 4x2, generating row predicate
0.08/0.13 c found row 25x2, generating row predicate
0.08/0.13 c (9.39ms)
0.08/0.13 c
0.08/0.13 c detect symmetries on remainder
0.08/0.13 c [graph: #vertices 228483 #edges 724400]
0.08/0.13 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.17 c [group: #symmetries 1.38*10^776 #generators 1171] (38.83ms)
0.08/0.17 c
0.08/0.17 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.17 c ran it=0, +gens=7
0.28/0.36 c con best_support=4, best_gens=1171, +gens=132
0.28/0.36 c (186.79ms)
0.28/0.36 c
0.28/0.36 c finalize break order and special generators
0.28/0.36 c
0.28/0.36 c add generic predicates (break_depth=20)
0.28/0.36 c added predicates for 1310 generators (0.18ms)
0.28/0.36 c
0.28/0.36 c generation finished
0.28/0.36 c [sbp: #constraints 1385 #add_vars 8]
0.28/0.36 c
0.28/0.36 c write result to 'HOME/instance-4532621-1752683075.opb.pre'
0.28/0.37 c wrote 3.04MB (6.76ms)
0.28/0.37 c ------------------------------------------------------------------
0.28/0.37 c 186.79ms 52.86% optimize_gens
0.28/0.37 c 58.73ms 16.62% approx_orbits
0.28/0.37 c 45.18ms 12.78% parse
0.28/0.37 c 38.83ms 10.99% detect_generic
0.28/0.37 c 9.39ms 2.66% detect_special
0.28/0.37 c 6.76ms 1.91% output
0.28/0.37 c 6.22ms 1.76% other
0.28/0.37 c 1.29ms 0.37% finalize_order
0.28/0.37 c 0.18ms 0.05% break_generic
0.28/0.37 c ───────────────────────────────────────────────
0.28/0.37 c 353.38ms 100% total
0.28/0.37 c ------------------------------------------------------------------
0.28/0.39 c RoundingSat 2
0.28/0.39 c branch pb25
0.28/0.39 c commit 0f876b3
0.75/0.89 c #variables 31358 #constraints 75621
0.75/0.89 c objective is ce32
0.75/0.89 c initial watched CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
0.75/0.89 c initial counting CF 32, 64, 128, Arb: 14726 , 0 , 0 , 0
0.75/0.89 c bounds - >= -25 @ 0.403462
1.45/1.52 c bounds 202839433 >= -25 @ 1.00501
1.45/1.54 c bounds 202034457 >= -25 @ 1.02759
1.45/1.55 c bounds 174711049 >= -25 @ 1.04157
1.45/1.59 c bounds 170127855 >= -25 @ 1.07854
1.56/1.64 c bounds 139624093 >= -25 @ 1.12742
1.56/1.66 c bounds 139495729 >= -25 @ 1.14764
1.66/1.70 c bounds 138690753 >= -25 @ 1.18531
1.66/1.75 c bounds 138602311 >= -25 @ 1.2282
1.96/2.00 c bounds 138471526 >= -25 @ 1.47801
1.96/2.02 c bounds 138427777 >= -25 @ 1.49151
2.85/2.97 c bounds 138424167 >= -25 @ 2.4145
3.06/3.16 c bounds 138204400 >= -25 @ 2.59508
3.06/3.19 c bounds 135738846 >= -25 @ 2.63221
3.15/3.23 c bounds 135607996 >= -25 @ 2.66435
3.15/3.28 c bounds 133494976 >= -25 @ 2.7076
3.25/3.32 c bounds 133170745 >= -25 @ 2.7455
3.25/3.33 c bounds 133163131 >= -25 @ 2.7594
3.25/3.35 c bounds 133125356 >= -25 @ 2.77104
3.25/3.38 c bounds 127554641 >= -25 @ 2.80119
3.25/3.39 c bounds 127547027 >= -25 @ 2.81608
3.35/3.41 c bounds 127474596 >= -25 @ 2.83053
3.35/3.47 c bounds 127444032 >= -25 @ 2.88219
3.35/3.48 c bounds 127430415 >= -25 @ 2.8956
3.45/3.51 c bounds 125068516 >= -25 @ 2.92813
3.45/3.53 c bounds 125054899 >= -25 @ 2.94432
3.45/3.55 c bounds 124927886 >= -25 @ 2.96097
3.55/3.63 c bounds 96437858 >= -25 @ 3.03369
3.55/3.64 c bounds 94062342 >= -25 @ 3.0507
3.65/3.77 c bounds 94004016 >= -25 @ 3.17704
3.65/3.79 c bounds 94002568 >= -25 @ 3.19426
3.75/3.87 c bounds 60873251 >= -25 @ 3.26458
3.75/3.89 c bounds 48353783 >= -25 @ 3.28327
3.85/3.92 c bounds 48352021 >= -25 @ 3.31875
3.85/3.97 c bounds 48237541 >= -25 @ 3.35804
4.15/4.21 c bounds 48202865 >= -25 @ 3.59421
4.24/4.30 c bounds 48117365 >= -25 @ 3.68327
4.35/4.48 c bounds 48067501 >= -25 @ 3.86142
4.45/4.50 c bounds 48063856 >= -25 @ 3.87603
4.45/4.52 c bounds 48037320 >= -25 @ 3.89269
4.54/4.67 c bounds 48029510 >= -25 @ 4.03636
4.84/5.00 c bounds 48017260 >= -25 @ 4.36051
4.95/5.09 c bounds 48008262 >= -25 @ 4.44865
5.15/5.23 c bounds 48002592 >= -25 @ 4.58477
7.24/7.33 c #Conflicts: 1000 | #Constraints: 76665
7.24/7.33 c bounds 45753402 >= -25 @ 6.64414
7.24/7.36 c bounds 45406498 >= -25 @ 6.66848
7.24/7.38 c bounds 45087144 >= -25 @ 6.69346
7.34/7.40 c bounds 45031920 >= -25 @ 6.71231
7.34/7.43 c bounds 44379170 >= -25 @ 6.73494
7.34/7.46 c bounds 44378897 >= -25 @ 6.76279
7.34/7.47 c bounds 44352764 >= -25 @ 6.77663
7.44/7.53 c bounds 44016276 >= -25 @ 6.82645
7.44/7.55 c bounds 43966002 >= -25 @ 6.84728
7.44/7.57 c bounds 43958665 >= -25 @ 6.87169
7.54/7.64 c bounds 43912686 >= -25 @ 6.92882
7.63/7.77 c bounds 43863125 >= -25 @ 7.0671
7.74/7.80 c bounds 43832935 >= -25 @ 7.09163
8.84/8.96 c bounds 43755885 >= -25 @ 8.20828
8.94/9.04 c bounds 43724072 >= -25 @ 8.28114
9.43/9.56 c bounds 43723555 >= -25 @ 8.79163
9.63/9.73 c bounds 43688365 >= -25 @ 8.94859
10.23/10.34 c bounds 43665762 >= -25 @ 9.54943
12.03/12.19 c #Conflicts: 2000 | #Constraints: 77683
12.03/12.19 c INPROCESSING
12.03/12.19 c GARBAGE COLLECT
12.03/12.19 c bounds 33267003 >= -25 @ 11.3667
14.03/14.17 c bounds 32369904 >= -25 @ 13.2898
14.03/14.19 c bounds 31388616 >= -25 @ 13.3126
14.12/14.21 c bounds 31258991 >= -25 @ 13.3315
14.12/14.23 c bounds 31238048 >= -25 @ 13.3496
14.12/14.27 c bounds 31182097 >= -25 @ 13.384
14.22/14.30 c bounds 26591989 >= -25 @ 13.4198
14.32/14.48 c bounds 26523262 >= -25 @ 13.592
14.42/14.55 c bounds 26508769 >= -25 @ 13.664
14.62/14.70 c bounds 26460087 >= -25 @ 13.8132
14.93/15.02 c bounds 26433045 >= -25 @ 14.1188
14.93/15.06 c bounds 26424224 >= -25 @ 14.1578
15.03/15.14 c bounds 26414982 >= -25 @ 14.2368
15.42/15.50 c bounds 26193246 >= -25 @ 14.5911
15.61/15.71 c bounds 26150558 >= -25 @ 14.7887
15.72/15.83 c #Conflicts: 3000 | #Constraints: 77476
15.72/15.83 c bounds 26131369 >= -25 @ 14.9078
15.82/15.93 c bounds 26127097 >= -25 @ 15.0035
16.92/17.04 c bounds 26120737 >= -25 @ 16.0952
17.32/17.41 c bounds 26112562 >= -25 @ 16.4545
17.92/18.01 c bounds 26103321 >= -25 @ 17.0372
17.92/18.05 c bounds 26094129 >= -25 @ 17.0767
18.02/18.19 c bounds 26080764 >= -25 @ 17.2135
18.21/18.30 c bounds 26008833 >= -25 @ 17.3229
18.31/18.46 c bounds 26002473 >= -25 @ 17.473
23.70/23.81 c #Conflicts: 4000 | #Constraints: 78485
23.70/23.81 c INPROCESSING
23.70/23.81 c GARBAGE COLLECT
23.70/23.81 c bounds 25986871 >= -25 @ 22.6891
24.20/24.31 c bounds 25975617 >= -25 @ 23.1754
27.19/27.38 c bounds 25950241 >= -25 @ 26.1787
28.19/28.32 c #Conflicts: 5000 | #Constraints: 77656
28.19/28.32 c bounds 18716921 >= -25 @ 27.0935
28.19/28.33 c bounds 18347865 >= -25 @ 27.1106
28.19/28.37 c bounds 18172169 >= -25 @ 27.1441
28.19/28.39 c bounds 18116936 >= -25 @ 27.1677
28.29/28.45 c bounds 18084636 >= -25 @ 27.2221
28.29/28.47 c bounds 17696390 >= -25 @ 27.241
28.38/28.52 c bounds 16237350 >= -25 @ 27.2928
28.38/28.56 c bounds 16116750 >= -25 @ 27.325
28.38/28.58 c bounds 15976475 >= -25 @ 27.3507
28.48/28.60 c bounds 15924203 >= -25 @ 27.3698
28.48/28.67 c bounds 15900330 >= -25 @ 27.4378
28.59/28.73 c bounds 15862222 >= -25 @ 27.4976
28.59/28.75 c bounds 15817596 >= -25 @ 27.5161
28.59/28.78 c bounds 14894882 >= -25 @ 27.5455
28.99/29.11 c bounds 14475374 >= -25 @ 27.868
28.99/29.19 c bounds 14418334 >= -25 @ 27.9458
29.08/29.28 c bounds 14412644 >= -25 @ 28.0397
29.38/29.51 c bounds 14374914 >= -25 @ 28.2646
29.38/29.53 c bounds 14373855 >= -25 @ 28.2839
29.58/29.71 c bounds 14364937 >= -25 @ 28.4559
29.68/29.83 c bounds 14352144 >= -25 @ 28.5761
29.68/29.89 c bounds 14342211 >= -25 @ 28.6296
30.18/30.32 c bounds 14340699 >= -25 @ 29.0521
33.47/33.65 c #Conflicts: 6000 | #Constraints: 78679
33.47/33.65 c bounds 14339627 >= -25 @ 32.2901
34.37/34.57 c bounds 14333555 >= -25 @ 33.1977
35.36/35.52 c bounds 14300157 >= -25 @ 34.1277
35.57/35.70 c bounds 14290613 >= -25 @ 34.3091
35.87/36.00 c bounds 14255423 >= -25 @ 34.603
36.07/36.22 c bounds 14253281 >= -25 @ 34.8116
36.57/36.72 c bounds 14199474 >= -25 @ 35.3084
36.67/36.82 c bounds 14169124 >= -25 @ 35.3991
36.67/36.84 c bounds 14149991 >= -25 @ 35.4267
36.77/36.92 c bounds 14102821 >= -25 @ 35.5021
37.27/37.42 c bounds 14079757 >= -25 @ 35.9958
37.46/37.61 c bounds 14077392 >= -25 @ 36.1776
37.46/37.69 c bounds 14058259 >= -25 @ 36.2599
41.95/42.14 c INPROCESSING
41.95/42.14 c GARBAGE COLLECT
41.95/42.14 c bounds 12789110 >= -25 @ 40.6593
41.95/42.15 c bounds 12786540 >= -25 @ 40.6756
42.06/42.20 c bounds 12768235 >= -25 @ 40.724
42.06/42.22 c bounds 12756349 >= -25 @ 40.7394
42.06/42.23 c bounds 12737216 >= -25 @ 40.7557
42.06/42.26 c bounds 12734752 >= -25 @ 40.7801
42.06/42.29 c bounds 12706039 >= -25 @ 40.8072
42.15/42.31 c bounds 12684829 >= -25 @ 40.8261
42.15/42.33 c bounds 12672943 >= -25 @ 40.8481
42.15/42.37 c bounds 12644339 >= -25 @ 40.8808
42.45/42.66 c bounds 11744087 >= -25 @ 41.1743
42.45/42.68 c bounds 11720183 >= -25 @ 41.194
42.65/42.84 c bounds 11712935 >= -25 @ 41.3425
50.43/50.63 c #Conflicts: 7000 | #Constraints: 77409
50.43/50.63 c #Conflicts: 8000 | #Constraints: 78410
50.43/50.63 c bounds 8407790 >= -25 @ 48.9503
50.43/50.65 c bounds 8347134 >= -25 @ 48.9733
50.63/50.83 c bounds 8322842 >= -25 @ 49.153
50.63/50.85 c bounds 8294528 >= -25 @ 49.1727
50.73/50.91 c bounds 8218173 >= -25 @ 49.2314
50.73/50.93 c bounds 8063602 >= -25 @ 49.2526
50.73/50.95 c bounds 8049354 >= -25 @ 49.2728
50.73/50.99 c bounds 8028896 >= -25 @ 49.3105
50.84/51.02 c bounds 6792546 >= -25 @ 49.3369
50.84/51.07 c bounds 6530695 >= -25 @ 49.3836
50.84/51.09 c bounds 6478035 >= -25 @ 49.4044
50.93/51.11 c bounds 6474281 >= -25 @ 49.4301
51.02/51.20 c bounds 6472933 >= -25 @ 49.5147
51.02/51.28 c bounds 6455665 >= -25 @ 49.5965
51.52/51.70 c bounds 6423763 >= -25 @ 50.0013
52.32/52.58 c bounds 6408781 >= -25 @ 50.8713
52.83/53.06 c bounds 6405583 >= -25 @ 51.3369
53.12/53.36 c bounds 6395825 >= -25 @ 51.6327
56.51/56.76 c bounds 6373720 >= -25 @ 54.9625
56.51/56.79 c bounds 6368224 >= -25 @ 54.9999
63.49/63.76 c #Conflicts: 9000 | #Constraints: 79433
63.49/63.76 c INPROCESSING
63.49/63.76 c GARBAGE COLLECT
63.49/63.76 c bounds 6365046 >= -25 @ 61.8293
78.16/78.49 c #Conflicts: 10000 | #Constraints: 77767
78.16/78.49 c #Conflicts: 11000 | #Constraints: 78769
78.16/78.49 c #Conflicts: 12000 | #Constraints: 79769
78.16/78.49 c INPROCESSING
78.16/78.49 c GARBAGE COLLECT
78.16/78.49 c bounds 6351466 >= -25 @ 76.2352
78.86/79.14 c bounds 6329302 >= -25 @ 76.8725
79.56/79.84 c bounds 6321855 >= -25 @ 77.5546
82.15/82.41 c bounds 6306391 >= -25 @ 80.0783
83.45/83.73 c bounds 6303820 >= -25 @ 81.3687
84.04/84.34 c bounds 6301870 >= -25 @ 81.96
84.24/84.59 c #Conflicts: 13000 | #Constraints: 78094
84.24/84.59 c bounds 6282269 >= -25 @ 82.206
88.33/88.68 c bounds 6281321 >= -25 @ 86.2224
101.99/102.30 c #Conflicts: 14000 | #Constraints: 79097
101.99/102.30 c #Conflicts: 15000 | #Constraints: 80097
101.99/102.30 c INPROCESSING
101.99/102.30 c GARBAGE COLLECT
101.99/102.30 c rational objective 2.60171e+06
102.60/102.93 c bounds 6280110 >= -25 @ 100.165
102.60/103.00 c bounds 6276580 >= -25 @ 100.232
102.70/103.07 c bounds 6269698 >= -25 @ 100.299
103.09/103.45 c bounds 6246620 >= -25 @ 100.671
136.30/136.71 c #Conflicts: 16000 | #Constraints: 78281
136.30/136.71 c #Conflicts: 17000 | #Constraints: 79286
136.30/136.71 c #Conflicts: 18000 | #Constraints: 80298
136.30/136.71 c INPROCESSING
136.30/136.71 c GARBAGE COLLECT
136.30/136.71 c rational objective 2.65639e+06
190.45/191.09 c #Conflicts: 19000 | #Constraints: 78377
190.45/191.09 c #Conflicts: 20000 | #Constraints: 79377
190.45/191.09 c #Conflicts: 21000 | #Constraints: 80377
190.45/191.09 c INPROCESSING
190.45/191.09 c GARBAGE COLLECT
190.45/191.09 c #Conflicts: 22000 | #Constraints: 78178
190.45/191.09 c #Conflicts: 23000 | #Constraints: 79178
190.45/191.09 c #Conflicts: 24000 | #Constraints: 80178
190.45/191.09 c #Conflicts: 25000 | #Constraints: 81179
190.45/191.09 c bounds 6244849 >= -25 @ 186.369
193.75/194.31 c INPROCESSING
193.75/194.31 c GARBAGE COLLECT
193.75/194.31 c rational objective 2.85388e+06
194.74/195.32 c bounds 6234635 >= -25 @ 190.557
196.04/196.69 c bounds 6234377 >= -25 @ 191.887
196.24/196.84 c bounds 6233816 >= -25 @ 192.041
196.94/197.51 c bounds 6226288 >= -25 @ 192.699
196.94/197.54 c bounds 6225340 >= -25 @ 192.729
201.23/201.83 c #Conflicts: 26000 | #Constraints: 78784
201.23/201.83 c bounds 6209434 >= -25 @ 196.934
202.23/202.85 c bounds 6199929 >= -25 @ 197.937
204.02/204.63 c bounds 6196399 >= -25 @ 199.688
211.69/212.34 c #Conflicts: 27000 | #Constraints: 79790
211.69/212.34 c bounds 6167934 >= -25 @ 207.24
279.13/279.96 c #Conflicts: 28000 | #Constraints: 80798
279.13/279.96 c #Conflicts: 29000 | #Constraints: 81801
279.13/279.96 c INPROCESSING
279.13/279.96 c GARBAGE COLLECT
279.13/279.96 c #Conflicts: 30000 | #Constraints: 77961
279.13/279.96 c #Conflicts: 31000 | #Constraints: 78969
279.13/279.96 c #Conflicts: 32000 | #Constraints: 79977
279.13/279.96 c #Conflicts: 33000 | #Constraints: 80987
279.13/279.96 c INPROCESSING
279.13/279.96 c GARBAGE COLLECT
279.13/279.96 c rational objective 3.34531e+06
325.81/326.77 c #Conflicts: 34000 | #Constraints: 78258
325.81/326.77 c #Conflicts: 35000 | #Constraints: 79265
325.81/326.77 c #Conflicts: 36000 | #Constraints: 80272
325.81/326.77 c #Conflicts: 37000 | #Constraints: 81277
325.81/326.77 c INPROCESSING
325.81/326.77 c GARBAGE COLLECT
325.81/326.77 c rational objective 3.41352e+06
375.58/376.68 c #Conflicts: 38000 | #Constraints: 78335
375.58/376.68 c #Conflicts: 39000 | #Constraints: 79339
375.58/376.68 c #Conflicts: 40000 | #Constraints: 80344
375.58/376.68 c #Conflicts: 41000 | #Constraints: 81348
375.58/376.68 c INPROCESSING
375.58/376.68 c GARBAGE COLLECT
375.58/376.68 c rational objective 3.54158e+06
377.68/378.74 c bounds 6138653 >= -25 @ 370.367
398.93/400.08 c #Conflicts: 42000 | #Constraints: 78151
398.93/400.08 c #Conflicts: 43000 | #Constraints: 79154
398.93/400.08 c bounds 6121789 >= -25 @ 391.282
435.52/436.76 c #Conflicts: 44000 | #Constraints: 80164
435.52/436.76 c #Conflicts: 45000 | #Constraints: 81164
435.52/436.76 c #Conflicts: 46000 | #Constraints: 82166
435.52/436.76 c INPROCESSING
435.52/436.76 c GARBAGE COLLECT
435.52/436.76 c rational objective 3.61651e+06
540.26/541.77 c #Conflicts: 47000 | #Constraints: 78716
540.26/541.77 c #Conflicts: 48000 | #Constraints: 79721
540.26/541.77 c #Conflicts: 49000 | #Constraints: 80727
540.26/541.77 c #Conflicts: 50000 | #Constraints: 81728
540.26/541.77 c #Conflicts: 51000 | #Constraints: 82728
540.26/541.77 c INPROCESSING
540.26/541.77 c GARBAGE COLLECT
540.26/541.77 c #Conflicts: 52000 | #Constraints: 79126
540.26/541.77 c #Conflicts: 53000 | #Constraints: 80127
540.26/541.77 c #Conflicts: 54000 | #Constraints: 81130
540.26/541.77 c #Conflicts: 55000 | #Constraints: 82135
540.26/541.77 c #Conflicts: 56000 | #Constraints: 83138
540.26/541.77 c INPROCESSING
540.26/541.77 c GARBAGE COLLECT
540.26/541.77 c rational objective 3.61757e+06
603.60/605.28 c #Conflicts: 57000 | #Constraints: 79329
603.60/605.28 c #Conflicts: 58000 | #Constraints: 80329
603.60/605.28 c #Conflicts: 59000 | #Constraints: 81329
603.60/605.28 c #Conflicts: 60000 | #Constraints: 82329
603.60/605.28 c #Conflicts: 61000 | #Constraints: 83329
603.60/605.28 c INPROCESSING
603.60/605.28 c GARBAGE COLLECT
603.60/605.28 c rational objective 3.68737e+06
666.74/668.59 c #Conflicts: 62000 | #Constraints: 79318
666.74/668.59 c #Conflicts: 63000 | #Constraints: 80323
666.74/668.59 c #Conflicts: 64000 | #Constraints: 81327
666.74/668.59 c #Conflicts: 65000 | #Constraints: 82336
666.74/668.59 c #Conflicts: 66000 | #Constraints: 83339
666.74/668.59 c INPROCESSING
666.74/668.59 c GARBAGE COLLECT
666.74/668.59 c rational objective 3.84877e+06
729.28/731.28 c #Conflicts: 67000 | #Constraints: 79118
729.28/731.28 c #Conflicts: 68000 | #Constraints: 80120
729.28/731.28 c #Conflicts: 69000 | #Constraints: 81123
729.28/731.28 c #Conflicts: 70000 | #Constraints: 82129
729.28/731.28 c #Conflicts: 71000 | #Constraints: 83139
729.28/731.28 c #Conflicts: 72000 | #Constraints: 84146
729.28/731.28 c INPROCESSING
729.28/731.28 c GARBAGE COLLECT
729.28/731.28 c rational objective 4.24864e+06
805.38/807.53 c #Conflicts: 73000 | #Constraints: 78446
805.38/807.53 c #Conflicts: 74000 | #Constraints: 79451
805.38/807.53 c #Conflicts: 75000 | #Constraints: 80460
805.38/807.53 c #Conflicts: 76000 | #Constraints: 81469
805.38/807.53 c #Conflicts: 77000 | #Constraints: 82477
805.38/807.53 c #Conflicts: 78000 | #Constraints: 83485
805.38/807.53 c INPROCESSING
805.38/807.53 c GARBAGE COLLECT
805.38/807.53 c rational objective 4.36542e+06
886.19/888.56 c #Conflicts: 79000 | #Constraints: 78835
886.19/888.56 c #Conflicts: 80000 | #Constraints: 79835
886.19/888.56 c #Conflicts: 81000 | #Constraints: 80835
886.19/888.56 c #Conflicts: 82000 | #Constraints: 81839
886.19/888.56 c #Conflicts: 83000 | #Constraints: 82843
886.19/888.56 c #Conflicts: 84000 | #Constraints: 83848
886.19/888.56 c INPROCESSING
886.19/888.56 c GARBAGE COLLECT
886.19/888.56 c rational objective 4.49958e+06
962.90/965.40 c #Conflicts: 85000 | #Constraints: 79070
962.90/965.40 c #Conflicts: 86000 | #Constraints: 80083
962.90/965.40 c #Conflicts: 87000 | #Constraints: 81091
962.90/965.40 c #Conflicts: 88000 | #Constraints: 82102
962.90/965.40 c #Conflicts: 89000 | #Constraints: 83112
962.90/965.40 c #Conflicts: 90000 | #Constraints: 84122
962.90/965.40 c INPROCESSING
962.90/965.40 c GARBAGE COLLECT
962.90/965.40 c rational objective 4.57922e+06
1041.50/1044.21 c #Conflicts: 91000 | #Constraints: 79052
1041.50/1044.21 c #Conflicts: 92000 | #Constraints: 80060
1041.50/1044.21 c #Conflicts: 93000 | #Constraints: 81065
1041.50/1044.21 c #Conflicts: 94000 | #Constraints: 82074
1041.50/1044.21 c #Conflicts: 95000 | #Constraints: 83078
1041.50/1044.21 c #Conflicts: 96000 | #Constraints: 84082
1041.50/1044.21 c INPROCESSING
1041.50/1044.21 c GARBAGE COLLECT
1041.50/1044.21 c rational objective 4.5833e+06
1204.79/1207.93 c #Conflicts: 97000 | #Constraints: 78874
1204.79/1207.93 c #Conflicts: 98000 | #Constraints: 79875
1204.79/1207.93 c #Conflicts: 99000 | #Constraints: 80875
1204.79/1207.93 c #Conflicts: 100000 | #Constraints: 81877
1204.79/1207.93 c #Conflicts: 101000 | #Constraints: 82905
1204.79/1207.93 c #Conflicts: 102000 | #Constraints: 84013
1204.79/1207.93 c #Conflicts: 103000 | #Constraints: 85079
1204.79/1207.93 c INPROCESSING
1204.79/1207.93 c GARBAGE COLLECT
1204.79/1207.93 c #Conflicts: 104000 | #Constraints: 79584
1204.79/1207.93 c #Conflicts: 105000 | #Constraints: 80584
1204.79/1207.93 c #Conflicts: 106000 | #Constraints: 81587
1204.79/1207.93 c #Conflicts: 107000 | #Constraints: 82593
1204.79/1207.93 c #Conflicts: 108000 | #Constraints: 83597
1204.79/1207.93 c #Conflicts: 109000 | #Constraints: 84610
1204.79/1207.93 c #Conflicts: 110000 | #Constraints: 85613
1204.79/1207.93 c INPROCESSING
1204.79/1207.93 c GARBAGE COLLECT
1204.79/1207.93 c rational objective 4.59603e+06
1280.10/1283.40 c #Conflicts: 111000 | #Constraints: 79945
1280.10/1283.40 c #Conflicts: 112000 | #Constraints: 80945
1280.10/1283.40 c #Conflicts: 113000 | #Constraints: 81948
1280.10/1283.40 c #Conflicts: 114000 | #Constraints: 82952
1280.10/1283.40 c #Conflicts: 115000 | #Constraints: 83954
1280.10/1283.40 c #Conflicts: 116000 | #Constraints: 84960
1280.10/1283.40 c #Conflicts: 117000 | #Constraints: 85966
1280.10/1283.40 c INPROCESSING
1280.10/1283.40 c GARBAGE COLLECT
1280.10/1283.40 c rational objective 4.9511e+06
1367.88/1371.45 c #Conflicts: 118000 | #Constraints: 78594
1367.88/1371.45 c #Conflicts: 119000 | #Constraints: 79596
1367.88/1371.45 c #Conflicts: 120000 | #Constraints: 80600
1367.88/1371.45 c #Conflicts: 121000 | #Constraints: 81605
1367.88/1371.45 c #Conflicts: 122000 | #Constraints: 82607
1367.88/1371.45 c #Conflicts: 123000 | #Constraints: 83610
1367.88/1371.45 c #Conflicts: 124000 | #Constraints: 84610
1367.88/1371.45 c INPROCESSING
1367.88/1371.45 c GARBAGE COLLECT
1367.88/1371.45 c rational objective 5.00675e+06
1469.92/1473.76 c #Conflicts: 125000 | #Constraints: 78596
1469.92/1473.76 c #Conflicts: 126000 | #Constraints: 79599
1469.92/1473.76 c #Conflicts: 127000 | #Constraints: 80609
1469.92/1473.76 c #Conflicts: 128000 | #Constraints: 81621
1469.92/1473.76 c #Conflicts: 129000 | #Constraints: 82630
1469.92/1473.76 c #Conflicts: 130000 | #Constraints: 83632
1469.92/1473.76 c #Conflicts: 131000 | #Constraints: 84633
1469.92/1473.76 c INPROCESSING
1469.92/1473.76 c GARBAGE COLLECT
1469.92/1473.76 c rational objective 5.01193e+06
1553.61/1557.60 c #Conflicts: 132000 | #Constraints: 76581
1553.61/1557.60 c #Conflicts: 133000 | #Constraints: 77587
1553.61/1557.60 c #Conflicts: 134000 | #Constraints: 78591
1553.61/1557.60 c #Conflicts: 135000 | #Constraints: 79597
1553.61/1557.60 c #Conflicts: 136000 | #Constraints: 80602
1553.61/1557.60 c #Conflicts: 137000 | #Constraints: 81609
1553.61/1557.60 c #Conflicts: 138000 | #Constraints: 82614
1553.61/1557.60 c #Conflicts: 139000 | #Constraints: 83616
1553.61/1557.60 c INPROCESSING
1553.61/1557.60 c GARBAGE COLLECT
1553.61/1557.60 c rational objective 5.0221e+06
1650.87/1655.11 c #Conflicts: 140000 | #Constraints: 77252
1650.87/1655.11 c #Conflicts: 141000 | #Constraints: 78258
1650.87/1655.11 c #Conflicts: 142000 | #Constraints: 79265
1650.87/1655.11 c #Conflicts: 143000 | #Constraints: 80275
1650.87/1655.11 c #Conflicts: 144000 | #Constraints: 81282
1650.87/1655.11 c #Conflicts: 145000 | #Constraints: 82285
1650.87/1655.11 c #Conflicts: 146000 | #Constraints: 83294
1650.87/1655.11 c #Conflicts: 147000 | #Constraints: 84301
1650.87/1655.11 c INPROCESSING
1650.87/1655.11 c GARBAGE COLLECT
1650.87/1655.11 c rational objective 5.02445e+06
1767.87/1772.41 c #Conflicts: 148000 | #Constraints: 77694
1767.87/1772.41 c #Conflicts: 149000 | #Constraints: 78702
1767.87/1772.41 c #Conflicts: 150000 | #Constraints: 79714
1767.87/1772.41 c #Conflicts: 151000 | #Constraints: 80720
1767.87/1772.41 c #Conflicts: 152000 | #Constraints: 81729
1767.87/1772.41 c #Conflicts: 153000 | #Constraints: 82733
1767.87/1772.41 c #Conflicts: 154000 | #Constraints: 83737
1767.87/1772.41 c #Conflicts: 155000 | #Constraints: 84742
1767.87/1772.41 c INPROCESSING
1767.87/1772.41 c GARBAGE COLLECT
1767.87/1772.41 c rational objective 5.05933e+06
1855.66/1860.44 c #Conflicts: 156000 | #Constraints: 77883
1855.66/1860.44 c #Conflicts: 157000 | #Constraints: 78885
1855.66/1860.44 c #Conflicts: 158000 | #Constraints: 79885
1855.66/1860.44 c #Conflicts: 159000 | #Constraints: 80890
1855.66/1860.44 c #Conflicts: 160000 | #Constraints: 81890
1855.66/1860.44 c #Conflicts: 161000 | #Constraints: 82890
1855.66/1860.44 c #Conflicts: 162000 | #Constraints: 83890
1855.66/1860.44 c #Conflicts: 163000 | #Constraints: 84890
1855.66/1860.44 c INPROCESSING
1855.66/1860.44 c GARBAGE COLLECT
1855.66/1860.44 c rational objective 5.08132e+06
1951.41/1956.49 c #Conflicts: 164000 | #Constraints: 75912
1951.41/1956.49 c #Conflicts: 165000 | #Constraints: 76915
1951.41/1956.49 c #Conflicts: 166000 | #Constraints: 77915
1951.41/1956.49 c #Conflicts: 167000 | #Constraints: 78917
1951.41/1956.49 c #Conflicts: 168000 | #Constraints: 79919
1951.41/1956.49 c #Conflicts: 169000 | #Constraints: 80924
1951.41/1956.49 c #Conflicts: 170000 | #Constraints: 81935
1951.41/1956.49 c #Conflicts: 171000 | #Constraints: 82943
1951.41/1956.49 c INPROCESSING
1951.41/1956.49 c GARBAGE COLLECT
1951.41/1956.49 c rational objective 5.09149e+06
2198.09/2203.74 c #Conflicts: 172000 | #Constraints: 75823
2198.09/2203.74 c #Conflicts: 173000 | #Constraints: 76900
2198.09/2203.74 c #Conflicts: 174000 | #Constraints: 77937
2198.09/2203.74 c #Conflicts: 175000 | #Constraints: 78937
2198.09/2203.74 c #Conflicts: 176000 | #Constraints: 79937
2198.09/2203.74 c #Conflicts: 177000 | #Constraints: 80937
2198.09/2203.74 c #Conflicts: 178000 | #Constraints: 81937
2198.09/2203.74 c #Conflicts: 179000 | #Constraints: 82937
2198.09/2203.74 c #Conflicts: 180000 | #Constraints: 83937
2198.09/2203.74 c INPROCESSING
2198.09/2203.74 c GARBAGE COLLECT
2198.09/2203.74 c #Conflicts: 181000 | #Constraints: 76476
2198.09/2203.74 c #Conflicts: 182000 | #Constraints: 77480
2198.09/2203.74 c #Conflicts: 183000 | #Constraints: 78488
2198.09/2203.74 c #Conflicts: 184000 | #Constraints: 79494
2198.09/2203.74 c #Conflicts: 185000 | #Constraints: 80507
2198.09/2203.74 c #Conflicts: 186000 | #Constraints: 81513
2198.09/2203.74 c #Conflicts: 187000 | #Constraints: 82520
2198.09/2203.74 c #Conflicts: 188000 | #Constraints: 83524
2198.09/2203.74 c #Conflicts: 189000 | #Constraints: 84531
2198.09/2203.74 c INPROCESSING
2198.09/2203.74 c GARBAGE COLLECT
2198.09/2203.74 c rational objective 5.09385e+06
2310.11/2316.08 c #Conflicts: 190000 | #Constraints: 76875
2310.11/2316.08 c #Conflicts: 191000 | #Constraints: 77882
2310.11/2316.08 c #Conflicts: 192000 | #Constraints: 78887
2310.11/2316.08 c #Conflicts: 193000 | #Constraints: 79893
2310.11/2316.08 c #Conflicts: 194000 | #Constraints: 80900
2310.11/2316.08 c #Conflicts: 195000 | #Constraints: 81903
2310.11/2316.08 c #Conflicts: 196000 | #Constraints: 82910
2310.11/2316.08 c #Conflicts: 197000 | #Constraints: 83917
2310.11/2316.08 c #Conflicts: 198000 | #Constraints: 84921
2310.11/2316.08 c INPROCESSING
2310.11/2316.08 c GARBAGE COLLECT
2310.11/2316.08 c rational objective 5.09666e+06
2433.49/2439.70 c #Conflicts: 199000 | #Constraints: 77053
2433.49/2439.70 c #Conflicts: 200000 | #Constraints: 78058
2433.49/2439.70 c #Conflicts: 201000 | #Constraints: 79063
2433.49/2439.70 c #Conflicts: 202000 | #Constraints: 80067
2433.49/2439.70 c #Conflicts: 203000 | #Constraints: 81073
2433.49/2439.70 c #Conflicts: 204000 | #Constraints: 82078
2433.49/2439.70 c #Conflicts: 205000 | #Constraints: 83081
2433.49/2439.70 c #Conflicts: 206000 | #Constraints: 84092
2433.49/2439.70 c #Conflicts: 207000 | #Constraints: 85100
2433.49/2439.70 c INPROCESSING
2433.49/2439.70 c GARBAGE COLLECT
2433.49/2439.70 c rational objective 5.09808e+06
2463.41/2469.73 c #Conflicts: 208000 | #Constraints: 77074
2463.41/2469.73 c #Conflicts: 209000 | #Constraints: 78086
2463.41/2469.73 c bounds 6118021 >= -25 @ 2418.75
2463.41/2469.78 c bounds 6117073 >= -25 @ 2418.79
2463.50/2469.89 c bounds 6112933 >= -25 @ 2418.9
2464.40/2470.76 c bounds 6107011 >= -25 @ 2419.75
2465.00/2471.33 c bounds 6102808 >= -25 @ 2420.31
2558.57/2565.18 c #Conflicts: 210000 | #Constraints: 79106
2558.57/2565.18 c #Conflicts: 211000 | #Constraints: 80119
2558.57/2565.18 c #Conflicts: 212000 | #Constraints: 81127
2558.57/2565.18 c #Conflicts: 213000 | #Constraints: 82135
2558.57/2565.18 c #Conflicts: 214000 | #Constraints: 83139
2558.57/2565.18 c #Conflicts: 215000 | #Constraints: 84144
2558.57/2565.18 c #Conflicts: 216000 | #Constraints: 85153
2558.57/2565.18 c INPROCESSING
2558.57/2565.18 c GARBAGE COLLECT
2558.57/2565.18 c rational objective 5.09934e+06
2687.10/2694.01 c #Conflicts: 217000 | #Constraints: 76878
2687.10/2694.01 c #Conflicts: 218000 | #Constraints: 77880
2687.10/2694.01 c #Conflicts: 219000 | #Constraints: 78884
2687.10/2694.01 c #Conflicts: 220000 | #Constraints: 79887
2687.10/2694.01 c #Conflicts: 221000 | #Constraints: 80892
2687.10/2694.01 c #Conflicts: 222000 | #Constraints: 81899
2687.10/2694.01 c #Conflicts: 223000 | #Constraints: 82906
2687.10/2694.01 c #Conflicts: 224000 | #Constraints: 83910
2687.10/2694.01 c #Conflicts: 225000 | #Constraints: 84914
2687.10/2694.01 c #Conflicts: 226000 | #Constraints: 85919
2687.10/2694.01 c INPROCESSING
2687.10/2694.01 c GARBAGE COLLECT
2687.10/2694.01 c rational objective 5.09937e+06
2826.54/2833.97 c #Conflicts: 227000 | #Constraints: 77525
2826.54/2833.97 c #Conflicts: 228000 | #Constraints: 78530
2826.54/2833.97 c #Conflicts: 229000 | #Constraints: 79536
2826.54/2833.97 c #Conflicts: 230000 | #Constraints: 80541
2826.54/2833.97 c #Conflicts: 231000 | #Constraints: 81545
2826.54/2833.97 c #Conflicts: 232000 | #Constraints: 82548
2826.54/2833.97 c #Conflicts: 233000 | #Constraints: 83553
2826.54/2833.97 c #Conflicts: 234000 | #Constraints: 84557
2826.54/2833.97 c #Conflicts: 235000 | #Constraints: 85562
2826.54/2833.97 c #Conflicts: 236000 | #Constraints: 86566
2826.54/2833.97 c INPROCESSING
2826.54/2833.97 c GARBAGE COLLECT
2826.54/2833.97 c rational objective 5.22459e+06
3380.74/3389.64 c #Conflicts: 237000 | #Constraints: 77886
3380.74/3389.64 c #Conflicts: 238000 | #Constraints: 78890
3380.74/3389.64 c #Conflicts: 239000 | #Constraints: 79894
3380.74/3389.64 c #Conflicts: 240000 | #Constraints: 80897
3380.74/3389.64 c #Conflicts: 241000 | #Constraints: 81901
3380.74/3389.64 c #Conflicts: 242000 | #Constraints: 82909
3380.74/3389.64 c #Conflicts: 243000 | #Constraints: 83910
3380.74/3389.64 c #Conflicts: 244000 | #Constraints: 84913
3380.74/3389.64 c #Conflicts: 245000 | #Constraints: 85915
3380.74/3389.64 c #Conflicts: 246000 | #Constraints: 86919
3380.74/3389.64 c INPROCESSING
3380.74/3389.64 c GARBAGE COLLECT
3380.74/3389.64 c #Conflicts: 247000 | #Constraints: 78145
3380.74/3389.64 c #Conflicts: 248000 | #Constraints: 79268
3380.74/3389.64 c #Conflicts: 249000 | #Constraints: 80270
3380.74/3389.64 c #Conflicts: 250000 | #Constraints: 81287
3380.74/3389.64 c #Conflicts: 251000 | #Constraints: 82442
3380.74/3389.64 c #Conflicts: 252000 | #Constraints: 83461
3380.74/3389.64 c #Conflicts: 253000 | #Constraints: 84714
3380.74/3389.64 c #Conflicts: 254000 | #Constraints: 86159
3380.74/3389.64 c #Conflicts: 255000 | #Constraints: 87448
3380.74/3389.64 c #Conflicts: 256000 | #Constraints: 88554
3380.74/3389.64 c INPROCESSING
3380.74/3389.64 c GARBAGE COLLECT
3380.74/3389.64 c #Conflicts: 257000 | #Constraints: 78798
3380.74/3389.64 c #Conflicts: 258000 | #Constraints: 79798
3380.74/3389.64 c #Conflicts: 259000 | #Constraints: 80798
3380.74/3389.64 c #Conflicts: 260000 | #Constraints: 81798
3380.74/3389.64 c #Conflicts: 261000 | #Constraints: 82798
3380.74/3389.64 c #Conflicts: 262000 | #Constraints: 83798
3380.74/3389.64 c #Conflicts: 263000 | #Constraints: 84798
3380.74/3389.64 c #Conflicts: 264000 | #Constraints: 85798
3380.74/3389.64 c #Conflicts: 265000 | #Constraints: 86803
3380.74/3389.64 c #Conflicts: 266000 | #Constraints: 87815
3380.74/3389.64 c INPROCESSING
3380.74/3389.64 c GARBAGE COLLECT
3380.74/3389.64 c #Conflicts: 267000 | #Constraints: 78266
3380.74/3389.64 c #Conflicts: 268000 | #Constraints: 79266
3380.74/3389.64 c #Conflicts: 269000 | #Constraints: 80266
3380.74/3389.64 c #Conflicts: 270000 | #Constraints: 81266
3380.74/3389.64 c #Conflicts: 271000 | #Constraints: 82266
3380.74/3389.64 c #Conflicts: 272000 | #Constraints: 83266
3380.74/3389.64 c #Conflicts: 273000 | #Constraints: 84266
3380.74/3389.64 c #Conflicts: 274000 | #Constraints: 85266
3380.74/3389.64 c #Conflicts: 275000 | #Constraints: 86272
3380.74/3389.64 c #Conflicts: 276000 | #Constraints: 87276
3380.74/3389.64 c #Conflicts: 277000 | #Constraints: 88281
3380.74/3389.64 c INPROCESSING
3380.74/3389.64 c GARBAGE COLLECT
3380.74/3389.64 c rational objective 5.24622e+06
3425.64/3449.05 HOME/run-opt-break-log.sh: line 3: 139197 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --preprocessed-input="$1.pre" --proof-log="$2"
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: 63708 MiB (49833 MiB free)
memory of node 1: 64465 MiB (46027 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532621-1752683075/watcher-4532621-1752683075 -o /tmp/evaluation-result-4532621-1752683075/solver-4532621-1752683075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752683075-139134 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532621-1752683075.opb /tmp/proof-4532621-1752683075
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=139170, runsolver pid=139163
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.96 0.31 0.17 4/265 139183
/proc/meminfo: memFree=98057888/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139173] ppid=139170 vsize=79172 memory=59572 CPUtime=0.08 cores=1,3
/proc/139173/stat : 139173 (pbsuma) R 139170 139170 138819 0 -1 4194304 10656 0 0 0 6 2 0 0 20 0 1 0 183986924 81072128 14893 18446744073709551615 4210688 4653049 140733977302784 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 15106048 140733977307399 140733977307696 140733977307696 140733977313263 0
/proc/139173/statm: 19793 14893 992 108 0 17201 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83364 KiB
Current children cumulated memory: 62516 KiB
[startup+0.205656 s]*
/proc/loadavg: 0.96 0.31 0.17 6/271 139195
/proc/meminfo: memFree=97714012/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139173] ppid=139170 vsize=90168 memory=70336 CPUtime=0.18 cores=1,3
/proc/139173/stat : 139173 (pbsuma) R 139170 139170 138819 0 -1 4194304 21580 0 0 0 14 4 0 0 20 0 1 0 183986924 92332032 17584 18446744073709551615 4210688 4653049 140733977302784 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 15106048 140733977307399 140733977307696 140733977307696 140733977313263 0
/proc/139173/statm: 22542 17584 992 108 0 19950 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 94360 KiB
Current children cumulated memory: 73280 KiB
[startup+0.305777 s]*
/proc/loadavg: 0.96 0.31 0.17 6/271 139195
/proc/meminfo: memFree=97627644/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139173] ppid=139170 vsize=90168 memory=70336 CPUtime=0.28 cores=1,3
/proc/139173/stat : 139173 (pbsuma) R 139170 139170 138819 0 -1 4194304 21580 0 0 0 24 4 0 0 20 0 1 0 183986924 92332032 17584 18446744073709551615 4210688 4653049 140733977302784 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 15106048 140733977307399 140733977307696 140733977307696 140733977313263 0
/proc/139173/statm: 22542 17584 992 108 0 19950 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 94360 KiB
Current children cumulated memory: 73280 KiB
[startup+0.700195 s]
/proc/loadavg: 0.96 0.31 0.17 6/271 139197
/proc/meminfo: memFree=97621512/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=69476 memory=26024 CPUtime=0.29 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 4616 0 0 0 24 5 0 0 20 0 1 0 183986962 71143424 6506 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 17369 6506 1952 1147 0 4795 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 73668 KiB
Current children cumulated memory: 28968 KiB
[startup+1.50018 s]
/proc/loadavg: 0.96 0.31 0.17 6/271 139197
/proc/meminfo: memFree=97090144/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=189160 memory=118988 CPUtime=1.09 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 17213 0 0 0 98 11 0 0 20 0 1 0 183986962 193699840 29747 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 47290 29747 2336 1147 0 34716 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 193352 KiB
Current children cumulated memory: 121932 KiB
[startup+3.1055 s]
/proc/loadavg: 0.96 0.31 0.17 6/271 139199
/proc/meminfo: memFree=97282220/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=212260 memory=142732 CPUtime=2.7 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 22124 0 0 0 254 16 0 0 20 0 1 0 183986962 217354240 35683 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 53065 35683 2368 1147 0 40491 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 216452 KiB
Current children cumulated memory: 145676 KiB
[startup+6.30019 s]
/proc/loadavg: 1.20 0.37 0.19 6/271 139199
/proc/meminfo: memFree=95678708/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=284964 memory=208256 CPUtime=5.88 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 34389 0 0 0 563 25 0 0 20 0 1 0 183986962 291803136 52064 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 71241 52064 2400 1147 0 58667 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 289156 KiB
Current children cumulated memory: 211200 KiB
[startup+12.7002 s]
/proc/loadavg: 1.51 0.45 0.21 6/271 139199
/proc/meminfo: memFree=94969084/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=378684 memory=303008 CPUtime=12.27 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 52448 0 0 0 1186 41 0 0 20 0 1 0 183986962 387772416 75752 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 94671 75752 2400 1147 0 82097 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 382876 KiB
Current children cumulated memory: 305952 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 0.62 0.27 6/271 139199
/proc/meminfo: memFree=92859920/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=518248 memory=431100 CPUtime=25.04 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 77345 0 0 0 2434 70 0 0 20 0 1 0 183986962 530685952 107775 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 129562 107775 2400 1147 0 116988 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 522440 KiB
Current children cumulated memory: 434044 KiB
[startup+51.1056 s]
/proc/loadavg: 3.01 0.96 0.40 6/271 139200
/proc/meminfo: memFree=89086620/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=656100 memory=558484 CPUtime=50.57 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 99753 0 0 0 4941 116 0 0 20 0 1 0 183986962 671846400 139621 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 164025 139621 2400 1147 0 151451 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 660292 KiB
Current children cumulated memory: 561428 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 1.60 0.64 6/271 139202
/proc/meminfo: memFree=81865312/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=765892 memory=645792 CPUtime=101.63 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 120043 0 0 0 9953 210 0 0 20 0 1 0 183986962 784273408 161448 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 191473 161448 2400 1147 0 178899 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 770084 KiB
Current children cumulated memory: 648736 KiB
[startup+162.3 s]
/proc/loadavg: 4.72 2.22 0.92 6/272 139206
/proc/meminfo: memFree=73923976/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=784120 memory=665596 CPUtime=161.46 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 123873 0 0 0 15827 319 0 0 20 0 1 0 183986962 802938880 166399 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 196030 166399 2400 1147 0 183456 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 788312 KiB
Current children cumulated memory: 668540 KiB
[startup+222.3 s]
/proc/loadavg: 4.80 2.70 1.17 6/273 139209
/proc/meminfo: memFree=66762360/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=922536 memory=742552 CPUtime=221.31 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 136566 0 0 0 21697 434 0 0 20 0 1 0 183986962 944676864 185638 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 230634 185638 2400 1147 0 218060 0
################
# More data... #
################
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 923935 0 0 0 315641 5710 0 0 20 0 1 0 183986962 2784129024 596439 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 679719 596439 2528 1147 0 667145 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 2723068 KiB
Current children cumulated memory: 2388700 KiB
[startup+3282.3 s]
/proc/loadavg: 5.19 5.15 5.03 6/276 139395
/proc/meminfo: memFree=711164/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2795928 memory=2495828 CPUtime=3273.36 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 977465 0 0 0 321511 5825 0 0 20 0 1 0 183986962 2863030272 623957 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 698982 623957 2528 1147 0 686408 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 2800120 KiB
Current children cumulated memory: 2498772 KiB
[startup+3342.3 s]
/proc/loadavg: 5.13 5.14 5.03 7/276 139400
/proc/meminfo: memFree=728252/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2795928 memory=2495828 CPUtime=3333.2 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 997331 0 0 0 327383 5937 0 0 20 0 1 0 183986962 2863030272 623957 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 698982 623957 2528 1147 0 686408 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 2800120 KiB
Current children cumulated memory: 2498772 KiB
[startup+3402.3 s]
/proc/loadavg: 5.27 5.18 5.05 5/277 139456
/proc/meminfo: memFree=18102700/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2818896 memory=2522748 CPUtime=3393.04 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 1011942 0 0 0 333271 6033 0 0 20 0 1 0 183986962 2886549504 630687 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 704724 630687 2528 1147 0 692150 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 2823088 KiB
Current children cumulated memory: 2525692 KiB
[startup+3449.06 s]
# the end of solver process 139170 was just reported to runsolver
# Child status: 153
# cumulated CPU time of all completed processes: user=3363.99 s, system=61.7161 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3404.8 s]
/proc/loadavg: 5.27 5.18 5.05 5/277 139456
/proc/meminfo: memFree=17868136/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2818896 memory=2522748 CPUtime=3395.54 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 1011945 0 0 0 333517 6037 0 0 20 0 1 0 183986962 2886549504 630687 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 704724 630687 2528 1147 0 692150 0
Current children cumulated CPU time: 3395.9 s
Current children cumulated vsize: 2823088 KiB
Current children cumulated memory: 2525692 KiB
[startup+3430.4 s]
/proc/loadavg: 5.23 5.18 5.06 5/277 139458
/proc/meminfo: memFree=15671428/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2818896 memory=2522748 CPUtime=3421.07 cores=1,3
/proc/139197/stat : 139197 (roundingsat) R 139170 139170 138819 0 -1 4194304 1012427 0 0 0 336028 6079 0 0 20 0 1 0 183986962 2886549504 630687 18446744073709551615 4227072 8923577 140732026369520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 0
/proc/139197/statm: 704724 630687 2528 1147 0 692150 0
Current children cumulated CPU time: 3421.43 s
Current children cumulated vsize: 2823088 KiB
Current children cumulated memory: 2525692 KiB
[startup+3436.8 s]
/proc/loadavg: 5.29 5.19 5.06 5/277 139461
/proc/meminfo: memFree=14025412/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2818896 memory=2522748 CPUtime=3425.28 cores=1,3
/proc/139197/stat : 139197 (roundingsat) S 139170 139170 138819 0 -1 4195840 1012437 0 0 0 336367 6161 0 0 20 0 1 0 183986962 2886549504 630687 18446744073709551615 4227072 8923577 140732026369520 140732026366072 140508404922199 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 25
/proc/139197/statm: 704724 630687 2528 1147 0 692150 0
Current children cumulated CPU time: 3425.64 s
Current children cumulated vsize: 2823088 KiB
Current children cumulated memory: 2525692 KiB
[startup+3443.2 s]
/proc/loadavg: 5.35 5.21 5.07 4/276 139461
/proc/meminfo: memFree=13371660/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2818896 memory=2522748 CPUtime=3425.28 cores=1,3
/proc/139197/stat : 139197 (roundingsat) S 139170 139170 138819 0 -1 4195840 1012437 0 0 0 336367 6161 0 0 20 0 1 0 183986962 2886549504 630687 18446744073709551615 4227072 8923577 140732026369520 140732026366072 140508404922199 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 25
/proc/139197/statm: 704724 630687 2528 1147 0 692150 0
Current children cumulated CPU time: 3425.64 s
Current children cumulated vsize: 2823088 KiB
Current children cumulated memory: 2525692 KiB
[startup+3446.4 s]
/proc/loadavg: 5.40 5.22 5.07 4/276 139461
/proc/meminfo: memFree=13100268/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2818896 memory=2522748 CPUtime=3425.28 cores=1,3
/proc/139197/stat : 139197 (roundingsat) S 139170 139170 138819 0 -1 4195840 1012437 0 0 0 336367 6161 0 0 20 0 1 0 183986962 2886549504 630687 18446744073709551615 4227072 8923577 140732026369520 140732026366072 140508404922199 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 25
/proc/139197/statm: 704724 630687 2528 1147 0 692150 0
Current children cumulated CPU time: 3425.64 s
Current children cumulated vsize: 2823088 KiB
Current children cumulated memory: 2525692 KiB
[startup+3448 s]*
/proc/loadavg: 5.40 5.22 5.07 4/276 139461
/proc/meminfo: memFree=12926460/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2818896 memory=2522748 CPUtime=3425.28 cores=1,3
/proc/139197/stat : 139197 (roundingsat) S 139170 139170 138819 0 -1 4195840 1012437 0 0 0 336367 6161 0 0 20 0 1 0 183986962 2886549504 630687 18446744073709551615 4227072 8923577 140732026369520 140732026366072 140508404922199 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 25
/proc/139197/statm: 704724 630687 2528 1147 0 692150 0
Current children cumulated CPU time: 3425.64 s
Current children cumulated vsize: 2823088 KiB
Current children cumulated memory: 2525692 KiB
[startup+3448.8 s]
/proc/loadavg: 5.40 5.22 5.07 4/276 139461
/proc/meminfo: memFree=12926460/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2818896 memory=2522748 CPUtime=3425.28 cores=1,3
/proc/139197/stat : 139197 (roundingsat) S 139170 139170 138819 0 -1 4195840 1012437 0 0 0 336367 6161 0 0 20 0 1 0 183986962 2886549504 630687 18446744073709551615 4227072 8923577 140732026369520 140732026366072 140508404922199 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 25
/proc/139197/statm: 704724 630687 2528 1147 0 692150 0
Current children cumulated CPU time: 3425.64 s
Current children cumulated vsize: 2823088 KiB
Current children cumulated memory: 2525692 KiB
[startup+3449 s]*
/proc/loadavg: 5.40 5.22 5.07 5/276 139462
/proc/meminfo: memFree=13740940/131250000 swapFree=33009904/33010684
[pid=139170] ppid=139163 vsize=4192 memory=2944 CPUtime=0.36 cores=1,3
/proc/139170/stat : 139170 (run-opt-break-l) S 139163 139170 138819 0 -1 4194304 238 21710 0 0 0 0 31 5 20 0 1 0 183986923 4292608 736 18446744073709551615 93986503237632 93986504132165 140730997118560 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93986504371216 93986504418960 93986536673280 140730997123385 140730997123548 140730997123548 140730997129152 0
/proc/139170/statm: 1048 736 672 219 0 110 0
[pid=139197] ppid=139170 vsize=2818896 memory=2522748 CPUtime=3425.28 cores=1,3
/proc/139197/stat : 139197 (roundingsat) S 139170 139170 138819 0 -1 4195840 1012437 0 0 0 336367 6161 0 0 20 0 1 0 183986962 2886549504 630687 18446744073709551615 4227072 8923577 140732026369520 140732026366072 140508404922199 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 19996672 140732026378552 140732026378790 140732026378790 140732026384362 25
/proc/139197/statm: 704724 630687 2528 1147 0 692150 0
Current children cumulated CPU time: 3425.64 s
Current children cumulated vsize: 2823088 KiB
Current children cumulated memory: 2525692 KiB
Child status: 153
Real time (s): 3449.06
CPU time (s): 3425.7
CPU user time (s): 3363.99
CPU system time (s): 61.7161
CPU usage (%): 99.3229
Max. virtual memory (cumulated for all children) (KiB): 2823088
Max. memory (cumulated for all children) (KiB): 2525692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3363.99
system time used= 61.7161
maximum resident set size= 2522748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1034396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204805936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 379
involuntary context switches= 5474
# summary of solver processes directly reported to runsolver:
# pid: 139170
# total CPU time (s): 3425.7
# total CPU user time (s): 3363.99
# total CPU system time (s): 61.7161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12354 second user time and 15.7873 second system time
The end
Begin job on nodeC033 at 2025-07-16 18:24:35
IDJOB=4532621
IDBENCH=155663
IDSOLVER=3393
FILE ID=nodeC033/4532621-1752683075
RUNJOBID= nodeC033-1752683075-139134
SLURM_JOB_ID= 9686933
Free space on /tmp= 432904 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_2_mh.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532621-1752683075/watcher-4532621-1752683075 -o /tmp/evaluation-result-4532621-1752683075/solver-4532621-1752683075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752683075-139134 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532621-1752683075.opb /tmp/proof-4532621-1752683075
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4dd157bac1f926ce7283cc7b9966021e
RANDOM SEED=768628929
nodeC033 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 : 3602.383
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 : 7000.13
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 : 3600.084
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 : 7000.13
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 : 3600.061
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 : 7000.13
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 : 3599.834
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 : 7000.13
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.774
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 : 7000.13
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 : 3600.076
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 : 7000.13
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 : 3600.089
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.680
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 98190992 kB
MemAvailable: 129572680 kB
Buffers: 2128 kB
Cached: 32107996 kB
SwapCached: 68 kB
Active: 1001364 kB
Inactive: 31189800 kB
Active(anon): 101976 kB
Inactive(anon): 5284 kB
Active(file): 899388 kB
Inactive(file): 31184516 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49892 kB
Writeback: 16 kB
AnonPages: 84008 kB
Mapped: 107708 kB
Shmem: 26220 kB
KReclaimable: 274044 kB
Slab: 371328 kB
SReclaimable: 274044 kB
SUnreclaim: 97284 kB
KernelStack: 4116 kB
PageTables: 2644 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 366940 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 162784 MiB
End job on nodeC033 at 2025-07-16 19:22:04