0.00/0.01 c NaPS 1.03a6.
0.00/0.01 c Input file name: HOME/instance-4484990-1751298485.opb
0.18/0.27 c single stage optimization mode
3600.04/3610.50 o -32
3600.04/3610.50 o -36
3600.04/3610.50 o -37
3600.04/3610.50 o -39
3600.04/3610.50 o -40
3600.04/3610.50 o -44
3600.04/3610.50 c
3600.04/3610.50 c *** TERMINATED *** by signal 15
3600.04/3610.50 s SATISFIABLE
3600.04/3610.50 c _____________________________________________________________________________
3600.04/3610.50 c std/band forms : 11,0
3600.04/3610.50 c 2cl/3cl ITE-codings : 0,0
3600.04/3610.50 c BDD/srt/adr Max costs : 0,44290,0
3600.04/3610.50 c BDDraw/bin/mul/srt/adr: 0,0,0,11,0
3600.04/3610.50 c BDD nodes : 0
3600.04/3610.50 c Es1/CC detections : 0,0
3600.04/3610.50 c CC sort : 11
3600.04/3610.50 c SAT/UNSAT calls : 6,5
3600.04/3610.50 c regenrated variables : 11
3600.04/3610.50 c eliminated fixed lits : 0
3600.04/3610.50 c goal lit flips : 32
3600.04/3610.50 c goal stages : 1
3600.04/3610.50 c goal shrink : 0
3600.04/3610.50 c goal coeff separations: 0
3600.04/3610.50 c restarts : 225388
3600.04/3610.50 c conflicts : 13197057 (3667 /sec)
3600.04/3610.50 c decisions : 15929683 (4426 /sec)
3600.04/3610.50 c propagations : 1722595341 (478618 /sec)
3600.04/3610.50 c inspects : 0 (0 /sec)
3600.04/3610.50 c CPU time (solving tm) : 3599 s (3599 s, SAT 753.9 s, UNSAT 6.456 s)
3600.04/3610.50 c Time for Opt-base : 0.001952 s
3600.04/3610.50 c Steps for Opt-base : 0
3600.04/3610.50 c Time for BDD coding : 0 s
3600.04/3610.50 c Time for srt coding : 0.02616 s
3600.04/3610.50 c _____________________________________________________________________________
3600.04/3610.50 v -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
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: 63708 MiB (62669 MiB free)
memory of node 1: 64465 MiB (63702 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484990-1751298485/watcher-4484990-1751298485 -o /tmp/evaluation-result-4484990-1751298485/solver-4484990-1751298485 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751290974-40363 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4484990-1751298485.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41321, runsolver pid=41318
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.10 4.11 4.09 5/267 41325
/proc/meminfo: memFree=129398840/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=6516 memory=4736 CPUtime=0.08 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 762 0 0 0 8 0 0 0 20 0 1 0 45527096 6672384 1184 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 1629 1184 544 696 0 790 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10708 KiB
Current children cumulated memory: 7808 KiB
[startup+0.205598 s]*
/proc/loadavg: 4.09 4.11 4.09 5/267 41325
/proc/meminfo: memFree=129397076/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=8884 memory=7104 CPUtime=0.18 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 1424 0 0 0 18 0 0 0 20 0 1 0 45527096 9097216 1776 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 2221 1776 544 696 0 1382 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13076 KiB
Current children cumulated memory: 10176 KiB
[startup+0.305541 s]*
/proc/loadavg: 4.09 4.11 4.09 5/267 41325
/proc/meminfo: memFree=129384476/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=29252 memory=26488 CPUtime=0.28 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 7157 0 0 0 27 1 0 0 20 0 1 0 45527096 29954048 6622 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 7313 6622 576 696 0 6474 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 29560 KiB
[startup+0.700209 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 41325
/proc/meminfo: memFree=129376664/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=35352 memory=28848 CPUtime=0.67 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 7935 0 0 0 66 1 0 0 20 0 1 0 45527096 36200448 7212 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 8838 7212 608 696 0 7999 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 39544 KiB
Current children cumulated memory: 31920 KiB
[startup+1.50021 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 41325
/proc/meminfo: memFree=129376664/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=32500 memory=30112 CPUtime=1.47 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 9359 0 0 0 145 2 0 0 20 0 1 0 45527096 33280000 7528 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 8125 7528 608 696 0 7286 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 36692 KiB
Current children cumulated memory: 33184 KiB
[startup+3.10544 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 41325
/proc/meminfo: memFree=129359292/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=48020 memory=45948 CPUtime=3.07 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 13933 0 0 0 305 2 0 0 20 0 1 0 45527096 49172480 11487 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 12005 11487 608 696 0 11166 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 52212 KiB
Current children cumulated memory: 49020 KiB
[startup+6.3002 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 41325
/proc/meminfo: memFree=129359440/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=48876 memory=46716 CPUtime=6.25 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 14149 0 0 0 623 2 0 0 20 0 1 0 45527096 50049024 11679 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 12219 11679 608 696 0 11380 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 53068 KiB
Current children cumulated memory: 49788 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 41325
/proc/meminfo: memFree=129361576/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=50356 memory=48252 CPUtime=12.63 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 14521 0 0 0 1261 2 0 0 20 0 1 0 45527096 51564544 12063 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 12589 12063 608 696 0 11750 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 54548 KiB
Current children cumulated memory: 51324 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 41326
/proc/meminfo: memFree=129360828/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=54988 memory=52896 CPUtime=25.4 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 15170 0 0 0 2537 3 0 0 20 0 1 0 45527096 56307712 13224 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 13747 13224 608 696 0 12908 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 59180 KiB
Current children cumulated memory: 55968 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 41326
/proc/meminfo: memFree=129351960/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=59532 memory=57376 CPUtime=50.93 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 16309 0 0 0 5090 3 0 0 20 0 1 0 45527096 60960768 14344 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 14883 14344 608 696 0 14044 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 63724 KiB
Current children cumulated memory: 60448 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 41328
/proc/meminfo: memFree=129350432/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=50632 memory=48700 CPUtime=101.98 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 18281 0 0 0 10193 5 0 0 20 0 1 0 45527096 51847168 12175 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 12658 12175 608 696 0 11819 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 54824 KiB
Current children cumulated memory: 51772 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 41330
/proc/meminfo: memFree=129299548/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=69636 memory=67492 CPUtime=161.81 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 24097 0 0 0 16174 7 0 0 20 0 1 0 45527096 71307264 16873 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 17409 16873 608 696 0 16570 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 73828 KiB
Current children cumulated memory: 70564 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 41338
/proc/meminfo: memFree=129310640/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=67324 memory=65188 CPUtime=221.65 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 26595 0 0 0 22156 9 0 0 20 0 1 0 45527096 68939776 16297 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 16831 16297 608 696 0 15992 0
Current children cumulated CPU time: 221.65 s
################
# More data... #
################
/proc/loadavg: 4.04 4.07 4.08 5/266 41763
/proc/meminfo: memFree=124348752/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=122996 memory=121576 CPUtime=3093.36 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 78335 0 0 0 309260 76 0 0 20 0 1 0 45527096 125947904 30394 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 30749 30394 608 696 0 29910 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 127188 KiB
Current children cumulated memory: 124648 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 41765
/proc/meminfo: memFree=124306112/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=148312 memory=146724 CPUtime=3153.17 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 79015 0 0 0 315240 77 0 0 20 0 1 0 45527096 151871488 36681 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 37078 36681 608 696 0 36239 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 152504 KiB
Current children cumulated memory: 149796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 41767
/proc/meminfo: memFree=124300588/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=174004 memory=172452 CPUtime=3213 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 79814 0 0 0 321222 78 0 0 20 0 1 0 45527096 178180096 43113 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 43501 43113 608 696 0 42662 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 178196 KiB
Current children cumulated memory: 175524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 41776
/proc/meminfo: memFree=124320780/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=174304 memory=172708 CPUtime=3272.82 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 79949 0 0 0 327203 79 0 0 20 0 1 0 45527096 178487296 43177 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 43576 43177 608 696 0 42737 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 178496 KiB
Current children cumulated memory: 175780 KiB
[startup+3342.3 s]
/proc/loadavg: 3.80 4.02 4.07 4/260 41809
/proc/meminfo: memFree=124447580/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=174648 memory=173092 CPUtime=3332.63 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 80035 0 0 0 333184 79 0 0 20 0 1 0 45527096 178839552 43273 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 43662 43273 608 696 0 42823 0
Current children cumulated CPU time: 3332.63 s
Current children cumulated vsize: 178840 KiB
Current children cumulated memory: 176164 KiB
[startup+3402.3 s]
/proc/loadavg: 3.34 3.84 4.00 4/260 41811
/proc/meminfo: memFree=124455612/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=175308 memory=173732 CPUtime=3392.46 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 80201 0 0 0 339165 81 0 0 20 0 1 0 45527096 179515392 43433 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 43827 43433 608 696 0 42988 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 179500 KiB
Current children cumulated memory: 176804 KiB
[startup+3462.3 s]
/proc/loadavg: 3.23 3.72 3.95 4/260 41813
/proc/meminfo: memFree=124469752/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=141612 memory=140192 CPUtime=3452.27 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 81755 0 0 0 345143 84 0 0 20 0 1 0 45527096 145010688 35048 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 35403 35048 608 696 0 34564 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 145804 KiB
Current children cumulated memory: 143264 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.59 3.89 4/260 41814
/proc/meminfo: memFree=124476172/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=133992 memory=132572 CPUtime=3512.09 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 82998 0 0 0 351121 88 0 0 20 0 1 0 45527096 137207808 33143 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 33498 33143 608 696 0 32659 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 138184 KiB
Current children cumulated memory: 135644 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.51 3.84 4/259 41816
/proc/meminfo: memFree=124447812/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=135208 memory=133788 CPUtime=3571.92 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 84202 0 0 0 357100 92 0 0 20 0 1 0 45527096 138452992 33447 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 33802 33447 608 696 0 32963 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 139400 KiB
Current children cumulated memory: 136860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 3.10 3.47 3.81 4/259 41817
/proc/meminfo: memFree=124444000/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=133980 memory=132560 CPUtime=3600.04 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 85601 0 0 0 359910 94 0 0 20 0 1 0 45527096 137195520 33140 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 33495 33140 608 696 0 32656 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 138172 KiB
Current children cumulated memory: 135632 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.5 s]
# the end of solver process 41321 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.1 s, system=0.946059 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 3.10 3.47 3.81 4/259 41817
/proc/meminfo: memFree=124444000/131249988 swapFree=33010684/33010684
[pid=41321] ppid=41318 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/41321/stat : 41321 (naps-1.03a6.sh) S 41318 41321 40352 0 -1 4194304 231 198 0 0 0 0 0 0 20 0 1 0 45527095 4292608 768 18446744073709551615 93904098119680 93904099014213 140727487826272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904099253264 93904099301008 93904103923712 140727487830439 140727487830533 140727487830533 140727487836135 0
/proc/41321/statm: 1048 768 704 219 0 110 0
[pid=41325] ppid=41321 vsize=133980 memory=132560 CPUtime=3600.04 cores=4,6
/proc/41325/stat : 41325 (naps-1.03a6) R 41321 41321 40352 0 -1 4194304 85601 0 0 0 359910 94 0 0 20 0 1 0 45527096 137195520 33140 18446744073709551615 4198400 7047149 140733105723264 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 27172864 140733105727860 140733105727974 140733105727974 140733105733577 0
/proc/41325/statm: 33495 33140 608 696 0 32656 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 138172 KiB
Current children cumulated memory: 135632 KiB
Child status: 10
Real time (s): 3610.5
CPU time (s): 3600.05
CPU user time (s): 3599.1
CPU system time (s): 0.946059
CPU usage (%): 99.7105
Max. virtual memory (cumulated for all children) (KiB): 214656
Max. memory (cumulated for all children) (KiB): 211872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.1
system time used= 0.946059
maximum resident set size= 208800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86041
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= 157
involuntary context switches= 1544
# summary of solver processes directly reported to runsolver:
# pid: 41321
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.1
# total CPU system time (s): 0.946059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95081 second user time and 17.8359 second system time
The end
Begin job on nodeC031 at 2025-06-30 17:48:05
IDJOB=4484990
IDBENCH=146684
IDSOLVER=3341
FILE ID=nodeC031/4484990-1751298485
RUNJOBID= nodeC031-1751290974-40363
SLURM_JOB_ID= 9594249
Free space on /tmp= 433040 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484990-1751298485/watcher-4484990-1751298485 -o /tmp/evaluation-result-4484990-1751298485/solver-4484990-1751298485 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751290974-40363 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4484990-1751298485.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc
RANDOM SEED=669905502
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.898
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3600.231
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3602.098
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3601.399
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3600.337
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.919
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3620.544
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129404952 kB
MemAvailable: 129420160 kB
Buffers: 3280 kB
Cached: 822536 kB
SwapCached: 0 kB
Active: 688680 kB
Inactive: 556648 kB
Active(anon): 437576 kB
Inactive(anon): 0 kB
Active(file): 251104 kB
Inactive(file): 556648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 6820 kB
Writeback: 0 kB
AnonPages: 421568 kB
Mapped: 111172 kB
Shmem: 18064 kB
KReclaimable: 93388 kB
Slab: 180016 kB
SReclaimable: 93388 kB
SUnreclaim: 86628 kB
KernelStack: 4304 kB
PageTables: 3872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 756980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC031 at 2025-06-30 18:48:16