runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61685 MiB free)
memory of node 1: 64510 MiB (59660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458739-1722995153/watcher-4458739-1722995153 -o /tmp/evaluation-result-4458739-1722995153/solver-4458739-1722995153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722995153-363802 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4458739-1722995153.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=363839, runsolver pid=363834
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 2.77 3.86 4.08 6/266 363875
/proc/meminfo: memFree=124186444/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 672 593 264 0 134 0
[pid=363845] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/363845/stat : 363845 (timeout) S 363839 363845 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66112368 8867840 256 134679101440 93908170788864 93908170823880 140728509023408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93908172921296 93908172923428 93908178305024 140728509031465 140728509031581 140728509031581 140728509038567 0
/proc/363845/statm: 2165 256 232 9 0 87 0
[pid=363847] ppid=363845 vsize=25016 memory=12284 CPUtime=0.09 cores=1,3
/proc/363847/stat : 363847 (LS-MabSP) R 363845 363845 363790 0 -1 4194304 1795 0 0 0 9 0 0 0 20 0 1 0 66112368 25616384 3071 134679101440 4194304 15467897 140736475551088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32378880 140736475554876 140736475554979 140736475554979 140736475561965 0
/proc/363847/statm: 6254 3071 1105 2753 0 2907 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 15996 KiB
[startup+0.2062 s]*
/proc/loadavg: 2.77 3.86 4.08 5/266 363875
/proc/meminfo: memFree=124179496/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 672 593 264 0 134 0
[pid=363845] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/363845/stat : 363845 (timeout) S 363839 363845 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66112368 8867840 256 134679101440 93908170788864 93908170823880 140728509023408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93908172921296 93908172923428 93908178305024 140728509031465 140728509031581 140728509031581 140728509038567 0
/proc/363845/statm: 2165 256 232 9 0 87 0
[pid=363847] ppid=363845 vsize=25016 memory=12284 CPUtime=0.2 cores=1,3
/proc/363847/stat : 363847 (LS-MabSP) R 363845 363845 363790 0 -1 4194304 1795 0 0 0 20 0 0 0 20 0 1 0 66112368 25616384 3071 134679101440 4194304 15467897 140736475551088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32378880 140736475554876 140736475554979 140736475554979 140736475561965 0
/proc/363847/statm: 6254 3071 1105 2753 0 2907 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 15996 KiB
[startup+0.305117 s]*
/proc/loadavg: 2.77 3.86 4.08 6/266 363875
/proc/meminfo: memFree=124174144/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 672 593 264 0 134 0
[pid=363845] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/363845/stat : 363845 (timeout) S 363839 363845 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66112368 8867840 256 134679101440 93908170788864 93908170823880 140728509023408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93908172921296 93908172923428 93908178305024 140728509031465 140728509031581 140728509031581 140728509038567 0
/proc/363845/statm: 2165 256 232 9 0 87 0
[pid=363847] ppid=363845 vsize=25016 memory=12284 CPUtime=0.3 cores=1,3
/proc/363847/stat : 363847 (LS-MabSP) R 363845 363845 363790 0 -1 4194304 1795 0 0 0 30 0 0 0 20 0 1 0 66112368 25616384 3071 134679101440 4194304 15467897 140736475551088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32378880 140736475554876 140736475554979 140736475554979 140736475561965 0
/proc/363847/statm: 6254 3071 1105 2753 0 2907 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 15996 KiB
[startup+0.700296 s]
/proc/loadavg: 2.77 3.86 4.08 6/266 363875
/proc/meminfo: memFree=124111712/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 672 593 264 0 134 0
[pid=363845] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/363845/stat : 363845 (timeout) S 363839 363845 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66112368 8867840 256 134679101440 93908170788864 93908170823880 140728509023408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93908172921296 93908172923428 93908178305024 140728509031465 140728509031581 140728509031581 140728509038567 0
/proc/363845/statm: 2165 256 232 9 0 87 0
[pid=363847] ppid=363845 vsize=68764 memory=59888 CPUtime=0.68 cores=1,3
/proc/363847/stat : 363847 (LS-MabSP) R 363845 363845 363790 0 -1 4194304 12269 0 0 0 67 1 0 0 20 0 1 0 66112368 70414336 14972 134679101440 4194304 15467897 140736475551088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32378880 140736475554876 140736475554979 140736475554979 140736475561965 0
/proc/363847/statm: 17191 14972 2801 2753 0 13844 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 87356 KiB
Current children cumulated memory: 63600 KiB
[startup+1.5003 s]
/proc/loadavg: 2.77 3.86 4.08 6/266 363875
/proc/meminfo: memFree=124062872/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 672 593 264 0 134 0
[pid=363845] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/363845/stat : 363845 (timeout) S 363839 363845 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66112368 8867840 256 134679101440 93908170788864 93908170823880 140728509023408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93908172921296 93908172923428 93908178305024 140728509031465 140728509031581 140728509031581 140728509038567 0
/proc/363845/statm: 2165 256 232 9 0 87 0
[pid=363847] ppid=363845 vsize=49756 memory=41904 CPUtime=1.48 cores=1,3
/proc/363847/stat : 363847 (LS-MabSP) R 363845 363845 363790 0 -1 4194304 13811 0 0 0 144 4 0 0 20 0 1 0 66112368 50950144 10476 134679101440 4194304 15467897 140736475551088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32378880 140736475554876 140736475554979 140736475554979 140736475561965 0
/proc/363847/statm: 12439 10476 2801 2753 0 9092 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 45616 KiB
[startup+3.1061 s]
/proc/loadavg: 2.77 3.86 4.08 6/266 363875
/proc/meminfo: memFree=123892260/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 672 593 264 0 134 0
[pid=363845] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/363845/stat : 363845 (timeout) S 363839 363845 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66112368 8867840 256 134679101440 93908170788864 93908170823880 140728509023408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93908172921296 93908172923428 93908178305024 140728509031465 140728509031581 140728509031581 140728509038567 0
/proc/363845/statm: 2165 256 232 9 0 87 0
[pid=363847] ppid=363845 vsize=49756 memory=41904 CPUtime=3.09 cores=1,3
/proc/363847/stat : 363847 (LS-MabSP) R 363845 363845 363790 0 -1 4194304 13811 0 0 0 272 37 0 0 20 0 1 0 66112368 50950144 10476 134679101440 4194304 15467897 140736475551088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32378880 140736475554876 140736475554979 140736475554979 140736475561965 0
/proc/363847/statm: 12439 10476 2801 2753 0 9092 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 45616 KiB
[startup+6.30023 s]
/proc/loadavg: 2.87 3.86 4.08 5/266 363877
/proc/meminfo: memFree=123392280/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 672 593 264 0 134 0
[pid=363845] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/363845/stat : 363845 (timeout) S 363839 363845 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66112368 8867840 256 134679101440 93908170788864 93908170823880 140728509023408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93908172921296 93908172923428 93908178305024 140728509031465 140728509031581 140728509031581 140728509038567 0
/proc/363845/statm: 2165 256 232 9 0 87 0
[pid=363847] ppid=363845 vsize=49756 memory=41904 CPUtime=6.27 cores=1,3
/proc/363847/stat : 363847 (LS-MabSP) R 363845 363845 363790 0 -1 4194304 13811 0 0 0 522 105 0 0 20 0 1 0 66112368 50950144 10476 134679101440 4194304 15467897 140736475551088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32378880 140736475554876 140736475554979 140736475554979 140736475561965 0
/proc/363847/statm: 12439 10476 2801 2753 0 9092 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 45616 KiB
[startup+12.7003 s]
/proc/loadavg: 2.96 3.87 4.08 5/263 363877
/proc/meminfo: memFree=122913244/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 672 593 264 0 134 0
[pid=363845] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/363845/stat : 363845 (timeout) S 363839 363845 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66112368 8867840 256 134679101440 93908170788864 93908170823880 140728509023408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93908172921296 93908172923428 93908178305024 140728509031465 140728509031581 140728509031581 140728509038567 0
/proc/363845/statm: 2165 256 232 9 0 87 0
[pid=363847] ppid=363845 vsize=49756 memory=41904 CPUtime=12.66 cores=1,3
/proc/363847/stat : 363847 (LS-MabSP) R 363845 363845 363790 0 -1 4194304 13811 0 0 0 1023 243 0 0 20 0 1 0 66112368 50950144 10476 134679101440 4194304 15467897 140736475551088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32378880 140736475554876 140736475554979 140736475554979 140736475561965 0
/proc/363847/statm: 12439 10476 2801 2753 0 9092 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 45616 KiB
[startup+25.5003 s]
/proc/loadavg: 3.26 3.89 4.08 6/263 363880
/proc/meminfo: memFree=122357032/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 672 593 264 0 134 0
[pid=363845] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/363845/stat : 363845 (timeout) S 363839 363845 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66112368 8867840 256 134679101440 93908170788864 93908170823880 140728509023408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93908172921296 93908172923428 93908178305024 140728509031465 140728509031581 140728509031581 140728509038567 0
/proc/363845/statm: 2165 256 232 9 0 87 0
[pid=363847] ppid=363845 vsize=49756 memory=41904 CPUtime=25.44 cores=1,3
/proc/363847/stat : 363847 (LS-MabSP) R 363845 363845 363790 0 -1 4194304 13811 0 0 0 2025 519 0 0 20 0 1 0 66112368 50950144 10476 134679101440 4194304 15467897 140736475551088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32378880 140736475554876 140736475554979 140736475554979 140736475561965 0
/proc/363847/statm: 12439 10476 2801 2753 0 9092 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 45616 KiB
[startup+51.1065 s]
/proc/loadavg: 3.59 3.92 4.08 6/263 363883
/proc/meminfo: memFree=122355432/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 672 593 264 0 134 0
[pid=363845] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/363845/stat : 363845 (timeout) S 363839 363845 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66112368 8867840 256 134679101440 93908170788864 93908170823880 140728509023408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93908172921296 93908172923428 93908178305024 140728509031465 140728509031581 140728509031581 140728509038567 0
/proc/363845/statm: 2165 256 232 9 0 87 0
[pid=363847] ppid=363845 vsize=49756 memory=41904 CPUtime=50.98 cores=1,3
/proc/363847/stat : 363847 (LS-MabSP) R 363845 363845 363790 0 -1 4194304 13811 0 0 0 4023 1075 0 0 20 0 1 0 66112368 50950144 10476 134679101440 4194304 15467897 140736475551088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 32378880 140736475554876 140736475554979 140736475554979 140736475561965 0
/proc/363847/statm: 12439 10476 2801 2753 0 9092 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 68348 KiB
Current children cumulated memory: 45616 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 3.96 4.09 5/263 363891
/proc/meminfo: memFree=122151864/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66112368 10170368 672 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
################
# More data... #
################
/proc/364776/statm: 211088 153103 748 737 0 210176 0
Current children cumulated CPU time: 3394.61 s
Current children cumulated vsize: 862944 KiB
Current children cumulated memory: 616168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.15 6/265 365693
/proc/meminfo: memFree=122197164/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2732 CPUtime=1793.94 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 271 14182 0 0 0 0 140050 39344 20 0 1 0 66112368 10170368 683 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 683 593 264 0 134 0
[pid=364775] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/364775/stat : 364775 (timeout) S 363839 364775 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66292169 8867840 256 134679101440 94297440407552 94297440442568 140729627397264 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94297442539984 94297442542116 94297460678656 140729627403252 140729627403421 140729627403421 140729627410407 0
/proc/364775/statm: 2165 256 231 9 0 87 0
[pid=364776] ppid=364775 vsize=844352 memory=612460 CPUtime=1660.53 cores=1,3
/proc/364776/stat : 364776 (Exact) R 364775 364775 363790 0 -1 4194304 83079 0 0 0 166020 33 0 0 20 0 1 0 66292169 864616448 153115 134679101440 4194304 7210733 140720333406304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23085056 140720333411344 140720333411494 140720333411494 140720333418480 0
/proc/364776/statm: 211088 153115 748 737 0 210176 0
Current children cumulated CPU time: 3454.47 s
Current children cumulated vsize: 862944 KiB
Current children cumulated memory: 616216 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.15 6/265 365705
/proc/meminfo: memFree=122192968/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2732 CPUtime=1793.94 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 271 14182 0 0 0 0 140050 39344 20 0 1 0 66112368 10170368 683 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 683 593 264 0 134 0
[pid=364775] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/364775/stat : 364775 (timeout) S 363839 364775 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66292169 8867840 256 134679101440 94297440407552 94297440442568 140729627397264 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94297442539984 94297442542116 94297460678656 140729627403252 140729627403421 140729627403421 140729627410407 0
/proc/364775/statm: 2165 256 231 9 0 87 0
[pid=364776] ppid=364775 vsize=847264 memory=614956 CPUtime=1720.39 cores=1,3
/proc/364776/stat : 364776 (Exact) R 364775 364775 363790 0 -1 4194304 84011 0 0 0 172006 33 0 0 20 0 1 0 66292169 867598336 153739 134679101440 4194304 7210733 140720333406304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23085056 140720333411344 140720333411494 140720333411494 140720333418480 0
/proc/364776/statm: 211816 153739 748 737 0 210904 0
Current children cumulated CPU time: 3514.33 s
Current children cumulated vsize: 865856 KiB
Current children cumulated memory: 618712 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.14 6/265 365715
/proc/meminfo: memFree=122170140/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2732 CPUtime=1793.94 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 271 14182 0 0 0 0 140050 39344 20 0 1 0 66112368 10170368 683 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 683 593 264 0 134 0
[pid=364775] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/364775/stat : 364775 (timeout) S 363839 364775 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66292169 8867840 256 134679101440 94297440407552 94297440442568 140729627397264 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94297442539984 94297442542116 94297460678656 140729627403252 140729627403421 140729627403421 140729627410407 0
/proc/364775/statm: 2165 256 231 9 0 87 0
[pid=364776] ppid=364775 vsize=851744 memory=636084 CPUtime=1780.25 cores=1,3
/proc/364776/stat : 364776 (Exact) R 364775 364775 363790 0 -1 4194304 85238 0 0 0 177992 33 0 0 20 0 1 0 66292169 872185856 159021 134679101440 4194304 7210733 140720333406304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23085056 140720333411344 140720333411494 140720333411494 140720333418480 0
/proc/364776/statm: 212936 159021 748 737 0 212024 0
Current children cumulated CPU time: 3574.19 s
Current children cumulated vsize: 870336 KiB
Current children cumulated memory: 639840 KiB
[startup+3596.04 s]
# the end of solver process 363839 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3194.12 s, system=393.792 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.14 6/265 365715
/proc/meminfo: memFree=122170048/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2732 CPUtime=1793.94 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 271 14182 0 0 0 0 140050 39344 20 0 1 0 66112368 10170368 683 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 683 593 264 0 134 0
[pid=364775] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/364775/stat : 364775 (timeout) S 363839 364775 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66292169 8867840 256 134679101440 94297440407552 94297440442568 140729627397264 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94297442539984 94297442542116 94297460678656 140729627403252 140729627403421 140729627403421 140729627410407 0
/proc/364775/statm: 2165 256 231 9 0 87 0
[pid=364776] ppid=364775 vsize=851744 memory=636084 CPUtime=1781.95 cores=1,3
/proc/364776/stat : 364776 (Exact) R 364775 364775 363790 0 -1 4194304 85241 0 0 0 178162 33 0 0 20 0 1 0 66292169 872185856 159021 134679101440 4194304 7210733 140720333406304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23085056 140720333411344 140720333411494 140720333411494 140720333418480 0
/proc/364776/statm: 212936 159021 748 737 0 212024 0
Current children cumulated CPU time: 3575.89 s
Current children cumulated vsize: 870336 KiB
Current children cumulated memory: 639840 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.13 4.14 6/265 365717
/proc/meminfo: memFree=122166660/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2732 CPUtime=1793.94 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 271 14182 0 0 0 0 140050 39344 20 0 1 0 66112368 10170368 683 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 683 593 264 0 134 0
[pid=364775] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/364775/stat : 364775 (timeout) S 363839 364775 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66292169 8867840 256 134679101440 94297440407552 94297440442568 140729627397264 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94297442539984 94297442542116 94297460678656 140729627403252 140729627403421 140729627403421 140729627410407 0
/proc/364775/statm: 2165 256 231 9 0 87 0
[pid=364776] ppid=364775 vsize=851744 memory=639400 CPUtime=1788.32 cores=1,3
/proc/364776/stat : 364776 (Exact) R 364775 364775 363790 0 -1 4194304 85252 0 0 0 178799 33 0 0 20 0 1 0 66292169 872185856 159850 134679101440 4194304 7210733 140720333406304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23085056 140720333411344 140720333411494 140720333411494 140720333418480 0
/proc/364776/statm: 212936 159850 748 737 0 212024 0
Current children cumulated CPU time: 3582.26 s
Current children cumulated vsize: 870336 KiB
Current children cumulated memory: 643156 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.13 4.14 6/265 365717
/proc/meminfo: memFree=122166728/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2732 CPUtime=1793.94 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 271 14182 0 0 0 0 140050 39344 20 0 1 0 66112368 10170368 683 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 683 593 264 0 134 0
[pid=364775] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/364775/stat : 364775 (timeout) S 363839 364775 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66292169 8867840 256 134679101440 94297440407552 94297440442568 140729627397264 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94297442539984 94297442542116 94297460678656 140729627403252 140729627403421 140729627403421 140729627410407 0
/proc/364775/statm: 2165 256 231 9 0 87 0
[pid=364776] ppid=364775 vsize=851744 memory=639400 CPUtime=1791.52 cores=1,3
/proc/364776/stat : 364776 (Exact) R 364775 364775 363790 0 -1 4194304 85259 0 0 0 179119 33 0 0 20 0 1 0 66292169 872185856 159850 134679101440 4194304 7210733 140720333406304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23085056 140720333411344 140720333411494 140720333411494 140720333418480 0
/proc/364776/statm: 212936 159850 748 737 0 212024 0
Current children cumulated CPU time: 3585.46 s
Current children cumulated vsize: 870336 KiB
Current children cumulated memory: 643156 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.14 6/265 365718
/proc/meminfo: memFree=122166720/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2732 CPUtime=1793.94 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 271 14182 0 0 0 0 140050 39344 20 0 1 0 66112368 10170368 683 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 683 593 264 0 134 0
[pid=364775] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/364775/stat : 364775 (timeout) S 363839 364775 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66292169 8867840 256 134679101440 94297440407552 94297440442568 140729627397264 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94297442539984 94297442542116 94297460678656 140729627403252 140729627403421 140729627403421 140729627410407 0
/proc/364775/statm: 2165 256 231 9 0 87 0
[pid=364776] ppid=364775 vsize=851744 memory=639400 CPUtime=1793.11 cores=1,3
/proc/364776/stat : 364776 (Exact) R 364775 364775 363790 0 -1 4194304 85263 0 0 0 179278 33 0 0 20 0 1 0 66292169 872185856 159850 134679101440 4194304 7210733 140720333406304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23085056 140720333411344 140720333411494 140720333411494 140720333418480 0
/proc/364776/statm: 212936 159850 748 737 0 212024 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 870336 KiB
Current children cumulated memory: 643156 KiB
[startup+3595.6 s]
/proc/loadavg: 4.14 4.12 4.14 6/265 365718
/proc/meminfo: memFree=122166720/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2732 CPUtime=1793.94 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 271 14182 0 0 0 0 140050 39344 20 0 1 0 66112368 10170368 683 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 683 593 264 0 134 0
[pid=364775] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/364775/stat : 364775 (timeout) S 363839 364775 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66292169 8867840 256 134679101440 94297440407552 94297440442568 140729627397264 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94297442539984 94297442542116 94297460678656 140729627403252 140729627403421 140729627403421 140729627410407 0
/proc/364775/statm: 2165 256 231 9 0 87 0
[pid=364776] ppid=364775 vsize=851744 memory=639400 CPUtime=1793.51 cores=1,3
/proc/364776/stat : 364776 (Exact) R 364775 364775 363790 0 -1 4194304 85263 0 0 0 179318 33 0 0 20 0 1 0 66292169 872185856 159850 134679101440 4194304 7210733 140720333406304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23085056 140720333411344 140720333411494 140720333411494 140720333418480 0
/proc/364776/statm: 212936 159850 748 737 0 212024 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 870336 KiB
Current children cumulated memory: 643156 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.14 6/265 365718
/proc/meminfo: memFree=122166672/131524592 swapFree=131071996/131071996
[pid=363839] ppid=363834 vsize=9932 memory=2732 CPUtime=1793.94 cores=1,3
/proc/363839/stat : 363839 (Hybrid-LSMabSP+) S 363834 363839 363790 0 -1 4194304 271 14182 0 0 0 0 140050 39344 20 0 1 0 66112368 10170368 683 134679101440 94673537351680 94673538431000 140729356957008 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94673540529456 94673540576644 94673567690752 140729356964840 140729356964986 140729356964986 140729356972001 0
/proc/363839/statm: 2483 683 593 264 0 134 0
[pid=364775] ppid=363839 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/364775/stat : 364775 (timeout) S 363839 364775 363790 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66292169 8867840 256 134679101440 94297440407552 94297440442568 140729627397264 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94297442539984 94297442542116 94297460678656 140729627403252 140729627403421 140729627403421 140729627410407 0
/proc/364775/statm: 2165 256 231 9 0 87 0
[pid=364776] ppid=364775 vsize=851744 memory=639400 CPUtime=1793.92 cores=1,3
/proc/364776/stat : 364776 (Exact) R 364775 364775 363790 0 -1 4194304 85264 0 0 0 179359 33 0 0 20 0 1 0 66292169 872185856 159850 134679101440 4194304 7210733 140720333406304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23085056 140720333411344 140720333411494 140720333411494 140720333418480 0
/proc/364776/statm: 212936 159850 748 737 0 212024 0
Current children cumulated CPU time: 3587.86 s
Current children cumulated vsize: 870336 KiB
Current children cumulated memory: 643156 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3587.91
CPU user time (s): 3194.12
CPU system time (s): 393.792
CPU usage (%): 99.7741
Max. virtual memory (cumulated for all children) (KiB): 1141448
Max. memory (cumulated for all children) (KiB): 643156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3194.12
system time used= 393.792
maximum resident set size= 876560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109
involuntary context switches= 1431
# summary of solver processes directly reported to runsolver:
# pid: 363839
# total CPU time (s): 3587.91
# total CPU user time (s): 3194.12
# total CPU system time (s): 393.792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42956 second user time and 19.7821 second system time
The end
Begin job on nodeC016 at 2024-08-07 03:45:53
IDJOB=4458739
IDBENCH=178148
IDSOLVER=3070
FILE ID=nodeC016/4458739-1722995153
RUNJOBID= nodeC016-1722995153-363802
SLURM_JOB_ID= 8259129
Free space on /tmp= 890084 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_340.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458739-1722995153/watcher-4458739-1722995153 -o /tmp/evaluation-result-4458739-1722995153/solver-4458739-1722995153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722995153-363802 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4458739-1722995153.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a221f8025f48b8f9591d653b4a9523ea
RANDOM SEED=924902975
nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3569.247
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3636.707
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.47
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 : 3653.980
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3667.044
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.47
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 : 3559.699
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3659.663
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.47
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 : 3643.449
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3654.062
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.47
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524592 kB
MemFree: 124253608 kB
MemAvailable: 129729092 kB
Buffers: 361176 kB
Cached: 5949080 kB
SwapCached: 0 kB
Active: 816060 kB
Inactive: 5904604 kB
Active(anon): 1436 kB
Inactive(anon): 446684 kB
Active(file): 814624 kB
Inactive(file): 5457920 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 71444 kB
Writeback: 0 kB
AnonPages: 410216 kB
Mapped: 99616 kB
Shmem: 37720 kB
KReclaimable: 85484 kB
Slab: 180384 kB
SReclaimable: 85484 kB
SUnreclaim: 94900 kB
KernelStack: 3848 kB
PageTables: 9824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 752748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 31168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 274432 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: 314068 kB
DirectMap2M: 9945088 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC016 at 2024-08-07 04:45:49