Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS 1.03a2 | OPTIMUM | 2546.25 | 2552.34 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ pedigree/normalized-eye_wcsp.wbo |
| MD5SUM | 4b6a10b924703f39ba2bfb2cf9649014 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 2.77866 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 756 |
| Total number of constraints | 200096 |
| Number of soft constraints | 200060 |
| Number of constraints which are clauses | 200060 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 21 |
| Top cost | 29 |
| Min constraint cost | 1 |
| Max constraint cost | 29 |
| Sum of constraints costs | 5786060 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 22 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c NaPS 1.03a2. 0.00/0.00 c Input file name: HOME/instance-4463563-1722354444.wbo 0.00/0.00 c Initial goal by soft: 28 3.18/3.29 c single stage optimization mode 105.48/105.74 o 22 2489.06/2495.08 o 4 2543.10/2549.26 o 1 2543.30/2549.48 s OPTIMUM FOUND 2543.30/2549.48 c _____________________________________________________________________________ 2543.30/2549.48 c std/band forms : 39,0 2543.30/2549.48 c 2cl/3cl ITE-codings : 0,0 2543.30/2549.48 c BDD/srt/adr Max costs : 0,37217103,1070038 2543.30/2549.48 c BDDraw/bin/mul/srt/adr: 0,0,0,38,1 2543.30/2549.48 c BDD nodes : 0 2543.30/2549.48 c Es1/CC detections : 0,0 2543.30/2549.48 c CC sort : 37 2543.30/2549.48 c SAT/UNSAT calls : 3,1 2543.30/2549.48 c regenrated variables : 0 2543.30/2549.48 c eliminated fixed lits : 273811 2543.30/2549.48 c goal lit flips : 200038 2543.30/2549.48 c goal stages : 1 2543.30/2549.48 c goal shrink : 0 2543.30/2549.48 c goal coeff separations: 0 2543.30/2549.48 c restarts : 30490 2543.30/2549.48 c conflicts : 1558354 (616 /sec) 2543.30/2549.48 c decisions : 1890910684 (747720 /sec) 2543.30/2549.48 c propagations : 6902319229 (2729372 /sec) 2543.30/2549.48 c inspects : 0 (0 /sec) 2543.30/2549.48 c CPU time (solving tm) : 2529 s (2485 s, SAT 2485 s, UNSAT 9e-06 s) 2543.30/2549.48 c Time for Opt-base : 0.7374 s 2543.30/2549.48 c Steps for Opt-base : 2263482 2543.30/2549.48 c Time for BDD coding : 0 s 2543.30/2549.48 c Time for srt coding : 10.09 s 2543.30/2549.48 c _____________________________________________________________________________ 2543.30/2549.48 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 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v 2543.30/2549.48 v
OK 1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (59871 MiB free)
memory of node 1: 64473 MiB (57920 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463563-1722354444/watcher-4463563-1722354444 -o /tmp/evaluation-result-4463563-1722354444/solver-4463563-1722354444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722351984-14361 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463563-1722354444.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=16661, runsolver pid=16658
Current StackSize limit: 8192 KiB
[startup+0.100635 s]*
/proc/loadavg: 4.30 4.19 4.04 6/246 16666
/proc/meminfo: memFree=120614444/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=7008 memory=5500 CPUtime=0.1 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 971 0 0 0 10 0 0 0 20 0 1 0 2040950 7176192 1375 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 1752 1375 580 659 0 956 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 16940 KiB
Current children cumulated memory: 8152 KiB
[startup+0.211297 s]*
/proc/loadavg: 4.30 4.19 4.04 5/246 16666
/proc/meminfo: memFree=120611224/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=10028 memory=8624 CPUtime=0.2 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 1827 0 0 0 20 0 0 0 20 0 1 0 2040950 10268672 2156 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 2507 2156 580 659 0 1711 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19960 KiB
Current children cumulated memory: 11276 KiB
[startup+0.311653 s]*
/proc/loadavg: 4.30 4.19 4.04 5/246 16666
/proc/meminfo: memFree=120609544/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=14456 memory=12524 CPUtime=0.3 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 3118 0 0 0 30 0 0 0 20 0 1 0 2040950 14802944 3131 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 3614 3131 580 659 0 2818 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24388 KiB
Current children cumulated memory: 15176 KiB
[startup+0.700424 s]
/proc/loadavg: 4.30 4.19 4.04 5/246 16666
/proc/meminfo: memFree=120604028/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=25772 memory=23252 CPUtime=0.67 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 5761 0 0 0 66 1 0 0 20 0 1 0 2040950 26390528 5813 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 6443 5813 580 659 0 5647 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 35704 KiB
Current children cumulated memory: 25904 KiB
[startup+1.50036 s]
/proc/loadavg: 4.30 4.19 4.04 5/246 16666
/proc/meminfo: memFree=120590416/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=56540 memory=53564 CPUtime=1.47 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 12320 0 0 0 145 2 0 0 20 0 1 0 2040950 57896960 13391 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 14135 13391 580 659 0 13339 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 66472 KiB
Current children cumulated memory: 56216 KiB
[startup+3.1126 s]
/proc/loadavg: 4.30 4.19 4.04 5/246 16666
/proc/meminfo: memFree=120459144/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=170728 memory=167160 CPUtime=3.09 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 37142 0 0 0 302 7 0 0 20 0 1 0 2040950 174825472 41790 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 42682 41790 612 659 0 41886 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 180660 KiB
Current children cumulated memory: 169812 KiB
[startup+6.30037 s]
/proc/loadavg: 4.27 4.18 4.04 5/246 16668
/proc/meminfo: memFree=120443744/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=185656 memory=182208 CPUtime=6.26 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 40885 0 0 0 619 7 0 0 20 0 1 0 2040950 190111744 45552 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 46414 45552 612 659 0 45618 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 195588 KiB
Current children cumulated memory: 184860 KiB
[startup+12.7004 s]
/proc/loadavg: 4.25 4.18 4.04 5/246 16668
/proc/meminfo: memFree=120443920/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=185656 memory=182208 CPUtime=12.66 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 40888 0 0 0 1258 8 0 0 20 0 1 0 2040950 190111744 45552 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 46414 45552 612 659 0 45618 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 195588 KiB
Current children cumulated memory: 184860 KiB
[startup+25.5004 s]
/proc/loadavg: 4.19 4.17 4.04 5/246 16672
/proc/meminfo: memFree=120441496/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=185656 memory=182208 CPUtime=25.43 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 40890 0 0 0 2535 8 0 0 20 0 1 0 2040950 190111744 45552 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 46414 45552 612 659 0 45618 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 195588 KiB
Current children cumulated memory: 184860 KiB
[startup+51.1135 s]
/proc/loadavg: 4.20 4.17 4.04 5/246 16675
/proc/meminfo: memFree=119210452/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=185656 memory=182208 CPUtime=51 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 40894 0 0 0 5092 8 0 0 20 0 1 0 2040950 190111744 45552 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 46414 45552 612 659 0 45618 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 195588 KiB
Current children cumulated memory: 184860 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.18 4.05 6/246 16684
/proc/meminfo: memFree=118935496/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=185656 memory=182208 CPUtime=102.08 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 40905 0 0 0 10200 8 0 0 20 0 1 0 2040950 190111744 45552 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 46414 45552 612 659 0 45618 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 195588 KiB
Current children cumulated memory: 184860 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.19 4.06 5/248 16701
/proc/meminfo: memFree=117249184/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=1942036 memory=1854448 CPUtime=161.94 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 298556 0 0 0 16071 123 0 0 20 0 1 0 2040950 1988644864 463612 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 485509 463612 660 659 0 484713 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 1951968 KiB
Current children cumulated memory: 1857100 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.18 4.06 5/247 16711
/proc/meminfo: memFree=116506420/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=2356676 memory=2269092 CPUtime=221.79 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 313916 0 0 0 21975 204 0 0 20 0 1 0 2040950 2413236224 567273 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 589169 567273 660 659 0 588373 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 2366608 KiB
################
# More data... #
################
/proc/loadavg: 3.12 3.25 3.55 4/238 18093
/proc/meminfo: memFree=116763528/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=2001868 memory=1933012 CPUtime=2376.63 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 450741 0 0 0 236865 798 0 0 20 0 1 0 2040950 2049912832 483253 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 500467 483253 660 659 0 499671 0
Current children cumulated CPU time: 2376.63 s
Current children cumulated vsize: 2011800 KiB
Current children cumulated memory: 1935664 KiB
[startup+2442.3 s]
/proc/loadavg: 3.09 3.22 3.52 4/232 18302
/proc/meminfo: memFree=118745304/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=2001868 memory=1933012 CPUtime=2436.5 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 451293 0 0 0 242852 798 0 0 20 0 1 0 2040950 2049912832 483253 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 500467 483253 660 659 0 499671 0
Current children cumulated CPU time: 2436.5 s
Current children cumulated vsize: 2011800 KiB
Current children cumulated memory: 1935664 KiB
[startup+2502.3 s]
/proc/loadavg: 2.44 3.01 3.43 3/231 18314
/proc/meminfo: memFree=117390116/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=3411844 memory=3286696 CPUtime=2496.33 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 479261 0 0 0 248791 842 0 0 20 0 1 0 2040950 3493728256 821674 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 852961 821674 660 659 0 852165 0
Current children cumulated CPU time: 2496.33 s
Current children cumulated vsize: 3421776 KiB
Current children cumulated memory: 3289348 KiB
[startup+2552.34 s]
# the end of solver process 16661 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2531.51 s, system=14.7347 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.40 2.99 3.42 3/231 18317
/proc/meminfo: memFree=116978804/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=4272912 memory=4149244 CPUtime=2502.82 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 586040 0 0 0 249407 875 0 0 20 0 1 0 2040950 4375461888 1037311 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 1068228 1037311 660 659 0 1067432 0
Current children cumulated CPU time: 2502.82 s
Current children cumulated vsize: 4282844 KiB
Current children cumulated memory: 4151896 KiB
[startup+2534.4 s]
/proc/loadavg: 2.26 2.91 3.38 3/232 18321
/proc/meminfo: memFree=103032904/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=17813108 memory=16890504 CPUtime=2528.34 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 1747923 0 0 0 251516 1318 0 0 20 0 1 0 2040950 18240622592 4222626 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 4453277 4222626 660 659 0 4452481 0
Current children cumulated CPU time: 2528.34 s
Current children cumulated vsize: 17823040 KiB
Current children cumulated memory: 16893156 KiB
[startup+2540.8 s]
/proc/loadavg: 2.32 2.91 3.38 3/232 18322
/proc/meminfo: memFree=101030996/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=20826944 memory=19632280 CPUtime=2534.73 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 1792837 0 0 0 252031 1442 0 0 20 0 1 0 2040950 21326790656 4908070 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 5206736 4908070 660 659 0 5205940 0
Current children cumulated CPU time: 2534.73 s
Current children cumulated vsize: 20836876 KiB
Current children cumulated memory: 19634932 KiB
[startup+2547.2 s]
/proc/loadavg: 2.27 2.88 3.36 3/232 18324
/proc/meminfo: memFree=100914232/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=21008200 memory=19729708 CPUtime=2541.1 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 1804566 0 0 0 252663 1447 0 0 20 0 1 0 2040950 21512396800 4932427 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 5252050 4932427 660 659 0 5251254 0
Current children cumulated CPU time: 2541.1 s
Current children cumulated vsize: 21018132 KiB
Current children cumulated memory: 19732360 KiB
[startup+2550.4 s]
/proc/loadavg: 2.27 2.88 3.36 3/232 18324
/proc/meminfo: memFree=100860956/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=21065988 memory=19782904 CPUtime=2544.3 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 1806185 0 0 0 252981 1449 0 0 20 0 1 0 2040950 21571571712 4945726 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 5266497 4945726 660 659 0 5265701 0
Current children cumulated CPU time: 2544.3 s
Current children cumulated vsize: 21075920 KiB
Current children cumulated memory: 19785556 KiB
[startup+2551.2 s]
/proc/loadavg: 2.25 2.87 3.35 3/232 18324
/proc/meminfo: memFree=100860928/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=21065988 memory=19782904 CPUtime=2545.1 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 1806185 0 0 0 253061 1449 0 0 20 0 1 0 2040950 21571571712 4945726 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 5266497 4945726 660 659 0 5265701 0
Current children cumulated CPU time: 2545.1 s
Current children cumulated vsize: 21075920 KiB
Current children cumulated memory: 19785556 KiB
[startup+2552 s]*
/proc/loadavg: 2.25 2.87 3.35 3/232 18324
/proc/meminfo: memFree=100860928/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
[pid=16666] ppid=16661 vsize=21065988 memory=19782904 CPUtime=2545.91 cores=5,7
/proc/16666/stat : 16666 (naps-1.03a2) R 16661 16661 14348 0 -1 4194304 1806185 0 0 0 253142 1449 0 0 20 0 1 0 2040950 21571571712 4945726 134679101440 4194304 6891597 140737184026672 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13942784 140737184035822 140737184035936 140737184035936 140737184042953 0
/proc/16666/statm: 5266497 4945726 660 659 0 5265701 0
Current children cumulated CPU time: 2545.91 s
Current children cumulated vsize: 21075920 KiB
Current children cumulated memory: 19785556 KiB
[startup+2552.2 s]
/proc/loadavg: 2.25 2.87 3.35 3/232 18324
/proc/meminfo: memFree=100860928/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2652 KiB
[startup+2552.3 s]
/proc/loadavg: 2.25 2.87 3.35 3/232 18324
/proc/meminfo: memFree=100860928/131655788 swapFree=131071996/131071996
[pid=16661] ppid=16658 vsize=9932 memory=2652 CPUtime=0 cores=5,7
/proc/16661/stat : 16661 (naps-1.03.sh) S 16658 16661 14348 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 2040949 10170368 663 134679101440 94558307606528 94558308685848 140722109917088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94558310784304 94558310831492 94558322360320 140722109920227 140722109920352 140722109920352 140722109927368 0
/proc/16661/statm: 2483 663 584 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2652 KiB
Child status: 30
Real time (s): 2552.34
CPU time (s): 2546.25
CPU user time (s): 2531.51
CPU system time (s): 14.7347
CPU usage (%): 99.7613
Max. virtual memory (cumulated for all children) (KiB): 21132692
Max. memory (cumulated for all children) (KiB): 19838372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2531.51
system time used= 14.7347
maximum resident set size= 19901256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1806661
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= 173
involuntary context switches= 3867
# summary of solver processes directly reported to runsolver:
# pid: 16661
# total CPU time (s): 2546.25
# total CPU user time (s): 2531.51
# total CPU system time (s): 14.7347
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7573 second user time and 23.44 second system time
The end
Begin job on nodeC006 at 2024-07-30 17:47:24 IDJOB=4463563 IDBENCH=144106 IDSOLVER=3090 FILE ID=nodeC006/4463563-1722354444 RUNJOBID= nodeC006-1722351984-14361 SLURM_JOB_ID= 8249022 Free space on /tmp= 723752 MiB SOLVER NAME= NaPS 1.03a2 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-eye_wcsp.wbo COMMAND LINE= HOME/naps-1.03.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463563-1722354444/watcher-4463563-1722354444 -o /tmp/evaluation-result-4463563-1722354444/solver-4463563-1722354444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722351984-14361 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463563-1722354444.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4b6a10b924703f39ba2bfb2cf9649014 RANDOM SEED=66154671 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3658.088 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.093 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.203 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.346 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.731 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1470.860 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.202 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1337.333 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 120618752 kB MemAvailable: 128140420 kB Buffers: 66520 kB Cached: 8225472 kB SwapCached: 0 kB Active: 203124 kB Inactive: 10258744 kB Active(anon): 1436 kB Inactive(anon): 2189788 kB Active(file): 201688 kB Inactive(file): 8068956 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 12692 kB Writeback: 48 kB AnonPages: 2169680 kB Mapped: 95820 kB Shmem: 21320 kB KReclaimable: 182444 kB Slab: 268944 kB SReclaimable: 182444 kB SUnreclaim: 86500 kB KernelStack: 3936 kB PageTables: 13484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3022764 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6400 kB HardwareCorrupted: 0 kB AnonHugePages: 1509376 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: 232264 kB DirectMap2M: 16449536 kB DirectMap1G: 119537664 kB Free space on /tmp at the end= 723760 MiB End job on nodeC006 at 2024-07-30 18:29:57