1087.74/1090.53 c Filename:instance-4446756-1721346429.opb, Cutoff_time:3600, memory_limit_gb:500000
1087.74/1090.53 c Use Presolve
1087.74/1090.53 c Parse finsih
1087.74/1090.53 c Start Presolve
1087.74/1090.53 c After Reduce Vars: 22166 Clauses: 22661 Top clause weight: 1 Hard Clauses: 22661
3599.90/3607.69 c Use LS-small
3599.90/3607.69 s UNKNOWN
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: 64059 MiB (62268 MiB free)
memory of node 1: 64510 MiB (61066 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446756-1721346429/watcher-4446756-1721346429 -o /tmp/evaluation-result-4446756-1721346429/solver-4446756-1721346429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971416 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446756-1721346429.opb -t 3600 -s 475677939
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
Current StackSize limit: 8192 KiB
solver pid=975907, runsolver pid=975904
[startup+0.100457 s]*
/proc/loadavg: 4.06 4.09 4.10 4/239 975914
/proc/meminfo: memFree=126287476/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=22944 memory=10300 CPUtime=0.1 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 1245 0 0 0 10 0 0 0 20 0 1 0 186799489 23494656 2575 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 5736 2575 1073 2753 0 2389 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22944 KiB
Current children cumulated memory: 10300 KiB
[startup+0.213331 s]*
/proc/loadavg: 4.06 4.09 4.10 6/239 975923
/proc/meminfo: memFree=126285188/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=27320 memory=13436 CPUtime=0.21 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 2379 0 0 0 21 0 0 0 20 0 1 0 186799489 27975680 3359 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 6830 3359 1073 2753 0 3483 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27320 KiB
Current children cumulated memory: 13436 KiB
[startup+0.312981 s]*
/proc/loadavg: 4.06 4.09 4.10 5/237 975936
/proc/meminfo: memFree=126293232/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=27320 memory=14752 CPUtime=0.31 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 2748 0 0 0 31 0 0 0 20 0 1 0 186799489 27975680 3688 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 6830 3688 1073 2753 0 3483 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27320 KiB
Current children cumulated memory: 14752 KiB
[startup+0.700321 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975946
/proc/meminfo: memFree=126257132/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=53824 memory=39920 CPUtime=0.69 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 8051 0 0 0 68 1 0 0 20 0 1 0 186799489 55115776 9980 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 13456 9980 1105 2753 0 10109 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53824 KiB
Current children cumulated memory: 39920 KiB
[startup+1.5003 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975946
/proc/meminfo: memFree=126230868/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=53824 memory=39920 CPUtime=1.48 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 8051 0 0 0 147 1 0 0 20 0 1 0 186799489 55115776 9980 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 13456 9980 1105 2753 0 10109 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53824 KiB
Current children cumulated memory: 39920 KiB
[startup+3.11325 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 975946
/proc/meminfo: memFree=126136480/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=158836 memory=149892 CPUtime=3.09 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 34115 0 0 0 305 4 0 0 20 0 1 0 186799489 162648064 37473 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 39709 37473 2625 2753 0 36362 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 158836 KiB
Current children cumulated memory: 149892 KiB
[startup+6.30034 s]
/proc/loadavg: 4.05 4.09 4.10 5/243 976040
/proc/meminfo: memFree=126535580/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=263436 memory=249016 CPUtime=6.27 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 56662 0 0 0 619 8 0 0 20 0 1 0 186799489 269758464 62254 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 65859 62254 2721 2753 0 62512 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 263436 KiB
Current children cumulated memory: 249016 KiB
[startup+12.7003 s]
/proc/loadavg: 4.05 4.08 4.10 5/243 976040
/proc/meminfo: memFree=126298004/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=266988 memory=252688 CPUtime=12.64 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 57533 0 0 0 1256 8 0 0 20 0 1 0 186799489 273395712 63172 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 66747 63172 2721 2753 0 63400 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 266988 KiB
Current children cumulated memory: 252688 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.10 4.10 5/243 976043
/proc/meminfo: memFree=126279012/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=273760 memory=259252 CPUtime=25.41 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 59303 0 0 0 2532 9 0 0 20 0 1 0 186799489 280330240 64813 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 68440 64813 2721 2753 0 65093 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 273760 KiB
Current children cumulated memory: 259252 KiB
[startup+51.1133 s]
/proc/loadavg: 4.07 4.09 4.09 5/243 976046
/proc/meminfo: memFree=126114920/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=348296 memory=328880 CPUtime=50.94 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 76760 0 0 0 5083 11 0 0 20 0 1 0 186799489 356655104 82220 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 87074 82220 2817 2753 0 83727 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 348296 KiB
Current children cumulated memory: 328880 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/243 976055
/proc/meminfo: memFree=126017804/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=362272 memory=345264 CPUtime=101.98 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 79582 0 0 0 10186 12 0 0 20 0 1 0 186799489 370966528 86316 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 90568 86316 2833 2753 0 87221 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 362272 KiB
Current children cumulated memory: 345264 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/243 976066
/proc/meminfo: memFree=126012144/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=362272 memory=346996 CPUtime=161.81 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 79591 0 0 0 16169 12 0 0 20 0 1 0 186799489 370966528 86749 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 90568 86749 2833 2753 0 87221 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 362272 KiB
Current children cumulated memory: 346996 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/246 976081
/proc/meminfo: memFree=125886564/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=362272 memory=352276 CPUtime=221.64 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 79627 0 0 0 22152 12 0 0 20 0 1 0 186799489 370966528 88069 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 90568 88069 2833 2753 0 87221 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 362272 KiB
Current children cumulated memory: 352276 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/246 976091
/proc/meminfo: memFree=125758832/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=454512 memory=440872 CPUtime=281.49 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 85549 0 0 0 28135 14 0 0 20 0 1 0 186799489 465420288 110218 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 113628 110218 2849 2753 0 110281 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 454512 KiB
Current children cumulated memory: 440872 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/245 976102
/proc/meminfo: memFree=125647308/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=470936 memory=454892 CPUtime=341.34 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 89216 0 0 0 34119 15 0 0 20 0 1 0 186799489 482238464 113723 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 117734 113723 2849 2753 0 114387 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 470936 KiB
Current children cumulated memory: 454892 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/245 976112
/proc/meminfo: memFree=125608572/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=481324 memory=465324 CPUtime=401.19 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 92003 0 0 0 40104 15 0 0 20 0 1 0 186799489 492875776 116331 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 120331 116331 2849 2753 0 116984 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 481324 KiB
Current children cumulated memory: 465324 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/246 976124
/proc/meminfo: memFree=125591444/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=484928 memory=466848 CPUtime=461.05 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 92520 0 0 0 46089 16 0 0 20 0 1 0 186799489 496566272 116712 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 121232 116712 2849 2753 0 117885 0
################
# More data... #
################
/proc/loadavg: 4.14 4.12 4.15 5/242 977788
/proc/meminfo: memFree=125424512/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3155.41 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 120937 0 0 0 311796 3745 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3155.41 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.15 5/244 977802
/proc/meminfo: memFree=125424264/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3215.3 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 120963 0 0 0 317621 3909 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3215.3 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/244 977812
/proc/meminfo: memFree=125423768/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3275.19 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 120989 0 0 0 323453 4066 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3275.19 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/244 977823
/proc/meminfo: memFree=125423604/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3335.08 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121015 0 0 0 329284 4224 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3335.08 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.14 5/245 977834
/proc/meminfo: memFree=125423316/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3394.97 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121041 0 0 0 335102 4395 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3394.97 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/245 977845
/proc/meminfo: memFree=125422872/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3454.87 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121067 0 0 0 340927 4560 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3454.87 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/243 977856
/proc/meminfo: memFree=125422536/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3514.76 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121093 0 0 0 346757 4719 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3514.76 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/243 977866
/proc/meminfo: memFree=125422288/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3574.65 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121119 0 0 0 352579 4886 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3574.65 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3607.7 s]
# the end of solver process 975907 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3550.47 s, system=49.5402 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.09 4.12 5/243 977868
/proc/meminfo: memFree=125422296/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3576.36 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121119 0 0 0 352746 4890 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3576.36 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.10 4.12 5/243 977869
/proc/meminfo: memFree=125422184/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3589.13 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121145 0 0 0 353989 4924 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3589.13 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3603.2 s]
/proc/loadavg: 4.12 4.10 4.12 5/243 977869
/proc/meminfo: memFree=125422184/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3595.51 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121145 0 0 0 354610 4941 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3595.51 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3604.8 s]
/proc/loadavg: 4.12 4.10 4.12 5/243 977871
/proc/meminfo: memFree=125422184/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3597.11 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121145 0 0 0 354765 4946 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3597.11 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3606.4 s]
/proc/loadavg: 4.11 4.10 4.12 5/243 977871
/proc/meminfo: memFree=125422128/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3598.71 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121145 0 0 0 354920 4951 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3598.71 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3607.2 s]
/proc/loadavg: 4.11 4.10 4.12 5/243 977871
/proc/meminfo: memFree=125422128/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3599.51 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121145 0 0 0 354998 4953 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3599.51 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
[startup+3607.6 s]
/proc/loadavg: 4.11 4.10 4.12 5/243 977871
/proc/meminfo: memFree=125422128/131655788 swapFree=131071996/131071996
[pid=975907] ppid=975904 vsize=503920 memory=496884 CPUtime=3599.9 cores=5,7
/proc/975907/stat : 975907 (LS-MabSP) R 975904 975907 971403 0 -1 4194304 121145 0 0 0 355037 4953 0 0 20 0 1 0 186799489 516014080 124221 134679101440 4194304 15467897 140726705802736 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 38428672 140726705808415 140726705808517 140726705808517 140726705815533 0
/proc/975907/statm: 125980 124221 2849 2753 0 122633 0
Current children cumulated CPU time: 3599.9 s
Current children cumulated vsize: 503920 KiB
Current children cumulated memory: 496884 KiB
Child status: 0
Real time (s): 3607.7
CPU time (s): 3600.01
CPU user time (s): 3550.47
CPU system time (s): 49.5402
CPU usage (%): 99.7869
Max. virtual memory (cumulated for all children) (KiB): 589328
Max. memory (cumulated for all children) (KiB): 579760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.47
system time used= 49.5402
maximum resident set size= 579760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121155
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= 28
involuntary context switches= 1307
# summary of solver processes directly reported to runsolver:
# pid: 975907
# total CPU time (s): 3600.01
# total CPU user time (s): 3550.47
# total CPU system time (s): 49.5402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8528 second user time and 34.31 second system time
The end
Begin job on nodeC007 at 2024-07-19 01:47:21
IDJOB=4446756
IDBENCH=158306
IDSOLVER=3047
FILE ID=nodeC007/4446756-1721346429
RUNJOBID= nodeC007-1721339222-971416
SLURM_JOB_ID= 7542716
Free space on /tmp= 723724 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K193.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446756-1721346429/watcher-4446756-1721346429 -o /tmp/evaluation-result-4446756-1721346429/solver-4446756-1721346429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721339222-971416 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446756-1721346429.opb -t 3600 -s 475677939
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a57909b893e448cbfc1c45d11e8afcf3
RANDOM SEED=475677939
nodeC007.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 : 0xb00001f
cpu MHz : 3676.743
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 3653.437
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.324
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.192
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 3586.691
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 3491.634
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.138
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.137
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126295196 kB
MemAvailable: 129096152 kB
Buffers: 512096 kB
Cached: 3119596 kB
SwapCached: 0 kB
Active: 1079464 kB
Inactive: 3716720 kB
Active(anon): 1460 kB
Inactive(anon): 1200732 kB
Active(file): 1078004 kB
Inactive(file): 2515988 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17756 kB
Writeback: 0 kB
AnonPages: 1164496 kB
Mapped: 130576 kB
Shmem: 37704 kB
KReclaimable: 93992 kB
Slab: 196040 kB
SReclaimable: 93992 kB
SUnreclaim: 102048 kB
KernelStack: 3888 kB
PageTables: 11128 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1694588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 58656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1148928 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC007 at 2024-07-19 02:47:29