Trace number 4437006

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-LSMabSP+Exact 2024-07-11SAT1135869952 3586.61 3596.06

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 

3586.52/3596.06	c Filename:instance-4437006-1722948203.opb, Cutoff_time:1798, memory_limit_gb:29976
3586.52/3596.06	c Not use presolve
3586.52/3596.06	c Use LS-small
3586.52/3596.06	o 1346371584
3586.52/3596.06	o 1342177280
3586.52/3596.06	o 1258291200
3586.52/3596.06	o 1241513984
3586.52/3596.06	o 1207959552
3586.52/3596.06	o 1158282244
3586.52/3596.06	o 1158282240
3586.52/3596.06	o 1157562367
3586.52/3596.06	o 1157038079
3586.52/3596.06	o 1156775935
3586.52/3596.06	o 1156759551
3586.52/3596.06	o 1156628479
3586.52/3596.06	o 1156595711
3586.52/3596.06	o 1156587519
3586.52/3596.06	o 1156583423
3586.52/3596.06	o 1156581375
3586.52/3596.06	o 1156580351
3586.52/3596.06	o 1156579839
3586.52/3596.06	o 1156579583
3586.52/3596.06	o 1156579455
3586.52/3596.06	o 1156579391
3586.52/3596.06	o 1156579359
3586.52/3596.06	o 1156579343
3586.52/3596.06	o 1156579335
3586.52/3596.06	o 1156579331
3586.52/3596.06	o 1156579329
3586.52/3596.06	o 1156579328
3586.52/3596.06	o 1156546560
3586.52/3596.06	o 1156481024
3586.52/3596.06	o 1155530751
3586.52/3596.06	o 1155497983
3586.52/3596.06	o 1155496959
3586.52/3596.06	o 1155334144
3586.52/3596.06	o 1155333120
3586.52/3596.06	o 1155333119
3586.52/3596.06	o 1154940927
3586.52/3596.06	o 1154908159
3586.52/3596.06	o 1154842623
3586.52/3596.06	o 1154841600
3586.52/3596.06	o 1153433535
3586.52/3596.06	o 1153433503
3586.52/3596.06	o 1153367967
3586.52/3596.06	o 1153366943
3586.52/3596.06	o 1153366431
3586.52/3596.06	o 1153366427
3586.52/3596.06	o 1151590399
3586.52/3596.06	o 1151589375
3586.52/3596.06	o 1151589119
3586.52/3596.06	o 1150812159
3586.52/3596.06	o 1150812143
3586.52/3596.06	o 1150746607
3586.52/3596.06	o 1150681087
3586.52/3596.06	o 1150615551
3586.52/3596.06	o 1150582783
3586.52/3596.06	o 1149300607
3586.52/3596.06	o 1149239295
3586.52/3596.06	o 1149108223
3586.52/3596.06	o 1148698623
3586.52/3596.06	o 1148550127
3586.52/3596.06	o 1148320735
3586.52/3596.06	o 1140850687
3586.52/3596.06	o 1140785151
3586.52/3596.06	o 1140752383
3586.52/3596.06	o 1140751359
3586.52/3596.06	o 1140620287
3586.52/3596.06	o 1140603903
3586.52/3596.06	o 1140595711
3586.52/3596.06	o 1140591615
3586.52/3596.06	o 1140589567
3586.52/3596.06	o 1140589055
3586.52/3596.06	o 1140588799
3586.52/3596.06	o 1140588671
3586.52/3596.06	o 1140588607
3586.52/3596.06	o 1140588575
3586.52/3596.06	o 1140588559
3586.52/3596.06	o 1140588551
3586.52/3596.06	o 1140588547
3586.52/3596.06	o 1140588545
3586.52/3596.06	o 1140588544
3586.52/3596.06	o 1140587648
3586.52/3596.06	o 1140587520
3586.52/3596.06	o 1140457472
3586.52/3596.06	o 1140326399
3586.52/3596.06	o 1140195327
3586.52/3596.06	o 1140129791
3586.52/3596.06	o 1140097023
3586.52/3596.06	o 1139802111
3586.52/3596.06	o 1139769343
3586.52/3596.06	o 1139768320
3586.52/3596.06	o 1139768319
3586.52/3596.06	o 1139736575
3586.52/3596.06	o 1139637247
3586.52/3596.06	o 1139636735
3586.52/3596.06	o 1139620351
3586.52/3596.06	o 1139612159
3586.52/3596.06	o 1139608063
3586.52/3596.06	o 1139606015
3586.52/3596.06	o 1139605759
3586.52/3596.06	o 1139605631
3586.52/3596.06	o 1139605567
3586.52/3596.06	o 1139605535
3586.52/3596.06	o 1139605519
3586.52/3596.06	o 1139605511
3586.52/3596.06	o 1139605507
3586.52/3596.06	o 1139605505
3586.52/3596.06	o 1139605504
3586.52/3596.06	o 1139604480
3586.52/3596.06	o 1138753535
3586.52/3596.06	o 1138622463
3586.52/3596.06	o 1138491391
3586.52/3596.06	o 1138458623
3586.52/3596.06	o 1138457599
3586.52/3596.06	o 1138326527
3586.52/3596.06	o 1138260991
3586.52/3596.06	o 1138244607
3586.52/3596.06	o 1138236415
3586.52/3596.06	o 1138232319
3586.52/3596.06	o 1138230271
3586.52/3596.06	o 1138229759
3586.52/3596.06	o 1138229503
3586.52/3596.06	o 1138229375
3586.52/3596.06	o 1138229311
3586.52/3596.06	o 1138229279
3586.52/3596.06	o 1138229263
3586.52/3596.06	o 1138229255
3586.52/3596.06	o 1138229251
3586.52/3596.06	o 1138229249
3586.52/3596.06	o 1138229248
3586.52/3596.06	o 1138130944
3586.52/3596.06	o 1138129920
3586.52/3596.06	o 1138098175
3586.52/3596.06	o 1138032639
3586.52/3596.06	o 1138016255
3586.52/3596.06	o 1138008063
3586.52/3596.06	o 1137975295
3586.52/3596.06	o 1137971199
3586.52/3596.06	o 1137969151
3586.52/3596.06	o 1137968127
3586.52/3596.06	o 1137967615
3586.52/3596.06	o 1137967359
3586.52/3596.06	o 1137967231
3586.52/3596.06	o 1137967167
3586.52/3596.06	o 1137967135
3586.52/3596.06	o 1137967119
3586.52/3596.06	o 1137967111
3586.52/3596.06	o 1137967107
3586.52/3596.06	o 1137967105
3586.52/3596.06	o 1137967104
3586.52/3596.06	o 1136795648
3586.52/3596.06	o 1136664576
3586.52/3596.06	o 1136656384
3586.52/3596.06	o 1135869952
3586.52/3596.06	s SATISFIABLE
3586.52/3596.06	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 
3586.52/3596.06	c Done 1527.49s

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: 63931 MiB (61677 MiB free)
  memory of node 1: 64510 MiB (59717 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=336080, runsolver pid=336070

[startup+0.100778 s]*
/proc/loadavg: 0.18 0.12 0.10 9/268 336101
/proc/meminfo: memFree=124253080/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 681 603 264 0 134 0
[pid=336096] ppid=336080 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336096/stat : 336096 (timeout) S 336080 336096 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417527 8867840 257 134679101440 94191146352640 94191146387656 140731166131776 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94191148485072 94191148487204 94191176970240 140731166139433 140731166139549 140731166139549 140731166146535 0
/proc/336096/statm: 2165 257 233 9 0 87 0
[pid=336098] ppid=336096 vsize=36352 memory=23392 CPUtime=0.08 cores=0,2
/proc/336098/stat : 336098 (LS-MabSP) R 336096 336096 336013 0 -1 4194304 4399 0 0 0 7 1 0 0 20 0 1 0 61417528 37224448 5848 134679101440 4194304 15467897 140727740874576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49659904 140727740879932 140727740880035 140727740880035 140727740887021 0
/proc/336098/statm: 9088 5848 1057 2753 0 5741 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54944 KiB
Current children cumulated memory: 27144 KiB

[startup+0.205908 s]*
/proc/loadavg: 0.18 0.12 0.10 5/268 336101
/proc/meminfo: memFree=124218856/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 681 603 264 0 134 0
[pid=336096] ppid=336080 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336096/stat : 336096 (timeout) S 336080 336096 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417527 8867840 257 134679101440 94191146352640 94191146387656 140731166131776 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94191148485072 94191148487204 94191176970240 140731166139433 140731166139549 140731166139549 140731166146535 0
/proc/336096/statm: 2165 257 233 9 0 87 0
[pid=336098] ppid=336096 vsize=59088 memory=46096 CPUtime=0.18 cores=0,2
/proc/336098/stat : 336098 (LS-MabSP) R 336096 336096 336013 0 -1 4194304 10083 0 0 0 17 1 0 0 20 0 1 0 61417528 60506112 11524 134679101440 4194304 15467897 140727740874576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49659904 140727740879932 140727740880035 140727740880035 140727740887021 0
/proc/336098/statm: 14772 11524 1057 2753 0 11425 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 77680 KiB
Current children cumulated memory: 49848 KiB

[startup+0.306581 s]*
/proc/loadavg: 0.18 0.12 0.10 6/268 336101
/proc/meminfo: memFree=124183572/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 681 603 264 0 134 0
[pid=336096] ppid=336080 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336096/stat : 336096 (timeout) S 336080 336096 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417527 8867840 257 134679101440 94191146352640 94191146387656 140731166131776 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94191148485072 94191148487204 94191176970240 140731166139433 140731166139549 140731166139549 140731166146535 0
/proc/336096/statm: 2165 257 233 9 0 87 0
[pid=336098] ppid=336096 vsize=76732 memory=63784 CPUtime=0.28 cores=0,2
/proc/336098/stat : 336098 (LS-MabSP) R 336096 336096 336013 0 -1 4194304 14482 0 0 0 26 2 0 0 20 0 1 0 61417528 78573568 15946 134679101440 4194304 15467897 140727740874576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49659904 140727740879932 140727740880035 140727740880035 140727740887021 0
/proc/336098/statm: 19183 15946 1057 2753 0 15836 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 95324 KiB
Current children cumulated memory: 67536 KiB

[startup+0.700276 s]
/proc/loadavg: 0.18 0.12 0.10 6/268 336101
/proc/meminfo: memFree=124105172/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 681 603 264 0 134 0
[pid=336096] ppid=336080 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336096/stat : 336096 (timeout) S 336080 336096 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417527 8867840 257 134679101440 94191146352640 94191146387656 140731166131776 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94191148485072 94191148487204 94191176970240 140731166139433 140731166139549 140731166139549 140731166146535 0
/proc/336096/statm: 2165 257 233 9 0 87 0
[pid=336098] ppid=336096 vsize=150996 memory=137968 CPUtime=0.67 cores=0,2
/proc/336098/stat : 336098 (LS-MabSP) R 336096 336096 336013 0 -1 4194304 33064 0 0 0 62 5 0 0 20 0 1 0 61417528 154619904 34492 134679101440 4194304 15467897 140727740874576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49659904 140727740879932 140727740880035 140727740880035 140727740887021 0
/proc/336098/statm: 37749 34492 1057 2753 0 34402 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 169588 KiB
Current children cumulated memory: 141720 KiB

[startup+1.50022 s]
/proc/loadavg: 0.18 0.12 0.10 6/268 336101
/proc/meminfo: memFree=123928088/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 681 603 264 0 134 0
[pid=336096] ppid=336080 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336096/stat : 336096 (timeout) S 336080 336096 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417527 8867840 257 134679101440 94191146352640 94191146387656 140731166131776 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94191148485072 94191148487204 94191176970240 140731166139433 140731166139549 140731166139549 140731166146535 0
/proc/336096/statm: 2165 257 233 9 0 87 0
[pid=336098] ppid=336096 vsize=203432 memory=190828 CPUtime=1.46 cores=0,2
/proc/336098/stat : 336098 (LS-MabSP) R 336096 336096 336013 0 -1 4194304 46218 0 0 0 139 7 0 0 20 0 1 0 61417528 208314368 47707 134679101440 4194304 15467897 140727740874576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49659904 140727740879932 140727740880035 140727740880035 140727740887021 0
/proc/336098/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194580 KiB

[startup+3.10705 s]
/proc/loadavg: 0.49 0.19 0.12 6/268 336101
/proc/meminfo: memFree=123886348/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 681 603 264 0 134 0
[pid=336096] ppid=336080 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336096/stat : 336096 (timeout) S 336080 336096 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417527 8867840 257 134679101440 94191146352640 94191146387656 140731166131776 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94191148485072 94191148487204 94191176970240 140731166139433 140731166139549 140731166139549 140731166146535 0
/proc/336096/statm: 2165 257 233 9 0 87 0
[pid=336098] ppid=336096 vsize=203432 memory=190828 CPUtime=3.07 cores=0,2
/proc/336098/stat : 336098 (LS-MabSP) R 336096 336096 336013 0 -1 4194304 46218 0 0 0 299 8 0 0 20 0 1 0 61417528 208314368 47707 134679101440 4194304 15467897 140727740874576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49659904 140727740879932 140727740880035 140727740880035 140727740887021 0
/proc/336098/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194580 KiB

[startup+6.3002 s]
/proc/loadavg: 0.49 0.19 0.12 6/268 336103
/proc/meminfo: memFree=123852936/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 681 603 264 0 134 0
[pid=336096] ppid=336080 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336096/stat : 336096 (timeout) S 336080 336096 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417527 8867840 257 134679101440 94191146352640 94191146387656 140731166131776 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94191148485072 94191148487204 94191176970240 140731166139433 140731166139549 140731166139549 140731166146535 0
/proc/336096/statm: 2165 257 233 9 0 87 0
[pid=336098] ppid=336096 vsize=203432 memory=190828 CPUtime=6.25 cores=0,2
/proc/336098/stat : 336098 (LS-MabSP) R 336096 336096 336013 0 -1 4194304 46219 0 0 0 617 8 0 0 20 0 1 0 61417528 208314368 47707 134679101440 4194304 15467897 140727740874576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49659904 140727740879932 140727740880035 140727740880035 140727740887021 0
/proc/336098/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194580 KiB

[startup+12.7002 s]
/proc/loadavg: 0.77 0.25 0.14 6/268 336103
/proc/meminfo: memFree=123850280/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 681 603 264 0 134 0
[pid=336096] ppid=336080 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336096/stat : 336096 (timeout) S 336080 336096 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417527 8867840 257 134679101440 94191146352640 94191146387656 140731166131776 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94191148485072 94191148487204 94191176970240 140731166139433 140731166139549 140731166139549 140731166146535 0
/proc/336096/statm: 2165 257 233 9 0 87 0
[pid=336098] ppid=336096 vsize=203432 memory=190828 CPUtime=12.64 cores=0,2
/proc/336098/stat : 336098 (LS-MabSP) R 336096 336096 336013 0 -1 4194304 46219 0 0 0 1253 11 0 0 20 0 1 0 61417528 208314368 47707 134679101440 4194304 15467897 140727740874576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49659904 140727740879932 140727740880035 140727740880035 140727740887021 0
/proc/336098/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194580 KiB

[startup+25.5002 s]
/proc/loadavg: 1.56 0.45 0.21 6/268 336106
/proc/meminfo: memFree=123774900/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 681 603 264 0 134 0
[pid=336096] ppid=336080 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336096/stat : 336096 (timeout) S 336080 336096 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417527 8867840 257 134679101440 94191146352640 94191146387656 140731166131776 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94191148485072 94191148487204 94191176970240 140731166139433 140731166139549 140731166139549 140731166146535 0
/proc/336096/statm: 2165 257 233 9 0 87 0
[pid=336098] ppid=336096 vsize=203432 memory=190828 CPUtime=25.4 cores=0,2
/proc/336098/stat : 336098 (LS-MabSP) R 336096 336096 336013 0 -1 4194304 46219 0 0 0 2526 14 0 0 20 0 1 0 61417528 208314368 47707 134679101440 4194304 15467897 140727740874576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49659904 140727740879932 140727740880035 140727740880035 140727740887021 0
/proc/336098/statm: 50858 47707 1073 2753 0 47511 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194580 KiB

[startup+51.1067 s]
/proc/loadavg: 2.39 0.74 0.31 6/268 336109
/proc/meminfo: memFree=123734432/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 681 603 264 0 134 0
[pid=336096] ppid=336080 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/336096/stat : 336096 (timeout) S 336080 336096 336013 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417527 8867840 257 134679101440 94191146352640 94191146387656 140731166131776 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 1 0 0 94191148485072 94191148487204 94191176970240 140731166139433 140731166139549 140731166139549 140731166146535 0
/proc/336096/statm: 2165 257 233 9 0 87 0
[pid=336098] ppid=336096 vsize=203432 memory=190944 CPUtime=50.94 cores=0,2
/proc/336098/stat : 336098 (LS-MabSP) R 336096 336096 336013 0 -1 4194304 46572 0 0 0 5074 20 0 0 20 0 1 0 61417528 208314368 47736 134679101440 4194304 15467897 140727740874576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 49659904 140727740879932 140727740880035 140727740880035 140727740887021 0
/proc/336098/statm: 50858 47736 1089 2753 0 47511 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194696 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.27 0.51 6/268 336117
/proc/meminfo: memFree=123649904/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61417526 10170368 681 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0

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

/proc/336998/statm: 296675 246581 748 737 0 295763 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 1205292 KiB
Current children cumulated memory: 990052 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/264 337974
/proc/meminfo: memFree=121429080/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2768 CPUtime=1793.68 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 269 49271 0 0 0 0 178871 497 20 0 1 0 61417526 10170368 692 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 692 603 264 0 134 0
[pid=336995] ppid=336080 vsize=8660 memory=960 CPUtime=0 cores=0,2
/proc/336995/stat : 336995 (timeout) S 336080 336995 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61597328 8867840 240 134679101440 94539330887680 94539330922696 140733755781968 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94539333020112 94539333022244 94539350949888 140733755786228 140733755786397 140733755786397 140733755793383 0
/proc/336995/statm: 2165 240 216 9 0 87 0
[pid=336998] ppid=336995 vsize=1186700 memory=1022088 CPUtime=1659.5 cores=0,2
/proc/336998/stat : 336998 (Exact) R 336995 336995 336013 0 -1 4194304 154387 0 0 0 165892 58 0 0 20 0 1 0 61597328 1215180800 255522 134679101440 4194304 7210733 140727735651472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 25059328 140727735657488 140727735657638 140727735657638 140727735664624 0
/proc/336998/statm: 296675 255522 748 737 0 295763 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 1205292 KiB
Current children cumulated memory: 1025816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 337985
/proc/meminfo: memFree=121393752/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2768 CPUtime=1793.68 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 269 49271 0 0 0 0 178871 497 20 0 1 0 61417526 10170368 692 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 692 603 264 0 134 0
[pid=336995] ppid=336080 vsize=8660 memory=960 CPUtime=0 cores=0,2
/proc/336995/stat : 336995 (timeout) S 336080 336995 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61597328 8867840 240 134679101440 94539330887680 94539330922696 140733755781968 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94539333020112 94539333022244 94539350949888 140733755786228 140733755786397 140733755786397 140733755793383 0
/proc/336995/statm: 2165 240 216 9 0 87 0
[pid=336998] ppid=336995 vsize=1186700 memory=1056856 CPUtime=1719.33 cores=0,2
/proc/336998/stat : 336998 (Exact) R 336995 336995 336013 0 -1 4194304 154661 0 0 0 171875 58 0 0 20 0 1 0 61597328 1215180800 264214 134679101440 4194304 7210733 140727735651472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 25059328 140727735657488 140727735657638 140727735657638 140727735664624 0
/proc/336998/statm: 296675 264214 748 737 0 295763 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 1205292 KiB
Current children cumulated memory: 1060584 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 337996
/proc/meminfo: memFree=121371648/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2768 CPUtime=1793.68 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 269 49271 0 0 0 0 178871 497 20 0 1 0 61417526 10170368 692 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 692 603 264 0 134 0
[pid=336995] ppid=336080 vsize=8660 memory=960 CPUtime=0 cores=0,2
/proc/336995/stat : 336995 (timeout) S 336080 336995 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61597328 8867840 240 134679101440 94539330887680 94539330922696 140733755781968 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94539333020112 94539333022244 94539350949888 140733755786228 140733755786397 140733755786397 140733755793383 0
/proc/336995/statm: 2165 240 216 9 0 87 0
[pid=336998] ppid=336995 vsize=1186700 memory=1072220 CPUtime=1779.17 cores=0,2
/proc/336998/stat : 336998 (Exact) R 336995 336995 336013 0 -1 4194304 155096 0 0 0 177859 58 0 0 20 0 1 0 61597328 1215180800 268055 134679101440 4194304 7210733 140727735651472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 25059328 140727735657488 140727735657638 140727735657638 140727735664624 0
/proc/336998/statm: 296675 268055 748 737 0 295763 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 1205292 KiB
Current children cumulated memory: 1075948 KiB

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

# cumulated CPU time of all completed processes:  user=3581.03 s, system=5.57418 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.15 4.10 5/265 337998
/proc/meminfo: memFree=121371276/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2768 CPUtime=1793.68 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 269 49271 0 0 0 0 178871 497 20 0 1 0 61417526 10170368 692 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 692 603 264 0 134 0
[pid=336995] ppid=336080 vsize=8660 memory=960 CPUtime=0 cores=0,2
/proc/336995/stat : 336995 (timeout) S 336080 336995 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61597328 8867840 240 134679101440 94539330887680 94539330922696 140733755781968 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94539333020112 94539333022244 94539350949888 140733755786228 140733755786397 140733755786397 140733755793383 0
/proc/336995/statm: 2165 240 216 9 0 87 0
[pid=336998] ppid=336995 vsize=1186700 memory=1072220 CPUtime=1780.87 cores=0,2
/proc/336998/stat : 336998 (Exact) R 336995 336995 336013 0 -1 4194304 155096 0 0 0 178029 58 0 0 20 0 1 0 61597328 1215180800 268055 134679101440 4194304 7210733 140727735651472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 25059328 140727735657488 140727735657638 140727735657638 140727735664624 0
/proc/336998/statm: 296675 268055 748 737 0 295763 0
Current children cumulated CPU time: 3574.55 s
Current children cumulated vsize: 1205292 KiB
Current children cumulated memory: 1075948 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.15 4.10 5/265 337998
/proc/meminfo: memFree=121370988/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2768 CPUtime=1793.68 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 269 49271 0 0 0 0 178871 497 20 0 1 0 61417526 10170368 692 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 692 603 264 0 134 0
[pid=336995] ppid=336080 vsize=8660 memory=960 CPUtime=0 cores=0,2
/proc/336995/stat : 336995 (timeout) S 336080 336995 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61597328 8867840 240 134679101440 94539330887680 94539330922696 140733755781968 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94539333020112 94539333022244 94539350949888 140733755786228 140733755786397 140733755786397 140733755793383 0
/proc/336995/statm: 2165 240 216 9 0 87 0
[pid=336998] ppid=336995 vsize=1186700 memory=1072220 CPUtime=1787.25 cores=0,2
/proc/336998/stat : 336998 (Exact) R 336995 336995 336013 0 -1 4194304 155100 0 0 0 178667 58 0 0 20 0 1 0 61597328 1215180800 268055 134679101440 4194304 7210733 140727735651472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 25059328 140727735657488 140727735657638 140727735657638 140727735664624 0
/proc/336998/statm: 296675 268055 748 737 0 295763 0
Current children cumulated CPU time: 3580.93 s
Current children cumulated vsize: 1205292 KiB
Current children cumulated memory: 1075948 KiB

[startup+3593.6 s]
/proc/loadavg: 4.18 4.15 4.10 5/265 337998
/proc/meminfo: memFree=121370260/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2768 CPUtime=1793.68 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 269 49271 0 0 0 0 178871 497 20 0 1 0 61417526 10170368 692 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 692 603 264 0 134 0
[pid=336995] ppid=336080 vsize=8660 memory=960 CPUtime=0 cores=0,2
/proc/336995/stat : 336995 (timeout) S 336080 336995 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61597328 8867840 240 134679101440 94539330887680 94539330922696 140733755781968 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94539333020112 94539333022244 94539350949888 140733755786228 140733755786397 140733755786397 140733755793383 0
/proc/336995/statm: 2165 240 216 9 0 87 0
[pid=336998] ppid=336995 vsize=1186700 memory=1072220 CPUtime=1790.44 cores=0,2
/proc/336998/stat : 336998 (Exact) R 336995 336995 336013 0 -1 4194304 155230 0 0 0 178986 58 0 0 20 0 1 0 61597328 1215180800 268055 134679101440 4194304 7210733 140727735651472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 25059328 140727735657488 140727735657638 140727735657638 140727735664624 0
/proc/336998/statm: 296675 268055 748 737 0 295763 0
Current children cumulated CPU time: 3584.12 s
Current children cumulated vsize: 1205292 KiB
Current children cumulated memory: 1075948 KiB

[startup+3595.2 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 337999
/proc/meminfo: memFree=121370140/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2768 CPUtime=1793.68 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 269 49271 0 0 0 0 178871 497 20 0 1 0 61417526 10170368 692 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 692 603 264 0 134 0
[pid=336995] ppid=336080 vsize=8660 memory=960 CPUtime=0 cores=0,2
/proc/336995/stat : 336995 (timeout) S 336080 336995 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61597328 8867840 240 134679101440 94539330887680 94539330922696 140733755781968 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94539333020112 94539333022244 94539350949888 140733755786228 140733755786397 140733755786397 140733755793383 0
/proc/336995/statm: 2165 240 216 9 0 87 0
[pid=336998] ppid=336995 vsize=1186700 memory=1072220 CPUtime=1792.04 cores=0,2
/proc/336998/stat : 336998 (Exact) R 336995 336995 336013 0 -1 4194304 155231 0 0 0 179146 58 0 0 20 0 1 0 61597328 1215180800 268055 134679101440 4194304 7210733 140727735651472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 25059328 140727735657488 140727735657638 140727735657638 140727735664624 0
/proc/336998/statm: 296675 268055 748 737 0 295763 0
Current children cumulated CPU time: 3585.72 s
Current children cumulated vsize: 1205292 KiB
Current children cumulated memory: 1075948 KiB

[startup+3595.6 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 337999
/proc/meminfo: memFree=121370140/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2768 CPUtime=1793.68 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 269 49271 0 0 0 0 178871 497 20 0 1 0 61417526 10170368 692 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 692 603 264 0 134 0
[pid=336995] ppid=336080 vsize=8660 memory=960 CPUtime=0 cores=0,2
/proc/336995/stat : 336995 (timeout) S 336080 336995 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61597328 8867840 240 134679101440 94539330887680 94539330922696 140733755781968 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94539333020112 94539333022244 94539350949888 140733755786228 140733755786397 140733755786397 140733755793383 0
/proc/336995/statm: 2165 240 216 9 0 87 0
[pid=336998] ppid=336995 vsize=1186700 memory=1072220 CPUtime=1792.44 cores=0,2
/proc/336998/stat : 336998 (Exact) R 336995 336995 336013 0 -1 4194304 155231 0 0 0 179186 58 0 0 20 0 1 0 61597328 1215180800 268055 134679101440 4194304 7210733 140727735651472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 25059328 140727735657488 140727735657638 140727735657638 140727735664624 0
/proc/336998/statm: 296675 268055 748 737 0 295763 0
Current children cumulated CPU time: 3586.12 s
Current children cumulated vsize: 1205292 KiB
Current children cumulated memory: 1075948 KiB

[startup+3596 s]*
/proc/loadavg: 4.16 4.14 4.10 5/265 337999
/proc/meminfo: memFree=121370176/131524592 swapFree=131071996/131071996
[pid=336080] ppid=336070 vsize=9932 memory=2768 CPUtime=1793.68 cores=0,2
/proc/336080/stat : 336080 (Hybrid-LSMabSP+) S 336070 336080 336013 0 -1 4194304 269 49271 0 0 0 0 178871 497 20 0 1 0 61417526 10170368 692 134679101440 94744434495488 94744435574808 140734202865968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94744437673264 94744437720452 94744468885504 140734202872808 140734202872954 140734202872954 140734202879969 0
/proc/336080/statm: 2483 692 603 264 0 134 0
[pid=336995] ppid=336080 vsize=8660 memory=960 CPUtime=0 cores=0,2
/proc/336995/stat : 336995 (timeout) S 336080 336995 336013 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61597328 8867840 240 134679101440 94539330887680 94539330922696 140733755781968 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94539333020112 94539333022244 94539350949888 140733755786228 140733755786397 140733755786397 140733755793383 0
/proc/336995/statm: 2165 240 216 9 0 87 0
[pid=336998] ppid=336995 vsize=1186700 memory=1072220 CPUtime=1792.84 cores=0,2
/proc/336998/stat : 336998 (Exact) R 336995 336995 336013 0 -1 4194304 155231 0 0 0 179226 58 0 0 20 0 1 0 61597328 1215180800 268055 134679101440 4194304 7210733 140727735651472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 25059328 140727735657488 140727735657638 140727735657638 140727735664624 0
/proc/336998/statm: 296675 268055 748 737 0 295763 0
Current children cumulated CPU time: 3586.52 s
Current children cumulated vsize: 1205292 KiB
Current children cumulated memory: 1075948 KiB

Child status: 0

Real time (s): 3596.06
CPU time (s): 3586.61
CPU user time (s): 3581.03
CPU system time (s): 5.57418
CPU usage (%): 99.737
Max. virtual memory (cumulated for all children) (KiB): 1233352
Max. memory (cumulated for all children) (KiB): 1075948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.03
system time used= 5.57418
maximum resident set size= 1072220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207865
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= 149
involuntary context switches= 25102


# summary of solver processes directly reported to runsolver:
#   pid: 336080
#   total CPU time (s): 3586.61
#   total CPU user time (s): 3581.03
#   total CPU system time (s): 5.57418

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18637 second user time and 20.4615 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-08-06 14:43:23
IDJOB=4437006
IDBENCH=146783
IDSOLVER=3070
FILE ID=nodeC016/4437006-1722948203
RUNJOBID= nodeC016-1722948202-336023
SLURM_JOB_ID= 8258987
Free space on /tmp= 890080 MiB

SOLVER NAME= Hybrid-LSMabSP+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-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437006-1722948203/watcher-4437006-1722948203 -o /tmp/evaluation-result-4437006-1722948203/solver-4437006-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722948202-336023 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437006-1722948203.opb 3600 HOME 31000

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

MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133
RANDOM SEED=18592742

nodeC016.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		: 3720.021
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.92
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		: 3844.061
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	: 7006.47
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		: 3713.159
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.92
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		: 3629.230
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	: 7006.47
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		: 3710.488
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.92
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		: 3609.737
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	: 7006.47
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		: 3603.086
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.92
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		: 3802.316
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	: 7006.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524592 kB
MemFree:        124309812 kB
MemAvailable:   129741836 kB
Buffers:          337876 kB
Cached:          5930692 kB
SwapCached:            0 kB
Active:           788068 kB
Inactive:        5885084 kB
Active(anon):       1456 kB
Inactive(anon):   440848 kB
Active(file):     786612 kB
Inactive(file):  5444236 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             85888 kB
Writeback:            16 kB
AnonPages:        404392 kB
Mapped:            98964 kB
Shmem:             37720 kB
KReclaimable:      81956 kB
Slab:             175816 kB
SReclaimable:      81956 kB
SUnreclaim:        93860 kB
KernelStack:        3888 kB
PageTables:         9540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:     738652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29536 kB
HardwareCorrupted:     0 kB
AnonHugePages:    276480 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:      314068 kB
DirectMap2M:     9945088 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC016 at 2024-08-06 15:43:20