Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS naps-1.03a6 | MSAT (TO) | 3600.1 | 3609.4 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | faa8272e216cdab2cc5fdf20b98dc310 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 0.175754 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1200 |
| Total number of constraints | 100 |
| Number of soft constraints | 100 |
| Number of constraints which are clauses | 60 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 30 |
| Top cost | 4887 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 4886 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 31 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c NaPS 1.03a6. 0.00/0.01 c Input file name: HOME/instance-4524602-1751615254.wbo 0.00/0.01 c Initial goal by soft: 4886 0.00/0.03 c single stage optimization mode 3600.08/3609.40 o 4886 3600.08/3609.40 o 320 3600.08/3609.40 o 182 3600.08/3609.40 o 73 3600.08/3609.40 o 36 3600.08/3609.40 o 22 3600.08/3609.40 o 12 3600.08/3609.40 c 3600.08/3609.40 c *** TERMINATED *** by signal 15 3600.08/3609.40 s SATISFIABLE 3600.08/3609.40 c _____________________________________________________________________________ 3600.08/3609.40 c std/band forms : 47,0 3600.08/3609.40 c 2cl/3cl ITE-codings : 19078,0 3600.08/3609.40 c BDD/srt/adr Max costs : 34803,356,0 3600.08/3609.40 c BDDraw/bin/mul/srt/adr: 0,0,7,40,0 3600.08/3609.40 c BDD nodes : 20590 3600.08/3609.40 c Es1/CC detections : 0,0 3600.08/3609.40 c CC sort : 40 3600.08/3609.40 c SAT/UNSAT calls : 7,0 3600.08/3609.40 c regenrated variables : 0 3600.08/3609.40 c eliminated fixed lits : 194 3600.08/3609.40 c goal lit flips : 1 3600.08/3609.40 c goal stages : 1 3600.08/3609.40 c goal shrink : 0 3600.08/3609.40 c goal coeff separations: 0 3600.08/3609.40 c restarts : 30 3600.08/3609.40 c conflicts : 12829 (4 /sec) 3600.08/3609.40 c decisions : 36104 (10 /sec) 3600.08/3609.40 c propagations : 3208290 (891 /sec) 3600.08/3609.40 c inspects : 0 (0 /sec) 3600.08/3609.40 c CPU time (solving tm) : 3600 s (3599 s, SAT 1.112 s, UNSAT 0 s) 3600.08/3609.40 c Time for Opt-base : 0.001676 s 3600.08/3609.40 c Steps for Opt-base : 6100 3600.08/3609.40 c Time for BDD coding : 0.07259 s 3600.08/3609.40 c Time for srt coding : 0.000759 s 3600.08/3609.40 c _____________________________________________________________________________ 3600.08/3609.40 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 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200
OK 12
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 (62902 MiB free)
memory of node 1: 64465 MiB (63863 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524602-1751615254/watcher-4524602-1751615254 -o /tmp/evaluation-result-4524602-1751615254/solver-4524602-1751615254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751615254-85988 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524602-1751615254.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86053, runsolver pid=86034
[startup+0.100058 s]*
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129743704/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=22524 memory=20872 CPUtime=0.07 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 5179 0 0 0 7 0 0 0 20 0 1 0 77201998 23064576 5218 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 5631 5218 608 696 0 4792 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 26716 KiB
Current children cumulated memory: 23944 KiB
[startup+0.205636 s]*
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129684232/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=28752 memory=26696 CPUtime=0.18 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 7464 0 0 0 17 1 0 0 20 0 1 0 77201998 29442048 6674 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 7188 6674 608 696 0 6349 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 32944 KiB
Current children cumulated memory: 29768 KiB
[startup+0.305638 s]*
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129654244/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=31300 memory=28876 CPUtime=0.28 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 9025 0 0 0 27 1 0 0 20 0 1 0 77201998 32051200 7219 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 7825 7219 640 696 0 6986 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 35492 KiB
Current children cumulated memory: 31948 KiB
[startup+0.700171 s]
/proc/loadavg: 1.14 2.56 3.39 6/274 86062
/proc/meminfo: memFree=129615372/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=44364 memory=38744 CPUtime=0.66 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 11961 0 0 0 65 1 0 0 20 0 1 0 77201998 45428736 9686 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 11091 9686 640 696 0 10252 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 48556 KiB
Current children cumulated memory: 41816 KiB
[startup+1.50015 s]
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129498672/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=51924 memory=47892 CPUtime=1.47 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 14208 0 0 0 145 2 0 0 20 0 1 0 77201998 53170176 11973 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 12981 11973 640 696 0 12142 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 56116 KiB
Current children cumulated memory: 50964 KiB
[startup+3.10571 s]
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129382140/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=51924 memory=47892 CPUtime=3.07 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 14209 0 0 0 305 2 0 0 20 0 1 0 77201998 53170176 11973 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 12981 11973 640 696 0 12142 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 56116 KiB
Current children cumulated memory: 50964 KiB
[startup+6.30019 s]
/proc/loadavg: 1.37 2.59 3.40 5/274 86062
/proc/meminfo: memFree=129334232/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=51924 memory=47892 CPUtime=6.25 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 14223 0 0 0 623 2 0 0 20 0 1 0 77201998 53170176 11973 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 12981 11973 640 696 0 12142 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 56116 KiB
Current children cumulated memory: 50964 KiB
[startup+12.7001 s]
/proc/loadavg: 1.58 2.61 3.40 5/274 86062
/proc/meminfo: memFree=129322028/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=51924 memory=48020 CPUtime=12.63 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 14250 0 0 0 1261 2 0 0 20 0 1 0 77201998 53170176 12005 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 12981 12005 640 696 0 12142 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 56116 KiB
Current children cumulated memory: 51092 KiB
[startup+25.5001 s]
/proc/loadavg: 2.12 2.68 3.41 5/274 86062
/proc/meminfo: memFree=129322068/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=54388 memory=50440 CPUtime=25.39 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 14356 0 0 0 2537 2 0 0 20 0 1 0 77201998 55693312 12610 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 13597 12610 640 696 0 12758 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 58580 KiB
Current children cumulated memory: 53512 KiB
[startup+51.1049 s]
/proc/loadavg: 2.82 2.80 3.43 5/274 86062
/proc/meminfo: memFree=129312128/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=54388 memory=50440 CPUtime=50.92 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 14357 0 0 0 5090 2 0 0 20 0 1 0 77201998 55693312 12610 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 13597 12610 640 696 0 12758 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 58580 KiB
Current children cumulated memory: 53512 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 3.01 3.47 5/274 86064
/proc/meminfo: memFree=129300192/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=66576 memory=62728 CPUtime=101.95 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 16010 0 0 0 10193 2 0 0 20 0 1 0 77201998 68173824 15682 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 16644 15682 640 696 0 15805 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 70768 KiB
Current children cumulated memory: 65800 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 3.20 3.51 5/274 86066
/proc/meminfo: memFree=129234616/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=43720 memory=40136 CPUtime=161.78 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 18121 0 0 0 16174 4 0 0 20 0 1 0 77201998 44769280 10034 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 10930 10034 640 696 0 10091 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 47912 KiB
Current children cumulated memory: 43208 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.37 3.55 5/273 86068
/proc/meminfo: memFree=129240956/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=64752 memory=60936 CPUtime=221.64 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 20296 0 0 0 22160 4 0 0 20 0 1 0 77201998 66306048 15234 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 16188 15234 640 696 0 15349 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/loadavg: 4.06 4.16 4.12 5/269 86221
/proc/meminfo: memFree=128812688/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=161204 memory=157488 CPUtime=3034.42 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 57633 0 0 0 303405 37 0 0 20 0 1 0 77201998 165072896 39372 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 40301 39372 640 696 0 39462 0
Current children cumulated CPU time: 3034.42 s
Current children cumulated vsize: 165396 KiB
Current children cumulated memory: 160560 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/268 86223
/proc/meminfo: memFree=128850888/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=196180 memory=192468 CPUtime=3094.26 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 58482 0 0 0 309388 38 0 0 20 0 1 0 77201998 200888320 48117 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 49045 48117 640 696 0 48206 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 200372 KiB
Current children cumulated memory: 195540 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/268 86225
/proc/meminfo: memFree=128863376/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=196248 memory=192516 CPUtime=3154.11 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 59067 0 0 0 315372 39 0 0 20 0 1 0 77201998 200957952 48129 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 49062 48129 640 696 0 48223 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 200440 KiB
Current children cumulated memory: 195588 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/269 86228
/proc/meminfo: memFree=128836568/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=195836 memory=192104 CPUtime=3213.96 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 59604 0 0 0 321356 40 0 0 20 0 1 0 77201998 200536064 48026 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 48959 48026 640 696 0 48120 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 200028 KiB
Current children cumulated memory: 195176 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/269 86230
/proc/meminfo: memFree=128854984/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=211824 memory=208112 CPUtime=3273.81 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 60851 0 0 0 327338 43 0 0 20 0 1 0 77201998 216907776 52028 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 52956 52028 640 696 0 52117 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 216016 KiB
Current children cumulated memory: 211184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 86232
/proc/meminfo: memFree=128898060/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=171988 memory=168200 CPUtime=3333.66 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 61601 0 0 0 333322 44 0 0 20 0 1 0 77201998 176115712 42050 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 42997 42050 640 696 0 42158 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 176180 KiB
Current children cumulated memory: 171272 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 86235
/proc/meminfo: memFree=128883840/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=191356 memory=187528 CPUtime=3393.51 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 63512 0 0 0 339305 46 0 0 20 0 1 0 77201998 195948544 46882 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 47839 46882 640 696 0 47000 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 195548 KiB
Current children cumulated memory: 190600 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/269 86237
/proc/meminfo: memFree=128937420/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=191356 memory=187528 CPUtime=3453.36 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 63583 0 0 0 345290 46 0 0 20 0 1 0 77201998 195948544 46882 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 47839 46882 640 696 0 47000 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 195548 KiB
Current children cumulated memory: 190600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 86242
/proc/meminfo: memFree=128941452/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=148348 memory=143416 CPUtime=3513.2 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 65612 0 0 0 351271 49 0 0 20 0 1 0 77201998 151908352 35854 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 37087 35854 640 696 0 36248 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 152540 KiB
Current children cumulated memory: 146488 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 86249
/proc/meminfo: memFree=128909644/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=165376 memory=160892 CPUtime=3573.05 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 67381 0 0 0 357255 50 0 0 20 0 1 0 77201998 169345024 40223 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 41344 40223 640 696 0 40505 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 169568 KiB
Current children cumulated memory: 163964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 86250
/proc/meminfo: memFree=128978836/131250000 swapFree=33008356/33010684
[pid=86053] ppid=86034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/86053/stat : 86053 (naps-1.03a6.sh) S 86034 86053 85976 0 -1 4194304 230 201 0 0 0 0 0 0 20 0 1 0 77201996 4292608 768 18446744073709551615 93826473082880 93826473977413 140721936235088 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93826474216464 93826474264208 93826477711360 140721936243109 140721936243203 140721936243203 140721936248807 0
/proc/86053/statm: 1048 768 704 219 0 110 0
[pid=86061] ppid=86053 vsize=165376 memory=161660 CPUtime=3600.08 cores=1,3
/proc/86061/stat : 86061 (naps-1.03a6) R 86053 86053 85976 0 -1 4194304 67544 0 0 0 359958 50 0 0 20 0 1 0 77201998 169345024 40415 18446744073709551615 4198400 7047149 140736728746144 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 31408128 140736728750450 140736728750564 140736728750564 140736728756169 0
/proc/86061/statm: 41344 40415 640 696 0 40505 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 169568 KiB
Current children cumulated memory: 164732 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.4 s]
# the end of solver process 86053 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.59 s, system=0.506001 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): 3609.4
CPU time (s): 3600.1
CPU user time (s): 3599.59
CPU system time (s): 0.506001
CPU usage (%): 99.7422
Max. virtual memory (cumulated for all children) (KiB): 255512
Max. memory (cumulated for all children) (KiB): 241336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.59
system time used= 0.506001
maximum resident set size= 249356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67987
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= 199
involuntary context switches= 4873
# summary of solver processes directly reported to runsolver:
# pid: 86053
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.59
# total CPU system time (s): 0.506001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96452 second user time and 14.5741 second system time
The end
Begin job on nodeC014 at 2025-07-04 09:47:34 IDJOB=4524602 IDBENCH=143139 IDSOLVER=3377 FILE ID=nodeC014/4524602-1751615254 RUNJOBID= nodeC014-1751615254-85988 SLURM_JOB_ID= 9598919 Free space on /tmp= 430496 MiB SOLVER NAME= NaPS naps-1.03a6 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524602-1751615254/watcher-4524602-1751615254 -o /tmp/evaluation-result-4524602-1751615254/solver-4524602-1751615254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751615254-85988 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524602-1751615254.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= faa8272e216cdab2cc5fdf20b98dc310 RANDOM SEED=1021684204 nodeC014 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 : 3600.152 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 : 7000.23 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.390 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 : 7000.23 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 : 3603.953 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 : 7000.23 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 : 3571.114 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 : 7000.23 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.303 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 : 7000.23 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 : 3599.435 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 : 7000.23 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 : 3598.702 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 : 7000.23 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 : 3358.094 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 : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129781840 kB MemAvailable: 129703988 kB Buffers: 696 kB Cached: 717396 kB SwapCached: 1628 kB Active: 409160 kB Inactive: 385804 kB Active(anon): 44104 kB Inactive(anon): 49164 kB Active(file): 365056 kB Inactive(file): 336640 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33008356 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 21716 kB Writeback: 0 kB AnonPages: 78624 kB Mapped: 101888 kB Shmem: 16396 kB KReclaimable: 119380 kB Slab: 209424 kB SReclaimable: 119380 kB SUnreclaim: 90044 kB KernelStack: 4040 kB PageTables: 2396 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 348648 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430472 MiB End job on nodeC014 at 2025-07-04 10:47:44