Trace number 4437702

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-LSMabP+Exact 2024-07-11SAT5114519 3168.07 3175.16

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_5.opb
MD5SUM4bce0178dd52d2d263abed98aae07653
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5114519
Best CPU time to get the best result obtained on this benchmark353.176
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 145531576
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 56160700102
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 145531576
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 56160700102
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3168.01/3175.14	o 37803347
3168.01/3175.14	o 26609555
3168.01/3175.14	o 26493285
3168.01/3175.14	o 26419811
3168.01/3175.14	o 26410795
3168.01/3175.14	o 26397977
3168.01/3175.14	o 26315325
3168.01/3175.14	o 16566321
3168.01/3175.14	o 14915487
3168.01/3175.14	o 14455405
3168.01/3175.14	o 14431375
3168.01/3175.14	o 14420655
3168.01/3175.14	o 14361805
3168.01/3175.14	o 14360125
3168.01/3175.14	o 14348115
3168.01/3175.14	o 14344911
3168.01/3175.14	o 14337775
3168.01/3175.14	o 14217941
3168.01/3175.14	o 14207181
3168.01/3175.14	o 14206509
3168.01/3175.14	o 14181139
3168.01/3175.14	o 14169335
3168.01/3175.14	o 14136463
3168.01/3175.14	o 13071317
3168.01/3175.14	o 13017307
3168.01/3175.14	o 13012501
3168.01/3175.14	o 12975629
3168.01/3175.14	o 12885341
3168.01/3175.14	o 8303567
3168.01/3175.14	o 8290207
3168.01/3175.14	o 8268967
3168.01/3175.14	o 8263753
3168.01/3175.14	o 8239937
3168.01/3175.14	o 8234221
3168.01/3175.14	o 8226381
3168.01/3175.14	o 8224085
3168.01/3175.14	o 8200523
3168.01/3175.14	o 8169831
3168.01/3175.14	o 8150807
3168.01/3175.14	o 8134477
3168.01/3175.14	o 8123113
3168.01/3175.14	o 8117105
3168.01/3175.14	o 8097915
3168.01/3175.14	o 8096877
3168.01/3175.14	o 8076789
3168.01/3175.14	o 8073821
3168.01/3175.14	o 8072783
3168.01/3175.14	o 8061915
3168.01/3175.14	o 8036891
3168.01/3175.14	o 8031575
3168.01/3175.14	o 8024765
3168.01/3175.14	o 8020707
3168.01/3175.14	o 6442007
3168.01/3175.14	o 6411559
3168.01/3175.14	o 6408403
3168.01/3175.14	o 6383031
3168.01/3175.14	o 6362257
3168.01/3175.14	o 6354417
3168.01/3175.14	o 6344519
3168.01/3175.14	o 6341481
3168.01/3175.14	o 6322291
3168.01/3175.14	o 6310321
3168.01/3175.14	o 6290233
3168.01/3175.14	o 6279145
3168.01/3175.14	o 6271487
3168.01/3175.14	o 6237615
3168.01/3175.14	o 6229775
3168.01/3175.14	o 6225489
3168.01/3175.14	o 6216815
3168.01/3175.14	o 6214621
3168.01/3175.14	o 6213583
3168.01/3175.14	o 6205861
3168.01/3175.14	o 6195339
3168.01/3175.14	o 6190049
3168.01/3175.14	o 6174107
3168.01/3175.14	o 6171069
3168.01/3175.14	o 6170951
3168.01/3175.14	o 6167703
3168.01/3175.14	o 6160551
3168.01/3175.14	o 6152829
3168.01/3175.14	o 6151911
3168.01/3175.14	o 6147375
3168.01/3175.14	o 6122637
3168.01/3175.14	o 6098963
3168.01/3175.14	o 6098371
3168.01/3175.14	o 6082429
3168.01/3175.14	o 6073957
3168.01/3175.14	o 6070801
3168.01/3175.14	o 6067615
3168.01/3175.14	o 6063079
3168.01/3175.14	o 6053189
3168.01/3175.14	o 6045497
3168.01/3175.14	o 6029697
3168.01/3175.14	o 6025809
3168.01/3175.14	o 5995681
3168.01/3175.14	o 5992489
3168.01/3175.14	o 5983107
3168.01/3175.14	o 5979671
3168.01/3175.14	o 5945721
3168.01/3175.14	o 5942891
3168.01/3175.14	o 5941291
3168.01/3175.14	o 5910885
3168.01/3175.14	o 5892859
3168.01/3175.14	o 5876139
3168.01/3175.14	o 5869931
3168.01/3175.14	o 5850305
3168.01/3175.14	o 5847475
3168.01/3175.14	o 5823653
3168.01/3175.14	o 5781099
3168.01/3175.14	o 5777845
3168.01/3175.14	o 5718453
3168.01/3175.14	o 5713053
3168.01/3175.14	o 5701677
3168.01/3175.14	o 5700653
3168.01/3175.14	o 5691903
3168.01/3175.14	o 5683877
3168.01/3175.14	o 5675127
3168.01/3175.14	o 5669719
3168.01/3175.14	o 5649029
3168.01/3175.14	o 5647763
3168.01/3175.14	o 5639013
3168.01/3175.14	o 5636387
3168.01/3175.14	o 5621469
3168.01/3175.14	o 5604693
3168.01/3175.14	o 5599285
3168.01/3175.14	o 5569845
3168.01/3175.14	o 5560709
3168.01/3175.14	o 5551959
3168.01/3175.14	o 5508751
3168.01/3175.14	o 5481155
3168.01/3175.14	o 5468291
3168.01/3175.14	o 5464627
3168.01/3175.14	o 5451693
3168.01/3175.14	o 5448861
3168.01/3175.14	o 5440111
3168.01/3175.14	o 5436495
3168.01/3175.14	o 5432831
3168.01/3175.14	o 5368501
3168.01/3175.14	o 5355567
3168.01/3175.14	o 5352735
3168.01/3175.14	o 5348175
3168.01/3175.14	o 5347693
3168.01/3175.14	o 5343277
3168.01/3175.14	o 5328263
3168.01/3175.14	o 5310623
3168.01/3175.14	o 5306959
3168.01/3175.14	o 5286607
3168.01/3175.14	o 5285713
3168.01/3175.14	o 5285255
3168.01/3175.14	o 5268657
3168.01/3175.14	o 5263135
3168.01/3175.14	o 5254657
3168.01/3175.14	o 5233195
3168.01/3175.14	o 5224049
3168.01/3175.14	o 5221433
3168.01/3175.14	o 5220539
3168.01/3175.14	o 5218823
3168.01/3175.14	o 5218441
3168.01/3175.14	o 5217929
3168.01/3175.14	o 5217625
3168.01/3175.14	o 5215109
3168.01/3175.14	o 5210687
3168.01/3175.14	o 5209399
3168.01/3175.14	o 5208505
3168.01/3175.14	o 5205199
3168.01/3175.14	o 5202505
3168.01/3175.14	o 5199735
3168.01/3175.14	o 5198841
3168.01/3175.14	o 5185977
3168.01/3175.14	o 5182959
3168.01/3175.14	o 5170701
3168.01/3175.14	o 5168725
3168.01/3175.14	o 5162573
3168.01/3175.14	o 5162227
3168.01/3175.14	o 5159883
3168.01/3175.14	o 5156219
3168.01/3175.14	o 5152331
3168.01/3175.14	o 5149685
3168.01/3175.14	o 5145149
3168.01/3175.14	o 5141957
3168.01/3175.14	o 5140697
3168.01/3175.14	o 5138457
3168.01/3175.14	o 5134841
3168.01/3175.14	o 5132009
3168.01/3175.14	o 5131497
3168.01/3175.14	o 5124279
3168.01/3175.14	o 5118495
3168.01/3175.14	o 5117163
3168.01/3175.14	o 5114519
3168.01/3175.14	o 5114519
3168.01/3175.14	o 5114519
3168.01/3175.14	s SATISFIABLE
3168.01/3175.14	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 -x375 x376 x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 x386 x387 x388 -x389 x390 -x391 x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 x1005 x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 x1014 -x1015 -x1016 x1017 x1018 x1019 x1020 x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 -x2100 x2101 x2102 x2103 -x2104 -x2105 -x2106 x2107 -x2108 x2109 x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 x2133 -x2134 x2135 -x2136 -x2137 -x2138 x2139 -x2140 x2141 -x2142 -x2143 x2144 -x2145 -x2146 x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100

Verifier Data 

OK	5114519

Watcher Data 

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: 64059 MiB (59316 MiB free)
  memory of node 1: 64510 MiB (60335 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437702-1722977234/watcher-4437702-1722977234 -o /tmp/evaluation-result-4437702-1722977234/solver-4437702-1722977234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722971570-346186 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437702-1722977234.opb 3600 HOME 31000 

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=349845, runsolver pid=349842

[startup+0.100197 s]*
/proc/loadavg: 4.16 4.13 4.18 5/250 349850
/proc/meminfo: memFree=122510592/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 675 597 264 0 134 0
[pid=349848] ppid=349845 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/349848/stat : 349848 (timeout) S 349845 349848 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64318982 8867840 257 134679101440 94044997980160 94044998015176 140722301249376 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045000112592 94045000114724 94045010944000 140722301256739 140722301256861 140722301256861 140722301263847 0
/proc/349848/statm: 2165 257 233 9 0 87 0
[pid=349849] ppid=349848 vsize=33756 memory=18380 CPUtime=0.09 cores=1,3
/proc/349849/stat : 349849 (LS-MabP) R 349848 349848 346174 0 -1 4194304 3155 0 0 0 9 0 0 0 20 0 1 0 64318982 34566144 4595 134679101440 4194304 15467897 140734737277600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27734016 140734737286199 140734737286308 140734737286308 140734737293294 0
/proc/349849/statm: 8439 4595 1057 2753 0 5092 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52348 KiB
Current children cumulated memory: 22108 KiB

[startup+0.213008 s]*
/proc/loadavg: 4.16 4.13 4.18 6/250 349850
/proc/meminfo: memFree=122500968/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 675 597 264 0 134 0
[pid=349848] ppid=349845 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/349848/stat : 349848 (timeout) S 349845 349848 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64318982 8867840 257 134679101440 94044997980160 94044998015176 140722301249376 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045000112592 94045000114724 94045010944000 140722301256739 140722301256861 140722301256861 140722301263847 0
/proc/349848/statm: 2165 257 233 9 0 87 0
[pid=349849] ppid=349848 vsize=38924 memory=25568 CPUtime=0.21 cores=1,3
/proc/349849/stat : 349849 (LS-MabP) R 349848 349848 346174 0 -1 4194304 4924 0 0 0 20 1 0 0 20 0 1 0 64318982 39858176 6392 134679101440 4194304 15467897 140734737277600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27734016 140734737286199 140734737286308 140734737286308 140734737293294 0
/proc/349849/statm: 9731 6392 1073 2753 0 6384 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57516 KiB
Current children cumulated memory: 29296 KiB

[startup+0.31292 s]*
/proc/loadavg: 4.16 4.13 4.18 5/250 349850
/proc/meminfo: memFree=122500828/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 675 597 264 0 134 0
[pid=349848] ppid=349845 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/349848/stat : 349848 (timeout) S 349845 349848 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64318982 8867840 257 134679101440 94044997980160 94044998015176 140722301249376 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045000112592 94045000114724 94045010944000 140722301256739 140722301256861 140722301256861 140722301263847 0
/proc/349848/statm: 2165 257 233 9 0 87 0
[pid=349849] ppid=349848 vsize=38924 memory=25568 CPUtime=0.31 cores=1,3
/proc/349849/stat : 349849 (LS-MabP) R 349848 349848 346174 0 -1 4194304 4924 0 0 0 30 1 0 0 20 0 1 0 64318982 39858176 6392 134679101440 4194304 15467897 140734737277600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27734016 140734737286199 140734737286308 140734737286308 140734737293294 0
/proc/349849/statm: 9731 6392 1073 2753 0 6384 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57516 KiB
Current children cumulated memory: 29296 KiB

[startup+0.70042 s]
/proc/loadavg: 4.16 4.13 4.18 6/250 349850
/proc/meminfo: memFree=122500660/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 675 597 264 0 134 0
[pid=349848] ppid=349845 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/349848/stat : 349848 (timeout) S 349845 349848 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64318982 8867840 257 134679101440 94044997980160 94044998015176 140722301249376 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045000112592 94045000114724 94045010944000 140722301256739 140722301256861 140722301256861 140722301263847 0
/proc/349848/statm: 2165 257 233 9 0 87 0
[pid=349849] ppid=349848 vsize=38924 memory=25568 CPUtime=0.68 cores=1,3
/proc/349849/stat : 349849 (LS-MabP) R 349848 349848 346174 0 -1 4194304 4929 0 0 0 67 1 0 0 20 0 1 0 64318982 39858176 6392 134679101440 4194304 15467897 140734737277600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27734016 140734737286199 140734737286308 140734737286308 140734737293294 0
/proc/349849/statm: 9731 6392 1073 2753 0 6384 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57516 KiB
Current children cumulated memory: 29296 KiB

[startup+1.5004 s]
/proc/loadavg: 4.16 4.13 4.18 5/250 349850
/proc/meminfo: memFree=122500528/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 675 597 264 0 134 0
[pid=349848] ppid=349845 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/349848/stat : 349848 (timeout) S 349845 349848 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64318982 8867840 257 134679101440 94044997980160 94044998015176 140722301249376 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045000112592 94045000114724 94045010944000 140722301256739 140722301256861 140722301256861 140722301263847 0
/proc/349848/statm: 2165 257 233 9 0 87 0
[pid=349849] ppid=349848 vsize=38924 memory=25568 CPUtime=1.47 cores=1,3
/proc/349849/stat : 349849 (LS-MabP) R 349848 349848 346174 0 -1 4194304 4929 0 0 0 145 2 0 0 20 0 1 0 64318982 39858176 6392 134679101440 4194304 15467897 140734737277600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27734016 140734737286199 140734737286308 140734737286308 140734737293294 0
/proc/349849/statm: 9731 6392 1073 2753 0 6384 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 57516 KiB
Current children cumulated memory: 29296 KiB

[startup+3.11241 s]
/proc/loadavg: 4.16 4.13 4.18 5/250 349850
/proc/meminfo: memFree=122500572/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 675 597 264 0 134 0
[pid=349848] ppid=349845 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/349848/stat : 349848 (timeout) S 349845 349848 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64318982 8867840 257 134679101440 94044997980160 94044998015176 140722301249376 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045000112592 94045000114724 94045010944000 140722301256739 140722301256861 140722301256861 140722301263847 0
/proc/349848/statm: 2165 257 233 9 0 87 0
[pid=349849] ppid=349848 vsize=38924 memory=25568 CPUtime=3.08 cores=1,3
/proc/349849/stat : 349849 (LS-MabP) R 349848 349848 346174 0 -1 4194304 4930 0 0 0 304 4 0 0 20 0 1 0 64318982 39858176 6392 134679101440 4194304 15467897 140734737277600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27734016 140734737286199 140734737286308 140734737286308 140734737293294 0
/proc/349849/statm: 9731 6392 1073 2753 0 6384 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 57516 KiB
Current children cumulated memory: 29296 KiB

[startup+6.30038 s]
/proc/loadavg: 4.15 4.13 4.18 5/250 349850
/proc/meminfo: memFree=122500600/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 675 597 264 0 134 0
[pid=349848] ppid=349845 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/349848/stat : 349848 (timeout) S 349845 349848 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64318982 8867840 257 134679101440 94044997980160 94044998015176 140722301249376 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045000112592 94045000114724 94045010944000 140722301256739 140722301256861 140722301256861 140722301263847 0
/proc/349848/statm: 2165 257 233 9 0 87 0
[pid=349849] ppid=349848 vsize=38924 memory=25568 CPUtime=6.27 cores=1,3
/proc/349849/stat : 349849 (LS-MabP) R 349848 349848 346174 0 -1 4194304 4931 0 0 0 619 8 0 0 20 0 1 0 64318982 39858176 6392 134679101440 4194304 15467897 140734737277600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27734016 140734737286199 140734737286308 140734737286308 140734737293294 0
/proc/349849/statm: 9731 6392 1073 2753 0 6384 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57516 KiB
Current children cumulated memory: 29296 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.13 4.17 5/250 349852
/proc/meminfo: memFree=122500584/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 675 597 264 0 134 0
[pid=349848] ppid=349845 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/349848/stat : 349848 (timeout) S 349845 349848 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64318982 8867840 257 134679101440 94044997980160 94044998015176 140722301249376 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045000112592 94045000114724 94045010944000 140722301256739 140722301256861 140722301256861 140722301263847 0
/proc/349848/statm: 2165 257 233 9 0 87 0
[pid=349849] ppid=349848 vsize=38924 memory=25568 CPUtime=12.65 cores=1,3
/proc/349849/stat : 349849 (LS-MabP) R 349848 349848 346174 0 -1 4194304 4932 0 0 0 1249 16 0 0 20 0 1 0 64318982 39858176 6392 134679101440 4194304 15467897 140734737277600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27734016 140734737286199 140734737286308 140734737286308 140734737293294 0
/proc/349849/statm: 9731 6392 1073 2753 0 6384 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57516 KiB
Current children cumulated memory: 29296 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.12 4.17 5/250 349853
/proc/meminfo: memFree=122500404/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 675 597 264 0 134 0
[pid=349848] ppid=349845 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/349848/stat : 349848 (timeout) S 349845 349848 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64318982 8867840 257 134679101440 94044997980160 94044998015176 140722301249376 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045000112592 94045000114724 94045010944000 140722301256739 140722301256861 140722301256861 140722301263847 0
/proc/349848/statm: 2165 257 233 9 0 87 0
[pid=349849] ppid=349848 vsize=38924 memory=25880 CPUtime=25.43 cores=1,3
/proc/349849/stat : 349849 (LS-MabP) R 349848 349848 346174 0 -1 4194304 4975 0 0 0 2512 31 0 0 20 0 1 0 64318982 39858176 6470 134679101440 4194304 15467897 140734737277600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27734016 140734737286199 140734737286308 140734737286308 140734737293294 0
/proc/349849/statm: 9731 6470 1089 2753 0 6384 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 57516 KiB
Current children cumulated memory: 29608 KiB

[startup+51.1124 s]
/proc/loadavg: 4.20 4.14 4.18 5/250 349859
/proc/meminfo: memFree=122500140/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 675 597 264 0 134 0
[pid=349848] ppid=349845 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/349848/stat : 349848 (timeout) S 349845 349848 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64318982 8867840 257 134679101440 94044997980160 94044998015176 140722301249376 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045000112592 94045000114724 94045010944000 140722301256739 140722301256861 140722301256861 140722301263847 0
/proc/349848/statm: 2165 257 233 9 0 87 0
[pid=349849] ppid=349848 vsize=38924 memory=25880 CPUtime=50.99 cores=1,3
/proc/349849/stat : 349849 (LS-MabP) R 349848 349848 346174 0 -1 4194304 4975 0 0 0 5036 63 0 0 20 0 1 0 64318982 39858176 6470 134679101440 4194304 15467897 140734737277600 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27734016 140734737286199 140734737286308 140734737286308 140734737293294 0
/proc/349849/statm: 9731 6470 1089 2753 0 6384 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 57516 KiB
Current children cumulated memory: 29608 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.17 5/250 349928
/proc/meminfo: memFree=120851716/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 64318981 10170368 675 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0

################
# More data... #
################

/proc/350934/statm: 67709 65582 852 745 0 66774 0
Current children cumulated CPU time: 3035.52 s
Current children cumulated vsize: 289428 KiB
Current children cumulated memory: 266108 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.13 4.11 5/249 351856
/proc/meminfo: memFree=113136260/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2748 CPUtime=1794.43 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 266 5404 0 0 0 0 177263 2180 20 0 1 0 64318981 10170368 687 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 687 597 264 0 134 0
[pid=350933] ppid=349845 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350933/stat : 350933 (timeout) S 349845 350933 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64498784 8867840 258 134679101440 94527516938240 94527516973256 140727466839904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94527519070672 94527519072804 94527549673472 140727466845172 140727466845341 140727466845341 140727466852327 0
/proc/350933/statm: 2165 258 233 9 0 87 0
[pid=350934] ppid=350933 vsize=271536 memory=262824 CPUtime=1300.94 cores=1,3
/proc/350934/stat : 350934 (Exact) R 350933 350933 346174 0 -1 4194304 41002 0 0 0 130072 22 0 0 20 0 1 0 64498784 278052864 65706 134679101440 4194304 7243121 140734058684368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19873792 140734058689552 140734058689702 140734058689702 140734058696688 0
/proc/350934/statm: 67884 65706 852 745 0 66949 0
Current children cumulated CPU time: 3095.37 s
Current children cumulated vsize: 290128 KiB
Current children cumulated memory: 266604 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/249 351867
/proc/meminfo: memFree=111942568/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2748 CPUtime=1794.43 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 266 5404 0 0 0 0 177263 2180 20 0 1 0 64318981 10170368 687 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 687 597 264 0 134 0
[pid=350933] ppid=349845 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350933/stat : 350933 (timeout) S 349845 350933 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64498784 8867840 258 134679101440 94527516938240 94527516973256 140727466839904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94527519070672 94527519072804 94527549673472 140727466845172 140727466845341 140727466845341 140727466852327 0
/proc/350933/statm: 2165 258 233 9 0 87 0
[pid=350934] ppid=350933 vsize=272988 memory=263988 CPUtime=1360.8 cores=1,3
/proc/350934/stat : 350934 (Exact) R 350933 350933 346174 0 -1 4194304 41402 0 0 0 136057 23 0 0 20 0 1 0 64498784 279539712 65997 134679101440 4194304 7243121 140734058684368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19873792 140734058689552 140734058689702 140734058689702 140734058696688 0
/proc/350934/statm: 68247 65997 852 745 0 67312 0
Current children cumulated CPU time: 3155.23 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 267768 KiB

[startup+3175.16 s]
# the end of solver process 349845 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3146.02 s, system=22.0531 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3168 s]*
/proc/loadavg: 4.13 4.12 4.10 5/249 351868
/proc/meminfo: memFree=111939176/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2748 CPUtime=1794.43 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 266 5404 0 0 0 0 177263 2180 20 0 1 0 64318981 10170368 687 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 687 597 264 0 134 0
[pid=350933] ppid=349845 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350933/stat : 350933 (timeout) S 349845 350933 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64498784 8867840 258 134679101440 94527516938240 94527516973256 140727466839904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94527519070672 94527519072804 94527549673472 140727466845172 140727466845341 140727466845341 140727466852327 0
/proc/350933/statm: 2165 258 233 9 0 87 0
[pid=350934] ppid=350933 vsize=272988 memory=263988 CPUtime=1366.5 cores=1,3
/proc/350934/stat : 350934 (Exact) R 350933 350933 346174 0 -1 4194304 41402 0 0 0 136627 23 0 0 20 0 1 0 64498784 279539712 65997 134679101440 4194304 7243121 140734058684368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19873792 140734058689552 140734058689702 140734058689702 140734058696688 0
/proc/350934/statm: 68247 65997 852 745 0 67312 0
Current children cumulated CPU time: 3160.93 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 267768 KiB

[startup+3171.2 s]
/proc/loadavg: 4.12 4.12 4.10 5/249 351869
/proc/meminfo: memFree=111939060/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2748 CPUtime=1794.43 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 266 5404 0 0 0 0 177263 2180 20 0 1 0 64318981 10170368 687 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 687 597 264 0 134 0
[pid=350933] ppid=349845 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350933/stat : 350933 (timeout) S 349845 350933 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64498784 8867840 258 134679101440 94527516938240 94527516973256 140727466839904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94527519070672 94527519072804 94527549673472 140727466845172 140727466845341 140727466845341 140727466852327 0
/proc/350933/statm: 2165 258 233 9 0 87 0
[pid=350934] ppid=350933 vsize=272988 memory=264184 CPUtime=1369.68 cores=1,3
/proc/350934/stat : 350934 (Exact) R 350933 350933 346174 0 -1 4194304 41488 0 0 0 136945 23 0 0 20 0 1 0 64498784 279539712 66046 134679101440 4194304 7243121 140734058684368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19873792 140734058689552 140734058689702 140734058689702 140734058696688 0
/proc/350934/statm: 68247 66046 852 745 0 67312 0
Current children cumulated CPU time: 3164.11 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 267964 KiB

[startup+3172.8 s]
/proc/loadavg: 4.12 4.12 4.10 5/249 351869
/proc/meminfo: memFree=111939060/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2748 CPUtime=1794.43 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 266 5404 0 0 0 0 177263 2180 20 0 1 0 64318981 10170368 687 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 687 597 264 0 134 0
[pid=350933] ppid=349845 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350933/stat : 350933 (timeout) S 349845 350933 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64498784 8867840 258 134679101440 94527516938240 94527516973256 140727466839904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94527519070672 94527519072804 94527549673472 140727466845172 140727466845341 140727466845341 140727466852327 0
/proc/350933/statm: 2165 258 233 9 0 87 0
[pid=350934] ppid=350933 vsize=272988 memory=264184 CPUtime=1371.27 cores=1,3
/proc/350934/stat : 350934 (Exact) R 350933 350933 346174 0 -1 4194304 41489 0 0 0 137104 23 0 0 20 0 1 0 64498784 279539712 66046 134679101440 4194304 7243121 140734058684368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19873792 140734058689552 140734058689702 140734058689702 140734058696688 0
/proc/350934/statm: 68247 66046 852 745 0 67312 0
Current children cumulated CPU time: 3165.7 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 267964 KiB

[startup+3174.4 s]
/proc/loadavg: 4.12 4.12 4.10 5/249 351869
/proc/meminfo: memFree=111939060/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2748 CPUtime=1794.43 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 266 5404 0 0 0 0 177263 2180 20 0 1 0 64318981 10170368 687 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 687 597 264 0 134 0
[pid=350933] ppid=349845 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350933/stat : 350933 (timeout) S 349845 350933 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64498784 8867840 258 134679101440 94527516938240 94527516973256 140727466839904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94527519070672 94527519072804 94527549673472 140727466845172 140727466845341 140727466845341 140727466852327 0
/proc/350933/statm: 2165 258 233 9 0 87 0
[pid=350934] ppid=350933 vsize=272988 memory=264184 CPUtime=1372.87 cores=1,3
/proc/350934/stat : 350934 (Exact) R 350933 350933 346174 0 -1 4194304 41490 0 0 0 137264 23 0 0 20 0 1 0 64498784 279539712 66046 134679101440 4194304 7243121 140734058684368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19873792 140734058689552 140734058689702 140734058689702 140734058696688 0
/proc/350934/statm: 68247 66046 852 745 0 67312 0
Current children cumulated CPU time: 3167.3 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 267964 KiB

[startup+3174.8 s]
/proc/loadavg: 4.12 4.12 4.10 5/249 351869
/proc/meminfo: memFree=111939060/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2748 CPUtime=1794.43 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 266 5404 0 0 0 0 177263 2180 20 0 1 0 64318981 10170368 687 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 687 597 264 0 134 0
[pid=350933] ppid=349845 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350933/stat : 350933 (timeout) S 349845 350933 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64498784 8867840 258 134679101440 94527516938240 94527516973256 140727466839904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94527519070672 94527519072804 94527549673472 140727466845172 140727466845341 140727466845341 140727466852327 0
/proc/350933/statm: 2165 258 233 9 0 87 0
[pid=350934] ppid=350933 vsize=272988 memory=264184 CPUtime=1373.27 cores=1,3
/proc/350934/stat : 350934 (Exact) R 350933 350933 346174 0 -1 4194304 41490 0 0 0 137304 23 0 0 20 0 1 0 64498784 279539712 66046 134679101440 4194304 7243121 140734058684368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19873792 140734058689552 140734058689702 140734058689702 140734058696688 0
/proc/350934/statm: 68247 66046 852 745 0 67312 0
Current children cumulated CPU time: 3167.7 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 267964 KiB

[startup+3175 s]*
/proc/loadavg: 4.11 4.11 4.10 5/249 351869
/proc/meminfo: memFree=111939060/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2748 CPUtime=1794.43 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 266 5404 0 0 0 0 177263 2180 20 0 1 0 64318981 10170368 687 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 687 597 264 0 134 0
[pid=350933] ppid=349845 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350933/stat : 350933 (timeout) S 349845 350933 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64498784 8867840 258 134679101440 94527516938240 94527516973256 140727466839904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94527519070672 94527519072804 94527549673472 140727466845172 140727466845341 140727466845341 140727466852327 0
/proc/350933/statm: 2165 258 233 9 0 87 0
[pid=350934] ppid=350933 vsize=272988 memory=264184 CPUtime=1373.48 cores=1,3
/proc/350934/stat : 350934 (Exact) R 350933 350933 346174 0 -1 4194304 41490 0 0 0 137325 23 0 0 20 0 1 0 64498784 279539712 66046 134679101440 4194304 7243121 140734058684368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19873792 140734058689552 140734058689702 140734058689702 140734058696688 0
/proc/350934/statm: 68247 66046 852 745 0 67312 0
Current children cumulated CPU time: 3167.91 s
Current children cumulated vsize: 291580 KiB
Current children cumulated memory: 267964 KiB

[startup+3175.11 s]
/proc/loadavg: 4.11 4.11 4.10 5/249 351869
/proc/meminfo: memFree=111939060/131655788 swapFree=131071996/131071996
[pid=349845] ppid=349842 vsize=9932 memory=2748 CPUtime=1794.43 cores=1,3
/proc/349845/stat : 349845 (Hybrid-LSMabP+E) S 349842 349845 346174 0 -1 4194304 266 5404 0 0 0 0 177263 2180 20 0 1 0 64318981 10170368 687 134679101440 94585480089600 94585481168920 140724042048768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94585483267376 94585483314564 94585491402752 140724042056682 140724042056827 140724042056827 140724042063842 0
/proc/349845/statm: 2483 687 597 264 0 134 0
[pid=350933] ppid=349845 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350933/stat : 350933 (timeout) S 349845 350933 346174 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64498784 8867840 258 134679101440 94527516938240 94527516973256 140727466839904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94527519070672 94527519072804 94527549673472 140727466845172 140727466845341 140727466845341 140727466852327 0
/proc/350933/statm: 2165 258 233 9 0 87 0
[pid=350934] ppid=350933 vsize=273920 memory=264360 CPUtime=1373.58 cores=1,3
/proc/350934/stat : 350934 (Exact) R 350933 350933 346174 0 -1 4194304 41654 0 0 0 137335 23 0 0 20 0 1 0 64498784 280494080 66090 134679101440 4194304 7243121 140734058684368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19873792 140734058689552 140734058689702 140734058689702 140734058696688 0
/proc/350934/statm: 68480 66090 852 745 0 67545 0
Current children cumulated CPU time: 3168.01 s
Current children cumulated vsize: 292512 KiB
Current children cumulated memory: 268140 KiB

Child status: 0

Real time (s): 3175.16
CPU time (s): 3168.07
CPU user time (s): 3146.02
CPU system time (s): 22.0531
CPU usage (%): 99.7766
Max. virtual memory (cumulated for all children) (KiB): 292512
Max. memory (cumulated for all children) (KiB): 268140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3146.02
system time used= 22.0531
maximum resident set size= 264360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 4721


# summary of solver processes directly reported to runsolver:
#   pid: 349845
#   total CPU time (s): 3168.07
#   total CPU user time (s): 3146.02
#   total CPU system time (s): 22.0531

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5762 second user time and 32.9551 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-08-06 22:47:14
IDJOB=4437702
IDBENCH=155620
IDSOLVER=3071
FILE ID=nodeC002/4437702-1722977234
RUNJOBID= nodeC002-1722971570-346186
SLURM_JOB_ID= 8259066
Free space on /tmp= 723484 MiB

SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437702-1722977234/watcher-4437702-1722977234 -o /tmp/evaluation-result-4437702-1722977234/solver-4437702-1722977234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722971570-346186 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437702-1722977234.opb 3600 HOME 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653
RANDOM SEED=1063945208

nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3673.182
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.65
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		: 3491.832
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.23
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.384
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.65
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.202
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.23
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		: 3673.208
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.65
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		: 3660.504
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.435
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.65
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.307
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122523948 kB
MemAvailable:   126214884 kB
Buffers:          354460 kB
Cached:          4159032 kB
SwapCached:            0 kB
Active:           861140 kB
Inactive:        7718660 kB
Active(anon):       1960 kB
Inactive(anon):  4110240 kB
Active(file):     859180 kB
Inactive(file):  3608420 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21456 kB
Writeback:             0 kB
AnonPages:       4066288 kB
Mapped:           116444 kB
Shmem:             45896 kB
KReclaimable:     126732 kB
Slab:             216548 kB
SReclaimable:     126732 kB
SUnreclaim:        89816 kB
KernelStack:        3984 kB
PageTables:        17456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    4723536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            25216 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2531328 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      318280 kB
DirectMap2M:    26849280 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 723632 MiB
End job on nodeC002 at 2024-08-06 23:40:09