Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS 1.03 | SAT (TO) | 89 | 3600.02 | 3609.4 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
| MD5SUM | 7cbd9242490819e58478720045b90b69 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.167741 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 776 |
| Total number of constraints | 867 |
| Number of constraints which are clauses | 701 |
| Number of constraints which are cardinality constraints (but not clauses) | 166 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 776 |
| Biggest coefficient in the objective function | 474 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 2127 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 474 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 2127 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-4434324-1721056972.opb 0.00/0.02 c single stage optimization mode 0.00/0.02 o 1176 1.28/1.31 o 89 3600.01/3609.40 c 3600.01/3609.40 c *** TERMINATED *** by signal 15 3600.01/3609.40 s SATISFIABLE 3600.01/3609.40 c _____________________________________________________________________________ 3600.01/3609.40 c std/band forms : 167,0 3600.01/3609.40 c 2cl/3cl ITE-codings : 299788,0 3600.01/3609.40 c BDD/srt/adr Max costs : 313494,206,0 3600.01/3609.40 c BDDraw/bin/mul/srt/adr: 2,0,0,165,0 3600.01/3609.40 c BDD nodes : 302108 3600.01/3609.40 c Es1/CC detections : 0,0 3600.01/3609.40 c CC sort : 165 3600.01/3609.40 c SAT/UNSAT calls : 2,0 3600.01/3609.40 c regenrated variables : 0 3600.01/3609.40 c eliminated fixed lits : 2 3600.01/3609.40 c goal lit flips : 2 3600.01/3609.40 c goal stages : 1 3600.01/3609.40 c goal shrink : 0 3600.01/3609.40 c goal coeff separations: 0 3600.01/3609.40 c restarts : 40 3600.01/3609.40 c conflicts : 205 (0 /sec) 3600.01/3609.40 c decisions : 49023 (14 /sec) 3600.01/3609.40 c propagations : 2083647 (579 /sec) 3600.01/3609.40 c inspects : 0 (0 /sec) 3600.01/3609.40 c CPU time (solving tm) : 3599 s (3598 s, SAT 0.2508 s, UNSAT 0 s) 3600.01/3609.40 c Time for Opt-base : 0.000502 s 3600.01/3609.40 c Steps for Opt-base : 0 3600.01/3609.40 c Time for BDD coding : 1.08 s 3600.01/3609.40 c Time for srt coding : 0.0016 s 3600.01/3609.40 c _____________________________________________________________________________ 3600.01/3609.40 v -x757 -x694 x589 -x263 x242 x57 -x39 -x693 x591 x487 -x264 -x247 x56 -x38 -x758 -x701 x590 x486 -x440 x267 -x246 x55 -x40 -x759 -x695 -x595 x488 -x445 x265 x53 -x41 -x762 -x696 -x613 -x594 x489 -x444 x266 x249 x54 -x48 -x760 -x697 -x612 -x592 x490 x402 x250 -x42 -x3 -x761 -x614 -x593 -x497 -x447 -x422 x401 x253 x199 -x172 -x43 -x2 -x735 -x617 x491 -x448 -x421 -x407 -x386 x251 -x177 -x44 -x4 -x734 -x616 x492 -x451 -x423 -x406 -x385 -x274 x252 x198 x176 -x138 -x5 -x621 x493 -x449 -x426 -x408 -x387 -x367 -x279 x202 -x156 -x137 -x19 -x6 -x736 -x620 x560 -x511 -x450 -x425 x412 -x388 -x366 -x278 -x179 -x155 -x139 -x88 -x18 -x13 -x738 -x651 -x618 -x516 -x430 x411 -x389 x203 -x180 -x157 -x142 -x87 -x24 -x7 -x650 -x619 x559 -x515 x467 -x429 x409 -x396 -x368 -x281 -x183 -x158 -x141 -x89 -x67 -x23 -x8 -x739 x563 -x427 x410 -x390 -x370 -x282 -x181 -x159 -x146 -x92 -x72 -x25 -x9 -x741 -x652 -x518 x470 -x428 -x391 -x319 -x285 -x224 -x182 -x166 -x145 x122 -x91 -x71 -x29 -x742 -x654 -x636 x564 -x519 x471 -x392 -x371 -x318 -x283 -x160 -x143 -x96 -x28 -x635 -x522 -x373 x348 -x320 -x284 -x223 -x161 -x144 x121 -x95 -x74 -x26 -x655 -x520 -x374 x352 -x323 x227 -x162 -x93 -x75 -x27 -x657 -x637 -x521 x322 -x125 -x94 -x76 -x658 x640 x324 x228 -x126 -x77 -x754 -x704 -x65 -x756 -x705 x588 x268 x241 x61 -x755 -x700 -x603 x243 x60 -x51 -x763 x599 -x439 -x248 -x52 x711 -x698 x598 -x500 -x441 x245 -x47 x715 -x501 -x446 x254 -x496 -x443 -x45 -x730 -x615 -x452 x403 -x171 -x729 -x629 -x494 x404 x200 -x173 -x16 -x625 -x424 x405 -x362 -x273 x204 x178 -x17 -x737 -x624 -x438 -x416 -x399 -x361 -x275 x175 -x12 -x740 -x646 -x510 -x434 -x400 -x280 -x184 -x140 -x20 -x744 x645 x561 -x512 x466 -x433 -x395 -x369 -x277 -x206 -x169 -x154 -x21 -x10 -x743 x565 -x517 -x372 -x286 -x207 -x170 -x150 -x90 -x66 x22 -x653 -x514 x472 -x393 -x376 -x165 -x149 -x117 -x104 -x68 x33 -x656 -x631 -x523 -x375 -x100 -x73 -x660 -x630 -x567 x347 -x225 -x163 x123 -x99 -x70 -x659 -x568 x351 -x321 x229 -x78 -x638 x475 -x332 -x127 x639 -x328 -x702 -x600 x106 -x64 -x50 -x753 -x602 x272 -x49 -x771 -x499 x271 -x58 -x767 -x498 x244 -x766 x710 -x699 x596 -x262 -x59 x714 -x442 x258 -x194 -x626 x597 -x460 x303 x257 -x193 -x46 -x15 -x628 -x456 -x14 -x495 -x455 -x435 -x419 -x398 x201 -x731 x555 -x437 x420 -x397 x205 -x174 -x732 -x622 x554 x462 -x415 x209 x192 -x168 -x151 -x733 -x363 -x276 x208 -x188 -x167 -x153 -x748 -x623 x562 x468 -x431 -x413 -x364 -x294 -x187 -x101 x36 -x11 x647 x566 -x513 -x365 -x290 -x219 -x103 x37 x686 x648 -x570 -x531 x473 -x432 -x394 -x380 -x289 -x218 -x147 x32 x649 -x569 -x527 -x116 -x69 -x664 -x526 x476 x349 -x329 -x226 -x164 -x148 -x118 -x97 -x86 x30 -x632 x474 x353 -x331 x230 x124 -x82 -x633 -x231 x120 -x98 -x81 x634 -x327 -x232 x128 -x768 -x703 -x601 x334 x105 -x62 -x770 x269 -x259 -x261 -x764 x712 -x457 x300 x270 x716 -x627 -x459 -x765 -x418 x302 x255 -x436 -x417 -x195 x718 -x453 x256 -x196 x189 x719 x197 x191 -x152 -x751 -x454 -x291 x213 -x35 -x752 x556 x461 -x293 -x102 -x34 -x747 x682 x557 -x528 x463 -x414 -x383 -x185 x558 -x530 x469 -x384 -x344 -x745 x685 -x667 -x574 x465 -x379 -x343 -x287 -x186 -x83 -x668 x477 -x330 -x220 -x85 -x663 x535 -x524 -x377 x350 -x288 -x221 x31 -x539 x354 x222 -x119 -x661 -x643 x605 -x525 x355 x236 x136 -x79 -x644 x609 x356 -x325 x132 -x769 x333 x107 -x63 -x707 -x260 -x706 -x458 x713 x299 x109 x717 x721 x304 x720 x190 -x750 x216 -x749 -x292 x217 x678 -x382 -x307 -x212 -x529 -x381 x681 -x666 x577 -x210 -x665 x578 x464 -x84 -x746 x687 -x573 -x485 -x481 -x345 -x642 -x571 x534 -x480 -x378 -x346 x239 x133 -x641 -x538 x240 x135 -x690 -x662 x604 x235 -x80 x608 -x326 x131 -x503 x296 x110 -x708 x108 -x709 -x547 x336 x301 x772 -x725 x305 x215 x214 x674 -x308 -x306 x773 x677 x774 -x576 x575 x683 -x482 -x211 -x484 x688 x238 x237 x134 -x691 -x572 x536 -x478 -x359 -x689 -x540 -x360 x606 -x479 -x233 x610 x129 x111 -x502 x337 x335 x295 x728 -x546 x297 -x724 -x309 -x722 x673 -x583 -x483 x684 x533 x680 x532 -x358 -x692 -x357 x537 -x541 x607 -x234 x611 -x130 x338 x115 -x727 -x504 x114 -x726 -x548 x298 x670 x507 x317 x313 -x723 x675 -x582 x550 x312 x551 x679 -x587 x543 -x342 x542 -x505 -x341 x112 -x549 x508 x314 x113 x506 x316 -x581 x553 x669 x552 x671 -x584 x310 x676 x311 -x586 -x339 x544 x509 x315 x545 -x340 -x775 -x580 -x579 x672 -x585 x776 x1
OK 89
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: 63931 MiB (61174 MiB free)
memory of node 1: 64510 MiB (62097 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434324-1721056972/watcher-4434324-1721056972 -o /tmp/evaluation-result-4434324-1721056972/solver-4434324-1721056972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721055623-812691 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434324-1721056972.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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=813234, runsolver pid=813231
[startup+0.100099 s]*
/proc/loadavg: 4.30 4.15 3.75 5/263 813239
/proc/meminfo: memFree=126215260/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=19380 memory=18072 CPUtime=0.1 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 4215 0 0 0 9 1 0 0 20 0 1 0 157856338 19845120 4518 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 4845 4518 612 659 0 4049 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29312 KiB
Current children cumulated memory: 20876 KiB
[startup+0.206012 s]*
/proc/loadavg: 4.30 4.15 3.75 5/263 813239
/proc/meminfo: memFree=126203500/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=31332 memory=29964 CPUtime=0.2 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 7327 0 0 0 19 1 0 0 20 0 1 0 157856338 32083968 7491 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 7833 7491 612 659 0 7037 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41264 KiB
Current children cumulated memory: 32768 KiB
[startup+0.305949 s]*
/proc/loadavg: 4.30 4.15 3.75 5/263 813239
/proc/meminfo: memFree=126191372/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=42956 memory=41192 CPUtime=0.29 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 10495 0 0 0 28 1 0 0 20 0 1 0 157856338 43986944 10298 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 10739 10298 612 659 0 9943 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 52888 KiB
Current children cumulated memory: 43996 KiB
[startup+0.700278 s]
/proc/loadavg: 4.30 4.15 3.75 5/263 813239
/proc/meminfo: memFree=126170544/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=85076 memory=83804 CPUtime=0.68 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 20780 0 0 0 65 3 0 0 20 0 1 0 157856338 87117824 20951 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 21269 20951 612 659 0 20473 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95008 KiB
Current children cumulated memory: 86608 KiB
[startup+1.50029 s]
/proc/loadavg: 4.30 4.15 3.75 5/263 813239
/proc/meminfo: memFree=126059124/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=240552 memory=236692 CPUtime=1.49 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 52190 0 0 0 140 9 0 0 20 0 1 0 157856338 246325248 59173 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 60138 59173 644 659 0 59342 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 250484 KiB
Current children cumulated memory: 239496 KiB
[startup+3.10619 s]
/proc/loadavg: 4.27 4.15 3.75 5/263 813239
/proc/meminfo: memFree=125949240/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=294092 memory=282284 CPUtime=3.09 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 59019 0 0 0 299 10 0 0 20 0 1 0 157856338 301150208 70571 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 73523 70571 644 659 0 72727 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 304024 KiB
Current children cumulated memory: 285088 KiB
[startup+6.30028 s]
/proc/loadavg: 4.27 4.15 3.75 5/263 813239
/proc/meminfo: memFree=125928960/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=314876 memory=303800 CPUtime=6.27 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 64004 0 0 0 615 12 0 0 20 0 1 0 157856338 322433024 75950 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 78719 75950 660 659 0 77923 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 324808 KiB
Current children cumulated memory: 306604 KiB
[startup+12.7003 s]
/proc/loadavg: 4.25 4.14 3.75 5/263 813241
/proc/meminfo: memFree=125965892/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=371624 memory=354908 CPUtime=12.65 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 73737 0 0 0 1249 16 0 0 20 0 1 0 157856338 380542976 88727 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 92906 88727 660 659 0 92110 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 381556 KiB
Current children cumulated memory: 357712 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.14 3.76 5/263 813242
/proc/meminfo: memFree=125970908/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=387920 memory=372760 CPUtime=25.42 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 76542 0 0 0 2523 19 0 0 20 0 1 0 157856338 397230080 93190 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 96980 93190 660 659 0 96184 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 397852 KiB
Current children cumulated memory: 375564 KiB
[startup+51.1061 s]
/proc/loadavg: 4.18 4.14 3.77 5/263 813247
/proc/meminfo: memFree=125951524/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=366140 memory=351296 CPUtime=50.95 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 77405 0 0 0 5075 20 0 0 20 0 1 0 157856338 374927360 87824 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 91535 87824 660 659 0 90739 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 376072 KiB
Current children cumulated memory: 354100 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.15 3.79 5/263 813258
/proc/meminfo: memFree=125964840/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=412060 memory=397072 CPUtime=102.01 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 78721 0 0 0 10178 23 0 0 20 0 1 0 157856338 421949440 99268 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 103015 99268 660 659 0 102219 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 421992 KiB
Current children cumulated memory: 399876 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.17 3.83 5/264 813652
/proc/meminfo: memFree=125973192/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=374940 memory=359968 CPUtime=161.85 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 80561 0 0 0 16159 26 0 0 20 0 1 0 157856338 383938560 89992 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 93735 89992 660 659 0 92939 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 384872 KiB
Current children cumulated memory: 362772 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.15 3.84 5/261 813663
/proc/meminfo: memFree=125974044/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=394144 memory=379180 CPUtime=221.68 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 81741 0 0 0 22141 27 0 0 20 0 1 0 157856338 403603456 94795 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 98536 94795 660 659 0 97740 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/loadavg: 1.14 1.47 2.56 2/237 815074
/proc/meminfo: memFree=127097564/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=347908 memory=334964 CPUtime=3034.33 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 138874 0 0 0 303345 88 0 0 20 0 1 0 157856338 356257792 83741 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 86977 83741 660 659 0 86181 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 357840 KiB
Current children cumulated memory: 337768 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.40 2.46 2/237 815086
/proc/meminfo: memFree=127056780/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=388156 memory=375088 CPUtime=3094.17 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 139832 0 0 0 309329 88 0 0 20 0 1 0 157856338 397471744 93772 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 97039 93772 660 659 0 96243 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 398088 KiB
Current children cumulated memory: 377892 KiB
[startup+3162.3 s]
/proc/loadavg: 1.15 1.35 2.38 2/235 815097
/proc/meminfo: memFree=127095808/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=348724 memory=335736 CPUtime=3154.03 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 139927 0 0 0 315315 88 0 0 20 0 1 0 157856338 357093376 83934 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 87181 83934 660 659 0 86385 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 358656 KiB
Current children cumulated memory: 338540 KiB
[startup+3222.3 s]
/proc/loadavg: 1.12 1.30 2.29 2/235 815107
/proc/meminfo: memFree=127054476/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=389720 memory=376580 CPUtime=3213.88 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 141074 0 0 0 321299 89 0 0 20 0 1 0 157856338 399073280 94145 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 97430 94145 660 659 0 96634 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 399652 KiB
Current children cumulated memory: 379384 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.26 2.22 2/236 815119
/proc/meminfo: memFree=127091532/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=350280 memory=337292 CPUtime=3273.73 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 141189 0 0 0 327284 89 0 0 20 0 1 0 157856338 358686720 84323 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 87570 84323 660 659 0 86774 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 360212 KiB
Current children cumulated memory: 340096 KiB
[startup+3342.3 s]
/proc/loadavg: 1.07 1.23 2.14 2/236 815129
/proc/meminfo: memFree=127090916/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=350280 memory=337292 CPUtime=3333.58 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 141277 0 0 0 333269 89 0 0 20 0 1 0 157856338 358686720 84323 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 87570 84323 660 659 0 86774 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 360212 KiB
Current children cumulated memory: 340096 KiB
[startup+3402.3 s]
/proc/loadavg: 1.06 1.20 2.07 2/236 815140
/proc/meminfo: memFree=127050292/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=390400 memory=377412 CPUtime=3393.43 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 142220 0 0 0 339253 90 0 0 20 0 1 0 157856338 399769600 94353 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 97600 94353 660 659 0 96804 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 400332 KiB
Current children cumulated memory: 380216 KiB
[startup+3462.3 s]
/proc/loadavg: 1.06 1.17 2.01 2/238 815155
/proc/meminfo: memFree=127089372/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=350720 memory=337732 CPUtime=3453.28 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 142430 0 0 0 345238 90 0 0 20 0 1 0 157856338 359137280 84433 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 87680 84433 660 659 0 86884 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 360652 KiB
Current children cumulated memory: 340536 KiB
[startup+3522.3 s]
/proc/loadavg: 1.13 1.17 1.95 2/238 815166
/proc/meminfo: memFree=127047528/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=391884 memory=378836 CPUtime=3513.13 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 143116 0 0 0 351222 91 0 0 20 0 1 0 157856338 401289216 94709 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 97971 94709 660 659 0 97175 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 401816 KiB
Current children cumulated memory: 381640 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.15 1.90 2/237 815176
/proc/meminfo: memFree=127086852/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=351840 memory=338852 CPUtime=3572.98 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 143500 0 0 0 357207 91 0 0 20 0 1 0 157856338 360284160 84713 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 87960 84713 660 659 0 87164 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 361772 KiB
Current children cumulated memory: 341656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 1.14 1.15 1.87 2/238 815180
/proc/meminfo: memFree=127082452/131524600 swapFree=130795544/131071996
[pid=813234] ppid=813231 vsize=9932 memory=2804 CPUtime=0 cores=1,3
/proc/813234/stat : 813234 (naps-1.03.sh) S 813231 813234 808401 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 157856337 10170368 701 134679101440 93874075758592 93874076837912 140723209504576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93874078936368 93874078983556 93874104086528 140723209511908 140723209512033 140723209512033 140723209519048 0
/proc/813234/statm: 2483 701 623 264 0 134 0
[pid=813239] ppid=813234 vsize=356028 memory=343104 CPUtime=3600.01 cores=1,3
/proc/813239/stat : 813239 (naps-1.03) R 813234 813234 808401 0 -1 4194304 143631 0 0 0 359910 91 0 0 20 0 1 0 157856338 364572672 85776 134679101440 4194304 6891213 140730835415488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15114240 140730835420149 140730835420261 140730835420261 140730835427275 0
/proc/813239/statm: 89007 85776 660 659 0 88211 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 365960 KiB
Current children cumulated memory: 345908 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.4 s]
# the end of solver process 813234 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.11 s, system=0.914291 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): 3609.4
CPU time (s): 3600.02
CPU user time (s): 3599.11
CPU system time (s): 0.914291
CPU usage (%): 99.7401
Max. virtual memory (cumulated for all children) (KiB): 454692
Max. memory (cumulated for all children) (KiB): 432400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.11
system time used= 0.914291
maximum resident set size= 429596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144104
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= 65
involuntary context switches= 1417
# summary of solver processes directly reported to runsolver:
# pid: 813234
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.11
# total CPU system time (s): 0.914291
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00134 second user time and 19.2001 second system time
The end
Begin job on nodeC014 at 2024-07-15 17:23:04 IDJOB=4434324 IDBENCH=146660 IDSOLVER=3063 FILE ID=nodeC014/4434324-1721056972 RUNJOBID= nodeC014-1721055623-812691 SLURM_JOB_ID= 7505460 Free space on /tmp= 890068 MiB SOLVER NAME= NaPS 1.03 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb COMMAND LINE= HOME/naps-1.03.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434324-1721056972/watcher-4434324-1721056972 -o /tmp/evaluation-result-4434324-1721056972/solver-4434324-1721056972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721055623-812691 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434324-1721056972.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7cbd9242490819e58478720045b90b69 RANDOM SEED=574559170 nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.507 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3653.294 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.853 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3653.761 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.477 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.714 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.772 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.779 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126231224 kB MemAvailable: 128839784 kB Buffers: 304152 kB Cached: 3110444 kB SwapCached: 12872 kB Active: 993776 kB Inactive: 3740932 kB Active(anon): 9512 kB Inactive(anon): 1327932 kB Active(file): 984264 kB Inactive(file): 2413000 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 130795544 kB Dirty: 5308 kB Writeback: 0 kB AnonPages: 1310272 kB Mapped: 54012 kB Shmem: 17332 kB KReclaimable: 101884 kB Slab: 193644 kB SReclaimable: 101884 kB SUnreclaim: 91760 kB KernelStack: 4236 kB PageTables: 11956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2052192 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 27616 kB HardwareCorrupted: 0 kB AnonHugePages: 1226752 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: 191188 kB DirectMap2M: 14262272 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 890080 MiB End job on nodeC014 at 2024-07-15 18:23:14