0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.08 c #variables 3905 #constraints 4049
21.92/22.05 c #Conflicts: 1000 | #Constraints: 5048
21.92/22.05 c #Conflicts: 2000 | #Constraints: 6048
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 3000 | #Constraints: 5540
21.92/22.05 c #Conflicts: 4000 | #Constraints: 6540
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 5000 | #Constraints: 5997
21.92/22.05 c #Conflicts: 6000 | #Constraints: 6997
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 7000 | #Constraints: 6025
21.92/22.05 c #Conflicts: 8000 | #Constraints: 7025
21.92/22.05 c #Conflicts: 9000 | #Constraints: 8025
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 10000 | #Constraints: 6741
21.92/22.05 c #Conflicts: 11000 | #Constraints: 7741
21.92/22.05 c #Conflicts: 12000 | #Constraints: 8741
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 13000 | #Constraints: 7241
21.92/22.05 c #Conflicts: 14000 | #Constraints: 8241
21.92/22.05 c #Conflicts: 15000 | #Constraints: 9241
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 16000 | #Constraints: 7473
21.92/22.05 c #Conflicts: 17000 | #Constraints: 8473
21.92/22.05 c #Conflicts: 18000 | #Constraints: 9473
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 19000 | #Constraints: 7513
21.92/22.05 c #Conflicts: 20000 | #Constraints: 8513
21.92/22.05 c #Conflicts: 21000 | #Constraints: 9513
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 22000 | #Constraints: 7320
21.92/22.05 c #Conflicts: 23000 | #Constraints: 8320
21.92/22.05 c #Conflicts: 24000 | #Constraints: 9320
21.92/22.05 c #Conflicts: 25000 | #Constraints: 10320
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 26000 | #Constraints: 7950
21.92/22.05 c #Conflicts: 27000 | #Constraints: 8950
21.92/22.05 c #Conflicts: 28000 | #Constraints: 9950
21.92/22.05 c #Conflicts: 29000 | #Constraints: 10950
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 30000 | #Constraints: 8362
21.92/22.05 c #Conflicts: 31000 | #Constraints: 9362
21.92/22.05 c #Conflicts: 32000 | #Constraints: 10362
21.92/22.05 c #Conflicts: 33000 | #Constraints: 11362
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 34000 | #Constraints: 8568
21.92/22.05 c #Conflicts: 35000 | #Constraints: 9568
21.92/22.05 c #Conflicts: 36000 | #Constraints: 10568
21.92/22.05 c #Conflicts: 37000 | #Constraints: 11568
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 38000 | #Constraints: 8595
21.92/22.05 c #Conflicts: 39000 | #Constraints: 9595
21.92/22.05 c #Conflicts: 40000 | #Constraints: 10595
21.92/22.05 c #Conflicts: 41000 | #Constraints: 11595
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 42000 | #Constraints: 8395
21.92/22.05 c #Conflicts: 43000 | #Constraints: 9395
21.92/22.05 c #Conflicts: 44000 | #Constraints: 10395
21.92/22.05 c #Conflicts: 45000 | #Constraints: 11395
21.92/22.05 c #Conflicts: 46000 | #Constraints: 12395
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c #Conflicts: 47000 | #Constraints: 8998
21.92/22.05 c #Conflicts: 48000 | #Constraints: 9998
21.92/22.05 c #Conflicts: 49000 | #Constraints: 10998
21.92/22.05 c #Conflicts: 50000 | #Constraints: 11998
21.92/22.05 c #Conflicts: 51000 | #Constraints: 12998
21.92/22.05 c INPROCESSING
21.92/22.05 c GARBAGE COLLECT
21.92/22.05 c rational objective 71
24.60/24.78 c #Conflicts: 52000 | #Constraints: 9402
24.60/24.78 c #Conflicts: 53000 | #Constraints: 10402
24.60/24.78 c #Conflicts: 54000 | #Constraints: 11402
24.60/24.78 c #Conflicts: 55000 | #Constraints: 12402
24.60/24.78 c #Conflicts: 56000 | #Constraints: 13402
24.60/24.78 c INPROCESSING
24.60/24.78 c GARBAGE COLLECT
24.60/24.78 c rational objective 71
27.91/28.02 c #Conflicts: 57000 | #Constraints: 9600
27.91/28.02 c #Conflicts: 58000 | #Constraints: 10600
27.91/28.02 c #Conflicts: 59000 | #Constraints: 11600
27.91/28.02 c #Conflicts: 60000 | #Constraints: 12600
27.91/28.02 c #Conflicts: 61000 | #Constraints: 13600
27.91/28.02 c INPROCESSING
27.91/28.02 c GARBAGE COLLECT
27.91/28.02 c rational objective 71
36.47/36.68 c #Conflicts: 62000 | #Constraints: 9609
36.47/36.68 c #Conflicts: 63000 | #Constraints: 10609
36.47/36.68 c #Conflicts: 64000 | #Constraints: 11609
36.47/36.68 c #Conflicts: 65000 | #Constraints: 12609
36.47/36.68 c #Conflicts: 66000 | #Constraints: 13609
36.47/36.68 c INPROCESSING
36.47/36.68 c GARBAGE COLLECT
36.47/36.68 c #Conflicts: 67000 | #Constraints: 9421
36.47/36.68 c #Conflicts: 68000 | #Constraints: 10421
36.47/36.68 c #Conflicts: 69000 | #Constraints: 11421
36.47/36.68 c #Conflicts: 70000 | #Constraints: 12421
36.47/36.68 c #Conflicts: 71000 | #Constraints: 13421
36.47/36.68 c #Conflicts: 72000 | #Constraints: 14421
36.47/36.68 c INPROCESSING
36.47/36.68 c GARBAGE COLLECT
36.47/36.68 c #Conflicts: 73000 | #Constraints: 10027
36.47/36.68 c #Conflicts: 74000 | #Constraints: 11027
36.47/36.68 c #Conflicts: 75000 | #Constraints: 12027
36.47/36.68 c #Conflicts: 76000 | #Constraints: 13027
36.47/36.68 c #Conflicts: 77000 | #Constraints: 14027
36.47/36.68 c #Conflicts: 78000 | #Constraints: 15027
36.47/36.68 c INPROCESSING
36.47/36.68 c GARBAGE COLLECT
36.47/36.68 c rational objective 71
40.65/40.82 c #Conflicts: 79000 | #Constraints: 10453
40.65/40.82 c #Conflicts: 80000 | #Constraints: 11453
40.65/40.82 c #Conflicts: 81000 | #Constraints: 12453
40.65/40.82 c #Conflicts: 82000 | #Constraints: 13453
40.65/40.82 c #Conflicts: 83000 | #Constraints: 14453
40.65/40.82 c #Conflicts: 84000 | #Constraints: 15453
40.65/40.82 c INPROCESSING
40.65/40.82 c GARBAGE COLLECT
40.65/40.82 c rational objective 71
45.13/45.39 c #Conflicts: 85000 | #Constraints: 10657
45.13/45.39 c #Conflicts: 86000 | #Constraints: 11657
45.13/45.39 c #Conflicts: 87000 | #Constraints: 12657
45.13/45.39 c #Conflicts: 88000 | #Constraints: 13657
45.13/45.39 c #Conflicts: 89000 | #Constraints: 14657
45.13/45.39 c #Conflicts: 90000 | #Constraints: 15657
45.13/45.39 c INPROCESSING
45.13/45.39 c GARBAGE COLLECT
45.13/45.39 c rational objective 71
49.43/49.63 c #Conflicts: 91000 | #Constraints: 10687
49.43/49.63 c #Conflicts: 92000 | #Constraints: 11687
49.43/49.63 c #Conflicts: 93000 | #Constraints: 12687
49.43/49.63 c #Conflicts: 94000 | #Constraints: 13687
49.43/49.63 c #Conflicts: 95000 | #Constraints: 14687
49.43/49.63 c #Conflicts: 96000 | #Constraints: 15687
49.43/49.63 c INPROCESSING
49.43/49.63 c GARBAGE COLLECT
49.43/49.63 c rational objective 71
50.12/50.33 c cpu time 49.372 s
50.12/50.33 c deterministic time 2555387661 2.56e+09
50.12/50.33 c optimization time 4.8e-05 s
50.12/50.33 c total solve time 49.3283 s
50.12/50.33 c core-guided solve time 0 s
50.12/50.33 c propagation time 19.7638 s
50.12/50.33 c conflict analysis time 21.4916 s
50.12/50.33 c propagations 32466437
50.12/50.33 c resolve steps 3710416
50.12/50.33 c decisions 613492
50.12/50.33 c conflicts 96946
50.12/50.33 c restarts 254
50.12/50.33 c inprocessing phases 23
50.12/50.33 c garbage collections 23 ,( 100.00 )
50.12/50.33 c input clauses 3978 ,( 98.25 )
50.12/50.33 c input cardinalities 71 ,( 1.75 )
50.12/50.33 c input general constraints 0 ,( 0.00 )
50.12/50.33 c input average constraint length 6.01
50.12/50.33 c input average constraint degree 1.93
50.12/50.33 c learned clauses 68759 ,( 70.92 )
50.12/50.33 c learned cardinalities 4227 ,( 4.36 )
50.12/50.33 c learned general constraints 23965 ,( 24.72 )
50.12/50.33 c learned average constraint length 319.57
50.12/50.33 c learned average constraint degree 2478901.66
50.12/50.33 c watched CF 32, 64, 128, Arb: 7036 , 0 , 0 , 0
50.12/50.33 c counting CF 32, 64, 128, Arb: 16929 , 0 , 0 , 0
50.12/50.33 c watched constraints 7036 ,( 29.36 )
50.12/50.33 c counting constraints 16929 ,( 70.64 )
50.12/50.33 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 31603245 , 16545095 , 35186296 ,( 2714375 , 32471921 )
50.12/50.33 c gcd simplifications 56
50.12/50.33 c detected cardinalities 381
50.12/50.33 c weakened non-implied lits 12274979
50.12/50.33 c weakened non-implying lits 7548
50.12/50.33 c original variables 3905
50.12/50.33 c clausal propagations 14916234
50.12/50.33 c cardinality propagations 11997202
50.12/50.33 c watched propagations 145050
50.12/50.33 c counting propagations 5005900
50.12/50.33 c watch lookups 738903212
50.12/50.33 c watch backjump lookups 0
50.12/50.33 c watch checks 632803848
50.12/50.33 c propagation checks 1008670786
50.12/50.33 c constraint additions 108730498
50.12/50.33 c trail pops 33176273
50.12/50.33 c formula constraints 4049
50.12/50.33 c learned constraints 96946
50.12/50.33 c bound constraints 0
50.12/50.33 c core-guided constraints 0
50.12/50.33 c encountered formula constraints 2850595
50.12/50.33 c encountered learned constraints 956767
50.12/50.33 c encountered bound constraints 0
50.12/50.33 c encountered core-guided constraints 0
50.12/50.33 c LP total time 8.59526 s
50.12/50.33 c LP solve time 5.18 s
50.12/50.33 c LP constraints added 4266
50.12/50.33 c LP constraints removed 122
50.12/50.33 c LP pivots internal 11502
50.12/50.33 c LP pivots root 11612
50.12/50.33 c LP calls 12
50.12/50.33 c LP optimalities 9
50.12/50.33 c LP no pivot count 0
50.12/50.33 c LP infeasibilities 0
50.12/50.33 c LP valid Farkas constraints 0
50.12/50.33 c LP learned Farkas constraints 0
50.12/50.33 c LP basis resets 0
50.12/50.33 c LP cycling count 0
50.12/50.33 c LP singular count 0
50.12/50.33 c LP no primal count 0
50.12/50.33 c LP no farkas count 0
50.12/50.33 c LP other issue count 0
50.12/50.33 c LP Gomory cuts 5
50.12/50.33 c LP learned cuts 253
50.12/50.33 c LP deleted cuts 168
50.12/50.33 c LP encountered Gomory constraints 0
50.12/50.33 c LP encountered Farkas constraints 0
50.12/50.33 c LP encountered learned Farkas constraints 0
50.12/50.33 c CG auxiliary variables introduced 0
50.12/50.33 c CG solutions found 0
50.12/50.33 c CG cores constructed 0
50.12/50.33 c CG core cardinality constraints returned 0
50.12/50.33 c CG unit cores 0
50.12/50.33 c CG single cores 0
50.12/50.33 c CG blocks removed during cardinality reduction 0
50.12/50.33 c CG first core best 0
50.12/50.33 c CG decision core best 0
50.12/50.33 c CG core reduction tie 0
50.12/50.33 c CG core degree average 0.00
50.12/50.33 c CG core slack average 0.00
50.12/50.33 c CG core upper bound improvements 0
50.12/50.33 c STR number of successful calls 0
50.12/50.33 c STR number of unsuccessful calls 0
50.12/50.33 c STR number of inconclusive calls 0
50.12/50.33 c STR number of successful attempts 0
50.12/50.33 c STR number of unsuccessful attempts 0
50.12/50.33 c STR number of inconclusive attempts 0
50.12/50.33 c STR average degree increase per successful call inf
50.12/50.33 c STR average degree increase per successful attempt inf
50.12/50.33 c STR total number of conflicts for successful attempts 0
50.12/50.33 c STR total number of conflicts for unsuccessful attempts 0
50.12/50.33 c STR total number of conflicts for inconclusive attempts 0
50.12/50.33 c STR average number of conflicts per successful attempt inf
50.12/50.33 c STR average number of conflicts per unsuccessful attempt inf
50.12/50.33 c STR average number of conflicts per inconclusive attempt inf
50.12/50.33 c AVG.sumWPerc 62.02
50.12/50.33 c bigint constraints 0
50.12/50.33 s SATISFIABLE
50.12/50.33 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: 63837 MiB (63268 MiB free)
memory of node 1: 64465 MiB (63325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507660-1751189471/watcher-4507660-1751189471 -o /tmp/evaluation-result-4507660-1751189471/solver-4507660-1751189471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21367 --watchdog 3760 run-dec.sh HOME/instance-4507660-1751189471.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=22130, runsolver pid=22127
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 4.10 4.12 4.14 5/255 22132
/proc/meminfo: memFree=129618472/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=64076 memory=17628 CPUtime=0.09 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 2977 0 0 0 7 2 0 0 20 0 1 0 34626231 65613824 4407 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 16019 4407 2240 1147 0 3446 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68268 KiB
Current children cumulated memory: 20700 KiB
[startup+0.213463 s]*
/proc/loadavg: 4.10 4.12 4.14 5/255 22132
/proc/meminfo: memFree=129618472/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=64856 memory=18524 CPUtime=0.2 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 3222 0 0 0 18 2 0 0 20 0 1 0 34626231 66412544 4631 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 16214 4631 2240 1147 0 3641 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69048 KiB
Current children cumulated memory: 21596 KiB
[startup+0.313451 s]*
/proc/loadavg: 4.10 4.12 4.14 5/255 22132
/proc/meminfo: memFree=129614440/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=64856 memory=18524 CPUtime=0.3 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 3226 0 0 0 28 2 0 0 20 0 1 0 34626231 66412544 4631 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 16214 4631 2240 1147 0 3641 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69048 KiB
Current children cumulated memory: 21596 KiB
[startup+0.700404 s]
/proc/loadavg: 4.10 4.12 4.14 6/255 22132
/proc/meminfo: memFree=129608392/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=65220 memory=19036 CPUtime=0.67 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 3304 0 0 0 64 3 0 0 20 0 1 0 34626231 66785280 4759 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 16305 4759 2272 1147 0 3732 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 69412 KiB
Current children cumulated memory: 22108 KiB
[startup+1.50031 s]
/proc/loadavg: 4.10 4.12 4.14 4/250 22140
/proc/meminfo: memFree=130270384/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=66096 memory=21340 CPUtime=1.47 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 3820 0 0 0 141 6 0 0 20 0 1 0 34626231 67682304 5335 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 16524 5335 2336 1147 0 3951 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 70288 KiB
Current children cumulated memory: 24412 KiB
[startup+3.11262 s]
/proc/loadavg: 4.17 4.13 4.15 5/254 22178
/proc/meminfo: memFree=130238636/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=70652 memory=28916 CPUtime=3.08 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 5211 0 0 0 296 12 0 0 20 0 1 0 34626231 72347648 7229 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 17663 7229 2336 1147 0 5090 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74844 KiB
Current children cumulated memory: 31988 KiB
[startup+6.30036 s]
/proc/loadavg: 4.17 4.13 4.15 5/254 22178
/proc/meminfo: memFree=130228332/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=76608 memory=31860 CPUtime=6.25 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 5941 0 0 0 607 18 0 0 20 0 1 0 34626231 78446592 7965 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 19152 7965 2336 1147 0 6579 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 80800 KiB
Current children cumulated memory: 34932 KiB
[startup+12.7004 s]
/proc/loadavg: 4.23 4.15 4.15 5/254 22224
/proc/meminfo: memFree=130216936/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=78692 memory=35444 CPUtime=12.63 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 6842 0 0 0 1234 29 0 0 20 0 1 0 34626231 80580608 8861 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 19673 8861 2336 1147 0 7100 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 82884 KiB
Current children cumulated memory: 38516 KiB
[startup+25.5004 s]
/proc/loadavg: 4.26 4.16 4.16 5/254 22270
/proc/meminfo: memFree=130146340/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=96236 memory=52576 CPUtime=25.4 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 10617 0 0 0 2492 48 0 0 20 0 1 0 34626231 98545664 13144 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 24059 13144 2336 1147 0 11486 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 100428 KiB
Current children cumulated memory: 55648 KiB
[startup+50.3346 s]
# the end of solver process 22130 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=49.3792 s, system=0.793354 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 4.26 4.16 4.16 5/254 22270
/proc/meminfo: memFree=130146340/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=96236 memory=52576 CPUtime=25.5 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 10617 0 0 0 2502 48 0 0 20 0 1 0 34626231 98545664 13144 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 24059 13144 2336 1147 0 11486 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 100428 KiB
Current children cumulated memory: 55648 KiB
[startup+38.4004 s]
/proc/loadavg: 4.20 4.15 4.15 5/254 22270
/proc/meminfo: memFree=130083020/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=99148 memory=56184 CPUtime=38.26 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 13263 0 0 0 3761 65 0 0 20 0 1 0 34626231 101527552 14046 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 24787 14046 2336 1147 0 12214 0
Current children cumulated CPU time: 38.26 s
Current children cumulated vsize: 103340 KiB
Current children cumulated memory: 59256 KiB
[startup+44.8004 s]
/proc/loadavg: 4.18 4.15 4.15 5/254 22271
/proc/meminfo: memFree=130052912/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=111164 memory=68520 CPUtime=44.64 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 14800 0 0 0 4391 73 0 0 20 0 1 0 34626231 113831936 17130 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 27791 17130 2336 1147 0 15218 0
Current children cumulated CPU time: 44.64 s
Current children cumulated vsize: 115356 KiB
Current children cumulated memory: 71592 KiB
[startup+48.0004 s]*
/proc/loadavg: 4.17 4.14 4.15 5/254 22271
/proc/meminfo: memFree=130035852/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=111164 memory=68520 CPUtime=47.85 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 14800 0 0 0 4708 77 0 0 20 0 1 0 34626231 113831936 17130 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 27791 17130 2336 1147 0 15218 0
Current children cumulated CPU time: 47.85 s
Current children cumulated vsize: 115356 KiB
Current children cumulated memory: 71592 KiB
[startup+49.6003 s]
/proc/loadavg: 4.17 4.14 4.15 5/254 22271
/proc/meminfo: memFree=130035852/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=111164 memory=68520 CPUtime=49.43 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 14825 0 0 0 4865 78 0 0 20 0 1 0 34626231 113831936 17130 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 27791 17130 2336 1147 0 15218 0
Current children cumulated CPU time: 49.43 s
Current children cumulated vsize: 115356 KiB
Current children cumulated memory: 71592 KiB
[startup+50.0003 s]*
/proc/loadavg: 4.17 4.14 4.15 5/254 22271
/proc/meminfo: memFree=130035852/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=111164 memory=68520 CPUtime=49.84 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 14825 0 0 0 4906 78 0 0 20 0 1 0 34626231 113831936 17130 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 27791 17130 2336 1147 0 15218 0
Current children cumulated CPU time: 49.84 s
Current children cumulated vsize: 115356 KiB
Current children cumulated memory: 71592 KiB
[startup+50.2003 s]
/proc/loadavg: 4.17 4.14 4.15 5/254 22271
/proc/meminfo: memFree=130035852/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=111164 memory=68520 CPUtime=50.03 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 14825 0 0 0 4925 78 0 0 20 0 1 0 34626231 113831936 17130 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 27791 17130 2336 1147 0 15218 0
Current children cumulated CPU time: 50.03 s
Current children cumulated vsize: 115356 KiB
Current children cumulated memory: 71592 KiB
[startup+50.3003 s]
/proc/loadavg: 4.17 4.14 4.15 5/254 22271
/proc/meminfo: memFree=130035852/131382120 swapFree=33010684/33010684
[pid=22130] ppid=22127 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22130/stat : 22130 (run-dec.sh) S 22127 22130 21352 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 34626230 4292608 768 18446744073709551615 94233558331392 94233559225925 140730273567392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94233559464976 94233559512720 94233571233792 140730273569133 140730273569256 140730273569256 140730273574858 0
/proc/22130/statm: 1048 768 704 219 0 110 0
[pid=22132] ppid=22130 vsize=111164 memory=68520 CPUtime=50.12 cores=1,3
/proc/22132/stat : 22132 (roundingsat) R 22130 22130 21352 0 -1 4194304 14825 0 0 0 4934 78 0 0 20 0 1 0 34626231 113831936 17130 18446744073709551615 4227072 8923433 140725949302592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15405056 140725949307319 140725949307432 140725949307432 140725949313002 0
/proc/22132/statm: 27791 17130 2336 1147 0 15218 0
Current children cumulated CPU time: 50.12 s
Current children cumulated vsize: 115356 KiB
Current children cumulated memory: 71592 KiB
Child status: 0
Real time (s): 50.3347
CPU time (s): 50.1725
CPU user time (s): 49.3792
CPU system time (s): 0.793354
CPU usage (%): 99.6778
Max. virtual memory (cumulated for all children) (KiB): 115356
Max. memory (cumulated for all children) (KiB): 71592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.3792
system time used= 0.793354
maximum resident set size= 68520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15055
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= 145
involuntary context switches= 79
# summary of solver processes directly reported to runsolver:
# pid: 22130
# total CPU time (s): 50.1725
# total CPU user time (s): 49.3792
# total CPU system time (s): 0.793354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.280017 second user time and 0.558312 second system time
The end
Begin job on nodeC008 at 2025-06-29 11:31:11
IDJOB=4507660
IDBENCH=158375
IDSOLVER=3349
FILE ID=nodeC008/4507660-1751189471
RUNJOBID= nodeC008-1751182246-21367
SLURM_JOB_ID= 9587557
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507660-1751189471/watcher-4507660-1751189471 -o /tmp/evaluation-result-4507660-1751189471/solver-4507660-1751189471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21367 --watchdog 3760 run-dec.sh HOME/instance-4507660-1751189471.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=1562196444
nodeC008 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 : 1795.802
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.72
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 : 1197.208
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.72
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.680
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.72
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.598
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.72
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 : 2294.677
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.72
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 : 3657.971
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.72
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 : 3700.000
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.72
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.555
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129633716 kB
MemAvailable: 129277360 kB
Buffers: 3280 kB
Cached: 452676 kB
SwapCached: 0 kB
Active: 1000608 kB
Inactive: 239396 kB
Active(anon): 802004 kB
Inactive(anon): 0 kB
Active(file): 198604 kB
Inactive(file): 239396 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22880 kB
Writeback: 24 kB
AnonPages: 786980 kB
Mapped: 115256 kB
Shmem: 17956 kB
KReclaimable: 85164 kB
Slab: 163848 kB
SReclaimable: 85164 kB
SUnreclaim: 78684 kB
KernelStack: 4068 kB
PageTables: 4620 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1328312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 653312 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC008 at 2025-06-29 11:32:02