0.00/0.00 c NaPS 1.03a1.
0.00/0.00 c Input file name: HOME/instance-4461408-1722078528.wbo
0.00/0.00 c Initial goal by soft: 45857914
3.08/3.19 c single stage optimization mode
278.04/278.78 o 40055685
3600.04/3610.60 c
3600.04/3610.60 c *** TERMINATED *** by signal 15
3600.04/3610.60 s SATISFIABLE
3600.04/3610.60 c _____________________________________________________________________________
3600.04/3610.60 c std/band forms : 19,0
3600.04/3610.60 c 2cl/3cl ITE-codings : 0,0
3600.04/3610.60 c BDD/srt/adr Max costs : 0,694,1449444
3600.04/3610.60 c BDDraw/bin/mul/srt/adr: 0,0,0,18,1
3600.04/3610.60 c BDD nodes : 0
3600.04/3610.60 c Es1/CC detections : 0,0
3600.04/3610.60 c CC sort : 18
3600.04/3610.60 c SAT/UNSAT calls : 1,0
3600.04/3610.60 c regenrated variables : 0
3600.04/3610.60 c eliminated fixed lits : 0
3600.04/3610.60 c goal lit flips : 326533
3600.04/3610.60 c goal stages : 1
3600.04/3610.60 c goal shrink : 0
3600.04/3610.60 c goal coeff separations: 0
3600.04/3610.60 c restarts : 0
3600.04/3610.60 c conflicts : 0 (0 /sec)
3600.04/3610.60 c decisions : 0 (0 /sec)
3600.04/3610.60 c propagations : 3404 (1 /sec)
3600.04/3610.60 c inspects : 0 (0 /sec)
3600.04/3610.60 c CPU time (solving tm) : 3591 s (3582 s, SAT 274.2 s, UNSAT 0 s)
3600.04/3610.60 c Time for Opt-base : 0.000192 s
3600.04/3610.60 c Steps for Opt-base : 0
3600.04/3610.60 c Time for BDD coding : 0 s
3600.04/3610.60 c Time for srt coding : 0.001029 s
3600.04/3610.60 c _____________________________________________________________________________
3600.04/3610.60 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
3600.04/3610.60 v
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (56877 MiB free)
memory of node 1: 64473 MiB (35795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461408-1722078528/watcher-4461408-1722078528 -o /tmp/evaluation-result-4461408-1722078528/solver-4461408-1722078528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722076679-372795 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461408-1722078528.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=374139, runsolver pid=374136
[startup+0.100091 s]*
/proc/loadavg: 4.90 4.33 4.00 5/264 374144
/proc/meminfo: memFree=94885588/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=15148 memory=13224 CPUtime=0.09 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 3268 0 0 0 9 0 0 0 20 0 1 0 44381078 15511552 3306 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 3787 3306 580 659 0 2991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25080 KiB
Current children cumulated memory: 15924 KiB
[startup+0.205872 s]*
/proc/loadavg: 4.90 4.33 4.00 5/264 374144
/proc/meminfo: memFree=94874668/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=26188 memory=24136 CPUtime=0.19 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 6491 0 0 0 19 0 0 0 20 0 1 0 44381078 26816512 6034 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 6547 6034 580 659 0 5751 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36120 KiB
Current children cumulated memory: 26836 KiB
[startup+0.305803 s]*
/proc/loadavg: 4.90 4.33 4.00 5/264 374144
/proc/meminfo: memFree=94868160/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=32080 memory=30472 CPUtime=0.3 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 8064 0 0 0 29 1 0 0 20 0 1 0 44381078 32849920 7618 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 8020 7618 580 659 0 7224 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42012 KiB
Current children cumulated memory: 33172 KiB
[startup+0.700262 s]
/proc/loadavg: 4.90 4.33 4.00 5/264 374144
/proc/meminfo: memFree=94846236/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=90604 memory=87720 CPUtime=0.68 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 19363 0 0 0 65 3 0 0 20 0 1 0 44381078 92778496 21930 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 22651 21930 580 659 0 21855 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100536 KiB
Current children cumulated memory: 90420 KiB
[startup+1.50027 s]
/proc/loadavg: 4.90 4.33 4.00 5/264 374144
/proc/meminfo: memFree=94795628/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=178328 memory=168552 CPUtime=1.48 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 30877 0 0 0 142 6 0 0 20 0 1 0 44381078 182607872 42138 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 44582 42138 580 659 0 43786 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188260 KiB
Current children cumulated memory: 171252 KiB
[startup+3.10576 s]
/proc/loadavg: 4.83 4.33 4.00 5/264 374144
/proc/meminfo: memFree=94614500/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=290612 memory=283052 CPUtime=3.08 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 56443 0 0 0 298 10 0 0 20 0 1 0 44381078 297586688 70763 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 72653 70763 612 659 0 71857 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 300544 KiB
Current children cumulated memory: 285752 KiB
[startup+6.30025 s]
/proc/loadavg: 4.83 4.33 4.00 5/264 374144
/proc/meminfo: memFree=94599388/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=316556 memory=309120 CPUtime=6.27 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 62416 0 0 0 616 11 0 0 20 0 1 0 44381078 324153344 77280 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 79139 77280 612 659 0 78343 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 326488 KiB
Current children cumulated memory: 311820 KiB
[startup+12.7003 s]
/proc/loadavg: 4.76 4.32 4.00 5/264 374145
/proc/meminfo: memFree=97751568/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=316556 memory=309120 CPUtime=12.66 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 62420 0 0 0 1255 11 0 0 20 0 1 0 44381078 324153344 77280 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 79139 77280 612 659 0 78343 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 326488 KiB
Current children cumulated memory: 311820 KiB
[startup+25.5002 s]
/proc/loadavg: 4.74 4.34 4.01 4/266 374150
/proc/meminfo: memFree=90477224/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=316556 memory=309120 CPUtime=25.43 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 62436 0 0 0 2532 11 0 0 20 0 1 0 44381078 324153344 77280 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 79139 77280 612 659 0 78343 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 326488 KiB
Current children cumulated memory: 311820 KiB
[startup+51.1048 s]
/proc/loadavg: 4.55 4.33 4.02 5/266 374210
/proc/meminfo: memFree=118901480/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=316556 memory=309564 CPUtime=50.99 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 62461 0 0 0 5087 12 0 0 20 0 1 0 44381078 324153344 77391 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 79139 77391 612 659 0 78343 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 326488 KiB
Current children cumulated memory: 312264 KiB
[startup+102.3 s]
/proc/loadavg: 4.32 4.29 4.02 5/266 374220
/proc/meminfo: memFree=112359556/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=316556 memory=311408 CPUtime=102.07 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 62513 0 0 0 10195 12 0 0 20 0 1 0 44381078 324153344 77852 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 79139 77852 612 659 0 78343 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 326488 KiB
Current children cumulated memory: 314108 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.25 4.02 5/268 374234
/proc/meminfo: memFree=107786724/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=316556 memory=315524 CPUtime=161.92 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 62577 0 0 0 16180 12 0 0 20 0 1 0 44381078 324153344 78881 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 79139 78881 612 659 0 78343 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 326488 KiB
Current children cumulated memory: 318224 KiB
[startup+222.3 s]
/proc/loadavg: 4.57 4.35 4.06 5/268 374245
/proc/meminfo: memFree=107403232/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=316556 memory=315524 CPUtime=221.77 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 62634 0 0 0 22165 12 0 0 20 0 1 0 44381078 324153344 78881 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 79139 78881 612 659 0 78343 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 326488 KiB
################
# More data... #
################
/proc/374144/statm: 654742 633458 660 659 0 653946 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 2628900 KiB
Current children cumulated memory: 2536532 KiB
[startup+3102.3 s]
/proc/loadavg: 3.13 3.16 3.47 4/251 376216
/proc/meminfo: memFree=104093752/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=2624668 memory=2539532 CPUtime=3093.27 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 542027 0 0 0 308479 848 0 0 20 0 1 0 44381078 2687660032 634883 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 656167 634883 660 659 0 655371 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 2634600 KiB
Current children cumulated memory: 2542232 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.14 3.45 4/249 376239
/proc/meminfo: memFree=103655180/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=3062248 memory=2977008 CPUtime=3153.08 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 543049 0 0 0 314450 858 0 0 20 0 1 0 44381078 3135741952 744252 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 765562 744252 660 659 0 764766 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 3072180 KiB
Current children cumulated memory: 2979708 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.13 3.42 4/249 376250
/proc/meminfo: memFree=104096876/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=2621320 memory=2536184 CPUtime=3212.89 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 543405 0 0 0 320430 859 0 0 20 0 1 0 44381078 2684231680 634046 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 655330 634046 660 659 0 654534 0
Current children cumulated CPU time: 3212.89 s
Current children cumulated vsize: 2631252 KiB
Current children cumulated memory: 2538884 KiB
[startup+3282.3 s]
/proc/loadavg: 3.18 3.15 3.41 4/249 376261
/proc/meminfo: memFree=104081668/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=2632832 memory=2551112 CPUtime=3272.71 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 547130 0 0 0 326396 875 0 0 20 0 1 0 44381078 2696019968 637778 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 658208 637778 660 659 0 657412 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 2642764 KiB
Current children cumulated memory: 2553812 KiB
[startup+3342.3 s]
/proc/loadavg: 3.33 3.21 3.42 4/248 376272
/proc/meminfo: memFree=104471396/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=2632832 memory=2551112 CPUtime=3332.53 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 548180 0 0 0 332375 878 0 0 20 0 1 0 44381078 2696019968 637778 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 658208 637778 660 659 0 657412 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 2642764 KiB
Current children cumulated memory: 2553812 KiB
[startup+3402.3 s]
/proc/loadavg: 3.17 3.19 3.39 4/248 376282
/proc/meminfo: memFree=104081272/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=2632832 memory=2551112 CPUtime=3392.36 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 548657 0 0 0 338358 878 0 0 20 0 1 0 44381078 2696019968 637778 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 658208 637778 660 659 0 657412 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 2642764 KiB
Current children cumulated memory: 2553812 KiB
[startup+3462.3 s]
/proc/loadavg: 3.18 3.18 3.38 4/248 376292
/proc/meminfo: memFree=104080400/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=2633424 memory=2551704 CPUtime=3452.17 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 549957 0 0 0 344329 888 0 0 20 0 1 0 44381078 2696626176 637926 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 658356 637926 660 659 0 657560 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 2643356 KiB
Current children cumulated memory: 2554404 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.16 3.36 4/249 376304
/proc/meminfo: memFree=104080072/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=2633424 memory=2551704 CPUtime=3512.01 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 550515 0 0 0 350311 890 0 0 20 0 1 0 44381078 2696626176 637926 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 658356 637926 660 659 0 657560 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 2643356 KiB
Current children cumulated memory: 2554404 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.14 3.34 4/249 376315
/proc/meminfo: memFree=104080640/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=2632688 memory=2550968 CPUtime=3571.82 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 552214 0 0 0 356281 901 0 0 20 0 1 0 44381078 2695872512 637742 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 658172 637742 660 659 0 657376 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 2642620 KiB
Current children cumulated memory: 2553668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 3.11 3.14 3.33 4/249 376319
/proc/meminfo: memFree=104080596/131524600 swapFree=131061172/131071996
[pid=374139] ppid=374136 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/374139/stat : 374139 (naps-1.03.sh) S 374136 374139 372782 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 44381078 10170368 675 134679101440 94570796752896 94570797832216 140720879700144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94570799930672 94570799977860 94570825080832 140720879703013 140720879703138 140720879703138 140720879710152 0
/proc/374139/statm: 2483 675 598 264 0 134 0
[pid=374144] ppid=374139 vsize=2632688 memory=2550968 CPUtime=3600.04 cores=5,7
/proc/374144/stat : 374144 (naps-1.03) R 374139 374139 372782 0 -1 4194304 552404 0 0 0 359102 902 0 0 20 0 1 0 44381078 2695872512 637742 134679101440 4194304 6891597 140735999477648 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40710144 140735999480822 140735999480934 140735999480934 140735999487947 0
/proc/374144/statm: 658172 637742 660 659 0 657376 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2642620 KiB
Current children cumulated memory: 2553668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 374139 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001674 s, system=0.001146 s
[startup+3610.66 s]
# the end of solver process 374144 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.03 s, system=9.0814 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.66
CPU time (s): 3600.11
CPU user time (s): 3591.03
CPU system time (s): 9.0814
CPU usage (%): 99.7078
Max. virtual memory (cumulated for all children) (KiB): 3203956
Max. memory (cumulated for all children) (KiB): 3112656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.03
system time used= 9.0814
maximum resident set size= 3109956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552864
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= 3149
# summary of solver processes directly reported to runsolver:
# pid: 374139,374144
# total CPU time (s): 3600.11
# total CPU user time (s): 3591.03
# total CPU system time (s): 9.0814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15781 second user time and 18.8303 second system time
The end
Begin job on nodeC018 at 2024-07-27 13:08:48
IDJOB=4461408
IDBENCH=143880
IDSOLVER=3088
FILE ID=nodeC018/4461408-1722078528
RUNJOBID= nodeC018-1722076679-372795
SLURM_JOB_ID= 8248136
Free space on /tmp= 890028 MiB
SOLVER NAME= NaPS 1.03a1
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub3_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461408-1722078528/watcher-4461408-1722078528 -o /tmp/evaluation-result-4461408-1722078528/solver-4461408-1722078528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722076679-372795 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461408-1722078528.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab58973f8a134afc7bedbaa01ab0bdb8
RANDOM SEED=397443839
nodeC018.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 : 3659.452
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.43
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 : 3672.426
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.33
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.009
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.311
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.33
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 : 3659.425
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.43
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 : 3647.598
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.986
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.43
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 : 3675.573
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 94897576 kB
MemAvailable: 103582616 kB
Buffers: 371480 kB
Cached: 9098504 kB
SwapCached: 196 kB
Active: 2361736 kB
Inactive: 33532992 kB
Active(anon): 2504 kB
Inactive(anon): 26475792 kB
Active(file): 2359232 kB
Inactive(file): 7057200 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061172 kB
Dirty: 14872 kB
Writeback: 0 kB
AnonPages: 26422600 kB
Mapped: 111724 kB
Shmem: 53516 kB
KReclaimable: 216864 kB
Slab: 335644 kB
SReclaimable: 216864 kB
SUnreclaim: 118780 kB
KernelStack: 4224 kB
PageTables: 61132 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 30007768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 13312 kB
HardwareCorrupted: 0 kB
AnonHugePages: 13312000 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: 375508 kB
DirectMap2M: 43438080 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889996 MiB
End job on nodeC018 at 2024-07-27 14:08:59