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: 63968 MiB (57440 MiB free)
memory of node 1: 64473 MiB (63229 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458195-1722990038/watcher-4458195-1722990038 -o /tmp/evaluation-result-4458195-1722990038/solver-4458195-1722990038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722984445-354506 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4458195-1722990038.opb 3600 HOME 31000
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=357921, runsolver pid=357918
[startup+0.100845 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 357925
/proc/meminfo: memFree=123524496/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=357924] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/357924/stat : 357924 (timeout) S 357921 357924 354496 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65608418 8867840 262 134679101440 94891999006720 94891999041736 140720798428208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94892001139152 94892001141284 94892014936064 140720798430206 140720798430365 140720798430365 140720798437351 0
/proc/357924/statm: 2165 262 238 9 0 87 0
[pid=357925] ppid=357924 vsize=61808 memory=52384 CPUtime=0.09 cores=0,2
/proc/357925/stat : 357925 (CASHWMaxSAT-Dis) R 357924 357924 354496 0 -1 4194304 11512 0 0 0 8 1 0 0 20 0 1 0 65608418 63291392 13096 134679101440 4194304 15356333 140722253988112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 51077120 140722253997059 140722253997205 140722253997205 140722254004191 0
/proc/357925/statm: 15452 13096 2538 2726 0 12200 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80400 KiB
Current children cumulated memory: 56268 KiB
[startup+0.205844 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 357925
/proc/meminfo: memFree=123508688/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=357924] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/357924/stat : 357924 (timeout) S 357921 357924 354496 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65608418 8867840 262 134679101440 94891999006720 94891999041736 140720798428208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94892001139152 94892001141284 94892014936064 140720798430206 140720798430365 140720798430365 140720798437351 0
/proc/357924/statm: 2165 262 238 9 0 87 0
[pid=357925] ppid=357924 vsize=76956 memory=66736 CPUtime=0.19 cores=0,2
/proc/357925/stat : 357925 (CASHWMaxSAT-Dis) R 357924 357924 354496 0 -1 4194304 15224 0 0 0 18 1 0 0 20 0 1 0 65608418 78802944 16684 134679101440 4194304 15356333 140722253988112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 51077120 140722253997059 140722253997205 140722253997205 140722254004191 0
/proc/357925/statm: 19239 16684 2666 2726 0 15987 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95548 KiB
Current children cumulated memory: 70620 KiB
[startup+0.305777 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 357925
/proc/meminfo: memFree=123504848/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=357924] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/357924/stat : 357924 (timeout) S 357921 357924 354496 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65608418 8867840 262 134679101440 94891999006720 94891999041736 140720798428208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94892001139152 94892001141284 94892014936064 140720798430206 140720798430365 140720798430365 140720798437351 0
/proc/357924/statm: 2165 262 238 9 0 87 0
[pid=357925] ppid=357924 vsize=81752 memory=71192 CPUtime=0.29 cores=0,2
/proc/357925/stat : 357925 (CASHWMaxSAT-Dis) R 357924 357924 354496 0 -1 4194304 16299 0 0 0 28 1 0 0 20 0 1 0 65608418 83714048 17798 134679101440 4194304 15356333 140722253988112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 51077120 140722253997059 140722253997205 140722253997205 140722254004191 0
/proc/357925/statm: 20438 17798 2746 2726 0 17186 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100344 KiB
Current children cumulated memory: 75076 KiB
[startup+0.700213 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 357925
/proc/meminfo: memFree=123501992/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=357924] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/357924/stat : 357924 (timeout) S 357921 357924 354496 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65608418 8867840 262 134679101440 94891999006720 94891999041736 140720798428208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94892001139152 94892001141284 94892014936064 140720798430206 140720798430365 140720798430365 140720798437351 0
/proc/357924/statm: 2165 262 238 9 0 87 0
[pid=357925] ppid=357924 vsize=83736 memory=72776 CPUtime=0.68 cores=0,2
/proc/357925/stat : 357925 (CASHWMaxSAT-Dis) R 357924 357924 354496 0 -1 4194304 16724 0 0 0 67 1 0 0 20 0 1 0 65608418 85745664 18194 134679101440 4194304 15356333 140722253988112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 51077120 140722253997059 140722253997205 140722253997205 140722254004191 0
/proc/357925/statm: 20934 18194 2746 2726 0 17682 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 102328 KiB
Current children cumulated memory: 76660 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 357925
/proc/meminfo: memFree=123501544/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=357924] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/357924/stat : 357924 (timeout) S 357921 357924 354496 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65608418 8867840 262 134679101440 94891999006720 94891999041736 140720798428208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94892001139152 94892001141284 94892014936064 140720798430206 140720798430365 140720798430365 140720798437351 0
/proc/357924/statm: 2165 262 238 9 0 87 0
[pid=357925] ppid=357924 vsize=103224 memory=90456 CPUtime=1.48 cores=0,2
/proc/357925/stat : 357925 (CASHWMaxSAT-Dis) R 357924 357924 354496 0 -1 4194304 22127 0 0 0 146 2 0 0 20 0 1 0 65608418 105701376 22614 134679101440 4194304 15356333 140722253988112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 51077120 140722253997059 140722253997205 140722253997205 140722254004191 0
/proc/357925/statm: 25806 22614 2762 2726 0 22554 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121816 KiB
Current children cumulated memory: 94340 KiB
[startup+3.10584 s]
/proc/loadavg: 4.27 4.15 4.10 5/264 357925
/proc/meminfo: memFree=123481528/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=357924] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/357924/stat : 357924 (timeout) S 357921 357924 354496 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65608418 8867840 262 134679101440 94891999006720 94891999041736 140720798428208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94892001139152 94892001141284 94892014936064 140720798430206 140720798430365 140720798430365 140720798437351 0
/proc/357924/statm: 2165 262 238 9 0 87 0
[pid=357925] ppid=357924 vsize=105292 memory=93096 CPUtime=3.08 cores=0,2
/proc/357925/stat : 357925 (CASHWMaxSAT-Dis) R 357924 357924 354496 0 -1 4194304 22837 0 0 0 306 2 0 0 20 0 1 0 65608418 107819008 23274 134679101440 4194304 15356333 140722253988112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 51077120 140722253997059 140722253997205 140722253997205 140722254004191 0
/proc/357925/statm: 26323 23274 2762 2726 0 23071 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 123884 KiB
Current children cumulated memory: 96980 KiB
[startup+6.30022 s]
/proc/loadavg: 4.27 4.15 4.10 5/264 357927
/proc/meminfo: memFree=123471704/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=357924] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/357924/stat : 357924 (timeout) S 357921 357924 354496 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65608418 8867840 262 134679101440 94891999006720 94891999041736 140720798428208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94892001139152 94892001141284 94892014936064 140720798430206 140720798430365 140720798430365 140720798437351 0
/proc/357924/statm: 2165 262 238 9 0 87 0
[pid=357925] ppid=357924 vsize=128280 memory=109992 CPUtime=6.26 cores=0,2
/proc/357925/stat : 357925 (CASHWMaxSAT-Dis) R 357924 357924 354496 0 -1 4194304 27025 0 0 0 623 3 0 0 20 0 1 0 65608418 131358720 27498 134679101440 4194304 15356333 140722253988112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 51077120 140722253997059 140722253997205 140722253997205 140722254004191 0
/proc/357925/statm: 32070 27498 2762 2726 0 28818 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 146872 KiB
Current children cumulated memory: 113876 KiB
[startup+12.7002 s]
/proc/loadavg: 4.25 4.14 4.10 5/264 357927
/proc/meminfo: memFree=123467440/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=357924] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/357924/stat : 357924 (timeout) S 357921 357924 354496 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65608418 8867840 262 134679101440 94891999006720 94891999041736 140720798428208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94892001139152 94892001141284 94892014936064 140720798430206 140720798430365 140720798430365 140720798437351 0
/proc/357924/statm: 2165 262 238 9 0 87 0
[pid=357925] ppid=357924 vsize=134900 memory=111840 CPUtime=12.64 cores=0,2
/proc/357925/stat : 357925 (CASHWMaxSAT-Dis) R 357924 357924 354496 0 -1 4194304 27490 0 0 0 1261 3 0 0 20 0 1 0 65608418 138137600 27960 134679101440 4194304 15356333 140722253988112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 51077120 140722253997059 140722253997205 140722253997205 140722254004191 0
/proc/357925/statm: 33725 27960 2762 2726 0 30473 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 115724 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 4.15 4.10 5/265 357929
/proc/meminfo: memFree=123450244/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=357924] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/357924/stat : 357924 (timeout) S 357921 357924 354496 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65608418 8867840 262 134679101440 94891999006720 94891999041736 140720798428208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94892001139152 94892001141284 94892014936064 140720798430206 140720798430365 140720798430365 140720798437351 0
/proc/357924/statm: 2165 262 238 9 0 87 0
[pid=357925] ppid=357924 vsize=150480 memory=126348 CPUtime=25.4 cores=0,2
/proc/357925/stat : 357925 (CASHWMaxSAT-Dis) R 357924 357924 354496 0 -1 4194304 31106 0 0 0 2537 3 0 0 20 0 1 0 65608418 154091520 31587 134679101440 4194304 15356333 140722253988112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 51077120 140722253997059 140722253997205 140722253997205 140722254004191 0
/proc/357925/statm: 37620 31587 2762 2726 0 34368 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 169072 KiB
Current children cumulated memory: 130232 KiB
[startup+51.1058 s]
/proc/loadavg: 4.23 4.16 4.10 5/266 357936
/proc/meminfo: memFree=123448576/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=357924] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/357924/stat : 357924 (timeout) S 357921 357924 354496 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65608418 8867840 262 134679101440 94891999006720 94891999041736 140720798428208 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94892001139152 94892001141284 94892014936064 140720798430206 140720798430365 140720798430365 140720798437351 0
/proc/357924/statm: 2165 262 238 9 0 87 0
[pid=357925] ppid=357924 vsize=157728 memory=134956 CPUtime=50.93 cores=0,2
/proc/357925/stat : 357925 (CASHWMaxSAT-Dis) R 357924 357924 354496 0 -1 4194304 33799 0 0 0 5089 4 0 0 20 0 1 0 65608418 161513472 33739 134679101440 4194304 15356333 140722253988112 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 51077120 140722253997059 140722253997205 140722253997205 140722254004191 0
/proc/357925/statm: 39432 33739 2762 2726 0 36180 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 176320 KiB
Current children cumulated memory: 138840 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/266 357944
/proc/meminfo: memFree=123425956/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=0 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 245 100 0 0 0 0 0 0 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
################
# More data... #
################
/proc/358944/statm: 28110 22423 852 745 0 27175 0
Current children cumulated CPU time: 3390.43 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 93576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 359945
/proc/meminfo: memFree=123275512/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=1791.83 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 274 138466 0 0 0 0 179140 43 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=358943] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/358943/stat : 358943 (timeout) S 357921 358943 354496 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65788219 8867840 262 134679101440 94706633392128 94706633427144 140729653117872 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706635524560 94706635526692 94706665127936 140729653122036 140729653122205 140729653122205 140729653129191 0
/proc/358943/statm: 2165 262 238 9 0 87 0
[pid=358944] ppid=358943 vsize=112440 memory=89692 CPUtime=1658.37 cores=0,2
/proc/358944/stat : 358944 (Exact) R 358943 358943 354496 0 -1 4194304 15528 0 0 0 165815 22 0 0 20 0 1 0 65788219 115138560 22423 134679101440 4194304 7243121 140729692447472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12066816 140729692451856 140729692452006 140729692452006 140729692458992 0
/proc/358944/statm: 28110 22423 852 745 0 27175 0
Current children cumulated CPU time: 3450.2 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 93576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/263 360007
/proc/meminfo: memFree=123305444/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=1791.83 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 274 138466 0 0 0 0 179140 43 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=358943] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/358943/stat : 358943 (timeout) S 357921 358943 354496 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65788219 8867840 262 134679101440 94706633392128 94706633427144 140729653117872 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706635524560 94706635526692 94706665127936 140729653122036 140729653122205 140729653122205 140729653129191 0
/proc/358943/statm: 2165 262 238 9 0 87 0
[pid=358944] ppid=358943 vsize=112440 memory=89692 CPUtime=1718.15 cores=0,2
/proc/358944/stat : 358944 (Exact) R 358943 358943 354496 0 -1 4194304 15565 0 0 0 171793 22 0 0 20 0 1 0 65788219 115138560 22423 134679101440 4194304 7243121 140729692447472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12066816 140729692451856 140729692452006 140729692452006 140729692458992 0
/proc/358944/statm: 28110 22423 852 745 0 27175 0
Current children cumulated CPU time: 3509.98 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 93576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/266 360081
/proc/meminfo: memFree=123178012/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=1791.83 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 274 138466 0 0 0 0 179140 43 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=358943] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/358943/stat : 358943 (timeout) S 357921 358943 354496 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65788219 8867840 262 134679101440 94706633392128 94706633427144 140729653117872 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706635524560 94706635526692 94706665127936 140729653122036 140729653122205 140729653122205 140729653129191 0
/proc/358943/statm: 2165 262 238 9 0 87 0
[pid=358944] ppid=358943 vsize=112440 memory=89696 CPUtime=1777.93 cores=0,2
/proc/358944/stat : 358944 (Exact) R 358943 358943 354496 0 -1 4194304 15601 0 0 0 177769 24 0 0 20 0 1 0 65788219 115138560 22424 134679101440 4194304 7243121 140729692447472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12066816 140729692451856 140729692452006 140729692452006 140729692458992 0
/proc/358944/statm: 28110 22424 852 745 0 27175 0
Current children cumulated CPU time: 3569.76 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 93580 KiB
[startup+3596.02 s]
# the end of solver process 357921 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.76 s, system=0.688079 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.13 4.10 5/266 360081
/proc/meminfo: memFree=123177312/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=1791.83 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 274 138466 0 0 0 0 179140 43 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=358943] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/358943/stat : 358943 (timeout) S 357921 358943 354496 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65788219 8867840 262 134679101440 94706633392128 94706633427144 140729653117872 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706635524560 94706635526692 94706665127936 140729653122036 140729653122205 140729653122205 140729653129191 0
/proc/358943/statm: 2165 262 238 9 0 87 0
[pid=358944] ppid=358943 vsize=112440 memory=89696 CPUtime=1779.63 cores=0,2
/proc/358944/stat : 358944 (Exact) R 358943 358943 354496 0 -1 4194304 15601 0 0 0 177939 24 0 0 20 0 1 0 65788219 115138560 22424 134679101440 4194304 7243121 140729692447472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12066816 140729692451856 140729692452006 140729692452006 140729692458992 0
/proc/358944/statm: 28110 22424 852 745 0 27175 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 93580 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.13 4.09 5/266 360082
/proc/meminfo: memFree=123137780/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=1791.83 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 274 138466 0 0 0 0 179140 43 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=358943] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/358943/stat : 358943 (timeout) S 357921 358943 354496 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65788219 8867840 262 134679101440 94706633392128 94706633427144 140729653117872 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706635524560 94706635526692 94706665127936 140729653122036 140729653122205 140729653122205 140729653129191 0
/proc/358943/statm: 2165 262 238 9 0 87 0
[pid=358944] ppid=358943 vsize=112440 memory=89696 CPUtime=1786 cores=0,2
/proc/358944/stat : 358944 (Exact) R 358943 358943 354496 0 -1 4194304 15601 0 0 0 178576 24 0 0 20 0 1 0 65788219 115138560 22424 134679101440 4194304 7243121 140729692447472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12066816 140729692451856 140729692452006 140729692452006 140729692458992 0
/proc/358944/statm: 28110 22424 852 745 0 27175 0
Current children cumulated CPU time: 3577.83 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 93580 KiB
[startup+3593.6 s]
/proc/loadavg: 4.22 4.15 4.10 5/266 360082
/proc/meminfo: memFree=123137792/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=1791.83 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 274 138466 0 0 0 0 179140 43 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=358943] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/358943/stat : 358943 (timeout) S 357921 358943 354496 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65788219 8867840 262 134679101440 94706633392128 94706633427144 140729653117872 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706635524560 94706635526692 94706665127936 140729653122036 140729653122205 140729653122205 140729653129191 0
/proc/358943/statm: 2165 262 238 9 0 87 0
[pid=358944] ppid=358943 vsize=112440 memory=89696 CPUtime=1789.19 cores=0,2
/proc/358944/stat : 358944 (Exact) R 358943 358943 354496 0 -1 4194304 15601 0 0 0 178895 24 0 0 20 0 1 0 65788219 115138560 22424 134679101440 4194304 7243121 140729692447472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12066816 140729692451856 140729692452006 140729692452006 140729692458992 0
/proc/358944/statm: 28110 22424 852 745 0 27175 0
Current children cumulated CPU time: 3581.02 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 93580 KiB
[startup+3595.2 s]
/proc/loadavg: 4.22 4.15 4.10 5/266 360082
/proc/meminfo: memFree=123137820/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=1791.83 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 274 138466 0 0 0 0 179140 43 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=358943] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/358943/stat : 358943 (timeout) S 357921 358943 354496 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65788219 8867840 262 134679101440 94706633392128 94706633427144 140729653117872 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706635524560 94706635526692 94706665127936 140729653122036 140729653122205 140729653122205 140729653129191 0
/proc/358943/statm: 2165 262 238 9 0 87 0
[pid=358944] ppid=358943 vsize=112440 memory=89696 CPUtime=1790.78 cores=0,2
/proc/358944/stat : 358944 (Exact) R 358943 358943 354496 0 -1 4194304 15601 0 0 0 179054 24 0 0 20 0 1 0 65788219 115138560 22424 134679101440 4194304 7243121 140729692447472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12066816 140729692451856 140729692452006 140729692452006 140729692458992 0
/proc/358944/statm: 28110 22424 852 745 0 27175 0
Current children cumulated CPU time: 3582.61 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 93580 KiB
[startup+3595.6 s]
/proc/loadavg: 4.22 4.15 4.10 5/266 360082
/proc/meminfo: memFree=123137820/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=1791.83 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 274 138466 0 0 0 0 179140 43 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=358943] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/358943/stat : 358943 (timeout) S 357921 358943 354496 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65788219 8867840 262 134679101440 94706633392128 94706633427144 140729653117872 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706635524560 94706635526692 94706665127936 140729653122036 140729653122205 140729653122205 140729653129191 0
/proc/358943/statm: 2165 262 238 9 0 87 0
[pid=358944] ppid=358943 vsize=112440 memory=89696 CPUtime=1791.18 cores=0,2
/proc/358944/stat : 358944 (Exact) R 358943 358943 354496 0 -1 4194304 15601 0 0 0 179094 24 0 0 20 0 1 0 65788219 115138560 22424 134679101440 4194304 7243121 140729692447472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12066816 140729692451856 140729692452006 140729692452006 140729692458992 0
/proc/358944/statm: 28110 22424 852 745 0 27175 0
Current children cumulated CPU time: 3583.01 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 93580 KiB
[startup+3596 s]*
/proc/loadavg: 4.22 4.15 4.10 5/266 360084
/proc/meminfo: memFree=123137484/131524600 swapFree=131071996/131071996
[pid=357921] ppid=357918 vsize=9932 memory=2836 CPUtime=1791.83 cores=0,2
/proc/357921/stat : 357921 (Hybrid-CASHWMax) S 357918 357921 354496 0 -1 4194304 274 138466 0 0 0 0 179140 43 20 0 1 0 65608418 10170368 709 134679101440 94065390403584 94065391482904 140728962864208 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94065393581360 94065393628548 94065426419712 140728962868174 140728962868333 140728962868333 140728962875348 0
/proc/357921/statm: 2483 709 616 264 0 134 0
[pid=358943] ppid=357921 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/358943/stat : 358943 (timeout) S 357921 358943 354496 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65788219 8867840 262 134679101440 94706633392128 94706633427144 140729653117872 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94706635524560 94706635526692 94706665127936 140729653122036 140729653122205 140729653122205 140729653129191 0
/proc/358943/statm: 2165 262 238 9 0 87 0
[pid=358944] ppid=358943 vsize=112440 memory=89696 CPUtime=1791.58 cores=0,2
/proc/358944/stat : 358944 (Exact) R 358943 358943 354496 0 -1 4194304 15601 0 0 0 179134 24 0 0 20 0 1 0 65788219 115138560 22424 134679101440 4194304 7243121 140729692447472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 12066816 140729692451856 140729692452006 140729692452006 140729692458992 0
/proc/358944/statm: 28110 22424 852 745 0 27175 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 131032 KiB
Current children cumulated memory: 93580 KiB
Child status: 0
Real time (s): 3596.02
CPU time (s): 3583.45
CPU user time (s): 3582.76
CPU system time (s): 0.688079
CPU usage (%): 99.6503
Max. virtual memory (cumulated for all children) (KiB): 443828
Max. memory (cumulated for all children) (KiB): 381752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.76
system time used= 0.688079
maximum resident set size= 377868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157372
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126
involuntary context switches= 24881
# summary of solver processes directly reported to runsolver:
# pid: 357921
# total CPU time (s): 3583.45
# total CPU user time (s): 3582.76
# total CPU system time (s): 0.688079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80563 second user time and 17.8009 second system time
The end
Begin job on nodeC035 at 2024-08-07 02:20:38
IDJOB=4458195
IDBENCH=177178
IDSOLVER=3072
FILE ID=nodeC035/4458195-1722990038
RUNJOBID= nodeC035-1722984445-354506
SLURM_JOB_ID= 8259107
Free space on /tmp= 890024 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458195-1722990038/watcher-4458195-1722990038 -o /tmp/evaluation-result-4458195-1722990038/solver-4458195-1722990038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722984445-354506 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4458195-1722990038.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 32ee0ddbdff3b16b51999f7bca4d7c0a
RANDOM SEED=394299024
nodeC035.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 : 3664.755
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 : 7000.79
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 : 3682.062
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.92
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 : 3663.550
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 : 7000.79
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.709
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.92
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 : 3666.018
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 : 7000.79
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 : 3682.108
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.92
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.749
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 : 7000.79
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 : 3600.463
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.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123566756 kB
MemAvailable: 129622296 kB
Buffers: 340140 kB
Cached: 6554116 kB
SwapCached: 0 kB
Active: 624924 kB
Inactive: 6793484 kB
Active(anon): 1596 kB
Inactive(anon): 560264 kB
Active(file): 623328 kB
Inactive(file): 6233220 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 38896 kB
Writeback: 0 kB
AnonPages: 520312 kB
Mapped: 111800 kB
Shmem: 37720 kB
KReclaimable: 77628 kB
Slab: 172036 kB
SReclaimable: 77628 kB
SUnreclaim: 94408 kB
KernelStack: 4192 kB
PageTables: 10584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 845680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 29952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 350208 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: 346836 kB
DirectMap2M: 24592384 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC035 at 2024-08-07 03:20:34