Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS 1.03 | SAT (TO) | 104 | 3600.04 | 3612.7 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
| MD5SUM | 0c08209891d9f5241a74237055766898 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.180845 |
| 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 | 934 |
| Total number of constraints | 1063 |
| Number of constraints which are clauses | 879 |
| Number of constraints which are cardinality constraints (but not clauses) | 184 |
| 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 | 934 |
| Biggest coefficient in the objective function | 546 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2594 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 546 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2594 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c NaPS 1.03. 0.00/0.00 c Input file name: HOME/instance-4434325-1721057822.opb 0.00/0.02 c single stage optimization mode 0.00/0.02 o 1492 2.18/2.25 o 104 3600.03/3612.70 c 3600.03/3612.70 c *** TERMINATED *** by signal 15 3600.03/3612.70 s SATISFIABLE 3600.03/3612.70 c _____________________________________________________________________________ 3600.03/3612.70 c std/band forms : 186,0 3600.03/3612.70 c 2cl/3cl ITE-codings : 346973,0 3600.03/3612.70 c BDD/srt/adr Max costs : 450104,69989,0 3600.03/3612.70 c BDDraw/bin/mul/srt/adr: 2,0,0,184,0 3600.03/3612.70 c BDD nodes : 436134 3600.03/3612.70 c Es1/CC detections : 0,0 3600.03/3612.70 c CC sort : 183 3600.03/3612.70 c SAT/UNSAT calls : 2,0 3600.03/3612.70 c regenrated variables : 0 3600.03/3612.70 c eliminated fixed lits : 2 3600.03/3612.70 c goal lit flips : 5 3600.03/3612.70 c goal stages : 1 3600.03/3612.70 c goal shrink : 0 3600.03/3612.70 c goal coeff separations: 0 3600.03/3612.70 c restarts : 64 3600.03/3612.70 c conflicts : 324 (0 /sec) 3600.03/3612.70 c decisions : 69865 (19 /sec) 3600.03/3612.70 c propagations : 4756940 (1322 /sec) 3600.03/3612.70 c inspects : 0 (0 /sec) 3600.03/3612.70 c CPU time (solving tm) : 3597 s (3595 s, SAT 0.5916 s, UNSAT 0 s) 3600.03/3612.70 c Time for Opt-base : 0.001322 s 3600.03/3612.70 c Steps for Opt-base : 2799 3600.03/3612.70 c Time for BDD coding : 1.711 s 3600.03/3612.70 c Time for srt coding : 0.008056 s 3600.03/3612.70 c _____________________________________________________________________________ 3600.03/3612.70 v -x854 x783 -x198 x103 -x22 x3 -x856 x104 x2 x786 -x385 x273 -x197 -x21 x4 -x857 x787 -x77 -x56 -x24 x5 x384 -x276 -x203 -x76 x55 -x12 x764 -x388 -x277 -x201 x57 -x25 x6 x763 -x248 x151 -x78 x58 -x27 -x7 x765 -x614 -x389 -x202 -x80 x59 -x40 -x28 -x8 x766 -x613 x514 x251 -x206 x150 -x66 -x39 x767 -x619 x252 -x81 -x60 -x41 -x774 -x618 x513 -x327 -x156 x126 -x83 -x61 -x42 x768 -x620 -x154 -x84 -x62 x43 x769 -x624 x594 x574 x519 -x129 -x50 x770 -x623 -x578 x517 -x155 -x130 x44 -x730 -x621 x597 -x577 -x159 x45 -x622 x598 x518 x46 -x882 -x729 x522 -x853 x782 -x193 x105 -x18 -x858 x788 -x538 -x469 x272 -x199 -x23 -x15 -x542 -x72 -x26 -x16 x860 x386 -x278 -x204 -x109 -x71 -x30 -x11 -x861 -x390 -x29 x791 x247 -x207 x146 -x79 -x69 -x9 -x205 -x82 -x70 -x812 -x777 -x639 -x509 -x392 -x323 x281 x253 x152 -x86 -x65 -x778 -x643 -x615 -x393 -x85 -x773 -x616 x515 -x326 -x157 x125 -x63 x53 -x617 x54 -x771 -x628 x593 x520 x256 -x160 -x131 -x49 x573 -x158 -x878 x599 x575 x523 -x47 -x579 x521 -x881 -x731 x134 -x602 x855 x784 -x465 -x268 x106 -x14 -x859 -x380 -x192 -x17 -x13 x863 x789 -x537 -x489 -x468 -x379 x274 -x194 -x110 -x19 x862 -x541 -x493 -x200 -x108 -x20 x792 x387 -x279 -x243 -x196 -x68 -x34 x790 -x391 -x208 -x73 -x67 -x808 -x776 -x395 x302 x282 x249 -x74 -x10 -x775 -x394 x280 x145 -x75 -x811 -x638 -x322 x254 x147 -x121 -x90 x52 -x642 -x508 x153 x51 -x631 -x589 -x510 -x328 x257 x149 x127 -x64 -x632 x516 x255 -x161 -x772 -x627 x595 x512 -x132 -x726 x524 -x877 -x725 -x710 -x625 x600 -x331 x135 -x48 x576 x133 -x883 -x732 -x603 -x587 -x601 x583 -x901 x733 x582 -x905 x734 x852 -x780 x464 -x423 x107 x851 x785 x427 -x267 -x111 x867 x781 x663 -x539 -x488 -x470 -x269 -x178 -x37 x793 x667 -x543 -x492 -x381 x275 -x195 -x38 -x382 -x298 x271 -x223 -x216 -x33 x383 x283 -x242 -x227 -x212 -x807 -x545 -x473 -x399 -x318 x301 -x244 -x211 -x93 -x31 -x546 x250 -x94 -x813 -x640 -x630 -x324 x246 -x89 -x644 -x629 x258 x148 -x120 x914 x837 -x329 -x169 -x122 -x87 x918 -x588 -x511 -x165 x128 -x873 -x816 -x706 -x646 -x590 -x532 x348 -x332 -x164 x124 -x647 x596 -x528 x352 -x330 x136 -x879 -x709 -x626 x592 -x584 -x527 -x727 -x604 -x586 x96 -x884 -x728 x95 -x900 -x885 x738 x580 -x904 -x886 -x870 -x534 x466 -x422 x174 -x119 -x36 -x871 -x779 x426 -x115 -x35 x866 -x801 x662 -x540 -x490 -x471 -x213 -x177 -x114 -x797 x666 -x544 -x494 -x270 -x215 x864 -x803 -x796 -x548 -x474 -x451 x402 -x297 -x291 -x222 -x92 -x634 -x547 -x472 x403 -x287 -x226 -x91 -x809 -x633 -x496 -x398 x303 -x286 -x209 -x32 -x497 -x317 -x245 x833 -x814 x753 -x641 -x396 -x319 -x266 -x210 -x166 -x645 -x325 -x262 -x168 x913 x836 -x817 -x649 -x529 -x321 -x306 -x261 -x88 x917 -x815 -x648 -x531 -x333 -x123 -x705 x347 -x162 -x144 -x872 x591 -x585 x351 -x140 -x874 -x711 x612 -x525 -x163 -x139 -x880 -x608 -x876 -x741 -x607 x562 -x526 -x887 -x742 x566 x97 -x902 x737 x714 x581 x98 -x906 -x868 -x798 -x485 x462 -x424 x173 -x118 -x800 -x533 x467 x428 -x214 x664 -x535 -x491 x463 -x447 x401 -x293 -x288 -x179 -x112 x668 -x536 -x495 -x475 x400 -x290 x865 -x794 -x552 -x499 -x450 -x430 -x299 -x224 -x113 -x802 -x498 -x431 -x228 -x804 -x795 -x749 x688 x670 x304 -x284 -x263 -x182 -x810 x692 x671 -x635 -x265 -x167 x832 -x806 x752 -x636 -x397 -x307 -x285 -x230 -x818 -x637 -x530 -x320 -x305 -x231 x915 x838 -x701 -x653 -x341 -x259 -x141 x919 -x337 -x143 -x707 -x609 x349 -x336 -x260 -x611 x353 -x921 -x841 -x740 -x712 x413 -x372 -x137 -x922 -x897 -x875 -x739 -x376 x896 -x895 x715 -x605 x561 -x355 -x138 -x891 x713 x565 -x356 -x903 -x890 x735 -x606 -x101 x907 -x102 -x869 -x799 x659 -x425 x175 -x116 -x484 x461 x429 -x289 -x218 x665 -x555 x486 -x483 -x446 -x433 -x217 -x180 x669 -x556 x487 x479 -x432 -x292 x673 -x551 -x503 x478 -x452 -x294 -x225 -x183 x672 -x300 -x264 -x229 -x181 x828 -x748 x687 -x549 x296 -x233 -x909 -x805 x691 -x308 -x232 -x908 x834 -x826 x754 -x656 -x455 -x338 -x822 -x657 x343 -x340 -x142 x916 x839 -x821 -x652 x342 x920 -x700 -x610 -x924 -x842 x757 -x702 -x650 x409 x350 -x334 -x923 -x840 -x708 x354 -x892 x704 x412 -x371 -x358 -x335 -x894 x716 -x375 -x357 x563 -x100 x898 x567 -x99 x899 -x888 x736 -x554 -x480 -x442 x421 x171 -x117 x658 -x553 -x482 x420 x176 x660 -x506 -x448 x437 x172 x661 -x507 -x219 -x184 -x744 x677 -x502 x476 -x453 -x220 -x295 -x221 -x823 -x750 x689 -x655 -x550 -x500 x477 -x456 -x316 -x237 x827 -x825 x693 -x654 -x454 -x339 -x312 x829 x755 -x311 -x910 x835 -x911 x831 -x819 x758 -x695 x912 -x843 x756 -x696 x344 -x928 -x820 -x651 x408 x345 -x893 -x703 x558 x346 x724 x557 x414 -x373 x362 x720 -x377 -x719 x564 x568 -x889 x569 -x417 x570 -x505 -x481 x438 -x504 -x441 x440 x170 x680 -x443 x436 x191 -x683 x681 -x449 -x188 x682 x676 -x445 x434 -x313 -x240 -x187 -x824 -x743 -x457 -x315 -x241 -x745 x690 x674 -x501 -x236 -x751 x694 x747 x698 -x309 -x234 x830 x759 -x697 x931 x850 x406 -x310 x932 x847 -x368 -x927 x846 -x721 x410 -x367 -x365 x723 -x366 -x925 x415 -x374 x361 x559 -x378 x933 -x717 x560 x418 -x359 x416 -x718 x679 x439 x190 x678 x189 -x239 -x444 -x314 -x238 -x460 x435 -x185 x684 -x458 x685 x675 -x459 -x186 -x746 x686 x930 x849 x762 x699 -x235 x929 x848 x760 x761 -x364 -x722 x405 -x363 x844 x404 x411 -x369 -x926 x845 x407 -x370 x419 x572 x934 -x360 x571 x1
OK 104
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: 63968 MiB (62105 MiB free)
memory of node 1: 64473 MiB (61770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434325-1721057822/watcher-4434325-1721057822 -o /tmp/evaluation-result-4434325-1721057822/solver-4434325-1721057822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721054221-809900 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434325-1721057822.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=812014, runsolver pid=812011
[startup+0.100094 s]*
/proc/loadavg: 4.25 4.24 4.14 5/258 812019
/proc/meminfo: memFree=126832392/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=19844 memory=18412 CPUtime=0.09 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 4373 0 0 0 9 0 0 0 20 0 1 0 157948392 20320256 4603 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 4961 4603 612 659 0 4165 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29776 KiB
Current children cumulated memory: 21100 KiB
[startup+0.2056 s]*
/proc/loadavg: 4.25 4.24 4.14 5/258 812019
/proc/meminfo: memFree=126821164/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=30740 memory=29216 CPUtime=0.19 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 7207 0 0 0 19 0 0 0 20 0 1 0 157948392 31477760 7304 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 7685 7304 612 659 0 6889 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40672 KiB
Current children cumulated memory: 31904 KiB
[startup+0.30572 s]*
/proc/loadavg: 4.25 4.24 4.14 5/258 812019
/proc/meminfo: memFree=126809856/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=41824 memory=40536 CPUtime=0.3 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 9855 0 0 0 29 1 0 0 20 0 1 0 157948392 42827776 10134 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 10456 10134 612 659 0 9660 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51756 KiB
Current children cumulated memory: 43224 KiB
[startup+0.700272 s]
/proc/loadavg: 4.25 4.24 4.14 5/258 812019
/proc/meminfo: memFree=126771832/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=83296 memory=81804 CPUtime=0.68 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 20359 0 0 0 66 2 0 0 20 0 1 0 157948392 85295104 20451 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 20824 20451 612 659 0 20028 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 93228 KiB
Current children cumulated memory: 84492 KiB
[startup+1.50027 s]
/proc/loadavg: 4.25 4.24 4.14 5/258 812019
/proc/meminfo: memFree=126719932/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=232232 memory=226660 CPUtime=1.48 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 51298 0 0 0 141 7 0 0 20 0 1 0 157948392 237805568 56665 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 58058 56665 612 659 0 57262 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 242164 KiB
Current children cumulated memory: 229348 KiB
[startup+3.10562 s]
/proc/loadavg: 4.31 4.25 4.15 5/258 812020
/proc/meminfo: memFree=126467076/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=371780 memory=363404 CPUtime=3.08 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 73992 0 0 0 296 12 0 0 20 0 1 0 157948392 380702720 90851 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 92945 90851 644 659 0 92149 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 381712 KiB
Current children cumulated memory: 366092 KiB
[startup+6.30027 s]
/proc/loadavg: 4.31 4.25 4.15 5/258 812020
/proc/meminfo: memFree=126267536/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=500184 memory=490556 CPUtime=6.26 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 83848 0 0 0 608 18 0 0 20 0 1 0 157948392 512188416 122639 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 125046 122639 660 659 0 124250 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 510116 KiB
Current children cumulated memory: 493244 KiB
[startup+12.7003 s]
/proc/loadavg: 4.26 4.24 4.15 5/258 812023
/proc/meminfo: memFree=126071268/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=482360 memory=474324 CPUtime=12.64 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 88344 0 0 0 1243 21 0 0 20 0 1 0 157948392 493936640 118581 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 120590 118581 660 659 0 119794 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 492292 KiB
Current children cumulated memory: 477012 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.23 4.15 5/258 812024
/proc/meminfo: memFree=125889528/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=487052 memory=479800 CPUtime=25.39 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 89692 0 0 0 2517 22 0 0 20 0 1 0 157948392 498741248 119950 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 121763 119950 660 659 0 120967 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 496984 KiB
Current children cumulated memory: 482488 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.21 4.14 5/258 812027
/proc/meminfo: memFree=126263712/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=507872 memory=500720 CPUtime=50.9 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 91386 0 0 0 5065 25 0 0 20 0 1 0 157948392 520060928 125180 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 126968 125180 660 659 0 126172 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 517804 KiB
Current children cumulated memory: 503408 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/258 812038
/proc/meminfo: memFree=126283772/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=548392 memory=542260 CPUtime=101.91 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 92973 0 0 0 10162 29 0 0 20 0 1 0 157948392 561553408 135565 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 137098 135565 660 659 0 136302 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 558324 KiB
Current children cumulated memory: 544948 KiB
[startup+162.3 s]
/proc/loadavg: 4.49 4.27 4.16 5/258 812048
/proc/meminfo: memFree=125797076/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=542912 memory=536864 CPUtime=161.68 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 95313 0 0 0 16137 31 0 0 20 0 1 0 157948392 555941888 134216 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 135728 134216 660 659 0 134932 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 552844 KiB
Current children cumulated memory: 539552 KiB
[startup+222.3 s]
/proc/loadavg: 4.88 4.40 4.22 5/260 812113
/proc/meminfo: memFree=127510204/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=544356 memory=538332 CPUtime=221.45 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 96309 0 0 0 22110 35 0 0 20 0 1 0 157948392 557420544 134583 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 136089 134583 660 659 0 135293 0
Current children cumulated CPU time: 221.45 s
################
# More data... #
################
/proc/loadavg: 3.11 3.59 3.90 4/252 813787
/proc/meminfo: memFree=127119676/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=639336 memory=627680 CPUtime=3091.4 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 171476 0 0 0 308892 248 0 0 20 0 1 0 157948392 654680064 156920 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 159834 156920 660 659 0 159038 0
Current children cumulated CPU time: 3091.4 s
Current children cumulated vsize: 649268 KiB
Current children cumulated memory: 630368 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.50 3.85 4/253 813799
/proc/meminfo: memFree=127115648/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=640264 memory=628608 CPUtime=3151.19 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 172161 0 0 0 314869 250 0 0 20 0 1 0 157948392 655630336 157152 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 160066 157152 660 659 0 159270 0
Current children cumulated CPU time: 3151.19 s
Current children cumulated vsize: 650196 KiB
Current children cumulated memory: 631296 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.42 3.80 4/256 813869
/proc/meminfo: memFree=127113692/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=641724 memory=630068 CPUtime=3210.98 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 173168 0 0 0 320845 253 0 0 20 0 1 0 157948392 657125376 157517 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 160431 157517 660 659 0 159635 0
Current children cumulated CPU time: 3210.98 s
Current children cumulated vsize: 651656 KiB
Current children cumulated memory: 632756 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.37 3.75 4/256 813879
/proc/meminfo: memFree=127115332/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=638628 memory=626972 CPUtime=3270.78 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 174445 0 0 0 326822 256 0 0 20 0 1 0 157948392 653955072 156743 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 159657 156743 660 659 0 158861 0
Current children cumulated CPU time: 3270.78 s
Current children cumulated vsize: 648560 KiB
Current children cumulated memory: 629660 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.32 3.71 4/256 813889
/proc/meminfo: memFree=127105976/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=639836 memory=628180 CPUtime=3330.56 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 175572 0 0 0 332797 259 0 0 20 0 1 0 157948392 655192064 157045 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 159959 157045 660 659 0 159163 0
Current children cumulated CPU time: 3330.56 s
Current children cumulated vsize: 649768 KiB
Current children cumulated memory: 630868 KiB
[startup+3402.3 s]
/proc/loadavg: 3.16 3.29 3.68 4/254 813900
/proc/meminfo: memFree=127105668/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=640348 memory=628692 CPUtime=3390.36 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 176305 0 0 0 338775 261 0 0 20 0 1 0 157948392 655716352 157173 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 160087 157173 660 659 0 159291 0
Current children cumulated CPU time: 3390.36 s
Current children cumulated vsize: 650280 KiB
Current children cumulated memory: 631380 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.25 3.63 4/253 813912
/proc/meminfo: memFree=127089068/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=656288 memory=644632 CPUtime=3450.14 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 176905 0 0 0 344752 262 0 0 20 0 1 0 157948392 672038912 161158 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 164072 161158 660 659 0 163276 0
Current children cumulated CPU time: 3450.14 s
Current children cumulated vsize: 666220 KiB
Current children cumulated memory: 647320 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.23 3.60 4/250 813922
/proc/meminfo: memFree=127038340/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=701532 memory=689876 CPUtime=3509.94 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 177604 0 0 0 350729 265 0 0 20 0 1 0 157948392 718368768 172469 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 175383 172469 660 659 0 174587 0
Current children cumulated CPU time: 3509.94 s
Current children cumulated vsize: 711464 KiB
Current children cumulated memory: 692564 KiB
[startup+3582.3 s]
/proc/loadavg: 3.17 3.22 3.58 4/251 813933
/proc/meminfo: memFree=126989776/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=749564 memory=737800 CPUtime=3569.73 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 182169 0 0 0 356700 273 0 0 20 0 1 0 157948392 767553536 184450 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 187391 184450 660 659 0 186595 0
Current children cumulated CPU time: 3569.73 s
Current children cumulated vsize: 759496 KiB
Current children cumulated memory: 740488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 3.02 3.18 3.55 3/243 813970
/proc/meminfo: memFree=128272352/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=749564 memory=737800 CPUtime=3600.03 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 182284 0 0 0 359730 273 0 0 20 0 1 0 157948392 767553536 184450 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 187391 184450 660 659 0 186595 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 759496 KiB
Current children cumulated memory: 740488 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.7 s]
# the end of solver process 812014 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.31 s, system=2.73494 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]
/proc/loadavg: 3.02 3.18 3.55 3/243 813970
/proc/meminfo: memFree=128272352/131524600 swapFree=131071996/131071996
[pid=812014] ppid=812011 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/812014/stat : 812014 (naps-1.03.sh) S 812011 812014 806615 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 157948392 10170368 672 134679101440 94881672892416 94881673971736 140731252813792 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94881676070192 94881676117380 94881689833472 140731252823012 140731252823137 140731252823137 140731252830152 0
/proc/812014/statm: 2483 672 593 264 0 134 0
[pid=812019] ppid=812014 vsize=749564 memory=737800 CPUtime=3600.03 cores=0,2
/proc/812019/stat : 812019 (naps-1.03) R 812014 812014 806615 0 -1 4194304 182284 0 0 0 359730 273 0 0 20 0 1 0 157948392 767553536 184450 134679101440 4194304 6891213 140728838102128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31047680 140728838104053 140728838104165 140728838104165 140728838111179 0
/proc/812019/statm: 187391 184450 660 659 0 186595 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 759496 KiB
Current children cumulated memory: 740488 KiB
Child status: 10
Real time (s): 3612.7
CPU time (s): 3600.04
CPU user time (s): 3597.31
CPU system time (s): 2.73494
CPU usage (%): 99.6495
Max. virtual memory (cumulated for all children) (KiB): 885224
Max. memory (cumulated for all children) (KiB): 866104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.31
system time used= 2.73494
maximum resident set size= 863416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182757
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= 88
involuntary context switches= 25200
# summary of solver processes directly reported to runsolver:
# pid: 812014
# total CPU time (s): 3600.04
# total CPU user time (s): 3597.31
# total CPU system time (s): 2.73494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5482 second user time and 14.4553 second system time
The end
Begin job on nodeC026 at 2024-07-15 17:37:15 IDJOB=4434325 IDBENCH=146663 IDSOLVER=3063 FILE ID=nodeC026/4434325-1721057822 RUNJOBID= nodeC026-1721054221-809900 SLURM_JOB_ID= 7505477 Free space on /tmp= 890064 MiB SOLVER NAME= NaPS 1.03 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb COMMAND LINE= HOME/naps-1.03.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434325-1721057822/watcher-4434325-1721057822 -o /tmp/evaluation-result-4434325-1721057822/solver-4434325-1721057822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721054221-809900 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434325-1721057822.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0c08209891d9f5241a74237055766898 RANDOM SEED=1009020861 nodeC026.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 : 3656.052 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.74 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 : 3687.804 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 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 : 3651.829 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.74 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 : 3600.085 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 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 : 3682.973 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.74 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 : 3687.839 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 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 : 3633.857 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.937 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126850204 kB MemAvailable: 127425852 kB Buffers: 361680 kB Cached: 1052596 kB SwapCached: 0 kB Active: 631548 kB Inactive: 3452332 kB Active(anon): 1572 kB Inactive(anon): 2705756 kB Active(file): 629976 kB Inactive(file): 746576 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11444 kB Writeback: 8 kB AnonPages: 2666740 kB Mapped: 111532 kB Shmem: 37720 kB KReclaimable: 77836 kB Slab: 181136 kB SReclaimable: 77836 kB SUnreclaim: 103300 kB KernelStack: 4112 kB PageTables: 14876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3335736 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61088 kB HardwareCorrupted: 0 kB AnonHugePages: 1918976 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: 211668 kB DirectMap2M: 17387520 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 890072 MiB End job on nodeC026 at 2024-07-15 18:37:28