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 (62856 MiB free)
memory of node 1: 64473 MiB (63451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457959-1722993625/watcher-4457959-1722993625 -o /tmp/evaluation-result-4457959-1722993625/solver-4457959-1722993625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722993624-359563 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4457959-1722993625.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=359617, runsolver pid=359608
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 0.95 1.09 1.63 6/270 359639
/proc/meminfo: memFree=129254544/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 672 595 264 0 134 0
[pid=359633] ppid=359617 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/359633/stat : 359633 (timeout) S 359617 359633 359551 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65966965 8867840 253 134679101440 94734432755712 94734432790728 140724800519136 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94734434888144 94734434890276 94734461947904 140724800521257 140724800521373 140724800521373 140724800528359 0
/proc/359633/statm: 2165 253 229 9 0 87 0
[pid=359637] ppid=359633 vsize=40056 memory=31800 CPUtime=0.09 cores=1,3
/proc/359637/stat : 359637 (LS-MabSP) R 359633 359633 359551 0 -1 4194304 5084 0 0 0 9 0 0 0 20 0 1 0 65966965 41017344 7950 134679101440 4194304 15467897 140720345695504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41287680 140720345699388 140720345699491 140720345699491 140720345706477 0
/proc/359637/statm: 10014 7950 2737 2753 0 6667 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58648 KiB
Current children cumulated memory: 35500 KiB
[startup+0.20698 s]*
/proc/loadavg: 0.95 1.09 1.63 8/270 359639
/proc/meminfo: memFree=129203568/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 672 595 264 0 134 0
[pid=359633] ppid=359617 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/359633/stat : 359633 (timeout) S 359617 359633 359551 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65966965 8867840 253 134679101440 94734432755712 94734432790728 140724800519136 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94734434888144 94734434890276 94734461947904 140724800521257 140724800521373 140724800521373 140724800528359 0
/proc/359633/statm: 2165 253 229 9 0 87 0
[pid=359637] ppid=359633 vsize=55504 memory=45964 CPUtime=0.2 cores=1,3
/proc/359637/stat : 359637 (LS-MabSP) R 359633 359633 359551 0 -1 4194304 8645 0 0 0 19 1 0 0 20 0 1 0 65966965 56836096 11491 134679101440 4194304 15467897 140720345695504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41287680 140720345699388 140720345699491 140720345699491 140720345706477 0
/proc/359637/statm: 13876 11491 2833 2753 0 10529 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74096 KiB
Current children cumulated memory: 49664 KiB
[startup+0.306915 s]*
/proc/loadavg: 0.95 1.09 1.63 6/270 359639
/proc/meminfo: memFree=129199392/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 672 595 264 0 134 0
[pid=359633] ppid=359617 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/359633/stat : 359633 (timeout) S 359617 359633 359551 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65966965 8867840 253 134679101440 94734432755712 94734432790728 140724800519136 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94734434888144 94734434890276 94734461947904 140724800521257 140724800521373 140724800521373 140724800528359 0
/proc/359633/statm: 2165 253 229 9 0 87 0
[pid=359637] ppid=359633 vsize=52252 memory=44316 CPUtime=0.3 cores=1,3
/proc/359637/stat : 359637 (LS-MabSP) R 359633 359633 359551 0 -1 4194304 9639 0 0 0 29 1 0 0 20 0 1 0 65966965 53506048 11079 134679101440 4194304 15467897 140720345695504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41287680 140720345699388 140720345699491 140720345699491 140720345706477 0
/proc/359637/statm: 13063 11079 2833 2753 0 9716 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70844 KiB
Current children cumulated memory: 48016 KiB
[startup+0.700291 s]
/proc/loadavg: 0.95 1.09 1.63 6/270 359639
/proc/meminfo: memFree=129159016/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 672 595 264 0 134 0
[pid=359633] ppid=359617 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/359633/stat : 359633 (timeout) S 359617 359633 359551 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65966965 8867840 253 134679101440 94734432755712 94734432790728 140724800519136 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94734434888144 94734434890276 94734461947904 140724800521257 140724800521373 140724800521373 140724800528359 0
/proc/359633/statm: 2165 253 229 9 0 87 0
[pid=359637] ppid=359633 vsize=91404 memory=80540 CPUtime=0.69 cores=1,3
/proc/359637/stat : 359637 (LS-MabSP) R 359633 359633 359551 0 -1 4194304 19017 0 0 0 67 2 0 0 20 0 1 0 65966965 93597696 20135 134679101440 4194304 15467897 140720345695504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41287680 140720345699388 140720345699491 140720345699491 140720345706477 0
/proc/359637/statm: 22851 20135 2833 2753 0 19504 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 109996 KiB
Current children cumulated memory: 84240 KiB
[startup+1.50029 s]
/proc/loadavg: 0.95 1.09 1.63 6/270 359641
/proc/meminfo: memFree=129112604/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 672 595 264 0 134 0
[pid=359633] ppid=359617 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/359633/stat : 359633 (timeout) S 359617 359633 359551 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65966965 8867840 253 134679101440 94734432755712 94734432790728 140724800519136 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94734434888144 94734434890276 94734461947904 140724800521257 140724800521373 140724800521373 140724800528359 0
/proc/359633/statm: 2165 253 229 9 0 87 0
[pid=359637] ppid=359633 vsize=95508 memory=85916 CPUtime=1.48 cores=1,3
/proc/359637/stat : 359637 (LS-MabSP) R 359633 359633 359551 0 -1 4194304 20624 0 0 0 146 2 0 0 20 0 1 0 65966965 97800192 21479 134679101440 4194304 15467897 140720345695504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41287680 140720345699388 140720345699491 140720345699491 140720345706477 0
/proc/359637/statm: 23877 21479 2833 2753 0 20530 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114100 KiB
Current children cumulated memory: 89616 KiB
[startup+3.10654 s]
/proc/loadavg: 1.19 1.14 1.64 6/270 359641
/proc/meminfo: memFree=129074916/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 672 595 264 0 134 0
[pid=359633] ppid=359617 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/359633/stat : 359633 (timeout) S 359617 359633 359551 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65966965 8867840 253 134679101440 94734432755712 94734432790728 140724800519136 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94734434888144 94734434890276 94734461947904 140724800521257 140724800521373 140724800521373 140724800528359 0
/proc/359633/statm: 2165 253 229 9 0 87 0
[pid=359637] ppid=359633 vsize=95508 memory=85916 CPUtime=3.08 cores=1,3
/proc/359637/stat : 359637 (LS-MabSP) R 359633 359633 359551 0 -1 4194304 20627 0 0 0 306 2 0 0 20 0 1 0 65966965 97800192 21479 134679101440 4194304 15467897 140720345695504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41287680 140720345699388 140720345699491 140720345699491 140720345706477 0
/proc/359637/statm: 23877 21479 2833 2753 0 20530 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 114100 KiB
Current children cumulated memory: 89616 KiB
[startup+6.30024 s]
/proc/loadavg: 1.19 1.14 1.64 6/270 359641
/proc/meminfo: memFree=129070340/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 672 595 264 0 134 0
[pid=359633] ppid=359617 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/359633/stat : 359633 (timeout) S 359617 359633 359551 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65966965 8867840 253 134679101440 94734432755712 94734432790728 140724800519136 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94734434888144 94734434890276 94734461947904 140724800521257 140724800521373 140724800521373 140724800528359 0
/proc/359633/statm: 2165 253 229 9 0 87 0
[pid=359637] ppid=359633 vsize=95508 memory=86168 CPUtime=6.27 cores=1,3
/proc/359637/stat : 359637 (LS-MabSP) R 359633 359633 359551 0 -1 4194304 20729 0 0 0 625 2 0 0 20 0 1 0 65966965 97800192 21542 134679101440 4194304 15467897 140720345695504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41287680 140720345699388 140720345699491 140720345699491 140720345706477 0
/proc/359637/statm: 23877 21542 2833 2753 0 20530 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 114100 KiB
Current children cumulated memory: 89868 KiB
[startup+12.7003 s]
/proc/loadavg: 1.42 1.19 1.65 6/270 359643
/proc/meminfo: memFree=129043124/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 672 595 264 0 134 0
[pid=359633] ppid=359617 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/359633/stat : 359633 (timeout) S 359617 359633 359551 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65966965 8867840 253 134679101440 94734432755712 94734432790728 140724800519136 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94734434888144 94734434890276 94734461947904 140724800521257 140724800521373 140724800521373 140724800528359 0
/proc/359633/statm: 2165 253 229 9 0 87 0
[pid=359637] ppid=359633 vsize=95508 memory=87472 CPUtime=12.65 cores=1,3
/proc/359637/stat : 359637 (LS-MabSP) R 359633 359633 359551 0 -1 4194304 21053 0 0 0 1263 2 0 0 20 0 1 0 65966965 97800192 21868 134679101440 4194304 15467897 140720345695504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41287680 140720345699388 140720345699491 140720345699491 140720345706477 0
/proc/359637/statm: 23877 21868 2833 2753 0 20530 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 114100 KiB
Current children cumulated memory: 91172 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 1.34 1.70 6/270 359645
/proc/meminfo: memFree=129008884/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 672 595 264 0 134 0
[pid=359633] ppid=359617 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/359633/stat : 359633 (timeout) S 359617 359633 359551 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65966965 8867840 253 134679101440 94734432755712 94734432790728 140724800519136 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94734434888144 94734434890276 94734461947904 140724800521257 140724800521373 140724800521373 140724800528359 0
/proc/359633/statm: 2165 253 229 9 0 87 0
[pid=359637] ppid=359633 vsize=114532 memory=106980 CPUtime=25.41 cores=1,3
/proc/359637/stat : 359637 (LS-MabSP) R 359633 359633 359551 0 -1 4194304 25895 0 0 0 2538 3 0 0 20 0 1 0 65966965 117280768 26745 134679101440 4194304 15467897 140720345695504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41287680 140720345699388 140720345699491 140720345699491 140720345706477 0
/proc/359637/statm: 28633 26745 2833 2753 0 25286 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 133124 KiB
Current children cumulated memory: 110680 KiB
[startup+51.1062 s]
/proc/loadavg: 2.79 1.58 1.77 6/270 359649
/proc/meminfo: memFree=128908392/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 672 595 264 0 134 0
[pid=359633] ppid=359617 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/359633/stat : 359633 (timeout) S 359617 359633 359551 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65966965 8867840 253 134679101440 94734432755712 94734432790728 140724800519136 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94734434888144 94734434890276 94734461947904 140724800521257 140724800521373 140724800521373 140724800528359 0
/proc/359633/statm: 2165 253 229 9 0 87 0
[pid=359637] ppid=359633 vsize=152280 memory=144664 CPUtime=50.94 cores=1,3
/proc/359637/stat : 359637 (LS-MabSP) R 359633 359633 359551 0 -1 4194304 35800 0 0 0 5089 5 0 0 20 0 1 0 65966965 155934720 36166 134679101440 4194304 15467897 140720345695504 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41287680 140720345699388 140720345699491 140720345699491 140720345706477 0
/proc/359637/statm: 38070 36166 2833 2753 0 34723 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 170872 KiB
Current children cumulated memory: 148364 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.97 1.89 6/270 359658
/proc/meminfo: memFree=128783360/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 235 106 0 0 0 0 0 0 20 0 1 0 65966965 10170368 672 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
################
# More data... #
################
/proc/360604/statm: 114473 103261 748 737 0 113561 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 476484 KiB
Current children cumulated memory: 416764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.06 6/265 361549
/proc/meminfo: memFree=128155980/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2736 CPUtime=1793.56 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 269 219279 0 0 0 0 161723 17633 20 0 1 0 65966965 10170368 684 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 684 595 264 0 134 0
[pid=360603] ppid=359617 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/360603/stat : 360603 (timeout) S 359617 360603 359551 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66146766 8867840 246 134679101440 94311438020608 94311438055624 140725551309232 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94311440153040 94311440155172 94311471497216 140725551318004 140725551318173 140725551318173 140725551325159 0
/proc/360603/statm: 2165 246 221 9 0 87 0
[pid=360604] ppid=360603 vsize=457892 memory=413328 CPUtime=1660.2 cores=1,3
/proc/360604/stat : 360604 (Exact) R 360603 360603 359551 0 -1 4194304 64469 0 0 0 166000 20 0 0 20 0 1 0 66146767 468881408 103332 134679101440 4194304 7210733 140722256598656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16560128 140722256606224 140722256606374 140722256606374 140722256613360 0
/proc/360604/statm: 114473 103332 748 737 0 113561 0
Current children cumulated CPU time: 3453.76 s
Current children cumulated vsize: 476484 KiB
Current children cumulated memory: 417048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.06 6/265 361559
/proc/meminfo: memFree=128153644/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2736 CPUtime=1793.56 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 269 219279 0 0 0 0 161723 17633 20 0 1 0 65966965 10170368 684 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 684 595 264 0 134 0
[pid=360603] ppid=359617 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/360603/stat : 360603 (timeout) S 359617 360603 359551 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66146766 8867840 246 134679101440 94311438020608 94311438055624 140725551309232 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94311440153040 94311440155172 94311471497216 140725551318004 140725551318173 140725551318173 140725551325159 0
/proc/360603/statm: 2165 246 221 9 0 87 0
[pid=360604] ppid=360603 vsize=458404 memory=413688 CPUtime=1720.06 cores=1,3
/proc/360604/stat : 360604 (Exact) R 360603 360603 359551 0 -1 4194304 64757 0 0 0 171986 20 0 0 20 0 1 0 66146767 469405696 103422 134679101440 4194304 7210733 140722256598656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16560128 140722256606224 140722256606374 140722256606374 140722256613360 0
/proc/360604/statm: 114601 103422 748 737 0 113689 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 476996 KiB
Current children cumulated memory: 417408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.06 6/266 361571
/proc/meminfo: memFree=128152084/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2736 CPUtime=1793.56 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 269 219279 0 0 0 0 161723 17633 20 0 1 0 65966965 10170368 684 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 684 595 264 0 134 0
[pid=360603] ppid=359617 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/360603/stat : 360603 (timeout) S 359617 360603 359551 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66146766 8867840 246 134679101440 94311438020608 94311438055624 140725551309232 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94311440153040 94311440155172 94311471497216 140725551318004 140725551318173 140725551318173 140725551325159 0
/proc/360603/statm: 2165 246 221 9 0 87 0
[pid=360604] ppid=360603 vsize=458660 memory=414148 CPUtime=1779.91 cores=1,3
/proc/360604/stat : 360604 (Exact) R 360603 360603 359551 0 -1 4194304 64991 0 0 0 177971 20 0 0 20 0 1 0 66146767 469667840 103537 134679101440 4194304 7210733 140722256598656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16560128 140722256606224 140722256606374 140722256606374 140722256613360 0
/proc/360604/statm: 114665 103537 748 737 0 113753 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 477252 KiB
Current children cumulated memory: 417868 KiB
[startup+3596.04 s]
# the end of solver process 359617 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3410.66 s, system=176.555 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.05 6/266 361571
/proc/meminfo: memFree=128152108/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2736 CPUtime=1793.56 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 269 219279 0 0 0 0 161723 17633 20 0 1 0 65966965 10170368 684 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 684 595 264 0 134 0
[pid=360603] ppid=359617 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/360603/stat : 360603 (timeout) S 359617 360603 359551 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66146766 8867840 246 134679101440 94311438020608 94311438055624 140725551309232 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94311440153040 94311440155172 94311471497216 140725551318004 140725551318173 140725551318173 140725551325159 0
/proc/360603/statm: 2165 246 221 9 0 87 0
[pid=360604] ppid=360603 vsize=458660 memory=414148 CPUtime=1781.61 cores=1,3
/proc/360604/stat : 360604 (Exact) R 360603 360603 359551 0 -1 4194304 64991 0 0 0 178141 20 0 0 20 0 1 0 66146767 469667840 103537 134679101440 4194304 7210733 140722256598656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16560128 140722256606224 140722256606374 140722256606374 140722256613360 0
/proc/360604/statm: 114665 103537 748 737 0 113753 0
Current children cumulated CPU time: 3575.17 s
Current children cumulated vsize: 477252 KiB
Current children cumulated memory: 417868 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.06 6/266 361571
/proc/meminfo: memFree=128152072/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2736 CPUtime=1793.56 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 269 219279 0 0 0 0 161723 17633 20 0 1 0 65966965 10170368 684 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 684 595 264 0 134 0
[pid=360603] ppid=359617 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/360603/stat : 360603 (timeout) S 359617 360603 359551 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66146766 8867840 246 134679101440 94311438020608 94311438055624 140725551309232 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94311440153040 94311440155172 94311471497216 140725551318004 140725551318173 140725551318173 140725551325159 0
/proc/360603/statm: 2165 246 221 9 0 87 0
[pid=360604] ppid=360603 vsize=458660 memory=414148 CPUtime=1787.99 cores=1,3
/proc/360604/stat : 360604 (Exact) R 360603 360603 359551 0 -1 4194304 65009 0 0 0 178779 20 0 0 20 0 1 0 66146767 469667840 103537 134679101440 4194304 7210733 140722256598656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16560128 140722256606224 140722256606374 140722256606374 140722256613360 0
/proc/360604/statm: 114665 103537 748 737 0 113753 0
Current children cumulated CPU time: 3581.55 s
Current children cumulated vsize: 477252 KiB
Current children cumulated memory: 417868 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.06 6/266 361572
/proc/meminfo: memFree=128151976/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2736 CPUtime=1793.56 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 269 219279 0 0 0 0 161723 17633 20 0 1 0 65966965 10170368 684 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 684 595 264 0 134 0
[pid=360603] ppid=359617 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/360603/stat : 360603 (timeout) S 359617 360603 359551 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66146766 8867840 246 134679101440 94311438020608 94311438055624 140725551309232 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94311440153040 94311440155172 94311471497216 140725551318004 140725551318173 140725551318173 140725551325159 0
/proc/360603/statm: 2165 246 221 9 0 87 0
[pid=360604] ppid=360603 vsize=458660 memory=414148 CPUtime=1791.18 cores=1,3
/proc/360604/stat : 360604 (Exact) R 360603 360603 359551 0 -1 4194304 65025 0 0 0 179098 20 0 0 20 0 1 0 66146767 469667840 103537 134679101440 4194304 7210733 140722256598656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16560128 140722256606224 140722256606374 140722256606374 140722256613360 0
/proc/360604/statm: 114665 103537 748 737 0 113753 0
Current children cumulated CPU time: 3584.74 s
Current children cumulated vsize: 477252 KiB
Current children cumulated memory: 417868 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.06 6/266 361572
/proc/meminfo: memFree=128151960/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2736 CPUtime=1793.56 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 269 219279 0 0 0 0 161723 17633 20 0 1 0 65966965 10170368 684 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 684 595 264 0 134 0
[pid=360603] ppid=359617 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/360603/stat : 360603 (timeout) S 359617 360603 359551 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66146766 8867840 246 134679101440 94311438020608 94311438055624 140725551309232 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94311440153040 94311440155172 94311471497216 140725551318004 140725551318173 140725551318173 140725551325159 0
/proc/360603/statm: 2165 246 221 9 0 87 0
[pid=360604] ppid=360603 vsize=458660 memory=414152 CPUtime=1792.78 cores=1,3
/proc/360604/stat : 360604 (Exact) R 360603 360603 359551 0 -1 4194304 65032 0 0 0 179258 20 0 0 20 0 1 0 66146767 469667840 103538 134679101440 4194304 7210733 140722256598656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16560128 140722256606224 140722256606374 140722256606374 140722256613360 0
/proc/360604/statm: 114665 103538 748 737 0 113753 0
Current children cumulated CPU time: 3586.34 s
Current children cumulated vsize: 477252 KiB
Current children cumulated memory: 417872 KiB
[startup+3595.6 s]
/proc/loadavg: 4.14 4.12 4.06 6/266 361572
/proc/meminfo: memFree=128151960/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2736 CPUtime=1793.56 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 269 219279 0 0 0 0 161723 17633 20 0 1 0 65966965 10170368 684 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 684 595 264 0 134 0
[pid=360603] ppid=359617 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/360603/stat : 360603 (timeout) S 359617 360603 359551 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66146766 8867840 246 134679101440 94311438020608 94311438055624 140725551309232 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94311440153040 94311440155172 94311471497216 140725551318004 140725551318173 140725551318173 140725551325159 0
/proc/360603/statm: 2165 246 221 9 0 87 0
[pid=360604] ppid=360603 vsize=458660 memory=414152 CPUtime=1793.18 cores=1,3
/proc/360604/stat : 360604 (Exact) R 360603 360603 359551 0 -1 4194304 65033 0 0 0 179298 20 0 0 20 0 1 0 66146767 469667840 103538 134679101440 4194304 7210733 140722256598656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16560128 140722256606224 140722256606374 140722256606374 140722256613360 0
/proc/360604/statm: 114665 103538 748 737 0 113753 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 477252 KiB
Current children cumulated memory: 417872 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.06 6/266 361572
/proc/meminfo: memFree=128151968/131524600 swapFree=131071996/131071996
[pid=359617] ppid=359608 vsize=9932 memory=2736 CPUtime=1793.56 cores=1,3
/proc/359617/stat : 359617 (Hybrid-LSMabSP+) S 359608 359617 359551 0 -1 4194304 269 219279 0 0 0 0 161723 17633 20 0 1 0 65966965 10170368 684 134679101440 94760541970432 94760543049752 140732506544416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94760545148208 94760545195396 94760551649280 140732506551272 140732506551418 140732506551418 140732506558433 0
/proc/359617/statm: 2483 684 595 264 0 134 0
[pid=360603] ppid=359617 vsize=8660 memory=984 CPUtime=0 cores=1,3
/proc/360603/stat : 360603 (timeout) S 359617 360603 359551 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66146766 8867840 246 134679101440 94311438020608 94311438055624 140725551309232 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94311440153040 94311440155172 94311471497216 140725551318004 140725551318173 140725551318173 140725551325159 0
/proc/360603/statm: 2165 246 221 9 0 87 0
[pid=360604] ppid=360603 vsize=458660 memory=414152 CPUtime=1793.58 cores=1,3
/proc/360604/stat : 360604 (Exact) R 360603 360603 359551 0 -1 4194304 65036 0 0 0 179338 20 0 0 20 0 1 0 66146767 469667840 103538 134679101440 4194304 7210733 140722256598656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16560128 140722256606224 140722256606374 140722256606374 140722256613360 0
/proc/360604/statm: 114665 103538 748 737 0 113753 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 477252 KiB
Current children cumulated memory: 417872 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3587.21
CPU user time (s): 3410.66
CPU system time (s): 176.555
CPU usage (%): 99.7545
Max. virtual memory (cumulated for all children) (KiB): 877380
Max. memory (cumulated for all children) (KiB): 848580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3410.66
system time used= 176.555
maximum resident set size= 844880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 3134
# summary of solver processes directly reported to runsolver:
# pid: 359617
# total CPU time (s): 3587.21
# total CPU user time (s): 3410.66
# total CPU system time (s): 176.555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7531 second user time and 19.1537 second system time
The end
Begin job on nodeC028 at 2024-08-07 03:20:25
IDJOB=4457959
IDBENCH=177055
IDSOLVER=3070
FILE ID=nodeC028/4457959-1722993625
RUNJOBID= nodeC028-1722993624-359563
SLURM_JOB_ID= 8259115
Free space on /tmp= 890076 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457959-1722993625/watcher-4457959-1722993625 -o /tmp/evaluation-result-4457959-1722993625/solver-4457959-1722993625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722993624-359563 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4457959-1722993625.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 21ed527d50cb70bf3fbdba517cab1d1c
RANDOM SEED=1783844100
nodeC028.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 : 3695.128
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.94
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 : 3727.312
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 : 7005.71
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 : 3765.677
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.94
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 : 3708.686
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 : 7005.71
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 : 3854.764
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.94
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 : 3758.546
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 : 7005.71
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 : 3606.008
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.94
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 : 3608.507
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 : 7005.71
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129341596 kB
MemAvailable: 129766824 kB
Buffers: 344628 kB
Cached: 927380 kB
SwapCached: 0 kB
Active: 663452 kB
Inactive: 991384 kB
Active(anon): 1408 kB
Inactive(anon): 419148 kB
Active(file): 662044 kB
Inactive(file): 572236 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 82424 kB
Writeback: 4 kB
AnonPages: 382564 kB
Mapped: 98900 kB
Shmem: 37720 kB
KReclaimable: 61540 kB
Slab: 156852 kB
SReclaimable: 61540 kB
SUnreclaim: 95312 kB
KernelStack: 3828 kB
PageTables: 9348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 842972 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 31104 kB
HardwareCorrupted: 0 kB
AnonHugePages: 258048 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: 305876 kB
DirectMap2M: 18341888 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC028 at 2024-08-07 04:20:21