33.49/33.66 c Filename:instance-4441507-1721293694.opb, Cutoff_time:3600, memory_limit_gb:500000
33.49/33.66 c Not use presolve
3599.99/3608.80 c Use LS-small
3599.99/3608.80 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: 63968 MiB (62910 MiB free)
memory of node 1: 64473 MiB (63377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441507-1721293694/watcher-4441507-1721293694 -o /tmp/evaluation-result-4441507-1721293694/solver-4441507-1721293694 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721293706-945767 --watchdog 3760 ./LS-MabS -f HOME/instance-4441507-1721293694.opb -t 3600 -s 1487533331
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=945822, runsolver pid=945809
[startup+0.100211 s]*
/proc/loadavg: 1.05 1.08 1.14 8/258 945828
/proc/meminfo: memFree=129211248/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=86764 memory=23380 CPUtime=0.09 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 5244 0 0 0 9 0 0 0 20 0 1 0 181536409 88846336 5845 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 21691 5845 749 2403 0 18801 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86764 KiB
Current children cumulated memory: 23380 KiB
[startup+0.206169 s]*
/proc/loadavg: 1.05 1.08 1.14 6/258 945828
/proc/meminfo: memFree=129171452/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=97060 memory=35788 CPUtime=0.2 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 8297 0 0 0 19 1 0 0 20 0 1 0 181536409 99389440 8947 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 24265 8947 749 2403 0 21375 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97060 KiB
Current children cumulated memory: 35788 KiB
[startup+0.306342 s]*
/proc/loadavg: 1.05 1.08 1.14 8/258 945828
/proc/meminfo: memFree=129101172/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=122332 memory=64928 CPUtime=0.3 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 15674 0 0 0 28 2 0 0 20 0 1 0 181536409 125267968 16232 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 30583 16232 749 2403 0 27693 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 122332 KiB
Current children cumulated memory: 64928 KiB
[startup+0.700228 s]
/proc/loadavg: 1.05 1.08 1.14 9/258 945828
/proc/meminfo: memFree=128767748/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=406268 memory=353856 CPUtime=0.69 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 87047 0 0 0 57 12 0 0 20 0 1 0 181536409 416018432 88464 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 101567 88464 2221 2403 0 98677 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 406268 KiB
Current children cumulated memory: 353856 KiB
[startup+1.50022 s]
/proc/loadavg: 1.05 1.08 1.14 8/258 945828
/proc/meminfo: memFree=127874696/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=654132 memory=594524 CPUtime=1.48 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 146157 0 0 0 129 19 0 0 20 0 1 0 181536409 669831168 148631 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 163533 148631 2301 2403 0 160643 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 654132 KiB
Current children cumulated memory: 594524 KiB
[startup+3.10675 s]
/proc/loadavg: 1.05 1.08 1.14 8/258 945828
/proc/meminfo: memFree=126694912/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=819180 memory=756724 CPUtime=3.09 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 185130 0 0 0 283 26 0 0 20 0 1 0 181536409 838840320 189181 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 204795 189181 2349 2403 0 201905 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 819180 KiB
Current children cumulated memory: 756724 KiB
[startup+6.30018 s]
/proc/loadavg: 1.28 1.12 1.16 8/258 945830
/proc/meminfo: memFree=126276604/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=846356 memory=784560 CPUtime=6.27 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 192194 0 0 0 599 28 0 0 20 0 1 0 181536409 866668544 196140 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 211589 196140 2349 2403 0 208699 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 846356 KiB
Current children cumulated memory: 784560 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.19 1.18 8/258 945830
/proc/meminfo: memFree=125592260/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1177780 memory=1101296 CPUtime=12.66 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 262730 0 0 0 1225 41 0 0 20 0 1 0 181536409 1206046720 275324 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 294445 275324 2461 2403 0 291555 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1177780 KiB
Current children cumulated memory: 1101296 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 1.34 1.23 8/258 945831
/proc/meminfo: memFree=124669136/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1207976 memory=1131716 CPUtime=25.42 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 269847 0 0 0 2499 43 0 0 20 0 1 0 181536409 1236967424 282929 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 301994 282929 2461 2403 0 299104 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1207976 KiB
Current children cumulated memory: 1131716 KiB
[startup+51.1055 s]
/proc/loadavg: 2.81 1.56 1.30 7/258 945836
/proc/meminfo: memFree=124262436/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1587240 memory=1502620 CPUtime=50.97 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 362595 0 0 0 5040 57 0 0 20 0 1 0 181536409 1625333760 375655 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 396810 375655 2461 2403 0 393920 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1587240 KiB
Current children cumulated memory: 1502620 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.95 1.45 7/260 945848
/proc/meminfo: memFree=123691948/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1587240 memory=1503884 CPUtime=102.06 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 363322 0 0 0 10147 59 0 0 20 0 1 0 181536409 1625333760 375971 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 396810 375971 2477 2403 0 393920 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 1587240 KiB
Current children cumulated memory: 1503884 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 2.37 1.63 8/260 945860
/proc/meminfo: memFree=123701012/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1576668 memory=1494524 CPUtime=161.93 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 364190 0 0 0 16134 59 0 0 20 0 1 0 181536409 1614508032 373631 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 394167 373631 2477 2403 0 391277 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 1576668 KiB
Current children cumulated memory: 1494524 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.67 1.78 8/260 945870
/proc/meminfo: memFree=123697508/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1576668 memory=1494648 CPUtime=221.8 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 364320 0 0 0 22121 59 0 0 20 0 1 0 181536409 1614508032 373662 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 394167 373662 2477 2403 0 391277 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 1576668 KiB
Current children cumulated memory: 1494648 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.95 1.93 8/260 945882
/proc/meminfo: memFree=123690768/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1576668 memory=1500772 CPUtime=281.68 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 364493 0 0 0 28108 60 0 0 20 0 1 0 181536409 1614508032 375193 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 394167 375193 2477 2403 0 391277 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 1576668 KiB
Current children cumulated memory: 1500772 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.17 2.08 8/256 945892
/proc/meminfo: memFree=123689888/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1576668 memory=1500832 CPUtime=341.55 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 364765 0 0 0 34095 60 0 0 20 0 1 0 181536409 1614508032 375208 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 394167 375208 2477 2403 0 391277 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 1576668 KiB
Current children cumulated memory: 1500832 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.34 2.21 8/257 945906
/proc/meminfo: memFree=123686792/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1576668 memory=1503444 CPUtime=401.42 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 365067 0 0 0 40082 60 0 0 20 0 1 0 181536409 1614508032 375861 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 394167 375861 2477 2403 0 391277 0
Current children cumulated CPU time: 401.42 s
Current children cumulated vsize: 1576668 KiB
Current children cumulated memory: 1503444 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.48 2.33 7/256 945917
/proc/meminfo: memFree=123686376/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1576668 memory=1503444 CPUtime=461.27 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 365081 0 0 0 46067 60 0 0 20 0 1 0 181536409 1614508032 375861 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 394167 375861 2477 2403 0 391277 0
################
# More data... #
################
/proc/loadavg: 4.15 4.12 4.03 8/258 947592
/proc/meminfo: memFree=123947476/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3154.56 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 375326 0 0 0 312953 2503 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.04 8/258 947602
/proc/meminfo: memFree=123947404/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3214.42 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 375455 0 0 0 318867 2575 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3214.42 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.03 8/258 947613
/proc/meminfo: memFree=123946872/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3274.28 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 375584 0 0 0 324793 2635 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 8/256 947623
/proc/meminfo: memFree=123946228/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3334.14 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 375713 0 0 0 330693 2721 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.04 8/255 947634
/proc/meminfo: memFree=123945888/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3393.99 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 375842 0 0 0 336600 2799 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.04 8/254 947644
/proc/meminfo: memFree=123944928/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3453.84 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 375971 0 0 0 342473 2911 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3453.84 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.04 8/254 947654
/proc/meminfo: memFree=123922468/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3513.7 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 376100 0 0 0 348323 3047 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3513.7 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.04 8/254 947666
/proc/meminfo: memFree=123918120/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3573.56 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 376229 0 0 0 354211 3145 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3573.56 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3608.82 s]
# the end of solver process 945822 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.14 s, system=31.8889 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.04 8/254 947666
/proc/meminfo: memFree=123918156/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3575.26 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 376229 0 0 0 354378 3148 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3575.26 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.11 4.05 8/254 947669
/proc/meminfo: memFree=123917844/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3588.03 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 376248 0 0 0 355633 3170 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3588.03 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.11 4.05 10/255 947670
/proc/meminfo: memFree=123916076/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3594.41 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 376272 0 0 0 356261 3180 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3594.41 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3606.4 s]
/proc/loadavg: 4.12 4.11 4.04 7/249 947680
/proc/meminfo: memFree=124048844/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3597.6 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 376272 0 0 0 356575 3185 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3597.6 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3608 s]*
/proc/loadavg: 4.12 4.11 4.04 6/254 947764
/proc/meminfo: memFree=126697608/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3599.2 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 376272 0 0 0 356733 3187 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3599.2 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3608.4 s]
/proc/loadavg: 4.12 4.11 4.04 6/254 947764
/proc/meminfo: memFree=126697608/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3599.59 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 376272 0 0 0 356772 3187 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3599.59 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
[startup+3608.8 s]
/proc/loadavg: 4.12 4.11 4.04 6/254 947764
/proc/meminfo: memFree=126697608/131524600 swapFree=131071996/131071996
[pid=945822] ppid=945809 vsize=1366056 memory=1358336 CPUtime=3599.99 cores=5,7
/proc/945822/stat : 945822 (LS-MabS) R 945809 945822 945754 0 -1 4194304 376272 0 0 0 356811 3188 0 0 20 0 1 0 181536409 1398841344 339584 134679101440 4194304 14036057 140725700339472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 36704256 140725700346912 140725700347014 140725700347014 140725700354030 0
/proc/945822/statm: 341514 339584 2508 2403 0 338624 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 1366056 KiB
Current children cumulated memory: 1358336 KiB
Child status: 0
Real time (s): 3608.82
CPU time (s): 3600.03
CPU user time (s): 3568.14
CPU system time (s): 31.8889
CPU usage (%): 99.7562
Max. virtual memory (cumulated for all children) (KiB): 1587240
Max. memory (cumulated for all children) (KiB): 1568224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.14
system time used= 31.8889
maximum resident set size= 1568224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376285
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= 30
involuntary context switches= 2843
# summary of solver processes directly reported to runsolver:
# pid: 945822
# total CPU time (s): 3600.03
# total CPU user time (s): 3568.14
# total CPU system time (s): 31.8889
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95493 second user time and 17.1753 second system time
The end
Begin job on nodeC028 at 2024-07-18 11:08:26
IDJOB=4441507
IDBENCH=147715
IDSOLVER=3048
FILE ID=nodeC028/4441507-1721293694
RUNJOBID= nodeC028-1721293706-945767
SLURM_JOB_ID= 7542588
Free space on /tmp= 890040 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.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-4441507-1721293694/watcher-4441507-1721293694 -o /tmp/evaluation-result-4441507-1721293694/solver-4441507-1721293694 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721293706-945767 --watchdog 3760 ./LS-MabS -f HOME/instance-4441507-1721293694.opb -t 3600 -s 1487533331
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9eed4e4053f96ba2bc9edbdfe874048
RANDOM SEED=1487533331
nodeC028.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 : 3762.431
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.56
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 : 3571.627
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 : 7005.59
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 : 3606.811
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.56
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 : 3610.361
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 : 7005.59
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 : 3595.788
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.56
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 : 3568.072
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 : 7005.59
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 : 3637.654
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.56
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 : 3627.048
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 : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129319884 kB
MemAvailable: 129746904 kB
Buffers: 473736 kB
Cached: 795028 kB
SwapCached: 0 kB
Active: 972816 kB
Inactive: 635744 kB
Active(anon): 1444 kB
Inactive(anon): 376076 kB
Active(file): 971372 kB
Inactive(file): 259668 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85284 kB
Writeback: 204 kB
AnonPages: 337012 kB
Mapped: 105424 kB
Shmem: 37720 kB
KReclaimable: 71608 kB
Slab: 179200 kB
SReclaimable: 71608 kB
SUnreclaim: 107592 kB
KernelStack: 3888 kB
PageTables: 9540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 694640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889996 MiB
End job on nodeC028 at 2024-07-18 12:08:35