3599.95/3605.45 c Filename:instance-4441808-1721297720.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.95/3605.45 c Use Presolve
3599.95/3605.45 c Parse finsih
3599.95/3605.45 c Start Presolve
3599.95/3605.45 c Not use presolve
3599.95/3605.45 c Use LS-small
3599.95/3605.45 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 (62867 MiB free)
memory of node 1: 64510 MiB (63209 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441808-1721297720/watcher-4441808-1721297720 -o /tmp/evaluation-result-4441808-1721297720/solver-4441808-1721297720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721294125-939706 --watchdog 3760 ./LS-MabP -f HOME/instance-4441808-1721297720.opb -t 3600 -s 1752805496 --no-s
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=941694, runsolver pid=941691
[startup+0.100647 s]*
/proc/loadavg: 4.06 4.12 4.17 4/238 941703
/proc/meminfo: memFree=129098924/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=21552 memory=8808 CPUtime=0.1 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 983 0 0 0 10 0 0 0 20 0 1 0 181931593 22069248 2202 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 5388 2202 1073 2753 0 2041 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21552 KiB
Current children cumulated memory: 8808 KiB
[startup+0.212475 s]*
/proc/loadavg: 4.06 4.12 4.17 5/240 941709
/proc/meminfo: memFree=129088516/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=31528 memory=18628 CPUtime=0.21 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 4014 0 0 0 21 0 0 0 20 0 1 0 181931593 32284672 4657 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 7882 4657 1105 2753 0 4535 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31528 KiB
Current children cumulated memory: 18628 KiB
[startup+0.311968 s]*
/proc/loadavg: 4.06 4.12 4.17 5/238 941727
/proc/meminfo: memFree=129106088/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=31528 memory=18628 CPUtime=0.31 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 4014 0 0 0 31 0 0 0 20 0 1 0 181931593 32284672 4657 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 7882 4657 1105 2753 0 4535 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31528 KiB
Current children cumulated memory: 18628 KiB
[startup+0.700274 s]
/proc/loadavg: 4.06 4.12 4.17 5/243 941741
/proc/meminfo: memFree=129083760/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=31528 memory=18628 CPUtime=0.69 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 4014 0 0 0 69 0 0 0 20 0 1 0 181931593 32284672 4657 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 7882 4657 1105 2753 0 4535 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31528 KiB
Current children cumulated memory: 18628 KiB
[startup+1.50025 s]
/proc/loadavg: 4.06 4.12 4.17 5/243 941741
/proc/meminfo: memFree=129074988/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=31528 memory=18628 CPUtime=1.48 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 4014 0 0 0 148 0 0 0 20 0 1 0 181931593 32284672 4657 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 7882 4657 1105 2753 0 4535 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31528 KiB
Current children cumulated memory: 18628 KiB
[startup+3.11234 s]
/proc/loadavg: 4.05 4.12 4.17 4/241 941787
/proc/meminfo: memFree=129114640/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=31528 memory=18628 CPUtime=3.09 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 4015 0 0 0 309 0 0 0 20 0 1 0 181931593 32284672 4657 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 7882 4657 1105 2753 0 4535 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 31528 KiB
Current children cumulated memory: 18628 KiB
[startup+6.30024 s]
/proc/loadavg: 4.05 4.12 4.17 5/243 941881
/proc/meminfo: memFree=129089480/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=31792 memory=19068 CPUtime=6.27 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 4084 0 0 0 627 0 0 0 20 0 1 0 181931593 32555008 4767 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 7948 4767 1153 2753 0 4601 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 31792 KiB
Current children cumulated memory: 19068 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.15 4.18 5/243 942019
/proc/meminfo: memFree=129085504/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24056 CPUtime=12.66 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5276 0 0 0 1255 11 0 0 20 0 1 0 181931593 37670912 6014 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6014 1153 2753 0 5850 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24056 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.18 5/244 942390
/proc/meminfo: memFree=129102268/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24056 CPUtime=25.44 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5276 0 0 0 2505 39 0 0 20 0 1 0 181931593 37670912 6014 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6014 1153 2753 0 5850 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24056 KiB
[startup+51.1116 s]
/proc/loadavg: 4.10 4.13 4.17 5/242 942395
/proc/meminfo: memFree=129101740/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24124 CPUtime=51.01 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5278 0 0 0 5003 98 0 0 20 0 1 0 181931593 37670912 6031 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6031 1153 2753 0 5850 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24124 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/242 942403
/proc/meminfo: memFree=129100932/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24468 CPUtime=102.12 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5307 0 0 0 9996 216 0 0 20 0 1 0 181931593 37670912 6117 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6117 1153 2753 0 5850 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24468 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/242 942413
/proc/meminfo: memFree=129100544/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24468 CPUtime=162.02 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5325 0 0 0 15839 363 0 0 20 0 1 0 181931593 37670912 6117 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6117 1153 2753 0 5850 0
Current children cumulated CPU time: 162.02 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24468 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.10 4.16 5/242 942424
/proc/meminfo: memFree=129099956/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24468 CPUtime=221.93 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5331 0 0 0 21718 475 0 0 20 0 1 0 181931593 37670912 6117 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6117 1153 2753 0 5850 0
Current children cumulated CPU time: 221.93 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24468 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.16 5/242 942571
/proc/meminfo: memFree=129098120/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24468 CPUtime=281.84 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5337 0 0 0 27555 629 0 0 20 0 1 0 181931593 37670912 6117 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6117 1153 2753 0 5850 0
Current children cumulated CPU time: 281.84 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24468 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/243 942585
/proc/meminfo: memFree=129097444/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=341.74 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5343 0 0 0 33408 766 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 341.74 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/243 942595
/proc/meminfo: memFree=129097144/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=401.65 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5349 0 0 0 39259 906 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 401.65 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/243 942606
/proc/meminfo: memFree=129096644/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=461.56 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5355 0 0 0 45175 981 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
################
# More data... #
################
/proc/loadavg: 4.16 4.24 4.20 5/241 944262
/proc/meminfo: memFree=129082724/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3157.53 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5623 0 0 0 309605 6148 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3157.53 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.21 4.19 5/241 944273
/proc/meminfo: memFree=129082376/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3217.44 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5629 0 0 0 315451 6293 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3217.44 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/241 944283
/proc/meminfo: memFree=129081932/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3277.35 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5635 0 0 0 321346 6389 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3277.35 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.21 4.19 5/243 944298
/proc/meminfo: memFree=129081564/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3337.27 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5641 0 0 0 327248 6479 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3337.27 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3402.3 s]
/proc/loadavg: 4.69 4.36 4.24 5/243 944308
/proc/meminfo: memFree=129081240/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3397.17 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5647 0 0 0 333097 6620 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3397.17 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3462.3 s]
/proc/loadavg: 4.29 4.30 4.23 5/243 944319
/proc/meminfo: memFree=129080952/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3457.07 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5653 0 0 0 338924 6783 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3457.07 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.26 4.22 5/243 944332
/proc/meminfo: memFree=129080724/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3516.97 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5659 0 0 0 344767 6930 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3516.97 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.23 4.20 5/243 944342
/proc/meminfo: memFree=129080436/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3576.87 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5665 0 0 0 350603 7084 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3576.87 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3605.45 s]
# the end of solver process 941694 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3528.87 s, system=71.133 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.24 4.21 5/243 944342
/proc/meminfo: memFree=129080428/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3578.59 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5665 0 0 0 350772 7087 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3578.59 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.23 4.21 5/243 944345
/proc/meminfo: memFree=129080400/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3591.36 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5665 0 0 0 352033 7103 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3591.36 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.23 4.20 5/243 944345
/proc/meminfo: memFree=129080412/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3594.56 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5665 0 0 0 352349 7107 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3594.56 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.23 4.20 5/243 944345
/proc/meminfo: memFree=129080412/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3597.74 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5670 0 0 0 352664 7110 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3597.74 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3604.8 s]
/proc/loadavg: 4.12 4.22 4.20 5/243 944345
/proc/meminfo: memFree=129080416/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3599.34 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5670 0 0 0 352822 7112 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3599.34 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3605.2 s]
/proc/loadavg: 4.12 4.22 4.20 5/243 944345
/proc/meminfo: memFree=129080432/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3599.75 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5670 0 0 0 352862 7113 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3599.75 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
[startup+3605.4 s]
/proc/loadavg: 4.12 4.22 4.20 5/243 944345
/proc/meminfo: memFree=129080432/131655788 swapFree=131071996/131071996
[pid=941694] ppid=941691 vsize=36788 memory=24480 CPUtime=3599.95 cores=5,7
/proc/941694/stat : 941694 (LS-MabP) R 941691 941694 939693 0 -1 4194304 5670 0 0 0 352882 7113 0 0 20 0 1 0 181931593 37670912 6120 134679101440 4194304 15467897 140723301668368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29224960 140723301676057 140723301676166 140723301676166 140723301683182 0
/proc/941694/statm: 9197 6120 1153 2753 0 5850 0
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 24480 KiB
Child status: 0
Real time (s): 3605.45
CPU time (s): 3600
CPU user time (s): 3528.87
CPU system time (s): 71.133
CPU usage (%): 99.8489
Max. virtual memory (cumulated for all children) (KiB): 36788
Max. memory (cumulated for all children) (KiB): 24480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3528.87
system time used= 71.133
maximum resident set size= 24480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5674
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= 7
involuntary context switches= 1159
# summary of solver processes directly reported to runsolver:
# pid: 941694
# total CPU time (s): 3600
# total CPU user time (s): 3528.87
# total CPU system time (s): 71.133
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.534 second user time and 31.0036 second system time
The end
Begin job on nodeC009 at 2024-07-18 12:15:32
IDJOB=4441808
IDBENCH=147750
IDSOLVER=3049
FILE ID=nodeC009/4441808-1721297720
RUNJOBID= nodeC009-1721294125-939706
SLURM_JOB_ID= 7542610
Free space on /tmp= 723720 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-22s.smv.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441808-1721297720/watcher-4441808-1721297720 -o /tmp/evaluation-result-4441808-1721297720/solver-4441808-1721297720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721294125-939706 --watchdog 3760 ./LS-MabP -f HOME/instance-4441808-1721297720.opb -t 3600 -s 1752805496 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8a0ec75b8cf96c0a811478524b3ced5
RANDOM SEED=1752805496
nodeC009.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 : 3673.811
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 : 6984.34
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 : 3645.471
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.27
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.460
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 : 6984.34
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.458
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.27
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 : 3673.872
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 : 6984.34
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 : 3661.292
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.27
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.673
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 : 6984.34
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.321
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.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129102868 kB
MemAvailable: 129877908 kB
Buffers: 502836 kB
Cached: 1110920 kB
SwapCached: 0 kB
Active: 985024 kB
Inactive: 1026256 kB
Active(anon): 1452 kB
Inactive(anon): 433808 kB
Active(file): 983572 kB
Inactive(file): 592448 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16796 kB
Writeback: 4 kB
AnonPages: 397572 kB
Mapped: 115140 kB
Shmem: 37700 kB
KReclaimable: 78100 kB
Slab: 177600 kB
SReclaimable: 78100 kB
SUnreclaim: 99500 kB
KernelStack: 3904 kB
PageTables: 10020 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 771628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57536 kB
HardwareCorrupted: 0 kB
AnonHugePages: 268288 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723704 MiB
End job on nodeC009 at 2024-07-18 13:15:37