runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (57193 MiB free)
memory of node 1: 64510 MiB (61094 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437265-1722976122/watcher-4437265-1722976122 -o /tmp/evaluation-result-4437265-1722976122/solver-4437265-1722976122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722974302-351871 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437265-1722976122.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=353027, runsolver pid=353024
[startup+0.100808 s]*
/proc/loadavg: 4.10 4.09 3.82 5/265 353031
/proc/meminfo: memFree=121119348/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 672 594 264 0 134 0
[pid=353030] ppid=353027 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/353030/stat : 353030 (timeout) S 353027 353030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64210125 8867840 253 134679101440 94787377463296 94787377498312 140726246316816 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94787379595728 94787379597860 94787396403200 140726246319145 140726246319261 140726246319261 140726246326247 0
/proc/353030/statm: 2165 253 229 9 0 87 0
[pid=353031] ppid=353030 vsize=25076 memory=11608 CPUtime=0.09 cores=5,7
/proc/353031/stat : 353031 (LS-MabSP) R 353030 353030 351858 0 -1 4194304 1885 0 0 0 9 0 0 0 20 0 1 0 64210125 25677824 2902 134679101440 4194304 15467897 140725645762592 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28442624 140725645771836 140725645771939 140725645771939 140725645778925 0
/proc/353031/statm: 6269 2902 1073 2753 0 2922 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 15308 KiB
[startup+0.205954 s]*
/proc/loadavg: 4.10 4.09 3.82 5/265 353031
/proc/meminfo: memFree=121100864/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 672 594 264 0 134 0
[pid=353030] ppid=353027 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/353030/stat : 353030 (timeout) S 353027 353030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64210125 8867840 253 134679101440 94787377463296 94787377498312 140726246316816 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94787379595728 94787379597860 94787396403200 140726246319145 140726246319261 140726246319261 140726246326247 0
/proc/353030/statm: 2165 253 229 9 0 87 0
[pid=353031] ppid=353030 vsize=38900 memory=25568 CPUtime=0.2 cores=5,7
/proc/353031/stat : 353031 (LS-MabSP) R 353030 353030 351858 0 -1 4194304 6002 0 0 0 19 1 0 0 20 0 1 0 64210125 39833600 6392 134679101440 4194304 15467897 140725645762592 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28442624 140725645771836 140725645771939 140725645771939 140725645778925 0
/proc/353031/statm: 9725 6392 1137 2753 0 6378 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57492 KiB
Current children cumulated memory: 29268 KiB
[startup+0.305858 s]*
/proc/loadavg: 4.10 4.09 3.82 5/265 353031
/proc/meminfo: memFree=121100724/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 672 594 264 0 134 0
[pid=353030] ppid=353027 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/353030/stat : 353030 (timeout) S 353027 353030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64210125 8867840 253 134679101440 94787377463296 94787377498312 140726246316816 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94787379595728 94787379597860 94787396403200 140726246319145 140726246319261 140726246319261 140726246326247 0
/proc/353030/statm: 2165 253 229 9 0 87 0
[pid=353031] ppid=353030 vsize=38900 memory=25568 CPUtime=0.3 cores=5,7
/proc/353031/stat : 353031 (LS-MabSP) R 353030 353030 351858 0 -1 4194304 6002 0 0 0 29 1 0 0 20 0 1 0 64210125 39833600 6392 134679101440 4194304 15467897 140725645762592 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28442624 140725645771836 140725645771939 140725645771939 140725645778925 0
/proc/353031/statm: 9725 6392 1137 2753 0 6378 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57492 KiB
Current children cumulated memory: 29268 KiB
[startup+0.700266 s]
/proc/loadavg: 4.10 4.09 3.82 5/265 353031
/proc/meminfo: memFree=121097308/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 672 594 264 0 134 0
[pid=353030] ppid=353027 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/353030/stat : 353030 (timeout) S 353027 353030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64210125 8867840 253 134679101440 94787377463296 94787377498312 140726246316816 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94787379595728 94787379597860 94787396403200 140726246319145 140726246319261 140726246319261 140726246326247 0
/proc/353030/statm: 2165 253 229 9 0 87 0
[pid=353031] ppid=353030 vsize=101944 memory=92040 CPUtime=0.68 cores=5,7
/proc/353031/stat : 353031 (LS-MabSP) R 353030 353030 351858 0 -1 4194304 21724 0 0 0 65 3 0 0 20 0 1 0 64210125 104390656 23010 134679101440 4194304 15467897 140725645762592 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28442624 140725645771836 140725645771939 140725645771939 140725645778925 0
/proc/353031/statm: 25486 23010 2705 2753 0 22139 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 120536 KiB
Current children cumulated memory: 95740 KiB
[startup+1.50028 s]
/proc/loadavg: 4.10 4.09 3.82 5/265 353031
/proc/meminfo: memFree=121023060/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 672 594 264 0 134 0
[pid=353030] ppid=353027 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/353030/stat : 353030 (timeout) S 353027 353030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64210125 8867840 253 134679101440 94787377463296 94787377498312 140726246316816 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94787379595728 94787379597860 94787396403200 140726246319145 140726246319261 140726246319261 140726246326247 0
/proc/353030/statm: 2165 253 229 9 0 87 0
[pid=353031] ppid=353030 vsize=119932 memory=108672 CPUtime=1.49 cores=5,7
/proc/353031/stat : 353031 (LS-MabSP) R 353030 353030 351858 0 -1 4194304 25932 0 0 0 145 4 0 0 20 0 1 0 64210125 122810368 27168 134679101440 4194304 15467897 140725645762592 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28442624 140725645771836 140725645771939 140725645771939 140725645778925 0
/proc/353031/statm: 29983 27168 2705 2753 0 26636 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 138524 KiB
Current children cumulated memory: 112372 KiB
[startup+3.10595 s]
/proc/loadavg: 4.09 4.08 3.82 5/265 353031
/proc/meminfo: memFree=121010396/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 672 594 264 0 134 0
[pid=353030] ppid=353027 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/353030/stat : 353030 (timeout) S 353027 353030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64210125 8867840 253 134679101440 94787377463296 94787377498312 140726246316816 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94787379595728 94787379597860 94787396403200 140726246319145 140726246319261 140726246319261 140726246326247 0
/proc/353030/statm: 2165 253 229 9 0 87 0
[pid=353031] ppid=353030 vsize=126732 memory=115080 CPUtime=3.09 cores=5,7
/proc/353031/stat : 353031 (LS-MabSP) R 353030 353030 351858 0 -1 4194304 27487 0 0 0 305 4 0 0 20 0 1 0 64210125 129773568 28770 134679101440 4194304 15467897 140725645762592 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28442624 140725645771836 140725645771939 140725645771939 140725645778925 0
/proc/353031/statm: 31683 28770 2737 2753 0 28336 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 145324 KiB
Current children cumulated memory: 118780 KiB
[startup+6.30026 s]
/proc/loadavg: 4.09 4.08 3.82 5/265 353031
/proc/meminfo: memFree=120920256/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 672 594 264 0 134 0
[pid=353030] ppid=353027 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/353030/stat : 353030 (timeout) S 353027 353030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64210125 8867840 253 134679101440 94787377463296 94787377498312 140726246316816 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94787379595728 94787379597860 94787396403200 140726246319145 140726246319261 140726246319261 140726246326247 0
/proc/353030/statm: 2165 253 229 9 0 87 0
[pid=353031] ppid=353030 vsize=216532 memory=199356 CPUtime=6.27 cores=5,7
/proc/353031/stat : 353031 (LS-MabSP) R 353030 353030 351858 0 -1 4194304 43871 0 0 0 620 7 0 0 20 0 1 0 64210125 221728768 49839 134679101440 4194304 15467897 140725645762592 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28442624 140725645771836 140725645771939 140725645771939 140725645778925 0
/proc/353031/statm: 54133 49839 2817 2753 0 50786 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 235124 KiB
Current children cumulated memory: 203056 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.08 3.82 5/265 353032
/proc/meminfo: memFree=120915944/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 672 594 264 0 134 0
[pid=353030] ppid=353027 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/353030/stat : 353030 (timeout) S 353027 353030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64210125 8867840 253 134679101440 94787377463296 94787377498312 140726246316816 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94787379595728 94787379597860 94787396403200 140726246319145 140726246319261 140726246319261 140726246326247 0
/proc/353030/statm: 2165 253 229 9 0 87 0
[pid=353031] ppid=353030 vsize=217032 memory=199884 CPUtime=12.66 cores=5,7
/proc/353031/stat : 353031 (LS-MabSP) R 353030 353030 351858 0 -1 4194304 44009 0 0 0 1259 7 0 0 20 0 1 0 64210125 222240768 49971 134679101440 4194304 15467897 140725645762592 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28442624 140725645771836 140725645771939 140725645771939 140725645778925 0
/proc/353031/statm: 54258 49971 2817 2753 0 50911 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 235624 KiB
Current children cumulated memory: 203584 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.08 3.83 5/265 353093
/proc/meminfo: memFree=120777920/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 672 594 264 0 134 0
[pid=353030] ppid=353027 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/353030/stat : 353030 (timeout) S 353027 353030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64210125 8867840 253 134679101440 94787377463296 94787377498312 140726246316816 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94787379595728 94787379597860 94787396403200 140726246319145 140726246319261 140726246319261 140726246326247 0
/proc/353030/statm: 2165 253 229 9 0 87 0
[pid=353031] ppid=353030 vsize=263776 memory=242116 CPUtime=25.42 cores=5,7
/proc/353031/stat : 353031 (LS-MabSP) R 353030 353030 351858 0 -1 4194304 54602 0 0 0 2534 8 0 0 20 0 1 0 64210125 270106624 60529 134679101440 4194304 15467897 140725645762592 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28442624 140725645771836 140725645771939 140725645771939 140725645778925 0
/proc/353031/statm: 65944 60529 2849 2753 0 62597 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 282368 KiB
Current children cumulated memory: 245816 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.09 3.84 5/265 353097
/proc/meminfo: memFree=118955332/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 672 594 264 0 134 0
[pid=353030] ppid=353027 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/353030/stat : 353030 (timeout) S 353027 353030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64210125 8867840 253 134679101440 94787377463296 94787377498312 140726246316816 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94787379595728 94787379597860 94787396403200 140726246319145 140726246319261 140726246319261 140726246326247 0
/proc/353030/statm: 2165 253 229 9 0 87 0
[pid=353031] ppid=353030 vsize=263776 memory=242368 CPUtime=50.97 cores=5,7
/proc/353031/stat : 353031 (LS-MabSP) R 353030 353030 351858 0 -1 4194304 54637 0 0 0 5088 9 0 0 20 0 1 0 64210125 270106624 60592 134679101440 4194304 15467897 140725645762592 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28442624 140725645771836 140725645771939 140725645771939 140725645778925 0
/proc/353031/statm: 65944 60592 2849 2753 0 62597 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 282368 KiB
Current children cumulated memory: 246068 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 3.85 5/265 353106
/proc/meminfo: memFree=117174476/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2688 CPUtime=0 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 64210124 10170368 672 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
################
# More data... #
################
/proc/354031/statm: 100511 90805 764 737 0 99599 0
Current children cumulated CPU time: 3454.53 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 366972 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/263 354754
/proc/meminfo: memFree=120415576/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2732 CPUtime=1794.01 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 272 67060 0 0 0 0 179094 307 20 0 1 0 64210124 10170368 683 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 683 594 264 0 134 0
[pid=354030] ppid=353027 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/354030/stat : 354030 (timeout) S 353027 354030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64389926 8867840 255 134679101440 94353657958400 94353657993416 140720483472992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94353660090832 94353660092964 94353661489152 140720483476468 140720483476637 140720483476637 140720483483623 0
/proc/354030/statm: 2165 255 231 9 0 87 0
[pid=354031] ppid=354030 vsize=402044 memory=363228 CPUtime=1720.39 cores=5,7
/proc/354031/stat : 354031 (Exact) R 354030 354030 351858 0 -1 4194304 57004 0 0 0 172019 20 0 0 20 0 1 0 64389926 411693056 90807 134679101440 4194304 7210733 140731648038560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 34050048 140731648046096 140731648046246 140731648046246 140731648053232 0
/proc/354031/statm: 100511 90807 764 737 0 99599 0
Current children cumulated CPU time: 3514.4 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 366980 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.20 4.13 5/263 354838
/proc/meminfo: memFree=120325952/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2732 CPUtime=1794.01 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 272 67060 0 0 0 0 179094 307 20 0 1 0 64210124 10170368 683 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 683 594 264 0 134 0
[pid=354030] ppid=353027 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/354030/stat : 354030 (timeout) S 353027 354030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64389926 8867840 255 134679101440 94353657958400 94353657993416 140720483472992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94353660090832 94353660092964 94353661489152 140720483476468 140720483476637 140720483476637 140720483483623 0
/proc/354030/statm: 2165 255 231 9 0 87 0
[pid=354031] ppid=354030 vsize=402044 memory=363228 CPUtime=1780.27 cores=5,7
/proc/354031/stat : 354031 (Exact) R 354030 354030 351858 0 -1 4194304 57150 0 0 0 178007 20 0 0 20 0 1 0 64389926 411693056 90807 134679101440 4194304 7210733 140731648038560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 34050048 140731648046096 140731648046246 140731648046246 140731648053232 0
/proc/354031/statm: 100511 90807 764 737 0 99599 0
Current children cumulated CPU time: 3574.28 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 366980 KiB
[startup+3596.15 s]
# the end of solver process 353027 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.83 s, system=3.28965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.25 4.19 4.13 5/263 354838
/proc/meminfo: memFree=120325816/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2732 CPUtime=1794.01 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 272 67060 0 0 0 0 179094 307 20 0 1 0 64210124 10170368 683 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 683 594 264 0 134 0
[pid=354030] ppid=353027 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/354030/stat : 354030 (timeout) S 353027 354030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64389926 8867840 255 134679101440 94353657958400 94353657993416 140720483472992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94353660090832 94353660092964 94353661489152 140720483476468 140720483476637 140720483476637 140720483483623 0
/proc/354030/statm: 2165 255 231 9 0 87 0
[pid=354031] ppid=354030 vsize=402044 memory=363228 CPUtime=1781.97 cores=5,7
/proc/354031/stat : 354031 (Exact) R 354030 354030 351858 0 -1 4194304 57151 0 0 0 178177 20 0 0 20 0 1 0 64389926 411693056 90807 134679101440 4194304 7210733 140731648038560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 34050048 140731648046096 140731648046246 140731648046246 140731648053232 0
/proc/354031/statm: 100511 90807 764 737 0 99599 0
Current children cumulated CPU time: 3575.98 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 366980 KiB
[startup+3590.4 s]
/proc/loadavg: 4.23 4.19 4.13 4/258 354875
/proc/meminfo: memFree=120345808/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2732 CPUtime=1794.01 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 272 67060 0 0 0 0 179094 307 20 0 1 0 64210124 10170368 683 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 683 594 264 0 134 0
[pid=354030] ppid=353027 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/354030/stat : 354030 (timeout) S 353027 354030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64389926 8867840 255 134679101440 94353657958400 94353657993416 140720483472992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94353660090832 94353660092964 94353661489152 140720483476468 140720483476637 140720483476637 140720483483623 0
/proc/354030/statm: 2165 255 231 9 0 87 0
[pid=354031] ppid=354030 vsize=402044 memory=363228 CPUtime=1788.35 cores=5,7
/proc/354031/stat : 354031 (Exact) R 354030 354030 351858 0 -1 4194304 57152 0 0 0 178815 20 0 0 20 0 1 0 64389926 411693056 90807 134679101440 4194304 7210733 140731648038560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 34050048 140731648046096 140731648046246 140731648046246 140731648053232 0
/proc/354031/statm: 100511 90807 764 737 0 99599 0
Current children cumulated CPU time: 3582.36 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 366980 KiB
[startup+3593.6 s]
/proc/loadavg: 4.29 4.20 4.13 5/263 354910
/proc/meminfo: memFree=120180900/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2732 CPUtime=1794.01 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 272 67060 0 0 0 0 179094 307 20 0 1 0 64210124 10170368 683 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 683 594 264 0 134 0
[pid=354030] ppid=353027 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/354030/stat : 354030 (timeout) S 353027 354030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64389926 8867840 255 134679101440 94353657958400 94353657993416 140720483472992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94353660090832 94353660092964 94353661489152 140720483476468 140720483476637 140720483476637 140720483483623 0
/proc/354030/statm: 2165 255 231 9 0 87 0
[pid=354031] ppid=354030 vsize=402044 memory=363228 CPUtime=1791.54 cores=5,7
/proc/354031/stat : 354031 (Exact) R 354030 354030 351858 0 -1 4194304 57152 0 0 0 179134 20 0 0 20 0 1 0 64389926 411693056 90807 134679101440 4194304 7210733 140731648038560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 34050048 140731648046096 140731648046246 140731648046246 140731648053232 0
/proc/354031/statm: 100511 90807 764 737 0 99599 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 366980 KiB
[startup+3595.2 s]
/proc/loadavg: 4.29 4.20 4.13 5/263 354910
/proc/meminfo: memFree=120180908/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2732 CPUtime=1794.01 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 272 67060 0 0 0 0 179094 307 20 0 1 0 64210124 10170368 683 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 683 594 264 0 134 0
[pid=354030] ppid=353027 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/354030/stat : 354030 (timeout) S 353027 354030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64389926 8867840 255 134679101440 94353657958400 94353657993416 140720483472992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94353660090832 94353660092964 94353661489152 140720483476468 140720483476637 140720483476637 140720483483623 0
/proc/354030/statm: 2165 255 231 9 0 87 0
[pid=354031] ppid=354030 vsize=402044 memory=363228 CPUtime=1793.14 cores=5,7
/proc/354031/stat : 354031 (Exact) R 354030 354030 351858 0 -1 4194304 57152 0 0 0 179294 20 0 0 20 0 1 0 64389926 411693056 90807 134679101440 4194304 7210733 140731648038560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 34050048 140731648046096 140731648046246 140731648046246 140731648053232 0
/proc/354031/statm: 100511 90807 764 737 0 99599 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 366980 KiB
[startup+3595.6 s]
/proc/loadavg: 4.29 4.20 4.13 5/263 354910
/proc/meminfo: memFree=120180908/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2732 CPUtime=1794.01 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 272 67060 0 0 0 0 179094 307 20 0 1 0 64210124 10170368 683 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 683 594 264 0 134 0
[pid=354030] ppid=353027 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/354030/stat : 354030 (timeout) S 353027 354030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64389926 8867840 255 134679101440 94353657958400 94353657993416 140720483472992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94353660090832 94353660092964 94353661489152 140720483476468 140720483476637 140720483476637 140720483483623 0
/proc/354030/statm: 2165 255 231 9 0 87 0
[pid=354031] ppid=354030 vsize=402044 memory=363228 CPUtime=1793.54 cores=5,7
/proc/354031/stat : 354031 (Exact) R 354030 354030 351858 0 -1 4194304 57152 0 0 0 179334 20 0 0 20 0 1 0 64389926 411693056 90807 134679101440 4194304 7210733 140731648038560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 34050048 140731648046096 140731648046246 140731648046246 140731648053232 0
/proc/354031/statm: 100511 90807 764 737 0 99599 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 366980 KiB
[startup+3596 s]*
/proc/loadavg: 4.29 4.20 4.13 5/263 354910
/proc/meminfo: memFree=120180908/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2732 CPUtime=1794.01 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 272 67060 0 0 0 0 179094 307 20 0 1 0 64210124 10170368 683 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 683 594 264 0 134 0
[pid=354030] ppid=353027 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/354030/stat : 354030 (timeout) S 353027 354030 351858 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64389926 8867840 255 134679101440 94353657958400 94353657993416 140720483472992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94353660090832 94353660092964 94353661489152 140720483476468 140720483476637 140720483476637 140720483483623 0
/proc/354030/statm: 2165 255 231 9 0 87 0
[pid=354031] ppid=354030 vsize=402044 memory=363228 CPUtime=1793.94 cores=5,7
/proc/354031/stat : 354031 (Exact) R 354030 354030 351858 0 -1 4194304 57152 0 0 0 179374 20 0 0 20 0 1 0 64389926 411693056 90807 134679101440 4194304 7210733 140731648038560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 34050048 140731648046096 140731648046246 140731648046246 140731648053232 0
/proc/354031/statm: 100511 90807 764 737 0 99599 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 420636 KiB
Current children cumulated memory: 366980 KiB
[startup+3596.11 s]
/proc/loadavg: 4.29 4.20 4.13 5/263 354910
/proc/meminfo: memFree=120180908/131524600 swapFree=131071472/131071996
[pid=353027] ppid=353024 vsize=9932 memory=2732 CPUtime=1794.01 cores=5,7
/proc/353027/stat : 353027 (Hybrid-LSMabSP+) S 353024 353027 351858 0 -1 4194304 272 67060 0 0 0 0 179094 307 20 0 1 0 64210124 10170368 683 134679101440 94645979942912 94645981022232 140729067126128 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94645983120688 94645983167876 94646008233984 140729067127784 140729067127930 140729067127930 140729067134945 0
/proc/353027/statm: 2483 683 594 264 0 134 0
[pid=354030] ppid=353027 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/354030/stat : 354030 (timeout) S 353027 354030 351858 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64389926 8867840 255 134679101440 94353657958400 94353657993416 140720483472992 0 0 0 0 3293184 73735 0 0 0 17 7 0 0 0 0 0 94353660090832 94353660092964 94353661489152 140720483476468 140720483476637 140720483476637 140720483483623 0
/proc/354030/statm: 2165 255 231 9 0 87 0
[pid=354031] ppid=354030 vsize=240216 memory=233856 CPUtime=1794.04 cores=5,7
/proc/354031/stat : 354031 (Exact) R 354030 354030 351858 0 -1 4194304 57158 0 0 0 179384 20 0 0 20 0 1 0 64389926 245981184 58464 134679101440 4194304 7210733 140731648038560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 34050048 140731648046096 140731648046246 140731648046246 140731648053232 0
/proc/354031/statm: 60054 58464 856 737 0 59142 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 258808 KiB
Current children cumulated memory: 237608 KiB
Child status: 0
Real time (s): 3596.15
CPU time (s): 3588.12
CPU user time (s): 3584.83
CPU system time (s): 3.28965
CPU usage (%): 99.7767
Max. virtual memory (cumulated for all children) (KiB): 420636
Max. memory (cumulated for all children) (KiB): 366980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.83
system time used= 3.28965
maximum resident set size= 363556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127523
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131
involuntary context switches= 2001
# summary of solver processes directly reported to runsolver:
# pid: 353027
# total CPU time (s): 3588.12
# total CPU user time (s): 3584.83
# total CPU system time (s): 3.28965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.82572 second user time and 16.1258 second system time
The end
Begin job on nodeC020 at 2024-08-06 22:28:42
IDJOB=4437265
IDBENCH=155343
IDSOLVER=3070
FILE ID=nodeC020/4437265-1722976122
RUNJOBID= nodeC020-1722974302-351871
SLURM_JOB_ID= 8259080
Free space on /tmp= 890020 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437265-1722976122/watcher-4437265-1722976122 -o /tmp/evaluation-result-4437265-1722976122/solver-4437265-1722976122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722974302-351871 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437265-1722976122.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db
RANDOM SEED=404597027
nodeC020.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 : 3669.396
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
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 : 3671.901
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 : 7007.00
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 : 3600.487
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
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 : 3605.955
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 : 7007.00
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 : 3669.403
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
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 : 3673.643
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 : 7007.00
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 : 3600.337
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
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 : 3664.312
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121127480 kB
MemAvailable: 129413856 kB
Buffers: 354848 kB
Cached: 8755912 kB
SwapCached: 28 kB
Active: 660164 kB
Inactive: 9172040 kB
Active(anon): 1896 kB
Inactive(anon): 757212 kB
Active(file): 658268 kB
Inactive(file): 8414828 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 42752 kB
Writeback: 0 kB
AnonPages: 719432 kB
Mapped: 125372 kB
Shmem: 37668 kB
KReclaimable: 105852 kB
Slab: 200104 kB
SReclaimable: 105852 kB
SUnreclaim: 94252 kB
KernelStack: 4192 kB
PageTables: 10984 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1003016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 287444 kB
DirectMap2M: 27797504 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC020 at 2024-08-06 23:28:38