runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61683 MiB free)
memory of node 1: 64473 MiB (61981 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457919-1722987339/watcher-4457919-1722987339 -o /tmp/evaluation-result-4457919-1722987339/solver-4457919-1722987339 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722981556-355665 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4457919-1722987339.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
Current StackSize limit: 8192 KiB
solver pid=360285, runsolver pid=360282
[startup+0.100522 s]*
/proc/loadavg: 4.13 4.12 4.14 5/249 360289
/proc/meminfo: memFree=126624712/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 674 595 264 0 134 0
[pid=360288] ppid=360285 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/360288/stat : 360288 (timeout) S 360285 360288 355653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65104242 8867840 228 134679101440 94896417759232 94896417794248 140727283157248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94896419891664 94896419893796 94896436756480 140727283164185 140727283164317 140727283164317 140727283171303 0
/proc/360288/statm: 2165 228 204 9 0 87 0
[pid=360289] ppid=360288 vsize=27372 memory=9540 CPUtime=0.09 cores=1,3
/proc/360289/stat : 360289 (CASHWMaxSAT-Dis) R 360288 360288 355653 0 -1 4194304 1841 0 0 0 9 0 0 0 20 0 1 0 65104242 28028928 2385 134679101440 4194304 14093885 140733630750432 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45408256 140733630751775 140733630751894 140733630751894 140733630758880 0
/proc/360289/statm: 6843 2385 782 2417 0 3945 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45964 KiB
Current children cumulated memory: 13148 KiB
[startup+0.21331 s]*
/proc/loadavg: 4.13 4.12 4.14 5/249 360289
/proc/meminfo: memFree=126624012/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 674 595 264 0 134 0
[pid=360288] ppid=360285 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/360288/stat : 360288 (timeout) S 360285 360288 355653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65104242 8867840 228 134679101440 94896417759232 94896417794248 140727283157248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94896419891664 94896419893796 94896436756480 140727283164185 140727283164317 140727283164317 140727283171303 0
/proc/360288/statm: 2165 228 204 9 0 87 0
[pid=360289] ppid=360288 vsize=24680 memory=10228 CPUtime=0.2 cores=1,3
/proc/360289/stat : 360289 (CASHWMaxSAT-Dis) R 360288 360288 355653 0 -1 4194304 2285 0 0 0 20 0 0 0 20 0 1 0 65104242 25272320 2557 134679101440 4194304 14093885 140733630750432 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45408256 140733630751775 140733630751894 140733630751894 140733630758880 0
/proc/360289/statm: 6170 2557 814 2417 0 3272 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43272 KiB
Current children cumulated memory: 13836 KiB
[startup+0.312859 s]*
/proc/loadavg: 4.13 4.12 4.14 6/249 360289
/proc/meminfo: memFree=126623096/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 674 595 264 0 134 0
[pid=360288] ppid=360285 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/360288/stat : 360288 (timeout) S 360285 360288 355653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65104242 8867840 228 134679101440 94896417759232 94896417794248 140727283157248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94896419891664 94896419893796 94896436756480 140727283164185 140727283164317 140727283164317 140727283171303 0
/proc/360288/statm: 2165 228 204 9 0 87 0
[pid=360289] ppid=360288 vsize=27368 memory=10756 CPUtime=0.3 cores=1,3
/proc/360289/stat : 360289 (CASHWMaxSAT-Dis) R 360288 360288 355653 0 -1 4194304 2456 0 0 0 30 0 0 0 20 0 1 0 65104242 28024832 2689 134679101440 4194304 14093885 140733630750432 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45408256 140733630751775 140733630751894 140733630751894 140733630758880 0
/proc/360289/statm: 6842 2689 814 2417 0 3944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45960 KiB
Current children cumulated memory: 14364 KiB
[startup+0.700447 s]
/proc/loadavg: 4.13 4.12 4.14 5/249 360289
/proc/meminfo: memFree=126621904/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 674 595 264 0 134 0
[pid=360288] ppid=360285 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/360288/stat : 360288 (timeout) S 360285 360288 355653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65104242 8867840 228 134679101440 94896417759232 94896417794248 140727283157248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94896419891664 94896419893796 94896436756480 140727283164185 140727283164317 140727283164317 140727283171303 0
/proc/360288/statm: 2165 228 204 9 0 87 0
[pid=360289] ppid=360288 vsize=27500 memory=13132 CPUtime=0.68 cores=1,3
/proc/360289/stat : 360289 (CASHWMaxSAT-Dis) R 360288 360288 355653 0 -1 4194304 3046 0 0 0 67 1 0 0 20 0 1 0 65104242 28160000 3283 134679101440 4194304 14093885 140733630750432 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45408256 140733630751775 140733630751894 140733630751894 140733630758880 0
/proc/360289/statm: 6875 3283 814 2417 0 3977 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46092 KiB
Current children cumulated memory: 16740 KiB
[startup+1.50045 s]
/proc/loadavg: 4.13 4.12 4.14 5/249 360289
/proc/meminfo: memFree=126613804/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 674 595 264 0 134 0
[pid=360288] ppid=360285 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/360288/stat : 360288 (timeout) S 360285 360288 355653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65104242 8867840 228 134679101440 94896417759232 94896417794248 140727283157248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94896419891664 94896419893796 94896436756480 140727283164185 140727283164317 140727283164317 140727283171303 0
/proc/360288/statm: 2165 228 204 9 0 87 0
[pid=360289] ppid=360288 vsize=38972 memory=24808 CPUtime=1.47 cores=1,3
/proc/360289/stat : 360289 (CASHWMaxSAT-Dis) R 360288 360288 355653 0 -1 4194304 4416 0 0 0 146 1 0 0 20 0 1 0 65104242 39907328 6202 134679101440 4194304 14093885 140733630750432 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45408256 140733630751775 140733630751894 140733630751894 140733630758880 0
/proc/360289/statm: 9743 6202 814 2417 0 6845 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 57564 KiB
Current children cumulated memory: 28416 KiB
[startup+3.11304 s]
/proc/loadavg: 4.12 4.11 4.14 5/249 360289
/proc/meminfo: memFree=126601552/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 674 595 264 0 134 0
[pid=360288] ppid=360285 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/360288/stat : 360288 (timeout) S 360285 360288 355653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65104242 8867840 228 134679101440 94896417759232 94896417794248 140727283157248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94896419891664 94896419893796 94896436756480 140727283164185 140727283164317 140727283164317 140727283171303 0
/proc/360288/statm: 2165 228 204 9 0 87 0
[pid=360289] ppid=360288 vsize=46112 memory=31972 CPUtime=3.08 cores=1,3
/proc/360289/stat : 360289 (CASHWMaxSAT-Dis) R 360288 360288 355653 0 -1 4194304 6108 0 0 0 306 2 0 0 20 0 1 0 65104242 47218688 7993 134679101440 4194304 14093885 140733630750432 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45408256 140733630751775 140733630751894 140733630751894 140733630758880 0
/proc/360289/statm: 11528 7993 814 2417 0 8630 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64704 KiB
Current children cumulated memory: 35580 KiB
[startup+6.30046 s]
/proc/loadavg: 4.12 4.11 4.14 5/249 360289
/proc/meminfo: memFree=126612784/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 674 595 264 0 134 0
[pid=360288] ppid=360285 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/360288/stat : 360288 (timeout) S 360285 360288 355653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65104242 8867840 228 134679101440 94896417759232 94896417794248 140727283157248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94896419891664 94896419893796 94896436756480 140727283164185 140727283164317 140727283164317 140727283171303 0
/proc/360288/statm: 2165 228 204 9 0 87 0
[pid=360289] ppid=360288 vsize=57712 memory=40168 CPUtime=6.26 cores=1,3
/proc/360289/stat : 360289 (CASHWMaxSAT-Dis) R 360288 360288 355653 0 -1 4194304 7263 0 0 0 623 3 0 0 20 0 1 0 65104242 59097088 10042 134679101440 4194304 14093885 140733630750432 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45408256 140733630751775 140733630751894 140733630751894 140733630758880 0
/proc/360289/statm: 14428 10042 814 2417 0 11530 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 76304 KiB
Current children cumulated memory: 43776 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.11 4.14 5/249 360290
/proc/meminfo: memFree=126573572/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 674 595 264 0 134 0
[pid=360288] ppid=360285 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/360288/stat : 360288 (timeout) S 360285 360288 355653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65104242 8867840 228 134679101440 94896417759232 94896417794248 140727283157248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94896419891664 94896419893796 94896436756480 140727283164185 140727283164317 140727283164317 140727283171303 0
/proc/360288/statm: 2165 228 204 9 0 87 0
[pid=360289] ppid=360288 vsize=76472 memory=59972 CPUtime=12.64 cores=1,3
/proc/360289/stat : 360289 (CASHWMaxSAT-Dis) R 360288 360288 355653 0 -1 4194304 8657 0 0 0 1261 3 0 0 20 0 1 0 65104242 78307328 14993 134679101440 4194304 14093885 140733630750432 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45408256 140733630751775 140733630751894 140733630751894 140733630758880 0
/proc/360289/statm: 19118 14993 814 2417 0 16220 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 95064 KiB
Current children cumulated memory: 63580 KiB
[startup+25.5005 s]
/proc/loadavg: 4.08 4.11 4.14 5/249 360292
/proc/meminfo: memFree=126554244/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 674 595 264 0 134 0
[pid=360288] ppid=360285 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/360288/stat : 360288 (timeout) S 360285 360288 355653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65104242 8867840 228 134679101440 94896417759232 94896417794248 140727283157248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94896419891664 94896419893796 94896436756480 140727283164185 140727283164317 140727283164317 140727283171303 0
/proc/360288/statm: 2165 228 204 9 0 87 0
[pid=360289] ppid=360288 vsize=95328 memory=79304 CPUtime=25.4 cores=1,3
/proc/360289/stat : 360289 (CASHWMaxSAT-Dis) R 360288 360288 355653 0 -1 4194304 9286 0 0 0 2537 3 0 0 20 0 1 0 65104242 97615872 19826 134679101440 4194304 14093885 140733630750432 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45408256 140733630751775 140733630751894 140733630751894 140733630758880 0
/proc/360289/statm: 23832 19826 814 2417 0 20934 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 113920 KiB
Current children cumulated memory: 82912 KiB
[startup+51.114 s]
/proc/loadavg: 4.12 4.11 4.14 5/249 360298
/proc/meminfo: memFree=126547972/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 674 595 264 0 134 0
[pid=360288] ppid=360285 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/360288/stat : 360288 (timeout) S 360285 360288 355653 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65104242 8867840 228 134679101440 94896417759232 94896417794248 140727283157248 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94896419891664 94896419893796 94896436756480 140727283164185 140727283164317 140727283164317 140727283171303 0
/proc/360288/statm: 2165 228 204 9 0 87 0
[pid=360289] ppid=360288 vsize=95352 memory=81344 CPUtime=50.95 cores=1,3
/proc/360289/stat : 360289 (CASHWMaxSAT-Dis) R 360288 360288 355653 0 -1 4194304 11375 0 0 0 5090 5 0 0 20 0 1 0 65104242 97640448 20336 134679101440 4194304 14093885 140733630750432 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 45408256 140733630751775 140733630751894 140733630751894 140733630758880 0
/proc/360289/statm: 23838 20336 814 2417 0 20940 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 113944 KiB
Current children cumulated memory: 84952 KiB
[startup+102.301 s]
/proc/loadavg: 4.11 4.11 4.13 5/249 360307
/proc/meminfo: memFree=126473444/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2696 CPUtime=0 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 65104241 10170368 674 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
################
# More data... #
################
/proc/361460/statm: 151439 150126 2849 2753 0 148092 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 624348 KiB
Current children cumulated memory: 604220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.13 4.10 5/254 362455
/proc/meminfo: memFree=126488200/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2740 CPUtime=1793.37 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 263 63645 0 0 0 0 179268 69 20 0 1 0 65104241 10170368 685 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 685 595 264 0 134 0
[pid=361459] ppid=360285 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/361459/stat : 361459 (timeout) S 360285 361459 355653 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65284042 8867840 244 134679101440 93907332411392 93907332446408 140735010714752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93907334543824 93907334545956 93907339796480 140735010722857 140735010722973 140735010722973 140735010729959 0
/proc/361459/statm: 2165 244 220 9 0 87 0
[pid=361460] ppid=361459 vsize=605756 memory=600504 CPUtime=1659.49 cores=1,3
/proc/361460/stat : 361460 (LS-MabSP) R 361459 361459 355653 0 -1 4194304 249048 0 0 0 150733 15216 0 0 20 0 1 0 65284042 620294144 150126 134679101440 4194304 15467897 140722258639072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38227968 140722258646076 140722258646179 140722258646179 140722258653165 0
/proc/361460/statm: 151439 150126 2849 2753 0 148092 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 624348 KiB
Current children cumulated memory: 604220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.72 4.30 4.17 5/252 362465
/proc/meminfo: memFree=126485728/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2740 CPUtime=1793.37 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 263 63645 0 0 0 0 179268 69 20 0 1 0 65104241 10170368 685 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 685 595 264 0 134 0
[pid=361459] ppid=360285 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/361459/stat : 361459 (timeout) S 360285 361459 355653 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65284042 8867840 244 134679101440 93907332411392 93907332446408 140735010714752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93907334543824 93907334545956 93907339796480 140735010722857 140735010722973 140735010722973 140735010729959 0
/proc/361459/statm: 2165 244 220 9 0 87 0
[pid=361460] ppid=361459 vsize=605756 memory=600524 CPUtime=1719.38 cores=1,3
/proc/361460/stat : 361460 (LS-MabSP) R 361459 361459 355653 0 -1 4194304 249049 0 0 0 155548 16390 0 0 20 0 1 0 65284042 620294144 150131 134679101440 4194304 15467897 140722258639072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38227968 140722258646076 140722258646179 140722258646179 140722258653165 0
/proc/361460/statm: 151439 150131 2849 2753 0 148092 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 624348 KiB
Current children cumulated memory: 604240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.36 4.28 4.17 5/252 362476
/proc/meminfo: memFree=126483992/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2740 CPUtime=1793.37 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 263 63645 0 0 0 0 179268 69 20 0 1 0 65104241 10170368 685 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 685 595 264 0 134 0
[pid=361459] ppid=360285 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/361459/stat : 361459 (timeout) S 360285 361459 355653 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65284042 8867840 244 134679101440 93907332411392 93907332446408 140735010714752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93907334543824 93907334545956 93907339796480 140735010722857 140735010722973 140735010722973 140735010729959 0
/proc/361459/statm: 2165 244 220 9 0 87 0
[pid=361460] ppid=361459 vsize=605756 memory=600524 CPUtime=1779.27 cores=1,3
/proc/361460/stat : 361460 (LS-MabSP) R 361459 361459 355653 0 -1 4194304 249051 0 0 0 160354 17573 0 0 20 0 1 0 65284042 620294144 150131 134679101440 4194304 15467897 140722258639072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38227968 140722258646076 140722258646179 140722258646179 140722258653165 0
/proc/361460/statm: 151439 150131 2849 2753 0 148092 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 624348 KiB
Current children cumulated memory: 604240 KiB
[startup+3596.04 s]
# the end of solver process 360285 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3407.23 s, system=179.15 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.33 4.27 4.16 5/252 362476
/proc/meminfo: memFree=126484004/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2740 CPUtime=1793.37 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 263 63645 0 0 0 0 179268 69 20 0 1 0 65104241 10170368 685 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 685 595 264 0 134 0
[pid=361459] ppid=360285 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/361459/stat : 361459 (timeout) S 360285 361459 355653 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65284042 8867840 244 134679101440 93907332411392 93907332446408 140735010714752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93907334543824 93907334545956 93907339796480 140735010722857 140735010722973 140735010722973 140735010729959 0
/proc/361459/statm: 2165 244 220 9 0 87 0
[pid=361460] ppid=361459 vsize=605756 memory=600524 CPUtime=1780.98 cores=1,3
/proc/361460/stat : 361460 (LS-MabSP) R 361459 361459 355653 0 -1 4194304 249051 0 0 0 160491 17607 0 0 20 0 1 0 65284042 620294144 150131 134679101440 4194304 15467897 140722258639072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38227968 140722258646076 140722258646179 140722258646179 140722258653165 0
/proc/361460/statm: 151439 150131 2849 2753 0 148092 0
Current children cumulated CPU time: 3574.35 s
Current children cumulated vsize: 624348 KiB
Current children cumulated memory: 604240 KiB
[startup+3590.4 s]
/proc/loadavg: 4.39 4.28 4.17 5/252 362477
/proc/meminfo: memFree=126483988/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2740 CPUtime=1793.37 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 263 63645 0 0 0 0 179268 69 20 0 1 0 65104241 10170368 685 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 685 595 264 0 134 0
[pid=361459] ppid=360285 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/361459/stat : 361459 (timeout) S 360285 361459 355653 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65284042 8867840 244 134679101440 93907332411392 93907332446408 140735010714752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93907334543824 93907334545956 93907339796480 140735010722857 140735010722973 140735010722973 140735010729959 0
/proc/361459/statm: 2165 244 220 9 0 87 0
[pid=361460] ppid=361459 vsize=605756 memory=600524 CPUtime=1787.36 cores=1,3
/proc/361460/stat : 361460 (LS-MabSP) R 361459 361459 355653 0 -1 4194304 249051 0 0 0 161003 17733 0 0 20 0 1 0 65284042 620294144 150131 134679101440 4194304 15467897 140722258639072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38227968 140722258646076 140722258646179 140722258646179 140722258653165 0
/proc/361460/statm: 151439 150131 2849 2753 0 148092 0
Current children cumulated CPU time: 3580.73 s
Current children cumulated vsize: 624348 KiB
Current children cumulated memory: 604240 KiB
[startup+3593.6 s]
/proc/loadavg: 4.39 4.28 4.17 5/252 362478
/proc/meminfo: memFree=126483944/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2740 CPUtime=1793.37 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 263 63645 0 0 0 0 179268 69 20 0 1 0 65104241 10170368 685 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 685 595 264 0 134 0
[pid=361459] ppid=360285 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/361459/stat : 361459 (timeout) S 360285 361459 355653 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65284042 8867840 244 134679101440 93907332411392 93907332446408 140735010714752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93907334543824 93907334545956 93907339796480 140735010722857 140735010722973 140735010722973 140735010729959 0
/proc/361459/statm: 2165 244 220 9 0 87 0
[pid=361460] ppid=361459 vsize=605756 memory=600524 CPUtime=1790.55 cores=1,3
/proc/361460/stat : 361460 (LS-MabSP) R 361459 361459 355653 0 -1 4194304 249051 0 0 0 161258 17797 0 0 20 0 1 0 65284042 620294144 150131 134679101440 4194304 15467897 140722258639072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38227968 140722258646076 140722258646179 140722258646179 140722258653165 0
/proc/361460/statm: 151439 150131 2849 2753 0 148092 0
Current children cumulated CPU time: 3583.92 s
Current children cumulated vsize: 624348 KiB
Current children cumulated memory: 604240 KiB
[startup+3595.2 s]
/proc/loadavg: 4.36 4.28 4.17 5/252 362478
/proc/meminfo: memFree=126483944/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2740 CPUtime=1793.37 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 263 63645 0 0 0 0 179268 69 20 0 1 0 65104241 10170368 685 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 685 595 264 0 134 0
[pid=361459] ppid=360285 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/361459/stat : 361459 (timeout) S 360285 361459 355653 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65284042 8867840 244 134679101440 93907332411392 93907332446408 140735010714752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93907334543824 93907334545956 93907339796480 140735010722857 140735010722973 140735010722973 140735010729959 0
/proc/361459/statm: 2165 244 220 9 0 87 0
[pid=361460] ppid=361459 vsize=605756 memory=600524 CPUtime=1792.14 cores=1,3
/proc/361460/stat : 361460 (LS-MabSP) R 361459 361459 355653 0 -1 4194304 249051 0 0 0 161387 17827 0 0 20 0 1 0 65284042 620294144 150131 134679101440 4194304 15467897 140722258639072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38227968 140722258646076 140722258646179 140722258646179 140722258653165 0
/proc/361460/statm: 151439 150131 2849 2753 0 148092 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 624348 KiB
Current children cumulated memory: 604240 KiB
[startup+3595.6 s]
/proc/loadavg: 4.36 4.28 4.17 5/252 362478
/proc/meminfo: memFree=126483944/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2740 CPUtime=1793.37 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 263 63645 0 0 0 0 179268 69 20 0 1 0 65104241 10170368 685 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 685 595 264 0 134 0
[pid=361459] ppid=360285 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/361459/stat : 361459 (timeout) S 360285 361459 355653 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65284042 8867840 244 134679101440 93907332411392 93907332446408 140735010714752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93907334543824 93907334545956 93907339796480 140735010722857 140735010722973 140735010722973 140735010729959 0
/proc/361459/statm: 2165 244 220 9 0 87 0
[pid=361460] ppid=361459 vsize=605756 memory=600524 CPUtime=1792.54 cores=1,3
/proc/361460/stat : 361460 (LS-MabSP) R 361459 361459 355653 0 -1 4194304 249051 0 0 0 161419 17835 0 0 20 0 1 0 65284042 620294144 150131 134679101440 4194304 15467897 140722258639072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38227968 140722258646076 140722258646179 140722258646179 140722258653165 0
/proc/361460/statm: 151439 150131 2849 2753 0 148092 0
Current children cumulated CPU time: 3585.91 s
Current children cumulated vsize: 624348 KiB
Current children cumulated memory: 604240 KiB
[startup+3596 s]*
/proc/loadavg: 4.36 4.28 4.17 5/252 362478
/proc/meminfo: memFree=126483944/131655788 swapFree=131071728/131071996
[pid=360285] ppid=360282 vsize=9932 memory=2740 CPUtime=1793.37 cores=1,3
/proc/360285/stat : 360285 (Hybrid-LSMabSP+) S 360282 360285 355653 0 -1 4194304 263 63645 0 0 0 0 179268 69 20 0 1 0 65104241 10170368 685 134679101440 94395124051968 94395125131288 140725078392592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94395127229744 94395127276932 94395136675840 140725078397902 140725078398061 140725078398061 140725078405076 0
/proc/360285/statm: 2483 685 595 264 0 134 0
[pid=361459] ppid=360285 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/361459/stat : 361459 (timeout) R 360285 361459 355653 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65284042 8867840 244 134679101440 93907332411392 93907332446408 140735010714752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93907334543824 93907334545956 93907339796480 140735010722857 140735010722973 140735010722973 140735010729959 0
/proc/361459/statm: 2165 244 220 9 0 87 0
[pid=361460] ppid=361459 vsize=605756 memory=600524 CPUtime=1792.95 cores=1,3
/proc/361460/stat : 361460 (LS-MabSP) R 361459 361459 355653 0 -1 4194304 249051 0 0 0 161452 17843 0 0 20 0 1 0 65284042 620294144 150131 134679101440 4194304 15467897 140722258639072 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38227968 140722258646076 140722258646179 140722258646179 140722258653165 0
/proc/361460/statm: 151439 150131 2849 2753 0 148092 0
Current children cumulated CPU time: 3586.32 s
Current children cumulated vsize: 624348 KiB
Current children cumulated memory: 604240 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3586.38
CPU user time (s): 3407.23
CPU system time (s): 179.15
CPU usage (%): 99.7315
Max. virtual memory (cumulated for all children) (KiB): 989588
Max. memory (cumulated for all children) (KiB): 965280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3407.23
system time used= 179.15
maximum resident set size= 961564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195
involuntary context switches= 2373
# summary of solver processes directly reported to runsolver:
# pid: 360285
# total CPU time (s): 3586.38
# total CPU user time (s): 3407.23
# total CPU system time (s): 179.15
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7113 second user time and 35.6582 second system time
The end
Begin job on nodeC011 at 2024-08-07 01:35:39
IDJOB=4457919
IDBENCH=177053
IDSOLVER=3069
FILE ID=nodeC011/4457919-1722987339
RUNJOBID= nodeC011-1722981556-355665
SLURM_JOB_ID= 8259084
Free space on /tmp= 723684 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457919-1722987339/watcher-4457919-1722987339 -o /tmp/evaluation-result-4457919-1722987339/solver-4457919-1722987339 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722981556-355665 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4457919-1722987339.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3b07899157a77563e39a517f9d1ebfa4
RANDOM SEED=71141161
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3676.098
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1945.086
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.239
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3613.625
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3665.775
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.324
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.386
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126632596 kB
MemAvailable: 128333408 kB
Buffers: 352924 kB
Cached: 2198460 kB
SwapCached: 12 kB
Active: 650732 kB
Inactive: 3883400 kB
Active(anon): 1976 kB
Inactive(anon): 2026620 kB
Active(file): 648756 kB
Inactive(file): 1856780 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 29448 kB
Writeback: 40 kB
AnonPages: 1979032 kB
Mapped: 122972 kB
Shmem: 45852 kB
KReclaimable: 70948 kB
Slab: 158512 kB
SReclaimable: 70948 kB
SUnreclaim: 87564 kB
KernelStack: 3952 kB
PageTables: 13468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2633476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 25440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 708608 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: 277320 kB
DirectMap2M: 22695936 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723652 MiB
End job on nodeC011 at 2024-08-07 02:35:35