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-4463714-1722352655.wbo
0.00/0.00 c Initial goal by soft: 45857914
3.38/3.43 c single stage optimization mode
3.68/3.70 o 22907584
3600.06/3611.30 c
3600.06/3611.30 c *** TERMINATED *** by signal 15
3600.06/3611.30 s SATISFIABLE
3600.06/3611.30 c _____________________________________________________________________________
3600.06/3611.30 c std/band forms : 19,0
3600.06/3611.30 c 2cl/3cl ITE-codings : 0,0
3600.06/3611.30 c BDD/srt/adr Max costs : 0,694,1449444
3600.06/3611.30 c BDDraw/bin/mul/srt/adr: 0,0,0,18,1
3600.06/3611.30 c BDD nodes : 0
3600.06/3611.30 c Es1/CC detections : 0,0
3600.06/3611.30 c CC sort : 18
3600.06/3611.30 c SAT/UNSAT calls : 1,0
3600.06/3611.30 c regenrated variables : 0
3600.06/3611.30 c eliminated fixed lits : 0
3600.06/3611.30 c goal lit flips : 0
3600.06/3611.30 c goal stages : 1
3600.06/3611.30 c goal shrink : 0
3600.06/3611.30 c goal coeff separations: 0
3600.06/3611.30 c restarts : 1
3600.06/3611.30 c conflicts : 100 (0 /sec)
3600.06/3611.30 c decisions : 653255 (182 /sec)
3600.06/3611.30 c propagations : 658358 (183 /sec)
3600.06/3611.30 c inspects : 0 (0 /sec)
3600.06/3611.30 c CPU time (solving tm) : 3598 s (3588 s, SAT 0.0757 s, UNSAT 0 s)
3600.06/3611.30 c Time for Opt-base : 0.004177 s
3600.06/3611.30 c Steps for Opt-base : 0
3600.06/3611.30 c Time for BDD coding : 0 s
3600.06/3611.30 c Time for srt coding : 0.001184 s
3600.06/3611.30 c _____________________________________________________________________________
3600.06/3611.30 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.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 v
3600.06/3611.30 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: 64096 MiB (37673 MiB free)
memory of node 1: 64473 MiB (60112 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463714-1722352655/watcher-4463714-1722352655 -o /tmp/evaluation-result-4463714-1722352655/solver-4463714-1722352655 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722352597-14017 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463714-1722352655.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14347, runsolver pid=14344
[startup+0.100077 s]*
/proc/loadavg: 3.01 1.74 2.22 5/251 14352
/proc/meminfo: memFree=100114884/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=16404 memory=9724 CPUtime=0.1 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 2138 0 0 0 10 0 0 0 20 0 1 0 1863097 16797696 2431 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 4101 2431 436 659 0 3305 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26336 KiB
Current children cumulated memory: 12464 KiB
[startup+0.213709 s]*
/proc/loadavg: 3.01 1.74 2.22 5/251 14352
/proc/meminfo: memFree=100097512/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=21788 memory=15824 CPUtime=0.21 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 3719 0 0 0 21 0 0 0 20 0 1 0 1863097 22310912 3956 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 5447 3956 436 659 0 4651 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31720 KiB
Current children cumulated memory: 18564 KiB
[startup+0.313533 s]*
/proc/loadavg: 3.01 1.74 2.22 5/251 14352
/proc/meminfo: memFree=100079572/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=28468 memory=21848 CPUtime=0.31 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 5441 0 0 0 30 1 0 0 20 0 1 0 1863097 29151232 5462 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 7117 5462 436 659 0 6321 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38400 KiB
Current children cumulated memory: 24588 KiB
[startup+0.700444 s]
/proc/loadavg: 3.01 1.74 2.22 5/251 14352
/proc/meminfo: memFree=100050100/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=52908 memory=46052 CPUtime=0.69 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 11356 0 0 0 67 2 0 0 20 0 1 0 1863097 54177792 11513 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 13227 11513 436 659 0 12431 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62840 KiB
Current children cumulated memory: 48792 KiB
[startup+1.50043 s]
/proc/loadavg: 3.01 1.74 2.22 5/251 14352
/proc/meminfo: memFree=99962464/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=111968 memory=102360 CPUtime=1.49 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 24645 0 0 0 144 5 0 0 20 0 1 0 1863097 114655232 25590 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 27992 25590 436 659 0 27196 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121900 KiB
Current children cumulated memory: 105100 KiB
[startup+3.1133 s]
/proc/loadavg: 3.09 1.78 2.22 5/251 14353
/proc/meminfo: memFree=99233012/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=256148 memory=237676 CPUtime=3.09 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 56724 0 0 0 299 10 0 0 20 0 1 0 1863097 262295552 59419 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 64037 59419 468 659 0 63241 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 266080 KiB
Current children cumulated memory: 240416 KiB
[startup+6.30042 s]
/proc/loadavg: 3.09 1.78 2.22 5/251 14355
/proc/meminfo: memFree=97675468/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=652924 memory=606072 CPUtime=6.27 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 108108 0 0 0 607 20 0 0 20 0 1 0 1863097 668594176 151518 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 163231 151518 468 659 0 162435 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 662856 KiB
Current children cumulated memory: 608812 KiB
[startup+12.7004 s]
/proc/loadavg: 3.24 1.84 2.24 5/251 14355
/proc/meminfo: memFree=93391864/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=1996512 memory=1914480 CPUtime=12.65 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 254461 0 0 0 1210 55 0 0 20 0 1 0 1863097 2044428288 478620 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 499128 478620 468 659 0 498332 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2006444 KiB
Current children cumulated memory: 1917220 KiB
[startup+25.5004 s]
/proc/loadavg: 3.41 1.94 2.27 5/250 14358
/proc/meminfo: memFree=87444304/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2008552 memory=1927100 CPUtime=25.43 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 256678 0 0 0 2487 56 0 0 20 0 1 0 1863097 2056757248 481775 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 502138 481775 468 659 0 501342 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2018484 KiB
Current children cumulated memory: 1929840 KiB
[startup+51.1133 s]
/proc/loadavg: 3.61 2.11 2.32 5/250 14361
/proc/meminfo: memFree=84146772/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2008552 memory=1927100 CPUtime=50.96 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 256889 0 0 0 5040 56 0 0 20 0 1 0 1863097 2056757248 481775 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 502138 481775 468 659 0 501342 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2018484 KiB
Current children cumulated memory: 1929840 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 2.48 2.43 5/249 14372
/proc/meminfo: memFree=82367404/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2012940 memory=1945120 CPUtime=101.99 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 258675 0 0 0 10141 58 0 0 20 0 1 0 1863097 2061250560 486280 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 503235 486280 468 659 0 502439 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2022872 KiB
Current children cumulated memory: 1947860 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 2.77 2.54 5/251 14386
/proc/meminfo: memFree=76872716/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2019408 memory=1955768 CPUtime=161.81 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 260517 0 0 0 16121 60 0 0 20 0 1 0 1863097 2067873792 488942 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 504852 488942 468 659 0 504056 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2029340 KiB
Current children cumulated memory: 1958508 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.03 2.64 5/249 14396
/proc/meminfo: memFree=76096888/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2023384 memory=1967972 CPUtime=221.62 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 261780 0 0 0 22101 61 0 0 20 0 1 0 1863097 2071945216 491993 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 505846 491993 468 659 0 505050 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2033316 KiB
################
# More data... #
################
/proc/14352/statm: 582054 531163 468 659 0 581258 0
Current children cumulated CPU time: 3092.66 s
Current children cumulated vsize: 2338148 KiB
Current children cumulated memory: 2127392 KiB
[startup+3162.3 s]
/proc/loadavg: 3.15 3.58 3.84 4/239 16413
/proc/meminfo: memFree=103708592/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2328216 memory=2138988 CPUtime=3152.47 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 296971 0 0 0 315104 143 0 0 20 0 1 0 1863097 2384093184 534747 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 582054 534747 468 659 0 581258 0
Current children cumulated CPU time: 3152.47 s
Current children cumulated vsize: 2338148 KiB
Current children cumulated memory: 2141728 KiB
[startup+3222.3 s]
/proc/loadavg: 3.18 3.50 3.80 4/239 16423
/proc/meminfo: memFree=103693200/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2328480 memory=2149560 CPUtime=3212.29 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 297262 0 0 0 321085 144 0 0 20 0 1 0 1863097 2384363520 537390 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 582120 537390 468 659 0 581324 0
Current children cumulated CPU time: 3212.29 s
Current children cumulated vsize: 2338412 KiB
Current children cumulated memory: 2152300 KiB
[startup+3282.3 s]
/proc/loadavg: 3.18 3.44 3.76 4/239 16434
/proc/meminfo: memFree=103795396/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2114744 memory=2064152 CPUtime=3272.1 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 298520 0 0 0 327057 153 0 0 20 0 1 0 1863097 2165497856 516038 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 528686 516038 468 659 0 527890 0
Current children cumulated CPU time: 3272.1 s
Current children cumulated vsize: 2124676 KiB
Current children cumulated memory: 2066892 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.37 3.71 4/239 16445
/proc/meminfo: memFree=103780764/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2330064 memory=2075412 CPUtime=3331.91 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 299411 0 0 0 333036 155 0 0 20 0 1 0 1863097 2385985536 518853 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 582516 518853 468 659 0 581720 0
Current children cumulated CPU time: 3331.91 s
Current children cumulated vsize: 2339996 KiB
Current children cumulated memory: 2078152 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.32 3.67 4/239 16455
/proc/meminfo: memFree=103763580/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2330724 memory=2086296 CPUtime=3391.73 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 299671 0 0 0 339017 156 0 0 20 0 1 0 1863097 2386661376 521574 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 582681 521574 468 659 0 581885 0
Current children cumulated CPU time: 3391.73 s
Current children cumulated vsize: 2340656 KiB
Current children cumulated memory: 2089036 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.29 3.64 4/237 16465
/proc/meminfo: memFree=103742400/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2332184 memory=2102300 CPUtime=3451.54 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 300187 0 0 0 344997 157 0 0 20 0 1 0 1863097 2388156416 525575 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 583046 525575 468 659 0 582250 0
Current children cumulated CPU time: 3451.54 s
Current children cumulated vsize: 2342116 KiB
Current children cumulated memory: 2105040 KiB
[startup+3522.3 s]
/proc/loadavg: 3.16 3.27 3.61 4/237 16477
/proc/meminfo: memFree=103724164/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2332452 memory=2116892 CPUtime=3511.35 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 300405 0 0 0 350977 158 0 0 20 0 1 0 1863097 2388430848 529223 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 583113 529223 468 659 0 582317 0
Current children cumulated CPU time: 3511.35 s
Current children cumulated vsize: 2342384 KiB
Current children cumulated memory: 2119632 KiB
[startup+3582.3 s]
/proc/loadavg: 3.22 3.26 3.58 4/234 16501
/proc/meminfo: memFree=115104576/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2333376 memory=2130192 CPUtime=3571.15 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 300773 0 0 0 356956 159 0 0 20 0 1 0 1863097 2389377024 532548 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 583344 532548 468 659 0 582548 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 2343308 KiB
Current children cumulated memory: 2132932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 2.84 3.17 3.54 3/229 16524
/proc/meminfo: memFree=115161560/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2334324 memory=2137248 CPUtime=3600.06 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 301115 0 0 0 359846 160 0 0 20 0 1 0 1863097 2390347776 534312 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 583581 534312 468 659 0 582785 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2344256 KiB
Current children cumulated memory: 2139988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 14347 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001883 s, system=0.004058 s
[startup+3611.36 s]
# the end of solver process 14352 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.47 s, system=1.66891 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+3611.3 s]
/proc/loadavg: 2.84 3.17 3.54 3/229 16524
/proc/meminfo: memFree=115161560/131655788 swapFree=131071996/131071996
[pid=14347] ppid=14344 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/14347/stat : 14347 (naps-1.03.sh) S 14344 14347 14004 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 1863096 10170368 685 134679101440 94842686889984 94842687969304 140725691970288 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94842690067760 94842690114948 94842714898432 140725691974623 140725691974752 140725691974752 140725691981768 0
/proc/14347/statm: 2483 685 607 264 0 134 0
[pid=14352] ppid=14347 vsize=2334324 memory=2137248 CPUtime=3600.06 cores=5,7
/proc/14352/stat : 14352 (naps-1.03a2) R 14347 14347 14004 0 -1 4194304 301115 0 0 0 359846 160 0 0 20 0 1 0 1863097 2390347776 534312 134679101440 4194304 6891597 140723397252560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9080832 140723397260266 140723397260384 140723397260384 140723397267401 0
/proc/14352/statm: 583581 534312 468 659 0 582785 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2344256 KiB
Current children cumulated memory: 2139988 KiB
Child status: 10
Real time (s): 3611.36
CPU time (s): 3600.14
CPU user time (s): 3598.47
CPU system time (s): 1.66891
CPU usage (%): 99.6893
Max. virtual memory (cumulated for all children) (KiB): 2683476
Max. memory (cumulated for all children) (KiB): 2502108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.47
system time used= 1.66891
maximum resident set size= 2499368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301580
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= 13
involuntary context switches= 7955
# summary of solver processes directly reported to runsolver:
# pid: 14347,14352
# total CPU time (s): 3600.14
# total CPU user time (s): 3598.47
# total CPU system time (s): 1.66891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.9532 second user time and 28.5924 second system time
The end
Begin job on nodeC009 at 2024-07-30 17:17:35
IDJOB=4463714
IDBENCH=143880
IDSOLVER=3091
FILE ID=nodeC009/4463714-1722352655
RUNJOBID= nodeC009-1722352597-14017
SLURM_JOB_ID= 8249034
Free space on /tmp= 723696 MiB
SOLVER NAME= NaPS-GM 1.03a2
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-4463714-1722352655/watcher-4463714-1722352655 -o /tmp/evaluation-result-4463714-1722352655/solver-4463714-1722352655 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722352597-14017 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463714-1722352655.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab58973f8a134afc7bedbaa01ab0bdb8
RANDOM SEED=953305633
nodeC009.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 : 0xb00001f
cpu MHz : 3535.930
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 3655.203
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.418
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 1197.327
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 3609.773
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 3492.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.269
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.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 : 0xb00001f
cpu MHz : 1197.276
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 100146660 kB
MemAvailable: 110138460 kB
Buffers: 60584 kB
Cached: 10758324 kB
SwapCached: 0 kB
Active: 256008 kB
Inactive: 30769480 kB
Active(anon): 1528 kB
Inactive(anon): 20226368 kB
Active(file): 254480 kB
Inactive(file): 10543112 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85448 kB
Writeback: 0 kB
AnonPages: 20206056 kB
Mapped: 93732 kB
Shmem: 21320 kB
KReclaimable: 68816 kB
Slab: 143272 kB
SReclaimable: 68816 kB
SUnreclaim: 74456 kB
KernelStack: 4048 kB
PageTables: 48736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 23400328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7196672 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: 240456 kB
DirectMap2M: 7004160 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC009 at 2024-07-30 18:17:46