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 (56836 MiB free)
memory of node 1: 64510 MiB (60628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444061-1721313743/watcher-4444061-1721313743 -o /tmp/evaluation-result-4444061-1721313743/solver-4444061-1721313743 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721306301-984932 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4444061-1721313743.opb
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=989844, runsolver pid=989841
Current StackSize limit: 8192 KiB
[startup+0.100357 s]*
/proc/loadavg: 4.24 4.24 4.20 5/330 989862
/proc/meminfo: memFree=120243036/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=18975048 memory=64768 CPUtime=0.14 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 7204 0 0 0 12 2 0 0 20 0 18 0 183536148 19430449152 16192 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4743762 16192 5605 1 0 549326 0
[pid=989844/tid=989846] ppid=989841 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) R 989841 989844 984920 0 -1 4194368 5734 0 0 0 7 1 0 0 20 0 18 0 183536148 19430449152 16192 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183536151 19430449152 16192 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=18975048 memory=15824395507619580 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183536151 19430449152 16192 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64768 KiB
[startup+0.209653 s]*
/proc/loadavg: 4.24 4.24 4.20 6/330 989862
/proc/meminfo: memFree=120193692/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=18975048 memory=112220 CPUtime=0.33 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 7652 0 0 0 30 3 0 0 20 0 18 0 183536148 19430449152 28055 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4743762 28055 5779 1 0 549676 0
[pid=989844/tid=989846] ppid=989841 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) S 989841 989844 984920 0 -1 1077936192 6047 0 0 0 16 2 0 0 20 0 18 0 183536148 19430449152 28055 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=18975048 memory=15975 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183536151 19430449152 28055 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=18975048 memory=14698495600756458 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183536151 19430449152 28055 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 112220 KiB
[startup+0.306597 s]*
/proc/loadavg: 4.24 4.24 4.20 7/331 989863
/proc/meminfo: memFree=120142524/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=19041612 memory=163584 CPUtime=0.5 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 8516 0 0 0 46 4 0 0 20 0 19 0 183536148 19498610688 40896 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4760403 40896 5876 1 0 550317 0
[pid=989844/tid=989846] ppid=989841 vsize=19041612 memory=-9104416300764275388 CPUtime=0.25 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) R 989841 989844 984920 0 -1 4194368 6076 0 0 0 22 3 0 0 20 0 19 0 183536148 19498610688 40896 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 40896 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 40896 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163584 KiB
[startup+0.705952 s]
/proc/loadavg: 4.24 4.24 4.20 7/331 989863
/proc/meminfo: memFree=119971304/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=19042688 memory=823324 CPUtime=1.25 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 15482 0 0 0 107 18 0 0 20 0 19 0 183536148 19499712512 205831 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4760672 205831 5876 1 0 553481 0
[pid=989844/tid=989846] ppid=989841 vsize=19042688 memory=5472 CPUtime=0.61 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) R 989841 989844 984920 0 -1 4194368 6389 0 0 0 46 15 0 0 20 0 19 0 183536148 19499712512 205831 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=19042688 memory=13196 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183536151 19499712512 205831 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=19042688 memory=0 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183536151 19499712512 205831 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19042688 KiB
Current children cumulated memory: 823324 KiB
[startup+1.5106 s]
/proc/loadavg: 4.38 4.27 4.21 6/331 989863
/proc/meminfo: memFree=118760184/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=19041612 memory=2762356 CPUtime=2.81 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 23944 0 0 0 225 56 0 0 20 0 19 0 183536148 19498610688 690589 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4760403 690589 5876 1 0 1083483 0
[pid=989844/tid=989846] ppid=989841 vsize=19041612 memory=13196 CPUtime=1.37 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) R 989841 989844 984920 0 -1 4194368 7318 0 0 0 86 51 0 0 20 0 19 0 183536148 19498610688 690589 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 690589 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 690589 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2762356 KiB
[startup+3.11318 s]
/proc/loadavg: 4.38 4.27 4.21 5/331 989863
/proc/meminfo: memFree=117287376/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=19041612 memory=3013272 CPUtime=4.87 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 24342 0 0 0 425 62 0 0 20 0 19 0 183536148 19498610688 753318 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4760403 753318 5876 1 0 1083712 0
[pid=989844/tid=989846] ppid=989841 vsize=19041612 memory=0 CPUtime=2.86 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) S 989841 989844 984920 0 -1 1077936192 7441 0 0 0 230 56 0 0 20 0 19 0 183536148 19498610688 753318 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=19041612 memory=13196 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 753318 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=19041612 memory=2763148 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 753318 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 4.87 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3013272 KiB
[startup+6.30028 s]
/proc/loadavg: 4.43 4.28 4.21 5/331 989863
/proc/meminfo: memFree=116107668/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=19041612 memory=4359100 CPUtime=8.33 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 26431 0 0 0 744 89 0 0 20 0 19 0 183536148 19498610688 1089775 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4760403 1089775 5876 1 0 1672779 0
[pid=989844/tid=989846] ppid=989841 vsize=19041612 memory=0 CPUtime=5.73 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) R 989841 989844 984920 0 -1 4194368 8107 0 0 0 490 83 0 0 20 0 19 0 183536148 19498610688 1090287 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=19041612 memory=2763148 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 1090287 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=19041612 memory=224194199869 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 1090287 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 8.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4359100 KiB
[startup+7.59919 s]
# the end of solver process 989844 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=8.74437 s, system=1.10212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4003 s]
/proc/loadavg: 4.43 4.28 4.21 5/331 989863
/proc/meminfo: memFree=116107668/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=19041612 memory=4658108 CPUtime=8.44 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 26577 0 0 0 749 95 0 0 20 0 19 0 183536148 19498610688 1164527 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4760403 1164527 5876 1 0 1672779 0
[pid=989844/tid=989846] ppid=989841 vsize=19041612 memory=45336 CPUtime=5.82 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) R 989841 989844 984920 0 -1 4194368 8253 0 0 0 494 88 0 0 20 0 19 0 183536148 19498610688 1165039 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=19041612 memory=2763148 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 1165039 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=19041612 memory=-9104416300764275388 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 1165039 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4658108 KiB
[startup+7.20026 s]
/proc/loadavg: 4.43 4.28 4.21 5/331 989865
/proc/meminfo: memFree=114972384/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=19041612 memory=5327912 CPUtime=9.31 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 26987 0 0 0 824 107 0 0 20 0 19 0 183536148 19498610688 1331978 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4760403 1331978 5876 1 0 1672797 0
[pid=989844/tid=989846] ppid=989841 vsize=19041612 memory=-9104416300764275388 CPUtime=6.54 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) R 989841 989844 984920 0 -1 4194368 8601 0 0 0 553 101 0 0 20 0 19 0 183536148 19498610688 1331978 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=19041612 memory=6296994813001165651 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 1331978 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=19041612 memory=7162808512845736810 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 1331978 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5327912 KiB
[startup+7.40025 s]
/proc/loadavg: 4.43 4.28 4.21 5/331 989865
/proc/meminfo: memFree=114972384/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=19041612 memory=5327912 CPUtime=9.51 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 26987 0 0 0 844 107 0 0 20 0 19 0 183536148 19498610688 1331978 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4760403 1331978 5876 1 0 1672797 0
[pid=989844/tid=989846] ppid=989841 vsize=19041612 memory=45336 CPUtime=6.74 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) R 989841 989844 984920 0 -1 4194368 8601 0 0 0 573 101 0 0 20 0 19 0 183536148 19498610688 1331978 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=19041612 memory=13196 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 1331978 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=19041612 memory=5472 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183536151 19498610688 1331978 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 9.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5327912 KiB
[startup+7.50687 s]
/proc/loadavg: 4.43 4.28 4.21 5/331 989865
/proc/meminfo: memFree=114972384/131524600 swapFree=131071996/131071996
[pid=989844] ppid=989841 vsize=19108176 memory=5334176 CPUtime=9.69 cores=1,3
/proc/989844/stat : 989844 (java) S 989841 989844 984920 0 -1 1077936128 27073 0 0 0 861 108 0 0 20 0 20 0 183536148 19566772224 1333544 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
/proc/989844/statm: 4777044 1333544 5876 1 0 1673110 0
[pid=989844/tid=989846] ppid=989841 vsize=19108176 memory=0 CPUtime=6.84 cores=1,3
/proc/989844/task/989846/stat : 989846 (java) R 989841 989844 984920 0 -1 4194368 8642 0 0 0 583 101 0 0 20 0 20 0 183536148 19566772224 1333544 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989855] ppid=989841 vsize=19108176 memory=-9104416300764275388 CPUtime=0 cores=1,3
/proc/989844/task/989855/stat : 989855 (Finalizer) S 989841 989844 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183536151 19566772224 1333544 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
[pid=989844/tid=989862] ppid=989841 vsize=19108176 memory=-9104416300764275388 CPUtime=0 cores=1,3
/proc/989844/task/989862/stat : 989862 (Common-Cleaner) S 989841 989844 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183536151 19566772224 1333544 134679101440 94195350147072 94195350150768 140732366949152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195350158584 94195350159376 94195352358912 140732366951412 140732366951520 140732366951520 140732366958536 0
Current children cumulated CPU time: 9.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5334176 KiB
Child status: 10
Real time (s): 7.59924
CPU time (s): 9.84649
CPU user time (s): 8.74437
CPU system time (s): 1.10212
CPU usage (%): 129.572
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5334176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.74437
system time used= 1.10212
maximum resident set size= 5336080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1381
involuntary context switches= 160
# summary of solver processes directly reported to runsolver:
# pid: 989844
# total CPU time (s): 9.84649
# total CPU user time (s): 8.74437
# total CPU system time (s): 1.10212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024219 second user time and 0.070664 second system time
The end
Begin job on nodeC017 at 2024-07-18 16:42:35
IDJOB=4444061
IDBENCH=147895
IDSOLVER=3052
FILE ID=nodeC017/4444061-1721313743
RUNJOBID= nodeC017-1721306301-984932
SLURM_JOB_ID= 7542642
Free space on /tmp= 890032 MiB
SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l6_n1500.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444061-1721313743/watcher-4444061-1721313743 -o /tmp/evaluation-result-4444061-1721313743/solver-4444061-1721313743 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721306301-984932 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4444061-1721313743.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 324936182855f4056c83f943259e6646
RANDOM SEED=1521522230
nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.090
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.46
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 : 3651.231
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3670.267
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.46
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 : 3689.541
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3670.260
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.46
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 : 3688.864
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3599.799
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.46
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 : 3610.369
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120284820 kB
MemAvailable: 122176836 kB
Buffers: 517964 kB
Cached: 2200092 kB
SwapCached: 0 kB
Active: 1205844 kB
Inactive: 9383712 kB
Active(anon): 1544 kB
Inactive(anon): 7907672 kB
Active(file): 1204300 kB
Inactive(file): 1476040 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 40732 kB
Writeback: 64 kB
AnonPages: 7871472 kB
Mapped: 126488 kB
Shmem: 37720 kB
KReclaimable: 102644 kB
Slab: 215112 kB
SReclaimable: 102644 kB
SUnreclaim: 112468 kB
KernelStack: 5008 kB
PageTables: 25656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 9627940 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67488 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7536640 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: 279252 kB
DirectMap2M: 38291456 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC017 at 2024-07-18 16:42:43