0.00/0.01 c NaPS 1.03a6.
0.00/0.01 c Input file name: HOME/instance-4525727-1751624372.wbo
0.00/0.01 c Initial goal by soft: 58723
8.15/8.24 c single stage optimization mode
3600.00/3610.60 o 47240
3600.00/3610.60 o 30290
3600.00/3610.60 c
3600.00/3610.60 c *** TERMINATED *** by signal 15
3600.00/3610.60 s SATISFIABLE
3600.00/3610.60 c _____________________________________________________________________________
3600.00/3610.60 c std/band forms : 21,0
3600.00/3610.60 c 2cl/3cl ITE-codings : 0,0
3600.00/3610.60 c BDD/srt/adr Max costs : 0,694,1177366
3600.00/3610.60 c BDDraw/bin/mul/srt/adr: 0,0,0,18,3
3600.00/3610.60 c BDD nodes : 0
3600.00/3610.60 c Es1/CC detections : 0,0
3600.00/3610.60 c CC sort : 18
3600.00/3610.60 c SAT/UNSAT calls : 2,0
3600.00/3610.60 c regenrated variables : 13
3600.00/3610.60 c eliminated fixed lits : 0
3600.00/3610.60 c goal lit flips : 0
3600.00/3610.60 c goal stages : 1
3600.00/3610.60 c goal shrink : 0
3600.00/3610.60 c goal coeff separations: 0
3600.00/3610.60 c restarts : 100549
3600.00/3610.60 c conflicts : 2415329 (675 /sec)
3600.00/3610.60 c decisions : 183856407 (51411 /sec)
3600.00/3610.60 c propagations : 6245147121 (1746302 /sec)
3600.00/3610.60 c inspects : 0 (0 /sec)
3600.00/3610.60 c CPU time (solving tm) : 3576 s (3562 s, SAT 2637 s, UNSAT 0 s)
3600.00/3610.60 c Time for Opt-base : 0.00018 s
3600.00/3610.60 c Steps for Opt-base : 0
3600.00/3610.60 c Time for BDD coding : 0 s
3600.00/3610.60 c Time for srt coding : 0.001191 s
3600.00/3610.60 c _____________________________________________________________________________
3600.00/3610.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
3600.00/3610.60 v
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: 63665 MiB (40160 MiB free)
memory of node 1: 64507 MiB (28557 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525727-1751624372/watcher-4525727-1751624372 -o /tmp/evaluation-result-4525727-1751624372/solver-4525727-1751624372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86498 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525727-1751624372.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=88017, runsolver pid=88014
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.15 4.18 4.13 5/271 88021
/proc/meminfo: memFree=70357076/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=14016 memory=11912 CPUtime=0.08 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 2866 0 0 0 8 0 0 0 20 0 1 0 78116077 14352384 2978 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 3504 2978 544 696 0 2665 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18208 KiB
Current children cumulated memory: 14984 KiB
[startup+0.205755 s]*
/proc/loadavg: 4.15 4.18 4.13 5/271 88021
/proc/meminfo: memFree=70655676/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=24472 memory=21924 CPUtime=0.18 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 5764 0 0 0 18 0 0 0 20 0 1 0 78116077 25059328 5481 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 6118 5481 544 696 0 5279 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28664 KiB
Current children cumulated memory: 24996 KiB
[startup+0.305712 s]*
/proc/loadavg: 4.15 4.18 4.13 5/271 88021
/proc/meminfo: memFree=70649628/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=30324 memory=28324 CPUtime=0.28 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 7364 0 0 0 28 0 0 0 20 0 1 0 78116077 31051776 7081 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 7581 7081 544 696 0 6742 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34516 KiB
Current children cumulated memory: 31396 KiB
[startup+0.700215 s]
/proc/loadavg: 4.15 4.18 4.13 5/271 88021
/proc/meminfo: memFree=70633752/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=84708 memory=80672 CPUtime=0.68 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 17637 0 0 0 64 4 0 0 20 0 1 0 78116077 86740992 20168 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 21177 20168 544 696 0 20338 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88900 KiB
Current children cumulated memory: 83744 KiB
[startup+1.50021 s]
/proc/loadavg: 4.22 4.19 4.13 5/271 88021
/proc/meminfo: memFree=70585492/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=166460 memory=163980 CPUtime=1.47 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 25691 0 0 0 141 6 0 0 20 0 1 0 78116077 170455040 40995 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 41615 40995 544 696 0 40776 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 170652 KiB
Current children cumulated memory: 167052 KiB
[startup+3.10559 s]
/proc/loadavg: 4.22 4.19 4.13 5/271 88021
/proc/meminfo: memFree=70295160/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=404488 memory=397008 CPUtime=3.07 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 74754 0 0 0 292 15 0 0 20 0 1 0 78116077 414195712 99252 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 101122 99252 544 696 0 100283 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 408680 KiB
Current children cumulated memory: 400080 KiB
[startup+6.3002 s]
/proc/loadavg: 4.20 4.19 4.13 5/271 88021
/proc/meminfo: memFree=69636824/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=1174928 memory=1130776 CPUtime=6.26 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 188313 0 0 0 585 41 0 0 20 0 1 0 78116077 1203126272 282694 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 293732 282694 544 696 0 292893 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1179120 KiB
Current children cumulated memory: 1133848 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.18 4.13 5/271 88022
/proc/meminfo: memFree=68916276/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=1726284 memory=1611220 CPUtime=12.64 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 292615 0 0 0 1205 59 0 0 20 0 1 0 78116077 1767714816 402805 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 431571 402805 576 696 0 430732 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1730476 KiB
Current children cumulated memory: 1614292 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.18 4.13 5/271 88022
/proc/meminfo: memFree=68575148/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2200120 memory=2109312 CPUtime=25.4 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 307078 0 0 0 2453 87 0 0 20 0 1 0 78116077 2252922880 527328 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 550030 527328 608 696 0 549191 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2204312 KiB
Current children cumulated memory: 2112384 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.16 4.12 5/271 88022
/proc/meminfo: memFree=68337896/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2015616 memory=1990612 CPUtime=50.93 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 325322 0 0 0 4961 132 0 0 20 0 1 0 78116077 2063990784 497653 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 503904 497653 608 696 0 503065 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2019808 KiB
Current children cumulated memory: 1993684 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/272 88025
/proc/meminfo: memFree=66363396/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2078304 memory=1987984 CPUtime=101.97 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 353474 0 0 0 9962 235 0 0 20 0 1 0 78116077 2128183296 496996 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 519576 496996 608 696 0 518737 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2082496 KiB
Current children cumulated memory: 1991056 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/272 88027
/proc/meminfo: memFree=65678108/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2079284 memory=1988992 CPUtime=161.79 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 388451 0 0 0 15833 346 0 0 20 0 1 0 78116077 2129186816 497248 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 519821 497248 608 696 0 518982 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2083476 KiB
Current children cumulated memory: 1992064 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/270 88029
/proc/meminfo: memFree=65815288/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2080584 memory=1990544 CPUtime=221.61 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 410884 0 0 0 21744 417 0 0 20 0 1 0 78116077 2130518016 497636 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 520146 497636 608 696 0 519307 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 2084776 KiB
################
# More data... #
################
/proc/88021/statm: 570285 537316 608 696 0 569446 0
Current children cumulated CPU time: 3033.36 s
Current children cumulated vsize: 2285332 KiB
Current children cumulated memory: 2152336 KiB
[startup+3102.3 s]
/proc/loadavg: 3.05 3.28 3.68 4/261 88211
/proc/meminfo: memFree=82552548/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2285200 memory=2153332 CPUtime=3093.21 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 920021 0 0 0 307154 2167 0 0 20 0 1 0 78116077 2340044800 538333 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 571300 538333 608 696 0 570461 0
Current children cumulated CPU time: 3093.21 s
Current children cumulated vsize: 2289392 KiB
Current children cumulated memory: 2156404 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.26 3.64 4/261 88213
/proc/meminfo: memFree=84473912/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2282776 memory=2150796 CPUtime=3153.05 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 921449 0 0 0 313128 2177 0 0 20 0 1 0 78116077 2337562624 537699 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 570694 537699 608 696 0 569855 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 2286968 KiB
Current children cumulated memory: 2153868 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.23 3.61 4/260 88215
/proc/meminfo: memFree=84506508/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2285600 memory=2160128 CPUtime=3212.89 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 939161 0 0 0 319085 2204 0 0 20 0 1 0 78116077 2340454400 540032 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 571400 540032 608 696 0 570561 0
Current children cumulated CPU time: 3212.89 s
Current children cumulated vsize: 2289792 KiB
Current children cumulated memory: 2163200 KiB
[startup+3282.3 s]
/proc/loadavg: 2.52 3.04 3.52 3/252 88247
/proc/meminfo: memFree=90783716/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2305856 memory=2180516 CPUtime=3272.71 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 946587 0 0 0 325039 2232 0 0 20 0 1 0 78116077 2361196544 545129 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 576464 545129 608 696 0 575625 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 2310048 KiB
Current children cumulated memory: 2183588 KiB
[startup+3342.3 s]
/proc/loadavg: 2.26 2.87 3.43 3/253 88252
/proc/meminfo: memFree=89451580/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2303008 memory=2177564 CPUtime=3332.51 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 947705 0 0 0 331008 2243 0 0 20 0 1 0 78116077 2358280192 544391 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 575752 544391 608 696 0 574913 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 2307200 KiB
Current children cumulated memory: 2180636 KiB
[startup+3402.3 s]
/proc/loadavg: 2.15 2.72 3.34 3/254 88259
/proc/meminfo: memFree=90695560/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2470740 memory=2345188 CPUtime=3392.32 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 959981 0 0 0 336954 2278 0 0 20 0 1 0 78116077 2530037760 586297 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 617685 586297 608 696 0 616846 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 2474932 KiB
Current children cumulated memory: 2348260 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.60 3.26 3/254 88261
/proc/meminfo: memFree=90835788/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2316096 memory=2183176 CPUtime=3452.13 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 970058 0 0 0 342904 2309 0 0 20 0 1 0 78116077 2371682304 545794 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 579024 545794 608 696 0 578185 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 2320288 KiB
Current children cumulated memory: 2186248 KiB
[startup+3522.3 s]
/proc/loadavg: 1.46 2.34 3.12 2/247 88293
/proc/meminfo: memFree=102778552/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2311780 memory=2182948 CPUtime=3511.95 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 982728 0 0 0 348849 2346 0 0 20 0 1 0 78116077 2367262720 545737 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 577945 545737 608 696 0 577106 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 2315972 KiB
Current children cumulated memory: 2186020 KiB
[startup+3582.3 s]
/proc/loadavg: 1.21 2.11 2.99 2/247 88295
/proc/meminfo: memFree=102846600/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2320212 memory=2196504 CPUtime=3571.78 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 989621 0 0 0 354809 2369 0 0 20 0 1 0 78116077 2375897088 549126 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 580053 549126 608 696 0 579214 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 2324404 KiB
Current children cumulated memory: 2199576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 1.20 2.03 2.94 2/246 88296
/proc/meminfo: memFree=102784288/131249988 swapFree=33010160/33010684
[pid=88017] ppid=88014 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/88017/stat : 88017 (naps-1.03a6.sh) S 88014 88017 86480 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 78116076 4292608 768 18446744073709551615 94388527882240 94388528776773 140737102596352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388529015824 94388529063568 94388543102976 140737102604709 140737102604803 140737102604803 140737102610407 0
/proc/88017/statm: 1048 768 704 219 0 110 0
[pid=88021] ppid=88017 vsize=2324480 memory=2200772 CPUtime=3600 cores=5,7
/proc/88021/stat : 88021 (naps-1.03a6) R 88017 88017 86480 0 -1 4194304 990813 0 0 0 357621 2379 0 0 20 0 1 0 78116077 2380267520 550193 18446744073709551615 4198400 7047149 140727298986224 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 24080384 140727298992498 140727298992612 140727298992612 140727298998217 0
/proc/88021/statm: 581120 550193 608 696 0 580281 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2328672 KiB
Current children cumulated memory: 2203844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 88017 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.005167 s
[startup+3610.64 s]
# the end of solver process 88021 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3576.22 s, system=23.8385 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.64
CPU time (s): 3600.05
CPU user time (s): 3576.22
CPU system time (s): 23.8385
CPU usage (%): 99.7067
Max. virtual memory (cumulated for all children) (KiB): 2909400
Max. memory (cumulated for all children) (KiB): 2776612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.22
system time used= 23.8385
maximum resident set size= 2777652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 991252
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= 180
involuntary context switches= 3377
# summary of solver processes directly reported to runsolver:
# pid: 88017,88021
# total CPU time (s): 3600.05
# total CPU user time (s): 3576.22
# total CPU system time (s): 23.8385
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98339 second user time and 16.966 second system time
The end
Begin job on nodeC034 at 2025-07-04 12:19:32
IDJOB=4525727
IDBENCH=143882
IDSOLVER=3377
FILE ID=nodeC034/4525727-1751624372
RUNJOBID= nodeC034-1751616154-86498
SLURM_JOB_ID= 9598921
Free space on /tmp= 429892 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub3_wcsp.wbo
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525727-1751624372/watcher-4525727-1751624372 -o /tmp/evaluation-result-4525727-1751624372/solver-4525727-1751624372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86498 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525727-1751624372.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 25adf5b940a77273e2a5bcad45fe6bb3
RANDOM SEED=1209048163
nodeC034 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.761
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.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 : 0xb00002a
cpu MHz : 3599.805
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.53
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 : 3614.400
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.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 : 0xb00002a
cpu MHz : 3607.613
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.240
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.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 : 0xb00002a
cpu MHz : 3599.781
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.53
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 : 3510.429
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.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 : 0xb00002a
cpu MHz : 3674.099
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 70367392 kB
MemAvailable: 94935536 kB
Buffers: 2128 kB
Cached: 25305640 kB
SwapCached: 36 kB
Active: 35189108 kB
Inactive: 24831024 kB
Active(anon): 34726224 kB
Inactive(anon): 4208 kB
Active(file): 462884 kB
Inactive(file): 24826816 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14244 kB
Writeback: 0 kB
AnonPages: 34713520 kB
Mapped: 112472 kB
Shmem: 18068 kB
KReclaimable: 234964 kB
Slab: 328688 kB
SReclaimable: 234964 kB
SUnreclaim: 93724 kB
KernelStack: 4372 kB
PageTables: 70916 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 38740220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 19673088 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429932 MiB
End job on nodeC034 at 2025-07-04 13:19:43