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 (62852 MiB free)
memory of node 1: 64473 MiB (62765 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449629-1722991691/watcher-4449629-1722991691 -o /tmp/evaluation-result-4449629-1722991691/solver-4449629-1722991691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722983783-353598 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4449629-1722991691.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=358248, runsolver pid=358245
[startup+0.100257 s]*
/proc/loadavg: 4.20 4.19 4.13 5/259 358252
/proc/meminfo: memFree=128618576/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 662 585 264 0 134 0
[pid=358251] ppid=358248 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/358251/stat : 358251 (timeout) S 358248 358251 353587 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771051 8867840 256 134679101440 94312555765760 94312555800776 140724660517168 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94312557898192 94312557900324 94312583135232 140724660524077 140724660524193 140724660524193 140724660531175 0
/proc/358251/statm: 2165 256 232 9 0 87 0
[pid=358252] ppid=358251 vsize=30656 memory=18172 CPUtime=0.09 cores=4,6
/proc/358252/stat : 358252 (LS-MabSP) R 358251 358251 353587 0 -1 4194304 3020 0 0 0 9 0 0 0 20 0 1 0 65771051 31391744 4543 134679101440 4194304 15467897 140728475908128 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 48910336 140728475915328 140728475915431 140728475915431 140728475922413 0
/proc/358252/statm: 7664 4543 1073 2753 0 4317 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49248 KiB
Current children cumulated memory: 21844 KiB
[startup+0.206256 s]*
/proc/loadavg: 4.20 4.19 4.13 5/259 358252
/proc/meminfo: memFree=128616156/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 662 585 264 0 134 0
[pid=358251] ppid=358248 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/358251/stat : 358251 (timeout) S 358248 358251 353587 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771051 8867840 256 134679101440 94312555765760 94312555800776 140724660517168 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94312557898192 94312557900324 94312583135232 140724660524077 140724660524193 140724660524193 140724660531175 0
/proc/358251/statm: 2165 256 232 9 0 87 0
[pid=358252] ppid=358251 vsize=34752 memory=20224 CPUtime=0.18 cores=4,6
/proc/358252/stat : 358252 (LS-MabSP) R 358251 358251 353587 0 -1 4194304 3536 0 0 0 18 0 0 0 20 0 1 0 65771051 35586048 5056 134679101440 4194304 15467897 140728475908128 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 48910336 140728475915328 140728475915431 140728475915431 140728475922413 0
/proc/358252/statm: 8688 5056 1073 2753 0 5341 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 53344 KiB
Current children cumulated memory: 23896 KiB
[startup+0.306237 s]*
/proc/loadavg: 4.20 4.19 4.13 5/259 358252
/proc/meminfo: memFree=128614416/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 662 585 264 0 134 0
[pid=358251] ppid=358248 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/358251/stat : 358251 (timeout) S 358248 358251 353587 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771051 8867840 256 134679101440 94312555765760 94312555800776 140724660517168 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94312557898192 94312557900324 94312583135232 140724660524077 140724660524193 140724660524193 140724660531175 0
/proc/358251/statm: 2165 256 232 9 0 87 0
[pid=358252] ppid=358251 vsize=34752 memory=22272 CPUtime=0.28 cores=4,6
/proc/358252/stat : 358252 (LS-MabSP) R 358251 358251 353587 0 -1 4194304 3537 0 0 0 28 0 0 0 20 0 1 0 65771051 35586048 5568 134679101440 4194304 15467897 140728475908128 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 48910336 140728475915328 140728475915431 140728475915431 140728475922413 0
/proc/358252/statm: 8688 5568 1073 2753 0 5341 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 53344 KiB
Current children cumulated memory: 25944 KiB
[startup+0.701258 s]
/proc/loadavg: 4.20 4.19 4.13 5/259 358252
/proc/meminfo: memFree=128610152/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 662 585 264 0 134 0
[pid=358251] ppid=358248 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/358251/stat : 358251 (timeout) S 358248 358251 353587 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771051 8867840 256 134679101440 94312555765760 94312555800776 140724660517168 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94312557898192 94312557900324 94312583135232 140724660524077 140724660524193 140724660524193 140724660531175 0
/proc/358251/statm: 2165 256 232 9 0 87 0
[pid=358252] ppid=358251 vsize=62080 memory=49256 CPUtime=0.66 cores=4,6
/proc/358252/stat : 358252 (LS-MabSP) R 358251 358251 353587 0 -1 4194304 5241 0 0 0 65 1 0 0 20 0 1 0 65771051 63569920 12314 134679101440 4194304 15467897 140728475908128 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 48910336 140728475915328 140728475915431 140728475915431 140728475922413 0
/proc/358252/statm: 15520 12314 1073 2753 0 12173 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 80672 KiB
Current children cumulated memory: 52928 KiB
[startup+1.50026 s]
/proc/loadavg: 4.20 4.19 4.13 5/259 358252
/proc/meminfo: memFree=128532468/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 662 585 264 0 134 0
[pid=358251] ppid=358248 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/358251/stat : 358251 (timeout) S 358248 358251 353587 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771051 8867840 256 134679101440 94312555765760 94312555800776 140724660517168 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94312557898192 94312557900324 94312583135232 140724660524077 140724660524193 140724660524193 140724660531175 0
/proc/358251/statm: 2165 256 232 9 0 87 0
[pid=358252] ppid=358251 vsize=116656 memory=104244 CPUtime=1.45 cores=4,6
/proc/358252/stat : 358252 (LS-MabSP) R 358251 358251 353587 0 -1 4194304 12318 0 0 0 142 3 0 0 20 0 1 0 65771051 119455744 26061 134679101440 4194304 15467897 140728475908128 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 48910336 140728475915328 140728475915431 140728475915431 140728475922413 0
/proc/358252/statm: 29164 26061 1105 2753 0 25817 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 135248 KiB
Current children cumulated memory: 107916 KiB
[startup+3.10567 s]
/proc/loadavg: 4.18 4.18 4.13 5/259 358252
/proc/meminfo: memFree=128304496/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 662 585 264 0 134 0
[pid=358251] ppid=358248 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/358251/stat : 358251 (timeout) S 358248 358251 353587 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771051 8867840 256 134679101440 94312555765760 94312555800776 140724660517168 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94312557898192 94312557900324 94312583135232 140724660524077 140724660524193 140724660524193 140724660531175 0
/proc/358251/statm: 2165 256 232 9 0 87 0
[pid=358252] ppid=358251 vsize=354728 memory=338772 CPUtime=3.04 cores=4,6
/proc/358252/stat : 358252 (LS-MabSP) R 358251 358251 353587 0 -1 4194304 72514 0 0 0 293 11 0 0 20 0 1 0 65771051 363241472 84693 134679101440 4194304 15467897 140728475908128 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48910336 140728475915328 140728475915431 140728475915431 140728475922413 0
/proc/358252/statm: 88682 84693 2689 2753 0 85335 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 373320 KiB
Current children cumulated memory: 342444 KiB
[startup+6.3003 s]
/proc/loadavg: 4.18 4.18 4.13 5/259 358252
/proc/meminfo: memFree=127945508/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 662 585 264 0 134 0
[pid=358251] ppid=358248 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/358251/stat : 358251 (timeout) S 358248 358251 353587 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771051 8867840 256 134679101440 94312555765760 94312555800776 140724660517168 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94312557898192 94312557900324 94312583135232 140724660524077 140724660524193 140724660524193 140724660531175 0
/proc/358251/statm: 2165 256 232 9 0 87 0
[pid=358252] ppid=358251 vsize=733912 memory=695396 CPUtime=6.23 cores=4,6
/proc/358252/stat : 358252 (LS-MabSP) R 358251 358251 353587 0 -1 4194304 124532 0 0 0 602 21 0 0 20 0 1 0 65771051 751525888 173849 134679101440 4194304 15467897 140728475908128 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48910336 140728475915328 140728475915431 140728475915431 140728475922413 0
/proc/358252/statm: 183478 173849 2817 2753 0 180131 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 752504 KiB
Current children cumulated memory: 699068 KiB
[startup+12.7003 s]
/proc/loadavg: 4.39 4.23 4.15 5/259 358253
/proc/meminfo: memFree=127941592/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 662 585 264 0 134 0
[pid=358251] ppid=358248 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/358251/stat : 358251 (timeout) S 358248 358251 353587 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771051 8867840 256 134679101440 94312555765760 94312555800776 140724660517168 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94312557898192 94312557900324 94312583135232 140724660524077 140724660524193 140724660524193 140724660531175 0
/proc/358251/statm: 2165 256 232 9 0 87 0
[pid=358252] ppid=358251 vsize=733912 memory=696204 CPUtime=12.62 cores=4,6
/proc/358252/stat : 358252 (LS-MabSP) R 358251 358251 353587 0 -1 4194304 124693 0 0 0 1241 21 0 0 20 0 1 0 65771051 751525888 174051 134679101440 4194304 15467897 140728475908128 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48910336 140728475915328 140728475915431 140728475915431 140728475922413 0
/proc/358252/statm: 183478 174051 2833 2753 0 180131 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 752504 KiB
Current children cumulated memory: 699876 KiB
[startup+25.5003 s]
/proc/loadavg: 4.48 4.25 4.16 5/259 358255
/proc/meminfo: memFree=127905660/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 662 585 264 0 134 0
[pid=358251] ppid=358248 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/358251/stat : 358251 (timeout) S 358248 358251 353587 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771051 8867840 256 134679101440 94312555765760 94312555800776 140724660517168 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94312557898192 94312557900324 94312583135232 140724660524077 140724660524193 140724660524193 140724660531175 0
/proc/358251/statm: 2165 256 232 9 0 87 0
[pid=358252] ppid=358251 vsize=829892 memory=731504 CPUtime=25.38 cores=4,6
/proc/358252/stat : 358252 (LS-MabSP) R 358251 358251 353587 0 -1 4194304 127952 0 0 0 2516 22 0 0 20 0 1 0 65771051 849809408 182876 134679101440 4194304 15467897 140728475908128 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48910336 140728475915328 140728475915431 140728475915431 140728475922413 0
/proc/358252/statm: 207473 182876 2833 2753 0 204126 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 848484 KiB
Current children cumulated memory: 735176 KiB
[startup+51.1059 s]
/proc/loadavg: 4.51 4.28 4.17 5/259 358259
/proc/meminfo: memFree=127683764/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 662 585 264 0 134 0
[pid=358251] ppid=358248 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/358251/stat : 358251 (timeout) S 358248 358251 353587 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65771051 8867840 256 134679101440 94312555765760 94312555800776 140724660517168 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94312557898192 94312557900324 94312583135232 140724660524077 140724660524193 140724660524193 140724660531175 0
/proc/358251/statm: 2165 256 232 9 0 87 0
[pid=358252] ppid=358251 vsize=1142388 memory=946296 CPUtime=50.92 cores=4,6
/proc/358252/stat : 358252 (LS-MabSP) R 358251 358251 353587 0 -1 4194304 178089 0 0 0 5062 30 0 0 20 0 1 0 65771051 1169805312 236574 134679101440 4194304 15467897 140728475908128 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48910336 140728475915328 140728475915431 140728475915431 140728475922413 0
/proc/358252/statm: 285597 236574 2849 2753 0 282250 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1160980 KiB
Current children cumulated memory: 949968 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.25 4.16 5/259 358269
/proc/meminfo: memFree=127677504/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2648 CPUtime=0 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 237 101 0 0 0 0 0 0 20 0 1 0 65771051 10170368 662 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
################
# More data... #
################
/proc/359343/statm: 27856 25881 748 737 0 26944 0
Current children cumulated CPU time: 3394.26 s
Current children cumulated vsize: 130016 KiB
Current children cumulated memory: 107132 KiB
[startup+3462.3 s]
/proc/loadavg: 2.19 2.60 3.37 3/242 360359
/proc/meminfo: memFree=128933352/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2696 CPUtime=1793.76 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 271 312344 0 0 0 0 178421 955 20 0 1 0 65771051 10170368 674 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 674 585 264 0 134 0
[pid=359342] ppid=358248 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/359342/stat : 359342 (timeout) S 358248 359342 353587 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65950855 8867840 228 134679101440 94525828866048 94525828901064 140725612083440 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94525830998480 94525831000612 94525860876288 140725612086264 140725612086433 140725612086433 140725612093415 0
/proc/359342/statm: 2165 228 204 9 0 87 0
[pid=359343] ppid=359342 vsize=112192 memory=104256 CPUtime=1660.35 cores=4,6
/proc/359343/stat : 359343 (Exact) R 359342 359342 353587 0 -1 4194304 179207 0 0 0 166003 32 0 0 20 0 1 0 65950855 114884608 26064 134679101440 4194304 7210733 140722500569680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 20582400 140722500576276 140722500576426 140722500576426 140722500583408 0
/proc/359343/statm: 28048 26064 748 737 0 27136 0
Current children cumulated CPU time: 3454.11 s
Current children cumulated vsize: 130784 KiB
Current children cumulated memory: 107864 KiB
[startup+3522.3 s]
/proc/loadavg: 2.19 2.52 3.29 3/242 360369
/proc/meminfo: memFree=128932460/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2696 CPUtime=1793.76 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 271 312344 0 0 0 0 178421 955 20 0 1 0 65771051 10170368 674 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 674 585 264 0 134 0
[pid=359342] ppid=358248 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/359342/stat : 359342 (timeout) S 358248 359342 353587 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65950855 8867840 228 134679101440 94525828866048 94525828901064 140725612083440 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94525830998480 94525831000612 94525860876288 140725612086264 140725612086433 140725612086433 140725612093415 0
/proc/359342/statm: 2165 228 204 9 0 87 0
[pid=359343] ppid=359342 vsize=112512 memory=104764 CPUtime=1720.2 cores=4,6
/proc/359343/stat : 359343 (Exact) R 359342 359342 353587 0 -1 4194304 179349 0 0 0 171988 32 0 0 20 0 1 0 65950855 115212288 26191 134679101440 4194304 7210733 140722500569680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 20582400 140722500576276 140722500576426 140722500576426 140722500583408 0
/proc/359343/statm: 28128 26191 748 737 0 27216 0
Current children cumulated CPU time: 3513.96 s
Current children cumulated vsize: 131104 KiB
Current children cumulated memory: 108372 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.44 3.22 3/242 360382
/proc/meminfo: memFree=128929888/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2696 CPUtime=1793.76 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 271 312344 0 0 0 0 178421 955 20 0 1 0 65771051 10170368 674 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 674 585 264 0 134 0
[pid=359342] ppid=358248 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/359342/stat : 359342 (timeout) S 358248 359342 353587 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65950855 8867840 228 134679101440 94525828866048 94525828901064 140725612083440 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94525830998480 94525831000612 94525860876288 140725612086264 140725612086433 140725612086433 140725612093415 0
/proc/359342/statm: 2165 228 204 9 0 87 0
[pid=359343] ppid=359342 vsize=114400 memory=106388 CPUtime=1780.05 cores=4,6
/proc/359343/stat : 359343 (Exact) R 359342 359342 353587 0 -1 4194304 179854 0 0 0 177973 32 0 0 20 0 1 0 65950855 117145600 26597 134679101440 4194304 7210733 140722500569680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 20582400 140722500576276 140722500576426 140722500576426 140722500583408 0
/proc/359343/statm: 28600 26597 748 737 0 27688 0
Current children cumulated CPU time: 3573.81 s
Current children cumulated vsize: 132992 KiB
Current children cumulated memory: 109996 KiB
[startup+3596.06 s]
# the end of solver process 358248 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.67 s, system=9.89624 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.10 2.44 3.22 3/242 360382
/proc/meminfo: memFree=128929888/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2696 CPUtime=1793.76 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 271 312344 0 0 0 0 178421 955 20 0 1 0 65771051 10170368 674 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 674 585 264 0 134 0
[pid=359342] ppid=358248 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/359342/stat : 359342 (timeout) S 358248 359342 353587 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65950855 8867840 228 134679101440 94525828866048 94525828901064 140725612083440 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94525830998480 94525831000612 94525860876288 140725612086264 140725612086433 140725612086433 140725612093415 0
/proc/359342/statm: 2165 228 204 9 0 87 0
[pid=359343] ppid=359342 vsize=114400 memory=106388 CPUtime=1781.75 cores=4,6
/proc/359343/stat : 359343 (Exact) R 359342 359342 353587 0 -1 4194304 179854 0 0 0 178143 32 0 0 20 0 1 0 65950855 117145600 26597 134679101440 4194304 7210733 140722500569680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 20582400 140722500576276 140722500576426 140722500576426 140722500583408 0
/proc/359343/statm: 28600 26597 748 737 0 27688 0
Current children cumulated CPU time: 3575.51 s
Current children cumulated vsize: 132992 KiB
Current children cumulated memory: 109996 KiB
[startup+3590.4 s]
/proc/loadavg: 2.10 2.43 3.21 3/242 360383
/proc/meminfo: memFree=128929920/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2696 CPUtime=1793.76 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 271 312344 0 0 0 0 178421 955 20 0 1 0 65771051 10170368 674 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 674 585 264 0 134 0
[pid=359342] ppid=358248 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/359342/stat : 359342 (timeout) S 358248 359342 353587 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65950855 8867840 228 134679101440 94525828866048 94525828901064 140725612083440 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94525830998480 94525831000612 94525860876288 140725612086264 140725612086433 140725612086433 140725612093415 0
/proc/359342/statm: 2165 228 204 9 0 87 0
[pid=359343] ppid=359342 vsize=114400 memory=106388 CPUtime=1788.13 cores=4,6
/proc/359343/stat : 359343 (Exact) R 359342 359342 353587 0 -1 4194304 179854 0 0 0 178781 32 0 0 20 0 1 0 65950855 117145600 26597 134679101440 4194304 7210733 140722500569680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 20582400 140722500576276 140722500576426 140722500576426 140722500583408 0
/proc/359343/statm: 28600 26597 748 737 0 27688 0
Current children cumulated CPU time: 3581.89 s
Current children cumulated vsize: 132992 KiB
Current children cumulated memory: 109996 KiB
[startup+3593.6 s]
/proc/loadavg: 2.09 2.42 3.20 3/242 360383
/proc/meminfo: memFree=128929920/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2696 CPUtime=1793.76 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 271 312344 0 0 0 0 178421 955 20 0 1 0 65771051 10170368 674 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 674 585 264 0 134 0
[pid=359342] ppid=358248 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/359342/stat : 359342 (timeout) S 358248 359342 353587 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65950855 8867840 228 134679101440 94525828866048 94525828901064 140725612083440 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94525830998480 94525831000612 94525860876288 140725612086264 140725612086433 140725612086433 140725612093415 0
/proc/359342/statm: 2165 228 204 9 0 87 0
[pid=359343] ppid=359342 vsize=114400 memory=106388 CPUtime=1791.32 cores=4,6
/proc/359343/stat : 359343 (Exact) R 359342 359342 353587 0 -1 4194304 179854 0 0 0 179100 32 0 0 20 0 1 0 65950855 117145600 26597 134679101440 4194304 7210733 140722500569680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 20582400 140722500576276 140722500576426 140722500576426 140722500583408 0
/proc/359343/statm: 28600 26597 748 737 0 27688 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 132992 KiB
Current children cumulated memory: 109996 KiB
[startup+3595.2 s]
/proc/loadavg: 2.09 2.42 3.20 3/242 360383
/proc/meminfo: memFree=128929912/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2696 CPUtime=1793.76 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 271 312344 0 0 0 0 178421 955 20 0 1 0 65771051 10170368 674 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 674 585 264 0 134 0
[pid=359342] ppid=358248 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/359342/stat : 359342 (timeout) S 358248 359342 353587 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65950855 8867840 228 134679101440 94525828866048 94525828901064 140725612083440 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94525830998480 94525831000612 94525860876288 140725612086264 140725612086433 140725612086433 140725612093415 0
/proc/359342/statm: 2165 228 204 9 0 87 0
[pid=359343] ppid=359342 vsize=114656 memory=106652 CPUtime=1792.92 cores=4,6
/proc/359343/stat : 359343 (Exact) R 359342 359342 353587 0 -1 4194304 179917 0 0 0 179260 32 0 0 20 0 1 0 65950855 117407744 26663 134679101440 4194304 7210733 140722500569680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 20582400 140722500576276 140722500576426 140722500576426 140722500583408 0
/proc/359343/statm: 28664 26663 748 737 0 27752 0
Current children cumulated CPU time: 3586.68 s
Current children cumulated vsize: 133248 KiB
Current children cumulated memory: 110260 KiB
[startup+3595.6 s]
/proc/loadavg: 2.09 2.42 3.20 3/242 360383
/proc/meminfo: memFree=128929912/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2696 CPUtime=1793.76 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 271 312344 0 0 0 0 178421 955 20 0 1 0 65771051 10170368 674 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 674 585 264 0 134 0
[pid=359342] ppid=358248 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/359342/stat : 359342 (timeout) S 358248 359342 353587 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65950855 8867840 228 134679101440 94525828866048 94525828901064 140725612083440 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94525830998480 94525831000612 94525860876288 140725612086264 140725612086433 140725612086433 140725612093415 0
/proc/359342/statm: 2165 228 204 9 0 87 0
[pid=359343] ppid=359342 vsize=114656 memory=106652 CPUtime=1793.32 cores=4,6
/proc/359343/stat : 359343 (Exact) R 359342 359342 353587 0 -1 4194304 179917 0 0 0 179300 32 0 0 20 0 1 0 65950855 117407744 26663 134679101440 4194304 7210733 140722500569680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 20582400 140722500576276 140722500576426 140722500576426 140722500583408 0
/proc/359343/statm: 28664 26663 748 737 0 27752 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 133248 KiB
Current children cumulated memory: 110260 KiB
[startup+3596 s]*
/proc/loadavg: 2.09 2.42 3.20 3/242 360383
/proc/meminfo: memFree=128929660/131524600 swapFree=131071996/131071996
[pid=358248] ppid=358245 vsize=9932 memory=2696 CPUtime=1793.76 cores=4,6
/proc/358248/stat : 358248 (Hybrid-LSMabSP+) S 358245 358248 353587 0 -1 4194304 271 312344 0 0 0 0 178421 955 20 0 1 0 65771051 10170368 674 134679101440 94739860492288 94739861571608 140733786851248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94739863670064 94739863717252 94739878748160 140733786854380 140733786854526 140733786854526 140733786861537 0
/proc/358248/statm: 2483 674 585 264 0 134 0
[pid=359342] ppid=358248 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/359342/stat : 359342 (timeout) S 358248 359342 353587 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65950855 8867840 228 134679101440 94525828866048 94525828901064 140725612083440 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94525830998480 94525831000612 94525860876288 140725612086264 140725612086433 140725612086433 140725612093415 0
/proc/359342/statm: 2165 228 204 9 0 87 0
[pid=359343] ppid=359342 vsize=114656 memory=106652 CPUtime=1793.72 cores=4,6
/proc/359343/stat : 359343 (Exact) R 359342 359342 353587 0 -1 4194304 179917 0 0 0 179340 32 0 0 20 0 1 0 65950855 117407744 26663 134679101440 4194304 7210733 140722500569680 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 20582400 140722500576276 140722500576426 140722500576426 140722500583408 0
/proc/359343/statm: 28664 26663 748 737 0 27752 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 133248 KiB
Current children cumulated memory: 110260 KiB
Child status: 0
Real time (s): 3596.06
CPU time (s): 3587.56
CPU user time (s): 3577.67
CPU system time (s): 9.89624
CPU usage (%): 99.7637
Max. virtual memory (cumulated for all children) (KiB): 1686276
Max. memory (cumulated for all children) (KiB): 1284820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.67
system time used= 9.89624
maximum resident set size= 1281148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495561
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141
involuntary context switches= 1875
# summary of solver processes directly reported to runsolver:
# pid: 358248
# total CPU time (s): 3587.56
# total CPU user time (s): 3577.67
# total CPU system time (s): 9.89624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79102 second user time and 16.0556 second system time
The end
Begin job on nodeC030 at 2024-08-07 02:48:11
IDJOB=4449629
IDBENCH=176087
IDSOLVER=3070
FILE ID=nodeC030/4449629-1722991691
RUNJOBID= nodeC030-1722983783-353598
SLURM_JOB_ID= 8259099
Free space on /tmp= 890016 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=24-t=2.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449629-1722991691/watcher-4449629-1722991691 -o /tmp/evaluation-result-4449629-1722991691/solver-4449629-1722991691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722983783-353598 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4449629-1722991691.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 585ad78207efe7b44b7f003a9b0d83f6
RANDOM SEED=1022612477
nodeC030.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 : 3666.692
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.60
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 : 3683.474
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.48
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 : 3601.250
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.60
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.881
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.48
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 : 3650.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 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.60
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 : 3683.484
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.48
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 : 3671.061
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.60
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.341
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128634252 kB
MemAvailable: 129475184 kB
Buffers: 345952 kB
Cached: 1338552 kB
SwapCached: 0 kB
Active: 619656 kB
Inactive: 1737516 kB
Active(anon): 1620 kB
Inactive(anon): 708492 kB
Active(file): 618036 kB
Inactive(file): 1029024 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 25612 kB
Writeback: 0 kB
AnonPages: 672412 kB
Mapped: 119260 kB
Shmem: 37712 kB
KReclaimable: 67388 kB
Slab: 161676 kB
SReclaimable: 67388 kB
SUnreclaim: 94288 kB
KernelStack: 4192 kB
PageTables: 10784 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1054432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 29312 kB
HardwareCorrupted: 0 kB
AnonHugePages: 286720 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: 299732 kB
DirectMap2M: 21493760 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890040 MiB
End job on nodeC030 at 2024-08-07 03:48:08