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-4519793-1751555242.opb'
0.00/0.01 c read 0.07MB (1.03ms)
0.00/0.01 c [cnf: #variables 2494 #clauses 928 #duplicates 0 #arr 7453]
0.00/0.02 c output proof to 'PROOFDIR/proof-4519793-1751555242'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 8] (1.63ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c recursing 174 blocks of candidate 29x172r
0.00/0.03 c found row 28x116, generating row predicate
0.00/0.03 c found row 29x2, generating row predicate
0.00/0.03 c (7.40ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 10063 #edges 28188]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 9.71*10^895 #generators 811] (4.93ms)
0.00/0.04 c
0.00/0.04 c optimize generators (opt_passes=64, conjugate_limit=3356)
0.00/0.04 c ran it=0, +gens=23
0.47/0.53 c con best_support=4, best_gens=784, +gens=3350
0.47/0.53 c (496.66ms)
0.47/0.53 c
0.47/0.53 c finalize break order and special generators
0.47/0.53 c
0.47/0.53 c add generic predicates (break_depth=20)
0.47/0.53 c added predicates for 4184 generators (0.65ms)
0.47/0.58 c
0.47/0.58 c generation finished
0.47/0.58 c [sbp: #constraints 9620 #add_vars 3105]
0.47/0.58 c
0.47/0.58 c write result to 'HOME/instance-4519793-1751555242.opb.pre'
0.47/0.58 c wrote 0.42MB (1.12ms)
0.47/0.58 c ------------------------------------------------------------------
0.47/0.58 c 496.66ms 87.22% optimize_gens
0.47/0.58 c 55.77ms 9.79% other
0.47/0.58 c 7.40ms 1.30% detect_special
0.47/0.58 c 4.93ms 0.87% detect_generic
0.47/0.58 c 1.63ms 0.29% approx_orbits
0.47/0.58 c 1.12ms 0.20% output
0.47/0.58 c 1.02ms 0.18% parse
0.47/0.58 c 0.65ms 0.11% break_generic
0.47/0.58 c 0.24ms 0.04% finalize_order
0.47/0.58 c ───────────────────────────────────────────────
0.47/0.58 c 569.41ms 100% total
0.47/0.58 c ------------------------------------------------------------------
0.47/0.60 c RoundingSat 2
0.47/0.60 c branch pb25
0.47/0.60 c commit 63f22ad
0.55/0.67 c #variables 5599 #constraints 10547
0.55/0.67 c objective is ce32
0.55/0.72 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.55/0.72 c initial counting CF 32, 64, 128, Arb: 30 , 0 , 0 , 0
0.55/0.72 c bounds -43 >= -1653 @ 0.109447
0.55/0.78 c bounds -44 >= -1653 @ 0.159431
0.55/0.86 c bounds -44 >= -1625 @ 0.232228
0.95/1.03 c rational objective -57
2.04/2.10 c bounds -44 >= -1597 @ 1.44633
2.04/2.10 c bounds -44 >= -1569 @ 1.4468
2.04/2.10 c bounds -44 >= -1541 @ 1.44727
2.04/2.10 c bounds -44 >= -1513 @ 1.44772
2.04/2.10 c bounds -44 >= -1485 @ 1.44817
2.04/2.10 c bounds -44 >= -1457 @ 1.44861
2.04/2.10 c bounds -44 >= -1429 @ 1.44904
2.04/2.11 c bounds -44 >= -1401 @ 1.44948
2.04/2.11 c bounds -44 >= -1373 @ 1.4499
2.04/2.11 c bounds -44 >= -1345 @ 1.45033
2.04/2.11 c bounds -44 >= -1317 @ 1.45075
2.04/2.11 c bounds -44 >= -1289 @ 1.45117
2.04/2.11 c bounds -44 >= -1261 @ 1.45158
2.04/2.11 c bounds -44 >= -1233 @ 1.45199
2.04/2.11 c bounds -44 >= -1205 @ 1.45239
2.04/2.11 c bounds -44 >= -1177 @ 1.4528
2.04/2.11 c bounds -44 >= -1149 @ 1.4532
2.04/2.11 c bounds -44 >= -1121 @ 1.45361
2.04/2.11 c bounds -44 >= -1093 @ 1.454
2.04/2.11 c bounds -44 >= -1066 @ 1.45441
2.04/2.11 c bounds -44 >= -1038 @ 1.45481
2.04/2.11 c bounds -44 >= -1010 @ 1.45519
2.04/2.11 c bounds -44 >= -983 @ 1.45558
2.04/2.11 c bounds -44 >= -955 @ 1.45595
2.04/2.11 c bounds -44 >= -927 @ 1.45632
2.04/2.11 c bounds -44 >= -899 @ 1.45667
2.04/2.11 c bounds -44 >= -872 @ 1.45705
2.04/2.11 c bounds -44 >= -844 @ 1.45741
2.04/2.11 c bounds -44 >= -843 @ 1.45777
2.04/2.11 c bounds -44 >= -842 @ 1.45815
2.04/2.11 c bounds -44 >= -841 @ 1.45852
2.04/2.11 c bounds -44 >= -813 @ 1.4589
2.04/2.12 c bounds -44 >= -785 @ 1.45927
2.04/2.12 c bounds -44 >= -757 @ 1.45963
2.04/2.12 c bounds -44 >= -729 @ 1.46
2.04/2.12 c bounds -44 >= -701 @ 1.46036
2.04/2.12 c bounds -44 >= -673 @ 1.4607
2.04/2.12 c bounds -44 >= -645 @ 1.46105
2.04/2.12 c bounds -44 >= -617 @ 1.46138
2.04/2.12 c bounds -44 >= -589 @ 1.46172
2.04/2.12 c bounds -44 >= -561 @ 1.46205
2.04/2.12 c bounds -44 >= -533 @ 1.46237
2.04/2.12 c bounds -44 >= -505 @ 1.46268
2.04/2.12 c bounds -44 >= -477 @ 1.46299
2.04/2.12 c bounds -44 >= -449 @ 1.4633
2.04/2.12 c bounds -44 >= -421 @ 1.46359
2.04/2.12 c bounds -44 >= -393 @ 1.4639
2.04/2.12 c bounds -44 >= -365 @ 1.4642
2.04/2.12 c bounds -44 >= -337 @ 1.46449
2.04/2.12 c bounds -44 >= -309 @ 1.46478
2.04/2.12 c bounds -44 >= -281 @ 1.46506
2.04/2.12 c bounds -44 >= -253 @ 1.46534
2.04/2.12 c bounds -44 >= -225 @ 1.46561
2.04/2.12 c bounds -44 >= -197 @ 1.46588
2.04/2.12 c bounds -44 >= -169 @ 1.46615
2.04/2.12 c bounds -44 >= -141 @ 1.46641
2.04/2.12 c bounds -44 >= -113 @ 1.46665
2.04/2.12 c bounds -44 >= -85 @ 1.46691
2.04/2.12 c bounds -44 >= -57 @ 1.46716
2.53/2.66 c #Conflicts: 1000 | #Constraints: 11726
2.53/2.66 c #Conflicts: 2000 | #Constraints: 12726
2.53/2.66 c INPROCESSING
2.53/2.66 c GARBAGE COLLECT
2.53/2.66 c bounds -45 >= -57 @ 1.97161
2.53/2.67 c bounds -46 >= -57 @ 1.97492
2.53/2.67 c bounds -47 >= -57 @ 1.97859
2.53/2.68 c bounds -48 >= -57 @ 1.9829
2.53/2.68 c bounds -49 >= -57 @ 1.98615
2.53/2.69 c bounds -50 >= -57 @ 1.98995
2.53/2.69 c bounds -51 >= -57 @ 1.99335
2.53/2.69 c bounds -52 >= -57 @ 1.99784
4.43/4.57 c #Conflicts: 3000 | #Constraints: 12634
4.43/4.57 c #Conflicts: 4000 | #Constraints: 13634
4.43/4.57 c INPROCESSING
4.43/4.57 c GARBAGE COLLECT
4.43/4.57 c #Conflicts: 5000 | #Constraints: 13042
4.43/4.57 c bounds -52 >= -56 @ 3.82076
9.21/9.36 c #Conflicts: 6000 | #Constraints: 14046
9.21/9.36 c INPROCESSING
9.21/9.36 c GARBAGE COLLECT
9.21/9.36 c #Conflicts: 7000 | #Constraints: 13056
9.21/9.36 c #Conflicts: 8000 | #Constraints: 14056
9.21/9.36 c #Conflicts: 9000 | #Constraints: 15056
9.21/9.36 c INPROCESSING
9.21/9.36 c GARBAGE COLLECT
9.21/9.36 c #Conflicts: 10000 | #Constraints: 13759
9.21/9.36 c #Conflicts: 11000 | #Constraints: 14759
9.21/9.36 c #Conflicts: 12000 | #Constraints: 15761
9.21/9.36 c INPROCESSING
9.21/9.36 c GARBAGE COLLECT
9.21/9.36 c rational objective -56
12.11/12.21 c #Conflicts: 13000 | #Constraints: 14244
12.11/12.21 c #Conflicts: 14000 | #Constraints: 15244
12.11/12.21 c #Conflicts: 15000 | #Constraints: 16245
12.11/12.21 c INPROCESSING
12.11/12.21 c GARBAGE COLLECT
12.11/12.21 c rational objective -56
14.01/14.15 c #Conflicts: 16000 | #Constraints: 14514
14.01/14.15 c #Conflicts: 17000 | #Constraints: 15515
14.01/14.15 c #Conflicts: 18000 | #Constraints: 16515
14.01/14.15 c INPROCESSING
14.01/14.15 c GARBAGE COLLECT
14.01/14.15 c rational objective -56
17.01/17.19 c #Conflicts: 19000 | #Constraints: 14533
17.01/17.19 c #Conflicts: 20000 | #Constraints: 15533
17.01/17.19 c bounds -53 >= -56 @ 16.2183
17.50/17.68 c #Conflicts: 21000 | #Constraints: 16553
17.50/17.68 c INPROCESSING
17.50/17.68 c GARBAGE COLLECT
17.50/17.68 c rational objective -56
19.79/19.90 c #Conflicts: 22000 | #Constraints: 14370
19.79/19.90 c #Conflicts: 23000 | #Constraints: 15371
19.79/19.90 c #Conflicts: 24000 | #Constraints: 16371
19.79/19.90 c #Conflicts: 25000 | #Constraints: 17371
19.79/19.90 c INPROCESSING
19.79/19.90 c GARBAGE COLLECT
19.79/19.90 c rational objective -56
22.38/22.53 c #Conflicts: 26000 | #Constraints: 14958
22.38/22.53 c #Conflicts: 27000 | #Constraints: 15958
22.38/22.53 c #Conflicts: 28000 | #Constraints: 16959
22.38/22.53 c #Conflicts: 29000 | #Constraints: 17959
22.38/22.53 c INPROCESSING
22.38/22.53 c GARBAGE COLLECT
22.38/22.53 c rational objective -56
24.48/24.65 c #Conflicts: 30000 | #Constraints: 15384
24.48/24.65 c #Conflicts: 31000 | #Constraints: 16384
24.48/24.65 c #Conflicts: 32000 | #Constraints: 17384
24.48/24.65 c #Conflicts: 33000 | #Constraints: 18389
24.48/24.65 c INPROCESSING
24.48/24.65 c GARBAGE COLLECT
24.48/24.65 c rational objective -56
27.27/27.42 c #Conflicts: 34000 | #Constraints: 15557
27.27/27.42 c #Conflicts: 35000 | #Constraints: 16557
27.27/27.42 c #Conflicts: 36000 | #Constraints: 17557
27.27/27.42 c #Conflicts: 37000 | #Constraints: 18557
27.27/27.42 c INPROCESSING
27.27/27.42 c GARBAGE COLLECT
27.27/27.42 c rational objective -56
27.37/27.57 c bounds -54 >= -56 @ 26.3628
29.87/30.08 c #Conflicts: 38000 | #Constraints: 15585
29.87/30.08 c #Conflicts: 39000 | #Constraints: 16585
29.87/30.08 c #Conflicts: 40000 | #Constraints: 17585
29.87/30.08 c #Conflicts: 41000 | #Constraints: 18586
29.87/30.08 c INPROCESSING
29.87/30.08 c GARBAGE COLLECT
29.87/30.08 c rational objective -56
32.48/32.79 c #Conflicts: 42000 | #Constraints: 15377
32.48/32.79 c #Conflicts: 43000 | #Constraints: 16377
32.48/32.79 c #Conflicts: 44000 | #Constraints: 17377
32.48/32.79 c #Conflicts: 45000 | #Constraints: 18377
32.48/32.79 c bounds -56 >= -56 @ 31.3822
32.48/32.79 c cpu time 31.3822 s
32.48/32.79 c deterministic time 1515956293 1.52e+09
32.48/32.79 c optimization time 0.083124 s
32.48/32.79 c total solve time 31.2465 s
32.48/32.79 c core-guided solve time 23.0971 s
32.48/32.79 c propagation time 15.3153 s
32.48/32.79 c conflict analysis time 7.79447 s
32.48/32.79 c propagations 11016068
32.48/32.79 c resolve steps 1211940
32.48/32.79 c decisions 409772
32.48/32.79 c conflicts 45809
32.48/32.79 c restarts 133
32.48/32.79 c inprocessing phases 13
32.48/32.79 c garbage collections 13 ,( 100.00 )
32.48/32.79 c input clauses 10540 ,( 97.96 )
32.48/32.79 c input cardinalities 189 ,( 1.76 )
32.48/32.79 c input general constraints 30 ,( 0.28 )
32.48/32.79 c input average constraint length 14.69
32.48/32.79 c input average constraint degree 5.96
32.48/32.79 c learned clauses 24867 ,( 54.21 )
32.48/32.79 c learned cardinalities 1560 ,( 3.40 )
32.48/32.79 c learned general constraints 19445 ,( 42.39 )
32.48/32.79 c learned average constraint length 414.87
32.48/32.79 c learned average constraint degree 15615046.49
32.48/32.79 c watched CF 32, 64, 128, Arb: 9641 , 0 , 0 , 0
32.48/32.79 c counting CF 32, 64, 128, Arb: 9835 , 0 , 0 , 0
32.48/32.79 c watched constraints 9641 ,( 49.50 )
32.48/32.79 c counting constraints 9834 ,( 50.50 )
32.48/32.79 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 11689086 , 2136209 , 38393038 ,( 11426658 , 26966380 )
32.48/32.79 c gcd simplifications 306
32.48/32.79 c detected cardinalities 23
32.48/32.79 c weakened non-implied lits 3725274
32.48/32.79 c weakened non-implying lits 4387
32.48/32.79 c original variables 5599
32.48/32.79 c clausal propagations 7095487
32.48/32.79 c cardinality propagations 1417358
32.48/32.79 c watched propagations 138647
32.48/32.79 c counting propagations 1816780
32.48/32.79 c watch lookups 367985607
32.48/32.79 c watch backjump lookups 0
32.48/32.79 c watch checks 789835635
32.48/32.79 c propagation checks 289948172
32.48/32.79 c constraint additions 45220516
32.48/32.79 c trail pops 11471543
32.48/32.79 c formula constraints 10547
32.48/32.79 c learned constraints 45771
32.48/32.79 c bound constraints 93
32.48/32.79 c core-guided constraints 119
32.48/32.79 c encountered formula constraints 1000235
32.48/32.79 c encountered learned constraints 251443
32.48/32.79 c encountered bound constraints 28
32.48/32.79 c encountered core-guided constraints 4868
32.48/32.79 c LP total time 12.5341 s
32.48/32.79 c LP solve time 9.26 s
32.48/32.79 c LP constraints added 10768
32.48/32.79 c LP constraints removed 206
32.48/32.79 c LP pivots internal 46354
32.48/32.79 c LP pivots root 22625
32.48/32.79 c LP calls 445
32.48/32.79 c LP optimalities 404
32.48/32.79 c LP no pivot count 272
32.48/32.79 c LP infeasibilities 38
32.48/32.79 c LP valid Farkas constraints 38
32.48/32.79 c LP learned Farkas constraints 38
32.48/32.79 c LP basis resets 0
32.48/32.79 c LP cycling count 0
32.48/32.79 c LP singular count 0
32.48/32.79 c LP no primal count 0
32.48/32.79 c LP no farkas count 0
32.48/32.79 c LP other issue count 0
32.48/32.79 c LP Gomory cuts 25
32.48/32.79 c LP learned cuts 196
32.48/32.79 c LP deleted cuts 206
32.48/32.79 c LP encountered Gomory constraints 874
32.48/32.79 c LP encountered Farkas constraints 219
32.48/32.79 c LP encountered learned Farkas constraints 44
32.48/32.79 c CG auxiliary variables introduced 58
32.48/32.79 c CG solutions found 12
32.48/32.79 c CG cores constructed 61
32.48/32.79 c CG core cardinality constraints returned 57
32.48/32.79 c CG unit cores 0
32.48/32.79 c CG single cores 61
32.48/32.79 c CG blocks removed during cardinality reduction 0
32.48/32.79 c CG first core best 0
32.48/32.79 c CG decision core best 0
32.48/32.79 c CG core reduction tie 0
32.48/32.79 c CG core degree average 26.18
32.48/32.79 c CG core slack average 1.56
32.48/32.79 c CG core upper bound improvements 0
32.48/32.79 c STR number of successful calls 0
32.48/32.79 c STR number of unsuccessful calls 0
32.48/32.79 c STR number of inconclusive calls 0
32.48/32.79 c STR number of successful attempts 0
32.48/32.79 c STR number of unsuccessful attempts 0
32.48/32.79 c STR number of inconclusive attempts 0
32.48/32.79 c STR average degree increase per successful call inf
32.48/32.79 c STR average degree increase per successful attempt inf
32.48/32.79 c STR total number of conflicts for successful attempts 0
32.48/32.79 c STR total number of conflicts for unsuccessful attempts 0
32.48/32.79 c STR total number of conflicts for inconclusive attempts 0
32.48/32.79 c STR average number of conflicts per successful attempt inf
32.48/32.79 c STR average number of conflicts per unsuccessful attempt inf
32.48/32.79 c STR average number of conflicts per inconclusive attempt inf
32.48/32.79 c AVG.sumWPerc 41.32
32.48/32.79 c bigint constraints 0
32.48/32.79 o -56
32.48/32.79 s OPTIMUM FOUND
32.48/32.79 v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 x11 x12 x13 x14 -x15 x16 x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 x2468 x2469 x2470 x2471 x2472 x2473 x2474 x2475 x2476 x2477 x2478 x2479 x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 x2489 x2490 x2491 x2492 x2493 x2494
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 (61779 MiB free)
memory of node 1: 64465 MiB (63391 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519793-1751555242/watcher-4519793-1751555242 -o /tmp/evaluation-result-4519793-1751555242/solver-4519793-1751555242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751555170-93572 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4519793-1751555242.opb PROOFDIR/proof-4519793-1751555242
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=93784, runsolver pid=93781
[startup+0.100062 s]*
/proc/loadavg: 3.03 1.55 1.58 5/274 93786
/proc/meminfo: memFree=128174944/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93786] ppid=93784 vsize=14916 memory=7664 CPUtime=0.07 cores=5,7
/proc/93786/stat : 93786 (pbsuma) R 93784 93784 93530 0 -1 4194304 1521 0 0 0 7 0 0 0 20 0 1 0 71201739 15273984 1916 18446744073709551615 4210688 4653049 140735939236880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 21925888 140735939242211 140735939242546 140735939242546 140735939248111 0
/proc/93786/statm: 3729 1916 1024 108 0 1137 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 19108 KiB
Current children cumulated memory: 10736 KiB
[startup+0.205711 s]*
/proc/loadavg: 3.03 1.55 1.58 5/274 93786
/proc/meminfo: memFree=128174944/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93786] ppid=93784 vsize=14916 memory=7664 CPUtime=0.17 cores=5,7
/proc/93786/stat : 93786 (pbsuma) R 93784 93784 93530 0 -1 4194304 1521 0 0 0 17 0 0 0 20 0 1 0 71201739 15273984 1916 18446744073709551615 4210688 4653049 140735939236880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 21925888 140735939242211 140735939242546 140735939242546 140735939248111 0
/proc/93786/statm: 3729 1916 1024 108 0 1137 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 19108 KiB
Current children cumulated memory: 10736 KiB
[startup+0.30561 s]*
/proc/loadavg: 3.03 1.55 1.58 5/274 93786
/proc/meminfo: memFree=128174944/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93786] ppid=93784 vsize=14916 memory=7664 CPUtime=0.27 cores=5,7
/proc/93786/stat : 93786 (pbsuma) R 93784 93784 93530 0 -1 4194304 1521 0 0 0 27 0 0 0 20 0 1 0 71201739 15273984 1916 18446744073709551615 4210688 4653049 140735939236880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 21925888 140735939242211 140735939242546 140735939242546 140735939248111 0
/proc/93786/statm: 3729 1916 1024 108 0 1137 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 19108 KiB
Current children cumulated memory: 10736 KiB
[startup+0.700167 s]
/proc/loadavg: 3.03 1.55 1.58 5/274 93786
/proc/meminfo: memFree=128174844/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+1.50018 s]
/proc/loadavg: 3.03 1.55 1.58 5/274 93787
/proc/meminfo: memFree=128155000/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=86852 memory=41504 CPUtime=0.88 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 7933 0 0 0 84 4 0 0 20 0 1 0 71201798 88936448 10376 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 21713 10376 2400 1147 0 9140 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 91044 KiB
Current children cumulated memory: 44576 KiB
[startup+3.1055 s]
/proc/loadavg: 3.03 1.55 1.58 5/274 93787
/proc/meminfo: memFree=128098184/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=104952 memory=56972 CPUtime=2.49 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 11245 0 0 0 239 10 0 0 20 0 1 0 71201798 107470848 14243 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 26238 14243 2432 1147 0 13665 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 109144 KiB
Current children cumulated memory: 60044 KiB
[startup+6.30016 s]
/proc/loadavg: 3.11 1.59 1.60 5/274 93787
/proc/meminfo: memFree=128029140/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=124928 memory=78436 CPUtime=5.67 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 15126 0 0 0 550 17 0 0 20 0 1 0 71201798 127926272 19609 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 31232 19609 2432 1147 0 18659 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 129120 KiB
Current children cumulated memory: 81508 KiB
[startup+12.7001 s]
/proc/loadavg: 3.18 1.63 1.61 5/274 93787
/proc/meminfo: memFree=127924432/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=126728 memory=80612 CPUtime=12.06 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 15655 0 0 0 1181 25 0 0 20 0 1 0 71201798 129769472 20153 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 31682 20153 2432 1147 0 19109 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 130920 KiB
Current children cumulated memory: 83684 KiB
[startup+25.5002 s]
/proc/loadavg: 3.31 1.71 1.64 5/274 93788
/proc/meminfo: memFree=127618532/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=132052 memory=87268 CPUtime=24.82 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 17333 0 0 0 2433 49 0 0 20 0 1 0 71201798 135221248 21817 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 33013 21817 2432 1147 0 20440 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 136244 KiB
Current children cumulated memory: 90340 KiB
[startup+32.8071 s]
# the end of solver process 93784 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=31.9322 s, system=0.662192 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 3.31 1.71 1.64 5/274 93788
/proc/meminfo: memFree=127618532/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=132052 memory=87268 CPUtime=24.92 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 17333 0 0 0 2443 49 0 0 20 0 1 0 71201798 135221248 21817 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 33013 21817 2432 1147 0 20440 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 136244 KiB
Current children cumulated memory: 90340 KiB
[startup+28.8002 s]
/proc/loadavg: 3.36 1.75 1.65 5/274 93788
/proc/meminfo: memFree=127554292/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=132052 memory=87268 CPUtime=28.12 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 17340 0 0 0 2755 57 0 0 20 0 1 0 71201798 135221248 21817 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 33013 21817 2432 1147 0 20440 0
Current children cumulated CPU time: 28.67 s
Current children cumulated vsize: 136244 KiB
Current children cumulated memory: 90340 KiB
[startup+30.4002 s]
/proc/loadavg: 3.36 1.75 1.65 5/274 93788
/proc/meminfo: memFree=127513500/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=133440 memory=89060 CPUtime=29.71 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 17793 0 0 0 2913 58 0 0 20 0 1 0 71201798 136642560 22265 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 33360 22265 2432 1147 0 20787 0
Current children cumulated CPU time: 30.26 s
Current children cumulated vsize: 137632 KiB
Current children cumulated memory: 92132 KiB
[startup+32.0002 s]*
/proc/loadavg: 3.42 1.79 1.66 5/274 93788
/proc/meminfo: memFree=127492716/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=134736 memory=90340 CPUtime=31.23 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 18123 0 0 0 3061 62 0 0 20 0 1 0 71201798 137969664 22585 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 33684 22585 2432 1147 0 21111 0
Current children cumulated CPU time: 31.78 s
Current children cumulated vsize: 138928 KiB
Current children cumulated memory: 93412 KiB
[startup+32.4002 s]
/proc/loadavg: 3.42 1.79 1.66 5/274 93788
/proc/meminfo: memFree=127492716/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=135304 memory=90852 CPUtime=31.62 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 18242 0 0 0 3099 63 0 0 20 0 1 0 71201798 138551296 22713 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 33826 22713 2432 1147 0 21253 0
Current children cumulated CPU time: 32.17 s
Current children cumulated vsize: 139496 KiB
Current children cumulated memory: 93924 KiB
[startup+32.8002 s]
/proc/loadavg: 3.42 1.79 1.66 5/274 93788
/proc/meminfo: memFree=127492716/131250000 swapFree=33010160/33010684
[pid=93784] ppid=93781 vsize=4192 memory=3072 CPUtime=0.55 cores=5,7
/proc/93784/stat : 93784 (run-opt-ls-log.) S 93781 93784 93530 0 -1 4194304 244 2006 0 0 0 0 54 1 20 0 1 0 71201739 4292608 768 18446744073709551615 94916977414144 94916978308677 140733561914784 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94916978547728 94916978595472 94916987637760 140733561919771 140733561919969 140733561919969 140733561925571 0
/proc/93784/statm: 1048 768 704 219 0 110 0
[pid=93787] ppid=93784 vsize=136072 memory=91364 CPUtime=32.02 cores=5,7
/proc/93787/stat : 93787 (roundingsat) R 93784 93784 93530 0 -1 4194304 18381 0 0 0 3138 64 0 0 20 0 1 0 71201798 139337728 22841 18446744073709551615 4227072 8923433 140726691413632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35430400 140726691416310 140726691416616 140726691416616 140726691422186 0
/proc/93787/statm: 34018 22841 2432 1147 0 21445 0
Current children cumulated CPU time: 32.57 s
Current children cumulated vsize: 140264 KiB
Current children cumulated memory: 94436 KiB
Child status: 0
Real time (s): 32.8071
CPU time (s): 32.5944
CPU user time (s): 31.9322
CPU system time (s): 0.662192
CPU usage (%): 99.3517
Max. virtual memory (cumulated for all children) (KiB): 140264
Max. memory (cumulated for all children) (KiB): 94436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.9322
system time used= 0.662192
maximum resident set size= 91364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 210016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 486
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 93784
# total CPU time (s): 32.5944
# total CPU user time (s): 31.9322
# total CPU system time (s): 0.662192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085615 second user time and 0.16141 second system time
The end
Begin job on nodeC016 at 2025-07-03 17:07:22
IDJOB=4519793
IDBENCH=177417
IDSOLVER=3356
FILE ID=nodeC016/4519793-1751555242
RUNJOBID= nodeC016-1751555170-93572
SLURM_JOB_ID= 9598745
Free space on /tmp= 432864 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4519793-1751555242/watcher-4519793-1751555242 -o /tmp/evaluation-result-4519793-1751555242/solver-4519793-1751555242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751555170-93572 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4519793-1751555242.opb PROOFDIR/proof-4519793-1751555242
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f6ce754accc0feb3403d349e38abeae7
RANDOM SEED=1275450520
nodeC016 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.737
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.48
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.727
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.48
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 : 3597.072
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.48
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 : 3599.321
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.48
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.732
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.48
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 : 3594.404
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.48
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 : 3546.208
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.48
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.741
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128174976 kB
MemAvailable: 129325912 kB
Buffers: 2144 kB
Cached: 1918616 kB
SwapCached: 28 kB
Active: 1075324 kB
Inactive: 1299032 kB
Active(anon): 466156 kB
Inactive(anon): 5288 kB
Active(file): 609168 kB
Inactive(file): 1293744 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 323988 kB
Writeback: 0 kB
AnonPages: 456432 kB
Mapped: 118336 kB
Shmem: 18044 kB
KReclaimable: 174528 kB
Slab: 276776 kB
SReclaimable: 174528 kB
SUnreclaim: 102248 kB
KernelStack: 4448 kB
PageTables: 4180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 843224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 43008 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432856 MiB
End job on nodeC016 at 2025-07-03 17:07:55