0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4493412-1751155906.opb'
0.00/0.02 c read 0.39MB (4.62ms)
0.00/0.02 c [cnf: #variables 4356 #clauses 600 #duplicates 0 #arr 43560]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 2] (3.85ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c (3.65ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 18024 #edges 113256]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06 c [group: #symmetries 1.38*10^19 #generators 8] (31.67ms)
0.00/0.06 c
0.00/0.06 c optimize generators (opt_passes=64, conjugate_limit=285)
0.00/0.06 c opt it=15, l=263, m=109, opt=26, avg=4519, b=1584, gens=8
0.00/0.07 c ran it=0, +gens=8
0.18/0.25 c con best_support=1584, best_gens=2, +gens=281
0.18/0.25 c (190.02ms)
0.18/0.25 c
0.18/0.25 c finalize break order and special generators
0.18/0.25 c
0.18/0.25 c add generic predicates (break_depth=10)
0.18/0.26 c added predicates for 297 generators (12.28ms)
0.18/0.26 c
0.18/0.26 c generation finished
0.18/0.26 c [sbp: #constraints 8316 #add_vars 2673]
0.18/0.26 c
0.18/0.26 c write result to 'HOME/instance-4493412-1751155906.opb.pre'
0.18/0.26 c wrote 0.68MB (1.71ms)
0.18/0.26 c ------------------------------------------------------------------
0.18/0.26 c 190.02ms 75.96% optimize_gens
0.18/0.26 c 31.67ms 12.66% detect_generic
0.18/0.26 c 12.28ms 4.91% break_generic
0.18/0.26 c 4.62ms 1.85% parse
0.18/0.26 c 3.85ms 1.54% approx_orbits
0.18/0.26 c 3.65ms 1.46% detect_special
0.18/0.26 c 1.93ms 0.77% finalize_order
0.18/0.26 c 1.71ms 0.68% output
0.18/0.26 c 0.44ms 0.18% other
0.18/0.26 c ───────────────────────────────────────────────
0.18/0.26 c 250.16ms 100% total
0.18/0.26 c ------------------------------------------------------------------
0.18/0.27 c RoundingSat 2
0.18/0.27 c branch pb25
0.18/0.27 c commit 63f22ad
0.27/0.33 c #variables 7029 #constraints 8916
31.47/31.61 c #Conflicts: 1000 | #Constraints: 9915
31.47/31.61 c #Conflicts: 2000 | #Constraints: 10915
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 3000 | #Constraints: 10868
31.47/31.61 c #Conflicts: 4000 | #Constraints: 11868
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 5000 | #Constraints: 10986
31.47/31.61 c #Conflicts: 6000 | #Constraints: 11986
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 7000 | #Constraints: 10974
31.47/31.61 c #Conflicts: 8000 | #Constraints: 11974
31.47/31.61 c #Conflicts: 9000 | #Constraints: 12974
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 10000 | #Constraints: 11498
31.47/31.61 c #Conflicts: 11000 | #Constraints: 12498
31.47/31.61 c #Conflicts: 12000 | #Constraints: 13498
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 13000 | #Constraints: 11964
31.47/31.61 c #Conflicts: 14000 | #Constraints: 12964
31.47/31.61 c #Conflicts: 15000 | #Constraints: 13964
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 16000 | #Constraints: 12195
31.47/31.61 c #Conflicts: 17000 | #Constraints: 13195
31.47/31.61 c #Conflicts: 18000 | #Constraints: 14195
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 19000 | #Constraints: 12209
31.47/31.61 c #Conflicts: 20000 | #Constraints: 13209
31.47/31.61 c #Conflicts: 21000 | #Constraints: 14210
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 22000 | #Constraints: 12001
31.47/31.61 c #Conflicts: 23000 | #Constraints: 13001
31.47/31.61 c #Conflicts: 24000 | #Constraints: 14001
31.47/31.61 c #Conflicts: 25000 | #Constraints: 15001
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 26000 | #Constraints: 12594
31.47/31.61 c #Conflicts: 27000 | #Constraints: 13594
31.47/31.61 c #Conflicts: 28000 | #Constraints: 14594
31.47/31.61 c #Conflicts: 29000 | #Constraints: 15594
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 30000 | #Constraints: 12974
31.47/31.61 c #Conflicts: 31000 | #Constraints: 13974
31.47/31.61 c #Conflicts: 32000 | #Constraints: 14974
31.47/31.61 c #Conflicts: 33000 | #Constraints: 15974
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c #Conflicts: 34000 | #Constraints: 13086
31.47/31.61 c #Conflicts: 35000 | #Constraints: 14086
31.47/31.61 c #Conflicts: 36000 | #Constraints: 15086
31.47/31.61 c #Conflicts: 37000 | #Constraints: 16086
31.47/31.61 c INPROCESSING
31.47/31.61 c GARBAGE COLLECT
31.47/31.61 c cpu time 30.8629 s
31.47/31.61 c deterministic time 1821177498 1.82e+09
31.47/31.61 c optimization time 3.9e-05 s
31.47/31.61 c total solve time 30.8223 s
31.47/31.61 c core-guided solve time 0 s
31.47/31.61 c propagation time 12.496 s
31.47/31.61 c conflict analysis time 9.12366 s
31.47/31.61 c propagations 10544239
31.47/31.61 c resolve steps 392676
31.47/31.61 c decisions 298746
31.47/31.61 c conflicts 37200
31.47/31.61 c restarts 125
31.47/31.61 c inprocessing phases 12
31.47/31.61 c garbage collections 12 ,( 100.00 )
31.47/31.61 c input clauses 8580 ,( 96.23 )
31.47/31.61 c input cardinalities 336 ,( 3.77 )
31.47/31.61 c input general constraints 0 ,( 0.00 )
31.47/31.61 c input average constraint length 7.58
31.47/31.61 c input average constraint degree 3.85
31.47/31.61 c learned clauses 7335 ,( 19.72 )
31.47/31.61 c learned cardinalities 2900 ,( 7.80 )
31.47/31.61 c learned general constraints 26966 ,( 72.49 )
31.47/31.61 c learned average constraint length 608.87
31.47/31.61 c learned average constraint degree 11190556.88
31.47/31.61 c watched CF 32, 64, 128, Arb: 16007 , 0 , 0 , 0
31.47/31.61 c counting CF 32, 64, 128, Arb: 10959 , 0 , 0 , 0
31.47/31.61 c watched constraints 16007 ,( 59.36 )
31.47/31.61 c counting constraints 10959 ,( 40.64 )
31.47/31.61 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 7068277 , 12116436 , 8032636 ,( 3888507 , 4144129 )
31.47/31.61 c gcd simplifications 5
31.47/31.61 c detected cardinalities 0
31.47/31.61 c weakened non-implied lits 17187892
31.47/31.61 c weakened non-implying lits 7894
31.47/31.61 c original variables 7029
31.47/31.61 c clausal propagations 4708242
31.47/31.61 c cardinality propagations 4900116
31.47/31.61 c watched propagations 146445
31.47/31.61 c counting propagations 644652
31.47/31.61 c watch lookups 273381498
31.47/31.61 c watch backjump lookups 0
31.47/31.61 c watch checks 603978240
31.47/31.61 c propagation checks 846015868
31.47/31.61 c constraint additions 76068704
31.47/31.61 c trail pops 10880113
31.47/31.61 c formula constraints 8916
31.47/31.61 c learned constraints 37199
31.47/31.61 c bound constraints 0
31.47/31.61 c core-guided constraints 0
31.47/31.61 c encountered formula constraints 203599
31.47/31.61 c encountered learned constraints 226272
31.47/31.61 c encountered bound constraints 0
31.47/31.61 c encountered core-guided constraints 0
31.47/31.61 c LP total time 3.19138 s
31.47/31.61 c LP solve time 3.16 s
31.47/31.61 c LP constraints added 8916
31.47/31.61 c LP constraints removed 0
31.47/31.61 c LP pivots internal 5089
31.47/31.61 c LP pivots root 5000
31.47/31.61 c LP calls 4
31.47/31.61 c LP optimalities 0
31.47/31.61 c LP no pivot count 0
31.47/31.61 c LP infeasibilities 1
31.47/31.61 c LP valid Farkas constraints 1
31.47/31.61 c LP learned Farkas constraints 1
31.47/31.61 c LP basis resets 0
31.47/31.61 c LP cycling count 0
31.47/31.61 c LP singular count 0
31.47/31.61 c LP no primal count 0
31.47/31.61 c LP no farkas count 0
31.47/31.61 c LP other issue count 0
31.47/31.61 c LP Gomory cuts 0
31.47/31.61 c LP learned cuts 0
31.47/31.61 c LP deleted cuts 0
31.47/31.61 c LP encountered Gomory constraints 0
31.47/31.61 c LP encountered Farkas constraints 4
31.47/31.61 c LP encountered learned Farkas constraints 0
31.47/31.61 c CG auxiliary variables introduced 0
31.47/31.61 c CG solutions found 0
31.47/31.61 c CG cores constructed 0
31.47/31.61 c CG core cardinality constraints returned 0
31.47/31.61 c CG unit cores 0
31.47/31.61 c CG single cores 0
31.47/31.61 c CG blocks removed during cardinality reduction 0
31.47/31.61 c CG first core best 0
31.47/31.61 c CG decision core best 0
31.47/31.61 c CG core reduction tie 0
31.47/31.61 c CG core degree average 0.00
31.47/31.61 c CG core slack average 0.00
31.47/31.61 c CG core upper bound improvements 0
31.47/31.61 c STR number of successful calls 0
31.47/31.61 c STR number of unsuccessful calls 0
31.47/31.61 c STR number of inconclusive calls 0
31.47/31.61 c STR number of successful attempts 0
31.47/31.61 c STR number of unsuccessful attempts 0
31.47/31.61 c STR number of inconclusive attempts 0
31.47/31.61 c STR average degree increase per successful call inf
31.47/31.61 c STR average degree increase per successful attempt inf
31.47/31.61 c STR total number of conflicts for successful attempts 0
31.47/31.61 c STR total number of conflicts for unsuccessful attempts 0
31.47/31.61 c STR total number of conflicts for inconclusive attempts 0
31.47/31.61 c STR average number of conflicts per successful attempt inf
31.47/31.61 c STR average number of conflicts per unsuccessful attempt inf
31.47/31.61 c STR average number of conflicts per inconclusive attempt inf
31.47/31.61 c AVG.sumWPerc 36.53
31.47/31.61 c bigint constraints 0
31.47/31.61 s SATISFIABLE
31.47/31.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356
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 (63229 MiB free)
memory of node 1: 64507 MiB (63926 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493412-1751155906/watcher-4493412-1751155906 -o /tmp/evaluation-result-4493412-1751155906/solver-4493412-1751155906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17846 --watchdog 3760 run-dec-break.sh HOME/instance-4493412-1751155906.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
Starting watchdog thread
solver pid=17901, runsolver pid=17888
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.86 2.87 3.58 5/271 17909
/proc/meminfo: memFree=130146092/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17908] ppid=17901 vsize=23572 memory=14884 CPUtime=0.08 cores=4,6
/proc/17908/stat : 17908 (pbsuma) R 17901 17901 17835 0 -1 4194304 3683 0 0 0 8 0 0 0 20 0 1 0 31268533 24137728 3721 18446744073709551615 4210688 4653049 140737016963872 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 31027200 140737016965475 140737016965682 140737016965682 140737016971247 0
/proc/17908/statm: 5893 3721 1024 108 0 3301 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27764 KiB
Current children cumulated memory: 17828 KiB
[startup+0.20509 s]*
/proc/loadavg: 1.86 2.87 3.58 5/271 17910
/proc/meminfo: memFree=130146096/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17908] ppid=17901 vsize=23572 memory=15140 CPUtime=0.18 cores=4,6
/proc/17908/stat : 17908 (pbsuma) R 17901 17901 17835 0 -1 4194304 3744 0 0 0 18 0 0 0 20 0 1 0 31268533 24137728 3785 18446744073709551615 4210688 4653049 140737016963872 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 31027200 140737016965475 140737016965682 140737016965682 140737016971247 0
/proc/17908/statm: 5893 3785 1024 108 0 3301 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 27764 KiB
Current children cumulated memory: 18084 KiB
[startup+0.304939 s]*
/proc/loadavg: 1.86 2.87 3.58 6/271 17911
/proc/meminfo: memFree=130120080/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=60312 memory=15580 CPUtime=0.03 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 1618 0 0 0 2 1 0 0 20 0 1 0 31268559 61759488 3895 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 15078 3895 1984 1147 0 2505 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 64504 KiB
Current children cumulated memory: 18524 KiB
[startup+0.700151 s]
/proc/loadavg: 1.86 2.87 3.58 5/271 17911
/proc/meminfo: memFree=130104504/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=82212 memory=36268 CPUtime=0.42 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 6161 0 0 0 40 2 0 0 20 0 1 0 31268559 84185088 9067 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 20553 9067 2272 1147 0 7980 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 86404 KiB
Current children cumulated memory: 39212 KiB
[startup+1.50016 s]
/proc/loadavg: 1.86 2.87 3.58 5/266 17920
/proc/meminfo: memFree=130060176/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=85124 memory=39340 CPUtime=1.21 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 6936 0 0 0 119 2 0 0 20 0 1 0 31268559 87166976 9835 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 21281 9835 2272 1147 0 8708 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 89316 KiB
Current children cumulated memory: 42284 KiB
[startup+3.10508 s]
/proc/loadavg: 2.03 2.89 3.58 5/271 18007
/proc/meminfo: memFree=130027184/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=93392 memory=49004 CPUtime=2.82 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 8739 0 0 0 275 7 0 0 20 0 1 0 31268559 95633408 12251 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 23348 12251 2368 1147 0 10775 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 97584 KiB
Current children cumulated memory: 51948 KiB
[startup+6.30017 s]
/proc/loadavg: 2.03 2.89 3.58 5/271 18008
/proc/meminfo: memFree=130003704/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=105744 memory=61852 CPUtime=5.99 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 11451 0 0 0 587 12 0 0 20 0 1 0 31268559 108281856 15463 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 26436 15463 2368 1147 0 13863 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 109936 KiB
Current children cumulated memory: 64796 KiB
[startup+12.7001 s]
/proc/loadavg: 2.19 2.91 3.58 5/271 18008
/proc/meminfo: memFree=129963420/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=122156 memory=74352 CPUtime=12.38 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 14078 0 0 0 1219 19 0 0 20 0 1 0 31268559 125087744 18588 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 30539 18588 2368 1147 0 17966 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 126348 KiB
Current children cumulated memory: 77296 KiB
[startup+25.5002 s]
/proc/loadavg: 2.59 2.96 3.59 5/270 18008
/proc/meminfo: memFree=129879152/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=143696 memory=94184 CPUtime=25.14 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 16972 0 0 0 2483 31 0 0 20 0 1 0 31268559 147144704 23546 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 35924 23546 2368 1147 0 23351 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 97128 KiB
[startup+31.617 s]
# the end of solver process 17901 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=31.1126 s, system=0.394307 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 2.59 2.96 3.59 5/270 18008
/proc/meminfo: memFree=129879152/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=143696 memory=94184 CPUtime=25.24 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 16972 0 0 0 2493 31 0 0 20 0 1 0 31268559 147144704 23546 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 35924 23546 2368 1147 0 23351 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 97128 KiB
[startup+28.8001 s]
/proc/loadavg: 2.70 2.98 3.59 5/270 18008
/proc/meminfo: memFree=129863032/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=145428 memory=95848 CPUtime=28.44 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 17406 0 0 0 2809 35 0 0 20 0 1 0 31268559 148918272 23962 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 36357 23962 2368 1147 0 23784 0
Current children cumulated CPU time: 28.68 s
Current children cumulated vsize: 149620 KiB
Current children cumulated memory: 98792 KiB
[startup+30.4001 s]
/proc/loadavg: 2.70 2.98 3.59 5/270 18008
/proc/meminfo: memFree=129863032/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=145696 memory=96232 CPUtime=30.04 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 17482 0 0 0 2967 37 0 0 20 0 1 0 31268559 149192704 24058 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 36424 24058 2368 1147 0 23851 0
Current children cumulated CPU time: 30.28 s
Current children cumulated vsize: 149888 KiB
Current children cumulated memory: 99176 KiB
[startup+31.2002 s]
/proc/loadavg: 2.70 2.98 3.59 5/270 18008
/proc/meminfo: memFree=129863040/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=147164 memory=97640 CPUtime=30.83 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 17854 0 0 0 3045 38 0 0 20 0 1 0 31268559 150695936 24410 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 36791 24410 2368 1147 0 24218 0
Current children cumulated CPU time: 31.07 s
Current children cumulated vsize: 151356 KiB
Current children cumulated memory: 100584 KiB
[startup+31.6001 s]
/proc/loadavg: 2.70 2.98 3.59 5/270 18008
/proc/meminfo: memFree=129863040/131249996 swapFree=33010684/33010684
[pid=17901] ppid=17888 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/17901/stat : 17901 (run-dec-break.s) S 17888 17901 17835 0 -1 4194304 236 3890 0 0 0 0 24 0 20 0 1 0 31268532 4292608 736 18446744073709551615 94645405454336 94645406348869 140736394421872 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94645406587920 94645406635664 94645437411328 140736394426721 140736394426850 140736394426850 140736394432452 0
/proc/17901/statm: 1048 736 672 219 0 110 0
[pid=17911] ppid=17901 vsize=148252 memory=98664 CPUtime=31.23 cores=4,6
/proc/17911/stat : 17911 (roundingsat) R 17901 17901 17835 0 -1 4194304 18112 0 0 0 3085 38 0 0 20 0 1 0 31268559 151810048 24666 18446744073709551615 4227072 8923433 140736869049968 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19673088 140736869054788 140736869055016 140736869055016 140736869060586 0
/proc/17911/statm: 37063 24666 2368 1147 0 24490 0
Current children cumulated CPU time: 31.47 s
Current children cumulated vsize: 152444 KiB
Current children cumulated memory: 101608 KiB
Child status: 0
Real time (s): 31.617
CPU time (s): 31.5069
CPU user time (s): 31.1126
CPU system time (s): 0.394307
CPU usage (%): 99.6516
Max. virtual memory (cumulated for all children) (KiB): 152444
Max. memory (cumulated for all children) (KiB): 101608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.1126
system time used= 0.394307
maximum resident set size= 98664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 17901
# total CPU time (s): 31.5069
# total CPU user time (s): 31.1126
# total CPU system time (s): 0.394307
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063715 second user time and 0.149824 second system time
The end
Begin job on nodeC024 at 2025-06-29 02:11:46
IDJOB=4493412
IDBENCH=147862
IDSOLVER=3357
FILE ID=nodeC024/4493412-1751155906
RUNJOBID= nodeC024-1751155906-17846
SLURM_JOB_ID= 9587473
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin12.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493412-1751155906/watcher-4493412-1751155906 -o /tmp/evaluation-result-4493412-1751155906/solver-4493412-1751155906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17846 --watchdog 3760 run-dec-break.sh HOME/instance-4493412-1751155906.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e3014e41fec9c16977639004d85b0b7a
RANDOM SEED=2089878730
nodeC024 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.282
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.36
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.552
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.088
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.673
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.36
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 : 3600.094
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.36
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 : 3602.651
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.36
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 : 3599.679
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.36
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.702
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130206680 kB
MemAvailable: 129826344 kB
Buffers: 3280 kB
Cached: 403796 kB
SwapCached: 0 kB
Active: 273688 kB
Inactive: 196008 kB
Active(anon): 80752 kB
Inactive(anon): 0 kB
Active(file): 192936 kB
Inactive(file): 196008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31200 kB
Writeback: 0 kB
AnonPages: 65784 kB
Mapped: 102908 kB
Shmem: 18064 kB
KReclaimable: 85344 kB
Slab: 168104 kB
SReclaimable: 85344 kB
SUnreclaim: 82760 kB
KernelStack: 4112 kB
PageTables: 2908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 330180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC024 at 2025-06-29 02:12:18