0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4504531-1751438999.opb'
0.00/0.05 c read 2.98MB (45.68ms)
0.00/0.05 c [cnf: #variables 31350 #clauses 73033 #duplicates 300 #arr 238100]
0.00/0.05 c output proof to 'PROOFDIR/proof-4504531-1751438999'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.09/0.12 c [group: #orbits ~= 1206] (59.81ms)
0.09/0.12 c
0.09/0.12 c detect special group actions
0.09/0.12 c probe for Johnson action (limit=64)
0.09/0.12 c probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.12 c probe for row symmetry (limit=64, splits=16.78M)
0.09/0.12 c found row 25x2, generating row predicate
0.09/0.12 c found row 4x2, generating row predicate
0.09/0.12 c found row 25x2, generating row predicate
0.09/0.12 c (9.77ms)
0.09/0.12 c
0.09/0.12 c detect symmetries on remainder
0.09/0.13 c [graph: #vertices 228483 #edges 724400]
0.09/0.13 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.16 c [group: #symmetries 1.38*10^776 #generators 1171] (38.90ms)
0.09/0.16 c
0.09/0.16 c optimize generators (opt_passes=64, conjugate_limit=256)
0.09/0.16 c ran it=0, +gens=7
0.29/0.36 c con best_support=4, best_gens=1171, +gens=132
0.29/0.36 c (191.52ms)
0.29/0.36 c
0.29/0.36 c finalize break order and special generators
0.29/0.36 c
0.29/0.36 c add generic predicates (break_depth=20)
0.29/0.36 c added predicates for 1310 generators (0.18ms)
0.29/0.36 c
0.29/0.36 c generation finished
0.29/0.36 c [sbp: #constraints 1385 #add_vars 8]
0.29/0.36 c
0.29/0.36 c write result to 'HOME/instance-4504531-1751438999.opb.pre'
0.29/0.37 c wrote 3.04MB (6.76ms)
0.29/0.37 c ------------------------------------------------------------------
0.29/0.37 c 191.52ms 53.12% optimize_gens
0.29/0.37 c 59.81ms 16.59% approx_orbits
0.29/0.37 c 45.68ms 12.67% parse
0.29/0.37 c 38.90ms 10.79% detect_generic
0.29/0.37 c 9.77ms 2.71% detect_special
0.29/0.37 c 6.76ms 1.88% output
0.29/0.37 c 6.66ms 1.85% other
0.29/0.37 c 1.27ms 0.35% finalize_order
0.29/0.37 c 0.18ms 0.05% break_generic
0.29/0.37 c ───────────────────────────────────────────────
0.29/0.37 c 360.55ms 100% total
0.29/0.37 c ------------------------------------------------------------------
0.29/0.39 c RoundingSat 2
0.29/0.39 c branch pb25
0.29/0.39 c commit 63f22ad
0.75/0.85 c #variables 31358 #constraints 75621
0.75/0.85 c objective is ce32
0.75/0.85 c initial watched CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
0.75/0.85 c initial counting CF 32, 64, 128, Arb: 14726 , 0 , 0 , 0
0.75/0.85 c bounds - >= -25 @ 0.375508
1.36/1.46 c bounds 202839433 >= -25 @ 0.969174
1.36/1.49 c bounds 202034457 >= -25 @ 0.993574
1.46/1.51 c bounds 174711049 >= -25 @ 1.00888
1.46/1.55 c bounds 170127855 >= -25 @ 1.04556
1.55/1.60 c bounds 139624093 >= -25 @ 1.09668
1.55/1.62 c bounds 139495729 >= -25 @ 1.11838
1.55/1.66 c bounds 138690753 >= -25 @ 1.15492
1.66/1.71 c bounds 138602311 >= -25 @ 1.19998
1.86/1.98 c bounds 138471526 >= -25 @ 1.45877
1.86/1.99 c bounds 138427777 >= -25 @ 1.47147
2.85/2.99 c bounds 138424167 >= -25 @ 2.43572
3.05/3.18 c bounds 138204400 >= -25 @ 2.62699
3.16/3.22 c bounds 135738846 >= -25 @ 2.66598
3.16/3.26 c bounds 135607996 >= -25 @ 2.70278
3.25/3.31 c bounds 133494976 >= -25 @ 2.75044
3.25/3.35 c bounds 133170745 >= -25 @ 2.7871
3.25/3.37 c bounds 133163131 >= -25 @ 2.80457
3.25/3.39 c bounds 133125356 >= -25 @ 2.82049
3.35/3.42 c bounds 127554641 >= -25 @ 2.85306
3.35/3.44 c bounds 127547027 >= -25 @ 2.8673
3.35/3.45 c bounds 127474596 >= -25 @ 2.88476
3.45/3.51 c bounds 127444032 >= -25 @ 2.9397
3.45/3.53 c bounds 127430415 >= -25 @ 2.95468
3.45/3.56 c bounds 125068516 >= -25 @ 2.99084
3.45/3.58 c bounds 125054899 >= -25 @ 3.00559
3.55/3.60 c bounds 124927886 >= -25 @ 3.02831
3.55/3.68 c bounds 96437858 >= -25 @ 3.10177
3.65/3.70 c bounds 94062342 >= -25 @ 3.12093
3.75/3.84 c bounds 94004016 >= -25 @ 3.2553
3.75/3.86 c bounds 94002568 >= -25 @ 3.27495
3.85/3.93 c bounds 60873251 >= -25 @ 3.34546
3.85/3.95 c bounds 48353783 >= -25 @ 3.36177
3.85/3.99 c bounds 48352021 >= -25 @ 3.39265
3.95/4.03 c bounds 48237541 >= -25 @ 3.43392
4.15/4.27 c bounds 48202865 >= -25 @ 3.66653
4.25/4.36 c bounds 48117365 >= -25 @ 3.75318
4.45/4.54 c bounds 48067501 >= -25 @ 3.92471
4.45/4.56 c bounds 48063856 >= -25 @ 3.94043
4.45/4.57 c bounds 48037320 >= -25 @ 3.95554
4.65/4.72 c bounds 48029510 >= -25 @ 4.10077
4.95/5.05 c bounds 48017260 >= -25 @ 4.41503
5.05/5.13 c bounds 48008262 >= -25 @ 4.5
5.14/5.26 c bounds 48002592 >= -25 @ 4.62014
7.24/7.30 c #Conflicts: 1000 | #Constraints: 76665
7.24/7.30 c bounds 45753402 >= -25 @ 6.62667
7.24/7.32 c bounds 45406498 >= -25 @ 6.64799
7.24/7.35 c bounds 45087144 >= -25 @ 6.66856
7.24/7.37 c bounds 45031920 >= -25 @ 6.6862
7.24/7.39 c bounds 44379170 >= -25 @ 6.70774
7.34/7.42 c bounds 44378897 >= -25 @ 6.73722
7.34/7.44 c bounds 44352764 >= -25 @ 6.75515
7.34/7.49 c bounds 44016276 >= -25 @ 6.80935
7.44/7.52 c bounds 43966002 >= -25 @ 6.83054
7.44/7.54 c bounds 43958665 >= -25 @ 6.85596
7.54/7.60 c bounds 43912686 >= -25 @ 6.9136
7.64/7.75 c bounds 43863125 >= -25 @ 7.05281
7.64/7.78 c bounds 43832935 >= -25 @ 7.07939
8.84/8.97 c bounds 43755885 >= -25 @ 8.23895
8.94/9.05 c bounds 43724072 >= -25 @ 8.31383
9.53/9.60 c bounds 43723555 >= -25 @ 8.84405
9.63/9.76 c bounds 43688365 >= -25 @ 9.00553
10.24/10.38 c bounds 43665762 >= -25 @ 9.59448
12.13/12.22 c #Conflicts: 2000 | #Constraints: 77683
12.13/12.22 c INPROCESSING
12.13/12.22 c GARBAGE COLLECT
12.13/12.22 c bounds 33267003 >= -25 @ 11.3962
14.03/14.18 c bounds 32369904 >= -25 @ 13.3124
14.12/14.20 c bounds 31388616 >= -25 @ 13.3361
14.12/14.22 c bounds 31258991 >= -25 @ 13.3561
14.12/14.24 c bounds 31238048 >= -25 @ 13.3742
14.12/14.28 c bounds 31182097 >= -25 @ 13.4094
14.23/14.32 c bounds 26591989 >= -25 @ 13.4452
14.42/14.50 c bounds 26523262 >= -25 @ 13.6203
14.42/14.57 c bounds 26508769 >= -25 @ 13.6923
14.62/14.72 c bounds 26460087 >= -25 @ 13.8403
14.93/15.04 c bounds 26433045 >= -25 @ 14.155
14.93/15.09 c bounds 26424224 >= -25 @ 14.1963
15.03/15.17 c bounds 26414982 >= -25 @ 14.2776
15.42/15.55 c bounds 26193246 >= -25 @ 14.6466
15.62/15.76 c bounds 26150558 >= -25 @ 14.8402
15.72/15.88 c #Conflicts: 3000 | #Constraints: 77476
15.72/15.88 c bounds 26131369 >= -25 @ 14.9645
15.82/15.98 c bounds 26127097 >= -25 @ 15.0607
16.92/17.08 c bounds 26120737 >= -25 @ 16.1427
17.31/17.44 c bounds 26112562 >= -25 @ 16.4918
17.92/18.03 c bounds 26103321 >= -25 @ 17.072
17.92/18.07 c bounds 26094129 >= -25 @ 17.1063
18.12/18.22 c bounds 26080764 >= -25 @ 17.2429
18.22/18.32 c bounds 26008833 >= -25 @ 17.346
18.31/18.47 c bounds 26002473 >= -25 @ 17.4939
23.60/23.73 c #Conflicts: 4000 | #Constraints: 78485
23.60/23.73 c INPROCESSING
23.60/23.73 c GARBAGE COLLECT
23.60/23.73 c bounds 25986871 >= -25 @ 22.5876
24.10/24.23 c bounds 25975617 >= -25 @ 23.0645
27.19/27.31 c bounds 25950241 >= -25 @ 26.0922
28.09/28.26 c #Conflicts: 5000 | #Constraints: 77656
28.09/28.26 c bounds 18716921 >= -25 @ 27.0087
28.09/28.28 c bounds 18347865 >= -25 @ 27.0278
28.19/28.32 c bounds 18172169 >= -25 @ 27.0621
28.19/28.35 c bounds 18116936 >= -25 @ 27.0864
28.29/28.40 c bounds 18084636 >= -25 @ 27.1393
28.29/28.42 c bounds 17696390 >= -25 @ 27.1583
28.29/28.48 c bounds 16237350 >= -25 @ 27.2123
28.38/28.51 c bounds 16116750 >= -25 @ 27.2452
28.38/28.54 c bounds 15976475 >= -25 @ 27.2696
28.38/28.56 c bounds 15924203 >= -25 @ 27.2883
28.49/28.63 c bounds 15900330 >= -25 @ 27.3572
28.49/28.69 c bounds 15862222 >= -25 @ 27.4183
28.59/28.71 c bounds 15817596 >= -25 @ 27.4366
28.59/28.74 c bounds 14894882 >= -25 @ 27.465
28.89/29.06 c bounds 14475374 >= -25 @ 27.7803
28.99/29.14 c bounds 14418334 >= -25 @ 27.8563
29.09/29.23 c bounds 14412644 >= -25 @ 27.9522
29.29/29.47 c bounds 14374914 >= -25 @ 28.1875
29.29/29.49 c bounds 14373855 >= -25 @ 28.2037
29.49/29.66 c bounds 14364937 >= -25 @ 28.374
29.59/29.79 c bounds 14352144 >= -25 @ 28.4964
29.69/29.84 c bounds 14342211 >= -25 @ 28.5512
30.08/30.28 c bounds 14340699 >= -25 @ 28.9772
33.47/33.62 c #Conflicts: 6000 | #Constraints: 78679
33.47/33.62 c bounds 14339627 >= -25 @ 32.2224
34.38/34.54 c bounds 14333555 >= -25 @ 33.1298
35.38/35.50 c bounds 14300157 >= -25 @ 34.0732
35.47/35.68 c bounds 14290613 >= -25 @ 34.2473
35.77/35.98 c bounds 14255423 >= -25 @ 34.5491
36.07/36.20 c bounds 14253281 >= -25 @ 34.7597
36.56/36.71 c bounds 14199474 >= -25 @ 35.2595
36.67/36.80 c bounds 14169124 >= -25 @ 35.3493
36.67/36.83 c bounds 14149991 >= -25 @ 35.3762
36.77/36.91 c bounds 14102821 >= -25 @ 35.453
37.27/37.42 c bounds 14079757 >= -25 @ 35.9441
37.46/37.60 c bounds 14077392 >= -25 @ 36.1251
37.57/37.70 c bounds 14058259 >= -25 @ 36.2155
41.96/42.16 c INPROCESSING
41.96/42.16 c GARBAGE COLLECT
41.96/42.16 c bounds 12789110 >= -25 @ 40.6258
41.96/42.17 c bounds 12786540 >= -25 @ 40.6419
42.06/42.22 c bounds 12768235 >= -25 @ 40.6901
42.06/42.24 c bounds 12756349 >= -25 @ 40.7035
42.06/42.26 c bounds 12737216 >= -25 @ 40.7196
42.06/42.29 c bounds 12734752 >= -25 @ 40.7484
42.15/42.32 c bounds 12706039 >= -25 @ 40.7786
42.15/42.34 c bounds 12684829 >= -25 @ 40.7968
42.15/42.36 c bounds 12672943 >= -25 @ 40.8211
42.26/42.40 c bounds 12644339 >= -25 @ 40.8523
42.45/42.69 c bounds 11744087 >= -25 @ 41.1451
42.55/42.71 c bounds 11720183 >= -25 @ 41.1634
42.66/42.87 c bounds 11712935 >= -25 @ 41.3135
50.74/50.95 c #Conflicts: 7000 | #Constraints: 77409
50.74/50.95 c #Conflicts: 8000 | #Constraints: 78410
50.74/50.95 c bounds 8407790 >= -25 @ 49.1802
50.74/50.97 c bounds 8347134 >= -25 @ 49.2041
50.94/51.16 c bounds 8322842 >= -25 @ 49.3845
50.94/51.18 c bounds 8294528 >= -25 @ 49.4056
51.03/51.25 c bounds 8218173 >= -25 @ 49.4676
51.03/51.27 c bounds 8063602 >= -25 @ 49.489
51.03/51.29 c bounds 8049354 >= -25 @ 49.5093
51.13/51.33 c bounds 8028896 >= -25 @ 49.5473
51.13/51.35 c bounds 6792546 >= -25 @ 49.5719
51.23/51.41 c bounds 6530695 >= -25 @ 49.6205
51.23/51.43 c bounds 6478035 >= -25 @ 49.6419
51.23/51.45 c bounds 6474281 >= -25 @ 49.667
51.33/51.54 c bounds 6472933 >= -25 @ 49.7544
51.43/51.62 c bounds 6455665 >= -25 @ 49.8368
51.83/52.07 c bounds 6423763 >= -25 @ 50.2607
52.73/52.98 c bounds 6408781 >= -25 @ 51.1528
53.23/53.48 c bounds 6405583 >= -25 @ 51.6426
53.63/53.80 c bounds 6395825 >= -25 @ 51.9568
57.12/57.32 c bounds 6373720 >= -25 @ 55.4154
57.12/57.36 c bounds 6368224 >= -25 @ 55.4515
64.30/64.51 c #Conflicts: 9000 | #Constraints: 79433
64.30/64.51 c INPROCESSING
64.30/64.51 c GARBAGE COLLECT
64.30/64.51 c bounds 6365046 >= -25 @ 62.4551
79.16/79.43 c #Conflicts: 10000 | #Constraints: 77767
79.16/79.43 c #Conflicts: 11000 | #Constraints: 78769
79.16/79.43 c #Conflicts: 12000 | #Constraints: 79769
79.16/79.43 c INPROCESSING
79.16/79.43 c GARBAGE COLLECT
79.16/79.43 c bounds 6351466 >= -25 @ 77.0309
79.77/80.10 c bounds 6329302 >= -25 @ 77.6749
80.56/80.81 c bounds 6321855 >= -25 @ 78.3727
83.06/83.39 c bounds 6306391 >= -25 @ 80.8891
84.45/84.73 c bounds 6303820 >= -25 @ 82.2057
85.04/85.36 c bounds 6301870 >= -25 @ 82.8169
85.35/85.62 c #Conflicts: 13000 | #Constraints: 78094
85.35/85.62 c bounds 6282269 >= -25 @ 83.0721
89.44/89.77 c bounds 6281321 >= -25 @ 87.1476
103.20/103.58 c #Conflicts: 14000 | #Constraints: 79097
103.20/103.58 c #Conflicts: 15000 | #Constraints: 80097
103.20/103.58 c INPROCESSING
103.20/103.58 c GARBAGE COLLECT
103.20/103.58 c rational objective 2.60171e+06
103.90/104.21 c bounds 6280110 >= -25 @ 101.276
103.90/104.28 c bounds 6276580 >= -25 @ 101.338
104.00/104.35 c bounds 6269698 >= -25 @ 101.405
104.39/104.74 c bounds 6246620 >= -25 @ 101.784
138.12/138.58 c #Conflicts: 16000 | #Constraints: 78281
138.12/138.58 c #Conflicts: 17000 | #Constraints: 79286
138.12/138.58 c #Conflicts: 18000 | #Constraints: 80298
138.12/138.58 c INPROCESSING
138.12/138.58 c GARBAGE COLLECT
138.12/138.58 c rational objective 2.65639e+06
192.58/193.19 c #Conflicts: 19000 | #Constraints: 78377
192.58/193.19 c #Conflicts: 20000 | #Constraints: 79377
192.58/193.19 c #Conflicts: 21000 | #Constraints: 80377
192.58/193.19 c INPROCESSING
192.58/193.19 c GARBAGE COLLECT
192.58/193.19 c #Conflicts: 22000 | #Constraints: 78178
192.58/193.19 c #Conflicts: 23000 | #Constraints: 79178
192.58/193.19 c #Conflicts: 24000 | #Constraints: 80178
192.58/193.19 c #Conflicts: 25000 | #Constraints: 81179
192.58/193.19 c bounds 6244849 >= -25 @ 188.271
195.87/196.45 c INPROCESSING
195.87/196.45 c GARBAGE COLLECT
195.87/196.45 c rational objective 2.85388e+06
196.86/197.46 c bounds 6234635 >= -25 @ 192.492
198.26/198.86 c bounds 6234377 >= -25 @ 193.855
198.46/199.01 c bounds 6233816 >= -25 @ 194.01
199.06/199.68 c bounds 6226288 >= -25 @ 194.672
199.16/199.72 c bounds 6225340 >= -25 @ 194.702
203.45/204.09 c #Conflicts: 26000 | #Constraints: 78784
203.45/204.09 c bounds 6209434 >= -25 @ 198.986
204.55/205.12 c bounds 6199929 >= -25 @ 199.996
206.35/206.92 c bounds 6196399 >= -25 @ 201.753
214.12/214.70 c #Conflicts: 27000 | #Constraints: 79790
214.12/214.70 c bounds 6167934 >= -25 @ 209.382
282.76/283.50 c #Conflicts: 28000 | #Constraints: 80798
282.76/283.50 c #Conflicts: 29000 | #Constraints: 81801
282.76/283.50 c INPROCESSING
282.76/283.50 c GARBAGE COLLECT
282.76/283.50 c #Conflicts: 30000 | #Constraints: 77961
282.76/283.50 c #Conflicts: 31000 | #Constraints: 78969
282.76/283.50 c #Conflicts: 32000 | #Constraints: 79977
282.76/283.50 c #Conflicts: 33000 | #Constraints: 80987
282.76/283.50 c INPROCESSING
282.76/283.50 c GARBAGE COLLECT
282.76/283.50 c rational objective 3.34531e+06
330.15/331.10 c #Conflicts: 34000 | #Constraints: 78258
330.15/331.10 c #Conflicts: 35000 | #Constraints: 79265
330.15/331.10 c #Conflicts: 36000 | #Constraints: 80272
330.15/331.10 c #Conflicts: 37000 | #Constraints: 81277
330.15/331.10 c INPROCESSING
330.15/331.10 c GARBAGE COLLECT
330.15/331.10 c rational objective 3.41352e+06
381.62/382.60 c #Conflicts: 38000 | #Constraints: 78335
381.62/382.60 c #Conflicts: 39000 | #Constraints: 79339
381.62/382.60 c #Conflicts: 40000 | #Constraints: 80344
381.62/382.60 c #Conflicts: 41000 | #Constraints: 81348
381.62/382.60 c INPROCESSING
381.62/382.60 c GARBAGE COLLECT
381.62/382.60 c rational objective 3.54158e+06
383.62/384.70 c bounds 6138653 >= -25 @ 375.589
404.36/405.48 c #Conflicts: 42000 | #Constraints: 78151
404.36/405.48 c #Conflicts: 43000 | #Constraints: 79154
404.36/405.48 c bounds 6121789 >= -25 @ 395.943
441.28/442.49 c #Conflicts: 44000 | #Constraints: 80164
441.28/442.49 c #Conflicts: 45000 | #Constraints: 81164
441.28/442.49 c #Conflicts: 46000 | #Constraints: 82166
441.28/442.49 c INPROCESSING
441.28/442.49 c GARBAGE COLLECT
441.28/442.49 c rational objective 3.61651e+06
548.42/549.85 c #Conflicts: 47000 | #Constraints: 78716
548.42/549.85 c #Conflicts: 48000 | #Constraints: 79721
548.42/549.85 c #Conflicts: 49000 | #Constraints: 80727
548.42/549.85 c #Conflicts: 50000 | #Constraints: 81728
548.42/549.85 c #Conflicts: 51000 | #Constraints: 82728
548.42/549.85 c INPROCESSING
548.42/549.85 c GARBAGE COLLECT
548.42/549.85 c #Conflicts: 52000 | #Constraints: 79126
548.42/549.85 c #Conflicts: 53000 | #Constraints: 80127
548.42/549.85 c #Conflicts: 54000 | #Constraints: 81130
548.42/549.85 c #Conflicts: 55000 | #Constraints: 82135
548.42/549.85 c #Conflicts: 56000 | #Constraints: 83138
548.42/549.85 c INPROCESSING
548.42/549.85 c GARBAGE COLLECT
548.42/549.85 c rational objective 3.61757e+06
612.66/614.22 c #Conflicts: 57000 | #Constraints: 79329
612.66/614.22 c #Conflicts: 58000 | #Constraints: 80329
612.66/614.22 c #Conflicts: 59000 | #Constraints: 81329
612.66/614.22 c #Conflicts: 60000 | #Constraints: 82329
612.66/614.22 c #Conflicts: 61000 | #Constraints: 83329
612.66/614.22 c INPROCESSING
612.66/614.22 c GARBAGE COLLECT
612.66/614.22 c rational objective 3.68737e+06
676.78/678.56 c #Conflicts: 62000 | #Constraints: 79318
676.78/678.56 c #Conflicts: 63000 | #Constraints: 80323
676.78/678.56 c #Conflicts: 64000 | #Constraints: 81327
676.78/678.56 c #Conflicts: 65000 | #Constraints: 82336
676.78/678.56 c #Conflicts: 66000 | #Constraints: 83339
676.78/678.56 c INPROCESSING
676.78/678.56 c GARBAGE COLLECT
676.78/678.56 c rational objective 3.84877e+06
740.50/742.47 c #Conflicts: 67000 | #Constraints: 79118
740.50/742.47 c #Conflicts: 68000 | #Constraints: 80120
740.50/742.47 c #Conflicts: 69000 | #Constraints: 81123
740.50/742.47 c #Conflicts: 70000 | #Constraints: 82129
740.50/742.47 c #Conflicts: 71000 | #Constraints: 83139
740.50/742.47 c #Conflicts: 72000 | #Constraints: 84146
740.50/742.47 c INPROCESSING
740.50/742.47 c GARBAGE COLLECT
740.50/742.47 c rational objective 4.24864e+06
817.49/819.64 c #Conflicts: 73000 | #Constraints: 78446
817.49/819.64 c #Conflicts: 74000 | #Constraints: 79451
817.49/819.64 c #Conflicts: 75000 | #Constraints: 80460
817.49/819.64 c #Conflicts: 76000 | #Constraints: 81469
817.49/819.64 c #Conflicts: 77000 | #Constraints: 82477
817.49/819.64 c #Conflicts: 78000 | #Constraints: 83485
817.49/819.64 c INPROCESSING
817.49/819.64 c GARBAGE COLLECT
817.49/819.64 c rational objective 4.36542e+06
900.04/902.47 c #Conflicts: 79000 | #Constraints: 78835
900.04/902.47 c #Conflicts: 80000 | #Constraints: 79835
900.04/902.47 c #Conflicts: 81000 | #Constraints: 80835
900.04/902.47 c #Conflicts: 82000 | #Constraints: 81839
900.04/902.47 c #Conflicts: 83000 | #Constraints: 82843
900.04/902.47 c #Conflicts: 84000 | #Constraints: 83848
900.04/902.47 c INPROCESSING
900.04/902.47 c GARBAGE COLLECT
900.04/902.47 c rational objective 4.49958e+06
979.81/982.46 c #Conflicts: 85000 | #Constraints: 79070
979.81/982.46 c #Conflicts: 86000 | #Constraints: 80083
979.81/982.46 c #Conflicts: 87000 | #Constraints: 81091
979.81/982.46 c #Conflicts: 88000 | #Constraints: 82102
979.81/982.46 c #Conflicts: 89000 | #Constraints: 83112
979.81/982.46 c #Conflicts: 90000 | #Constraints: 84122
979.81/982.46 c INPROCESSING
979.81/982.46 c GARBAGE COLLECT
979.81/982.46 c rational objective 4.57922e+06
1063.86/1066.72 c #Conflicts: 91000 | #Constraints: 79052
1063.86/1066.72 c #Conflicts: 92000 | #Constraints: 80060
1063.86/1066.72 c #Conflicts: 93000 | #Constraints: 81065
1063.86/1066.72 c #Conflicts: 94000 | #Constraints: 82074
1063.86/1066.72 c #Conflicts: 95000 | #Constraints: 83078
1063.86/1066.72 c #Conflicts: 96000 | #Constraints: 84082
1063.86/1066.72 c INPROCESSING
1063.86/1066.72 c GARBAGE COLLECT
1063.86/1066.72 c rational objective 4.5833e+06
1230.08/1233.45 c #Conflicts: 97000 | #Constraints: 78874
1230.08/1233.45 c #Conflicts: 98000 | #Constraints: 79875
1230.08/1233.45 c #Conflicts: 99000 | #Constraints: 80875
1230.08/1233.45 c #Conflicts: 100000 | #Constraints: 81877
1230.08/1233.45 c #Conflicts: 101000 | #Constraints: 82905
1230.08/1233.45 c #Conflicts: 102000 | #Constraints: 84013
1230.08/1233.45 c #Conflicts: 103000 | #Constraints: 85079
1230.08/1233.45 c INPROCESSING
1230.08/1233.45 c GARBAGE COLLECT
1230.08/1233.45 c #Conflicts: 104000 | #Constraints: 79584
1230.08/1233.45 c #Conflicts: 105000 | #Constraints: 80584
1230.08/1233.45 c #Conflicts: 106000 | #Constraints: 81587
1230.08/1233.45 c #Conflicts: 107000 | #Constraints: 82593
1230.08/1233.45 c #Conflicts: 108000 | #Constraints: 83597
1230.08/1233.45 c #Conflicts: 109000 | #Constraints: 84610
1230.08/1233.45 c #Conflicts: 110000 | #Constraints: 85613
1230.08/1233.45 c INPROCESSING
1230.08/1233.45 c GARBAGE COLLECT
1230.08/1233.45 c rational objective 4.59603e+06
1307.56/1311.16 c #Conflicts: 111000 | #Constraints: 79945
1307.56/1311.16 c #Conflicts: 112000 | #Constraints: 80945
1307.56/1311.16 c #Conflicts: 113000 | #Constraints: 81948
1307.56/1311.16 c #Conflicts: 114000 | #Constraints: 82952
1307.56/1311.16 c #Conflicts: 115000 | #Constraints: 83954
1307.56/1311.16 c #Conflicts: 116000 | #Constraints: 84960
1307.56/1311.16 c #Conflicts: 117000 | #Constraints: 85966
1307.56/1311.16 c INPROCESSING
1307.56/1311.16 c GARBAGE COLLECT
1307.56/1311.16 c rational objective 4.9511e+06
1398.39/1402.29 c #Conflicts: 118000 | #Constraints: 78594
1398.39/1402.29 c #Conflicts: 119000 | #Constraints: 79596
1398.39/1402.29 c #Conflicts: 120000 | #Constraints: 80600
1398.39/1402.29 c #Conflicts: 121000 | #Constraints: 81605
1398.39/1402.29 c #Conflicts: 122000 | #Constraints: 82607
1398.39/1402.29 c #Conflicts: 123000 | #Constraints: 83610
1398.39/1402.29 c #Conflicts: 124000 | #Constraints: 84610
1398.39/1402.29 c INPROCESSING
1398.39/1402.29 c GARBAGE COLLECT
1398.39/1402.29 c rational objective 5.00675e+06
1503.80/1507.97 c #Conflicts: 125000 | #Constraints: 78596
1503.80/1507.97 c #Conflicts: 126000 | #Constraints: 79599
1503.80/1507.97 c #Conflicts: 127000 | #Constraints: 80609
1503.80/1507.97 c #Conflicts: 128000 | #Constraints: 81621
1503.80/1507.97 c #Conflicts: 129000 | #Constraints: 82630
1503.80/1507.97 c #Conflicts: 130000 | #Constraints: 83632
1503.80/1507.97 c #Conflicts: 131000 | #Constraints: 84633
1503.80/1507.97 c INPROCESSING
1503.80/1507.97 c GARBAGE COLLECT
1503.80/1507.97 c rational objective 5.01193e+06
1591.16/1595.59 c #Conflicts: 132000 | #Constraints: 76581
1591.16/1595.59 c #Conflicts: 133000 | #Constraints: 77587
1591.16/1595.59 c #Conflicts: 134000 | #Constraints: 78591
1591.16/1595.59 c #Conflicts: 135000 | #Constraints: 79597
1591.16/1595.59 c #Conflicts: 136000 | #Constraints: 80602
1591.16/1595.59 c #Conflicts: 137000 | #Constraints: 81609
1591.16/1595.59 c #Conflicts: 138000 | #Constraints: 82614
1591.16/1595.59 c #Conflicts: 139000 | #Constraints: 83616
1591.16/1595.59 c INPROCESSING
1591.16/1595.59 c GARBAGE COLLECT
1591.16/1595.59 c rational objective 5.0221e+06
1691.89/1696.51 c #Conflicts: 140000 | #Constraints: 77252
1691.89/1696.51 c #Conflicts: 141000 | #Constraints: 78258
1691.89/1696.51 c #Conflicts: 142000 | #Constraints: 79265
1691.89/1696.51 c #Conflicts: 143000 | #Constraints: 80275
1691.89/1696.51 c #Conflicts: 144000 | #Constraints: 81282
1691.89/1696.51 c #Conflicts: 145000 | #Constraints: 82285
1691.89/1696.51 c #Conflicts: 146000 | #Constraints: 83294
1691.89/1696.51 c #Conflicts: 147000 | #Constraints: 84301
1691.89/1696.51 c INPROCESSING
1691.89/1696.51 c GARBAGE COLLECT
1691.89/1696.51 c rational objective 5.02445e+06
1811.96/1816.96 c #Conflicts: 148000 | #Constraints: 77694
1811.96/1816.96 c #Conflicts: 149000 | #Constraints: 78702
1811.96/1816.96 c #Conflicts: 150000 | #Constraints: 79714
1811.96/1816.96 c #Conflicts: 151000 | #Constraints: 80720
1811.96/1816.96 c #Conflicts: 152000 | #Constraints: 81729
1811.96/1816.96 c #Conflicts: 153000 | #Constraints: 82733
1811.96/1816.96 c #Conflicts: 154000 | #Constraints: 83737
1811.96/1816.96 c #Conflicts: 155000 | #Constraints: 84742
1811.96/1816.96 c INPROCESSING
1811.96/1816.96 c GARBAGE COLLECT
1811.96/1816.96 c rational objective 5.05933e+06
1902.82/1908.01 c #Conflicts: 156000 | #Constraints: 77883
1902.82/1908.01 c #Conflicts: 157000 | #Constraints: 78885
1902.82/1908.01 c #Conflicts: 158000 | #Constraints: 79885
1902.82/1908.01 c #Conflicts: 159000 | #Constraints: 80890
1902.82/1908.01 c #Conflicts: 160000 | #Constraints: 81890
1902.82/1908.01 c #Conflicts: 161000 | #Constraints: 82890
1902.82/1908.01 c #Conflicts: 162000 | #Constraints: 83890
1902.82/1908.01 c #Conflicts: 163000 | #Constraints: 84890
1902.82/1908.01 c INPROCESSING
1902.82/1908.01 c GARBAGE COLLECT
1902.82/1908.01 c rational objective 5.08132e+06
1999.04/2004.50 c #Conflicts: 164000 | #Constraints: 75912
1999.04/2004.50 c #Conflicts: 165000 | #Constraints: 76915
1999.04/2004.50 c #Conflicts: 166000 | #Constraints: 77915
1999.04/2004.50 c #Conflicts: 167000 | #Constraints: 78917
1999.04/2004.50 c #Conflicts: 168000 | #Constraints: 79919
1999.04/2004.50 c #Conflicts: 169000 | #Constraints: 80924
1999.04/2004.50 c #Conflicts: 170000 | #Constraints: 81935
1999.04/2004.50 c #Conflicts: 171000 | #Constraints: 82943
1999.04/2004.50 c INPROCESSING
1999.04/2004.50 c GARBAGE COLLECT
1999.04/2004.50 c rational objective 5.09149e+06
2250.01/2256.28 c #Conflicts: 172000 | #Constraints: 75823
2250.01/2256.28 c #Conflicts: 173000 | #Constraints: 76900
2250.01/2256.28 c #Conflicts: 174000 | #Constraints: 77937
2250.01/2256.28 c #Conflicts: 175000 | #Constraints: 78937
2250.01/2256.28 c #Conflicts: 176000 | #Constraints: 79937
2250.01/2256.28 c #Conflicts: 177000 | #Constraints: 80937
2250.01/2256.28 c #Conflicts: 178000 | #Constraints: 81937
2250.01/2256.28 c #Conflicts: 179000 | #Constraints: 82937
2250.01/2256.28 c #Conflicts: 180000 | #Constraints: 83937
2250.01/2256.28 c INPROCESSING
2250.01/2256.28 c GARBAGE COLLECT
2250.01/2256.28 c #Conflicts: 181000 | #Constraints: 76476
2250.01/2256.28 c #Conflicts: 182000 | #Constraints: 77480
2250.01/2256.28 c #Conflicts: 183000 | #Constraints: 78488
2250.01/2256.28 c #Conflicts: 184000 | #Constraints: 79494
2250.01/2256.28 c #Conflicts: 185000 | #Constraints: 80507
2250.01/2256.28 c #Conflicts: 186000 | #Constraints: 81513
2250.01/2256.28 c #Conflicts: 187000 | #Constraints: 82520
2250.01/2256.28 c #Conflicts: 188000 | #Constraints: 83524
2250.01/2256.28 c #Conflicts: 189000 | #Constraints: 84531
2250.01/2256.28 c INPROCESSING
2250.01/2256.28 c GARBAGE COLLECT
2250.01/2256.28 c rational objective 5.09385e+06
2365.58/2372.13 c #Conflicts: 190000 | #Constraints: 76875
2365.58/2372.13 c #Conflicts: 191000 | #Constraints: 77882
2365.58/2372.13 c #Conflicts: 192000 | #Constraints: 78887
2365.58/2372.13 c #Conflicts: 193000 | #Constraints: 79893
2365.58/2372.13 c #Conflicts: 194000 | #Constraints: 80900
2365.58/2372.13 c #Conflicts: 195000 | #Constraints: 81903
2365.58/2372.13 c #Conflicts: 196000 | #Constraints: 82910
2365.58/2372.13 c #Conflicts: 197000 | #Constraints: 83917
2365.58/2372.13 c #Conflicts: 198000 | #Constraints: 84921
2365.58/2372.13 c INPROCESSING
2365.58/2372.13 c GARBAGE COLLECT
2365.58/2372.13 c rational objective 5.09666e+06
2491.21/2498.17 c #Conflicts: 199000 | #Constraints: 77053
2491.21/2498.17 c #Conflicts: 200000 | #Constraints: 78058
2491.21/2498.17 c #Conflicts: 201000 | #Constraints: 79063
2491.21/2498.17 c #Conflicts: 202000 | #Constraints: 80067
2491.21/2498.17 c #Conflicts: 203000 | #Constraints: 81073
2491.21/2498.17 c #Conflicts: 204000 | #Constraints: 82078
2491.21/2498.17 c #Conflicts: 205000 | #Constraints: 83081
2491.21/2498.17 c #Conflicts: 206000 | #Constraints: 84092
2491.21/2498.17 c #Conflicts: 207000 | #Constraints: 85100
2491.21/2498.17 c INPROCESSING
2491.21/2498.17 c GARBAGE COLLECT
2491.21/2498.17 c rational objective 5.09808e+06
2521.82/2528.89 c #Conflicts: 208000 | #Constraints: 77074
2521.82/2528.89 c #Conflicts: 209000 | #Constraints: 78086
2521.82/2528.89 c bounds 6118021 >= -25 @ 2470.49
2521.92/2528.94 c bounds 6117073 >= -25 @ 2470.54
2522.03/2529.06 c bounds 6112933 >= -25 @ 2470.65
2522.92/2529.95 c bounds 6107011 >= -25 @ 2471.52
2523.52/2530.54 c bounds 6102808 >= -25 @ 2472.1
2619.15/2626.45 c #Conflicts: 210000 | #Constraints: 79106
2619.15/2626.45 c #Conflicts: 211000 | #Constraints: 80119
2619.15/2626.45 c #Conflicts: 212000 | #Constraints: 81127
2619.15/2626.45 c #Conflicts: 213000 | #Constraints: 82135
2619.15/2626.45 c #Conflicts: 214000 | #Constraints: 83139
2619.15/2626.45 c #Conflicts: 215000 | #Constraints: 84144
2619.15/2626.45 c #Conflicts: 216000 | #Constraints: 85153
2619.15/2626.45 c INPROCESSING
2619.15/2626.45 c GARBAGE COLLECT
2619.15/2626.45 c rational objective 5.09934e+06
2749.27/2756.93 c #Conflicts: 217000 | #Constraints: 76878
2749.27/2756.93 c #Conflicts: 218000 | #Constraints: 77880
2749.27/2756.93 c #Conflicts: 219000 | #Constraints: 78884
2749.27/2756.93 c #Conflicts: 220000 | #Constraints: 79887
2749.27/2756.93 c #Conflicts: 221000 | #Constraints: 80892
2749.27/2756.93 c #Conflicts: 222000 | #Constraints: 81899
2749.27/2756.93 c #Conflicts: 223000 | #Constraints: 82906
2749.27/2756.93 c #Conflicts: 224000 | #Constraints: 83910
2749.27/2756.93 c #Conflicts: 225000 | #Constraints: 84914
2749.27/2756.93 c #Conflicts: 226000 | #Constraints: 85919
2749.27/2756.93 c INPROCESSING
2749.27/2756.93 c GARBAGE COLLECT
2749.27/2756.93 c rational objective 5.09937e+06
2890.56/2898.64 c #Conflicts: 227000 | #Constraints: 77525
2890.56/2898.64 c #Conflicts: 228000 | #Constraints: 78530
2890.56/2898.64 c #Conflicts: 229000 | #Constraints: 79536
2890.56/2898.64 c #Conflicts: 230000 | #Constraints: 80541
2890.56/2898.64 c #Conflicts: 231000 | #Constraints: 81545
2890.56/2898.64 c #Conflicts: 232000 | #Constraints: 82548
2890.56/2898.64 c #Conflicts: 233000 | #Constraints: 83553
2890.56/2898.64 c #Conflicts: 234000 | #Constraints: 84557
2890.56/2898.64 c #Conflicts: 235000 | #Constraints: 85562
2890.56/2898.64 c #Conflicts: 236000 | #Constraints: 86566
2890.56/2898.64 c INPROCESSING
2890.56/2898.64 c GARBAGE COLLECT
2890.56/2898.64 c rational objective 5.22459e+06
3459.01/3468.71 c #Conflicts: 237000 | #Constraints: 77886
3459.01/3468.71 c #Conflicts: 238000 | #Constraints: 78890
3459.01/3468.71 c #Conflicts: 239000 | #Constraints: 79894
3459.01/3468.71 c #Conflicts: 240000 | #Constraints: 80897
3459.01/3468.71 c #Conflicts: 241000 | #Constraints: 81901
3459.01/3468.71 c #Conflicts: 242000 | #Constraints: 82909
3459.01/3468.71 c #Conflicts: 243000 | #Constraints: 83910
3459.01/3468.71 c #Conflicts: 244000 | #Constraints: 84913
3459.01/3468.71 c #Conflicts: 245000 | #Constraints: 85915
3459.01/3468.71 c #Conflicts: 246000 | #Constraints: 86919
3459.01/3468.71 c INPROCESSING
3459.01/3468.71 c GARBAGE COLLECT
3459.01/3468.71 c #Conflicts: 247000 | #Constraints: 78145
3459.01/3468.71 c #Conflicts: 248000 | #Constraints: 79268
3459.01/3468.71 c #Conflicts: 249000 | #Constraints: 80270
3459.01/3468.71 c #Conflicts: 250000 | #Constraints: 81287
3459.01/3468.71 c #Conflicts: 251000 | #Constraints: 82442
3459.01/3468.71 c #Conflicts: 252000 | #Constraints: 83461
3459.01/3468.71 c #Conflicts: 253000 | #Constraints: 84714
3459.01/3468.71 c #Conflicts: 254000 | #Constraints: 86159
3459.01/3468.71 c #Conflicts: 255000 | #Constraints: 87448
3459.01/3468.71 c #Conflicts: 256000 | #Constraints: 88554
3459.01/3468.71 c INPROCESSING
3459.01/3468.71 c GARBAGE COLLECT
3459.01/3468.71 c #Conflicts: 257000 | #Constraints: 78798
3459.01/3468.71 c #Conflicts: 258000 | #Constraints: 79798
3459.01/3468.71 c #Conflicts: 259000 | #Constraints: 80798
3459.01/3468.71 c #Conflicts: 260000 | #Constraints: 81798
3459.01/3468.71 c #Conflicts: 261000 | #Constraints: 82798
3459.01/3468.71 c #Conflicts: 262000 | #Constraints: 83798
3459.01/3468.71 c #Conflicts: 263000 | #Constraints: 84798
3459.01/3468.71 c #Conflicts: 264000 | #Constraints: 85798
3459.01/3468.71 c #Conflicts: 265000 | #Constraints: 86803
3459.01/3468.71 c #Conflicts: 266000 | #Constraints: 87815
3459.01/3468.71 c INPROCESSING
3459.01/3468.71 c GARBAGE COLLECT
3459.01/3468.71 c #Conflicts: 267000 | #Constraints: 78266
3459.01/3468.71 c #Conflicts: 268000 | #Constraints: 79266
3459.01/3468.71 c #Conflicts: 269000 | #Constraints: 80266
3459.01/3468.71 c #Conflicts: 270000 | #Constraints: 81266
3459.01/3468.71 c #Conflicts: 271000 | #Constraints: 82266
3459.01/3468.71 c #Conflicts: 272000 | #Constraints: 83266
3459.01/3468.71 c #Conflicts: 273000 | #Constraints: 84266
3459.01/3468.71 c #Conflicts: 274000 | #Constraints: 85266
3459.01/3468.71 c #Conflicts: 275000 | #Constraints: 86272
3459.01/3468.71 c #Conflicts: 276000 | #Constraints: 87276
3459.01/3468.71 c #Conflicts: 277000 | #Constraints: 88281
3459.01/3468.71 c INPROCESSING
3459.01/3468.71 c GARBAGE COLLECT
3459.01/3468.71 c rational objective 5.24622e+06
0.36/3542.28 HOME/run-opt-break-log.sh: line 3: 64132 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: 63665 MiB (57986 MiB free)
memory of node 1: 64507 MiB (62186 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504531-1751438999/watcher-4504531-1751438999 -o /tmp/evaluation-result-4504531-1751438999/solver-4504531-1751438999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751435337-63638 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4504531-1751438999.opb PROOFDIR/proof-4504531-1751438999
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=64129, runsolver pid=64126
[startup+0.100067 s]*
/proc/loadavg: 3.22 3.15 3.20 4/267 64131
/proc/meminfo: memFree=122993188/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64131] ppid=64129 vsize=79172 memory=59712 CPUtime=0.09 cores=1,3
/proc/64131/stat : 64131 (pbsuma) R 64129 64129 63194 0 -1 4194304 10671 0 0 0 7 2 0 0 20 0 1 0 59577648 81072128 14928 18446744073709551615 4210688 4653049 140734845967872 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14581760 140734845974755 140734845975090 140734845975090 140734845980655 0
/proc/64131/statm: 19793 14928 992 108 0 17201 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83364 KiB
Current children cumulated memory: 62784 KiB
[startup+0.205637 s]*
/proc/loadavg: 3.22 3.15 3.20 4/267 64131
/proc/meminfo: memFree=122948896/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64131] ppid=64129 vsize=90168 memory=70504 CPUtime=0.19 cores=1,3
/proc/64131/stat : 64131 (pbsuma) R 64129 64129 63194 0 -1 4194304 21580 0 0 0 16 3 0 0 20 0 1 0 59577648 92332032 17626 18446744073709551615 4210688 4653049 140734845967872 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14581760 140734845974755 140734845975090 140734845975090 140734845980655 0
/proc/64131/statm: 22542 17626 1024 108 0 19950 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94360 KiB
Current children cumulated memory: 73576 KiB
[startup+0.305511 s]*
/proc/loadavg: 3.22 3.15 3.20 4/267 64131
/proc/meminfo: memFree=122932768/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64131] ppid=64129 vsize=90168 memory=70504 CPUtime=0.29 cores=1,3
/proc/64131/stat : 64131 (pbsuma) R 64129 64129 63194 0 -1 4194304 21580 0 0 0 26 3 0 0 20 0 1 0 59577648 92332032 17626 18446744073709551615 4210688 4653049 140734845967872 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 14581760 140734845974755 140734845975090 140734845975090 140734845980655 0
/proc/64131/statm: 22542 17626 1024 108 0 19950 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94360 KiB
Current children cumulated memory: 73576 KiB
[startup+0.7002 s]
/proc/loadavg: 3.22 3.15 3.20 4/267 64132
/proc/meminfo: memFree=122928564/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=76652 memory=34476 CPUtime=0.29 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 6898 0 0 0 24 5 0 0 20 0 1 0 59577685 78491648 8619 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 19163 8619 2240 1147 0 6590 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 37548 KiB
[startup+1.50019 s]
/proc/loadavg: 3.22 3.15 3.20 4/267 64132
/proc/meminfo: memFree=122831532/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=191876 memory=117860 CPUtime=1.1 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 16953 0 0 0 100 10 0 0 20 0 1 0 59577685 196481024 29465 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 47969 29465 2336 1147 0 35396 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 196068 KiB
Current children cumulated memory: 120932 KiB
[startup+3.10538 s]
/proc/loadavg: 3.20 3.14 3.20 4/267 64132
/proc/meminfo: memFree=122510292/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=212248 memory=141836 CPUtime=2.69 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 22428 0 0 0 254 15 0 0 20 0 1 0 59577685 217341952 35459 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 53062 35459 2336 1147 0 40489 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 216440 KiB
Current children cumulated memory: 144908 KiB
[startup+6.3002 s]
/proc/loadavg: 3.20 3.14 3.20 4/267 64132
/proc/meminfo: memFree=122062472/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=284920 memory=207708 CPUtime=5.89 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 35286 0 0 0 564 25 0 0 20 0 1 0 59577685 291758080 51927 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 71230 51927 2368 1147 0 58657 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 289112 KiB
Current children cumulated memory: 210780 KiB
[startup+12.7002 s]
/proc/loadavg: 3.19 3.14 3.20 4/267 64132
/proc/meminfo: memFree=121319292/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=378584 memory=300964 CPUtime=12.27 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 53518 0 0 0 1186 41 0 0 20 0 1 0 59577685 387670016 75241 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 94646 75241 2368 1147 0 82073 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 382776 KiB
Current children cumulated memory: 304036 KiB
[startup+25.5002 s]
/proc/loadavg: 3.22 3.15 3.20 4/267 64132
/proc/meminfo: memFree=119997536/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=518568 memory=430112 CPUtime=25.03 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 78653 0 0 0 2430 73 0 0 20 0 1 0 59577685 531013632 107528 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 129642 107528 2368 1147 0 117069 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 522760 KiB
Current children cumulated memory: 433184 KiB
[startup+51.1055 s]
/proc/loadavg: 3.26 3.17 3.20 4/267 64133
/proc/meminfo: memFree=116992364/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=656452 memory=558056 CPUtime=50.58 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 101203 0 0 0 4932 126 0 0 20 0 1 0 59577685 672206848 139514 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 164113 139514 2368 1147 0 151540 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 660644 KiB
Current children cumulated memory: 561128 KiB
[startup+102.3 s]
/proc/loadavg: 3.16 3.16 3.19 4/266 64136
/proc/meminfo: memFree=111853644/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=764328 memory=644116 CPUtime=101.65 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 121183 0 0 0 9937 228 0 0 20 0 1 0 59577685 782671872 161029 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 191082 161029 2368 1147 0 178509 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 768520 KiB
Current children cumulated memory: 647188 KiB
[startup+162.3 s]
/proc/loadavg: 3.10 3.14 3.18 4/267 64139
/proc/meminfo: memFree=106344560/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=783564 memory=663076 CPUtime=161.49 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 124895 0 0 0 15810 339 0 0 20 0 1 0 59577685 802369536 165769 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 195891 165769 2368 1147 0 183318 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 787756 KiB
Current children cumulated memory: 666148 KiB
[startup+222.3 s]
/proc/loadavg: 3.17 3.14 3.18 4/267 64143
/proc/meminfo: memFree=100307380/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=922184 memory=729336 CPUtime=221.34 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 138443 0 0 0 21680 454 0 0 20 0 1 0 59577685 944316416 182334 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 230546 182334 2368 1147 0 217973 0
################
# More data... #
################
/proc/meminfo: memFree=1422092/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=2714496 memory=2365416 CPUtime=3153.14 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 1133100 0 0 0 309000 6314 0 0 20 0 1 0 59577685 2779643904 591354 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 678624 591354 2496 1147 0 666051 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 2718688 KiB
Current children cumulated memory: 2368488 KiB
[startup+3222.3 s]
/proc/loadavg: 3.39 3.21 3.19 4/270 64304
/proc/meminfo: memFree=1509808/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=2719640 memory=2377720 CPUtime=3212.95 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 1194576 0 0 0 314874 6421 0 0 20 0 1 0 59577685 2784911360 594430 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 679910 594430 2496 1147 0 667337 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 2723832 KiB
Current children cumulated memory: 2380792 KiB
[startup+3282.3 s]
/proc/loadavg: 3.19 3.19 3.18 4/269 64306
/proc/meminfo: memFree=1388720/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=2719640 memory=2377720 CPUtime=3272.78 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 1210267 0 0 0 320740 6538 0 0 20 0 1 0 59577685 2784911360 594430 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 679910 594430 2496 1147 0 667337 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 2723832 KiB
Current children cumulated memory: 2380792 KiB
[startup+3342.3 s]
/proc/loadavg: 3.19 3.18 3.18 4/269 64312
/proc/meminfo: memFree=1282472/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=2795420 memory=2486928 CPUtime=3332.61 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 1286357 0 0 0 326606 6655 0 0 20 0 1 0 59577685 2862510080 621732 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 698855 621732 2496 1147 0 686282 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 2799612 KiB
Current children cumulated memory: 2490000 KiB
[startup+3402.3 s]
/proc/loadavg: 3.16 3.18 3.18 4/269 64314
/proc/meminfo: memFree=1537304/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=2795420 memory=2486928 CPUtime=3392.44 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 1316831 0 0 0 332455 6789 0 0 20 0 1 0 59577685 2862510080 621732 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 698855 621732 2496 1147 0 686282 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 2799612 KiB
Current children cumulated memory: 2490000 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.16 3.17 4/269 64319
/proc/meminfo: memFree=1300728/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=2795420 memory=2487312 CPUtime=3452.26 cores=1,3
/proc/64132/stat : 64132 (roundingsat) R 64129 64129 63194 0 -1 4194304 1347095 0 0 0 338324 6902 0 0 20 0 1 0 59577685 2862510080 621828 18446744073709551615 4227072 8923433 140727079140960 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 0
/proc/64132/statm: 698855 621828 2496 1147 0 686282 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 2799612 KiB
Current children cumulated memory: 2490384 KiB
[startup+3522.3 s]
/proc/loadavg: 3.29 3.20 3.19 3/270 64324
/proc/meminfo: memFree=1423016/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
[pid=64132] ppid=64129 vsize=2813328 memory=2505056 CPUtime=3504.83 cores=1,3
/proc/64132/stat : 64132 (roundingsat) S 64129 64129 63194 0 -1 4195840 1351203 0 0 0 343408 7075 0 0 20 0 1 0 59577685 2880847872 626264 18446744073709551615 4227072 8923433 140727079140960 140727079137512 140658135283543 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 31383552 140727079143700 140727079143976 140727079143976 140727079149546 25
/proc/64132/statm: 703332 626264 2496 1147 0 690759 0
Current children cumulated CPU time: 3505.19 s
Current children cumulated vsize: 2817520 KiB
Current children cumulated memory: 2508128 KiB
[startup+3542.29 s]
# the end of solver process 64129 was just reported to runsolver
# Child status: 153
# cumulated CPU time of all completed processes: user=3434.43 s, system=72.0515 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 3.32 3.21 3.19 3/270 64333
/proc/meminfo: memFree=4563296/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3539.2 s]
/proc/loadavg: 3.35 3.22 3.19 3/270 64333
/proc/meminfo: memFree=4523676/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3540.8 s]
/proc/loadavg: 3.35 3.22 3.19 3/270 64333
/proc/meminfo: memFree=4501128/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3541.6 s]
/proc/loadavg: 3.35 3.22 3.19 3/270 64333
/proc/meminfo: memFree=4481852/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3542 s]*
/proc/loadavg: 3.35 3.22 3.19 4/270 64333
/proc/meminfo: memFree=4498980/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3542.2 s]
/proc/loadavg: 3.35 3.22 3.19 4/270 64333
/proc/meminfo: memFree=4498980/131249996 swapFree=33010416/33010684
[pid=64129] ppid=64126 vsize=4192 memory=3072 CPUtime=0.36 cores=1,3
/proc/64129/stat : 64129 (run-opt-break-l) S 64126 64129 63194 0 -1 4194304 242 21709 0 0 0 0 32 4 20 0 1 0 59577647 4292608 768 18446744073709551615 94116496986112 94116497880645 140724456938512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94116498119696 94116498167440 94116526022656 140724456945941 140724456946142 140724456946142 140724456951744 0
/proc/64129/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
Child status: 153
Real time (s): 3542.29
CPU time (s): 3506.49
CPU user time (s): 3434.43
CPU system time (s): 72.0515
CPU usage (%): 98.9893
Max. virtual memory (cumulated for all children) (KiB): 2817520
Max. memory (cumulated for all children) (KiB): 2508128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3434.43
system time used= 72.0515
maximum resident set size= 2505056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1373165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204805944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157602
involuntary context switches= 4972
# summary of solver processes directly reported to runsolver:
# pid: 64129
# total CPU time (s): 3506.49
# total CPU user time (s): 3434.43
# total CPU system time (s): 72.0515
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3798 second user time and 16.185 second system time
The end
Begin job on nodeC022 at 2025-07-02 08:49:59
IDJOB=4504531
IDBENCH=155663
IDSOLVER=3360
FILE ID=nodeC022/4504531-1751438999
RUNJOBID= nodeC022-1751435337-63638
SLURM_JOB_ID= 9598381
Free space on /tmp= 432496 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4504531-1751438999/watcher-4504531-1751438999 -o /tmp/evaluation-result-4504531-1751438999/solver-4504531-1751438999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751435337-63638 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4504531-1751438999.opb PROOFDIR/proof-4504531-1751438999
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4dd157bac1f926ce7283cc7b9966021e
RANDOM SEED=1489192424
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.285
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.742
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3698.159
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.804
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.715
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.724
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.871
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3563.637
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 123056496 kB
MemAvailable: 127163124 kB
Buffers: 2128 kB
Cached: 4891744 kB
SwapCached: 32 kB
Active: 3016688 kB
Inactive: 4494224 kB
Active(anon): 2630956 kB
Inactive(anon): 4176 kB
Active(file): 385732 kB
Inactive(file): 4490048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1059236 kB
Writeback: 0 kB
AnonPages: 2620192 kB
Mapped: 112252 kB
Shmem: 18028 kB
KReclaimable: 139772 kB
Slab: 261728 kB
SReclaimable: 139772 kB
SUnreclaim: 121956 kB
KernelStack: 4304 kB
PageTables: 8128 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3454288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1341440 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432264 MiB
End job on nodeC022 at 2025-07-02 09:49:01