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.1 | 3609.91 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap44_wcsp.wbo |
| MD5SUM | 5a30a67be6312dd77591c1a6d070d2d2 |
| 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 | 10065681 |
| Best CPU time to get the best result obtained on this benchmark | 0.586616 |
| 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 | 58368026 |
| Min constraint cost | 1 |
| Max constraint cost | 58368026 |
| Sum of constraints costs | 47051030826 |
| 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-4461523-1722079626.wbo 0.00/0.00 c Initial goal by soft: 58368025 0.00/0.02 c single stage optimization mode 0.00/0.05 c Found but not a solution: 2937479310 7.77/7.88 c Found but not a solution: 555144152 9.07/9.19 c Found but not a solution: 362196498 11.46/11.55 c Found but not a solution: 199415375 39.48/39.69 c Found but not a solution: 128645472 42.18/42.35 c Found but not a solution: 74919024 43.88/44.10 o 12213731 1396.56/1400.40 o 12140047 2420.44/2427.11 o 10790844 3600.07/3609.90 c 3600.07/3609.90 c *** TERMINATED *** by signal 15 3600.07/3609.90 s SATISFIABLE 3600.07/3609.90 c _____________________________________________________________________________ 3600.07/3609.90 c std/band forms : 60,0 3600.07/3609.90 c 2cl/3cl ITE-codings : 0,0 3600.07/3609.90 c BDD/srt/adr Max costs : 0,915983,0 3600.07/3609.90 c BDDraw/bin/mul/srt/adr: 0,0,0,60,0 3600.07/3609.90 c BDD nodes : 0 3600.07/3609.90 c Es1/CC detections : 0,0 3600.07/3609.90 c CC sort : 50 3600.07/3609.90 c SAT/UNSAT calls : 9,1 3600.07/3609.90 c regenrated variables : 171 3600.07/3609.90 c eliminated fixed lits : 3201 3600.07/3609.90 c goal lit flips : 1514 3600.07/3609.90 c goal stages : 1 3600.07/3609.90 c goal shrink : 0 3600.07/3609.90 c goal coeff separations: 953 3600.07/3609.90 c restarts : 136804 3600.07/3609.90 c conflicts : 3189755 (889 /sec) 3600.07/3609.90 c decisions : 7554666 (2107 /sec) 3600.07/3609.90 c propagations : 14649294178 (4085013 /sec) 3600.07/3609.90 c inspects : 0 (0 /sec) 3600.07/3609.90 c CPU time (solving tm) : 3586 s (3568 s, SAT 1104 s, UNSAT 1290 s) 3600.07/3609.90 c Time for Opt-base : 6.283 s 3600.07/3609.90 c Steps for Opt-base : 34744578 3600.07/3609.90 c Time for BDD coding : 0 s 3600.07/3609.90 c Time for srt coding : 1.578 s 3600.07/3609.90 c _____________________________________________________________________________ 3600.07/3609.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.07/3609.90 v
OK 10790844
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62308 MiB free)
memory of node 1: 64473 MiB (60300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461523-1722079626/watcher-4461523-1722079626 -o /tmp/evaluation-result-4461523-1722079626/solver-4461523-1722079626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722076017-377004 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461523-1722079626.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=379034, runsolver pid=379031
Current StackSize limit: 8192 KiB
[startup+0.100612 s]*
/proc/loadavg: 4.23 4.12 4.07 3/255 379051
/proc/meminfo: memFree=125544256/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=7992 memory=6532 CPUtime=0.09 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 1186 0 0 0 9 0 0 0 20 0 1 0 44485474 8183808 1633 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 1998 1633 612 659 0 1202 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 17924 KiB
Current children cumulated memory: 9260 KiB
[startup+0.206612 s]*
/proc/loadavg: 4.23 4.12 4.07 7/255 379057
/proc/meminfo: memFree=125543224/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=8124 memory=6532 CPUtime=0.19 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 1206 0 0 0 19 0 0 0 20 0 1 0 44485474 8318976 1633 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 2031 1633 612 659 0 1235 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18056 KiB
Current children cumulated memory: 9260 KiB
[startup+0.305549 s]*
/proc/loadavg: 4.23 4.12 4.07 5/252 379099
/proc/meminfo: memFree=125550544/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=8268 memory=6796 CPUtime=0.29 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 1227 0 0 0 29 0 0 0 20 0 1 0 44485474 8466432 1699 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 2067 1699 612 659 0 1271 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18200 KiB
Current children cumulated memory: 9524 KiB
[startup+0.700248 s]
/proc/loadavg: 4.23 4.12 4.07 5/263 379123
/proc/meminfo: memFree=125516576/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=8400 memory=7060 CPUtime=0.68 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 1286 0 0 0 68 0 0 0 20 0 1 0 44485474 8601600 1765 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 2100 1765 612 659 0 1304 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 18332 KiB
Current children cumulated memory: 9788 KiB
[startup+1.50028 s]
/proc/loadavg: 4.23 4.12 4.07 5/263 379125
/proc/meminfo: memFree=125446420/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=8856 memory=7324 CPUtime=1.48 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 1385 0 0 0 148 0 0 0 20 0 1 0 44485474 9068544 1831 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 2214 1831 612 659 0 1418 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 18788 KiB
Current children cumulated memory: 10052 KiB
[startup+3.10572 s]
/proc/loadavg: 4.23 4.12 4.07 5/263 379125
/proc/meminfo: memFree=125038904/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=9656 memory=8116 CPUtime=3.08 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 1564 0 0 0 308 0 0 0 20 0 1 0 44485474 9887744 2029 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 2414 2029 612 659 0 1618 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 19588 KiB
Current children cumulated memory: 10844 KiB
[startup+6.30016 s]
/proc/loadavg: 4.21 4.12 4.07 5/263 379175
/proc/meminfo: memFree=124899900/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=9656 memory=8116 CPUtime=6.27 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 1596 0 0 0 627 0 0 0 20 0 1 0 44485474 9887744 2029 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 2414 2029 612 659 0 1618 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 19588 KiB
Current children cumulated memory: 10844 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.12 4.07 5/263 379176
/proc/meminfo: memFree=123733244/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=1169280 memory=1090624 CPUtime=12.65 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 93509 0 0 0 1228 37 0 0 20 0 1 0 44485474 1197342720 272656 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 292320 272656 644 659 0 291524 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1179212 KiB
Current children cumulated memory: 1093352 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.07 5/263 379178
/proc/meminfo: memFree=120038164/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=1630816 memory=1547836 CPUtime=25.42 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 106212 0 0 0 2474 68 0 0 20 0 1 0 44485474 1669955584 386959 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 407704 386959 660 659 0 406908 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1640748 KiB
Current children cumulated memory: 1550564 KiB
[startup+51.1058 s]
/proc/loadavg: 4.15 4.12 4.07 5/263 379182
/proc/meminfo: memFree=115840348/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=1828540 memory=1763876 CPUtime=50.96 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 133004 0 0 0 4961 135 0 0 20 0 1 0 44485474 1872424960 440969 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 457135 440969 660 659 0 456339 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1838472 KiB
Current children cumulated memory: 1766604 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/265 379361
/proc/meminfo: memFree=116797860/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=1448692 memory=1409960 CPUtime=102.02 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 161781 0 0 0 9972 230 0 0 20 0 1 0 44485474 1483460608 352490 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 362173 352490 660 659 0 361377 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1458624 KiB
Current children cumulated memory: 1412688 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.12 4.08 5/265 379371
/proc/meminfo: memFree=117767804/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=1559532 memory=1520288 CPUtime=161.85 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 196233 0 0 0 15884 301 0 0 20 0 1 0 44485474 1596960768 380072 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 389883 380072 660 659 0 389087 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1569464 KiB
Current children cumulated memory: 1523016 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/266 379439
/proc/meminfo: memFree=117762588/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=1563312 memory=1524516 CPUtime=221.68 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 220499 0 0 0 21816 352 0 0 20 0 1 0 44485474 1600831488 381129 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 390828 381129 660 659 0 390032 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1573244 KiB
################
# More data... #
################
/proc/379039/statm: 574792 484594 660 659 0 573996 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 2309100 KiB
Current children cumulated memory: 1941104 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/260 380541
/proc/meminfo: memFree=113042916/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=2298420 memory=1937600 CPUtime=3153.67 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 638753 0 0 0 314070 1297 0 0 20 0 1 0 44485474 2353582080 484400 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 574605 484400 660 659 0 573809 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 2308352 KiB
Current children cumulated memory: 1940328 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 380557
/proc/meminfo: memFree=112675540/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=2298420 memory=1937628 CPUtime=3213.52 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 644209 0 0 0 320039 1313 0 0 20 0 1 0 44485474 2353582080 484407 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 574605 484407 660 659 0 573809 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 2308352 KiB
Current children cumulated memory: 1940356 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/262 380567
/proc/meminfo: memFree=113031044/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=2297088 memory=1938344 CPUtime=3273.36 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 649180 0 0 0 326008 1328 0 0 20 0 1 0 44485474 2352218112 484586 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 574272 484586 660 659 0 573476 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 2307020 KiB
Current children cumulated memory: 1941072 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 380578
/proc/meminfo: memFree=113023100/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=2299676 memory=1940932 CPUtime=3333.2 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 650319 0 0 0 331988 1332 0 0 20 0 1 0 44485474 2354868224 485233 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 574919 485233 660 659 0 574123 0
Current children cumulated CPU time: 3333.2 s
Current children cumulated vsize: 2309608 KiB
Current children cumulated memory: 1943660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/261 380589
/proc/meminfo: memFree=113021712/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=2294436 memory=1935692 CPUtime=3393.03 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 658944 0 0 0 337948 1355 0 0 20 0 1 0 44485474 2349502464 483923 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 573609 483923 660 659 0 572813 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 2304368 KiB
Current children cumulated memory: 1938420 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 380600
/proc/meminfo: memFree=113101096/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=2355984 memory=1997176 CPUtime=3452.87 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 661412 0 0 0 343925 1362 0 0 20 0 1 0 44485474 2412527616 499294 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 588996 499294 660 659 0 588200 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 2365916 KiB
Current children cumulated memory: 1999904 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 380994
/proc/meminfo: memFree=113034304/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=2288308 memory=1929564 CPUtime=3512.7 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 665781 0 0 0 349897 1373 0 0 20 0 1 0 44485474 2343227392 482391 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 572077 482391 660 659 0 571281 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 2298240 KiB
Current children cumulated memory: 1932292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 381004
/proc/meminfo: memFree=113012412/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=2290960 memory=1932188 CPUtime=3572.55 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 675131 0 0 0 355858 1397 0 0 20 0 1 0 44485474 2345943040 483047 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 572740 483047 660 659 0 571944 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 2300892 KiB
Current children cumulated memory: 1934916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 381009
/proc/meminfo: memFree=113012300/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=2290960 memory=1932216 CPUtime=3600.07 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 675265 0 0 0 358610 1397 0 0 20 0 1 0 44485474 2345943040 483054 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 572740 483054 660 659 0 571944 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2300892 KiB
Current children cumulated memory: 1934944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 379034 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001095 s, system=0.001922 s
[startup+3609.91 s]
# the end of solver process 379039 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3586.11 s, system=13.9863 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+3609.9 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 381009
/proc/meminfo: memFree=113012300/131524600 swapFree=131056028/131071996
[pid=379034] ppid=379031 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/379034/stat : 379034 (naps-1.03.sh) S 379031 379034 376993 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 44485474 10170368 682 134679101440 94446904328192 94446905407512 140730806453344 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94446907505968 94446907553156 94446939451392 140730806457313 140730806457438 140730806457438 140730806464456 0
/proc/379034/statm: 2483 682 604 264 0 134 0
[pid=379039] ppid=379034 vsize=2290960 memory=1932216 CPUtime=3600.07 cores=4,6
/proc/379039/stat : 379039 (naps-1.03) R 379034 379034 376993 0 -1 4194304 675265 0 0 0 358610 1397 0 0 20 0 1 0 44485474 2345943040 483054 134679101440 4194304 6891597 140725929191984 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10362880 140725929194482 140725929194594 140725929194594 140725929201611 0
/proc/379039/statm: 572740 483054 660 659 0 571944 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2300892 KiB
Current children cumulated memory: 1934944 KiB
Child status: 10
Real time (s): 3609.91
CPU time (s): 3600.1
CPU user time (s): 3586.11
CPU system time (s): 13.9863
CPU usage (%): 99.7281
Max. virtual memory (cumulated for all children) (KiB): 2915700
Max. memory (cumulated for all children) (KiB): 2507292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.11
system time used= 13.9863
maximum resident set size= 2504564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 675724
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= 119
involuntary context switches= 2093
# summary of solver processes directly reported to runsolver:
# pid: 379034,379039
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.11
# total CPU system time (s): 13.9863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20605 second user time and 19.8234 second system time
The end
Begin job on nodeC015 at 2024-07-27 13:27:06 IDJOB=4461523 IDBENCH=143995 IDSOLVER=3088 FILE ID=nodeC015/4461523-1722079626 RUNJOBID= nodeC015-1722076017-377004 SLURM_JOB_ID= 8248126 Free space on /tmp= 890068 MiB SOLVER NAME= NaPS 1.03a1 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap44_wcsp.wbo COMMAND LINE= HOME/naps-1.03.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461523-1722079626/watcher-4461523-1722079626 -o /tmp/evaluation-result-4461523-1722079626/solver-4461523-1722079626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722076017-377004 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461523-1722079626.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5a30a67be6312dd77591c1a6d070d2d2 RANDOM SEED=2078356707 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3611.449 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1994.817 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.901 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1632.281 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.512 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2073.940 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3616.111 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2541.967 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125551460 kB MemAvailable: 129329548 kB Buffers: 386848 kB Cached: 4051928 kB SwapCached: 280 kB Active: 1312988 kB Inactive: 3729688 kB Active(anon): 4476 kB Inactive(anon): 651884 kB Active(file): 1308512 kB Inactive(file): 3077804 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 5236 kB Writeback: 0 kB AnonPages: 603068 kB Mapped: 98480 kB Shmem: 52460 kB KReclaimable: 453180 kB Slab: 577280 kB SReclaimable: 453180 kB SUnreclaim: 124100 kB KernelStack: 4052 kB PageTables: 10172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 988892 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16224 kB HardwareCorrupted: 0 kB AnonHugePages: 696320 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: 367316 kB DirectMap2M: 43446272 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890056 MiB End job on nodeC015 at 2024-07-27 14:27:16