Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS 1.03a1 | MSAT (TO) | 3600.03 | 3612.91 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap42_wcsp.wbo |
| MD5SUM | f1281546bfdcfa9fb50b608c743ffb37 |
| 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 | 9466590 |
| Best CPU time to get the best result obtained on this benchmark | 0.602047 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 832 |
| Total number of constraints | 1680 |
| Number of soft constraints | 1614 |
| Number of constraints which are clauses | 1614 |
| Number of constraints which are cardinality constraints (but not clauses) | 66 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 16 |
| Top cost | 56493026 |
| Min constraint cost | 1 |
| Max constraint cost | 56493026 |
| Sum of constraints costs | 45549155826 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 17 |
| 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.03a1. 0.00/0.00 c Input file name: HOME/instance-4461628-1722079689.wbo 0.00/0.00 c Initial goal by soft: 56493025 0.00/0.02 c single stage optimization mode 0.00/0.05 c Found but not a solution: 2843729310 9.36/9.49 c Found but not a solution: 1377269626 11.15/11.23 c Found but not a solution: 916939027 12.25/12.34 c Found but not a solution: 477018669 14.05/14.13 c Found but not a solution: 244627100 15.05/15.14 c Found but not a solution: 125573006 16.64/16.71 c Found but not a solution: 76032095 17.95/18.10 o 20559342 70.57/70.83 o 12213731 3600.01/3612.90 c 3600.01/3612.90 c *** TERMINATED *** by signal 15 3600.01/3612.90 s SATISFIABLE 3600.01/3612.90 c _____________________________________________________________________________ 3600.01/3612.90 c std/band forms : 59,0 3600.01/3612.90 c 2cl/3cl ITE-codings : 0,0 3600.01/3612.90 c BDD/srt/adr Max costs : 0,1094813,0 3600.01/3612.90 c BDDraw/bin/mul/srt/adr: 0,0,0,59,0 3600.01/3612.90 c BDD nodes : 0 3600.01/3612.90 c Es1/CC detections : 0,0 3600.01/3612.90 c CC sort : 50 3600.01/3612.90 c SAT/UNSAT calls : 9,0 3600.01/3612.90 c regenrated variables : 0 3600.01/3612.90 c eliminated fixed lits : 1600 3600.01/3612.90 c goal lit flips : 1514 3600.01/3612.90 c goal stages : 1 3600.01/3612.90 c goal shrink : 0 3600.01/3612.90 c goal coeff separations: 953 3600.01/3612.90 c restarts : 398 3600.01/3612.90 c conflicts : 4318 (1 /sec) 3600.01/3612.90 c decisions : 714591 (199 /sec) 3600.01/3612.90 c propagations : 82625416 (23006 /sec) 3600.01/3612.90 c inspects : 0 (0 /sec) 3600.01/3612.90 c CPU time (solving tm) : 3591 s (3577 s, SAT 55.62 s, UNSAT 0 s) 3600.01/3612.90 c Time for Opt-base : 7.943 s 3600.01/3612.90 c Steps for Opt-base : 44204232 3600.01/3612.90 c Time for BDD coding : 0 s 3600.01/3612.90 c Time for srt coding : 1.765 s 3600.01/3612.90 c _____________________________________________________________________________ 3600.01/3612.90 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 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 3600.01/3612.90 v
OK 12213731
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: 64059 MiB (51561 MiB free)
memory of node 1: 64510 MiB (57634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461628-1722079689/watcher-4461628-1722079689 -o /tmp/evaluation-result-4461628-1722079689/solver-4461628-1722079689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722076077-372789 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461628-1722079689.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=374889, runsolver pid=374886
[startup+0.100093 s]*
/proc/loadavg: 4.08 4.09 4.07 5/246 374894
/proc/meminfo: memFree=111807540/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=7992 memory=6536 CPUtime=0.1 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 1190 0 0 0 10 0 0 0 20 0 1 0 43958243 8183808 1634 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 1998 1634 612 659 0 1202 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17924 KiB
Current children cumulated memory: 9380 KiB
[startup+0.213478 s]*
/proc/loadavg: 4.08 4.09 4.07 5/246 374894
/proc/meminfo: memFree=111800140/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=8124 memory=6800 CPUtime=0.21 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 1209 0 0 0 21 0 0 0 20 0 1 0 43958243 8318976 1700 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 2031 1700 612 659 0 1235 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18056 KiB
Current children cumulated memory: 9644 KiB
[startup+0.312748 s]*
/proc/loadavg: 4.08 4.09 4.07 5/246 374894
/proc/meminfo: memFree=111794092/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=8268 memory=6800 CPUtime=0.31 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 1227 0 0 0 31 0 0 0 20 0 1 0 43958243 8466432 1700 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 2067 1700 612 659 0 1271 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18200 KiB
Current children cumulated memory: 9644 KiB
[startup+0.700364 s]
/proc/loadavg: 4.07 4.09 4.07 5/246 374894
/proc/meminfo: memFree=111730888/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=8400 memory=7064 CPUtime=0.68 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 1282 0 0 0 68 0 0 0 20 0 1 0 43958243 8601600 1766 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 2100 1766 612 659 0 1304 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 18332 KiB
Current children cumulated memory: 9908 KiB
[startup+1.50042 s]
/proc/loadavg: 4.07 4.09 4.07 5/246 374894
/proc/meminfo: memFree=111681604/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=8860 memory=7328 CPUtime=1.48 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 1381 0 0 0 148 0 0 0 20 0 1 0 43958243 9072640 1832 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 2215 1832 612 659 0 1419 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 18792 KiB
Current children cumulated memory: 10172 KiB
[startup+3.11275 s]
/proc/loadavg: 4.07 4.09 4.07 5/246 374894
/proc/meminfo: memFree=110948188/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=9380 memory=7856 CPUtime=3.09 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 1525 0 0 0 309 0 0 0 20 0 1 0 43958243 9605120 1964 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 2345 1964 612 659 0 1549 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 19312 KiB
Current children cumulated memory: 10700 KiB
[startup+6.30032 s]
/proc/loadavg: 4.15 4.10 4.07 5/246 374896
/proc/meminfo: memFree=110440752/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=9800 memory=8384 CPUtime=6.27 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 1613 0 0 0 627 0 0 0 20 0 1 0 43958243 10035200 2096 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 2450 2096 612 659 0 1654 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 11228 KiB
[startup+12.7004 s]
/proc/loadavg: 4.13 4.10 4.07 5/246 374896
/proc/meminfo: memFree=109598312/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=983072 memory=956092 CPUtime=12.65 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 93407 0 0 0 1236 29 0 0 20 0 1 0 43958243 1006665728 239023 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 245768 239023 644 659 0 244972 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 993004 KiB
Current children cumulated memory: 958936 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.10 4.07 5/248 375070
/proc/meminfo: memFree=102154836/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=3191964 memory=3046980 CPUtime=25.41 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 193198 0 0 0 2432 109 0 0 20 0 1 0 43958243 3268571136 761745 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 797991 761745 644 659 0 797195 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3201896 KiB
Current children cumulated memory: 3049824 KiB
[startup+51.1132 s]
/proc/loadavg: 4.07 4.09 4.07 5/248 375073
/proc/meminfo: memFree=100790412/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=3335636 memory=2935084 CPUtime=50.94 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 201191 0 0 0 4939 155 0 0 20 0 1 0 43958243 3415691264 733771 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 833909 733771 660 659 0 833113 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3345568 KiB
Current children cumulated memory: 2937928 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/248 375081
/proc/meminfo: memFree=103134888/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2148752 memory=1841052 CPUtime=101.96 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 230583 0 0 0 9933 263 0 0 20 0 1 0 43958243 2200322048 460263 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 537188 460263 660 659 0 536392 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2158684 KiB
Current children cumulated memory: 1843896 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/250 375149
/proc/meminfo: memFree=102847924/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2016548 memory=1712896 CPUtime=161.76 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 252231 0 0 0 15863 313 0 0 20 0 1 0 43958243 2064945152 428224 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 504137 428224 660 659 0 503341 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2026480 KiB
Current children cumulated memory: 1715740 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.08 5/249 375161
/proc/meminfo: memFree=103006416/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2068056 memory=1764404 CPUtime=221.57 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 265644 0 0 0 21813 344 0 0 20 0 1 0 43958243 2117689344 441101 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 517014 441101 660 659 0 516218 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 2077988 KiB
################
# More data... #
################
/proc/374894/statm: 521118 451989 660 659 0 520322 0
Current children cumulated CPU time: 3091.35 s
Current children cumulated vsize: 2094404 KiB
Current children cumulated memory: 1810800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/247 376261
/proc/meminfo: memFree=100064904/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2088196 memory=1811680 CPUtime=3151.12 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 479034 0 0 0 314308 804 0 0 20 0 1 0 43958243 2138312704 452920 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 522049 452920 660 659 0 521253 0
Current children cumulated CPU time: 3151.12 s
Current children cumulated vsize: 2098128 KiB
Current children cumulated memory: 1814524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.14 4.16 5/247 376273
/proc/meminfo: memFree=100001380/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2142840 memory=1868372 CPUtime=3210.9 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 482747 0 0 0 320278 812 0 0 20 0 1 0 43958243 2194268160 467093 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 535710 467093 660 659 0 534914 0
Current children cumulated CPU time: 3210.9 s
Current children cumulated vsize: 2152772 KiB
Current children cumulated memory: 1871216 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/247 376283
/proc/meminfo: memFree=100056716/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2087452 memory=1812984 CPUtime=3270.67 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 487210 0 0 0 326246 821 0 0 20 0 1 0 43958243 2137550848 453246 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 521863 453246 660 659 0 521067 0
Current children cumulated CPU time: 3270.67 s
Current children cumulated vsize: 2097384 KiB
Current children cumulated memory: 1815828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.12 4.15 5/247 376293
/proc/meminfo: memFree=100052652/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2078392 memory=1803924 CPUtime=3330.43 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 489651 0 0 0 332216 827 0 0 20 0 1 0 43958243 2128273408 450981 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 519598 450981 660 659 0 518802 0
Current children cumulated CPU time: 3330.43 s
Current children cumulated vsize: 2088324 KiB
Current children cumulated memory: 1806768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.14 4.16 5/247 376303
/proc/meminfo: memFree=100053616/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2078392 memory=1803924 CPUtime=3390.21 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 493033 0 0 0 338188 833 0 0 20 0 1 0 43958243 2128273408 450981 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 519598 450981 660 659 0 518802 0
Current children cumulated CPU time: 3390.21 s
Current children cumulated vsize: 2088324 KiB
Current children cumulated memory: 1806768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/247 376699
/proc/meminfo: memFree=99984372/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2130916 memory=1856448 CPUtime=3449.98 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 496925 0 0 0 344158 840 0 0 20 0 1 0 43958243 2182057984 464112 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 532729 464112 660 659 0 531933 0
Current children cumulated CPU time: 3449.98 s
Current children cumulated vsize: 2140848 KiB
Current children cumulated memory: 1859292 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/247 376709
/proc/meminfo: memFree=100043924/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2079600 memory=1805132 CPUtime=3509.74 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 499404 0 0 0 350128 846 0 0 20 0 1 0 43958243 2129510400 451283 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 519900 451283 660 659 0 519104 0
Current children cumulated CPU time: 3509.74 s
Current children cumulated vsize: 2089532 KiB
Current children cumulated memory: 1807976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/247 376719
/proc/meminfo: memFree=100008124/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2078800 memory=1804332 CPUtime=3569.53 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 504404 0 0 0 356095 858 0 0 20 0 1 0 43958243 2128691200 451083 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 519700 451083 660 659 0 518904 0
Current children cumulated CPU time: 3569.53 s
Current children cumulated vsize: 2088732 KiB
Current children cumulated memory: 1807176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.9 s]
/proc/loadavg: 3.82 4.05 4.12 2/223 376817
/proc/meminfo: memFree=110226892/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2078800 memory=1804332 CPUtime=3600.01 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 505279 0 0 0 359142 859 0 0 20 0 1 0 43958243 2128691200 451083 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 519700 451083 660 659 0 518904 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2088732 KiB
Current children cumulated memory: 1807176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.91 s]
# the end of solver process 374889 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003095 s, system=0.002938 s
[startup+3612.91 s]
# the end of solver process 374894 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.43 s, system=8.60172 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.9 s]
/proc/loadavg: 3.82 4.05 4.12 2/223 376817
/proc/meminfo: memFree=110226892/131655788 swapFree=131070704/131071996
[pid=374889] ppid=374886 vsize=9932 memory=2844 CPUtime=0 cores=0,2
/proc/374889/stat : 374889 (naps-1.03.sh) S 374886 374889 372779 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 43958243 10170368 711 134679101440 94473052192768 94473053272088 140724021050960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94473055370544 94473055417732 94473074790400 140724021052385 140724021052510 140724021052510 140724021059528 0
/proc/374889/statm: 2483 711 634 264 0 134 0
[pid=374894] ppid=374889 vsize=2078800 memory=1804332 CPUtime=3600.01 cores=0,2
/proc/374894/stat : 374894 (naps-1.03) R 374889 374889 372779 0 -1 4194304 505279 0 0 0 359142 859 0 0 20 0 1 0 43958243 2128691200 451083 134679101440 4194304 6891597 140732089237296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17620992 140732089242610 140732089242722 140732089242722 140732089249739 0
/proc/374894/statm: 519700 451083 660 659 0 518904 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2088732 KiB
Current children cumulated memory: 1807176 KiB
Child status: 10
Real time (s): 3612.91
CPU time (s): 3600.03
CPU user time (s): 3591.43
CPU system time (s): 8.60172
CPU usage (%): 99.6436
Max. virtual memory (cumulated for all children) (KiB): 3784572
Max. memory (cumulated for all children) (KiB): 3387080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.43
system time used= 8.60172
maximum resident set size= 3384236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505741
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= 236
involuntary context switches= 24654
# summary of solver processes directly reported to runsolver:
# pid: 374889,374894
# total CPU time (s): 3600.03
# total CPU user time (s): 3591.43
# total CPU system time (s): 8.60172
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1664 second user time and 39.0288 second system time
The end
Begin job on nodeC008 at 2024-07-27 13:28:09 IDJOB=4461628 IDBENCH=144007 IDSOLVER=3088 FILE ID=nodeC008/4461628-1722079689 RUNJOBID= nodeC008-1722076077-372789 SLURM_JOB_ID= 8248127 Free space on /tmp= 723760 MiB SOLVER NAME= NaPS 1.03a1 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap42_wcsp.wbo COMMAND LINE= HOME/naps-1.03.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461628-1722079689/watcher-4461628-1722079689 -o /tmp/evaluation-result-4461628-1722079689/solver-4461628-1722079689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722076077-372789 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461628-1722079689.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f1281546bfdcfa9fb50b608c743ffb37 RANDOM SEED=541642603 nodeC008.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 : 3640.395 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.19 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 : 3092.558 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.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.126 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.19 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.125 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.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2493.998 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.19 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 : 3491.597 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.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.249 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.19 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 : 1197.297 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.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 111817596 kB MemAvailable: 129798872 kB Buffers: 383340 kB Cached: 18410240 kB SwapCached: 732 kB Active: 2848424 kB Inactive: 16387712 kB Active(anon): 1676 kB Inactive(anon): 494736 kB Active(file): 2846748 kB Inactive(file): 15892976 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 28676 kB Writeback: 0 kB AnonPages: 441588 kB Mapped: 129016 kB Shmem: 53860 kB KReclaimable: 163168 kB Slab: 279376 kB SReclaimable: 163168 kB SUnreclaim: 116208 kB KernelStack: 3964 kB PageTables: 10196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 858324 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21248 kB HardwareCorrupted: 0 kB AnonHugePages: 346112 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: 400200 kB DirectMap2M: 49836032 kB DirectMap1G: 85983232 kB Free space on /tmp at the end= 723776 MiB End job on nodeC008 at 2024-07-27 14:28:22