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-4507628-1751187111.opb'
0.00/0.02 c read 0.25MB (10.22ms)
0.00/0.02 c [cnf: #variables 4125 #clauses 4277 #duplicates 0 #arr 25697]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 750] (13.00ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c (2.23ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 20777 #edges 76144]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 8.00*10^0 #generators 3] (11.65ms)
0.00/0.05 c
0.00/0.05 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.05 c (0.03ms)
0.00/0.05 c
0.00/0.05 c finalize break order and special generators
0.00/0.05 c
0.00/0.05 c add generic predicates (break_depth=10)
0.00/0.05 c added predicates for 3 generators (0.12ms)
0.00/0.05 c
0.00/0.05 c generation finished
0.00/0.05 c [sbp: #constraints 84 #add_vars 27]
0.00/0.05 c
0.00/0.05 c write result to 'HOME/instance-4507628-1751187111.opb.pre'
0.00/0.05 c wrote 0.26MB (2.00ms)
0.00/0.05 c ------------------------------------------------------------------
0.00/0.05 c 13.00ms 32.13% approx_orbits
0.00/0.05 c 11.65ms 28.78% detect_generic
0.00/0.05 c 10.21ms 25.24% parse
0.00/0.05 c 2.23ms 5.51% detect_special
0.00/0.05 c 2.00ms 4.93% output
0.00/0.05 c 0.80ms 1.98% other
0.00/0.05 c 0.43ms 1.05% finalize_order
0.00/0.05 c 0.12ms 0.29% break_generic
0.00/0.05 c 0.03ms 0.08% optimize_gens
0.00/0.05 c ───────────────────────────────────────────────
0.00/0.05 c 40.47ms 100% total
0.00/0.05 c ------------------------------------------------------------------
0.00/0.07 c RoundingSat 2
0.00/0.07 c branch pb25
0.00/0.07 c commit 63f22ad
0.07/0.15 c #variables 4152 #constraints 4344
25.76/25.97 c #Conflicts: 1000 | #Constraints: 5343
25.76/25.97 c #Conflicts: 2000 | #Constraints: 6343
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 3000 | #Constraints: 5804
25.76/25.97 c #Conflicts: 4000 | #Constraints: 6804
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 5000 | #Constraints: 6253
25.76/25.97 c #Conflicts: 6000 | #Constraints: 7253
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 7000 | #Constraints: 6294
25.76/25.97 c #Conflicts: 8000 | #Constraints: 7294
25.76/25.97 c #Conflicts: 9000 | #Constraints: 8294
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 10000 | #Constraints: 7031
25.76/25.97 c #Conflicts: 11000 | #Constraints: 8031
25.76/25.97 c #Conflicts: 12000 | #Constraints: 9031
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 13000 | #Constraints: 7517
25.76/25.97 c #Conflicts: 14000 | #Constraints: 8517
25.76/25.97 c #Conflicts: 15000 | #Constraints: 9517
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 16000 | #Constraints: 7763
25.76/25.97 c #Conflicts: 17000 | #Constraints: 8763
25.76/25.97 c #Conflicts: 18000 | #Constraints: 9763
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 19000 | #Constraints: 7805
25.76/25.97 c #Conflicts: 20000 | #Constraints: 8805
25.76/25.97 c #Conflicts: 21000 | #Constraints: 9805
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 22000 | #Constraints: 7612
25.76/25.97 c #Conflicts: 23000 | #Constraints: 8612
25.76/25.97 c #Conflicts: 24000 | #Constraints: 9612
25.76/25.97 c #Conflicts: 25000 | #Constraints: 10612
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 26000 | #Constraints: 8255
25.76/25.97 c #Conflicts: 27000 | #Constraints: 9255
25.76/25.97 c #Conflicts: 28000 | #Constraints: 10255
25.76/25.97 c #Conflicts: 29000 | #Constraints: 11255
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 30000 | #Constraints: 8651
25.76/25.97 c #Conflicts: 31000 | #Constraints: 9651
25.76/25.97 c #Conflicts: 32000 | #Constraints: 10651
25.76/25.97 c #Conflicts: 33000 | #Constraints: 11651
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 34000 | #Constraints: 8861
25.76/25.97 c #Conflicts: 35000 | #Constraints: 9861
25.76/25.97 c #Conflicts: 36000 | #Constraints: 10861
25.76/25.97 c #Conflicts: 37000 | #Constraints: 11861
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 38000 | #Constraints: 8885
25.76/25.97 c #Conflicts: 39000 | #Constraints: 9885
25.76/25.97 c #Conflicts: 40000 | #Constraints: 10885
25.76/25.97 c #Conflicts: 41000 | #Constraints: 11885
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 42000 | #Constraints: 8704
25.76/25.97 c #Conflicts: 43000 | #Constraints: 9704
25.76/25.97 c #Conflicts: 44000 | #Constraints: 10704
25.76/25.97 c #Conflicts: 45000 | #Constraints: 11704
25.76/25.97 c #Conflicts: 46000 | #Constraints: 12704
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c #Conflicts: 47000 | #Constraints: 9303
25.76/25.97 c #Conflicts: 48000 | #Constraints: 10303
25.76/25.97 c #Conflicts: 49000 | #Constraints: 11303
25.76/25.97 c #Conflicts: 50000 | #Constraints: 12303
25.76/25.97 c #Conflicts: 51000 | #Constraints: 13303
25.76/25.97 c INPROCESSING
25.76/25.97 c GARBAGE COLLECT
25.76/25.97 c rational objective 76
34.24/34.45 c #Conflicts: 52000 | #Constraints: 9720
34.24/34.45 c #Conflicts: 53000 | #Constraints: 10720
34.24/34.45 c #Conflicts: 54000 | #Constraints: 11720
34.24/34.45 c #Conflicts: 55000 | #Constraints: 12720
34.24/34.45 c #Conflicts: 56000 | #Constraints: 13720
34.24/34.45 c INPROCESSING
34.24/34.45 c GARBAGE COLLECT
34.24/34.45 c #Conflicts: 57000 | #Constraints: 9940
34.24/34.45 c #Conflicts: 58000 | #Constraints: 10940
34.24/34.45 c #Conflicts: 59000 | #Constraints: 11940
34.24/34.45 c #Conflicts: 60000 | #Constraints: 12940
34.24/34.45 c #Conflicts: 61000 | #Constraints: 13940
34.24/34.45 c INPROCESSING
34.24/34.45 c GARBAGE COLLECT
34.24/34.45 c #Conflicts: 62000 | #Constraints: 9934
34.24/34.45 c #Conflicts: 63000 | #Constraints: 10934
34.24/34.45 c #Conflicts: 64000 | #Constraints: 11934
34.24/34.45 c #Conflicts: 65000 | #Constraints: 12934
34.24/34.45 c #Conflicts: 66000 | #Constraints: 13934
34.24/34.45 c INPROCESSING
34.24/34.45 c GARBAGE COLLECT
34.24/34.45 c #Conflicts: 67000 | #Constraints: 9717
34.24/34.45 c #Conflicts: 68000 | #Constraints: 10717
34.24/34.45 c cpu time 33.6551 s
34.24/34.45 c deterministic time 1487206508 1.49e+09
34.24/34.45 c optimization time 4.6e-05 s
34.24/34.45 c total solve time 33.6041 s
34.24/34.45 c core-guided solve time 0 s
34.24/34.45 c propagation time 13.2094 s
34.24/34.45 c conflict analysis time 11.6415 s
34.24/34.45 c propagations 21904309
34.24/34.45 c resolve steps 2233658
34.24/34.45 c decisions 511510
34.24/34.45 c conflicts 68507
34.24/34.45 c restarts 211
34.24/34.45 c inprocessing phases 18
34.24/34.45 c garbage collections 18 ,( 100.00 )
34.24/34.45 c input clauses 4269 ,( 98.27 )
34.24/34.45 c input cardinalities 75 ,( 1.73 )
34.24/34.45 c input general constraints 0 ,( 0.00 )
34.24/34.45 c input average constraint length 5.96
34.24/34.45 c input average constraint degree 1.92
34.24/34.45 c learned clauses 47143 ,( 68.81 )
34.24/34.45 c learned cardinalities 3796 ,( 5.54 )
34.24/34.45 c learned general constraints 17569 ,( 25.65 )
34.24/34.45 c learned average constraint length 279.81
34.24/34.45 c learned average constraint degree 724150.60
34.24/34.45 c watched CF 32, 64, 128, Arb: 4765 , 0 , 0 , 0
34.24/34.45 c counting CF 32, 64, 128, Arb: 12804 , 0 , 0 , 0
34.24/34.45 c watched constraints 4765 ,( 27.12 )
34.24/34.45 c counting constraints 12804 ,( 72.88 )
34.24/34.45 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 20115559 , 10945778 , 14108839 ,( 1480817 , 12628022 )
34.24/34.45 c gcd simplifications 34
34.24/34.45 c detected cardinalities 330
34.24/34.45 c weakened non-implied lits 8210381
34.24/34.45 c weakened non-implying lits 2980
34.24/34.45 c original variables 4152
34.24/34.45 c clausal propagations 10334778
34.24/34.45 c cardinality propagations 8317177
34.24/34.45 c watched propagations 90382
34.24/34.45 c counting propagations 2835100
34.24/34.45 c watch lookups 391642491
34.24/34.45 c watch backjump lookups 0
34.24/34.45 c watch checks 365420815
34.24/34.45 c propagation checks 620106007
34.24/34.45 c constraint additions 65113285
34.24/34.45 c trail pops 22483715
34.24/34.45 c formula constraints 4344
34.24/34.45 c learned constraints 68507
34.24/34.45 c bound constraints 0
34.24/34.45 c core-guided constraints 0
34.24/34.45 c encountered formula constraints 1734134
34.24/34.45 c encountered learned constraints 568031
34.24/34.45 c encountered bound constraints 0
34.24/34.45 c encountered core-guided constraints 0
34.24/34.45 c LP total time 6.66372 s
34.24/34.45 c LP solve time 6.09 s
34.24/34.45 c LP constraints added 4344
34.24/34.45 c LP constraints removed 0
34.24/34.45 c LP pivots internal 10000
34.24/34.45 c LP pivots root 14375
34.24/34.45 c LP calls 5
34.24/34.45 c LP optimalities 1
34.24/34.45 c LP no pivot count 0
34.24/34.45 c LP infeasibilities 0
34.24/34.45 c LP valid Farkas constraints 0
34.24/34.45 c LP learned Farkas constraints 0
34.24/34.45 c LP basis resets 0
34.24/34.45 c LP cycling count 0
34.24/34.45 c LP singular count 0
34.24/34.45 c LP no primal count 0
34.24/34.45 c LP no farkas count 0
34.24/34.45 c LP other issue count 0
34.24/34.45 c LP Gomory cuts 1
34.24/34.45 c LP learned cuts 49
34.24/34.45 c LP deleted cuts 0
34.24/34.45 c LP encountered Gomory constraints 0
34.24/34.45 c LP encountered Farkas constraints 0
34.24/34.45 c LP encountered learned Farkas constraints 0
34.24/34.45 c CG auxiliary variables introduced 0
34.24/34.45 c CG solutions found 0
34.24/34.45 c CG cores constructed 0
34.24/34.45 c CG core cardinality constraints returned 0
34.24/34.45 c CG unit cores 0
34.24/34.45 c CG single cores 0
34.24/34.45 c CG blocks removed during cardinality reduction 0
34.24/34.45 c CG first core best 0
34.24/34.45 c CG decision core best 0
34.24/34.45 c CG core reduction tie 0
34.24/34.45 c CG core degree average 0.00
34.24/34.45 c CG core slack average 0.00
34.24/34.45 c CG core upper bound improvements 0
34.24/34.45 c STR number of successful calls 0
34.24/34.45 c STR number of unsuccessful calls 0
34.24/34.45 c STR number of inconclusive calls 0
34.24/34.45 c STR number of successful attempts 0
34.24/34.45 c STR number of unsuccessful attempts 0
34.24/34.45 c STR number of inconclusive attempts 0
34.24/34.45 c STR average degree increase per successful call inf
34.24/34.45 c STR average degree increase per successful attempt inf
34.24/34.45 c STR total number of conflicts for successful attempts 0
34.24/34.45 c STR total number of conflicts for unsuccessful attempts 0
34.24/34.45 c STR total number of conflicts for inconclusive attempts 0
34.24/34.45 c STR average number of conflicts per successful attempt inf
34.24/34.45 c STR average number of conflicts per unsuccessful attempt inf
34.24/34.45 c STR average number of conflicts per inconclusive attempt inf
34.24/34.45 c AVG.sumWPerc 62.81
34.24/34.45 c bigint constraints 0
34.24/34.45 s SATISFIABLE
34.24/34.45 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62013 MiB free)
memory of node 1: 64465 MiB (63384 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507628-1751187111/watcher-4507628-1751187111 -o /tmp/evaluation-result-4507628-1751187111/solver-4507628-1751187111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19246 --watchdog 3760 run-dec-break.sh HOME/instance-4507628-1751187111.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19810, runsolver pid=19807
[startup+0.100098 s]*
/proc/loadavg: 4.10 4.11 4.09 5/254 19813
/proc/meminfo: memFree=128398604/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=57636 memory=12988 CPUtime=0.04 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 971 0 0 0 2 2 0 0 20 0 1 0 34389762 59019264 3247 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 14409 3247 1984 1147 0 1836 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61828 KiB
Current children cumulated memory: 15932 KiB
[startup+0.213354 s]*
/proc/loadavg: 4.10 4.11 4.09 5/254 19813
/proc/meminfo: memFree=128389784/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=68964 memory=23988 CPUtime=0.15 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 4111 0 0 0 12 3 0 0 20 0 1 0 34389762 70619136 5997 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 17241 5997 2240 1147 0 4668 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 73156 KiB
Current children cumulated memory: 26932 KiB
[startup+0.31338 s]*
/proc/loadavg: 4.10 4.11 4.09 5/254 19813
/proc/meminfo: memFree=128389784/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=68964 memory=24244 CPUtime=0.24 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 4170 0 0 0 21 3 0 0 20 0 1 0 34389762 70619136 6061 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 17241 6061 2240 1147 0 4668 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 73156 KiB
Current children cumulated memory: 27188 KiB
[startup+0.700386 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 19813
/proc/meminfo: memFree=128389784/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=68964 memory=24372 CPUtime=0.62 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 4183 0 0 0 59 3 0 0 20 0 1 0 34389762 70619136 6093 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 17241 6093 2272 1147 0 4668 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 73156 KiB
Current children cumulated memory: 27316 KiB
[startup+1.50035 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 19813
/proc/meminfo: memFree=128387768/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=70472 memory=26036 CPUtime=1.42 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 4555 0 0 0 137 5 0 0 20 0 1 0 34389762 72163328 6509 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 17618 6509 2304 1147 0 5045 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 74664 KiB
Current children cumulated memory: 28980 KiB
[startup+3.11277 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 19813
/proc/meminfo: memFree=128383976/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=74208 memory=32020 CPUtime=3.03 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 5538 0 0 0 292 11 0 0 20 0 1 0 34389762 75988992 8005 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 18552 8005 2336 1147 0 5979 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 78400 KiB
Current children cumulated memory: 34964 KiB
[startup+6.30035 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 19861
/proc/meminfo: memFree=128772728/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=81244 memory=36116 CPUtime=6.2 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 6545 0 0 0 602 18 0 0 20 0 1 0 34389762 83193856 9029 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 20311 9029 2336 1147 0 7738 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 85436 KiB
Current children cumulated memory: 39060 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 19861
/proc/meminfo: memFree=128771060/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=82732 memory=40060 CPUtime=12.57 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 7021 0 0 0 1230 27 0 0 20 0 1 0 34389762 84717568 10015 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 20683 10015 2336 1147 0 8110 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 86924 KiB
Current children cumulated memory: 43004 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 19861
/proc/meminfo: memFree=128757388/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=92740 memory=48868 CPUtime=25.33 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 8722 0 0 0 2485 48 0 0 20 0 1 0 34389762 94965760 12217 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 23185 12217 2336 1147 0 10612 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 96932 KiB
Current children cumulated memory: 51812 KiB
[startup+34.4616 s]
# the end of solver process 19810 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=33.699 s, system=0.629265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 19861
/proc/meminfo: memFree=128757388/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=92740 memory=48868 CPUtime=25.43 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 8724 0 0 0 2495 48 0 0 20 0 1 0 34389762 94965760 12217 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 23185 12217 2336 1147 0 10612 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 96932 KiB
Current children cumulated memory: 51812 KiB
[startup+28.8004 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 19861
/proc/meminfo: memFree=128737228/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=106328 memory=62564 CPUtime=28.62 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 12134 0 0 0 2810 52 0 0 20 0 1 0 34389762 108879872 15641 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 26582 15641 2336 1147 0 14009 0
Current children cumulated CPU time: 28.65 s
Current children cumulated vsize: 110520 KiB
Current children cumulated memory: 65508 KiB
[startup+32.0003 s]*
/proc/loadavg: 4.12 4.11 4.09 5/254 19861
/proc/meminfo: memFree=128735228/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=106328 memory=62564 CPUtime=31.83 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 12135 0 0 0 3126 57 0 0 20 0 1 0 34389762 108879872 15641 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 26582 15641 2336 1147 0 14009 0
Current children cumulated CPU time: 31.86 s
Current children cumulated vsize: 110520 KiB
Current children cumulated memory: 65508 KiB
[startup+33.6003 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 19861
/proc/meminfo: memFree=128735228/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=113508 memory=66924 CPUtime=33.41 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 12716 0 0 0 3282 59 0 0 20 0 1 0 34389762 116232192 16731 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 28377 16731 2336 1147 0 15804 0
Current children cumulated CPU time: 33.44 s
Current children cumulated vsize: 117700 KiB
Current children cumulated memory: 69868 KiB
[startup+34.0003 s]*
/proc/loadavg: 4.12 4.11 4.09 5/254 19861
/proc/meminfo: memFree=128731132/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=113508 memory=68976 CPUtime=33.82 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 12718 0 0 0 3322 60 0 0 20 0 1 0 34389762 116232192 17244 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 28377 17244 2336 1147 0 15804 0
Current children cumulated CPU time: 33.85 s
Current children cumulated vsize: 117700 KiB
Current children cumulated memory: 71920 KiB
[startup+34.4004 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 19861
/proc/meminfo: memFree=128731132/131382120 swapFree=33010684/33010684
[pid=19810] ppid=19807 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/19810/stat : 19810 (run-dec-break.s) S 19807 19810 19233 0 -1 4194304 237 2867 0 0 0 0 3 0 20 0 1 0 34389756 4292608 736 18446744073709551615 93825204006912 93825204901445 140733860135584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825205140496 93825205188240 93825216114688 140733860141409 140733860141538 140733860141538 140733860147140 0
/proc/19810/statm: 1048 736 672 219 0 110 0
[pid=19813] ppid=19810 vsize=113508 memory=68976 CPUtime=34.21 cores=5,7
/proc/19813/stat : 19813 (roundingsat) R 19810 19810 19233 0 -1 4194304 12718 0 0 0 3360 61 0 0 20 0 1 0 34389762 116232192 17244 18446744073709551615 4227072 8923433 140727837592272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16490496 140727837600068 140727837600296 140727837600296 140727837605866 0
/proc/19813/statm: 28377 17244 2336 1147 0 15804 0
Current children cumulated CPU time: 34.24 s
Current children cumulated vsize: 117700 KiB
Current children cumulated memory: 71920 KiB
Child status: 0
Real time (s): 34.4617
CPU time (s): 34.3282
CPU user time (s): 33.699
CPU system time (s): 0.629265
CPU usage (%): 99.6128
Max. virtual memory (cumulated for all children) (KiB): 117700
Max. memory (cumulated for all children) (KiB): 71920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.699
system time used= 0.629265
maximum resident set size= 68976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 55
# summary of solver processes directly reported to runsolver:
# pid: 19810
# total CPU time (s): 34.3282
# total CPU user time (s): 33.699
# total CPU system time (s): 0.629265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.211372 second user time and 0.402245 second system time
The end
Begin job on nodeC003 at 2025-06-29 10:51:51
IDJOB=4507628
IDBENCH=158373
IDSOLVER=3357
FILE ID=nodeC003/4507628-1751187111
RUNJOBID= nodeC003-1751182666-19246
SLURM_JOB_ID= 9587560
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K75.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507628-1751187111/watcher-4507628-1751187111 -o /tmp/evaluation-result-4507628-1751187111/solver-4507628-1751187111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19246 --watchdog 3760 run-dec-break.sh HOME/instance-4507628-1751187111.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 20bd7084da444bf6829119f4b61cf926
RANDOM SEED=1790041423
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.155
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.279
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.672
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.161
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.984
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.151
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.432
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.160
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128407396 kB
MemAvailable: 128219276 kB
Buffers: 3280 kB
Cached: 622516 kB
SwapCached: 0 kB
Active: 2031640 kB
Inactive: 409304 kB
Active(anon): 1833108 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 409304 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7632 kB
Writeback: 4 kB
AnonPages: 1817352 kB
Mapped: 116112 kB
Shmem: 17960 kB
KReclaimable: 87344 kB
Slab: 168508 kB
SReclaimable: 87344 kB
SUnreclaim: 81164 kB
KernelStack: 4032 kB
PageTables: 6736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2369356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1300480 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 10:52:25