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: 64059 MiB (58277 MiB free)
memory of node 1: 64510 MiB (60069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424696-1720881378/watcher-4424696-1720881378 -o /tmp/evaluation-result-4424696-1720881378/solver-4424696-1720881378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1720877760-700192 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424696-1720881378.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=710122, runsolver pid=710119
[startup+0.100831 s]*
/proc/loadavg: 4.16 4.37 4.35 5/316 710140
/proc/meminfo: memFree=121149324/131655788 swapFree=131071996/131071996
[pid=710122] ppid=710119 vsize=18975048 memory=59504 CPUtime=0.13 cores=5,7
/proc/710122/stat : 710122 (java) S 710119 710122 697934 0 -1 1077936128 6743 0 0 0 12 1 0 0 20 0 18 0 140296526 19430449152 14876 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
/proc/710122/statm: 4743762 14876 5716 1 0 551021 0
[pid=710122/tid=710124] ppid=710119 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/710122/task/710124/stat : 710124 (java) R 710119 710122 697934 0 -1 1077936192 5653 0 0 0 7 1 0 0 20 0 18 0 140296527 19430449152 14876 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710133] ppid=710119 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/710122/task/710133/stat : 710133 (Finalizer) S 710119 710122 697934 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140296529 19430449152 14876 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710140] ppid=710119 vsize=18975048 memory=14412639824552292 CPUtime=0 cores=5,7
/proc/710122/task/710140/stat : 710140 (Common-Cleaner) S 710119 710122 697934 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140296530 19430449152 14876 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59504 KiB
[startup+0.219085 s]*
/proc/loadavg: 4.16 4.37 4.35 7/316 710140
/proc/meminfo: memFree=121137632/131655788 swapFree=131071996/131071996
[pid=710122] ppid=710119 vsize=18975048 memory=72924 CPUtime=0.35 cores=5,7
/proc/710122/stat : 710122 (java) S 710119 710122 697934 0 -1 1077936128 7590 0 0 0 33 2 0 0 20 0 18 0 140296526 19430449152 18231 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
/proc/710122/statm: 4743762 18231 5730 1 0 551714 0
[pid=710122/tid=710124] ppid=710119 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/710122/task/710124/stat : 710124 (java) R 710119 710122 697934 0 -1 4194368 6075 0 0 0 18 1 0 0 20 0 18 0 140296527 19430449152 18231 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710133] ppid=710119 vsize=18975048 memory=19017 CPUtime=0 cores=5,7
/proc/710122/task/710133/stat : 710133 (Finalizer) S 710119 710122 697934 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140296529 19430449152 18231 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710140] ppid=710119 vsize=18975048 memory=15535219704862701 CPUtime=0 cores=5,7
/proc/710122/task/710140/stat : 710140 (Common-Cleaner) S 710119 710122 697934 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140296530 19430449152 18231 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72924 KiB
[startup+0.314086 s]*
/proc/loadavg: 4.39 4.41 4.36 7/316 710140
/proc/meminfo: memFree=121116684/131655788 swapFree=131071996/131071996
[pid=710122] ppid=710119 vsize=18975048 memory=92232 CPUtime=0.52 cores=5,7
/proc/710122/stat : 710122 (java) S 710119 710122 697934 0 -1 1077936128 7695 0 0 0 50 2 0 0 20 0 18 0 140296526 19430449152 23058 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
/proc/710122/statm: 4743762 23058 5800 1 0 551752 0
[pid=710122/tid=710124] ppid=710119 vsize=18975048 memory=-8528807708744655548 CPUtime=0.26 cores=5,7
/proc/710122/task/710124/stat : 710124 (java) R 710119 710122 697934 0 -1 4194368 6094 0 0 0 25 1 0 0 20 0 18 0 140296527 19430449152 23058 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710133] ppid=710119 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/710122/task/710133/stat : 710133 (Finalizer) S 710119 710122 697934 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140296529 19430449152 23058 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710140] ppid=710119 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/710122/task/710140/stat : 710140 (Common-Cleaner) S 710119 710122 697934 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140296530 19430449152 23058 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 92232 KiB
[startup+0.701086 s]
/proc/loadavg: 4.39 4.41 4.36 8/317 710141
/proc/meminfo: memFree=121025716/131655788 swapFree=131071996/131071996
[pid=710122] ppid=710119 vsize=19041612 memory=594736 CPUtime=1.21 cores=5,7
/proc/710122/stat : 710122 (java) S 710119 710122 697934 0 -1 1077936128 9555 0 0 0 108 13 0 0 20 0 19 0 140296526 19498610688 148684 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
/proc/710122/statm: 4760403 148684 5832 1 0 553077 0
[pid=710122/tid=710124] ppid=710119 vsize=19041612 memory=5468 CPUtime=0.57 cores=5,7
/proc/710122/task/710124/stat : 710124 (java) R 710119 710122 697934 0 -1 4194368 6335 0 0 0 46 11 0 0 20 0 19 0 140296527 19498610688 148684 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710133] ppid=710119 vsize=19041612 memory=12020 CPUtime=0 cores=5,7
/proc/710122/task/710133/stat : 710133 (Finalizer) S 710119 710122 697934 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140296529 19498610688 148684 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710140] ppid=710119 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/710122/task/710140/stat : 710140 (Common-Cleaner) S 710119 710122 697934 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140296530 19498610688 148684 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 594736 KiB
[startup+1.50108 s]
/proc/loadavg: 4.39 4.41 4.36 6/317 710141
/proc/meminfo: memFree=120272384/131655788 swapFree=131071996/131071996
[pid=710122] ppid=710119 vsize=19041612 memory=2377656 CPUtime=2.76 cores=5,7
/proc/710122/stat : 710122 (java) S 710119 710122 697934 0 -1 1077936128 22241 0 0 0 225 51 0 0 20 0 19 0 140296526 19498610688 594414 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
/proc/710122/statm: 4760403 594414 5832 1 0 1488408 0
[pid=710122/tid=710124] ppid=710119 vsize=19041612 memory=12020 CPUtime=1.32 cores=5,7
/proc/710122/task/710124/stat : 710124 (java) R 710119 710122 697934 0 -1 4194368 7184 0 0 0 86 46 0 0 20 0 19 0 140296527 19498610688 594414 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710133] ppid=710119 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/710122/task/710133/stat : 710133 (Finalizer) S 710119 710122 697934 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140296529 19498610688 594414 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710140] ppid=710119 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/710122/task/710140/stat : 710140 (Common-Cleaner) S 710119 710122 697934 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140296530 19498610688 594414 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2377656 KiB
[startup+3.1056 s]
/proc/loadavg: 4.39 4.41 4.36 6/318 710142
/proc/meminfo: memFree=118063448/131655788 swapFree=131071996/131071996
[pid=710122] ppid=710119 vsize=19108176 memory=3161612 CPUtime=5.64 cores=5,7
/proc/710122/stat : 710122 (java) S 710119 710122 697934 0 -1 1077936128 23528 0 0 0 493 71 0 0 20 0 20 0 140296526 19566772224 790403 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
/proc/710122/statm: 4777044 790403 5870 1 0 1489316 0
[pid=710122/tid=710124] ppid=710119 vsize=19108176 memory=0 CPUtime=2.83 cores=5,7
/proc/710122/task/710124/stat : 710124 (java) R 710119 710122 697934 0 -1 4194368 7693 0 0 0 218 65 0 0 20 0 20 0 140296527 19566772224 790403 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710133] ppid=710119 vsize=19108176 memory=12020 CPUtime=0 cores=5,7
/proc/710122/task/710133/stat : 710133 (Finalizer) S 710119 710122 697934 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140296529 19566772224 790403 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710140] ppid=710119 vsize=19108176 memory=2539448 CPUtime=0 cores=5,7
/proc/710122/task/710140/stat : 710140 (Common-Cleaner) S 710119 710122 697934 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140296530 19566772224 790403 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710142] ppid=710119 vsize=19108176 memory=33 CPUtime=0 cores=5,7
/proc/710122/task/710142/stat : 710142 (Timer-0) S 710119 710122 697934 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140296734 19566772224 790403 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3161612 KiB
[startup+4.70546 s]
# the end of solver process 710122 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=7.76023 s, system=0.798255 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20108 s]
/proc/loadavg: 4.39 4.41 4.36 6/318 710142
/proc/meminfo: memFree=118063448/131655788 swapFree=131071996/131071996
[pid=710122] ppid=710119 vsize=19108176 memory=3180044 CPUtime=5.83 cores=5,7
/proc/710122/stat : 710122 (java) S 710119 710122 697934 0 -1 1077936128 23550 0 0 0 511 72 0 0 20 0 20 0 140296526 19566772224 795011 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
/proc/710122/statm: 4777044 795011 5870 1 0 1489316 0
[pid=710122/tid=710124] ppid=710119 vsize=19108176 memory=0 CPUtime=2.93 cores=5,7
/proc/710122/task/710124/stat : 710124 (java) R 710119 710122 697934 0 -1 4194368 7702 0 0 0 227 66 0 0 20 0 20 0 140296527 19566772224 795011 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710133] ppid=710119 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/710122/task/710133/stat : 710133 (Finalizer) S 710119 710122 697934 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140296529 19566772224 795011 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710140] ppid=710119 vsize=19108176 memory=-8528807708744655548 CPUtime=0 cores=5,7
/proc/710122/task/710140/stat : 710140 (Common-Cleaner) S 710119 710122 697934 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140296530 19566772224 795011 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710142] ppid=710119 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/710122/task/710142/stat : 710142 (Timer-0) S 710119 710122 697934 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140296734 19566772224 795011 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3180044 KiB
[startup+4.00108 s]*
/proc/loadavg: 4.39 4.41 4.36 6/318 710142
/proc/meminfo: memFree=117870076/131655788 swapFree=131071996/131071996
[pid=710122] ppid=710119 vsize=19108176 memory=3331788 CPUtime=7.42 cores=5,7
/proc/710122/stat : 710122 (java) S 710119 710122 697934 0 -1 1077936128 24229 0 0 0 667 75 0 0 20 0 20 0 140296526 19566772224 832947 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
/proc/710122/statm: 4777044 832947 5870 1 0 1489319 0
[pid=710122/tid=710124] ppid=710119 vsize=19108176 memory=-8528807708744655548 CPUtime=3.71 cores=5,7
/proc/710122/task/710124/stat : 710124 (java) R 710119 710122 697934 0 -1 4194368 7775 0 0 0 302 69 0 0 20 0 20 0 140296527 19566772224 832947 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710133] ppid=710119 vsize=19108176 memory=7450732151074942823 CPUtime=0 cores=5,7
/proc/710122/task/710133/stat : 710133 (Finalizer) S 710119 710122 697934 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140296529 19566772224 832947 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710140] ppid=710119 vsize=19108176 memory=8027498549961452903 CPUtime=0 cores=5,7
/proc/710122/task/710140/stat : 710140 (Common-Cleaner) S 710119 710122 697934 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140296530 19566772224 832947 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710142] ppid=710119 vsize=19108176 memory=7668899468655683153 CPUtime=0 cores=5,7
/proc/710122/task/710142/stat : 710142 (Timer-0) S 710119 710122 697934 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140296734 19566772224 832947 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
Current children cumulated CPU time: 7.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3331788 KiB
[startup+4.40108 s]
/proc/loadavg: 4.39 4.41 4.36 6/318 710142
/proc/meminfo: memFree=117870076/131655788 swapFree=131071996/131071996
[pid=710122] ppid=710119 vsize=19108176 memory=3383240 CPUtime=8.1 cores=5,7
/proc/710122/stat : 710122 (java) S 710119 710122 697934 0 -1 1077936128 24300 0 0 0 734 76 0 0 20 0 20 0 140296526 19566772224 845810 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
/proc/710122/statm: 4777044 845810 5870 1 0 1489319 0
[pid=710122/tid=710124] ppid=710119 vsize=19108176 memory=32736 CPUtime=4.11 cores=5,7
/proc/710122/task/710124/stat : 710124 (java) R 710119 710122 697934 0 -1 4194368 7800 0 0 0 341 70 0 0 20 0 20 0 140296527 19566772224 845810 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710133] ppid=710119 vsize=19108176 memory=24980 CPUtime=0 cores=5,7
/proc/710122/task/710133/stat : 710133 (Finalizer) S 710119 710122 697934 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140296529 19566772224 845810 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710140] ppid=710119 vsize=19108176 memory=100 CPUtime=0 cores=5,7
/proc/710122/task/710140/stat : 710140 (Common-Cleaner) S 710119 710122 697934 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140296530 19566772224 845810 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710142] ppid=710119 vsize=19108176 memory=2004 CPUtime=0 cores=5,7
/proc/710122/task/710142/stat : 710142 (Timer-0) S 710119 710122 697934 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140296734 19566772224 845810 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
Current children cumulated CPU time: 8.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3383240 KiB
[startup+4.60208 s]
/proc/loadavg: 4.39 4.41 4.36 6/318 710142
/proc/meminfo: memFree=117870076/131655788 swapFree=131071996/131071996
[pid=710122] ppid=710119 vsize=19108176 memory=3477448 CPUtime=8.39 cores=5,7
/proc/710122/stat : 710122 (java) S 710119 710122 697934 0 -1 1077936128 24365 0 0 0 761 78 0 0 20 0 20 0 140296526 19566772224 869362 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
/proc/710122/statm: 4777044 869362 5870 1 0 1489325 0
[pid=710122/tid=710124] ppid=710119 vsize=19108176 memory=25124 CPUtime=4.24 cores=5,7
/proc/710122/task/710124/stat : 710124 (java) R 710119 710122 697934 0 -1 4194368 7808 0 0 0 354 70 0 0 20 0 20 0 140296527 19566772224 869362 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710133] ppid=710119 vsize=19108176 memory=3544385894675120211 CPUtime=0 cores=5,7
/proc/710122/task/710133/stat : 710133 (Finalizer) S 710119 710122 697934 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140296529 19566772224 869362 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710140] ppid=710119 vsize=19108176 memory=11564 CPUtime=0 cores=5,7
/proc/710122/task/710140/stat : 710140 (Common-Cleaner) S 710119 710122 697934 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 140296530 19566772224 869362 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
[pid=710122/tid=710142] ppid=710119 vsize=19108176 memory=11764 CPUtime=0 cores=5,7
/proc/710122/task/710142/stat : 710142 (Timer-0) S 710119 710122 697934 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140296734 19566772224 869362 134679101440 94896725430272 94896725433968 140731691660176 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94896725441784 94896725442576 94896758140928 140731691664347 140731691664455 140731691664455 140731691671496 0
Current children cumulated CPU time: 8.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3477448 KiB
[startup+4.70023 s]*
/proc/loadavg: 4.39 4.41 4.36 5/299 710144
/proc/meminfo: memFree=121174004/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 30
Real time (s): 4.70549
CPU time (s): 8.55849
CPU user time (s): 7.76023
CPU system time (s): 0.798255
CPU usage (%): 181.883
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3477448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.76023
system time used= 0.798255
maximum resident set size= 3480024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24615
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= 1058
involuntary context switches= 338
# summary of solver processes directly reported to runsolver:
# pid: 710122
# total CPU time (s): 8.55849
# total CPU user time (s): 7.76023
# total CPU system time (s): 0.798255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032846 second user time and 0.072345 second system time
The end
Begin job on nodeC006 at 2024-07-13 16:36:30
IDJOB=4424696
IDBENCH=143851
IDSOLVER=3036
FILE ID=nodeC006/4424696-1720881378
RUNJOBID= nodeC006-1720877760-700192
SLURM_JOB_ID= 7483754
Free space on /tmp= 723776 MiB
SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/mprime/normalized-mprime04cc_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424696-1720881378/watcher-4424696-1720881378 -o /tmp/evaluation-result-4424696-1720881378/solver-4424696-1720881378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1720877760-700192 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424696-1720881378.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15692bf53df2b0e52c697f3bc8188ff9
RANDOM SEED=1103966036
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3640.927
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3192.659
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.256
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.383
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3640.919
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.975
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.334
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.250
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121187800 kB
MemAvailable: 121100424 kB
Buffers: 325672 kB
Cached: 435616 kB
SwapCached: 0 kB
Active: 480296 kB
Inactive: 9472200 kB
Active(anon): 1460 kB
Inactive(anon): 9227512 kB
Active(file): 478836 kB
Inactive(file): 244688 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2140 kB
Writeback: 0 kB
AnonPages: 9191284 kB
Mapped: 121336 kB
Shmem: 37704 kB
KReclaimable: 58260 kB
Slab: 147692 kB
SReclaimable: 58260 kB
SUnreclaim: 89432 kB
KernelStack: 4832 kB
PageTables: 27820 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 12721544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 45984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8847360 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: 162632 kB
DirectMap2M: 9179136 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723776 MiB
End job on nodeC006 at 2024-07-13 16:36:35