0.09/0.20 c Filename:instance-4450287-1721410363.opb, Cutoff_time:3600, memory_limit_gb:500000
0.09/0.20 c Not use presolve
3599.91/3606.38 c Use LS-small
3599.91/3606.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: 63931 MiB (59885 MiB free)
memory of node 1: 64510 MiB (60677 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450287-1721410363/watcher-4450287-1721410363 -o /tmp/evaluation-result-4450287-1721410363/solver-4450287-1721410363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721410375-1048819 --watchdog 3760 ./LS-MabS -f HOME/instance-4450287-1721410363.opb -t 3600 -s 755464886
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1048877, runsolver pid=1048866
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 2.52 2.95 3.04 8/260 1048880
/proc/meminfo: memFree=123319444/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=44460 memory=34592 CPUtime=0.09 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 6603 0 0 0 9 0 0 0 20 0 1 0 193201623 45527040 8648 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 11115 8648 2445 2403 0 8225 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44460 KiB
Current children cumulated memory: 34592 KiB
[startup+0.205895 s]*
/proc/loadavg: 2.52 2.95 3.04 8/260 1048880
/proc/meminfo: memFree=123277564/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=51508 memory=41248 CPUtime=0.2 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 8270 0 0 0 19 1 0 0 20 0 1 0 193201623 52744192 10312 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 12877 10312 2461 2403 0 9987 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51508 KiB
Current children cumulated memory: 41248 KiB
[startup+0.305156 s]*
/proc/loadavg: 2.52 2.95 3.04 7/260 1048880
/proc/meminfo: memFree=123250580/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=54288 memory=43572 CPUtime=0.3 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 10418 0 0 0 29 1 0 0 20 0 1 0 193201623 55590912 10893 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 13572 10893 2461 2403 0 10682 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54288 KiB
Current children cumulated memory: 43572 KiB
[startup+0.700187 s]
/proc/loadavg: 2.52 2.95 3.04 8/260 1048880
/proc/meminfo: memFree=123241304/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=54288 memory=43820 CPUtime=0.69 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 10494 0 0 0 68 1 0 0 20 0 1 0 193201623 55590912 10955 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 13572 10955 2461 2403 0 10682 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54288 KiB
Current children cumulated memory: 43820 KiB
[startup+1.50023 s]
/proc/loadavg: 2.52 2.95 3.04 8/260 1048880
/proc/meminfo: memFree=123220016/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=75616 memory=63464 CPUtime=1.48 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 15822 0 0 0 146 2 0 0 20 0 1 0 193201623 77430784 15866 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 18904 15866 2461 2403 0 16014 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75616 KiB
Current children cumulated memory: 63464 KiB
[startup+3.10614 s]
/proc/loadavg: 2.52 2.95 3.04 9/260 1048881
/proc/meminfo: memFree=123125736/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=78552 memory=66872 CPUtime=3.08 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 16694 0 0 0 306 2 0 0 20 0 1 0 193201623 80437248 16718 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 19638 16718 2461 2403 0 16748 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78552 KiB
Current children cumulated memory: 66872 KiB
[startup+6.30023 s]
/proc/loadavg: 2.64 2.96 3.04 8/260 1048881
/proc/meminfo: memFree=123053524/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=79064 memory=67400 CPUtime=6.27 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 16797 0 0 0 625 2 0 0 20 0 1 0 193201623 80961536 16850 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 19766 16850 2461 2403 0 16876 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79064 KiB
Current children cumulated memory: 67400 KiB
[startup+12.7002 s]
/proc/loadavg: 2.82 3.00 3.05 9/260 1048884
/proc/meminfo: memFree=123024088/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=98868 memory=74092 CPUtime=12.65 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18521 0 0 0 1262 3 0 0 20 0 1 0 193201623 101240832 18523 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 24717 18523 2461 2403 0 21827 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 98868 KiB
Current children cumulated memory: 74092 KiB
[startup+25.5002 s]
/proc/loadavg: 3.01 3.03 3.07 9/259 1048885
/proc/meminfo: memFree=122971032/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=74676 CPUtime=25.41 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18651 0 0 0 2485 56 0 0 20 0 1 0 193201623 102887424 18669 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 18669 2476 2403 0 22229 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 74676 KiB
[startup+51.1062 s]
/proc/loadavg: 3.40 3.12 3.10 8/259 1048888
/proc/meminfo: memFree=122938400/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=74676 CPUtime=50.95 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18651 0 0 0 4906 189 0 0 20 0 1 0 193201623 102887424 18669 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 18669 2476 2403 0 22229 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 74676 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.29 3.16 8/259 1048898
/proc/meminfo: memFree=122904260/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=74676 CPUtime=102.02 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18651 0 0 0 9745 457 0 0 20 0 1 0 193201623 102887424 18669 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 18669 2476 2403 0 22229 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 74676 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.42 3.21 9/256 1048908
/proc/meminfo: memFree=122838704/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=74676 CPUtime=161.86 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18651 0 0 0 15437 749 0 0 20 0 1 0 193201623 102887424 18669 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 18669 2476 2403 0 22229 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 74676 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.56 3.28 8/255 1048921
/proc/meminfo: memFree=122802880/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=74676 CPUtime=221.71 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18651 0 0 0 21122 1049 0 0 20 0 1 0 193201623 102887424 18669 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 18669 2476 2403 0 22229 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 74676 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.67 3.33 9/255 1048931
/proc/meminfo: memFree=122736172/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=74676 CPUtime=281.57 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18651 0 0 0 26822 1335 0 0 20 0 1 0 193201623 102887424 18669 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 18669 2476 2403 0 22229 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 74676 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 3.77 3.39 9/256 1048943
/proc/meminfo: memFree=122704808/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=91324 CPUtime=341.44 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18669 0 0 0 32524 1620 0 0 20 0 1 0 193201623 102887424 22831 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 22831 2476 2403 0 22229 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 91324 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.83 3.43 8/256 1048954
/proc/meminfo: memFree=122630116/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92696 CPUtime=401.32 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18675 0 0 0 38204 1928 0 0 20 0 1 0 193201623 102887424 23174 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23174 2476 2403 0 22229 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92696 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.88 3.48 7/258 1048969
/proc/meminfo: memFree=122582416/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92696 CPUtime=461.2 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18679 0 0 0 43888 2232 0 0 20 0 1 0 193201623 102887424 23174 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23174 2476 2403 0 22229 0
################
# More data... #
################
/proc/loadavg: 4.07 4.10 4.07 7/255 1050447
/proc/meminfo: memFree=122187432/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3216.49 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18771 0 0 0 305845 15804 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3216.49 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.07 8/255 1050458
/proc/meminfo: memFree=122186708/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3276.4 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18773 0 0 0 311540 16100 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3276.4 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.07 8/257 1050638
/proc/meminfo: memFree=122185784/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3336.3 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18775 0 0 0 317191 16439 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3336.3 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.07 7/257 1050649
/proc/meminfo: memFree=122185220/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3396.21 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18777 0 0 0 322904 16717 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3396.21 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.07 7/261 1050720
/proc/meminfo: memFree=122184008/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3456.13 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18779 0 0 0 328590 17023 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3456.13 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.07 7/261 1050733
/proc/meminfo: memFree=122183192/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3516.04 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18781 0 0 0 334294 17310 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3516.04 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.07 8/261 1050744
/proc/meminfo: memFree=122182732/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3575.94 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18783 0 0 0 339985 17609 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3575.94 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3606.39 s]
# the end of solver process 1048877 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3422.79 s, system=177.212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.08 4.07 8/261 1050744
/proc/meminfo: memFree=122182692/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3577.64 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18783 0 0 0 340147 17617 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3577.64 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.08 8/261 1050745
/proc/meminfo: memFree=122182644/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3590.42 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18783 0 0 0 341374 17668 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3590.42 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.09 4.08 8/261 1050747
/proc/meminfo: memFree=122182616/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3596.81 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18783 0 0 0 341976 17705 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3596.81 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3604.8 s]
/proc/loadavg: 4.11 4.09 4.08 8/261 1050748
/proc/meminfo: memFree=122182492/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3598.4 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18783 0 0 0 342128 17712 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3598.4 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3605.6 s]
/proc/loadavg: 4.11 4.09 4.08 8/261 1050748
/proc/meminfo: memFree=122182420/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3599.21 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18783 0 0 0 342204 17717 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3599.21 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3606 s]*
/proc/loadavg: 4.10 4.09 4.08 7/261 1050748
/proc/meminfo: memFree=122182500/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3599.6 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18783 0 0 0 342242 17718 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3599.6 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3606.2 s]
/proc/loadavg: 4.10 4.09 4.08 7/261 1050748
/proc/meminfo: memFree=122182500/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3599.8 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18783 0 0 0 342261 17719 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3599.8 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
[startup+3606.3 s]
/proc/loadavg: 4.10 4.09 4.08 7/261 1050748
/proc/meminfo: memFree=122182500/131524600 swapFree=131071996/131071996
[pid=1048877] ppid=1048866 vsize=100476 memory=92872 CPUtime=3599.91 cores=1,3
/proc/1048877/stat : 1048877 (LS-MabS) R 1048866 1048877 1048807 0 -1 4194304 18783 0 0 0 342271 17720 0 0 20 0 1 0 193201623 102887424 23218 134679101440 4194304 14036057 140731535883792 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 29323264 140731535889440 140731535889541 140731535889541 140731535896558 0
/proc/1048877/statm: 25119 23218 2492 2403 0 22229 0
Current children cumulated CPU time: 3599.91 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 92872 KiB
Child status: 0
Real time (s): 3606.39
CPU time (s): 3600
CPU user time (s): 3422.79
CPU system time (s): 177.212
CPU usage (%): 99.8229
Max. virtual memory (cumulated for all children) (KiB): 100476
Max. memory (cumulated for all children) (KiB): 92872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3422.79
system time used= 177.212
maximum resident set size= 92884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18793
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= 3
involuntary context switches= 934
# summary of solver processes directly reported to runsolver:
# pid: 1048877
# total CPU time (s): 3600
# total CPU user time (s): 3422.79
# total CPU system time (s): 177.212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17149 second user time and 15.9432 second system time
The end
Begin job on nodeC025 at 2024-07-19 19:32:55
IDJOB=4450287
IDBENCH=160420
IDSOLVER=3048
FILE ID=nodeC025/4450287-1721410363
RUNJOBID= nodeC025-1721410375-1048819
SLURM_JOB_ID= 7545465
Free space on /tmp= 890024 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l020-r019-n1.cnf-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-4450287-1721410363/watcher-4450287-1721410363 -o /tmp/evaluation-result-4450287-1721410363/solver-4450287-1721410363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721410375-1048819 --watchdog 3760 ./LS-MabS -f HOME/instance-4450287-1721410363.opb -t 3600 -s 755464886
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f7a73e9ab6b656ba306394044105db84
RANDOM SEED=755464886
nodeC025.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 : 3588.935
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.72
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 : 3586.401
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 : 7007.09
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.640
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.72
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 : 3621.510
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 : 7007.09
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 : 3601.548
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.72
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 : 3646.022
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 : 7007.09
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 : 3638.847
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.72
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 : 3543.580
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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123459972 kB
MemAvailable: 129597484 kB
Buffers: 550752 kB
Cached: 6357052 kB
SwapCached: 0 kB
Active: 1126668 kB
Inactive: 6158400 kB
Active(anon): 1432 kB
Inactive(anon): 421736 kB
Active(file): 1125236 kB
Inactive(file): 5736664 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 53132 kB
Writeback: 0 kB
AnonPages: 375040 kB
Mapped: 107044 kB
Shmem: 45912 kB
KReclaimable: 230520 kB
Slab: 359816 kB
SReclaimable: 230520 kB
SUnreclaim: 129296 kB
KernelStack: 4072 kB
PageTables: 9620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 718732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72672 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889980 MiB
End job on nodeC025 at 2024-07-19 20:33:02