0.00/0.01 c NaPS 1.03a6.
0.00/0.01 c Input file name: HOME/instance-4484944-1751298199.opb
0.28/0.37 c single stage optimization mode
3600.00/3610.60 o -34
3600.00/3610.60 o -41
3600.00/3610.60 o -42
3600.00/3610.60 o -43
3600.00/3610.60 o -44
3600.00/3610.60 o -49
3600.00/3610.60 c
3600.00/3610.60 c *** TERMINATED *** by signal 15
3600.00/3610.60 s SATISFIABLE
3600.00/3610.60 c _____________________________________________________________________________
3600.00/3610.60 c std/band forms : 11,0
3600.00/3610.60 c 2cl/3cl ITE-codings : 0,0
3600.00/3610.60 c BDD/srt/adr Max costs : 0,63046,0
3600.00/3610.60 c BDDraw/bin/mul/srt/adr: 0,0,0,11,0
3600.00/3610.60 c BDD nodes : 0
3600.00/3610.60 c Es1/CC detections : 0,0
3600.00/3610.60 c CC sort : 11
3600.00/3610.60 c SAT/UNSAT calls : 6,5
3600.00/3610.60 c regenrated variables : 738
3600.00/3610.60 c eliminated fixed lits : 0
3600.00/3610.60 c goal lit flips : 34
3600.00/3610.60 c goal stages : 1
3600.00/3610.60 c goal shrink : 0
3600.00/3610.60 c goal coeff separations: 0
3600.00/3610.60 c restarts : 210920
3600.00/3610.60 c conflicts : 12414811 (3449 /sec)
3600.00/3610.60 c decisions : 15459992 (4295 /sec)
3600.00/3610.60 c propagations : 1783412792 (495483 /sec)
3600.00/3610.60 c inspects : 0 (0 /sec)
3600.00/3610.60 c CPU time (solving tm) : 3599 s (3599 s, SAT 679.8 s, UNSAT 8.864 s)
3600.00/3610.60 c Time for Opt-base : 0.003167 s
3600.00/3610.60 c Steps for Opt-base : 0
3600.00/3610.60 c Time for BDD coding : 0 s
3600.00/3610.60 c Time for srt coding : 0.03882 s
3600.00/3610.60 c _____________________________________________________________________________
3600.00/3610.60 v -x1150 x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61974 MiB free)
memory of node 1: 64465 MiB (63791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484944-1751298199/watcher-4484944-1751298199 -o /tmp/evaluation-result-4484944-1751298199/solver-4484944-1751298199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751290974-40365 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4484944-1751298199.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41264, runsolver pid=41261
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.15 4.15 4.12 5/268 41268
/proc/meminfo: memFree=128784384/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=6688 memory=4860 CPUtime=0.08 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 803 0 0 0 8 0 0 0 20 0 1 0 45498441 6848512 1215 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 1672 1215 544 696 0 833 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10880 KiB
Current children cumulated memory: 7932 KiB
[startup+0.205836 s]*
/proc/loadavg: 4.15 4.15 4.12 5/268 41268
/proc/meminfo: memFree=128784384/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=9188 memory=7228 CPUtime=0.18 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 1475 0 0 0 18 0 0 0 20 0 1 0 45498441 9408512 1807 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 2297 1807 544 696 0 1458 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13380 KiB
Current children cumulated memory: 10300 KiB
[startup+0.305725 s]*
/proc/loadavg: 4.15 4.15 4.12 5/268 41268
/proc/meminfo: memFree=128780604/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=11680 memory=9508 CPUtime=0.28 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 2166 0 0 0 28 0 0 0 20 0 1 0 45498441 11960320 2377 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 2920 2377 544 696 0 2081 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 15872 KiB
Current children cumulated memory: 12580 KiB
[startup+0.700214 s]
/proc/loadavg: 4.15 4.15 4.12 5/268 41269
/proc/meminfo: memFree=128759044/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=40296 memory=36800 CPUtime=0.67 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 10299 0 0 0 66 1 0 0 20 0 1 0 45498441 41263104 9200 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 10074 9200 608 696 0 9235 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 44488 KiB
Current children cumulated memory: 39872 KiB
[startup+1.50021 s]
/proc/loadavg: 4.15 4.15 4.12 5/268 41269
/proc/meminfo: memFree=128755012/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=45484 memory=42052 CPUtime=1.47 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 10886 0 0 0 145 2 0 0 20 0 1 0 45498441 46575616 10513 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 11371 10513 608 696 0 10532 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 49676 KiB
Current children cumulated memory: 45124 KiB
[startup+3.10587 s]
/proc/loadavg: 4.13 4.14 4.12 5/268 41269
/proc/meminfo: memFree=128737532/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=48380 memory=45076 CPUtime=3.07 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 12926 0 0 0 305 2 0 0 20 0 1 0 45498441 49541120 11269 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 12095 11269 608 696 0 11256 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 52572 KiB
Current children cumulated memory: 48148 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 4.14 4.12 5/268 41269
/proc/meminfo: memFree=128711688/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=60684 memory=58592 CPUtime=6.25 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 15786 0 0 0 622 3 0 0 20 0 1 0 45498441 62140416 14648 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 15171 14648 608 696 0 14332 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 64876 KiB
Current children cumulated memory: 61664 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.11 5/268 41269
/proc/meminfo: memFree=128714188/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=60684 memory=58592 CPUtime=12.63 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 15794 0 0 0 1260 3 0 0 20 0 1 0 45498441 62140416 14648 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 15171 14648 608 696 0 14332 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 64876 KiB
Current children cumulated memory: 61664 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.11 5/268 41269
/proc/meminfo: memFree=128714188/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=60684 memory=58592 CPUtime=25.4 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 15794 0 0 0 2537 3 0 0 20 0 1 0 45498441 62140416 14648 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 15171 14648 608 696 0 14332 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 64876 KiB
Current children cumulated memory: 61664 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.14 4.11 5/268 41269
/proc/meminfo: memFree=128701900/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=73296 memory=71228 CPUtime=50.92 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 18562 0 0 0 5088 4 0 0 20 0 1 0 45498441 75055104 17807 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 18324 17807 608 696 0 17485 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 77488 KiB
Current children cumulated memory: 74300 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.10 5/268 41271
/proc/meminfo: memFree=128689316/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=76664 memory=74556 CPUtime=101.96 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 26721 0 0 0 10189 7 0 0 20 0 1 0 45498441 78503936 18639 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 19166 18639 608 696 0 18327 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 80856 KiB
Current children cumulated memory: 77628 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/268 41273
/proc/meminfo: memFree=128765484/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=83996 memory=81852 CPUtime=161.78 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 33563 0 0 0 16169 9 0 0 20 0 1 0 45498441 86011904 20463 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 20999 20463 608 696 0 20160 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 88188 KiB
Current children cumulated memory: 84924 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/267 41275
/proc/meminfo: memFree=128727068/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=87756 memory=85692 CPUtime=221.59 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 37153 0 0 0 22148 11 0 0 20 0 1 0 45498441 89862144 21423 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 21939 21423 608 696 0 21100 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/loadavg: 4.08 4.08 4.09 5/268 41751
/proc/meminfo: memFree=124372120/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=165292 memory=163132 CPUtime=3033.32 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 93064 0 0 0 303283 49 0 0 20 0 1 0 45498441 169259008 40783 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 41323 40783 608 696 0 40484 0
Current children cumulated CPU time: 3033.32 s
Current children cumulated vsize: 169484 KiB
Current children cumulated memory: 166204 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 41753
/proc/meminfo: memFree=124409860/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=127828 memory=125776 CPUtime=3093.15 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 94438 0 0 0 309264 51 0 0 20 0 1 0 45498441 130895872 31444 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 31957 31444 608 696 0 31118 0
Current children cumulated CPU time: 3093.15 s
Current children cumulated vsize: 132020 KiB
Current children cumulated memory: 128848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 41755
/proc/meminfo: memFree=124400928/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=130908 memory=126624 CPUtime=3152.97 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 97235 0 0 0 315243 54 0 0 20 0 1 0 45498441 134049792 31656 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 32727 31656 608 696 0 31888 0
Current children cumulated CPU time: 3152.97 s
Current children cumulated vsize: 135100 KiB
Current children cumulated memory: 129696 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 41757
/proc/meminfo: memFree=124251916/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=176128 memory=174012 CPUtime=3212.81 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 100411 0 0 0 321224 57 0 0 20 0 1 0 45498441 180355072 43503 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 44032 43503 608 696 0 43193 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 180320 KiB
Current children cumulated memory: 177084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 41759
/proc/meminfo: memFree=124215516/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=176128 memory=174012 CPUtime=3272.63 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 100411 0 0 0 327206 57 0 0 20 0 1 0 45498441 180355072 43503 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 44032 43503 608 696 0 43193 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 180320 KiB
Current children cumulated memory: 177084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 41761
/proc/meminfo: memFree=124220896/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=119244 memory=117192 CPUtime=3332.46 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 101296 0 0 0 333188 58 0 0 20 0 1 0 45498441 122105856 29298 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 29811 29298 608 696 0 28972 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 123436 KiB
Current children cumulated memory: 120264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 41763
/proc/meminfo: memFree=124321516/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=181260 memory=179132 CPUtime=3392.28 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 102492 0 0 0 339169 59 0 0 20 0 1 0 45498441 185610240 44783 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 45315 44783 608 696 0 44476 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 185452 KiB
Current children cumulated memory: 182204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/266 41765
/proc/meminfo: memFree=124315120/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=187056 memory=184884 CPUtime=3452.11 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 104912 0 0 0 345149 62 0 0 20 0 1 0 45498441 191545344 46221 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 46764 46221 608 696 0 45925 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 191248 KiB
Current children cumulated memory: 187956 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 41767
/proc/meminfo: memFree=124306732/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=151128 memory=149128 CPUtime=3511.94 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 105682 0 0 0 351131 63 0 0 20 0 1 0 45498441 154755072 37282 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 37782 37282 608 696 0 36943 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 155320 KiB
Current children cumulated memory: 152200 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 41776
/proc/meminfo: memFree=124300544/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=189932 memory=187812 CPUtime=3571.77 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 106775 0 0 0 357112 65 0 0 20 0 1 0 45498441 194490368 46953 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 47483 46953 608 696 0 46644 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 194124 KiB
Current children cumulated memory: 190884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 41777
/proc/meminfo: memFree=124296316/131249988 swapFree=33010684/33010684
[pid=41264] ppid=41261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/41264/stat : 41264 (naps-1.03a6.sh) S 41261 41264 40352 0 -1 4194304 229 200 0 0 0 0 0 0 20 0 1 0 45498440 4292608 768 18446744073709551615 94546117812224 94546118706757 140731203932112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94546118945808 94546118993552 94546130997248 140731203934631 140731203934725 140731203934725 140731203940327 0
/proc/41264/statm: 1048 768 704 219 0 110 0
[pid=41268] ppid=41264 vsize=151128 memory=149128 CPUtime=3600 cores=5,7
/proc/41268/stat : 41268 (naps-1.03a6) R 41264 41264 40352 0 -1 4194304 106829 0 0 0 359934 66 0 0 20 0 1 0 45498441 154755072 37282 18446744073709551615 4198400 7047149 140736777816560 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 38539264 140736777820532 140736777820646 140736777820646 140736777826249 0
/proc/41268/statm: 37782 37282 608 696 0 36943 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 155320 KiB
Current children cumulated memory: 152200 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.6 s]
# the end of solver process 41264 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.34 s, system=0.663284 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.6
CPU time (s): 3600.01
CPU user time (s): 3599.34
CPU system time (s): 0.663284
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 218368
Max. memory (cumulated for all children) (KiB): 215076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.34
system time used= 0.663284
maximum resident set size= 212004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107271
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= 160
involuntary context switches= 20352
# summary of solver processes directly reported to runsolver:
# pid: 41264
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.34
# total CPU system time (s): 0.663284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69978 second user time and 16.7303 second system time
The end
Begin job on nodeC031 at 2025-06-30 17:43:19
IDJOB=4484944
IDBENCH=146676
IDSOLVER=3341
FILE ID=nodeC031/4484944-1751298199
RUNJOBID= nodeC031-1751290974-40365
SLURM_JOB_ID= 9594249
Free space on /tmp= 433040 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484944-1751298199/watcher-4484944-1751298199 -o /tmp/evaluation-result-4484944-1751298199/solver-4484944-1751298199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751290974-40365 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4484944-1751298199.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f240478745515edc7850a10c9aa5c21f
RANDOM SEED=1144402910
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.875
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.810
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3584.945
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.836
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.917
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.267
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.524
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3555.765
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128783744 kB
MemAvailable: 128797604 kB
Buffers: 3280 kB
Cached: 821188 kB
SwapCached: 0 kB
Active: 1288456 kB
Inactive: 555300 kB
Active(anon): 1037352 kB
Inactive(anon): 0 kB
Active(file): 251104 kB
Inactive(file): 555300 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15040 kB
Writeback: 64 kB
AnonPages: 1022448 kB
Mapped: 111008 kB
Shmem: 18064 kB
KReclaimable: 93388 kB
Slab: 180016 kB
SReclaimable: 93388 kB
SUnreclaim: 86628 kB
KernelStack: 4336 kB
PageTables: 5092 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1385768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 903168 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC031 at 2025-06-30 18:43:30