0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4532606-1752683080.opb'
0.09/0.20 c read 12.67MB (190.26ms)
0.09/0.20 c [cnf: #variables 126385 #clauses 286379 #duplicates 595 #arr 982485]
0.09/0.20 c output proof to '/tmp/proof-4532606-1752683080'
0.09/0.20 c
0.09/0.20 c make graph and approximate orbits
0.48/0.52 c [group: #orbits ~= 42820] (314.56ms)
0.48/0.52 c
0.48/0.52 c detect special group actions
0.48/0.52 c probe for Johnson action (limit=64)
0.48/0.52 c probe for row-column symmetry (limit=64, splits=16.78M)
0.48/0.55 c probe for row symmetry (limit=64, splits=16.78M)
0.48/0.55 c found row 35x2, generating row predicate
0.48/0.56 c found row 4x2, generating row predicate
0.48/0.56 c (49.03ms)
0.48/0.56 c
0.48/0.56 c detect symmetries on remainder
0.48/0.57 c [graph: #vertices 916904 #edges 2973250]
0.48/0.57 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.77/0.82 c [group: #symmetries 1.78*10^1972 #generators 3018] (257.55ms)
0.77/0.82 c
0.77/0.82 c optimize generators (opt_passes=64, conjugate_limit=256)
0.77/0.83 c ran it=0, +gens=14
1.57/1.64 c con best_support=4, best_gens=2423, +gens=125
1.57/1.64 c (817.70ms)
1.57/1.64 c
1.57/1.64 c finalize break order and special generators
1.57/1.65 c
1.57/1.65 c add generic predicates (break_depth=20)
1.57/1.65 c added predicates for 3157 generators (1.60ms)
1.68/1.74 c
1.68/1.74 c generation finished
1.68/1.74 c [sbp: #constraints 37145 #add_vars 11317]
1.68/1.74 c
1.68/1.74 c write result to 'HOME/instance-4532606-1752683080.opb.pre'
1.68/1.77 c wrote 14.26MB (30.23ms)
1.68/1.77 c ------------------------------------------------------------------
1.68/1.77 c 817.70ms 46.35% optimize_gens
1.68/1.77 c 314.56ms 17.83% approx_orbits
1.68/1.77 c 257.55ms 14.60% detect_generic
1.68/1.77 c 190.26ms 10.78% parse
1.68/1.77 c 96.55ms 5.47% other
1.68/1.77 c 49.03ms 2.78% detect_special
1.68/1.77 c 30.23ms 1.71% output
1.68/1.77 c 6.81ms 0.39% finalize_order
1.68/1.77 c 1.60ms 0.09% break_generic
1.68/1.77 c ───────────────────────────────────────────────
1.68/1.77 c 1764.31ms 100% total
1.68/1.77 c ------------------------------------------------------------------
1.77/1.83 c RoundingSat 2
1.77/1.83 c branch pb25
1.77/1.83 c commit 0f876b3
3.75/3.82 c #variables 137702 #constraints 327052
3.75/3.82 c objective is ce32
3.75/3.82 c initial watched CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
3.75/3.82 c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
3.75/3.82 c bounds - >= -35 @ 1.64099
6.44/6.56 c #Conflicts: 1000 | #Constraints: 328051
6.44/6.56 c bounds 662780759 >= -35 @ 4.22641
6.55/6.64 c bounds 617652151 >= -35 @ 4.30258
6.64/6.75 c bounds 478460546 >= -35 @ 4.41146
6.84/6.90 c bounds 478228056 >= -35 @ 4.55707
6.84/6.97 c bounds 478216061 >= -35 @ 4.62913
6.94/7.04 c bounds 478174248 >= -35 @ 4.6993
7.05/7.11 c bounds 356425562 >= -35 @ 4.75778
7.14/7.21 c bounds 355831698 >= -35 @ 4.86292
7.44/7.54 c bounds 355701202 >= -35 @ 5.18376
7.64/7.73 c bounds 338486034 >= -35 @ 5.36479
7.74/7.80 c bounds 337826035 >= -35 @ 5.44013
8.44/8.58 c bounds 337287100 >= -35 @ 6.21579
8.64/8.72 c bounds 337206623 >= -35 @ 6.3424
8.73/8.87 c bounds 337187932 >= -35 @ 6.4958
8.83/8.96 c bounds 337134689 >= -35 @ 6.57429
8.95/9.03 c bounds 337107504 >= -35 @ 6.65075
9.33/9.47 c bounds 322344983 >= -35 @ 7.08411
9.44/9.55 c bounds 321953412 >= -35 @ 7.15478
9.54/9.64 c bounds 321107280 >= -35 @ 7.24114
9.64/9.74 c bounds 320714197 >= -35 @ 7.34277
9.73/9.81 c bounds 320593019 >= -35 @ 7.41369
9.84/9.92 c bounds 319323962 >= -35 @ 7.51629
10.04/10.12 c bounds 319148238 >= -35 @ 7.7103
10.54/10.62 c bounds 319113494 >= -35 @ 8.19276
12.63/12.75 c bounds 319087083 >= -35 @ 10.2652
12.73/12.83 c bounds 319080446 >= -35 @ 10.3413
12.83/12.96 c bounds 319041949 >= -35 @ 10.4717
13.13/13.23 c bounds 318979364 >= -35 @ 10.7306
13.22/13.30 c bounds 318940867 >= -35 @ 10.805
13.22/13.39 c bounds 318885234 >= -35 @ 10.8923
14.82/14.95 c bounds 308493857 >= -35 @ 12.4065
14.92/15.03 c bounds 308241310 >= -35 @ 12.4824
15.03/15.10 c bounds 308139875 >= -35 @ 12.5574
15.12/15.23 c bounds 307973110 >= -35 @ 12.6753
15.22/15.33 c bounds 307651518 >= -35 @ 12.7754
15.32/15.48 c bounds 306362143 >= -35 @ 12.9227
16.62/16.74 c bounds 306107695 >= -35 @ 14.1511
32.17/32.36 c #Conflicts: 2000 | #Constraints: 329088
32.17/32.36 c INPROCESSING
32.17/32.36 c GARBAGE COLLECT
32.17/32.36 c bounds 305946754 >= -35 @ 29.5414
32.38/32.52 c bounds 305914242 >= -35 @ 29.6976
32.57/32.77 c bounds 305875745 >= -35 @ 29.9385
34.98/35.15 c bounds 270210279 >= -35 @ 32.2804
37.97/38.12 c bounds 270207615 >= -35 @ 35.1966
38.26/38.43 c bounds 270123869 >= -35 @ 35.4994
39.15/39.34 c bounds 270097709 >= -35 @ 36.3886
41.85/42.07 c bounds 269670590 >= -35 @ 39.0483
42.35/42.51 c bounds 269639056 >= -35 @ 39.4812
43.35/43.55 c bounds 269581274 >= -35 @ 40.49
45.84/46.04 c #Conflicts: 3000 | #Constraints: 329071
45.84/46.04 c bounds 269295490 >= -35 @ 42.929
45.94/46.13 c bounds 268943396 >= -35 @ 43.0194
46.14/46.32 c bounds 268932083 >= -35 @ 43.2008
46.33/46.53 c bounds 268929908 >= -35 @ 43.4131
47.63/47.89 c bounds 268790543 >= -35 @ 44.7416
47.94/48.15 c bounds 268688567 >= -35 @ 44.999
48.04/48.24 c bounds 268678219 >= -35 @ 45.0816
49.94/50.13 c bounds 267997341 >= -35 @ 46.9367
57.81/58.07 c bounds 266723471 >= -35 @ 54.6797
59.40/59.60 c bounds 266608370 >= -35 @ 56.1785
59.51/59.71 c bounds 266565367 >= -35 @ 56.2803
59.60/59.80 c bounds 266393643 >= -35 @ 56.3698
59.70/59.99 c bounds 266369001 >= -35 @ 56.5535
59.80/60.08 c bounds 266294128 >= -35 @ 56.6505
60.60/60.81 c bounds 266234227 >= -35 @ 57.3552
60.81/61.00 c bounds 265182877 >= -35 @ 57.5451
60.91/61.13 c bounds 263648757 >= -35 @ 57.6658
61.39/61.67 c bounds 263562248 >= -35 @ 58.2017
61.50/61.76 c bounds 263537249 >= -35 @ 58.2885
61.70/61.94 c bounds 263488587 >= -35 @ 58.4645
67.89/68.15 c #Conflicts: 4000 | #Constraints: 330091
67.89/68.15 c INPROCESSING
67.89/68.15 c GARBAGE COLLECT
67.89/68.15 c bounds 261027687 >= -35 @ 64.5775
67.98/68.25 c bounds 260981118 >= -35 @ 64.676
68.98/69.28 c bounds 260930458 >= -35 @ 65.6853
75.06/75.34 c bounds 260672856 >= -35 @ 71.6274
75.17/75.42 c bounds 260651213 >= -35 @ 71.7041
108.78/109.11 c #Conflicts: 5000 | #Constraints: 329490
108.78/109.11 c #Conflicts: 6000 | #Constraints: 330490
108.78/109.11 c bounds 259818096 >= -35 @ 104.68
108.87/109.21 c bounds 259791563 >= -35 @ 104.775
108.97/109.33 c bounds 259788210 >= -35 @ 104.893
110.17/110.51 c bounds 259758215 >= -35 @ 106.048
111.47/111.89 c bounds 259708508 >= -35 @ 107.396
128.52/128.94 c INPROCESSING
128.52/128.94 c GARBAGE COLLECT
128.52/128.94 c bounds 259652452 >= -35 @ 124.319
135.90/136.39 c #Conflicts: 7000 | #Constraints: 329504
135.90/136.39 c bounds 259116842 >= -35 @ 131.603
155.35/155.81 c #Conflicts: 8000 | #Constraints: 330506
155.35/155.81 c bounds 259112596 >= -35 @ 150.651
155.56/156.07 c bounds 259026728 >= -35 @ 150.909
155.66/156.19 c bounds 259021286 >= -35 @ 151.028
155.95/156.40 c bounds 258999201 >= -35 @ 151.234
191.95/192.52 c #Conflicts: 9000 | #Constraints: 331510
191.95/192.52 c INPROCESSING
191.95/192.52 c GARBAGE COLLECT
191.95/192.52 c bounds 258961721 >= -35 @ 186.574
211.80/212.41 c #Conflicts: 10000 | #Constraints: 330220
211.80/212.41 c bounds 258912906 >= -35 @ 206.086
212.00/212.62 c bounds 258886373 >= -35 @ 206.287
214.60/215.26 c bounds 258860143 >= -35 @ 208.884
215.09/215.76 c bounds 257450638 >= -35 @ 209.369
215.29/215.94 c bounds 257407454 >= -35 @ 209.552
215.89/216.55 c bounds 257367271 >= -35 @ 210.142
222.87/223.54 c bounds 257309652 >= -35 @ 217.027
229.65/230.31 c #Conflicts: 11000 | #Constraints: 331227
229.65/230.31 c bounds 255934336 >= -35 @ 223.679
229.75/230.41 c bounds 255930983 >= -35 @ 223.772
229.85/230.58 c bounds 255919891 >= -35 @ 223.946
230.15/230.86 c bounds 255917874 >= -35 @ 224.221
231.25/231.92 c bounds 255308625 >= -35 @ 225.258
237.23/237.93 c bounds 255288412 >= -35 @ 231.138
249.69/250.46 c #Conflicts: 12000 | #Constraints: 332233
249.69/250.46 c INPROCESSING
249.69/250.46 c GARBAGE COLLECT
249.69/250.46 c bounds 255282484 >= -35 @ 243.448
250.59/251.39 c bounds 255253577 >= -35 @ 244.365
253.59/254.31 c bounds 254355316 >= -35 @ 247.23
253.69/254.43 c bounds 254330364 >= -35 @ 247.344
254.09/254.83 c bounds 254264150 >= -35 @ 247.738
254.19/254.93 c bounds 254202110 >= -35 @ 247.84
254.29/255.04 c bounds 254128539 >= -35 @ 247.939
254.49/255.20 c bounds 254112479 >= -35 @ 248.105
257.28/258.05 c bounds 254109126 >= -35 @ 250.918
257.98/258.77 c bounds 254103198 >= -35 @ 251.622
283.60/284.47 c #Conflicts: 13000 | #Constraints: 330699
283.60/284.47 c bounds 254057863 >= -35 @ 276.862
283.70/284.59 c bounds 254031330 >= -35 @ 276.983
285.10/285.95 c bounds 253981936 >= -35 @ 278.302
285.31/286.12 c bounds 253912846 >= -35 @ 278.467
285.80/286.66 c bounds 253867745 >= -35 @ 278.994
285.90/286.76 c bounds 253856839 >= -35 @ 279.092
286.00/286.89 c bounds 253846102 >= -35 @ 279.222
286.10/286.99 c bounds 253835196 >= -35 @ 279.32
286.30/287.11 c bounds 253769155 >= -35 @ 279.44
307.15/308.05 c #Conflicts: 14000 | #Constraints: 331708
307.15/308.05 c bounds 253141009 >= -35 @ 300.012
307.25/308.16 c bounds 253113641 >= -35 @ 300.12
307.45/308.34 c bounds 253073559 >= -35 @ 300.291
307.54/308.45 c bounds 253040035 >= -35 @ 300.397
308.25/309.15 c bounds 252778458 >= -35 @ 301.084
309.84/310.79 c bounds 252477451 >= -35 @ 302.696
312.03/312.95 c bounds 252455808 >= -35 @ 304.826
312.83/313.75 c bounds 164944881 >= -35 @ 305.62
313.03/313.93 c bounds 164921234 >= -35 @ 305.791
313.23/314.15 c bounds 164916588 >= -35 @ 306.014
313.33/314.27 c bounds 164858841 >= -35 @ 306.13
314.24/315.17 c bounds 161065319 >= -35 @ 307.012
316.22/317.16 c bounds 160797266 >= -35 @ 308.979
316.42/317.32 c bounds 160576068 >= -35 @ 309.14
316.72/317.64 c bounds 160517691 >= -35 @ 309.458
316.92/317.84 c bounds 160451309 >= -35 @ 309.654
317.02/317.97 c bounds 160406356 >= -35 @ 309.784
317.32/318.24 c bounds 160230111 >= -35 @ 310.053
317.42/318.35 c bounds 160185158 >= -35 @ 310.156
348.14/349.19 c #Conflicts: 15000 | #Constraints: 332730
348.14/349.19 c INPROCESSING
348.14/349.19 c GARBAGE COLLECT
348.14/349.19 c bounds 158773339 >= -35 @ 340.667
350.04/351.02 c bounds 130575194 >= -35 @ 342.451
350.04/351.09 c bounds 130571495 >= -35 @ 342.522
350.33/351.32 c bounds 130379069 >= -35 @ 342.75
350.53/351.52 c bounds 127709938 >= -35 @ 342.938
350.63/351.61 c bounds 127706239 >= -35 @ 343.028
351.43/352.48 c bounds 127641131 >= -35 @ 343.887
352.53/353.52 c bounds 127599877 >= -35 @ 344.916
352.63/353.64 c bounds 127596178 >= -35 @ 345.031
355.03/356.04 c bounds 127118274 >= -35 @ 347.393
369.48/370.56 c #Conflicts: 16000 | #Constraints: 330918
369.48/370.56 c bounds 127089077 >= -35 @ 361.666
369.59/370.64 c bounds 127085378 >= -35 @ 361.744
369.78/370.89 c bounds 127040425 >= -35 @ 361.993
370.18/371.26 c bounds 126957452 >= -35 @ 362.357
371.58/372.67 c bounds 126407706 >= -35 @ 363.741
372.68/373.71 c bounds 84976025 >= -35 @ 364.769
372.77/373.83 c bounds 84749987 >= -35 @ 364.885
372.87/373.95 c bounds 83837885 >= -35 @ 364.995
372.98/374.04 c bounds 83803227 >= -35 @ 365.082
376.46/377.56 c bounds 83515580 >= -35 @ 368.533
376.86/377.98 c bounds 83478186 >= -35 @ 368.95
377.47/378.59 c bounds 83150713 >= -35 @ 369.54
377.66/378.74 c bounds 81971815 >= -35 @ 369.688
378.06/379.17 c bounds 81904514 >= -35 @ 370.098
378.86/379.98 c bounds 81890915 >= -35 @ 370.9
386.14/387.21 c bounds 81845979 >= -35 @ 377.982
387.24/388.31 c bounds 81511407 >= -35 @ 379.069
387.34/388.44 c bounds 81170676 >= -35 @ 379.191
448.48/449.79 c #Conflicts: 17000 | #Constraints: 331938
448.48/449.79 c #Conflicts: 18000 | #Constraints: 332941
448.48/449.79 c INPROCESSING
448.48/449.79 c GARBAGE COLLECT
448.48/449.79 c #Conflicts: 19000 | #Constraints: 330737
448.48/449.79 c bounds 81141447 >= -35 @ 439.416
448.57/449.88 c bounds 80947510 >= -35 @ 439.502
448.67/449.97 c bounds 80944157 >= -35 @ 439.587
450.96/452.20 c bounds 80851831 >= -35 @ 441.786
454.46/455.75 c bounds 80675487 >= -35 @ 445.283
454.56/455.88 c bounds 80675298 >= -35 @ 445.405
454.76/456.01 c bounds 80481361 >= -35 @ 445.535
455.56/456.83 c bounds 80417535 >= -35 @ 446.331
455.86/457.13 c bounds 80417346 >= -35 @ 446.626
478.70/480.07 c #Conflicts: 20000 | #Constraints: 331746
478.70/480.07 c bounds 67224797 >= -35 @ 469.107
479.09/480.40 c bounds 63727299 >= -35 @ 469.434
479.19/480.50 c bounds 54161393 >= -35 @ 469.526
479.30/480.62 c bounds 54016857 >= -35 @ 469.644
479.39/480.71 c bounds 53503701 >= -35 @ 469.736
479.49/480.82 c bounds 53282351 >= -35 @ 469.843
479.59/480.91 c bounds 52828722 >= -35 @ 469.933
479.70/481.03 c bounds 52593631 >= -35 @ 470.046
480.80/482.17 c bounds 52578598 >= -35 @ 471.168
482.09/483.47 c bounds 52563961 >= -35 @ 472.45
482.18/483.58 c bounds 52561296 >= -35 @ 472.562
482.38/483.77 c bounds 52557233 >= -35 @ 472.744
482.48/483.86 c bounds 52519163 >= -35 @ 472.835
482.58/483.95 c bounds 52510136 >= -35 @ 472.924
482.69/484.05 c bounds 52445793 >= -35 @ 473.022
501.23/502.68 c #Conflicts: 21000 | #Constraints: 332761
501.23/502.68 c INPROCESSING
501.23/502.68 c GARBAGE COLLECT
501.23/502.68 c bounds 52427819 >= -35 @ 491.25
501.33/502.77 c bounds 52387726 >= -35 @ 491.331
501.43/502.85 c bounds 52362119 >= -35 @ 491.406
501.64/503.06 c bounds 52223405 >= -35 @ 491.612
501.73/503.14 c bounds 52223177 >= -35 @ 491.686
502.03/503.43 c bounds 51847795 >= -35 @ 491.968
502.13/503.55 c bounds 51819760 >= -35 @ 492.088
502.23/503.64 c bounds 51815609 >= -35 @ 492.17
507.12/508.53 c bounds 51815338 >= -35 @ 496.965
519.59/521.05 c #Conflicts: 22000 | #Constraints: 330214
519.59/521.05 c bounds 49532838 >= -35 @ 509.26
519.69/521.15 c bounds 49529433 >= -35 @ 509.351
519.79/521.26 c bounds 49528057 >= -35 @ 509.46
520.78/522.25 c bounds 49525113 >= -35 @ 510.431
521.07/522.52 c bounds 49521095 >= -35 @ 510.692
522.27/523.74 c bounds 40357536 >= -35 @ 511.894
522.38/523.84 c bounds 40330046 >= -35 @ 511.988
522.68/524.13 c bounds 40055779 >= -35 @ 512.269
524.27/525.74 c bounds 35432956 >= -35 @ 513.839
524.37/525.82 c bounds 35411838 >= -35 @ 513.92
524.47/525.92 c bounds 35385724 >= -35 @ 514.019
524.57/526.08 c bounds 35376143 >= -35 @ 514.173
524.97/526.40 c bounds 33590089 >= -35 @ 514.486
525.47/526.91 c bounds 33518049 >= -35 @ 514.985
525.68/527.19 c bounds 33505972 >= -35 @ 515.253
525.77/527.27 c bounds 33479858 >= -35 @ 515.335
527.17/528.61 c bounds 33057916 >= -35 @ 516.654
554.79/556.32 c #Conflicts: 23000 | #Constraints: 331231
554.79/556.32 c #Conflicts: 24000 | #Constraints: 332231
554.79/556.32 c bounds 32945752 >= -35 @ 543.866
555.38/556.97 c bounds 32934556 >= -35 @ 544.512
557.98/559.51 c bounds 31851947 >= -35 @ 547.013
558.08/559.63 c bounds 30892435 >= -35 @ 547.129
559.18/560.76 c bounds 30712619 >= -35 @ 548.237
559.48/561.02 c bounds 30615575 >= -35 @ 548.49
559.68/561.20 c bounds 30373740 >= -35 @ 548.671
560.37/561.99 c bounds 30370317 >= -35 @ 549.441
565.26/566.89 c bounds 30321006 >= -35 @ 554.281
567.16/568.71 c bounds 30278019 >= -35 @ 556.063
586.60/588.23 c #Conflicts: 25000 | #Constraints: 333242
586.60/588.23 c INPROCESSING
586.60/588.23 c GARBAGE COLLECT
586.60/588.23 c bounds 24224334 >= -35 @ 575.19
586.70/588.31 c bounds 23802614 >= -35 @ 575.264
586.80/588.40 c bounds 23771130 >= -35 @ 575.354
587.00/588.68 c bounds 21667159 >= -35 @ 575.619
587.10/588.75 c bounds 21666073 >= -35 @ 575.693
587.20/588.88 c bounds 21651527 >= -35 @ 575.816
588.60/590.28 c bounds 21602766 >= -35 @ 577.185
591.99/593.63 c bounds 21595108 >= -35 @ 580.463
593.69/595.34 c bounds 21582888 >= -35 @ 582.154
594.28/595.90 c bounds 21388595 >= -35 @ 582.705
595.39/597.03 c bounds 20714701 >= -35 @ 583.818
595.48/597.13 c bounds 20615860 >= -35 @ 583.92
595.57/597.26 c bounds 20588437 >= -35 @ 584.041
595.98/597.66 c bounds 20584954 >= -35 @ 584.434
596.27/597.92 c bounds 19658657 >= -35 @ 584.696
598.57/600.28 c bounds 18829811 >= -35 @ 586.994
598.67/600.35 c bounds 18790550 >= -35 @ 587.07
616.52/618.29 c #Conflicts: 26000 | #Constraints: 330302
616.52/618.29 c bounds 18731964 >= -35 @ 604.662
616.62/618.37 c bounds 18730584 >= -35 @ 604.746
616.82/618.59 c bounds 18660541 >= -35 @ 604.957
616.92/618.68 c bounds 18569663 >= -35 @ 605.042
617.02/618.79 c bounds 18513776 >= -35 @ 605.152
617.72/619.48 c bounds 18322344 >= -35 @ 605.826
617.82/619.57 c bounds 18257362 >= -35 @ 605.911
623.21/624.97 c bounds 18073670 >= -35 @ 611.207
623.31/625.07 c bounds 18045759 >= -35 @ 611.304
623.50/625.23 c bounds 18030127 >= -35 @ 611.459
623.60/625.33 c bounds 17999465 >= -35 @ 611.551
623.71/625.44 c bounds 17934483 >= -35 @ 611.667
624.10/625.82 c bounds 17835642 >= -35 @ 612.035
629.79/631.52 c #Conflicts: 27000 | #Constraints: 331315
629.79/631.52 c bounds 17728992 >= -35 @ 617.62
629.98/631.74 c bounds 17708778 >= -35 @ 617.828
636.37/638.13 c bounds 17702978 >= -35 @ 624.113
636.46/638.28 c bounds 17623182 >= -35 @ 624.254
639.26/641.03 c bounds 17398756 >= -35 @ 626.967
640.26/642.09 c bounds 17398331 >= -35 @ 628.004
640.37/642.19 c bounds 17332250 >= -35 @ 628.097
648.13/649.96 c bounds 17300778 >= -35 @ 635.727
648.34/650.17 c bounds 17264206 >= -35 @ 635.935
648.84/650.66 c bounds 17256708 >= -35 @ 636.417
649.04/650.89 c bounds 17012690 >= -35 @ 636.642
649.43/651.27 c bounds 16834766 >= -35 @ 637.02
649.83/651.64 c bounds 16834675 >= -35 @ 637.385
649.93/651.77 c bounds 16784595 >= -35 @ 637.51
651.42/653.25 c bounds 16549898 >= -35 @ 638.966
652.42/654.26 c bounds 16383832 >= -35 @ 639.959
653.52/655.34 c #Conflicts: 28000 | #Constraints: 332337
653.52/655.34 c bounds 15960929 >= -35 @ 641.014
655.41/657.21 c bounds 15904624 >= -35 @ 642.853
655.51/657.33 c bounds 15845279 >= -35 @ 642.968
659.00/660.81 c bounds 15823760 >= -35 @ 646.38
670.37/672.25 c bounds 15814765 >= -35 @ 657.7
670.48/672.35 c bounds 15804524 >= -35 @ 657.792
670.68/672.53 c bounds 15768290 >= -35 @ 657.972
671.07/672.91 c bounds 15755420 >= -35 @ 658.342
671.18/673.04 c bounds 15696653 >= -35 @ 658.477
671.37/673.21 c bounds 15597812 >= -35 @ 658.639
671.47/673.35 c bounds 15570389 >= -35 @ 658.773
671.57/673.44 c bounds 15568684 >= -35 @ 658.868
672.87/674.75 c bounds 15212004 >= -35 @ 660.149
672.97/674.85 c bounds 15209614 >= -35 @ 660.246
673.37/675.22 c bounds 15145332 >= -35 @ 660.604
673.46/675.32 c bounds 15122593 >= -35 @ 660.7
673.86/675.78 c bounds 15098857 >= -35 @ 661.147
674.76/676.64 c bounds 15030535 >= -35 @ 661.981
675.36/677.20 c bounds 14997674 >= -35 @ 662.531
683.25/685.14 c bounds 14981179 >= -35 @ 670.332
686.53/688.45 c bounds 14845154 >= -35 @ 673.557
687.72/689.67 c bounds 14531754 >= -35 @ 674.751
688.32/690.21 c bounds 13832472 >= -35 @ 675.282
688.43/690.31 c bounds 13810706 >= -35 @ 675.372
706.37/708.34 c #Conflicts: 29000 | #Constraints: 333366
706.37/708.34 c INPROCESSING
706.37/708.34 c GARBAGE COLLECT
706.37/708.34 c rational objective 1.02792e+06
800.92/803.17 c #Conflicts: 30000 | #Constraints: 330023
800.92/803.17 c #Conflicts: 31000 | #Constraints: 331023
800.92/803.17 c #Conflicts: 32000 | #Constraints: 332023
800.92/803.17 c #Conflicts: 33000 | #Constraints: 333023
800.92/803.17 c INPROCESSING
800.92/803.17 c GARBAGE COLLECT
800.92/803.17 c bounds 13795555 >= -35 @ 785.933
809.19/811.46 c bounds 13769593 >= -35 @ 794.042
809.59/811.87 c bounds 13768423 >= -35 @ 794.45
810.19/812.40 c bounds 13734243 >= -35 @ 794.972
817.97/820.26 c bounds 12959993 >= -35 @ 802.651
822.87/825.16 c bounds 12909490 >= -35 @ 807.418
870.33/872.77 c #Conflicts: 34000 | #Constraints: 330261
870.33/872.77 c #Conflicts: 35000 | #Constraints: 331261
870.33/872.77 c bounds 12663891 >= -35 @ 853.927
1043.67/1046.55 c #Conflicts: 36000 | #Constraints: 332262
1043.67/1046.55 c #Conflicts: 37000 | #Constraints: 333264
1043.67/1046.55 c INPROCESSING
1043.67/1046.55 c GARBAGE COLLECT
1043.67/1046.55 c #Conflicts: 38000 | #Constraints: 330209
1043.67/1046.55 c #Conflicts: 39000 | #Constraints: 331211
1043.67/1046.55 c #Conflicts: 40000 | #Constraints: 332216
1043.67/1046.55 c #Conflicts: 41000 | #Constraints: 333223
1043.67/1046.55 c INPROCESSING
1043.67/1046.55 c GARBAGE COLLECT
1043.67/1046.55 c bounds 12663800 >= -35 @ 1023.95
1043.96/1046.89 c bounds 11752186 >= -35 @ 1024.28
1044.36/1047.20 c bounds 10590428 >= -35 @ 1024.59
1067.79/1070.76 c #Conflicts: 42000 | #Constraints: 330007
1067.79/1070.76 c bounds 10293690 >= -35 @ 1047.64
1068.10/1071.09 c bounds 10237209 >= -35 @ 1047.96
1068.30/1071.26 c bounds 10225385 >= -35 @ 1048.13
1138.71/1141.81 c #Conflicts: 43000 | #Constraints: 331013
1138.71/1141.81 c #Conflicts: 44000 | #Constraints: 332016
1138.71/1141.81 c bounds 10168485 >= -35 @ 1117.02
1153.06/1156.25 c #Conflicts: 45000 | #Constraints: 333020
1153.06/1156.25 c bounds 10036562 >= -35 @ 1131.1
1153.27/1156.40 c bounds 9974204 >= -35 @ 1131.25
1153.37/1156.53 c bounds 9954477 >= -35 @ 1131.37
1153.46/1156.66 c bounds 9796986 >= -35 @ 1131.5
1153.77/1156.93 c bounds 9757936 >= -35 @ 1131.76
1177.60/1180.80 c #Conflicts: 46000 | #Constraints: 334028
1177.60/1180.80 c INPROCESSING
1177.60/1180.80 c GARBAGE COLLECT
1177.60/1180.80 c bounds 9755828 >= -35 @ 1155.02
1177.99/1181.27 c bounds 9655542 >= -35 @ 1155.48
1180.19/1183.43 c bounds 9589798 >= -35 @ 1157.62
1187.67/1190.99 c bounds 9572197 >= -35 @ 1165
1264.27/1267.75 c #Conflicts: 47000 | #Constraints: 330466
1264.27/1267.75 c #Conflicts: 48000 | #Constraints: 331466
1264.27/1267.75 c #Conflicts: 49000 | #Constraints: 332466
1264.27/1267.75 c bounds 9568413 >= -35 @ 1240.06
1321.41/1325.07 c #Conflicts: 50000 | #Constraints: 333467
1321.41/1325.07 c #Conflicts: 51000 | #Constraints: 334467
1321.41/1325.07 c INPROCESSING
1321.41/1325.07 c GARBAGE COLLECT
1321.41/1325.07 c rational objective 1.02844e+06
1473.20/1477.24 c #Conflicts: 52000 | #Constraints: 330869
1473.20/1477.24 c #Conflicts: 53000 | #Constraints: 331870
1473.20/1477.24 c #Conflicts: 54000 | #Constraints: 332872
1473.20/1477.24 c #Conflicts: 55000 | #Constraints: 333874
1473.20/1477.24 c #Conflicts: 56000 | #Constraints: 334876
1473.20/1477.24 c INPROCESSING
1473.20/1477.24 c GARBAGE COLLECT
1473.20/1477.24 c bounds 9547177 >= -35 @ 1445.15
1582.70/1587.04 c #Conflicts: 57000 | #Constraints: 331076
1582.70/1587.04 c #Conflicts: 58000 | #Constraints: 332078
1582.70/1587.04 c #Conflicts: 59000 | #Constraints: 333085
1582.70/1587.04 c bounds 9513199 >= -35 @ 1552.55
1591.18/1595.57 c bounds 9392018 >= -35 @ 1560.87
1657.30/1661.82 c #Conflicts: 60000 | #Constraints: 334091
1657.30/1661.82 c #Conflicts: 61000 | #Constraints: 335091
1657.30/1661.82 c INPROCESSING
1657.30/1661.82 c GARBAGE COLLECT
1657.30/1661.82 c rational objective 1.02887e+06
1695.68/1700.33 c #Conflicts: 62000 | #Constraints: 331088
1695.68/1700.33 c #Conflicts: 63000 | #Constraints: 332088
1695.68/1700.33 c bounds 9356782 >= -35 @ 1663.49
1695.99/1700.67 c bounds 9278057 >= -35 @ 1663.82
1696.58/1701.27 c bounds 9225987 >= -35 @ 1664.4
1698.98/1703.60 c bounds 9196323 >= -35 @ 1666.69
1699.77/1704.44 c bounds 9167317 >= -35 @ 1667.51
1699.97/1704.60 c bounds 9107303 >= -35 @ 1667.67
1700.27/1704.96 c bounds 8903722 >= -35 @ 1668.03
1700.58/1705.28 c bounds 8795133 >= -35 @ 1668.34
1700.87/1705.54 c bounds 8713905 >= -35 @ 1668.59
1704.26/1708.90 c bounds 8702120 >= -35 @ 1671.89
1705.46/1710.14 c #Conflicts: 64000 | #Constraints: 333098
1705.46/1710.14 c bounds 8614565 >= -35 @ 1673.1
1707.15/1711.86 c bounds 8603068 >= -35 @ 1674.79
1707.25/1711.97 c bounds 8577882 >= -35 @ 1674.89
1708.35/1713.07 c bounds 8500536 >= -35 @ 1675.97
1712.03/1716.76 c bounds 8499477 >= -35 @ 1679.57
1719.81/1724.54 c bounds 8496153 >= -35 @ 1687.19
1726.50/1731.29 c #Conflicts: 65000 | #Constraints: 334105
1726.50/1731.29 c bounds 8450505 >= -35 @ 1693.79
1741.65/1746.46 c bounds 8309057 >= -35 @ 1708.65
1741.95/1746.72 c bounds 8146655 >= -35 @ 1708.9
1742.15/1746.97 c bounds 8131664 >= -35 @ 1709.14
1742.86/1747.68 c bounds 8097749 >= -35 @ 1709.83
1955.78/1961.15 c #Conflicts: 66000 | #Constraints: 335110
1955.78/1961.15 c INPROCESSING
1955.78/1961.15 c GARBAGE COLLECT
1955.78/1961.15 c #Conflicts: 67000 | #Constraints: 330856
1955.78/1961.15 c #Conflicts: 68000 | #Constraints: 331943
1955.78/1961.15 c #Conflicts: 69000 | #Constraints: 332943
1955.78/1961.15 c #Conflicts: 70000 | #Constraints: 333943
1955.78/1961.15 c #Conflicts: 71000 | #Constraints: 334944
1955.78/1961.15 c #Conflicts: 72000 | #Constraints: 335944
1955.78/1961.15 c INPROCESSING
1955.78/1961.15 c GARBAGE COLLECT
1955.78/1961.15 c #Conflicts: 73000 | #Constraints: 331481
1955.78/1961.15 c bounds 8067540 >= -35 @ 1919.04
1959.77/1965.19 c bounds 7988594 >= -35 @ 1923
1962.46/1967.88 c bounds 7975424 >= -35 @ 1925.63
2095.09/2100.89 c #Conflicts: 74000 | #Constraints: 332484
2095.09/2100.89 c #Conflicts: 75000 | #Constraints: 333484
2095.09/2100.89 c #Conflicts: 76000 | #Constraints: 334484
2095.09/2100.89 c #Conflicts: 77000 | #Constraints: 335485
2095.09/2100.89 c #Conflicts: 78000 | #Constraints: 336531
2095.09/2100.89 c INPROCESSING
2095.09/2100.89 c GARBAGE COLLECT
2095.09/2100.89 c rational objective 1.02989e+06
2098.49/2104.21 c bounds 6484230 >= -35 @ 2059.69
2098.68/2104.45 c bounds 6096870 >= -35 @ 2059.92
2099.08/2104.83 c bounds 5989832 >= -35 @ 2060.29
2107.65/2113.47 c bounds 5964588 >= -35 @ 2068.73
2108.06/2113.80 c bounds 5949738 >= -35 @ 2069.05
2108.26/2114.03 c bounds 5857550 >= -35 @ 2069.28
2124.71/2130.50 c #Conflicts: 79000 | #Constraints: 331900
2124.71/2130.50 c bounds 5727906 >= -35 @ 2085.42
2125.11/2130.94 c bounds 5686943 >= -35 @ 2085.86
2369.55/2376.09 c #Conflicts: 80000 | #Constraints: 332922
2369.55/2376.09 c #Conflicts: 81000 | #Constraints: 333922
2369.55/2376.09 c #Conflicts: 82000 | #Constraints: 334922
2369.55/2376.09 c #Conflicts: 83000 | #Constraints: 335922
2369.55/2376.09 c #Conflicts: 84000 | #Constraints: 336922
2369.55/2376.09 c INPROCESSING
2369.55/2376.09 c GARBAGE COLLECT
2369.55/2376.09 c #Conflicts: 85000 | #Constraints: 331958
2369.55/2376.09 c #Conflicts: 86000 | #Constraints: 332958
2369.55/2376.09 c #Conflicts: 87000 | #Constraints: 333959
2369.55/2376.09 c #Conflicts: 88000 | #Constraints: 334959
2369.55/2376.09 c #Conflicts: 89000 | #Constraints: 335959
2369.55/2376.09 c #Conflicts: 90000 | #Constraints: 336959
2369.55/2376.09 c INPROCESSING
2369.55/2376.09 c GARBAGE COLLECT
2369.55/2376.09 c bounds 5591412 >= -35 @ 2325.11
2369.94/2376.49 c bounds 5590019 >= -35 @ 2325.49
2370.65/2377.11 c bounds 5580305 >= -35 @ 2326.09
2371.65/2378.12 c bounds 5552431 >= -35 @ 2327.07
2372.24/2378.76 c bounds 5450233 >= -35 @ 2327.7
2375.23/2381.78 c bounds 5371507 >= -35 @ 2330.66
2376.53/2383.06 c bounds 5367699 >= -35 @ 2331.92
2376.72/2383.28 c bounds 5299848 >= -35 @ 2332.13
2380.91/2387.40 c bounds 5249710 >= -35 @ 2336.15
2382.91/2389.41 c bounds 5182879 >= -35 @ 2338.12
2383.21/2389.73 c bounds 5025493 >= -35 @ 2338.43
2398.47/2405.05 c #Conflicts: 91000 | #Constraints: 331956
2398.47/2405.05 c bounds 4797954 >= -35 @ 2353.36
2464.29/2471.07 c #Conflicts: 92000 | #Constraints: 332957
2464.29/2471.07 c #Conflicts: 93000 | #Constraints: 333957
2464.29/2471.07 c bounds 4725501 >= -35 @ 2418.03
2590.22/2597.37 c #Conflicts: 94000 | #Constraints: 334960
2590.22/2597.37 c #Conflicts: 95000 | #Constraints: 335962
2590.22/2597.37 c #Conflicts: 96000 | #Constraints: 336965
2590.22/2597.37 c INPROCESSING
2590.22/2597.37 c GARBAGE COLLECT
2590.22/2597.37 c rational objective 1.03254e+06
2772.82/2780.55 c #Conflicts: 97000 | #Constraints: 331640
2772.82/2780.55 c #Conflicts: 98000 | #Constraints: 332645
2772.82/2780.55 c #Conflicts: 99000 | #Constraints: 333937
2772.82/2780.55 c #Conflicts: 100000 | #Constraints: 335352
2772.82/2780.55 c bounds 4718406 >= -35 @ 2721.47
2854.09/2862.07 c #Conflicts: 101000 | #Constraints: 336630
2854.09/2862.07 c #Conflicts: 102000 | #Constraints: 337630
2854.09/2862.07 c bounds 4686924 >= -35 @ 2801.48
3070.38/3078.94 c #Conflicts: 103000 | #Constraints: 338631
3070.38/3078.94 c INPROCESSING
3070.38/3078.94 c GARBAGE COLLECT
3070.38/3078.94 c #Conflicts: 104000 | #Constraints: 332708
3070.38/3078.94 c #Conflicts: 105000 | #Constraints: 333708
3070.38/3078.94 c #Conflicts: 106000 | #Constraints: 334708
3070.38/3078.94 c #Conflicts: 107000 | #Constraints: 335708
3070.38/3078.94 c #Conflicts: 108000 | #Constraints: 336708
3070.38/3078.94 c #Conflicts: 109000 | #Constraints: 337708
3070.38/3078.94 c #Conflicts: 110000 | #Constraints: 338708
3070.38/3078.94 c INPROCESSING
3070.38/3078.94 c GARBAGE COLLECT
3070.38/3078.94 c rational objective 1.03327e+06
3082.35/3090.98 c bounds 4657626 >= -35 @ 3024.88
3096.11/3104.73 c bounds 4656233 >= -35 @ 3038.32
3122.94/3131.64 c #Conflicts: 111000 | #Constraints: 332877
3122.94/3131.64 c bounds 4573787 >= -35 @ 3064.64
3267.32/3276.42 c #Conflicts: 112000 | #Constraints: 333878
3267.32/3276.42 c #Conflicts: 113000 | #Constraints: 334878
3267.32/3276.42 c #Conflicts: 114000 | #Constraints: 335878
3267.32/3276.42 c #Conflicts: 115000 | #Constraints: 336878
3267.32/3276.42 c #Conflicts: 116000 | #Constraints: 338014
3267.32/3276.42 c #Conflicts: 117000 | #Constraints: 339271
3267.32/3276.42 c INPROCESSING
3267.32/3276.42 c GARBAGE COLLECT
3267.32/3276.42 c bounds 4552961 >= -35 @ 3205.99
3303.11/3312.34 c #Conflicts: 118000 | #Constraints: 333158
3303.11/3312.34 c bounds 4546003 >= -35 @ 3241.17
1.80/3358.47 HOME/run-opt-break-log.sh: line 3: 137438 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: 63708 MiB (48474 MiB free)
memory of node 1: 64465 MiB (51152 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532606-1752683080/watcher-4532606-1752683080 -o /tmp/evaluation-result-4532606-1752683080/solver-4532606-1752683080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752683038-137170 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532606-1752683080.opb /tmp/proof-4532606-1752683080
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=137423, runsolver pid=137419
[startup+0.100058 s]*
/proc/loadavg: 2.21 0.64 0.27 4/269 137430
/proc/meminfo: memFree=101963928/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137425] ppid=137423 vsize=102436 memory=92840 CPUtime=0.09 cores=5,7
/proc/137425/stat : 137425 (pbsuma) R 137423 137423 137152 0 -1 4194304 6367 0 0 0 7 2 0 0 20 0 1 0 183982587 104894464 23210 18446744073709551615 4210688 4653049 140736803559648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 6975488 140736803567879 140736803568176 140736803568176 140736803573743 0
/proc/137425/statm: 25609 23210 960 108 0 23017 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106628 KiB
Current children cumulated memory: 95912 KiB
[startup+0.205665 s]*
/proc/loadavg: 2.21 0.64 0.27 5/272 137436
/proc/meminfo: memFree=101912948/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137425] ppid=137423 vsize=139416 memory=121496 CPUtime=0.19 cores=5,7
/proc/137425/stat : 137425 (pbsuma) R 137423 137423 137152 0 -1 4194304 12848 0 0 0 16 3 0 0 20 0 1 0 183982587 142761984 30374 18446744073709551615 4210688 4653049 140736803559648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 6975488 140736803567879 140736803568176 140736803568176 140736803573743 0
/proc/137425/statm: 34854 30374 992 108 0 32262 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 143608 KiB
Current children cumulated memory: 124568 KiB
[startup+0.305688 s]*
/proc/loadavg: 2.21 0.64 0.27 5/272 137436
/proc/meminfo: memFree=101779812/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137425] ppid=137423 vsize=284260 memory=220592 CPUtime=0.29 cores=5,7
/proc/137425/stat : 137425 (pbsuma) R 137423 137423 137152 0 -1 4194304 21793 0 0 0 24 5 0 0 20 0 1 0 183982587 291082240 55148 18446744073709551615 4210688 4653049 140736803559648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 6975488 140736803567879 140736803568176 140736803568176 140736803573743 0
/proc/137425/statm: 71065 55148 992 108 0 68473 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 288452 KiB
Current children cumulated memory: 223664 KiB
[startup+0.700208 s]
/proc/loadavg: 2.21 0.64 0.27 5/272 137436
/proc/meminfo: memFree=101662688/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137425] ppid=137423 vsize=499120 memory=356372 CPUtime=0.68 cores=5,7
/proc/137425/stat : 137425 (pbsuma) R 137423 137423 137152 0 -1 4194304 42278 0 0 0 58 10 0 0 20 0 1 0 183982587 511098880 89093 18446744073709551615 4210688 4653049 140736803559648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 6975488 140736803567879 140736803568176 140736803568176 140736803573743 0
/proc/137425/statm: 124780 89093 1024 108 0 122188 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 503312 KiB
Current children cumulated memory: 359444 KiB
[startup+1.50019 s]
/proc/loadavg: 2.21 0.64 0.27 5/272 137437
/proc/meminfo: memFree=101496184/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137425] ppid=137423 vsize=326332 memory=266056 CPUtime=1.47 cores=5,7
/proc/137425/stat : 137425 (pbsuma) R 137423 137423 137152 0 -1 4194304 48085 0 0 0 136 11 0 0 20 0 1 0 183982587 334163968 66514 18446744073709551615 4210688 4653049 140736803559648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 6975488 140736803567879 140736803568176 140736803568176 140736803573743 0
/proc/137425/statm: 81583 66514 1024 108 0 78991 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 330524 KiB
Current children cumulated memory: 269128 KiB
[startup+3.10547 s]
/proc/loadavg: 2.36 0.69 0.29 5/272 137438
/proc/meminfo: memFree=101356628/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=139624 memory=95040 CPUtime=1.26 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 16976 0 0 0 103 23 0 0 20 0 1 0 183982769 142974976 23760 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 34906 23760 1984 1147 0 22332 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 143816 KiB
Current children cumulated memory: 98112 KiB
[startup+6.30018 s]
/proc/loadavg: 2.36 0.69 0.29 5/272 137438
/proc/meminfo: memFree=100782908/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=665000 memory=500716 CPUtime=4.44 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 47547 0 0 0 397 47 0 0 20 0 1 0 183982769 680960000 125179 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 166250 125179 2400 1147 0 153676 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 669192 KiB
Current children cumulated memory: 503788 KiB
[startup+12.7002 s]
/proc/loadavg: 2.49 0.75 0.31 5/272 137438
/proc/meminfo: memFree=99916148/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=756496 memory=577984 CPUtime=10.83 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 62813 0 0 0 1021 62 0 0 20 0 1 0 183982769 774651904 144496 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 189124 144496 2400 1147 0 176550 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 760688 KiB
Current children cumulated memory: 581056 KiB
[startup+25.5002 s]
/proc/loadavg: 3.05 0.96 0.39 5/273 137440
/proc/meminfo: memFree=98670412/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=861516 memory=705584 CPUtime=23.59 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 80960 0 0 0 2278 81 0 0 20 0 1 0 183982769 882192384 176396 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 215379 176396 2400 1147 0 202805 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 865708 KiB
Current children cumulated memory: 708656 KiB
[startup+51.1055 s]
/proc/loadavg: 3.66 1.27 0.51 5/273 137441
/proc/meminfo: memFree=96345332/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=1014600 memory=837436 CPUtime=49.13 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 105741 0 0 0 4788 125 0 0 20 0 1 0 183982769 1038950400 209359 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 253650 209359 2400 1147 0 241076 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1018792 KiB
Current children cumulated memory: 840508 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 1.81 0.74 5/273 137444
/proc/meminfo: memFree=92028844/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=1104208 memory=941724 CPUtime=100.2 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 125759 0 0 0 9802 218 0 0 20 0 1 0 183982769 1130708992 235431 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 276052 235431 2400 1147 0 263478 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1108400 KiB
Current children cumulated memory: 944796 KiB
[startup+162.3 s]
/proc/loadavg: 4.63 2.38 1.00 5/275 137450
/proc/meminfo: memFree=87567920/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=1165552 memory=995988 CPUtime=160.03 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 136336 0 0 0 15702 301 0 0 20 0 1 0 183982769 1193525248 248997 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 291388 248997 2432 1147 0 278814 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1169744 KiB
Current children cumulated memory: 999060 KiB
[startup+222.3 s]
/proc/loadavg: 5.09 2.91 1.27 5/275 137452
/proc/meminfo: memFree=82870204/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=1287480 memory=1058464 CPUtime=219.88 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 145900 0 0 0 21581 407 0 0 20 0 1 0 183982769 1318379520 264616 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 321870 264616 2432 1147 0 309296 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4396812 memory=3864496 CPUtime=3032.08 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 2594106 0 0 0 297723 5485 0 0 20 0 1 0 183982769 4502335488 966124 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 1099203 966124 2432 1147 0 1086629 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 4401004 KiB
Current children cumulated memory: 3867568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.81 4.82 4.70 5/273 137634
/proc/meminfo: memFree=1337776/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4424304 memory=3885908 CPUtime=3091.91 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 2753776 0 0 0 303595 5596 0 0 20 0 1 0 183982769 4530487296 971477 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 1106076 971477 2432 1147 0 1093502 0
Current children cumulated CPU time: 3093.71 s
Current children cumulated vsize: 4428496 KiB
Current children cumulated memory: 3888980 KiB
[startup+3162.3 s]
/proc/loadavg: 4.92 4.87 4.73 5/273 137638
/proc/meminfo: memFree=1328404/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4424304 memory=3886548 CPUtime=3151.76 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 2809904 0 0 0 309453 5723 0 0 20 0 1 0 183982769 4530487296 971637 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 1106076 971637 2432 1147 0 1093502 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 4428496 KiB
Current children cumulated memory: 3889620 KiB
[startup+3222.3 s]
/proc/loadavg: 4.66 4.81 4.72 5/273 137641
/proc/meminfo: memFree=1300596/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4425828 memory=3890132 CPUtime=3211.59 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 2883628 0 0 0 315294 5865 0 0 20 0 1 0 183982769 4532047872 972533 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 1106457 972533 2432 1147 0 1093883 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 4430020 KiB
Current children cumulated memory: 3893204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.58 4.77 4.71 5/276 137702
/proc/meminfo: memFree=54721040/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4430128 memory=3904596 CPUtime=3271.4 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 3008978 0 0 0 321171 5969 0 0 20 0 1 0 183982769 4536451072 976149 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 1107532 976149 2432 1147 0 1094958 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 4434320 KiB
Current children cumulated memory: 3907668 KiB
[startup+3342.3 s]
/proc/loadavg: 4.51 4.72 4.70 5/277 137705
/proc/meminfo: memFree=51962340/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4480208 memory=3963156 CPUtime=3331.23 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4194304 3052019 0 0 0 327059 6064 0 0 20 0 1 0 183982769 4587732992 990789 18446744073709551615 4227072 8923577 140720854821072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 0
/proc/137438/statm: 1120052 990789 2432 1147 0 1107478 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 4484400 KiB
Current children cumulated memory: 3966228 KiB
[startup+3358.48 s]
# the end of solver process 137423 was just reported to runsolver
# Child status: 153
# cumulated CPU time of all completed processes: user=3276.4 s, system=61.6913 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3347.2 s]
/proc/loadavg: 4.55 4.72 4.70 5/278 137708
/proc/meminfo: memFree=51146212/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4480208 memory=3963156 CPUtime=3336.05 cores=5,7
/proc/137438/stat : 137438 (roundingsat) R 137423 137423 137152 0 -1 4195840 3055049 0 0 0 327472 6133 0 0 20 0 1 0 183982769 4587732992 990789 18446744073709551615 4227072 8923577 140720854821072 140720854817480 140039653701463 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 25
/proc/137438/statm: 1120052 990789 2432 1147 0 1107478 0
Current children cumulated CPU time: 3337.85 s
Current children cumulated vsize: 4484400 KiB
Current children cumulated memory: 3966228 KiB
[startup+3353.6 s]
/proc/loadavg: 4.70 4.75 4.71 4/278 137709
/proc/meminfo: memFree=50459208/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4480208 memory=3963156 CPUtime=3336.16 cores=5,7
/proc/137438/stat : 137438 (roundingsat) S 137423 137423 137152 0 -1 4195840 3055049 0 0 0 327472 6144 0 0 20 0 1 0 183982769 4587732992 990789 18446744073709551615 4227072 8923577 140720854821072 140720854817480 140039653701463 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 25
/proc/137438/statm: 1120052 990789 2432 1147 0 1107478 0
Current children cumulated CPU time: 3337.96 s
Current children cumulated vsize: 4484400 KiB
Current children cumulated memory: 3966228 KiB
[startup+3356.8 s]
/proc/loadavg: 4.70 4.75 4.71 4/278 137709
/proc/meminfo: memFree=50440036/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4480208 memory=3963156 CPUtime=3336.16 cores=5,7
/proc/137438/stat : 137438 (roundingsat) S 137423 137423 137152 0 -1 4195840 3055049 0 0 0 327472 6144 0 0 20 0 1 0 183982769 4587732992 990789 18446744073709551615 4227072 8923577 140720854821072 140720854817480 140039653701463 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 25
/proc/137438/statm: 1120052 990789 2432 1147 0 1107478 0
Current children cumulated CPU time: 3337.96 s
Current children cumulated vsize: 4484400 KiB
Current children cumulated memory: 3966228 KiB
[startup+3357.6 s]
/proc/loadavg: 4.70 4.75 4.71 4/278 137709
/proc/meminfo: memFree=50436004/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4480208 memory=3963156 CPUtime=3336.16 cores=5,7
/proc/137438/stat : 137438 (roundingsat) S 137423 137423 137152 0 -1 4195840 3055049 0 0 0 327472 6144 0 0 20 0 1 0 183982769 4587732992 990789 18446744073709551615 4227072 8923577 140720854821072 140720854817480 140039653701463 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 25
/proc/137438/statm: 1120052 990789 2432 1147 0 1107478 0
Current children cumulated CPU time: 3337.96 s
Current children cumulated vsize: 4484400 KiB
Current children cumulated memory: 3966228 KiB
[startup+3358 s]*
/proc/loadavg: 4.72 4.75 4.71 4/278 137709
/proc/meminfo: memFree=50411812/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
[pid=137438] ppid=137423 vsize=4480208 memory=3963156 CPUtime=3336.16 cores=5,7
/proc/137438/stat : 137438 (roundingsat) S 137423 137423 137152 0 -1 4195840 3055049 0 0 0 327472 6144 0 0 20 0 1 0 183982769 4587732992 990789 18446744073709551615 4227072 8923577 140720854821072 140720854817480 140039653701463 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 40009728 140720854825272 140720854825510 140720854825510 140720854831082 25
/proc/137438/statm: 1120052 990789 2432 1147 0 1107478 0
Current children cumulated CPU time: 3337.96 s
Current children cumulated vsize: 4484400 KiB
Current children cumulated memory: 3966228 KiB
[startup+3358.4 s]
/proc/loadavg: 4.72 4.75 4.71 4/278 137709
/proc/meminfo: memFree=50411812/131249992 swapFree=33009392/33010684
[pid=137423] ppid=137419 vsize=4192 memory=3072 CPUtime=1.8 cores=5,7
/proc/137423/stat : 137423 (run-opt-break-l) S 137419 137423 137152 0 -1 4194304 237 49001 0 0 0 0 167 13 20 0 1 0 183982586 4292608 768 18446744073709551615 94549954084864 94549954979397 140726682231600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94549955218448 94549955266192 94549967118336 140726682233145 140726682233308 140726682233308 140726682238912 0
/proc/137423/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
Child status: 153
Real time (s): 3358.48
CPU time (s): 3338.09
CPU user time (s): 3276.4
CPU system time (s): 61.6913
CPU usage (%): 99.393
Max. virtual memory (cumulated for all children) (KiB): 4491916
Max. memory (cumulated for all children) (KiB): 3973336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3276.4
system time used= 61.6913
maximum resident set size= 3990452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3104298
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204828176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253
involuntary context switches= 20633
# summary of solver processes directly reported to runsolver:
# pid: 137423
# total CPU time (s): 3338.09
# total CPU user time (s): 3276.4
# total CPU system time (s): 61.6913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46444 second user time and 15.5003 second system time
The end
Begin job on nodeC035 at 2025-07-16 18:24:40
IDJOB=4532606
IDBENCH=155675
IDSOLVER=3393
FILE ID=nodeC035/4532606-1752683080
RUNJOBID= nodeC035-1752683038-137170
SLURM_JOB_ID= 9686930
Free space on /tmp= 431184 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532606-1752683080/watcher-4532606-1752683080 -o /tmp/evaluation-result-4532606-1752683080/solver-4532606-1752683080 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752683038-137170 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532606-1752683080.opb /tmp/proof-4532606-1752683080
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c58a3671c6a952d1c163a29e0b4e832b
RANDOM SEED=672874881
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.811
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.660
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.918
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.983
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.929
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.377
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.450
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.746
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 102025716 kB
MemAvailable: 128635136 kB
Buffers: 664 kB
Cached: 27363580 kB
SwapCached: 332 kB
Active: 1671272 kB
Inactive: 26760956 kB
Active(anon): 1074988 kB
Inactive(anon): 18956 kB
Active(file): 596284 kB
Inactive(file): 26742000 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 349868 kB
Writeback: 192 kB
AnonPages: 1070764 kB
Mapped: 117972 kB
Shmem: 25892 kB
KReclaimable: 220748 kB
Slab: 316280 kB
SReclaimable: 220748 kB
SUnreclaim: 95532 kB
KernelStack: 4336 kB
PageTables: 5304 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1708600 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 624640 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 277140 MiB
End job on nodeC035 at 2025-07-16 19:20:39