0.00/0.02 c NaPS 1.03a6.
0.00/0.02 c Input file name: HOME/instance-4518172-1751538485.opb
0.97/1.04 c single stage optimization mode
3600.09/3610.20 o 0
3600.09/3610.20 o -227
3600.09/3610.20 c
3600.09/3610.20 c *** TERMINATED *** by signal 15
3600.09/3610.20 s SATISFIABLE
3600.09/3610.20 c _____________________________________________________________________________
3600.09/3610.20 c std/band forms : 4,0
3600.09/3610.20 c 2cl/3cl ITE-codings : 0,0
3600.09/3610.20 c BDD/srt/adr Max costs : 0,635869,0
3600.09/3610.20 c BDDraw/bin/mul/srt/adr: 0,0,0,4,0
3600.09/3610.20 c BDD nodes : 0
3600.09/3610.20 c Es1/CC detections : 0,0
3600.09/3610.20 c CC sort : 0
3600.09/3610.20 c SAT/UNSAT calls : 2,1
3600.09/3610.20 c regenrated variables : 14
3600.09/3610.20 c eliminated fixed lits : 0
3600.09/3610.20 c goal lit flips : 0
3600.09/3610.20 c goal stages : 1
3600.09/3610.20 c goal shrink : 0
3600.09/3610.20 c goal coeff separations: 190
3600.09/3610.20 c restarts : 3345
3600.09/3610.20 c conflicts : 111320 (31 /sec)
3600.09/3610.20 c decisions : 747664 (208 /sec)
3600.09/3610.20 c propagations : 1902978110 (528972 /sec)
3600.09/3610.20 c inspects : 0 (0 /sec)
3600.09/3610.20 c CPU time (solving tm) : 3598 s (3594 s, SAT 16.46 s, UNSAT 517.7 s)
3600.09/3610.20 c Time for Opt-base : 0.9338 s
3600.09/3610.20 c Steps for Opt-base : 5048000
3600.09/3610.20 c Time for BDD coding : 0 s
3600.09/3610.20 c Time for srt coding : 0.5617 s
3600.09/3610.20 c _____________________________________________________________________________
3600.09/3610.20 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: 63665 MiB (62693 MiB free)
memory of node 1: 64507 MiB (63837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518172-1751538485/watcher-4518172-1751538485 -o /tmp/evaluation-result-4518172-1751538485/solver-4518172-1751538485 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751538485-76611 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4518172-1751538485.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
Starting watchdog thread
solver pid=76660, runsolver pid=76651
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 1.06 1.32 2.35 6/266 76681
/proc/meminfo: memFree=129556244/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=4704 memory=3072 CPUtime=0.08 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 304 0 0 0 8 0 0 0 20 0 1 0 69528404 4816896 768 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 1176 768 544 696 0 337 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 8896 KiB
Current children cumulated memory: 5888 KiB
[startup+0.204568 s]*
/proc/loadavg: 1.06 1.32 2.35 6/266 76681
/proc/meminfo: memFree=129556500/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=4704 memory=3072 CPUtime=0.18 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 304 0 0 0 18 0 0 0 20 0 1 0 69528404 4816896 768 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 1176 768 544 696 0 337 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 8896 KiB
Current children cumulated memory: 5888 KiB
[startup+0.304386 s]*
/proc/loadavg: 1.06 1.32 2.35 5/266 76681
/proc/meminfo: memFree=129556248/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=4704 memory=3072 CPUtime=0.28 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 304 0 0 0 28 0 0 0 20 0 1 0 69528404 4816896 768 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 1176 768 544 696 0 337 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 8896 KiB
Current children cumulated memory: 5888 KiB
[startup+0.700192 s]
/proc/loadavg: 1.06 1.32 2.35 5/266 76681
/proc/meminfo: memFree=129494752/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=110940 memory=105696 CPUtime=0.66 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 20360 0 0 0 62 4 0 0 20 0 1 0 69528404 113602560 26424 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 27735 26424 576 696 0 26896 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 115132 KiB
Current children cumulated memory: 108512 KiB
[startup+1.50012 s]
/proc/loadavg: 1.06 1.32 2.35 6/266 76681
/proc/meminfo: memFree=128783244/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=324892 memory=313824 CPUtime=1.46 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 45923 0 0 0 135 11 0 0 20 0 1 0 69528404 332689408 78456 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 81223 78456 608 696 0 80384 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 329084 KiB
Current children cumulated memory: 316640 KiB
[startup+3.10549 s]
/proc/loadavg: 1.06 1.32 2.35 6/266 76681
/proc/meminfo: memFree=127325376/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=448512 memory=442452 CPUtime=3.06 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 69013 0 0 0 289 17 0 0 20 0 1 0 69528404 459276288 110613 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 112128 110613 608 696 0 111289 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 452704 KiB
Current children cumulated memory: 445268 KiB
[startup+6.30019 s]
/proc/loadavg: 1.37 1.38 2.36 6/267 76682
/proc/meminfo: memFree=125536516/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=494132 memory=475284 CPUtime=6.25 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 70654 0 0 0 607 18 0 0 20 0 1 0 69528404 505991168 118821 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 123533 118821 608 696 0 122694 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 498324 KiB
Current children cumulated memory: 478100 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.42 2.37 6/267 76682
/proc/meminfo: memFree=123754060/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=556328 memory=537376 CPUtime=12.63 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 71483 0 0 0 1244 19 0 0 20 0 1 0 69528404 569679872 134344 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 139082 134344 608 696 0 138243 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 560520 KiB
Current children cumulated memory: 540192 KiB
[startup+25.5002 s]
/proc/loadavg: 1.95 1.51 2.39 6/267 76682
/proc/meminfo: memFree=120642792/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=625960 memory=613936 CPUtime=25.4 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 79202 0 0 0 2510 30 0 0 20 0 1 0 69528404 640983040 153484 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 156490 153484 640 696 0 155651 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 630152 KiB
Current children cumulated memory: 616752 KiB
[startup+51.1054 s]
/proc/loadavg: 2.76 1.75 2.44 6/267 76682
/proc/meminfo: memFree=120647488/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=663736 memory=652360 CPUtime=50.93 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 85892 0 0 0 5053 40 0 0 20 0 1 0 69528404 679665664 163090 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 165934 163090 640 696 0 165095 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 667928 KiB
Current children cumulated memory: 655176 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 2.11 2.53 6/268 76685
/proc/meminfo: memFree=120323268/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=607964 memory=600372 CPUtime=101.97 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 88528 0 0 0 10153 44 0 0 20 0 1 0 69528404 622555136 150093 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 151991 150093 640 696 0 151152 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 612156 KiB
Current children cumulated memory: 603188 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.49 2.64 6/268 76687
/proc/meminfo: memFree=120403348/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=586064 memory=568420 CPUtime=161.81 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 93285 0 0 0 16128 53 0 0 20 0 1 0 69528404 600129536 142105 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 146516 142105 640 696 0 145677 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 590256 KiB
Current children cumulated memory: 571236 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.80 2.74 6/268 76689
/proc/meminfo: memFree=120374792/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=590996 memory=574284 CPUtime=221.63 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 99449 0 0 0 22104 59 0 0 20 0 1 0 69528404 605179904 143571 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 147749 143571 640 696 0 146910 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 595188 KiB
################
# More data... #
################
/proc/76677/statm: 280481 261486 640 696 0 279642 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 1126116 KiB
Current children cumulated memory: 1048760 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/266 76835
/proc/meminfo: memFree=119406012/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=1121924 memory=1045944 CPUtime=3093.64 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 255566 0 0 0 309145 219 0 0 20 0 1 0 69528404 1148850176 261486 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 280481 261486 640 696 0 279642 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 1126116 KiB
Current children cumulated memory: 1048760 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/266 76837
/proc/meminfo: memFree=119532632/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=1148672 memory=1072876 CPUtime=3153.48 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 257083 0 0 0 315124 224 0 0 20 0 1 0 69528404 1176240128 268219 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 287168 268219 640 696 0 286329 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 1152864 KiB
Current children cumulated memory: 1075692 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/266 76839
/proc/meminfo: memFree=119396728/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=1148672 memory=1072876 CPUtime=3213.3 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 257142 0 0 0 321106 224 0 0 20 0 1 0 69528404 1176240128 268219 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 287168 268219 640 696 0 286329 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 1152864 KiB
Current children cumulated memory: 1075692 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.02 6/268 76845
/proc/meminfo: memFree=119152192/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=1437744 memory=1320488 CPUtime=3273.13 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 298361 0 0 0 327070 243 0 0 20 0 1 0 69528404 1472249856 330122 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 359436 330122 640 696 0 358597 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 1441936 KiB
Current children cumulated memory: 1323304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.01 6/268 76847
/proc/meminfo: memFree=119097388/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=1488336 memory=1379056 CPUtime=3332.96 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 301680 0 0 0 333043 253 0 0 20 0 1 0 69528404 1524056064 344764 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 372084 344764 640 696 0 371245 0
Current children cumulated CPU time: 3332.96 s
Current children cumulated vsize: 1492528 KiB
Current children cumulated memory: 1381872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.02 6/268 76853
/proc/meminfo: memFree=119322968/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=1252016 memory=1191212 CPUtime=3392.79 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 302053 0 0 0 339024 255 0 0 20 0 1 0 69528404 1282064384 297803 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 313004 297803 640 696 0 312165 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 1256208 KiB
Current children cumulated memory: 1194028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.02 6/268 76855
/proc/meminfo: memFree=119108980/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=1252016 memory=1191212 CPUtime=3452.61 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 302123 0 0 0 345005 256 0 0 20 0 1 0 69528404 1282064384 297803 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 313004 297803 640 696 0 312165 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 1256208 KiB
Current children cumulated memory: 1194028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/268 76857
/proc/meminfo: memFree=118769956/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=1256692 memory=1195864 CPUtime=3512.45 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 302530 0 0 0 350986 259 0 0 20 0 1 0 69528404 1286852608 298966 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 314173 298966 640 696 0 313334 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 1260884 KiB
Current children cumulated memory: 1198680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.08 4.02 6/266 76859
/proc/meminfo: memFree=118770880/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=1256692 memory=1195864 CPUtime=3572.27 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 302650 0 0 0 356968 259 0 0 20 0 1 0 69528404 1286852608 298966 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 314173 298966 640 696 0 313334 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 1260884 KiB
Current children cumulated memory: 1198680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.06 4.08 4.02 6/267 76861
/proc/meminfo: memFree=118770948/131250000 swapFree=33010416/33010684
[pid=76660] ppid=76651 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76660/stat : 76660 (naps-1.03a6.sh) S 76651 76660 76600 0 -1 4194304 230 204 0 0 0 0 0 0 20 0 1 0 69528402 4292608 704 18446744073709551615 94423524962304 94423525856837 140728393307680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94423526095888 94423526143632 94423540776960 140728393312679 140728393312773 140728393312773 140728393318375 0
/proc/76660/statm: 1048 704 640 219 0 110 0
[pid=76677] ppid=76660 vsize=1256692 memory=1195864 CPUtime=3600.09 cores=4,6
/proc/76677/stat : 76677 (naps-1.03a6) R 76660 76660 76600 0 -1 4194304 302650 0 0 0 359750 259 0 0 20 0 1 0 69528404 1286852608 298966 18446744073709551615 4198400 7047149 140725583404400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26505216 140725583411572 140725583411686 140725583411686 140725583417289 0
/proc/76677/statm: 314173 298966 640 696 0 313334 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1260884 KiB
Current children cumulated memory: 1198680 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.2 s]
# the end of solver process 76660 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000905 s, system=0.003247 s
Sleeping 2 seconds
[startup+3610.23 s]
# the end of solver process 76677 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.5 s, system=2.63227 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.23
CPU time (s): 3600.14
CPU user time (s): 3597.5
CPU system time (s): 2.63227
CPU usage (%): 99.7204
Max. virtual memory (cumulated for all children) (KiB): 1611916
Max. memory (cumulated for all children) (KiB): 1528576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.5
system time used= 2.63226
maximum resident set size= 1540952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303085
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= 163
involuntary context switches= 2522
# summary of solver processes directly reported to runsolver:
# pid: 76660,76677
# total CPU time (s): 3600.14
# total CPU user time (s): 3597.5
# total CPU system time (s): 2.63227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.57755 second user time and 14.4223 second system time
The end
Begin job on nodeC027 at 2025-07-03 12:28:05
IDJOB=4518172
IDBENCH=176641
IDSOLVER=3341
FILE ID=nodeC027/4518172-1751538485
RUNJOBID= nodeC027-1751538485-76611
SLURM_JOB_ID= 9598693
Free space on /tmp= 431184 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518172-1751538485/watcher-4518172-1751538485 -o /tmp/evaluation-result-4518172-1751538485/solver-4518172-1751538485 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751538485-76611 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4518172-1751538485.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a84e76f0e449bb256266dd60911e5184
RANDOM SEED=1131300758
nodeC027 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.082
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.040
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.29
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 : 3600.016
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.642
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.29
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 : 3597.288
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3619.284
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.29
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.641
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.614
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129574372 kB
MemAvailable: 129770592 kB
Buffers: 2488 kB
Cached: 995876 kB
SwapCached: 12 kB
Active: 614560 kB
Inactive: 455372 kB
Active(anon): 86832 kB
Inactive(anon): 2792 kB
Active(file): 527728 kB
Inactive(file): 452580 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22372 kB
Writeback: 4 kB
AnonPages: 74764 kB
Mapped: 103696 kB
Shmem: 18056 kB
KReclaimable: 109904 kB
Slab: 198928 kB
SReclaimable: 109904 kB
SUnreclaim: 89024 kB
KernelStack: 4048 kB
PageTables: 2888 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 336556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150328 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431164 MiB
End job on nodeC027 at 2025-07-03 13:28:16