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-4505634-1751449232.opb'
0.00/0.06 c read 2.84MB (44.36ms)
0.00/0.06 c [cnf: #variables 40451 #clauses 40951 #duplicates 0 #arr 253959]
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.08/0.12 c [group: #orbits ~= 8752] (67.43ms)
0.08/0.12 c
0.08/0.12 c detect special group actions
0.08/0.12 c probe for Johnson action (limit=64)
0.08/0.13 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.13 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.14 c found row 3x132, generating row predicate
0.08/0.14 c (20.68ms)
0.08/0.14 c
0.08/0.14 c detect symmetries on remainder
0.08/0.15 c [graph: #vertices 228759 #edges 802632]
0.08/0.15 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.20 c [group: #symmetries 7.21*10^92 #generators 230] (53.28ms)
0.08/0.20 c
0.08/0.20 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.20 c ran it=0, +gens=2
0.37/0.50 c con best_support=4, best_gens=121, +gens=93
0.37/0.50 c (297.27ms)
0.37/0.50 c
0.37/0.50 c finalize break order and special generators
0.37/0.50 c
0.37/0.50 c add generic predicates (break_depth=20)
0.37/0.50 c added predicates for 325 generators (0.85ms)
0.37/0.50 c
0.37/0.50 c generation finished
0.37/0.50 c [sbp: #constraints 7383 #add_vars 2352]
0.37/0.50 c
0.37/0.50 c write result to 'HOME/instance-4505634-1751449232.opb.pre'
0.48/0.51 c wrote 3.16MB (7.07ms)
0.48/0.51 c ------------------------------------------------------------------
0.48/0.51 c 297.27ms 60.05% optimize_gens
0.48/0.51 c 67.43ms 13.62% approx_orbits
0.48/0.51 c 53.28ms 10.76% detect_generic
0.48/0.51 c 44.36ms 8.96% parse
0.48/0.51 c 20.68ms 4.18% detect_special
0.48/0.51 c 7.07ms 1.43% output
0.48/0.51 c 2.11ms 0.43% other
0.48/0.51 c 1.98ms 0.40% finalize_order
0.48/0.51 c 0.85ms 0.17% break_generic
0.48/0.51 c ───────────────────────────────────────────────
0.48/0.51 c 495.04ms 100% total
0.48/0.51 c ------------------------------------------------------------------
0.48/0.53 c RoundingSat 2
0.48/0.53 c branch pb25
0.48/0.53 c commit 63f22ad
0.49/0.79 c #variables 42803 #constraints 48200
0.49/0.79 c objective is ce32
0.49/0.79 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.49/0.79 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.49/0.79 c bounds - >= -94230312 @ 0.204852
3.94/4.09 c bounds 0 >= -94230312 @ 3.43999
3.94/4.10 c bounds 0 >= -93518822 @ 3.44629
4.04/4.10 c bounds 0 >= -92807332 @ 3.45247
4.04/4.11 c bounds 0 >= -92095842 @ 3.45594
4.04/4.11 c bounds 0 >= -91384352 @ 3.45942
4.04/4.11 c bounds 0 >= -90672862 @ 3.46265
4.04/4.12 c bounds 0 >= -89961372 @ 3.46762
4.04/4.12 c bounds 0 >= -89249882 @ 3.47073
4.04/4.13 c bounds 0 >= -88538392 @ 3.47437
4.04/4.13 c bounds 0 >= -87826902 @ 3.47883
4.04/4.14 c bounds 0 >= -87115412 @ 3.48464
4.04/4.14 c bounds 0 >= -86403922 @ 3.49045
4.04/4.15 c bounds 0 >= -85692432 @ 3.49411
4.04/4.15 c bounds 0 >= -84980942 @ 3.49806
4.04/4.16 c bounds 0 >= -84269452 @ 3.50347
4.04/4.17 c bounds 0 >= -83557962 @ 3.50944
4.04/4.17 c bounds 0 >= -82846472 @ 3.51504
4.04/4.18 c bounds 0 >= -82134982 @ 3.51903
4.04/4.18 c bounds 0 >= -81423492 @ 3.5229
4.04/4.18 c bounds 0 >= -80712002 @ 3.52729
4.04/4.19 c bounds 0 >= -80000512 @ 3.53253
4.04/4.19 c bounds 0 >= -79289022 @ 3.53713
4.13/4.20 c bounds 0 >= -78577532 @ 3.54086
4.13/4.20 c bounds 0 >= -77866042 @ 3.54467
4.13/4.21 c bounds 0 >= -77154552 @ 3.5488
4.13/4.21 c bounds 0 >= -76443062 @ 3.5545
4.13/4.22 c bounds 0 >= -75731572 @ 3.55905
4.13/4.22 c bounds 0 >= -75020082 @ 3.5635
4.13/4.23 c bounds 0 >= -74308592 @ 3.56798
4.13/4.23 c bounds 0 >= -73597102 @ 3.57419
4.13/4.24 c bounds 0 >= -72885612 @ 3.58088
4.13/4.25 c bounds 0 >= -72174122 @ 3.58589
4.13/4.25 c bounds 0 >= -71462632 @ 3.58972
4.13/4.26 c bounds 0 >= -70751142 @ 3.59537
4.13/4.26 c bounds 0 >= -70740196 @ 3.60106
4.13/4.27 c bounds 0 >= -69695264 @ 3.60498
4.13/4.27 c bounds 0 >= -69684318 @ 3.60907
4.13/4.28 c bounds 0 >= -68763698 @ 3.61278
4.13/4.28 c bounds 0 >= -68752752 @ 3.61854
4.13/4.29 c bounds 0 >= -67759303 @ 3.62378
4.13/4.29 c bounds 0 >= -67748357 @ 3.62731
4.13/4.30 c bounds 0 >= -66982520 @ 3.63081
4.24/4.30 c bounds 0 >= -66971574 @ 3.63474
4.24/4.30 c bounds 0 >= -66088378 @ 3.6402
4.24/4.31 c bounds 0 >= -66077432 @ 3.64491
4.24/4.31 c bounds 0 >= -65530245 @ 3.64841
4.24/4.32 c bounds 0 >= -65519299 @ 3.65228
4.24/4.32 c bounds 0 >= -65028751 @ 3.65569
4.24/4.33 c bounds 0 >= -64393883 @ 3.66114
4.24/4.33 c bounds 0 >= -63748069 @ 3.66355
4.24/4.33 c bounds 0 >= -63102255 @ 3.66784
4.24/4.34 c bounds 0 >= -62434549 @ 3.67307
4.24/4.34 c bounds 0 >= -61766843 @ 3.67677
4.24/4.35 c bounds 0 >= -61088191 @ 3.68023
4.24/4.35 c bounds 0 >= -60409539 @ 3.68383
4.24/4.35 c bounds 0 >= -59730887 @ 3.68722
4.24/4.36 c bounds 0 >= -59052235 @ 3.69083
4.24/4.36 c bounds 0 >= -58384529 @ 3.69429
4.24/4.36 c bounds 0 >= -57716823 @ 3.69795
4.24/4.37 c bounds 0 >= -57049117 @ 3.70073
4.24/4.37 c bounds 0 >= -56381411 @ 3.70429
4.24/4.38 c bounds 0 >= -55702759 @ 3.70987
4.33/4.40 c bounds 0 >= -55024107 @ 3.72094
4.33/4.41 c bounds 0 >= -54345455 @ 3.72638
4.33/4.41 c bounds 0 >= -53666803 @ 3.73175
4.33/4.42 c bounds 0 >= -52988151 @ 3.73706
4.33/4.42 c bounds 0 >= -52309499 @ 3.74135
4.33/4.42 c bounds 0 >= -51630847 @ 3.74498
4.33/4.43 c bounds 0 >= -50952195 @ 3.74855
4.33/4.43 c bounds 0 >= -50284489 @ 3.75204
4.33/4.44 c bounds 0 >= -49616783 @ 3.75562
4.33/4.44 c bounds 0 >= -48949077 @ 3.76026
4.33/4.45 c bounds 0 >= -48281371 @ 3.76548
4.33/4.45 c bounds 0 >= -47613665 @ 3.7691
4.33/4.45 c bounds 0 >= -46945959 @ 3.77306
4.33/4.46 c bounds 0 >= -46278253 @ 3.77649
4.33/4.46 c bounds 0 >= -45610547 @ 3.77994
4.33/4.46 c bounds 0 >= -44942841 @ 3.78339
4.33/4.47 c bounds 0 >= -44297027 @ 3.78683
4.33/4.47 c bounds 0 >= -43651213 @ 3.79094
4.33/4.48 c bounds 0 >= -43005399 @ 3.79611
4.33/4.48 c bounds 0 >= -42359585 @ 3.80138
4.33/4.49 c bounds 0 >= -41713771 @ 3.80516
4.33/4.49 c bounds 0 >= -41067957 @ 3.80903
4.33/4.49 c bounds 0 >= -40433089 @ 3.81245
4.43/4.50 c bounds 0 >= -39798221 @ 3.81588
4.43/4.50 c bounds 0 >= -39163353 @ 3.8209
4.43/4.51 c bounds 0 >= -38528485 @ 3.82606
4.43/4.51 c bounds 0 >= -37893617 @ 3.82968
4.43/4.51 c bounds 0 >= -37258749 @ 3.83306
4.43/4.52 c bounds 0 >= -36623881 @ 3.83644
4.43/4.52 c bounds 0 >= -35989013 @ 3.8404
4.43/4.53 c bounds 0 >= -35354145 @ 3.84424
4.43/4.53 c bounds 0 >= -34719277 @ 3.8493
4.43/4.53 c bounds 0 >= -34084409 @ 3.85275
4.43/4.54 c bounds 0 >= -33449541 @ 3.85614
4.43/4.54 c bounds 0 >= -32814673 @ 3.85958
4.43/4.55 c bounds 0 >= -32179805 @ 3.86395
4.43/4.55 c bounds 0 >= -31544937 @ 3.86904
4.43/4.56 c bounds 0 >= -30910069 @ 3.87391
4.43/4.56 c bounds 0 >= -30275201 @ 3.87777
4.43/4.56 c bounds 0 >= -29640333 @ 3.88051
4.43/4.57 c bounds 0 >= -29005465 @ 3.88354
4.43/4.57 c bounds 0 >= -28370597 @ 3.88706
4.43/4.57 c bounds 0 >= -27735729 @ 3.89217
4.43/4.58 c bounds 0 >= -27100861 @ 3.89588
4.43/4.58 c bounds 0 >= -26465993 @ 3.89925
4.43/4.59 c bounds 0 >= -25831125 @ 3.90258
4.43/4.59 c bounds 0 >= -25196257 @ 3.90592
4.43/4.59 c bounds 0 >= -24561389 @ 3.90939
4.54/4.60 c bounds 0 >= -23926521 @ 3.91466
4.54/4.60 c bounds 0 >= -23291653 @ 3.91968
4.54/4.61 c bounds 0 >= -22885753 @ 3.92321
4.54/4.61 c bounds 0 >= -22486618 @ 3.92571
4.54/4.61 c bounds 0 >= -22087483 @ 3.92919
4.54/4.62 c bounds 0 >= -21695113 @ 3.93265
4.54/4.62 c bounds 0 >= -21295978 @ 3.93516
4.54/4.62 c bounds 0 >= -20896843 @ 3.93891
4.54/4.63 c bounds 0 >= -20497708 @ 3.94241
4.54/4.63 c bounds 0 >= -20490943 @ 3.94527
4.54/4.63 c bounds 0 >= -20484178 @ 3.94877
4.54/4.64 c bounds 0 >= -20477413 @ 3.95244
4.54/4.64 c bounds 0 >= -20470648 @ 3.95765
4.54/4.65 c bounds 0 >= -20463883 @ 3.96463
4.54/4.66 c bounds 0 >= -20071513 @ 3.9707
4.54/4.67 c bounds 0 >= -19672378 @ 3.9782
4.64/4.70 c bounds 0 >= -19252948 @ 3.99298
4.64/4.71 c bounds 0 >= -18833518 @ 3.99823
4.64/4.71 c bounds 0 >= -18420853 @ 4.00131
4.64/4.71 c bounds 0 >= -18008188 @ 4.00477
4.64/4.72 c bounds 0 >= -17595523 @ 4.00812
4.64/4.72 c bounds 0 >= -17176093 @ 4.01264
4.64/4.73 c bounds 0 >= -16756663 @ 4.01784
4.64/4.73 c bounds 0 >= -16343998 @ 4.02176
4.64/4.73 c bounds 0 >= -15931333 @ 4.02508
4.64/4.74 c bounds 0 >= -15532198 @ 4.02854
4.64/4.74 c bounds 0 >= -15139828 @ 4.03186
4.64/4.74 c bounds 0 >= -14747458 @ 4.03604
4.64/4.75 c bounds 0 >= -14355088 @ 4.04129
4.64/4.76 c bounds 0 >= -13962718 @ 4.04621
4.64/4.76 c bounds 0 >= -13570348 @ 4.04989
4.64/4.76 c bounds 0 >= -13177978 @ 4.05346
4.73/4.84 c bounds 0 >= -13171213 @ 4.13437
6.23/6.36 c bounds -89 >= -13171213 @ 5.62628
6.23/6.36 c bounds -89 >= -12073745 @ 5.63204
6.23/6.39 c bounds -89 >= -12066980 @ 5.65712
6.23/6.39 c bounds -89 >= -12060215 @ 5.66106
6.33/6.41 c bounds -89 >= -12053450 @ 5.67834
10.22/10.39 c bounds -178 >= -12053450 @ 9.63596
10.32/10.40 c bounds -178 >= -12046685 @ 9.64715
21.89/22.03 c rational objective -389236
22.89/23.01 c bounds -788 >= -12046685 @ 22.1513
22.89/23.02 c bounds -788 >= -12039920 @ 22.1567
22.89/23.02 c bounds -788 >= -12033155 @ 22.1605
22.89/23.03 c bounds -788 >= -12026390 @ 22.1653
22.89/23.03 c bounds -788 >= -12019625 @ 22.1724
22.89/23.04 c bounds -788 >= -12012860 @ 22.1758
22.89/23.04 c bounds -788 >= -12006095 @ 22.1805
22.89/23.05 c bounds -788 >= -11999330 @ 22.1862
22.89/23.05 c bounds -788 >= -11992565 @ 22.1918
22.89/23.06 c bounds -788 >= -11985800 @ 22.1964
22.89/23.06 c bounds -788 >= -11979035 @ 22.2002
22.89/23.07 c bounds -788 >= -11972270 @ 22.2039
22.89/23.07 c bounds -788 >= -11965505 @ 22.2077
22.98/23.11 c bounds -790 >= -11965505 @ 22.2262
22.98/23.11 c bounds -790 >= -11958740 @ 22.2314
22.98/23.12 c bounds -790 >= -11951975 @ 22.2363
22.98/23.12 c bounds -790 >= -11945210 @ 22.2403
22.98/23.12 c bounds -790 >= -11938445 @ 22.2439
22.98/23.13 c bounds -790 >= -11931680 @ 22.2493
22.98/23.14 c bounds -790 >= -11924915 @ 22.2566
22.98/23.14 c bounds -790 >= -11918150 @ 22.2606
22.98/23.15 c bounds -790 >= -11911385 @ 22.2659
22.98/23.15 c bounds -790 >= -11904620 @ 22.2696
22.98/23.16 c bounds -790 >= -11897855 @ 22.2751
22.98/23.16 c bounds -790 >= -11891090 @ 22.2808
22.98/23.17 c bounds -790 >= -11884325 @ 22.2864
23.09/23.21 c bounds -2387 >= -11884325 @ 22.3105
23.09/23.22 c bounds -2387 >= -11877560 @ 22.3176
23.09/23.23 c bounds -2387 >= -11870795 @ 22.325
23.09/23.23 c bounds -2387 >= -11864030 @ 22.3286
23.09/23.23 c bounds -2387 >= -11857265 @ 22.3318
23.09/23.24 c bounds -2387 >= -11850500 @ 22.3368
23.09/23.25 c bounds -2387 >= -11843735 @ 22.3418
23.09/23.26 c bounds -2387 >= -11836970 @ 22.3523
23.09/23.29 c bounds -2390 >= -11836970 @ 22.3739
23.19/23.30 c bounds -2390 >= -11830205 @ 22.3862
23.19/23.31 c bounds -2390 >= -11823440 @ 22.3923
23.19/23.31 c bounds -2390 >= -11816675 @ 22.3964
23.19/23.32 c bounds -2390 >= -11809910 @ 22.4018
23.19/23.34 c bounds -9155 >= -11809910 @ 22.4154
23.19/23.34 c bounds -9155 >= -11803145 @ 22.4227
23.19/23.35 c bounds -9155 >= -11796380 @ 22.4304
23.19/23.36 c bounds -9155 >= -11789615 @ 22.4385
23.19/23.37 c bounds -11739 >= -11789615 @ 22.4503
23.19/23.38 c bounds -11739 >= -11782850 @ 22.4584
23.19/23.39 c bounds -11739 >= -11776085 @ 22.4637
23.28/23.40 c bounds -11739 >= -11769320 @ 22.4731
23.28/23.48 c bounds -11747 >= -11769320 @ 22.5469
23.38/23.57 c bounds -11747 >= -11762555 @ 22.6239
24.18/24.33 c bounds -11747 >= -11755790 @ 23.3729
24.28/24.46 c #Conflicts: 1000 | #Constraints: 50003
24.28/24.46 c bounds -11768 >= -11755790 @ 23.5008
24.28/24.48 c bounds -11768 >= -11749025 @ 23.5234
24.38/24.50 c bounds -11857 >= -11749025 @ 23.5344
24.38/24.51 c bounds -11891 >= -11749025 @ 23.5444
24.38/24.52 c bounds -11891 >= -11742260 @ 23.5536
24.38/24.53 c bounds -11891 >= -11735495 @ 23.5644
24.38/24.54 c bounds -16072 >= -11735495 @ 23.5757
24.38/24.55 c bounds -16072 >= -11728730 @ 23.5842
24.38/24.56 c bounds -16072 >= -11721965 @ 23.5952
24.48/24.63 c bounds -72396 >= -11721965 @ 23.6595
25.18/25.39 c #Conflicts: 2000 | #Constraints: 51090
25.18/25.39 c INPROCESSING
25.18/25.39 c GARBAGE COLLECT
25.18/25.39 c bounds -73993 >= -11721965 @ 24.3558
25.28/25.41 c bounds -73994 >= -11721965 @ 24.3749
25.28/25.44 c bounds -75591 >= -11721965 @ 24.3956
25.28/25.46 c bounds -82356 >= -11721965 @ 24.4162
25.28/25.49 c bounds -82377 >= -11721965 @ 24.4367
25.38/25.51 c bounds -82385 >= -11721965 @ 24.4492
25.38/25.52 c bounds -82386 >= -11721965 @ 24.4633
25.38/25.56 c bounds -82530 >= -11721965 @ 24.4915
25.38/25.59 c bounds -82535 >= -11721965 @ 24.5157
25.57/25.72 c bounds -82536 >= -11721965 @ 24.638
25.57/25.74 c bounds -82541 >= -11721965 @ 24.6565
25.67/25.80 c bounds -84138 >= -11721965 @ 24.6894
25.67/25.80 c bounds -84138 >= -11500372 @ 24.6957
25.67/25.81 c bounds -84138 >= -11282960 @ 24.6988
25.67/25.81 c bounds -84138 >= -11069729 @ 24.7019
25.67/25.81 c bounds -84138 >= -10848136 @ 24.7066
25.67/25.82 c bounds -84138 >= -10626543 @ 24.7111
25.67/25.82 c bounds -84138 >= -10400769 @ 24.7143
25.67/25.82 c bounds -84138 >= -10183357 @ 24.7173
25.67/25.83 c bounds -84138 >= -9965945 @ 24.7204
25.67/25.83 c bounds -84138 >= -9744352 @ 24.7235
25.67/25.84 c bounds -84138 >= -9518578 @ 24.7279
25.67/25.84 c bounds -84138 >= -9267718 @ 24.731
25.67/25.84 c bounds -84138 >= -9025220 @ 24.7341
25.67/25.84 c bounds -84138 >= -8778541 @ 24.7371
25.67/25.85 c bounds -84138 >= -8531862 @ 24.7403
25.67/25.85 c bounds -84138 >= -8285183 @ 24.7433
25.67/25.85 c bounds -84138 >= -8034323 @ 24.7464
25.67/25.86 c bounds -84138 >= -7816911 @ 24.7494
25.67/25.86 c bounds -84138 >= -7612042 @ 24.7526
25.67/25.86 c bounds -84138 >= -7407173 @ 24.7546
25.67/25.87 c bounds -84138 >= -7210666 @ 24.7577
25.67/25.87 c bounds -84138 >= -6997435 @ 24.7612
25.67/25.87 c bounds -84138 >= -6855281 @ 24.7654
27.07/27.20 c #Conflicts: 3000 | #Constraints: 43022
27.07/27.20 c bounds -84138 >= -6851100 @ 26.0695
27.07/27.22 c bounds -113311 >= -6851100 @ 26.0878
27.07/27.24 c bounds -117492 >= -6851100 @ 26.1044
27.07/27.26 c bounds -117500 >= -6851100 @ 26.1242
27.07/27.29 c bounds -118110 >= -6851100 @ 26.1508
27.18/27.34 c bounds -118487 >= -6851100 @ 26.1888
27.18/27.40 c bounds -118500 >= -6851100 @ 26.2369
27.27/27.42 c bounds -118534 >= -6851100 @ 26.2565
27.27/27.48 c bounds -118588 >= -6851100 @ 26.3028
27.68/27.85 c bounds -118643 >= -6851100 @ 26.6677
27.68/27.88 c bounds -118677 >= -6851100 @ 26.6994
27.77/27.92 c bounds -119198 >= -6851100 @ 26.7309
27.77/27.95 c bounds -121172 >= -6851100 @ 26.7632
27.77/28.00 c bounds -125353 >= -6851100 @ 26.8076
27.87/28.10 c bounds -125442 >= -6851100 @ 26.8945
28.07/28.20 c bounds -125497 >= -6851100 @ 26.9653
28.47/28.67 c bounds -125675 >= -6851100 @ 27.4248
28.56/28.72 c bounds -126052 >= -6851100 @ 27.4727
28.56/28.77 c bounds -128026 >= -6851100 @ 27.5194
28.56/28.78 c bounds -128026 >= -6846919 @ 27.5326
29.16/29.33 c bounds -129623 >= -6846919 @ 28.0776
29.16/29.35 c bounds -129623 >= -6842738 @ 28.0964
29.87/30.08 c #Conflicts: 4000 | #Constraints: 44065
29.87/30.08 c INPROCESSING
29.87/30.08 c GARBAGE COLLECT
29.87/30.08 c bounds -129911 >= -6842738 @ 28.8161
32.06/32.25 c bounds -132495 >= -6842738 @ 30.9583
32.06/32.26 c bounds -132495 >= -6705786 @ 30.9649
32.06/32.26 c bounds -132495 >= -6568834 @ 30.9699
32.06/32.27 c bounds -132495 >= -6434466 @ 30.9747
32.06/32.27 c bounds -132495 >= -6302682 @ 30.9795
32.06/32.28 c bounds -132495 >= -6150226 @ 30.9842
32.06/32.28 c bounds -132495 >= -6000354 @ 30.9886
32.06/32.28 c bounds -132495 >= -5847898 @ 30.9922
32.06/32.29 c bounds -132495 >= -5695442 @ 30.9955
32.06/32.29 c bounds -132495 >= -5542986 @ 30.9986
32.06/32.29 c bounds -132495 >= -5390530 @ 31.0024
32.16/32.30 c bounds -132495 >= -5235490 @ 31.0072
32.16/32.30 c bounds -132495 >= -5080450 @ 31.0119
32.16/32.31 c bounds -132495 >= -4925410 @ 31.0167
32.16/32.31 c bounds -132495 >= -4770370 @ 31.0213
32.16/32.32 c bounds -132495 >= -4646338 @ 31.0259
32.16/32.32 c bounds -132495 >= -4524890 @ 31.0305
32.16/32.33 c bounds -132495 >= -4403442 @ 31.035
32.16/32.33 c bounds -132495 >= -4271658 @ 31.0397
36.85/37.09 c #Conflicts: 5000 | #Constraints: 43491
36.85/37.09 c #Conflicts: 6000 | #Constraints: 44491
36.85/37.09 c INPROCESSING
36.85/37.09 c GARBAGE COLLECT
36.85/37.09 c bounds -132508 >= -4271658 @ 35.7448
37.34/37.55 c bounds -132512 >= -4271658 @ 36.2055
37.34/37.59 c bounds -134104 >= -4271658 @ 36.2443
37.45/37.64 c bounds -135091 >= -4271658 @ 36.2841
37.45/37.70 c bounds -136688 >= -4271658 @ 36.3242
42.33/42.59 c #Conflicts: 7000 | #Constraints: 43513
42.33/42.59 c bounds -137675 >= -4271658 @ 41.1806
42.43/42.60 c bounds -137675 >= -4191808 @ 41.187
42.43/42.60 c bounds -137675 >= -4110361 @ 41.1902
42.43/42.60 c bounds -137675 >= -4025720 @ 41.1933
42.43/42.61 c bounds -137675 >= -3937885 @ 41.1955
42.43/42.61 c bounds -137675 >= -3850050 @ 41.1999
42.43/42.61 c bounds -137675 >= -3763812 @ 41.203
42.43/42.62 c bounds -137675 >= -3677574 @ 41.2061
42.43/42.62 c bounds -137675 >= -3583351 @ 41.2092
42.43/42.62 c bounds -137675 >= -3489128 @ 41.2117
42.43/42.63 c bounds -137675 >= -3393308 @ 41.2163
42.43/42.63 c bounds -137675 >= -3297488 @ 41.2212
42.43/42.64 c bounds -137675 >= -3219235 @ 41.2245
42.43/42.64 c bounds -137675 >= -3140982 @ 41.2277
42.43/42.64 c bounds -137675 >= -3065923 @ 41.2309
42.43/42.65 c bounds -137675 >= -2984476 @ 41.2355
45.43/45.62 c #Conflicts: 8000 | #Constraints: 44559
45.43/45.62 c #Conflicts: 9000 | #Constraints: 45559
45.43/45.62 c INPROCESSING
45.43/45.62 c GARBAGE COLLECT
45.43/45.62 c bounds -137675 >= -2981892 @ 44.1654
45.43/45.62 c bounds -137675 >= -2980295 @ 44.1687
45.43/45.66 c bounds -137675 >= -2978698 @ 44.2051
45.43/45.67 c bounds -137675 >= -2976114 @ 44.2086
45.43/45.68 c bounds -137675 >= -2974517 @ 44.2202
45.43/45.69 c bounds -137675 >= -2972920 @ 44.2258
45.53/45.71 c bounds -137675 >= -2971323 @ 44.2499
45.53/45.72 c bounds -137675 >= -2969726 @ 44.2545
45.53/45.73 c bounds -137675 >= -2968129 @ 44.2664
45.53/45.74 c bounds -137675 >= -2966532 @ 44.2815
54.20/54.45 c #Conflicts: 10000 | #Constraints: 44392
54.20/54.45 c #Conflicts: 11000 | #Constraints: 45392
54.20/54.45 c #Conflicts: 12000 | #Constraints: 46392
54.20/54.45 c INPROCESSING
54.20/54.45 c GARBAGE COLLECT
54.20/54.45 c bounds -137696 >= -2966532 @ 52.9177
54.20/54.46 c bounds -137696 >= -2965545 @ 52.924
54.20/54.46 c bounds -137696 >= -2913234 @ 52.9271
54.20/54.46 c bounds -137696 >= -2860923 @ 52.9303
54.20/54.47 c bounds -137696 >= -2811573 @ 52.9349
54.20/54.47 c bounds -137696 >= -2760249 @ 52.9397
54.20/54.48 c bounds -137696 >= -2705964 @ 52.943
54.20/54.48 c bounds -137696 >= -2654640 @ 52.9462
54.20/54.48 c bounds -137696 >= -2653653 @ 52.9493
54.20/54.49 c bounds -137696 >= -2652666 @ 52.9527
54.20/54.49 c bounds -137696 >= -2651679 @ 52.9569
54.30/54.50 c bounds -137696 >= -2650692 @ 52.9616
54.30/54.50 c bounds -137696 >= -2649705 @ 52.9662
69.06/69.34 c bounds -137696 >= -2597394 @ 67.6708
69.06/69.35 c bounds -137696 >= -2596407 @ 67.6751
69.06/69.35 c bounds -137696 >= -2595420 @ 67.68
69.06/69.36 c bounds -137696 >= -2594433 @ 67.6832
69.06/69.36 c bounds -137696 >= -2593446 @ 67.6865
69.06/69.36 c bounds -137696 >= -2592459 @ 67.6901
69.06/69.37 c bounds -137696 >= -2540148 @ 67.6941
69.06/69.37 c bounds -137696 >= -2539161 @ 67.6987
69.06/69.38 c bounds -137696 >= -2538174 @ 67.7036
69.06/69.38 c bounds -137696 >= -2537187 @ 67.7071
69.06/69.38 c bounds -137696 >= -2536200 @ 67.7103
69.06/69.39 c bounds -137696 >= -2535213 @ 67.7139
69.06/69.39 c bounds -137696 >= -2482902 @ 67.7178
69.06/69.39 c bounds -137696 >= -2424669 @ 67.7209
69.17/69.40 c bounds -137696 >= -2365449 @ 67.7241
69.17/69.40 c bounds -137696 >= -2314125 @ 67.7272
69.17/69.40 c bounds -137696 >= -2262801 @ 67.7308
69.17/69.41 c bounds -137696 >= -2216412 @ 67.7339
69.17/69.41 c bounds -137696 >= -2168049 @ 67.737
69.17/69.41 c bounds -137696 >= -2119686 @ 67.7401
69.66/69.96 c bounds -137696 >= -2118699 @ 68.2775
69.66/69.96 c bounds -137696 >= -2117712 @ 68.2848
69.66/69.97 c bounds -137696 >= -2116725 @ 68.2948
69.66/69.98 c bounds -137696 >= -2115738 @ 68.3
96.89/97.23 c #Conflicts: 13000 | #Constraints: 44959
96.89/97.23 c #Conflicts: 14000 | #Constraints: 45959
96.89/97.23 c #Conflicts: 15000 | #Constraints: 46959
96.89/97.23 c INPROCESSING
96.89/97.23 c GARBAGE COLLECT
96.89/97.23 c #Conflicts: 16000 | #Constraints: 45113
96.89/97.23 c #Conflicts: 17000 | #Constraints: 46113
96.89/97.23 c #Conflicts: 18000 | #Constraints: 47113
96.89/97.23 c #Conflicts: 19000 | #Constraints: 48113
96.89/97.23 c #Conflicts: 20000 | #Constraints: 49113
96.89/97.23 c #Conflicts: 21000 | #Constraints: 50113
96.89/97.23 c #Conflicts: 22000 | #Constraints: 51113
96.89/97.23 c #Conflicts: 23000 | #Constraints: 52113
96.89/97.23 c #Conflicts: 24000 | #Constraints: 53113
96.89/97.23 c INPROCESSING
96.89/97.23 c GARBAGE COLLECT
96.89/97.23 c #Conflicts: 25000 | #Constraints: 48006
96.89/97.23 c bounds -137929 >= -2115738 @ 95.2966
96.89/97.23 c bounds -137929 >= -2084018 @ 95.3031
96.89/97.24 c bounds -137929 >= -2051078 @ 95.308
96.89/97.24 c bounds -137929 >= -2050468 @ 95.3129
96.89/97.25 c bounds -137929 >= -2049858 @ 95.3179
96.89/97.25 c bounds -137929 >= -2049248 @ 95.3219
96.89/97.26 c bounds -137929 >= -2048638 @ 95.3253
96.89/97.26 c bounds -137929 >= -2048028 @ 95.3308
96.89/97.27 c bounds -137929 >= -2015698 @ 95.3372
96.89/97.27 c bounds -137929 >= -1982758 @ 95.341
96.89/97.28 c bounds -137929 >= -1947988 @ 95.3444
96.89/97.28 c bounds -137929 >= -1911998 @ 95.3476
96.89/97.28 c bounds -137929 >= -1875398 @ 95.3499
96.89/97.29 c bounds -137929 >= -1838798 @ 95.3531
96.89/97.29 c bounds -137929 >= -1807078 @ 95.3578
96.89/97.29 c bounds -137929 >= -1775358 @ 95.3628
96.99/97.30 c bounds -137929 >= -1745468 @ 95.3668
96.99/97.30 c bounds -137929 >= -1715578 @ 95.3701
96.99/97.31 c bounds -137929 >= -1686908 @ 95.3732
149.26/149.74 c #Conflicts: 26000 | #Constraints: 49054
149.26/149.74 c #Conflicts: 27000 | #Constraints: 50054
149.26/149.74 c #Conflicts: 28000 | #Constraints: 51054
149.26/149.74 c INPROCESSING
149.26/149.74 c GARBAGE COLLECT
149.26/149.74 c rational objective -388495
149.67/150.13 c bounds -138851 >= -1686908 @ 147.742
149.96/150.40 c bounds -144011 >= -1686908 @ 147.969
150.16/150.62 c bounds -144012 >= -1686908 @ 148.173
150.16/150.65 c bounds -144013 >= -1686908 @ 148.198
150.16/150.69 c bounds -144021 >= -1686908 @ 148.233
150.25/150.74 c bounds -144108 >= -1686908 @ 148.279
150.36/150.87 c bounds -144150 >= -1686908 @ 148.392
150.45/150.90 c bounds -144239 >= -1686908 @ 148.418
150.45/150.96 c bounds -146768 >= -1686908 @ 148.462
150.56/151.01 c bounds -146822 >= -1686908 @ 148.499
150.56/151.07 c bounds -147047 >= -1686908 @ 148.549
150.75/151.20 c bounds -147191 >= -1686908 @ 148.672
150.85/151.31 c bounds -147225 >= -1686908 @ 148.784
150.85/151.34 c bounds -147226 >= -1686908 @ 148.807
150.85/151.36 c bounds -147231 >= -1686908 @ 148.828
150.96/151.40 c bounds -147243 >= -1686908 @ 148.862
150.96/151.45 c bounds -147264 >= -1686908 @ 148.912
151.25/151.78 c bounds -147265 >= -1686908 @ 149.24
151.36/151.81 c bounds -147266 >= -1686908 @ 149.272
151.36/151.87 c bounds -147267 >= -1686908 @ 149.325
151.45/151.91 c bounds -147268 >= -1686908 @ 149.364
152.45/152.92 c #Conflicts: 29000 | #Constraints: 46894
152.45/152.92 c bounds -147278 >= -1686908 @ 150.355
152.65/153.18 c bounds -147283 >= -1686908 @ 150.617
154.65/155.12 c bounds -147291 >= -1686908 @ 152.549
154.65/155.13 c bounds -147291 >= -1686531 @ 152.555
154.65/155.13 c bounds -147291 >= -1666927 @ 152.56
154.65/155.14 c bounds -147291 >= -1646192 @ 152.564
154.65/155.14 c bounds -147291 >= -1625834 @ 152.569
154.65/155.15 c bounds -147291 >= -1603968 @ 152.574
154.65/155.15 c bounds -147291 >= -1584364 @ 152.579
154.65/155.16 c bounds -147291 >= -1564760 @ 152.582
154.65/155.16 c bounds -147291 >= -1546287 @ 152.585
154.65/155.16 c bounds -147291 >= -1528191 @ 152.588
154.65/155.17 c bounds -147291 >= -1510095 @ 152.593
154.94/155.42 c bounds -147291 >= -1509485 @ 152.846
154.94/155.45 c bounds -147291 >= -1509108 @ 152.868
154.94/155.45 c bounds -147291 >= -1508731 @ 152.875
154.94/155.46 c bounds -147291 >= -1508354 @ 152.884
154.94/155.47 c bounds -147291 >= -1507977 @ 152.892
154.94/155.48 c bounds -147291 >= -1507600 @ 152.902
154.94/155.49 c bounds -147291 >= -1507223 @ 152.91
155.04/155.50 c bounds -147291 >= -1506846 @ 152.919
155.04/155.51 c bounds -147291 >= -1506469 @ 152.928
155.04/155.52 c bounds -147291 >= -1506092 @ 152.936
155.04/155.52 c bounds -147291 >= -1505715 @ 152.942
155.04/155.53 c bounds -147291 >= -1505338 @ 152.949
155.04/155.54 c bounds -147291 >= -1504961 @ 152.955
155.04/155.54 c bounds -147291 >= -1504584 @ 152.963
155.04/155.55 c bounds -147291 >= -1504207 @ 152.972
155.04/155.56 c bounds -147291 >= -1503830 @ 152.981
155.04/155.57 c bounds -147291 >= -1503453 @ 152.989
276.06/276.89 c #Conflicts: 30000 | #Constraints: 48162
276.06/276.89 c #Conflicts: 31000 | #Constraints: 49162
276.06/276.89 c #Conflicts: 32000 | #Constraints: 50162
276.06/276.89 c #Conflicts: 33000 | #Constraints: 51162
276.06/276.89 c INPROCESSING
276.06/276.89 c GARBAGE COLLECT
276.06/276.89 c bounds -147469 >= -1503453 @ 273.386
277.76/278.51 c bounds -147524 >= -1503453 @ 274.991
277.76/278.58 c bounds -147613 >= -1503453 @ 275.05
278.45/279.24 c bounds -147757 >= -1503453 @ 275.701
278.55/279.30 c bounds -147812 >= -1503453 @ 275.753
278.55/279.36 c bounds -147867 >= -1503453 @ 275.81
278.66/279.41 c bounds -147888 >= -1503453 @ 275.853
278.66/279.45 c bounds -147893 >= -1503453 @ 275.889
278.66/279.49 c bounds -147898 >= -1503453 @ 275.929
278.96/279.74 c bounds -147953 >= -1503453 @ 276.163
278.96/279.79 c bounds -147956 >= -1503453 @ 276.209
279.06/279.85 c bounds -148042 >= -1503453 @ 276.266
279.16/279.96 c bounds -148097 >= -1503453 @ 276.371
282.04/282.82 c bounds -150537 >= -1503453 @ 279.198
282.04/282.83 c bounds -150537 >= -1503220 @ 279.204
282.04/282.83 c bounds -150537 >= -1490871 @ 279.207
282.04/282.84 c bounds -150537 >= -1478988 @ 279.21
282.04/282.84 c bounds -150537 >= -1467105 @ 279.213
282.04/282.84 c bounds -150537 >= -1454756 @ 279.217
282.04/282.85 c bounds -150537 >= -1442407 @ 279.22
282.04/282.85 c bounds -150537 >= -1429825 @ 279.223
282.04/282.85 c bounds -150537 >= -1416544 @ 279.227
282.04/282.86 c bounds -150537 >= -1402797 @ 279.23
282.04/282.86 c bounds -150537 >= -1389050 @ 279.233
282.04/282.86 c bounds -150537 >= -1375303 @ 279.236
282.04/282.86 c bounds -150537 >= -1361556 @ 279.239
282.04/282.87 c bounds -150537 >= -1347809 @ 279.242
282.04/282.87 c bounds -150537 >= -1333829 @ 279.246
282.04/282.87 c bounds -150537 >= -1319849 @ 279.249
282.04/282.88 c bounds -150537 >= -1305869 @ 279.251
282.04/282.88 c bounds -150537 >= -1294219 @ 279.254
282.04/282.88 c bounds -150537 >= -1283035 @ 279.257
282.04/282.89 c bounds -150537 >= -1271152 @ 279.265
318.45/319.31 c #Conflicts: 34000 | #Constraints: 47284
318.45/319.31 c #Conflicts: 35000 | #Constraints: 48284
318.45/319.31 c #Conflicts: 36000 | #Constraints: 49284
318.45/319.31 c #Conflicts: 37000 | #Constraints: 50284
318.45/319.31 c #Conflicts: 38000 | #Constraints: 51284
318.45/319.31 c #Conflicts: 39000 | #Constraints: 52284
318.45/319.31 c #Conflicts: 40000 | #Constraints: 53284
318.45/319.31 c #Conflicts: 41000 | #Constraints: 54284
318.45/319.31 c #Conflicts: 42000 | #Constraints: 55284
318.45/319.31 c #Conflicts: 43000 | #Constraints: 56284
318.45/319.31 c #Conflicts: 44000 | #Constraints: 57284
318.45/319.31 c #Conflicts: 45000 | #Constraints: 58284
318.45/319.31 c #Conflicts: 46000 | #Constraints: 59284
318.45/319.31 c bounds -150537 >= -1270919 @ 315.361
319.16/320.04 c bounds -153121 >= -1270919 @ 316.084
319.25/320.12 c bounds -155705 >= -1270919 @ 316.158
319.94/320.83 c bounds -158234 >= -1270919 @ 316.85
320.05/320.93 c bounds -158255 >= -1270919 @ 316.942
320.05/321.00 c bounds -158281 >= -1270919 @ 316.999
321.34/322.24 c bounds -159789 >= -1270919 @ 318.235
321.44/322.35 c bounds -161297 >= -1270919 @ 318.337
321.54/322.44 c bounds -161530 >= -1270919 @ 318.426
322.04/322.91 c bounds -161907 >= -1270919 @ 318.881
322.04/322.99 c bounds -162894 >= -1270919 @ 318.96
322.24/323.10 c bounds -163127 >= -1270919 @ 319.062
322.34/323.25 c bounds -163470 >= -1270919 @ 319.195
322.44/323.39 c bounds -163847 >= -1270919 @ 319.329
323.04/323.95 c bounds -165389 >= -1270919 @ 319.863
323.54/324.46 c #Conflicts: 47000 | #Constraints: 60316
323.54/324.46 c INPROCESSING
323.54/324.46 c GARBAGE COLLECT
323.54/324.46 c bounds -165855 >= -1270919 @ 320.364
323.54/324.49 c bounds -166842 >= -1270919 @ 320.385
323.73/324.69 c bounds -167418 >= -1270919 @ 320.582
324.34/325.22 c bounds -167782 >= -1270919 @ 321.106
324.34/325.29 c bounds -168007 >= -1270919 @ 321.18
324.44/325.35 c bounds -168350 >= -1270919 @ 321.228
324.44/325.39 c bounds -169337 >= -1270919 @ 321.265
324.53/325.48 c bounds -169926 >= -1270919 @ 321.343
326.83/327.73 c bounds -170290 >= -1270919 @ 323.582
328.02/328.97 c bounds -170434 >= -1270919 @ 324.815
328.62/329.58 c bounds -170578 >= -1270919 @ 325.422
329.23/330.10 c bounds -170811 >= -1270919 @ 325.934
330.13/331.08 c bounds -171421 >= -1270919 @ 326.903
331.02/331.99 c bounds -171565 >= -1270919 @ 327.814
331.13/332.08 c bounds -171798 >= -1270919 @ 327.902
333.91/334.88 c bounds -171942 >= -1270919 @ 330.673
334.01/335.00 c bounds -172031 >= -1270919 @ 330.785
334.22/335.11 c bounds -172175 >= -1270919 @ 330.884
334.31/335.23 c bounds -172209 >= -1270919 @ 330.99
334.81/335.75 c bounds -172264 >= -1270919 @ 331.498
334.91/335.86 c bounds -172552 >= -1270919 @ 331.605
337.91/338.83 c #Conflicts: 48000 | #Constraints: 52017
337.91/338.83 c bounds -178707 >= -1270919 @ 334.571
337.91/338.87 c bounds -178707 >= -1266971 @ 334.607
338.60/339.53 c bounds -178707 >= -1266738 @ 335.255
338.60/339.54 c bounds -178707 >= -1262790 @ 335.267
338.70/339.65 c bounds -178707 >= -1262557 @ 335.37
338.70/339.66 c bounds -178707 >= -1262324 @ 335.38
338.70/339.66 c bounds -178707 >= -1262091 @ 335.386
338.70/339.67 c bounds -178707 >= -1261858 @ 335.397
338.70/339.68 c bounds -178707 >= -1261625 @ 335.404
338.70/339.69 c bounds -178707 >= -1261392 @ 335.411
338.70/339.69 c bounds -178707 >= -1261159 @ 335.414
338.80/339.70 c bounds -178707 >= -1260926 @ 335.419
338.80/339.70 c bounds -178707 >= -1260693 @ 335.424
338.80/339.71 c bounds -178707 >= -1260460 @ 335.432
338.80/339.72 c bounds -178707 >= -1260227 @ 335.441
338.80/339.72 c bounds -178707 >= -1259994 @ 335.446
338.80/339.73 c bounds -178707 >= -1259761 @ 335.456
338.80/339.74 c bounds -178707 >= -1259528 @ 335.459
338.80/339.74 c bounds -178707 >= -1259295 @ 335.463
338.80/339.74 c bounds -178707 >= -1259062 @ 335.466
338.80/339.75 c bounds -178707 >= -1258829 @ 335.47
347.37/348.39 c #Conflicts: 49000 | #Constraints: 53186
347.37/348.39 c #Conflicts: 50000 | #Constraints: 54186
347.37/348.39 c bounds -178707 >= -1258596 @ 344.052
347.48/348.46 c bounds -178707 >= -1258363 @ 344.116
347.48/348.48 c bounds -178707 >= -1258130 @ 344.137
347.57/348.53 c bounds -178707 >= -1257897 @ 344.179
348.98/349.92 c bounds -178741 >= -1257897 @ 345.551
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 (58204 MiB free)
memory of node 1: 64507 MiB (55166 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505634-1751449232/watcher-4505634-1751449232 -o /tmp/evaluation-result-4505634-1751449232/solver-4505634-1751449232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751441985-68442 --watchdog 3760 run-opt-break.sh HOME/instance-4505634-1751449232.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=69336, runsolver pid=69333
[startup+0.100064 s]*
/proc/loadavg: 4.20 4.18 4.12 5/269 69338
/proc/meminfo: memFree=116044664/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69338] ppid=69336 vsize=72680 memory=52880 CPUtime=0.08 cores=0,2
/proc/69338/stat : 69338 (pbsuma) R 69336 69336 68432 0 -1 4194304 11013 0 0 0 6 2 0 0 20 0 1 0 60601113 74424320 13220 18446744073709551615 4210688 4653049 140724075345856 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 13398016 140724075354467 140724075354674 140724075354674 140724075360239 0
/proc/69338/statm: 18170 13220 992 108 0 15578 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76872 KiB
Current children cumulated memory: 55824 KiB
[startup+0.205793 s]*
/proc/loadavg: 4.18 4.18 4.12 5/269 69338
/proc/meminfo: memFree=115975552/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69338] ppid=69336 vsize=84364 memory=64680 CPUtime=0.18 cores=0,2
/proc/69338/stat : 69338 (pbsuma) R 69336 69336 68432 0 -1 4194304 23385 0 0 0 14 4 0 0 20 0 1 0 60601113 86388736 16170 18446744073709551615 4210688 4653049 140724075345856 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13398016 140724075354467 140724075354674 140724075354674 140724075360239 0
/proc/69338/statm: 21091 16170 1024 108 0 18499 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 88556 KiB
Current children cumulated memory: 67624 KiB
[startup+0.305618 s]*
/proc/loadavg: 4.18 4.18 4.12 5/269 69338
/proc/meminfo: memFree=115975552/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69338] ppid=69336 vsize=84364 memory=64680 CPUtime=0.28 cores=0,2
/proc/69338/stat : 69338 (pbsuma) R 69336 69336 68432 0 -1 4194304 23385 0 0 0 24 4 0 0 20 0 1 0 60601113 86388736 16170 18446744073709551615 4210688 4653049 140724075345856 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13398016 140724075354467 140724075354674 140724075354674 140724075360239 0
/proc/69338/statm: 21091 16170 1024 108 0 18499 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 88556 KiB
Current children cumulated memory: 67624 KiB
[startup+0.700196 s]
/proc/loadavg: 4.18 4.18 4.12 5/269 69338
/proc/meminfo: memFree=115967488/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+1.5002 s]
/proc/loadavg: 4.18 4.18 4.12 5/269 69339
/proc/meminfo: memFree=115928532/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=168984 memory=115560 CPUtime=0.95 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 19580 0 0 0 88 7 0 0 20 0 1 0 60601164 173039616 28890 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 42246 28890 2272 1147 0 29673 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 173176 KiB
Current children cumulated memory: 118504 KiB
[startup+3.10558 s]
/proc/loadavg: 4.18 4.18 4.12 5/269 69339
/proc/meminfo: memFree=115875700/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=171348 memory=116968 CPUtime=2.56 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 19908 0 0 0 248 8 0 0 20 0 1 0 60601164 175460352 29242 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 42837 29242 2304 1147 0 30264 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 175540 KiB
Current children cumulated memory: 119912 KiB
[startup+6.3002 s]
/proc/loadavg: 4.17 4.18 4.12 5/269 69339
/proc/meminfo: memFree=115477644/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=371620 memory=302856 CPUtime=5.74 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 56574 0 0 0 556 18 0 0 20 0 1 0 60601164 380538880 75714 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 92905 75714 2336 1147 0 80332 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 375812 KiB
Current children cumulated memory: 305800 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.17 4.11 5/269 69339
/proc/meminfo: memFree=115027072/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=376284 memory=310156 CPUtime=12.12 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 57373 0 0 0 1192 20 0 0 20 0 1 0 60601164 385314816 77539 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 94071 77539 2368 1147 0 81498 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 380476 KiB
Current children cumulated memory: 313100 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.18 4.12 5/269 69339
/proc/meminfo: memFree=114228388/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=434076 memory=347780 CPUtime=24.89 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 63209 0 0 0 2444 45 0 0 20 0 1 0 60601164 444493824 86945 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 108519 86945 2368 1147 0 95946 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 350724 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.16 4.11 5/270 69342
/proc/meminfo: memFree=112973012/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=489004 memory=406964 CPUtime=50.42 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 76984 0 0 0 4958 84 0 0 20 0 1 0 60601164 500740096 101741 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 122251 101741 2368 1147 0 109678 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 493196 KiB
Current children cumulated memory: 409908 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/270 69344
/proc/meminfo: memFree=109985272/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=582656 memory=496544 CPUtime=101.49 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 87162 0 0 0 10033 116 0 0 20 0 1 0 60601164 596639744 124136 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 145664 124136 2368 1147 0 133091 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 586848 KiB
Current children cumulated memory: 499488 KiB
[startup+162.3 s]
/proc/loadavg: 4.49 4.25 4.14 5/270 69346
/proc/meminfo: memFree=106172744/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=602996 memory=512032 CPUtime=161.34 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 91035 0 0 0 15965 169 0 0 20 0 1 0 60601164 617467904 128008 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 150749 128008 2368 1147 0 138176 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 607188 KiB
Current children cumulated memory: 514976 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.22 4.14 5/270 69349
/proc/meminfo: memFree=104476116/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=603428 memory=516000 CPUtime=221.2 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 92022 0 0 0 21923 197 0 0 20 0 1 0 60601164 617910272 129000 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 150857 129000 2368 1147 0 138284 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 607620 KiB
Current children cumulated memory: 518944 KiB
################
# More data... #
################
/proc/meminfo: memFree=109146500/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=910036 memory=831036 CPUtime=3273.35 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 143634 0 0 0 325336 1999 0 0 20 0 1 0 60601164 931876864 207759 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 207759 2432 1147 0 214936 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 914228 KiB
Current children cumulated memory: 833980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 69619
/proc/meminfo: memFree=108952760/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=910036 memory=833468 CPUtime=3333.21 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 143634 0 0 0 331290 2031 0 0 20 0 1 0 60601164 931876864 208367 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 208367 2432 1147 0 214936 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 914228 KiB
Current children cumulated memory: 836412 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 69621
/proc/meminfo: memFree=108324720/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=910036 memory=838204 CPUtime=3393.09 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 143679 0 0 0 337246 2063 0 0 20 0 1 0 60601164 931876864 209551 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 209551 2432 1147 0 214936 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 914228 KiB
Current children cumulated memory: 841148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 69623
/proc/meminfo: memFree=108207872/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=910036 memory=840892 CPUtime=3452.95 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 143681 0 0 0 343201 2094 0 0 20 0 1 0 60601164 931876864 210223 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 210223 2432 1147 0 214936 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 914228 KiB
Current children cumulated memory: 843836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/268 69626
/proc/meminfo: memFree=108133444/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=910036 memory=840892 CPUtime=3512.83 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 143681 0 0 0 349154 2129 0 0 20 0 1 0 60601164 931876864 210223 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 210223 2432 1147 0 214936 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 914228 KiB
Current children cumulated memory: 843836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 69635
/proc/meminfo: memFree=108113808/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=910036 memory=840892 CPUtime=3572.71 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 143681 0 0 0 355106 2165 0 0 20 0 1 0 60601164 931876864 210223 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 210223 2432 1147 0 214936 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 914228 KiB
Current children cumulated memory: 843836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 3.94 4.05 4.08 4/262 69666
/proc/meminfo: memFree=112857568/131249996 swapFree=33010684/33010684
[pid=69336] ppid=69333 vsize=4192 memory=2944 CPUtime=0.49 cores=0,2
/proc/69336/stat : 69336 (run-opt-break.s) S 69333 69336 68432 0 -1 4194304 237 23691 0 0 0 0 44 5 20 0 1 0 60601112 4292608 736 18446744073709551615 94549408608256 94549409502789 140722267201792 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94549409741840 94549409789584 94549419417600 140722267203937 140722267204066 140722267204066 140722267209668 0
/proc/69336/statm: 1048 736 672 219 0 110 0
[pid=69339] ppid=69336 vsize=910036 memory=840892 CPUtime=3599.53 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69336 69336 68432 0 -1 4194304 143681 0 0 0 357773 2180 0 0 20 0 1 0 60601164 931876864 210223 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 210223 2432 1147 0 214936 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 914228 KiB
Current children cumulated memory: 843836 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.2 s]
# the end of solver process 69336 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.443658 s, system=0.05497 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.2 s]
# the end of solver process 69339 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3580.16 s, system=21.8761 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 3.94 4.05 4.08 4/261 69666
/proc/meminfo: memFree=112857568/131249996 swapFree=33010684/33010684
[pid=69339] ppid=69333 vsize=910036 memory=840892 CPUtime=3599.93 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69333 69336 68432 0 -1 4194304 143681 0 0 0 357813 2180 0 0 20 0 1 0 60601164 931876864 210223 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 210223 2432 1147 0 214936 0
Current cumulated CPU time of completed processes: 0.498628 s
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 910036 KiB
Current children cumulated memory: 840892 KiB
[startup+3610.4 s]
/proc/loadavg: 3.94 4.05 4.08 4/261 69666
/proc/meminfo: memFree=112857680/131249996 swapFree=33010684/33010684
[pid=69339] ppid=69333 vsize=910036 memory=840892 CPUtime=3600.73 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69333 69336 68432 0 -1 4194304 143681 0 0 0 357892 2181 0 0 20 0 1 0 60601164 931876864 210223 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 210223 2432 1147 0 214936 0
Current cumulated CPU time of completed processes: 0.498628 s
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 910036 KiB
Current children cumulated memory: 840892 KiB
[startup+3610.8 s]
/proc/loadavg: 3.94 4.05 4.08 4/261 69666
/proc/meminfo: memFree=112857680/131249996 swapFree=33010684/33010684
[pid=69339] ppid=69333 vsize=910036 memory=840892 CPUtime=3601.13 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69333 69336 68432 0 -1 4194304 143681 0 0 0 357932 2181 0 0 20 0 1 0 60601164 931876864 210223 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 210223 2432 1147 0 214936 0
Current cumulated CPU time of completed processes: 0.498628 s
Current children cumulated CPU time: 3601.13 s
Current children cumulated vsize: 910036 KiB
Current children cumulated memory: 840892 KiB
[startup+3611.2 s]
/proc/loadavg: 3.87 4.03 4.07 4/261 69666
/proc/meminfo: memFree=112857680/131249996 swapFree=33010684/33010684
[pid=69339] ppid=69333 vsize=910036 memory=840892 CPUtime=3601.52 cores=0,2
/proc/69339/stat : 69339 (roundingsat) R 69333 69336 68432 0 -1 4194304 143681 0 0 0 357971 2181 0 0 20 0 1 0 60601164 931876864 210223 18446744073709551615 4227072 8923433 140735891308080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25321472 140735891310948 140735891311144 140735891311144 140735891316714 0
/proc/69339/statm: 227509 210223 2432 1147 0 214936 0
Current cumulated CPU time of completed processes: 0.498628 s
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 910036 KiB
Current children cumulated memory: 840892 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.2
CPU time (s): 3602.04
CPU user time (s): 3580.16
CPU system time (s): 21.8761
CPU usage (%): 99.7462
Max. virtual memory (cumulated for all children) (KiB): 914228
Max. memory (cumulated for all children) (KiB): 843836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.16
system time used= 21.8761
maximum resident set size= 840892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167609
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 225
involuntary context switches= 8137
# summary of solver processes directly reported to runsolver:
# pid: 69336,69339
# total CPU time (s): 3602.04
# total CPU user time (s): 3580.16
# total CPU system time (s): 21.8761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18175 second user time and 15.5629 second system time
The end
Begin job on nodeC024 at 2025-07-02 11:40:32
IDJOB=4505634
IDBENCH=155767
IDSOLVER=3359
FILE ID=nodeC024/4505634-1751449232
RUNJOBID= nodeC024-1751441985-68442
SLURM_JOB_ID= 9598407
Free space on /tmp= 431672 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505634-1751449232/watcher-4505634-1751449232 -o /tmp/evaluation-result-4505634-1751449232/solver-4505634-1751449232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751441985-68442 --watchdog 3760 run-opt-break.sh HOME/instance-4505634-1751449232.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 80f0935d0a86591f889a9638d17fdf07
RANDOM SEED=342044288
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.675
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.36
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.673
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.729
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.36
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 : 3484.584
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.36
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.704
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.36
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.539
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.492
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.36
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 : 3508.145
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 116092124 kB
MemAvailable: 124205732 kB
Buffers: 3280 kB
Cached: 8881820 kB
SwapCached: 0 kB
Active: 5803036 kB
Inactive: 8623604 kB
Active(anon): 5559604 kB
Inactive(anon): 0 kB
Active(file): 243432 kB
Inactive(file): 8623604 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 564104 kB
Writeback: 0 kB
AnonPages: 5543820 kB
Mapped: 113112 kB
Shmem: 18064 kB
KReclaimable: 171224 kB
Slab: 263048 kB
SReclaimable: 171224 kB
SUnreclaim: 91824 kB
KernelStack: 4336 kB
PageTables: 14828 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6883748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1818624 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432324 MiB
End job on nodeC024 at 2025-07-02 12:40:43