Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS 1.03a2 | MSAT (TO) | 3600.06 | 3611.4 |
| 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.02 c NaPS 1.03a2. 0.00/0.02 c Input file name: HOME/instance-4463363-1722352308.wbo 0.00/0.02 c Initial goal by soft: 2807 0.00/0.02 c single stage optimization mode 0.00/0.03 o 1032 0.00/0.08 o 687 0.39/0.48 o 256 0.49/0.55 o 98 0.49/0.60 o 50 0.76/0.80 o 28 0.86/0.90 o 16 3600.05/3611.40 c 3600.05/3611.40 c *** TERMINATED *** by signal 15 3600.05/3611.40 s SATISFIABLE 3600.05/3611.40 c _____________________________________________________________________________ 3600.05/3611.40 c std/band forms : 37,0 3600.05/3611.40 c 2cl/3cl ITE-codings : 11274,0 3600.05/3611.40 c BDD/srt/adr Max costs : 20762,280,0 3600.05/3611.40 c BDDraw/bin/mul/srt/adr: 1,0,6,30,0 3600.05/3611.40 c BDD nodes : 12341 3600.05/3611.40 c Es1/CC detections : 0,0 3600.05/3611.40 c CC sort : 30 3600.05/3611.40 c SAT/UNSAT calls : 7,0 3600.05/3611.40 c regenrated variables : 0 3600.05/3611.40 c eliminated fixed lits : 97 3600.05/3611.40 c goal lit flips : 35 3600.05/3611.40 c goal stages : 1 3600.05/3611.40 c goal shrink : 0 3600.05/3611.40 c goal coeff separations: 0 3600.05/3611.40 c restarts : 63 3600.05/3611.40 c conflicts : 19765 (5 /sec) 3600.05/3611.40 c decisions : 36082 (10 /sec) 3600.05/3611.40 c propagations : 2077313 (577 /sec) 3600.05/3611.40 c inspects : 0 (0 /sec) 3600.05/3611.40 c CPU time (solving tm) : 3600 s (3599 s, SAT 0.7903 s, UNSAT 0 s) 3600.05/3611.40 c Time for Opt-base : 0.001206 s 3600.05/3611.40 c Steps for Opt-base : 3780 3600.05/3611.40 c Time for BDD coding : 0.05392 s 3600.05/3611.40 c Time for srt coding : 0.000895 s 3600.05/3611.40 c _____________________________________________________________________________ 3600.05/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
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: 64096 MiB (61117 MiB free)
memory of node 1: 64473 MiB (29443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463363-1722352308/watcher-4463363-1722352308 -o /tmp/evaluation-result-4463363-1722352308/solver-4463363-1722352308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722351651-12352 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463363-1722352308.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13002, runsolver pid=12999
[startup+0.100102 s]*
/proc/loadavg: 4.13 3.90 3.39 5/247 13007
/proc/meminfo: memFree=92724396/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=13816 memory=12592 CPUtime=0.08 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 2848 0 0 0 8 0 0 0 20 0 1 0 1600893 14147584 3148 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 3454 3148 644 659 0 2658 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 23748 KiB
Current children cumulated memory: 15320 KiB
[startup+0.213311 s]*
/proc/loadavg: 4.13 3.90 3.39 5/247 13007
/proc/meminfo: memFree=92719444/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=18916 memory=16952 CPUtime=0.19 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 5021 0 0 0 19 0 0 0 20 0 1 0 1600893 19369984 4238 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 4729 4238 660 659 0 3933 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28848 KiB
Current children cumulated memory: 19680 KiB
[startup+0.313255 s]*
/proc/loadavg: 4.13 3.90 3.39 5/247 13007
/proc/meminfo: memFree=92712936/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=25420 memory=22772 CPUtime=0.29 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 6500 0 0 0 28 1 0 0 20 0 1 0 1600893 26030080 5693 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 6355 5693 660 659 0 5559 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 35352 KiB
Current children cumulated memory: 25500 KiB
[startup+0.700401 s]
/proc/loadavg: 4.13 3.90 3.39 5/247 13007
/proc/meminfo: memFree=92710680/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=29816 memory=27740 CPUtime=0.66 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 8454 0 0 0 65 1 0 0 20 0 1 0 1600893 30531584 6935 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 7454 6935 660 659 0 6658 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 30468 KiB
[startup+1.50043 s]
/proc/loadavg: 4.13 3.90 3.39 6/247 13007
/proc/meminfo: memFree=92707828/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=29816 memory=27740 CPUtime=1.46 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 8462 0 0 0 145 1 0 0 20 0 1 0 1600893 30531584 6935 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 7454 6935 660 659 0 6658 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 30468 KiB
[startup+3.11289 s]
/proc/loadavg: 4.13 3.90 3.39 6/247 13007
/proc/meminfo: memFree=92707892/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=29816 memory=27740 CPUtime=3.07 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 8463 0 0 0 306 1 0 0 20 0 1 0 1600893 30531584 6935 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 7454 6935 660 659 0 6658 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 30468 KiB
[startup+6.30039 s]
/proc/loadavg: 4.12 3.91 3.40 7/247 13008
/proc/meminfo: memFree=93984568/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=30552 memory=28260 CPUtime=6.25 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 8648 0 0 0 624 1 0 0 20 0 1 0 1600893 31285248 7065 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 7638 7065 660 659 0 6842 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 30988 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 3.91 3.40 7/248 13010
/proc/meminfo: memFree=92047692/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=32896 memory=30628 CPUtime=12.63 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 9235 0 0 0 1262 1 0 0 20 0 1 0 1600893 33685504 7657 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 8224 7657 660 659 0 7428 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 42828 KiB
Current children cumulated memory: 33356 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 3.93 3.42 5/248 13013
/proc/meminfo: memFree=89654572/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=35956 memory=33860 CPUtime=25.4 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 10554 0 0 0 2538 2 0 0 20 0 1 0 1600893 36818944 8465 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 8989 8465 660 659 0 8193 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 45888 KiB
Current children cumulated memory: 36588 KiB
[startup+51.113 s]
/proc/loadavg: 4.16 3.95 3.44 6/249 13073
/proc/meminfo: memFree=121451184/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=35956 memory=33860 CPUtime=50.94 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 10574 0 0 0 5092 2 0 0 20 0 1 0 1600893 36818944 8465 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 8989 8465 660 659 0 8193 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 45888 KiB
Current children cumulated memory: 36588 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.01 3.49 6/249 13082
/proc/meminfo: memFree=121481472/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=45868 memory=43620 CPUtime=101.97 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 18317 0 0 0 10193 4 0 0 20 0 1 0 1600893 46968832 10905 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 11467 10905 660 659 0 10671 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 55800 KiB
Current children cumulated memory: 46348 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.03 3.53 6/249 13093
/proc/meminfo: memFree=121388480/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=41608 memory=39536 CPUtime=161.77 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 20607 0 0 0 16172 5 0 0 20 0 1 0 1600893 42606592 9884 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 10402 9884 660 659 0 9606 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 51540 KiB
Current children cumulated memory: 42264 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.04 3.57 6/249 13103
/proc/meminfo: memFree=121375204/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=41756 memory=39536 CPUtime=221.58 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 20652 0 0 0 22152 6 0 0 20 0 1 0 1600893 42758144 9884 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 10439 9884 660 659 0 9643 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 51688 KiB
################
# More data... #
################
/proc/loadavg: 4.31 4.22 4.19 6/252 14871
/proc/meminfo: memFree=116311888/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=151188 memory=149160 CPUtime=3032.48 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 64277 0 0 0 303204 44 0 0 20 0 1 0 1600893 154816512 37290 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 37797 37290 660 659 0 37001 0
Current children cumulated CPU time: 3032.48 s
Current children cumulated vsize: 161120 KiB
Current children cumulated memory: 151888 KiB
[startup+3102.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/249 14932
/proc/meminfo: memFree=116042084/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=151188 memory=149160 CPUtime=3092.31 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 64346 0 0 0 309187 44 0 0 20 0 1 0 1600893 154816512 37290 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 37797 37290 660 659 0 37001 0
Current children cumulated CPU time: 3092.31 s
Current children cumulated vsize: 161120 KiB
Current children cumulated memory: 151888 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/248 14943
/proc/meminfo: memFree=116024184/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=160892 memory=158944 CPUtime=3152.15 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 64822 0 0 0 315170 45 0 0 20 0 1 0 1600893 164753408 39736 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 40223 39736 660 659 0 39427 0
Current children cumulated CPU time: 3152.15 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 161672 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/248 14953
/proc/meminfo: memFree=116026604/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=160892 memory=158944 CPUtime=3211.99 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 64877 0 0 0 321154 45 0 0 20 0 1 0 1600893 164753408 39736 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 40223 39736 660 659 0 39427 0
Current children cumulated CPU time: 3211.99 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 161672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/245 14964
/proc/meminfo: memFree=115896968/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=160892 memory=158944 CPUtime=3271.82 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 64956 0 0 0 327137 45 0 0 20 0 1 0 1600893 164753408 39736 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 40223 39736 660 659 0 39427 0
Current children cumulated CPU time: 3271.82 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 161672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/245 14974
/proc/meminfo: memFree=115902260/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=163868 memory=161744 CPUtime=3331.67 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 65242 0 0 0 333121 46 0 0 20 0 1 0 1600893 167800832 40436 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 40967 40436 660 659 0 40171 0
Current children cumulated CPU time: 3331.67 s
Current children cumulated vsize: 173800 KiB
Current children cumulated memory: 164472 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/245 14985
/proc/meminfo: memFree=115910180/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=163868 memory=161840 CPUtime=3391.51 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 65304 0 0 0 339105 46 0 0 20 0 1 0 1600893 167800832 40460 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 40967 40460 660 659 0 40171 0
Current children cumulated CPU time: 3391.51 s
Current children cumulated vsize: 173800 KiB
Current children cumulated memory: 164568 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/245 14995
/proc/meminfo: memFree=115902548/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=163868 memory=161840 CPUtime=3451.34 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 65368 0 0 0 345088 46 0 0 20 0 1 0 1600893 167800832 40460 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 40967 40460 660 659 0 40171 0
Current children cumulated CPU time: 3451.34 s
Current children cumulated vsize: 173800 KiB
Current children cumulated memory: 164568 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/245 15005
/proc/meminfo: memFree=115906708/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=163868 memory=161840 CPUtime=3511.18 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 65429 0 0 0 351072 46 0 0 20 0 1 0 1600893 167800832 40460 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 40967 40460 660 659 0 40171 0
Current children cumulated CPU time: 3511.18 s
Current children cumulated vsize: 173800 KiB
Current children cumulated memory: 164568 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/247 15020
/proc/meminfo: memFree=115953492/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=120692 memory=117636 CPUtime=3571.02 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 67374 0 0 0 357054 48 0 0 20 0 1 0 1600893 123588608 29409 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 30173 29409 660 659 0 29377 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 130624 KiB
Current children cumulated memory: 120364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.47 4.24 4.20 5/248 15026
/proc/meminfo: memFree=115921092/131655788 swapFree=131071472/131071996
[pid=13002] ppid=12999 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/13002/stat : 13002 (naps-1.03.sh) S 12999 13002 12340 0 -1 4194304 218 242 0 1 0 0 0 0 20 0 1 0 1600891 10170368 682 134679101440 94458344251392 94458345330712 140721691611680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94458347429168 94458347476356 94458351116288 140721691620323 140721691620448 140721691620448 140721691627464 0
/proc/13002/statm: 2483 682 603 264 0 134 0
[pid=13007] ppid=13002 vsize=146604 memory=144512 CPUtime=3600.05 cores=1,3
/proc/13007/stat : 13007 (naps-1.03a2) R 13002 13002 12340 0 -1 4194304 68929 0 0 0 359955 50 0 0 20 0 1 0 1600893 150122496 36128 134679101440 4194304 6891597 140733503084912 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 25702400 140733503087598 140733503087712 140733503087712 140733503094729 0
/proc/13007/statm: 36651 36128 660 659 0 35855 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 156536 KiB
Current children cumulated memory: 147240 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.4 s]
# the end of solver process 13002 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.56 s, system=0.50555 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): 3611.4
CPU time (s): 3600.06
CPU user time (s): 3599.56
CPU system time (s): 0.50555
CPU usage (%): 99.686
Max. virtual memory (cumulated for all children) (KiB): 205720
Max. memory (cumulated for all children) (KiB): 196296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.56
system time used= 0.50555
maximum resident set size= 193568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69404
page faults= 1
swaps= 0
block input operations= 24
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 4834
# summary of solver processes directly reported to runsolver:
# pid: 13002
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.56
# total CPU system time (s): 0.50555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0531 second user time and 37.504 second system time
The end
Begin job on nodeC012 at 2024-07-30 17:11:48 IDJOB=4463363 IDBENCH=143485 IDSOLVER=3090 FILE ID=nodeC012/4463363-1722352308 RUNJOBID= nodeC012-1722351651-12352 SLURM_JOB_ID= 8249009 Free space on /tmp= 723760 MiB SOLVER NAME= NaPS 1.03a2 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-4463363-1722352308/watcher-4463363-1722352308 -o /tmp/evaluation-result-4463363-1722352308/solver-4463363-1722352308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722351651-12352 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463363-1722352308.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0dfee3407103fe38e7e280b581c141ed RANDOM SEED=1872979370 nodeC012.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 : 0xb00001f cpu MHz : 3675.185 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70 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 : 0xb00001f cpu MHz : 3491.865 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.395 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70 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 : 0xb00001f cpu MHz : 1197.213 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 3675.215 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70 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 : 0xb00001f cpu MHz : 3491.851 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.341 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.70 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 : 0xb00001f cpu MHz : 1197.236 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 92734604 kB MemAvailable: 97974880 kB Buffers: 55896 kB Cached: 6017504 kB SwapCached: 48 kB Active: 183896 kB Inactive: 38244508 kB Active(anon): 1456 kB Inactive(anon): 32374848 kB Active(file): 182440 kB Inactive(file): 5869660 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 5344 kB Writeback: 0 kB AnonPages: 32353260 kB Mapped: 94848 kB Shmem: 21248 kB KReclaimable: 56752 kB Slab: 131812 kB SReclaimable: 56752 kB SUnreclaim: 75060 kB KernelStack: 3952 kB PageTables: 72356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 33200548 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 16541696 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: 146248 kB DirectMap2M: 7098368 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723492 MiB End job on nodeC012 at 2024-07-30 18:11:59