Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS 1.03a1 | MSAT (TO) | 3600.07 | 3612.01 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo |
| MD5SUM | 0dfee3407103fe38e7e280b581c141ed |
| 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 | 15 |
| Best CPU time to get the best result obtained on this benchmark | 0.012434 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 750 |
| Total number of constraints | 80 |
| Number of soft constraints | 54 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 25 |
| Top cost | 2808 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 2807 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c NaPS 1.03a1. 0.00/0.00 c Input file name: HOME/instance-4461324-1722076800.wbo 0.00/0.00 c Initial goal by soft: 2807 0.00/0.01 c single stage optimization mode 0.00/0.01 o 1032 0.00/0.05 o 687 0.29/0.37 o 256 0.39/0.42 o 98 0.39/0.47 o 50 0.59/0.66 o 28 0.69/0.76 o 16 3600.06/3612.00 c 3600.06/3612.00 c *** TERMINATED *** by signal 15 3600.06/3612.00 s SATISFIABLE 3600.06/3612.00 c _____________________________________________________________________________ 3600.06/3612.00 c std/band forms : 37,0 3600.06/3612.00 c 2cl/3cl ITE-codings : 11274,0 3600.06/3612.00 c BDD/srt/adr Max costs : 20762,280,0 3600.06/3612.00 c BDDraw/bin/mul/srt/adr: 1,0,6,30,0 3600.06/3612.00 c BDD nodes : 12341 3600.06/3612.00 c Es1/CC detections : 0,0 3600.06/3612.00 c CC sort : 30 3600.06/3612.00 c SAT/UNSAT calls : 7,0 3600.06/3612.00 c regenrated variables : 0 3600.06/3612.00 c eliminated fixed lits : 97 3600.06/3612.00 c goal lit flips : 35 3600.06/3612.00 c goal stages : 1 3600.06/3612.00 c goal shrink : 0 3600.06/3612.00 c goal coeff separations: 0 3600.06/3612.00 c restarts : 63 3600.06/3612.00 c conflicts : 19765 (5 /sec) 3600.06/3612.00 c decisions : 36082 (10 /sec) 3600.06/3612.00 c propagations : 2077313 (577 /sec) 3600.06/3612.00 c inspects : 0 (0 /sec) 3600.06/3612.00 c CPU time (solving tm) : 3600 s (3600 s, SAT 0.6852 s, UNSAT 0 s) 3600.06/3612.00 c Time for Opt-base : 0.001085 s 3600.06/3612.00 c Steps for Opt-base : 3780 3600.06/3612.00 c Time for BDD coding : 0.04656 s 3600.06/3612.00 c Time for srt coding : 0.000425 s 3600.06/3612.00 c _____________________________________________________________________________ 3600.06/3612.00 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
OK 16
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 (62044 MiB free)
memory of node 1: 64473 MiB (62516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461324-1722076800/watcher-4461324-1722076800 -o /tmp/evaluation-result-4461324-1722076800/solver-4461324-1722076800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722076800-379715 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461324-1722076800.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=379790, runsolver pid=379787
[startup+0.100086 s]*
/proc/loadavg: 1.43 2.03 2.72 5/259 379795
/proc/meminfo: memFree=127469684/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=15784 memory=14596 CPUtime=0.09 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 3692 0 0 0 9 0 0 0 20 0 1 0 44202973 16162816 3649 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 3946 3649 644 659 0 3150 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25716 KiB
Current children cumulated memory: 17280 KiB
[startup+0.205546 s]*
/proc/loadavg: 1.43 2.03 2.72 5/259 379795
/proc/meminfo: memFree=127446020/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=21444 memory=20124 CPUtime=0.2 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 5825 0 0 0 20 0 0 0 20 0 1 0 44202973 21958656 5031 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 5361 5031 660 659 0 4565 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31376 KiB
Current children cumulated memory: 22808 KiB
[startup+0.305164 s]*
/proc/loadavg: 1.43 2.03 2.72 5/259 379795
/proc/meminfo: memFree=127405012/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=26400 memory=24048 CPUtime=0.29 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 6845 0 0 0 29 0 0 0 20 0 1 0 44202973 27033600 6012 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 6600 6012 660 659 0 5804 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 26732 KiB
[startup+0.700243 s]
/proc/loadavg: 1.43 2.03 2.72 5/253 379800
/proc/meminfo: memFree=127393164/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=29816 memory=27960 CPUtime=0.69 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 8537 0 0 0 68 1 0 0 20 0 1 0 44202973 30531584 6990 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 7454 6990 660 659 0 6658 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 30644 KiB
[startup+1.50021 s]
/proc/loadavg: 1.43 2.03 2.72 5/259 379845
/proc/meminfo: memFree=127327788/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=29816 memory=27960 CPUtime=1.48 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 8544 0 0 0 147 1 0 0 20 0 1 0 44202973 30531584 6990 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 7454 6990 660 659 0 6658 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 30644 KiB
[startup+3.10559 s]
/proc/loadavg: 1.43 2.03 2.72 9/259 379845
/proc/meminfo: memFree=127171608/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=29816 memory=27960 CPUtime=3.08 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 8545 0 0 0 307 1 0 0 20 0 1 0 44202973 30531584 6990 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 7454 6990 660 659 0 6658 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 30644 KiB
[startup+6.30025 s]
/proc/loadavg: 1.63 2.06 2.72 5/259 379847
/proc/meminfo: memFree=127187384/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=30552 memory=28480 CPUtime=6.27 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 8729 0 0 0 626 1 0 0 20 0 1 0 44202973 31285248 7120 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 7638 7120 660 659 0 6842 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 31164 KiB
[startup+12.7003 s]
/proc/loadavg: 1.90 2.11 2.74 6/259 379847
/proc/meminfo: memFree=127210572/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=32896 memory=30852 CPUtime=12.64 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 9316 0 0 0 1263 1 0 0 20 0 1 0 44202973 33685504 7713 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 8224 7713 660 659 0 7428 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 42828 KiB
Current children cumulated memory: 33536 KiB
[startup+25.5002 s]
/proc/loadavg: 2.37 2.21 2.76 5/259 379850
/proc/meminfo: memFree=127201548/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=35956 memory=34080 CPUtime=25.4 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 10635 0 0 0 2539 1 0 0 20 0 1 0 44202973 36818944 8520 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 8989 8520 660 659 0 8193 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 45888 KiB
Current children cumulated memory: 36764 KiB
[startup+51.1059 s]
/proc/loadavg: 2.93 2.35 2.79 7/261 379857
/proc/meminfo: memFree=127188524/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=37020 memory=35136 CPUtime=50.91 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 10901 0 0 0 5090 1 0 0 20 0 1 0 44202973 37908480 8784 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 9255 8784 660 659 0 8459 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 46952 KiB
Current children cumulated memory: 37820 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.64 2.87 5/262 379866
/proc/meminfo: memFree=127119712/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=45868 memory=43840 CPUtime=101.91 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 17886 0 0 0 10188 3 0 0 20 0 1 0 44202973 46968832 10960 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 11467 10960 660 659 0 10671 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 55800 KiB
Current children cumulated memory: 46524 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.93 2.96 5/262 379878
/proc/meminfo: memFree=127097852/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=41608 memory=39764 CPUtime=161.71 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 20184 0 0 0 16167 4 0 0 20 0 1 0 44202973 42606592 9941 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 10402 9941 660 659 0 9606 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 51540 KiB
Current children cumulated memory: 42448 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.14 3.03 5/262 379888
/proc/meminfo: memFree=127020424/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=41756 memory=39764 CPUtime=221.49 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 20229 0 0 0 22145 4 0 0 20 0 1 0 44202973 42758144 9941 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 10439 9941 660 659 0 9643 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 51688 KiB
################
# More data... #
################
/proc/loadavg: 4.19 4.16 4.10 5/262 381532
/proc/meminfo: memFree=126707360/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=151188 memory=149380 CPUtime=3032.34 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 63561 0 0 0 303199 35 0 0 20 0 1 0 44202973 154816512 37345 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 37797 37345 660 659 0 37001 0
Current children cumulated CPU time: 3032.34 s
Current children cumulated vsize: 161120 KiB
Current children cumulated memory: 152064 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/261 381599
/proc/meminfo: memFree=126676628/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=160892 memory=158972 CPUtime=3092.12 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 64015 0 0 0 309177 35 0 0 20 0 1 0 44202973 164753408 39743 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 40223 39743 660 659 0 39427 0
Current children cumulated CPU time: 3092.12 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 161656 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/261 381610
/proc/meminfo: memFree=126683600/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=160892 memory=159084 CPUtime=3151.91 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 64075 0 0 0 315156 35 0 0 20 0 1 0 44202973 164753408 39771 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 40223 39771 660 659 0 39427 0
Current children cumulated CPU time: 3151.91 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 161768 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/261 381621
/proc/meminfo: memFree=126604016/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=160892 memory=159084 CPUtime=3211.69 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 64128 0 0 0 321134 35 0 0 20 0 1 0 44202973 164753408 39771 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 40223 39771 660 659 0 39427 0
Current children cumulated CPU time: 3211.69 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 161768 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/260 381631
/proc/meminfo: memFree=126538296/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=160892 memory=159084 CPUtime=3271.48 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 64193 0 0 0 327113 35 0 0 20 0 1 0 44202973 164753408 39771 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 40223 39771 660 659 0 39427 0
Current children cumulated CPU time: 3271.48 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 161768 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/261 381642
/proc/meminfo: memFree=126455552/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=163868 memory=161928 CPUtime=3331.27 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 65015 0 0 0 333092 35 0 0 20 0 1 0 44202973 167800832 40482 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 40967 40482 660 659 0 40171 0
Current children cumulated CPU time: 3331.27 s
Current children cumulated vsize: 173800 KiB
Current children cumulated memory: 164612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/259 381653
/proc/meminfo: memFree=126532200/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=163868 memory=162060 CPUtime=3391.06 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 65072 0 0 0 339071 35 0 0 20 0 1 0 44202973 167800832 40515 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 40967 40515 660 659 0 40171 0
Current children cumulated CPU time: 3391.06 s
Current children cumulated vsize: 173800 KiB
Current children cumulated memory: 164744 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/259 381665
/proc/meminfo: memFree=126523664/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=163868 memory=162060 CPUtime=3450.85 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 65135 0 0 0 345050 35 0 0 20 0 1 0 44202973 167800832 40515 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 40967 40515 660 659 0 40171 0
Current children cumulated CPU time: 3450.85 s
Current children cumulated vsize: 173800 KiB
Current children cumulated memory: 164744 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.16 4.10 6/259 381675
/proc/meminfo: memFree=126517444/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=112256 memory=110576 CPUtime=3510.65 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 66025 0 0 0 351029 36 0 0 20 0 1 0 44202973 114950144 27644 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 28064 27644 660 659 0 27268 0
Current children cumulated CPU time: 3510.65 s
Current children cumulated vsize: 122188 KiB
Current children cumulated memory: 113260 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/259 381686
/proc/meminfo: memFree=126541396/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=112716 memory=110908 CPUtime=3570.44 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 67893 0 0 0 357007 37 0 0 20 0 1 0 44202973 115421184 27727 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 28179 27727 660 659 0 27383 0
Current children cumulated CPU time: 3570.44 s
Current children cumulated vsize: 122648 KiB
Current children cumulated memory: 113592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.23 4.18 4.10 5/260 381893
/proc/meminfo: memFree=126691124/131524600 swapFree=131057784/131071996
[pid=379790] ppid=379787 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/379790/stat : 379790 (naps-1.03.sh) S 379787 379790 379705 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 44202973 10170368 671 134679101440 94474335674368 94474336753688 140726855987360 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94474338852144 94474338899332 94474364764160 140726855996385 140726855996510 140726855996510 140726856003528 0
/proc/379790/statm: 2483 671 591 264 0 134 0
[pid=379795] ppid=379790 vsize=146604 memory=144732 CPUtime=3600.06 cores=0,2
/proc/379795/stat : 379795 (naps-1.03) R 379790 379790 379705 0 -1 4194304 68700 0 0 0 359968 38 0 0 20 0 1 0 44202973 150122496 36183 134679101440 4194304 6891597 140720885498464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 38420480 140720885507058 140720885507170 140720885507170 140720885514187 0
/proc/379795/statm: 36651 36183 660 659 0 35855 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 156536 KiB
Current children cumulated memory: 147416 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.01 s]
# the end of solver process 379790 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.69 s, system=0.384838 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.01
CPU time (s): 3600.07
CPU user time (s): 3599.69
CPU system time (s): 0.384838
CPU usage (%): 99.6696
Max. virtual memory (cumulated for all children) (KiB): 205720
Max. memory (cumulated for all children) (KiB): 196416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.69
system time used= 0.384838
maximum resident set size= 193732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69177
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= 37
involuntary context switches= 25224
# summary of solver processes directly reported to runsolver:
# pid: 379790
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.69
# total CPU system time (s): 0.384838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15571 second user time and 18.1184 second system time
The end
Begin job on nodeC024 at 2024-07-27 12:40:00 IDJOB=4461324 IDBENCH=143485 IDSOLVER=3088 FILE ID=nodeC024/4461324-1722076800 RUNJOBID= nodeC024-1722076800-379715 SLURM_JOB_ID= 8248141 Free space on /tmp= 890068 MiB SOLVER NAME= NaPS 1.03a1 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= HOME/naps-1.03.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461324-1722076800/watcher-4461324-1722076800 -o /tmp/evaluation-result-4461324-1722076800/solver-4461324-1722076800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722076800-379715 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461324-1722076800.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0dfee3407103fe38e7e280b581c141ed RANDOM SEED=1827746419 nodeC024.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 : 3647.307 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 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 : 3640.477 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 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 : 3625.355 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 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 : 3646.807 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 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 : 3607.028 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 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 : 3626.183 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 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 : 3643.414 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.87 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 : 3652.609 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127558628 kB MemAvailable: 129722932 kB Buffers: 371960 kB Cached: 2616876 kB SwapCached: 228 kB Active: 2672976 kB Inactive: 681904 kB Active(anon): 4032 kB Inactive(anon): 415832 kB Active(file): 2668944 kB Inactive(file): 266072 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057784 kB Dirty: 20860 kB Writeback: 0 kB AnonPages: 366308 kB Mapped: 109308 kB Shmem: 53464 kB KReclaimable: 138224 kB Slab: 254628 kB SReclaimable: 138224 kB SUnreclaim: 116404 kB KernelStack: 4052 kB PageTables: 10592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 795688 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20032 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 408276 kB DirectMap2M: 48648192 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890060 MiB End job on nodeC024 at 2024-07-27 13:40:12