0.00/0.00 c NaPS 1.03a1.
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-4461054-1722077495.wbo
0.00/0.00 c Initial goal by soft: 45857914
3.28/3.33 c single stage optimization mode
3.58/3.60 o 22907584
3600.00/3609.90 c
3600.00/3609.90 c *** TERMINATED *** by signal 15
3600.00/3609.90 s SATISFIABLE
3600.00/3609.90 c _____________________________________________________________________________
3600.00/3609.90 c std/band forms : 19,0
3600.00/3609.90 c 2cl/3cl ITE-codings : 0,0
3600.00/3609.90 c BDD/srt/adr Max costs : 0,694,1449444
3600.00/3609.90 c BDDraw/bin/mul/srt/adr: 0,0,0,18,1
3600.00/3609.90 c BDD nodes : 0
3600.00/3609.90 c Es1/CC detections : 0,0
3600.00/3609.90 c CC sort : 18
3600.00/3609.90 c SAT/UNSAT calls : 1,0
3600.00/3609.90 c regenrated variables : 0
3600.00/3609.90 c eliminated fixed lits : 0
3600.00/3609.90 c goal lit flips : 0
3600.00/3609.90 c goal stages : 1
3600.00/3609.90 c goal shrink : 0
3600.00/3609.90 c goal coeff separations: 0
3600.00/3609.90 c restarts : 1
3600.00/3609.90 c conflicts : 100 (0 /sec)
3600.00/3609.90 c decisions : 653255 (182 /sec)
3600.00/3609.90 c propagations : 658358 (183 /sec)
3600.00/3609.90 c inspects : 0 (0 /sec)
3600.00/3609.90 c CPU time (solving tm) : 3598 s (3588 s, SAT 0.07394 s, UNSAT 0 s)
3600.00/3609.90 c Time for Opt-base : 0.00424 s
3600.00/3609.90 c Steps for Opt-base : 0
3600.00/3609.90 c Time for BDD coding : 0 s
3600.00/3609.90 c Time for srt coding : 0.001211 s
3600.00/3609.90 c _____________________________________________________________________________
3600.00/3609.90 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 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: 63931 MiB (50324 MiB free)
memory of node 1: 64510 MiB (51094 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461054-1722077495/watcher-4461054-1722077495 -o /tmp/evaluation-result-4461054-1722077495/solver-4461054-1722077495 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722076558-372608 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461054-1722077495.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=374116, runsolver pid=374113
Current StackSize limit: 8192 KiB
[startup+0.100239 s]*
/proc/loadavg: 4.27 4.06 3.49 6/265 374121
/proc/meminfo: memFree=103809688/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=15472 memory=9144 CPUtime=0.09 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 2002 0 0 0 9 0 0 0 20 0 1 0 44279101 15843328 2286 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 3868 2286 436 659 0 3072 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25404 KiB
Current children cumulated memory: 11760 KiB
[startup+0.206094 s]*
/proc/loadavg: 4.27 4.06 3.49 6/265 374121
/proc/meminfo: memFree=103762780/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=22184 memory=18396 CPUtime=0.2 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 3837 0 0 0 19 1 0 0 20 0 1 0 44279101 22716416 4599 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 5546 4599 436 659 0 4750 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32116 KiB
Current children cumulated memory: 21012 KiB
[startup+0.306033 s]*
/proc/loadavg: 4.27 4.06 3.49 6/265 374121
/proc/meminfo: memFree=103720976/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=29264 memory=25172 CPUtime=0.3 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 5724 0 0 0 29 1 0 0 20 0 1 0 44279101 29966336 6293 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 7316 6293 436 659 0 6520 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39196 KiB
Current children cumulated memory: 27788 KiB
[startup+0.700275 s]
/proc/loadavg: 4.27 4.06 3.49 6/265 374121
/proc/meminfo: memFree=103635268/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=55944 memory=51436 CPUtime=0.68 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 12663 0 0 0 66 2 0 0 20 0 1 0 44279101 57286656 12859 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 13986 12859 436 659 0 13190 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65876 KiB
Current children cumulated memory: 54052 KiB
[startup+1.50029 s]
/proc/loadavg: 4.27 4.06 3.49 6/265 374121
/proc/meminfo: memFree=103426656/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=120216 memory=108760 CPUtime=1.48 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 26724 0 0 0 144 4 0 0 20 0 1 0 44279101 123101184 27190 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 30054 27190 436 659 0 29258 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 130148 KiB
Current children cumulated memory: 111376 KiB
[startup+3.10585 s]
/proc/loadavg: 4.41 4.09 3.51 5/265 374121
/proc/meminfo: memFree=102766912/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=256148 memory=238340 CPUtime=3.08 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 57917 0 0 0 299 9 0 0 20 0 1 0 44279101 262295552 59585 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 64037 59585 468 659 0 63241 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 266080 KiB
Current children cumulated memory: 240956 KiB
[startup+6.30027 s]
/proc/loadavg: 4.41 4.09 3.51 5/265 374123
/proc/meminfo: memFree=102443688/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=728804 memory=658148 CPUtime=6.27 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 114026 0 0 0 604 23 0 0 20 0 1 0 44279101 746295296 164537 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 182201 164537 468 659 0 181405 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 738736 KiB
Current children cumulated memory: 660764 KiB
[startup+12.7003 s]
/proc/loadavg: 4.46 4.10 3.51 5/265 374123
/proc/meminfo: memFree=101062860/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=1996512 memory=1915624 CPUtime=12.66 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 253476 0 0 0 1206 60 0 0 20 0 1 0 44279101 2044428288 478906 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 499128 478906 468 659 0 498332 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2006444 KiB
Current children cumulated memory: 1918240 KiB
[startup+25.5003 s]
/proc/loadavg: 4.56 4.15 3.54 5/265 374133
/proc/meminfo: memFree=102754480/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2008552 memory=1927636 CPUtime=25.42 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 255627 0 0 0 2481 61 0 0 20 0 1 0 44279101 2056757248 481909 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 502138 481909 468 659 0 501342 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2018484 KiB
Current children cumulated memory: 1930252 KiB
[startup+51.1059 s]
/proc/loadavg: 4.44 4.15 3.56 5/263 374136
/proc/meminfo: memFree=102557096/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2008552 memory=1929684 CPUtime=50.96 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 255894 0 0 0 5034 62 0 0 20 0 1 0 44279101 2056757248 482421 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 502138 482421 468 659 0 501342 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2018484 KiB
Current children cumulated memory: 1932300 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.12 3.58 5/262 374144
/proc/meminfo: memFree=102234920/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2012940 memory=1946256 CPUtime=102.01 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 257426 0 0 0 10138 63 0 0 20 0 1 0 44279101 2061250560 486564 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 503235 486564 468 659 0 502439 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2022872 KiB
Current children cumulated memory: 1948872 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 3.62 5/262 374154
/proc/meminfo: memFree=102135544/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2019540 memory=1956968 CPUtime=161.85 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 259511 0 0 0 16120 65 0 0 20 0 1 0 44279101 2068008960 489242 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 504885 489242 468 659 0 504089 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2029472 KiB
Current children cumulated memory: 1959584 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 3.65 5/261 374548
/proc/meminfo: memFree=102323900/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2023648 memory=1969296 CPUtime=221.68 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 260816 0 0 0 22101 67 0 0 20 0 1 0 44279101 2072215552 492324 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 505912 492324 468 659 0 505116 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2033580 KiB
################
# More data... #
################
/proc/374121/statm: 582087 537728 468 659 0 581291 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 2338280 KiB
Current children cumulated memory: 2153528 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.19 4.18 5/262 376191
/proc/meminfo: memFree=93328556/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2114744 memory=2064400 CPUtime=3153.64 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 298318 0 0 0 315199 165 0 0 20 0 1 0 44279101 2165497856 516100 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 528686 516100 468 659 0 527890 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 2124676 KiB
Current children cumulated memory: 2067016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.17 4.18 5/260 376201
/proc/meminfo: memFree=93297132/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2330064 memory=2076612 CPUtime=3213.48 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 298970 0 0 0 321182 166 0 0 20 0 1 0 44279101 2385985536 519153 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 582516 519153 468 659 0 581720 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 2339996 KiB
Current children cumulated memory: 2079228 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/260 376211
/proc/meminfo: memFree=93305016/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2330592 memory=2087472 CPUtime=3273.31 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 299245 0 0 0 327164 167 0 0 20 0 1 0 44279101 2386526208 521868 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 582648 521868 468 659 0 581852 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 2340524 KiB
Current children cumulated memory: 2090088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/259 376222
/proc/meminfo: memFree=93265808/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2332184 memory=2101340 CPUtime=3333.15 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 299755 0 0 0 333146 169 0 0 20 0 1 0 44279101 2388156416 525335 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 583046 525335 468 659 0 582250 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 2342116 KiB
Current children cumulated memory: 2103956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.16 4/251 376263
/proc/meminfo: memFree=104748744/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2332452 memory=2115968 CPUtime=3392.99 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 299968 0 0 0 339129 170 0 0 20 0 1 0 44279101 2388430848 528992 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 583113 528992 468 659 0 582317 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 2342384 KiB
Current children cumulated memory: 2118584 KiB
[startup+3462.3 s]
/proc/loadavg: 3.46 3.94 4.09 4/251 376273
/proc/meminfo: memFree=104710196/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2333244 memory=2131648 CPUtime=3452.81 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 300353 0 0 0 345110 171 0 0 20 0 1 0 44279101 2389241856 532912 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 583311 532912 468 659 0 582515 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 2343176 KiB
Current children cumulated memory: 2134264 KiB
[startup+3522.3 s]
/proc/loadavg: 3.21 3.78 4.03 4/253 376288
/proc/meminfo: memFree=104674972/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2334720 memory=2145448 CPUtime=3512.65 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 300924 0 0 0 351092 173 0 0 20 0 1 0 44279101 2390753280 536362 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 583680 536362 468 659 0 582884 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 2344652 KiB
Current children cumulated memory: 2148064 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.65 3.97 4/253 376299
/proc/meminfo: memFree=104688984/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2334984 memory=2158020 CPUtime=3572.49 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 301240 0 0 0 357075 174 0 0 20 0 1 0 44279101 2391023616 539505 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 583746 539505 468 659 0 582950 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 2344916 KiB
Current children cumulated memory: 2160636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.15 3.61 3.94 4/253 376304
/proc/meminfo: memFree=104670996/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2335380 memory=2164444 CPUtime=3600 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 301455 0 0 0 359826 174 0 0 20 0 1 0 44279101 2391429120 541111 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 583845 541111 468 659 0 583049 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2345312 KiB
Current children cumulated memory: 2167060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 374116 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002411 s, system=0.000483 s
[startup+3609.96 s]
# the end of solver process 374121 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.28 s, system=1.80157 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+3609.9 s]
/proc/loadavg: 3.15 3.61 3.94 4/253 376304
/proc/meminfo: memFree=104670996/131524600 swapFree=131058088/131071996
[pid=374116] ppid=374113 vsize=9932 memory=2616 CPUtime=0 cores=1,3
/proc/374116/stat : 374116 (naps-1.03.sh) S 374113 374116 372596 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 44279101 10170368 654 134679101440 94059331440640 94059332519960 140735840747968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94059334618416 94059334665604 94059342073856 140735840756701 140735840756830 140735840756830 140735840763848 0
/proc/374116/statm: 2483 654 574 264 0 134 0
[pid=374121] ppid=374116 vsize=2335380 memory=2164444 CPUtime=3600 cores=1,3
/proc/374121/stat : 374121 (naps-1.03) R 374116 374116 372596 0 -1 4194304 301455 0 0 0 359826 174 0 0 20 0 1 0 44279101 2391429120 541111 134679101440 4194304 6891597 140729220901408 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 32694272 140729220903918 140729220904034 140729220904034 140729220911051 0
/proc/374121/statm: 583845 541111 468 659 0 583049 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2345312 KiB
Current children cumulated memory: 2167060 KiB
Child status: 10
Real time (s): 3609.96
CPU time (s): 3600.08
CPU user time (s): 3598.28
CPU system time (s): 1.80157
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 2683476
Max. memory (cumulated for all children) (KiB): 2503892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.28
system time used= 1.80157
maximum resident set size= 2501276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301941
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= 19
involuntary context switches= 4395
# summary of solver processes directly reported to runsolver:
# pid: 374116,374121
# total CPU time (s): 3600.08
# total CPU user time (s): 3598.28
# total CPU system time (s): 1.80157
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52903 second user time and 18.5418 second system time
The end
Begin job on nodeC031 at 2024-07-27 12:51:36
IDJOB=4461054
IDBENCH=143880
IDSOLVER=3087
FILE ID=nodeC031/4461054-1722077495
RUNJOBID= nodeC031-1722076558-372608
SLURM_JOB_ID= 8248133
Free space on /tmp= 890000 MiB
SOLVER NAME= NaPS-GM 1.03a1
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub3_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461054-1722077495/watcher-4461054-1722077495 -o /tmp/evaluation-result-4461054-1722077495/solver-4461054-1722077495 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722076558-372608 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461054-1722077495.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab58973f8a134afc7bedbaa01ab0bdb8
RANDOM SEED=696120531
nodeC031.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 : 3607.268
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 : 7000.44
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 : 3643.649
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 : 7007.12
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.552
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 : 7000.44
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 : 3668.306
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 : 7007.12
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 : 3607.272
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 : 7000.44
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 : 3668.154
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 : 7007.12
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 : 3600.230
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 : 7000.44
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 : 3634.681
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 103859536 kB
MemAvailable: 108942108 kB
Buffers: 371416 kB
Cached: 5349940 kB
SwapCached: 164 kB
Active: 2255940 kB
Inactive: 24425056 kB
Active(anon): 1932 kB
Inactive(anon): 21010632 kB
Active(file): 2254008 kB
Inactive(file): 3414424 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131058088 kB
Dirty: 2195180 kB
Writeback: 0 kB
AnonPages: 20958028 kB
Mapped: 316448 kB
Shmem: 53124 kB
KReclaimable: 475372 kB
Slab: 593040 kB
SReclaimable: 475372 kB
SUnreclaim: 117668 kB
KernelStack: 4268 kB
PageTables: 51188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 23644236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 15904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6901760 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: 371412 kB
DirectMap2M: 39247872 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC031 at 2024-07-27 13:51:46