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-4489648-1751357665.opb'
0.61/0.75 c read 17.23MB (736.42ms)
0.61/0.75 c [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.61/0.75 c
0.61/0.75 c make graph and approximate orbits
1.19/1.36 c [group: #orbits ~= 0] (603.92ms)
1.19/1.36 c
1.19/1.36 c detect special group actions
1.19/1.36 c probe for Johnson action (limit=64)
1.19/1.36 c probe for row-column symmetry (limit=64, splits=16.78M)
1.19/1.37 c probe for row symmetry (limit=64, splits=16.78M)
1.19/1.38 c (24.74ms)
1.19/1.38 c
1.19/1.38 c detect symmetries on remainder
1.19/1.38 c [graph: #vertices 706685 #edges 2766368]
1.19/1.39 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.29/1.45 c [group: #symmetries 1.00*10^0 #generators 0] (63.94ms)
1.29/1.45 c
1.29/1.45 c finalize break order and special generators
1.29/1.45 c
1.29/1.45 c generation finished
1.29/1.45 c [sbp: #constraints 0 #add_vars 0]
1.29/1.45 c
1.29/1.45 c write result to 'HOME/instance-4489648-1751357665.opb.pre'
1.40/1.50 c wrote 17.23MB (48.84ms)
1.40/1.50 c ------------------------------------------------------------------
1.40/1.50 c 736.41ms 49.71% parse
1.40/1.50 c 603.92ms 40.77% approx_orbits
1.40/1.50 c 63.94ms 4.32% detect_generic
1.40/1.50 c 48.84ms 3.30% output
1.40/1.50 c 24.74ms 1.67% detect_special
1.40/1.50 c 3.08ms 0.21% other
1.40/1.50 c 0.49ms 0.03% finalize_order
1.40/1.50 c ───────────────────────────────────────────────
1.40/1.50 c 1481.42ms 100% total
1.40/1.50 c ------------------------------------------------------------------
1.49/1.69 c RoundingSat 2
1.49/1.69 c branch pb25
1.49/1.69 c commit 63f22ad
5.05/5.22 c #variables 10000 #constraints 656900
5.05/5.22 c objective is ce32
5.05/5.22 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.05/5.22 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.05/5.22 c bounds - >= 0 @ 2.57969
7.24/7.47 c rational objective 165.925
11.13/11.36 c bounds 6515 >= 0 @ 8.60419
11.63/11.84 c bounds 6323 >= 0 @ 9.06869
11.63/11.85 c bounds 6305 >= 0 @ 9.07586
11.63/11.85 c bounds 6300 >= 0 @ 9.08112
11.63/11.86 c bounds 6270 >= 0 @ 9.08875
11.63/11.88 c bounds 6267 >= 0 @ 9.10089
11.63/11.89 c bounds 6202 >= 0 @ 9.10641
11.73/11.92 c bounds 6194 >= 0 @ 9.13875
11.73/11.93 c bounds 6126 >= 0 @ 9.14519
11.73/11.94 c bounds 6102 >= 0 @ 9.15621
11.73/11.96 c bounds 6055 >= 0 @ 9.16925
11.73/11.96 c bounds 6030 >= 0 @ 9.17452
11.73/11.97 c bounds 6029 >= 0 @ 9.18504
11.73/11.98 c bounds 6024 >= 0 @ 9.18993
11.73/11.99 c bounds 6001 >= 0 @ 9.19997
11.85/12.03 c bounds 5978 >= 0 @ 9.23839
11.85/12.03 c bounds 5964 >= 0 @ 9.24282
11.85/12.05 c bounds 5936 >= 0 @ 9.25674
11.85/12.06 c bounds 5919 >= 0 @ 9.26987
11.85/12.06 c bounds 5706 >= 0 @ 9.2748
11.85/12.08 c bounds 5702 >= 0 @ 9.29349
12.03/12.24 c bounds 5687 >= 0 @ 9.44181
12.03/12.24 c bounds 5677 >= 0 @ 9.4471
12.03/12.25 c bounds 5526 >= 0 @ 9.45313
12.03/12.25 c bounds 5468 >= 0 @ 9.45781
12.13/12.31 c bounds 5439 >= 0 @ 9.51168
12.13/12.32 c bounds 5296 >= 0 @ 9.51526
12.13/12.32 c bounds 5274 >= 0 @ 9.52085
12.13/12.34 c bounds 5270 >= 0 @ 9.53894
12.13/12.35 c bounds 5200 >= 0 @ 9.54385
12.13/12.35 c bounds 5109 >= 0 @ 9.54882
12.13/12.37 c bounds 5076 >= 0 @ 9.56175
12.13/12.37 c bounds 4952 >= 0 @ 9.56585
12.13/12.38 c bounds 4944 >= 0 @ 9.57038
12.13/12.39 c bounds 4849 >= 0 @ 9.57634
12.13/12.40 c bounds 4677 >= 0 @ 9.58286
12.23/12.40 c bounds 4586 >= 0 @ 9.5904
12.23/12.41 c bounds 4579 >= 0 @ 9.59681
12.23/12.42 c bounds 4502 >= 0 @ 9.60252
12.23/12.44 c bounds 4498 >= 0 @ 9.61418
12.33/12.53 c bounds 4490 >= 0 @ 9.70532
12.33/12.54 c bounds 4463 >= 0 @ 9.71356
12.33/12.55 c bounds 4369 >= 0 @ 9.71941
12.33/12.56 c bounds 4279 >= 0 @ 9.7259
12.33/12.57 c bounds 4016 >= 0 @ 9.73388
13.22/13.46 c bounds 4008 >= 0 @ 10.6201
13.22/13.47 c bounds 4006 >= 0 @ 10.629
13.22/13.48 c bounds 4003 >= 0 @ 10.638
13.43/13.66 c bounds 4002 >= 0 @ 10.8164
13.84/14.08 c bounds 3988 >= 0 @ 11.233
13.84/14.11 c bounds 3977 >= 0 @ 11.2581
14.03/14.22 c bounds 3961 >= 0 @ 11.3632
14.03/14.23 c bounds 3922 >= 0 @ 11.3728
14.03/14.24 c bounds 3902 >= 0 @ 11.3805
14.12/14.33 c bounds 3901 >= 0 @ 11.4712
14.23/14.43 c bounds 3896 >= 0 @ 11.5664
14.23/14.44 c bounds 3832 >= 0 @ 11.5764
14.23/14.45 c bounds 3786 >= 0 @ 11.5831
14.23/14.47 c bounds 3730 >= 0 @ 11.5996
14.23/14.48 c bounds 3706 >= 0 @ 11.6064
14.23/14.49 c bounds 3661 >= 0 @ 11.6131
14.43/14.60 c bounds 3660 >= 0 @ 11.7282
14.43/14.62 c bounds 3639 >= 0 @ 11.7374
14.43/14.63 c bounds 3630 >= 0 @ 11.7465
14.43/14.64 c bounds 3407 >= 0 @ 11.7534
14.43/14.65 c bounds 3393 >= 0 @ 11.7625
14.43/14.66 c bounds 3370 >= 0 @ 11.7702
14.43/14.67 c #Conflicts: 1000 | #Constraints: 657978
14.43/14.67 c bounds 3199 >= 0 @ 11.7768
14.52/14.78 c bounds 3192 >= 0 @ 11.8788
14.52/14.79 c bounds 3120 >= 0 @ 11.8862
14.62/14.81 c bounds 3092 >= 0 @ 11.9017
14.62/14.81 c bounds 3069 >= 0 @ 11.909
14.62/14.84 c bounds 3056 >= 0 @ 11.933
14.72/14.93 c bounds 3052 >= 0 @ 12.016
14.72/14.94 c bounds 3048 >= 0 @ 12.0248
14.84/15.05 c bounds 3044 >= 0 @ 12.1311
14.84/15.06 c bounds 3043 >= 0 @ 12.1394
14.84/15.08 c bounds 3031 >= 0 @ 12.1503
14.84/15.10 c bounds 3024 >= 0 @ 12.1668
15.02/15.21 c bounds 3023 >= 0 @ 12.2782
15.02/15.22 c bounds 2986 >= 0 @ 12.2877
15.02/15.25 c bounds 2942 >= 0 @ 12.3094
15.02/15.25 c bounds 2941 >= 0 @ 12.3165
15.12/15.34 c bounds 2912 >= 0 @ 12.4065
15.12/15.37 c bounds 2882 >= 0 @ 12.4307
15.32/15.55 c bounds 2842 >= 0 @ 12.6123
15.32/15.57 c bounds 2796 >= 0 @ 12.619
15.42/15.69 c bounds 2792 >= 0 @ 12.7399
15.52/15.79 c bounds 2785 >= 0 @ 12.8304
15.62/15.80 c bounds 2662 >= 0 @ 12.8365
15.62/15.81 c bounds 2619 >= 0 @ 12.8419
15.62/15.82 c bounds 2576 >= 0 @ 12.849
15.62/15.83 c bounds 2535 >= 0 @ 12.8562
15.72/15.93 c bounds 2532 >= 0 @ 12.9513
15.83/16.06 c bounds 2523 >= 0 @ 13.0831
15.93/16.15 c bounds 2494 >= 0 @ 13.1695
16.12/16.34 c bounds 2485 >= 0 @ 13.3598
16.12/16.36 c bounds 2459 >= 0 @ 13.3681
16.12/16.39 c bounds 2452 >= 0 @ 13.4007
16.22/16.49 c bounds 2449 >= 0 @ 13.49
16.22/16.49 c bounds 2448 >= 0 @ 13.4958
16.31/16.50 c bounds 2353 >= 0 @ 13.5023
16.31/16.52 c bounds 2276 >= 0 @ 13.5131
16.31/16.52 c bounds 2261 >= 0 @ 13.5194
16.31/16.53 c bounds 2142 >= 0 @ 13.5262
16.31/16.54 c bounds 2133 >= 0 @ 13.5374
16.31/16.56 c bounds 2104 >= 0 @ 13.5435
16.31/16.57 c bounds 2075 >= 0 @ 13.5521
16.31/16.59 c bounds 2070 >= 0 @ 13.5723
16.41/16.60 c bounds 2053 >= 0 @ 13.5815
16.41/16.61 c bounds 1930 >= 0 @ 13.5895
16.51/16.71 c bounds 1901 >= 0 @ 13.6839
16.61/16.83 c bounds 1796 >= 0 @ 13.7862
16.61/16.84 c bounds 1725 >= 0 @ 13.7941
16.61/16.86 c bounds 1717 >= 0 @ 13.8091
16.61/16.87 c bounds 1716 >= 0 @ 13.8195
16.61/16.89 c bounds 1683 >= 0 @ 13.8254
16.72/16.90 c bounds 1681 >= 0 @ 13.838
16.72/16.91 c bounds 1607 >= 0 @ 13.8476
16.72/16.92 c bounds 1603 >= 0 @ 13.8538
16.72/16.96 c bounds 1602 >= 0 @ 13.8807
16.83/17.05 c bounds 1596 >= 0 @ 13.9693
16.92/17.15 c bounds 1595 >= 0 @ 14.0719
16.92/17.16 c bounds 1578 >= 0 @ 14.0815
17.02/17.28 c bounds 1575 >= 0 @ 14.1904
17.02/17.29 c bounds 1570 >= 0 @ 14.196
17.12/17.32 c bounds 1450 >= 0 @ 14.2209
17.12/17.33 c bounds 1449 >= 0 @ 14.2278
17.21/17.41 c bounds 1447 >= 0 @ 14.3064
17.21/17.42 c bounds 1379 >= 0 @ 14.314
17.21/17.43 c bounds 1326 >= 0 @ 14.3212
17.31/17.53 c bounds 1243 >= 0 @ 14.4143
17.31/17.55 c bounds 1184 >= 0 @ 14.4217
17.31/17.56 c bounds 1124 >= 0 @ 14.4332
17.31/17.58 c bounds 1042 >= 0 @ 14.4397
17.31/17.59 c bounds 984 >= 0 @ 14.4467
17.42/17.60 c bounds 959 >= 0 @ 14.4565
17.42/17.65 c bounds 864 >= 0 @ 14.4907
17.42/17.66 c bounds 854 >= 0 @ 14.5014
17.42/17.68 c bounds 732 >= 0 @ 14.5189
17.42/17.69 c bounds 731 >= 0 @ 14.5271
17.61/17.82 c bounds 694 >= 0 @ 14.645
17.61/17.83 c bounds 692 >= 0 @ 14.6519
17.61/17.84 c bounds 690 >= 0 @ 14.6608
17.61/17.85 c bounds 613 >= 0 @ 14.6693
17.61/17.87 c bounds 603 >= 0 @ 14.6806
20.00/20.20 c #Conflicts: 2000 | #Constraints: 659066
20.00/20.20 c INPROCESSING
20.00/20.20 c GARBAGE COLLECT
20.00/20.20 c bounds 601 >= 0 @ 16.9589
20.00/20.22 c bounds 599 >= 0 @ 16.9763
22.91/23.19 c bounds 594 >= 0 @ 19.9167
24.29/24.57 c #Conflicts: 3000 | #Constraints: 658928
24.29/24.57 c bounds 558 >= 0 @ 21.251
29.17/29.42 c #Conflicts: 4000 | #Constraints: 659929
29.17/29.42 c INPROCESSING
29.17/29.42 c bounds 455 >= 0 @ 26.0093
29.17/29.48 c bounds 429 >= 0 @ 26.0572
39.13/39.44 c #Conflicts: 5000 | #Constraints: 659322
39.13/39.44 c #Conflicts: 6000 | #Constraints: 660322
39.13/39.44 c INPROCESSING
39.13/39.44 c GARBAGE COLLECT
39.13/39.44 c #Conflicts: 7000 | #Constraints: 659325
39.13/39.44 c bounds 369 >= 0 @ 35.8896
39.13/39.45 c bounds 369 >= 6 @ 35.8992
47.72/48.11 c #Conflicts: 8000 | #Constraints: 660329
47.72/48.11 c #Conflicts: 9000 | #Constraints: 661329
47.72/48.11 c INPROCESSING
47.72/48.11 c GARBAGE COLLECT
47.72/48.11 c rational objective 167.467
63.05/63.48 c #Conflicts: 10000 | #Constraints: 660031
63.05/63.48 c #Conflicts: 11000 | #Constraints: 661031
63.05/63.48 c #Conflicts: 12000 | #Constraints: 662031
63.05/63.48 c INPROCESSING
63.05/63.48 c GARBAGE COLLECT
63.05/63.48 c rational objective 168.75
79.08/79.55 c #Conflicts: 13000 | #Constraints: 660487
79.08/79.55 c #Conflicts: 14000 | #Constraints: 661487
79.08/79.55 c #Conflicts: 15000 | #Constraints: 662487
79.08/79.55 c INPROCESSING
79.08/79.55 c GARBAGE COLLECT
79.08/79.55 c rational objective 169.727
82.47/82.98 c bounds 368 >= 6 @ 78.943
82.59/83.03 c bounds 362 >= 6 @ 78.9914
86.67/87.14 c bounds 359 >= 6 @ 83.0364
86.67/87.15 c bounds 359 >= 11 @ 83.0415
86.67/87.18 c bounds 359 >= 16 @ 83.063
92.24/92.73 c #Conflicts: 16000 | #Constraints: 660729
92.24/92.73 c #Conflicts: 17000 | #Constraints: 661730
92.24/92.73 c bounds 359 >= 21 @ 88.5706
99.21/99.78 c #Conflicts: 18000 | #Constraints: 662739
99.21/99.78 c INPROCESSING
99.21/99.78 c GARBAGE COLLECT
99.21/99.78 c rational objective 170.565
121.13/121.75 c #Conflicts: 19000 | #Constraints: 660752
121.13/121.75 c #Conflicts: 20000 | #Constraints: 661752
121.13/121.75 c #Conflicts: 21000 | #Constraints: 662752
121.13/121.75 c INPROCESSING
121.13/121.75 c GARBAGE COLLECT
121.13/121.75 c rational objective 171.333
145.15/145.84 c #Conflicts: 22000 | #Constraints: 660565
145.15/145.84 c #Conflicts: 23000 | #Constraints: 661565
145.15/145.84 c #Conflicts: 24000 | #Constraints: 662565
145.15/145.84 c #Conflicts: 25000 | #Constraints: 663565
145.15/145.84 c INPROCESSING
145.15/145.84 c GARBAGE COLLECT
145.15/145.84 c rational objective 171.934
148.83/149.56 c bounds 356 >= 21 @ 144.832
148.92/149.60 c bounds 354 >= 21 @ 144.874
148.92/149.66 c bounds 352 >= 21 @ 144.933
151.72/152.42 c bounds 346 >= 21 @ 147.658
151.72/152.44 c bounds 346 >= 25 @ 147.672
167.27/168.03 c #Conflicts: 26000 | #Constraints: 661185
167.27/168.03 c #Conflicts: 27000 | #Constraints: 662185
167.27/168.03 c #Conflicts: 28000 | #Constraints: 663185
167.27/168.03 c #Conflicts: 29000 | #Constraints: 664185
167.27/168.03 c INPROCESSING
167.27/168.03 c GARBAGE COLLECT
167.27/168.03 c rational objective 172.286
172.04/172.86 c bounds 345 >= 25 @ 167.869
172.04/172.88 c bounds 345 >= 28 @ 167.885
257.70/258.83 c #Conflicts: 30000 | #Constraints: 661569
257.70/258.83 c #Conflicts: 31000 | #Constraints: 662572
257.70/258.83 c #Conflicts: 32000 | #Constraints: 663573
257.70/258.83 c #Conflicts: 33000 | #Constraints: 664576
257.70/258.83 c INPROCESSING
257.70/258.83 c GARBAGE COLLECT
257.70/258.83 c #Conflicts: 34000 | #Constraints: 661772
257.70/258.83 c #Conflicts: 35000 | #Constraints: 662778
257.70/258.83 c bounds 339 >= 28 @ 252.97
257.70/258.85 c bounds 339 >= 30 @ 252.979
257.70/258.86 c bounds 339 >= 32 @ 252.988
257.70/258.89 c bounds 339 >= 34 @ 253.004
257.92/259.05 c bounds 339 >= 36 @ 253.162
267.87/269.09 c #Conflicts: 36000 | #Constraints: 663807
267.87/269.09 c #Conflicts: 37000 | #Constraints: 664807
267.87/269.09 c INPROCESSING
267.87/269.09 c GARBAGE COLLECT
267.87/269.09 c rational objective 172.775
280.61/281.89 c #Conflicts: 38000 | #Constraints: 661788
280.61/281.89 c bounds 339 >= 38 @ 275.829
306.39/307.74 c #Conflicts: 39000 | #Constraints: 662803
306.39/307.74 c #Conflicts: 40000 | #Constraints: 663803
306.39/307.74 c #Conflicts: 41000 | #Constraints: 664803
306.39/307.74 c INPROCESSING
306.39/307.74 c GARBAGE COLLECT
306.39/307.74 c rational objective 172.813
347.03/348.54 c #Conflicts: 42000 | #Constraints: 661604
347.03/348.54 c #Conflicts: 43000 | #Constraints: 662605
347.03/348.54 c #Conflicts: 44000 | #Constraints: 663605
347.03/348.54 c #Conflicts: 45000 | #Constraints: 664605
347.03/348.54 c #Conflicts: 46000 | #Constraints: 665605
347.03/348.54 c INPROCESSING
347.03/348.54 c GARBAGE COLLECT
347.03/348.54 c rational objective 172.814
352.71/354.20 c bounds 338 >= 38 @ 347.613
355.80/357.35 c bounds 334 >= 38 @ 350.721
355.80/357.36 c bounds 334 >= 39 @ 350.729
355.80/357.38 c bounds 334 >= 40 @ 350.736
355.80/357.39 c bounds 334 >= 41 @ 350.749
355.90/357.41 c bounds 334 >= 42 @ 350.758
355.90/357.43 c bounds 334 >= 43 @ 350.771
355.90/357.44 c bounds 334 >= 44 @ 350.782
355.90/357.46 c bounds 334 >= 45 @ 350.794
355.90/357.48 c bounds 334 >= 46 @ 350.807
356.00/357.51 c bounds 334 >= 47 @ 350.825
356.00/357.54 c bounds 334 >= 48 @ 350.847
356.00/357.57 c bounds 334 >= 49 @ 350.88
356.10/357.61 c bounds 334 >= 50 @ 350.907
357.80/359.38 c bounds 334 >= 51 @ 352.658
357.89/359.46 c bounds 334 >= 52 @ 352.727
358.09/359.64 c #Conflicts: 47000 | #Constraints: 662357
358.09/359.64 c bounds 334 >= 53 @ 352.901
358.19/359.76 c bounds 334 >= 54 @ 353.018
358.29/359.86 c bounds 334 >= 55 @ 353.113
358.50/360.11 c bounds 334 >= 56 @ 353.343
358.79/360.34 c bounds 334 >= 57 @ 353.571
359.29/360.81 c bounds 334 >= 58 @ 354.03
359.69/361.21 c bounds 334 >= 59 @ 354.412
360.08/361.69 c #Conflicts: 48000 | #Constraints: 663501
360.08/361.69 c bounds 334 >= 60 @ 354.879
366.76/368.36 c bounds 334 >= 61 @ 361.481
368.06/369.67 c #Conflicts: 49000 | #Constraints: 664561
368.06/369.67 c bounds 334 >= 62 @ 362.754
369.25/370.84 c bounds 334 >= 63 @ 363.873
370.04/371.60 c #Conflicts: 50000 | #Constraints: 665618
370.04/371.60 c bounds 334 >= 64 @ 364.614
376.62/378.27 c bounds 334 >= 65 @ 371.236
475.43/477.43 c #Conflicts: 51000 | #Constraints: 666669
475.43/477.43 c INPROCESSING
475.43/477.43 c GARBAGE COLLECT
475.43/477.43 c rational objective 172.814
480.32/482.37 c bounds 334 >= 66 @ 474.815
489.99/492.01 c #Conflicts: 52000 | #Constraints: 662967
489.99/492.01 c bounds 333 >= 66 @ 484.389
496.85/498.99 c #Conflicts: 53000 | #Constraints: 663971
496.85/498.99 c #Conflicts: 54000 | #Constraints: 664972
496.85/498.99 c bounds 333 >= 67 @ 491.219
501.74/503.84 c #Conflicts: 55000 | #Constraints: 666011
501.74/503.84 c bounds 333 >= 68 @ 496.002
561.90/564.22 c #Conflicts: 56000 | #Constraints: 667050
561.90/564.22 c INPROCESSING
561.90/564.22 c GARBAGE COLLECT
561.90/564.22 c bounds 332 >= 68 @ 556.032
565.59/567.99 c #Conflicts: 57000 | #Constraints: 663167
565.59/567.99 c bounds 332 >= 69 @ 559.715
573.06/575.41 c #Conflicts: 58000 | #Constraints: 664209
573.06/575.41 c #Conflicts: 59000 | #Constraints: 665209
573.06/575.41 c bounds 332 >= 70 @ 567.068
584.82/587.27 c #Conflicts: 60000 | #Constraints: 666233
584.82/587.27 c #Conflicts: 61000 | #Constraints: 667233
584.82/587.27 c INPROCESSING
584.82/587.27 c GARBAGE COLLECT
584.82/587.27 c bounds 332 >= 71 @ 578.813
598.07/600.58 c #Conflicts: 62000 | #Constraints: 663214
598.07/600.58 c #Conflicts: 63000 | #Constraints: 664214
598.07/600.58 c #Conflicts: 64000 | #Constraints: 665214
598.07/600.58 c bounds 332 >= 72 @ 592.008
600.26/602.79 c bounds 331 >= 72 @ 594.197
608.83/611.37 c #Conflicts: 65000 | #Constraints: 666263
608.83/611.37 c #Conflicts: 66000 | #Constraints: 667263
608.83/611.37 c INPROCESSING
608.83/611.37 c GARBAGE COLLECT
608.83/611.37 c rational objective 172.814
615.51/618.04 c #Conflicts: 67000 | #Constraints: 663014
615.51/618.04 c bounds 330 >= 72 @ 609.294
645.00/647.67 c #Conflicts: 68000 | #Constraints: 664016
645.00/647.67 c #Conflicts: 69000 | #Constraints: 665016
645.00/647.67 c #Conflicts: 70000 | #Constraints: 666017
645.00/647.67 c #Conflicts: 71000 | #Constraints: 667019
645.00/647.67 c bounds 330 >= 73 @ 638.648
656.25/658.97 c #Conflicts: 72000 | #Constraints: 668065
656.25/658.97 c INPROCESSING
656.25/658.97 c GARBAGE COLLECT
656.25/658.97 c rational objective 172.855
664.82/667.58 c #Conflicts: 73000 | #Constraints: 663637
664.82/667.58 c bounds 329 >= 73 @ 658.413
685.44/688.26 c #Conflicts: 74000 | #Constraints: 664639
685.44/688.26 c #Conflicts: 75000 | #Constraints: 665639
685.44/688.26 c #Conflicts: 76000 | #Constraints: 666639
685.44/688.26 c #Conflicts: 77000 | #Constraints: 667639
685.44/688.26 c #Conflicts: 78000 | #Constraints: 668639
685.44/688.26 c INPROCESSING
685.44/688.26 c GARBAGE COLLECT
685.44/688.26 c rational objective 172.965
713.93/716.81 c #Conflicts: 79000 | #Constraints: 664019
713.93/716.81 c #Conflicts: 80000 | #Constraints: 665020
713.93/716.81 c #Conflicts: 81000 | #Constraints: 666020
713.93/716.81 c bounds 329 >= 74 @ 707.178
731.85/734.84 c #Conflicts: 82000 | #Constraints: 667071
731.85/734.84 c #Conflicts: 83000 | #Constraints: 668071
731.85/734.84 c #Conflicts: 84000 | #Constraints: 669071
731.85/734.84 c INPROCESSING
731.85/734.84 c GARBAGE COLLECT
731.85/734.84 c rational objective 172.965
750.99/754.06 c #Conflicts: 85000 | #Constraints: 664238
750.99/754.06 c #Conflicts: 86000 | #Constraints: 665240
750.99/754.06 c bounds 329 >= 75 @ 744.167
777.38/780.56 c #Conflicts: 87000 | #Constraints: 666297
777.38/780.56 c #Conflicts: 88000 | #Constraints: 667297
777.38/780.56 c #Conflicts: 89000 | #Constraints: 668297
777.38/780.56 c #Conflicts: 90000 | #Constraints: 669297
777.38/780.56 c INPROCESSING
777.38/780.56 c GARBAGE COLLECT
777.38/780.56 c rational objective 172.978
930.86/934.69 c #Conflicts: 91000 | #Constraints: 664272
930.86/934.69 c #Conflicts: 92000 | #Constraints: 665284
930.86/934.69 c #Conflicts: 93000 | #Constraints: 666286
930.86/934.69 c #Conflicts: 94000 | #Constraints: 667290
930.86/934.69 c #Conflicts: 95000 | #Constraints: 668308
930.86/934.69 c #Conflicts: 96000 | #Constraints: 669333
930.86/934.69 c INPROCESSING
930.86/934.69 c GARBAGE COLLECT
930.86/934.69 c rational objective 172.99
1074.52/1078.86 c #Conflicts: 97000 | #Constraints: 664206
1074.52/1078.86 c #Conflicts: 98000 | #Constraints: 665468
1074.52/1078.86 c #Conflicts: 99000 | #Constraints: 666663
1074.52/1078.86 c #Conflicts: 100000 | #Constraints: 667837
1074.52/1078.86 c #Conflicts: 101000 | #Constraints: 668881
1074.52/1078.86 c #Conflicts: 102000 | #Constraints: 670065
1074.52/1078.86 c #Conflicts: 103000 | #Constraints: 671116
1074.52/1078.86 c INPROCESSING
1074.52/1078.86 c GARBAGE COLLECT
1074.52/1078.86 c rational objective 172.99
1119.95/1124.47 c #Conflicts: 104000 | #Constraints: 665191
1119.95/1124.47 c #Conflicts: 105000 | #Constraints: 666192
1119.95/1124.47 c #Conflicts: 106000 | #Constraints: 667192
1119.95/1124.47 c #Conflicts: 107000 | #Constraints: 668192
1119.95/1124.47 c bounds 329 >= 76 @ 1112.42
1285.18/1290.30 c #Conflicts: 108000 | #Constraints: 669232
1285.18/1290.30 c #Conflicts: 109000 | #Constraints: 670232
1285.18/1290.30 c #Conflicts: 110000 | #Constraints: 671232
1285.18/1290.30 c INPROCESSING
1285.18/1290.30 c GARBAGE COLLECT
1285.18/1290.30 c #Conflicts: 111000 | #Constraints: 665338
1285.18/1290.30 c #Conflicts: 112000 | #Constraints: 666338
1285.18/1290.30 c #Conflicts: 113000 | #Constraints: 667338
1285.18/1290.30 c bounds 329 >= 77 @ 1277.23
1390.95/1396.53 c #Conflicts: 114000 | #Constraints: 668378
1390.95/1396.53 c #Conflicts: 115000 | #Constraints: 669378
1390.95/1396.53 c #Conflicts: 116000 | #Constraints: 670378
1390.95/1396.53 c #Conflicts: 117000 | #Constraints: 671378
1390.95/1396.53 c INPROCESSING
1390.95/1396.53 c GARBAGE COLLECT
1390.95/1396.53 c rational objective 172.99
1430.80/1436.54 c #Conflicts: 118000 | #Constraints: 665430
1430.80/1436.54 c #Conflicts: 119000 | #Constraints: 666431
1430.80/1436.54 c #Conflicts: 120000 | #Constraints: 667431
1430.80/1436.54 c #Conflicts: 121000 | #Constraints: 668432
1430.80/1436.54 c #Conflicts: 122000 | #Constraints: 669432
1430.80/1436.54 c bounds 329 >= 78 @ 1422.47
1464.28/1470.14 c #Conflicts: 123000 | #Constraints: 670471
1464.28/1470.14 c #Conflicts: 124000 | #Constraints: 671472
1464.28/1470.14 c INPROCESSING
1464.28/1470.14 c GARBAGE COLLECT
1464.28/1470.14 c rational objective 172.99
1754.62/1761.65 c #Conflicts: 125000 | #Constraints: 665383
1754.62/1761.65 c #Conflicts: 126000 | #Constraints: 666383
1754.62/1761.65 c #Conflicts: 127000 | #Constraints: 667384
1754.62/1761.65 c #Conflicts: 128000 | #Constraints: 668384
1754.62/1761.65 c #Conflicts: 129000 | #Constraints: 669384
1754.62/1761.65 c #Conflicts: 130000 | #Constraints: 670384
1754.62/1761.65 c #Conflicts: 131000 | #Constraints: 671384
1754.62/1761.65 c INPROCESSING
1754.62/1761.65 c GARBAGE COLLECT
1754.62/1761.65 c #Conflicts: 132000 | #Constraints: 665139
1754.62/1761.65 c #Conflicts: 133000 | #Constraints: 666139
1754.62/1761.65 c #Conflicts: 134000 | #Constraints: 667139
1754.62/1761.65 c #Conflicts: 135000 | #Constraints: 668139
1754.62/1761.65 c #Conflicts: 136000 | #Constraints: 669139
1754.62/1761.65 c #Conflicts: 137000 | #Constraints: 670139
1754.62/1761.65 c #Conflicts: 138000 | #Constraints: 671139
1754.62/1761.65 c #Conflicts: 139000 | #Constraints: 672139
1754.62/1761.65 c INPROCESSING
1754.62/1761.65 c GARBAGE COLLECT
1754.62/1761.65 c #Conflicts: 140000 | #Constraints: 665713
1754.62/1761.65 c #Conflicts: 141000 | #Constraints: 666713
1754.62/1761.65 c #Conflicts: 142000 | #Constraints: 667713
1754.62/1761.65 c #Conflicts: 143000 | #Constraints: 668713
1754.62/1761.65 c #Conflicts: 144000 | #Constraints: 669713
1754.62/1761.65 c #Conflicts: 145000 | #Constraints: 670713
1754.62/1761.65 c #Conflicts: 146000 | #Constraints: 671714
1754.62/1761.65 c bounds 329 >= 79 @ 1745.25
1859.72/1867.11 c #Conflicts: 147000 | #Constraints: 672780
1859.72/1867.11 c INPROCESSING
1859.72/1867.11 c GARBAGE COLLECT
1859.72/1867.11 c rational objective 172.99
2694.88/2705.53 c #Conflicts: 148000 | #Constraints: 666147
2694.88/2705.53 c #Conflicts: 149000 | #Constraints: 667147
2694.88/2705.53 c #Conflicts: 150000 | #Constraints: 668147
2694.88/2705.53 c #Conflicts: 151000 | #Constraints: 669147
2694.88/2705.53 c #Conflicts: 152000 | #Constraints: 670147
2694.88/2705.53 c #Conflicts: 153000 | #Constraints: 671147
2694.88/2705.53 c #Conflicts: 154000 | #Constraints: 672148
2694.88/2705.53 c #Conflicts: 155000 | #Constraints: 673149
2694.88/2705.53 c INPROCESSING
2694.88/2705.53 c GARBAGE COLLECT
2694.88/2705.53 c #Conflicts: 156000 | #Constraints: 666347
2694.88/2705.53 c #Conflicts: 157000 | #Constraints: 667347
2694.88/2705.53 c #Conflicts: 158000 | #Constraints: 668347
2694.88/2705.53 c #Conflicts: 159000 | #Constraints: 669347
2694.88/2705.53 c #Conflicts: 160000 | #Constraints: 670347
2694.88/2705.53 c #Conflicts: 161000 | #Constraints: 671347
2694.88/2705.53 c #Conflicts: 162000 | #Constraints: 672349
2694.88/2705.53 c #Conflicts: 163000 | #Constraints: 673349
2694.88/2705.53 c INPROCESSING
2694.88/2705.53 c GARBAGE COLLECT
2694.88/2705.53 c #Conflicts: 164000 | #Constraints: 666348
2694.88/2705.53 c #Conflicts: 165000 | #Constraints: 667348
2694.88/2705.53 c #Conflicts: 166000 | #Constraints: 668348
2694.88/2705.53 c #Conflicts: 167000 | #Constraints: 669348
2694.88/2705.53 c #Conflicts: 168000 | #Constraints: 670350
2694.88/2705.53 c #Conflicts: 169000 | #Constraints: 671350
2694.88/2705.53 c #Conflicts: 170000 | #Constraints: 672350
2694.88/2705.53 c #Conflicts: 171000 | #Constraints: 673350
2694.88/2705.53 c INPROCESSING
2694.88/2705.53 c GARBAGE COLLECT
2694.88/2705.53 c #Conflicts: 172000 | #Constraints: 666147
2694.88/2705.53 c #Conflicts: 173000 | #Constraints: 667147
2694.88/2705.53 c #Conflicts: 174000 | #Constraints: 668147
2694.88/2705.53 c #Conflicts: 175000 | #Constraints: 669147
2694.88/2705.53 c #Conflicts: 176000 | #Constraints: 670148
2694.88/2705.53 c #Conflicts: 177000 | #Constraints: 671148
2694.88/2705.53 c bounds 329 >= 80 @ 2683.95
2945.82/2957.48 c #Conflicts: 178000 | #Constraints: 672217
2945.82/2957.48 c #Conflicts: 179000 | #Constraints: 673217
2945.82/2957.48 c #Conflicts: 180000 | #Constraints: 674217
2945.82/2957.48 c INPROCESSING
2945.82/2957.48 c GARBAGE COLLECT
2945.82/2957.48 c #Conflicts: 181000 | #Constraints: 666785
2945.82/2957.48 c #Conflicts: 182000 | #Constraints: 667785
2945.82/2957.48 c #Conflicts: 183000 | #Constraints: 668787
2945.82/2957.48 c #Conflicts: 184000 | #Constraints: 669787
2945.82/2957.48 c #Conflicts: 185000 | #Constraints: 670787
2945.82/2957.48 c #Conflicts: 186000 | #Constraints: 671787
2945.82/2957.48 c #Conflicts: 187000 | #Constraints: 672787
2945.82/2957.48 c #Conflicts: 188000 | #Constraints: 673787
2945.82/2957.48 c #Conflicts: 189000 | #Constraints: 674787
2945.82/2957.48 c INPROCESSING
2945.82/2957.48 c GARBAGE COLLECT
2945.82/2957.48 c #Conflicts: 190000 | #Constraints: 667169
2945.82/2957.48 c #Conflicts: 191000 | #Constraints: 668169
2945.82/2957.48 c #Conflicts: 192000 | #Constraints: 669169
2945.82/2957.48 c #Conflicts: 193000 | #Constraints: 670169
2945.82/2957.48 c #Conflicts: 194000 | #Constraints: 671170
2945.82/2957.48 c #Conflicts: 195000 | #Constraints: 672170
2945.82/2957.48 c #Conflicts: 196000 | #Constraints: 673170
2945.82/2957.48 c #Conflicts: 197000 | #Constraints: 674170
2945.82/2957.48 c #Conflicts: 198000 | #Constraints: 675170
2945.82/2957.48 c INPROCESSING
2945.82/2957.48 c GARBAGE COLLECT
2945.82/2957.48 c rational objective 172.99
3071.43/3083.51 c #Conflicts: 199000 | #Constraints: 667358
3071.43/3083.51 c #Conflicts: 200000 | #Constraints: 668421
3071.43/3083.51 c #Conflicts: 201000 | #Constraints: 669681
3071.43/3083.51 c #Conflicts: 202000 | #Constraints: 670909
3071.43/3083.51 c #Conflicts: 203000 | #Constraints: 672085
3071.43/3083.51 c #Conflicts: 204000 | #Constraints: 673206
3071.43/3083.51 c #Conflicts: 205000 | #Constraints: 674321
3071.43/3083.51 c bounds 324 >= 80 @ 3059.65
3221.06/3233.72 c #Conflicts: 206000 | #Constraints: 675331
3221.06/3233.72 c #Conflicts: 207000 | #Constraints: 676331
3221.06/3233.72 c INPROCESSING
3221.06/3233.72 c GARBAGE COLLECT
3221.06/3233.72 c #Conflicts: 208000 | #Constraints: 667840
3221.06/3233.72 c #Conflicts: 209000 | #Constraints: 668840
3221.06/3233.72 c #Conflicts: 210000 | #Constraints: 669840
3221.06/3233.72 c #Conflicts: 211000 | #Constraints: 670840
3221.06/3233.72 c #Conflicts: 212000 | #Constraints: 671840
3221.06/3233.72 c #Conflicts: 213000 | #Constraints: 672840
3221.06/3233.72 c #Conflicts: 214000 | #Constraints: 673840
3221.06/3233.72 c #Conflicts: 215000 | #Constraints: 674840
3221.06/3233.72 c bounds 324 >= 81 @ 3208.87
3463.78/3477.41 c #Conflicts: 216000 | #Constraints: 675906
3463.78/3477.41 c INPROCESSING
3463.78/3477.41 c GARBAGE COLLECT
3463.78/3477.41 c rational objective 172.99
3598.44/3612.69 c #Conflicts: 217000 | #Constraints: 667453
3598.44/3612.69 c #Conflicts: 218000 | #Constraints: 668453
3598.44/3612.69 c #Conflicts: 219000 | #Constraints: 669453
3598.44/3612.69 c #Conflicts: 220000 | #Constraints: 670453
3598.44/3612.69 c #Conflicts: 221000 | #Constraints: 671455
3598.44/3612.69 c #Conflicts: 222000 | #Constraints: 672456
3598.44/3612.69 c #Conflicts: 223000 | #Constraints: 673456
3598.44/3612.69 c #Conflicts: 224000 | #Constraints: 674456
3598.44/3612.69 c #Conflicts: 225000 | #Constraints: 675456
3598.44/3612.69 c #Conflicts: 226000 | #Constraints: 676456
3598.44/3612.69 c INPROCESSING
3598.44/3612.69 c GARBAGE COLLECT
3598.44/3612.69 c #Conflicts: 227000 | #Constraints: 667927
3598.44/3612.69 c #Conflicts: 228000 | #Constraints: 668927
3598.44/3612.69 c #Conflicts: 229000 | #Constraints: 669928
3598.44/3612.69 c #Conflicts: 230000 | #Constraints: 670928
3598.44/3612.69 c #Conflicts: 231000 | #Constraints: 671929
3598.44/3612.69 c #Conflicts: 232000 | #Constraints: 672929
3598.44/3612.69 c #Conflicts: 233000 | #Constraints: 673929
3598.44/3612.69 c #Conflicts: 234000 | #Constraints: 674929
3598.44/3612.69 c #Conflicts: 235000 | #Constraints: 675931
3598.44/3612.69 c #Conflicts: 236000 | #Constraints: 676932
3598.44/3612.69 c INPROCESSING
3598.44/3612.69 c GARBAGE COLLECT
3598.44/3612.69 c rational objective 172.99
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: 63837 MiB (62878 MiB free)
memory of node 1: 64465 MiB (63584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489648-1751357665/watcher-4489648-1751357665 -o /tmp/evaluation-result-4489648-1751357665/solver-4489648-1751357665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751350438-46731 --watchdog 3760 run-opt-break.sh HOME/instance-4489648-1751357665.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=47520, runsolver pid=47517
[startup+0.100069 s]*
/proc/loadavg: 4.24 4.23 4.15 5/255 47522
/proc/meminfo: memFree=129330572/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47522] ppid=47520 vsize=157796 memory=138088 CPUtime=0.07 cores=5,7
/proc/47522/stat : 47522 (pbsuma) R 47520 47520 46718 0 -1 4194304 2149 0 0 0 4 3 0 0 20 0 1 0 51445690 161583104 34522 18446744073709551615 4210688 4653049 140736833859312 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 37584896 140736833866083 140736833866290 140736833866290 140736833871855 0
/proc/47522/statm: 39449 34522 928 108 0 36857 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 161988 KiB
Current children cumulated memory: 141160 KiB
[startup+0.21344 s]*
/proc/loadavg: 4.24 4.23 4.15 5/255 47522
/proc/meminfo: memFree=129033088/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47522] ppid=47520 vsize=163668 memory=147044 CPUtime=0.18 cores=5,7
/proc/47522/stat : 47522 (pbsuma) R 47520 47520 46718 0 -1 4194304 4100 0 0 0 14 4 0 0 20 0 1 0 51445690 167596032 36761 18446744073709551615 4210688 4653049 140736833859312 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 37584896 140736833866083 140736833866290 140736833866290 140736833871855 0
/proc/47522/statm: 40917 36761 928 108 0 38325 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 167860 KiB
Current children cumulated memory: 150116 KiB
[startup+0.316439 s]*
/proc/loadavg: 4.24 4.23 4.15 5/255 47522
/proc/meminfo: memFree=129019352/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47522] ppid=47520 vsize=170036 memory=154624 CPUtime=0.26 cores=5,7
/proc/47522/stat : 47522 (pbsuma) R 47520 47520 46718 0 -1 4194304 6071 0 0 0 22 4 0 0 20 0 1 0 51445690 174116864 38656 18446744073709551615 4210688 4653049 140736833859312 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 37584896 140736833866083 140736833866290 140736833866290 140736833871855 0
/proc/47522/statm: 42509 38656 928 108 0 39917 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 174228 KiB
Current children cumulated memory: 157696 KiB
[startup+0.700282 s]
/proc/loadavg: 4.24 4.23 4.15 5/255 47522
/proc/meminfo: memFree=128745940/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47522] ppid=47520 vsize=195444 memory=183732 CPUtime=0.61 cores=5,7
/proc/47522/stat : 47522 (pbsuma) R 47520 47520 46718 0 -1 4194304 11924 0 0 0 54 7 0 0 20 0 1 0 51445690 200134656 45933 18446744073709551615 4210688 4653049 140736833859312 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 37584896 140736833866083 140736833866290 140736833866290 140736833871855 0
/proc/47522/statm: 48861 45933 928 108 0 46269 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 199636 KiB
Current children cumulated memory: 186804 KiB
[startup+1.50025 s]
/proc/loadavg: 4.24 4.23 4.15 6/255 47522
/proc/meminfo: memFree=127787940/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47522] ppid=47520 vsize=208972 memory=189996 CPUtime=1.4 cores=5,7
/proc/47522/stat : 47522 (pbsuma) R 47520 47520 46718 0 -1 4194304 29461 0 0 0 126 14 0 0 20 0 1 0 51445690 213987328 47499 18446744073709551615 4210688 4653049 140736833859312 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 37584896 140736833866083 140736833866290 140736833866290 140736833871855 0
/proc/47522/statm: 52243 47499 992 108 0 49651 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 213164 KiB
Current children cumulated memory: 193068 KiB
[startup+3.11296 s]
/proc/loadavg: 4.22 4.23 4.15 6/255 47523
/proc/meminfo: memFree=127694308/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=93972 memory=44412 CPUtime=1.41 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 7622 0 0 0 98 43 0 0 20 0 1 0 51445857 96227328 11103 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 23493 11103 1888 1147 0 10920 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 98164 KiB
Current children cumulated memory: 47484 KiB
[startup+6.30039 s]
/proc/loadavg: 4.22 4.23 4.15 6/255 47524
/proc/meminfo: memFree=127010428/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=894872 memory=643692 CPUtime=4.59 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 46392 0 0 0 359 100 0 0 20 0 1 0 51445857 916348928 160923 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 223718 160923 2272 1147 0 211145 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 899064 KiB
Current children cumulated memory: 646764 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.22 4.15 6/255 47524
/proc/meminfo: memFree=126991292/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=1064740 memory=746304 CPUtime=10.97 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 52188 0 0 0 986 111 0 0 20 0 1 0 51445857 1090293760 186576 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 266185 186576 2368 1147 0 253612 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 1068932 KiB
Current children cumulated memory: 749376 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.22 4.15 6/255 47524
/proc/meminfo: memFree=126512564/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=1215708 memory=909608 CPUtime=23.73 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 65947 0 0 0 2213 160 0 0 20 0 1 0 51445857 1244884992 227402 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 303927 227402 2368 1147 0 291354 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 1219900 KiB
Current children cumulated memory: 912680 KiB
[startup+51.1131 s]
/proc/loadavg: 4.18 4.21 4.15 6/255 47524
/proc/meminfo: memFree=126110824/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=1267916 memory=941496 CPUtime=49.25 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 66997 0 0 0 4742 183 0 0 20 0 1 0 51445857 1298345984 235374 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 316979 235374 2368 1147 0 304406 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 1272108 KiB
Current children cumulated memory: 944568 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.19 4.14 6/255 47526
/proc/meminfo: memFree=124760096/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=1368444 memory=1053708 CPUtime=100.24 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 80636 0 0 0 9805 219 0 0 20 0 1 0 51445857 1401286656 263427 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 342111 263427 2368 1147 0 329538 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 1372636 KiB
Current children cumulated memory: 1056780 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.14 6/255 47528
/proc/meminfo: memFree=124283560/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=1519800 memory=1137900 CPUtime=160.02 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 85830 0 0 0 15740 262 0 0 20 0 1 0 51445857 1556275200 284475 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 379950 284475 2368 1147 0 367377 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 1523992 KiB
Current children cumulated memory: 1140972 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.15 4.13 6/254 47530
/proc/meminfo: memFree=124062088/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=1578348 memory=1227940 CPUtime=219.78 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 94211 0 0 0 21687 291 0 0 20 0 1 0 51445857 1616228352 306985 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 394587 306985 2368 1147 0 382014 0
################
# More data... #
################
/proc/meminfo: memFree=117136240/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=2591808 memory=2007644 CPUtime=3267.89 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 227213 0 0 0 325712 1077 0 0 20 0 1 0 51445857 2654011392 501911 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 647952 501911 2496 1147 0 635379 0
Current children cumulated CPU time: 3269.45 s
Current children cumulated vsize: 2596000 KiB
Current children cumulated memory: 2010716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.14 6/253 47683
/proc/meminfo: memFree=117099336/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=2607064 memory=2026076 CPUtime=3327.64 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 227737 0 0 0 331683 1081 0 0 20 0 1 0 51445857 2669633536 506519 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 651766 506519 2496 1147 0 639193 0
Current children cumulated CPU time: 3329.2 s
Current children cumulated vsize: 2611256 KiB
Current children cumulated memory: 2029148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.14 6/253 47685
/proc/meminfo: memFree=116895232/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=2607064 memory=2026076 CPUtime=3387.41 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 227811 0 0 0 337657 1084 0 0 20 0 1 0 51445857 2669633536 506519 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 651766 506519 2496 1147 0 639193 0
Current children cumulated CPU time: 3388.97 s
Current children cumulated vsize: 2611256 KiB
Current children cumulated memory: 2029148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.13 6/254 47690
/proc/meminfo: memFree=116987284/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=2607064 memory=2026076 CPUtime=3447.17 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 227844 0 0 0 343627 1090 0 0 20 0 1 0 51445857 2669633536 506519 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 651766 506519 2496 1147 0 639193 0
Current children cumulated CPU time: 3448.73 s
Current children cumulated vsize: 2611256 KiB
Current children cumulated memory: 2029148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.10 4.12 6/254 47696
/proc/meminfo: memFree=116941652/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=2607064 memory=2026076 CPUtime=3506.94 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 227982 0 0 0 349592 1102 0 0 20 0 1 0 51445857 2669633536 506519 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 651766 506519 2496 1147 0 639193 0
Current children cumulated CPU time: 3508.5 s
Current children cumulated vsize: 2611256 KiB
Current children cumulated memory: 2029148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.12 6/254 47698
/proc/meminfo: memFree=116912608/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=2607064 memory=2026076 CPUtime=3566.72 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 227985 0 0 0 355550 1122 0 0 20 0 1 0 51445857 2669633536 506519 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 651766 506519 2496 1147 0 639193 0
Current children cumulated CPU time: 3568.28 s
Current children cumulated vsize: 2611256 KiB
Current children cumulated memory: 2029148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.2 s]
/proc/loadavg: 3.83 4.05 4.10 2/233 47792
/proc/meminfo: memFree=128009636/131382120 swapFree=33010160/33010684
[pid=47520] ppid=47517 vsize=4192 memory=3072 CPUtime=1.56 cores=5,7
/proc/47520/stat : 47520 (run-opt-break.s) S 47517 47520 46718 0 -1 4194304 240 29464 0 0 0 0 142 14 20 0 1 0 51445689 4292608 768 18446744073709551615 94859199041536 94859199936069 140735499949472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94859200175120 94859200222864 94859229745152 140735499954529 140735499954658 140735499954658 140735499960260 0
/proc/47520/statm: 1048 768 704 219 0 110 0
[pid=47523] ppid=47520 vsize=2607064 memory=2026076 CPUtime=3598.47 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47520 47520 46718 0 -1 4194304 228131 0 0 0 358706 1141 0 0 20 0 1 0 51445857 2669633536 506519 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 651766 506519 2496 1147 0 639193 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2611256 KiB
Current children cumulated memory: 2029148 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3614.21 s]
# the end of solver process 47520 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.43274 s, system=0.15156 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3616.24 s]
# the end of solver process 47523 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3590.5 s, system=11.6075 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.41 s]
/proc/loadavg: 3.83 4.05 4.10 2/232 47792
/proc/meminfo: memFree=128017576/131382120 swapFree=33010160/33010684
[pid=47523] ppid=47517 vsize=2607064 memory=2026076 CPUtime=3598.68 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47517 47520 46718 0 -1 4194304 228131 0 0 0 358727 1141 0 0 20 0 1 0 51445857 2669633536 506519 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 651766 506519 2496 1147 0 639193 0
Current cumulated CPU time of completed processes: 1.5843 s
Current children cumulated CPU time: 3598.68 s
Current children cumulated vsize: 2607064 KiB
Current children cumulated memory: 2026076 KiB
[startup+3615.2 s]
/proc/loadavg: 3.83 4.05 4.10 2/232 47792
/proc/meminfo: memFree=128017576/131382120 swapFree=33010160/33010684
[pid=47523] ppid=47517 vsize=2607064 memory=2026076 CPUtime=3599.47 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47517 47520 46718 0 -1 4194304 228131 0 0 0 358806 1141 0 0 20 0 1 0 51445857 2669633536 506519 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 651766 506519 2496 1147 0 639193 0
Current cumulated CPU time of completed processes: 1.5843 s
Current children cumulated CPU time: 3599.47 s
Current children cumulated vsize: 2607064 KiB
Current children cumulated memory: 2026076 KiB
[startup+3616 s]*
/proc/loadavg: 3.83 4.05 4.10 2/232 47792
/proc/meminfo: memFree=128026020/131382120 swapFree=33010160/33010684
[pid=47523] ppid=47517 vsize=2607064 memory=2026076 CPUtime=3600.28 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47517 47520 46718 0 -1 4194304 228131 0 0 0 358887 1141 0 0 20 0 1 0 51445857 2669633536 506519 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 651766 506519 2496 1147 0 639193 0
Current cumulated CPU time of completed processes: 1.5843 s
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 2607064 KiB
Current children cumulated memory: 2026076 KiB
[startup+3616.2 s]
/proc/loadavg: 3.83 4.05 4.10 2/232 47792
/proc/meminfo: memFree=128026020/131382120 swapFree=33010160/33010684
[pid=47523] ppid=47517 vsize=2607064 memory=2026076 CPUtime=3600.47 cores=5,7
/proc/47523/stat : 47523 (roundingsat) R 47517 47520 46718 0 -1 4194304 228131 0 0 0 358906 1141 0 0 20 0 1 0 51445857 2669633536 506519 18446744073709551615 4227072 8923433 140729334496736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14438400 140729334503780 140729334503976 140729334503976 140729334509546 0
/proc/47523/statm: 651766 506519 2496 1147 0 639193 0
Current cumulated CPU time of completed processes: 1.5843 s
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 2607064 KiB
Current children cumulated memory: 2026076 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.24
CPU time (s): 3602.1
CPU user time (s): 3590.5
CPU system time (s): 11.6075
CPU usage (%): 99.6091
Max. virtual memory (cumulated for all children) (KiB): 2697404
Max. memory (cumulated for all children) (KiB): 2122944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.5
system time used= 11.6075
maximum resident set size= 2119948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 19988
# summary of solver processes directly reported to runsolver:
# pid: 47520,47523
# total CPU time (s): 3602.1
# total CPU user time (s): 3590.5
# total CPU system time (s): 11.6075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7189 second user time and 37.2847 second system time
The end
Begin job on nodeC008 at 2025-07-01 10:14:26
IDJOB=4489648
IDBENCH=147559
IDSOLVER=3359
FILE ID=nodeC008/4489648-1751357665
RUNJOBID= nodeC008-1751350438-46731
SLURM_JOB_ID= 9598137
Free space on /tmp= 432924 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489648-1751357665/watcher-4489648-1751357665 -o /tmp/evaluation-result-4489648-1751357665/solver-4489648-1751357665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751350438-46731 --watchdog 3760 run-opt-break.sh HOME/instance-4489648-1751357665.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=1450135855
nodeC008 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 : 0xb00001f
cpu MHz : 3661.877
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3691.383
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.629
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.425
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3661.802
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1696.412
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.272
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.219
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129634548 kB
MemAvailable: 129515692 kB
Buffers: 2144 kB
Cached: 690908 kB
SwapCached: 16 kB
Active: 670252 kB
Inactive: 473320 kB
Active(anon): 431812 kB
Inactive(anon): 36636 kB
Active(file): 238440 kB
Inactive(file): 436684 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 147472 kB
Writeback: 0 kB
AnonPages: 453720 kB
Mapped: 114044 kB
Shmem: 17920 kB
KReclaimable: 91292 kB
Slab: 173832 kB
SReclaimable: 91292 kB
SUnreclaim: 82540 kB
KernelStack: 4096 kB
PageTables: 4036 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 931516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC008 at 2025-07-01 11:14:42