Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS-GM 1.03 | SAT (TO) | 171 | 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.95:98.opb |
| MD5SUM | f3472af25f5f0fee0e9203b0329f534f |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.109237 |
| 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 | 906 |
| Total number of constraints | 1039 |
| Number of constraints which are clauses | 852 |
| Number of constraints which are cardinality constraints (but not clauses) | 187 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 906 |
| Biggest coefficient in the objective function | 553 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2526 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 553 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2526 |
| 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 We set -no-flip-min because your selected sat solver does not support it. 0.00/0.00 c Input file name: HOME/instance-4433923-1721057537.opb 0.00/0.02 c single stage optimization mode 0.00/0.04 o 631 2.68/2.77 o 171 3600.00/3609.40 c 3600.00/3609.40 c *** TERMINATED *** by signal 15 3600.00/3609.40 s SATISFIABLE 3600.00/3609.40 c _____________________________________________________________________________ 3600.00/3609.40 c std/band forms : 188,0 3600.00/3609.40 c 2cl/3cl ITE-codings : 364791,0 3600.00/3609.40 c BDD/srt/adr Max costs : 379328,180,0 3600.00/3609.40 c BDDraw/bin/mul/srt/adr: 2,0,0,186,0 3600.00/3609.40 c BDD nodes : 366294 3600.00/3609.40 c Es1/CC detections : 0,0 3600.00/3609.40 c CC sort : 186 3600.00/3609.40 c SAT/UNSAT calls : 2,0 3600.00/3609.40 c regenrated variables : 715 3600.00/3609.40 c eliminated fixed lits : 2 3600.00/3609.40 c goal lit flips : 0 3600.00/3609.40 c goal stages : 1 3600.00/3609.40 c goal shrink : 0 3600.00/3609.40 c goal coeff separations: 0 3600.00/3609.40 c restarts : 3 3600.00/3609.40 c conflicts : 18 (0 /sec) 3600.00/3609.40 c decisions : 5172 (1 /sec) 3600.00/3609.40 c propagations : 369193 (103 /sec) 3600.00/3609.40 c inspects : 0 (0 /sec) 3600.00/3609.40 c CPU time (solving tm) : 3599 s (3598 s, SAT 1.081 s, UNSAT 0 s) 3600.00/3609.40 c Time for Opt-base : 0.00055 s 3600.00/3609.40 c Steps for Opt-base : 0 3600.00/3609.40 c Time for BDD coding : 1.383 s 3600.00/3609.40 c Time for srt coding : 0.001435 s 3600.00/3609.40 c _____________________________________________________________________________ 3600.00/3609.40 v -x786 x741 x421 x83 x861 -x745 x419 x860 x785 -x502 -x308 -x86 -x789 x420 -x87 x64 x862 -x505 -x425 x355 -x307 x63 x864 -x790 -x574 -x506 x65 x573 -x479 -x442 x354 x313 x66 -x28 -x865 x575 -x478 -x311 -x103 x67 -x867 -x811 x576 x480 -x441 x360 -x263 -x186 -x102 x74 -x27 -x868 -x815 x577 -x483 x358 -x312 -x191 -x108 x68 -x31 -x698 x584 x482 x447 -x400 -x316 -x266 -x217 -x190 -x144 x107 -x69 -x702 x578 x487 x445 -x359 -x267 -x143 x109 -x70 -x32 -x3 x579 x486 -x399 -x363 -x193 -x167 -x145 x113 -x2 -x661 x580 x484 x446 -x194 -x148 x112 -x8 x660 -x595 -x559 x485 -x450 x405 x197 -x166 x147 x110 -x7 x662 -x599 -x558 x403 -x195 x152 -x111 x9 x663 x560 -x333 -x196 x172 -x151 x13 x664 x563 x404 x170 -x149 x12 x669 x562 -x408 x336 -x150 x10 -x665 x564 x337 x171 -x11 x740 x422 x82 -x856 -x744 -x855 x787 -x501 x426 -x303 x88 x791 -x424 x863 x507 -x350 x309 x866 x870 -x836 -x793 -x437 x356 x314 -x91 x77 x869 -x840 -x794 x78 -x810 x587 -x510 -x443 x361 x317 -x262 -x213 x73 x29 -x814 x588 x481 -x315 -x185 x104 x33 -x697 x583 x495 x448 -x395 x364 x268 -x216 -x187 x105 -x71 -x701 x491 -x362 -x192 x106 -x581 x490 x451 x401 x189 -x162 x117 -x35 -x449 x198 -x146 -x36 x4 -x594 -x543 x406 -x271 x168 x160 x5 -x598 x156 x6 x672 x409 -x332 x173 x155 x17 x673 x561 -x407 x668 x572 -x467 x338 x174 x568 x471 -x175 -x782 x742 -x497 x423 x84 x746 x427 x788 x503 x89 x857 x792 -x302 x858 x796 -x748 x508 x304 x92 -x76 x859 x795 -x749 -x349 x310 -x90 -x75 -x23 x874 -x835 -x762 -x586 x511 x351 x306 -x258 -x22 -x839 -x766 -x585 -x509 -x436 x357 x318 x812 -x492 x438 x353 x264 -x212 x30 x816 x494 -x444 x365 x34 x699 x440 x269 x218 x120 -x72 x38 -x703 x452 -x394 -x188 x121 x37 -x818 -x582 -x539 -x488 x396 x272 x206 -x157 x116 -x819 x402 -x270 x202 -x161 x159 -x705 -x671 -x596 -x542 -x489 x398 -x328 -x221 x201 x163 -x114 x20 -x706 -x670 x600 x410 x169 x21 -x723 -x569 x334 x165 -x153 x16 -x727 x571 x176 x666 -x602 -x466 x339 -x154 x132 -x14 -x603 -x567 x470 x743 x435 x80 -x781 x747 -x496 x431 x85 -x783 x751 x498 x430 x81 x784 x750 x504 x93 x877 x800 x500 x878 -x806 x512 x305 x873 x837 x805 -x761 x326 -x208 x841 -x765 -x693 -x493 x352 x322 -x257 x24 -x885 -x871 x813 -x692 x373 x321 x259 x214 -x119 x25 -x889 x817 x439 -x369 x265 -x118 x26 -x843 x821 x700 x460 -x368 x261 x219 -x203 x42 -x844 x820 -x704 -x590 x456 x273 x205 -x158 x708 -x589 -x538 x455 x222 -x19 x707 x397 -x220 -x18 -x597 x544 x418 -x199 -x115 x601 -x570 x414 -x327 x164 -x722 x605 x413 x329 -x200 x184 -x128 -x726 x604 x335 x180 x667 -x547 x468 x331 x179 x131 -x15 -x565 x472 x340 x904 x434 x79 -x876 x803 x755 -x428 x101 -x875 -x831 x804 x499 x97 x830 x799 x520 -x429 -x323 x96 x516 x325 x838 -x797 x763 x515 -x370 x842 x807 -x767 -x372 -x207 -x884 -x872 x846 x808 -x457 -x319 -x292 -x209 -x45 -x888 -x845 x809 x694 -x459 x260 x215 -x204 x46 x825 -x769 x695 -x534 -x384 -x366 -x320 -x281 x211 -x41 -x770 x696 x277 x223 x712 -x620 x540 -x453 -x415 -x367 -x276 -x39 -x624 x591 x417 x592 x545 -x454 -x181 x593 -x462 -x183 x724 x609 x548 -x461 -x411 -x127 -x728 -x546 x330 x469 -x412 x348 -x177 x133 -x566 x473 x344 -x802 x432 x98 x801 x100 -x754 -x655 x517 -x757 x519 -x324 -x756 -x752 x522 -x94 x832 -x526 -x371 x833 -x798 x764 -x513 -x288 -x250 -x95 -x44 x834 x768 -x458 -x43 x886 x850 x828 x772 -x514 -x380 -x291 -x278 -x890 x829 -x771 -x280 x210 x824 x715 -x383 x231 x716 -x533 -x416 x227 -x892 -x822 x711 -x642 -x619 x535 -x274 x226 -x40 -x893 -x718 -x646 -x623 x541 -x182 x717 x709 -x680 x612 x537 -x275 -x123 -x56 -x684 x613 x549 x725 x608 -x345 -x129 x729 x463 -x347 x730 -x606 x464 -x241 -x178 x134 -x731 x465 x343 x905 x433 -x99 -x518 x654 -x753 x521 x246 -x880 x758 x525 -x879 x853 -x827 x759 -x287 -x249 x854 -x826 x760 -x279 x887 -x849 x776 -x714 -x379 x293 -x228 x891 -x713 x230 x895 -x847 x385 x894 -x823 -x641 x621 -x611 -x296 -x224 -x52 -x645 x625 -x610 x536 -x710 -x679 x557 -x388 -x225 -x55 x719 -x683 x553 -x346 -x122 x720 -x627 x552 -x237 x124 x721 -x628 x130 x735 -x607 x476 -x240 x126 x477 x341 x135 x656 -x852 x523 -x283 x245 -x851 x527 x779 -x658 -x375 -x289 -x251 -x881 x780 -x229 x882 x775 -x529 -x381 x294 x883 -x615 -x530 x899 -x848 -x773 -x614 x386 x297 -x254 -x295 x643 x622 -x554 x389 -x51 x647 x626 x556 -x387 x681 x630 x57 x685 -x629 -x738 x649 -x550 -x475 -x236 x739 x650 -x474 x125 x734 x687 -x551 x242 x142 -x60 -x688 -x342 x138 -x778 x659 x524 x247 -x777 x657 x528 -x282 x532 x284 x252 x531 -x374 x290 x902 x376 x286 x255 x903 -x637 x382 x298 -x253 x898 -x774 x636 x378 -x49 -x675 -x616 -x555 x390 -x896 -x674 x644 x617 -x53 x648 x618 -x737 x682 x652 x633 -x234 x58 -x736 x686 x651 x690 x238 -x139 -x61 x689 -x141 -x59 x732 x243 x136 x248 -x901 x906 -x900 x285 x256 x301 x377 x299 x393 x300 x638 x391 x48 -x897 x639 x635 x392 x47 x676 x640 x634 x54 x677 x653 -x631 x50 x678 x233 -x140 x62 x691 -x632 x232 x239 x733 x235 x244 x137 x1
OK 171
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61830 MiB free)
memory of node 1: 64473 MiB (63541 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433923-1721057537/watcher-4433923-1721057537 -o /tmp/evaluation-result-4433923-1721057537/solver-4433923-1721057537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721053938-799443 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433923-1721057537.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
Current StackSize limit: 8192 KiB
solver pid=801541, runsolver pid=801538
[startup+0.1001 s]*
/proc/loadavg: 4.28 4.21 4.13 5/248 801546
/proc/meminfo: memFree=128341424/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=17348 memory=15292 CPUtime=0.1 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 3776 0 0 0 10 0 0 0 20 0 1 0 157909587 17764352 3823 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 4337 3823 468 659 0 3541 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27280 KiB
Current children cumulated memory: 18140 KiB
[startup+0.213576 s]*
/proc/loadavg: 4.28 4.21 4.13 5/248 801546
/proc/meminfo: memFree=128305040/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=28936 memory=26908 CPUtime=0.21 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 6710 0 0 0 21 0 0 0 20 0 1 0 157909587 29630464 6727 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 7234 6727 468 659 0 6438 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38868 KiB
Current children cumulated memory: 29756 KiB
[startup+0.3133 s]*
/proc/loadavg: 4.28 4.21 4.13 6/248 801546
/proc/meminfo: memFree=128271892/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=40636 memory=38612 CPUtime=0.31 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 9587 0 0 0 30 1 0 0 20 0 1 0 157909587 41611264 9653 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 10159 9653 468 659 0 9363 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 41460 KiB
[startup+0.700398 s]
/proc/loadavg: 4.28 4.21 4.13 5/248 801546
/proc/meminfo: memFree=128202908/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=78540 memory=76176 CPUtime=0.68 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 18525 0 0 0 65 3 0 0 20 0 1 0 157909587 80424960 19044 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 19635 19044 468 659 0 18839 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88472 KiB
Current children cumulated memory: 79024 KiB
[startup+1.50042 s]
/proc/loadavg: 4.28 4.21 4.13 5/248 801546
/proc/meminfo: memFree=128067784/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=204216 memory=196444 CPUtime=1.48 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 44800 0 0 0 141 7 0 0 20 0 1 0 157909587 209117184 49111 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 51054 49111 468 659 0 50258 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 214148 KiB
Current children cumulated memory: 199292 KiB
[startup+3.11303 s]
/proc/loadavg: 4.28 4.21 4.13 5/248 801547
/proc/meminfo: memFree=127158976/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=394072 memory=375716 CPUtime=3.09 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 77787 0 0 0 296 13 0 0 20 0 1 0 157909587 403529728 93929 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 98518 93929 468 659 0 97722 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 404004 KiB
Current children cumulated memory: 378564 KiB
[startup+6.3004 s]
/proc/loadavg: 4.26 4.21 4.12 5/248 801547
/proc/meminfo: memFree=127007284/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=397736 memory=380376 CPUtime=6.26 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 78497 0 0 0 613 13 0 0 20 0 1 0 157909587 407281664 95094 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 99434 95094 468 659 0 98638 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 407668 KiB
Current children cumulated memory: 383224 KiB
[startup+12.7004 s]
/proc/loadavg: 4.24 4.20 4.12 5/248 801549
/proc/meminfo: memFree=126976268/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=397736 memory=380600 CPUtime=12.65 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 78929 0 0 0 1251 14 0 0 20 0 1 0 157909587 407281664 95150 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 99434 95150 468 659 0 98638 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 407668 KiB
Current children cumulated memory: 383448 KiB
[startup+25.5004 s]
/proc/loadavg: 4.26 4.21 4.13 5/248 801550
/proc/meminfo: memFree=126917708/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=398824 memory=383832 CPUtime=25.42 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 79259 0 0 0 2527 15 0 0 20 0 1 0 157909587 408395776 95958 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 99706 95958 468 659 0 98910 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 408756 KiB
Current children cumulated memory: 386680 KiB
[startup+51.1131 s]
/proc/loadavg: 4.17 4.19 4.12 5/247 801553
/proc/meminfo: memFree=126902804/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=400420 memory=387680 CPUtime=50.96 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 80046 0 0 0 5080 16 0 0 20 0 1 0 157909587 410030080 96920 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 100105 96920 468 659 0 99309 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 410352 KiB
Current children cumulated memory: 390528 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.19 4.12 5/247 801563
/proc/meminfo: memFree=126802760/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=462060 memory=445368 CPUtime=102.01 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 81233 0 0 0 10183 18 0 0 20 0 1 0 157909587 473149440 111342 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 115515 111342 468 659 0 114719 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 471992 KiB
Current children cumulated memory: 448216 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/247 801574
/proc/meminfo: memFree=126766884/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=462060 memory=449512 CPUtime=161.84 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 81333 0 0 0 16166 18 0 0 20 0 1 0 157909587 473149440 112378 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 115515 112378 468 659 0 114719 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 471992 KiB
Current children cumulated memory: 452360 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/247 801634
/proc/meminfo: memFree=127273572/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=481028 memory=468232 CPUtime=221.68 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 82000 0 0 0 22150 18 0 0 20 0 1 0 157909587 492572672 117058 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 120257 117058 468 659 0 119461 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/loadavg: 4.15 4.14 4.16 5/248 802709
/proc/meminfo: memFree=126924144/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=534164 memory=519908 CPUtime=3034.37 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 104796 0 0 0 303386 51 0 0 20 0 1 0 157909587 546983936 129977 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 133541 129977 468 659 0 132745 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 544096 KiB
Current children cumulated memory: 522756 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/248 802719
/proc/meminfo: memFree=126886860/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=614304 memory=576932 CPUtime=3094.21 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 105841 0 0 0 309369 52 0 0 20 0 1 0 157909587 629047296 144233 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 153576 144233 468 659 0 152780 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 624236 KiB
Current children cumulated memory: 579780 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/248 803112
/proc/meminfo: memFree=126906552/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=564984 memory=536488 CPUtime=3154.06 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 106564 0 0 0 315353 53 0 0 20 0 1 0 157909587 578543616 134122 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 141246 134122 468 659 0 140450 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 574916 KiB
Current children cumulated memory: 539336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/246 803123
/proc/meminfo: memFree=126868060/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=534164 memory=519908 CPUtime=3213.9 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 107108 0 0 0 321336 54 0 0 20 0 1 0 157909587 546983936 129977 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 133541 129977 468 659 0 132745 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 544096 KiB
Current children cumulated memory: 522756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/246 803133
/proc/meminfo: memFree=126933204/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=564984 memory=529784 CPUtime=3273.75 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 107710 0 0 0 327320 55 0 0 20 0 1 0 157909587 578543616 132446 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 141246 132446 468 659 0 140450 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 574916 KiB
Current children cumulated memory: 532632 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/247 803313
/proc/meminfo: memFree=126849060/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=564984 memory=542704 CPUtime=3333.6 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 107948 0 0 0 333304 56 0 0 20 0 1 0 157909587 578543616 135676 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 141246 135676 468 659 0 140450 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 574916 KiB
Current children cumulated memory: 545552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/247 803324
/proc/meminfo: memFree=126883840/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=534164 memory=528100 CPUtime=3393.45 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 108575 0 0 0 339288 57 0 0 20 0 1 0 157909587 546983936 132025 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 133541 132025 468 659 0 132745 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 544096 KiB
Current children cumulated memory: 530948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.15 5/248 803391
/proc/meminfo: memFree=126840500/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=564984 memory=544752 CPUtime=3453.28 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 109342 0 0 0 345270 58 0 0 20 0 1 0 157909587 578543616 136188 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 141246 136188 468 659 0 140450 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 574916 KiB
Current children cumulated memory: 547600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/248 803401
/proc/meminfo: memFree=126840532/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=564984 memory=532360 CPUtime=3513.13 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 110554 0 0 0 351254 59 0 0 20 0 1 0 157909587 578543616 133090 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 141246 133090 468 659 0 140450 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 574916 KiB
Current children cumulated memory: 535208 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/248 803411
/proc/meminfo: memFree=126921392/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=534164 memory=524004 CPUtime=3572.97 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 111167 0 0 0 357237 60 0 0 20 0 1 0 157909587 546983936 131001 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 133541 131001 468 659 0 132745 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 544096 KiB
Current children cumulated memory: 526852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.17 4.15 4.15 3/237 803447
/proc/meminfo: memFree=128462664/131655788 swapFree=131071996/131071996
[pid=801541] ppid=801538 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/801541/stat : 801541 (naps-1.03.sh) S 801538 801541 795838 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 157909586 10170368 712 134679101440 94415189196800 94415190276120 140731461771232 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94415192374576 94415192421764 94415218880512 140731461776352 140731461776481 140731461776481 140731461783496 0
/proc/801541/statm: 2483 712 635 264 0 134 0
[pid=801546] ppid=801541 vsize=564984 memory=528992 CPUtime=3600 cores=5,7
/proc/801546/stat : 801546 (naps-1.03) R 801541 801541 795838 0 -1 4194304 111517 0 0 0 359939 61 0 0 20 0 1 0 157909587 578543616 132248 134679101440 4194304 6891213 140735126727664 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39383040 140735126733809 140735126733925 140735126733925 140735126740939 0
/proc/801546/statm: 141246 132248 468 659 0 140450 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 574916 KiB
Current children cumulated memory: 531840 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.4 s]
# the end of solver process 801541 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.4 s, system=0.622141 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.4
CPU system time (s): 0.622141
CPU usage (%): 99.7401
Max. virtual memory (cumulated for all children) (KiB): 624236
Max. memory (cumulated for all children) (KiB): 590072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.4
system time used= 0.622141
maximum resident set size= 587224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111998
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= 76
involuntary context switches= 1847
# summary of solver processes directly reported to runsolver:
# pid: 801541
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.4
# total CPU system time (s): 0.622141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6309 second user time and 36.1168 second system time
The end
Begin job on nodeC004 at 2024-07-15 17:32:30 IDJOB=4433923 IDBENCH=146658 IDSOLVER=3062 FILE ID=nodeC004/4433923-1721057537 RUNJOBID= nodeC004-1721053938-799443 SLURM_JOB_ID= 7505478 Free space on /tmp= 723764 MiB SOLVER NAME= NaPS-GM 1.03 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433923-1721057537/watcher-4433923-1721057537 -o /tmp/evaluation-result-4433923-1721057537/solver-4433923-1721057537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721053938-799443 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433923-1721057537.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f RANDOM SEED=153650480 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3626.239 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1696.186 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.524 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.499 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.308 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3192.846 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2394.862 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.311 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128384172 kB MemAvailable: 128914180 kB Buffers: 373104 kB Cached: 996920 kB SwapCached: 0 kB Active: 611980 kB Inactive: 2130612 kB Active(anon): 3368 kB Inactive(anon): 1406892 kB Active(file): 608612 kB Inactive(file): 723720 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 17300 kB Writeback: 0 kB AnonPages: 1372488 kB Mapped: 109260 kB Shmem: 37700 kB KReclaimable: 75748 kB Slab: 170196 kB SReclaimable: 75748 kB SUnreclaim: 94448 kB KernelStack: 3984 kB PageTables: 12108 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1692600 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51296 kB HardwareCorrupted: 0 kB AnonHugePages: 1050624 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: 189256 kB DirectMap2M: 14395392 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 723772 MiB End job on nodeC004 at 2024-07-15 18:32:39