Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS-GM 1.03a2 | MSAT (TO) | 3600.05 | 3610.51 |
| 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 We set -no-flip-min because your selected sat solver does not support it. 0.00/0.00 c Input file name: HOME/instance-4463849-1722353104.wbo 0.00/0.00 c Initial goal by soft: 56493025 0.00/0.02 c single stage optimization mode 0.00/0.03 o 26089846 14.56/14.67 o 16396847 3600.04/3610.50 c 3600.04/3610.50 c *** TERMINATED *** by signal 15 3600.04/3610.50 s SATISFIABLE 3600.04/3610.50 c _____________________________________________________________________________ 3600.04/3610.50 c std/band forms : 52,0 3600.04/3610.50 c 2cl/3cl ITE-codings : 0,0 3600.04/3610.50 c BDD/srt/adr Max costs : 0,1094143,0 3600.04/3610.50 c BDDraw/bin/mul/srt/adr: 0,0,0,52,0 3600.04/3610.50 c BDD nodes : 0 3600.04/3610.50 c Es1/CC detections : 0,0 3600.04/3610.50 c CC sort : 50 3600.04/3610.50 c SAT/UNSAT calls : 2,0 3600.04/3610.50 c regenrated variables : 24356 3600.04/3610.50 c eliminated fixed lits : 800 3600.04/3610.50 c goal lit flips : 0 3600.04/3610.50 c goal stages : 1 3600.04/3610.50 c goal shrink : 0 3600.04/3610.50 c goal coeff separations: 953 3600.04/3610.50 c restarts : 33 3600.04/3610.50 c conflicts : 2443 (1 /sec) 3600.04/3610.50 c decisions : 78486 (22 /sec) 3600.04/3610.50 c propagations : 16269485 (4521 /sec) 3600.04/3610.50 c inspects : 0 (0 /sec) 3600.04/3610.50 c CPU time (solving tm) : 3599 s (3589 s, SAT 5.603 s, UNSAT 0 s) 3600.04/3610.50 c Time for Opt-base : 7.851 s 3600.04/3610.50 c Steps for Opt-base : 44204232 3600.04/3610.50 c Time for BDD coding : 0 s 3600.04/3610.50 c Time for srt coding : 0.5 s 3600.04/3610.50 c _____________________________________________________________________________ 3600.04/3610.50 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.04/3610.50 v
OK 16396847
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 (11257 MiB free)
memory of node 1: 64473 MiB (62108 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463849-1722353104/watcher-4463849-1722353104 -o /tmp/evaluation-result-4463849-1722353104/solver-4463849-1722353104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722352707-14187 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463849-1722353104.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15123, runsolver pid=15120
[startup+0.100096 s]*
/proc/loadavg: 4.37 3.54 2.64 5/265 15128
/proc/meminfo: memFree=75111572/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=7812 memory=5416 CPUtime=0.1 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 1122 0 0 0 10 0 0 0 20 0 1 0 1914958 7999488 1354 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 1953 1354 468 659 0 1157 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17744 KiB
Current children cumulated memory: 8108 KiB
[startup+0.206053 s]*
/proc/loadavg: 4.37 3.54 2.64 5/265 15128
/proc/meminfo: memFree=75098572/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=7812 memory=5680 CPUtime=0.2 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 1151 0 0 0 20 0 0 0 20 0 1 0 1914958 7999488 1420 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 1953 1420 468 659 0 1157 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 17744 KiB
Current children cumulated memory: 8372 KiB
[startup+0.306063 s]*
/proc/loadavg: 4.37 3.54 2.64 5/265 15128
/proc/meminfo: memFree=75079308/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=7952 memory=5680 CPUtime=0.3 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 1161 0 0 0 30 0 0 0 20 0 1 0 1914958 8142848 1420 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 1988 1420 468 659 0 1192 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 17884 KiB
Current children cumulated memory: 8372 KiB
[startup+0.700269 s]
/proc/loadavg: 4.37 3.54 2.64 5/265 15128
/proc/meminfo: memFree=75047160/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=8084 memory=5944 CPUtime=0.69 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 1218 0 0 0 69 0 0 0 20 0 1 0 1914958 8278016 1486 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 2021 1486 468 659 0 1225 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 18016 KiB
Current children cumulated memory: 8636 KiB
[startup+1.50027 s]
/proc/loadavg: 4.37 3.54 2.64 5/265 15128
/proc/meminfo: memFree=74890568/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=8544 memory=6208 CPUtime=1.49 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 1317 0 0 0 149 0 0 0 20 0 1 0 1914958 8749056 1552 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 2136 1552 468 659 0 1340 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 18476 KiB
Current children cumulated memory: 8900 KiB
[startup+3.10588 s]
/proc/loadavg: 4.37 3.54 2.64 5/265 15128
/proc/meminfo: memFree=74289976/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=9064 memory=7000 CPUtime=3.09 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 1456 0 0 0 309 0 0 0 20 0 1 0 1914958 9281536 1750 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 2266 1750 468 659 0 1470 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 18996 KiB
Current children cumulated memory: 9692 KiB
[startup+6.30025 s]
/proc/loadavg: 4.42 3.56 2.65 5/265 15129
/proc/meminfo: memFree=73955292/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=9484 memory=7264 CPUtime=6.28 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 1543 0 0 0 628 0 0 0 20 0 1 0 1914958 9711616 1816 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 2371 1816 468 659 0 1575 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 19416 KiB
Current children cumulated memory: 9956 KiB
[startup+12.7003 s]
/proc/loadavg: 4.38 3.57 2.66 5/265 15129
/proc/meminfo: memFree=73064772/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=651812 memory=588612 CPUtime=12.66 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 70076 0 0 0 1249 17 0 0 20 0 1 0 1914958 667455488 147153 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 162953 147153 468 659 0 162157 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 661744 KiB
Current children cumulated memory: 591304 KiB
[startup+25.5003 s]
/proc/loadavg: 4.30 3.59 2.68 5/264 15132
/proc/meminfo: memFree=70647240/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=857524 memory=796344 CPUtime=25.43 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 90079 0 0 0 2517 26 0 0 20 0 1 0 1914958 878104576 199086 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 214381 199086 468 659 0 213585 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 867456 KiB
Current children cumulated memory: 799036 KiB
[startup+51.106 s]
/proc/loadavg: 4.35 3.66 2.73 4/265 15137
/proc/meminfo: memFree=65232672/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=892864 memory=803348 CPUtime=50.95 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 92102 0 0 0 5067 28 0 0 20 0 1 0 1914958 914292736 200837 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 223216 200837 468 659 0 222420 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 902796 KiB
Current children cumulated memory: 806040 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 3.73 2.80 5/267 15412
/proc/meminfo: memFree=115847712/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=893400 memory=817556 CPUtime=101.99 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 93834 0 0 0 10168 31 0 0 20 0 1 0 1914958 914841600 204389 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 223350 204389 468 659 0 222554 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 903332 KiB
Current children cumulated memory: 820248 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 3.81 2.89 5/268 15424
/proc/meminfo: memFree=110478732/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=895932 memory=813800 CPUtime=161.79 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 96630 0 0 0 16144 35 0 0 20 0 1 0 1914958 917434368 203450 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 223983 203450 468 659 0 223187 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 905864 KiB
Current children cumulated memory: 816492 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 3.91 2.98 5/268 15651
/proc/meminfo: memFree=116563696/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=897500 memory=813584 CPUtime=221.6 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 99242 0 0 0 22120 40 0 0 20 0 1 0 1914958 919040000 203396 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 224375 203396 468 659 0 223579 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 907432 KiB
################
# More data... #
################
/proc/15128/statm: 246163 222603 468 659 0 245367 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 994584 KiB
Current children cumulated memory: 893104 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.08 5/260 16902
/proc/meminfo: memFree=114295604/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=985164 memory=913680 CPUtime=3153.1 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 146065 0 0 0 315194 116 0 0 20 0 1 0 1914958 1008807936 228420 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 246291 228420 468 659 0 245495 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 995096 KiB
Current children cumulated memory: 916372 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.08 5/260 16912
/proc/meminfo: memFree=114362944/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=940272 memory=876608 CPUtime=3212.92 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 147642 0 0 0 321174 118 0 0 20 0 1 0 1914958 962838528 219152 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 235068 219152 468 659 0 234272 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 950204 KiB
Current children cumulated memory: 879300 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/260 16923
/proc/meminfo: memFree=114335648/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=990360 memory=902388 CPUtime=3272.76 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 148294 0 0 0 327156 120 0 0 20 0 1 0 1914958 1014128640 225597 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 247590 225597 468 659 0 246794 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 1000292 KiB
Current children cumulated memory: 905080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 16938
/proc/meminfo: memFree=114264596/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=990360 memory=926972 CPUtime=3332.57 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 148584 0 0 0 333137 120 0 0 20 0 1 0 1914958 1014128640 231743 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 247590 231743 468 659 0 246794 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 1000292 KiB
Current children cumulated memory: 929664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 16949
/proc/meminfo: memFree=114390320/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=940272 memory=884812 CPUtime=3392.4 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 149455 0 0 0 339118 122 0 0 20 0 1 0 1914958 962838528 221203 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 235068 221203 468 659 0 234272 0
Current children cumulated CPU time: 3392.4 s
Current children cumulated vsize: 950204 KiB
Current children cumulated memory: 887504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.11 4.09 5/263 16959
/proc/meminfo: memFree=114302668/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=990644 memory=912704 CPUtime=3452.23 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 150173 0 0 0 345100 123 0 0 20 0 1 0 1914958 1014419456 228176 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 247661 228176 468 659 0 246865 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 1000576 KiB
Current children cumulated memory: 915396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 4/255 17000
/proc/meminfo: memFree=115086620/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=990776 memory=939732 CPUtime=3512.05 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 150547 0 0 0 351081 124 0 0 20 0 1 0 1914958 1014554624 234933 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 247694 234933 468 659 0 246898 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 1000708 KiB
Current children cumulated memory: 942424 KiB
[startup+3582.3 s]
/proc/loadavg: 3.44 3.92 4.03 4/255 17012
/proc/meminfo: memFree=115156844/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=991024 memory=905180 CPUtime=3571.9 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 151792 0 0 0 357064 126 0 0 20 0 1 0 1914958 1014808576 226295 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 247756 226295 468 659 0 246960 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 1000956 KiB
Current children cumulated memory: 907872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 3.42 3.86 4.00 4/255 17400
/proc/meminfo: memFree=115125832/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=991160 memory=919540 CPUtime=3600.04 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 151938 0 0 0 359877 127 0 0 20 0 1 0 1914958 1014947840 229885 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 247790 229885 468 659 0 246994 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1001092 KiB
Current children cumulated memory: 922232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 15123 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00088 s, system=0.002001 s
[startup+3610.51 s]
# the end of solver process 15128 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.77 s, system=1.27939 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+3610.5 s]
/proc/loadavg: 3.42 3.86 4.00 4/255 17400
/proc/meminfo: memFree=115125832/131524600 swapFree=131071996/131071996
[pid=15123] ppid=15120 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/15123/stat : 15123 (naps-1.03.sh) S 15120 15123 14174 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 1914958 10170368 673 134679101440 94763699765248 94763700844568 140726088048128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94763702943024 94763702990212 94763717439488 140726088053727 140726088053856 140726088053856 140726088060872 0
/proc/15123/statm: 2483 673 595 264 0 134 0
[pid=15128] ppid=15123 vsize=991160 memory=919540 CPUtime=3600.04 cores=5,7
/proc/15128/stat : 15128 (naps-1.03a2) R 15123 15123 14174 0 -1 4194304 151938 0 0 0 359877 127 0 0 20 0 1 0 1914958 1014947840 229885 134679101440 4194304 6891597 140722700794176 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35770368 140722700796906 140722700797024 140722700797024 140722700804041 0
/proc/15128/statm: 247790 229885 468 659 0 246994 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1001092 KiB
Current children cumulated memory: 922232 KiB
Child status: 10
Real time (s): 3610.51
CPU time (s): 3600.05
CPU user time (s): 3598.77
CPU system time (s): 1.27939
CPU usage (%): 99.7104
Max. virtual memory (cumulated for all children) (KiB): 1081096
Max. memory (cumulated for all children) (KiB): 1007940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.77
system time used= 1.27939
maximum resident set size= 1007296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152399
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= 132
involuntary context switches= 4210
# summary of solver processes directly reported to runsolver:
# pid: 15123,15128
# total CPU time (s): 3600.05
# total CPU user time (s): 3598.77
# total CPU system time (s): 1.27939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55317 second user time and 19.4964 second system time
The end
Begin job on nodeC035 at 2024-07-30 17:25:04 IDJOB=4463849 IDBENCH=144007 IDSOLVER=3091 FILE ID=nodeC035/4463849-1722353104 RUNJOBID= nodeC035-1722352707-14187 SLURM_JOB_ID= 8249039 Free space on /tmp= 890056 MiB SOLVER NAME= NaPS-GM 1.03a2 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap42_wcsp.wbo COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463849-1722353104/watcher-4463849-1722353104 -o /tmp/evaluation-result-4463849-1722353104/solver-4463849-1722353104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722352707-14187 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463849-1722353104.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f1281546bfdcfa9fb50b608c743ffb37 RANDOM SEED=1904113714 nodeC035.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 : 3662.432 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 : 7000.79 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 : 3668.052 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 : 7006.92 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.682 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 : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.768 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 : 7006.92 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 : 3662.476 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 : 7000.79 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 : 3658.647 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 : 7006.92 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.697 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 : 7000.79 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 : 3653.929 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 : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 75126732 kB MemAvailable: 81520280 kB Buffers: 57248 kB Cached: 7153016 kB SwapCached: 0 kB Active: 193916 kB Inactive: 55598208 kB Active(anon): 1584 kB Inactive(anon): 48601304 kB Active(file): 192332 kB Inactive(file): 6996904 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5624 kB Writeback: 0 kB AnonPages: 48579844 kB Mapped: 93984 kB Shmem: 21336 kB KReclaimable: 88268 kB Slab: 171756 kB SReclaimable: 88268 kB SUnreclaim: 83488 kB KernelStack: 4268 kB PageTables: 104204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 55066204 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 14682112 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: 250580 kB DirectMap2M: 7911424 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890052 MiB End job on nodeC035 at 2024-07-30 18:25:14