Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | OPTIMUM | 958.843 | 961.844 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo |
| MD5SUM | 216f6331a5059337c4eb768f690a17ee |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 42.5581 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 135865 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135864 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.04 o 2568 0.00/0.04 o 2490 0.00/0.04 o 2437 0.00/0.04 o 2380 0.00/0.05 o 2300 0.00/0.05 o 2284 0.00/0.05 o 2260 0.00/0.05 o 2155 0.00/0.06 o 2152 0.00/0.06 o 2150 0.00/0.06 o 2137 0.00/0.06 o 2129 0.00/0.07 o 2119 0.00/0.07 o 2118 0.00/0.07 o 2113 0.00/0.07 o 2071 0.00/0.08 o 2063 0.00/0.08 o 2041 0.00/0.08 o 2039 0.00/0.08 o 2015 0.00/0.09 o 2006 0.00/0.09 o 1945 0.00/0.09 o 1911 0.00/0.10 o 1905 0.00/0.10 o 1878 0.00/0.10 o 1876 0.00/0.10 o 1871 0.00/0.10 o 1864 0.00/0.11 o 1821 0.11/0.11 o 1806 0.11/0.11 o 1805 0.11/0.11 o 1804 0.11/0.12 o 1798 0.11/0.12 o 1796 0.11/0.13 o 1764 0.11/0.13 o 1737 0.11/0.13 o 1732 0.11/0.13 o 1727 0.11/0.14 o 1658 0.11/0.14 o 1645 0.11/0.14 o 1638 0.11/0.14 o 1633 0.11/0.14 o 1631 0.11/0.15 o 1610 0.11/0.15 o 1608 0.11/0.17 o 1606 0.11/0.17 o 1599 0.11/0.17 o 1583 0.11/0.17 o 1563 0.11/0.17 o 1533 0.11/0.17 o 1515 0.11/0.18 o 1460 0.11/0.18 o 1439 0.11/0.18 o 1370 0.11/0.18 o 1335 0.11/0.18 o 1321 0.11/0.19 o 1230 0.11/0.19 o 1163 0.11/0.19 o 1134 0.11/0.19 o 1080 0.11/0.20 o 1014 0.11/0.20 o 975 0.11/0.20 o 970 0.11/0.20 o 899 0.11/0.21 o 801 0.11/0.21 o 787 0.21/0.22 o 781 0.21/0.22 o 776 0.21/0.22 o 769 0.21/0.22 o 746 0.21/0.23 o 741 0.21/0.23 o 737 0.21/0.23 o 735 0.21/0.23 o 724 0.21/0.24 o 679 0.21/0.24 o 605 0.21/0.24 o 601 0.21/0.24 o 600 0.21/0.24 o 544 0.21/0.24 o 528 0.21/0.24 o 527 0.21/0.24 o 522 0.21/0.25 o 508 0.21/0.25 o 507 0.21/0.25 o 489 0.21/0.25 o 467 0.21/0.25 o 458 0.21/0.26 o 420 0.21/0.26 o 381 0.21/0.26 o 378 0.21/0.26 o 372 0.21/0.26 o 365 0.21/0.27 o 363 0.21/0.27 o 362 0.21/0.27 o 356 0.21/0.27 o 351 0.21/0.27 o 339 0.21/0.28 o 338 0.21/0.28 o 333 0.21/0.29 o 316 0.21/0.29 o 315 0.21/0.29 o 313 0.21/0.29 o 293 0.21/0.29 o 291 0.21/0.30 o 289 0.21/0.30 o 273 0.21/0.30 o 263 0.21/0.30 o 231 0.29/0.31 o 224 0.29/0.31 o 223 0.29/0.31 o 222 0.29/0.32 o 216 0.29/0.33 o 214 0.29/0.33 o 213 0.29/0.34 o 212 0.29/0.34 o 196 0.29/0.35 o 124 0.39/0.45 o 122 0.39/0.46 o 121 0.39/0.48 o 112 0.39/0.49 o 106 0.39/0.49 o 101 0.49/0.52 o 99 0.49/0.56 o 88 0.89/0.91 o 86 0.89/0.92 o 85 0.89/0.92 o 78 0.89/0.98 o 77 0.89/0.98 o 64 1.19/1.25 o 57 1.79/1.80 o 56 1.79/1.80 o 33 1.79/1.81 o 32 1.99/2.01 o 31 1.99/2.02 o 16 1.99/2.05 o 7 1.99/2.05 o 3 1.99/2.08 o 2 2.09/2.15 o 1 958.79/961.84 s OPTIMUM FOUND 958.79/961.84 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
OK 1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (56082 MiB free)
memory of node 1: 64473 MiB (53578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456093-1721718417/watcher-4456093-1721718417 -o /tmp/evaluation-result-4456093-1721718417/solver-4456093-1721718417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721718417-85831 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=338369132 HOME/instance-4456093-1721718417.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=85880, runsolver pid=85875
[startup+0.100456 s]*
/proc/loadavg: 1.48 1.91 2.02 6/258 85895
/proc/meminfo: memFree=112258648/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=34332 memory=16068 CPUtime=0.11 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 2929 0 0 0 11 0 0 0 20 0 1 0 8371446 35155968 4017 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 8583 4017 851 746 0 7647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 34332 KiB
Current children cumulated memory: 16068 KiB
[startup+0.2157 s]*
/proc/loadavg: 1.48 1.91 2.02 9/258 85895
/proc/meminfo: memFree=112236664/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=37368 memory=21016 CPUtime=0.21 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 3684 0 0 0 21 0 0 0 20 0 1 0 8371446 38264832 5254 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 9342 5254 851 746 0 8406 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37368 KiB
Current children cumulated memory: 21016 KiB
[startup+0.304823 s]*
/proc/loadavg: 1.48 1.91 2.02 5/258 85895
/proc/meminfo: memFree=112222544/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=40404 memory=26228 CPUtime=0.29 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 4446 0 0 0 29 0 0 0 20 0 1 0 8371446 41373696 6557 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 10101 6557 851 746 0 9165 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40404 KiB
Current children cumulated memory: 26228 KiB
[startup+0.700177 s]
/proc/loadavg: 1.48 1.91 2.02 5/258 85895
/proc/meminfo: memFree=112210112/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=45508 memory=33288 CPUtime=0.68 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 5731 0 0 0 68 0 0 0 20 0 1 0 8371446 46600192 8322 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 11377 8322 851 746 0 10441 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45508 KiB
Current children cumulated memory: 33288 KiB
[startup+1.50022 s]
/proc/loadavg: 1.48 1.91 2.02 6/258 85895
/proc/meminfo: memFree=112183176/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=53072 memory=46548 CPUtime=1.49 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 7463 0 0 0 148 1 0 0 20 0 1 0 8371446 54345728 11637 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 13268 11637 851 746 0 12332 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53072 KiB
Current children cumulated memory: 46548 KiB
[startup+3.10583 s]
/proc/loadavg: 1.68 1.94 2.04 6/258 85895
/proc/meminfo: memFree=112159936/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=53468 memory=46800 CPUtime=3.09 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 7547 0 0 0 308 1 0 0 20 0 1 0 8371446 54751232 11700 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 13367 11700 851 746 0 12431 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53468 KiB
Current children cumulated memory: 46800 KiB
[startup+6.30016 s]
/proc/loadavg: 1.68 1.94 2.04 6/258 85897
/proc/meminfo: memFree=112154224/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=54060 memory=47564 CPUtime=6.27 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 7791 0 0 0 626 1 0 0 20 0 1 0 8371446 55357440 11891 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 13515 11891 851 746 0 12579 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54060 KiB
Current children cumulated memory: 47564 KiB
[startup+12.7002 s]
/proc/loadavg: 1.86 1.98 2.05 6/258 85897
/proc/meminfo: memFree=112150804/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=54840 memory=48336 CPUtime=12.66 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 7988 0 0 0 1265 1 0 0 20 0 1 0 8371446 56156160 12084 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 13710 12084 851 746 0 12774 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 54840 KiB
Current children cumulated memory: 48336 KiB
[startup+25.5002 s]
/proc/loadavg: 2.34 2.08 2.08 6/258 85900
/proc/meminfo: memFree=112146980/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=55720 memory=49140 CPUtime=25.42 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 8199 0 0 0 2541 1 0 0 20 0 1 0 8371446 57057280 12285 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 13930 12285 851 746 0 12994 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 55720 KiB
Current children cumulated memory: 49140 KiB
[startup+51.1056 s]
/proc/loadavg: 2.97 2.25 2.14 6/258 85949
/proc/meminfo: memFree=112117088/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=56428 memory=50480 CPUtime=50.96 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 8426 0 0 0 5095 1 0 0 20 0 1 0 8371446 57782272 12620 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 14107 12620 851 746 0 13171 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 56428 KiB
Current children cumulated memory: 50480 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 2.55 2.25 6/258 86370
/proc/meminfo: memFree=111498496/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=57004 memory=51240 CPUtime=102.01 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 9682 0 0 0 10200 1 0 0 20 0 1 0 8371446 58372096 12810 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 14251 12810 851 746 0 13315 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 57004 KiB
Current children cumulated memory: 51240 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.85 2.37 5/258 86427
/proc/meminfo: memFree=110620072/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=58156 memory=52268 CPUtime=161.83 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 11923 0 0 0 16181 2 0 0 20 0 1 0 8371446 59551744 13067 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 14539 13067 851 746 0 13603 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 58156 KiB
Current children cumulated memory: 52268 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.11 2.49 5/260 86441
/proc/meminfo: memFree=109861192/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=58380 memory=52492 CPUtime=221.64 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 13993 0 0 0 22162 2 0 0 20 0 1 0 8371446 59781120 13123 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 14595 13123 851 746 0 13659 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 58380 KiB
Current children cumulated memory: 52492 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.29 2.59 5/260 86452
/proc/meminfo: memFree=109304816/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=58636 memory=52748 CPUtime=281.45 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 16071 0 0 0 28143 2 0 0 20 0 1 0 8371446 60043264 13187 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 14659 13187 851 746 0 13723 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 58636 KiB
Current children cumulated memory: 52748 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.45 2.69 5/256 86463
/proc/meminfo: memFree=108691052/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=59084 memory=53196 CPUtime=341.25 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 18049 0 0 0 34123 2 0 0 20 0 1 0 8371446 60502016 13299 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 14771 13299 851 746 0 13835 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 59084 KiB
Current children cumulated memory: 53196 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.58 2.79 5/256 86474
/proc/meminfo: memFree=108377320/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=59436 memory=53548 CPUtime=401.06 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 19879 0 0 0 40103 3 0 0 20 0 1 0 8371446 60862464 13387 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 14859 13387 851 746 0 13923 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 59436 KiB
Current children cumulated memory: 53548 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.68 2.87 5/257 86485
/proc/meminfo: memFree=108082116/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=59484 memory=53596 CPUtime=460.87 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 21749 0 0 0 46084 3 0 0 20 0 1 0 8371446 60911616 13399 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 14871 13399 851 746 0 13935 0
Current children cumulated CPU time: 460.87 s
################
# More data... #
################
/proc/loadavg: 4.14 3.77 2.96 5/255 86496
/proc/meminfo: memFree=107781220/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=59676 memory=53788 CPUtime=520.67 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 23683 0 0 0 52064 3 0 0 20 0 1 0 8371446 61108224 13447 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 14919 13447 851 746 0 13983 0
Current children cumulated CPU time: 520.67 s
Current children cumulated vsize: 59676 KiB
Current children cumulated memory: 53788 KiB
[startup+582.3 s]
/proc/loadavg: 4.10 3.83 3.03 5/255 86507
/proc/meminfo: memFree=107069704/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=59932 memory=54044 CPUtime=580.49 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 25553 0 0 0 58045 4 0 0 20 0 1 0 8371446 61370368 13511 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 14983 13511 851 746 0 14047 0
Current children cumulated CPU time: 580.49 s
Current children cumulated vsize: 59932 KiB
Current children cumulated memory: 54044 KiB
[startup+642.3 s]
/proc/loadavg: 4.08 3.88 3.10 5/255 86517
/proc/meminfo: memFree=106678004/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=60220 memory=54332 CPUtime=640.3 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 27603 0 0 0 64026 4 0 0 20 0 1 0 8371446 61665280 13583 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15055 13583 851 746 0 14119 0
Current children cumulated CPU time: 640.3 s
Current children cumulated vsize: 60220 KiB
Current children cumulated memory: 54332 KiB
[startup+702.3 s]
/proc/loadavg: 4.15 3.93 3.17 5/255 86527
/proc/meminfo: memFree=106524964/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=60284 memory=54396 CPUtime=700.1 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 29465 0 0 0 70006 4 0 0 20 0 1 0 8371446 61730816 13599 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15071 13599 851 746 0 14135 0
Current children cumulated CPU time: 700.1 s
Current children cumulated vsize: 60284 KiB
Current children cumulated memory: 54396 KiB
[startup+762.3 s]
/proc/loadavg: 4.10 3.96 3.23 5/255 86539
/proc/meminfo: memFree=106521592/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=60700 memory=54812 CPUtime=759.92 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 31419 0 0 0 75987 5 0 0 20 0 1 0 8371446 62156800 13703 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15175 13703 851 746 0 14239 0
Current children cumulated CPU time: 759.92 s
Current children cumulated vsize: 60700 KiB
Current children cumulated memory: 54812 KiB
[startup+822.3 s]
/proc/loadavg: 4.22 4.02 3.30 5/258 86555
/proc/meminfo: memFree=106519452/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=61116 memory=55228 CPUtime=819.73 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 33381 0 0 0 81968 5 0 0 20 0 1 0 8371446 62582784 13807 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15279 13807 851 746 0 14343 0
Current children cumulated CPU time: 819.73 s
Current children cumulated vsize: 61116 KiB
Current children cumulated memory: 55228 KiB
[startup+882.3 s]
/proc/loadavg: 4.13 4.03 3.35 5/258 86566
/proc/meminfo: memFree=106512376/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=61116 memory=55228 CPUtime=879.54 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 35219 0 0 0 87948 6 0 0 20 0 1 0 8371446 62582784 13807 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15279 13807 851 746 0 14343 0
Current children cumulated CPU time: 879.54 s
Current children cumulated vsize: 61116 KiB
Current children cumulated memory: 55228 KiB
[startup+942.3 s]
/proc/loadavg: 4.16 4.05 3.40 5/258 86578
/proc/meminfo: memFree=106272044/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=61212 memory=55324 CPUtime=939.35 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 37177 0 0 0 93929 6 0 0 20 0 1 0 8371446 62681088 13831 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15303 13831 851 746 0 14367 0
Current children cumulated CPU time: 939.35 s
Current children cumulated vsize: 61212 KiB
Current children cumulated memory: 55324 KiB
[startup+961.844 s]
# the end of solver process 85880 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=958.776 s, system=0.066804 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.15 4.05 3.40 5/258 86580
/proc/meminfo: memFree=106271876/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=61212 memory=55324 CPUtime=944.23 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 37369 0 0 0 94417 6 0 0 20 0 1 0 8371446 62681088 13831 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15303 13831 851 746 0 14367 0
Current children cumulated CPU time: 944.23 s
Current children cumulated vsize: 61212 KiB
Current children cumulated memory: 55324 KiB
[startup+953.6 s]
/proc/loadavg: 4.13 4.05 3.41 5/258 86580
/proc/meminfo: memFree=106268344/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=61212 memory=55324 CPUtime=950.61 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 37561 0 0 0 95055 6 0 0 20 0 1 0 8371446 62681088 13831 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15303 13831 851 746 0 14367 0
Current children cumulated CPU time: 950.61 s
Current children cumulated vsize: 61212 KiB
Current children cumulated memory: 55324 KiB
[startup+956.8 s]
/proc/loadavg: 4.13 4.05 3.41 5/258 86582
/proc/meminfo: memFree=106268008/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=61212 memory=55324 CPUtime=953.8 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 37657 0 0 0 95374 6 0 0 20 0 1 0 8371446 62681088 13831 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15303 13831 851 746 0 14367 0
Current children cumulated CPU time: 953.8 s
Current children cumulated vsize: 61212 KiB
Current children cumulated memory: 55324 KiB
[startup+960 s]*
/proc/loadavg: 4.12 4.05 3.41 5/258 86582
/proc/meminfo: memFree=106267952/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=61244 memory=55356 CPUtime=957 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 37761 0 0 0 95694 6 0 0 20 0 1 0 8371446 62713856 13839 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15311 13839 851 746 0 14375 0
Current children cumulated CPU time: 957 s
Current children cumulated vsize: 61244 KiB
Current children cumulated memory: 55356 KiB
[startup+960.8 s]
/proc/loadavg: 4.12 4.05 3.41 5/258 86582
/proc/meminfo: memFree=106267952/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=61244 memory=55356 CPUtime=957.79 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 37761 0 0 0 95773 6 0 0 20 0 1 0 8371446 62713856 13839 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15311 13839 851 746 0 14375 0
Current children cumulated CPU time: 957.79 s
Current children cumulated vsize: 61244 KiB
Current children cumulated memory: 55356 KiB
[startup+961.6 s]
/proc/loadavg: 4.12 4.05 3.41 5/258 86582
/proc/meminfo: memFree=106267944/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=62312 memory=55880 CPUtime=958.59 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 37925 0 0 0 95853 6 0 0 20 0 1 0 8371446 63807488 13970 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15578 13970 851 746 0 14642 0
Current children cumulated CPU time: 958.59 s
Current children cumulated vsize: 62312 KiB
Current children cumulated memory: 55880 KiB
[startup+961.8 s]
/proc/loadavg: 4.12 4.05 3.41 5/258 86582
/proc/meminfo: memFree=106267944/131524600 swapFree=131071996/131071996
[pid=85880] ppid=85875 vsize=62312 memory=55880 CPUtime=958.79 cores=5,7
/proc/85880/stat : 85880 (Exact_nosoplex) R 85875 85880 85818 0 -1 4194304 37925 0 0 0 95873 6 0 0 20 0 1 0 8371446 63807488 13970 134679101440 4194304 7248369 140723341253888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 23179264 140723341259692 140723341259870 140723341259870 140723341266886 0
/proc/85880/statm: 15578 13970 851 746 0 14642 0
Current children cumulated CPU time: 958.79 s
Current children cumulated vsize: 62312 KiB
Current children cumulated memory: 55880 KiB
Child status: 30
Real time (s): 961.844
CPU time (s): 958.843
CPU user time (s): 958.776
CPU system time (s): 0.066804
CPU usage (%): 99.6879
Max. virtual memory (cumulated for all children) (KiB): 62312
Max. memory (cumulated for all children) (KiB): 55880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 958.776
system time used= 0.066804
maximum resident set size= 55880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 897
# summary of solver processes directly reported to runsolver:
# pid: 85880
# total CPU time (s): 958.843
# total CPU user time (s): 958.776
# total CPU system time (s): 0.066804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5581 second user time and 4.49054 second system time
The end
Begin job on nodeC033 at 2024-07-23 09:06:57 IDJOB=4456093 IDBENCH=143199 IDSOLVER=3039 FILE ID=nodeC033/4456093-1721718417 RUNJOBID= nodeC033-1721718417-85831 SLURM_JOB_ID= 7770410 Free space on /tmp= 890084 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456093-1721718417/watcher-4456093-1721718417 -o /tmp/evaluation-result-4456093-1721718417/solver-4456093-1721718417 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721718417-85831 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=338369132 HOME/instance-4456093-1721718417.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 216f6331a5059337c4eb768f690a17ee RANDOM SEED=338369132 nodeC033.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 : 3717.389 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3751.327 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 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 : 3616.148 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3607.537 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 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 : 3661.109 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3632.037 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 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 : 3615.249 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3880.220 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 112314296 kB MemAvailable: 129698624 kB Buffers: 134024 kB Cached: 18006960 kB SwapCached: 0 kB Active: 889184 kB Inactive: 17624980 kB Active(anon): 1416 kB Inactive(anon): 409524 kB Active(file): 887768 kB Inactive(file): 17215456 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 12188 kB Writeback: 8 kB AnonPages: 371360 kB Mapped: 99880 kB Shmem: 37720 kB KReclaimable: 241856 kB Slab: 344440 kB SReclaimable: 241856 kB SUnreclaim: 102584 kB KernelStack: 3776 kB PageTables: 9128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 672468 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 305876 kB DirectMap2M: 23584768 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890060 MiB End job on nodeC033 at 2024-07-23 09:22:59