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-4504577-1751443245.opb'
0.08/0.14 c read 2.98MB (122.93ms)
0.08/0.14 c [cnf: #variables 31350 #clauses 73033 #duplicates 300 #arr 238100]
0.08/0.15 c output proof to 'PROOFDIR/proof-4504577-1751443245'
0.08/0.15 c
0.08/0.15 c make graph and approximate orbits
0.19/0.31 c [group: #orbits ~= 1200] (158.62ms)
0.19/0.31 c
0.19/0.31 c detect special group actions
0.19/0.31 c probe for Johnson action (limit=64)
0.19/0.31 c probe for row-column symmetry (limit=64, splits=16.78M)
0.19/0.32 c probe for row symmetry (limit=64, splits=16.78M)
0.19/0.32 c found row 25x2, generating row predicate
0.29/0.32 c found row 25x2, generating row predicate
0.29/0.33 c (19.68ms)
0.29/0.33 c
0.29/0.33 c detect symmetries on remainder
0.29/0.33 c [graph: #vertices 228483 #edges 724400]
0.29/0.33 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.38/0.43 c [group: #symmetries 7.15*10^779 #generators 1177] (105.56ms)
0.38/0.43 c
0.38/0.43 c optimize generators (opt_passes=64, conjugate_limit=256)
0.38/0.43 c ran it=0, +gens=16
0.76/0.87 c con best_support=4, best_gens=1177, +gens=134
0.76/0.87 c (440.59ms)
0.76/0.87 c
0.76/0.87 c finalize break order and special generators
0.76/0.87 c
0.76/0.87 c add generic predicates (break_depth=20)
0.76/0.87 c added predicates for 1327 generators (0.40ms)
0.76/0.88 c
0.76/0.88 c generation finished
0.76/0.88 c [sbp: #constraints 1429 #add_vars 18]
0.76/0.89 c
0.76/0.89 c write result to 'HOME/instance-4504577-1751443245.opb.pre'
0.86/0.90 c wrote 3.04MB (14.93ms)
0.86/0.90 c ------------------------------------------------------------------
0.86/0.90 c 440.59ms 49.99% optimize_gens
0.86/0.90 c 158.62ms 18.00% approx_orbits
0.86/0.90 c 122.92ms 13.95% parse
0.86/0.90 c 105.56ms 11.98% detect_generic
0.86/0.90 c 19.68ms 2.23% detect_special
0.86/0.90 c 15.81ms 1.79% other
0.86/0.90 c 14.93ms 1.69% output
0.86/0.90 c 2.78ms 0.32% finalize_order
0.86/0.90 c 0.40ms 0.04% break_generic
0.86/0.90 c ───────────────────────────────────────────────
0.86/0.90 c 881.29ms 100% total
0.86/0.90 c ------------------------------------------------------------------
0.86/0.94 c RoundingSat 2
0.86/0.94 c branch pb25
0.86/0.94 c commit 63f22ad
1.43/1.56 c #variables 31368 #constraints 75665
1.43/1.56 c objective is ce32
1.43/1.56 c initial watched CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
1.43/1.56 c initial counting CF 32, 64, 128, Arb: 14726 , 0 , 0 , 0
1.43/1.56 c bounds - >= -25 @ 0.482444
2.23/2.33 c bounds 439038960 >= -25 @ 1.21478
2.23/2.34 c bounds 437553710 >= -25 @ 1.22965
2.23/2.37 c bounds 420857646 >= -25 @ 1.25297
2.33/2.40 c bounds 419014084 >= -25 @ 1.28469
2.33/2.41 c bounds 207205301 >= -25 @ 1.29589
2.33/2.49 c bounds 123644402 >= -25 @ 1.36993
2.43/2.53 c bounds 109367761 >= -25 @ 1.40413
2.43/2.55 c bounds 109348120 >= -25 @ 1.42623
2.43/2.57 c bounds 107743874 >= -25 @ 1.44437
2.43/2.59 c bounds 107379314 >= -25 @ 1.45927
2.53/2.66 c bounds 107091187 >= -25 @ 1.53411
2.63/2.70 c bounds 107020540 >= -25 @ 1.57079
2.63/2.72 c bounds 106998163 >= -25 @ 1.58465
2.63/2.75 c bounds 106995285 >= -25 @ 1.61959
2.73/2.82 c bounds 106946436 >= -25 @ 1.68452
2.73/2.84 c bounds 106898613 >= -25 @ 1.70501
2.83/2.96 c bounds 106884303 >= -25 @ 1.81639
2.94/3.03 c bounds 88746849 >= -25 @ 1.88004
2.94/3.07 c bounds 86903287 >= -25 @ 1.9215
2.94/3.10 c bounds 86887401 >= -25 @ 1.95559
3.04/3.12 c bounds 86876615 >= -25 @ 1.96861
3.13/3.23 c bounds 86862160 >= -25 @ 2.0744
3.13/3.25 c bounds 86859427 >= -25 @ 2.08859
3.32/3.46 c bounds 78499721 >= -25 @ 2.29185
3.43/3.50 c bounds 78441189 >= -25 @ 2.33695
3.43/3.52 c bounds 77148641 >= -25 @ 2.35657
3.43/3.55 c bounds 77075486 >= -25 @ 2.37704
3.53/3.60 c bounds 76994728 >= -25 @ 2.43393
3.53/3.64 c bounds 76957691 >= -25 @ 2.47002
3.62/3.76 c bounds 76756171 >= -25 @ 2.58823
3.62/3.79 c bounds 76683016 >= -25 @ 2.61366
3.73/3.81 c bounds 76667017 >= -25 @ 2.63555
3.82/3.98 c bounds 76647376 >= -25 @ 2.79342
4.32/4.46 c bounds 62986557 >= -25 @ 3.25413
4.42/4.51 c bounds 62957820 >= -25 @ 3.30222
4.42/4.52 c bounds 62938029 >= -25 @ 3.31712
4.42/4.60 c bounds 62921591 >= -25 @ 3.38786
4.53/4.63 c bounds 62900086 >= -25 @ 3.41864
4.53/4.65 c bounds 62886835 >= -25 @ 3.44301
4.72/4.83 c bounds 62875267 >= -25 @ 3.61732
4.72/4.89 c bounds 62804448 >= -25 @ 3.67417
4.83/4.93 c bounds 62800358 >= -25 @ 3.7098
4.83/4.97 c bounds 62790784 >= -25 @ 3.74656
4.83/5.00 c bounds 62786694 >= -25 @ 3.78143
5.42/5.53 c bounds 62719614 >= -25 @ 4.28782
5.42/5.59 c bounds 62714463 >= -25 @ 4.34988
5.52/5.61 c bounds 51340713 >= -25 @ 4.37113
5.52/5.64 c bounds 49710059 >= -25 @ 4.39721
5.62/5.71 c bounds 37554531 >= -25 @ 4.46875
5.72/5.80 c bounds 19557451 >= -25 @ 4.54971
5.82/5.90 c bounds 19549783 >= -25 @ 4.65085
5.93/6.10 c bounds 19531297 >= -25 @ 4.84755
6.03/6.14 c bounds 19526409 >= -25 @ 4.89088
6.12/6.28 c bounds 19508122 >= -25 @ 5.01704
6.22/6.37 c bounds 19457756 >= -25 @ 5.10791
6.22/6.39 c bounds 19453666 >= -25 @ 5.13131
6.31/6.48 c bounds 19423042 >= -25 @ 5.21533
17.26/17.98 c #Conflicts: 1000 | #Constraints: 76724
17.26/17.98 c #Conflicts: 2000 | #Constraints: 77733
17.26/17.98 c INPROCESSING
17.26/17.98 c GARBAGE COLLECT
17.26/17.98 c bounds 19403585 >= -25 @ 15.8805
18.96/19.62 c bounds 19403083 >= -25 @ 17.489
19.16/19.89 c bounds 19402304 >= -25 @ 17.7514
20.37/21.10 c bounds 19326327 >= -25 @ 18.9415
20.47/21.13 c bounds 19293631 >= -25 @ 18.9719
21.16/21.82 c bounds 19292660 >= -25 @ 19.6533
23.65/24.33 c bounds 19274451 >= -25 @ 22.1115
25.15/25.85 c bounds 9866376 >= -25 @ 23.608
25.15/25.87 c bounds 9843014 >= -25 @ 23.6302
25.24/25.97 c bounds 9830684 >= -25 @ 23.7219
25.46/26.11 c bounds 9756472 >= -25 @ 23.8588
32.02/32.74 c #Conflicts: 3000 | #Constraints: 77190
32.02/32.74 c #Conflicts: 4000 | #Constraints: 78190
32.02/32.74 c INPROCESSING
32.02/32.74 c GARBAGE COLLECT
32.02/32.74 c rational objective 2.18661e+06
32.73/33.44 c bounds 9752697 >= -25 @ 30.9988
32.82/33.51 c bounds 9709839 >= -25 @ 31.0725
33.22/33.92 c bounds 9699566 >= -25 @ 31.4724
35.62/36.32 c bounds 7711132 >= -25 @ 33.8161
35.72/36.44 c bounds 7664765 >= -25 @ 33.9323
35.72/36.48 c bounds 7633283 >= -25 @ 33.9648
35.81/36.50 c bounds 7622913 >= -25 @ 33.9884
36.01/36.71 c bounds 7297905 >= -25 @ 34.1993
36.21/36.94 c bounds 7285222 >= -25 @ 34.4178
37.02/37.74 c bounds 7271429 >= -25 @ 35.2078
39.21/39.90 c #Conflicts: 5000 | #Constraints: 77269
39.21/39.90 c bounds 7171384 >= -25 @ 37.3025
39.21/39.94 c bounds 7132645 >= -25 @ 37.3398
39.21/40.00 c bounds 7093956 >= -25 @ 37.4021
39.32/40.08 c bounds 7066963 >= -25 @ 37.4763
39.32/40.10 c bounds 7028224 >= -25 @ 37.4962
39.70/40.45 c bounds 7026272 >= -25 @ 37.8389
39.70/40.47 c bounds 7003779 >= -25 @ 37.8571
39.91/40.60 c bounds 6944039 >= -25 @ 37.985
39.91/40.63 c bounds 6933002 >= -25 @ 38.017
40.10/40.84 c bounds 6825254 >= -25 @ 38.2213
40.20/41.01 c bounds 6796325 >= -25 @ 38.3812
47.09/47.88 c #Conflicts: 6000 | #Constraints: 78289
47.09/47.88 c bounds 6795546 >= -25 @ 45.0974
47.19/47.96 c bounds 6794589 >= -25 @ 45.176
47.30/48.02 c bounds 6750939 >= -25 @ 45.2375
47.49/48.26 c bounds 6719840 >= -25 @ 45.46
47.69/48.44 c bounds 6713853 >= -25 @ 45.6406
47.78/48.55 c bounds 6686484 >= -25 @ 45.7494
47.78/48.58 c bounds 6646307 >= -25 @ 45.7799
48.29/49.06 c bounds 6646181 >= -25 @ 46.2429
48.79/49.57 c bounds 6582761 >= -25 @ 46.738
48.89/49.68 c bounds 6565266 >= -25 @ 46.8497
63.95/64.71 c INPROCESSING
63.95/64.71 c GARBAGE COLLECT
63.95/64.71 c #Conflicts: 7000 | #Constraints: 77128
63.95/64.71 c #Conflicts: 8000 | #Constraints: 78131
63.95/64.71 c bounds 6345307 >= -25 @ 61.5531
64.05/64.80 c bounds 6326837 >= -25 @ 61.64
64.05/64.87 c bounds 5970079 >= -25 @ 61.7063
64.14/64.95 c bounds 5936822 >= -25 @ 61.7877
64.74/65.50 c bounds 5914884 >= -25 @ 62.3215
64.74/65.54 c bounds 5907912 >= -25 @ 62.3514
65.74/66.51 c bounds 5883608 >= -25 @ 63.3148
65.94/66.73 c bounds 5635004 >= -25 @ 63.5237
65.94/66.76 c bounds 5614383 >= -25 @ 63.5578
65.94/66.79 c bounds 5589084 >= -25 @ 63.5802
66.36/67.16 c bounds 5180396 >= -25 @ 63.9451
69.14/69.97 c bounds 5178288 >= -25 @ 66.6767
77.51/78.33 c #Conflicts: 9000 | #Constraints: 79143
77.51/78.33 c INPROCESSING
77.51/78.33 c GARBAGE COLLECT
77.51/78.33 c #Conflicts: 10000 | #Constraints: 77838
77.51/78.33 c bounds 5139925 >= -25 @ 74.8457
88.49/89.33 c #Conflicts: 11000 | #Constraints: 78839
88.49/89.33 c bounds 4367683 >= -25 @ 85.5732
88.49/89.38 c bounds 4339278 >= -25 @ 85.6253
88.59/89.41 c bounds 4303657 >= -25 @ 85.649
88.78/89.63 c bounds 4286007 >= -25 @ 85.8681
89.78/90.63 c bounds 4276098 >= -25 @ 86.8395
89.98/90.84 c bounds 4175874 >= -25 @ 87.0493
90.08/90.98 c bounds 4174009 >= -25 @ 87.184
90.48/91.35 c bounds 4162409 >= -25 @ 87.548
90.69/91.59 c bounds 4141019 >= -25 @ 87.7762
91.97/92.84 c bounds 4128331 >= -25 @ 88.9983
94.37/95.20 c #Conflicts: 12000 | #Constraints: 79853
94.37/95.20 c INPROCESSING
94.37/95.20 c GARBAGE COLLECT
94.37/95.20 c rational objective 2.22249e+06
95.18/96.04 c bounds 4110122 >= -25 @ 92.1548
95.37/96.21 c bounds 4095349 >= -25 @ 92.3254
98.86/99.75 c bounds 4093688 >= -25 @ 95.782
99.06/100.00 c bounds 4048281 >= -25 @ 96.027
99.86/100.71 c bounds 4018563 >= -25 @ 96.7178
100.27/101.17 c bounds 4009918 >= -25 @ 97.1655
126.47/127.42 c #Conflicts: 13000 | #Constraints: 72665
126.47/127.42 c #Conflicts: 14000 | #Constraints: 73673
126.47/127.42 c #Conflicts: 15000 | #Constraints: 74681
126.47/127.42 c INPROCESSING
126.47/127.42 c GARBAGE COLLECT
126.47/127.42 c rational objective 2.2281e+06
183.72/184.83 c #Conflicts: 16000 | #Constraints: 72913
183.72/184.83 c #Conflicts: 17000 | #Constraints: 73916
183.72/184.83 c #Conflicts: 18000 | #Constraints: 74919
183.72/184.83 c INPROCESSING
183.72/184.83 c GARBAGE COLLECT
183.72/184.83 c #Conflicts: 19000 | #Constraints: 72960
183.72/184.83 c #Conflicts: 20000 | #Constraints: 73966
183.72/184.83 c #Conflicts: 21000 | #Constraints: 74967
183.72/184.83 c INPROCESSING
183.72/184.83 c GARBAGE COLLECT
183.72/184.83 c bounds 4007655 >= -25 @ 178.971
190.60/191.72 c #Conflicts: 22000 | #Constraints: 72724
190.60/191.72 c bounds 4006912 >= -25 @ 185.682
194.00/195.13 c bounds 3975019 >= -25 @ 189.015
195.08/196.24 c bounds 3974140 >= -25 @ 190.099
217.53/218.70 c #Conflicts: 23000 | #Constraints: 73735
217.53/218.70 c #Conflicts: 24000 | #Constraints: 74740
217.53/218.70 c #Conflicts: 25000 | #Constraints: 75747
217.53/218.70 c INPROCESSING
217.53/218.70 c GARBAGE COLLECT
217.53/218.70 c rational objective 2.25014e+06
220.12/221.38 c bounds 3957698 >= -25 @ 214.747
262.91/264.20 c #Conflicts: 26000 | #Constraints: 73355
262.91/264.20 c #Conflicts: 27000 | #Constraints: 74363
262.91/264.20 c #Conflicts: 28000 | #Constraints: 75370
262.91/264.20 c #Conflicts: 29000 | #Constraints: 76378
262.91/264.20 c INPROCESSING
262.91/264.20 c GARBAGE COLLECT
262.91/264.20 c rational objective 2.26949e+06
302.50/303.98 c #Conflicts: 30000 | #Constraints: 73773
302.50/303.98 c #Conflicts: 31000 | #Constraints: 74778
302.50/303.98 c #Conflicts: 32000 | #Constraints: 75780
302.50/303.98 c #Conflicts: 33000 | #Constraints: 76785
302.50/303.98 c INPROCESSING
302.50/303.98 c GARBAGE COLLECT
302.50/303.98 c rational objective 2.2887e+06
346.59/348.16 c #Conflicts: 34000 | #Constraints: 73962
346.59/348.16 c #Conflicts: 35000 | #Constraints: 74970
346.59/348.16 c #Conflicts: 36000 | #Constraints: 75971
346.59/348.16 c #Conflicts: 37000 | #Constraints: 76975
346.59/348.16 c INPROCESSING
346.59/348.16 c GARBAGE COLLECT
346.59/348.16 c rational objective 2.29163e+06
386.38/388.02 c #Conflicts: 38000 | #Constraints: 73968
386.38/388.02 c #Conflicts: 39000 | #Constraints: 74970
386.38/388.02 c #Conflicts: 40000 | #Constraints: 75970
386.38/388.02 c #Conflicts: 41000 | #Constraints: 76970
386.38/388.02 c INPROCESSING
386.38/388.02 c GARBAGE COLLECT
386.38/388.02 c rational objective 2.29975e+06
429.46/431.24 c #Conflicts: 42000 | #Constraints: 73769
429.46/431.24 c #Conflicts: 43000 | #Constraints: 74769
429.46/431.24 c #Conflicts: 44000 | #Constraints: 75769
429.46/431.24 c #Conflicts: 45000 | #Constraints: 76769
429.46/431.24 c #Conflicts: 46000 | #Constraints: 77769
429.46/431.24 c INPROCESSING
429.46/431.24 c GARBAGE COLLECT
429.46/431.24 c rational objective 2.30141e+06
535.09/537.12 c #Conflicts: 47000 | #Constraints: 74330
535.09/537.12 c #Conflicts: 48000 | #Constraints: 75330
535.09/537.12 c #Conflicts: 49000 | #Constraints: 76330
535.09/537.12 c #Conflicts: 50000 | #Constraints: 77351
535.09/537.12 c #Conflicts: 51000 | #Constraints: 78858
535.09/537.12 c INPROCESSING
535.09/537.12 c GARBAGE COLLECT
535.09/537.12 c #Conflicts: 52000 | #Constraints: 75039
535.09/537.12 c #Conflicts: 53000 | #Constraints: 76039
535.09/537.12 c #Conflicts: 54000 | #Constraints: 77039
535.09/537.12 c #Conflicts: 55000 | #Constraints: 78042
535.09/537.12 c #Conflicts: 56000 | #Constraints: 79045
535.09/537.12 c INPROCESSING
535.09/537.12 c GARBAGE COLLECT
535.09/537.12 c rational objective 2.31295e+06
587.24/589.47 c #Conflicts: 57000 | #Constraints: 75104
587.24/589.47 c #Conflicts: 58000 | #Constraints: 76107
587.24/589.47 c #Conflicts: 59000 | #Constraints: 77108
587.24/589.47 c #Conflicts: 60000 | #Constraints: 78109
587.24/589.47 c #Conflicts: 61000 | #Constraints: 79112
587.24/589.47 c INPROCESSING
587.24/589.47 c GARBAGE COLLECT
587.24/589.47 c rational objective 2.31551e+06
665.64/668.01 c #Conflicts: 62000 | #Constraints: 74998
665.64/668.01 c #Conflicts: 63000 | #Constraints: 76009
665.64/668.01 c #Conflicts: 64000 | #Constraints: 77024
665.64/668.01 c #Conflicts: 65000 | #Constraints: 78034
665.64/668.01 c #Conflicts: 66000 | #Constraints: 79041
665.64/668.01 c INPROCESSING
665.64/668.01 c GARBAGE COLLECT
665.64/668.01 c rational objective 2.32041e+06
730.75/733.32 c #Conflicts: 67000 | #Constraints: 74815
730.75/733.32 c #Conflicts: 68000 | #Constraints: 75819
730.75/733.32 c #Conflicts: 69000 | #Constraints: 76819
730.75/733.32 c #Conflicts: 70000 | #Constraints: 77819
730.75/733.32 c #Conflicts: 71000 | #Constraints: 78819
730.75/733.32 c #Conflicts: 72000 | #Constraints: 79819
730.75/733.32 c INPROCESSING
730.75/733.32 c GARBAGE COLLECT
730.75/733.32 c rational objective 2.32049e+06
807.46/810.26 c #Conflicts: 73000 | #Constraints: 75308
807.46/810.26 c #Conflicts: 74000 | #Constraints: 76308
807.46/810.26 c #Conflicts: 75000 | #Constraints: 77308
807.46/810.26 c #Conflicts: 76000 | #Constraints: 78316
807.46/810.26 c #Conflicts: 77000 | #Constraints: 79321
807.46/810.26 c #Conflicts: 78000 | #Constraints: 80327
807.46/810.26 c INPROCESSING
807.46/810.26 c GARBAGE COLLECT
807.46/810.26 c rational objective 2.36789e+06
874.39/877.36 c #Conflicts: 79000 | #Constraints: 75786
874.39/877.36 c #Conflicts: 80000 | #Constraints: 76788
874.39/877.36 c #Conflicts: 81000 | #Constraints: 77797
874.39/877.36 c #Conflicts: 82000 | #Constraints: 78806
874.39/877.36 c #Conflicts: 83000 | #Constraints: 79815
874.39/877.36 c #Conflicts: 84000 | #Constraints: 80819
874.39/877.36 c INPROCESSING
874.39/877.36 c GARBAGE COLLECT
874.39/877.36 c rational objective 2.37281e+06
941.71/944.83 c #Conflicts: 85000 | #Constraints: 75973
941.71/944.83 c #Conflicts: 86000 | #Constraints: 76980
941.71/944.83 c #Conflicts: 87000 | #Constraints: 77986
941.71/944.83 c #Conflicts: 88000 | #Constraints: 78990
941.71/944.83 c #Conflicts: 89000 | #Constraints: 80000
941.71/944.83 c #Conflicts: 90000 | #Constraints: 81001
941.71/944.83 c INPROCESSING
941.71/944.83 c GARBAGE COLLECT
941.71/944.83 c rational objective 2.38794e+06
1020.36/1023.74 c #Conflicts: 91000 | #Constraints: 75972
1020.36/1023.74 c #Conflicts: 92000 | #Constraints: 76976
1020.36/1023.74 c #Conflicts: 93000 | #Constraints: 77980
1020.36/1023.74 c #Conflicts: 94000 | #Constraints: 78986
1020.36/1023.74 c #Conflicts: 95000 | #Constraints: 79990
1020.36/1023.74 c #Conflicts: 96000 | #Constraints: 80999
1020.36/1023.74 c INPROCESSING
1020.36/1023.74 c GARBAGE COLLECT
1020.36/1023.74 c rational objective 2.45491e+06
1094.84/1098.46 c #Conflicts: 97000 | #Constraints: 75787
1094.84/1098.46 c #Conflicts: 98000 | #Constraints: 76789
1094.84/1098.46 c #Conflicts: 99000 | #Constraints: 77793
1094.84/1098.46 c #Conflicts: 100000 | #Constraints: 78800
1094.84/1098.46 c #Conflicts: 101000 | #Constraints: 79803
1094.84/1098.46 c #Conflicts: 102000 | #Constraints: 80809
1094.84/1098.46 c #Conflicts: 103000 | #Constraints: 81809
1094.84/1098.46 c INPROCESSING
1094.84/1098.46 c GARBAGE COLLECT
1094.84/1098.46 c rational objective 2.45757e+06
1181.28/1185.17 c #Conflicts: 104000 | #Constraints: 76370
1181.28/1185.17 c #Conflicts: 105000 | #Constraints: 77370
1181.28/1185.17 c #Conflicts: 106000 | #Constraints: 78372
1181.28/1185.17 c #Conflicts: 107000 | #Constraints: 79380
1181.28/1185.17 c #Conflicts: 108000 | #Constraints: 80382
1181.28/1185.17 c #Conflicts: 109000 | #Constraints: 81387
1181.28/1185.17 c #Conflicts: 110000 | #Constraints: 82396
1181.28/1185.17 c INPROCESSING
1181.28/1185.17 c GARBAGE COLLECT
1181.28/1185.17 c rational objective 2.49166e+06
1253.54/1257.62 c #Conflicts: 111000 | #Constraints: 76814
1253.54/1257.62 c #Conflicts: 112000 | #Constraints: 77816
1253.54/1257.62 c #Conflicts: 113000 | #Constraints: 78816
1253.54/1257.62 c #Conflicts: 114000 | #Constraints: 79816
1253.54/1257.62 c #Conflicts: 115000 | #Constraints: 80816
1253.54/1257.62 c #Conflicts: 116000 | #Constraints: 81820
1253.54/1257.62 c #Conflicts: 117000 | #Constraints: 82822
1253.54/1257.62 c INPROCESSING
1253.54/1257.62 c GARBAGE COLLECT
1253.54/1257.62 c rational objective 2.53512e+06
1342.96/1347.36 c #Conflicts: 118000 | #Constraints: 76943
1342.96/1347.36 c #Conflicts: 119000 | #Constraints: 77949
1342.96/1347.36 c #Conflicts: 120000 | #Constraints: 78952
1342.96/1347.36 c #Conflicts: 121000 | #Constraints: 79957
1342.96/1347.36 c #Conflicts: 122000 | #Constraints: 80963
1342.96/1347.36 c #Conflicts: 123000 | #Constraints: 81969
1342.96/1347.36 c #Conflicts: 124000 | #Constraints: 82976
1342.96/1347.36 c INPROCESSING
1342.96/1347.36 c GARBAGE COLLECT
1342.96/1347.36 c rational objective 2.57539e+06
1529.69/1534.64 c #Conflicts: 125000 | #Constraints: 76993
1529.69/1534.64 c #Conflicts: 126000 | #Constraints: 77995
1529.69/1534.64 c #Conflicts: 127000 | #Constraints: 79000
1529.69/1534.64 c #Conflicts: 128000 | #Constraints: 80009
1529.69/1534.64 c #Conflicts: 129000 | #Constraints: 81015
1529.69/1534.64 c #Conflicts: 130000 | #Constraints: 82025
1529.69/1534.64 c #Conflicts: 131000 | #Constraints: 83309
1529.69/1534.64 c INPROCESSING
1529.69/1534.64 c GARBAGE COLLECT
1529.69/1534.64 c #Conflicts: 132000 | #Constraints: 77036
1529.69/1534.64 c #Conflicts: 133000 | #Constraints: 78036
1529.69/1534.64 c #Conflicts: 134000 | #Constraints: 79036
1529.69/1534.64 c #Conflicts: 135000 | #Constraints: 80036
1529.69/1534.64 c #Conflicts: 136000 | #Constraints: 81036
1529.69/1534.64 c #Conflicts: 137000 | #Constraints: 82039
1529.69/1534.64 c #Conflicts: 138000 | #Constraints: 83046
1529.69/1534.64 c #Conflicts: 139000 | #Constraints: 84052
1529.69/1534.64 c INPROCESSING
1529.69/1534.64 c GARBAGE COLLECT
1529.69/1534.64 c rational objective 2.57612e+06
1619.63/1624.84 c #Conflicts: 140000 | #Constraints: 77481
1619.63/1624.84 c #Conflicts: 141000 | #Constraints: 78491
1619.63/1624.84 c #Conflicts: 142000 | #Constraints: 79496
1619.63/1624.84 c #Conflicts: 143000 | #Constraints: 80503
1619.63/1624.84 c #Conflicts: 144000 | #Constraints: 81507
1619.63/1624.84 c #Conflicts: 145000 | #Constraints: 82514
1619.63/1624.84 c #Conflicts: 146000 | #Constraints: 83524
1619.63/1624.84 c #Conflicts: 147000 | #Constraints: 84528
1619.63/1624.84 c INPROCESSING
1619.63/1624.84 c GARBAGE COLLECT
1619.63/1624.84 c rational objective 2.57922e+06
1727.10/1732.62 c #Conflicts: 148000 | #Constraints: 77863
1727.10/1732.62 c #Conflicts: 149000 | #Constraints: 78864
1727.10/1732.62 c #Conflicts: 150000 | #Constraints: 79868
1727.10/1732.62 c #Conflicts: 151000 | #Constraints: 80876
1727.10/1732.62 c #Conflicts: 152000 | #Constraints: 81884
1727.10/1732.62 c #Conflicts: 153000 | #Constraints: 82887
1727.10/1732.62 c #Conflicts: 154000 | #Constraints: 83898
1727.10/1732.62 c #Conflicts: 155000 | #Constraints: 84909
1727.10/1732.62 c INPROCESSING
1727.10/1732.62 c GARBAGE COLLECT
1727.10/1732.62 c rational objective 2.57929e+06
1812.74/1818.59 c #Conflicts: 156000 | #Constraints: 78074
1812.74/1818.59 c #Conflicts: 157000 | #Constraints: 79074
1812.74/1818.59 c #Conflicts: 158000 | #Constraints: 80074
1812.74/1818.59 c #Conflicts: 159000 | #Constraints: 81075
1812.74/1818.59 c #Conflicts: 160000 | #Constraints: 82080
1812.74/1818.59 c #Conflicts: 161000 | #Constraints: 83082
1812.74/1818.59 c #Conflicts: 162000 | #Constraints: 84091
1812.74/1818.59 c #Conflicts: 163000 | #Constraints: 85098
1812.74/1818.59 c INPROCESSING
1812.74/1818.59 c GARBAGE COLLECT
1812.74/1818.59 c rational objective 2.57942e+06
2011.84/2018.29 c #Conflicts: 164000 | #Constraints: 76177
2011.84/2018.29 c #Conflicts: 165000 | #Constraints: 77186
2011.84/2018.29 c #Conflicts: 166000 | #Constraints: 78194
2011.84/2018.29 c #Conflicts: 167000 | #Constraints: 79201
2011.84/2018.29 c #Conflicts: 168000 | #Constraints: 80202
2011.84/2018.29 c #Conflicts: 169000 | #Constraints: 81210
2011.84/2018.29 c #Conflicts: 170000 | #Constraints: 82210
2011.84/2018.29 c #Conflicts: 171000 | #Constraints: 83210
2011.84/2018.29 c INPROCESSING
2011.84/2018.29 c GARBAGE COLLECT
2011.84/2018.29 c #Conflicts: 172000 | #Constraints: 75995
2011.84/2018.29 c #Conflicts: 173000 | #Constraints: 77006
2011.84/2018.29 c #Conflicts: 174000 | #Constraints: 78019
2011.84/2018.29 c #Conflicts: 175000 | #Constraints: 79030
2011.84/2018.29 c #Conflicts: 176000 | #Constraints: 80038
2011.84/2018.29 c #Conflicts: 177000 | #Constraints: 81047
2011.84/2018.29 c #Conflicts: 178000 | #Constraints: 82052
2011.84/2018.29 c #Conflicts: 179000 | #Constraints: 83058
2011.84/2018.29 c #Conflicts: 180000 | #Constraints: 84067
2011.84/2018.29 c INPROCESSING
2011.84/2018.29 c GARBAGE COLLECT
2011.84/2018.29 c rational objective 2.591e+06
2114.83/2121.58 c #Conflicts: 181000 | #Constraints: 76615
2114.83/2121.58 c #Conflicts: 182000 | #Constraints: 77622
2114.83/2121.58 c #Conflicts: 183000 | #Constraints: 78628
2114.83/2121.58 c #Conflicts: 184000 | #Constraints: 79637
2114.83/2121.58 c #Conflicts: 185000 | #Constraints: 80641
2114.83/2121.58 c #Conflicts: 186000 | #Constraints: 81646
2114.83/2121.58 c #Conflicts: 187000 | #Constraints: 82653
2114.83/2121.58 c #Conflicts: 188000 | #Constraints: 83661
2114.83/2121.58 c #Conflicts: 189000 | #Constraints: 84667
2114.83/2121.58 c INPROCESSING
2114.83/2121.58 c GARBAGE COLLECT
2114.83/2121.58 c rational objective 2.59572e+06
2226.40/2233.45 c #Conflicts: 190000 | #Constraints: 77041
2226.40/2233.45 c #Conflicts: 191000 | #Constraints: 78052
2226.40/2233.45 c #Conflicts: 192000 | #Constraints: 79060
2226.40/2233.45 c #Conflicts: 193000 | #Constraints: 80072
2226.40/2233.45 c #Conflicts: 194000 | #Constraints: 81084
2226.40/2233.45 c #Conflicts: 195000 | #Constraints: 82091
2226.40/2233.45 c #Conflicts: 196000 | #Constraints: 83104
2226.40/2233.45 c #Conflicts: 197000 | #Constraints: 84110
2226.40/2233.45 c #Conflicts: 198000 | #Constraints: 85122
2226.40/2233.45 c INPROCESSING
2226.40/2233.45 c GARBAGE COLLECT
2226.40/2233.45 c rational objective 2.59633e+06
2343.23/2350.67 c #Conflicts: 199000 | #Constraints: 77204
2343.23/2350.67 c #Conflicts: 200000 | #Constraints: 78210
2343.23/2350.67 c #Conflicts: 201000 | #Constraints: 79216
2343.23/2350.67 c #Conflicts: 202000 | #Constraints: 80225
2343.23/2350.67 c #Conflicts: 203000 | #Constraints: 81231
2343.23/2350.67 c #Conflicts: 204000 | #Constraints: 82241
2343.23/2350.67 c #Conflicts: 205000 | #Constraints: 83250
2343.23/2350.67 c #Conflicts: 206000 | #Constraints: 84260
2343.23/2350.67 c #Conflicts: 207000 | #Constraints: 85268
2343.23/2350.67 c INPROCESSING
2343.23/2350.67 c GARBAGE COLLECT
2343.23/2350.67 c rational objective 2.59708e+06
2486.58/2494.42 c #Conflicts: 208000 | #Constraints: 77229
2486.58/2494.42 c #Conflicts: 209000 | #Constraints: 78238
2486.58/2494.42 c #Conflicts: 210000 | #Constraints: 79244
2486.58/2494.42 c #Conflicts: 211000 | #Constraints: 80249
2486.58/2494.42 c #Conflicts: 212000 | #Constraints: 81255
2486.58/2494.42 c #Conflicts: 213000 | #Constraints: 82262
2486.58/2494.42 c #Conflicts: 214000 | #Constraints: 83271
2486.58/2494.42 c #Conflicts: 215000 | #Constraints: 84276
2486.58/2494.42 c #Conflicts: 216000 | #Constraints: 85285
2486.58/2494.42 c INPROCESSING
2486.58/2494.42 c GARBAGE COLLECT
2486.58/2494.42 c rational objective 2.59708e+06
2609.29/2617.51 c #Conflicts: 217000 | #Constraints: 77049
2609.29/2617.51 c #Conflicts: 218000 | #Constraints: 78053
2609.29/2617.51 c #Conflicts: 219000 | #Constraints: 79056
2609.29/2617.51 c #Conflicts: 220000 | #Constraints: 80063
2609.29/2617.51 c #Conflicts: 221000 | #Constraints: 81070
2609.29/2617.51 c #Conflicts: 222000 | #Constraints: 82075
2609.29/2617.51 c #Conflicts: 223000 | #Constraints: 83079
2609.29/2617.51 c #Conflicts: 224000 | #Constraints: 84083
2609.29/2617.51 c #Conflicts: 225000 | #Constraints: 85091
2609.29/2617.51 c #Conflicts: 226000 | #Constraints: 86094
2609.29/2617.51 c INPROCESSING
2609.29/2617.51 c GARBAGE COLLECT
2609.29/2617.51 c rational objective 2.60796e+06
2724.33/2732.90 c #Conflicts: 227000 | #Constraints: 77618
2724.33/2732.90 c #Conflicts: 228000 | #Constraints: 78624
2724.33/2732.90 c #Conflicts: 229000 | #Constraints: 79629
2724.33/2732.90 c #Conflicts: 230000 | #Constraints: 80632
2724.33/2732.90 c #Conflicts: 231000 | #Constraints: 81639
2724.33/2732.90 c #Conflicts: 232000 | #Constraints: 82647
2724.33/2732.90 c #Conflicts: 233000 | #Constraints: 83652
2724.33/2732.90 c #Conflicts: 234000 | #Constraints: 84662
2724.33/2732.90 c #Conflicts: 235000 | #Constraints: 85667
2724.33/2732.90 c #Conflicts: 236000 | #Constraints: 86672
2724.33/2732.90 c INPROCESSING
2724.33/2732.90 c GARBAGE COLLECT
2724.33/2732.90 c rational objective 2.61182e+06
2869.39/2878.42 c #Conflicts: 237000 | #Constraints: 78064
2869.39/2878.42 c #Conflicts: 238000 | #Constraints: 79065
2869.39/2878.42 c #Conflicts: 239000 | #Constraints: 80071
2869.39/2878.42 c #Conflicts: 240000 | #Constraints: 81082
2869.39/2878.42 c #Conflicts: 241000 | #Constraints: 82091
2869.39/2878.42 c #Conflicts: 242000 | #Constraints: 83101
2869.39/2878.42 c #Conflicts: 243000 | #Constraints: 84109
2869.39/2878.42 c #Conflicts: 244000 | #Constraints: 85115
2869.39/2878.42 c #Conflicts: 245000 | #Constraints: 86120
2869.39/2878.42 c #Conflicts: 246000 | #Constraints: 87130
2869.39/2878.42 c INPROCESSING
2869.39/2878.42 c GARBAGE COLLECT
2869.39/2878.42 c rational objective 2.61221e+06
3120.33/3130.15 c #Conflicts: 247000 | #Constraints: 78297
3120.33/3130.15 c #Conflicts: 248000 | #Constraints: 79339
3120.33/3130.15 c #Conflicts: 249000 | #Constraints: 80534
3120.33/3130.15 c #Conflicts: 250000 | #Constraints: 81535
3120.33/3130.15 c #Conflicts: 251000 | #Constraints: 82539
3120.33/3130.15 c #Conflicts: 252000 | #Constraints: 83545
3120.33/3130.15 c #Conflicts: 253000 | #Constraints: 84747
3120.33/3130.15 c #Conflicts: 254000 | #Constraints: 86291
3120.33/3130.15 c #Conflicts: 255000 | #Constraints: 87388
3120.33/3130.15 c #Conflicts: 256000 | #Constraints: 88534
3120.33/3130.15 c INPROCESSING
3120.33/3130.15 c GARBAGE COLLECT
3120.33/3130.15 c #Conflicts: 257000 | #Constraints: 78878
3120.33/3130.15 c #Conflicts: 258000 | #Constraints: 79878
3120.33/3130.15 c #Conflicts: 259000 | #Constraints: 80883
3120.33/3130.15 c #Conflicts: 260000 | #Constraints: 81889
3120.33/3130.15 c #Conflicts: 261000 | #Constraints: 82894
3120.33/3130.15 c #Conflicts: 262000 | #Constraints: 83899
3120.33/3130.15 c #Conflicts: 263000 | #Constraints: 84904
3120.33/3130.15 c #Conflicts: 264000 | #Constraints: 85906
3120.33/3130.15 c #Conflicts: 265000 | #Constraints: 86909
3120.33/3130.15 c #Conflicts: 266000 | #Constraints: 87915
3120.33/3130.15 c INPROCESSING
3120.33/3130.15 c GARBAGE COLLECT
3120.33/3130.15 c rational objective 2.97692e+06
3196.00/3206.05 c #Conflicts: 267000 | #Constraints: 33290
3196.00/3206.05 c #Conflicts: 268000 | #Constraints: 34308
3196.00/3206.05 c #Conflicts: 269000 | #Constraints: 35321
3196.00/3206.05 c #Conflicts: 270000 | #Constraints: 36329
3196.00/3206.05 c #Conflicts: 271000 | #Constraints: 37336
3196.00/3206.05 c #Conflicts: 272000 | #Constraints: 38341
3196.00/3206.05 c #Conflicts: 273000 | #Constraints: 39355
3196.00/3206.05 c #Conflicts: 274000 | #Constraints: 40363
3196.00/3206.05 c #Conflicts: 275000 | #Constraints: 41369
3196.00/3206.05 c #Conflicts: 276000 | #Constraints: 42375
3196.00/3206.05 c #Conflicts: 277000 | #Constraints: 43382
3196.00/3206.05 c INPROCESSING
3196.00/3206.05 c GARBAGE COLLECT
3196.00/3206.05 c rational objective 3.07689e+06
3268.26/3278.55 c #Conflicts: 278000 | #Constraints: 34169
3268.26/3278.55 c #Conflicts: 279000 | #Constraints: 35177
3268.26/3278.55 c #Conflicts: 280000 | #Constraints: 36181
3268.26/3278.55 c #Conflicts: 281000 | #Constraints: 37186
3268.26/3278.55 c #Conflicts: 282000 | #Constraints: 38195
3268.26/3278.55 c #Conflicts: 283000 | #Constraints: 39201
3268.26/3278.55 c #Conflicts: 284000 | #Constraints: 40209
3268.26/3278.55 c #Conflicts: 285000 | #Constraints: 41218
3268.26/3278.55 c #Conflicts: 286000 | #Constraints: 42223
3268.26/3278.55 c #Conflicts: 287000 | #Constraints: 43227
3268.26/3278.55 c #Conflicts: 288000 | #Constraints: 44236
3268.26/3278.55 c INPROCESSING
3268.26/3278.55 c GARBAGE COLLECT
3268.26/3278.55 c rational objective 3.17393e+06
3337.47/3347.90 c #Conflicts: 289000 | #Constraints: 34683
3337.47/3347.90 c #Conflicts: 290000 | #Constraints: 35688
3337.47/3347.90 c #Conflicts: 291000 | #Constraints: 36692
3337.47/3347.90 c #Conflicts: 292000 | #Constraints: 37697
3337.47/3347.90 c #Conflicts: 293000 | #Constraints: 38705
3337.47/3347.90 c #Conflicts: 294000 | #Constraints: 39712
3337.47/3347.90 c #Conflicts: 295000 | #Constraints: 40718
3337.47/3347.90 c #Conflicts: 296000 | #Constraints: 41725
3337.47/3347.90 c #Conflicts: 297000 | #Constraints: 42731
3337.47/3347.90 c #Conflicts: 298000 | #Constraints: 43737
3337.47/3347.90 c #Conflicts: 299000 | #Constraints: 44738
3337.47/3347.90 c INPROCESSING
3337.47/3347.90 c GARBAGE COLLECT
3337.47/3347.90 c rational objective 3.20621e+06
0.88/3403.14 HOME/run-opt-break-log.sh: line 3: 72840 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --preprocessed-input="$1.pre" --proof-log="$2"
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62521 MiB free)
memory of node 1: 64465 MiB (63416 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504577-1751443245/watcher-4504577-1751443245 -o /tmp/evaluation-result-4504577-1751443245/solver-4504577-1751443245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751443245-72776 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4504577-1751443245.opb PROOFDIR/proof-4504577-1751443245
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=72804, runsolver pid=72801
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 1.12 1.82 2.01 5/241 72807
/proc/meminfo: memFree=128940052/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72806] ppid=72804 vsize=36340 memory=27724 CPUtime=0.08 cores=4,6
/proc/72806/stat : 72806 (pbsuma) R 72804 72804 72765 0 -1 4194304 3399 0 0 0 6 2 0 0 20 0 1 0 60003667 37212160 6931 18446744073709551615 4210688 4653049 140736357825456 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 16748544 140736357832931 140736357833266 140736357833266 140736357838831 0
/proc/72806/statm: 9085 6931 960 108 0 6493 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 40532 KiB
Current children cumulated memory: 30668 KiB
[startup+0.213582 s]*
/proc/loadavg: 1.12 1.82 2.01 5/242 72816
/proc/meminfo: memFree=128913924/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72806] ppid=72804 vsize=79176 memory=59344 CPUtime=0.19 cores=4,6
/proc/72806/stat : 72806 (pbsuma) R 72804 72804 72765 0 -1 4194304 11113 0 0 0 14 5 0 0 20 0 1 0 60003667 81076224 14836 18446744073709551615 4210688 4653049 140736357825456 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 16748544 140736357832931 140736357833266 140736357833266 140736357838831 0
/proc/72806/statm: 19794 14836 992 108 0 17202 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 83368 KiB
Current children cumulated memory: 62288 KiB
[startup+0.313921 s]*
/proc/loadavg: 1.12 1.82 2.01 5/244 72819
/proc/meminfo: memFree=128815844/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72806] ppid=72804 vsize=89900 memory=62108 CPUtime=0.29 cores=4,6
/proc/72806/stat : 72806 (pbsuma) R 72804 72804 72765 0 -1 4194304 14187 0 0 0 23 6 0 0 20 0 1 0 60003667 92057600 15527 18446744073709551615 4210688 4653049 140736357825456 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 16748544 140736357832931 140736357833266 140736357833266 140736357838831 0
/proc/72806/statm: 22475 15527 1024 108 0 19883 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94092 KiB
Current children cumulated memory: 65052 KiB
[startup+0.700404 s]
/proc/loadavg: 1.12 1.82 2.01 5/255 72839
/proc/meminfo: memFree=128689064/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72806] ppid=72804 vsize=89912 memory=70264 CPUtime=0.66 cores=4,6
/proc/72806/stat : 72806 (pbsuma) R 72804 72804 72765 0 -1 4194304 22051 0 0 0 56 10 0 0 20 0 1 0 60003667 92069888 17566 18446744073709551615 4210688 4653049 140736357825456 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 16748544 140736357832931 140736357833266 140736357833266 140736357838831 0
/proc/72806/statm: 22478 17566 1024 108 0 19886 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 94104 KiB
Current children cumulated memory: 73208 KiB
[startup+1.50042 s]
/proc/loadavg: 1.12 1.82 2.01 5/255 72840
/proc/meminfo: memFree=128282896/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=113828 memory=66272 CPUtime=0.55 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 9485 0 0 0 43 12 0 0 20 0 1 0 60003758 116559872 16568 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 28457 16568 2240 1147 0 15884 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 118020 KiB
Current children cumulated memory: 69216 KiB
[startup+3.11302 s]
/proc/loadavg: 1.12 1.82 2.01 5/255 72843
/proc/meminfo: memFree=128198052/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=208412 memory=138304 CPUtime=2.16 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 21039 0 0 0 196 20 0 0 20 0 1 0 60003758 213413888 34576 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 52103 34576 2336 1147 0 39530 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 212604 KiB
Current children cumulated memory: 141248 KiB
[startup+6.30042 s]
/proc/loadavg: 1.35 1.86 2.02 5/255 72843
/proc/meminfo: memFree=126338260/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=300008 memory=231288 CPUtime=5.34 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 39140 0 0 0 504 30 0 0 20 0 1 0 60003758 307208192 57822 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 75002 57822 2368 1147 0 62429 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 304200 KiB
Current children cumulated memory: 234232 KiB
[startup+12.7004 s]
/proc/loadavg: 1.56 1.89 2.03 4/258 72846
/proc/meminfo: memFree=125750852/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=437692 memory=346192 CPUtime=11.71 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 59848 0 0 0 1121 50 0 0 20 0 1 0 60003758 448196608 86548 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 109423 86548 2368 1147 0 96850 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 441884 KiB
Current children cumulated memory: 349136 KiB
[startup+25.5004 s]
/proc/loadavg: 2.10 2.00 2.06 5/259 72859
/proc/meminfo: memFree=123610896/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=482440 memory=397736 CPUtime=23.96 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 69700 0 0 0 2326 70 0 0 20 0 1 0 60003758 494018560 99434 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 120610 99434 2368 1147 0 108037 0
Current children cumulated CPU time: 24.84 s
Current children cumulated vsize: 486632 KiB
Current children cumulated memory: 400680 KiB
[startup+51.1142 s]
/proc/loadavg: 2.83 2.17 2.12 5/260 72860
/proc/meminfo: memFree=119897816/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=624612 memory=510824 CPUtime=49.52 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 91432 0 0 0 4826 126 0 0 20 0 1 0 60003758 639602688 127706 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 156153 127706 2368 1147 0 143580 0
Current children cumulated CPU time: 50.4 s
Current children cumulated vsize: 628804 KiB
Current children cumulated memory: 513768 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.47 2.23 5/261 72863
/proc/meminfo: memFree=113624108/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=720128 memory=599304 CPUtime=100.57 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 109999 0 0 0 9827 230 0 0 20 0 1 0 60003758 737411072 149826 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 180032 149826 2368 1147 0 167459 0
Current children cumulated CPU time: 101.45 s
Current children cumulated vsize: 724320 KiB
Current children cumulated memory: 602248 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.77 2.35 5/262 72866
/proc/meminfo: memFree=108261812/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=918528 memory=751052 CPUtime=160.4 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 138121 0 0 0 15690 350 0 0 20 0 1 0 60003758 940572672 187763 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 229632 187763 2368 1147 0 217059 0
Current children cumulated CPU time: 161.28 s
Current children cumulated vsize: 922720 KiB
Current children cumulated memory: 753996 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 3.07 2.48 5/262 72868
/proc/meminfo: memFree=101288144/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=935312 memory=772308 CPUtime=220.24 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 141430 0 0 0 21563 461 0 0 20 0 1 0 60003758 957759488 193077 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 233828 193077 2368 1147 0 221255 0
################
# More data... #
################
[pid=72840] ppid=72804 vsize=2386516 memory=2067628 CPUtime=2912.27 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 334125 0 0 0 285437 5790 0 0 20 0 1 0 60003758 2443792384 516907 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 596629 516907 2496 1147 0 584056 0
Current children cumulated CPU time: 2913.15 s
Current children cumulated vsize: 2390708 KiB
Current children cumulated memory: 2070572 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.30 4.19 5/261 73006
/proc/meminfo: memFree=1447444/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=2389140 memory=2070188 CPUtime=2972.09 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 334781 0 0 0 291312 5897 0 0 20 0 1 0 60003758 2446479360 517547 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 597285 517547 2496 1147 0 584712 0
Current children cumulated CPU time: 2972.97 s
Current children cumulated vsize: 2393332 KiB
Current children cumulated memory: 2073132 KiB
[startup+3042.3 s]
/proc/loadavg: 4.60 4.39 4.22 5/264 73015
/proc/meminfo: memFree=1552012/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=2473276 memory=2141804 CPUtime=3031.9 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 349305 0 0 0 297193 5997 0 0 20 0 1 0 60003758 2532634624 535451 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 618319 535451 2496 1147 0 605746 0
Current children cumulated CPU time: 3032.78 s
Current children cumulated vsize: 2477468 KiB
Current children cumulated memory: 2144748 KiB
[startup+3102.3 s]
/proc/loadavg: 4.74 4.48 4.27 6/263 73017
/proc/meminfo: memFree=1582720/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=2475420 memory=2146668 CPUtime=3091.72 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 350535 0 0 0 303057 6115 0 0 20 0 1 0 60003758 2534830080 536667 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 618855 536667 2496 1147 0 606282 0
Current children cumulated CPU time: 3092.6 s
Current children cumulated vsize: 2479612 KiB
Current children cumulated memory: 2149612 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.39 4.25 4/263 73019
/proc/meminfo: memFree=1616548/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=2475420 memory=2148844 CPUtime=3151.54 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 351085 0 0 0 308909 6245 0 0 20 0 1 0 60003758 2534830080 537211 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 618855 537211 2496 1147 0 606282 0
Current children cumulated CPU time: 3152.42 s
Current children cumulated vsize: 2479612 KiB
Current children cumulated memory: 2151788 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.33 4.24 5/263 73021
/proc/meminfo: memFree=1513312/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=2507568 memory=2182352 CPUtime=3211.35 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 357021 0 0 0 314756 6379 0 0 20 0 1 0 60003758 2567749632 545588 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 626892 545588 2496 1147 0 614319 0
Current children cumulated CPU time: 3212.23 s
Current children cumulated vsize: 2511760 KiB
Current children cumulated memory: 2185296 KiB
[startup+3282.3 s]
/proc/loadavg: 4.33 4.36 4.26 5/263 73023
/proc/meminfo: memFree=1475608/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=2507568 memory=2182352 CPUtime=3271.17 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 357026 0 0 0 320619 6498 0 0 20 0 1 0 60003758 2567749632 545588 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 626892 545588 2496 1147 0 614319 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 2511760 KiB
Current children cumulated memory: 2185296 KiB
[startup+3342.3 s]
/proc/loadavg: 4.27 4.35 4.26 7/263 73030
/proc/meminfo: memFree=1693016/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
[pid=72840] ppid=72804 vsize=2516528 memory=2189392 CPUtime=3331.01 cores=4,6
/proc/72840/stat : 72840 (roundingsat) R 72804 72804 72765 0 -1 4194304 358798 0 0 0 326470 6631 0 0 20 0 1 0 60003758 2576924672 547348 18446744073709551615 4227072 8923433 140725275058224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15970304 140725275060500 140725275060776 140725275060776 140725275066346 0
/proc/72840/statm: 629132 547348 2496 1147 0 616559 0
Current children cumulated CPU time: 3331.89 s
Current children cumulated vsize: 2520720 KiB
Current children cumulated memory: 2192336 KiB
[startup+3402.3 s]
/proc/loadavg: 5.00 4.51 4.32 3/261 73057
/proc/meminfo: memFree=9171340/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
heavy processes:
[startup+3403.14 s]
# the end of solver process 72804 was just reported to runsolver
# Child status: 153
# cumulated CPU time of all completed processes: user=3305.4 s, system=69.9428 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3402.41 s]
/proc/loadavg: 5.00 4.51 4.32 4/261 73057
/proc/meminfo: memFree=9161824/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3402.8 s]
/proc/loadavg: 5.00 4.51 4.32 4/261 73057
/proc/meminfo: memFree=9161824/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3403 s]*
/proc/loadavg: 5.00 4.51 4.32 5/263 73063
/proc/meminfo: memFree=9189452/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3403.11 s]
/proc/loadavg: 5.00 4.51 4.32 5/263 73063
/proc/meminfo: memFree=9189452/131382112 swapFree=33005784/33010684
[pid=72804] ppid=72801 vsize=4192 memory=2944 CPUtime=0.88 cores=4,6
/proc/72804/stat : 72804 (run-opt-break-l) S 72801 72804 72765 0 -1 4194304 238 22180 0 0 0 0 78 10 20 0 1 0 60003666 4292608 736 18446744073709551615 94065811558400 94065812452933 140728723070864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94065812691984 94065812739728 94065828003840 140728723073301 140728723073502 140728723073502 140728723079104 0
/proc/72804/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 153
Real time (s): 3403.14
CPU time (s): 3375.34
CPU user time (s): 3305.4
CPU system time (s): 69.9428
CPU usage (%): 99.1832
Max. virtual memory (cumulated for all children) (KiB): 2553704
Max. memory (cumulated for all children) (KiB): 2214352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3305.4
system time used= 69.9428
maximum resident set size= 2211408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204805952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99041
involuntary context switches= 9021
# summary of solver processes directly reported to runsolver:
# pid: 72804
# total CPU time (s): 3375.34
# total CPU user time (s): 3305.4
# total CPU system time (s): 69.9428
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1849 second user time and 35.8428 second system time
The end
Begin job on nodeC007 at 2025-07-02 10:00:45
IDJOB=4504577
IDBENCH=155664
IDSOLVER=3360
FILE ID=nodeC007/4504577-1751443245
RUNJOBID= nodeC007-1751443245-72776
SLURM_JOB_ID= 9598417
Free space on /tmp= 432000 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_4_mh.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504577-1751443245/watcher-4504577-1751443245 -o /tmp/evaluation-result-4504577-1751443245/solver-4504577-1751443245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751443245-72776 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4504577-1751443245.opb PROOFDIR/proof-4504577-1751443245
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fab5e62eb964e75ef5bb4e0d05cd3bf1
RANDOM SEED=2022989769
nodeC007 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 : 1197.216
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.68
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 : 1197.206
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.68
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.132
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.68
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 : 3700.000
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.68
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 : 1197.434
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.68
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 : 1197.212
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.68
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.173
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.68
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.031
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128975732 kB
MemAvailable: 129822756 kB
Buffers: 16 kB
Cached: 1539076 kB
SwapCached: 216 kB
Active: 232544 kB
Inactive: 1398668 kB
Active(anon): 57084 kB
Inactive(anon): 48892 kB
Active(file): 175460 kB
Inactive(file): 1349776 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 40628 kB
Writeback: 0 kB
AnonPages: 95332 kB
Mapped: 97564 kB
Shmem: 13492 kB
KReclaimable: 322828 kB
Slab: 410060 kB
SReclaimable: 322828 kB
SUnreclaim: 87232 kB
KernelStack: 3856 kB
PageTables: 2784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 358572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431468 MiB
End job on nodeC007 at 2025-07-02 10:57:29