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-4426285-1720901800.wbo
2.98/3.09 c single stage optimization mode
3.29/3.36 o 35519
3600.01/3609.40 c
3600.01/3609.40 c *** TERMINATED *** by signal 15
3600.01/3609.40 s SATISFIABLE
3600.01/3609.40 c _____________________________________________________________________________
3600.01/3609.40 c std/band forms : 19,0
3600.01/3609.40 c 2cl/3cl ITE-codings : 0,0
3600.01/3609.40 c BDD/srt/adr Max costs : 0,694,1177366
3600.01/3609.40 c BDDraw/bin/mul/srt/adr: 0,0,0,18,1
3600.01/3609.40 c BDD nodes : 0
3600.01/3609.40 c Es1/CC detections : 0,0
3600.01/3609.40 c CC sort : 18
3600.01/3609.40 c SAT/UNSAT calls : 1,0
3600.01/3609.40 c regenrated variables : 0
3600.01/3609.40 c eliminated fixed lits : 0
3600.01/3609.40 c goal lit flips : 0
3600.01/3609.40 c goal stages : 1
3600.01/3609.40 c goal shrink : 0
3600.01/3609.40 c goal coeff separations: 0
3600.01/3609.40 c restarts : 1
3600.01/3609.40 c conflicts : 98 (0 /sec)
3600.01/3609.40 c decisions : 637713 (177 /sec)
3600.01/3609.40 c propagations : 642793 (179 /sec)
3600.01/3609.40 c inspects : 0 (0 /sec)
3600.01/3609.40 c CPU time (solving tm) : 3598 s (3589 s, SAT 0.07411 s, UNSAT 0 s)
3600.01/3609.40 c Time for Opt-base : 0.004101 s
3600.01/3609.40 c Steps for Opt-base : 0
3600.01/3609.40 c Time for BDD coding : 0 s
3600.01/3609.40 c Time for srt coding : 0.001242 s
3600.01/3609.40 c _____________________________________________________________________________
3600.01/3609.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 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.40 v
3600.01/3609.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 (61246 MiB free)
memory of node 1: 64473 MiB (61775 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426285-1720901800/watcher-4426285-1720901800 -o /tmp/evaluation-result-4426285-1720901800/solver-4426285-1720901800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720901807-721063 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426285-1720901800.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=721236, runsolver pid=721233
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 0.52 0.20 0.12 5/258 721241
/proc/meminfo: memFree=125942920/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=16408 memory=9716 CPUtime=0.1 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 2153 0 0 0 10 0 0 0 20 0 1 0 142345013 16801792 2429 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 4102 2429 436 659 0 3306 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26340 KiB
Current children cumulated memory: 12488 KiB
[startup+0.20558 s]*
/proc/loadavg: 0.52 0.20 0.12 5/258 721241
/proc/meminfo: memFree=125893924/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=24380 memory=19408 CPUtime=0.2 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 4128 0 0 0 20 0 0 0 20 0 1 0 142345013 24965120 4852 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 6095 4852 436 659 0 5299 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34312 KiB
Current children cumulated memory: 22180 KiB
[startup+0.305528 s]*
/proc/loadavg: 0.52 0.20 0.12 5/258 721241
/proc/meminfo: memFree=125835852/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=32680 memory=26912 CPUtime=0.29 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 6167 0 0 0 29 0 0 0 20 0 1 0 142345013 33464320 6728 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 8170 6728 436 659 0 7374 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42612 KiB
Current children cumulated memory: 29684 KiB
[startup+0.700211 s]
/proc/loadavg: 0.52 0.20 0.12 5/258 721241
/proc/meminfo: memFree=125726240/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=63008 memory=54744 CPUtime=0.69 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 13519 0 0 0 68 1 0 0 20 0 1 0 142345013 64520192 13686 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 15752 13686 436 659 0 14956 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 72940 KiB
Current children cumulated memory: 57516 KiB
[startup+1.50025 s]
/proc/loadavg: 0.52 0.20 0.12 5/258 721241
/proc/meminfo: memFree=125250740/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=121716 memory=111600 CPUtime=1.49 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 27466 0 0 0 146 3 0 0 20 0 1 0 142345013 124637184 27900 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 30429 27900 436 659 0 29633 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 131648 KiB
Current children cumulated memory: 114372 KiB
[startup+3.10531 s]
/proc/loadavg: 0.52 0.20 0.12 5/258 721243
/proc/meminfo: memFree=124687548/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=252692 memory=231636 CPUtime=3.08 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 56192 0 0 0 300 8 0 0 20 0 1 0 142345013 258756608 57909 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 63173 57909 468 659 0 62377 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 262624 KiB
Current children cumulated memory: 234408 KiB
[startup+6.30025 s]
/proc/loadavg: 0.80 0.26 0.14 5/258 721243
/proc/meminfo: memFree=123632736/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=980260 memory=917988 CPUtime=6.28 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 143342 0 0 0 598 30 0 0 20 0 1 0 142345013 1003786240 229497 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 245065 229497 468 659 0 244269 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 990192 KiB
Current children cumulated memory: 920760 KiB
[startup+12.7003 s]
/proc/loadavg: 1.06 0.32 0.16 5/258 721243
/proc/meminfo: memFree=122105044/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1782688 memory=1603168 CPUtime=12.66 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 215597 0 0 0 1216 50 0 0 20 0 1 0 142345013 1825472512 400792 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 445672 400792 468 659 0 444876 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1792620 KiB
Current children cumulated memory: 1605940 KiB
[startup+25.5002 s]
/proc/loadavg: 1.71 0.50 0.22 5/258 721396
/proc/meminfo: memFree=123145588/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1792592 memory=1611212 CPUtime=25.43 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 217251 0 0 0 2493 50 0 0 20 0 1 0 142345013 1835614208 402803 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 448148 402803 468 659 0 447352 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1802524 KiB
Current children cumulated memory: 1613984 KiB
[startup+51.1054 s]
/proc/loadavg: 2.56 0.80 0.33 5/258 721399
/proc/meminfo: memFree=122277280/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1792592 memory=1611212 CPUtime=50.98 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 217577 0 0 0 5048 50 0 0 20 0 1 0 142345013 1835614208 402803 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 448148 402803 468 659 0 447352 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1802524 KiB
Current children cumulated memory: 1613984 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.31 0.53 5/258 721456
/proc/meminfo: memFree=112796712/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1793120 memory=1615600 CPUtime=102.05 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 218561 0 0 0 10154 51 0 0 20 0 1 0 142345013 1836154880 403900 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 448280 403900 468 659 0 447484 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 1803052 KiB
Current children cumulated memory: 1618372 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.83 0.76 5/258 721517
/proc/meminfo: memFree=115297300/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1797288 memory=1627808 CPUtime=161.87 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 219831 0 0 0 16135 52 0 0 20 0 1 0 142345013 1840422912 406952 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 449322 406952 468 659 0 448526 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1807220 KiB
Current children cumulated memory: 1630580 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.26 0.98 5/260 721531
/proc/meminfo: memFree=102614436/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1798608 memory=1629772 CPUtime=221.71 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 220529 0 0 0 22118 53 0 0 20 0 1 0 142345013 1841774592 407443 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 449652 407443 468 659 0 448856 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1808540 KiB
################
# More data... #
################
/proc/721241/statm: 475831 447725 468 659 0 475035 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 1913256 KiB
Current children cumulated memory: 1793672 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.17 4.05 5/258 723224
/proc/meminfo: memFree=101836408/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=2119076 memory=1826704 CPUtime=3094.22 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 290460 0 0 0 309215 207 0 0 20 0 1 0 142345013 2169933824 456676 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 529769 456676 468 659 0 528973 0
Current children cumulated CPU time: 3094.22 s
Current children cumulated vsize: 2129008 KiB
Current children cumulated memory: 1829476 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.16 4.05 5/258 723234
/proc/meminfo: memFree=101804296/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1905616 memory=1791232 CPUtime=3154.07 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 292414 0 0 0 315194 213 0 0 20 0 1 0 142345013 1951350784 447808 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 476404 447808 468 659 0 475608 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 1915548 KiB
Current children cumulated memory: 1794004 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.17 4.06 5/260 723248
/proc/meminfo: memFree=101704552/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1906020 memory=1828404 CPUtime=3213.92 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 293209 0 0 0 321178 214 0 0 20 0 1 0 142345013 1951764480 457101 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 476505 457101 468 659 0 475709 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 1915952 KiB
Current children cumulated memory: 1831176 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.06 5/260 723259
/proc/meminfo: memFree=101714376/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1907220 memory=1786804 CPUtime=3273.76 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 295221 0 0 0 327154 222 0 0 20 0 1 0 142345013 1952993280 446701 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 476805 446701 468 659 0 476009 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 1917152 KiB
Current children cumulated memory: 1789576 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.06 5/260 723269
/proc/meminfo: memFree=101634304/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1907360 memory=1823824 CPUtime=3333.6 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 295905 0 0 0 333137 223 0 0 20 0 1 0 142345013 1953136640 455956 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 476840 455956 468 659 0 476044 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 1917292 KiB
Current children cumulated memory: 1826596 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.07 5/260 723280
/proc/meminfo: memFree=101554608/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=2123084 memory=1859132 CPUtime=3393.45 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 297259 0 0 0 339120 225 0 0 20 0 1 0 142345013 2174038016 464783 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 530771 464783 468 659 0 529975 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 2133016 KiB
Current children cumulated memory: 1861904 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/260 723291
/proc/meminfo: memFree=101560376/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1908564 memory=1816948 CPUtime=3453.29 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 298586 0 0 0 345097 232 0 0 20 0 1 0 142345013 1954369536 454237 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 477141 454237 468 659 0 476345 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 1918496 KiB
Current children cumulated memory: 1819720 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.08 5/258 723301
/proc/meminfo: memFree=101954284/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=2124036 memory=1860140 CPUtime=3513.13 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 299731 0 0 0 351079 234 0 0 20 0 1 0 142345013 2175012864 465035 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 531009 465035 468 659 0 530213 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 2133968 KiB
Current children cumulated memory: 1862912 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/258 723311
/proc/meminfo: memFree=101977960/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1910144 memory=1800044 CPUtime=3572.97 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 301155 0 0 0 357056 241 0 0 20 0 1 0 142345013 1955987456 450011 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 477536 450011 468 659 0 476740 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 1920076 KiB
Current children cumulated memory: 1802816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.08 4.12 4.08 5/258 723316
/proc/meminfo: memFree=101935532/131524600 swapFree=131071996/131071996
[pid=721236] ppid=721233 vsize=9932 memory=2772 CPUtime=0 cores=4,6
/proc/721236/stat : 721236 (naps-1.03.sh) S 721233 721236 721052 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142345012 10170368 693 134679101440 93849417449472 93849418528792 140726102634160 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93849420627248 93849420674436 93849422127104 140726102635436 140726102635565 140726102635565 140726102642632 0
/proc/721236/statm: 2483 693 614 264 0 134 0
[pid=721241] ppid=721236 vsize=1910144 memory=1820524 CPUtime=3600.01 cores=4,6
/proc/721241/stat : 721241 (naps-1.03) R 721236 721236 721052 0 -1 4194304 301478 0 0 0 359759 242 0 0 20 0 1 0 142345013 1955987456 455131 134679101440 4194304 6891213 140732377756880 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38817792 140732377760701 140732377760817 140732377760817 140732377767883 0
/proc/721241/statm: 477536 455131 468 659 0 476740 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1920076 KiB
Current children cumulated memory: 1823296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 721236 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001495 s, system=0.001278 s
[startup+3609.41 s]
# the end of solver process 721241 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.6 s, system=2.4322 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): 3609.41
CPU time (s): 3600.03
CPU user time (s): 3597.6
CPU system time (s): 2.4322
CPU usage (%): 99.7401
Max. virtual memory (cumulated for all children) (KiB): 2478876
Max. memory (cumulated for all children) (KiB): 2186852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.6
system time used= 2.4322
maximum resident set size= 2188176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301942
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= 192
involuntary context switches= 4728
# summary of solver processes directly reported to runsolver:
# pid: 721236,721241
# total CPU time (s): 3600.03
# total CPU user time (s): 3597.6
# total CPU system time (s): 2.4322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32669 second user time and 17.3211 second system time
The end
Begin job on nodeC023 at 2024-07-13 22:16:53
IDJOB=4426285
IDBENCH=143882
IDSOLVER=3042
FILE ID=nodeC023/4426285-1720901800
RUNJOBID= nodeC023-1720901807-721063
SLURM_JOB_ID= 7486082
Free space on /tmp= 890056 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub3_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426285-1720901800/watcher-4426285-1720901800 -o /tmp/evaluation-result-4426285-1720901800/solver-4426285-1720901800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720901807-721063 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426285-1720901800.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 25adf5b940a77273e2a5bcad45fe6bb3
RANDOM SEED=780343536
nodeC023.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 : 3656.847
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.61
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 : 3684.272
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.48
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 : 3657.620
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.61
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.127
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.48
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 : 3654.650
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.61
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 : 3684.308
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.48
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 : 3645.079
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.61
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.141
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125985432 kB
MemAvailable: 127104260 kB
Buffers: 330920 kB
Cached: 1619316 kB
SwapCached: 0 kB
Active: 523356 kB
Inactive: 4417072 kB
Active(anon): 1604 kB
Inactive(anon): 3026336 kB
Active(file): 521752 kB
Inactive(file): 1390736 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 26908 kB
Writeback: 0 kB
AnonPages: 2990000 kB
Mapped: 107160 kB
Shmem: 37720 kB
KReclaimable: 92328 kB
Slab: 194112 kB
SReclaimable: 92328 kB
SUnreclaim: 101784 kB
KernelStack: 4144 kB
PageTables: 15192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3557724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 55104 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1380352 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: 189140 kB
DirectMap2M: 15312896 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 889988 MiB
End job on nodeC023 at 2024-07-13 23:17:03