Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS-GM 1.03a1 | MSAT (TO) | 3600.11 | 3611.41 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap44_wcsp.wbo |
| MD5SUM | 5a30a67be6312dd77591c1a6d070d2d2 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 10065681 |
| Best CPU time to get the best result obtained on this benchmark | 0.586616 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 832 |
| Total number of constraints | 1680 |
| Number of soft constraints | 1614 |
| Number of constraints which are clauses | 1614 |
| Number of constraints which are cardinality constraints (but not clauses) | 66 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 16 |
| Top cost | 58368026 |
| Min constraint cost | 1 |
| Max constraint cost | 58368026 |
| Sum of constraints costs | 47051030826 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 17 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c NaPS 1.03a1. 0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it. 0.00/0.00 c Input file name: HOME/instance-4461169-1722079417.wbo 0.00/0.00 c Initial goal by soft: 58368025 0.00/0.02 c single stage optimization mode 0.00/0.03 o 26964846 11.96/12.09 o 17501050 3600.09/3611.40 c 3600.09/3611.40 c *** TERMINATED *** by signal 15 3600.09/3611.40 s SATISFIABLE 3600.09/3611.40 c _____________________________________________________________________________ 3600.09/3611.40 c std/band forms : 52,0 3600.09/3611.40 c 2cl/3cl ITE-codings : 0,0 3600.09/3611.40 c BDD/srt/adr Max costs : 0,915639,0 3600.09/3611.40 c BDDraw/bin/mul/srt/adr: 0,0,0,52,0 3600.09/3611.40 c BDD nodes : 0 3600.09/3611.40 c Es1/CC detections : 0,0 3600.09/3611.40 c CC sort : 50 3600.09/3611.40 c SAT/UNSAT calls : 2,0 3600.09/3611.40 c regenrated variables : 18698 3600.09/3611.40 c eliminated fixed lits : 800 3600.09/3611.40 c goal lit flips : 0 3600.09/3611.40 c goal stages : 1 3600.09/3611.40 c goal shrink : 0 3600.09/3611.40 c goal coeff separations: 953 3600.09/3611.40 c restarts : 36 3600.09/3611.40 c conflicts : 3351 (1 /sec) 3600.09/3611.40 c decisions : 81085 (23 /sec) 3600.09/3611.40 c propagations : 16643124 (4625 /sec) 3600.09/3611.40 c inspects : 0 (0 /sec) 3600.09/3611.40 c CPU time (solving tm) : 3599 s (3591 s, SAT 4.743 s, UNSAT 0 s) 3600.09/3611.40 c Time for Opt-base : 6.284 s 3600.09/3611.40 c Steps for Opt-base : 34744578 3600.09/3611.40 c Time for BDD coding : 0 s 3600.09/3611.40 c Time for srt coding : 0.4247 s 3600.09/3611.40 c _____________________________________________________________________________ 3600.09/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.09/3611.40 v
OK 17055910
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 (56533 MiB free)
memory of node 1: 64473 MiB (43916 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461169-1722079417/watcher-4461169-1722079417 -o /tmp/evaluation-result-4461169-1722079417/solver-4461169-1722079417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722075805-376121 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461169-1722079417.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=378220, runsolver pid=378217
[startup+0.100096 s]*
/proc/loadavg: 4.12 4.12 4.09 5/260 378225
/proc/meminfo: memFree=102856316/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=7812 memory=5416 CPUtime=0.1 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 1122 0 0 0 10 0 0 0 20 0 1 0 44464197 7999488 1354 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/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: 8076 KiB
[startup+0.205662 s]*
/proc/loadavg: 4.12 4.12 4.09 6/260 378225
/proc/meminfo: memFree=102856176/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=7812 memory=5680 CPUtime=0.2 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 1151 0 0 0 20 0 0 0 20 0 1 0 44464197 7999488 1420 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/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: 8340 KiB
[startup+0.305744 s]*
/proc/loadavg: 4.12 4.12 4.09 5/260 378225
/proc/meminfo: memFree=102855996/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=7952 memory=5680 CPUtime=0.3 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 1160 0 0 0 30 0 0 0 20 0 1 0 44464197 8142848 1420 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/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: 8340 KiB
[startup+0.700271 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 378225
/proc/meminfo: memFree=102855564/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=8084 memory=5944 CPUtime=0.69 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 1218 0 0 0 69 0 0 0 20 0 1 0 44464197 8278016 1486 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/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: 8604 KiB
[startup+1.50028 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 378225
/proc/meminfo: memFree=102855420/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=8540 memory=6208 CPUtime=1.48 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 1318 0 0 0 148 0 0 0 20 0 1 0 44464197 8744960 1552 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 2135 1552 468 659 0 1339 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 18472 KiB
Current children cumulated memory: 8868 KiB
[startup+3.10552 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 378225
/proc/meminfo: memFree=102850268/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=9344 memory=7000 CPUtime=3.08 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 1495 0 0 0 308 0 0 0 20 0 1 0 44464197 9568256 1750 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 2336 1750 468 659 0 1540 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 19276 KiB
Current children cumulated memory: 9660 KiB
[startup+6.30026 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 378226
/proc/meminfo: memFree=103139836/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=9344 memory=7264 CPUtime=6.27 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 1525 0 0 0 627 0 0 0 20 0 1 0 44464197 9568256 1816 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 2336 1816 468 659 0 1540 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 19276 KiB
Current children cumulated memory: 9924 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 378226
/proc/meminfo: memFree=102647712/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=678700 memory=640504 CPUtime=12.65 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 74347 0 0 0 1242 23 0 0 20 0 1 0 44464197 694988800 160126 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 169675 160126 468 659 0 168879 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 688632 KiB
Current children cumulated memory: 643164 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.13 4.09 5/260 378229
/proc/meminfo: memFree=102400576/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=776208 memory=720092 CPUtime=25.42 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 87251 0 0 0 2515 27 0 0 20 0 1 0 44464197 794836992 180023 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 194052 180023 468 659 0 193256 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 786140 KiB
Current children cumulated memory: 722752 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 378282
/proc/meminfo: memFree=102828236/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=776208 memory=721036 CPUtime=50.94 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 87716 0 0 0 5066 28 0 0 20 0 1 0 44464197 794836992 180259 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 194052 180259 468 659 0 193256 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 786140 KiB
Current children cumulated memory: 723696 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/262 378677
/proc/meminfo: memFree=101805756/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=776208 memory=716940 CPUtime=101.98 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 88098 0 0 0 10167 31 0 0 20 0 1 0 44464197 794836992 179235 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 194052 179235 468 659 0 193256 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 786140 KiB
Current children cumulated memory: 719600 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/260 378687
/proc/meminfo: memFree=101728572/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=809128 memory=729480 CPUtime=161.79 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 89005 0 0 0 16145 34 0 0 20 0 1 0 44464197 828547072 182370 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 202282 182370 468 659 0 201486 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 819060 KiB
Current children cumulated memory: 732140 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 378898
/proc/meminfo: memFree=102216128/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=810512 memory=730828 CPUtime=221.62 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 89720 0 0 0 22124 38 0 0 20 0 1 0 44464197 829964288 182707 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 202628 182707 468 659 0 201832 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 820444 KiB
################
# More data... #
################
/proc/378225/statm: 224844 200656 468 659 0 224048 0
Current children cumulated CPU time: 3032.8 s
Current children cumulated vsize: 909308 KiB
Current children cumulated memory: 805284 KiB
[startup+3102.3 s]
/proc/loadavg: 3.11 3.13 3.32 4/253 380345
/proc/meminfo: memFree=115697284/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=899376 memory=827228 CPUtime=3092.61 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 118284 0 0 0 309147 114 0 0 20 0 1 0 44464197 920961024 206807 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 224844 206807 468 659 0 224048 0
Current children cumulated CPU time: 3092.61 s
Current children cumulated vsize: 909308 KiB
Current children cumulated memory: 829888 KiB
[startup+3162.3 s]
/proc/loadavg: 3.16 3.14 3.31 4/251 380355
/proc/meminfo: memFree=115704120/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=849288 memory=787312 CPUtime=3152.42 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 118705 0 0 0 315126 116 0 0 20 0 1 0 44464197 869670912 196828 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 212322 196828 468 659 0 211526 0
Current children cumulated CPU time: 3152.42 s
Current children cumulated vsize: 859220 KiB
Current children cumulated memory: 789972 KiB
[startup+3222.3 s]
/proc/loadavg: 3.12 3.12 3.29 4/251 380366
/proc/meminfo: memFree=115647580/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=899848 memory=813448 CPUtime=3212.23 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 119423 0 0 0 321106 117 0 0 20 0 1 0 44464197 921444352 203362 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 224962 203362 468 659 0 224166 0
Current children cumulated CPU time: 3212.23 s
Current children cumulated vsize: 909780 KiB
Current children cumulated memory: 816108 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.11 3.28 4/250 380376
/proc/meminfo: memFree=115620412/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=900552 memory=838704 CPUtime=3272.04 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 120097 0 0 0 327086 118 0 0 20 0 1 0 44464197 922165248 209676 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 225138 209676 468 659 0 224342 0
Current children cumulated CPU time: 3272.04 s
Current children cumulated vsize: 910484 KiB
Current children cumulated memory: 841364 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.12 3.27 4/250 380386
/proc/meminfo: memFree=115702740/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=900868 memory=802044 CPUtime=3331.85 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 121139 0 0 0 333065 120 0 0 20 0 1 0 44464197 922488832 200511 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 225217 200511 468 659 0 224421 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 910800 KiB
Current children cumulated memory: 804704 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.11 3.26 4/250 380397
/proc/meminfo: memFree=115646324/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=901140 memory=824764 CPUtime=3391.66 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 121398 0 0 0 339045 121 0 0 20 0 1 0 44464197 922767360 206191 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 225285 206191 468 659 0 224489 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 911072 KiB
Current children cumulated memory: 827424 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.11 3.24 4/253 380412
/proc/meminfo: memFree=115664764/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=852160 memory=781356 CPUtime=3451.46 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 121968 0 0 0 345024 122 0 0 20 0 1 0 44464197 872611840 195339 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 213040 195339 468 659 0 212244 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 862092 KiB
Current children cumulated memory: 784016 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.11 3.24 4/253 380422
/proc/meminfo: memFree=115678260/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=903084 memory=812148 CPUtime=3511.27 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 122769 0 0 0 351004 123 0 0 20 0 1 0 44464197 924758016 203037 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 225771 203037 468 659 0 224975 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 913016 KiB
Current children cumulated memory: 814808 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.11 3.23 4/253 380433
/proc/meminfo: memFree=115628136/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=905152 memory=830492 CPUtime=3571.09 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 123450 0 0 0 356985 124 0 0 20 0 1 0 44464197 926875648 207623 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 226288 207623 468 659 0 225492 0
Current children cumulated CPU time: 3571.09 s
Current children cumulated vsize: 915084 KiB
Current children cumulated memory: 833152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 3.11 3.11 3.22 4/253 380438
/proc/meminfo: memFree=115606512/131524600 swapFree=131071216/131071996
[pid=378220] ppid=378217 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/378220/stat : 378220 (naps-1.03.sh) S 378217 378220 376110 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44464197 10170368 665 134679101440 93870131683328 93870132762648 140730334447488 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93870134861104 93870134908292 93870136258560 140730334454749 140730334454878 140730334454878 140730334461896 0
/proc/378220/statm: 2483 665 586 264 0 134 0
[pid=378225] ppid=378220 vsize=906132 memory=839624 CPUtime=3600.09 cores=4,6
/proc/378225/stat : 378225 (naps-1.03) R 378220 378220 376110 0 -1 4194304 123873 0 0 0 359885 124 0 0 20 0 1 0 44464197 927879168 209906 134679101440 4194304 6891597 140729789884352 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 31969280 140729789887470 140729789887586 140729789887586 140729789894603 0
/proc/378225/statm: 226533 209906 468 659 0 225737 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 916064 KiB
Current children cumulated memory: 842284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 378220 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000868 s, system=0.001985 s
[startup+3611.41 s]
# the end of solver process 378225 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.85 s, system=1.25117 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.11
CPU user time (s): 3598.85
CPU system time (s): 1.25117
CPU usage (%): 99.6871
Max. virtual memory (cumulated for all children) (KiB): 992320
Max. memory (cumulated for all children) (KiB): 904080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.85
system time used= 1.25117
maximum resident set size= 902452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124334
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= 123
involuntary context switches= 3892
# summary of solver processes directly reported to runsolver:
# pid: 378220,378225
# total CPU time (s): 3600.11
# total CPU user time (s): 3598.85
# total CPU system time (s): 1.25117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63681 second user time and 18.0507 second system time
The end
Begin job on nodeC017 at 2024-07-27 13:23:37 IDJOB=4461169 IDBENCH=143995 IDSOLVER=3087 FILE ID=nodeC017/4461169-1722079417 RUNJOBID= nodeC017-1722075805-376121 SLURM_JOB_ID= 8248121 Free space on /tmp= 890064 MiB SOLVER NAME= NaPS-GM 1.03a1 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap44_wcsp.wbo COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461169-1722079417/watcher-4461169-1722079417 -o /tmp/evaluation-result-4461169-1722079417/solver-4461169-1722079417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722075805-376121 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461169-1722079417.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5a30a67be6312dd77591c1a6d070d2d2 RANDOM SEED=1733574873 nodeC017.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 : 3657.132 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.61 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 : 3690.896 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.74 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 : 3601.207 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.61 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 : 3601.250 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.74 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 : 3657.568 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.61 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 : 3690.927 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.74 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 : 3648.727 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.61 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.576 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 102861356 kB MemAvailable: 113480108 kB Buffers: 401736 kB Cached: 11005516 kB SwapCached: 88 kB Active: 2803756 kB Inactive: 25132232 kB Active(anon): 1580 kB Inactive(anon): 16580972 kB Active(file): 2802176 kB Inactive(file): 8551260 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 5336 kB Writeback: 0 kB AnonPages: 16526812 kB Mapped: 127044 kB Shmem: 53820 kB KReclaimable: 210280 kB Slab: 334828 kB SReclaimable: 210280 kB SUnreclaim: 124548 kB KernelStack: 4176 kB PageTables: 41960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 19447404 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21280 kB HardwareCorrupted: 0 kB AnonHugePages: 7155712 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: 422612 kB DirectMap2M: 40245248 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890068 MiB End job on nodeC017 at 2024-07-27 14:23:48