Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS 1.03a2 | MSAT (TO) | 3600.02 | 3611.41 |
| 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.03a2. 0.00/0.00 c Input file name: HOME/instance-4463581-1722353424.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.45 c Found but not a solution: 1377269626 11.15/11.24 c Found but not a solution: 916939027 12.24/12.36 c Found but not a solution: 477018669 14.05/14.15 c Found but not a solution: 244627100 15.04/15.16 c Found but not a solution: 125573006 16.64/16.74 c Found but not a solution: 76032095 18.04/18.13 o 20559342 70.88/71.16 o 12213731 3600.01/3611.40 c 3600.01/3611.40 c *** TERMINATED *** by signal 15 3600.01/3611.40 s SATISFIABLE 3600.01/3611.40 c _____________________________________________________________________________ 3600.01/3611.40 c std/band forms : 59,0 3600.01/3611.40 c 2cl/3cl ITE-codings : 0,0 3600.01/3611.40 c BDD/srt/adr Max costs : 0,1094813,0 3600.01/3611.40 c BDDraw/bin/mul/srt/adr: 0,0,0,59,0 3600.01/3611.40 c BDD nodes : 0 3600.01/3611.40 c Es1/CC detections : 0,0 3600.01/3611.40 c CC sort : 50 3600.01/3611.40 c SAT/UNSAT calls : 9,0 3600.01/3611.40 c regenrated variables : 0 3600.01/3611.40 c eliminated fixed lits : 1600 3600.01/3611.40 c goal lit flips : 1514 3600.01/3611.40 c goal stages : 1 3600.01/3611.40 c goal shrink : 0 3600.01/3611.40 c goal coeff separations: 953 3600.01/3611.40 c restarts : 398 3600.01/3611.40 c conflicts : 4318 (1 /sec) 3600.01/3611.40 c decisions : 714591 (199 /sec) 3600.01/3611.40 c propagations : 82625416 (23005 /sec) 3600.01/3611.40 c inspects : 0 (0 /sec) 3600.01/3611.40 c CPU time (solving tm) : 3592 s (3578 s, SAT 56.08 s, UNSAT 0 s) 3600.01/3611.40 c Time for Opt-base : 7.858 s 3600.01/3611.40 c Steps for Opt-base : 44204232 3600.01/3611.40 c Time for BDD coding : 0 s 3600.01/3611.40 c Time for srt coding : 1.758 s 3600.01/3611.40 c _____________________________________________________________________________ 3600.01/3611.40 v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -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/3611.40 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: 63931 MiB (45055 MiB free)
memory of node 1: 64510 MiB (57653 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463581-1722353424/watcher-4463581-1722353424 -o /tmp/evaluation-result-4463581-1722353424/solver-4463581-1722353424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722352591-13989 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463581-1722353424.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=15334, runsolver pid=15331
Current StackSize limit: 8192 KiB
[startup+0.100906 s]*
/proc/loadavg: 4.41 4.11 3.36 5/265 15339
/proc/meminfo: memFree=104896260/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=7992 memory=6532 CPUtime=0.09 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 1188 0 0 0 9 0 0 0 20 0 1 0 1939794 8183808 1633 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/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: 9236 KiB
[startup+0.206056 s]*
/proc/loadavg: 4.41 4.11 3.36 5/265 15339
/proc/meminfo: memFree=104826180/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=8124 memory=6532 CPUtime=0.19 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 1205 0 0 0 19 0 0 0 20 0 1 0 1939794 8318976 1633 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/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: 9236 KiB
[startup+0.305789 s]*
/proc/loadavg: 4.41 4.11 3.36 5/265 15339
/proc/meminfo: memFree=104825700/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=8268 memory=6796 CPUtime=0.29 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 1226 0 0 0 29 0 0 0 20 0 1 0 1939794 8466432 1699 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/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: 9500 KiB
[startup+0.70028 s]
/proc/loadavg: 4.41 4.11 3.36 5/265 15339
/proc/meminfo: memFree=104594672/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=8400 memory=7060 CPUtime=0.68 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 1283 0 0 0 68 0 0 0 20 0 1 0 1939794 8601600 1765 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/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: 9764 KiB
[startup+1.50028 s]
/proc/loadavg: 4.37 4.10 3.37 5/265 15339
/proc/meminfo: memFree=105747156/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=8860 memory=7324 CPUtime=1.48 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 1384 0 0 0 148 0 0 0 20 0 1 0 1939794 9072640 1831 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 2215 1831 612 659 0 1419 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 18792 KiB
Current children cumulated memory: 10028 KiB
[startup+3.10572 s]
/proc/loadavg: 4.37 4.10 3.37 5/265 15339
/proc/meminfo: memFree=106292620/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=9380 memory=7852 CPUtime=3.08 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 1524 0 0 0 308 0 0 0 20 0 1 0 1939794 9605120 1963 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 2345 1963 612 659 0 1549 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 19312 KiB
Current children cumulated memory: 10556 KiB
[startup+6.30027 s]
/proc/loadavg: 4.34 4.10 3.37 5/264 15341
/proc/meminfo: memFree=106523008/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=9800 memory=8380 CPUtime=6.27 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 1612 0 0 0 627 0 0 0 20 0 1 0 1939794 10035200 2095 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 2450 2095 612 659 0 1654 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 11084 KiB
[startup+12.7003 s]
/proc/loadavg: 4.40 4.12 3.38 5/264 15341
/proc/meminfo: memFree=105681124/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=983072 memory=955760 CPUtime=12.65 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 97180 0 0 0 1236 29 0 0 20 0 1 0 1939794 1006665728 238940 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 245768 238940 644 659 0 244972 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 993004 KiB
Current children cumulated memory: 958464 KiB
[startup+25.5003 s]
/proc/loadavg: 4.41 4.13 3.39 5/264 15344
/proc/meminfo: memFree=101814652/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=3422820 memory=3277148 CPUtime=25.41 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 196688 0 0 0 2430 111 0 0 20 0 1 0 1939794 3504967680 819287 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 855705 819287 644 659 0 854909 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3432752 KiB
Current children cumulated memory: 3279852 KiB
[startup+51.1058 s]
/proc/loadavg: 4.25 4.12 3.41 5/264 15348
/proc/meminfo: memFree=103591784/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=3335636 memory=2934432 CPUtime=50.94 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 204498 0 0 0 4939 155 0 0 20 0 1 0 1939794 3415691264 733608 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 833909 733608 660 659 0 833113 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3345568 KiB
Current children cumulated memory: 2937136 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 3.45 5/264 15357
/proc/meminfo: memFree=103061780/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2148752 memory=1840952 CPUtime=101.97 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 234786 0 0 0 9936 261 0 0 20 0 1 0 1939794 2200322048 460238 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 537188 460238 660 659 0 536392 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2158684 KiB
Current children cumulated memory: 1843656 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.14 3.50 5/264 15617
/proc/meminfo: memFree=103382104/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2102176 memory=1798108 CPUtime=161.78 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 255328 0 0 0 15867 311 0 0 20 0 1 0 1939794 2152628224 449527 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 525544 449527 660 659 0 524748 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2112108 KiB
Current children cumulated memory: 1800812 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 3.54 5/262 15627
/proc/meminfo: memFree=101275592/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2016680 memory=1712764 CPUtime=221.58 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 269296 0 0 0 21819 339 0 0 20 0 1 0 1939794 2065080320 428191 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 504170 428191 660 659 0 503374 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2026612 KiB
################
# More data... #
################
/proc/15339/statm: 521771 452416 660 659 0 520975 0
Current children cumulated CPU time: 3032.53 s
Current children cumulated vsize: 2097016 KiB
Current children cumulated memory: 1812368 KiB
[startup+3102.3 s]
/proc/loadavg: 3.11 3.46 3.80 4/253 17553
/proc/meminfo: memFree=124462636/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2085528 memory=1808108 CPUtime=3092.35 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 455169 0 0 0 308453 782 0 0 20 0 1 0 1939794 2135580672 452027 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 521382 452027 660 659 0 520586 0
Current children cumulated CPU time: 3092.35 s
Current children cumulated vsize: 2095460 KiB
Current children cumulated memory: 1810812 KiB
[startup+3162.3 s]
/proc/loadavg: 3.08 3.39 3.75 4/253 17564
/proc/meminfo: memFree=118297720/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2084472 memory=1807052 CPUtime=3152.17 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 457935 0 0 0 314429 788 0 0 20 0 1 0 1939794 2134499328 451763 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 521118 451763 660 659 0 520322 0
Current children cumulated CPU time: 3152.17 s
Current children cumulated vsize: 2094404 KiB
Current children cumulated memory: 1809756 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.33 3.71 4/253 17574
/proc/meminfo: memFree=117185464/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2088196 memory=1810776 CPUtime=3212 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 458942 0 0 0 320409 791 0 0 20 0 1 0 1939794 2138312704 452694 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 522049 452694 660 659 0 521253 0
Current children cumulated CPU time: 3212 s
Current children cumulated vsize: 2098128 KiB
Current children cumulated memory: 1813480 KiB
[startup+3282.3 s]
/proc/loadavg: 3.07 3.28 3.67 4/254 17587
/proc/meminfo: memFree=116195280/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2142840 memory=1867476 CPUtime=3271.8 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 462517 0 0 0 326382 798 0 0 20 0 1 0 1939794 2194268160 466869 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 535710 466869 660 659 0 534914 0
Current children cumulated CPU time: 3271.8 s
Current children cumulated vsize: 2152772 KiB
Current children cumulated memory: 1870180 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.26 3.63 4/253 17980
/proc/meminfo: memFree=115889456/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2087452 memory=1812088 CPUtime=3331.62 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 466346 0 0 0 332356 806 0 0 20 0 1 0 1939794 2137550848 453022 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 521863 453022 660 659 0 521067 0
Current children cumulated CPU time: 3331.62 s
Current children cumulated vsize: 2097384 KiB
Current children cumulated memory: 1814792 KiB
[startup+3402.3 s]
/proc/loadavg: 3.04 3.21 3.59 4/253 17990
/proc/meminfo: memFree=116222548/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2078080 memory=1802780 CPUtime=3391.45 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 468018 0 0 0 338336 809 0 0 20 0 1 0 1939794 2127953920 450695 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 519520 450695 660 659 0 518724 0
Current children cumulated CPU time: 3391.45 s
Current children cumulated vsize: 2088012 KiB
Current children cumulated memory: 1805484 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.20 3.56 4/256 18008
/proc/meminfo: memFree=116285788/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2078392 memory=1803092 CPUtime=3451.3 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 472236 0 0 0 344311 819 0 0 20 0 1 0 1939794 2128273408 450773 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 519598 450773 660 659 0 518802 0
Current children cumulated CPU time: 3451.3 s
Current children cumulated vsize: 2088324 KiB
Current children cumulated memory: 1805796 KiB
[startup+3522.3 s]
/proc/loadavg: 3.32 3.23 3.55 4/256 18186
/proc/meminfo: memFree=114917792/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2130832 memory=1855532 CPUtime=3511.13 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 476530 0 0 0 350285 828 0 0 20 0 1 0 1939794 2181971968 463883 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 532708 463883 660 659 0 531912 0
Current children cumulated CPU time: 3511.13 s
Current children cumulated vsize: 2140764 KiB
Current children cumulated memory: 1858236 KiB
[startup+3582.3 s]
/proc/loadavg: 3.23 3.23 3.53 4/258 18255
/proc/meminfo: memFree=116557640/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2130976 memory=1855676 CPUtime=3570.98 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 480438 0 0 0 356262 836 0 0 20 0 1 0 1939794 2182119424 463919 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 532744 463919 660 659 0 531948 0
Current children cumulated CPU time: 3570.98 s
Current children cumulated vsize: 2140908 KiB
Current children cumulated memory: 1858380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 3.15 3.21 3.51 4/258 18261
/proc/meminfo: memFree=116276104/131524600 swapFree=131071996/131071996
[pid=15334] ppid=15331 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/15334/stat : 15334 (naps-1.03.sh) S 15331 15334 13977 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 1939794 10170368 676 134679101440 94471715721216 94471716800536 140732797912416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94471718898992 94471718946180 94471745175552 140732797916131 140732797916256 140732797916256 140732797923272 0
/proc/15334/statm: 2483 676 598 264 0 134 0
[pid=15339] ppid=15334 vsize=2084472 memory=1809172 CPUtime=3600.01 cores=1,3
/proc/15339/stat : 15339 (naps-1.03a2) R 15334 15334 13977 0 -1 4194304 482016 0 0 0 359161 840 0 0 20 0 1 0 1939794 2134499328 452293 134679101440 4194304 6891597 140734033118064 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17047552 140734033126382 140734033126496 140734033126496 140734033133513 0
/proc/15339/statm: 521118 452293 660 659 0 520322 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2094404 KiB
Current children cumulated memory: 1811876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 15334 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002606 s, system=0.000569 s
[startup+3611.41 s]
# the end of solver process 15339 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.61 s, system=8.4102 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.41
CPU time (s): 3600.02
CPU user time (s): 3591.61
CPU system time (s): 8.4102
CPU usage (%): 99.6848
Max. virtual memory (cumulated for all children) (KiB): 3784572
Max. memory (cumulated for all children) (KiB): 3386288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.61
system time used= 8.4102
maximum resident set size= 3383584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482479
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= 215
involuntary context switches= 1847
# summary of solver processes directly reported to runsolver:
# pid: 15334,15339
# total CPU time (s): 3600.02
# total CPU user time (s): 3591.61
# total CPU system time (s): 8.4102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1172 second user time and 18.0792 second system time
The end
Begin job on nodeC018 at 2024-07-30 17:30:24 IDJOB=4463581 IDBENCH=144007 IDSOLVER=3090 FILE ID=nodeC018/4463581-1722353424 RUNJOBID= nodeC018-1722352591-13989 SLURM_JOB_ID= 8249033 Free space on /tmp= 890036 MiB SOLVER NAME= NaPS 1.03a2 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-4463581-1722353424/watcher-4463581-1722353424 -o /tmp/evaluation-result-4463581-1722353424/solver-4463581-1722353424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722352591-13989 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463581-1722353424.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f1281546bfdcfa9fb50b608c743ffb37 RANDOM SEED=180979743 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.203 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.92 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 : 3650.099 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 : 7007.08 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 : 3600.224 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.92 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 : 3667.109 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 : 7007.08 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 : 3656.301 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.92 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 : 3665.779 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 : 7007.08 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 : 3600.333 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.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.092 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 : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 105229588 kB MemAvailable: 106540708 kB Buffers: 67052 kB Cached: 2065236 kB SwapCached: 0 kB Active: 201684 kB Inactive: 25545700 kB Active(anon): 1572 kB Inactive(anon): 23634856 kB Active(file): 200112 kB Inactive(file): 1910844 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5624 kB Writeback: 20 kB AnonPages: 23615364 kB Mapped: 95988 kB Shmem: 21336 kB KReclaimable: 79624 kB Slab: 163764 kB SReclaimable: 79624 kB SUnreclaim: 84140 kB KernelStack: 4224 kB PageTables: 54960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 26190652 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 7776 kB HardwareCorrupted: 0 kB AnonHugePages: 14585856 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: 148180 kB DirectMap2M: 10110976 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 889956 MiB End job on nodeC018 at 2024-07-30 18:30:36