0.00/0.00 c NaPS 1.03.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4456615-1721722353.wbo
2.28/2.31 c single stage optimization mode
2.38/2.48 o 28
3600.06/3612.40 c
3600.06/3612.40 c *** TERMINATED *** by signal 15
3600.06/3612.40 s SATISFIABLE
3600.06/3612.40 c _____________________________________________________________________________
3600.06/3612.40 c std/band forms : 37,0
3600.06/3612.40 c 2cl/3cl ITE-codings : 0,0
3600.06/3612.40 c BDD/srt/adr Max costs : 0,224,1070038
3600.06/3612.40 c BDDraw/bin/mul/srt/adr: 0,0,0,36,1
3600.06/3612.40 c BDD nodes : 0
3600.06/3612.40 c Es1/CC detections : 0,0
3600.06/3612.40 c CC sort : 36
3600.06/3612.40 c SAT/UNSAT calls : 1,0
3600.06/3612.40 c regenrated variables : 0
3600.06/3612.40 c eliminated fixed lits : 0
3600.06/3612.40 c goal lit flips : 0
3600.06/3612.40 c goal stages : 1
3600.06/3612.40 c goal shrink : 0
3600.06/3612.40 c goal coeff separations: 0
3600.06/3612.40 c restarts : 1
3600.06/3612.40 c conflicts : 0 (0 /sec)
3600.06/3612.40 c decisions : 200413 (56 /sec)
3600.06/3612.40 c propagations : 202551 (56 /sec)
3600.06/3612.40 c inspects : 0 (0 /sec)
3600.06/3612.40 c CPU time (solving tm) : 3599 s (3593 s, SAT 0.05185 s, UNSAT 0 s)
3600.06/3612.40 c Time for Opt-base : 0.00262 s
3600.06/3612.40 c Steps for Opt-base : 0
3600.06/3612.40 c Time for BDD coding : 0 s
3600.06/3612.40 c Time for srt coding : 0.000792 s
3600.06/3612.40 c _____________________________________________________________________________
3600.06/3612.40 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
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 v
3600.06/3612.40 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 (48231 MiB free)
memory of node 1: 64473 MiB (46830 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456615-1721722353/watcher-4456615-1721722353 -o /tmp/evaluation-result-4456615-1721722353/solver-4456615-1721722353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721718380-89463 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456615-1721722353.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=91691, runsolver pid=91688
Current StackSize limit: 8192 KiB
[startup+0.100617 s]*
/proc/loadavg: 4.13 4.20 4.16 5/258 91696
/proc/meminfo: memFree=97336732/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=14300 memory=7836 CPUtime=0.09 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 1663 0 0 0 9 0 0 0 20 0 1 0 8763597 14643200 1959 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 3575 1959 436 659 0 2779 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24232 KiB
Current children cumulated memory: 10528 KiB
[startup+0.205631 s]*
/proc/loadavg: 4.13 4.20 4.16 5/258 91696
/proc/meminfo: memFree=97330932/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=20696 memory=13724 CPUtime=0.2 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 3186 0 0 0 20 0 0 0 20 0 1 0 8763597 21192704 3431 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 5174 3431 436 659 0 4378 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30628 KiB
Current children cumulated memory: 16416 KiB
[startup+0.305576 s]*
/proc/loadavg: 4.13 4.20 4.16 5/258 91696
/proc/meminfo: memFree=97325768/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=26568 memory=19200 CPUtime=0.29 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 4558 0 0 0 29 0 0 0 20 0 1 0 8763597 27205632 4800 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 6642 4800 436 659 0 5846 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36500 KiB
Current children cumulated memory: 21892 KiB
[startup+0.70027 s]
/proc/loadavg: 4.13 4.20 4.16 5/258 91696
/proc/meminfo: memFree=97310640/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=50384 memory=42256 CPUtime=0.68 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 10354 0 0 0 67 1 0 0 20 0 1 0 8763597 51593216 10564 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 12596 10564 436 659 0 11800 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60316 KiB
Current children cumulated memory: 44948 KiB
[startup+1.50026 s]
/proc/loadavg: 4.13 4.20 4.16 5/258 91696
/proc/meminfo: memFree=97284208/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=95972 memory=86156 CPUtime=1.48 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 21603 0 0 0 145 3 0 0 20 0 1 0 8763597 98275328 21539 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 23993 21539 436 659 0 23197 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105904 KiB
Current children cumulated memory: 88848 KiB
[startup+3.10559 s]
/proc/loadavg: 4.12 4.20 4.16 5/258 91697
/proc/meminfo: memFree=97157348/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=251616 memory=226736 CPUtime=3.08 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 51414 0 0 0 301 7 0 0 20 0 1 0 8763597 257654784 56684 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 62904 56684 468 659 0 62108 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 261548 KiB
Current children cumulated memory: 229428 KiB
[startup+6.30026 s]
/proc/loadavg: 4.12 4.20 4.16 5/259 91698
/proc/meminfo: memFree=96211492/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1277436 memory=1208492 CPUtime=6.26 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 173979 0 0 0 593 33 0 0 20 0 1 0 8763597 1308094464 302123 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 319359 302123 468 659 0 318563 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1287368 KiB
Current children cumulated memory: 1211184 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.19 4.16 5/259 91700
/proc/meminfo: memFree=95955744/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1594772 memory=1376444 CPUtime=12.64 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 198154 0 0 0 1226 38 0 0 20 0 1 0 8763597 1633046528 344111 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 398693 344111 468 659 0 397897 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1604704 KiB
Current children cumulated memory: 1379136 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.18 4.16 5/258 91701
/proc/meminfo: memFree=95942416/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1602604 memory=1383668 CPUtime=25.4 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 199557 0 0 0 2501 39 0 0 20 0 1 0 8763597 1641066496 345917 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 400651 345917 468 659 0 399855 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1612536 KiB
Current children cumulated memory: 1386360 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.18 4.16 5/258 91704
/proc/meminfo: memFree=95947412/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1602604 memory=1385748 CPUtime=50.91 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 199811 0 0 0 5052 39 0 0 20 0 1 0 8763597 1641066496 346437 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 400651 346437 468 659 0 399855 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1612536 KiB
Current children cumulated memory: 1388440 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/258 91714
/proc/meminfo: memFree=95934928/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1605796 memory=1389432 CPUtime=101.94 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 201050 0 0 0 10153 41 0 0 20 0 1 0 8763597 1644335104 347358 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 401449 347358 468 659 0 400653 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1615728 KiB
Current children cumulated memory: 1392124 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.15 5/256 91725
/proc/meminfo: memFree=95919876/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1608872 memory=1392636 CPUtime=161.73 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 202012 0 0 0 16130 43 0 0 20 0 1 0 8763597 1647484928 348159 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 402218 348159 468 659 0 401422 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1618804 KiB
Current children cumulated memory: 1395328 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/256 91736
/proc/meminfo: memFree=95899060/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1612512 memory=1398268 CPUtime=221.52 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 203175 0 0 0 22108 44 0 0 20 0 1 0 8763597 1651212288 349567 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 403128 349567 468 659 0 402332 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1622444 KiB
################
# More data... #
################
/proc/91696/statm: 412786 360766 468 659 0 411990 0
Current children cumulated CPU time: 3032.03 s
Current children cumulated vsize: 1661076 KiB
Current children cumulated memory: 1445756 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/257 93432
/proc/meminfo: memFree=95475772/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1651540 memory=1443520 CPUtime=3091.83 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 221485 0 0 0 309102 81 0 0 20 0 1 0 8763597 1691176960 360880 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 412885 360880 468 659 0 412089 0
Current children cumulated CPU time: 3091.83 s
Current children cumulated vsize: 1661472 KiB
Current children cumulated memory: 1446212 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/256 93443
/proc/meminfo: memFree=95443352/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1652068 memory=1443968 CPUtime=3151.64 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 221763 0 0 0 315082 82 0 0 20 0 1 0 8763597 1691717632 360992 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 413017 360992 468 659 0 412221 0
Current children cumulated CPU time: 3151.64 s
Current children cumulated vsize: 1662000 KiB
Current children cumulated memory: 1446660 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/256 93453
/proc/meminfo: memFree=95481148/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1652464 memory=1444392 CPUtime=3211.44 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 222059 0 0 0 321062 82 0 0 20 0 1 0 8763597 1692123136 361098 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 413116 361098 468 659 0 412320 0
Current children cumulated CPU time: 3211.44 s
Current children cumulated vsize: 1662396 KiB
Current children cumulated memory: 1447084 KiB
[startup+3282.3 s]
/proc/loadavg: 2.98 3.85 4.06 2/232 93556
/proc/meminfo: memFree=104311468/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1652860 memory=1445052 CPUtime=3271.23 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 222339 0 0 0 327040 83 0 0 20 0 1 0 8763597 1692528640 361263 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 413215 361263 468 659 0 412419 0
Current children cumulated CPU time: 3271.23 s
Current children cumulated vsize: 1662792 KiB
Current children cumulated memory: 1447744 KiB
[startup+3342.3 s]
/proc/loadavg: 1.77 3.35 3.87 2/232 93567
/proc/meminfo: memFree=104308624/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1653668 memory=1447780 CPUtime=3331 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 222784 0 0 0 333017 83 0 0 20 0 1 0 8763597 1693356032 361945 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 413417 361945 468 659 0 412621 0
Current children cumulated CPU time: 3331 s
Current children cumulated vsize: 1663600 KiB
Current children cumulated memory: 1450472 KiB
[startup+3402.3 s]
/proc/loadavg: 1.39 2.95 3.70 2/231 93578
/proc/meminfo: memFree=104307388/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1654592 memory=1448684 CPUtime=3390.77 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 223261 0 0 0 338993 84 0 0 20 0 1 0 8763597 1694302208 362171 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 413648 362171 468 659 0 412852 0
Current children cumulated CPU time: 3390.77 s
Current children cumulated vsize: 1664524 KiB
Current children cumulated memory: 1451376 KiB
[startup+3462.3 s]
/proc/loadavg: 1.19 2.60 3.53 2/233 93592
/proc/meminfo: memFree=104306432/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1655120 memory=1449212 CPUtime=3450.54 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 223745 0 0 0 344970 84 0 0 20 0 1 0 8763597 1694842880 362303 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 413780 362303 468 659 0 412984 0
Current children cumulated CPU time: 3450.54 s
Current children cumulated vsize: 1665052 KiB
Current children cumulated memory: 1451904 KiB
[startup+3522.3 s]
/proc/loadavg: 1.19 2.34 3.38 2/233 93603
/proc/meminfo: memFree=104305620/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1655648 memory=1449768 CPUtime=3510.32 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 224245 0 0 0 350947 85 0 0 20 0 1 0 8763597 1695383552 362442 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 413912 362442 468 659 0 413116 0
Current children cumulated CPU time: 3510.32 s
Current children cumulated vsize: 1665580 KiB
Current children cumulated memory: 1452460 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 2.11 3.23 2/234 93615
/proc/meminfo: memFree=104304612/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1656332 memory=1450524 CPUtime=3570.08 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 224787 0 0 0 356923 85 0 0 20 0 1 0 8763597 1696083968 362631 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 414083 362631 468 659 0 413287 0
Current children cumulated CPU time: 3570.08 s
Current children cumulated vsize: 1666264 KiB
Current children cumulated memory: 1453216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 1.16 2.02 3.17 2/234 93621
/proc/meminfo: memFree=104301680/131524600 swapFree=131071996/131071996
[pid=91691] ppid=91688 vsize=9932 memory=2692 CPUtime=0 cores=0,2
/proc/91691/stat : 91691 (naps-1.03.sh) S 91688 91691 89453 0 -1 4194304 222 242 0 0 0 0 0 0 20 0 1 0 8763597 10170368 673 134679101440 94112043364352 94112044443672 140722776228432 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94112046542128 94112046589316 94112079298560 140722776237027 140722776237156 140722776237156 140722776244168 0
/proc/91691/statm: 2483 673 594 264 0 134 0
[pid=91696] ppid=91691 vsize=1658076 memory=1453152 CPUtime=3600.06 cores=0,2
/proc/91696/stat : 91696 (naps-1.03) R 91691 91691 89453 0 -1 4194304 225294 0 0 0 359921 85 0 0 20 0 1 0 8763597 1697869824 363288 134679101440 4194304 6891213 140723647047408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 13266944 140723647054836 140723647054952 140723647054952 140723647061963 0
/proc/91696/statm: 414519 363288 468 659 0 413723 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1668008 KiB
Current children cumulated memory: 1455844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.41 s]
# the end of solver process 91691 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000846 s, system=0.001984 s
[startup+3612.42 s]
# the end of solver process 91696 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.22 s, system=0.876838 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): 3612.42
CPU time (s): 3600.1
CPU user time (s): 3599.22
CPU system time (s): 0.876838
CPU usage (%): 99.6588
Max. virtual memory (cumulated for all children) (KiB): 1668008
Max. memory (cumulated for all children) (KiB): 1455844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.22
system time used= 0.876838
maximum resident set size= 1453152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225758
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= 137
involuntary context switches= 24751
# summary of solver processes directly reported to runsolver:
# pid: 91691,91696
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.22
# total CPU system time (s): 0.876838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31672 second user time and 18.3476 second system time
The end
Begin job on nodeC027 at 2024-07-23 10:12:33
IDJOB=4456615
IDBENCH=144106
IDSOLVER=3042
FILE ID=nodeC027/4456615-1721722353
RUNJOBID= nodeC027-1721718380-89463
SLURM_JOB_ID= 7770402
Free space on /tmp= 890048 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-eye_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456615-1721722353/watcher-4456615-1721722353 -o /tmp/evaluation-result-4456615-1721722353/solver-4456615-1721722353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721718380-89463 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456615-1721722353.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b6a10b924703f39ba2bfb2cf9649014
RANDOM SEED=504741955
nodeC027.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 : 3643.169
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.74
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 : 3683.683
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.65
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 : 3660.966
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.74
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.262
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.65
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 : 3658.398
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.74
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 : 3683.738
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.65
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 : 3602.302
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.048
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.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 97343840 kB
MemAvailable: 121370884 kB
Buffers: 143568 kB
Cached: 24614492 kB
SwapCached: 0 kB
Active: 968812 kB
Inactive: 32442132 kB
Active(anon): 1584 kB
Inactive(anon): 8689004 kB
Active(file): 967228 kB
Inactive(file): 23753128 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 12588 kB
Writeback: 0 kB
AnonPages: 8652612 kB
Mapped: 105808 kB
Shmem: 37712 kB
KReclaimable: 293024 kB
Slab: 400900 kB
SReclaimable: 293024 kB
SUnreclaim: 107876 kB
KernelStack: 4176 kB
PageTables: 26524 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 9757484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3297280 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: 285396 kB
DirectMap2M: 26750976 kB
DirectMap1G: 109051904 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC027 at 2024-07-23 11:12:46