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: 63708 MiB (62281 MiB free)
memory of node 1: 64465 MiB (62456 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519109-1751557391/watcher-4519109-1751557391 -o /tmp/evaluation-result-4519109-1751557391/solver-4519109-1751557391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751557391-78730 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4519109-1751557391 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4519109-1751557391.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78777, runsolver pid=78771
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.02 1.40 2.54 8/334 78858
/proc/meminfo: memFree=127674996/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=18930384 memory=53188 CPUtime=0.11 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 6383 0 128 0 9 2 0 0 20 0 18 0 71415694 19384713216 13297 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4732596 13297 5331 1 0 547541 0
[pid=78777/tid=78787] ppid=78771 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 4895 0 128 0 5 1 0 0 20 0 18 0 71415696 19384713216 13297 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=18930384 memory=16955 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71415698 19384713216 13297 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71415699 19384713216 13297 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53188 KiB
[startup+0.205681 s]*
/proc/loadavg: 1.02 1.40 2.54 12/334 78858
/proc/meminfo: memFree=127642816/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=18930384 memory=62908 CPUtime=0.29 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 7163 0 128 0 26 3 0 0 20 0 18 0 71415694 19384713216 15727 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4732596 15727 5459 1 0 548118 0
[pid=78777/tid=78787] ppid=78771 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 5292 0 128 0 14 1 0 0 20 0 18 0 71415696 19384713216 15727 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=18930384 memory=16955 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 71415698 19384713216 15727 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 71415699 19384713216 15727 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62908 KiB
[startup+0.30558 s]*
/proc/loadavg: 1.02 1.40 2.54 9/336 78860
/proc/meminfo: memFree=127564868/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=18996948 memory=70828 CPUtime=0.48 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 8560 0 128 0 45 3 0 0 20 0 19 0 71415694 19452874752 17707 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4749237 17707 5459 1 0 549201 0
[pid=78777/tid=78787] ppid=78771 vsize=18996948 memory=-6000919489852695656 CPUtime=0.24 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 5336 0 128 0 23 1 0 0 20 0 19 0 71415696 19452874752 17707 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71415698 19452874752 17707 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 71415699 19452874752 17707 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 71415715 19452874752 17707 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70828 KiB
[startup+0.700219 s]
/proc/loadavg: 1.02 1.40 2.54 9/338 78862
/proc/meminfo: memFree=127467516/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=18996948 memory=124444 CPUtime=1.24 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 12848 0 128 0 119 5 0 0 20 0 19 0 71415694 19452874752 31111 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4749237 31111 5459 1 0 551730 0
[pid=78777/tid=78787] ppid=78771 vsize=18996948 memory=18816 CPUtime=0.57 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 5361 0 128 0 54 3 0 0 20 0 19 0 71415696 19452874752 31143 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 71415698 19452874752 31143 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 71415699 19452874752 31143 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 71415715 19452874752 31143 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124444 KiB
[startup+1.50024 s]
/proc/loadavg: 1.58 1.51 2.57 9/339 78863
/proc/meminfo: memFree=127276396/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=19063512 memory=175276 CPUtime=2.82 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 21442 0 128 0 275 7 0 0 20 0 20 0 71415694 19521036288 43819 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4765878 43819 5523 1 0 553678 0
[pid=78777/tid=78787] ppid=78771 vsize=19063512 memory=10752 CPUtime=1.33 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 6485 0 128 0 129 4 0 0 20 0 20 0 71415696 19521036288 43819 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71415698 19521036288 43819 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 71415699 19521036288 43819 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71415715 19521036288 43819 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175276 KiB
[startup+3.10547 s]
/proc/loadavg: 1.58 1.51 2.57 7/342 78866
/proc/meminfo: memFree=127065980/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=19063512 memory=180212 CPUtime=5.51 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 25033 0 128 0 543 8 0 0 20 0 20 0 71415694 19521036288 45053 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4765878 45053 5523 1 0 554240 0
[pid=78777/tid=78787] ppid=78771 vsize=19063512 memory=10752 CPUtime=2.91 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 6894 0 128 0 286 5 0 0 20 0 20 0 71415696 19521036288 45053 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=19063512 memory=-6000919502737597544 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71415698 19521036288 45053 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 71415699 19521036288 45053 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71415715 19521036288 45053 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180212 KiB
[startup+6.30021 s]
/proc/loadavg: 1.93 1.59 2.59 5/343 78867
/proc/meminfo: memFree=126019476/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=19063512 memory=405412 CPUtime=9.09 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 26926 0 128 0 894 15 0 0 20 0 20 0 71415694 19521036288 101353 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4765878 101353 5523 1 0 554242 0
[pid=78777/tid=78787] ppid=78771 vsize=19063512 memory=0 CPUtime=6.07 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 7784 0 128 0 596 11 0 0 20 0 20 0 71415696 19521036288 101353 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71415698 19521036288 101353 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 71415699 19521036288 101353 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71415715 19521036288 101353 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 9.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 405412 KiB
[startup+11.3775 s]
# the end of solver process 78777 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=14.642 s, system=0.199847 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40026 s]
/proc/loadavg: 1.93 1.59 2.59 5/343 78867
/proc/meminfo: memFree=126019476/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=19063512 memory=413604 CPUtime=9.19 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 26934 0 128 0 904 15 0 0 20 0 20 0 71415694 19521036288 103401 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4765878 103401 5523 1 0 554242 0
[pid=78777/tid=78787] ppid=78771 vsize=19063512 memory=175404 CPUtime=6.17 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 7792 0 128 0 606 11 0 0 20 0 20 0 71415696 19521036288 103401 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=19063512 memory=211309297979 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71415698 19521036288 103401 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=19063512 memory=-6000919502737597544 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 71415699 19521036288 103401 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71415715 19521036288 103401 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 9.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 413604 KiB
[startup+9.60019 s]
/proc/loadavg: 1.93 1.59 2.59 5/343 78867
/proc/meminfo: memFree=125033212/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=19063512 memory=457000 CPUtime=12.93 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 34845 0 128 0 1276 17 0 0 20 0 20 0 71415694 19521036288 114250 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4765878 114250 5523 1 0 554702 0
[pid=78777/tid=78787] ppid=78771 vsize=19063512 memory=-6000919502737597544 CPUtime=9.35 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 8667 0 128 0 923 12 0 0 20 0 20 0 71415696 19521036288 114250 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=19063512 memory=18816 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71415698 19521036288 114250 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 71415699 19521036288 114250 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=19063512 memory=-6000919502737597544 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71415715 19521036288 114250 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 12.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 457000 KiB
[startup+10.4002 s]
/proc/loadavg: 1.93 1.59 2.59 6/343 78867
/proc/meminfo: memFree=124646932/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=19063512 memory=450732 CPUtime=13.73 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 36190 0 128 0 1356 17 0 0 20 0 20 0 71415694 19521036288 112683 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4765878 112683 5523 1 0 554702 0
[pid=78777/tid=78787] ppid=78771 vsize=19063512 memory=12544 CPUtime=10.15 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 8855 0 128 0 1002 13 0 0 20 0 20 0 71415696 19521036288 112683 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=19063512 memory=2736 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71415698 19521036288 112683 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=19063512 memory=-6000919502737597544 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 71415699 19521036288 112683 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=19063512 memory=211275743526 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71415715 19521036288 112683 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 13.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 450732 KiB
[startup+10.8002 s]
/proc/loadavg: 1.93 1.59 2.59 6/343 78867
/proc/meminfo: memFree=124646932/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=19063512 memory=450732 CPUtime=14.13 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 36230 0 128 0 1396 17 0 0 20 0 20 0 71415694 19521036288 112683 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4765878 112683 5523 1 0 554702 0
[pid=78777/tid=78787] ppid=78771 vsize=19063512 memory=245635481903 CPUtime=10.55 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 8870 0 128 0 1042 13 0 0 20 0 20 0 71415696 19521036288 112683 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=19063512 memory=2305898221890962163 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71415698 19521036288 112683 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=19063512 memory=-7181721419141992160 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 71415699 19521036288 112683 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=19063512 memory=-9123011406873178988 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71415715 19521036288 112683 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 14.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 450732 KiB
[startup+11.2002 s]
/proc/loadavg: 2.10 1.63 2.60 5/343 78867
/proc/meminfo: memFree=124461380/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=19063512 memory=454844 CPUtime=14.66 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 39277 0 128 0 1448 18 0 0 20 0 20 0 71415694 19521036288 113711 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4765878 113711 5523 1 0 554702 0
[pid=78777/tid=78787] ppid=78771 vsize=19063512 memory=-6000919502737597544 CPUtime=10.95 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 9041 0 128 0 1082 13 0 0 20 0 20 0 71415696 19521036288 113711 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=19063512 memory=18816 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71415698 19521036288 113711 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 71415699 19521036288 113711 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=19063512 memory=450472 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71415715 19521036288 113711 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 14.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 454844 KiB
[startup+11.3002 s]
/proc/loadavg: 2.10 1.63 2.60 5/343 78867
/proc/meminfo: memFree=124461380/131250000 swapFree=33010672/33010684
[pid=78777] ppid=78771 vsize=19063512 memory=460988 CPUtime=14.76 cores=0,2
/proc/78777/stat : 78777 (java) S 78771 78777 78720 0 -1 4194304 39652 0 128 0 1458 18 0 0 20 0 20 0 71415694 19521036288 115247 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
/proc/78777/statm: 4765878 115247 5523 1 0 554702 0
[pid=78777/tid=78787] ppid=78771 vsize=19063512 memory=0 CPUtime=11.04 cores=0,2
/proc/78777/task/78787/stat : 78787 (java) R 78771 78777 78720 0 -1 4194368 9409 0 128 0 1091 13 0 0 20 0 20 0 71415696 19521036288 115247 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78822] ppid=78771 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/78777/task/78822/stat : 78822 (Finalizer) S 78771 78777 78720 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 71415698 19521036288 115247 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78837] ppid=78771 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/78777/task/78837/stat : 78837 (Common-Cleaner) S 78771 78777 78720 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 71415699 19521036288 115247 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
[pid=78777/tid=78859] ppid=78771 vsize=19063512 memory=455848 CPUtime=0 cores=0,2
/proc/78777/task/78859/stat : 78859 (Timer-0) S 78771 78777 78720 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 71415715 19521036288 115247 18446744073709551615 93875541569536 93875541573232 140734877531312 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93875541581048 93875541581840 93875562745856 140734877538608 140734877538790 140734877538790 140734877544392 0
Current children cumulated CPU time: 14.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 460988 KiB
Child status: 30
Real time (s): 11.3776
CPU time (s): 14.8418
CPU user time (s): 14.642
CPU system time (s): 0.199847
CPU usage (%): 130.448
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 460988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.642
system time used= 0.199847
maximum resident set size= 467776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42047
page faults= 128
swaps= 0
block input operations= 0
block output operations= 57824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2615
involuntary context switches= 1753
# summary of solver processes directly reported to runsolver:
# pid: 78777
# total CPU time (s): 14.8418
# total CPU user time (s): 14.642
# total CPU system time (s): 0.199847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031092 second user time and 0.088371 second system time
The end
Begin job on nodeC014 at 2025-07-03 17:43:11
IDJOB=4519109
IDBENCH=177149
IDSOLVER=3364
FILE ID=nodeC014/4519109-1751557391
RUNJOBID= nodeC014-1751557391-78730
SLURM_JOB_ID= 9598751
Free space on /tmp= 430448 MiB
SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519109-1751557391/watcher-4519109-1751557391 -o /tmp/evaluation-result-4519109-1751557391/solver-4519109-1751557391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751557391-78730 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4519109-1751557391 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4519109-1751557391.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 682abe62cfc98d0c90b996ee5c2245ad
RANDOM SEED=1188962891
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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.106
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.506
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3599.787
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.281
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.420
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.911
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.148
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3410.159
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127727504 kB
MemAvailable: 129660024 kB
Buffers: 2508 kB
Cached: 2727136 kB
SwapCached: 4 kB
Active: 636208 kB
Inactive: 2168788 kB
Active(anon): 89564 kB
Inactive(anon): 3852 kB
Active(file): 546644 kB
Inactive(file): 2164936 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1844 kB
Writeback: 0 kB
AnonPages: 78876 kB
Mapped: 104136 kB
Shmem: 18064 kB
KReclaimable: 120356 kB
Slab: 211020 kB
SReclaimable: 120356 kB
SUnreclaim: 90664 kB
KernelStack: 4112 kB
PageTables: 2924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 350148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430444 MiB
End job on nodeC014 at 2025-07-03 17:43:23