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 (54526 MiB free)
memory of node 1: 64510 MiB (62678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462867-1722347372/watcher-4462867-1722347372 -o /tmp/evaluation-result-4462867-1722347372/solver-4462867-1722347372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722340763-6602 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462867-1722347372 --lp-cut-gomory=0 HOME/instance-4462867-1722347372.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=10869, runsolver pid=10866
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.08 4.13 4.15 5/259 10870
/proc/meminfo: memFree=119988336/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=61488 memory=30520 CPUtime=0.08 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 8656 0 2 0 7 1 0 0 20 0 1 0 1334607 62963712 7630 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 15372 7630 1706 992 0 7230 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 30520 KiB
[startup+0.205785 s]*
/proc/loadavg: 4.08 4.13 4.15 5/259 10870
/proc/meminfo: memFree=119972820/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=81616 memory=50160 CPUtime=0.19 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 12477 0 2 0 17 2 0 0 20 0 1 0 1334607 83574784 12540 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 20404 12540 1770 992 0 12262 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 81616 KiB
Current children cumulated memory: 50160 KiB
[startup+0.305704 s]*
/proc/loadavg: 4.08 4.13 4.15 5/259 10870
/proc/meminfo: memFree=119971672/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=82256 memory=50688 CPUtime=0.29 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 12651 0 2 0 27 2 0 0 20 0 1 0 1334607 84230144 12672 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 20564 12672 1770 992 0 12422 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82256 KiB
Current children cumulated memory: 50688 KiB
[startup+0.700235 s]
/proc/loadavg: 4.08 4.13 4.15 5/259 10870
/proc/meminfo: memFree=119970524/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=82256 memory=50688 CPUtime=0.68 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 12657 0 2 0 66 2 0 0 20 0 1 0 1334607 84230144 12672 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 20564 12672 1770 992 0 12422 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 82256 KiB
Current children cumulated memory: 50688 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.13 4.15 5/259 10870
/proc/meminfo: memFree=119965680/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=91492 memory=59992 CPUtime=1.47 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 14429 0 2 0 136 11 0 0 20 0 1 0 1334607 93687808 14998 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 22873 14998 1802 992 0 14731 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 91492 KiB
Current children cumulated memory: 59992 KiB
[startup+3.1056 s]
/proc/loadavg: 4.15 4.14 4.15 5/259 10870
/proc/meminfo: memFree=119888924/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=146356 memory=100968 CPUtime=3.08 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 20561 0 2 0 279 29 0 0 20 0 1 0 1334607 149868544 25242 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 36589 25242 1802 992 0 28447 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 146356 KiB
Current children cumulated memory: 100968 KiB
[startup+6.30022 s]
/proc/loadavg: 4.15 4.14 4.15 5/259 10870
/proc/meminfo: memFree=119805784/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=167112 memory=129656 CPUtime=6.27 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 25129 0 2 0 583 44 0 0 20 0 1 0 1334607 171122688 32414 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 41778 32414 1879 992 0 33636 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 167112 KiB
Current children cumulated memory: 129656 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.15 5/259 10871
/proc/meminfo: memFree=119606064/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=273904 memory=201684 CPUtime=12.66 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 31872 0 2 0 1189 77 0 0 20 0 1 0 1334607 280477696 50421 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 68476 50421 1895 992 0 60334 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 273904 KiB
Current children cumulated memory: 201684 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.15 5/259 10873
/proc/meminfo: memFree=119122752/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=326036 memory=281256 CPUtime=25.42 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 44577 0 2 0 2427 115 0 0 20 0 1 0 1334607 333860864 70314 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 81509 70314 1996 992 0 73367 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 326036 KiB
Current children cumulated memory: 281256 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.14 4.15 5/262 10882
/proc/meminfo: memFree=118558380/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=477800 memory=437900 CPUtime=50.96 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 62315 0 2 0 4887 209 0 0 20 0 1 0 1334607 489267200 109475 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 119450 109475 1996 992 0 111308 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 477800 KiB
Current children cumulated memory: 437900 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/261 10892
/proc/meminfo: memFree=117576756/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=727808 memory=655796 CPUtime=102.04 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 91815 0 2 0 9889 315 0 0 20 0 1 0 1334607 745275392 163949 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 181952 163949 1996 992 0 173810 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 727808 KiB
Current children cumulated memory: 655796 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/261 10902
/proc/meminfo: memFree=116669896/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=1065488 memory=835124 CPUtime=161.9 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 122937 0 2 0 15721 469 0 0 20 0 1 0 1334607 1091059712 208781 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 266372 208781 1996 992 0 258230 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 1065488 KiB
Current children cumulated memory: 835124 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.17 4.16 5/261 10913
/proc/meminfo: memFree=115635872/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=1153916 memory=1001408 CPUtime=221.74 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 145181 0 2 0 21543 631 0 0 20 0 1 0 1334607 1181609984 250352 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 288479 250352 1996 992 0 280337 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 1153916 KiB
Current children cumulated memory: 1001408 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/261 10924
/proc/meminfo: memFree=114519724/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=1346352 memory=1231332 CPUtime=281.6 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 189414 0 2 0 27430 730 0 0 20 0 1 0 1334607 1378664448 307833 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 336588 307833 1996 992 0 328446 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 1346352 KiB
Current children cumulated memory: 1231332 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.15 4.15 5/263 11318
/proc/meminfo: memFree=113732644/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=1368128 memory=1318836 CPUtime=341.46 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 195593 0 2 0 33355 791 0 0 20 0 1 0 1334607 1400963072 329709 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 342032 329709 1996 992 0 333890 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 1368128 KiB
Current children cumulated memory: 1318836 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/260 11328
/proc/meminfo: memFree=113070088/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=1419900 memory=1369380 CPUtime=401.31 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 208202 0 2 0 39281 850 0 0 20 0 1 0 1334607 1453977600 342345 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 354975 342345 1996 992 0 346833 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 1419900 KiB
Current children cumulated memory: 1369380 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/261 11340
/proc/meminfo: memFree=112298012/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=1448248 memory=1398796 CPUtime=461.15 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 215076 0 2 0 45118 997 0 0 20 0 1 0 1334607 1483005952 349699 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 362062 349699 1996 992 0 353920 0
################
# More data... #
################
Current children cumulated memory: 3875008 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.19 4.18 5/262 12833
/proc/meminfo: memFree=91990620/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4092372 memory=3875880 CPUtime=2914.98 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 666224 0 2 0 287078 4420 0 0 20 0 1 0 1334607 4190588928 968970 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1023093 968970 1996 992 0 1014951 0
Current children cumulated CPU time: 2914.98 s
Current children cumulated vsize: 4092372 KiB
Current children cumulated memory: 3875880 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/262 12843
/proc/meminfo: memFree=91245088/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4092372 memory=3875880 CPUtime=2974.83 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 667640 0 2 0 292923 4560 0 0 20 0 1 0 1334607 4190588928 968970 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1023093 968970 1996 992 0 1014951 0
Current children cumulated CPU time: 2974.83 s
Current children cumulated vsize: 4092372 KiB
Current children cumulated memory: 3875880 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/265 12859
/proc/meminfo: memFree=90749584/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4093056 memory=3876564 CPUtime=3034.66 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 668984 0 2 0 298837 4629 0 0 20 0 1 0 1334607 4191289344 969141 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1023264 969141 1996 992 0 1015122 0
Current children cumulated CPU time: 3034.66 s
Current children cumulated vsize: 4093056 KiB
Current children cumulated memory: 3876564 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/263 12871
/proc/meminfo: memFree=90058032/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4096416 memory=3879924 CPUtime=3094.51 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 671629 0 2 0 304688 4763 0 0 20 0 1 0 1334607 4194729984 969981 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1024104 969981 1996 992 0 1015962 0
Current children cumulated CPU time: 3094.51 s
Current children cumulated vsize: 4096416 KiB
Current children cumulated memory: 3879924 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/263 12881
/proc/meminfo: memFree=89183000/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4099284 memory=3882780 CPUtime=3154.35 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 673846 0 2 0 310524 4911 0 0 20 0 1 0 1334607 4197666816 970695 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1024821 970695 1996 992 0 1016679 0
Current children cumulated CPU time: 3154.35 s
Current children cumulated vsize: 4099284 KiB
Current children cumulated memory: 3882780 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/265 12894
/proc/meminfo: memFree=88287952/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4106248 memory=3889648 CPUtime=3214.2 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 677066 0 2 0 316425 4995 0 0 20 0 1 0 1334607 4204797952 972412 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1026562 972412 1996 992 0 1018420 0
Current children cumulated CPU time: 3214.2 s
Current children cumulated vsize: 4106248 KiB
Current children cumulated memory: 3889648 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.16 4/259 12939
/proc/meminfo: memFree=93334736/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4138300 memory=3921524 CPUtime=3274.03 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 686289 0 2 0 322361 5042 0 0 20 0 1 0 1334607 4237619200 980381 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1034575 980381 1996 992 0 1026433 0
Current children cumulated CPU time: 3274.03 s
Current children cumulated vsize: 4138300 KiB
Current children cumulated memory: 3921524 KiB
[startup+3342.3 s]
/proc/loadavg: 3.46 3.94 4.09 4/256 12950
/proc/meminfo: memFree=92880484/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4181332 memory=3964996 CPUtime=3333.87 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 698818 0 2 0 328308 5079 0 0 20 0 1 0 1334607 4281683968 991249 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1045333 991249 1996 992 0 1037191 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 4181332 KiB
Current children cumulated memory: 3964996 KiB
[startup+3402.3 s]
/proc/loadavg: 3.28 3.80 4.03 4/256 12960
/proc/meminfo: memFree=91995956/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4360480 memory=4116552 CPUtime=3393.7 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 738541 0 2 0 334137 5233 0 0 20 0 1 0 1334607 4465131520 1029138 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1090120 1029138 1996 992 0 1081978 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 4360480 KiB
Current children cumulated memory: 4116552 KiB
[startup+3462.3 s]
/proc/loadavg: 3.16 3.67 3.97 4/256 12972
/proc/meminfo: memFree=91362480/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4361848 memory=4117808 CPUtime=3453.54 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 740170 0 2 0 340026 5328 0 0 20 0 1 0 1334607 4466532352 1029452 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1090462 1029452 1996 992 0 1082320 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 4361848 KiB
Current children cumulated memory: 4117808 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.57 3.92 4/256 12985
/proc/meminfo: memFree=90829240/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4369964 memory=4125696 CPUtime=3513.37 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 743615 0 2 0 345969 5368 0 0 20 0 1 0 1334607 4474843136 1031424 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1092491 1031424 1996 992 0 1084349 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 4369964 KiB
Current children cumulated memory: 4125696 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.50 3.87 4/256 12997
/proc/meminfo: memFree=90133064/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4391144 memory=4146520 CPUtime=3573.2 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 750687 0 2 0 351819 5501 0 0 20 0 1 0 1334607 4496531456 1036630 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1097786 1036630 1996 992 0 1089644 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 4391144 KiB
Current children cumulated memory: 4146520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 3.15 3.46 3.84 4/257 13003
/proc/meminfo: memFree=89784016/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4391780 memory=4147156 CPUtime=3600.03 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 751286 0 2 0 354440 5563 0 0 20 0 1 0 1334607 4497182720 1036789 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1097945 1036789 1996 992 0 1089803 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4391780 KiB
Current children cumulated memory: 4147156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.36 s]
# the end of solver process 10869 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3544.42 s, system=55.6867 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 3.15 3.46 3.84 4/257 13003
/proc/meminfo: memFree=89784016/131524600 swapFree=131071996/131071996
[pid=10869] ppid=10866 vsize=4391780 memory=4147156 CPUtime=3600.04 cores=1,3
/proc/10869/stat : 10869 (roundingsat) R 10866 10869 6590 0 -1 4194304 751289 0 2 0 354440 5564 0 0 20 0 1 0 1334607 4497182720 1036789 134679101440 4194304 8255733 140731299137968 0 0 0 0 0 25182210 0 0 0 17 1 0 0 17 0 0 9037040 9046032 10702848 140731299144542 140731299144804 140731299144804 140731299151817 0
/proc/10869/statm: 1097945 1036789 1996 992 0 1089803 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4391780 KiB
Current children cumulated memory: 4147156 KiB
Child status: 0
Real time (s): 3609.36
CPU time (s): 3600.11
CPU user time (s): 3544.42
CPU system time (s): 55.6867
CPU usage (%): 99.7436
Max. virtual memory (cumulated for all children) (KiB): 4391780
Max. memory (cumulated for all children) (KiB): 4147156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3544.42
system time used= 55.6867
maximum resident set size= 4147156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 751297
page faults= 2
swaps= 0
block input operations= 1056
block output operations= 65244280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 995
involuntary context switches= 4824
# summary of solver processes directly reported to runsolver:
# pid: 10869
# total CPU time (s): 3600.11
# total CPU user time (s): 3544.42
# total CPU system time (s): 55.6867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10614 second user time and 17.0123 second system time
The end
Begin job on nodeC018 at 2024-07-30 15:49:32
IDJOB=4462867
IDBENCH=158610
IDSOLVER=3089
FILE ID=nodeC018/4462867-1722347372
RUNJOBID= nodeC018-1722340763-6602
SLURM_JOB_ID= 8248981
Free space on /tmp= 890032 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462867-1722347372/watcher-4462867-1722347372 -o /tmp/evaluation-result-4462867-1722347372/solver-4462867-1722347372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722340763-6602 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462867-1722347372 --lp-cut-gomory=0 HOME/instance-4462867-1722347372.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 380e20810b586058c5e1cee383ac3a23
RANDOM SEED=1693611426
nodeC018.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 : 3676.970
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.92
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 : 3661.933
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 : 7007.08
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.232
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.92
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 : 3672.394
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 : 7007.08
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 : 3676.983
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.92
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 : 3685.975
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 : 7007.08
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 : 3600.203
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.92
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 : 3630.641
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120017884 kB
MemAvailable: 128176000 kB
Buffers: 56840 kB
Cached: 8930128 kB
SwapCached: 0 kB
Active: 172912 kB
Inactive: 10847732 kB
Active(anon): 1564 kB
Inactive(anon): 2053248 kB
Active(file): 171348 kB
Inactive(file): 8794484 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 123776 kB
Writeback: 12 kB
AnonPages: 2031540 kB
Mapped: 97248 kB
Shmem: 21336 kB
KReclaimable: 63864 kB
Slab: 146400 kB
SReclaimable: 63864 kB
SUnreclaim: 82536 kB
KernelStack: 4192 kB
PageTables: 13200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2611428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 788480 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: 146132 kB
DirectMap2M: 9064448 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890036 MiB
End job on nodeC018 at 2024-07-30 16:49:42