Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS 1.03 | SAT (TO) | -257 | 3600.09 | 3612.6 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern50-06.lin.opb |
| MD5SUM | b877664571262cc35a091b0e7e24e61f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -270 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 882 |
| Total number of constraints | 1664 |
| Number of constraints which are clauses | 832 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 832 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 882 |
| Biggest coefficient in the objective function | 34 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 13140 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 34 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 13140 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c NaPS 1.03. 0.00/0.00 c Input file name: HOME/instance-4434536-1721160048.opb 0.00/0.09 c single stage optimization mode 0.00/0.09 o -255 1599.90/1605.76 o -257 3600.07/3612.60 c 3600.07/3612.60 c *** TERMINATED *** by signal 15 3600.07/3612.60 s SATISFIABLE 3600.07/3612.60 c _____________________________________________________________________________ 3600.07/3612.60 c std/band forms : 838,0 3600.07/3612.60 c 2cl/3cl ITE-codings : 0,0 3600.07/3612.60 c BDD/srt/adr Max costs : 568479,78712,0 3600.07/3612.60 c BDDraw/bin/mul/srt/adr: 835,0,0,3,0 3600.07/3612.60 c BDD nodes : 451635 3600.07/3612.60 c Es1/CC detections : 0,0 3600.07/3612.60 c CC sort : 0 3600.07/3612.60 c SAT/UNSAT calls : 2,1 3600.07/3612.60 c regenrated variables : 0 3600.07/3612.60 c eliminated fixed lits : 0 3600.07/3612.60 c goal lit flips : 8 3600.07/3612.60 c goal stages : 1 3600.07/3612.60 c goal shrink : 0 3600.07/3612.60 c goal coeff separations: 0 3600.07/3612.60 c restarts : 160965 3600.07/3612.60 c conflicts : 5267518 (1464 /sec) 3600.07/3612.60 c decisions : 13686826 (3803 /sec) 3600.07/3612.60 c propagations : 5741833538 (1595315 /sec) 3600.07/3612.60 c inspects : 0 (0 /sec) 3600.07/3612.60 c CPU time (solving tm) : 3599 s (3597 s, SAT 39.63 s, UNSAT 1558 s) 3600.07/3612.60 c Time for Opt-base : 0.004194 s 3600.07/3612.60 c Steps for Opt-base : 21168 3600.07/3612.60 c Time for BDD coding : 1.75 s 3600.07/3612.60 c Time for srt coding : 0.02958 s 3600.07/3612.60 c _____________________________________________________________________________ 3600.07/3612.60 v -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 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
OK -257
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: 64096 MiB (59811 MiB free)
memory of node 1: 64473 MiB (61530 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434536-1721160048/watcher-4434536-1721160048 -o /tmp/evaluation-result-4434536-1721160048/solver-4434536-1721160048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721152700-865414 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434536-1721160048.opb
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=870961, runsolver pid=870958
[startup+0.101048 s]*
/proc/loadavg: 4.31 4.29 4.21 5/248 870966
/proc/meminfo: memFree=124250536/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=8128 memory=7024 CPUtime=0.09 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 1225 0 0 0 9 0 0 0 20 0 1 0 168163648 8323072 1756 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 2032 1756 612 659 0 1236 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18060 KiB
Current children cumulated memory: 9848 KiB
[startup+0.213499 s]*
/proc/loadavg: 4.31 4.29 4.21 5/248 870968
/proc/meminfo: memFree=124237432/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=20624 memory=19492 CPUtime=0.21 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 4481 0 0 0 20 1 0 0 20 0 1 0 168163648 21118976 4873 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 5156 4873 612 659 0 4360 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30556 KiB
Current children cumulated memory: 22316 KiB
[startup+0.313573 s]*
/proc/loadavg: 4.31 4.29 4.21 6/249 870969
/proc/meminfo: memFree=124210800/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=31652 memory=30136 CPUtime=0.3 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 7329 0 0 0 29 1 0 0 20 0 1 0 168163648 32411648 7534 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 7913 7534 612 659 0 7117 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 32960 KiB
[startup+0.700411 s]
/proc/loadavg: 4.31 4.29 4.21 5/248 870979
/proc/meminfo: memFree=124205172/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=69296 memory=67644 CPUtime=0.68 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 16496 0 0 0 65 3 0 0 20 0 1 0 168163648 70959104 16911 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 17324 16911 612 659 0 16528 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79228 KiB
Current children cumulated memory: 70468 KiB
[startup+1.50042 s]
/proc/loadavg: 4.31 4.29 4.21 5/248 870979
/proc/meminfo: memFree=124157252/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=149280 memory=146780 CPUtime=1.47 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 35689 0 0 0 141 6 0 0 20 0 1 0 168163648 152862720 36695 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 37320 36695 612 659 0 36524 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 159212 KiB
Current children cumulated memory: 149604 KiB
[startup+3.11326 s]
/proc/loadavg: 4.31 4.29 4.21 5/248 870979
/proc/meminfo: memFree=124020300/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=243800 memory=237948 CPUtime=3.08 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 54434 0 0 0 299 9 0 0 20 0 1 0 168163648 249651200 59487 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 60950 59487 644 659 0 60154 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 253732 KiB
Current children cumulated memory: 240772 KiB
[startup+6.30037 s]
/proc/loadavg: 4.37 4.31 4.22 5/248 870979
/proc/meminfo: memFree=124014712/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=244908 memory=239756 CPUtime=6.26 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 56241 0 0 0 616 10 0 0 20 0 1 0 168163648 250785792 59939 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 61227 59939 660 659 0 60431 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 254840 KiB
Current children cumulated memory: 242580 KiB
[startup+12.7004 s]
/proc/loadavg: 4.42 4.32 4.22 5/248 870980
/proc/meminfo: memFree=124002248/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=257600 memory=252208 CPUtime=12.63 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 58161 0 0 0 1253 10 0 0 20 0 1 0 168163648 263782400 63052 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 64400 63052 660 659 0 63604 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 267532 KiB
Current children cumulated memory: 255032 KiB
[startup+25.5004 s]
/proc/loadavg: 4.63 4.37 4.24 5/248 870982
/proc/meminfo: memFree=123995096/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=257600 memory=252208 CPUtime=25.39 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 58175 0 0 0 2528 11 0 0 20 0 1 0 168163648 263782400 63052 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 64400 63052 660 659 0 63604 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 267532 KiB
Current children cumulated memory: 255032 KiB
[startup+51.1132 s]
/proc/loadavg: 4.81 4.44 4.27 5/248 870986
/proc/meminfo: memFree=124009600/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=262332 memory=256900 CPUtime=50.91 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 60966 0 0 0 5079 12 0 0 20 0 1 0 168163648 268627968 64225 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 65583 64225 660 659 0 64787 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 272264 KiB
Current children cumulated memory: 259724 KiB
[startup+102.3 s]
/proc/loadavg: 4.40 4.38 4.26 5/249 870997
/proc/meminfo: memFree=124051800/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=264888 memory=259376 CPUtime=101.9 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 62065 0 0 0 10178 12 0 0 20 0 1 0 168163648 271245312 64844 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 66222 64844 660 659 0 65426 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 274820 KiB
Current children cumulated memory: 262200 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.34 4.25 5/248 871007
/proc/meminfo: memFree=124011912/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=262588 memory=256440 CPUtime=161.68 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 70572 0 0 0 16152 16 0 0 20 0 1 0 168163648 268890112 64110 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 65647 64110 660 659 0 64851 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 272520 KiB
Current children cumulated memory: 259264 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.28 4.24 5/248 871068
/proc/meminfo: memFree=123919128/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=281552 memory=276188 CPUtime=221.46 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 74038 0 0 0 22128 18 0 0 20 0 1 0 168163648 288309248 69047 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 70388 69047 660 659 0 69592 0
Current children cumulated CPU time: 221.46 s
################
# More data... #
################
/proc/loadavg: 4.10 4.22 4.22 5/247 872336
/proc/meminfo: memFree=123050264/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=424440 memory=412236 CPUtime=3031.69 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 124650 0 0 0 303097 72 0 0 20 0 1 0 168163648 434626560 103059 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 106110 103059 660 659 0 105314 0
Current children cumulated CPU time: 3031.69 s
Current children cumulated vsize: 434372 KiB
Current children cumulated memory: 415060 KiB
[startup+3102.3 s]
/proc/loadavg: 4.23 4.22 4.22 5/247 872347
/proc/meminfo: memFree=123054212/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=433376 memory=421172 CPUtime=3091.48 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 125614 0 0 0 309074 74 0 0 20 0 1 0 168163648 443777024 105293 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 108344 105293 660 659 0 107548 0
Current children cumulated CPU time: 3091.48 s
Current children cumulated vsize: 443308 KiB
Current children cumulated memory: 423996 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.20 4.21 5/247 872357
/proc/meminfo: memFree=123017104/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=428924 memory=416720 CPUtime=3151.28 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 126222 0 0 0 315053 75 0 0 20 0 1 0 168163648 439218176 104180 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 107231 104180 660 659 0 106435 0
Current children cumulated CPU time: 3151.28 s
Current children cumulated vsize: 438856 KiB
Current children cumulated memory: 419544 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.19 4.20 5/247 872368
/proc/meminfo: memFree=123007868/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=431948 memory=419744 CPUtime=3211.08 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 127441 0 0 0 321030 78 0 0 20 0 1 0 168163648 442314752 104936 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 107987 104936 660 659 0 107191 0
Current children cumulated CPU time: 3211.08 s
Current children cumulated vsize: 441880 KiB
Current children cumulated memory: 422568 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.15 4.18 5/247 872760
/proc/meminfo: memFree=123008192/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=434176 memory=421972 CPUtime=3270.88 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 128339 0 0 0 327009 79 0 0 20 0 1 0 168163648 444596224 105493 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 108544 105493 660 659 0 107748 0
Current children cumulated CPU time: 3270.88 s
Current children cumulated vsize: 444108 KiB
Current children cumulated memory: 424796 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.17 4.18 5/245 872772
/proc/meminfo: memFree=123010412/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=431320 memory=419116 CPUtime=3330.68 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 129640 0 0 0 332987 81 0 0 20 0 1 0 168163648 441671680 104779 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 107830 104779 660 659 0 107034 0
Current children cumulated CPU time: 3330.68 s
Current children cumulated vsize: 441252 KiB
Current children cumulated memory: 421940 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.18 5/245 872782
/proc/meminfo: memFree=122996672/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=434796 memory=422592 CPUtime=3390.48 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 130184 0 0 0 338966 82 0 0 20 0 1 0 168163648 445231104 105648 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 108699 105648 660 659 0 107903 0
Current children cumulated CPU time: 3390.48 s
Current children cumulated vsize: 444728 KiB
Current children cumulated memory: 425416 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/247 872962
/proc/meminfo: memFree=123002072/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=434680 memory=422476 CPUtime=3450.28 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 131801 0 0 0 344943 85 0 0 20 0 1 0 168163648 445112320 105619 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 108670 105619 660 659 0 107874 0
Current children cumulated CPU time: 3450.28 s
Current children cumulated vsize: 444612 KiB
Current children cumulated memory: 425300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.17 5/247 872973
/proc/meminfo: memFree=122998340/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=433992 memory=421788 CPUtime=3510.08 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 132148 0 0 0 350922 86 0 0 20 0 1 0 168163648 444407808 105447 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 108498 105447 660 659 0 107702 0
Current children cumulated CPU time: 3510.08 s
Current children cumulated vsize: 443924 KiB
Current children cumulated memory: 424612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/248 872986
/proc/meminfo: memFree=122992640/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=442792 memory=430588 CPUtime=3569.87 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 134010 0 0 0 356899 88 0 0 20 0 1 0 168163648 453419008 107647 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 110698 107647 660 659 0 109902 0
Current children cumulated CPU time: 3569.87 s
Current children cumulated vsize: 452724 KiB
Current children cumulated memory: 433412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.19 4.15 4.17 5/248 873002
/proc/meminfo: memFree=122989700/131655788 swapFree=131071996/131071996
[pid=870961] ppid=870958 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/870961/stat : 870961 (naps-1.03.sh) S 870958 870961 865371 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 168163648 10170368 706 134679101440 94017009569792 94017010649112 140726401789312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94017012747568 94017012794756 94017034379264 140726401790948 140726401791073 140726401791073 140726401798088 0
/proc/870961/statm: 2483 706 628 264 0 134 0
[pid=870966] ppid=870961 vsize=419932 memory=409732 CPUtime=3600.07 cores=0,2
/proc/870966/stat : 870966 (naps-1.03) R 870961 870961 865371 0 -1 4194304 134892 0 0 0 359918 89 0 0 20 0 1 0 168163648 430010368 102433 134679101440 4194304 6891213 140732650631024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 40218624 140732650636277 140732650636389 140732650636389 140732650643403 0
/proc/870966/statm: 104983 102433 660 659 0 104187 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 429864 KiB
Current children cumulated memory: 412556 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.6 s]
# the end of solver process 870961 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.19 s, system=0.906059 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.6
CPU time (s): 3600.09
CPU user time (s): 3599.19
CPU system time (s): 0.906059
CPU usage (%): 99.6537
Max. virtual memory (cumulated for all children) (KiB): 525016
Max. memory (cumulated for all children) (KiB): 505380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.19
system time used= 0.906059
maximum resident set size= 502556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135372
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 25187
# summary of solver processes directly reported to runsolver:
# pid: 870961
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.19
# total CPU system time (s): 0.906059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3914 second user time and 36.8644 second system time
The end
Begin job on nodeC005 at 2024-07-16 22:01:00 IDJOB=4434536 IDBENCH=158491 IDSOLVER=3063 FILE ID=nodeC005/4434536-1721160048 RUNJOBID= nodeC005-1721152700-865414 SLURM_JOB_ID= 7505754 Free space on /tmp= 723764 MiB SOLVER NAME= NaPS 1.03 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb COMMAND LINE= HOME/naps-1.03.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434536-1721160048/watcher-4434536-1721160048 -o /tmp/evaluation-result-4434536-1721160048/solver-4434536-1721160048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721152700-865414 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434536-1721160048.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f RANDOM SEED=974985903 nodeC005.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 : 3616.962 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.53 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 : 3613.835 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.35 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.179 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.53 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.192 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.35 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 : 3607.304 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.53 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 : 3519.718 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.35 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.287 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.307 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124254740 kB MemAvailable: 129225076 kB Buffers: 412028 kB Cached: 5336704 kB SwapCached: 0 kB Active: 803196 kB Inactive: 5923732 kB Active(anon): 3496 kB Inactive(anon): 1012088 kB Active(file): 799700 kB Inactive(file): 4911644 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5704 kB Writeback: 0 kB AnonPages: 974192 kB Mapped: 113724 kB Shmem: 37704 kB KReclaimable: 198380 kB Slab: 312096 kB SReclaimable: 198380 kB SUnreclaim: 113716 kB KernelStack: 3996 kB PageTables: 11316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1475712 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 54080 kB HardwareCorrupted: 0 kB AnonHugePages: 790528 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: 285512 kB DirectMap2M: 36319232 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 723760 MiB End job on nodeC005 at 2024-07-16 23:01:13