0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.04 c #variables 3905 #constraints 4049
23.69/23.83 c #Conflicts: 1000 | #Constraints: 5048
23.69/23.83 c #Conflicts: 2000 | #Constraints: 6048
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 3000 | #Constraints: 5540
23.69/23.83 c #Conflicts: 4000 | #Constraints: 6540
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 5000 | #Constraints: 5997
23.69/23.83 c #Conflicts: 6000 | #Constraints: 6997
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 7000 | #Constraints: 6025
23.69/23.83 c #Conflicts: 8000 | #Constraints: 7025
23.69/23.83 c #Conflicts: 9000 | #Constraints: 8025
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 10000 | #Constraints: 6741
23.69/23.83 c #Conflicts: 11000 | #Constraints: 7741
23.69/23.83 c #Conflicts: 12000 | #Constraints: 8741
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 13000 | #Constraints: 7241
23.69/23.83 c #Conflicts: 14000 | #Constraints: 8241
23.69/23.83 c #Conflicts: 15000 | #Constraints: 9241
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 16000 | #Constraints: 7473
23.69/23.83 c #Conflicts: 17000 | #Constraints: 8473
23.69/23.83 c #Conflicts: 18000 | #Constraints: 9473
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 19000 | #Constraints: 7513
23.69/23.83 c #Conflicts: 20000 | #Constraints: 8513
23.69/23.83 c #Conflicts: 21000 | #Constraints: 9513
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 22000 | #Constraints: 7320
23.69/23.83 c #Conflicts: 23000 | #Constraints: 8320
23.69/23.83 c #Conflicts: 24000 | #Constraints: 9320
23.69/23.83 c #Conflicts: 25000 | #Constraints: 10320
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 26000 | #Constraints: 7950
23.69/23.83 c #Conflicts: 27000 | #Constraints: 8950
23.69/23.83 c #Conflicts: 28000 | #Constraints: 9950
23.69/23.83 c #Conflicts: 29000 | #Constraints: 10950
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 30000 | #Constraints: 8362
23.69/23.83 c #Conflicts: 31000 | #Constraints: 9362
23.69/23.83 c #Conflicts: 32000 | #Constraints: 10362
23.69/23.83 c #Conflicts: 33000 | #Constraints: 11362
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 34000 | #Constraints: 8568
23.69/23.83 c #Conflicts: 35000 | #Constraints: 9568
23.69/23.83 c #Conflicts: 36000 | #Constraints: 10568
23.69/23.83 c #Conflicts: 37000 | #Constraints: 11568
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 38000 | #Constraints: 8595
23.69/23.83 c #Conflicts: 39000 | #Constraints: 9595
23.69/23.83 c #Conflicts: 40000 | #Constraints: 10595
23.69/23.83 c #Conflicts: 41000 | #Constraints: 11595
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 42000 | #Constraints: 8395
23.69/23.83 c #Conflicts: 43000 | #Constraints: 9395
23.69/23.83 c #Conflicts: 44000 | #Constraints: 10395
23.69/23.83 c #Conflicts: 45000 | #Constraints: 11395
23.69/23.83 c #Conflicts: 46000 | #Constraints: 12395
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c #Conflicts: 47000 | #Constraints: 8998
23.69/23.83 c #Conflicts: 48000 | #Constraints: 9998
23.69/23.83 c #Conflicts: 49000 | #Constraints: 10998
23.69/23.83 c #Conflicts: 50000 | #Constraints: 11998
23.69/23.83 c #Conflicts: 51000 | #Constraints: 12998
23.69/23.83 c INPROCESSING
23.69/23.83 c GARBAGE COLLECT
23.69/23.83 c rational objective 71
26.58/26.72 c #Conflicts: 52000 | #Constraints: 9402
26.58/26.72 c #Conflicts: 53000 | #Constraints: 10402
26.58/26.72 c #Conflicts: 54000 | #Constraints: 11402
26.58/26.72 c #Conflicts: 55000 | #Constraints: 12402
26.58/26.72 c #Conflicts: 56000 | #Constraints: 13402
26.58/26.72 c INPROCESSING
26.58/26.72 c GARBAGE COLLECT
26.58/26.72 c rational objective 71
30.07/30.21 c #Conflicts: 57000 | #Constraints: 9600
30.07/30.21 c #Conflicts: 58000 | #Constraints: 10600
30.07/30.21 c #Conflicts: 59000 | #Constraints: 11600
30.07/30.21 c #Conflicts: 60000 | #Constraints: 12600
30.07/30.21 c #Conflicts: 61000 | #Constraints: 13600
30.07/30.21 c INPROCESSING
30.07/30.21 c GARBAGE COLLECT
30.07/30.21 c rational objective 71
39.35/39.55 c #Conflicts: 62000 | #Constraints: 9609
39.35/39.55 c #Conflicts: 63000 | #Constraints: 10609
39.35/39.55 c #Conflicts: 64000 | #Constraints: 11609
39.35/39.55 c #Conflicts: 65000 | #Constraints: 12609
39.35/39.55 c #Conflicts: 66000 | #Constraints: 13609
39.35/39.55 c INPROCESSING
39.35/39.55 c GARBAGE COLLECT
39.35/39.55 c #Conflicts: 67000 | #Constraints: 9421
39.35/39.55 c #Conflicts: 68000 | #Constraints: 10421
39.35/39.55 c #Conflicts: 69000 | #Constraints: 11421
39.35/39.55 c #Conflicts: 70000 | #Constraints: 12421
39.35/39.55 c #Conflicts: 71000 | #Constraints: 13421
39.35/39.55 c #Conflicts: 72000 | #Constraints: 14421
39.35/39.55 c INPROCESSING
39.35/39.55 c GARBAGE COLLECT
39.35/39.55 c #Conflicts: 73000 | #Constraints: 10027
39.35/39.55 c #Conflicts: 74000 | #Constraints: 11027
39.35/39.55 c #Conflicts: 75000 | #Constraints: 12027
39.35/39.55 c #Conflicts: 76000 | #Constraints: 13027
39.35/39.55 c #Conflicts: 77000 | #Constraints: 14027
39.35/39.55 c #Conflicts: 78000 | #Constraints: 15027
39.35/39.55 c INPROCESSING
39.35/39.55 c GARBAGE COLLECT
39.35/39.55 c rational objective 71
43.73/43.91 c #Conflicts: 79000 | #Constraints: 10453
43.73/43.91 c #Conflicts: 80000 | #Constraints: 11453
43.73/43.91 c #Conflicts: 81000 | #Constraints: 12453
43.73/43.91 c #Conflicts: 82000 | #Constraints: 13453
43.73/43.91 c #Conflicts: 83000 | #Constraints: 14453
43.73/43.91 c #Conflicts: 84000 | #Constraints: 15453
43.73/43.91 c INPROCESSING
43.73/43.91 c GARBAGE COLLECT
43.73/43.91 c rational objective 71
48.52/48.73 c #Conflicts: 85000 | #Constraints: 10657
48.52/48.73 c #Conflicts: 86000 | #Constraints: 11657
48.52/48.73 c #Conflicts: 87000 | #Constraints: 12657
48.52/48.73 c #Conflicts: 88000 | #Constraints: 13657
48.52/48.73 c #Conflicts: 89000 | #Constraints: 14657
48.52/48.73 c #Conflicts: 90000 | #Constraints: 15657
48.52/48.73 c INPROCESSING
48.52/48.73 c GARBAGE COLLECT
48.52/48.73 c rational objective 71
53.00/53.22 c #Conflicts: 91000 | #Constraints: 10687
53.00/53.22 c #Conflicts: 92000 | #Constraints: 11687
53.00/53.22 c #Conflicts: 93000 | #Constraints: 12687
53.00/53.22 c #Conflicts: 94000 | #Constraints: 13687
53.00/53.22 c #Conflicts: 95000 | #Constraints: 14687
53.00/53.22 c #Conflicts: 96000 | #Constraints: 15687
53.00/53.22 c INPROCESSING
53.00/53.22 c GARBAGE COLLECT
53.00/53.22 c rational objective 71
53.80/54.09 c cpu time 53.1881 s
53.80/54.09 c deterministic time 2555387661 2.56e+09
53.80/54.09 c optimization time 3.1e-05 s
53.80/54.09 c total solve time 53.1728 s
53.80/54.09 c core-guided solve time 0 s
53.80/54.09 c propagation time 19.3078 s
53.80/54.09 c conflict analysis time 22.0477 s
53.80/54.09 c propagations 32466437
53.80/54.09 c resolve steps 3710416
53.80/54.09 c decisions 613492
53.80/54.09 c conflicts 96946
53.80/54.09 c restarts 254
53.80/54.09 c inprocessing phases 23
53.80/54.09 c garbage collections 23 ,( 100.00 )
53.80/54.09 c input clauses 3978 ,( 98.25 )
53.80/54.09 c input cardinalities 71 ,( 1.75 )
53.80/54.09 c input general constraints 0 ,( 0.00 )
53.80/54.09 c input average constraint length 6.01
53.80/54.09 c input average constraint degree 1.93
53.80/54.09 c learned clauses 68759 ,( 70.92 )
53.80/54.09 c learned cardinalities 4227 ,( 4.36 )
53.80/54.09 c learned general constraints 23965 ,( 24.72 )
53.80/54.09 c learned average constraint length 319.57
53.80/54.09 c learned average constraint degree 2478901.66
53.80/54.09 c watched CF 32, 64, 128, Arb: 7036 , 0 , 0 , 0
53.80/54.09 c counting CF 32, 64, 128, Arb: 16929 , 0 , 0 , 0
53.80/54.09 c watched constraints 7036 ,( 29.36 )
53.80/54.09 c counting constraints 16929 ,( 70.64 )
53.80/54.09 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 31603245 , 16545095 , 35186296 ,( 2714375 , 32471921 )
53.80/54.09 c gcd simplifications 56
53.80/54.09 c detected cardinalities 381
53.80/54.09 c weakened non-implied lits 12274979
53.80/54.09 c weakened non-implying lits 7548
53.80/54.09 c original variables 3905
53.80/54.09 c clausal propagations 14916234
53.80/54.09 c cardinality propagations 11997202
53.80/54.09 c watched propagations 145050
53.80/54.09 c counting propagations 5005900
53.80/54.09 c watch lookups 738903212
53.80/54.09 c watch backjump lookups 0
53.80/54.09 c watch checks 632803848
53.80/54.09 c propagation checks 1008670786
53.80/54.09 c constraint additions 108730498
53.80/54.09 c trail pops 33176273
53.80/54.09 c formula constraints 4049
53.80/54.09 c learned constraints 96946
53.80/54.09 c bound constraints 0
53.80/54.09 c core-guided constraints 0
53.80/54.09 c encountered formula constraints 2850595
53.80/54.09 c encountered learned constraints 956767
53.80/54.09 c encountered bound constraints 0
53.80/54.09 c encountered core-guided constraints 0
53.80/54.09 c LP total time 8.15495 s
53.80/54.09 c LP solve time 4.67 s
53.80/54.09 c LP constraints added 4266
53.80/54.09 c LP constraints removed 122
53.80/54.09 c LP pivots internal 11502
53.80/54.09 c LP pivots root 11612
53.80/54.09 c LP calls 12
53.80/54.09 c LP optimalities 9
53.80/54.09 c LP no pivot count 0
53.80/54.09 c LP infeasibilities 0
53.80/54.09 c LP valid Farkas constraints 0
53.80/54.09 c LP learned Farkas constraints 0
53.80/54.09 c LP basis resets 0
53.80/54.09 c LP cycling count 0
53.80/54.09 c LP singular count 0
53.80/54.09 c LP no primal count 0
53.80/54.09 c LP no farkas count 0
53.80/54.09 c LP other issue count 0
53.80/54.09 c LP Gomory cuts 5
53.80/54.09 c LP learned cuts 253
53.80/54.09 c LP deleted cuts 168
53.80/54.09 c LP encountered Gomory constraints 0
53.80/54.09 c LP encountered Farkas constraints 0
53.80/54.09 c LP encountered learned Farkas constraints 0
53.80/54.09 c CG auxiliary variables introduced 0
53.80/54.09 c CG solutions found 0
53.80/54.09 c CG cores constructed 0
53.80/54.09 c CG core cardinality constraints returned 0
53.80/54.09 c CG unit cores 0
53.80/54.09 c CG single cores 0
53.80/54.09 c CG blocks removed during cardinality reduction 0
53.80/54.09 c CG first core best 0
53.80/54.09 c CG decision core best 0
53.80/54.09 c CG core reduction tie 0
53.80/54.09 c CG core degree average 0.00
53.80/54.09 c CG core slack average 0.00
53.80/54.09 c CG core upper bound improvements 0
53.80/54.09 c STR number of successful calls 0
53.80/54.09 c STR number of unsuccessful calls 0
53.80/54.09 c STR number of inconclusive calls 0
53.80/54.09 c STR number of successful attempts 0
53.80/54.09 c STR number of unsuccessful attempts 0
53.80/54.09 c STR number of inconclusive attempts 0
53.80/54.09 c STR average degree increase per successful call inf
53.80/54.09 c STR average degree increase per successful attempt inf
53.80/54.09 c STR total number of conflicts for successful attempts 0
53.80/54.09 c STR total number of conflicts for unsuccessful attempts 0
53.80/54.09 c STR total number of conflicts for inconclusive attempts 0
53.80/54.09 c STR average number of conflicts per successful attempt inf
53.80/54.09 c STR average number of conflicts per unsuccessful attempt inf
53.80/54.09 c STR average number of conflicts per inconclusive attempt inf
53.80/54.09 c AVG.sumWPerc 62.02
53.80/54.09 c bigint constraints 0
53.80/54.09 s SATISFIABLE
53.80/54.09 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
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 (63063 MiB free)
memory of node 1: 64507 MiB (64016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507662-1751192387/watcher-4507662-1751192387 -o /tmp/evaluation-result-4507662-1751192387/solver-4507662-1751192387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751192387-26735 --watchdog 3760 run-dec-ls.sh HOME/instance-4507662-1751192387.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26780, runsolver pid=26774
[startup+0.100058 s]*
/proc/loadavg: 1.04 1.42 2.37 5/269 26798
/proc/meminfo: memFree=130078836/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=66360 memory=20364 CPUtime=0.08 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 3592 0 0 0 7 1 0 0 20 0 1 0 34916519 67952640 5091 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 16590 5091 2304 1147 0 4017 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70552 KiB
Current children cumulated memory: 23308 KiB
[startup+0.205674 s]*
/proc/loadavg: 1.04 1.42 2.37 5/269 26798
/proc/meminfo: memFree=130071532/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=66360 memory=20492 CPUtime=0.18 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 3599 0 0 0 17 1 0 0 20 0 1 0 34916519 67952640 5123 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 16590 5123 2336 1147 0 4017 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70552 KiB
Current children cumulated memory: 23436 KiB
[startup+0.305166 s]*
/proc/loadavg: 1.04 1.42 2.37 5/269 26798
/proc/meminfo: memFree=130071532/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=66612 memory=20620 CPUtime=0.28 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 3638 0 0 0 27 1 0 0 20 0 1 0 34916519 68210688 5155 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 16653 5155 2336 1147 0 4080 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70804 KiB
Current children cumulated memory: 23564 KiB
[startup+0.700133 s]
/proc/loadavg: 1.04 1.42 2.37 5/269 26798
/proc/meminfo: memFree=130069516/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=67188 memory=21388 CPUtime=0.66 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 3803 0 0 0 65 1 0 0 20 0 1 0 34916519 68800512 5347 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 16797 5347 2368 1147 0 4224 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 71380 KiB
Current children cumulated memory: 24332 KiB
[startup+1.50013 s]
/proc/loadavg: 1.04 1.42 2.37 5/269 26798
/proc/meminfo: memFree=130053860/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=69724 memory=25868 CPUtime=1.47 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 4898 0 0 0 142 5 0 0 20 0 1 0 34916519 71397376 6467 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 17431 6467 2400 1147 0 4858 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 73916 KiB
Current children cumulated memory: 28812 KiB
[startup+3.10535 s]
/proc/loadavg: 1.04 1.42 2.37 5/269 26798
/proc/meminfo: memFree=130041916/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=72844 memory=31300 CPUtime=3.06 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 5751 0 0 0 298 8 0 0 20 0 1 0 34916519 74592256 7825 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 18211 7825 2400 1147 0 5638 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 77036 KiB
Current children cumulated memory: 34244 KiB
[startup+6.30015 s]
/proc/loadavg: 1.28 1.46 2.38 5/269 26798
/proc/meminfo: memFree=130032536/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=78528 memory=34116 CPUtime=6.25 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 6428 0 0 0 612 13 0 0 20 0 1 0 34916519 80412672 8529 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 19632 8529 2400 1147 0 7059 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 82720 KiB
Current children cumulated memory: 37060 KiB
[startup+12.7001 s]
/proc/loadavg: 1.50 1.50 2.38 4/264 26807
/proc/meminfo: memFree=130038968/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=80416 memory=37444 CPUtime=12.62 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 7289 0 0 0 1237 25 0 0 20 0 1 0 34916519 82345984 9361 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 20104 9361 2400 1147 0 7531 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 84608 KiB
Current children cumulated memory: 40388 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 1.63 2.41 5/268 26937
/proc/meminfo: memFree=129999192/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=96556 memory=53020 CPUtime=25.38 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 10666 0 0 0 2497 41 0 0 20 0 1 0 34916519 98873344 13255 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 24139 13255 2400 1147 0 11566 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 100748 KiB
Current children cumulated memory: 55964 KiB
[startup+51.1052 s]
/proc/loadavg: 2.72 1.82 2.45 5/268 26937
/proc/meminfo: memFree=129931716/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=113136 memory=70752 CPUtime=50.91 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 15323 0 0 0 5022 69 0 0 20 0 1 0 34916519 115851264 17688 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 28284 17688 2400 1147 0 15711 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 117328 KiB
Current children cumulated memory: 73696 KiB
[startup+54.1006 s]
# the end of solver process 26780 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=53.1912 s, system=0.724942 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 2.72 1.82 2.45 5/268 26937
/proc/meminfo: memFree=129931716/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=113136 memory=70752 CPUtime=51.01 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 15323 0 0 0 5032 69 0 0 20 0 1 0 34916519 115851264 17688 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 28284 17688 2400 1147 0 15711 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 117328 KiB
Current children cumulated memory: 73696 KiB
[startup+52.8001 s]
/proc/loadavg: 2.72 1.82 2.45 5/268 26937
/proc/meminfo: memFree=129931464/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=113136 memory=70880 CPUtime=52.61 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 15337 0 0 0 5190 71 0 0 20 0 1 0 34916519 115851264 17720 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 28284 17720 2400 1147 0 15711 0
Current children cumulated CPU time: 52.61 s
Current children cumulated vsize: 117328 KiB
Current children cumulated memory: 73824 KiB
[startup+53.6001 s]
/proc/loadavg: 2.72 1.82 2.45 5/268 26937
/proc/meminfo: memFree=129931212/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=113136 memory=70880 CPUtime=53.4 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 15347 0 0 0 5269 71 0 0 20 0 1 0 34916519 115851264 17720 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 28284 17720 2400 1147 0 15711 0
Current children cumulated CPU time: 53.4 s
Current children cumulated vsize: 117328 KiB
Current children cumulated memory: 73824 KiB
[startup+54.0001 s]*
/proc/loadavg: 2.72 1.82 2.45 5/268 26937
/proc/meminfo: memFree=129927116/131250000 swapFree=33010684/33010684
[pid=26780] ppid=26774 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/26780/stat : 26780 (run-dec-ls.sh) S 26774 26780 26724 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34916518 4292608 736 18446744073709551615 94457966227456 94457967121989 140722903427360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94457967361040 94457967408784 94457981485056 140722903435623 140722903435749 140722903435749 140722903441351 0
/proc/26780/statm: 1048 736 672 219 0 110 0
[pid=26786] ppid=26780 vsize=113136 memory=70880 CPUtime=53.8 cores=4,6
/proc/26786/stat : 26786 (roundingsat) R 26780 26780 26724 0 -1 4194304 15347 0 0 0 5309 71 0 0 20 0 1 0 34916519 115851264 17720 18446744073709551615 4227072 8923433 140723518558512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42823680 140723518560672 140723518560808 140723518560808 140723518566378 0
/proc/26786/statm: 28284 17720 2400 1147 0 15711 0
Current children cumulated CPU time: 53.8 s
Current children cumulated vsize: 117328 KiB
Current children cumulated memory: 73824 KiB
Child status: 0
Real time (s): 54.1007
CPU time (s): 53.9162
CPU user time (s): 53.1912
CPU system time (s): 0.724942
CPU usage (%): 99.659
Max. virtual memory (cumulated for all children) (KiB): 117328
Max. memory (cumulated for all children) (KiB): 73824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.1912
system time used= 0.724942
maximum resident set size= 70880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 80
# summary of solver processes directly reported to runsolver:
# pid: 26780
# total CPU time (s): 53.9162
# total CPU user time (s): 53.1912
# total CPU system time (s): 0.724942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.111173 second user time and 0.245751 second system time
The end
Begin job on nodeC018 at 2025-06-29 12:19:47
IDJOB=4507662
IDBENCH=158375
IDSOLVER=3353
FILE ID=nodeC018/4507662-1751192387
RUNJOBID= nodeC018-1751192387-26735
SLURM_JOB_ID= 9587583
Free space on /tmp= 433064 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507662-1751192387/watcher-4507662-1751192387 -o /tmp/evaluation-result-4507662-1751192387/solver-4507662-1751192387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751192387-26735 --watchdog 3760 run-dec-ls.sh HOME/instance-4507662-1751192387.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=1119762489
nodeC018 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 : 3598.412
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.66
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.825
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.66
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 : 3599.814
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.66
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 : 2572.241
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.66
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.827
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.66
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 : 3591.714
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.501
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.821
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 130113708 kB
MemAvailable: 129800768 kB
Buffers: 3280 kB
Cached: 497140 kB
SwapCached: 0 kB
Active: 326796 kB
Inactive: 239980 kB
Active(anon): 84440 kB
Inactive(anon): 0 kB
Active(file): 242356 kB
Inactive(file): 239980 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28556 kB
Writeback: 0 kB
AnonPages: 69168 kB
Mapped: 102384 kB
Shmem: 18076 kB
KReclaimable: 87528 kB
Slab: 171040 kB
SReclaimable: 87528 kB
SUnreclaim: 83512 kB
KernelStack: 4144 kB
PageTables: 2844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 332120 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC018 at 2025-06-29 12:20:41