0.00/0.00 c NaPS 1.03a2.
0.00/0.00 c Input file name: HOME/instance-4463442-1722352695.wbo
0.00/0.00 c Initial goal by soft: 58723
2.88/2.94 c single stage optimization mode
264.95/265.55 o 47240
3600.00/3610.10 c
3600.00/3610.10 c *** TERMINATED *** by signal 15
3600.00/3610.10 s SATISFIABLE
3600.00/3610.10 c _____________________________________________________________________________
3600.00/3610.10 c std/band forms : 19,0
3600.00/3610.10 c 2cl/3cl ITE-codings : 0,0
3600.00/3610.10 c BDD/srt/adr Max costs : 0,694,1177366
3600.00/3610.10 c BDDraw/bin/mul/srt/adr: 0,0,0,18,1
3600.00/3610.10 c BDD nodes : 0
3600.00/3610.10 c Es1/CC detections : 0,0
3600.00/3610.10 c CC sort : 18
3600.00/3610.10 c SAT/UNSAT calls : 1,0
3600.00/3610.10 c regenrated variables : 0
3600.00/3610.10 c eliminated fixed lits : 0
3600.00/3610.10 c goal lit flips : 319131
3600.00/3610.10 c goal stages : 1
3600.00/3610.10 c goal shrink : 0
3600.00/3610.10 c goal coeff separations: 0
3600.00/3610.10 c restarts : 0
3600.00/3610.10 c conflicts : 0 (0 /sec)
3600.00/3610.10 c decisions : 0 (0 /sec)
3600.00/3610.10 c propagations : 3404 (1 /sec)
3600.00/3610.10 c inspects : 0 (0 /sec)
3600.00/3610.10 c CPU time (solving tm) : 3589 s (3582 s, SAT 261.4 s, UNSAT 0 s)
3600.00/3610.10 c Time for Opt-base : 0.000167 s
3600.00/3610.10 c Steps for Opt-base : 0
3600.00/3610.10 c Time for BDD coding : 0 s
3600.00/3610.10 c Time for srt coding : 0.000993 s
3600.00/3610.10 c _____________________________________________________________________________
3600.00/3610.10 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 v
3600.00/3610.11 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 (49122 MiB free)
memory of node 1: 64473 MiB (62685 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463442-1722352695/watcher-4463442-1722352695 -o /tmp/evaluation-result-4463442-1722352695/solver-4463442-1722352695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722352476-13454 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463442-1722352695.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=14114, runsolver pid=14111
[startup+0.100087 s]*
/proc/loadavg: 4.03 2.74 2.37 5/260 14119
/proc/meminfo: memFree=114464752/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=15416 memory=13476 CPUtime=0.09 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 3334 0 0 0 9 0 0 0 20 0 1 0 1868476 15785984 3369 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 3854 3369 580 659 0 3058 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25348 KiB
Current children cumulated memory: 16084 KiB
[startup+0.205813 s]*
/proc/loadavg: 4.03 2.74 2.37 5/260 14119
/proc/meminfo: memFree=114439056/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=28652 memory=26260 CPUtime=0.19 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 7038 0 0 0 19 0 0 0 20 0 1 0 1868476 29339648 6565 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 7163 6565 580 659 0 6367 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38584 KiB
Current children cumulated memory: 28868 KiB
[startup+0.305575 s]*
/proc/loadavg: 4.03 2.74 2.37 5/260 14119
/proc/meminfo: memFree=114419452/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=33944 memory=31804 CPUtime=0.3 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 8451 0 0 0 29 1 0 0 20 0 1 0 1868476 34758656 7951 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 8486 7951 580 659 0 7690 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43876 KiB
Current children cumulated memory: 34412 KiB
[startup+0.700188 s]
/proc/loadavg: 4.03 2.74 2.37 5/260 14119
/proc/meminfo: memFree=114371700/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=91788 memory=86460 CPUtime=0.69 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 19511 0 0 0 66 3 0 0 20 0 1 0 1868476 93990912 21615 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 22947 21615 580 659 0 22151 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 101720 KiB
Current children cumulated memory: 89068 KiB
[startup+1.50025 s]
/proc/loadavg: 4.03 2.74 2.37 5/260 14119
/proc/meminfo: memFree=114278364/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=177816 memory=170444 CPUtime=1.48 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 31331 0 0 0 143 5 0 0 20 0 1 0 1868476 182083584 42611 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 44454 42611 580 659 0 43658 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187748 KiB
Current children cumulated memory: 173052 KiB
[startup+3.10554 s]
/proc/loadavg: 4.03 2.74 2.37 5/260 14121
/proc/meminfo: memFree=114710836/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=284884 memory=276492 CPUtime=3.09 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 54799 0 0 0 300 9 0 0 20 0 1 0 1868476 291721216 69123 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 71221 69123 612 659 0 70425 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 294816 KiB
Current children cumulated memory: 279100 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 2.78 2.38 5/260 14121
/proc/meminfo: memFree=114685468/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=310308 memory=302032 CPUtime=6.28 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 60672 0 0 0 618 10 0 0 20 0 1 0 1868476 317755392 75508 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 77577 75508 612 659 0 76781 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 320240 KiB
Current children cumulated memory: 304640 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 2.81 2.40 5/260 14122
/proc/meminfo: memFree=114014888/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=310308 memory=302032 CPUtime=12.67 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 60677 0 0 0 1257 10 0 0 20 0 1 0 1868476 317755392 75508 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 77577 75508 612 659 0 76781 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 320240 KiB
Current children cumulated memory: 304640 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 2.87 2.42 5/260 14124
/proc/meminfo: memFree=114174300/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=310308 memory=302032 CPUtime=25.45 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 60685 0 0 0 2535 10 0 0 20 0 1 0 1868476 317755392 75508 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 77577 75508 612 659 0 76781 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 320240 KiB
Current children cumulated memory: 304640 KiB
[startup+51.105 s]
/proc/loadavg: 4.17 2.98 2.47 5/260 14127
/proc/meminfo: memFree=113501236/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=310308 memory=302200 CPUtime=51.01 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 60692 0 0 0 5091 10 0 0 20 0 1 0 1868476 317755392 75550 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 77577 75550 612 659 0 76781 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 320240 KiB
Current children cumulated memory: 304808 KiB
[startup+102.3 s]
/proc/loadavg: 4.40 3.24 2.59 5/259 14137
/proc/meminfo: memFree=111434320/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=310308 memory=302200 CPUtime=102.11 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 60705 0 0 0 10201 10 0 0 20 0 1 0 1868476 317755392 75550 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 77577 75550 612 659 0 76781 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 320240 KiB
Current children cumulated memory: 304808 KiB
[startup+162.3 s]
/proc/loadavg: 4.54 3.50 2.72 5/261 14152
/proc/meminfo: memFree=91311428/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=310308 memory=302200 CPUtime=161.99 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 60715 0 0 0 16189 10 0 0 20 0 1 0 1868476 317755392 75550 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 77577 75550 612 659 0 76781 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 320240 KiB
Current children cumulated memory: 304808 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 3.63 2.82 5/261 14162
/proc/meminfo: memFree=90541976/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=310308 memory=302200 CPUtime=221.86 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 60723 0 0 0 22175 11 0 0 20 0 1 0 1868476 317755392 75550 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 77577 75550 612 659 0 76781 0
Current children cumulated CPU time: 221.86 s
Current children cumulated vsize: 320240 KiB
################
# More data... #
################
/proc/14119/statm: 540355 537097 660 659 0 539559 0
Current children cumulated CPU time: 3093.76 s
Current children cumulated vsize: 2171352 KiB
Current children cumulated memory: 2150996 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/261 16339
/proc/meminfo: memFree=117817180/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=2161420 memory=2148388 CPUtime=3153.57 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 552582 0 0 0 314362 995 0 0 20 0 1 0 1868476 2213294080 537097 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 540355 537097 660 659 0 539559 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 2171352 KiB
Current children cumulated memory: 2150996 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.13 4.05 5/261 16349
/proc/meminfo: memFree=117549360/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=2161420 memory=2148388 CPUtime=3213.38 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 553226 0 0 0 320343 995 0 0 20 0 1 0 1868476 2213294080 537097 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 540355 537097 660 659 0 539559 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 2171352 KiB
Current children cumulated memory: 2150996 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.13 4.05 5/261 16360
/proc/meminfo: memFree=117751020/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=2195292 memory=2182260 CPUtime=3273.19 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 555541 0 0 0 326313 1006 0 0 20 0 1 0 1868476 2247979008 545565 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 548823 545565 660 659 0 548027 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 2205224 KiB
Current children cumulated memory: 2184868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.06 5/261 16370
/proc/meminfo: memFree=117782584/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=2166448 memory=2153416 CPUtime=3333.01 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 558031 0 0 0 332278 1023 0 0 20 0 1 0 1868476 2218442752 538354 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 541612 538354 660 659 0 540816 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 2176380 KiB
Current children cumulated memory: 2156024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.06 5/261 16381
/proc/meminfo: memFree=117703536/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=2238224 memory=2225192 CPUtime=3392.82 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 560212 0 0 0 338248 1034 0 0 20 0 1 0 1868476 2291941376 556298 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 559556 556298 660 659 0 558760 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 2248156 KiB
Current children cumulated memory: 2227800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/261 16391
/proc/meminfo: memFree=117662828/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=2135784 memory=2122752 CPUtime=3452.64 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 561725 0 0 0 344222 1042 0 0 20 0 1 0 1868476 2187042816 530688 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 533946 530688 660 659 0 533150 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 2145716 KiB
Current children cumulated memory: 2125360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/259 16402
/proc/meminfo: memFree=117790564/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=2158060 memory=2145028 CPUtime=3512.45 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 564167 0 0 0 350192 1053 0 0 20 0 1 0 1868476 2209853440 536257 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 539515 536257 660 659 0 538719 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 2167992 KiB
Current children cumulated memory: 2147636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/259 16414
/proc/meminfo: memFree=117829288/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=2121184 memory=2108280 CPUtime=3572.28 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 568624 0 0 0 356161 1067 0 0 20 0 1 0 1868476 2172092416 527070 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 530296 527070 660 659 0 529500 0
Current children cumulated CPU time: 3572.28 s
Current children cumulated vsize: 2131116 KiB
Current children cumulated memory: 2110888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.12 4.13 4.07 5/259 16418
/proc/meminfo: memFree=117274948/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=2121184 memory=2108280 CPUtime=3600 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 569015 0 0 0 358933 1067 0 0 20 0 1 0 1868476 2172092416 527070 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 530296 527070 660 659 0 529500 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2131116 KiB
Current children cumulated memory: 2110888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 14114 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001646 s, system=0.001099 s
[startup+3610.12 s]
# the end of solver process 14119 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3589.34 s, system=10.6776 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+3610.11 s]
/proc/loadavg: 4.12 4.13 4.07 5/259 16418
/proc/meminfo: memFree=117274948/131524600 swapFree=131071728/131071996
[pid=14114] ppid=14111 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/14114/stat : 14114 (naps-1.03.sh) S 14111 14114 13441 0 -1 4194304 218 244 0 0 0 0 0 0 20 0 1 0 1868475 10170368 652 134679101440 93931316240384 93931317319704 140731586631216 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93931319418160 93931319465348 93931335421952 140731586634723 140731586634848 140731586634848 140731586641864 0
/proc/14114/statm: 2483 652 573 264 0 134 0
[pid=14119] ppid=14114 vsize=2121184 memory=2108280 CPUtime=3600 cores=5,7
/proc/14119/stat : 14119 (naps-1.03a2) R 14114 14114 13441 0 -1 4194304 569015 0 0 0 358933 1067 0 0 20 0 1 0 1868476 2172092416 527070 134679101440 4194304 6891597 140721853416656 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15605760 140721853424622 140721853424736 140721853424736 140721853431753 0
/proc/14119/statm: 530296 527070 660 659 0 529500 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2131116 KiB
Current children cumulated memory: 2110888 KiB
Child status: 10
Real time (s): 3610.12
CPU time (s): 3600.02
CPU user time (s): 3589.34
CPU system time (s): 10.6776
CPU usage (%): 99.7202
Max. virtual memory (cumulated for all children) (KiB): 2657792
Max. memory (cumulated for all children) (KiB): 2637180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.34
system time used= 10.6776
maximum resident set size= 2634572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 569478
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= 227
involuntary context switches= 1585
# summary of solver processes directly reported to runsolver:
# pid: 14114,14119
# total CPU time (s): 3600.02
# total CPU user time (s): 3589.34
# total CPU system time (s): 10.6776
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61284 second user time and 17.4179 second system time
The end
Begin job on nodeC024 at 2024-07-30 17:18:15
IDJOB=4463442
IDBENCH=143882
IDSOLVER=3090
FILE ID=nodeC024/4463442-1722352695
RUNJOBID= nodeC024-1722352476-13454
SLURM_JOB_ID= 8249031
Free space on /tmp= 890052 MiB
SOLVER NAME= NaPS 1.03a2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub3_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463442-1722352695/watcher-4463442-1722352695 -o /tmp/evaluation-result-4463442-1722352695/solver-4463442-1722352695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722352476-13454 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463442-1722352695.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 25adf5b940a77273e2a5bcad45fe6bb3
RANDOM SEED=1442318036
nodeC024.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 : 3666.369
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.90
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 : 3679.041
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.73
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.093
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.90
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 : 3615.815
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.73
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 : 3666.379
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.90
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 : 3678.267
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.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.043
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.90
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 : 3658.002
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.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 114494576 kB
MemAvailable: 115633240 kB
Buffers: 54852 kB
Cached: 1916868 kB
SwapCached: 36 kB
Active: 190776 kB
Inactive: 16336944 kB
Active(anon): 1584 kB
Inactive(anon): 14575720 kB
Active(file): 189192 kB
Inactive(file): 1761224 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 14356 kB
Writeback: 52 kB
AnonPages: 14554460 kB
Mapped: 95472 kB
Shmem: 21292 kB
KReclaimable: 56140 kB
Slab: 135820 kB
SReclaimable: 56140 kB
SUnreclaim: 79680 kB
KernelStack: 4160 kB
PageTables: 37400 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 15634620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 9793536 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: 160468 kB
DirectMap2M: 5904384 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 890040 MiB
End job on nodeC024 at 2024-07-30 18:18:25