0.00/0.01 c NaPS 1.03a6.
0.00/0.01 c Input file name: HOME/instance-4525709-1751624336.wbo
0.00/0.01 c Initial goal by soft: 45857914
9.56/9.61 c single stage optimization mode
3600.05/3611.20 o 40055685
3600.05/3611.20 c
3600.05/3611.20 c *** TERMINATED *** by signal 15
3600.05/3611.20 s SATISFIABLE
3600.05/3611.20 c _____________________________________________________________________________
3600.05/3611.20 c std/band forms : 20,0
3600.05/3611.20 c 2cl/3cl ITE-codings : 0,0
3600.05/3611.20 c BDD/srt/adr Max costs : 0,694,1449444
3600.05/3611.20 c BDDraw/bin/mul/srt/adr: 0,0,0,18,2
3600.05/3611.20 c BDD nodes : 0
3600.05/3611.20 c Es1/CC detections : 0,0
3600.05/3611.20 c CC sort : 18
3600.05/3611.20 c SAT/UNSAT calls : 1,0
3600.05/3611.20 c regenrated variables : 0
3600.05/3611.20 c eliminated fixed lits : 0
3600.05/3611.20 c goal lit flips : 0
3600.05/3611.20 c goal stages : 1
3600.05/3611.20 c goal shrink : 0
3600.05/3611.20 c goal coeff separations: 0
3600.05/3611.20 c restarts : 0
3600.05/3611.20 c conflicts : 0 (0 /sec)
3600.05/3611.20 c decisions : 0 (0 /sec)
3600.05/3611.20 c propagations : 3432 (1 /sec)
3600.05/3611.20 c inspects : 0 (0 /sec)
3600.05/3611.20 c CPU time (solving tm) : 3581 s (3567 s, SAT 1.536 s, UNSAT 0 s)
3600.05/3611.20 c Time for Opt-base : 0.000175 s
3600.05/3611.20 c Steps for Opt-base : 0
3600.05/3611.20 c Time for BDD coding : 0 s
3600.05/3611.20 c Time for srt coding : 0.001176 s
3600.05/3611.20 c _____________________________________________________________________________
3600.05/3611.20 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.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 v
3600.05/3611.20 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: 63708 MiB (54209 MiB free)
memory of node 1: 64465 MiB (46308 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525709-1751624336/watcher-4525709-1751624336 -o /tmp/evaluation-result-4525709-1751624336/solver-4525709-1751624336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751617114-104316 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525709-1751624336.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=106184, runsolver pid=106180
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.18 4.15 4.11 5/268 106188
/proc/meminfo: memFree=102909720/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=14024 memory=11916 CPUtime=0.08 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 2865 0 0 0 8 0 0 0 20 0 1 0 78111141 14360576 2979 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 3506 2979 544 696 0 2667 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18216 KiB
Current children cumulated memory: 14860 KiB
[startup+0.205186 s]*
/proc/loadavg: 4.18 4.15 4.11 5/268 106188
/proc/meminfo: memFree=102901908/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=24464 memory=21908 CPUtime=0.18 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 5747 0 0 0 18 0 0 0 20 0 1 0 78111141 25051136 5477 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 6116 5477 544 696 0 5277 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28656 KiB
Current children cumulated memory: 24852 KiB
[startup+0.305207 s]*
/proc/loadavg: 4.18 4.15 4.11 5/268 106188
/proc/meminfo: memFree=102889056/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=30308 memory=28180 CPUtime=0.28 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 7310 0 0 0 28 0 0 0 20 0 1 0 78111141 31035392 7045 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 7577 7045 544 696 0 6738 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34500 KiB
Current children cumulated memory: 31124 KiB
[startup+0.700216 s]
/proc/loadavg: 4.18 4.15 4.11 5/268 106188
/proc/meminfo: memFree=102841932/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=83096 memory=78412 CPUtime=0.68 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 17599 0 0 0 65 3 0 0 20 0 1 0 78111141 85090304 19603 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 20774 19603 544 696 0 19935 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 87288 KiB
Current children cumulated memory: 81356 KiB
[startup+1.5002 s]
/proc/loadavg: 4.18 4.15 4.11 5/268 106188
/proc/meminfo: memFree=102753224/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=167236 memory=157280 CPUtime=1.47 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 29120 0 0 0 141 6 0 0 20 0 1 0 78111141 171249664 39320 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 41809 39320 544 696 0 40970 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 171428 KiB
Current children cumulated memory: 160224 KiB
[startup+3.10505 s]
/proc/loadavg: 4.18 4.15 4.11 5/268 106188
/proc/meminfo: memFree=102600140/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=411800 memory=400304 CPUtime=3.07 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 80200 0 0 0 294 13 0 0 20 0 1 0 78111141 421683200 100076 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 102950 100076 544 696 0 102111 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 415992 KiB
Current children cumulated memory: 403248 KiB
[startup+6.3002 s]
/proc/loadavg: 4.17 4.15 4.11 5/268 106188
/proc/meminfo: memFree=102183624/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=915336 memory=880508 CPUtime=6.26 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 164022 0 0 0 596 30 0 0 20 0 1 0 78111141 937304064 220127 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 228834 220127 544 696 0 227995 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 919528 KiB
Current children cumulated memory: 883452 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.16 4.11 5/268 106188
/proc/meminfo: memFree=99533424/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=1928288 memory=1865692 CPUtime=12.64 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 347055 0 0 0 1197 67 0 0 20 0 1 0 78111141 1974566912 466423 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 482072 466423 576 696 0 481233 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1932480 KiB
Current children cumulated memory: 1868636 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.17 4.12 5/267 106188
/proc/meminfo: memFree=95689712/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2820680 memory=2724288 CPUtime=25.4 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 359096 0 0 0 2451 89 0 0 20 0 1 0 78111141 2888376320 681072 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 705170 681072 608 696 0 704331 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2824872 KiB
Current children cumulated memory: 2727232 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.16 4.11 5/268 106190
/proc/meminfo: memFree=93769012/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2355816 memory=2262236 CPUtime=50.93 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 379548 0 0 0 4954 139 0 0 20 0 1 0 78111141 2412355584 565559 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 588954 565559 608 696 0 588115 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2360008 KiB
Current children cumulated memory: 2265180 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/268 106191
/proc/meminfo: memFree=89405232/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2421456 memory=2328416 CPUtime=101.97 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 407746 0 0 0 9951 246 0 0 20 0 1 0 78111141 2479570944 582104 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 605364 582104 608 696 0 604525 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2425648 KiB
Current children cumulated memory: 2331360 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/268 106193
/proc/meminfo: memFree=88070880/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2422856 memory=2329868 CPUtime=161.8 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 433391 0 0 0 15837 343 0 0 20 0 1 0 78111141 2481004544 582467 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 605714 582467 608 696 0 604875 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2427048 KiB
Current children cumulated memory: 2332812 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/268 106195
/proc/meminfo: memFree=89585588/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2546888 memory=2453852 CPUtime=221.59 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 463996 0 0 0 21714 445 0 0 20 0 1 0 78111141 2608013312 613463 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 636722 613463 608 696 0 635883 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 2551080 KiB
################
# More data... #
################
/proc/106188/statm: 663343 632374 608 696 0 662504 0
Current children cumulated CPU time: 3032.9 s
Current children cumulated vsize: 2657564 KiB
Current children cumulated memory: 2532440 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.65 3.91 4/262 106437
/proc/meminfo: memFree=88194188/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2653372 memory=2529496 CPUtime=3092.72 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 803252 0 0 0 307472 1800 0 0 20 0 1 0 78111141 2717052928 632374 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 663343 632374 608 696 0 662504 0
Current children cumulated CPU time: 3092.72 s
Current children cumulated vsize: 2657564 KiB
Current children cumulated memory: 2532440 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.55 3.86 4/262 106440
/proc/meminfo: memFree=89756916/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2660448 memory=2536572 CPUtime=3152.52 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 805119 0 0 0 313439 1813 0 0 20 0 1 0 78111141 2724298752 634143 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 665112 634143 608 696 0 664273 0
Current children cumulated CPU time: 3152.52 s
Current children cumulated vsize: 2664640 KiB
Current children cumulated memory: 2539516 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.46 3.81 4/262 106443
/proc/meminfo: memFree=88927220/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2800908 memory=2677000 CPUtime=3212.33 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 810872 0 0 0 319404 1829 0 0 20 0 1 0 78111141 2868129792 669250 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 700227 669250 608 696 0 699388 0
Current children cumulated CPU time: 3212.33 s
Current children cumulated vsize: 2805100 KiB
Current children cumulated memory: 2679944 KiB
[startup+3282.3 s]
/proc/loadavg: 3.15 3.41 3.77 4/262 106445
/proc/meminfo: memFree=88060676/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2660448 memory=2536572 CPUtime=3272.15 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 820374 0 0 0 325359 1856 0 0 20 0 1 0 78111141 2724298752 634143 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 665112 634143 608 696 0 664273 0
Current children cumulated CPU time: 3272.15 s
Current children cumulated vsize: 2664640 KiB
Current children cumulated memory: 2539516 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.35 3.72 4/262 106452
/proc/meminfo: memFree=87929308/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2663884 memory=2540008 CPUtime=3331.98 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 822467 0 0 0 331329 1869 0 0 20 0 1 0 78111141 2727817216 635002 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 665971 635002 608 696 0 665132 0
Current children cumulated CPU time: 3331.98 s
Current children cumulated vsize: 2668076 KiB
Current children cumulated memory: 2542952 KiB
[startup+3402.3 s]
/proc/loadavg: 3.04 3.28 3.67 4/262 106456
/proc/meminfo: memFree=89901860/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2688540 memory=2564664 CPUtime=3391.8 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 823998 0 0 0 337297 1883 0 0 20 0 1 0 78111141 2753064960 641166 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 672135 641166 608 696 0 671296 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 2692732 KiB
Current children cumulated memory: 2567608 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.26 3.64 4/261 106458
/proc/meminfo: memFree=89918052/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2688540 memory=2564664 CPUtime=3451.61 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 824639 0 0 0 343277 1884 0 0 20 0 1 0 78111141 2753064960 641166 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 672135 641166 608 696 0 671296 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 2692732 KiB
Current children cumulated memory: 2567608 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.22 3.60 4/260 106460
/proc/meminfo: memFree=89247968/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2688540 memory=2564628 CPUtime=3511.41 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 835857 0 0 0 349229 1912 0 0 20 0 1 0 78111141 2753064960 641157 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 672135 641157 608 696 0 671296 0
Current children cumulated CPU time: 3511.41 s
Current children cumulated vsize: 2692732 KiB
Current children cumulated memory: 2567572 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.21 3.57 4/262 106464
/proc/meminfo: memFree=89202544/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2688540 memory=2564664 CPUtime=3571.23 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 840165 0 0 0 355198 1925 0 0 20 0 1 0 78111141 2753064960 641166 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 672135 641166 608 696 0 671296 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 2692732 KiB
Current children cumulated memory: 2567608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 3.06 3.19 3.55 3/257 106474
/proc/meminfo: memFree=105365452/131250000 swapFree=33010160/33010684
[pid=106184] ppid=106180 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/106184/stat : 106184 (naps-1.03a6.sh) S 106180 106184 104306 0 -1 4194304 231 201 0 0 0 0 0 0 20 0 1 0 78111139 4292608 736 18446744073709551615 93831736160256 93831737054789 140737394096016 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93831737293840 93831737341584 93831750795264 140737394104740 140737394104834 140737394104834 140737394110439 0
/proc/106184/statm: 1048 736 672 219 0 110 0
[pid=106188] ppid=106184 vsize=2745552 memory=2621676 CPUtime=3600.05 cores=0,2
/proc/106188/stat : 106188 (naps-1.03a6) R 106184 106184 104306 0 -1 4194304 841431 0 0 0 358066 1939 0 0 20 0 1 0 78111141 2811445248 655419 18446744073709551615 4198400 7047149 140732204801392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37457920 140732204808561 140732204808675 140732204808675 140732204814281 0
/proc/106188/statm: 686388 655419 608 696 0 685549 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2749744 KiB
Current children cumulated memory: 2624620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.2 s]
# the end of solver process 106184 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003497 s, system=0 s
[startup+3611.28 s]
# the end of solver process 106188 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3580.67 s, system=19.4718 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): 3611.28
CPU time (s): 3600.14
CPU user time (s): 3580.67
CPU system time (s): 19.4718
CPU usage (%): 99.6915
Max. virtual memory (cumulated for all children) (KiB): 3427356
Max. memory (cumulated for all children) (KiB): 3302200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.67
system time used= 19.4718
maximum resident set size= 3299256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841865
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= 131
involuntary context switches= 7922
# summary of solver processes directly reported to runsolver:
# pid: 106184,106188
# total CPU time (s): 3600.14
# total CPU user time (s): 3580.67
# total CPU system time (s): 19.4718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09501 second user time and 16.7935 second system time
The end
Begin job on nodeC016 at 2025-07-04 12:18:56
IDJOB=4525709
IDBENCH=143880
IDSOLVER=3377
FILE ID=nodeC016/4525709-1751624336
RUNJOBID= nodeC016-1751617114-104316
SLURM_JOB_ID= 9598927
Free space on /tmp= 430580 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub3_wcsp.wbo
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525709-1751624336/watcher-4525709-1751624336 -o /tmp/evaluation-result-4525709-1751624336/solver-4525709-1751624336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751617114-104316 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525709-1751624336.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab58973f8a134afc7bedbaa01ab0bdb8
RANDOM SEED=252594877
nodeC016 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.723
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.48
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.642
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.48
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 : 3600.092
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.48
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 : 3599.666
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.48
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.427
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.48
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.734
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.48
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.822
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.48
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 : 3576.505
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 102930940 kB
MemAvailable: 114932240 kB
Buffers: 2144 kB
Cached: 12715380 kB
SwapCached: 28 kB
Active: 15430908 kB
Inactive: 12034444 kB
Active(anon): 14763760 kB
Inactive(anon): 2112 kB
Active(file): 667148 kB
Inactive(file): 12032332 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23096 kB
Writeback: 16 kB
AnonPages: 14750640 kB
Mapped: 109692 kB
Shmem: 18044 kB
KReclaimable: 282116 kB
Slab: 377424 kB
SReclaimable: 282116 kB
SUnreclaim: 95308 kB
KernelStack: 4296 kB
PageTables: 32180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 16538340 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8744960 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430604 MiB
End job on nodeC016 at 2025-07-04 13:19:07