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: 63931 MiB (59252 MiB free)
memory of node 1: 64510 MiB (61033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459133-1721883459/watcher-4459133-1721883459 -o /tmp/evaluation-result-4459133-1721883459/solver-4459133-1721883459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721875956-207662 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4459133-1721883459.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=212405, runsolver pid=212402
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.18 4.16 4.11 5/255 212406
/proc/meminfo: memFree=122904324/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=287220 memory=271560 CPUtime=0.09 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 5233 0 0 0 4 5 0 0 20 0 1 0 24876286 294113280 67890 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 71805 67890 922 2726 0 68553 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 287220 KiB
Current children cumulated memory: 271560 KiB
[startup+0.205525 s]*
/proc/loadavg: 4.18 4.16 4.11 5/255 212406
/proc/meminfo: memFree=122890564/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=302004 memory=285100 CPUtime=0.2 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 8139 0 0 0 14 6 0 0 20 0 1 0 24876286 309252096 71275 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 75501 71275 922 2726 0 72249 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 302004 KiB
Current children cumulated memory: 285100 KiB
[startup+0.304917 s]*
/proc/loadavg: 4.18 4.16 4.11 5/255 212406
/proc/meminfo: memFree=122878124/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=318768 memory=297392 CPUtime=0.3 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 10676 0 0 0 24 6 0 0 20 0 1 0 24876286 326418432 74348 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 79692 74348 922 2726 0 76440 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 318768 KiB
Current children cumulated memory: 297392 KiB
[startup+0.700227 s]
/proc/loadavg: 4.18 4.16 4.11 5/255 212406
/proc/meminfo: memFree=122853296/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=365232 memory=345664 CPUtime=0.69 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 18195 0 0 0 61 8 0 0 20 0 1 0 24876286 373997568 86416 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 91308 86416 922 2726 0 88056 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 365232 KiB
Current children cumulated memory: 345664 KiB
[startup+1.50022 s]
/proc/loadavg: 4.18 4.16 4.11 5/255 212406
/proc/meminfo: memFree=122796968/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=456180 memory=436872 CPUtime=1.49 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 31765 0 0 0 137 12 0 0 20 0 1 0 24876286 467128320 109218 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 114045 109218 922 2726 0 110793 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 456180 KiB
Current children cumulated memory: 436872 KiB
[startup+3.10532 s]
/proc/loadavg: 4.24 4.17 4.12 5/255 212406
/proc/meminfo: memFree=122570536/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=636360 memory=614976 CPUtime=3.09 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 57451 0 0 0 291 18 0 0 20 0 1 0 24876286 651632640 153744 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 159090 153744 922 2726 0 155838 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 636360 KiB
Current children cumulated memory: 614976 KiB
[startup+6.30017 s]
/proc/loadavg: 4.24 4.17 4.12 5/255 212406
/proc/meminfo: memFree=122241792/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=992396 memory=965876 CPUtime=6.27 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 106530 0 0 0 594 33 0 0 20 0 1 0 24876286 1016213504 241469 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 248099 241469 922 2726 0 244847 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 992396 KiB
Current children cumulated memory: 965876 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.17 4.12 5/256 212409
/proc/meminfo: memFree=120477720/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=2934312 memory=2639124 CPUtime=12.66 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 158735 0 0 0 1161 105 0 0 20 0 1 0 24876286 3004735488 659781 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 733578 659781 1002 2726 0 730326 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2934312 KiB
Current children cumulated memory: 2639124 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.18 4.12 5/258 212414
/proc/meminfo: memFree=118328460/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=5370312 memory=4888364 CPUtime=25.42 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 441420 0 0 0 2345 197 0 0 20 0 1 0 24876286 5499199488 1222091 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 1342578 1222091 1034 2726 0 1339326 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 5370312 KiB
Current children cumulated memory: 4888364 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.16 4.12 5/259 212589
/proc/meminfo: memFree=116670816/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=7060300 memory=6488624 CPUtime=50.94 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 676822 0 0 0 4839 255 0 0 20 0 1 0 24876286 7229747200 1622156 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 1765075 1622156 1066 2726 0 1761823 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 7060300 KiB
Current children cumulated memory: 6488624 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/259 212598
/proc/meminfo: memFree=113903608/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=10213348 memory=9616788 CPUtime=101.97 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1141296 0 0 0 9779 418 0 0 20 0 1 0 24876286 10458468352 2404197 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2553337 2404197 1146 2726 0 2550085 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 10213348 KiB
Current children cumulated memory: 9616788 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/259 212611
/proc/meminfo: memFree=112964556/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=10747016 memory=10154204 CPUtime=161.78 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1153526 0 0 0 15626 552 0 0 20 0 1 0 24876286 11004944384 2538551 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2686754 2538551 1146 2726 0 2683502 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 10747016 KiB
Current children cumulated memory: 10154204 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/259 212633
/proc/meminfo: memFree=113792828/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9908224 memory=9315572 CPUtime=221.58 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1168345 0 0 0 21438 720 0 0 20 0 1 0 24876286 10146021376 2328893 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2477056 2328893 1146 2726 0 2473804 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 9908224 KiB
Current children cumulated memory: 9315572 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/259 212645
/proc/meminfo: memFree=113478540/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9909768 memory=9318040 CPUtime=281.38 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1179953 0 0 0 27275 863 0 0 20 0 1 0 24876286 10147602432 2329510 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2477442 2329510 1146 2726 0 2474190 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 9909768 KiB
Current children cumulated memory: 9318040 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/257 212655
/proc/meminfo: memFree=113772776/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9910904 memory=9319176 CPUtime=341.18 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1191044 0 0 0 33132 986 0 0 20 0 1 0 24876286 10148765696 2329794 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2477726 2329794 1146 2726 0 2474474 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 9910904 KiB
Current children cumulated memory: 9319176 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/255 212665
/proc/meminfo: memFree=113679112/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9911424 memory=9319824 CPUtime=400.98 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1202678 0 0 0 38979 1119 0 0 20 0 1 0 24876286 10149298176 2329956 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2477856 2329956 1146 2726 0 2474604 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 9911424 KiB
Current children cumulated memory: 9319824 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/254 212676
/proc/meminfo: memFree=113666708/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9913208 memory=9321720 CPUtime=460.78 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1214397 0 0 0 44838 1240 0 0 20 0 1 0 24876286 10151124992 2330430 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2478302 2330430 1146 2726 0 2475050 0
################
# More data... #
################
Current children cumulated memory: 10251664 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/256 214053
/proc/meminfo: memFree=109333652/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9951444 memory=9362520 CPUtime=2853.87 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1541731 0 0 0 280676 4711 0 0 20 0 1 0 24876286 10190278656 2340630 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2487861 2340630 1146 2726 0 2484609 0
Current children cumulated CPU time: 2853.87 s
Current children cumulated vsize: 9951444 KiB
Current children cumulated memory: 9362520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/254 214064
/proc/meminfo: memFree=109241908/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9951748 memory=9362824 CPUtime=2913.71 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1548674 0 0 0 286593 4778 0 0 20 0 1 0 24876286 10190589952 2340706 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2487937 2340706 1146 2726 0 2484685 0
Current children cumulated CPU time: 2913.71 s
Current children cumulated vsize: 9951748 KiB
Current children cumulated memory: 9362824 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/254 214075
/proc/meminfo: memFree=109179536/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9952952 memory=9364028 CPUtime=2973.53 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1554023 0 0 0 292530 4823 0 0 20 0 1 0 24876286 10191822848 2341007 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2488238 2341007 1146 2726 0 2484986 0
Current children cumulated CPU time: 2973.53 s
Current children cumulated vsize: 9952952 KiB
Current children cumulated memory: 9364028 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 214085
/proc/meminfo: memFree=108946500/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9961108 memory=9372184 CPUtime=3033.36 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1558814 0 0 0 298470 4866 0 0 20 0 1 0 24876286 10200174592 2343046 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2490277 2343046 1146 2726 0 2487025 0
Current children cumulated CPU time: 3033.36 s
Current children cumulated vsize: 9961108 KiB
Current children cumulated memory: 9372184 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 214096
/proc/meminfo: memFree=109096360/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9963660 memory=9374736 CPUtime=3093.18 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1564713 0 0 0 304418 4900 0 0 20 0 1 0 24876286 10202787840 2343684 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2490915 2343684 1146 2726 0 2487663 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 9963660 KiB
Current children cumulated memory: 9374736 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 214110
/proc/meminfo: memFree=108975680/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=10834512 memory=9570716 CPUtime=3153.01 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1569862 0 0 0 310355 4946 0 0 20 0 1 0 24876286 11094540288 2392679 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2708628 2392679 1146 2726 0 2705376 0
Current children cumulated CPU time: 3153.01 s
Current children cumulated vsize: 10834512 KiB
Current children cumulated memory: 9570716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 214121
/proc/meminfo: memFree=108954820/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9946332 memory=9357408 CPUtime=3212.84 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1575487 0 0 0 316300 4984 0 0 20 0 1 0 24876286 10185043968 2339352 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2486583 2339352 1146 2726 0 2483331 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 9946332 KiB
Current children cumulated memory: 9357408 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 214132
/proc/meminfo: memFree=108945240/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9954476 memory=9365552 CPUtime=3272.66 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1580851 0 0 0 322241 5025 0 0 20 0 1 0 24876286 10193383424 2341388 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2488619 2341388 1146 2726 0 2485367 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 9954476 KiB
Current children cumulated memory: 9365552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/256 214142
/proc/meminfo: memFree=109020232/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9954368 memory=9365444 CPUtime=3332.49 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1587228 0 0 0 328174 5075 0 0 20 0 1 0 24876286 10193272832 2341361 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2488592 2341361 1146 2726 0 2485340 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 9954368 KiB
Current children cumulated memory: 9365444 KiB
[startup+3402.3 s]
/proc/loadavg: 3.85 4.03 4.07 4/249 214183
/proc/meminfo: memFree=111941112/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9948724 memory=9359800 CPUtime=3392.32 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1592416 0 0 0 334115 5117 0 0 20 0 1 0 24876286 10187493376 2339950 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2487181 2339950 1146 2726 0 2483929 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 9948724 KiB
Current children cumulated memory: 9359800 KiB
[startup+3462.3 s]
/proc/loadavg: 3.45 3.88 4.01 4/249 214582
/proc/meminfo: memFree=112030188/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9958216 memory=9369292 CPUtime=3452.14 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1598305 0 0 0 340055 5159 0 0 20 0 1 0 24876286 10197213184 2342323 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2489554 2342323 1146 2726 0 2486302 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 9958216 KiB
Current children cumulated memory: 9369292 KiB
[startup+3522.3 s]
/proc/loadavg: 3.21 3.73 3.95 4/249 214592
/proc/meminfo: memFree=111126356/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=10853912 memory=10264824 CPUtime=3511.97 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1603651 0 0 0 345994 5203 0 0 20 0 1 0 24876286 11114405888 2566206 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2713478 2566206 1146 2726 0 2710226 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 10853912 KiB
Current children cumulated memory: 10264824 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.61 3.89 4/249 214602
/proc/meminfo: memFree=112029276/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=9951892 memory=9362968 CPUtime=3571.81 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1609412 0 0 0 351944 5237 0 0 20 0 1 0 24876286 10190737408 2340742 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2487973 2340742 1146 2726 0 2484721 0
Current children cumulated CPU time: 3571.81 s
Current children cumulated vsize: 9951892 KiB
Current children cumulated memory: 9362968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 3.09 3.55 3.86 4/249 214606
/proc/meminfo: memFree=111127600/131524600 swapFree=131054992/131071996
[pid=212405] ppid=212402 vsize=10849748 memory=10260756 CPUtime=3600.03 cores=5,7
/proc/212405/stat : 212405 (CASHWMaxSAT-Dis) R 212402 212405 207649 0 -1 4194304 1612183 0 0 0 354732 5271 0 0 20 0 1 0 24876286 11110141952 2565189 134679101440 4194304 15356333 140734899396848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 25305088 140734899405795 140734899405911 140734899405911 140734899412926 0
/proc/212405/statm: 2712437 2565189 1146 2726 0 2709185 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 10849748 KiB
Current children cumulated memory: 10260756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.64 s]
# the end of solver process 212405 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3547.32 s, system=52.7468 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.64
CPU time (s): 3600.07
CPU user time (s): 3547.32
CPU system time (s): 52.7468
CPU usage (%): 99.7074
Max. virtual memory (cumulated for all children) (KiB): 10921248
Max. memory (cumulated for all children) (KiB): 10328596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.32
system time used= 52.7468
maximum resident set size= 10328596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1612183
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= 432
involuntary context switches= 3671
# summary of solver processes directly reported to runsolver:
# pid: 212405
# total CPU time (s): 3600.07
# total CPU user time (s): 3547.32
# total CPU system time (s): 52.7468
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3501 second user time and 16.4589 second system time
The end
Begin job on nodeC035 at 2024-07-25 06:57:40
IDJOB=4459133
IDBENCH=178517
IDSOLVER=3074
FILE ID=nodeC035/4459133-1721883459
RUNJOBID= nodeC035-1721875956-207662
SLURM_JOB_ID= 8089242
Free space on /tmp= 889912 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459133-1721883459/watcher-4459133-1721883459 -o /tmp/evaluation-result-4459133-1721883459/solver-4459133-1721883459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721875956-207662 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4459133-1721883459.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=69218135
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3679.084
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.54
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 : 3676.913
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.93
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.115
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.54
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 : 3663.490
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.93
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 : 3679.069
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.54
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.534
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.93
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.965
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.54
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 : 3604.466
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.93
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123172816 kB
MemAvailable: 128973900 kB
Buffers: 295968 kB
Cached: 6294196 kB
SwapCached: 296 kB
Active: 2244148 kB
Inactive: 5441560 kB
Active(anon): 2024 kB
Inactive(anon): 1138552 kB
Active(file): 2242124 kB
Inactive(file): 4303008 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131054992 kB
Dirty: 127000 kB
Writeback: 0 kB
AnonPages: 1094664 kB
Mapped: 136660 kB
Shmem: 45024 kB
KReclaimable: 191200 kB
Slab: 310804 kB
SReclaimable: 191200 kB
SUnreclaim: 119604 kB
KernelStack: 4112 kB
PageTables: 11672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1427748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 256000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 414420 kB
DirectMap2M: 48642048 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 889916 MiB
End job on nodeC035 at 2024-07-25 07:57:51