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 (63007 MiB free)
memory of node 1: 64510 MiB (62380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454017-1721454425/watcher-4454017-1721454425 -o /tmp/evaluation-result-4454017-1721454425/solver-4454017-1721454425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721447035-1036176 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=938185698 HOME/instance-4454017-1721454425.opb
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1041445, runsolver pid=1041442
[startup+0.100099 s]*
/proc/loadavg: 4.08 4.13 4.16 5/241 1041446
/proc/meminfo: memFree=128388984/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=30388 memory=11276 CPUtime=0.1 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 1561 0 0 0 10 0 0 0 20 0 1 0 197599433 31117312 2819 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 7597 2819 851 746 0 6661 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30388 KiB
Current children cumulated memory: 11276 KiB
[startup+0.212793 s]*
/proc/loadavg: 4.08 4.13 4.16 5/241 1041446
/proc/meminfo: memFree=128388648/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=30800 memory=11536 CPUtime=0.21 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 1641 0 0 0 21 0 0 0 20 0 1 0 197599433 31539200 2884 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 7700 2884 851 746 0 6764 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30800 KiB
Current children cumulated memory: 11536 KiB
[startup+0.312243 s]*
/proc/loadavg: 4.08 4.13 4.16 5/241 1041446
/proc/meminfo: memFree=128388312/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=31180 memory=11972 CPUtime=0.31 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 1735 0 0 0 31 0 0 0 20 0 1 0 197599433 31928320 2993 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 7795 2993 851 746 0 6859 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31180 KiB
Current children cumulated memory: 11972 KiB
[startup+0.700289 s]
/proc/loadavg: 4.08 4.13 4.16 5/241 1041446
/proc/meminfo: memFree=128387144/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=31972 memory=14544 CPUtime=0.69 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 1925 0 0 0 69 0 0 0 20 0 1 0 197599433 32739328 3636 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 7993 3636 851 746 0 7057 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31972 KiB
Current children cumulated memory: 14544 KiB
[startup+1.50031 s]
/proc/loadavg: 4.15 4.14 4.16 5/241 1041446
/proc/meminfo: memFree=128384200/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=33224 memory=16124 CPUtime=1.48 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 2369 0 0 0 148 0 0 0 20 0 1 0 197599433 34021376 4031 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 8306 4031 851 746 0 7370 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33224 KiB
Current children cumulated memory: 16124 KiB
[startup+3.11349 s]
/proc/loadavg: 4.15 4.14 4.16 5/242 1041447
/proc/meminfo: memFree=128381204/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=35608 memory=18012 CPUtime=3.09 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 3026 0 0 0 309 0 0 0 20 0 1 0 197599433 36462592 4503 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 8902 4503 851 746 0 7966 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35608 KiB
Current children cumulated memory: 18012 KiB
[startup+6.30028 s]
/proc/loadavg: 4.14 4.14 4.16 5/242 1041449
/proc/meminfo: memFree=128375476/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=38420 memory=23000 CPUtime=6.28 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 4235 0 0 0 627 1 0 0 20 0 1 0 197599433 39342080 5750 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 9605 5750 851 746 0 8669 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 38420 KiB
Current children cumulated memory: 23000 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.14 4.16 5/242 1041449
/proc/meminfo: memFree=128367968/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=42576 memory=27132 CPUtime=12.66 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 6387 0 0 0 1265 1 0 0 20 0 1 0 197599433 43597824 6783 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 10644 6783 851 746 0 9708 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42576 KiB
Current children cumulated memory: 27132 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.13 4.16 5/242 1041453
/proc/meminfo: memFree=128357636/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=50292 memory=36368 CPUtime=25.42 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 9805 0 0 0 2540 2 0 0 20 0 1 0 197599433 51499008 9092 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 12573 9092 851 746 0 11637 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 50292 KiB
Current children cumulated memory: 36368 KiB
[startup+51.1125 s]
/proc/loadavg: 4.13 4.14 4.16 5/242 1041456
/proc/meminfo: memFree=128346752/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=57820 memory=43068 CPUtime=50.97 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 14932 0 0 0 5094 3 0 0 20 0 1 0 197599433 59207680 10767 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 14455 10767 851 746 0 13519 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 57820 KiB
Current children cumulated memory: 43068 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.15 4.16 5/242 1041464
/proc/meminfo: memFree=128333708/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=70152 memory=54332 CPUtime=102.02 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 24396 0 0 0 10198 4 0 0 20 0 1 0 197599433 71835648 13583 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 17538 13583 851 746 0 16602 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 70152 KiB
Current children cumulated memory: 54332 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/242 1041474
/proc/meminfo: memFree=128323152/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=79244 memory=62660 CPUtime=161.85 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 33658 0 0 0 16179 6 0 0 20 0 1 0 197599433 81145856 15665 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 19811 15665 851 746 0 18875 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 79244 KiB
Current children cumulated memory: 62660 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/243 1041488
/proc/meminfo: memFree=128304352/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=89620 memory=75928 CPUtime=221.65 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 42379 0 0 0 22157 8 0 0 20 0 1 0 197599433 91770880 18982 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 22405 18982 851 746 0 21469 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 89620 KiB
Current children cumulated memory: 75928 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/243 1041498
/proc/meminfo: memFree=128294548/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=95512 memory=83852 CPUtime=281.5 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 50265 0 0 0 28140 10 0 0 20 0 1 0 197599433 97804288 20963 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 23878 20963 851 746 0 22942 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 95512 KiB
Current children cumulated memory: 83852 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/242 1041508
/proc/meminfo: memFree=128286712/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=102252 memory=88920 CPUtime=341.35 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 58182 0 0 0 34123 12 0 0 20 0 1 0 197599433 104706048 22230 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 25563 22230 851 746 0 24627 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 102252 KiB
Current children cumulated memory: 88920 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/243 1041520
/proc/meminfo: memFree=128279300/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=107052 memory=93016 CPUtime=401.2 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 65506 0 0 0 40107 13 0 0 20 0 1 0 197599433 109621248 23254 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 26763 23254 851 746 0 25827 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 107052 KiB
Current children cumulated memory: 93016 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/243 1041532
/proc/meminfo: memFree=128269292/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=115824 memory=102184 CPUtime=461.05 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 70861 0 0 0 46090 15 0 0 20 0 1 0 197599433 118603776 25546 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
################
# More data... #
################
Current children cumulated memory: 188216 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/243 1043238
/proc/meminfo: memFree=128046544/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=198632 memory=188924 CPUtime=2914.56 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 265676 0 0 0 291399 57 0 0 20 0 1 0 197599433 203399168 47231 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 49658 47231 851 746 0 48722 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 198632 KiB
Current children cumulated memory: 188924 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/241 1043248
/proc/meminfo: memFree=128045740/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=198760 memory=189052 CPUtime=2974.41 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 270935 0 0 0 297382 59 0 0 20 0 1 0 197599433 203530240 47263 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 49690 47263 851 746 0 48754 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 198760 KiB
Current children cumulated memory: 189052 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 1043261
/proc/meminfo: memFree=128043048/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=200744 memory=190480 CPUtime=3034.27 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 275490 0 0 0 303367 60 0 0 20 0 1 0 197599433 205561856 47620 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 50186 47620 851 746 0 49250 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 200744 KiB
Current children cumulated memory: 190480 KiB
[startup+3102.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/242 1043271
/proc/meminfo: memFree=128041868/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=201192 memory=190840 CPUtime=3094.11 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 280539 0 0 0 309350 61 0 0 20 0 1 0 197599433 206020608 47710 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 50298 47710 851 746 0 49362 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 201192 KiB
Current children cumulated memory: 190840 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/242 1043282
/proc/meminfo: memFree=128037320/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=202408 memory=193320 CPUtime=3153.96 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 284630 0 0 0 315334 62 0 0 20 0 1 0 197599433 207265792 48330 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 50602 48330 851 746 0 49666 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 202408 KiB
Current children cumulated memory: 193320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/245 1043298
/proc/meminfo: memFree=128032744/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=202856 memory=195432 CPUtime=3213.81 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 289302 0 0 0 321318 63 0 0 20 0 1 0 197599433 207724544 48858 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 50714 48858 851 746 0 49778 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 202856 KiB
Current children cumulated memory: 195432 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/245 1043308
/proc/meminfo: memFree=128030164/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=203112 memory=195976 CPUtime=3273.67 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 294623 0 0 0 327302 65 0 0 20 0 1 0 197599433 207986688 48994 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 50778 48994 851 746 0 49842 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 203112 KiB
Current children cumulated memory: 195976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/244 1043318
/proc/meminfo: memFree=128028124/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=203240 memory=196104 CPUtime=3333.52 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 299790 0 0 0 333286 66 0 0 20 0 1 0 197599433 208117760 49026 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 50810 49026 851 746 0 49874 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 203240 KiB
Current children cumulated memory: 196104 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 1043328
/proc/meminfo: memFree=128023072/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=204840 memory=197412 CPUtime=3393.37 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 303949 0 0 0 339270 67 0 0 20 0 1 0 197599433 209756160 49353 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 51210 49353 851 746 0 50274 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 204840 KiB
Current children cumulated memory: 197412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 1043340
/proc/meminfo: memFree=128020524/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=205416 memory=197900 CPUtime=3453.22 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 308771 0 0 0 345254 68 0 0 20 0 1 0 197599433 210345984 49475 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 51354 49475 851 746 0 50418 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 205416 KiB
Current children cumulated memory: 197900 KiB
[startup+3522.3 s]
/proc/loadavg: 3.70 4.00 4.05 4/239 1043384
/proc/meminfo: memFree=128087104/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=207084 memory=199284 CPUtime=3513.07 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 313306 0 0 0 351238 69 0 0 20 0 1 0 197599433 212054016 49821 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 51771 49821 851 746 0 50835 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 207084 KiB
Current children cumulated memory: 199284 KiB
[startup+3582.3 s]
/proc/loadavg: 2.87 3.72 3.95 3/230 1043425
/proc/meminfo: memFree=128130872/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=207148 memory=199348 CPUtime=3572.92 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 318284 0 0 0 357222 70 0 0 20 0 1 0 197599433 212119552 49837 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 51787 49837 851 746 0 50851 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 207148 KiB
Current children cumulated memory: 199348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 2.65 3.60 3.90 3/230 1043430
/proc/meminfo: memFree=128129968/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=207532 memory=199680 CPUtime=3600.06 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 320716 0 0 0 359935 71 0 0 20 0 1 0 197599433 212512768 49920 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 51883 49920 851 746 0 50947 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 207532 KiB
Current children cumulated memory: 199680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 1041445 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.36 s, system=0.713567 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 2.65 3.60 3.90 3/230 1043430
/proc/meminfo: memFree=128129968/131655788 swapFree=131071996/131071996
[pid=1041445] ppid=1041442 vsize=207532 memory=199680 CPUtime=3600.06 cores=5,7
/proc/1041445/stat : 1041445 (Exact_nosoplex) R 1041442 1041445 1036163 0 -1 4194304 320716 0 0 0 359935 71 0 0 20 0 1 0 197599433 212512768 49920 134679101440 4194304 7248369 140736245698848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 22503424 140736245707691 140736245707869 140736245707869 140736245714886 0
/proc/1041445/statm: 51883 49920 851 746 0 50947 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 207532 KiB
Current children cumulated memory: 199680 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.07
CPU user time (s): 3599.36
CPU system time (s): 0.713567
CPU usage (%): 99.7388
Max. virtual memory (cumulated for all children) (KiB): 207624
Max. memory (cumulated for all children) (KiB): 199680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.36
system time used= 0.713567
maximum resident set size= 199940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320718
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= 74
involuntary context switches= 4298
# summary of solver processes directly reported to runsolver:
# pid: 1041445
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.36
# total CPU system time (s): 0.713567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0778 second user time and 31.1657 second system time
The end
Begin job on nodeC012 at 2024-07-20 07:47:17
IDJOB=4454017
IDBENCH=176033
IDSOLVER=3061
FILE ID=nodeC012/4454017-1721454425
RUNJOBID= nodeC012-1721447035-1036176
SLURM_JOB_ID= 7545675
Free space on /tmp= 723764 MiB
SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-23arraycomm_teq_tvars_less.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454017-1721454425/watcher-4454017-1721454425 -o /tmp/evaluation-result-4454017-1721454425/solver-4454017-1721454425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721447035-1036176 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=938185698 HOME/instance-4454017-1721454425.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d417cf1b74ab4db87153ce12cf8f72e
RANDOM SEED=938185698
nodeC012.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 : 3675.731
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.37
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 : 3643.524
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.32
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.582
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.37
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.417
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.32
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 : 3675.902
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.37
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 : 3492.212
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.32
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.498
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.37
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.323
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128397192 kB
MemAvailable: 129838896 kB
Buffers: 549352 kB
Cached: 1735940 kB
SwapCached: 0 kB
Active: 1114372 kB
Inactive: 1588272 kB
Active(anon): 1472 kB
Inactive(anon): 461444 kB
Active(file): 1112900 kB
Inactive(file): 1126828 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4624 kB
Writeback: 0 kB
AnonPages: 416696 kB
Mapped: 117632 kB
Shmem: 45896 kB
KReclaimable: 84016 kB
Slab: 186636 kB
SReclaimable: 84016 kB
SUnreclaim: 102620 kB
KernelStack: 3920 kB
PageTables: 9784 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 716240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61920 kB
HardwareCorrupted: 0 kB
AnonHugePages: 266240 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: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723768 MiB
End job on nodeC012 at 2024-07-20 08:47:27