runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60535 MiB free)
memory of node 1: 64510 MiB (60262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444037-1721317538/watcher-4444037-1721317538 -o /tmp/evaluation-result-4444037-1721317538/solver-4444037-1721317538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721317550-983922 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1608326154 HOME/instance-4444037-1721317538.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=983970, runsolver pid=983967
[startup+0.10009 s]*
/proc/loadavg: 1.63 2.00 2.41 5/252 983971
/proc/meminfo: memFree=123664604/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=32152 memory=13808 CPUtime=0.1 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 2329 0 0 0 10 0 0 0 20 0 1 0 183923545 32923648 3452 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 8038 3452 755 746 0 7102 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32152 KiB
Current children cumulated memory: 13808 KiB
[startup+0.205578 s]*
/proc/loadavg: 1.63 2.00 2.41 5/250 983971
/proc/meminfo: memFree=123648716/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=36372 memory=19784 CPUtime=0.2 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3423 0 0 0 20 0 0 0 20 0 1 0 183923545 37244928 4946 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 9093 4946 755 746 0 8157 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36372 KiB
Current children cumulated memory: 19784 KiB
[startup+0.305465 s]*
/proc/loadavg: 1.63 2.00 2.41 5/256 983982
/proc/meminfo: memFree=123626780/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=40952 memory=27144 CPUtime=0.3 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 4623 0 0 0 30 0 0 0 20 0 1 0 183923545 41934848 6786 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 10238 6786 835 746 0 9302 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40952 KiB
Current children cumulated memory: 27144 KiB
[startup+0.700174 s]
/proc/loadavg: 1.63 2.00 2.41 5/256 983982
/proc/meminfo: memFree=123607616/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=41744 memory=29716 CPUtime=0.68 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 4806 0 0 0 68 0 0 0 20 0 1 0 183923545 42745856 7429 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 10436 7429 835 746 0 9500 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41744 KiB
Current children cumulated memory: 29716 KiB
[startup+1.50018 s]
/proc/loadavg: 1.63 2.00 2.41 5/256 983982
/proc/meminfo: memFree=123571568/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=42628 memory=34888 CPUtime=1.48 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 6044 0 0 0 148 0 0 0 20 0 1 0 183923545 43651072 8722 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 10657 8722 835 746 0 9721 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42628 KiB
Current children cumulated memory: 34888 KiB
[startup+3.10533 s]
/proc/loadavg: 1.90 2.05 2.42 5/254 983996
/proc/meminfo: memFree=123616700/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=42608 memory=35008 CPUtime=3.09 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 8189 0 0 0 308 1 0 0 20 0 1 0 183923545 43630592 8752 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 10652 8752 835 746 0 9716 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42608 KiB
Current children cumulated memory: 35008 KiB
[startup+6.30015 s]
/proc/loadavg: 1.90 2.05 2.42 5/252 983998
/proc/meminfo: memFree=123615380/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=42792 memory=35204 CPUtime=6.28 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 14573 0 0 0 626 2 0 0 20 0 1 0 183923545 43819008 8801 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 10698 8801 835 746 0 9762 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 35204 KiB
[startup+12.7002 s]
/proc/loadavg: 2.07 2.08 2.43 5/254 984076
/proc/meminfo: memFree=123651360/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=42976 memory=35396 CPUtime=12.66 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 24120 0 0 0 1262 4 0 0 20 0 1 0 183923545 44007424 8849 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 10744 8849 835 746 0 9808 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42976 KiB
Current children cumulated memory: 35396 KiB
[startup+25.5002 s]
/proc/loadavg: 2.50 2.17 2.46 5/254 984125
/proc/meminfo: memFree=123637876/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=48088 memory=39616 CPUtime=25.43 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 43316 0 0 0 2536 7 0 0 20 0 1 0 183923545 49242112 9904 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 12022 9904 835 746 0 11086 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 48088 KiB
Current children cumulated memory: 39616 KiB
[startup+51.1054 s]
/proc/loadavg: 3.01 2.32 2.50 5/254 984128
/proc/meminfo: memFree=123632624/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=44688 memory=37112 CPUtime=50.97 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 77229 0 0 0 5084 13 0 0 20 0 1 0 183923545 45760512 9278 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 11172 9278 835 746 0 10236 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 44688 KiB
Current children cumulated memory: 37112 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.60 2.59 5/254 984227
/proc/meminfo: memFree=123629464/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=46536 memory=38960 CPUtime=102.04 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 142127 0 0 0 10180 24 0 0 20 0 1 0 183923545 47652864 9740 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 11634 9740 835 746 0 10698 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 46536 KiB
Current children cumulated memory: 38960 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.87 2.68 5/254 984282
/proc/meminfo: memFree=123623152/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=47620 memory=42092 CPUtime=161.89 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 209756 0 0 0 16153 36 0 0 20 0 1 0 183923545 48762880 10523 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 11905 10523 835 746 0 10969 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 47620 KiB
Current children cumulated memory: 42092 KiB
[startup+222.3 s]
/proc/loadavg: 3.95 3.08 2.77 5/254 984614
/proc/meminfo: memFree=123622628/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=49008 memory=43480 CPUtime=221.75 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 274061 0 0 0 22126 49 0 0 20 0 1 0 183923545 50184192 10870 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 12252 10870 835 746 0 11316 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 49008 KiB
Current children cumulated memory: 43480 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.27 2.85 5/254 984715
/proc/meminfo: memFree=123617544/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=49760 memory=44232 CPUtime=281.61 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 338757 0 0 0 28101 60 0 0 20 0 1 0 183923545 50954240 11058 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 12440 11058 835 746 0 11504 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 49760 KiB
Current children cumulated memory: 44232 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.42 2.93 5/257 985511
/proc/meminfo: memFree=123603008/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=50512 memory=44984 CPUtime=341.45 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 399291 0 0 0 34075 70 0 0 20 0 1 0 183923545 51724288 11246 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 12628 11246 835 746 0 11692 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 50512 KiB
Current children cumulated memory: 44984 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.57 3.02 5/257 985568
/proc/meminfo: memFree=123600240/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=50964 memory=45436 CPUtime=401.28 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 467839 0 0 0 40046 82 0 0 20 0 1 0 183923545 52187136 11359 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 12741 11359 835 746 0 11805 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 50964 KiB
Current children cumulated memory: 45436 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.66 3.09 5/257 985670
/proc/meminfo: memFree=123600552/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=51764 memory=46236 CPUtime=461.1 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 528849 0 0 0 46018 92 0 0 20 0 1 0 183923545 53006336 11559 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 12941 11559 835 746 0 12005 0
################
# More data... #
################
/proc/loadavg: 4.14 4.10 4.02 5/259 987515
/proc/meminfo: memFree=123639956/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=65896 memory=60860 CPUtime=2855.04 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 2895020 0 0 0 285009 495 0 0 20 0 1 0 183923545 67477504 15215 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16474 15215 835 746 0 15538 0
Current children cumulated CPU time: 2855.04 s
Current children cumulated vsize: 65896 KiB
Current children cumulated memory: 60860 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/259 987526
/proc/meminfo: memFree=123638504/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=66120 memory=61084 CPUtime=2914.86 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 2936366 0 0 0 290984 502 0 0 20 0 1 0 183923545 67706880 15271 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16530 15271 835 746 0 15594 0
Current children cumulated CPU time: 2914.86 s
Current children cumulated vsize: 66120 KiB
Current children cumulated memory: 61084 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/259 987536
/proc/meminfo: memFree=123636016/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=66152 memory=61116 CPUtime=2974.69 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 2967237 0 0 0 296959 510 0 0 20 0 1 0 183923545 67739648 15279 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16538 15279 835 746 0 15602 0
Current children cumulated CPU time: 2974.69 s
Current children cumulated vsize: 66152 KiB
Current children cumulated memory: 61116 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/255 987546
/proc/meminfo: memFree=123635044/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=66424 memory=61388 CPUtime=3034.51 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3022125 0 0 0 302933 518 0 0 20 0 1 0 183923545 68018176 15347 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16606 15347 835 746 0 15670 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 66424 KiB
Current children cumulated memory: 61388 KiB
[startup+3102.3 s]
/proc/loadavg: 4.28 4.16 4.05 5/255 987557
/proc/meminfo: memFree=123634676/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=66504 memory=61468 CPUtime=3094.35 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3081085 0 0 0 308908 527 0 0 20 0 1 0 183923545 68100096 15367 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16626 15367 835 746 0 15690 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 66504 KiB
Current children cumulated memory: 61468 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.14 4.05 5/254 987567
/proc/meminfo: memFree=123633900/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=66632 memory=61596 CPUtime=3154.22 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3141108 0 0 0 314885 537 0 0 20 0 1 0 183923545 68231168 15399 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16658 15399 835 746 0 15722 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 66632 KiB
Current children cumulated memory: 61596 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.05 5/254 987577
/proc/meminfo: memFree=123631644/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=66696 memory=61660 CPUtime=3214.07 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3200063 0 0 0 320861 546 0 0 20 0 1 0 183923545 68296704 15415 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16674 15415 835 746 0 15738 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 66696 KiB
Current children cumulated memory: 61660 KiB
[startup+3282.3 s]
/proc/loadavg: 4.43 4.23 4.09 5/254 987587
/proc/meminfo: memFree=123632184/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=66968 memory=61932 CPUtime=3273.92 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3258018 0 0 0 326837 555 0 0 20 0 1 0 183923545 68575232 15483 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16742 15483 835 746 0 15806 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 66968 KiB
Current children cumulated memory: 61932 KiB
[startup+3327.1 s]
# the end of solver process 983970 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=3313.01 s, system=5.62736 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3302.4 s]
/proc/loadavg: 4.31 4.21 4.09 5/256 987595
/proc/meminfo: memFree=123631736/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=67080 memory=62044 CPUtime=3293.99 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3276926 0 0 0 328840 559 0 0 20 0 1 0 183923545 68689920 15511 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16770 15511 835 746 0 15834 0
Current children cumulated CPU time: 3293.99 s
Current children cumulated vsize: 67080 KiB
Current children cumulated memory: 62044 KiB
[startup+3315.2 s]
/proc/loadavg: 4.46 4.25 4.10 5/256 987598
/proc/meminfo: memFree=123631372/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=67160 memory=62124 CPUtime=3306.75 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3288518 0 0 0 330115 560 0 0 20 0 1 0 183923545 68771840 15531 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16790 15531 835 746 0 15854 0
Current children cumulated CPU time: 3306.75 s
Current children cumulated vsize: 67160 KiB
Current children cumulated memory: 62124 KiB
[startup+3321.6 s]
/proc/loadavg: 4.50 4.26 4.11 5/256 987598
/proc/meminfo: memFree=123631284/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=67208 memory=62172 CPUtime=3313.13 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3293790 0 0 0 330752 561 0 0 20 0 1 0 183923545 68820992 15543 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16802 15543 835 746 0 15866 0
Current children cumulated CPU time: 3313.13 s
Current children cumulated vsize: 67208 KiB
Current children cumulated memory: 62172 KiB
[startup+3324.8 s]
/proc/loadavg: 4.54 4.28 4.11 5/256 987598
/proc/meminfo: memFree=123631260/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=67272 memory=62236 CPUtime=3316.33 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3296962 0 0 0 331071 562 0 0 20 0 1 0 183923545 68886528 15559 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16818 15559 835 746 0 15882 0
Current children cumulated CPU time: 3316.33 s
Current children cumulated vsize: 67272 KiB
Current children cumulated memory: 62236 KiB
[startup+3326.4 s]
/proc/loadavg: 4.54 4.28 4.11 5/256 987599
/proc/meminfo: memFree=123631252/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=67272 memory=62236 CPUtime=3317.92 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3299093 0 0 0 331230 562 0 0 20 0 1 0 183923545 68886528 15559 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16818 15559 835 746 0 15882 0
Current children cumulated CPU time: 3317.92 s
Current children cumulated vsize: 67272 KiB
Current children cumulated memory: 62236 KiB
[startup+3326.8 s]
/proc/loadavg: 4.54 4.28 4.11 5/256 987599
/proc/meminfo: memFree=123631252/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=67272 memory=62236 CPUtime=3318.32 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3299093 0 0 0 331270 562 0 0 20 0 1 0 183923545 68886528 15559 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16818 15559 835 746 0 15882 0
Current children cumulated CPU time: 3318.32 s
Current children cumulated vsize: 67272 KiB
Current children cumulated memory: 62236 KiB
[startup+3327 s]*
/proc/loadavg: 4.54 4.28 4.11 5/256 987599
/proc/meminfo: memFree=123631280/131524600 swapFree=131071996/131071996
[pid=983970] ppid=983967 vsize=67272 memory=62236 CPUtime=3318.53 cores=5,7
/proc/983970/stat : 983970 (Exact_nosoplex) R 983967 983970 983909 0 -1 4194304 3299093 0 0 0 331291 562 0 0 20 0 1 0 183923545 68886528 15559 134679101440 4194304 7248369 140723223715600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 29757440 140723223724971 140723223725150 140723223725150 140723223732166 0
/proc/983970/statm: 16818 15559 835 746 0 15882 0
Current children cumulated CPU time: 3318.53 s
Current children cumulated vsize: 67272 KiB
Current children cumulated memory: 62236 KiB
Child status: 30
Real time (s): 3327.1
CPU time (s): 3318.64
CPU user time (s): 3313.01
CPU system time (s): 5.62736
CPU usage (%): 99.7455
Max. virtual memory (cumulated for all children) (KiB): 71496
Max. memory (cumulated for all children) (KiB): 66232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3313.01
system time used= 5.62736
maximum resident set size= 66424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3299095
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= 21
involuntary context switches= 4399
# summary of solver processes directly reported to runsolver:
# pid: 983970
# total CPU time (s): 3318.64
# total CPU user time (s): 3313.01
# total CPU system time (s): 5.62736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14942 second user time and 13.3056 second system time
The end
Begin job on nodeC033 at 2024-07-18 17:45:50
IDJOB=4444037
IDBENCH=147894
IDSOLVER=3061
FILE ID=nodeC033/4444037-1721317538
RUNJOBID= nodeC033-1721317550-983922
SLURM_JOB_ID= 7542664
Free space on /tmp= 890056 MiB
SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.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-4444037-1721317538/watcher-4444037-1721317538 -o /tmp/evaluation-result-4444037-1721317538/solver-4444037-1721317538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721317550-983922 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1608326154 HOME/instance-4444037-1721317538.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=1608326154
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.324
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.286
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3656.220
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.383
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3635.193
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.992
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.670
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.691
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123704764 kB
MemAvailable: 129603928 kB
Buffers: 523928 kB
Cached: 6138212 kB
SwapCached: 0 kB
Active: 962104 kB
Inactive: 6087892 kB
Active(anon): 1492 kB
Inactive(anon): 424072 kB
Active(file): 960612 kB
Inactive(file): 5663820 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 35224 kB
Writeback: 16 kB
AnonPages: 385580 kB
Mapped: 110340 kB
Shmem: 37716 kB
KReclaimable: 228756 kB
Slab: 355540 kB
SReclaimable: 228756 kB
SUnreclaim: 126784 kB
KernelStack: 4044 kB
PageTables: 9768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 750504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68192 kB
HardwareCorrupted: 0 kB
AnonHugePages: 251904 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC033 at 2024-07-18 18:41:18