Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS 1.03 | MSAT (TO) | 3600.02 | 3609.3 |
| 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.03. 0.00/0.00 c Input file name: HOME/instance-4426482-1720905626.wbo 0.00/0.02 c single stage optimization mode 0.00/0.03 o 1032 0.09/0.14 o 687 0.68/0.72 o 256 0.78/0.82 o 98 0.78/0.89 o 50 1.09/1.16 o 28 1.28/1.30 o 16 3600.01/3609.30 c 3600.01/3609.30 c *** TERMINATED *** by signal 15 3600.01/3609.30 s SATISFIABLE 3600.01/3609.30 c _____________________________________________________________________________ 3600.01/3609.30 c std/band forms : 37,0 3600.01/3609.30 c 2cl/3cl ITE-codings : 11274,0 3600.01/3609.30 c BDD/srt/adr Max costs : 20762,280,0 3600.01/3609.30 c BDDraw/bin/mul/srt/adr: 1,0,6,30,0 3600.01/3609.30 c BDD nodes : 12341 3600.01/3609.30 c Es1/CC detections : 0,0 3600.01/3609.30 c CC sort : 30 3600.01/3609.30 c SAT/UNSAT calls : 7,0 3600.01/3609.30 c regenrated variables : 0 3600.01/3609.30 c eliminated fixed lits : 97 3600.01/3609.30 c goal lit flips : 35 3600.01/3609.30 c goal stages : 1 3600.01/3609.30 c goal shrink : 0 3600.01/3609.30 c goal coeff separations: 0 3600.01/3609.30 c restarts : 63 3600.01/3609.30 c conflicts : 19765 (5 /sec) 3600.01/3609.30 c decisions : 36082 (10 /sec) 3600.01/3609.30 c propagations : 2077313 (577 /sec) 3600.01/3609.30 c inspects : 0 (0 /sec) 3600.01/3609.30 c CPU time (solving tm) : 3600 s (3600 s, SAT 1.136 s, UNSAT 0 s) 3600.01/3609.30 c Time for Opt-base : 0.003266 s 3600.01/3609.30 c Steps for Opt-base : 3780 3600.01/3609.30 c Time for BDD coding : 0.089 s 3600.01/3609.30 c Time for srt coding : 0.000831 s 3600.01/3609.30 c _____________________________________________________________________________ 3600.01/3609.30 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: 64059 MiB (63196 MiB free)
memory of node 1: 64510 MiB (63518 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426482-1720905626/watcher-4426482-1720905626 -o /tmp/evaluation-result-4426482-1720905626/solver-4426482-1720905626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720905422-726365 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426482-1720905626.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=726827, runsolver pid=726824
Current StackSize limit: 8192 KiB
[startup+0.100758 s]*
/proc/loadavg: 4.12 3.62 3.30 5/247 726832
/proc/meminfo: memFree=129747052/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=12140 memory=10752 CPUtime=0.09 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 2352 0 0 0 9 0 0 0 20 0 1 0 142720686 12431360 2688 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 3035 2688 644 659 0 2239 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22072 KiB
Current children cumulated memory: 13396 KiB
[startup+0.213345 s]*
/proc/loadavg: 4.12 3.62 3.30 5/247 726832
/proc/meminfo: memFree=129743944/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=14628 memory=13448 CPUtime=0.2 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 3915 0 0 0 20 0 0 0 20 0 1 0 142720686 14979072 3362 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 3657 3362 644 659 0 2861 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24560 KiB
Current children cumulated memory: 16092 KiB
[startup+0.313111 s]*
/proc/loadavg: 4.12 3.62 3.30 5/247 726832
/proc/meminfo: memFree=129740700/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=18784 memory=16692 CPUtime=0.31 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 5004 0 0 0 30 1 0 0 20 0 1 0 142720686 19234816 4173 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 4696 4173 660 659 0 3900 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28716 KiB
Current children cumulated memory: 19336 KiB
[startup+0.700383 s]
/proc/loadavg: 4.12 3.62 3.30 5/247 726832
/proc/meminfo: memFree=129733104/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=26816 memory=25120 CPUtime=0.68 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 7426 0 0 0 66 2 0 0 20 0 1 0 142720686 27459584 6280 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 6704 6280 660 659 0 5908 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36748 KiB
Current children cumulated memory: 27764 KiB
[startup+1.50036 s]
/proc/loadavg: 4.12 3.62 3.30 5/247 726832
/proc/meminfo: memFree=129730144/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=29816 memory=28588 CPUtime=1.48 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 8857 0 0 0 146 2 0 0 20 0 1 0 142720686 30531584 7147 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 7454 7147 660 659 0 6658 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 31232 KiB
[startup+3.11304 s]
/proc/loadavg: 4.12 3.62 3.30 5/247 726832
/proc/meminfo: memFree=129728248/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=29816 memory=28588 CPUtime=3.08 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 8858 0 0 0 306 2 0 0 20 0 1 0 142720686 30531584 7147 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 7454 7147 660 659 0 6658 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 31232 KiB
[startup+6.30034 s]
/proc/loadavg: 4.11 3.63 3.31 5/250 726838
/proc/meminfo: memFree=129727728/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=30552 memory=29320 CPUtime=6.25 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 9058 0 0 0 623 2 0 0 20 0 1 0 142720686 31285248 7330 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 7638 7330 660 659 0 6842 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 31964 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 3.64 3.31 5/250 726838
/proc/meminfo: memFree=129725068/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=32896 memory=31656 CPUtime=12.64 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 9662 0 0 0 1262 2 0 0 20 0 1 0 142720686 33685504 7914 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 8224 7914 660 659 0 7428 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 42828 KiB
Current children cumulated memory: 34300 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 3.66 3.32 5/250 726840
/proc/meminfo: memFree=129726800/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=35956 memory=34684 CPUtime=25.41 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 11003 0 0 0 2538 3 0 0 20 0 1 0 142720686 36818944 8671 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 8989 8671 660 659 0 8193 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 45888 KiB
Current children cumulated memory: 37328 KiB
[startup+51.1134 s]
/proc/loadavg: 4.12 3.70 3.35 5/250 726844
/proc/meminfo: memFree=129678216/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=37020 memory=35656 CPUtime=50.97 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 11289 0 0 0 5094 3 0 0 20 0 1 0 142720686 37908480 8914 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 9255 8914 660 659 0 8459 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 46952 KiB
Current children cumulated memory: 38300 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 3.78 3.39 5/249 726855
/proc/meminfo: memFree=129661504/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=45868 memory=44656 CPUtime=102.03 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 17773 0 0 0 10199 4 0 0 20 0 1 0 142720686 46968832 11164 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 11467 11164 660 659 0 10671 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 55800 KiB
Current children cumulated memory: 47300 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.84 3.44 5/248 726865
/proc/meminfo: memFree=129659060/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=41608 memory=40348 CPUtime=161.9 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 19056 0 0 0 16185 5 0 0 20 0 1 0 142720686 42606592 10087 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 10402 10087 660 659 0 9606 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 51540 KiB
Current children cumulated memory: 42992 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 3.89 3.48 5/248 726875
/proc/meminfo: memFree=129633456/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=41756 memory=40564 CPUtime=221.76 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 19105 0 0 0 22171 5 0 0 20 0 1 0 142720686 42758144 10141 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 10439 10141 660 659 0 9643 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 51688 KiB
################
# More data... #
################
/proc/loadavg: 4.25 4.19 4.18 5/251 729137
/proc/meminfo: memFree=129283820/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=151188 memory=150008 CPUtime=3094.5 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 61146 0 0 0 309422 28 0 0 20 0 1 0 142720686 154816512 37502 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 37797 37502 660 659 0 37001 0
Current children cumulated CPU time: 3094.5 s
Current children cumulated vsize: 161120 KiB
Current children cumulated memory: 152652 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/249 729148
/proc/meminfo: memFree=129344160/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=160892 memory=159712 CPUtime=3154.33 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 61599 0 0 0 315405 28 0 0 20 0 1 0 142720686 164753408 39928 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 40223 39928 660 659 0 39427 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 162356 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/249 729158
/proc/meminfo: memFree=129309684/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=160892 memory=159712 CPUtime=3214.15 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 61653 0 0 0 321387 28 0 0 20 0 1 0 142720686 164753408 39928 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 40223 39928 660 659 0 39427 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 162356 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/249 729169
/proc/meminfo: memFree=129307444/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=160892 memory=159712 CPUtime=3273.98 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 61716 0 0 0 327370 28 0 0 20 0 1 0 142720686 164753408 39928 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 40223 39928 660 659 0 39427 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 162356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/245 729181
/proc/meminfo: memFree=129337036/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=160892 memory=159712 CPUtime=3333.8 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 61790 0 0 0 333352 28 0 0 20 0 1 0 142720686 164753408 39928 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 40223 39928 660 659 0 39427 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 170824 KiB
Current children cumulated memory: 162356 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/245 729291
/proc/meminfo: memFree=129353140/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=163868 memory=162688 CPUtime=3393.63 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 62609 0 0 0 339335 28 0 0 20 0 1 0 142720686 167800832 40672 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 40967 40672 660 659 0 40171 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 173800 KiB
Current children cumulated memory: 165332 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/245 729350
/proc/meminfo: memFree=119808036/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=163868 memory=162688 CPUtime=3453.45 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 62660 0 0 0 345317 28 0 0 20 0 1 0 142720686 167800832 40672 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 40967 40672 660 659 0 40171 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 173800 KiB
Current children cumulated memory: 165332 KiB
[startup+3522.3 s]
/proc/loadavg: 4.63 4.28 4.21 5/245 729362
/proc/meminfo: memFree=96275164/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=163868 memory=162688 CPUtime=3513.27 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 62731 0 0 0 351299 28 0 0 20 0 1 0 142720686 167800832 40672 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 40967 40672 660 659 0 40171 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 173800 KiB
Current children cumulated memory: 165332 KiB
[startup+3582.3 s]
/proc/loadavg: 4.72 4.39 4.26 5/245 729374
/proc/meminfo: memFree=89140888/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=118756 memory=115944 CPUtime=3573.09 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 63577 0 0 0 357279 30 0 0 20 0 1 0 142720686 121606144 28986 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 29689 28986 660 659 0 28893 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 128688 KiB
Current children cumulated memory: 118588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.48 4.36 4.25 5/248 729383
/proc/meminfo: memFree=82931136/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=112716 memory=111536 CPUtime=3600.01 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 65430 0 0 0 359970 31 0 0 20 0 1 0 142720686 115421184 27884 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 28179 27884 660 659 0 27383 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 122648 KiB
Current children cumulated memory: 114180 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.3 s]
# the end of solver process 726827 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.71 s, system=0.317864 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.48 4.36 4.25 5/248 729383
/proc/meminfo: memFree=82931136/131655788 swapFree=131071996/131071996
[pid=726827] ppid=726824 vsize=9932 memory=2644 CPUtime=0 cores=4,6
/proc/726827/stat : 726827 (naps-1.03.sh) S 726824 726827 724053 0 -1 4194304 219 238 0 0 0 0 0 0 20 0 1 0 142720685 10170368 661 134679101440 94787553779712 94787554859032 140728618574416 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787556957488 94787557004676 94787586879488 140728618578864 140728618578989 140728618578989 140728618586056 0
/proc/726827/statm: 2483 661 581 264 0 134 0
[pid=726832] ppid=726827 vsize=112716 memory=111536 CPUtime=3600.01 cores=4,6
/proc/726832/stat : 726832 (naps-1.03) R 726827 726827 724053 0 -1 4194304 65430 0 0 0 359970 31 0 0 20 0 1 0 142720686 115421184 27884 134679101440 4194304 6891213 140732272967888 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 17932288 140732272972737 140732272972849 140732272972849 140732272979915 0
/proc/726832/statm: 28179 27884 660 659 0 27383 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 122648 KiB
Current children cumulated memory: 114180 KiB
Child status: 10
Real time (s): 3609.3
CPU time (s): 3600.02
CPU user time (s): 3599.71
CPU system time (s): 0.317864
CPU usage (%): 99.743
Max. virtual memory (cumulated for all children) (KiB): 205720
Max. memory (cumulated for all children) (KiB): 180000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.71
system time used= 0.317864
maximum resident set size= 194472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65903
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= 44
involuntary context switches= 1437
# summary of solver processes directly reported to runsolver:
# pid: 726827
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.71
# total CPU system time (s): 0.317864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4813 second user time and 38.4442 second system time
The end
Begin job on nodeC002 at 2024-07-13 23:20:39 IDJOB=4426482 IDBENCH=143485 IDSOLVER=3043 FILE ID=nodeC002/4426482-1720905626 RUNJOBID= nodeC002-1720905422-726365 SLURM_JOB_ID= 7486068 Free space on /tmp= 723768 MiB SOLVER NAME= NaPS 1.03 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-4426482-1720905626/watcher-4426482-1720905626 -o /tmp/evaluation-result-4426482-1720905626/solver-4426482-1720905626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720905422-726365 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426482-1720905626.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0dfee3407103fe38e7e280b581c141ed RANDOM SEED=2071700704 nodeC002.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 : 3657.743 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.38 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 : 3665.677 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.31 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.283 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.38 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.256 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.31 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 : 2095.035 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.38 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 : 3663.101 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.31 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.155 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.38 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.331 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129756352 kB MemAvailable: 129740292 kB Buffers: 342896 kB Cached: 488344 kB SwapCached: 0 kB Active: 506204 kB Inactive: 889260 kB Active(anon): 2716 kB Inactive(anon): 599248 kB Active(file): 503488 kB Inactive(file): 290012 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5744 kB Writeback: 0 kB AnonPages: 562164 kB Mapped: 109772 kB Shmem: 37704 kB KReclaimable: 60944 kB Slab: 151508 kB SReclaimable: 60944 kB SUnreclaim: 90564 kB KernelStack: 3936 kB PageTables: 10084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 968872 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 48032 kB HardwareCorrupted: 0 kB AnonHugePages: 411648 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: 160584 kB DirectMap2M: 7084032 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723752 MiB End job on nodeC002 at 2024-07-14 00:20:48