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-4504761-1751446654.opb'
0.28/0.37 c read 12.67MB (345.97ms)
0.28/0.37 c [cnf: #variables 126385 #clauses 286379 #duplicates 595 #arr 982485]
0.28/0.38 c output proof to 'PROOFDIR/proof-4504761-1751446654'
0.28/0.38 c
0.28/0.38 c make graph and approximate orbits
0.84/0.91 c [group: #orbits ~= 42820] (527.76ms)
0.84/0.91 c
0.84/0.91 c detect special group actions
0.84/0.91 c probe for Johnson action (limit=64)
0.84/0.91 c probe for row-column symmetry (limit=64, splits=16.78M)
0.84/0.96 c probe for row symmetry (limit=64, splits=16.78M)
0.84/0.97 c found row 35x2, generating row predicate
0.84/0.99 c found row 4x2, generating row predicate
0.84/1.00 c (89.09ms)
0.84/1.00 c
0.84/1.00 c detect symmetries on remainder
0.84/1.00 c [graph: #vertices 916904 #edges 2973250]
0.96/1.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.34/1.40 c [group: #symmetries 1.78*10^1972 #generators 3018] (403.53ms)
1.34/1.40 c
1.34/1.40 c optimize generators (opt_passes=64, conjugate_limit=256)
1.34/1.41 c ran it=0, +gens=14
2.24/2.39 c con best_support=4, best_gens=2423, +gens=125
2.24/2.39 c (992.49ms)
2.24/2.39 c
2.24/2.39 c finalize break order and special generators
2.34/2.40 c
2.34/2.40 c add generic predicates (break_depth=20)
2.34/2.40 c added predicates for 3157 generators (1.62ms)
2.44/2.50 c
2.44/2.50 c generation finished
2.44/2.50 c [sbp: #constraints 37145 #add_vars 11317]
2.44/2.50 c
2.44/2.50 c write result to 'HOME/instance-4504761-1751446654.opb.pre'
2.44/2.53 c wrote 14.26MB (32.32ms)
2.44/2.53 c ------------------------------------------------------------------
2.44/2.53 c 992.49ms 39.49% optimize_gens
2.44/2.53 c 527.76ms 21.00% approx_orbits
2.44/2.53 c 403.53ms 16.06% detect_generic
2.44/2.53 c 345.96ms 13.77% parse
2.44/2.53 c 113.12ms 4.50% other
2.44/2.53 c 89.09ms 3.55% detect_special
2.44/2.53 c 32.32ms 1.29% output
2.44/2.53 c 7.08ms 0.28% finalize_order
2.44/2.53 c 1.62ms 0.06% break_generic
2.44/2.53 c ───────────────────────────────────────────────
2.44/2.53 c 2512.98ms 100% total
2.44/2.53 c ------------------------------------------------------------------
0.00/2.62 c RoundingSat 2
0.00/2.62 c branch pb25
0.00/2.62 c commit 63f22ad
4.40/4.59 c #variables 137702 #constraints 327052
4.40/4.59 c objective is ce32
4.40/4.59 c initial watched CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
4.40/4.59 c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
4.40/4.59 c bounds - >= -35 @ 1.56756
7.29/7.41 c #Conflicts: 1000 | #Constraints: 328051
7.29/7.41 c bounds 662780759 >= -35 @ 4.2298
7.29/7.49 c bounds 617652151 >= -35 @ 4.30657
7.49/7.61 c bounds 478460546 >= -35 @ 4.4139
7.59/7.76 c bounds 478228056 >= -35 @ 4.56316
7.69/7.83 c bounds 478216061 >= -35 @ 4.63026
7.79/7.91 c bounds 478174248 >= -35 @ 4.70015
7.79/7.97 c bounds 356425562 >= -35 @ 4.75611
7.91/8.09 c bounds 355831698 >= -35 @ 4.86448
8.29/8.44 c bounds 355701202 >= -35 @ 5.20093
8.48/8.63 c bounds 338486034 >= -35 @ 5.38817
8.58/8.70 c bounds 337826035 >= -35 @ 5.4647
9.29/9.48 c bounds 337287100 >= -35 @ 6.23744
9.48/9.62 c bounds 337206623 >= -35 @ 6.37002
9.58/9.78 c bounds 337187932 >= -35 @ 6.52415
9.69/9.86 c bounds 337134689 >= -35 @ 6.60316
9.78/9.94 c bounds 337107504 >= -35 @ 6.67732
10.19/10.39 c bounds 322344983 >= -35 @ 7.12307
10.28/10.47 c bounds 321953412 >= -35 @ 7.19678
10.38/10.56 c bounds 321107280 >= -35 @ 7.28039
10.48/10.67 c bounds 320714197 >= -35 @ 7.38491
10.58/10.74 c bounds 320593019 >= -35 @ 7.45562
10.68/10.85 c bounds 319323962 >= -35 @ 7.5624
10.90/11.04 c bounds 319148238 >= -35 @ 7.75393
11.38/11.56 c bounds 319113494 >= -35 @ 8.25665
13.57/13.76 c bounds 319087083 >= -35 @ 10.4009
13.67/13.84 c bounds 319080446 >= -35 @ 10.4785
13.77/13.98 c bounds 319041949 >= -35 @ 10.6095
14.07/14.24 c bounds 318979364 >= -35 @ 10.8701
14.17/14.33 c bounds 318940867 >= -35 @ 10.9468
14.27/14.42 c bounds 318885234 >= -35 @ 11.0377
15.88/16.02 c bounds 308493857 >= -35 @ 12.5924
15.88/16.10 c bounds 308241310 >= -35 @ 12.6687
15.98/16.18 c bounds 308139875 >= -35 @ 12.7449
16.16/16.30 c bounds 307973110 >= -35 @ 12.8615
16.26/16.40 c bounds 307651518 >= -35 @ 12.9639
16.37/16.56 c bounds 306362143 >= -35 @ 13.1086
17.66/17.85 c bounds 306107695 >= -35 @ 14.3585
33.52/33.79 c #Conflicts: 2000 | #Constraints: 329088
33.52/33.79 c INPROCESSING
33.52/33.79 c GARBAGE COLLECT
33.52/33.79 c bounds 305946754 >= -35 @ 30.0392
33.72/33.95 c bounds 305914242 >= -35 @ 30.1938
34.02/34.22 c bounds 305875745 >= -35 @ 30.449
36.41/36.65 c bounds 270210279 >= -35 @ 32.829
39.50/39.70 c bounds 270207615 >= -35 @ 35.8029
39.81/40.01 c bounds 270123869 >= -35 @ 36.1092
40.70/40.94 c bounds 270097709 >= -35 @ 37.0154
43.49/43.75 c bounds 269670590 >= -35 @ 39.7466
43.99/44.21 c bounds 269639056 >= -35 @ 40.1972
44.99/45.26 c bounds 269581274 >= -35 @ 41.221
47.58/47.80 c #Conflicts: 3000 | #Constraints: 329071
47.58/47.80 c bounds 269295490 >= -35 @ 43.6995
47.68/47.90 c bounds 268943396 >= -35 @ 43.7946
47.79/48.09 c bounds 268932083 >= -35 @ 43.9803
48.08/48.31 c bounds 268929908 >= -35 @ 44.1985
49.48/49.70 c bounds 268790543 >= -35 @ 45.543
49.68/49.97 c bounds 268688567 >= -35 @ 45.8082
49.79/50.06 c bounds 268678219 >= -35 @ 45.8942
51.67/51.97 c bounds 267997341 >= -35 @ 47.7658
59.76/60.09 c bounds 266723471 >= -35 @ 55.6732
61.34/61.69 c bounds 266608370 >= -35 @ 57.2279
61.55/61.80 c bounds 266565367 >= -35 @ 57.3348
61.64/61.91 c bounds 266393643 >= -35 @ 57.4313
61.76/62.11 c bounds 266369001 >= -35 @ 57.6261
61.94/62.20 c bounds 266294128 >= -35 @ 57.7212
62.64/62.90 c bounds 266234227 >= -35 @ 58.4068
62.76/63.09 c bounds 265182877 >= -35 @ 58.5867
62.94/63.22 c bounds 263648757 >= -35 @ 58.7035
63.44/63.76 c bounds 263562248 >= -35 @ 59.2343
63.54/63.85 c bounds 263537249 >= -35 @ 59.3242
63.75/64.04 c bounds 263488587 >= -35 @ 59.5048
70.02/70.39 c #Conflicts: 4000 | #Constraints: 330091
70.02/70.39 c INPROCESSING
70.02/70.39 c GARBAGE COLLECT
70.02/70.39 c bounds 261027687 >= -35 @ 65.7292
70.22/70.50 c bounds 260981118 >= -35 @ 65.8322
71.22/71.58 c bounds 260930458 >= -35 @ 66.8998
77.30/77.68 c bounds 260672856 >= -35 @ 72.8387
77.40/77.76 c bounds 260651213 >= -35 @ 72.9146
111.22/111.65 c #Conflicts: 5000 | #Constraints: 329490
111.22/111.65 c #Conflicts: 6000 | #Constraints: 330490
111.22/111.65 c bounds 259818096 >= -35 @ 105.902
111.32/111.74 c bounds 259791563 >= -35 @ 105.993
111.41/111.86 c bounds 259788210 >= -35 @ 106.114
112.63/113.09 c bounds 259758215 >= -35 @ 107.313
114.10/114.50 c bounds 259708508 >= -35 @ 108.679
131.05/131.57 c INPROCESSING
131.05/131.57 c GARBAGE COLLECT
131.05/131.57 c bounds 259652452 >= -35 @ 125.593
138.54/139.08 c #Conflicts: 7000 | #Constraints: 329504
138.54/139.08 c bounds 259116842 >= -35 @ 132.913
160.54/161.29 c #Conflicts: 8000 | #Constraints: 330506
160.54/161.29 c bounds 259112596 >= -35 @ 154.467
160.83/161.55 c bounds 259026728 >= -35 @ 154.722
160.93/161.67 c bounds 259021286 >= -35 @ 154.845
161.13/161.89 c bounds 258999201 >= -35 @ 155.054
200.33/201.18 c #Conflicts: 9000 | #Constraints: 331510
200.33/201.18 c INPROCESSING
200.33/201.18 c GARBAGE COLLECT
200.33/201.18 c bounds 258961721 >= -35 @ 193.404
220.73/221.65 c #Conflicts: 10000 | #Constraints: 330220
220.73/221.65 c bounds 258912906 >= -35 @ 213.378
220.93/221.86 c bounds 258886373 >= -35 @ 213.581
223.62/224.57 c bounds 258860143 >= -35 @ 216.242
224.12/225.08 c bounds 257450638 >= -35 @ 216.731
224.32/225.27 c bounds 257407454 >= -35 @ 216.921
224.91/225.87 c bounds 257367271 >= -35 @ 217.514
232.11/233.02 c bounds 257309652 >= -35 @ 224.536
238.98/239.92 c #Conflicts: 11000 | #Constraints: 331227
238.98/239.92 c bounds 255934336 >= -35 @ 231.272
239.09/240.02 c bounds 255930983 >= -35 @ 231.371
239.27/240.20 c bounds 255919891 >= -35 @ 231.551
239.58/240.50 c bounds 255917874 >= -35 @ 231.845
240.67/241.61 c bounds 255308625 >= -35 @ 232.936
246.85/247.80 c bounds 255288412 >= -35 @ 238.982
259.71/260.79 c #Conflicts: 12000 | #Constraints: 332233
259.71/260.79 c INPROCESSING
259.71/260.79 c GARBAGE COLLECT
259.71/260.79 c bounds 255282484 >= -35 @ 251.682
260.70/261.75 c bounds 255253577 >= -35 @ 252.624
263.69/264.76 c bounds 254355316 >= -35 @ 255.566
263.80/264.88 c bounds 254330364 >= -35 @ 255.688
264.30/265.30 c bounds 254264150 >= -35 @ 256.097
264.40/265.40 c bounds 254202110 >= -35 @ 256.199
264.50/265.51 c bounds 254128539 >= -35 @ 256.301
264.59/265.68 c bounds 254112479 >= -35 @ 256.468
267.49/268.59 c bounds 254109126 >= -35 @ 259.32
268.29/269.34 c bounds 254103198 >= -35 @ 260.051
294.69/295.82 c #Conflicts: 13000 | #Constraints: 330699
294.69/295.82 c bounds 254057863 >= -35 @ 285.895
294.79/295.95 c bounds 254031330 >= -35 @ 286.016
296.09/297.28 c bounds 253981936 >= -35 @ 287.325
296.29/297.46 c bounds 253912846 >= -35 @ 287.495
296.78/298.01 c bounds 253867745 >= -35 @ 288.041
297.00/298.11 c bounds 253856839 >= -35 @ 288.138
297.09/298.25 c bounds 253846102 >= -35 @ 288.271
297.19/298.35 c bounds 253835196 >= -35 @ 288.367
297.28/298.47 c bounds 253769155 >= -35 @ 288.486
318.21/319.45 c #Conflicts: 14000 | #Constraints: 331708
318.21/319.45 c bounds 253141009 >= -35 @ 309.041
318.31/319.57 c bounds 253113641 >= -35 @ 309.152
318.51/319.74 c bounds 253073559 >= -35 @ 309.325
318.61/319.86 c bounds 253040035 >= -35 @ 309.437
319.38/320.65 c bounds 252778458 >= -35 @ 310.162
321.08/322.30 c bounds 252477451 >= -35 @ 311.794
323.18/324.45 c bounds 252455808 >= -35 @ 313.91
323.97/325.23 c bounds 164944881 >= -35 @ 314.684
324.17/325.41 c bounds 164921234 >= -35 @ 314.855
324.37/325.63 c bounds 164916588 >= -35 @ 315.074
324.47/325.75 c bounds 164858841 >= -35 @ 315.191
325.37/326.65 c bounds 161065319 >= -35 @ 316.076
327.35/328.63 c bounds 160797266 >= -35 @ 318.027
327.46/328.79 c bounds 160576068 >= -35 @ 318.184
327.76/329.11 c bounds 160517691 >= -35 @ 318.494
328.05/329.31 c bounds 160451309 >= -35 @ 318.688
328.15/329.44 c bounds 160406356 >= -35 @ 318.819
328.45/329.71 c bounds 160230111 >= -35 @ 319.086
328.55/329.82 c bounds 160185158 >= -35 @ 319.188
360.47/361.94 c #Conflicts: 15000 | #Constraints: 332730
360.47/361.94 c INPROCESSING
360.47/361.94 c GARBAGE COLLECT
360.47/361.94 c bounds 158773339 >= -35 @ 350.828
362.26/363.74 c bounds 130575194 >= -35 @ 352.564
362.36/363.81 c bounds 130571495 >= -35 @ 352.638
362.55/364.05 c bounds 130379069 >= -35 @ 352.863
362.75/364.24 c bounds 127709938 >= -35 @ 353.051
362.85/364.33 c bounds 127706239 >= -35 @ 353.141
363.74/365.20 c bounds 127641131 >= -35 @ 353.996
365.54/367.08 c bounds 127599877 >= -35 @ 355.829
365.72/367.21 c bounds 127596178 >= -35 @ 355.963
368.20/369.73 c bounds 127118274 >= -35 @ 358.407
382.76/384.34 c #Conflicts: 16000 | #Constraints: 330918
382.76/384.34 c bounds 127089077 >= -35 @ 372.673
382.86/384.43 c bounds 127085378 >= -35 @ 372.752
383.05/384.69 c bounds 127040425 >= -35 @ 373.004
383.47/385.05 c bounds 126957452 >= -35 @ 373.362
384.85/386.47 c bounds 126407706 >= -35 @ 374.758
385.94/387.52 c bounds 84976025 >= -35 @ 375.781
386.05/387.64 c bounds 84749987 >= -35 @ 375.894
386.14/387.76 c bounds 83837885 >= -35 @ 376.004
386.24/387.85 c bounds 83803227 >= -35 @ 376.094
389.73/391.38 c bounds 83515580 >= -35 @ 379.546
390.23/391.81 c bounds 83478186 >= -35 @ 379.96
390.83/392.42 c bounds 83150713 >= -35 @ 380.556
390.93/392.57 c bounds 81971815 >= -35 @ 380.705
391.33/393.00 c bounds 81904514 >= -35 @ 381.117
392.22/393.86 c bounds 81890915 >= -35 @ 381.959
399.61/401.20 c bounds 81845979 >= -35 @ 389.148
400.70/402.33 c bounds 81511407 >= -35 @ 390.252
400.80/402.46 c bounds 81170676 >= -35 @ 390.375
462.60/464.46 c #Conflicts: 17000 | #Constraints: 331938
462.60/464.46 c #Conflicts: 18000 | #Constraints: 332941
462.60/464.46 c INPROCESSING
462.60/464.46 c GARBAGE COLLECT
462.60/464.46 c #Conflicts: 19000 | #Constraints: 330737
462.60/464.46 c bounds 81141447 >= -35 @ 450.969
462.70/464.56 c bounds 80947510 >= -35 @ 451.06
462.79/464.64 c bounds 80944157 >= -35 @ 451.144
464.99/466.88 c bounds 80851831 >= -35 @ 453.339
468.58/470.42 c bounds 80675487 >= -35 @ 456.811
468.68/470.55 c bounds 80675298 >= -35 @ 456.935
468.78/470.68 c bounds 80481361 >= -35 @ 457.065
469.68/471.50 c bounds 80417535 >= -35 @ 457.868
469.98/471.80 c bounds 80417346 >= -35 @ 458.158
492.72/494.67 c #Conflicts: 20000 | #Constraints: 331746
492.72/494.67 c bounds 67224797 >= -35 @ 480.567
493.01/495.00 c bounds 63727299 >= -35 @ 480.89
493.13/495.10 c bounds 54161393 >= -35 @ 480.98
493.31/495.21 c bounds 54016857 >= -35 @ 481.095
493.42/495.31 c bounds 53503701 >= -35 @ 481.184
493.52/495.41 c bounds 53282351 >= -35 @ 481.288
493.61/495.50 c bounds 52828722 >= -35 @ 481.375
493.71/495.62 c bounds 52593631 >= -35 @ 481.486
494.81/496.79 c bounds 52578598 >= -35 @ 482.633
496.12/498.09 c bounds 52563961 >= -35 @ 483.91
496.31/498.21 c bounds 52561296 >= -35 @ 484.022
496.40/498.39 c bounds 52557233 >= -35 @ 484.198
496.50/498.48 c bounds 52519163 >= -35 @ 484.289
496.60/498.57 c bounds 52510136 >= -35 @ 484.377
496.71/498.67 c bounds 52445793 >= -35 @ 484.478
515.26/517.27 c #Conflicts: 21000 | #Constraints: 332761
515.26/517.27 c INPROCESSING
515.26/517.27 c GARBAGE COLLECT
515.26/517.27 c bounds 52427819 >= -35 @ 502.654
515.36/517.36 c bounds 52387726 >= -35 @ 502.737
515.46/517.44 c bounds 52362119 >= -35 @ 502.812
515.66/517.65 c bounds 52223405 >= -35 @ 503.015
515.75/517.73 c bounds 52223177 >= -35 @ 503.088
516.07/518.02 c bounds 51847795 >= -35 @ 503.379
516.17/518.15 c bounds 51819760 >= -35 @ 503.511
516.25/518.25 c bounds 51815609 >= -35 @ 503.597
521.16/523.15 c bounds 51815338 >= -35 @ 508.395
533.60/535.66 c #Conflicts: 22000 | #Constraints: 330214
533.60/535.66 c bounds 49532838 >= -35 @ 520.65
533.70/535.75 c bounds 49529433 >= -35 @ 520.739
533.79/535.86 c bounds 49528057 >= -35 @ 520.847
534.80/536.85 c bounds 49525113 >= -35 @ 521.807
535.11/537.12 c bounds 49521095 >= -35 @ 522.071
536.19/538.29 c bounds 40357536 >= -35 @ 523.21
536.29/538.39 c bounds 40330046 >= -35 @ 523.299
536.59/538.65 c bounds 40055779 >= -35 @ 523.559
538.10/540.18 c bounds 35432956 >= -35 @ 525.054
538.19/540.26 c bounds 35411838 >= -35 @ 525.131
538.28/540.36 c bounds 35385724 >= -35 @ 525.226
538.48/540.51 c bounds 35376143 >= -35 @ 525.373
538.78/540.80 c bounds 33590089 >= -35 @ 525.664
539.18/541.29 c bounds 33518049 >= -35 @ 526.14
539.48/541.54 c bounds 33505972 >= -35 @ 526.393
539.58/541.62 c bounds 33479858 >= -35 @ 526.471
540.88/542.90 c bounds 33057916 >= -35 @ 527.726
569.09/571.29 c #Conflicts: 23000 | #Constraints: 331231
569.09/571.29 c #Conflicts: 24000 | #Constraints: 332231
569.09/571.29 c bounds 32945752 >= -35 @ 555.501
569.79/571.96 c bounds 32934556 >= -35 @ 556.158
572.38/574.50 c bounds 31851947 >= -35 @ 558.653
572.49/574.62 c bounds 30892435 >= -35 @ 558.767
573.59/575.76 c bounds 30712619 >= -35 @ 559.882
573.90/576.02 c bounds 30615575 >= -35 @ 560.141
574.08/576.21 c bounds 30373740 >= -35 @ 560.324
574.89/577.01 c bounds 30370317 >= -35 @ 561.11
579.76/581.96 c bounds 30321006 >= -35 @ 565.985
581.56/583.78 c bounds 30278019 >= -35 @ 567.768
601.41/603.64 c #Conflicts: 25000 | #Constraints: 333242
601.41/603.64 c INPROCESSING
601.41/603.64 c GARBAGE COLLECT
601.41/603.64 c bounds 24224334 >= -35 @ 587.192
601.50/603.72 c bounds 23802614 >= -35 @ 587.267
601.60/603.81 c bounds 23771130 >= -35 @ 587.359
601.82/604.08 c bounds 21667159 >= -35 @ 587.627
601.92/604.16 c bounds 21666073 >= -35 @ 587.703
602.00/604.28 c bounds 21651527 >= -35 @ 587.821
603.50/605.74 c bounds 21602766 >= -35 @ 589.248
606.81/609.08 c bounds 21595108 >= -35 @ 592.5
608.59/610.82 c bounds 21582888 >= -35 @ 594.195
609.08/611.38 c bounds 21388595 >= -35 @ 594.743
610.28/612.52 c bounds 20714701 >= -35 @ 595.865
610.38/612.63 c bounds 20615860 >= -35 @ 595.964
610.49/612.76 c bounds 20588437 >= -35 @ 596.09
610.89/613.16 c bounds 20584954 >= -35 @ 596.487
611.18/613.43 c bounds 19658657 >= -35 @ 596.748
613.57/615.82 c bounds 18829811 >= -35 @ 599.083
613.67/615.90 c bounds 18790550 >= -35 @ 599.162
631.73/634.04 c #Conflicts: 26000 | #Constraints: 330302
631.73/634.04 c bounds 18731964 >= -35 @ 616.907
631.83/634.13 c bounds 18730584 >= -35 @ 616.991
632.02/634.35 c bounds 18660541 >= -35 @ 617.207
632.12/634.43 c bounds 18569663 >= -35 @ 617.292
632.22/634.55 c bounds 18513776 >= -35 @ 617.408
632.91/635.27 c bounds 18322344 >= -35 @ 618.094
633.00/635.36 c bounds 18257362 >= -35 @ 618.18
638.49/640.84 c bounds 18073670 >= -35 @ 623.549
638.59/640.94 c bounds 18045759 >= -35 @ 623.649
638.71/641.10 c bounds 18030127 >= -35 @ 623.808
638.80/641.20 c bounds 17999465 >= -35 @ 623.902
638.99/641.31 c bounds 17934483 >= -35 @ 624.016
639.39/641.70 c bounds 17835642 >= -35 @ 624.393
645.25/647.65 c #Conflicts: 27000 | #Constraints: 331315
645.25/647.65 c bounds 17728992 >= -35 @ 630.191
645.45/647.89 c bounds 17708778 >= -35 @ 630.426
651.93/654.32 c bounds 17702978 >= -35 @ 636.716
652.03/654.46 c bounds 17623182 >= -35 @ 636.858
654.83/657.22 c bounds 17398756 >= -35 @ 639.57
655.82/658.29 c bounds 17398331 >= -35 @ 640.626
655.92/658.39 c bounds 17332250 >= -35 @ 640.719
663.90/666.33 c bounds 17300778 >= -35 @ 648.5
664.10/666.54 c bounds 17264206 >= -35 @ 648.708
664.61/667.05 c bounds 17256708 >= -35 @ 649.209
664.80/667.29 c bounds 17012690 >= -35 @ 649.438
665.20/667.68 c bounds 16834766 >= -35 @ 649.816
665.60/668.06 c bounds 16834675 >= -35 @ 650.181
665.70/668.18 c bounds 16784595 >= -35 @ 650.306
667.18/669.68 c bounds 16549898 >= -35 @ 651.768
668.18/670.70 c bounds 16383832 >= -35 @ 652.764
669.38/671.80 c #Conflicts: 28000 | #Constraints: 332337
669.38/671.80 c bounds 15960929 >= -35 @ 653.838
671.17/673.67 c bounds 15904624 >= -35 @ 655.676
671.27/673.79 c bounds 15845279 >= -35 @ 655.792
674.76/677.29 c bounds 15823760 >= -35 @ 659.212
686.14/688.62 c bounds 15814765 >= -35 @ 670.426
686.23/688.72 c bounds 15804524 >= -35 @ 670.521
686.43/688.90 c bounds 15768290 >= -35 @ 670.705
686.82/689.30 c bounds 15755420 >= -35 @ 671.078
686.92/689.43 c bounds 15696653 >= -35 @ 671.21
687.02/689.59 c bounds 15597812 >= -35 @ 671.37
687.22/689.73 c bounds 15570389 >= -35 @ 671.503
687.32/689.83 c bounds 15568684 >= -35 @ 671.6
688.63/691.13 c bounds 15212004 >= -35 @ 672.867
688.72/691.23 c bounds 15209614 >= -35 @ 672.963
689.12/691.60 c bounds 15145332 >= -35 @ 673.324
689.22/691.70 c bounds 15122593 >= -35 @ 673.42
689.63/692.15 c bounds 15098857 >= -35 @ 673.871
690.41/693.01 c bounds 15030535 >= -35 @ 674.694
691.01/693.57 c bounds 14997674 >= -35 @ 675.247
698.89/701.46 c bounds 14981179 >= -35 @ 682.976
702.28/704.80 c bounds 14845154 >= -35 @ 686.227
703.49/706.01 c bounds 14531754 >= -35 @ 687.413
703.98/706.56 c bounds 13832472 >= -35 @ 687.944
704.08/706.65 c bounds 13810706 >= -35 @ 688.036
722.13/724.74 c #Conflicts: 29000 | #Constraints: 333366
722.13/724.74 c INPROCESSING
722.13/724.74 c GARBAGE COLLECT
722.13/724.74 c rational objective 1.02792e+06
817.20/820.06 c #Conflicts: 30000 | #Constraints: 330023
817.20/820.06 c #Conflicts: 31000 | #Constraints: 331023
817.20/820.06 c #Conflicts: 32000 | #Constraints: 332023
817.20/820.06 c #Conflicts: 33000 | #Constraints: 333023
817.20/820.06 c INPROCESSING
817.20/820.06 c GARBAGE COLLECT
817.20/820.06 c bounds 13795555 >= -35 @ 798.877
825.37/828.20 c bounds 13769593 >= -35 @ 806.842
825.77/828.63 c bounds 13768423 >= -35 @ 807.259
826.29/829.16 c bounds 13734243 >= -35 @ 807.783
834.04/836.92 c bounds 12959993 >= -35 @ 815.378
838.83/841.79 c bounds 12909490 >= -35 @ 820.149
885.71/888.78 c #Conflicts: 34000 | #Constraints: 330261
885.71/888.78 c #Conflicts: 35000 | #Constraints: 331261
885.71/888.78 c bounds 12663891 >= -35 @ 866.11
1063.31/1145.88 c #Conflicts: 36000 | #Constraints: 332262
1063.31/1145.88 c #Conflicts: 37000 | #Constraints: 333264
1063.31/1145.88 c INPROCESSING
1063.31/1145.88 c GARBAGE COLLECT
1063.31/1145.88 c #Conflicts: 38000 | #Constraints: 330209
1063.31/1145.88 c #Conflicts: 39000 | #Constraints: 331211
1063.31/1145.88 c #Conflicts: 40000 | #Constraints: 332216
1063.31/1145.88 c #Conflicts: 41000 | #Constraints: 333223
1063.31/1145.88 c INPROCESSING
1063.31/1145.88 c GARBAGE COLLECT
1063.31/1145.88 c bounds 12663800 >= -35 @ 1039.62
1063.71/1146.22 c bounds 11752186 >= -35 @ 1039.95
1064.00/1146.54 c bounds 10590428 >= -35 @ 1040.25
1087.25/1169.97 c #Conflicts: 42000 | #Constraints: 330007
1087.25/1169.97 c bounds 10293690 >= -35 @ 1063.04
1087.55/1170.28 c bounds 10237209 >= -35 @ 1063.35
1087.74/1170.44 c bounds 10225385 >= -35 @ 1063.5
1161.24/1244.89 c #Conflicts: 43000 | #Constraints: 331013
1161.24/1244.89 c #Conflicts: 44000 | #Constraints: 332016
1161.24/1244.89 c bounds 10168485 >= -35 @ 1134.95
1176.88/1260.63 c #Conflicts: 45000 | #Constraints: 333020
1176.88/1260.63 c bounds 10036562 >= -35 @ 1150.1
1176.98/1260.77 c bounds 9974204 >= -35 @ 1150.24
1177.18/1260.90 c bounds 9954477 >= -35 @ 1150.36
1177.30/1261.03 c bounds 9796986 >= -35 @ 1150.48
1177.48/1261.29 c bounds 9757936 >= -35 @ 1150.74
1202.89/1286.87 c #Conflicts: 46000 | #Constraints: 334028
1202.89/1286.87 c INPROCESSING
1202.89/1286.87 c GARBAGE COLLECT
1202.89/1286.87 c bounds 9755828 >= -35 @ 1175.54
1203.39/1287.36 c bounds 9655542 >= -35 @ 1176.01
1205.56/1289.59 c bounds 9589798 >= -35 @ 1178.17
1213.23/1297.29 c bounds 9572197 >= -35 @ 1185.67
1290.52/1375.10 c #Conflicts: 47000 | #Constraints: 330466
1290.52/1375.10 c #Conflicts: 48000 | #Constraints: 331466
1290.52/1375.10 c #Conflicts: 49000 | #Constraints: 332466
1290.52/1375.10 c bounds 9568413 >= -35 @ 1260.92
1347.52/1432.42 c #Conflicts: 50000 | #Constraints: 333467
1347.52/1432.42 c #Conflicts: 51000 | #Constraints: 334467
1347.52/1432.42 c INPROCESSING
1347.52/1432.42 c GARBAGE COLLECT
1347.52/1432.42 c rational objective 1.02844e+06
1501.85/1587.72 c #Conflicts: 52000 | #Constraints: 330869
1501.85/1587.72 c #Conflicts: 53000 | #Constraints: 331870
1501.85/1587.72 c #Conflicts: 54000 | #Constraints: 332872
1501.85/1587.72 c #Conflicts: 55000 | #Constraints: 333874
1501.85/1587.72 c #Conflicts: 56000 | #Constraints: 334876
1501.85/1587.72 c INPROCESSING
1501.85/1587.72 c GARBAGE COLLECT
1501.85/1587.72 c bounds 9547177 >= -35 @ 1467.2
1615.24/1701.93 c #Conflicts: 57000 | #Constraints: 331076
1615.24/1701.93 c #Conflicts: 58000 | #Constraints: 332078
1615.24/1701.93 c #Conflicts: 59000 | #Constraints: 333085
1615.24/1701.93 c bounds 9513199 >= -35 @ 1577.8
1623.80/1710.57 c bounds 9392018 >= -35 @ 1586.17
1690.38/1777.60 c #Conflicts: 60000 | #Constraints: 334091
1690.38/1777.60 c #Conflicts: 61000 | #Constraints: 335091
1690.38/1777.60 c INPROCESSING
1690.38/1777.60 c GARBAGE COLLECT
1690.38/1777.60 c rational objective 1.02887e+06
1731.57/1819.05 c #Conflicts: 62000 | #Constraints: 331088
1731.57/1819.05 c #Conflicts: 63000 | #Constraints: 332088
1731.57/1819.05 c bounds 9356782 >= -35 @ 1691.5
1731.85/1819.38 c bounds 9278057 >= -35 @ 1691.83
1732.45/1819.98 c bounds 9225987 >= -35 @ 1692.42
1734.93/1822.46 c bounds 9196323 >= -35 @ 1694.81
1735.73/1823.29 c bounds 9167317 >= -35 @ 1695.62
1735.93/1823.45 c bounds 9107303 >= -35 @ 1695.78
1736.32/1823.81 c bounds 8903722 >= -35 @ 1696.13
1736.64/1824.12 c bounds 8795133 >= -35 @ 1696.44
1736.82/1824.38 c bounds 8713905 >= -35 @ 1696.69
1740.20/1827.72 c bounds 8702120 >= -35 @ 1699.96
1741.39/1828.95 c #Conflicts: 64000 | #Constraints: 333098
1741.39/1828.95 c bounds 8614565 >= -35 @ 1701.16
1743.09/1830.65 c bounds 8603068 >= -35 @ 1702.82
1743.19/1830.74 c bounds 8577882 >= -35 @ 1702.92
1744.27/1831.88 c bounds 8500536 >= -35 @ 1704.01
1748.05/1835.64 c bounds 8499477 >= -35 @ 1707.64
1755.81/1843.44 c bounds 8496153 >= -35 @ 1715.22
1762.57/1850.24 c #Conflicts: 65000 | #Constraints: 334105
1762.57/1850.24 c bounds 8450505 >= -35 @ 1721.83
1777.67/1865.42 c bounds 8309057 >= -35 @ 1736.56
1777.87/1865.69 c bounds 8146655 >= -35 @ 1736.81
1778.17/1865.94 c bounds 8131664 >= -35 @ 1737.05
1778.87/1866.65 c bounds 8097749 >= -35 @ 1737.75
1994.35/2083.49 c #Conflicts: 66000 | #Constraints: 335110
1994.35/2083.49 c INPROCESSING
1994.35/2083.49 c GARBAGE COLLECT
1994.35/2083.49 c #Conflicts: 67000 | #Constraints: 330856
1994.35/2083.49 c #Conflicts: 68000 | #Constraints: 331943
1994.35/2083.49 c #Conflicts: 69000 | #Constraints: 332943
1994.35/2083.49 c #Conflicts: 70000 | #Constraints: 333943
1994.35/2083.49 c #Conflicts: 71000 | #Constraints: 334944
1994.35/2083.49 c #Conflicts: 72000 | #Constraints: 335944
1994.35/2083.49 c INPROCESSING
1994.35/2083.49 c GARBAGE COLLECT
1994.35/2083.49 c #Conflicts: 73000 | #Constraints: 331481
1994.35/2083.49 c bounds 8067540 >= -35 @ 1948.39
1998.42/2087.53 c bounds 7988594 >= -35 @ 1952.35
2001.10/2090.29 c bounds 7975424 >= -35 @ 1955.01
2133.39/2223.38 c #Conflicts: 74000 | #Constraints: 332484
2133.39/2223.38 c #Conflicts: 75000 | #Constraints: 333484
2133.39/2223.38 c #Conflicts: 76000 | #Constraints: 334484
2133.39/2223.38 c #Conflicts: 77000 | #Constraints: 335485
2133.39/2223.38 c #Conflicts: 78000 | #Constraints: 336531
2133.39/2223.38 c INPROCESSING
2133.39/2223.38 c GARBAGE COLLECT
2133.39/2223.38 c rational objective 1.02989e+06
2136.77/2226.76 c bounds 6484230 >= -35 @ 2088.09
2137.06/2227.02 c bounds 6096870 >= -35 @ 2088.32
2137.46/2227.40 c bounds 5989832 >= -35 @ 2088.68
2146.01/2236.10 c bounds 5964588 >= -35 @ 2097.07
2146.39/2236.43 c bounds 5949738 >= -35 @ 2097.37
2146.59/2236.66 c bounds 5857550 >= -35 @ 2097.6
2164.17/2254.33 c #Conflicts: 79000 | #Constraints: 331900
2164.17/2254.33 c bounds 5727906 >= -35 @ 2114.78
2164.57/2254.78 c bounds 5686943 >= -35 @ 2115.22
2415.56/2507.35 c #Conflicts: 80000 | #Constraints: 332922
2415.56/2507.35 c #Conflicts: 81000 | #Constraints: 333922
2415.56/2507.35 c #Conflicts: 82000 | #Constraints: 334922
2415.56/2507.35 c #Conflicts: 83000 | #Constraints: 335922
2415.56/2507.35 c #Conflicts: 84000 | #Constraints: 336922
2415.56/2507.35 c INPROCESSING
2415.56/2507.35 c GARBAGE COLLECT
2415.56/2507.35 c #Conflicts: 85000 | #Constraints: 331958
2415.56/2507.35 c #Conflicts: 86000 | #Constraints: 332958
2415.56/2507.35 c #Conflicts: 87000 | #Constraints: 333959
2415.56/2507.35 c #Conflicts: 88000 | #Constraints: 334959
2415.56/2507.35 c #Conflicts: 89000 | #Constraints: 335959
2415.56/2507.35 c #Conflicts: 90000 | #Constraints: 336959
2415.56/2507.35 c INPROCESSING
2415.56/2507.35 c GARBAGE COLLECT
2415.56/2507.35 c bounds 5591412 >= -35 @ 2359.42
2415.96/2507.73 c bounds 5590019 >= -35 @ 2359.8
2416.55/2508.32 c bounds 5580305 >= -35 @ 2360.37
2417.45/2509.28 c bounds 5552431 >= -35 @ 2361.31
2418.34/2510.16 c bounds 5450233 >= -35 @ 2362.12
2421.69/2513.51 c bounds 5371507 >= -35 @ 2365.39
2423.57/2515.40 c bounds 5367699 >= -35 @ 2367.23
2423.78/2515.65 c bounds 5299848 >= -35 @ 2367.48
2427.85/2519.74 c bounds 5249710 >= -35 @ 2371.44
2429.84/2521.71 c bounds 5182879 >= -35 @ 2373.34
2430.14/2522.02 c bounds 5025493 >= -35 @ 2373.64
2446.54/2538.50 c #Conflicts: 91000 | #Constraints: 331956
2446.54/2538.50 c bounds 4797954 >= -35 @ 2389.63
2511.32/2603.78 c #Conflicts: 92000 | #Constraints: 332957
2511.32/2603.78 c #Conflicts: 93000 | #Constraints: 333957
2511.32/2603.78 c bounds 4725501 >= -35 @ 2453.02
2640.28/2733.57 c #Conflicts: 94000 | #Constraints: 334960
2640.28/2733.57 c #Conflicts: 95000 | #Constraints: 335962
2640.28/2733.57 c #Conflicts: 96000 | #Constraints: 336965
2640.28/2733.57 c INPROCESSING
2640.28/2733.57 c GARBAGE COLLECT
2640.28/2733.57 c rational objective 1.03254e+06
2828.51/2923.08 c #Conflicts: 97000 | #Constraints: 331640
2828.51/2923.08 c #Conflicts: 98000 | #Constraints: 332645
2828.51/2923.08 c #Conflicts: 99000 | #Constraints: 333937
2828.51/2923.08 c #Conflicts: 100000 | #Constraints: 335352
2828.51/2923.08 c bounds 4718406 >= -35 @ 2763.81
2910.29/3005.24 c #Conflicts: 101000 | #Constraints: 336630
2910.29/3005.24 c #Conflicts: 102000 | #Constraints: 337630
2910.29/3005.24 c bounds 4686924 >= -35 @ 2844
3129.93/3226.25 c #Conflicts: 103000 | #Constraints: 338631
3129.93/3226.25 c INPROCESSING
3129.93/3226.25 c GARBAGE COLLECT
3129.93/3226.25 c #Conflicts: 104000 | #Constraints: 332708
3129.93/3226.25 c #Conflicts: 105000 | #Constraints: 333708
3129.93/3226.25 c #Conflicts: 106000 | #Constraints: 334708
3129.93/3226.25 c #Conflicts: 107000 | #Constraints: 335708
3129.93/3226.25 c #Conflicts: 108000 | #Constraints: 336708
3129.93/3226.25 c #Conflicts: 109000 | #Constraints: 337708
3129.93/3226.25 c #Conflicts: 110000 | #Constraints: 338708
3129.93/3226.25 c INPROCESSING
3129.93/3226.25 c GARBAGE COLLECT
3129.93/3226.25 c rational objective 1.03327e+06
3141.98/3238.38 c bounds 4657626 >= -35 @ 3070.04
3155.79/3252.27 c bounds 4656233 >= -35 @ 3083.51
3182.86/3279.43 c #Conflicts: 111000 | #Constraints: 332877
3182.86/3279.43 c bounds 4573787 >= -35 @ 3109.87
3331.32/3428.85 c #Conflicts: 112000 | #Constraints: 333878
3331.32/3428.85 c #Conflicts: 113000 | #Constraints: 334878
3331.32/3428.85 c #Conflicts: 114000 | #Constraints: 335878
3331.32/3428.85 c #Conflicts: 115000 | #Constraints: 336878
3331.32/3428.85 c #Conflicts: 116000 | #Constraints: 338014
3331.32/3428.85 c #Conflicts: 117000 | #Constraints: 339271
3331.32/3428.85 c INPROCESSING
3331.32/3428.85 c GARBAGE COLLECT
3331.32/3428.85 c bounds 4552961 >= -35 @ 3254.7
3368.05/3465.76 c #Conflicts: 118000 | #Constraints: 333158
3368.05/3465.76 c bounds 4546003 >= -35 @ 3290.6
2.53/3519.26 HOME/run-opt-break-log.sh: line 3: 73143 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 (32143 MiB free)
memory of node 1: 64465 MiB (35195 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504761-1751446654/watcher-4504761-1751446654 -o /tmp/evaluation-result-4504761-1751446654/solver-4504761-1751446654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751443245-72778 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4504761-1751446654.opb PROOFDIR/proof-4504761-1751446654
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=73126, runsolver pid=73122
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.92 4.50 4.32 5/260 73131
/proc/meminfo: memFree=68858672/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73129] ppid=73126 vsize=98748 memory=88136 CPUtime=0.07 cores=5,7
/proc/73129/stat : 73129 (pbsuma) R 73126 73126 72765 0 -1 4194304 5335 0 0 0 5 2 0 0 20 0 1 0 60344554 101117952 22034 18446744073709551615 4210688 4653049 140727756099600 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 5128192 140727756105955 140727756106290 140727756106290 140727756111855 0
/proc/73129/statm: 24687 22034 960 108 0 22095 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 102940 KiB
Current children cumulated memory: 91080 KiB
[startup+0.211075 s]*
/proc/loadavg: 4.92 4.50 4.32 4/261 73136
/proc/meminfo: memFree=68848700/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73129] ppid=73126 vsize=107068 memory=97568 CPUtime=0.18 cores=5,7
/proc/73129/stat : 73129 (pbsuma) R 73126 73126 72765 0 -1 4194304 7528 0 0 0 15 3 0 0 20 0 1 0 60344554 109637632 24392 18446744073709551615 4210688 4653049 140727756099600 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 5128192 140727756105955 140727756106290 140727756106290 140727756111855 0
/proc/73129/statm: 26767 24392 960 108 0 24175 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 111260 KiB
Current children cumulated memory: 100512 KiB
[startup+0.3124 s]*
/proc/loadavg: 4.93 4.51 4.32 5/266 73141
/proc/meminfo: memFree=68807944/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73129] ppid=73126 vsize=119884 memory=108636 CPUtime=0.28 cores=5,7
/proc/73129/stat : 73129 (pbsuma) R 73126 73126 72765 0 -1 4194304 10026 0 0 0 24 4 0 0 20 0 1 0 60344554 122761216 27159 18446744073709551615 4210688 4653049 140727756099600 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 5128192 140727756105955 140727756106290 140727756106290 140727756111855 0
/proc/73129/statm: 29971 27159 960 108 0 27379 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 124076 KiB
Current children cumulated memory: 111580 KiB
[startup+0.700402 s]
/proc/loadavg: 4.93 4.51 4.32 5/266 73142
/proc/meminfo: memFree=68727156/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73129] ppid=73126 vsize=284256 memory=223160 CPUtime=0.64 cores=5,7
/proc/73129/stat : 73129 (pbsuma) R 73126 73126 72765 0 -1 4194304 21969 0 0 0 54 10 0 0 20 0 1 0 60344554 291078144 55790 18446744073709551615 4210688 4653049 140727756099600 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 5128192 140727756105955 140727756106290 140727756106290 140727756111855 0
/proc/73129/statm: 71064 55790 960 108 0 68472 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 288448 KiB
Current children cumulated memory: 226104 KiB
[startup+1.50039 s]
/proc/loadavg: 4.93 4.51 4.32 5/266 73142
/proc/meminfo: memFree=68575372/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73129] ppid=73126 vsize=326328 memory=265804 CPUtime=1.44 cores=5,7
/proc/73129/stat : 73129 (pbsuma) R 73126 73126 72765 0 -1 4194304 45809 0 0 0 124 20 0 0 20 0 1 0 60344554 334159872 66451 18446744073709551615 4210688 4653049 140727756099600 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 5128192 140727756105955 140727756106290 140727756106290 140727756111855 0
/proc/73129/statm: 81582 66451 992 108 0 78990 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 330520 KiB
Current children cumulated memory: 268748 KiB
[startup+3.11478 s]
/proc/loadavg: 4.93 4.51 4.32 5/266 73143
/proc/meminfo: memFree=68440756/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=104208 memory=59188 CPUtime=0.49 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 10695 0 0 0 37 12 0 0 20 0 1 0 60344813 106708992 14797 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 26052 14797 1984 1147 0 13479 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 108400 KiB
Current children cumulated memory: 62132 KiB
[startup+6.30037 s]
/proc/loadavg: 4.85 4.50 4.32 5/266 73143
/proc/meminfo: memFree=67800952/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=639552 memory=482420 CPUtime=3.66 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 39064 0 0 0 314 52 0 0 20 0 1 0 60344813 654901248 120605 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 159888 120605 2400 1147 0 147315 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 643744 KiB
Current children cumulated memory: 485364 KiB
[startup+12.7004 s]
/proc/loadavg: 4.86 4.51 4.32 5/266 73143
/proc/meminfo: memFree=67046216/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=721252 memory=569064 CPUtime=10.04 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 55673 0 0 0 936 68 0 0 20 0 1 0 60344813 738562048 142266 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 180313 142266 2400 1147 0 167740 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 725444 KiB
Current children cumulated memory: 572008 KiB
[startup+25.5004 s]
/proc/loadavg: 4.73 4.49 4.32 5/266 73143
/proc/meminfo: memFree=65259492/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=861452 memory=703460 CPUtime=22.81 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 74511 0 0 0 2189 92 0 0 20 0 1 0 60344813 882126848 175865 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 215363 175865 2400 1147 0 202790 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 865644 KiB
Current children cumulated memory: 706404 KiB
[startup+51.1135 s]
/proc/loadavg: 4.72 4.51 4.33 5/267 73145
/proc/meminfo: memFree=62209676/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=1012580 memory=831048 CPUtime=48.36 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 98724 0 0 0 4692 144 0 0 20 0 1 0 60344813 1036881920 207762 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 253145 207762 2400 1147 0 240572 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1016772 KiB
Current children cumulated memory: 833992 KiB
[startup+102.3 s]
/proc/loadavg: 5.00 4.62 4.38 5/267 73146
/proc/meminfo: memFree=55706136/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=1097596 memory=934460 CPUtime=99.41 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 117513 0 0 0 9683 258 0 0 20 0 1 0 60344813 1123938304 233615 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 274399 233615 2400 1147 0 261826 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1101788 KiB
Current children cumulated memory: 937404 KiB
[startup+162.3 s]
/proc/loadavg: 4.70 4.61 4.39 5/267 73148
/proc/meminfo: memFree=48980208/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=1162848 memory=995076 CPUtime=159.09 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 128692 0 0 0 15544 365 0 0 20 0 1 0 60344813 1190756352 248769 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 290712 248769 2400 1147 0 278139 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 1167040 KiB
Current children cumulated memory: 998020 KiB
[startup+222.3 s]
/proc/loadavg: 4.35 4.53 4.37 5/265 73161
/proc/meminfo: memFree=41521556/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=1285840 memory=1054204 CPUtime=218.89 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 136928 0 0 0 21401 488 0 0 20 0 1 0 60344813 1316700160 263551 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 321460 263551 2400 1147 0 308887 0
################
# More data... #
################
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=4421192 memory=3929676 CPUtime=3123.51 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 791878 0 0 0 305436 6915 0 0 20 0 1 0 60344813 4527300608 982419 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 1105298 982419 2400 1147 0 1092725 0
Current children cumulated CPU time: 3126.04 s
Current children cumulated vsize: 4425384 KiB
Current children cumulated memory: 3932620 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.21 4.25 5/266 73513
/proc/meminfo: memFree=1862484/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=4421192 memory=3931084 CPUtime=3183.2 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 806380 0 0 0 311266 7054 0 0 20 0 1 0 60344813 4527300608 982771 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 1105298 982771 2400 1147 0 1092725 0
Current children cumulated CPU time: 3185.73 s
Current children cumulated vsize: 4425384 KiB
Current children cumulated memory: 3934028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.22 4.25 8/266 73519
/proc/meminfo: memFree=1906992/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=4421192 memory=3931084 CPUtime=3242.82 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 813631 0 0 0 317062 7220 0 0 20 0 1 0 60344813 4527300608 982771 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 1105298 982771 2400 1147 0 1092725 0
Current children cumulated CPU time: 3245.35 s
Current children cumulated vsize: 4425384 KiB
Current children cumulated memory: 3934028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.49 4.29 4.27 5/267 73522
/proc/meminfo: memFree=1897048/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=4421908 memory=3932364 CPUtime=3302.46 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 823391 0 0 0 322882 7364 0 0 20 0 1 0 60344813 4528033792 983091 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 1105477 983091 2400 1147 0 1092904 0
Current children cumulated CPU time: 3304.99 s
Current children cumulated vsize: 4426100 KiB
Current children cumulated memory: 3935308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.25 4.26 5/266 73524
/proc/meminfo: memFree=1784392/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=4477096 memory=3995464 CPUtime=3362.13 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 869676 0 0 0 328723 7490 0 0 20 0 1 0 60344813 4584546304 998866 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 1119274 998866 2400 1147 0 1106701 0
Current children cumulated CPU time: 3364.66 s
Current children cumulated vsize: 4481288 KiB
Current children cumulated memory: 3998408 KiB
[startup+3519.27 s]
# the end of solver process 73126 was just reported to runsolver
# Child status: 153
# cumulated CPU time of all completed processes: user=3328.75 s, system=78.9383 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3481.6 s]
/proc/loadavg: 4.24 4.25 4.26 5/266 73525
/proc/meminfo: memFree=1906684/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=4477096 memory=3995464 CPUtime=3381.31 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 871147 0 0 0 330607 7524 0 0 20 0 1 0 60344813 4584546304 998866 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 1119274 998866 2400 1147 0 1106701 0
Current children cumulated CPU time: 3383.84 s
Current children cumulated vsize: 4481288 KiB
Current children cumulated memory: 3998408 KiB
[startup+3494.4 s]
/proc/loadavg: 4.20 4.24 4.25 5/265 73526
/proc/meminfo: memFree=1781836/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=4477096 memory=3995464 CPUtime=3394.05 cores=5,7
/proc/73143/stat : 73143 (roundingsat) R 73126 73126 72765 0 -1 4194304 872404 0 0 0 331851 7554 0 0 20 0 1 0 60344813 4584546304 998866 18446744073709551615 4227072 8923433 140720511610672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 0
/proc/73143/statm: 1119274 998866 2400 1147 0 1106701 0
Current children cumulated CPU time: 3396.58 s
Current children cumulated vsize: 4481288 KiB
Current children cumulated memory: 3998408 KiB
[startup+3507.2 s]
/proc/loadavg: 4.15 4.23 4.25 5/266 73529
/proc/meminfo: memFree=1884556/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
[pid=73143] ppid=73126 vsize=4477096 memory=3995464 CPUtime=3403.11 cores=5,7
/proc/73143/stat : 73143 (roundingsat) S 73126 73126 72765 0 -1 4195840 873082 0 0 0 332633 7678 0 0 20 0 1 0 60344813 4584546304 998866 18446744073709551615 4227072 8923433 140720511610672 140720511607080 140224349878103 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 20074496 140720511613204 140720511613480 140720511613480 140720511619050 25
/proc/73143/statm: 1119274 998866 2400 1147 0 1106701 0
Current children cumulated CPU time: 3405.64 s
Current children cumulated vsize: 4481288 KiB
Current children cumulated memory: 3998408 KiB
[startup+3513.6 s]
/proc/loadavg: 4.30 4.26 4.26 5/267 73535
/proc/meminfo: memFree=6545648/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3516.8 s]
/proc/loadavg: 4.44 4.29 4.27 6/266 73535
/proc/meminfo: memFree=6267628/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3518.4 s]
/proc/loadavg: 4.44 4.29 4.27 4/266 73535
/proc/meminfo: memFree=6090556/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3518.8 s]
/proc/loadavg: 4.44 4.29 4.27 4/266 73535
/proc/meminfo: memFree=6090556/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3519.2 s]
/proc/loadavg: 4.44 4.29 4.27 5/266 73535
/proc/meminfo: memFree=6117656/131382112 swapFree=33005784/33010684
[pid=73126] ppid=73122 vsize=4192 memory=2944 CPUtime=2.53 cores=5,7
/proc/73126/stat : 73126 (run-opt-break-l) S 73122 73126 72765 0 -1 4194304 242 46744 0 0 0 0 231 22 20 0 1 0 60344552 4292608 736 18446744073709551615 94245014794240 94245015688773 140733943734384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94245015927824 94245015975568 94245019746304 140733943740693 140733943740894 140733943740894 140733943746496 0
/proc/73126/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 153
Real time (s): 3519.27
CPU time (s): 3407.69
CPU user time (s): 3328.75
CPU system time (s): 78.9383
CPU usage (%): 96.8294
Max. virtual memory (cumulated for all children) (KiB): 4508648
Max. memory (cumulated for all children) (KiB): 4014724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3328.75
system time used= 78.9383
maximum resident set size= 4022788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 920079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204827864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201156
involuntary context switches= 41705
# summary of solver processes directly reported to runsolver:
# pid: 73126
# total CPU time (s): 3407.69
# total CPU user time (s): 3328.75
# total CPU system time (s): 78.9383
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0292 second user time and 37.8419 second system time
The end
Begin job on nodeC007 at 2025-07-02 10:57:34
IDJOB=4504761
IDBENCH=155675
IDSOLVER=3360
FILE ID=nodeC007/4504761-1751446654
RUNJOBID= nodeC007-1751443245-72778
SLURM_JOB_ID= 9598417
Free space on /tmp= 431488 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_4_mh_ic.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504761-1751446654/watcher-4504761-1751446654 -o /tmp/evaluation-result-4504761-1751446654/solver-4504761-1751446654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751443245-72778 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4504761-1751446654.opb PROOFDIR/proof-4504761-1751446654
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c58a3671c6a952d1c163a29e0b4e832b
RANDOM SEED=1897584906
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 : 3663.187
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 : 3591.604
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.267
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 : 1197.547
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 : 3592.725
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.620
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.183
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 : 3491.834
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: 68950900 kB
MemAvailable: 113397504 kB
Buffers: 16 kB
Cached: 44949500 kB
SwapCached: 216 kB
Active: 16579964 kB
Inactive: 44719020 kB
Active(anon): 16313824 kB
Inactive(anon): 49160 kB
Active(file): 266140 kB
Inactive(file): 44669860 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 989340 kB
Writeback: 0 kB
AnonPages: 16352380 kB
Mapped: 107508 kB
Shmem: 13492 kB
KReclaimable: 571920 kB
Slab: 698604 kB
SReclaimable: 571920 kB
SUnreclaim: 126684 kB
KernelStack: 4176 kB
PageTables: 36984 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 19260928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149640 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7120896 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= 431268 MiB
End job on nodeC007 at 2025-07-02 11:56:14