Trace number 4497727

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-NuPBODeepOptS-ExactPRnols 2025-06-02SAT20 3587.5 3596.21

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM2f5de9b63d0a2988dce846045b262c40
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 benchmark20
Best CPU time to get the best result obtained on this benchmark5.76415
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
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 

3587.46/3596.18	c Filename:instance-4497727-1751473856.opb, Cutoff_time:2398, memory_limit_gb:500000
3587.46/3596.18	c Scip time: 1199
3587.46/3596.18	c Use Presolve
3587.46/3596.18	c Parse finsih
3587.46/3596.18	c Start Presolve
3587.46/3596.18	c After Reduce Vars: 5494 Clauses: 19922 Top clause weight: 609 Hard Clauses: 19314
3587.46/3596.18	c Use LS-small
3587.46/3596.18	c Use postsolve
3587.46/3596.18	o 23
3587.46/3596.18	c Use postsolve
3587.46/3596.18	o 22
3587.46/3596.18	c Use postsolve
3587.46/3596.18	o 21
3587.46/3596.18	c Use postsolve
3587.46/3596.18	o 20
3587.46/3596.18	s SATISFIABLE
3587.46/3596.18	v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 -x1061 -x1088 -x10 -x1115 -x13 -x1127 -x16 -x1139 x19 -x1151 -x22 -x1163 -x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 x40 -x1235 -x43 -x1247 -x46 -x1259 x49 -x1271 -x52 -x1283 -x55 -x1295 -x58 -x1307 -x61 -x1319 -x64 -x1331 x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 -x1388 -x1390 -x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451 -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 x1549 x1551 -x1556 -x1558 -x1563 -x1565 -x1570 -x1572 -x1577 -x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 -x1639 -x1666 -x1693 -x1720 -x1747 -x1774 -x186 -x1801 -x189 -x1813 -x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 -x1873 -x207 -x1885 -x1897 -x212 -x1909 -x215 -x1921 -x1933 -x220 -x1945 x223 x1957 -x226 -x1969 -x229 -x1981 -x232 -x1993 -x2005 -x237 -x2017 -x240 -x2029 -x243 -x2041 -x2053 -x2055 -x2060 -x2062 x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102 -x2104 -x2109 -x2111 -x2116 -x2118 -x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160 -x2165 -x2167 -x2172 -x2174 -x2179 -x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221 -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279 -x2284 -x2286 -x2291 -x2293 -x2298 -x2356 -x2414 -x2472 -x2530 -x2588 -x2646 -x2704 -x2762 -x362 -x2789 -x365 -x2816 -x368 -x2843 -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400 -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 -x3383 -x419 -x3410 -x422 -x3437 -x3464 x427 -x3491 -x3518 -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 x3880 x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4118 -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 -x4343 -x4348 x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 -x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 -x4428 -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598 -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 -x4729 -x4756 -x4783 -x4810 -x709 -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 -x4957 -x735 -x4969 -x4981 -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 -x5161 -x5163 -x5168 -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 -x5229 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5331 -x5343 -x5355 -x5367 -x5379 -x5391 -x5396 -x5401 -x5406 -x5411 -x875 -x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 x5461 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 -x82 -x81 -x83 -x85 -x84 -x86 -x88 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 x151 x150 x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 -x205 -x206 -x208 -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 x222 x224 -x225 -x227 -x228 -x230 -x231 -x233 -x234 -x235 -x236 -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 x507 x506 x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x708 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x788 -x787 -x789 -x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 x808 x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x821 -x822 -x824 -x823 -x825 -x826 -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 -x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 -x889 -x890 -x892 -x893 -x894 -x895 -x896 x897 x898 -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 -x858 -x859 -x860 -x861 -x862 -x863 -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 -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 -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 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 -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 -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 -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 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1368 -x1370 -x1371 -x1372 -x1373 -x1375 x1377 -x1378 x1379 -x1380 x1382 x1384 -x1385 -x1386 -x1387 -x1389 -x1391 -x1392 -x1393 -x1394 x1396 x1398 -x1399 -x1400 -x1401 -x1403 -x1405 -x1406 -x1407 -x1408 x1410 -x1412 -x1413 -x1414 -x1415 x1417 -x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 x1431 x1433 -x1434 -x1435 x1436 -x1438 -x1440 -x1441 -x1442 -x1443 -x1445 -x1447 -x1448 -x1449 -x1450 x1452 -x1454 -x1455 -x1456 -x1457 x1459 x1461 -x1462 -x1463 -x1464 -x1466 -x1468 -x1469 -x1470 -x1471 -x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1485 x1487 -x1489 -x1490 -x1491 -x1492 x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 -x1508 -x1510 -x1511 -x1512 -x1513 x1515 x1517 -x1518 x1519 -x1520 -x1522 -x1524 -x1525 -x1526 -x1527 x1529 x1531 -x1532 -x1533 -x1534 x1536 -x1538 -x1539 -x1540 -x1541 -x1543 -x1545 -x1546 -x1547 -x1548 x1550 x1552 -x1553 x1554 -x1555 -x1557 -x1559 -x1560 -x1561 -x1562 x1564 -x1566 -x1567 -x1568 -x1569 x1571 -x1573 -x1574 -x1575 -x1576 x1578 -x1580 -x1581 -x1582 -x1583 -x1585 -x1587 -x1588 -x1589 -x1590 x1592 -x1594 -x1595 -x1596 -x1597 -x1599 -x1601 -x1602 -x1603 -x1604 x1606 -x1608 -x1609 -x1610 -x1611 -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 -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 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 -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 -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 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 -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 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 -x2061 -x2063 -x2064 -x2065 -x2066 x2068 x2070 -x2071 x2072 -x2073 -x2075 -x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096 -x2098 -x2099 -x2100 -x2101 x2103 x2105 -x2106 x2107 -x2108 -x2110 -x2112 -x2113 -x2114 -x2115 -x2117 -x2119 -x2120 -x2121 -x2122 -x2124 -x2126 -x2127 -x2128 -x2129 x2131 x2133 -x2134 x2135 -x2136 -x2138 -x2140 -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 -x2164 x2166 -x2168 -x2169 -x2170 -x2171 x2173 -x2175 -x2176 -x2177 -x2178 -x2180 -x2182 -x2183 -x2184 -x2185 x2187 -x2189 -x2190 -x2191 -x2192 -x2194 -x2196 -x2197 -x2198 -x2199 x2201 -x2203 -x2204 -x2205 -x2206 x2208 -x2210 -x2211 -x2212 -x2213 x2215 -x2217 -x2218 -x2219 -x2220 -x2222 -x2224 -x2225 -x2226 -x2227 -x2229 -x2231 -x2232 -x2233 -x2234 x2236 x2238 -x2239 -x2240 -x2241 x2243 x2245 -x2246 -x2247 -x2248 x2250 -x2252 -x2253 -x2254 -x2255 -x2257 -x2259 -x2260 -x2261 -x2262 x2264 x2266 -x2267 -x2268 -x2269 -x2271 -x2273 -x2274 -x2275 -x2276 x2278 -x2280 -x2281 -x2282 -x2283 x2285 x2287 -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 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 -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 -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 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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3573 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3629 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 x3797 x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 -x3809 -x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3881 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3951 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4117 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4131 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4173 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 x4229 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4271 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4299 -x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 x4349 -x4350 -x4351 -x4352 x4354 x4355 -x4356 -x4357 -x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 -x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4429 -x4430 -x4431 -x4432 -x4434 -x4435 -x4436 -x4437 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 x4464 x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 x4524 -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 x4604 -x4605 x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631 -x4632 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 x4644 -x4645 -x4646 -x4647 -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 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 -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 -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 -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 -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 -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 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5042 -x5043 -x5044 x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 x5092 -x5093 -x5094 x5095 x5097 -x5099 -x5100 -x5101 -x5102 x5104 x5106 -x5107 x5108 -x5109 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 -x5120 -x5121 -x5122 -x5123 -x5125 -x5127 -x5128 -x5129 -x5130 x5132 -x5134 -x5135 -x5136 -x5137 x5139 -x5141 -x5142 -x5143 -x5144 -x5146 x5148 x5149 -x5150 -x5151 x5153 -x5155 -x5157 -x5158 -x5159 -x5160 x5162 x5164 -x5165 -x5166 -x5167 x5169 -x5171 -x5172 -x5173 -x5174 x5176 x5178 -x5179 x5180 -x5181 -x5183 -x5185 -x5186 -x5187 -x5188 x5190 -x5192 -x5193 -x5194 -x5195 -x5197 -x5199 -x5200 -x5201 -x5202 x5204 -x5205 x5206 -x5207 -x5209 -x5210 -x5211 -x5212 x5214 -x5216 -x5217 -x5218 -x5219 x5221 -x5223 -x5224 -x5225 -x5226 x5228 x5230 -x5231 x5232 -x5233 -x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 x5259 -x5261 -x5262 -x5263 -x5264 x5266 -x5268 -x5269 -x5270 -x5271 x5273 -x5275 -x5276 -x5277 -x5278 -x5280 -x5282 -x5283 -x5284 -x5285 x5287 -x5288 -x5289 x5290 x5292 -x5294 -x5295 -x5296 -x5297 x5299 x5301 -x5302 -x5303 -x5304 x5306 -x5308 -x5309 -x5310 -x5311 x5313 -x5315 -x5316 -x5317 -x5318 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5392 -x5393 -x5394 -x5395 x5397 x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 -x5417 -x5418 -x5419 -x5420 x5422 x5423 -x5424 -x5425 x5427 x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5437 -x5438 -x5439 -x5440 -x5442 -x5443 -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 x5462 -x5463 x5464 -x5465 x5467 x5469 x5471 -x5473 x5475 -x5477 -x5479 x5481 x5483 x5485 x5487 x5489 -x5491 -x5493 -x5495 x5497 x5499
3587.46/3596.18	c Use postsolve
3587.46/3596.18	c Done 1215.08s

Verifier Data 

OK	20

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: 63708 MiB (62328 MiB free)
  memory of node 1: 64465 MiB (63752 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497727-1751473856/watcher-4497727-1751473856 -o /tmp/evaluation-result-4497727-1751473856/solver-4497727-1751473856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751473856-68421 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4497727-1751473856.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68479, runsolver pid=68462
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.21 2.79 3.58 6/273 68490
/proc/meminfo: memFree=129104540/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68487] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68487/stat : 68487 (timeout) S 68479 68487 68409 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63063142 2723840 352 18446744073709551615 94850290458624 94850290475137 140731645615536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850290489904 94850290491992 94850293149696 140731645622704 140731645622818 140731645622818 140731645628391 0
/proc/68487/statm: 665 352 352 5 0 90 0
[pid=68490] ppid=68487 vsize=22900 memory=7756 CPUtime=0.07 cores=1,3
/proc/68490/stat : 68490 (NuPBO-DeepOptS+) R 68487 68487 68409 0 -1 4194304 1430 0 0 0 7 0 0 0 20 0 1 0 63063143 23449600 1939 18446744073709551615 4198400 15468185 140733378611488 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45731840 140733378619836 140733378619937 140733378619937 140733378625510 0
/proc/68490/statm: 5725 1939 1088 2752 0 2378 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29884 KiB
Current children cumulated memory: 12236 KiB

[startup+0.205019 s]*
/proc/loadavg: 1.21 2.79 3.58 6/273 68490
/proc/meminfo: memFree=129075060/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68487] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68487/stat : 68487 (timeout) S 68479 68487 68409 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63063142 2723840 352 18446744073709551615 94850290458624 94850290475137 140731645615536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850290489904 94850290491992 94850293149696 140731645622704 140731645622818 140731645622818 140731645628391 0
/proc/68487/statm: 665 352 352 5 0 90 0
[pid=68490] ppid=68487 vsize=31996 memory=17180 CPUtime=0.17 cores=1,3
/proc/68490/stat : 68490 (NuPBO-DeepOptS+) R 68487 68487 68409 0 -1 4194304 4146 0 0 0 17 0 0 0 20 0 1 0 63063143 32763904 4295 18446744073709551615 4198400 15468185 140733378611488 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45731840 140733378619836 140733378619937 140733378619937 140733378625510 0
/proc/68490/statm: 7999 4295 1152 2752 0 4652 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 38980 KiB
Current children cumulated memory: 21660 KiB

[startup+0.305254 s]*
/proc/loadavg: 1.21 2.79 3.58 5/273 68490
/proc/meminfo: memFree=129074052/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68487] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68487/stat : 68487 (timeout) S 68479 68487 68409 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63063142 2723840 352 18446744073709551615 94850290458624 94850290475137 140731645615536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850290489904 94850290491992 94850293149696 140731645622704 140731645622818 140731645622818 140731645628391 0
/proc/68487/statm: 665 352 352 5 0 90 0
[pid=68490] ppid=68487 vsize=31996 memory=17180 CPUtime=0.27 cores=1,3
/proc/68490/stat : 68490 (NuPBO-DeepOptS+) R 68487 68487 68409 0 -1 4194304 4146 0 0 0 27 0 0 0 20 0 1 0 63063143 32763904 4295 18446744073709551615 4198400 15468185 140733378611488 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45731840 140733378619836 140733378619937 140733378619937 140733378625510 0
/proc/68490/statm: 7999 4295 1152 2752 0 4652 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 38980 KiB
Current children cumulated memory: 21660 KiB

[startup+0.700229 s]
/proc/loadavg: 1.21 2.79 3.58 5/273 68490
/proc/meminfo: memFree=128974500/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68487] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68487/stat : 68487 (timeout) S 68479 68487 68409 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63063142 2723840 352 18446744073709551615 94850290458624 94850290475137 140731645615536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850290489904 94850290491992 94850293149696 140731645622704 140731645622818 140731645622818 140731645628391 0
/proc/68487/statm: 665 352 352 5 0 90 0
[pid=68490] ppid=68487 vsize=115244 memory=102832 CPUtime=0.66 cores=1,3
/proc/68490/stat : 68490 (NuPBO-DeepOptS+) R 68487 68487 68409 0 -1 4194304 24405 0 0 0 63 3 0 0 20 0 1 0 63063143 118009856 25708 18446744073709551615 4198400 15468185 140733378611488 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45731840 140733378619836 140733378619937 140733378619937 140733378625510 0
/proc/68490/statm: 28811 25708 2752 2752 0 25464 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 122228 KiB
Current children cumulated memory: 107312 KiB

[startup+1.50022 s]
/proc/loadavg: 1.21 2.79 3.58 6/273 68490
/proc/meminfo: memFree=128716192/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68487] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68487/stat : 68487 (timeout) S 68479 68487 68409 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63063142 2723840 352 18446744073709551615 94850290458624 94850290475137 140731645615536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850290489904 94850290491992 94850293149696 140731645622704 140731645622818 140731645622818 140731645628391 0
/proc/68487/statm: 665 352 352 5 0 90 0
[pid=68490] ppid=68487 vsize=171532 memory=157252 CPUtime=1.45 cores=1,3
/proc/68490/stat : 68490 (NuPBO-DeepOptS+) R 68487 68487 68409 0 -1 4194304 39417 0 0 0 140 5 0 0 20 0 1 0 63063143 175648768 39313 18446744073709551615 4198400 15468185 140733378611488 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45731840 140733378619836 140733378619937 140733378619937 140733378625510 0
/proc/68490/statm: 42883 39313 2848 2752 0 39536 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 178516 KiB
Current children cumulated memory: 161732 KiB

[startup+3.10557 s]
/proc/loadavg: 1.21 2.79 3.58 6/273 68490
/proc/meminfo: memFree=128369788/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68487] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68487/stat : 68487 (timeout) S 68479 68487 68409 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63063142 2723840 352 18446744073709551615 94850290458624 94850290475137 140731645615536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850290489904 94850290491992 94850293149696 140731645622704 140731645622818 140731645622818 140731645628391 0
/proc/68487/statm: 665 352 352 5 0 90 0
[pid=68490] ppid=68487 vsize=174132 memory=159940 CPUtime=3.05 cores=1,3
/proc/68490/stat : 68490 (NuPBO-DeepOptS+) R 68487 68487 68409 0 -1 4194304 40100 0 0 0 300 5 0 0 20 0 1 0 63063143 178311168 39985 18446744073709551615 4198400 15468185 140733378611488 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45731840 140733378619836 140733378619937 140733378619937 140733378625510 0
/proc/68490/statm: 43533 39985 2848 2752 0 40186 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 181116 KiB
Current children cumulated memory: 164420 KiB

[startup+6.30022 s]
/proc/loadavg: 1.52 2.83 3.58 6/273 68490
/proc/meminfo: memFree=128178932/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68487] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68487/stat : 68487 (timeout) S 68479 68487 68409 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63063142 2723840 352 18446744073709551615 94850290458624 94850290475137 140731645615536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850290489904 94850290491992 94850293149696 140731645622704 140731645622818 140731645622818 140731645628391 0
/proc/68487/statm: 665 352 352 5 0 90 0
[pid=68490] ppid=68487 vsize=205696 memory=179652 CPUtime=6.24 cores=1,3
/proc/68490/stat : 68490 (NuPBO-DeepOptS+) R 68487 68487 68409 0 -1 4194304 45043 0 0 0 617 7 0 0 20 0 1 0 63063143 210632704 44913 18446744073709551615 4198400 15468185 140733378611488 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45731840 140733378619836 140733378619937 140733378619937 140733378625510 0
/proc/68490/statm: 51424 44913 2848 2752 0 48077 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 212680 KiB
Current children cumulated memory: 184132 KiB

[startup+12.7002 s]
/proc/loadavg: 1.72 2.85 3.59 6/273 68490
/proc/meminfo: memFree=128007928/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68487] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68487/stat : 68487 (timeout) S 68479 68487 68409 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63063142 2723840 352 18446744073709551615 94850290458624 94850290475137 140731645615536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850290489904 94850290491992 94850293149696 140731645622704 140731645622818 140731645622818 140731645628391 0
/proc/68487/statm: 665 352 352 5 0 90 0
[pid=68490] ppid=68487 vsize=239948 memory=213828 CPUtime=12.63 cores=1,3
/proc/68490/stat : 68490 (NuPBO-DeepOptS+) R 68487 68487 68409 0 -1 4194304 53600 0 0 0 1255 8 0 0 20 0 1 0 63063143 245706752 53457 18446744073709551615 4198400 15468185 140733378611488 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45731840 140733378619836 140733378619937 140733378619937 140733378625510 0
/proc/68490/statm: 59987 53457 2848 2752 0 56640 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 246932 KiB
Current children cumulated memory: 218308 KiB

[startup+25.5002 s]
/proc/loadavg: 2.30 2.92 3.60 6/273 68490
/proc/meminfo: memFree=127354796/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68487] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68487/stat : 68487 (timeout) S 68479 68487 68409 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63063142 2723840 352 18446744073709551615 94850290458624 94850290475137 140731645615536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850290489904 94850290491992 94850293149696 140731645622704 140731645622818 140731645622818 140731645628391 0
/proc/68487/statm: 665 352 352 5 0 90 0
[pid=68490] ppid=68487 vsize=239948 memory=213956 CPUtime=25.39 cores=1,3
/proc/68490/stat : 68490 (NuPBO-DeepOptS+) R 68487 68487 68409 0 -1 4194304 53635 0 0 0 2531 8 0 0 20 0 1 0 63063143 245706752 53489 18446744073709551615 4198400 15468185 140733378611488 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45731840 140733378619836 140733378619937 140733378619937 140733378625510 0
/proc/68490/statm: 59987 53489 2848 2752 0 56640 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 246932 KiB
Current children cumulated memory: 218436 KiB

[startup+51.1057 s]
/proc/loadavg: 2.88 3.01 3.61 6/273 68490
/proc/meminfo: memFree=126671140/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68487] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68487/stat : 68487 (timeout) S 68479 68487 68409 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63063142 2723840 352 18446744073709551615 94850290458624 94850290475137 140731645615536 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850290489904 94850290491992 94850293149696 140731645622704 140731645622818 140731645622818 140731645628391 0
/proc/68487/statm: 665 352 352 5 0 90 0
[pid=68490] ppid=68487 vsize=239948 memory=214084 CPUtime=50.92 cores=1,3
/proc/68490/stat : 68490 (NuPBO-DeepOptS+) R 68487 68487 68409 0 -1 4194304 53656 0 0 0 5084 8 0 0 20 0 1 0 63063143 245706752 53521 18446744073709551615 4198400 15468185 140733378611488 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45731840 140733378619836 140733378619937 140733378619937 140733378625510 0
/proc/68490/statm: 59987 53521 2848 2752 0 56640 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 246932 KiB
Current children cumulated memory: 218564 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 3.18 3.64 6/272 68492
/proc/meminfo: memFree=126634808/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 246 103 0 0 0 0 0 0 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0

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

/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68627] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68627/stat : 68627 (timeout) S 68479 68627 68409 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63302944 2723840 352 18446744073709551615 94845932851200 94845932867713 140734098701968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94845932882480 94845932884568 94845962637312 140734098704771 140734098704930 140734098704930 140734098710503 0
/proc/68627/statm: 665 352 352 5 0 90 0
[pid=68630] ppid=68627 vsize=179732 memory=152628 CPUtime=1001.5 cores=1,3
/proc/68630/stat : 68630 (ExactPR-nols) R 68627 68627 68409 0 -1 4194304 25748 0 0 0 99989 161 0 0 20 0 1 0 63302944 184045568 38157 18446744073709551615 94863865475072 94863874774725 140720501578432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94863876561216 94863876600296 94863890583552 140720501582232 140720501582372 140720501582372 140720501587945 0
/proc/68630/statm: 44933 38157 1920 2271 0 39571 0
Current children cumulated CPU time: 3394.16 s
Current children cumulated vsize: 186716 KiB
Current children cumulated memory: 157108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 68791
/proc/meminfo: memFree=124193532/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=2392.66 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 282 84690 0 0 0 0 239248 18 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68627] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68627/stat : 68627 (timeout) S 68479 68627 68409 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63302944 2723840 352 18446744073709551615 94845932851200 94845932867713 140734098701968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94845932882480 94845932884568 94845962637312 140734098704771 140734098704930 140734098704930 140734098710503 0
/proc/68627/statm: 665 352 352 5 0 90 0
[pid=68630] ppid=68627 vsize=179964 memory=152756 CPUtime=1061.36 cores=1,3
/proc/68630/stat : 68630 (ExactPR-nols) R 68627 68627 68409 0 -1 4194304 25807 0 0 0 105965 171 0 0 20 0 1 0 63302944 184283136 38189 18446744073709551615 94863865475072 94863874774725 140720501578432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94863876561216 94863876600296 94863890583552 140720501582232 140720501582372 140720501582372 140720501587945 0
/proc/68630/statm: 44991 38189 1920 2271 0 39629 0
Current children cumulated CPU time: 3454.02 s
Current children cumulated vsize: 186948 KiB
Current children cumulated memory: 157236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 68793
/proc/meminfo: memFree=124192692/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=2392.66 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 282 84690 0 0 0 0 239248 18 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68627] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68627/stat : 68627 (timeout) S 68479 68627 68409 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63302944 2723840 352 18446744073709551615 94845932851200 94845932867713 140734098701968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94845932882480 94845932884568 94845962637312 140734098704771 140734098704930 140734098704930 140734098710503 0
/proc/68627/statm: 665 352 352 5 0 90 0
[pid=68630] ppid=68627 vsize=179964 memory=152884 CPUtime=1121.2 cores=1,3
/proc/68630/stat : 68630 (ExactPR-nols) R 68627 68627 68409 0 -1 4194304 25850 0 0 0 111941 179 0 0 20 0 1 0 63302944 184283136 38221 18446744073709551615 94863865475072 94863874774725 140720501578432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94863876561216 94863876600296 94863890583552 140720501582232 140720501582372 140720501582372 140720501587945 0
/proc/68630/statm: 44991 38221 1920 2271 0 39629 0
Current children cumulated CPU time: 3513.86 s
Current children cumulated vsize: 186948 KiB
Current children cumulated memory: 157364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 68795
/proc/meminfo: memFree=124211884/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=2392.66 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 282 84690 0 0 0 0 239248 18 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68627] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68627/stat : 68627 (timeout) S 68479 68627 68409 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63302944 2723840 352 18446744073709551615 94845932851200 94845932867713 140734098701968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94845932882480 94845932884568 94845962637312 140734098704771 140734098704930 140734098704930 140734098710503 0
/proc/68627/statm: 665 352 352 5 0 90 0
[pid=68630] ppid=68627 vsize=179964 memory=153012 CPUtime=1181.05 cores=1,3
/proc/68630/stat : 68630 (ExactPR-nols) R 68627 68627 68409 0 -1 4194304 25858 0 0 0 117917 188 0 0 20 0 1 0 63302944 184283136 38253 18446744073709551615 94863865475072 94863874774725 140720501578432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94863876561216 94863876600296 94863890583552 140720501582232 140720501582372 140720501582372 140720501587945 0
/proc/68630/statm: 44991 38253 1920 2271 0 39629 0
Current children cumulated CPU time: 3573.71 s
Current children cumulated vsize: 186948 KiB
Current children cumulated memory: 157492 KiB

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

# cumulated CPU time of all completed processes:  user=3585.36 s, system=2.14288 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 68795
/proc/meminfo: memFree=124212388/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=2392.66 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 282 84690 0 0 0 0 239248 18 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68627] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68627/stat : 68627 (timeout) S 68479 68627 68409 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63302944 2723840 352 18446744073709551615 94845932851200 94845932867713 140734098701968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94845932882480 94845932884568 94845962637312 140734098704771 140734098704930 140734098704930 140734098710503 0
/proc/68627/statm: 665 352 352 5 0 90 0
[pid=68630] ppid=68627 vsize=179964 memory=153012 CPUtime=1182.75 cores=1,3
/proc/68630/stat : 68630 (ExactPR-nols) R 68627 68627 68409 0 -1 4194304 25858 0 0 0 118086 189 0 0 20 0 1 0 63302944 184283136 38253 18446744073709551615 94863865475072 94863874774725 140720501578432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94863876561216 94863876600296 94863890583552 140720501582232 140720501582372 140720501582372 140720501587945 0
/proc/68630/statm: 44991 38253 1920 2271 0 39629 0
Current children cumulated CPU time: 3575.41 s
Current children cumulated vsize: 186948 KiB
Current children cumulated memory: 157492 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 68796
/proc/meminfo: memFree=124213828/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=2392.66 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 282 84690 0 0 0 0 239248 18 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68627] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68627/stat : 68627 (timeout) S 68479 68627 68409 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63302944 2723840 352 18446744073709551615 94845932851200 94845932867713 140734098701968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94845932882480 94845932884568 94845962637312 140734098704771 140734098704930 140734098704930 140734098710503 0
/proc/68627/statm: 665 352 352 5 0 90 0
[pid=68630] ppid=68627 vsize=180372 memory=153268 CPUtime=1189.13 cores=1,3
/proc/68630/stat : 68630 (ExactPR-nols) R 68627 68627 68409 0 -1 4194304 25924 0 0 0 118722 191 0 0 20 0 1 0 63302944 184700928 38317 18446744073709551615 94863865475072 94863874774725 140720501578432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94863876561216 94863876600296 94863890583552 140720501582232 140720501582372 140720501582372 140720501587945 0
/proc/68630/statm: 45093 38317 1920 2271 0 39731 0
Current children cumulated CPU time: 3581.79 s
Current children cumulated vsize: 187356 KiB
Current children cumulated memory: 157748 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 68796
/proc/meminfo: memFree=124214088/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=2392.66 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 282 84690 0 0 0 0 239248 18 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68627] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68627/stat : 68627 (timeout) S 68479 68627 68409 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63302944 2723840 352 18446744073709551615 94845932851200 94845932867713 140734098701968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94845932882480 94845932884568 94845962637312 140734098704771 140734098704930 140734098704930 140734098710503 0
/proc/68627/statm: 665 352 352 5 0 90 0
[pid=68630] ppid=68627 vsize=180372 memory=153268 CPUtime=1192.32 cores=1,3
/proc/68630/stat : 68630 (ExactPR-nols) R 68627 68627 68409 0 -1 4194304 25924 0 0 0 119041 191 0 0 20 0 1 0 63302944 184700928 38317 18446744073709551615 94863865475072 94863874774725 140720501578432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94863876561216 94863876600296 94863890583552 140720501582232 140720501582372 140720501582372 140720501587945 0
/proc/68630/statm: 45093 38317 1920 2271 0 39731 0
Current children cumulated CPU time: 3584.98 s
Current children cumulated vsize: 187356 KiB
Current children cumulated memory: 157748 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 68796
/proc/meminfo: memFree=124214088/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=2392.66 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 282 84690 0 0 0 0 239248 18 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68627] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68627/stat : 68627 (timeout) S 68479 68627 68409 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63302944 2723840 352 18446744073709551615 94845932851200 94845932867713 140734098701968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94845932882480 94845932884568 94845962637312 140734098704771 140734098704930 140734098704930 140734098710503 0
/proc/68627/statm: 665 352 352 5 0 90 0
[pid=68630] ppid=68627 vsize=180372 memory=153268 CPUtime=1193.92 cores=1,3
/proc/68630/stat : 68630 (ExactPR-nols) R 68627 68627 68409 0 -1 4194304 25924 0 0 0 119200 192 0 0 20 0 1 0 63302944 184700928 38317 18446744073709551615 94863865475072 94863874774725 140720501578432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94863876561216 94863876600296 94863890583552 140720501582232 140720501582372 140720501582372 140720501587945 0
/proc/68630/statm: 45093 38317 1920 2271 0 39731 0
Current children cumulated CPU time: 3586.58 s
Current children cumulated vsize: 187356 KiB
Current children cumulated memory: 157748 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 68796
/proc/meminfo: memFree=124214340/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=2392.66 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) S 68462 68479 68409 0 -1 4194304 282 84690 0 0 0 0 239248 18 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
[pid=68627] ppid=68479 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/68627/stat : 68627 (timeout) S 68479 68627 68409 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63302944 2723840 352 18446744073709551615 94845932851200 94845932867713 140734098701968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94845932882480 94845932884568 94845962637312 140734098704771 140734098704930 140734098704930 140734098710503 0
/proc/68627/statm: 665 352 352 5 0 90 0
[pid=68630] ppid=68627 vsize=180372 memory=153268 CPUtime=1194.72 cores=1,3
/proc/68630/stat : 68630 (ExactPR-nols) R 68627 68627 68409 0 -1 4194304 25924 0 0 0 119280 192 0 0 20 0 1 0 63302944 184700928 38317 18446744073709551615 94863865475072 94863874774725 140720501578432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94863876561216 94863876600296 94863890583552 140720501582232 140720501582372 140720501582372 140720501587945 0
/proc/68630/statm: 45093 38317 1920 2271 0 39731 0
Current children cumulated CPU time: 3587.38 s
Current children cumulated vsize: 187356 KiB
Current children cumulated memory: 157748 KiB

[startup+3596.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 68796
/proc/meminfo: memFree=124214340/131249996 swapFree=33006296/33010684
[pid=68479] ppid=68462 vsize=4324 memory=3072 CPUtime=3587.48 cores=1,3
/proc/68479/stat : 68479 (Hybrid-NuPBODee) R 68462 68479 68409 0 -1 4194304 496 113423 0 0 0 0 358535 213 20 0 1 0 63063140 4427776 768 18446744073709551615 94849951027200 94849951921733 140726449738464 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94849952160784 94849952208528 94849955713024 140726449740123 140726449740275 140726449740275 140726449745877 0
/proc/68479/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.21
CPU time (s): 3587.5
CPU user time (s): 3585.36
CPU system time (s): 2.14288
CPU usage (%): 99.7579
Max. virtual memory (cumulated for all children) (KiB): 430112
Max. memory (cumulated for all children) (KiB): 372292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.36
system time used= 2.14288
maximum resident set size= 370756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3052
involuntary context switches= 5401


# summary of solver processes directly reported to runsolver:
#   pid: 68479
#   total CPU time (s): 3587.5
#   total CPU user time (s): 3585.36
#   total CPU system time (s): 2.14288

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78804 second user time and 14.8761 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-02 18:30:56
IDJOB=4497727
IDBENCH=148192
IDSOLVER=3332
FILE ID=nodeC015/4497727-1751473856
RUNJOBID= nodeC015-1751473856-68421
SLURM_JOB_ID= 9598501
Free space on /tmp= 432372 MiB

SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497727-1751473856/watcher-4497727-1751473856 -o /tmp/evaluation-result-4497727-1751473856/solver-4497727-1751473856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751473856-68421 --watchdog 3760  ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4497727-1751473856.opb 3600 HOME

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=653520270

nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129112200 kB
MemAvailable:   129708548 kB
Buffers:            1508 kB
Cached:          1380628 kB
SwapCached:         3880 kB
Active:           318564 kB
Inactive:        1142804 kB
Active(anon):      44564 kB
Inactive(anon):    48856 kB
Active(file):     274000 kB
Inactive(file):  1093948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            116896 kB
Writeback:             4 kB
AnonPages:         78452 kB
Mapped:           100264 kB
Shmem:             14152 kB
KReclaimable:     135276 kB
Slab:             225896 kB
SReclaimable:     135276 kB
SUnreclaim:        90620 kB
KernelStack:        4080 kB
PageTables:         2832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432232 MiB
End job on nodeC015 at 2025-07-02 19:30:53