0.00/0.00 c NaPS 1.03a2.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4463710-1722352697.wbo
0.00/0.00 c Initial goal by soft: 58723
3.09/3.10 c single stage optimization mode
3.28/3.37 o 35519
3600.09/3613.50 c
3600.09/3613.50 c *** TERMINATED *** by signal 15
3600.09/3613.50 s SATISFIABLE
3600.09/3613.50 c _____________________________________________________________________________
3600.09/3613.50 c std/band forms : 19,0
3600.09/3613.50 c 2cl/3cl ITE-codings : 0,0
3600.09/3613.50 c BDD/srt/adr Max costs : 0,694,1177366
3600.09/3613.50 c BDDraw/bin/mul/srt/adr: 0,0,0,18,1
3600.09/3613.50 c BDD nodes : 0
3600.09/3613.50 c Es1/CC detections : 0,0
3600.09/3613.50 c CC sort : 18
3600.09/3613.50 c SAT/UNSAT calls : 1,0
3600.09/3613.50 c regenrated variables : 0
3600.09/3613.50 c eliminated fixed lits : 0
3600.09/3613.50 c goal lit flips : 0
3600.09/3613.50 c goal stages : 1
3600.09/3613.50 c goal shrink : 0
3600.09/3613.50 c goal coeff separations: 0
3600.09/3613.50 c restarts : 1
3600.09/3613.50 c conflicts : 98 (0 /sec)
3600.09/3613.50 c decisions : 637713 (177 /sec)
3600.09/3613.50 c propagations : 642793 (179 /sec)
3600.09/3613.50 c inspects : 0 (0 /sec)
3600.09/3613.50 c CPU time (solving tm) : 3597 s (3589 s, SAT 0.07227 s, UNSAT 0 s)
3600.09/3613.50 c Time for Opt-base : 0.004053 s
3600.09/3613.50 c Steps for Opt-base : 0
3600.09/3613.50 c Time for BDD coding : 0 s
3600.09/3613.50 c Time for srt coding : 0.00125 s
3600.09/3613.50 c _____________________________________________________________________________
3600.09/3613.50 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.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 v
3600.09/3613.50 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: 63968 MiB (57640 MiB free)
memory of node 1: 64473 MiB (35096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463710-1722352697/watcher-4463710-1722352697 -o /tmp/evaluation-result-4463710-1722352697/solver-4463710-1722352697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722352471-15150 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463710-1722352697.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16214, runsolver pid=16211
[startup+0.100087 s]*
/proc/loadavg: 4.13 2.76 2.52 5/260 16219
/proc/meminfo: memFree=94942816/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=16408 memory=9724 CPUtime=0.09 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 2155 0 0 0 9 0 0 0 20 0 1 0 1872023 16801792 2431 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 4102 2431 436 659 0 3306 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26340 KiB
Current children cumulated memory: 12412 KiB
[startup+0.205713 s]*
/proc/loadavg: 4.13 2.76 2.52 5/260 16219
/proc/meminfo: memFree=94924752/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=24380 memory=17500 CPUtime=0.19 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 4188 0 0 0 19 0 0 0 20 0 1 0 1872023 24965120 4375 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 6095 4375 436 659 0 5299 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34312 KiB
Current children cumulated memory: 20188 KiB
[startup+0.305646 s]*
/proc/loadavg: 4.13 2.76 2.52 5/260 16219
/proc/meminfo: memFree=94913860/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=32680 memory=25508 CPUtime=0.3 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 6350 0 0 0 29 1 0 0 20 0 1 0 1872023 33464320 6377 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 8170 6377 436 659 0 7374 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42612 KiB
Current children cumulated memory: 28196 KiB
[startup+0.700275 s]
/proc/loadavg: 4.13 2.76 2.52 5/260 16219
/proc/meminfo: memFree=94883580/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=63004 memory=55080 CPUtime=0.68 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 13654 0 0 0 66 2 0 0 20 0 1 0 1872023 64516096 13770 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 15751 13770 436 659 0 14955 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72936 KiB
Current children cumulated memory: 57768 KiB
[startup+1.50026 s]
/proc/loadavg: 4.13 2.76 2.52 5/260 16219
/proc/meminfo: memFree=94813968/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=121848 memory=112836 CPUtime=1.48 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 27219 0 0 0 144 4 0 0 20 0 1 0 1872023 124772352 28209 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 30462 28209 436 659 0 29666 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 131780 KiB
Current children cumulated memory: 115524 KiB
[startup+3.10556 s]
/proc/loadavg: 4.13 2.76 2.52 5/260 16221
/proc/meminfo: memFree=94488628/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=252692 memory=233600 CPUtime=3.09 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 55655 0 0 0 301 8 0 0 20 0 1 0 1872023 258756608 58400 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 63173 58400 468 659 0 62377 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 262624 KiB
Current children cumulated memory: 236288 KiB
[startup+6.30025 s]
/proc/loadavg: 4.12 2.78 2.53 5/260 16221
/proc/meminfo: memFree=93774408/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=980260 memory=921088 CPUtime=6.27 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 139979 0 0 0 599 28 0 0 20 0 1 0 1872023 1003786240 230272 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 245065 230272 468 659 0 244269 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 990192 KiB
Current children cumulated memory: 923776 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 2.80 2.53 5/260 16221
/proc/meminfo: memFree=92724136/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1782692 memory=1604888 CPUtime=12.64 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 212584 0 0 0 1216 48 0 0 20 0 1 0 1872023 1825476608 401222 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 445673 401222 468 659 0 444877 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1792624 KiB
Current children cumulated memory: 1607576 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 2.86 2.56 5/260 16224
/proc/meminfo: memFree=92653508/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1792592 memory=1614104 CPUtime=25.4 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 213987 0 0 0 2491 49 0 0 20 0 1 0 1872023 1835614208 403526 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 448148 403526 468 659 0 447352 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1802524 KiB
Current children cumulated memory: 1616792 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 2.95 2.60 5/260 16377
/proc/meminfo: memFree=104702020/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1792592 memory=1614104 CPUtime=50.92 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 214213 0 0 0 5042 50 0 0 20 0 1 0 1872023 1835614208 403526 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 448148 403526 468 659 0 447352 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1802524 KiB
Current children cumulated memory: 1616792 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.13 2.68 5/259 16385
/proc/meminfo: memFree=92860480/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1792592 memory=1616596 CPUtime=101.94 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 214741 0 0 0 10143 51 0 0 20 0 1 0 1872023 1835614208 404149 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 448148 404149 468 659 0 447352 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1802524 KiB
Current children cumulated memory: 1619284 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.32 2.77 5/261 16499
/proc/meminfo: memFree=105548920/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1797020 memory=1631404 CPUtime=161.73 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 216137 0 0 0 16121 52 0 0 20 0 1 0 1872023 1840148480 407851 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 449255 407851 468 659 0 448459 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1806952 KiB
Current children cumulated memory: 1634092 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.47 2.86 5/261 16708
/proc/meminfo: memFree=104440772/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1798472 memory=1632612 CPUtime=221.52 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 216785 0 0 0 22099 53 0 0 20 0 1 0 1872023 1841635328 408153 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 449618 408153 468 659 0 448822 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1808404 KiB
################
# More data... #
################
/proc/16219/statm: 475609 449774 468 659 0 474813 0
Current children cumulated CPU time: 3090.79 s
Current children cumulated vsize: 1912368 KiB
Current children cumulated memory: 1801784 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/260 18732
/proc/meminfo: memFree=103416552/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=2118164 memory=1842536 CPUtime=3150.56 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 265493 0 0 0 314822 234 0 0 20 0 1 0 1872023 2168999936 460634 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 529541 460634 468 659 0 528745 0
Current children cumulated CPU time: 3150.56 s
Current children cumulated vsize: 2128096 KiB
Current children cumulated memory: 1845224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 18742
/proc/meminfo: memFree=103449948/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1903508 memory=1798128 CPUtime=3210.34 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 266156 0 0 0 320791 243 0 0 20 0 1 0 1872023 1949192192 449532 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 475877 449532 468 659 0 475081 0
Current children cumulated CPU time: 3210.34 s
Current children cumulated vsize: 1913440 KiB
Current children cumulated memory: 1800816 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/260 18753
/proc/meminfo: memFree=103406768/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=2119904 memory=1829836 CPUtime=3270.12 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 267206 0 0 0 326767 245 0 0 20 0 1 0 1872023 2170781696 457459 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 529976 457459 468 659 0 529180 0
Current children cumulated CPU time: 3270.12 s
Current children cumulated vsize: 2129836 KiB
Current children cumulated memory: 1832524 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 18763
/proc/meminfo: memFree=103423808/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1905652 memory=1791976 CPUtime=3329.89 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 267913 0 0 0 332736 253 0 0 20 0 1 0 1872023 1951387648 447994 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 476413 447994 468 659 0 475617 0
Current children cumulated CPU time: 3329.89 s
Current children cumulated vsize: 1915584 KiB
Current children cumulated memory: 1794664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 18775
/proc/meminfo: memFree=103365604/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=2121104 memory=1826916 CPUtime=3389.66 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 268772 0 0 0 338711 255 0 0 20 0 1 0 1872023 2172010496 456729 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 530276 456729 468 659 0 529480 0
Current children cumulated CPU time: 3389.66 s
Current children cumulated vsize: 2131036 KiB
Current children cumulated memory: 1829604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 18786
/proc/meminfo: memFree=103386100/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1907248 memory=1783324 CPUtime=3449.44 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 269591 0 0 0 344680 264 0 0 20 0 1 0 1872023 1953021952 445831 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 476812 445831 468 659 0 476016 0
Current children cumulated CPU time: 3449.44 s
Current children cumulated vsize: 1917180 KiB
Current children cumulated memory: 1786012 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 18796
/proc/meminfo: memFree=103582772/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1907380 memory=1818316 CPUtime=3509.21 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 269912 0 0 0 350655 266 0 0 20 0 1 0 1872023 1953157120 454579 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 476845 454579 468 659 0 476049 0
Current children cumulated CPU time: 3509.21 s
Current children cumulated vsize: 1917312 KiB
Current children cumulated memory: 1821004 KiB
[startup+3582.3 s]
/proc/loadavg: 3.87 4.05 4.07 4/252 18840
/proc/meminfo: memFree=109528532/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=2123240 memory=1851672 CPUtime=3568.99 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 270739 0 0 0 356631 268 0 0 20 0 1 0 1872023 2174197760 462918 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 530810 462918 468 659 0 530014 0
Current children cumulated CPU time: 3568.99 s
Current children cumulated vsize: 2133172 KiB
Current children cumulated memory: 1854360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.5 s]
/proc/loadavg: 3.60 3.96 4.04 4/252 18846
/proc/meminfo: memFree=109585180/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1908448 memory=1790720 CPUtime=3600.09 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 271190 0 0 0 359733 276 0 0 20 0 1 0 1872023 1954250752 447680 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 477112 447680 468 659 0 476316 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1918380 KiB
Current children cumulated memory: 1793408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.5 s]
# the end of solver process 16214 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001207 s, system=0.001611 s
[startup+3613.55 s]
# the end of solver process 16219 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.34 s, system=2.80724 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
[startup+3613.5 s]
/proc/loadavg: 3.60 3.96 4.04 4/252 18846
/proc/meminfo: memFree=109585180/131524600 swapFree=131071996/131071996
[pid=16214] ppid=16211 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/16214/stat : 16214 (naps-1.03.sh) S 16211 16214 15140 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 1872023 10170368 672 134679101440 93978433220608 93978434299928 140736832434112 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93978436398384 93978436445572 93978440052736 140736832439263 140736832439392 140736832439392 140736832446408 0
/proc/16214/statm: 2483 672 592 264 0 134 0
[pid=16219] ppid=16214 vsize=1908448 memory=1790720 CPUtime=3600.09 cores=0,2
/proc/16219/stat : 16219 (naps-1.03a2) R 16214 16214 15140 0 -1 4194304 271190 0 0 0 359733 276 0 0 20 0 1 0 1872023 1954250752 447680 134679101440 4194304 6891597 140728961447024 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20799488 140728961450986 140728961451104 140728961451104 140728961458121 0
/proc/16219/statm: 477112 447680 468 659 0 476316 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1918380 KiB
Current children cumulated memory: 1793408 KiB
Child status: 10
Real time (s): 3613.55
CPU time (s): 3600.15
CPU user time (s): 3597.34
CPU system time (s): 2.80724
CPU usage (%): 99.6292
Max. virtual memory (cumulated for all children) (KiB): 2477180
Max. memory (cumulated for all children) (KiB): 2176504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.34
system time used= 2.80724
maximum resident set size= 2177912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271653
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= 15
involuntary context switches= 24754
# summary of solver processes directly reported to runsolver:
# pid: 16214,16219
# total CPU time (s): 3600.15
# total CPU user time (s): 3597.34
# total CPU system time (s): 2.80724
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87115 second user time and 17.6812 second system time
The end
Begin job on nodeC033 at 2024-07-30 17:18:17
IDJOB=4463710
IDBENCH=143882
IDSOLVER=3091
FILE ID=nodeC033/4463710-1722352697
RUNJOBID= nodeC033-1722352471-15150
SLURM_JOB_ID= 8249030
Free space on /tmp= 890012 MiB
SOLVER NAME= NaPS-GM 1.03a2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub3_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463710-1722352697/watcher-4463710-1722352697 -o /tmp/evaluation-result-4463710-1722352697/solver-4463710-1722352697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722352471-15150 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463710-1722352697.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 25adf5b940a77273e2a5bcad45fe6bb3
RANDOM SEED=417731443
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3654.440
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3687.060
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3649.781
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.198
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3665.034
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3687.097
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3619.278
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3600.272
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 94963908 kB
MemAvailable: 94698624 kB
Buffers: 59816 kB
Cached: 512388 kB
SwapCached: 0 kB
Active: 228492 kB
Inactive: 35797028 kB
Active(anon): 1572 kB
Inactive(anon): 35473092 kB
Active(file): 226920 kB
Inactive(file): 323936 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13956 kB
Writeback: 0 kB
AnonPages: 35453076 kB
Mapped: 93616 kB
Shmem: 21336 kB
KReclaimable: 47368 kB
Slab: 127336 kB
SReclaimable: 47368 kB
SUnreclaim: 79968 kB
KernelStack: 4176 kB
PageTables: 78484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 39331740 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9024 kB
HardwareCorrupted: 0 kB
AnonHugePages: 11728896 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 283348 kB
DirectMap2M: 8927232 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC033 at 2024-07-30 18:18:31