Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS naps-1.03a6 | OPTIMUM | 3569.13 | 3579.64 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ academics/normalized-slangford-3-11_wcsp.wbo |
| MD5SUM | d1e83745c12c7ec680c949b5ab02beb5 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 54 |
| Best CPU time to get the best result obtained on this benchmark | 86.971 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1089 |
| Total number of constraints | 53185 |
| Number of soft constraints | 53152 |
| Number of constraints which are clauses | 53152 |
| Number of constraints which are cardinality constraints (but not clauses) | 33 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 33 |
| Top cost | 976 |
| Min constraint cost | 1 |
| Max constraint cost | 976 |
| Sum of constraints costs | 37740146 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 34 |
| Number of bits of the biggest sum of numbers | 6 |
| 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-4525844-1751628062.wbo 0.00/0.01 c Initial goal by soft: 975 25.60/25.78 c single stage optimization mode 3563.30/3573.89 o 932 3563.30/3573.89 o 554 3563.30/3573.89 o 253 3563.30/3573.89 o 136 3563.30/3573.89 o 55 3563.30/3573.89 o 54 3563.30/3573.89 s OPTIMUM FOUND 3563.30/3573.89 c _____________________________________________________________________________ 3563.30/3573.89 c std/band forms : 42,0 3563.30/3573.89 c 2cl/3cl ITE-codings : 0,0 3563.30/3573.89 c BDD/srt/adr Max costs : 0,19350241,0 3563.30/3573.89 c BDDraw/bin/mul/srt/adr: 0,0,0,42,0 3563.30/3573.89 c BDD nodes : 0 3563.30/3573.89 c Es1/CC detections : 0,0 3563.30/3573.89 c CC sort : 33 3563.30/3573.89 c SAT/UNSAT calls : 6,3 3563.30/3573.89 c regenrated variables : 350 3563.30/3573.89 c eliminated fixed lits : 325529 3563.30/3573.89 c goal lit flips : 7 3563.30/3573.89 c goal stages : 1 3563.30/3573.89 c goal shrink : 0 3563.30/3573.89 c goal coeff separations: 0 3563.30/3573.89 c restarts : 9534 3563.30/3573.89 c conflicts : 514100 (147 /sec) 3563.30/3573.89 c decisions : 12675512 (3613 /sec) 3563.30/3573.89 c propagations : 5666532444 (1615200 /sec) 3563.30/3573.89 c inspects : 0 (0 /sec) 3563.30/3573.89 c CPU time (solving tm) : 3508 s (3346 s, SAT 1769 s, UNSAT 1577 s) 3563.30/3573.89 c Time for Opt-base : 7.364 s 3563.30/3573.89 c Steps for Opt-base : 25631056 3563.30/3573.89 c Time for BDD coding : 0 s 3563.30/3573.89 c Time for srt coding : 31.79 s 3563.30/3573.89 c _____________________________________________________________________________ 3563.30/3573.89 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 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v 3563.30/3573.89 v
OK 54
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 (25418 MiB free)
memory of node 1: 64465 MiB (33950 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525844-1751628062/watcher-4525844-1751628062 -o /tmp/evaluation-result-4525844-1751628062/solver-4525844-1751628062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751627860-88102 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525844-1751628062.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
Starting watchdog thread
solver pid=88472, runsolver pid=88469
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.10 3.22 3.46 5/270 88476
/proc/meminfo: memFree=60790736/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=13784 memory=11636 CPUtime=0.08 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2815 0 0 0 8 0 0 0 20 0 1 0 78484732 14114816 2909 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 3446 2909 544 696 0 2607 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 17976 KiB
Current children cumulated memory: 14708 KiB
[startup+0.205781 s]*
/proc/loadavg: 4.10 3.22 3.46 5/270 88476
/proc/meminfo: memFree=60785948/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=24436 memory=21688 CPUtime=0.19 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 5694 0 0 0 19 0 0 0 20 0 1 0 78484732 25022464 5422 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 6109 5422 544 696 0 5270 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28628 KiB
Current children cumulated memory: 24760 KiB
[startup+0.305654 s]*
/proc/loadavg: 4.10 3.22 3.46 5/270 88476
/proc/meminfo: memFree=60781916/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=32624 memory=30392 CPUtime=0.28 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 7870 0 0 0 28 0 0 0 20 0 1 0 78484732 33406976 7598 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 8156 7598 544 696 0 7317 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 36816 KiB
Current children cumulated memory: 33464 KiB
[startup+0.700214 s]
/proc/loadavg: 4.10 3.22 3.46 5/270 88476
/proc/meminfo: memFree=60741916/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=67344 memory=64824 CPUtime=0.67 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 16500 0 0 0 64 3 0 0 20 0 1 0 78484732 68960256 16206 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 16836 16206 544 696 0 15997 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 71536 KiB
Current children cumulated memory: 67896 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 3.22 3.46 5/270 88476
/proc/meminfo: memFree=60741916/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=67344 memory=64824 CPUtime=1.47 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 16500 0 0 0 144 3 0 0 20 0 1 0 78484732 68960256 16206 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 16836 16206 544 696 0 15997 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71536 KiB
Current children cumulated memory: 67896 KiB
[startup+3.10555 s]
/proc/loadavg: 4.10 3.22 3.46 5/270 88476
/proc/meminfo: memFree=60742276/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=107184 memory=104592 CPUtime=3.07 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 18773 0 0 0 303 4 0 0 20 0 1 0 78484732 109756416 26148 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 26796 26148 544 696 0 25957 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 111376 KiB
Current children cumulated memory: 107664 KiB
[startup+6.3002 s]
/proc/loadavg: 4.17 3.25 3.47 5/270 88476
/proc/meminfo: memFree=60349500/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=957556 memory=942832 CPUtime=6.26 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 85447 0 0 0 597 29 0 0 20 0 1 0 78484732 980537344 235708 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 239389 235708 544 696 0 238550 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 961748 KiB
Current children cumulated memory: 945904 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 3.28 3.47 5/270 88477
/proc/meminfo: memFree=58571356/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=2698984 memory=2538444 CPUtime=12.64 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 273085 0 0 0 1180 84 0 0 20 0 1 0 78484732 2763759616 634611 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 674746 634611 544 696 0 673907 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2703176 KiB
Current children cumulated memory: 2541516 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 3.32 3.48 5/270 88477
/proc/meminfo: memFree=51904692/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=9544932 memory=8892692 CPUtime=25.41 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 798367 0 0 0 2218 323 0 0 20 0 1 0 78484732 9774010368 2223173 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 2386233 2223173 544 696 0 2385394 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 9549124 KiB
Current children cumulated memory: 8895764 KiB
[startup+51.1056 s]
/proc/loadavg: 4.18 3.39 3.50 5/270 88477
/proc/meminfo: memFree=46169272/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=10306720 memory=9443884 CPUtime=50.93 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 835929 0 0 0 4745 348 0 0 20 0 1 0 78484732 10554081280 2360971 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 2576680 2360971 608 696 0 2575841 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 10310912 KiB
Current children cumulated memory: 9446956 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.49 3.53 4/264 89545
/proc/meminfo: memFree=50672648/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=10339492 memory=9476576 CPUtime=101.97 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 848639 0 0 0 9711 486 0 0 20 0 1 0 78484732 10587639808 2369144 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 2584873 2369144 608 696 0 2584034 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 10343684 KiB
Current children cumulated memory: 9479648 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.60 3.57 6/269 89922
/proc/meminfo: memFree=46201360/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=11147452 memory=10260624 CPUtime=161.79 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 910998 0 0 0 15606 573 0 0 20 0 1 0 78484732 11414990848 2565156 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 2786863 2565156 608 696 0 2786024 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 11151644 KiB
Current children cumulated memory: 10263696 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 3.75 3.62 6/270 89981
/proc/meminfo: memFree=66930432/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=13656484 memory=12825984 CPUtime=221.63 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 989243 0 0 0 21503 660 0 0 20 0 1 0 78484732 13984239616 3206496 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 3414121 3206496 608 696 0 3413282 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 13660676 KiB
################
# More data... #
################
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=24638640 memory=19339272 CPUtime=3332.57 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2450639 0 0 0 327874 5383 0 0 20 0 1 0 78484732 25229967360 4834818 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 6159660 4834818 608 696 0 6158821 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 24642832 KiB
Current children cumulated memory: 19342344 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/268 90193
/proc/meminfo: memFree=74288288/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=23594240 memory=19435688 CPUtime=3392.37 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2459336 0 0 0 333812 5425 0 0 20 0 1 0 78484732 24160501760 4858922 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 5898560 4858922 608 696 0 5897721 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 23598432 KiB
Current children cumulated memory: 19438760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/267 90199
/proc/meminfo: memFree=76014776/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=21701100 memory=17693928 CPUtime=3452.17 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2470469 0 0 0 339711 5506 0 0 20 0 1 0 78484732 22221926400 4423482 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 5425275 4423482 608 696 0 5424436 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 21705292 KiB
Current children cumulated memory: 17697000 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.13 4.10 6/267 90201
/proc/meminfo: memFree=75748496/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=21701100 memory=17724648 CPUtime=3511.97 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2472404 0 0 0 345686 5511 0 0 20 0 1 0 78484732 22221926400 4431162 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 5425275 4431162 608 696 0 5424436 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 21705292 KiB
Current children cumulated memory: 17727720 KiB
[startup+3579.64 s]
# the end of solver process 88472 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=3513.74 s, system=55.3907 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.18 4.13 4.10 6/267 90201
/proc/meminfo: memFree=75741812/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=21701100 memory=17724648 CPUtime=3522.44 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2472413 0 0 0 346733 5511 0 0 20 0 1 0 78484732 22221926400 4431162 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 5425275 4431162 608 696 0 5424436 0
Current children cumulated CPU time: 3522.44 s
Current children cumulated vsize: 21705292 KiB
Current children cumulated memory: 17727720 KiB
[startup+3558.4 s]
/proc/loadavg: 4.11 4.12 4.09 6/266 90202
/proc/meminfo: memFree=75704672/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=21701100 memory=17738984 CPUtime=3547.95 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2473405 0 0 0 349282 5513 0 0 20 0 1 0 78484732 22221926400 4434746 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 5425275 4434746 608 696 0 5424436 0
Current children cumulated CPU time: 3547.95 s
Current children cumulated vsize: 21705292 KiB
Current children cumulated memory: 17742056 KiB
[startup+3571.2 s]
/proc/loadavg: 4.16 4.13 4.09 6/266 90202
/proc/meminfo: memFree=75676356/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=21701100 memory=17741032 CPUtime=3560.71 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2474421 0 0 0 350557 5514 0 0 20 0 1 0 78484732 22221926400 4435258 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 5425275 4435258 608 696 0 5424436 0
Current children cumulated CPU time: 3560.71 s
Current children cumulated vsize: 21705292 KiB
Current children cumulated memory: 17744104 KiB
[startup+3574.4 s]
/proc/loadavg: 4.16 4.13 4.09 6/266 90203
/proc/meminfo: memFree=75696336/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=21701100 memory=17741032 CPUtime=3563.9 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2475247 0 0 0 350875 5515 0 0 20 0 1 0 78484732 22221926400 4435258 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 5425275 4435258 608 696 0 5424436 0
Current children cumulated CPU time: 3563.9 s
Current children cumulated vsize: 21705292 KiB
Current children cumulated memory: 17744104 KiB
[startup+3577.6 s]
/proc/loadavg: 4.14 4.12 4.09 6/266 90203
/proc/meminfo: memFree=75696336/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=21701100 memory=17741032 CPUtime=3567.09 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2475800 0 0 0 351194 5515 0 0 20 0 1 0 78484732 22221926400 4435258 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 5425275 4435258 608 696 0 5424436 0
Current children cumulated CPU time: 3567.09 s
Current children cumulated vsize: 21705292 KiB
Current children cumulated memory: 17744104 KiB
[startup+3578.4 s]
/proc/loadavg: 4.14 4.12 4.09 6/266 90203
/proc/meminfo: memFree=75696336/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=21701100 memory=17741032 CPUtime=3567.89 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2475903 0 0 0 351274 5515 0 0 20 0 1 0 78484732 22221926400 4435258 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 5425275 4435258 608 696 0 5424436 0
Current children cumulated CPU time: 3567.89 s
Current children cumulated vsize: 21705292 KiB
Current children cumulated memory: 17744104 KiB
[startup+3579.2 s]
/proc/loadavg: 4.14 4.12 4.09 6/266 90203
/proc/meminfo: memFree=75696336/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
[pid=88476] ppid=88472 vsize=21701100 memory=17741032 CPUtime=3568.69 cores=1,3
/proc/88476/stat : 88476 (naps-1.03a6) R 88472 88472 88090 0 -1 4194304 2476004 0 0 0 351354 5515 0 0 20 0 1 0 78484732 22221926400 4435258 18446744073709551615 4198400 7047149 140723582366416 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 24408064 140723582368114 140723582368228 140723582368228 140723582373833 0
/proc/88476/statm: 5425275 4435258 608 696 0 5424436 0
Current children cumulated CPU time: 3568.69 s
Current children cumulated vsize: 21705292 KiB
Current children cumulated memory: 17744104 KiB
[startup+3579.6 s]
/proc/loadavg: 4.14 4.12 4.09 6/266 90203
/proc/meminfo: memFree=75696336/131249988 swapFree=33010416/33010684
[pid=88472] ppid=88469 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88472/stat : 88472 (naps-1.03a6.sh) S 88469 88472 88090 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 78484731 4292608 768 18446744073709551615 94187133157376 94187134051909 140728815121328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94187134290960 94187134338704 94187141558272 140728815126949 140728815127043 140728815127043 140728815132647 0
/proc/88472/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
Child status: 30
Real time (s): 3579.64
CPU time (s): 3569.13
CPU user time (s): 3513.74
CPU system time (s): 55.3907
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 31162440
Max. memory (cumulated for all children) (KiB): 26803212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3513.74
system time used= 55.3907
maximum resident set size= 26877964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2476467
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= 366
involuntary context switches= 3433
# summary of solver processes directly reported to runsolver:
# pid: 88472
# total CPU time (s): 3569.13
# total CPU user time (s): 3513.74
# total CPU system time (s): 55.3907
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55849 second user time and 17.0316 second system time
The end
Begin job on nodeC031 at 2025-07-04 13:21:02 IDJOB=4525844 IDBENCH=143901 IDSOLVER=3377 FILE ID=nodeC031/4525844-1751628062 RUNJOBID= nodeC031-1751627860-88102 SLURM_JOB_ID= 9598956 Free space on /tmp= 431700 MiB SOLVER NAME= NaPS naps-1.03a6 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/academics/normalized-slangford-3-11_wcsp.wbo COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525844-1751628062/watcher-4525844-1751628062 -o /tmp/evaluation-result-4525844-1751628062/solver-4525844-1751628062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751627860-88102 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525844-1751628062.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d1e83745c12c7ec680c949b5ab02beb5 RANDOM SEED=1629431441 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.616 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.898 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 : 3624.502 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.271 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.943 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 : 3599.887 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.809 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 : 3600.196 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: 60794372 kB MemAvailable: 82138992 kB Buffers: 2128 kB Cached: 22027524 kB SwapCached: 12 kB Active: 47652884 kB Inactive: 21620804 kB Active(anon): 47251620 kB Inactive(anon): 10468 kB Active(file): 401264 kB Inactive(file): 21610336 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7080 kB Writeback: 12 kB AnonPages: 47243900 kB Mapped: 112092 kB Shmem: 18052 kB KReclaimable: 344520 kB Slab: 439160 kB SReclaimable: 344520 kB SUnreclaim: 94640 kB KernelStack: 4284 kB PageTables: 95716 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 50918308 kB VmallocTotal: 34359738367 kB VmallocUsed: 150616 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 27254784 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= 430892 MiB End job on nodeC031 at 2025-07-04 14:20:42