0.00/0.09 c Filename:instance-4447477-1721358834.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.09 c Not use presolve
3599.90/3609.38 c Use LS-small
3599.90/3609.38 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: 64096 MiB (59325 MiB free)
memory of node 1: 64473 MiB (60836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447477-1721358834/watcher-4447477-1721358834 -o /tmp/evaluation-result-4447477-1721358834/solver-4447477-1721358834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996697 --watchdog 3760 ./LS-MabS -f HOME/instance-4447477-1721358834.opb -t 3600 -s 20560014
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=998940, runsolver pid=998937
[startup+0.100101 s]*
/proc/loadavg: 4.02 4.09 4.11 5/243 998941
/proc/meminfo: memFree=123034172/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=34960 memory=25120 CPUtime=0.1 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 4053 0 0 0 10 0 0 0 20 0 1 0 188042142 35799040 6280 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 8740 6280 2461 2403 0 5850 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 25120 KiB
[startup+0.212831 s]*
/proc/loadavg: 4.02 4.09 4.11 5/243 998941
/proc/meminfo: memFree=123030420/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=34768 memory=26216 CPUtime=0.21 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 4766 0 0 0 21 0 0 0 20 0 1 0 188042142 35602432 6554 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 8692 6554 2461 2403 0 5802 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34768 KiB
Current children cumulated memory: 26216 KiB
[startup+0.312659 s]*
/proc/loadavg: 4.02 4.09 4.11 5/243 998941
/proc/meminfo: memFree=123025076/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=38876 memory=29648 CPUtime=0.32 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 5674 0 0 0 31 1 0 0 20 0 1 0 188042142 39809024 7412 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 9719 7412 2461 2403 0 6829 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 38876 KiB
Current children cumulated memory: 29648 KiB
[startup+0.7003 s]
/proc/loadavg: 4.02 4.09 4.11 5/243 998941
/proc/meminfo: memFree=123019560/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=51112 memory=40208 CPUtime=0.69 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 8306 0 0 0 68 1 0 0 20 0 1 0 188042142 52338688 10052 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 12778 10052 2461 2403 0 9888 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51112 KiB
Current children cumulated memory: 40208 KiB
[startup+1.50031 s]
/proc/loadavg: 4.02 4.09 4.11 5/243 998941
/proc/meminfo: memFree=123011832/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=53680 memory=43904 CPUtime=1.48 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 9203 0 0 0 147 1 0 0 20 0 1 0 188042142 54968320 10976 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 13420 10976 2461 2403 0 10530 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53680 KiB
Current children cumulated memory: 43904 KiB
[startup+3.11268 s]
/proc/loadavg: 4.02 4.09 4.11 5/243 998941
/proc/meminfo: memFree=122998060/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=66152 memory=56600 CPUtime=3.09 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 13037 0 0 0 307 2 0 0 20 0 1 0 188042142 67739648 14150 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 16538 14150 2461 2403 0 13648 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 66152 KiB
Current children cumulated memory: 56600 KiB
[startup+6.30029 s]
/proc/loadavg: 4.02 4.09 4.11 5/243 998942
/proc/meminfo: memFree=122992768/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=67724 memory=58120 CPUtime=6.27 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 15182 0 0 0 625 2 0 0 20 0 1 0 188042142 69349376 14530 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 16931 14530 2461 2403 0 14041 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 67724 KiB
Current children cumulated memory: 58120 KiB
[startup+12.7003 s]
/proc/loadavg: 4.02 4.08 4.11 5/243 998942
/proc/meminfo: memFree=122984640/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=72436 memory=62872 CPUtime=12.64 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 16415 0 0 0 1262 2 0 0 20 0 1 0 188042142 74174464 15718 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 18109 15718 2461 2403 0 15219 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 72436 KiB
Current children cumulated memory: 62872 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.11 5/243 998945
/proc/meminfo: memFree=122963900/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=87276 memory=77336 CPUtime=25.41 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 20042 0 0 0 2538 3 0 0 20 0 1 0 188042142 89370624 19334 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 21819 19334 2461 2403 0 18929 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 87276 KiB
Current children cumulated memory: 77336 KiB
[startup+51.1119 s]
/proc/loadavg: 4.05 4.09 4.10 5/243 998950
/proc/meminfo: memFree=122912956/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=121132 memory=111512 CPUtime=50.92 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 29150 0 0 0 5088 4 0 0 20 0 1 0 188042142 124039168 27878 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 30283 27878 2461 2403 0 27393 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 121132 KiB
Current children cumulated memory: 111512 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/242 998958
/proc/meminfo: memFree=122804928/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=198716 memory=186168 CPUtime=101.93 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 47473 0 0 0 10186 7 0 0 20 0 1 0 188042142 203485184 46542 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 49679 46542 2461 2403 0 46789 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 198716 KiB
Current children cumulated memory: 186168 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/242 998969
/proc/meminfo: memFree=122684368/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=281876 memory=267444 CPUtime=161.72 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 68022 0 0 0 16161 11 0 0 20 0 1 0 188042142 288641024 66861 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 70469 66861 2461 2403 0 67579 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 281876 KiB
Current children cumulated memory: 267444 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/242 998979
/proc/meminfo: memFree=122567968/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=365380 memory=345408 CPUtime=221.5 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 86592 0 0 0 22136 14 0 0 20 0 1 0 188042142 374149120 86352 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 91345 86352 2461 2403 0 88455 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 365380 KiB
Current children cumulated memory: 345408 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/242 998989
/proc/meminfo: memFree=122453128/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=441408 memory=423080 CPUtime=281.29 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 104332 0 0 0 28111 18 0 0 20 0 1 0 188042142 452001792 105770 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 110352 105770 2461 2403 0 107462 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 441408 KiB
Current children cumulated memory: 423080 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/241 999000
/proc/meminfo: memFree=122340872/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=520616 memory=499952 CPUtime=341.07 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 121616 0 0 0 34085 22 0 0 20 0 1 0 188042142 533110784 124988 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 130154 124988 2461 2403 0 127264 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 520616 KiB
Current children cumulated memory: 499952 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/244 999016
/proc/meminfo: memFree=122233744/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=593308 memory=568992 CPUtime=400.87 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 139260 0 0 0 40061 26 0 0 20 0 1 0 188042142 607547392 142248 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 148327 142248 2461 2403 0 145437 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 593308 KiB
Current children cumulated memory: 568992 KiB
[startup+462.3 s]
/proc/loadavg: 4.30 4.16 4.11 5/244 999026
/proc/meminfo: memFree=122127724/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=657136 memory=636828 CPUtime=460.65 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 155756 0 0 0 46035 30 0 0 20 0 1 0 188042142 672907264 159207 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 164284 159207 2461 2403 0 161394 0
################
# More data... #
################
/proc/loadavg: 4.06 4.10 4.12 5/242 1000831
/proc/meminfo: memFree=122794800/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3213.67 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 284718 36649 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/242 1000841
/proc/meminfo: memFree=122744932/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3273.55 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 289158 38197 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/242 1000852
/proc/meminfo: memFree=122691200/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3333.43 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 293602 39741 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3402.3 s]
/proc/loadavg: 4.57 4.22 4.15 5/244 1000867
/proc/meminfo: memFree=122639940/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3393.31 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 298055 41276 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3462.3 s]
/proc/loadavg: 4.62 4.30 4.19 5/243 1000877
/proc/meminfo: memFree=122582340/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3453.19 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 302491 42828 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.27 4.18 5/243 1000888
/proc/meminfo: memFree=122529304/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3513.07 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 306930 44377 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.25 4.18 5/243 1000898
/proc/meminfo: memFree=122473588/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3572.95 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 311367 45928 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3609.39 s]
# the end of solver process 998940 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3133.72 s, system=466.283 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.22 4.25 4.18 5/243 1000898
/proc/meminfo: memFree=122471404/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3574.66 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 311495 45971 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3574.66 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3596.8 s]
/proc/loadavg: 4.31 4.27 4.19 5/243 1000901
/proc/meminfo: memFree=122461016/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3587.43 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 312444 46299 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3603.2 s]
/proc/loadavg: 4.37 4.29 4.19 5/243 1000901
/proc/meminfo: memFree=122455136/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3593.82 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 312909 46473 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3593.82 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3606.4 s]
/proc/loadavg: 4.34 4.28 4.19 5/243 1000903
/proc/meminfo: memFree=122451020/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3597.01 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 313147 46554 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3597.01 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3608 s]*
/proc/loadavg: 4.34 4.28 4.19 5/243 1000903
/proc/meminfo: memFree=122449312/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3598.62 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 313267 46595 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3598.62 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3608.8 s]
/proc/loadavg: 4.34 4.28 4.19 5/243 1000903
/proc/meminfo: memFree=122449312/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3599.41 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 313327 46614 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3599.41 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3609.2 s]
/proc/loadavg: 4.34 4.28 4.19 5/243 1000903
/proc/meminfo: memFree=122448444/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3599.8 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 313357 46623 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3599.8 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
[startup+3609.3 s]
/proc/loadavg: 4.34 4.28 4.19 5/243 1000903
/proc/meminfo: memFree=122448444/131655788 swapFree=131071996/131071996
[pid=998940] ppid=998937 vsize=952380 memory=945472 CPUtime=3599.9 cores=4,6
/proc/998940/stat : 998940 (LS-MabS) R 998937 998940 996686 0 -1 4194304 460450 0 0 0 313365 46625 0 0 20 0 1 0 188042142 975237120 236368 134679101440 4194304 14036057 140723458931344 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 32030720 140723458933794 140723458933894 140723458933894 140723458940910 0
/proc/998940/statm: 238095 236368 2461 2403 0 235205 0
Current children cumulated CPU time: 3599.9 s
Current children cumulated vsize: 952380 KiB
Current children cumulated memory: 945472 KiB
Child status: 0
Real time (s): 3609.39
CPU time (s): 3600
CPU user time (s): 3133.72
CPU system time (s): 466.283
CPU usage (%): 99.7399
Max. virtual memory (cumulated for all children) (KiB): 1931888
Max. memory (cumulated for all children) (KiB): 1911600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3133.72
system time used= 466.283
maximum resident set size= 1911600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460456
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= 203
involuntary context switches= 3042
# summary of solver processes directly reported to runsolver:
# pid: 998940
# total CPU time (s): 3600
# total CPU user time (s): 3133.72
# total CPU system time (s): 466.283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9114 second user time and 32.5334 second system time
The end
Begin job on nodeC005 at 2024-07-19 05:14:05
IDJOB=4447477
IDBENCH=158911
IDSOLVER=3048
FILE ID=nodeC005/4447477-1721358834
RUNJOBID= nodeC005-1721354589-996697
SLURM_JOB_ID= 7542776
Free space on /tmp= 723744 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-92.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447477-1721358834/watcher-4447477-1721358834 -o /tmp/evaluation-result-4447477-1721358834/solver-4447477-1721358834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996697 --watchdog 3760 ./LS-MabS -f HOME/instance-4447477-1721358834.opb -t 3600 -s 20560014
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d059f39552443ed7b428fbc50456c2f5
RANDOM SEED=20560014
nodeC005.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 : 3663.272
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 3647.467
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.35
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.223
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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.280
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.35
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 : 3491.778
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 3647.510
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.35
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.179
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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.211
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123046360 kB
MemAvailable: 128482776 kB
Buffers: 513416 kB
Cached: 5705188 kB
SwapCached: 0 kB
Active: 1079148 kB
Inactive: 6834236 kB
Active(anon): 3464 kB
Inactive(anon): 1737240 kB
Active(file): 1075684 kB
Inactive(file): 5096996 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13144 kB
Writeback: 0 kB
AnonPages: 1693964 kB
Mapped: 137804 kB
Shmem: 45896 kB
KReclaimable: 207868 kB
Slab: 325892 kB
SReclaimable: 207868 kB
SUnreclaim: 118024 kB
KernelStack: 4000 kB
PageTables: 12808 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2275216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59584 kB
HardwareCorrupted: 0 kB
AnonHugePages: 937984 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC005 at 2024-07-19 06:14:15