Trace number 4437409

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-11SAT1135869952 3588.63 3596.04

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM8990d9f8b403d84c2b7408cf78742133
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 benchmark1126169600
Best CPU time to get the best result obtained on this benchmark2936.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
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 

3588.57/3596.03	c Filename:instance-4437409-1722950003.opb, Cutoff_time:1798, memory_limit_gb:29976
3588.57/3596.03	c Not use presolve
3588.57/3596.03	c Use LS-small
3588.57/3596.03	o 1346371584
3588.57/3596.03	o 1342177280
3588.57/3596.03	o 1258291200
3588.57/3596.03	o 1241513984
3588.57/3596.03	o 1207959552
3588.57/3596.03	o 1158282244
3588.57/3596.03	o 1158282240
3588.57/3596.03	o 1157562367
3588.57/3596.03	o 1157038079
3588.57/3596.03	o 1156775935
3588.57/3596.03	o 1156759551
3588.57/3596.03	o 1156628479
3588.57/3596.03	o 1156595711
3588.57/3596.03	o 1156587519
3588.57/3596.03	o 1156583423
3588.57/3596.03	o 1156581375
3588.57/3596.03	o 1156580351
3588.57/3596.03	o 1156579839
3588.57/3596.03	o 1156579583
3588.57/3596.03	o 1156579455
3588.57/3596.03	o 1156579391
3588.57/3596.03	o 1156579359
3588.57/3596.03	o 1156579343
3588.57/3596.03	o 1156579335
3588.57/3596.03	o 1156579331
3588.57/3596.03	o 1156579329
3588.57/3596.03	o 1156579328
3588.57/3596.03	o 1156546560
3588.57/3596.03	o 1156481024
3588.57/3596.03	o 1155530751
3588.57/3596.03	o 1155497983
3588.57/3596.03	o 1155496959
3588.57/3596.03	o 1155334144
3588.57/3596.03	o 1155333120
3588.57/3596.03	o 1155333119
3588.57/3596.03	o 1154940927
3588.57/3596.03	o 1154908159
3588.57/3596.03	o 1154842623
3588.57/3596.03	o 1154841600
3588.57/3596.03	o 1153433535
3588.57/3596.03	o 1153433503
3588.57/3596.03	o 1153367967
3588.57/3596.03	o 1153366943
3588.57/3596.03	o 1153366431
3588.57/3596.03	o 1153366427
3588.57/3596.03	o 1151590399
3588.57/3596.03	o 1151589375
3588.57/3596.03	o 1151589119
3588.57/3596.03	o 1150812159
3588.57/3596.03	o 1150812143
3588.57/3596.03	o 1150746607
3588.57/3596.03	o 1150681087
3588.57/3596.03	o 1150615551
3588.57/3596.03	o 1150582783
3588.57/3596.03	o 1149300607
3588.57/3596.03	o 1149239295
3588.57/3596.03	o 1149108223
3588.57/3596.03	o 1148698623
3588.57/3596.03	o 1148550127
3588.57/3596.03	o 1148320735
3588.57/3596.03	o 1140850687
3588.57/3596.03	o 1140785151
3588.57/3596.03	o 1140752383
3588.57/3596.03	o 1140751359
3588.57/3596.03	o 1140620287
3588.57/3596.03	o 1140603903
3588.57/3596.03	o 1140595711
3588.57/3596.03	o 1140591615
3588.57/3596.03	o 1140589567
3588.57/3596.03	o 1140589055
3588.57/3596.03	o 1140588799
3588.57/3596.03	o 1140588671
3588.57/3596.03	o 1140588607
3588.57/3596.03	o 1140588575
3588.57/3596.03	o 1140588559
3588.57/3596.03	o 1140588551
3588.57/3596.03	o 1140588547
3588.57/3596.03	o 1140588545
3588.57/3596.03	o 1140588544
3588.57/3596.03	o 1140587648
3588.57/3596.03	o 1140587520
3588.57/3596.03	o 1140457472
3588.57/3596.03	o 1140326399
3588.57/3596.03	o 1140195327
3588.57/3596.03	o 1140129791
3588.57/3596.03	o 1140097023
3588.57/3596.03	o 1139802111
3588.57/3596.03	o 1139769343
3588.57/3596.03	o 1139768320
3588.57/3596.03	o 1139768319
3588.57/3596.03	o 1139736575
3588.57/3596.03	o 1139637247
3588.57/3596.03	o 1139636735
3588.57/3596.03	o 1139620351
3588.57/3596.03	o 1139612159
3588.57/3596.03	o 1139608063
3588.57/3596.03	o 1139606015
3588.57/3596.03	o 1139605759
3588.57/3596.03	o 1139605631
3588.57/3596.03	o 1139605567
3588.57/3596.03	o 1139605535
3588.57/3596.03	o 1139605519
3588.57/3596.03	o 1139605511
3588.57/3596.03	o 1139605507
3588.57/3596.03	o 1139605505
3588.57/3596.03	o 1139605504
3588.57/3596.03	o 1139604480
3588.57/3596.03	o 1138753535
3588.57/3596.03	o 1138622463
3588.57/3596.03	o 1138491391
3588.57/3596.03	o 1138458623
3588.57/3596.03	o 1138457599
3588.57/3596.03	o 1138326527
3588.57/3596.03	o 1138260991
3588.57/3596.03	o 1138244607
3588.57/3596.03	o 1138236415
3588.57/3596.03	o 1138232319
3588.57/3596.03	o 1138230271
3588.57/3596.03	o 1138229759
3588.57/3596.03	o 1138229503
3588.57/3596.03	o 1138229375
3588.57/3596.03	o 1138229311
3588.57/3596.03	o 1138229279
3588.57/3596.03	o 1138229263
3588.57/3596.03	o 1138229255
3588.57/3596.03	o 1138229251
3588.57/3596.03	o 1138229249
3588.57/3596.03	o 1138229248
3588.57/3596.03	o 1138130944
3588.57/3596.03	o 1138129920
3588.57/3596.03	o 1138098175
3588.57/3596.03	o 1138032639
3588.57/3596.03	o 1138016255
3588.57/3596.03	o 1138008063
3588.57/3596.03	o 1137975295
3588.57/3596.03	o 1137971199
3588.57/3596.03	o 1137969151
3588.57/3596.03	o 1137968127
3588.57/3596.03	o 1137967615
3588.57/3596.03	o 1137967359
3588.57/3596.03	o 1137967231
3588.57/3596.03	o 1137967167
3588.57/3596.03	o 1137967135
3588.57/3596.03	o 1137967119
3588.57/3596.03	o 1137967111
3588.57/3596.03	o 1137967107
3588.57/3596.03	o 1137967105
3588.57/3596.03	o 1137967104
3588.57/3596.03	o 1136795648
3588.57/3596.03	o 1136664576
3588.57/3596.03	o 1136656384
3588.57/3596.03	o 1135869952
3588.57/3596.03	s SATISFIABLE
3588.57/3596.03	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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 x6639 -x6640 x6641 x6642 -x6643 x6644 x6645 x6646 -x6647 -x6648 -x6649 -x6650 x6651 
3588.57/3596.03	c Done 1533.3s

Verifier Data 

OK	1135869952

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: 63968 MiB (63071 MiB free)
  memory of node 1: 64473 MiB (63298 MiB free)
  node distances:
     10  21
     21  10

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

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


[startup+0.100094 s]*
/proc/loadavg: 4.13 4.09 3.57 5/265 338913
/proc/meminfo: memFree=129377048/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 703 627 264 0 134 0
[pid=338912] ppid=338909 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/338912/stat : 338912 (timeout) S 338909 338912 337861 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61602620 8867840 246 134679101440 94598956003328 94598956038344 140726420881776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94598958135760 94598958137892 94598981857280 140726420890659 140726420890781 140726420890781 140726420897767 0
/proc/338912/statm: 2165 246 221 9 0 87 0
[pid=338913] ppid=338912 vsize=41004 memory=27880 CPUtime=0.09 cores=4,6
/proc/338913/stat : 338913 (LS-MabP) R 338912 338912 337861 0 -1 4194304 5548 0 0 0 9 0 0 0 20 0 1 0 61602620 41988096 6970 134679101440 4194304 15467897 140733898416976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28434432 140733898425399 140733898425508 140733898425508 140733898432494 0
/proc/338913/statm: 10251 6970 1057 2753 0 6904 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59596 KiB
Current children cumulated memory: 31676 KiB

[startup+0.20599 s]*
/proc/loadavg: 4.13 4.09 3.57 5/265 338913
/proc/meminfo: memFree=129349280/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 703 627 264 0 134 0
[pid=338912] ppid=338909 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/338912/stat : 338912 (timeout) S 338909 338912 337861 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61602620 8867840 246 134679101440 94598956003328 94598956038344 140726420881776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94598958135760 94598958137892 94598981857280 140726420890659 140726420890781 140726420890781 140726420897767 0
/proc/338912/statm: 2165 246 221 9 0 87 0
[pid=338913] ppid=338912 vsize=63272 memory=50320 CPUtime=0.2 cores=4,6
/proc/338913/stat : 338913 (LS-MabP) R 338912 338912 337861 0 -1 4194304 11112 0 0 0 19 1 0 0 20 0 1 0 61602620 64790528 12580 134679101440 4194304 15467897 140733898416976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28434432 140733898425399 140733898425508 140733898425508 140733898432494 0
/proc/338913/statm: 15818 12580 1057 2753 0 12471 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81864 KiB
Current children cumulated memory: 54116 KiB

[startup+0.305817 s]*
/proc/loadavg: 4.13 4.09 3.57 5/265 338913
/proc/meminfo: memFree=129332340/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 703 627 264 0 134 0
[pid=338912] ppid=338909 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/338912/stat : 338912 (timeout) S 338909 338912 337861 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61602620 8867840 246 134679101440 94598956003328 94598956038344 140726420881776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94598958135760 94598958137892 94598981857280 140726420890659 140726420890781 140726420890781 140726420897767 0
/proc/338912/statm: 2165 246 221 9 0 87 0
[pid=338913] ppid=338912 vsize=79200 memory=66160 CPUtime=0.29 cores=4,6
/proc/338913/stat : 338913 (LS-MabP) R 338912 338912 337861 0 -1 4194304 15111 0 0 0 28 1 0 0 20 0 1 0 61602620 81100800 16540 134679101440 4194304 15467897 140733898416976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28434432 140733898425399 140733898425508 140733898425508 140733898432494 0
/proc/338913/statm: 19839 16540 1057 2753 0 16492 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97792 KiB
Current children cumulated memory: 69956 KiB

[startup+0.700297 s]
/proc/loadavg: 4.13 4.09 3.57 5/265 338915
/proc/meminfo: memFree=129291592/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 703 627 264 0 134 0
[pid=338912] ppid=338909 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/338912/stat : 338912 (timeout) S 338909 338912 337861 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61602620 8867840 246 134679101440 94598956003328 94598956038344 140726420881776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94598958135760 94598958137892 94598981857280 140726420890659 140726420890781 140726420890781 140726420897767 0
/proc/338912/statm: 2165 246 221 9 0 87 0
[pid=338913] ppid=338912 vsize=154840 memory=141664 CPUtime=0.69 cores=4,6
/proc/338913/stat : 338913 (LS-MabP) R 338912 338912 337861 0 -1 4194304 33992 0 0 0 64 5 0 0 20 0 1 0 61602620 158556160 35416 134679101440 4194304 15467897 140733898416976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28434432 140733898425399 140733898425508 140733898425508 140733898432494 0
/proc/338913/statm: 38710 35416 1057 2753 0 35363 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 173432 KiB
Current children cumulated memory: 145460 KiB

[startup+1.50029 s]
/proc/loadavg: 4.13 4.09 3.57 5/265 338915
/proc/meminfo: memFree=129183852/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 703 627 264 0 134 0
[pid=338912] ppid=338909 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/338912/stat : 338912 (timeout) S 338909 338912 337861 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61602620 8867840 246 134679101440 94598956003328 94598956038344 140726420881776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94598958135760 94598958137892 94598981857280 140726420890659 140726420890781 140726420890781 140726420897767 0
/proc/338912/statm: 2165 246 221 9 0 87 0
[pid=338913] ppid=338912 vsize=203432 memory=190828 CPUtime=1.48 cores=4,6
/proc/338913/stat : 338913 (LS-MabP) R 338912 338912 337861 0 -1 4194304 46217 0 0 0 141 7 0 0 20 0 1 0 61602620 208314368 47707 134679101440 4194304 15467897 140733898416976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28434432 140733898425399 140733898425508 140733898425508 140733898432494 0
/proc/338913/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194624 KiB

[startup+3.10578 s]
/proc/loadavg: 4.12 4.09 3.58 5/265 338915
/proc/meminfo: memFree=129140948/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 703 627 264 0 134 0
[pid=338912] ppid=338909 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/338912/stat : 338912 (timeout) S 338909 338912 337861 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61602620 8867840 246 134679101440 94598956003328 94598956038344 140726420881776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94598958135760 94598958137892 94598981857280 140726420890659 140726420890781 140726420890781 140726420897767 0
/proc/338912/statm: 2165 246 221 9 0 87 0
[pid=338913] ppid=338912 vsize=203432 memory=190828 CPUtime=3.09 cores=4,6
/proc/338913/stat : 338913 (LS-MabP) R 338912 338912 337861 0 -1 4194304 46217 0 0 0 301 8 0 0 20 0 1 0 61602620 208314368 47707 134679101440 4194304 15467897 140733898416976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28434432 140733898425399 140733898425508 140733898425508 140733898432494 0
/proc/338913/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194624 KiB

[startup+6.30029 s]
/proc/loadavg: 4.12 4.09 3.58 5/265 338915
/proc/meminfo: memFree=129073768/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 703 627 264 0 134 0
[pid=338912] ppid=338909 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/338912/stat : 338912 (timeout) S 338909 338912 337861 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61602620 8867840 246 134679101440 94598956003328 94598956038344 140726420881776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94598958135760 94598958137892 94598981857280 140726420890659 140726420890781 140726420890781 140726420897767 0
/proc/338912/statm: 2165 246 221 9 0 87 0
[pid=338913] ppid=338912 vsize=203432 memory=190828 CPUtime=6.27 cores=4,6
/proc/338913/stat : 338913 (LS-MabP) R 338912 338912 337861 0 -1 4194304 46218 0 0 0 618 9 0 0 20 0 1 0 61602620 208314368 47707 134679101440 4194304 15467897 140733898416976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28434432 140733898425399 140733898425508 140733898425508 140733898432494 0
/proc/338913/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194624 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 3.58 5/265 338916
/proc/meminfo: memFree=129012628/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 703 627 264 0 134 0
[pid=338912] ppid=338909 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/338912/stat : 338912 (timeout) S 338909 338912 337861 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61602620 8867840 246 134679101440 94598956003328 94598956038344 140726420881776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94598958135760 94598958137892 94598981857280 140726420890659 140726420890781 140726420890781 140726420897767 0
/proc/338912/statm: 2165 246 221 9 0 87 0
[pid=338913] ppid=338912 vsize=203432 memory=190828 CPUtime=12.65 cores=4,6
/proc/338913/stat : 338913 (LS-MabP) R 338912 338912 337861 0 -1 4194304 46218 0 0 0 1255 10 0 0 20 0 1 0 61602620 208314368 47707 134679101440 4194304 15467897 140733898416976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28434432 140733898425399 140733898425508 140733898425508 140733898432494 0
/proc/338913/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194624 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.08 3.58 5/265 338918
/proc/meminfo: memFree=128887752/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 703 627 264 0 134 0
[pid=338912] ppid=338909 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/338912/stat : 338912 (timeout) S 338909 338912 337861 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61602620 8867840 246 134679101440 94598956003328 94598956038344 140726420881776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94598958135760 94598958137892 94598981857280 140726420890659 140726420890781 140726420890781 140726420897767 0
/proc/338912/statm: 2165 246 221 9 0 87 0
[pid=338913] ppid=338912 vsize=203432 memory=190828 CPUtime=25.43 cores=4,6
/proc/338913/stat : 338913 (LS-MabP) R 338912 338912 337861 0 -1 4194304 46218 0 0 0 2529 14 0 0 20 0 1 0 61602620 208314368 47707 134679101440 4194304 15467897 140733898416976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28434432 140733898425399 140733898425508 140733898425508 140733898432494 0
/proc/338913/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194624 KiB

[startup+51.1059 s]
/proc/loadavg: 4.06 4.08 3.60 5/265 338922
/proc/meminfo: memFree=128826648/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 703 627 264 0 134 0
[pid=338912] ppid=338909 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/338912/stat : 338912 (timeout) S 338909 338912 337861 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61602620 8867840 246 134679101440 94598956003328 94598956038344 140726420881776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94598958135760 94598958137892 94598981857280 140726420890659 140726420890781 140726420890781 140726420897767 0
/proc/338912/statm: 2165 246 221 9 0 87 0
[pid=338913] ppid=338912 vsize=203432 memory=190828 CPUtime=50.99 cores=4,6
/proc/338913/stat : 338913 (LS-MabP) R 338912 338912 337861 0 -1 4194304 46228 0 0 0 5076 23 0 0 20 0 1 0 61602620 208314368 47707 134679101440 4194304 15467897 140733898416976 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 28434432 140733898425399 140733898425508 140733898425508 140733898432494 0
/proc/338913/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194624 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.10 3.63 5/265 338932
/proc/meminfo: memFree=128678192/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2812 CPUtime=0 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 61602619 10170368 703 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0

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

/proc/339949/statm: 300854 276365 820 745 0 299919 0
Current children cumulated CPU time: 3395.26 s
Current children cumulated vsize: 1222008 KiB
Current children cumulated memory: 1109356 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 340960
/proc/meminfo: memFree=128396208/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2864 CPUtime=1794.23 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 272 48816 0 0 0 0 178890 533 20 0 1 0 61602619 10170368 716 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 716 627 264 0 134 0
[pid=339948] ppid=338909 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/339948/stat : 339948 (timeout) S 338909 339948 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782420 8867840 258 134679101440 94783712301056 94783712336072 140735942375472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94783714433488 94783714435620 94783744102400 140735942378484 140735942378653 140735942378653 140735942385639 0
/proc/339948/statm: 2165 258 234 9 0 87 0
[pid=339949] ppid=339948 vsize=1203416 memory=1105460 CPUtime=1660.91 cores=4,6
/proc/339949/stat : 339949 (Exact) R 339948 339948 337861 0 -1 4194304 162590 0 0 0 166039 52 0 0 20 0 1 0 61782420 1232297984 276365 134679101440 4194304 7243121 140722559153440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 21553152 140722559157264 140722559157414 140722559157414 140722559164400 0
/proc/339949/statm: 300854 276365 820 745 0 299919 0
Current children cumulated CPU time: 3455.14 s
Current children cumulated vsize: 1222008 KiB
Current children cumulated memory: 1109356 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/265 340971
/proc/meminfo: memFree=128395636/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2864 CPUtime=1794.23 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 272 48816 0 0 0 0 178890 533 20 0 1 0 61602619 10170368 716 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 716 627 264 0 134 0
[pid=339948] ppid=338909 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/339948/stat : 339948 (timeout) S 338909 339948 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782420 8867840 258 134679101440 94783712301056 94783712336072 140735942375472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94783714433488 94783714435620 94783744102400 140735942378484 140735942378653 140735942378653 140735942385639 0
/proc/339948/statm: 2165 258 234 9 0 87 0
[pid=339949] ppid=339948 vsize=1203416 memory=1105460 CPUtime=1720.79 cores=4,6
/proc/339949/stat : 339949 (Exact) R 339948 339948 337861 0 -1 4194304 163038 0 0 0 172027 52 0 0 20 0 1 0 61782420 1232297984 276365 134679101440 4194304 7243121 140722559153440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 21553152 140722559157264 140722559157414 140722559157414 140722559164400 0
/proc/339949/statm: 300854 276365 820 745 0 299919 0
Current children cumulated CPU time: 3515.02 s
Current children cumulated vsize: 1222008 KiB
Current children cumulated memory: 1109356 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 340982
/proc/meminfo: memFree=128395088/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2864 CPUtime=1794.23 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 272 48816 0 0 0 0 178890 533 20 0 1 0 61602619 10170368 716 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 716 627 264 0 134 0
[pid=339948] ppid=338909 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/339948/stat : 339948 (timeout) S 338909 339948 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782420 8867840 258 134679101440 94783712301056 94783712336072 140735942375472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94783714433488 94783714435620 94783744102400 140735942378484 140735942378653 140735942378653 140735942385639 0
/proc/339948/statm: 2165 258 234 9 0 87 0
[pid=339949] ppid=339948 vsize=1203416 memory=1105460 CPUtime=1780.67 cores=4,6
/proc/339949/stat : 339949 (Exact) R 339948 339948 337861 0 -1 4194304 163452 0 0 0 178015 52 0 0 20 0 1 0 61782420 1232297984 276365 134679101440 4194304 7243121 140722559153440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 21553152 140722559157264 140722559157414 140722559157414 140722559164400 0
/proc/339949/statm: 300854 276365 820 745 0 299919 0
Current children cumulated CPU time: 3574.9 s
Current children cumulated vsize: 1222008 KiB
Current children cumulated memory: 1109356 KiB

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

# cumulated CPU time of all completed processes:  user=3582.75 s, system=5.87694 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 340982
/proc/meminfo: memFree=128395088/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2864 CPUtime=1794.23 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 272 48816 0 0 0 0 178890 533 20 0 1 0 61602619 10170368 716 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 716 627 264 0 134 0
[pid=339948] ppid=338909 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/339948/stat : 339948 (timeout) S 338909 339948 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782420 8867840 258 134679101440 94783712301056 94783712336072 140735942375472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94783714433488 94783714435620 94783744102400 140735942378484 140735942378653 140735942378653 140735942385639 0
/proc/339948/statm: 2165 258 234 9 0 87 0
[pid=339949] ppid=339948 vsize=1203416 memory=1105460 CPUtime=1782.37 cores=4,6
/proc/339949/stat : 339949 (Exact) R 339948 339948 337861 0 -1 4194304 163453 0 0 0 178185 52 0 0 20 0 1 0 61782420 1232297984 276365 134679101440 4194304 7243121 140722559153440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 21553152 140722559157264 140722559157414 140722559157414 140722559164400 0
/proc/339949/statm: 300854 276365 820 745 0 299919 0
Current children cumulated CPU time: 3576.6 s
Current children cumulated vsize: 1222008 KiB
Current children cumulated memory: 1109356 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 340982
/proc/meminfo: memFree=128395088/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2864 CPUtime=1794.23 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 272 48816 0 0 0 0 178890 533 20 0 1 0 61602619 10170368 716 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 716 627 264 0 134 0
[pid=339948] ppid=338909 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/339948/stat : 339948 (timeout) S 338909 339948 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782420 8867840 258 134679101440 94783712301056 94783712336072 140735942375472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94783714433488 94783714435620 94783744102400 140735942378484 140735942378653 140735942378653 140735942385639 0
/proc/339948/statm: 2165 258 234 9 0 87 0
[pid=339949] ppid=339948 vsize=1203416 memory=1105460 CPUtime=1788.75 cores=4,6
/proc/339949/stat : 339949 (Exact) R 339948 339948 337861 0 -1 4194304 163458 0 0 0 178823 52 0 0 20 0 1 0 61782420 1232297984 276365 134679101440 4194304 7243121 140722559153440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 21553152 140722559157264 140722559157414 140722559157414 140722559164400 0
/proc/339949/statm: 300854 276365 820 745 0 299919 0
Current children cumulated CPU time: 3582.98 s
Current children cumulated vsize: 1222008 KiB
Current children cumulated memory: 1109356 KiB

[startup+3593.6 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 340983
/proc/meminfo: memFree=128394948/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2864 CPUtime=1794.23 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 272 48816 0 0 0 0 178890 533 20 0 1 0 61602619 10170368 716 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 716 627 264 0 134 0
[pid=339948] ppid=338909 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/339948/stat : 339948 (timeout) S 338909 339948 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782420 8867840 258 134679101440 94783712301056 94783712336072 140735942375472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94783714433488 94783714435620 94783744102400 140735942378484 140735942378653 140735942378653 140735942385639 0
/proc/339948/statm: 2165 258 234 9 0 87 0
[pid=339949] ppid=339948 vsize=1203416 memory=1105460 CPUtime=1791.94 cores=4,6
/proc/339949/stat : 339949 (Exact) R 339948 339948 337861 0 -1 4194304 163586 0 0 0 179142 52 0 0 20 0 1 0 61782420 1232297984 276365 134679101440 4194304 7243121 140722559153440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 21553152 140722559157264 140722559157414 140722559157414 140722559164400 0
/proc/339949/statm: 300854 276365 820 745 0 299919 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 1222008 KiB
Current children cumulated memory: 1109356 KiB

[startup+3595.2 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 340983
/proc/meminfo: memFree=128394948/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2864 CPUtime=1794.23 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 272 48816 0 0 0 0 178890 533 20 0 1 0 61602619 10170368 716 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 716 627 264 0 134 0
[pid=339948] ppid=338909 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/339948/stat : 339948 (timeout) S 338909 339948 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782420 8867840 258 134679101440 94783712301056 94783712336072 140735942375472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94783714433488 94783714435620 94783744102400 140735942378484 140735942378653 140735942378653 140735942385639 0
/proc/339948/statm: 2165 258 234 9 0 87 0
[pid=339949] ppid=339948 vsize=1203416 memory=1105460 CPUtime=1793.54 cores=4,6
/proc/339949/stat : 339949 (Exact) R 339948 339948 337861 0 -1 4194304 163588 0 0 0 179302 52 0 0 20 0 1 0 61782420 1232297984 276365 134679101440 4194304 7243121 140722559153440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 21553152 140722559157264 140722559157414 140722559157414 140722559164400 0
/proc/339949/statm: 300854 276365 820 745 0 299919 0
Current children cumulated CPU time: 3587.77 s
Current children cumulated vsize: 1222008 KiB
Current children cumulated memory: 1109356 KiB

[startup+3595.6 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 340983
/proc/meminfo: memFree=128394948/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2864 CPUtime=1794.23 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 272 48816 0 0 0 0 178890 533 20 0 1 0 61602619 10170368 716 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 716 627 264 0 134 0
[pid=339948] ppid=338909 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/339948/stat : 339948 (timeout) S 338909 339948 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782420 8867840 258 134679101440 94783712301056 94783712336072 140735942375472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94783714433488 94783714435620 94783744102400 140735942378484 140735942378653 140735942378653 140735942385639 0
/proc/339948/statm: 2165 258 234 9 0 87 0
[pid=339949] ppid=339948 vsize=1203416 memory=1105460 CPUtime=1793.94 cores=4,6
/proc/339949/stat : 339949 (Exact) R 339948 339948 337861 0 -1 4194304 163588 0 0 0 179342 52 0 0 20 0 1 0 61782420 1232297984 276365 134679101440 4194304 7243121 140722559153440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 21553152 140722559157264 140722559157414 140722559157414 140722559164400 0
/proc/339949/statm: 300854 276365 820 745 0 299919 0
Current children cumulated CPU time: 3588.17 s
Current children cumulated vsize: 1222008 KiB
Current children cumulated memory: 1109356 KiB

[startup+3596 s]*
/proc/loadavg: 4.06 4.09 4.09 5/265 340983
/proc/meminfo: memFree=128394940/131524600 swapFree=131071996/131071996
[pid=338909] ppid=338906 vsize=9932 memory=2864 CPUtime=1794.23 cores=4,6
/proc/338909/stat : 338909 (Hybrid-LSMabP+E) S 338906 338909 337861 0 -1 4194304 272 48816 0 0 0 0 178890 533 20 0 1 0 61602619 10170368 716 134679101440 94180758630400 94180759709720 140735437096848 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94180761808176 94180761855364 94180775665664 140735437104106 140735437104251 140735437104251 140735437111266 0
/proc/338909/statm: 2483 716 627 264 0 134 0
[pid=339948] ppid=338909 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/339948/stat : 339948 (timeout) S 338909 339948 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782420 8867840 258 134679101440 94783712301056 94783712336072 140735942375472 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94783714433488 94783714435620 94783744102400 140735942378484 140735942378653 140735942378653 140735942385639 0
/proc/339948/statm: 2165 258 234 9 0 87 0
[pid=339949] ppid=339948 vsize=1203416 memory=1105460 CPUtime=1794.34 cores=4,6
/proc/339949/stat : 339949 (Exact) R 339948 339948 337861 0 -1 4194304 163588 0 0 0 179382 52 0 0 20 0 1 0 61782420 1232297984 276365 134679101440 4194304 7243121 140722559153440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 21553152 140722559157264 140722559157414 140722559157414 140722559164400 0
/proc/339949/statm: 300854 276365 820 745 0 299919 0
Current children cumulated CPU time: 3588.57 s
Current children cumulated vsize: 1222008 KiB
Current children cumulated memory: 1109356 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3588.63
CPU user time (s): 3582.75
CPU system time (s): 5.87694
CPU usage (%): 99.794
Max. virtual memory (cumulated for all children) (KiB): 1222008
Max. memory (cumulated for all children) (KiB): 1109356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.75
system time used= 5.87694
maximum resident set size= 1105460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215843
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137
involuntary context switches= 1268


# summary of solver processes directly reported to runsolver:
#   pid: 338909
#   total CPU time (s): 3588.63
#   total CPU user time (s): 3582.75
#   total CPU system time (s): 5.87694

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88796 second user time and 19.7167 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-08-06 15:13:23
IDJOB=4437409
IDBENCH=146783
IDSOLVER=3071
FILE ID=nodeC033/4437409-1722950003
RUNJOBID= nodeC033-1722948202-337872
SLURM_JOB_ID= 8259014
Free space on /tmp= 890020 MiB

SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437409-1722950003/watcher-4437409-1722950003 -o /tmp/evaluation-result-4437409-1722950003/solver-4437409-1722950003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722948202-337872 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437409-1722950003.opb 3600 HOME 31000

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

MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133
RANDOM SEED=1957872260

nodeC033.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	: 0xb00002a
cpu MHz		: 3666.030
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
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		: 3689.629
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.79
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		: 3603.229
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
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		: 3600.381
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.79
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		: 3651.571
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
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		: 3689.650
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.79
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		: 3669.451
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.99
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		: 3600.371
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129403408 kB
MemAvailable:   129719028 kB
Buffers:          325008 kB
Cached:           837144 kB
SwapCached:            0 kB
Active:           594188 kB
Inactive:        1007808 kB
Active(anon):       1592 kB
Inactive(anon):   475968 kB
Active(file):     592596 kB
Inactive(file):   531840 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             23116 kB
Writeback:             4 kB
AnonPages:        439928 kB
Mapped:           109504 kB
Shmem:             37720 kB
KReclaimable:      62012 kB
Slab:             154764 kB
SReclaimable:      62012 kB
SUnreclaim:        92752 kB
KernelStack:        4224 kB
PageTables:        10196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     723916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            28928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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:      320212 kB
DirectMap2M:     9938944 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC033 at 2024-08-06 16:13:19