Trace number 4436603

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+CASHWMaxSATDisjCom 2024-07-11SAT1135869952 3584.95 3596.04

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM8990d9f8b403d84c2b7408cf78742133
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1126169600
Best CPU time to get the best result obtained on this benchmark2936.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

3584.90/3596.03	c Filename:instance-4436603-1722948629.opb, Cutoff_time:1798, memory_limit_gb:29976
3584.90/3596.03	c Not use presolve
3584.90/3596.03	c Use LS-small
3584.90/3596.03	o 1346371584
3584.90/3596.03	o 1342177280
3584.90/3596.03	o 1258291200
3584.90/3596.03	o 1241513984
3584.90/3596.03	o 1207959552
3584.90/3596.03	o 1158282244
3584.90/3596.03	o 1158282240
3584.90/3596.03	o 1157562367
3584.90/3596.03	o 1157038079
3584.90/3596.03	o 1156775935
3584.90/3596.03	o 1156759551
3584.90/3596.03	o 1156628479
3584.90/3596.03	o 1156595711
3584.90/3596.03	o 1156587519
3584.90/3596.03	o 1156583423
3584.90/3596.03	o 1156581375
3584.90/3596.03	o 1156580351
3584.90/3596.03	o 1156579839
3584.90/3596.03	o 1156579583
3584.90/3596.03	o 1156579455
3584.90/3596.03	o 1156579391
3584.90/3596.03	o 1156579359
3584.90/3596.03	o 1156579343
3584.90/3596.03	o 1156579335
3584.90/3596.03	o 1156579331
3584.90/3596.03	o 1156579329
3584.90/3596.03	o 1156579328
3584.90/3596.03	o 1156546560
3584.90/3596.03	o 1156481024
3584.90/3596.03	o 1155530751
3584.90/3596.03	o 1155497983
3584.90/3596.03	o 1155496959
3584.90/3596.03	o 1155334144
3584.90/3596.03	o 1155333120
3584.90/3596.03	o 1155333119
3584.90/3596.03	o 1154940927
3584.90/3596.03	o 1154908159
3584.90/3596.03	o 1154842623
3584.90/3596.03	o 1154841600
3584.90/3596.03	o 1153433535
3584.90/3596.03	o 1153433503
3584.90/3596.03	o 1153367967
3584.90/3596.03	o 1153366943
3584.90/3596.03	o 1153366431
3584.90/3596.03	o 1153366427
3584.90/3596.03	o 1151590399
3584.90/3596.03	o 1151589375
3584.90/3596.03	o 1151589119
3584.90/3596.03	o 1150812159
3584.90/3596.03	o 1150812143
3584.90/3596.03	o 1150746607
3584.90/3596.03	o 1150681087
3584.90/3596.03	o 1150615551
3584.90/3596.03	o 1150582783
3584.90/3596.03	o 1149300607
3584.90/3596.03	o 1149239295
3584.90/3596.03	o 1149108223
3584.90/3596.03	o 1148698623
3584.90/3596.03	o 1148550127
3584.90/3596.03	o 1148320735
3584.90/3596.03	o 1140850687
3584.90/3596.03	o 1140785151
3584.90/3596.03	o 1140752383
3584.90/3596.03	o 1140751359
3584.90/3596.03	o 1140620287
3584.90/3596.03	o 1140603903
3584.90/3596.03	o 1140595711
3584.90/3596.03	o 1140591615
3584.90/3596.03	o 1140589567
3584.90/3596.03	o 1140589055
3584.90/3596.03	o 1140588799
3584.90/3596.03	o 1140588671
3584.90/3596.03	o 1140588607
3584.90/3596.03	o 1140588575
3584.90/3596.03	o 1140588559
3584.90/3596.03	o 1140588551
3584.90/3596.03	o 1140588547
3584.90/3596.03	o 1140588545
3584.90/3596.03	o 1140588544
3584.90/3596.03	o 1140587648
3584.90/3596.03	o 1140587520
3584.90/3596.03	o 1140457472
3584.90/3596.03	o 1140326399
3584.90/3596.03	o 1140195327
3584.90/3596.03	o 1140129791
3584.90/3596.03	o 1140097023
3584.90/3596.03	o 1139802111
3584.90/3596.03	o 1139769343
3584.90/3596.03	o 1139768320
3584.90/3596.03	o 1139768319
3584.90/3596.03	o 1139736575
3584.90/3596.03	o 1139637247
3584.90/3596.03	o 1139636735
3584.90/3596.03	o 1139620351
3584.90/3596.03	o 1139612159
3584.90/3596.03	o 1139608063
3584.90/3596.03	o 1139606015
3584.90/3596.03	o 1139605759
3584.90/3596.03	o 1139605631
3584.90/3596.03	o 1139605567
3584.90/3596.03	o 1139605535
3584.90/3596.03	o 1139605519
3584.90/3596.03	o 1139605511
3584.90/3596.03	o 1139605507
3584.90/3596.03	o 1139605505
3584.90/3596.03	o 1139605504
3584.90/3596.03	o 1139604480
3584.90/3596.03	o 1138753535
3584.90/3596.03	o 1138622463
3584.90/3596.03	o 1138491391
3584.90/3596.03	o 1138458623
3584.90/3596.03	o 1138457599
3584.90/3596.03	o 1138326527
3584.90/3596.03	o 1138260991
3584.90/3596.03	o 1138244607
3584.90/3596.03	o 1138236415
3584.90/3596.03	o 1138232319
3584.90/3596.03	o 1138230271
3584.90/3596.03	o 1138229759
3584.90/3596.03	o 1138229503
3584.90/3596.03	o 1138229375
3584.90/3596.03	o 1138229311
3584.90/3596.03	o 1138229279
3584.90/3596.03	o 1138229263
3584.90/3596.03	o 1138229255
3584.90/3596.03	o 1138229251
3584.90/3596.03	o 1138229249
3584.90/3596.03	o 1138229248
3584.90/3596.03	o 1138130944
3584.90/3596.03	o 1138129920
3584.90/3596.03	o 1138098175
3584.90/3596.03	o 1138032639
3584.90/3596.03	o 1138016255
3584.90/3596.03	o 1138008063
3584.90/3596.03	o 1137975295
3584.90/3596.03	o 1137971199
3584.90/3596.03	o 1137969151
3584.90/3596.03	o 1137968127
3584.90/3596.03	o 1137967615
3584.90/3596.03	o 1137967359
3584.90/3596.03	o 1137967231
3584.90/3596.03	o 1137967167
3584.90/3596.03	o 1137967135
3584.90/3596.03	o 1137967119
3584.90/3596.03	o 1137967111
3584.90/3596.03	o 1137967107
3584.90/3596.03	o 1137967105
3584.90/3596.03	o 1137967104
3584.90/3596.03	o 1136795648
3584.90/3596.03	o 1136664576
3584.90/3596.03	o 1136656384
3584.90/3596.03	o 1135869952
3584.90/3596.03	s SATISFIABLE
3584.90/3596.03	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 x6639 -x6640 x6641 x6642 -x6643 x6644 x6645 x6646 -x6647 -x6648 -x6649 -x6650 x6651 
3584.90/3596.03	c Done 1535.58s

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436603-1722948629/watcher-4436603-1722948629 -o /tmp/evaluation-result-4436603-1722948629/solver-4436603-1722948629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722948202-322180 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436603-1722948629.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=322393, runsolver pid=322390
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.06 3.16 1.60 5/249 322397
/proc/meminfo: memFree=126149532/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 61459833 10170368 658 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 658 579 264 0 134 0
[pid=322396] ppid=322393 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/322396/stat : 322396 (timeout) S 322393 322396 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61459834 8867840 244 134679101440 94824987631616 94824987666632 140729794227184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824989764048 94824989766180 94825011634176 140729794229277 140729794229409 140729794229409 140729794236391 0
/proc/322396/statm: 2165 244 220 9 0 87 0
[pid=322397] ppid=322396 vsize=27604 memory=9100 CPUtime=0.09 cores=0,2
/proc/322397/stat : 322397 (CASHWMaxSAT-Dis) R 322396 322396 322170 0 -1 4194304 1675 0 0 0 9 0 0 0 20 0 1 0 61459834 28266496 2275 134679101440 4194304 14093885 140734531182128 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52375552 140734531183651 140734531183770 140734531183770 140734531190752 0
/proc/322397/statm: 6901 2275 750 2417 0 4003 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46196 KiB
Current children cumulated memory: 12708 KiB

[startup+0.214054 s]*
/proc/loadavg: 4.06 3.16 1.60 5/249 322397
/proc/meminfo: memFree=126147008/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 61459833 10170368 658 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 658 579 264 0 134 0
[pid=322396] ppid=322393 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/322396/stat : 322396 (timeout) S 322393 322396 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61459834 8867840 244 134679101440 94824987631616 94824987666632 140729794227184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824989764048 94824989766180 94825011634176 140729794229277 140729794229409 140729794229409 140729794236391 0
/proc/322396/statm: 2165 244 220 9 0 87 0
[pid=322397] ppid=322396 vsize=30572 memory=12000 CPUtime=0.21 cores=0,2
/proc/322397/stat : 322397 (CASHWMaxSAT-Dis) R 322396 322396 322170 0 -1 4194304 2423 0 0 0 21 0 0 0 20 0 1 0 61459834 31305728 3000 134679101440 4194304 14093885 140734531182128 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52375552 140734531183651 140734531183770 140734531183770 140734531190752 0
/proc/322397/statm: 7643 3000 750 2417 0 4745 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49164 KiB
Current children cumulated memory: 15608 KiB

[startup+0.314441 s]*
/proc/loadavg: 4.06 3.16 1.60 5/249 322397
/proc/meminfo: memFree=126144152/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 61459833 10170368 658 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 658 579 264 0 134 0
[pid=322396] ppid=322393 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/322396/stat : 322396 (timeout) S 322393 322396 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61459834 8867840 244 134679101440 94824987631616 94824987666632 140729794227184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824989764048 94824989766180 94825011634176 140729794229277 140729794229409 140729794229409 140729794236391 0
/proc/322396/statm: 2165 244 220 9 0 87 0
[pid=322397] ppid=322396 vsize=33232 memory=14640 CPUtime=0.3 cores=0,2
/proc/322397/stat : 322397 (CASHWMaxSAT-Dis) R 322396 322396 322170 0 -1 4194304 3087 0 0 0 30 0 0 0 20 0 1 0 61459834 34029568 3660 134679101440 4194304 14093885 140734531182128 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52375552 140734531183651 140734531183770 140734531183770 140734531190752 0
/proc/322397/statm: 8308 3660 750 2417 0 5410 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51824 KiB
Current children cumulated memory: 18248 KiB

[startup+0.70047 s]
/proc/loadavg: 4.06 3.16 1.60 5/249 322397
/proc/meminfo: memFree=126136832/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 61459833 10170368 658 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 658 579 264 0 134 0
[pid=322396] ppid=322393 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/322396/stat : 322396 (timeout) S 322393 322396 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61459834 8867840 244 134679101440 94824987631616 94824987666632 140729794227184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824989764048 94824989766180 94825011634176 140729794229277 140729794229409 140729794229409 140729794236391 0
/proc/322396/statm: 2165 244 220 9 0 87 0
[pid=322397] ppid=322396 vsize=44028 memory=25464 CPUtime=0.67 cores=0,2
/proc/322397/stat : 322397 (CASHWMaxSAT-Dis) R 322396 322396 322170 0 -1 4194304 5773 0 0 0 67 0 0 0 20 0 1 0 61459834 45084672 6366 134679101440 4194304 14093885 140734531182128 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52375552 140734531183651 140734531183770 140734531183770 140734531190752 0
/proc/322397/statm: 11007 6366 750 2417 0 8109 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62620 KiB
Current children cumulated memory: 29072 KiB

[startup+1.50049 s]
/proc/loadavg: 4.06 3.16 1.60 5/249 322397
/proc/meminfo: memFree=126118996/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 61459833 10170368 658 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 658 579 264 0 134 0
[pid=322396] ppid=322393 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/322396/stat : 322396 (timeout) S 322393 322396 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61459834 8867840 244 134679101440 94824987631616 94824987666632 140729794227184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824989764048 94824989766180 94825011634176 140729794229277 140729794229409 140729794229409 140729794236391 0
/proc/322396/statm: 2165 244 220 9 0 87 0
[pid=322397] ppid=322396 vsize=107012 memory=84596 CPUtime=1.47 cores=0,2
/proc/322397/stat : 322397 (CASHWMaxSAT-Dis) R 322396 322396 322170 0 -1 4194304 19571 0 0 0 144 3 0 0 20 0 1 0 61459834 109580288 21149 134679101440 4194304 14093885 140734531182128 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52375552 140734531183651 140734531183770 140734531183770 140734531190752 0
/proc/322397/statm: 26753 21149 798 2417 0 23855 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 125604 KiB
Current children cumulated memory: 88204 KiB

[startup+3.11366 s]
/proc/loadavg: 4.06 3.16 1.60 5/249 322397
/proc/meminfo: memFree=125875172/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 61459833 10170368 658 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 658 579 264 0 134 0
[pid=322396] ppid=322393 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/322396/stat : 322396 (timeout) S 322393 322396 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61459834 8867840 244 134679101440 94824987631616 94824987666632 140729794227184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824989764048 94824989766180 94825011634176 140729794229277 140729794229409 140729794229409 140729794236391 0
/proc/322396/statm: 2165 244 220 9 0 87 0
[pid=322397] ppid=322396 vsize=328556 memory=293176 CPUtime=3.08 cores=0,2
/proc/322397/stat : 322397 (CASHWMaxSAT-Dis) R 322396 322396 322170 0 -1 4194304 39882 0 0 0 297 11 0 0 20 0 1 0 61459834 336441344 73294 134679101440 4194304 14093885 140734531182128 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52375552 140734531183651 140734531183770 140734531183770 140734531190752 0
/proc/322397/statm: 82139 73294 1038 2417 0 79241 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 347148 KiB
Current children cumulated memory: 296784 KiB

[startup+6.30047 s]
/proc/loadavg: 4.06 3.18 1.61 5/249 322398
/proc/meminfo: memFree=125664584/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 61459833 10170368 658 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 658 579 264 0 134 0
[pid=322396] ppid=322393 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/322396/stat : 322396 (timeout) S 322393 322396 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61459834 8867840 244 134679101440 94824987631616 94824987666632 140729794227184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824989764048 94824989766180 94825011634176 140729794229277 140729794229409 140729794229409 140729794236391 0
/proc/322396/statm: 2165 244 220 9 0 87 0
[pid=322397] ppid=322396 vsize=530236 memory=505292 CPUtime=6.26 cores=0,2
/proc/322397/stat : 322397 (CASHWMaxSAT-Dis) R 322396 322396 322170 0 -1 4194304 58892 0 0 0 608 18 0 0 20 0 1 0 61459834 542961664 126323 134679101440 4194304 14093885 140734531182128 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52375552 140734531183651 140734531183770 140734531183770 140734531190752 0
/proc/322397/statm: 132559 126323 1038 2417 0 129661 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 548828 KiB
Current children cumulated memory: 508900 KiB

[startup+12.7005 s]
/proc/loadavg: 4.05 3.19 1.62 5/249 322398
/proc/meminfo: memFree=124403940/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 61459833 10170368 658 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 658 579 264 0 134 0
[pid=322396] ppid=322393 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/322396/stat : 322396 (timeout) S 322393 322396 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61459834 8867840 244 134679101440 94824987631616 94824987666632 140729794227184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824989764048 94824989766180 94825011634176 140729794229277 140729794229409 140729794229409 140729794236391 0
/proc/322396/statm: 2165 244 220 9 0 87 0
[pid=322397] ppid=322396 vsize=1785056 memory=1600356 CPUtime=12.64 cores=0,2
/proc/322397/stat : 322397 (CASHWMaxSAT-Dis) R 322396 322396 322170 0 -1 4194304 133305 0 0 0 1215 49 0 0 20 0 1 0 61459834 1827897344 400089 134679101440 4194304 14093885 140734531182128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52375552 140734531183651 140734531183770 140734531183770 140734531190752 0
/proc/322397/statm: 446264 400089 1038 2417 0 443366 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1803648 KiB
Current children cumulated memory: 1603964 KiB

[startup+25.5005 s]
/proc/loadavg: 4.04 3.23 1.66 5/249 322400
/proc/meminfo: memFree=124334280/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 61459833 10170368 658 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 658 579 264 0 134 0
[pid=322396] ppid=322393 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/322396/stat : 322396 (timeout) S 322393 322396 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61459834 8867840 244 134679101440 94824987631616 94824987666632 140729794227184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824989764048 94824989766180 94825011634176 140729794229277 140729794229409 140729794229409 140729794236391 0
/proc/322396/statm: 2165 244 220 9 0 87 0
[pid=322397] ppid=322396 vsize=2088272 memory=1840144 CPUtime=25.4 cores=0,2
/proc/322397/stat : 322397 (CASHWMaxSAT-Dis) R 322396 322396 322170 0 -1 4194304 149747 0 0 0 2480 60 0 0 20 0 1 0 61459834 2138390528 460036 134679101440 4194304 14093885 140734531182128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52375552 140734531183651 140734531183770 140734531183770 140734531190752 0
/proc/322397/statm: 522068 460036 1038 2417 0 519170 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2106864 KiB
Current children cumulated memory: 1843752 KiB

[startup+51.1141 s]
/proc/loadavg: 4.09 3.31 1.73 5/249 322404
/proc/meminfo: memFree=124346376/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 234 98 0 0 0 0 0 0 20 0 1 0 61459833 10170368 658 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 658 579 264 0 134 0
[pid=322396] ppid=322393 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/322396/stat : 322396 (timeout) S 322393 322396 322170 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61459834 8867840 244 134679101440 94824987631616 94824987666632 140729794227184 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824989764048 94824989766180 94825011634176 140729794229277 140729794229409 140729794229409 140729794236391 0
/proc/322396/statm: 2165 244 220 9 0 87 0
[pid=322397] ppid=322396 vsize=2082408 memory=1799524 CPUtime=50.93 cores=0,2
/proc/322397/stat : 322397 (CASHWMaxSAT-Dis) R 322396 322396 322170 0 -1 4194304 168433 0 0 0 5019 74 0 0 20 0 1 0 61459834 2132385792 449881 134679101440 4194304 14093885 140734531182128 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52375552 140734531183651 140734531183770 140734531183770 140734531190752 0
/proc/322397/statm: 520602 449881 1070 2417 0 517704 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2101000 KiB
Current children cumulated memory: 1803132 KiB

[startup+102.301 s]
/proc/loadavg: 4.10 3.44 1.86 5/249 322413
/proc/meminfo: memFree=124322048/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2632 CPUtime=0 cores=0,2

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

/proc/323293/statm: 50858 47735 1089 2753 0 47511 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/248 324881
/proc/meminfo: memFree=126293392/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2732 CPUtime=1791.93 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 264 188352 0 0 0 0 179101 92 20 0 1 0 61459833 10170368 683 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 683 594 264 0 134 0
[pid=323292] ppid=322393 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/323292/stat : 323292 (timeout) S 322393 323292 322170 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61639635 8867840 237 134679101440 94035054686208 94035054721224 140730700496896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94035056818640 94035056820772 94035068870656 140730700506157 140730700506273 140730700506273 140730700513255 0
/proc/323292/statm: 2165 237 212 9 0 87 0
[pid=323293] ppid=323292 vsize=203432 memory=190940 CPUtime=1659.68 cores=0,2
/proc/323293/stat : 323293 (LS-MabSP) R 323292 323292 322170 0 -1 4194304 49135 0 0 0 165488 480 0 0 20 0 1 0 61639635 208314368 47735 134679101440 4194304 15467897 140732692918080 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53141504 140732692919360 140732692919463 140732692919463 140732692926445 0
/proc/323293/statm: 50858 47735 1089 2753 0 47511 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.08 5/246 324891
/proc/meminfo: memFree=126273020/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2732 CPUtime=1791.93 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 264 188352 0 0 0 0 179101 92 20 0 1 0 61459833 10170368 683 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 683 594 264 0 134 0
[pid=323292] ppid=322393 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/323292/stat : 323292 (timeout) S 322393 323292 322170 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61639635 8867840 237 134679101440 94035054686208 94035054721224 140730700496896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94035056818640 94035056820772 94035068870656 140730700506157 140730700506273 140730700506273 140730700513255 0
/proc/323292/statm: 2165 237 212 9 0 87 0
[pid=323293] ppid=323292 vsize=203432 memory=190940 CPUtime=1719.48 cores=0,2
/proc/323293/stat : 323293 (LS-MabSP) R 323292 323292 322170 0 -1 4194304 49224 0 0 0 171448 500 0 0 20 0 1 0 61639635 208314368 47735 134679101440 4194304 15467897 140732692918080 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53141504 140732692919360 140732692919463 140732692919463 140732692926445 0
/proc/323293/statm: 50858 47735 1089 2753 0 47511 0
Current children cumulated CPU time: 3511.41 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194620 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.15 4.09 5/246 324902
/proc/meminfo: memFree=126262548/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2732 CPUtime=1791.93 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 264 188352 0 0 0 0 179101 92 20 0 1 0 61459833 10170368 683 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 683 594 264 0 134 0
[pid=323292] ppid=322393 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/323292/stat : 323292 (timeout) S 322393 323292 322170 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61639635 8867840 237 134679101440 94035054686208 94035054721224 140730700496896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94035056818640 94035056820772 94035068870656 140730700506157 140730700506273 140730700506273 140730700513255 0
/proc/323292/statm: 2165 237 212 9 0 87 0
[pid=323293] ppid=323292 vsize=203432 memory=190940 CPUtime=1779.29 cores=0,2
/proc/323293/stat : 323293 (LS-MabSP) R 323292 323292 322170 0 -1 4194304 49313 0 0 0 177411 518 0 0 20 0 1 0 61639635 208314368 47735 134679101440 4194304 15467897 140732692918080 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53141504 140732692919360 140732692919463 140732692919463 140732692926445 0
/proc/323293/statm: 50858 47735 1089 2753 0 47511 0
Current children cumulated CPU time: 3571.22 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194620 KiB

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

# cumulated CPU time of all completed processes:  user=3578.79 s, system=6.15953 s

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

[startup+3584 s]*
/proc/loadavg: 4.26 4.15 4.09 5/246 324902
/proc/meminfo: memFree=126262544/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2732 CPUtime=1791.93 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 264 188352 0 0 0 0 179101 92 20 0 1 0 61459833 10170368 683 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 683 594 264 0 134 0
[pid=323292] ppid=322393 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/323292/stat : 323292 (timeout) S 322393 323292 322170 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61639635 8867840 237 134679101440 94035054686208 94035054721224 140730700496896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94035056818640 94035056820772 94035068870656 140730700506157 140730700506273 140730700506273 140730700513255 0
/proc/323292/statm: 2165 237 212 9 0 87 0
[pid=323293] ppid=323292 vsize=203432 memory=190940 CPUtime=1781 cores=0,2
/proc/323293/stat : 323293 (LS-MabSP) R 323292 323292 322170 0 -1 4194304 49313 0 0 0 177581 519 0 0 20 0 1 0 61639635 208314368 47735 134679101440 4194304 15467897 140732692918080 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53141504 140732692919360 140732692919463 140732692919463 140732692926445 0
/proc/323293/statm: 50858 47735 1089 2753 0 47511 0
Current children cumulated CPU time: 3572.93 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194620 KiB

[startup+3590.4 s]
/proc/loadavg: 4.24 4.15 4.09 5/249 324909
/proc/meminfo: memFree=126262268/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2732 CPUtime=1791.93 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 264 188352 0 0 0 0 179101 92 20 0 1 0 61459833 10170368 683 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 683 594 264 0 134 0
[pid=323292] ppid=322393 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/323292/stat : 323292 (timeout) S 322393 323292 322170 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61639635 8867840 237 134679101440 94035054686208 94035054721224 140730700496896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94035056818640 94035056820772 94035068870656 140730700506157 140730700506273 140730700506273 140730700513255 0
/proc/323292/statm: 2165 237 212 9 0 87 0
[pid=323293] ppid=323292 vsize=203432 memory=190940 CPUtime=1787.36 cores=0,2
/proc/323293/stat : 323293 (LS-MabSP) R 323292 323292 322170 0 -1 4194304 49313 0 0 0 178216 520 0 0 20 0 1 0 61639635 208314368 47735 134679101440 4194304 15467897 140732692918080 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53141504 140732692919360 140732692919463 140732692919463 140732692926445 0
/proc/323293/statm: 50858 47735 1089 2753 0 47511 0
Current children cumulated CPU time: 3579.29 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194620 KiB

[startup+3593.6 s]
/proc/loadavg: 4.22 4.15 4.09 5/249 324909
/proc/meminfo: memFree=126262288/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2732 CPUtime=1791.93 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 264 188352 0 0 0 0 179101 92 20 0 1 0 61459833 10170368 683 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 683 594 264 0 134 0
[pid=323292] ppid=322393 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/323292/stat : 323292 (timeout) S 322393 323292 322170 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61639635 8867840 237 134679101440 94035054686208 94035054721224 140730700496896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94035056818640 94035056820772 94035068870656 140730700506157 140730700506273 140730700506273 140730700513255 0
/proc/323292/statm: 2165 237 212 9 0 87 0
[pid=323293] ppid=323292 vsize=203432 memory=190940 CPUtime=1790.56 cores=0,2
/proc/323293/stat : 323293 (LS-MabSP) R 323292 323292 322170 0 -1 4194304 49313 0 0 0 178535 521 0 0 20 0 1 0 61639635 208314368 47735 134679101440 4194304 15467897 140732692918080 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53141504 140732692919360 140732692919463 140732692919463 140732692926445 0
/proc/323293/statm: 50858 47735 1089 2753 0 47511 0
Current children cumulated CPU time: 3582.49 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194620 KiB

[startup+3595.2 s]
/proc/loadavg: 4.22 4.15 4.09 5/249 324909
/proc/meminfo: memFree=126262308/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2732 CPUtime=1791.93 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 264 188352 0 0 0 0 179101 92 20 0 1 0 61459833 10170368 683 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 683 594 264 0 134 0
[pid=323292] ppid=322393 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/323292/stat : 323292 (timeout) S 322393 323292 322170 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61639635 8867840 237 134679101440 94035054686208 94035054721224 140730700496896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94035056818640 94035056820772 94035068870656 140730700506157 140730700506273 140730700506273 140730700513255 0
/proc/323292/statm: 2165 237 212 9 0 87 0
[pid=323293] ppid=323292 vsize=203432 memory=190940 CPUtime=1792.15 cores=0,2
/proc/323293/stat : 323293 (LS-MabSP) R 323292 323292 322170 0 -1 4194304 49313 0 0 0 178694 521 0 0 20 0 1 0 61639635 208314368 47735 134679101440 4194304 15467897 140732692918080 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53141504 140732692919360 140732692919463 140732692919463 140732692926445 0
/proc/323293/statm: 50858 47735 1089 2753 0 47511 0
Current children cumulated CPU time: 3584.08 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194620 KiB

[startup+3595.6 s]
/proc/loadavg: 4.22 4.15 4.09 5/249 324909
/proc/meminfo: memFree=126262308/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2732 CPUtime=1791.93 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 264 188352 0 0 0 0 179101 92 20 0 1 0 61459833 10170368 683 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 683 594 264 0 134 0
[pid=323292] ppid=322393 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/323292/stat : 323292 (timeout) S 322393 323292 322170 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61639635 8867840 237 134679101440 94035054686208 94035054721224 140730700496896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94035056818640 94035056820772 94035068870656 140730700506157 140730700506273 140730700506273 140730700513255 0
/proc/323292/statm: 2165 237 212 9 0 87 0
[pid=323293] ppid=323292 vsize=203432 memory=190940 CPUtime=1792.55 cores=0,2
/proc/323293/stat : 323293 (LS-MabSP) R 323292 323292 322170 0 -1 4194304 49313 0 0 0 178734 521 0 0 20 0 1 0 61639635 208314368 47735 134679101440 4194304 15467897 140732692918080 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53141504 140732692919360 140732692919463 140732692919463 140732692926445 0
/proc/323293/statm: 50858 47735 1089 2753 0 47511 0
Current children cumulated CPU time: 3584.48 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194620 KiB

[startup+3596 s]*
/proc/loadavg: 4.20 4.15 4.09 5/249 324910
/proc/meminfo: memFree=126262296/131655788 swapFree=131071996/131071996
[pid=322393] ppid=322390 vsize=9932 memory=2732 CPUtime=1791.93 cores=0,2
/proc/322393/stat : 322393 (Hybrid-LSMabSP+) S 322390 322393 322170 0 -1 4194304 264 188352 0 0 0 0 179101 92 20 0 1 0 61459833 10170368 683 134679101440 94818809810944 94818810890264 140735957772720 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94818812988720 94818813035908 94818833731584 140735957775314 140735957775473 140735957775473 140735957782484 0
/proc/322393/statm: 2483 683 594 264 0 134 0
[pid=323292] ppid=322393 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/323292/stat : 323292 (timeout) S 322393 323292 322170 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61639635 8867840 237 134679101440 94035054686208 94035054721224 140730700496896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94035056818640 94035056820772 94035068870656 140730700506157 140730700506273 140730700506273 140730700513255 0
/proc/323292/statm: 2165 237 212 9 0 87 0
[pid=323293] ppid=323292 vsize=203432 memory=190940 CPUtime=1792.97 cores=0,2
/proc/323293/stat : 323293 (LS-MabSP) R 323292 323292 322170 0 -1 4194304 49313 0 0 0 178775 522 0 0 20 0 1 0 61639635 208314368 47735 134679101440 4194304 15467897 140732692918080 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53141504 140732692919360 140732692919463 140732692919463 140732692926445 0
/proc/323293/statm: 50858 47735 1089 2753 0 47511 0
Current children cumulated CPU time: 3584.9 s
Current children cumulated vsize: 222024 KiB
Current children cumulated memory: 194620 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3584.95
CPU user time (s): 3578.79
CPU system time (s): 6.15953
CPU usage (%): 99.6915
Max. virtual memory (cumulated for all children) (KiB): 2444876
Max. memory (cumulated for all children) (KiB): 2045712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.79
system time used= 6.15953
maximum resident set size= 2049988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 292
involuntary context switches= 24501


# summary of solver processes directly reported to runsolver:
#   pid: 322393
#   total CPU time (s): 3584.95
#   total CPU user time (s): 3578.79
#   total CPU system time (s): 6.15953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8203 second user time and 39.1845 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-08-06 14:50:29
IDJOB=4436603
IDBENCH=146783
IDSOLVER=3069
FILE ID=nodeC010/4436603-1722948629
RUNJOBID= nodeC010-1722948202-322180
SLURM_JOB_ID= 8258998
Free space on /tmp= 723696 MiB

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

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

MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133
RANDOM SEED=1957872260

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1515.705
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3673.820
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.125
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.271
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3672.308
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3579.692
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.269
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.276
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126157268 kB
MemAvailable:   129478744 kB
Buffers:          331404 kB
Cached:          3842548 kB
SwapCached:            0 kB
Active:           581740 kB
Inactive:        4436688 kB
Active(anon):       2012 kB
Inactive(anon):   888348 kB
Active(file):     579728 kB
Inactive(file):  3548340 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             31200 kB
Writeback:             0 kB
AnonPages:        841512 kB
Mapped:           112064 kB
Shmem:             45888 kB
KReclaimable:      66876 kB
Slab:             152352 kB
SReclaimable:      66876 kB
SUnreclaim:        85476 kB
KernelStack:        3968 kB
PageTables:        11156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1238064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            23488 kB
HardwareCorrupted:     0 kB
AnonHugePages:    600064 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:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723668 MiB
End job on nodeC010 at 2024-08-06 15:50:25