Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS naps-1.03a6 | SAT (TO) | 138 | 3600.08 | 3610.01 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
| MD5SUM | 0c08209891d9f5241a74237055766898 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.056181 |
| 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 | 934 |
| Total number of constraints | 1063 |
| Number of constraints which are clauses | 879 |
| Number of constraints which are cardinality constraints (but not clauses) | 184 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 934 |
| Biggest coefficient in the objective function | 546 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2594 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 546 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2594 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.01 c NaPS 1.03a6. 0.00/0.01 c Input file name: HOME/instance-4484622-1751294874.opb 0.00/0.03 c single stage optimization mode 3600.06/3610.00 o 1502 3600.06/3610.00 o 138 3600.06/3610.00 c 3600.06/3610.00 c *** TERMINATED *** by signal 15 3600.06/3610.00 s SATISFIABLE 3600.06/3610.00 c _____________________________________________________________________________ 3600.06/3610.00 c std/band forms : 186,0 3600.06/3610.00 c 2cl/3cl ITE-codings : 345211,0 3600.06/3610.00 c BDD/srt/adr Max costs : 450108,69989,0 3600.06/3610.00 c BDDraw/bin/mul/srt/adr: 2,0,0,184,0 3600.06/3610.00 c BDD nodes : 436138 3600.06/3610.00 c Es1/CC detections : 0,0 3600.06/3610.00 c CC sort : 183 3600.06/3610.00 c SAT/UNSAT calls : 2,0 3600.06/3610.00 c regenrated variables : 0 3600.06/3610.00 c eliminated fixed lits : 2 3600.06/3610.00 c goal lit flips : 21 3600.06/3610.00 c goal stages : 1 3600.06/3610.00 c goal shrink : 0 3600.06/3610.00 c goal coeff separations: 0 3600.06/3610.00 c restarts : 80 3600.06/3610.00 c conflicts : 512 (0 /sec) 3600.06/3610.00 c decisions : 81643 (23 /sec) 3600.06/3610.00 c propagations : 7175725 (1995 /sec) 3600.06/3610.00 c inspects : 0 (0 /sec) 3600.06/3610.00 c CPU time (solving tm) : 3597 s (3595 s, SAT 0.9004 s, UNSAT 0 s) 3600.06/3610.00 c Time for Opt-base : 0.00107 s 3600.06/3610.00 c Steps for Opt-base : 2799 3600.06/3610.00 c Time for BDD coding : 1.656 s 3600.06/3610.00 c Time for srt coding : 0.008915 s 3600.06/3610.00 c _____________________________________________________________________________ 3600.06/3610.00 v -x854 x783 -x198 x103 -x22 x3 -x856 x104 x2 x786 -x385 -x273 -x197 -x21 x4 -x857 x787 -x77 -x56 x24 x5 -x384 -x276 -x203 x76 -x55 -x12 -x764 -x388 -x277 -x201 -x57 x25 x6 -x763 -x248 -x151 x78 -x58 x27 x7 -x765 x614 -x389 -x202 -x80 x59 -x40 x28 -x8 x766 x613 -x514 -x251 -x206 -x150 -x66 x39 x767 x619 -x252 -x81 -x60 x41 -x774 x618 -x513 -x327 x156 -x126 x83 -x61 x42 -x768 -x620 x154 x84 -x62 x43 -x769 x624 -x594 x574 -x519 -x129 -x50 -x770 x623 -x578 -x517 x155 -x130 x44 x730 x621 -x597 -x577 x159 x45 x622 -x598 -x518 x46 x882 x729 -x522 -x853 x782 -x193 x105 -x18 -x858 x788 -x538 x469 -x272 -x199 -x23 -x15 -x542 x72 x26 -x16 -x860 -x386 -x278 -x204 -x109 x71 x30 -x11 -x861 -x390 x29 x791 -x247 -x207 -x146 x79 x69 -x9 -x205 -x82 x70 x812 -x777 -x639 -x509 -x392 -x323 -x281 -x253 -x152 x86 -x65 -x778 -x643 x615 -x393 x85 -x773 x616 -x515 -x326 x157 -x125 -x63 -x53 x617 -x54 -x771 x628 -x593 -x520 -x256 x160 -x131 -x49 x573 x158 -x878 -x599 x575 -x523 -x47 x579 -x521 x881 x731 -x134 -x602 x855 x784 -x465 -x268 x106 -x14 x859 -x380 -x192 -x17 -x13 -x863 x789 -x537 x489 x468 -x379 -x274 -x194 -x110 -x19 -x862 -x541 -x493 -x200 -x108 x20 x792 -x387 -x279 -x243 -x196 x68 x34 x790 -x391 -x208 x73 x67 -x808 -x776 -x395 -x302 -x282 -x249 x74 -x10 -x775 -x394 -x280 -x145 x75 x811 -x638 -x322 -x254 -x147 -x121 x90 -x52 -x642 -x508 -x153 -x51 x631 -x589 -x510 -x328 -x257 x149 -x127 -x64 x632 -x516 -x255 x161 -x772 x627 -x595 x512 -x132 x726 -x524 -x877 x725 -x710 x625 -x600 -x331 -x135 -x48 x576 -x133 x883 x732 -x603 x587 -x601 x583 -x901 -x733 x582 -x905 -x734 x852 -x780 x464 -x423 x107 x851 x785 -x427 -x267 -x111 x867 x781 -x663 -x539 x488 x470 -x269 -x178 -x37 x793 -x667 -x543 -x492 -x381 -x275 -x195 -x38 -x382 x298 -x271 -x223 -x216 x33 -x383 -x283 -x242 -x227 -x212 -x807 -x545 x473 -x399 x318 -x301 -x244 -x211 -x93 x31 -x546 x250 -x94 x813 -x640 x630 -x324 x246 x89 -x644 x629 -x258 -x148 -x120 -x914 -x837 -x329 -x169 -x122 x87 -x918 -x588 -x511 x165 -x128 -x873 x816 -x706 -x646 -x590 x532 -x348 -x332 x164 x124 -x647 -x596 -x528 x352 -x330 -x136 -x879 -x709 x626 -x592 x584 -x527 x727 -x604 x586 -x96 x884 x728 -x95 -x900 x885 -x738 x580 -x904 x886 x870 -x534 x466 -x422 -x174 x119 -x36 x871 -x779 -x426 x115 -x35 x866 -x801 -x662 -x540 x490 x471 -x213 -x177 x114 -x797 -x666 -x544 -x494 -x270 -x215 x864 -x803 -x796 -x548 x474 -x451 -x402 x297 -x291 -x222 -x92 -x634 -x547 x472 -x403 -x287 -x226 -x91 -x809 -x633 -x496 -x398 -x303 -x286 -x209 x32 -x497 x317 -x245 -x833 x814 -x753 -x641 -x396 x319 x266 -x210 -x166 -x645 -x325 -x262 -x168 -x913 -x836 x817 -x649 x529 x321 -x306 -x261 x88 -x917 x815 -x648 x531 -x333 -x123 -x705 -x347 x162 -x144 -x872 -x591 x585 x351 x140 -x874 -x711 -x612 -x525 x163 x139 -x880 -x608 x876 -x741 -x607 x562 -x526 x887 -x742 x566 -x97 -x902 -x737 -x714 x581 -x98 -x906 x868 -x798 -x485 -x462 x424 -x173 x118 -x800 -x533 x467 -x428 -x214 -x664 -x535 x491 x463 x447 -x401 -x293 -x288 -x179 x112 -x668 -x536 x495 x475 -x400 -x290 x865 -x794 -x552 -x499 -x450 -x430 x299 -x224 x113 -x802 -x498 -x431 -x228 -x804 -x795 x749 -x688 -x670 -x304 -x284 x263 -x182 -x810 x692 -x671 -x635 x265 -x167 -x832 x806 -x752 -x636 -x397 -x307 -x285 -x230 x818 -x637 x530 x320 -x305 -x231 -x915 -x838 -x701 -x653 x341 -x259 -x141 -x919 -x337 -x143 -x707 -x609 -x349 -x336 -x260 -x611 x353 -x921 -x841 -x740 -x712 x413 x372 x137 -x922 -x897 -x875 -x739 -x376 -x896 -x895 -x715 -x605 x561 -x355 x138 x891 -x713 x565 -x356 -x903 x890 -x735 -x606 x101 -x907 x102 -x869 -x799 -x659 x425 -x175 x116 -x484 -x461 -x429 -x289 -x218 -x665 -x555 x486 x483 x446 -x433 -x217 -x180 -x669 -x556 x487 x479 -x432 -x292 -x673 -x551 x503 x478 -x452 -x294 -x225 -x183 -x672 x300 x264 -x229 -x181 -x828 x748 -x687 -x549 x296 -x233 -x909 -x805 x691 -x308 -x232 -x908 -x834 -x826 -x754 -x656 x455 x338 x822 -x657 -x343 x340 -x142 -x916 -x839 x821 -x652 -x342 -x920 -x700 -x610 -x924 -x842 -x757 -x702 -x650 x409 -x350 -x334 -x923 -x840 -x708 x354 -x892 -x704 x412 x371 -x358 -x335 -x894 -x716 x375 -x357 x563 x100 -x898 x567 x99 -x899 x888 -x736 -x554 -x480 x442 -x421 x171 x117 -x658 -x553 -x482 x420 -x176 -x660 x506 x448 -x437 x172 x661 x507 -x219 -x184 x744 -x677 x502 x476 -x453 -x220 -x295 x221 -x823 x750 -x689 -x655 -x550 x500 x477 x456 x316 x237 -x827 -x825 x693 -x654 x454 x339 x312 -x829 -x755 -x311 -x910 -x835 -x911 x831 x819 -x758 x695 x912 x843 -x756 x696 -x344 x928 x820 -x651 x408 x345 -x893 -x703 -x558 x346 -x724 -x557 x414 x373 x362 -x720 x377 -x719 x564 x568 x889 -x569 -x417 -x570 x505 -x481 x438 x504 x441 x440 x170 -x680 x443 -x436 x191 -x683 -x681 x449 x188 -x682 -x676 x445 -x434 -x313 -x240 x187 -x824 x743 x457 -x315 -x241 x745 -x690 -x674 x501 -x236 x751 x694 x747 x698 -x309 -x234 -x830 x759 x697 -x931 -x850 x406 -x310 -x932 -x847 x368 -x927 -x846 -x721 x410 x367 x365 -x723 x366 -x925 x415 x374 x361 -x559 x378 x933 -x717 -x560 x418 x359 -x416 -x718 -x679 x439 x190 -x678 x189 -x239 x444 -x314 -x238 -x460 -x435 x185 -x684 x458 -x685 -x675 x459 x186 x746 x686 -x930 -x849 x762 x699 -x235 -x929 -x848 x760 x761 -x364 -x722 x405 x363 -x844 x404 x411 x369 -x926 -x845 x407 x370 x419 x572 -x934 x360 x571 x1
OK 138
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 (62338 MiB free)
memory of node 1: 64465 MiB (62576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484622-1751294874/watcher-4484622-1751294874 -o /tmp/evaluation-result-4484622-1751294874/solver-4484622-1751294874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751290974-40363 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4484622-1751294874.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40950, runsolver pid=40947
[startup+0.100065 s]*
/proc/loadavg: 4.06 4.11 4.09 5/267 40954
/proc/meminfo: memFree=127898956/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=19048 memory=17388 CPUtime=0.08 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 4126 0 0 0 8 0 0 0 20 0 1 0 45165999 19505152 4347 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 4762 4347 576 696 0 3923 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 23240 KiB
Current children cumulated memory: 20460 KiB
[startup+0.205976 s]*
/proc/loadavg: 4.06 4.11 4.09 5/267 40954
/proc/meminfo: memFree=127887112/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=30868 memory=29012 CPUtime=0.19 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 7202 0 0 0 18 1 0 0 20 0 1 0 45165999 31608832 7253 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 7717 7253 576 696 0 6878 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35060 KiB
Current children cumulated memory: 32084 KiB
[startup+0.305821 s]*
/proc/loadavg: 4.06 4.11 4.09 5/267 40954
/proc/meminfo: memFree=127870984/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=41820 memory=40296 CPUtime=0.28 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 10354 0 0 0 27 1 0 0 20 0 1 0 45165999 42823680 10074 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 10455 10074 576 696 0 9616 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 46012 KiB
Current children cumulated memory: 43368 KiB
[startup+0.700207 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 40954
/proc/meminfo: memFree=127855108/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=83160 memory=81496 CPUtime=0.68 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 20797 0 0 0 65 3 0 0 20 0 1 0 45165999 85155840 20374 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 20790 20374 576 696 0 19951 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 87352 KiB
Current children cumulated memory: 84568 KiB
[startup+1.50021 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 40954
/proc/meminfo: memFree=127806976/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=230872 memory=223960 CPUtime=1.48 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 51600 0 0 0 139 9 0 0 20 0 1 0 45165999 236412928 55990 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 57718 55990 608 696 0 56879 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 235064 KiB
Current children cumulated memory: 227032 KiB
[startup+3.10567 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 40954
/proc/meminfo: memFree=127573192/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=365000 memory=354008 CPUtime=3.08 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 72136 0 0 0 294 14 0 0 20 0 1 0 45165999 373760000 88502 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 91250 88502 608 696 0 90411 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 369192 KiB
Current children cumulated memory: 357080 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 40954
/proc/meminfo: memFree=127401804/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=466448 memory=455660 CPUtime=6.26 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 81101 0 0 0 607 19 0 0 20 0 1 0 45165999 477642752 113915 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 116612 113915 640 696 0 115773 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 470640 KiB
Current children cumulated memory: 458732 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 40955
/proc/meminfo: memFree=127420176/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=455620 memory=447408 CPUtime=12.64 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 90183 0 0 0 1238 26 0 0 20 0 1 0 45165999 466554880 111852 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 113905 111852 640 696 0 113066 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 459812 KiB
Current children cumulated memory: 450480 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 40956
/proc/meminfo: memFree=127424480/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=495352 memory=487820 CPUtime=25.4 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 93632 0 0 0 2511 29 0 0 20 0 1 0 45165999 507240448 121955 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 123838 121955 640 696 0 122999 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 499544 KiB
Current children cumulated memory: 490892 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 40956
/proc/meminfo: memFree=127376072/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=478196 memory=470816 CPUtime=50.93 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 97484 0 0 0 5060 33 0 0 20 0 1 0 45165999 489672704 117704 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 119549 117704 640 696 0 118710 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 482388 KiB
Current children cumulated memory: 473888 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 40959
/proc/meminfo: memFree=127367504/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=461704 memory=454476 CPUtime=101.98 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 102713 0 0 0 10159 39 0 0 20 0 1 0 45165999 472784896 113619 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 115426 113619 640 696 0 114587 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 465896 KiB
Current children cumulated memory: 457548 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/268 40961
/proc/meminfo: memFree=127292120/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=502668 memory=495436 CPUtime=161.79 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 107456 0 0 0 16135 44 0 0 20 0 1 0 45165999 514732032 123859 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 125667 123859 640 696 0 124828 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 506860 KiB
Current children cumulated memory: 498508 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 40970
/proc/meminfo: memFree=127309828/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=458012 memory=450784 CPUtime=221.61 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 111994 0 0 0 22113 48 0 0 20 0 1 0 45165999 469004288 112696 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 114503 112696 640 696 0 113664 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 462204 KiB
################
# More data... #
################
/proc/loadavg: 4.47 4.22 4.14 5/267 41155
/proc/meminfo: memFree=126945676/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=642380 memory=621120 CPUtime=3033.81 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 231916 0 0 0 303102 279 0 0 20 0 1 0 45165999 657797120 155280 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 160595 155280 640 696 0 159756 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 646572 KiB
Current children cumulated memory: 624192 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.20 4.13 5/266 41157
/proc/meminfo: memFree=126904096/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=642092 memory=620832 CPUtime=3093.66 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 232544 0 0 0 309085 281 0 0 20 0 1 0 45165999 657502208 155208 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 160523 155208 640 696 0 159684 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 646284 KiB
Current children cumulated memory: 623904 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/266 41159
/proc/meminfo: memFree=126852932/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=669812 memory=637440 CPUtime=3153.52 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 234345 0 0 0 315068 284 0 0 20 0 1 0 45165999 685887488 159360 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 167453 159360 640 696 0 166614 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 674004 KiB
Current children cumulated memory: 640512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.15 4.12 5/268 41169
/proc/meminfo: memFree=126853028/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=669572 memory=637200 CPUtime=3213.36 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 235760 0 0 0 321049 287 0 0 20 0 1 0 45165999 685641728 159300 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 167393 159300 640 696 0 166554 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 673764 KiB
Current children cumulated memory: 640272 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/268 41171
/proc/meminfo: memFree=126882616/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=670868 memory=642592 CPUtime=3273.22 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 236884 0 0 0 327032 290 0 0 20 0 1 0 45165999 686968832 160648 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 167717 160648 640 696 0 166878 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 675060 KiB
Current children cumulated memory: 645664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/268 41269
/proc/meminfo: memFree=128714188/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=691592 memory=663316 CPUtime=3333.05 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 238495 0 0 0 333012 293 0 0 20 0 1 0 45165999 708190208 165829 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 172898 165829 640 696 0 172059 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 695784 KiB
Current children cumulated memory: 666388 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/268 41271
/proc/meminfo: memFree=128693364/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=691572 memory=663296 CPUtime=3392.9 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 239563 0 0 0 338995 295 0 0 20 0 1 0 45165999 708169728 165824 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 172893 165824 640 696 0 172054 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 695764 KiB
Current children cumulated memory: 666368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/268 41273
/proc/meminfo: memFree=128696252/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=691088 memory=662812 CPUtime=3452.75 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 240017 0 0 0 344978 297 0 0 20 0 1 0 45165999 707674112 165703 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 172772 165703 640 696 0 171933 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 695280 KiB
Current children cumulated memory: 665884 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/267 41275
/proc/meminfo: memFree=128729108/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=645512 memory=624252 CPUtime=3512.59 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 241787 0 0 0 350959 300 0 0 20 0 1 0 45165999 661004288 156063 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 161378 156063 640 696 0 160539 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 649704 KiB
Current children cumulated memory: 627324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/267 41277
/proc/meminfo: memFree=128757036/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=647008 memory=625748 CPUtime=3572.43 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 242922 0 0 0 356940 303 0 0 20 0 1 0 45165999 662536192 156437 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 161752 156437 640 696 0 160913 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 651200 KiB
Current children cumulated memory: 628820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.10 4.11 4.09 5/267 41277
/proc/meminfo: memFree=128767492/131249988 swapFree=33010684/33010684
[pid=40950] ppid=40947 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/40950/stat : 40950 (naps-1.03a6.sh) S 40947 40950 40352 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 45165998 4292608 768 18446744073709551615 94332189958144 94332190852677 140735169834832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94332191091728 94332191139472 94332211789824 140735169837479 140735169837573 140735169837573 140735169843175 0
/proc/40950/statm: 1048 768 704 219 0 110 0
[pid=40954] ppid=40950 vsize=646376 memory=625116 CPUtime=3600.06 cores=4,6
/proc/40954/stat : 40954 (naps-1.03a6) R 40950 40950 40352 0 -1 4194304 243246 0 0 0 359701 305 0 0 20 0 1 0 45165999 661889024 156279 18446744073709551615 4198400 7047149 140737187069024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 7761920 140737187076468 140737187076582 140737187076582 140737187082185 0
/proc/40954/statm: 161594 156279 640 696 0 160755 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 650568 KiB
Current children cumulated memory: 628188 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.01 s]
# the end of solver process 40950 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.02 s, system=3.06023 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): 3610.01
CPU time (s): 3600.08
CPU user time (s): 3597.02
CPU system time (s): 3.06023
CPU usage (%): 99.7249
Max. virtual memory (cumulated for all children) (KiB): 834632
Max. memory (cumulated for all children) (KiB): 820024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.02
system time used= 3.06023
maximum resident set size= 816952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243688
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= 215
involuntary context switches= 1562
# summary of solver processes directly reported to runsolver:
# pid: 40950
# total CPU time (s): 3600.08
# total CPU user time (s): 3597.02
# total CPU system time (s): 3.06023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5488 second user time and 17.0973 second system time
The end
Begin job on nodeC031 at 2025-06-30 16:47:54 IDJOB=4484622 IDBENCH=146663 IDSOLVER=3341 FILE ID=nodeC031/4484622-1751294874 RUNJOBID= nodeC031-1751290974-40363 SLURM_JOB_ID= 9594249 Free space on /tmp= 433044 MiB SOLVER NAME= NaPS naps-1.03a6 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484622-1751294874/watcher-4484622-1751294874 -o /tmp/evaluation-result-4484622-1751294874/solver-4484622-1751294874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751290974-40363 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4484622-1751294874.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0c08209891d9f5241a74237055766898 RANDOM SEED=1144402910 nodeC031 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 : 3599.805 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 : 6999.78 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 : 3599.898 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 : 6999.78 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 : 3592.051 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 : 6999.78 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 : 3700.000 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 : 6999.78 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 : 3608.938 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 : 6999.78 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 : 3599.891 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 : 6999.78 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 : 3599.888 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 : 6999.78 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 : 3597.990 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 : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 127913068 kB MemAvailable: 127922628 kB Buffers: 3280 kB Cached: 816908 kB SwapCached: 0 kB Active: 2148044 kB Inactive: 551020 kB Active(anon): 1896940 kB Inactive(anon): 0 kB Active(file): 251104 kB Inactive(file): 551020 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5524 kB Writeback: 0 kB AnonPages: 1881220 kB Mapped: 111056 kB Shmem: 18064 kB KReclaimable: 93348 kB Slab: 180028 kB SReclaimable: 93348 kB SUnreclaim: 86680 kB KernelStack: 4304 kB PageTables: 6732 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 2325796 kB VmallocTotal: 34359738367 kB VmallocUsed: 150680 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 1288192 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: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433036 MiB End job on nodeC031 at 2025-06-30 17:48:05