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 (60098 MiB free)
memory of node 1: 64510 MiB (60100 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443644-1721317124/watcher-4443644-1721317124 -o /tmp/evaluation-result-4443644-1721317124/solver-4443644-1721317124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937014 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4443644-1721317124.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=937629, runsolver pid=937626
Current StackSize limit: 8192 KiB
[startup+0.10056 s]*
/proc/loadavg: 4.16 2.62 2.56 5/329 937647
/proc/meminfo: memFree=123030180/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=18975048 memory=62800 CPUtime=0.13 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 7214 0 0 0 11 2 0 0 20 0 18 0 183873011 19430449152 15700 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4743762 15700 5591 1 0 549341 0
[pid=937629/tid=937631] ppid=937626 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) R 937626 937629 937004 0 -1 1078198336 5737 0 0 0 7 1 0 0 20 0 18 0 183873011 19430449152 15700 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183873013 19430449152 15700 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183873014 19430449152 15700 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62800 KiB
[startup+0.206124 s]*
/proc/loadavg: 4.16 2.62 2.56 7/329 937647
/proc/meminfo: memFree=123005132/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=18975048 memory=89280 CPUtime=0.33 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 7984 0 0 0 30 3 0 0 20 0 18 0 183873011 19430449152 22320 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4743762 22320 5869 1 0 549869 0
[pid=937629/tid=937631] ppid=937626 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) R 937626 937629 937004 0 -1 4194368 5918 0 0 0 16 2 0 0 20 0 18 0 183873011 19430449152 22320 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=18975048 memory=14994 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183873013 19430449152 22320 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183873014 19430449152 22320 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 89280 KiB
[startup+0.306137 s]*
/proc/loadavg: 4.16 2.62 2.56 6/329 937647
/proc/meminfo: memFree=122964320/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=18975048 memory=129040 CPUtime=0.52 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 9183 0 0 0 49 3 0 0 20 0 18 0 183873011 19430449152 32260 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4743762 32260 5869 1 0 550578 0
[pid=937629/tid=937631] ppid=937626 vsize=18975048 memory=-8744693488225133244 CPUtime=0.27 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) R 937626 937629 937004 0 -1 4194368 5937 0 0 0 24 3 0 0 20 0 18 0 183873011 19430449152 32260 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183873013 19430449152 32260 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183873014 19430449152 32260 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 129040 KiB
[startup+0.700233 s]
/proc/loadavg: 4.16 2.62 2.56 7/330 937648
/proc/meminfo: memFree=122907972/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=19041612 memory=208888 CPUtime=1.27 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 16388 0 0 0 120 7 0 0 20 0 19 0 183873011 19498610688 52222 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4760403 52222 5885 1 0 555648 0
[pid=937629/tid=937631] ppid=937626 vsize=19041612 memory=5560 CPUtime=0.57 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) R 937626 937629 937004 0 -1 1077936192 5967 0 0 0 53 4 0 0 20 0 19 0 183873011 19498610688 52222 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=19041612 memory=13012 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183873013 19498610688 52222 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183873014 19498610688 52222 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 208888 KiB
[startup+1.50112 s]
/proc/loadavg: 4.16 2.62 2.56 8/330 937648
/proc/meminfo: memFree=122801512/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=19041612 memory=467840 CPUtime=2.58 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 18267 0 0 0 246 12 0 0 20 0 19 0 183873011 19498610688 116960 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4760403 116960 5917 1 0 1105521 0
[pid=937629/tid=937631] ppid=937626 vsize=19041612 memory=13012 CPUtime=1.25 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) R 937626 937629 937004 0 -1 4194368 6066 0 0 0 117 8 0 0 20 0 19 0 183873011 19498610688 116960 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183873013 19498610688 116960 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183873014 19498610688 116960 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 467840 KiB
[startup+3.10612 s]
/proc/loadavg: 4.14 2.65 2.57 6/330 937648
/proc/meminfo: memFree=122166716/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=19041612 memory=986760 CPUtime=4.47 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 19697 0 0 0 425 22 0 0 20 0 19 0 183873011 19498610688 246690 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4760403 246690 5917 1 0 2243965 0
[pid=937629/tid=937631] ppid=937626 vsize=19041612 memory=0 CPUtime=2.5 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) R 937626 937629 937004 0 -1 4194368 6237 0 0 0 234 16 0 0 20 0 19 0 183873011 19498610688 246690 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=19041612 memory=13012 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183873013 19498610688 246690 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=19041612 memory=553900 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183873014 19498610688 246690 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 4.47 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 986760 KiB
[startup+6.30114 s]
/proc/loadavg: 4.14 2.65 2.57 6/330 937649
/proc/meminfo: memFree=120548176/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=19041612 memory=2476552 CPUtime=8.12 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 21359 0 0 0 760 52 0 0 20 0 19 0 183873011 19498610688 619138 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4760403 619138 5917 1 0 2613719 0
[pid=937629/tid=937631] ppid=937626 vsize=19041612 memory=0 CPUtime=5.17 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) R 937626 937629 937004 0 -1 4194368 6787 0 0 0 479 38 0 0 20 0 19 0 183873011 19498610688 619138 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=19041612 memory=482176 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183873013 19498610688 619138 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=19041612 memory=224194199869 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183873014 19498610688 619138 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 8.12 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2476552 KiB
[startup+7.14352 s]
# the end of solver process 937629 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=8.97168 s, system=0.554958 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40112 s]
/proc/loadavg: 4.14 2.65 2.57 6/330 937649
/proc/meminfo: memFree=120548176/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=19041612 memory=2476552 CPUtime=8.22 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 21359 0 0 0 770 52 0 0 20 0 19 0 183873011 19498610688 619138 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4760403 619138 5917 1 0 2613719 0
[pid=937629/tid=937631] ppid=937626 vsize=19041612 memory=43592 CPUtime=5.26 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) R 937626 937629 937004 0 -1 4194368 6787 0 0 0 488 38 0 0 20 0 19 0 183873011 19498610688 619138 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=19041612 memory=553900 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183873013 19498610688 619138 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=19041612 memory=-8744693488225133244 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183873014 19498610688 619138 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 8.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2476552 KiB
[startup+6.80113 s]
/proc/loadavg: 4.14 2.65 2.57 6/330 937649
/proc/meminfo: memFree=120548176/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=19041612 memory=2555016 CPUtime=8.92 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 21510 0 0 0 839 53 0 0 20 0 19 0 183873011 19498610688 638754 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4760403 638754 5917 1 0 2613771 0
[pid=937629/tid=937631] ppid=937626 vsize=19041612 memory=39384 CPUtime=5.53 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) R 937626 937629 937004 0 -1 4194368 6817 0 0 0 515 38 0 0 20 0 19 0 183873011 19498610688 638754 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=19041612 memory=-8744693488225133244 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183873013 19498610688 638754 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=19041612 memory=39384 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183873014 19498610688 638754 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 8.92 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2555016 KiB
[startup+7.00018 s]*
/proc/loadavg: 4.14 2.65 2.57 8/331 937650
/proc/meminfo: memFree=120444132/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=19108176 memory=2580856 CPUtime=9.32 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 22887 0 0 0 878 54 0 0 20 0 20 0 183873011 19566772224 645214 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4777044 645214 5917 1 0 2614157 0
[pid=937629/tid=937631] ppid=937626 vsize=19108176 memory=-8744693488225133244 CPUtime=5.7 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) R 937626 937629 937004 0 -1 4194368 6925 0 0 0 532 38 0 0 20 0 20 0 183873011 19566772224 645214 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=19108176 memory=7163650665790399855 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183873013 19566772224 645214 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=19108176 memory=5793996800631662178 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183873014 19566772224 645214 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937650] ppid=937626 vsize=19108176 memory=-8744693488225133244 CPUtime=0 cores=0,2
/proc/937629/task/937650/stat : 937650 (Timer-0) S 937626 937629 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 183873701 19566772224 645214 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 9.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2580856 KiB
[startup+7.10533 s]
/proc/loadavg: 4.14 2.65 2.57 8/331 937650
/proc/meminfo: memFree=120444132/131524600 swapFree=131071996/131071996
[pid=937629] ppid=937626 vsize=19241304 memory=2581644 CPUtime=9.51 cores=0,2
/proc/937629/stat : 937629 (java) S 937626 937629 937004 0 -1 1077936128 23084 0 0 0 897 54 0 0 20 0 15 0 183873011 19703095296 645411 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
/proc/937629/statm: 4810326 645411 5913 1 0 2614779 0
[pid=937629/tid=937631] ppid=937626 vsize=19241304 memory=0 CPUtime=5.75 cores=0,2
/proc/937629/task/937631/stat : 937631 (java) S 937626 937629 937004 0 -1 1077936192 6961 0 0 0 537 38 0 0 20 0 15 0 183873011 19703095296 645411 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937640] ppid=937626 vsize=19241304 memory=-8744693488225133244 CPUtime=0 cores=0,2
/proc/937629/task/937640/stat : 937640 (Finalizer) S 937626 937629 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 183873013 19703095296 645411 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
[pid=937629/tid=937647] ppid=937626 vsize=19241304 memory=-8744693488225133244 CPUtime=0 cores=0,2
/proc/937629/task/937647/stat : 937647 (Common-Cleaner) S 937626 937629 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 15 0 183873014 19703095296 645411 134679101440 94131981795328 94131981799024 140724584062496 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94131981806840 94131981807632 94131999199232 140724584064006 140724584064096 140724584064096 140724584071112 0
Current children cumulated CPU time: 9.51 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2581644 KiB
Child status: 10
Real time (s): 7.14357
CPU time (s): 9.52664
CPU user time (s): 8.97168
CPU system time (s): 0.554958
CPU usage (%): 133.36
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2581644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.97168
system time used= 0.554958
maximum resident set size= 2582708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23098
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= 1320
involuntary context switches= 290
# summary of solver processes directly reported to runsolver:
# pid: 937629
# total CPU time (s): 9.52664
# total CPU user time (s): 8.97168
# total CPU system time (s): 0.554958
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028242 second user time and 0.060136 second system time
The end
Begin job on nodeC016 at 2024-07-18 17:38:56
IDJOB=4443644
IDBENCH=147881
IDSOLVER=3058
FILE ID=nodeC016/4443644-1721317124
RUNJOBID= nodeC016-1721316965-937014
SLURM_JOB_ID= 7542659
Free space on /tmp= 889992 MiB
SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443644-1721317124/watcher-4443644-1721317124 -o /tmp/evaluation-result-4443644-1721317124/solver-4443644-1721317124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937014 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4443644-1721317124.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4be58baeb3b3d88d97a2715b6ac9c470
RANDOM SEED=1664831338
nodeC016.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 : 3688.749
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.70
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 : 3690.821
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.63
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 : 3643.779
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.70
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 : 3658.088
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.63
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 : 3687.331
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.70
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 : 3690.664
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.63
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 : 3603.155
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.70
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 : 3599.897
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.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123113360 kB
MemAvailable: 126849312 kB
Buffers: 346328 kB
Cached: 4225680 kB
SwapCached: 0 kB
Active: 541676 kB
Inactive: 7253752 kB
Active(anon): 1552 kB
Inactive(anon): 3259912 kB
Active(file): 540124 kB
Inactive(file): 3993840 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 89816 kB
Writeback: 0 kB
AnonPages: 3222236 kB
Mapped: 126528 kB
Shmem: 37720 kB
KReclaimable: 83268 kB
Slab: 192344 kB
SReclaimable: 83268 kB
SUnreclaim: 109076 kB
KernelStack: 5024 kB
PageTables: 16392 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7279104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69536 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2934784 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: 207572 kB
DirectMap2M: 13197312 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC016 at 2024-07-18 17:39:03