0.00/0.02 c NaPS 1.03a6.
0.00/0.02 c Input file name: HOME/instance-4517988-1751532183.opb
1.77/1.86 c single stage optimization mode
3600.01/3610.30 o 0
3600.01/3610.30 o -58387
3600.01/3610.30 c
3600.01/3610.30 c *** TERMINATED *** by signal 15
3600.01/3610.30 s SATISFIABLE
3600.01/3610.30 c _____________________________________________________________________________
3600.01/3610.30 c std/band forms : 4,0
3600.01/3610.30 c 2cl/3cl ITE-codings : 0,0
3600.01/3610.30 c BDD/srt/adr Max costs : 0,647529,0
3600.01/3610.30 c BDDraw/bin/mul/srt/adr: 0,0,0,4,0
3600.01/3610.30 c BDD nodes : 0
3600.01/3610.30 c Es1/CC detections : 0,0
3600.01/3610.30 c CC sort : 0
3600.01/3610.30 c SAT/UNSAT calls : 2,1
3600.01/3610.30 c regenrated variables : 37
3600.01/3610.30 c eliminated fixed lits : 0
3600.01/3610.30 c goal lit flips : 0
3600.01/3610.30 c goal stages : 1
3600.01/3610.30 c goal shrink : 0
3600.01/3610.30 c goal coeff separations: 205
3600.01/3610.30 c restarts : 11544
3600.01/3610.30 c conflicts : 713208 (198 /sec)
3600.01/3610.30 c decisions : 4223242 (1174 /sec)
3600.01/3610.30 c propagations : 10694341436 (2972696 /sec)
3600.01/3610.30 c inspects : 0 (0 /sec)
3600.01/3610.30 c CPU time (solving tm) : 3598 s (3594 s, SAT 1.21 s, UNSAT 3252 s)
3600.01/3610.30 c Time for Opt-base : 1.695 s
3600.01/3610.30 c Steps for Opt-base : 5350000
3600.01/3610.30 c Time for BDD coding : 0 s
3600.01/3610.30 c Time for srt coding : 0.4849 s
3600.01/3610.30 c _____________________________________________________________________________
3600.01/3610.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
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: 63837 MiB (48550 MiB free)
memory of node 1: 64465 MiB (63462 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517988-1751532183/watcher-4517988-1751532183 -o /tmp/evaluation-result-4517988-1751532183/solver-4517988-1751532183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751524861-76253 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4517988-1751532183.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=77789, runsolver pid=77786
[startup+0.100099 s]*
/proc/loadavg: 4.40 4.22 4.17 5/254 77793
/proc/meminfo: memFree=114701256/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=4704 memory=3072 CPUtime=0.09 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 302 0 0 0 9 0 0 0 20 0 1 0 68897684 4816896 768 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 1176 768 544 696 0 337 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 8896 KiB
Current children cumulated memory: 6016 KiB
[startup+0.213553 s]*
/proc/loadavg: 4.40 4.22 4.17 5/254 77793
/proc/meminfo: memFree=114701256/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=4704 memory=3072 CPUtime=0.2 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 302 0 0 0 20 0 0 0 20 0 1 0 68897684 4816896 768 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 1176 768 544 696 0 337 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 8896 KiB
Current children cumulated memory: 6016 KiB
[startup+0.313407 s]*
/proc/loadavg: 4.40 4.22 4.17 6/254 77793
/proc/meminfo: memFree=114701256/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=4704 memory=3072 CPUtime=0.3 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 302 0 0 0 30 0 0 0 20 0 1 0 68897684 4816896 768 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 1176 768 544 696 0 337 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 8896 KiB
Current children cumulated memory: 6016 KiB
[startup+0.700407 s]
/proc/loadavg: 4.40 4.22 4.17 5/254 77793
/proc/meminfo: memFree=114701256/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=4704 memory=3072 CPUtime=0.67 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 302 0 0 0 67 0 0 0 20 0 1 0 68897684 4816896 768 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 1176 768 544 696 0 337 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 8896 KiB
Current children cumulated memory: 6016 KiB
[startup+1.50038 s]
/proc/loadavg: 4.40 4.22 4.17 5/254 77793
/proc/meminfo: memFree=114701256/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=121700 memory=117116 CPUtime=1.47 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 22714 0 0 0 141 6 0 0 20 0 1 0 68897684 124620800 29279 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 30425 29279 576 696 0 29586 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 125892 KiB
Current children cumulated memory: 120060 KiB
[startup+3.11312 s]
/proc/loadavg: 4.36 4.21 4.16 5/254 77793
/proc/meminfo: memFree=113662596/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=439144 memory=426304 CPUtime=3.08 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 61895 0 0 0 293 15 0 0 20 0 1 0 68897684 449683456 106576 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 109786 106576 608 696 0 108947 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 443336 KiB
Current children cumulated memory: 429248 KiB
[startup+6.3004 s]
/proc/loadavg: 4.36 4.21 4.16 5/254 77793
/proc/meminfo: memFree=113232492/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=647032 memory=618864 CPUtime=6.25 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 69383 0 0 0 605 20 0 0 20 0 1 0 68897684 662560768 154716 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 161758 154716 608 696 0 160919 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 651224 KiB
Current children cumulated memory: 621808 KiB
[startup+12.7004 s]
/proc/loadavg: 4.31 4.20 4.16 5/254 77793
/proc/meminfo: memFree=113209196/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=691716 memory=650220 CPUtime=12.64 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 70660 0 0 0 1243 21 0 0 20 0 1 0 68897684 708317184 162555 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 172929 162555 608 696 0 172090 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 653164 KiB
[startup+25.5004 s]
/proc/loadavg: 4.26 4.20 4.16 5/254 77793
/proc/meminfo: memFree=113262444/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=691716 memory=650220 CPUtime=25.4 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 70747 0 0 0 2519 21 0 0 20 0 1 0 68897684 708317184 162555 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 172929 162555 608 696 0 172090 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 653164 KiB
[startup+51.1132 s]
/proc/loadavg: 4.17 4.18 4.16 5/254 77794
/proc/meminfo: memFree=113032456/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=914224 memory=843088 CPUtime=50.93 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 81468 0 0 0 5049 44 0 0 20 0 1 0 68897684 936165376 210772 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 228556 210772 640 696 0 227717 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 918416 KiB
Current children cumulated memory: 846032 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/254 77795
/proc/meminfo: memFree=112864844/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=769704 memory=707940 CPUtime=101.97 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 89834 0 0 0 10136 61 0 0 20 0 1 0 68897684 788176896 176985 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 192426 176985 640 696 0 191587 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 773896 KiB
Current children cumulated memory: 710884 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/255 77798
/proc/meminfo: memFree=109752452/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=772584 memory=710916 CPUtime=161.8 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 91024 0 0 0 16116 64 0 0 20 0 1 0 68897684 791126016 177729 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 193146 177729 640 696 0 192307 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 776776 KiB
Current children cumulated memory: 713860 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/255 77803
/proc/meminfo: memFree=107456384/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=765176 memory=703588 CPUtime=221.63 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 91582 0 0 0 22097 66 0 0 20 0 1 0 68897684 783540224 175897 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 191294 175897 640 696 0 190455 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/loadavg: 3.25 3.64 3.92 4/247 78085
/proc/meminfo: memFree=122802872/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=863060 memory=799088 CPUtime=3093.28 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 204580 0 0 0 309130 198 0 0 20 0 1 0 68897684 883773440 199772 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 215765 199772 640 696 0 214926 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 867252 KiB
Current children cumulated memory: 802032 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.54 3.87 4/247 78087
/proc/meminfo: memFree=122681408/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=967176 memory=878268 CPUtime=3153.12 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 211850 0 0 0 315106 206 0 0 20 0 1 0 68897684 990388224 219567 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 241794 219567 640 696 0 240955 0
Current children cumulated CPU time: 3153.12 s
Current children cumulated vsize: 971368 KiB
Current children cumulated memory: 881212 KiB
[startup+3222.3 s]
/proc/loadavg: 3.15 3.47 3.82 4/247 78089
/proc/meminfo: memFree=122722852/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=910504 memory=845900 CPUtime=3212.97 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 212539 0 0 0 321090 207 0 0 20 0 1 0 68897684 932356096 211475 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 227626 211475 640 696 0 226787 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 914696 KiB
Current children cumulated memory: 848844 KiB
[startup+3282.3 s]
/proc/loadavg: 3.10 3.40 3.77 4/247 78093
/proc/meminfo: memFree=122437984/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=1135452 memory=1121520 CPUtime=3272.84 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 218661 0 0 0 327067 217 0 0 20 0 1 0 68897684 1162702848 280380 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 283863 280380 640 696 0 283024 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 1139644 KiB
Current children cumulated memory: 1124464 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.34 3.72 4/246 78095
/proc/meminfo: memFree=122416480/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=1174876 memory=1160944 CPUtime=3332.69 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 220327 0 0 0 333049 220 0 0 20 0 1 0 68897684 1203073024 290236 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 293719 290236 640 696 0 292880 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 1179068 KiB
Current children cumulated memory: 1163888 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.29 3.68 4/246 78097
/proc/meminfo: memFree=122317524/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=1174876 memory=1160944 CPUtime=3392.55 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 220666 0 0 0 339035 220 0 0 20 0 1 0 68897684 1203073024 290236 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 293719 290236 640 696 0 292880 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 1179068 KiB
Current children cumulated memory: 1163888 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.25 3.64 4/246 78099
/proc/meminfo: memFree=122333696/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=1174876 memory=1160944 CPUtime=3452.4 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 220971 0 0 0 345020 220 0 0 20 0 1 0 68897684 1203073024 290236 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 293719 290236 640 696 0 292880 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 1179068 KiB
Current children cumulated memory: 1163888 KiB
[startup+3522.3 s]
/proc/loadavg: 3.06 3.22 3.61 4/246 78103
/proc/meminfo: memFree=122430468/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=1066168 memory=1037324 CPUtime=3512.26 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 229691 0 0 0 350979 247 0 0 20 0 1 0 68897684 1091756032 259331 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 266542 259331 640 696 0 265703 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 1070360 KiB
Current children cumulated memory: 1040268 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.20 3.58 4/247 78110
/proc/meminfo: memFree=122380888/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=1105192 memory=1076344 CPUtime=3572.09 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 230432 0 0 0 356960 249 0 0 20 0 1 0 68897684 1131716608 269086 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 276298 269086 640 696 0 275459 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 1109384 KiB
Current children cumulated memory: 1079288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 3.13 3.20 3.56 4/247 78111
/proc/meminfo: memFree=122380704/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=1105192 memory=1076344 CPUtime=3600.01 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 230552 0 0 0 359752 249 0 0 20 0 1 0 68897684 1131716608 269086 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 276298 269086 640 696 0 275459 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1109384 KiB
Current children cumulated memory: 1079288 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.3 s]
# the end of solver process 77789 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.52 s, system=2.51281 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 3.13 3.20 3.56 4/247 78111
/proc/meminfo: memFree=122380704/131382112 swapFree=33010416/33010684
[pid=77789] ppid=77786 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77789/stat : 77789 (naps-1.03a6.sh) S 77786 77789 76243 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 68897682 4292608 736 18446744073709551615 93884989767680 93884990662213 140720789969408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93884990901264 93884990949008 93885017919488 140720789977511 140720789977605 140720789977605 140720789983207 0
/proc/77789/statm: 1048 736 672 219 0 110 0
[pid=77793] ppid=77789 vsize=1105192 memory=1076344 CPUtime=3600.01 cores=0,2
/proc/77793/stat : 77793 (naps-1.03a6) R 77789 77789 76243 0 -1 4194304 230552 0 0 0 359752 249 0 0 20 0 1 0 68897684 1131716608 269086 18446744073709551615 4198400 7047149 140732108376320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 17444864 140732108380532 140732108380646 140732108380646 140732108386249 0
/proc/77793/statm: 276298 269086 640 696 0 275459 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1109384 KiB
Current children cumulated memory: 1079288 KiB
Child status: 10
Real time (s): 3610.3
CPU time (s): 3600.04
CPU user time (s): 3597.52
CPU system time (s): 2.51281
CPU usage (%): 99.7156
Max. virtual memory (cumulated for all children) (KiB): 1431276
Max. memory (cumulated for all children) (KiB): 1387892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.52
system time used= 2.51281
maximum resident set size= 1384948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230995
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= 234
involuntary context switches= 8783
# summary of solver processes directly reported to runsolver:
# pid: 77789
# total CPU time (s): 3600.04
# total CPU user time (s): 3597.52
# total CPU system time (s): 2.51281
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5364 second user time and 37.3552 second system time
The end
Begin job on nodeC005 at 2025-07-03 10:43:03
IDJOB=4517988
IDBENCH=176273
IDSOLVER=3341
FILE ID=nodeC005/4517988-1751532183
RUNJOBID= nodeC005-1751524861-76253
SLURM_JOB_ID= 9598652
Free space on /tmp= 429472 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_200_10000_5_-93992.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517988-1751532183/watcher-4517988-1751532183 -o /tmp/evaluation-result-4517988-1751532183/solver-4517988-1751532183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751524861-76253 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4517988-1751532183.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cd82cadc3025252f43f8d787a9347bc3
RANDOM SEED=624422060
nodeC005 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 : 0xb00001f
cpu MHz : 1197.567
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.714
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.231
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.320
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.951
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.699
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.986
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 114700952 kB
MemAvailable: 114825868 kB
Buffers: 2128 kB
Cached: 913832 kB
SwapCached: 24 kB
Active: 15804496 kB
Inactive: 267292 kB
Active(anon): 15170600 kB
Inactive(anon): 3164 kB
Active(file): 633896 kB
Inactive(file): 264128 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5668 kB
Writeback: 0 kB
AnonPages: 15157836 kB
Mapped: 111760 kB
Shmem: 17936 kB
KReclaimable: 133040 kB
Slab: 220280 kB
SReclaimable: 133040 kB
SUnreclaim: 87240 kB
KernelStack: 4096 kB
PageTables: 32800 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 17224108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 9385984 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429472 MiB
End job on nodeC005 at 2025-07-03 11:43:13