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-4492045-1751142889.opb'
0.00/0.02 c read 1.11MB (14.66ms)
0.00/0.02 c [cnf: #variables 4644 #clauses 31254 #duplicates 0 #arr 99744]
0.00/0.02 c output proof to 'PROOFDIR/proof-4492045-1751142889'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 100] (9.73ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.13 c probe for row symmetry (limit=64, splits=16.78M)
0.09/0.15 c recursing 396 blocks of candidate 6x1408r
0.19/0.24 c (207.05ms)
0.19/0.24 c
0.19/0.24 c detect symmetries on remainder
0.19/0.24 c [graph: #vertices 52038 #edges 231768]
0.19/0.24 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.29/0.35 c [group: #symmetries 8.75*10^22 #generators 12] (115.95ms)
0.29/0.35 c
0.29/0.35 c optimize generators (opt_passes=64, conjugate_limit=256)
0.29/0.36 c opt it=15, l=382, m=120, opt=23, avg=4344, b=648, gens=12
0.29/0.37 c opt it=31, l=730, m=217, opt=32, avg=4145, b=648, gens=12
0.29/0.38 c opt it=47, l=1075, m=309, opt=41, avg=4082, b=648, gens=12
0.29/0.39 c ran it=0, +gens=12
0.29/0.41 c con best_support=648, best_gens=1, +gens=0
0.29/0.41 c (52.22ms)
0.29/0.41 c
0.29/0.41 c finalize break order and special generators
0.39/0.41 c
0.39/0.41 c add generic predicates (break_depth=10)
0.39/0.41 c added predicates for 24 generators (0.46ms)
0.59/0.64 c
0.59/0.64 c generation finished
0.59/0.64 c [sbp: #constraints 672 #add_vars 216]
0.59/0.64 c
0.59/0.64 c write result to 'HOME/instance-4492045-1751142889.opb.pre'
0.59/0.65 c wrote 1.14MB (2.66ms)
0.59/0.65 c ------------------------------------------------------------------
0.59/0.65 c 235.90ms 36.90% other
0.59/0.65 c 207.05ms 32.38% detect_special
0.59/0.65 c 115.95ms 18.13% detect_generic
0.59/0.65 c 52.22ms 8.17% optimize_gens
0.59/0.65 c 14.66ms 2.29% parse
0.59/0.65 c 9.73ms 1.52% approx_orbits
0.59/0.65 c 2.66ms 0.42% output
0.59/0.65 c 0.72ms 0.11% finalize_order
0.59/0.65 c 0.46ms 0.07% break_generic
0.59/0.65 c ───────────────────────────────────────────────
0.59/0.65 c 639.35ms 100% total
0.59/0.65 c ------------------------------------------------------------------
0.64/0.75 c RoundingSat 2
0.64/0.75 c branch pb25
0.64/0.75 c commit 63f22ad
0.64/0.94 c #variables 4860 #constraints 32100
17.13/17.36 c #Conflicts: 1000 | #Constraints: 33099
17.13/17.36 c #Conflicts: 2000 | #Constraints: 34099
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 3000 | #Constraints: 34110
17.13/17.36 c #Conflicts: 4000 | #Constraints: 35110
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 5000 | #Constraints: 34486
17.13/17.36 c #Conflicts: 6000 | #Constraints: 35486
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 7000 | #Constraints: 34498
17.13/17.36 c #Conflicts: 8000 | #Constraints: 35498
17.13/17.36 c #Conflicts: 9000 | #Constraints: 36498
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 10000 | #Constraints: 35204
17.13/17.36 c #Conflicts: 11000 | #Constraints: 36204
17.13/17.36 c #Conflicts: 12000 | #Constraints: 37204
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 13000 | #Constraints: 35586
17.13/17.36 c #Conflicts: 14000 | #Constraints: 36586
17.13/17.36 c #Conflicts: 15000 | #Constraints: 37586
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 16000 | #Constraints: 35823
17.13/17.36 c #Conflicts: 17000 | #Constraints: 36823
17.13/17.36 c #Conflicts: 18000 | #Constraints: 37823
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 19000 | #Constraints: 35850
17.13/17.36 c #Conflicts: 20000 | #Constraints: 36850
17.13/17.36 c #Conflicts: 21000 | #Constraints: 37851
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 22000 | #Constraints: 35544
17.13/17.36 c #Conflicts: 23000 | #Constraints: 36544
17.13/17.36 c #Conflicts: 24000 | #Constraints: 37544
17.13/17.36 c #Conflicts: 25000 | #Constraints: 38544
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 26000 | #Constraints: 36139
17.13/17.36 c #Conflicts: 27000 | #Constraints: 37139
17.13/17.36 c #Conflicts: 28000 | #Constraints: 38139
17.13/17.36 c #Conflicts: 29000 | #Constraints: 39139
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 30000 | #Constraints: 36537
17.13/17.36 c #Conflicts: 31000 | #Constraints: 37537
17.13/17.36 c #Conflicts: 32000 | #Constraints: 38537
17.13/17.36 c #Conflicts: 33000 | #Constraints: 39537
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 34000 | #Constraints: 36740
17.13/17.36 c #Conflicts: 35000 | #Constraints: 37740
17.13/17.36 c #Conflicts: 36000 | #Constraints: 38740
17.13/17.36 c #Conflicts: 37000 | #Constraints: 39740
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 38000 | #Constraints: 36762
17.13/17.36 c #Conflicts: 39000 | #Constraints: 37762
17.13/17.36 c #Conflicts: 40000 | #Constraints: 38762
17.13/17.36 c #Conflicts: 41000 | #Constraints: 39763
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 42000 | #Constraints: 36566
17.13/17.36 c #Conflicts: 43000 | #Constraints: 37566
17.13/17.36 c #Conflicts: 44000 | #Constraints: 38566
17.13/17.36 c #Conflicts: 45000 | #Constraints: 39566
17.13/17.36 c #Conflicts: 46000 | #Constraints: 40566
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 47000 | #Constraints: 37164
17.13/17.36 c #Conflicts: 48000 | #Constraints: 38164
17.13/17.36 c #Conflicts: 49000 | #Constraints: 39164
17.13/17.36 c #Conflicts: 50000 | #Constraints: 40164
17.13/17.36 c #Conflicts: 51000 | #Constraints: 41164
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c #Conflicts: 52000 | #Constraints: 37566
17.13/17.36 c #Conflicts: 53000 | #Constraints: 38566
17.13/17.36 c #Conflicts: 54000 | #Constraints: 39566
17.13/17.36 c #Conflicts: 55000 | #Constraints: 40566
17.13/17.36 c #Conflicts: 56000 | #Constraints: 41566
17.13/17.36 c INPROCESSING
17.13/17.36 c GARBAGE COLLECT
17.13/17.36 c cpu time 16.122 s
17.13/17.36 c deterministic time 319794592 3.20e+08
17.13/17.36 c optimization time 0.000316 s
17.13/17.36 c total solve time 15.975 s
17.13/17.36 c core-guided solve time 0 s
17.13/17.36 c propagation time 4.87466 s
17.13/17.36 c conflict analysis time 2.70391 s
17.13/17.36 c propagations 2767667
17.13/17.36 c resolve steps 359538
17.13/17.36 c decisions 215845
17.13/17.36 c conflicts 56001
17.13/17.36 c restarts 172
17.13/17.36 c inprocessing phases 16
17.13/17.36 c garbage collections 16 ,( 100.00 )
17.13/17.36 c input clauses 31074 ,( 96.80 )
17.13/17.36 c input cardinalities 948 ,( 2.95 )
17.13/17.36 c input general constraints 78 ,( 0.24 )
17.13/17.36 c input average constraint length 3.24
17.13/17.36 c input average constraint degree 1.35
17.13/17.36 c learned clauses 20407 ,( 36.44 )
17.13/17.36 c learned cardinalities 1095 ,( 1.96 )
17.13/17.36 c learned general constraints 34503 ,( 61.61 )
17.13/17.36 c learned average constraint length 119.24
17.13/17.36 c learned average constraint degree 2077666.17
17.13/17.36 c watched CF 32, 64, 128, Arb: 12924 , 0 , 0 , 0
17.13/17.36 c counting CF 32, 64, 128, Arb: 21657 , 0 , 0 , 0
17.13/17.36 c watched constraints 12924 ,( 37.37 )
17.13/17.36 c counting constraints 21657 ,( 62.63 )
17.13/17.36 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1983684 , 1215262 , 5276577 ,( 1958266 , 3318311 )
17.13/17.36 c gcd simplifications 3176
17.13/17.36 c detected cardinalities 46
17.13/17.36 c weakened non-implied lits 2210268
17.13/17.36 c weakened non-implying lits 4700
17.13/17.36 c original variables 4860
17.13/17.36 c clausal propagations 508001
17.13/17.36 c cardinality propagations 1276363
17.13/17.36 c watched propagations 27242
17.13/17.36 c counting propagations 861980
17.13/17.36 c watch lookups 133610869
17.13/17.36 c watch backjump lookups 0
17.13/17.36 c watch checks 74080658
17.13/17.36 c propagation checks 86932009
17.13/17.36 c constraint additions 19127953
17.13/17.36 c trail pops 3039501
17.13/17.36 c formula constraints 32100
17.13/17.36 c learned constraints 55997
17.13/17.36 c bound constraints 0
17.13/17.36 c core-guided constraints 0
17.13/17.36 c encountered formula constraints 268101
17.13/17.36 c encountered learned constraints 147405
17.13/17.36 c encountered bound constraints 0
17.13/17.36 c encountered core-guided constraints 0
17.13/17.36 c LP total time 6.35695 s
17.13/17.36 c LP solve time 6.32 s
17.13/17.36 c LP constraints added 32100
17.13/17.36 c LP constraints removed 0
17.13/17.36 c LP pivots internal 7089
17.13/17.36 c LP pivots root 13000
17.13/17.36 c LP calls 9
17.13/17.36 c LP optimalities 1
17.13/17.36 c LP no pivot count 0
17.13/17.36 c LP infeasibilities 4
17.13/17.36 c LP valid Farkas constraints 4
17.13/17.36 c LP learned Farkas constraints 4
17.13/17.36 c LP basis resets 0
17.13/17.36 c LP cycling count 0
17.13/17.36 c LP singular count 0
17.13/17.36 c LP no primal count 0
17.13/17.36 c LP no farkas count 0
17.13/17.36 c LP other issue count 0
17.13/17.36 c LP Gomory cuts 0
17.13/17.36 c LP learned cuts 0
17.13/17.36 c LP deleted cuts 0
17.13/17.36 c LP encountered Gomory constraints 0
17.13/17.36 c LP encountered Farkas constraints 27
17.13/17.36 c LP encountered learned Farkas constraints 2
17.13/17.36 c CG auxiliary variables introduced 0
17.13/17.36 c CG solutions found 0
17.13/17.36 c CG cores constructed 0
17.13/17.36 c CG core cardinality constraints returned 0
17.13/17.36 c CG unit cores 0
17.13/17.36 c CG single cores 0
17.13/17.36 c CG blocks removed during cardinality reduction 0
17.13/17.36 c CG first core best 0
17.13/17.36 c CG decision core best 0
17.13/17.36 c CG core reduction tie 0
17.13/17.36 c CG core degree average 0.00
17.13/17.36 c CG core slack average 0.00
17.13/17.36 c CG core upper bound improvements 0
17.13/17.36 c STR number of successful calls 0
17.13/17.36 c STR number of unsuccessful calls 0
17.13/17.36 c STR number of inconclusive calls 0
17.13/17.36 c STR number of successful attempts 0
17.13/17.36 c STR number of unsuccessful attempts 0
17.13/17.36 c STR number of inconclusive attempts 0
17.13/17.36 c STR average degree increase per successful call inf
17.13/17.36 c STR average degree increase per successful attempt inf
17.13/17.36 c STR total number of conflicts for successful attempts 0
17.13/17.36 c STR total number of conflicts for unsuccessful attempts 0
17.13/17.36 c STR total number of conflicts for inconclusive attempts 0
17.13/17.36 c STR average number of conflicts per successful attempt inf
17.13/17.36 c STR average number of conflicts per unsuccessful attempt inf
17.13/17.36 c STR average number of conflicts per inconclusive attempt inf
17.13/17.36 c AVG.sumWPerc 49.41
17.13/17.36 c bigint constraints 0
17.13/17.36 s SATISFIABLE
17.13/17.36 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 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 -x2646 -x2647 x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 -x2900 -x2901 -x2902 x2903 -x2904 x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 -x2934 -x2935 x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 -x2979 x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 -x3060 x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 x3119 -x3120 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 x3233 -x3234 -x3235 -x3236 -x3237 -x3238 x3239 -x3240 -x3241 -x3242 -x3243 x3244 -x3245 -x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319 -x3320 x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 x3336 -x3337 -x3338 x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 -x3368 x3369 -x3370 -x3371 -x3372 -x3373 x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 x3396 x3397 -x3398 -x3399 -x3400 -x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x3420 -x3421 -x3422 -x3423 -x3424 -x3425 x3426 x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 -x3458 x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 -x3499 -x3500 -x3501 x3502 -x3503 -x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 -x3560 -x3561 -x3562 -x3563 x3564 -x3565 -x3566 -x3567 -x3568 -x3569 x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 -x3589 -x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 x3630 -x3631 -x3632 x3633 -x3634 -x3635 -x3636 x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 -x3655 -x3656 -x3657 -x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665 -x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 -x3711 x3712 -x3713 -x3714 -x3715 -x3716 x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 x3744 -x3745 -x3746 x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 -x3758 -x3759 -x3760 x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 -x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 -x3829 x3830 -x3831 -x3832 -x3833 -x3834 -x3835 x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 x3843 -x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 x3869 -x3870 -x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 x3887 -x3888 -x3889 x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 -x3905 -x3906 -x3907 -x3908 x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 x3918 -x3919 -x3920 x3921 -x3922 -x3923 -x3924 x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4020 -x4021 -x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 -x4033 -x4034 -x4035 -x4036 -x4037 x4038 -x4039 -x4040 x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 -x4069 -x4070 -x4071 -x4072 x4073 -x4074 -x4075 -x4076 -x4077 -x4078 x4079 -x4080 -x4081 -x4082 -x4083 -x4084 x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 -x4135 -x4136 x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 x4161 -x4162 -x4163 -x4164 -x4165 -x4166 x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 x4187 -x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213 x4214 -x4215 -x4216 -x4217 -x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 x4242 -x4243 -x4244 -x4245 x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 x4253 -x4254 -x4255 x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 x4272 -x4273 x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 x4289 -x4290 -x4291 -x4292 x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 -x4324 -x4325 -x4326 -x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367 -x4368 -x4369 -x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 -x4381 -x4382 x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 -x4412 -x4413 -x4414 -x4415 x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 x4428 -x4429 -x4430 -x4431 -x4432 -x4433 x4434 -x4435 -x4436 -x4437 -x4438 -x4439 x4440 -x4441 -x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 x4449 -x4450 -x4451 -x4452 -x4453 -x4454 x4455 -x4456 -x4457 -x4458 x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 x4474 -x4475 -x4476 -x4477 x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 -x4499 -x4500 -x4501 -x4502 x4503 -x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 x4516 -x4517 -x4518 -x4519 -x4520 -x4521 x4522 -x4523 -x4524 -x4525 -x4526 -x4527 x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 x4536 -x4537 -x4538 -x4539 x4540 -x4541 -x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 x4577 -x4578 -x4579 -x4580 -x4581 x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 x4608 -x4609 x4610 -x4611 -x4612 -x4613 -x4614 -x4615 x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 -x4627 -x4628 x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62356 MiB free)
memory of node 1: 64507 MiB (62439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4492045-1751142889/watcher-4492045-1751142889 -o /tmp/evaluation-result-4492045-1751142889/solver-4492045-1751142889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751142528-15068 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4492045-1751142889.opb PROOFDIR/proof-4492045-1751142889
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=15820, runsolver pid=15817
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.03 3.22 2.64 5/273 15822
/proc/meminfo: memFree=127791432/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15822] ppid=15820 vsize=32216 memory=21144 CPUtime=0.09 cores=0,2
/proc/15822/stat : 15822 (pbsuma) R 15820 15820 11935 0 -1 4194304 6695 0 0 0 8 1 0 0 20 0 1 0 29966614 32989184 5286 18446744073709551615 4210688 4653049 140722126309952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22626304 140722126313699 140722126314034 140722126314034 140722126319599 0
/proc/15822/statm: 8054 5286 992 108 0 5462 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36408 KiB
Current children cumulated memory: 24216 KiB
[startup+0.205838 s]*
/proc/loadavg: 4.03 3.22 2.64 5/273 15822
/proc/meminfo: memFree=127791432/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15822] ppid=15820 vsize=32216 memory=21784 CPUtime=0.19 cores=0,2
/proc/15822/stat : 15822 (pbsuma) R 15820 15820 11935 0 -1 4194304 6870 0 0 0 18 1 0 0 20 0 1 0 29966614 32989184 5446 18446744073709551615 4210688 4653049 140722126309952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22626304 140722126313699 140722126314034 140722126314034 140722126319599 0
/proc/15822/statm: 8054 5446 992 108 0 5462 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36408 KiB
Current children cumulated memory: 24856 KiB
[startup+0.305699 s]*
/proc/loadavg: 4.03 3.22 2.64 5/273 15822
/proc/meminfo: memFree=127774044/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15822] ppid=15820 vsize=51220 memory=37492 CPUtime=0.29 cores=0,2
/proc/15822/stat : 15822 (pbsuma) R 15820 15820 11935 0 -1 4194304 11511 0 0 0 28 1 0 0 20 0 1 0 29966614 52449280 9373 18446744073709551615 4210688 4653049 140722126309952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22626304 140722126313699 140722126314034 140722126314034 140722126319599 0
/proc/15822/statm: 12805 9373 992 108 0 10213 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55412 KiB
Current children cumulated memory: 40564 KiB
[startup+0.700195 s]
/proc/loadavg: 4.03 3.22 2.64 5/273 15822
/proc/meminfo: memFree=127774044/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15822] ppid=15820 vsize=31052 memory=22400 CPUtime=0.64 cores=0,2
/proc/15822/stat : 15822 (pbsuma) D 15820 15820 11935 0 -1 4194304 12263 0 0 0 57 7 0 0 20 0 1 0 29966614 31797248 5600 18446744073709551615 4210688 4653049 140722126309952 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 4700520 4703148 22626304 140722126313699 140722126314034 140722126314034 140722126319599 0
/proc/15822/statm: 7763 5600 992 108 0 5171 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 35244 KiB
Current children cumulated memory: 25472 KiB
[startup+1.50015 s]
/proc/loadavg: 4.03 3.22 2.64 5/273 15823
/proc/meminfo: memFree=127915496/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0.64 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 240 12266 0 0 0 0 57 7 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15823] ppid=15820 vsize=102600 memory=58652 CPUtime=0.73 cores=0,2
/proc/15823/stat : 15823 (roundingsat) R 15820 15820 11935 0 -1 4194304 10268 0 0 0 68 5 0 0 20 0 1 0 29966688 105062400 14663 18446744073709551615 4227072 8923433 140737110423840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31838208 140737110427892 140737110428200 140737110428200 140737110433770 0
/proc/15823/statm: 25650 14663 2272 1147 0 13077 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 106792 KiB
Current children cumulated memory: 61724 KiB
[startup+3.10562 s]
/proc/loadavg: 4.03 3.22 2.64 5/272 15823
/proc/meminfo: memFree=127899164/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0.64 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 240 12266 0 0 0 0 57 7 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15823] ppid=15820 vsize=113896 memory=71396 CPUtime=2.33 cores=0,2
/proc/15823/stat : 15823 (roundingsat) R 15820 15820 11935 0 -1 4194304 12455 0 0 0 222 11 0 0 20 0 1 0 29966688 116629504 17849 18446744073709551615 4227072 8923433 140737110423840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31838208 140737110427892 140737110428200 140737110428200 140737110433770 0
/proc/15823/statm: 28474 17849 2336 1147 0 15901 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 118088 KiB
Current children cumulated memory: 74468 KiB
[startup+6.30016 s]
/proc/loadavg: 4.03 3.23 2.64 5/272 15823
/proc/meminfo: memFree=127881272/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0.64 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 240 12266 0 0 0 0 57 7 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15823] ppid=15820 vsize=122092 memory=79204 CPUtime=5.52 cores=0,2
/proc/15823/stat : 15823 (roundingsat) R 15820 15820 11935 0 -1 4194304 14412 0 0 0 536 16 0 0 20 0 1 0 29966688 125022208 19801 18446744073709551615 4227072 8923433 140737110423840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31838208 140737110427892 140737110428200 140737110428200 140737110433770 0
/proc/15823/statm: 30523 19801 2336 1147 0 17950 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 126284 KiB
Current children cumulated memory: 82276 KiB
[startup+12.7002 s]
/proc/loadavg: 4.03 3.24 2.65 5/272 15823
/proc/meminfo: memFree=127789680/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0.64 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 240 12266 0 0 0 0 57 7 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15823] ppid=15820 vsize=140604 memory=94052 CPUtime=11.9 cores=0,2
/proc/15823/stat : 15823 (roundingsat) R 15820 15820 11935 0 -1 4194304 18135 0 0 0 1157 33 0 0 20 0 1 0 29966688 143978496 23513 18446744073709551615 4227072 8923433 140737110423840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31838208 140737110427892 140737110428200 140737110428200 140737110433770 0
/proc/15823/statm: 35151 23513 2336 1147 0 22578 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 144796 KiB
Current children cumulated memory: 97124 KiB
[startup+17.4311 s]
# the end of solver process 15820 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=16.7038 s, system=0.526278 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.03 3.24 2.65 5/272 15823
/proc/meminfo: memFree=127789680/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0.64 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 240 12266 0 0 0 0 57 7 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15823] ppid=15820 vsize=140604 memory=94052 CPUtime=12.01 cores=0,2
/proc/15823/stat : 15823 (roundingsat) R 15820 15820 11935 0 -1 4194304 18135 0 0 0 1167 34 0 0 20 0 1 0 29966688 143978496 23513 18446744073709551615 4227072 8923433 140737110423840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31838208 140737110427892 140737110428200 140737110428200 140737110433770 0
/proc/15823/statm: 35151 23513 2336 1147 0 22578 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 144796 KiB
Current children cumulated memory: 97124 KiB
[startup+16.0001 s]*
/proc/loadavg: 4.03 3.25 2.66 5/272 15823
/proc/meminfo: memFree=127745328/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0.64 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 240 12266 0 0 0 0 57 7 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15823] ppid=15820 vsize=140604 memory=94052 CPUtime=15.2 cores=0,2
/proc/15823/stat : 15823 (roundingsat) R 15820 15820 11935 0 -1 4194304 18143 0 0 0 1480 40 0 0 20 0 1 0 29966688 143978496 23513 18446744073709551615 4227072 8923433 140737110423840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31838208 140737110427892 140737110428200 140737110428200 140737110433770 0
/proc/15823/statm: 35151 23513 2336 1147 0 22578 0
Current children cumulated CPU time: 15.84 s
Current children cumulated vsize: 144796 KiB
Current children cumulated memory: 97124 KiB
[startup+16.8001 s]
/proc/loadavg: 4.03 3.25 2.66 5/272 15823
/proc/meminfo: memFree=127745328/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0.64 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 240 12266 0 0 0 0 57 7 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15823] ppid=15820 vsize=144424 memory=97508 CPUtime=15.99 cores=0,2
/proc/15823/stat : 15823 (roundingsat) R 15820 15820 11935 0 -1 4194304 18984 0 0 0 1557 42 0 0 20 0 1 0 29966688 147890176 24377 18446744073709551615 4227072 8923433 140737110423840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31838208 140737110427892 140737110428200 140737110428200 140737110433770 0
/proc/15823/statm: 36106 24377 2336 1147 0 23533 0
Current children cumulated CPU time: 16.63 s
Current children cumulated vsize: 148616 KiB
Current children cumulated memory: 100580 KiB
[startup+17.2002 s]
/proc/loadavg: 4.03 3.25 2.66 5/272 15823
/proc/meminfo: memFree=127729200/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0.64 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 240 12266 0 0 0 0 57 7 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15823] ppid=15820 vsize=146816 memory=101544 CPUtime=16.39 cores=0,2
/proc/15823/stat : 15823 (roundingsat) R 15820 15820 11935 0 -1 4194304 19488 0 0 0 1596 43 0 0 20 0 1 0 29966688 150339584 25386 18446744073709551615 4227072 8923433 140737110423840 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31838208 140737110427892 140737110428200 140737110428200 140737110433770 0
/proc/15823/statm: 36704 25386 2336 1147 0 24131 0
Current children cumulated CPU time: 17.03 s
Current children cumulated vsize: 151008 KiB
Current children cumulated memory: 104616 KiB
[startup+17.4001 s]
/proc/loadavg: 4.03 3.25 2.66 5/272 15823
/proc/meminfo: memFree=127729200/131249996 swapFree=33010684/33010684
[pid=15820] ppid=15817 vsize=4192 memory=3072 CPUtime=0.64 cores=0,2
/proc/15820/stat : 15820 (run-dec-break-l) S 15817 15820 11935 0 -1 4194304 240 12266 0 0 0 0 57 7 20 0 1 0 29966614 4292608 768 18446744073709551615 94875047223296 94875048117829 140735673402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94875048356880 94875048404624 94875058900992 140735673403669 140735673403870 140735673403870 140735673409472 0
/proc/15820/statm: 1048 768 704 219 0 110 0
[pid=15823] ppid=15820 vsize=146816 memory=101544 CPUtime=16.56 cores=0,2
/proc/15823/stat : 15823 (roundingsat) D 15820 15820 11935 0 -1 4194304 19488 0 0 0 1612 44 0 0 20 0 1 0 29966688 150339584 25386 18446744073709551615 4227072 8923433 140737110423840 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 31838208 140737110427892 140737110428200 140737110428200 140737110433770 0
/proc/15823/statm: 36704 25386 2336 1147 0 24131 0
Current children cumulated CPU time: 17.2 s
Current children cumulated vsize: 151008 KiB
Current children cumulated memory: 104616 KiB
Child status: 0
Real time (s): 17.4312
CPU time (s): 17.23
CPU user time (s): 16.7038
CPU system time (s): 0.526278
CPU usage (%): 98.8461
Max. virtual memory (cumulated for all children) (KiB): 151008
Max. memory (cumulated for all children) (KiB): 104616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7038
system time used= 0.526278
maximum resident set size= 101544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32018
page faults= 0
swaps= 0
block input operations= 8
block output operations= 290408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1301
involuntary context switches= 49
# summary of solver processes directly reported to runsolver:
# pid: 15820
# total CPU time (s): 17.23
# total CPU user time (s): 16.7038
# total CPU system time (s): 0.526278
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054171 second user time and 0.099107 second system time
The end
Begin job on nodeC021 at 2025-06-28 22:34:49
IDJOB=4492045
IDBENCH=147757
IDSOLVER=3358
FILE ID=nodeC021/4492045-1751142889
RUNJOBID= nodeC021-1751142528-15068
SLURM_JOB_ID= 9587421
Free space on /tmp= 433000 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4492045-1751142889/watcher-4492045-1751142889 -o /tmp/evaluation-result-4492045-1751142889/solver-4492045-1751142889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751142528-15068 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4492045-1751142889.opb PROOFDIR/proof-4492045-1751142889
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b71388011e4b80d0b0325c4a241ada38
RANDOM SEED=74527532
nodeC021 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.734
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.56
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.769
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.56
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 : 3600.858
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.56
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 : 3601.205
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.56
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.809
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.772
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.56
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 : 3489.680
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.56
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 : 3677.238
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127794456 kB
MemAvailable: 128391472 kB
Buffers: 3280 kB
Cached: 1406824 kB
SwapCached: 0 kB
Active: 1526260 kB
Inactive: 1184888 kB
Active(anon): 1319120 kB
Inactive(anon): 0 kB
Active(file): 207140 kB
Inactive(file): 1184888 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 167888 kB
Writeback: 0 kB
AnonPages: 1304192 kB
Mapped: 116224 kB
Shmem: 18060 kB
KReclaimable: 88056 kB
Slab: 177056 kB
SReclaimable: 88056 kB
SUnreclaim: 89000 kB
KernelStack: 4400 kB
PageTables: 5812 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1755960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 759808 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= 432992 MiB
End job on nodeC021 at 2025-06-28 22:35:07