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: 64096 MiB (61894 MiB free)
memory of node 1: 64473 MiB (63370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462259-1722997733/watcher-4462259-1722997733 -o /tmp/evaluation-result-4462259-1722997733/solver-4462259-1722997733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722994136-362608 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4462259-1722997733.opb 3600 HOME 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=364824, runsolver pid=364821
[startup+0.100387 s]*
/proc/loadavg: 4.28 4.16 4.10 5/247 364828
/proc/meminfo: memFree=128256036/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 702 626 264 0 134 0
[pid=364827] ppid=364824 vsize=8660 memory=896 CPUtime=0 cores=4,6
/proc/364827/stat : 364827 (timeout) S 364824 364827 362597 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 66144447 8867840 224 134679101440 94878086033408 94878086068424 140724188113280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94878088165840 94878088167972 94878111240192 140724188116009 140724188116125 140724188116125 140724188123111 0
/proc/364827/statm: 2165 224 200 9 0 87 0
[pid=364828] ppid=364827 vsize=22048 memory=9600 CPUtime=0.09 cores=4,6
/proc/364828/stat : 364828 (LS-MabSP) R 364827 364827 362597 0 -1 4194304 1061 0 0 0 9 0 0 0 20 0 1 0 66144448 22577152 2400 134679101440 4194304 15467897 140721145368784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30937088 140721145373756 140721145373859 140721145373859 140721145380845 0
/proc/364828/statm: 5512 2400 1105 2753 0 2165 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40640 KiB
Current children cumulated memory: 13304 KiB
[startup+0.213735 s]*
/proc/loadavg: 4.28 4.16 4.10 5/246 364829
/proc/meminfo: memFree=128249588/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 702 626 264 0 134 0
[pid=364827] ppid=364824 vsize=8660 memory=896 CPUtime=0 cores=4,6
/proc/364827/stat : 364827 (timeout) S 364824 364827 362597 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 66144447 8867840 224 134679101440 94878086033408 94878086068424 140724188113280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94878088165840 94878088167972 94878111240192 140724188116009 140724188116125 140724188116125 140724188123111 0
/proc/364827/statm: 2165 224 200 9 0 87 0
[pid=364828] ppid=364827 vsize=22304 memory=9600 CPUtime=0.2 cores=4,6
/proc/364828/stat : 364828 (LS-MabSP) R 364827 364827 362597 0 -1 4194304 1108 0 0 0 20 0 0 0 20 0 1 0 66144448 22839296 2400 134679101440 4194304 15467897 140721145368784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30937088 140721145373756 140721145373859 140721145373859 140721145380845 0
/proc/364828/statm: 5576 2400 1105 2753 0 2229 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40896 KiB
Current children cumulated memory: 13304 KiB
[startup+0.313248 s]*
/proc/loadavg: 4.28 4.16 4.10 5/245 364829
/proc/meminfo: memFree=128236204/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 702 626 264 0 134 0
[pid=364827] ppid=364824 vsize=8660 memory=896 CPUtime=0 cores=4,6
/proc/364827/stat : 364827 (timeout) S 364824 364827 362597 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 66144447 8867840 224 134679101440 94878086033408 94878086068424 140724188113280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94878088165840 94878088167972 94878111240192 140724188116009 140724188116125 140724188116125 140724188123111 0
/proc/364827/statm: 2165 224 200 9 0 87 0
[pid=364828] ppid=364827 vsize=22304 memory=9600 CPUtime=0.3 cores=4,6
/proc/364828/stat : 364828 (LS-MabSP) R 364827 364827 362597 0 -1 4194304 1108 0 0 0 30 0 0 0 20 0 1 0 66144448 22839296 2400 134679101440 4194304 15467897 140721145368784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30937088 140721145373756 140721145373859 140721145373859 140721145380845 0
/proc/364828/statm: 5576 2400 1105 2753 0 2229 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40896 KiB
Current children cumulated memory: 13304 KiB
[startup+0.700468 s]
/proc/loadavg: 4.28 4.16 4.10 5/253 364842
/proc/meminfo: memFree=128196300/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 702 626 264 0 134 0
[pid=364827] ppid=364824 vsize=8660 memory=896 CPUtime=0 cores=4,6
/proc/364827/stat : 364827 (timeout) S 364824 364827 362597 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 66144447 8867840 224 134679101440 94878086033408 94878086068424 140724188113280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94878088165840 94878088167972 94878111240192 140724188116009 140724188116125 140724188116125 140724188123111 0
/proc/364827/statm: 2165 224 200 9 0 87 0
[pid=364828] ppid=364827 vsize=41432 memory=34840 CPUtime=0.68 cores=4,6
/proc/364828/stat : 364828 (LS-MabSP) R 364827 364827 362597 0 -1 4194304 7316 0 0 0 66 2 0 0 20 0 1 0 66144448 42426368 8710 134679101440 4194304 15467897 140721145368784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30937088 140721145373756 140721145373859 140721145373859 140721145380845 0
/proc/364828/statm: 10358 8710 2817 2753 0 7011 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60024 KiB
Current children cumulated memory: 38544 KiB
[startup+1.50051 s]
/proc/loadavg: 4.28 4.16 4.10 5/253 364842
/proc/meminfo: memFree=128169636/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 702 626 264 0 134 0
[pid=364827] ppid=364824 vsize=8660 memory=896 CPUtime=0 cores=4,6
/proc/364827/stat : 364827 (timeout) S 364824 364827 362597 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 66144447 8867840 224 134679101440 94878086033408 94878086068424 140724188113280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94878088165840 94878088167972 94878111240192 140724188116009 140724188116125 140724188116125 140724188123111 0
/proc/364827/statm: 2165 224 200 9 0 87 0
[pid=364828] ppid=364827 vsize=41432 memory=34840 CPUtime=1.47 cores=4,6
/proc/364828/stat : 364828 (LS-MabSP) R 364827 364827 362597 0 -1 4194304 7316 0 0 0 141 6 0 0 20 0 1 0 66144448 42426368 8710 134679101440 4194304 15467897 140721145368784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30937088 140721145373756 140721145373859 140721145373859 140721145380845 0
/proc/364828/statm: 10358 8710 2817 2753 0 7011 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 60024 KiB
Current children cumulated memory: 38544 KiB
[startup+3.11384 s]
/proc/loadavg: 4.26 4.15 4.10 5/253 364842
/proc/meminfo: memFree=128040008/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 702 626 264 0 134 0
[pid=364827] ppid=364824 vsize=8660 memory=896 CPUtime=0 cores=4,6
/proc/364827/stat : 364827 (timeout) S 364824 364827 362597 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 66144447 8867840 224 134679101440 94878086033408 94878086068424 140724188113280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94878088165840 94878088167972 94878111240192 140724188116009 140724188116125 140724188116125 140724188123111 0
/proc/364827/statm: 2165 224 200 9 0 87 0
[pid=364828] ppid=364827 vsize=41432 memory=34840 CPUtime=3.09 cores=4,6
/proc/364828/stat : 364828 (LS-MabSP) R 364827 364827 362597 0 -1 4194304 7316 0 0 0 295 14 0 0 20 0 1 0 66144448 42426368 8710 134679101440 4194304 15467897 140721145368784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30937088 140721145373756 140721145373859 140721145373859 140721145380845 0
/proc/364828/statm: 10358 8710 2817 2753 0 7011 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60024 KiB
Current children cumulated memory: 38544 KiB
[startup+6.30041 s]
/proc/loadavg: 4.26 4.15 4.10 5/253 364844
/proc/meminfo: memFree=127933536/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 702 626 264 0 134 0
[pid=364827] ppid=364824 vsize=8660 memory=896 CPUtime=0 cores=4,6
/proc/364827/stat : 364827 (timeout) S 364824 364827 362597 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 66144447 8867840 224 134679101440 94878086033408 94878086068424 140724188113280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94878088165840 94878088167972 94878111240192 140724188116009 140724188116125 140724188116125 140724188123111 0
/proc/364827/statm: 2165 224 200 9 0 87 0
[pid=364828] ppid=364827 vsize=41432 memory=34840 CPUtime=6.27 cores=4,6
/proc/364828/stat : 364828 (LS-MabSP) R 364827 364827 362597 0 -1 4194304 7316 0 0 0 596 31 0 0 20 0 1 0 66144448 42426368 8710 134679101440 4194304 15467897 140721145368784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30937088 140721145373756 140721145373859 140721145373859 140721145380845 0
/proc/364828/statm: 10358 8710 2817 2753 0 7011 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60024 KiB
Current children cumulated memory: 38544 KiB
[startup+12.7004 s]
/proc/loadavg: 4.24 4.15 4.10 5/253 364844
/proc/meminfo: memFree=127933512/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 702 626 264 0 134 0
[pid=364827] ppid=364824 vsize=8660 memory=896 CPUtime=0 cores=4,6
/proc/364827/stat : 364827 (timeout) S 364824 364827 362597 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 66144447 8867840 224 134679101440 94878086033408 94878086068424 140724188113280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94878088165840 94878088167972 94878111240192 140724188116009 140724188116125 140724188116125 140724188123111 0
/proc/364827/statm: 2165 224 200 9 0 87 0
[pid=364828] ppid=364827 vsize=41432 memory=34840 CPUtime=12.66 cores=4,6
/proc/364828/stat : 364828 (LS-MabSP) R 364827 364827 362597 0 -1 4194304 7316 0 0 0 1205 61 0 0 20 0 1 0 66144448 42426368 8710 134679101440 4194304 15467897 140721145368784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30937088 140721145373756 140721145373859 140721145373859 140721145380845 0
/proc/364828/statm: 10358 8710 2817 2753 0 7011 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 60024 KiB
Current children cumulated memory: 38544 KiB
[startup+25.5005 s]
/proc/loadavg: 4.26 4.16 4.10 5/253 364847
/proc/meminfo: memFree=126244756/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 702 626 264 0 134 0
[pid=364827] ppid=364824 vsize=8660 memory=896 CPUtime=0 cores=4,6
/proc/364827/stat : 364827 (timeout) S 364824 364827 362597 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 66144447 8867840 224 134679101440 94878086033408 94878086068424 140724188113280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94878088165840 94878088167972 94878111240192 140724188116009 140724188116125 140724188116125 140724188123111 0
/proc/364827/statm: 2165 224 200 9 0 87 0
[pid=364828] ppid=364827 vsize=41432 memory=34840 CPUtime=25.43 cores=4,6
/proc/364828/stat : 364828 (LS-MabSP) R 364827 364827 362597 0 -1 4194304 7316 0 0 0 2410 133 0 0 20 0 1 0 66144448 42426368 8710 134679101440 4194304 15467897 140721145368784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30937088 140721145373756 140721145373859 140721145373859 140721145380845 0
/proc/364828/statm: 10358 8710 2817 2753 0 7011 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 60024 KiB
Current children cumulated memory: 38544 KiB
[startup+51.1133 s]
/proc/loadavg: 4.17 4.14 4.10 5/253 364851
/proc/meminfo: memFree=126017428/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 702 626 264 0 134 0
[pid=364827] ppid=364824 vsize=8660 memory=896 CPUtime=0 cores=4,6
/proc/364827/stat : 364827 (timeout) S 364824 364827 362597 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 66144447 8867840 224 134679101440 94878086033408 94878086068424 140724188113280 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94878088165840 94878088167972 94878111240192 140724188116009 140724188116125 140724188116125 140724188123111 0
/proc/364827/statm: 2165 224 200 9 0 87 0
[pid=364828] ppid=364827 vsize=41432 memory=34840 CPUtime=51 cores=4,6
/proc/364828/stat : 364828 (LS-MabSP) R 364827 364827 362597 0 -1 4194304 7316 0 0 0 4834 266 0 0 20 0 1 0 66144448 42426368 8710 134679101440 4194304 15467897 140721145368784 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30937088 140721145373756 140721145373859 140721145373859 140721145380845 0
/proc/364828/statm: 10358 8710 2817 2753 0 7011 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 60024 KiB
Current children cumulated memory: 38544 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 364918
/proc/meminfo: memFree=126015280/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2808 CPUtime=0 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 66144447 10170368 702 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
################
# More data... #
################
/proc/365790/statm: 127666 112805 764 737 0 126754 0
Current children cumulated CPU time: 3395.63 s
Current children cumulated vsize: 529256 KiB
Current children cumulated memory: 455056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/254 366511
/proc/meminfo: memFree=112930452/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2860 CPUtime=1794.96 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 274 7729 0 0 0 0 169881 9615 20 0 1 0 66144447 10170368 715 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 715 626 264 0 134 0
[pid=365789] ppid=364824 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/365789/stat : 365789 (timeout) S 364824 365789 362597 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66324248 8867840 244 134679101440 94167040749568 94167040784584 140721158574080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94167042882000 94167042884132 94167062978560 140721158579188 140721158579357 140721158579357 140721158586343 0
/proc/365789/statm: 2165 244 219 9 0 87 0
[pid=365790] ppid=365789 vsize=511576 memory=451932 CPUtime=1660.55 cores=4,6
/proc/365790/stat : 365790 (Exact) R 365789 365789 362597 0 -1 4194304 54983 0 0 0 166027 28 0 0 20 0 1 0 66324248 523853824 112983 134679101440 4194304 7210733 140724754176224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 34598912 140724754183184 140724754183334 140724754183334 140724754190320 0
/proc/365790/statm: 127894 112983 764 737 0 126982 0
Current children cumulated CPU time: 3455.51 s
Current children cumulated vsize: 530168 KiB
Current children cumulated memory: 455768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/254 366521
/proc/meminfo: memFree=112692732/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2860 CPUtime=1794.96 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 274 7729 0 0 0 0 169881 9615 20 0 1 0 66144447 10170368 715 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 715 626 264 0 134 0
[pid=365789] ppid=364824 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/365789/stat : 365789 (timeout) S 364824 365789 362597 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66324248 8867840 244 134679101440 94167040749568 94167040784584 140721158574080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94167042882000 94167042884132 94167062978560 140721158579188 140721158579357 140721158579357 140721158586343 0
/proc/365789/statm: 2165 244 219 9 0 87 0
[pid=365790] ppid=365789 vsize=513368 memory=453664 CPUtime=1720.43 cores=4,6
/proc/365790/stat : 365790 (Exact) R 365789 365789 362597 0 -1 4194304 55523 0 0 0 172015 28 0 0 20 0 1 0 66324248 525688832 113416 134679101440 4194304 7210733 140724754176224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 34598912 140724754183184 140724754183334 140724754183334 140724754190320 0
/proc/365790/statm: 128342 113416 764 737 0 127430 0
Current children cumulated CPU time: 3515.39 s
Current children cumulated vsize: 531960 KiB
Current children cumulated memory: 457500 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/254 366532
/proc/meminfo: memFree=112675976/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2860 CPUtime=1794.96 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 274 7729 0 0 0 0 169881 9615 20 0 1 0 66144447 10170368 715 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 715 626 264 0 134 0
[pid=365789] ppid=364824 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/365789/stat : 365789 (timeout) S 364824 365789 362597 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66324248 8867840 244 134679101440 94167040749568 94167040784584 140721158574080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94167042882000 94167042884132 94167062978560 140721158579188 140721158579357 140721158579357 140721158586343 0
/proc/365789/statm: 2165 244 219 9 0 87 0
[pid=365790] ppid=365789 vsize=516832 memory=457200 CPUtime=1780.3 cores=4,6
/proc/365790/stat : 365790 (Exact) R 365789 365789 362597 0 -1 4194304 56507 0 0 0 178002 28 0 0 20 0 1 0 66324248 529235968 114300 134679101440 4194304 7210733 140724754176224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 34598912 140724754183184 140724754183334 140724754183334 140724754190320 0
/proc/365790/statm: 129208 114300 764 737 0 128296 0
Current children cumulated CPU time: 3575.26 s
Current children cumulated vsize: 535424 KiB
Current children cumulated memory: 461036 KiB
[startup+3596.08 s]
# the end of solver process 364824 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3492.58 s, system=96.4626 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.15 4.17 5/254 366533
/proc/meminfo: memFree=112675204/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2860 CPUtime=1794.96 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 274 7729 0 0 0 0 169881 9615 20 0 1 0 66144447 10170368 715 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 715 626 264 0 134 0
[pid=365789] ppid=364824 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/365789/stat : 365789 (timeout) S 364824 365789 362597 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66324248 8867840 244 134679101440 94167040749568 94167040784584 140721158574080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94167042882000 94167042884132 94167062978560 140721158579188 140721158579357 140721158579357 140721158586343 0
/proc/365789/statm: 2165 244 219 9 0 87 0
[pid=365790] ppid=365789 vsize=516832 memory=457200 CPUtime=1782.01 cores=4,6
/proc/365790/stat : 365790 (Exact) R 365789 365789 362597 0 -1 4194304 56507 0 0 0 178173 28 0 0 20 0 1 0 66324248 529235968 114300 134679101440 4194304 7210733 140724754176224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 34598912 140724754183184 140724754183334 140724754183334 140724754190320 0
/proc/365790/statm: 129208 114300 764 737 0 128296 0
Current children cumulated CPU time: 3576.97 s
Current children cumulated vsize: 535424 KiB
Current children cumulated memory: 461036 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.15 4.17 5/254 366533
/proc/meminfo: memFree=112674912/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2860 CPUtime=1794.96 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 274 7729 0 0 0 0 169881 9615 20 0 1 0 66144447 10170368 715 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 715 626 264 0 134 0
[pid=365789] ppid=364824 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/365789/stat : 365789 (timeout) S 364824 365789 362597 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66324248 8867840 244 134679101440 94167040749568 94167040784584 140721158574080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94167042882000 94167042884132 94167062978560 140721158579188 140721158579357 140721158579357 140721158586343 0
/proc/365789/statm: 2165 244 219 9 0 87 0
[pid=365790] ppid=365789 vsize=516832 memory=457200 CPUtime=1788.38 cores=4,6
/proc/365790/stat : 365790 (Exact) R 365789 365789 362597 0 -1 4194304 56510 0 0 0 178810 28 0 0 20 0 1 0 66324248 529235968 114300 134679101440 4194304 7210733 140724754176224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 34598912 140724754183184 140724754183334 140724754183334 140724754190320 0
/proc/365790/statm: 129208 114300 764 737 0 128296 0
Current children cumulated CPU time: 3583.34 s
Current children cumulated vsize: 535424 KiB
Current children cumulated memory: 461036 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.15 4.17 5/255 366702
/proc/meminfo: memFree=112674128/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2860 CPUtime=1794.96 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 274 7729 0 0 0 0 169881 9615 20 0 1 0 66144447 10170368 715 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 715 626 264 0 134 0
[pid=365789] ppid=364824 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/365789/stat : 365789 (timeout) S 364824 365789 362597 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66324248 8867840 244 134679101440 94167040749568 94167040784584 140721158574080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94167042882000 94167042884132 94167062978560 140721158579188 140721158579357 140721158579357 140721158586343 0
/proc/365789/statm: 2165 244 219 9 0 87 0
[pid=365790] ppid=365789 vsize=516832 memory=457200 CPUtime=1791.57 cores=4,6
/proc/365790/stat : 365790 (Exact) R 365789 365789 362597 0 -1 4194304 56510 0 0 0 179129 28 0 0 20 0 1 0 66324248 529235968 114300 134679101440 4194304 7210733 140724754176224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 34598912 140724754183184 140724754183334 140724754183334 140724754190320 0
/proc/365790/statm: 129208 114300 764 737 0 128296 0
Current children cumulated CPU time: 3586.53 s
Current children cumulated vsize: 535424 KiB
Current children cumulated memory: 461036 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.14 4.17 5/255 366704
/proc/meminfo: memFree=112672744/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2860 CPUtime=1794.96 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 274 7729 0 0 0 0 169881 9615 20 0 1 0 66144447 10170368 715 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 715 626 264 0 134 0
[pid=365789] ppid=364824 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/365789/stat : 365789 (timeout) S 364824 365789 362597 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66324248 8867840 244 134679101440 94167040749568 94167040784584 140721158574080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94167042882000 94167042884132 94167062978560 140721158579188 140721158579357 140721158579357 140721158586343 0
/proc/365789/statm: 2165 244 219 9 0 87 0
[pid=365790] ppid=365789 vsize=516832 memory=457200 CPUtime=1793.17 cores=4,6
/proc/365790/stat : 365790 (Exact) R 365789 365789 362597 0 -1 4194304 56511 0 0 0 179289 28 0 0 20 0 1 0 66324248 529235968 114300 134679101440 4194304 7210733 140724754176224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 34598912 140724754183184 140724754183334 140724754183334 140724754190320 0
/proc/365790/statm: 129208 114300 764 737 0 128296 0
Current children cumulated CPU time: 3588.13 s
Current children cumulated vsize: 535424 KiB
Current children cumulated memory: 461036 KiB
[startup+3595.6 s]
/proc/loadavg: 4.10 4.14 4.17 5/255 366704
/proc/meminfo: memFree=112672744/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2860 CPUtime=1794.96 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 274 7729 0 0 0 0 169881 9615 20 0 1 0 66144447 10170368 715 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 715 626 264 0 134 0
[pid=365789] ppid=364824 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/365789/stat : 365789 (timeout) S 364824 365789 362597 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66324248 8867840 244 134679101440 94167040749568 94167040784584 140721158574080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94167042882000 94167042884132 94167062978560 140721158579188 140721158579357 140721158579357 140721158586343 0
/proc/365789/statm: 2165 244 219 9 0 87 0
[pid=365790] ppid=365789 vsize=516832 memory=457200 CPUtime=1793.57 cores=4,6
/proc/365790/stat : 365790 (Exact) R 365789 365789 362597 0 -1 4194304 56511 0 0 0 179329 28 0 0 20 0 1 0 66324248 529235968 114300 134679101440 4194304 7210733 140724754176224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 34598912 140724754183184 140724754183334 140724754183334 140724754190320 0
/proc/365790/statm: 129208 114300 764 737 0 128296 0
Current children cumulated CPU time: 3588.53 s
Current children cumulated vsize: 535424 KiB
Current children cumulated memory: 461036 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.14 4.17 5/255 366704
/proc/meminfo: memFree=113502184/131655788 swapFree=131071996/131071996
[pid=364824] ppid=364821 vsize=9932 memory=2860 CPUtime=1794.96 cores=4,6
/proc/364824/stat : 364824 (Hybrid-LSMabSP+) S 364821 364824 362597 0 -1 4194304 274 7729 0 0 0 0 169881 9615 20 0 1 0 66144447 10170368 715 134679101440 94441126338560 94441127417880 140724176690736 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94441129516336 94441129563524 94441138130944 140724176692200 140724176692346 140724176692346 140724176699361 0
/proc/364824/statm: 2483 715 626 264 0 134 0
[pid=365789] ppid=364824 vsize=8660 memory=976 CPUtime=0 cores=4,6
/proc/365789/stat : 365789 (timeout) S 364824 365789 362597 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66324248 8867840 244 134679101440 94167040749568 94167040784584 140721158574080 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94167042882000 94167042884132 94167062978560 140721158579188 140721158579357 140721158579357 140721158586343 0
/proc/365789/statm: 2165 244 219 9 0 87 0
[pid=365790] ppid=365789 vsize=516832 memory=457200 CPUtime=1793.98 cores=4,6
/proc/365790/stat : 365790 (Exact) R 365789 365789 362597 0 -1 4194304 56511 0 0 0 179370 28 0 0 20 0 1 0 66324248 529235968 114300 134679101440 4194304 7210733 140724754176224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 34598912 140724754183184 140724754183334 140724754183334 140724754190320 0
/proc/365790/statm: 129208 114300 764 737 0 128296 0
Current children cumulated CPU time: 3588.94 s
Current children cumulated vsize: 535424 KiB
Current children cumulated memory: 461036 KiB
Child status: 0
Real time (s): 3596.08
CPU time (s): 3589.05
CPU user time (s): 3492.58
CPU system time (s): 96.4626
CPU usage (%): 99.8043
Max. virtual memory (cumulated for all children) (KiB): 535424
Max. memory (cumulated for all children) (KiB): 461036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3492.58
system time used= 96.4626
maximum resident set size= 457412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 2038
# summary of solver processes directly reported to runsolver:
# pid: 364824
# total CPU time (s): 3589.05
# total CPU user time (s): 3492.58
# total CPU system time (s): 96.4626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7069 second user time and 33.1926 second system time
The end
Begin job on nodeC004 at 2024-08-07 04:28:53
IDJOB=4462259
IDBENCH=178881
IDSOLVER=3070
FILE ID=nodeC004/4462259-1722997733
RUNJOBID= nodeC004-1722994136-362608
SLURM_JOB_ID= 8259118
Free space on /tmp= 723748 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_300_003.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462259-1722997733/watcher-4462259-1722997733 -o /tmp/evaluation-result-4462259-1722997733/solver-4462259-1722997733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722994136-362608 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4462259-1722997733.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6634d700c28eee8c31f86d7271d2b866
RANDOM SEED=274453711
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.234
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.420
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.239
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.297
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.340
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.233
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128278616 kB
MemAvailable: 129938932 kB
Buffers: 363120 kB
Cached: 2139080 kB
SwapCached: 0 kB
Active: 696912 kB
Inactive: 2195660 kB
Active(anon): 1372 kB
Inactive(anon): 426720 kB
Active(file): 695540 kB
Inactive(file): 1768940 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 67084 kB
Writeback: 8 kB
AnonPages: 390340 kB
Mapped: 104184 kB
Shmem: 37704 kB
KReclaimable: 72068 kB
Slab: 158824 kB
SReclaimable: 72068 kB
SUnreclaim: 86756 kB
KernelStack: 3696 kB
PageTables: 9880 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 732580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 25696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 256000 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: 252744 kB
DirectMap2M: 20623360 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 723688 MiB
End job on nodeC004 at 2024-08-07 05:28:50