Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS-PB16 1.02b5 | SAT (TO) | 47 | 3600.06 | 3610.6 |
| 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.02b5. 0.00/0.00 c Input file name: HOME/instance-4435130-1721056235.opb 3600.04/3610.60 o 413 3600.04/3610.60 o 47 3600.04/3610.60 c 3600.04/3610.60 c *** TERMINATED *** by signal 15 3600.04/3610.60 s SATISFIABLE 3600.04/3610.60 c _____________________________________________________________________________ 3600.04/3610.60 c 3600.04/3610.60 c std/band forms : 167,0 3600.04/3610.60 c 2cl/3cl ITE-codings : 2232,0 3600.04/3610.60 c BDD/srt/adr Max costs : 53,55624,0 3600.04/3610.60 c BDDraw/bin/mul/srt/adr: 165,0,0,2,0 3600.04/3610.60 c BDD nodes : 3861 3600.04/3610.60 c Es1/CC detections : 0,0 3600.04/3610.60 c SAT/UNSAT calls : 2,0 3600.04/3610.60 c regenrated variables : 1447 3600.04/3610.60 c restarts : 3 3600.04/3610.60 c conflicts : 54 (0 /sec) 3600.04/3610.60 c decisions : 30734 (9 /sec) 3600.04/3610.60 c propagations : 209823 (58 /sec) 3600.04/3610.60 c inspects : 0 (0 /sec) 3600.04/3610.60 c CPU time (solving tm) : 3599 s (3599 s) 3600.04/3610.60 c Time for Opt-base : 0.000858 s 3600.04/3610.60 c _____________________________________________________________________________ 3600.04/3610.60 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 47
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 (61871 MiB free)
memory of node 1: 64510 MiB (63301 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435130-1721056235/watcher-4435130-1721056235 -o /tmp/evaluation-result-4435130-1721056235/solver-4435130-1721056235 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721056247-813139 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435130-1721056235.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=813195, runsolver pid=813183
Current StackSize limit: 8192 KiB
[startup+0.100621 s]*
/proc/loadavg: 2.69 3.04 3.21 9/266 813218
/proc/meminfo: memFree=128106020/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=29820 memory=27900 CPUtime=0.09 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 6269 0 0 0 8 1 0 0 20 0 1 0 157791752 30535680 6975 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 7455 6975 421 379 0 6989 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39752 KiB
Current children cumulated memory: 30512 KiB
[startup+0.206762 s]*
/proc/loadavg: 2.69 3.04 3.21 6/266 813218
/proc/meminfo: memFree=128069352/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=38504 memory=35488 CPUtime=0.2 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 7678 0 0 0 19 1 0 0 20 0 1 0 157791752 39428096 8872 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 9626 8872 421 379 0 9160 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48436 KiB
Current children cumulated memory: 38100 KiB
[startup+0.306572 s]*
/proc/loadavg: 2.69 3.04 3.21 8/266 813218
/proc/meminfo: memFree=128034924/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=38504 memory=35752 CPUtime=0.29 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 7739 0 0 0 28 1 0 0 20 0 1 0 157791752 39428096 8938 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 9626 8938 421 379 0 9160 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48436 KiB
Current children cumulated memory: 38364 KiB
[startup+0.700284 s]
/proc/loadavg: 2.69 3.04 3.21 7/266 813218
/proc/meminfo: memFree=127908824/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=39584 memory=36544 CPUtime=0.68 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 7981 0 0 0 67 1 0 0 20 0 1 0 157791752 40534016 9136 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 9896 9136 421 379 0 9430 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49516 KiB
Current children cumulated memory: 39156 KiB
[startup+1.50028 s]
/proc/loadavg: 2.69 3.04 3.21 8/266 813218
/proc/meminfo: memFree=127652848/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=44220 memory=40172 CPUtime=1.48 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 8323 0 0 0 147 1 0 0 20 0 1 0 157791752 45281280 10043 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 11055 10043 421 379 0 10589 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54152 KiB
Current children cumulated memory: 42784 KiB
[startup+3.10726 s]
/proc/loadavg: 2.69 3.04 3.21 8/266 813220
/proc/meminfo: memFree=127026224/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=44220 memory=41484 CPUtime=3.08 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 8673 0 0 0 307 1 0 0 20 0 1 0 157791752 45281280 10371 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 11055 10371 421 379 0 10589 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54152 KiB
Current children cumulated memory: 44096 KiB
[startup+6.30028 s]
/proc/loadavg: 2.80 3.06 3.21 7/266 813220
/proc/meminfo: memFree=126812440/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=48616 memory=45888 CPUtime=6.26 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 9254 0 0 0 625 1 0 0 20 0 1 0 157791752 49782784 11472 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 12154 11472 421 379 0 11688 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 58548 KiB
Current children cumulated memory: 48500 KiB
[startup+12.7003 s]
/proc/loadavg: 2.90 3.08 3.22 7/266 813221
/proc/meminfo: memFree=126779424/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=55756 memory=51956 CPUtime=12.65 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 10367 0 0 0 1263 2 0 0 20 0 1 0 157791752 57094144 12989 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 13939 12989 421 379 0 13473 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 65688 KiB
Current children cumulated memory: 54568 KiB
[startup+25.5003 s]
/proc/loadavg: 4.00 3.30 3.29 8/266 813223
/proc/meminfo: memFree=126521252/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=60392 memory=58388 CPUtime=25.41 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 11469 0 0 0 2539 2 0 0 20 0 1 0 157791752 61841408 14597 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 15098 14597 421 379 0 14632 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 70324 KiB
Current children cumulated memory: 61000 KiB
[startup+51.1073 s]
/proc/loadavg: 5.43 3.70 3.42 7/266 813226
/proc/meminfo: memFree=126460240/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=83752 memory=67796 CPUtime=50.95 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 13042 0 0 0 5092 3 0 0 20 0 1 0 157791752 85762048 16949 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 20938 16949 421 379 0 20472 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 93684 KiB
Current children cumulated memory: 70408 KiB
[startup+102.3 s]
/proc/loadavg: 4.67 3.76 3.46 8/266 813236
/proc/meminfo: memFree=126449168/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=102608 memory=78464 CPUtime=102.01 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 13590 0 0 0 10197 4 0 0 20 0 1 0 157791752 105070592 19616 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 25652 19616 421 379 0 25186 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 112540 KiB
Current children cumulated memory: 81076 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 3.82 3.50 8/266 813247
/proc/meminfo: memFree=126400316/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=102608 memory=99976 CPUtime=161.85 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 14438 0 0 0 16180 5 0 0 20 0 1 0 157791752 105070592 24994 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 25652 24994 421 379 0 25186 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 112540 KiB
Current children cumulated memory: 102588 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 3.87 3.54 8/266 813259
/proc/meminfo: memFree=126358612/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=114460 memory=112520 CPUtime=221.69 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 15287 0 0 0 22162 7 0 0 20 0 1 0 157791752 117207040 28130 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 28615 28130 421 379 0 28149 0
Current children cumulated CPU time: 221.69 s
################
# More data... #
################
/proc/loadavg: 4.12 4.10 4.08 7/263 814964
/proc/meminfo: memFree=126029296/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=234012 memory=208512 CPUtime=3033.38 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 56120 0 0 0 303244 94 0 0 20 0 1 0 157791752 239628288 52128 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 58503 52128 421 379 0 58037 0
Current children cumulated CPU time: 3033.38 s
Current children cumulated vsize: 243944 KiB
Current children cumulated memory: 211124 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.08 8/263 814974
/proc/meminfo: memFree=125987408/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=284100 memory=238344 CPUtime=3093.2 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 57009 0 0 0 309225 95 0 0 20 0 1 0 157791752 290918400 59586 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 71025 59586 421 379 0 70559 0
Current children cumulated CPU time: 3093.2 s
Current children cumulated vsize: 294032 KiB
Current children cumulated memory: 240956 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.08 8/261 814986
/proc/meminfo: memFree=126005244/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=234012 memory=204416 CPUtime=3153.04 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 57776 0 0 0 315207 97 0 0 20 0 1 0 157791752 239628288 51104 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 58503 51104 421 379 0 58037 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 243944 KiB
Current children cumulated memory: 207028 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.08 7/261 814998
/proc/meminfo: memFree=126021468/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=234012 memory=231176 CPUtime=3212.85 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 57851 0 0 0 321188 97 0 0 20 0 1 0 157791752 239628288 57794 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 58503 57794 421 379 0 58037 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 243944 KiB
Current children cumulated memory: 233788 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.08 8/260 815009
/proc/meminfo: memFree=125988052/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=234012 memory=204420 CPUtime=3272.69 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 59428 0 0 0 327169 100 0 0 20 0 1 0 157791752 239628288 51105 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 58503 51105 421 379 0 58037 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 243944 KiB
Current children cumulated memory: 207032 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.11 4.09 8/260 815019
/proc/meminfo: memFree=125986916/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=284100 memory=238344 CPUtime=3332.51 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 60321 0 0 0 333150 101 0 0 20 0 1 0 157791752 290918400 59586 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 71025 59586 421 379 0 70559 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 294032 KiB
Current children cumulated memory: 240956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 7/260 815030
/proc/meminfo: memFree=125974048/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=203192 memory=201984 CPUtime=3392.34 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 60960 0 0 0 339130 104 0 0 20 0 1 0 157791752 208068608 50496 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 50798 50496 421 379 0 50332 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 213124 KiB
Current children cumulated memory: 204596 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 8/260 815040
/proc/meminfo: memFree=125981696/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=234012 memory=232044 CPUtime=3452.16 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 61400 0 0 0 345112 104 0 0 20 0 1 0 157791752 239628288 58011 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 58503 58011 421 379 0 58037 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 243944 KiB
Current children cumulated memory: 234656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 7/260 815051
/proc/meminfo: memFree=125949772/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=284100 memory=259004 CPUtime=3511.99 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 62038 0 0 0 351094 105 0 0 20 0 1 0 157791752 290918400 64751 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 71025 64751 421 379 0 70559 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 294032 KiB
Current children cumulated memory: 261616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 8/261 815065
/proc/meminfo: memFree=125981932/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=234012 memory=224896 CPUtime=3571.82 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 62731 0 0 0 357075 107 0 0 20 0 1 0 157791752 239628288 56224 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 58503 56224 421 379 0 58037 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 243944 KiB
Current children cumulated memory: 227508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.06 4.09 4.09 6/254 815101
/proc/meminfo: memFree=126547016/131524600 swapFree=131071996/131071996
[pid=813195] ppid=813183 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/813195/stat : 813195 (naps-1.02b5.sh) S 813183 813195 813126 0 -1 4194304 222 245 0 0 0 0 0 0 20 0 1 0 157791752 10170368 653 134679101440 93906940841984 93906941921304 140723288364656 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93906944019760 93906944066948 93906951675904 140723288372192 140723288372319 140723288372319 140723288379334 0
/proc/813195/statm: 2483 653 574 264 0 134 0
[pid=813215] ppid=813195 vsize=284100 memory=238344 CPUtime=3600.04 cores=5,7
/proc/813215/stat : 813215 (naps-1.02b5) R 813195 813195 813126 0 -1 4194304 63549 0 0 0 359896 108 0 0 20 0 1 0 157791752 290918400 59586 134679101440 4194304 5746509 140723724972464 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 35340288 140723724981231 140723724981345 140723724981345 140723724988361 0
/proc/813215/statm: 71025 59586 421 379 0 70559 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 294032 KiB
Current children cumulated memory: 240956 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.6 s]
# the end of solver process 813195 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.97 s, system=1.09064 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): 3610.6
CPU time (s): 3600.06
CPU user time (s): 3598.97
CPU system time (s): 1.09064
CPU usage (%): 99.708
Max. virtual memory (cumulated for all children) (KiB): 343352
Max. memory (cumulated for all children) (KiB): 292628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.09064
maximum resident set size= 292064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64030
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= 32
involuntary context switches= 3115
# summary of solver processes directly reported to runsolver:
# pid: 813195
# total CPU time (s): 3600.06
# total CPU user time (s): 3598.97
# total CPU system time (s): 1.09064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12556 second user time and 24.6592 second system time
The end
Begin job on nodeC031 at 2024-07-15 17:10:48 IDJOB=4435130 IDBENCH=146660 IDSOLVER=3065 FILE ID=nodeC031/4435130-1721056235 RUNJOBID= nodeC031-1721056247-813139 SLURM_JOB_ID= 7505490 Free space on /tmp= 890084 MiB SOLVER NAME= NaPS-PB16 1.02b5 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.02b5.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435130-1721056235/watcher-4435130-1721056235 -o /tmp/evaluation-result-4435130-1721056235/solver-4435130-1721056235 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721056247-813139 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435130-1721056235.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7cbd9242490819e58478720045b90b69 RANDOM SEED=1200433455 nodeC031.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 : 3716.053 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.55 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 : 3694.981 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 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 : 3609.142 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.55 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 : 3675.864 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 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 : 3631.016 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.55 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 : 3675.864 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 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 : 3747.634 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.55 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 : 3664.547 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128179976 kB MemAvailable: 129703708 kB Buffers: 355712 kB Cached: 1994048 kB SwapCached: 0 kB Active: 613032 kB Inactive: 2112788 kB Active(anon): 1428 kB Inactive(anon): 413324 kB Active(file): 611604 kB Inactive(file): 1699464 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 16848 kB Writeback: 0 kB AnonPages: 375396 kB Mapped: 103032 kB Shmem: 37720 kB KReclaimable: 104620 kB Slab: 212052 kB SReclaimable: 104620 kB SUnreclaim: 107432 kB KernelStack: 3920 kB PageTables: 9436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 876472 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61760 kB HardwareCorrupted: 0 kB AnonHugePages: 249856 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: 185044 kB DirectMap2M: 16365568 kB DirectMap1G: 119537664 kB Free space on /tmp at the end= 890064 MiB End job on nodeC031 at 2024-07-15 18:10:58