3599.99/3606.40 c Filename:instance-4442618-1721301327.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.99/3606.40 c Use Presolve
3599.99/3606.40 c Parse finsih
3599.99/3606.40 c Start Presolve
3599.99/3606.40 c After Reduce Vars: 1050 Clauses: 17885 Top clause weight: 1 Hard Clauses: 17885
3599.99/3606.40 c Use LS-small
3599.99/3606.40 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 (62884 MiB free)
memory of node 1: 64510 MiB (63174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442618-1721301327/watcher-4442618-1721301327 -o /tmp/evaluation-result-4442618-1721301327/solver-4442618-1721301327 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721294125-939705 --watchdog 3760 ./LS-MabP -f HOME/instance-4442618-1721301327.opb -t 3600 -s 20496698 --no-s
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
Current StackSize limit: 8192 KiB
solver pid=944437, runsolver pid=944434
[startup+0.100105 s]*
/proc/loadavg: 4.12 4.22 4.20 5/242 944438
/proc/meminfo: memFree=129072820/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=29148 memory=15844 CPUtime=0.1 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 3338 0 0 0 10 0 0 0 20 0 1 0 182292309 29847552 3961 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7287 3961 1105 2753 0 3940 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29148 KiB
Current children cumulated memory: 15844 KiB
[startup+0.212619 s]*
/proc/loadavg: 4.12 4.22 4.20 5/242 944438
/proc/meminfo: memFree=129072624/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=29148 memory=15844 CPUtime=0.21 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 3338 0 0 0 21 0 0 0 20 0 1 0 182292309 29847552 3961 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7287 3961 1105 2753 0 3940 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29148 KiB
Current children cumulated memory: 15844 KiB
[startup+0.31233 s]*
/proc/loadavg: 4.12 4.22 4.20 5/242 944438
/proc/meminfo: memFree=129070104/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=18472 CPUtime=0.31 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4228 0 0 0 31 0 0 0 20 0 1 0 182292309 32763904 4618 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4618 1153 2753 0 4652 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 18472 KiB
[startup+0.700282 s]
/proc/loadavg: 4.12 4.22 4.20 5/242 944438
/proc/meminfo: memFree=129069964/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=18472 CPUtime=0.69 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4228 0 0 0 67 2 0 0 20 0 1 0 182292309 32763904 4618 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4618 1153 2753 0 4652 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 18472 KiB
[startup+1.50028 s]
/proc/loadavg: 4.12 4.22 4.20 5/242 944438
/proc/meminfo: memFree=129069888/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=18472 CPUtime=1.48 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4228 0 0 0 144 4 0 0 20 0 1 0 182292309 32763904 4618 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4618 1153 2753 0 4652 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 18472 KiB
[startup+3.11276 s]
/proc/loadavg: 4.11 4.22 4.20 5/242 944438
/proc/meminfo: memFree=129069888/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=18472 CPUtime=3.09 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4228 0 0 0 300 9 0 0 20 0 1 0 182292309 32763904 4618 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4618 1153 2753 0 4652 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 18472 KiB
[startup+6.30026 s]
/proc/loadavg: 4.11 4.22 4.20 5/242 944438
/proc/meminfo: memFree=129069912/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=18472 CPUtime=6.28 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4228 0 0 0 606 22 0 0 20 0 1 0 182292309 32763904 4618 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4618 1153 2753 0 4652 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 18472 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.21 4.20 5/242 944442
/proc/meminfo: memFree=129069772/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=18472 CPUtime=12.67 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4228 0 0 0 1226 41 0 0 20 0 1 0 182292309 32763904 4618 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4618 1153 2753 0 4652 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 18472 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.22 4.20 5/242 944490
/proc/meminfo: memFree=129075644/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=18472 CPUtime=25.44 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4228 0 0 0 2459 85 0 0 20 0 1 0 182292309 32763904 4618 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4618 1153 2753 0 4652 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 18472 KiB
[startup+51.1121 s]
/proc/loadavg: 4.25 4.24 4.21 5/242 944495
/proc/meminfo: memFree=129073716/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=18940 CPUtime=51 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4244 0 0 0 4924 176 0 0 20 0 1 0 182292309 32763904 4735 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4735 1153 2753 0 4652 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 18940 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.21 4.20 5/242 944503
/proc/meminfo: memFree=129073308/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=102.1 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4268 0 0 0 9862 348 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/242 944513
/proc/meminfo: memFree=129072932/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=162 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4280 0 0 0 15646 554 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 162 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/241 944524
/proc/meminfo: memFree=129072304/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=221.88 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4284 0 0 0 21420 768 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 221.88 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.14 4.17 5/241 944579
/proc/meminfo: memFree=129066700/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=281.77 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4288 0 0 0 27190 987 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 281.77 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/244 944595
/proc/meminfo: memFree=129066028/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=341.67 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4292 0 0 0 32973 1194 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 341.67 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/244 944605
/proc/meminfo: memFree=129065748/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=401.57 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4296 0 0 0 38754 1403 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 401.57 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/244 944616
/proc/meminfo: memFree=129065240/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=461.46 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4300 0 0 0 44540 1606 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
################
# More data... #
################
/proc/loadavg: 4.16 4.23 4.21 5/241 946275
/proc/meminfo: memFree=129151956/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3156.68 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4480 0 0 0 304681 10987 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3156.68 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.22 4.20 5/241 946286
/proc/meminfo: memFree=129151612/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3216.57 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4484 0 0 0 310461 11196 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3216.57 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.20 4.20 5/241 946296
/proc/meminfo: memFree=129151200/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3276.46 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4488 0 0 0 316238 11408 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3276.46 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.18 4.19 5/243 946310
/proc/meminfo: memFree=129150800/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3336.35 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4492 0 0 0 322021 11614 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3336.35 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/243 946320
/proc/meminfo: memFree=129150492/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3396.25 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4496 0 0 0 327808 11817 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3396.25 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/243 946331
/proc/meminfo: memFree=129150244/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3456.14 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4500 0 0 0 333592 12022 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3456.14 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 946342
/proc/meminfo: memFree=129150036/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3516.04 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4504 0 0 0 339381 12223 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3516.04 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.12 4.16 5/243 946352
/proc/meminfo: memFree=129149740/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3575.93 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4508 0 0 0 345164 12429 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3575.93 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3606.41 s]
# the end of solver process 944437 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3474.9 s, system=125.105 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.04 4.12 4.16 5/243 946352
/proc/meminfo: memFree=129149740/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3577.63 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4508 0 0 0 345330 12433 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3577.63 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.13 4.17 5/243 946354
/proc/meminfo: memFree=129149660/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3590.4 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4508 0 0 0 346562 12478 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3590.4 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3603.2 s]
/proc/loadavg: 4.09 4.13 4.16 5/243 946355
/proc/meminfo: memFree=129149648/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3596.8 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4508 0 0 0 347181 12499 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3596.8 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3604.8 s]
/proc/loadavg: 4.09 4.13 4.16 5/241 946355
/proc/meminfo: memFree=129149648/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3598.4 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4508 0 0 0 347335 12505 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3598.4 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3605.6 s]
/proc/loadavg: 4.09 4.13 4.16 5/241 946355
/proc/meminfo: memFree=129149648/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3599.19 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4508 0 0 0 347411 12508 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3599.19 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3606 s]*
/proc/loadavg: 4.09 4.13 4.16 4/234 946386
/proc/meminfo: memFree=129198812/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3599.6 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4512 0 0 0 347451 12509 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3599.6 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
[startup+3606.4 s]
/proc/loadavg: 4.09 4.13 4.16 4/234 946386
/proc/meminfo: memFree=129198812/131655788 swapFree=131071996/131071996
[pid=944437] ppid=944434 vsize=31996 memory=19072 CPUtime=3599.99 cores=1,3
/proc/944437/stat : 944437 (LS-MabP) R 944434 944437 939693 0 -1 4194304 4512 0 0 0 347489 12510 0 0 20 0 1 0 182292309 32763904 4768 134679101440 4194304 15467897 140724225881552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 29478912 140724225885211 140724225885318 140724225885318 140724225892334 0
/proc/944437/statm: 7999 4768 1153 2753 0 4652 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 31996 KiB
Current children cumulated memory: 19072 KiB
Child status: 0
Real time (s): 3606.41
CPU time (s): 3600.01
CPU user time (s): 3474.9
CPU system time (s): 125.105
CPU usage (%): 99.8225
Max. virtual memory (cumulated for all children) (KiB): 31996
Max. memory (cumulated for all children) (KiB): 19072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3474.9
system time used= 125.105
maximum resident set size= 19072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4515
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= 6
involuntary context switches= 1009
# summary of solver processes directly reported to runsolver:
# pid: 944437
# total CPU time (s): 3600.01
# total CPU user time (s): 3474.9
# total CPU system time (s): 125.105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6842 second user time and 32.5722 second system time
The end
Begin job on nodeC009 at 2024-07-18 13:15:39
IDJOB=4442618
IDBENCH=147834
IDSOLVER=3049
FILE ID=nodeC009/4442618-1721301327
RUNJOBID= nodeC009-1721294125-939705
SLURM_JOB_ID= 7542610
Free space on /tmp= 723720 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-35-30.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-4442618-1721301327/watcher-4442618-1721301327 -o /tmp/evaluation-result-4442618-1721301327/solver-4442618-1721301327 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721294125-939705 --watchdog 3760 ./LS-MabP -f HOME/instance-4442618-1721301327.opb -t 3600 -s 20496698 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= da953313a09cceac0c8e3e7fb7d08ab4
RANDOM SEED=20496698
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 : 3672.726
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 : 3492.190
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.512
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.317
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 : 3672.806
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 : 3664.632
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.442
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.493
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: 129085288 kB
MemAvailable: 129878600 kB
Buffers: 504592 kB
Cached: 1127412 kB
SwapCached: 0 kB
Active: 981416 kB
Inactive: 1047876 kB
Active(anon): 1460 kB
Inactive(anon): 433544 kB
Active(file): 979956 kB
Inactive(file): 614332 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 33736 kB
Writeback: 36 kB
AnonPages: 397360 kB
Mapped: 119876 kB
Shmem: 37700 kB
KReclaimable: 78112 kB
Slab: 177448 kB
SReclaimable: 78112 kB
SUnreclaim: 99336 kB
KernelStack: 3840 kB
PageTables: 10140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 755860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57600 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 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= 723720 MiB
End job on nodeC009 at 2024-07-18 14:15:46