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 | 1449.14 | 1453.01 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo |
| MD5SUM | 100b8721f67ac4f330c7a6443b255629 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard 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 | 28.5424 |
| 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 | 1816 |
| 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 | 92461 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 92460 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 661 |
| 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.03 o 2186 0.00/0.03 o 2152 0.00/0.03 o 2146 0.00/0.04 o 2063 0.00/0.04 o 2049 0.00/0.04 o 2035 0.00/0.04 o 2031 0.00/0.04 o 2018 0.00/0.04 o 1937 0.00/0.04 o 1933 0.00/0.04 o 1884 0.00/0.04 o 1871 0.00/0.04 o 1869 0.00/0.04 o 1861 0.00/0.04 o 1859 0.00/0.05 o 1854 0.00/0.05 o 1809 0.00/0.05 o 1807 0.00/0.05 o 1799 0.00/0.05 o 1783 0.00/0.05 o 1782 0.00/0.05 o 1771 0.00/0.05 o 1702 0.00/0.06 o 1698 0.00/0.06 o 1664 0.00/0.06 o 1650 0.00/0.06 o 1642 0.00/0.06 o 1635 0.00/0.06 o 1618 0.00/0.06 o 1597 0.00/0.06 o 1585 0.00/0.07 o 1517 0.00/0.07 o 1447 0.00/0.07 o 1417 0.00/0.07 o 1395 0.00/0.07 o 1391 0.00/0.07 o 1330 0.00/0.07 o 1329 0.00/0.07 o 1317 0.00/0.07 o 1301 0.00/0.08 o 1281 0.00/0.08 o 1203 0.00/0.08 o 1173 0.00/0.08 o 1172 0.00/0.08 o 1106 0.00/0.08 o 1095 0.00/0.08 o 1086 0.00/0.08 o 1084 0.00/0.08 o 1082 0.00/0.09 o 1081 0.00/0.09 o 1075 0.00/0.09 o 1073 0.00/0.09 o 1033 0.00/0.09 o 1031 0.00/0.09 o 1025 0.00/0.10 o 983 0.10/0.10 o 968 0.10/0.10 o 950 0.10/0.11 o 938 0.10/0.11 o 936 0.10/0.11 o 904 0.10/0.11 o 891 0.10/0.11 o 889 0.10/0.11 o 857 0.10/0.12 o 832 0.10/0.12 o 830 0.10/0.12 o 810 0.10/0.12 o 788 0.10/0.12 o 786 0.10/0.12 o 780 0.10/0.12 o 767 0.10/0.12 o 694 0.10/0.12 o 692 0.10/0.13 o 689 0.10/0.13 o 680 0.10/0.13 o 674 0.10/0.13 o 600 0.10/0.13 o 583 0.10/0.13 o 554 0.10/0.13 o 549 0.10/0.13 o 545 0.10/0.14 o 544 0.10/0.14 o 524 0.10/0.16 o 452 0.10/0.16 o 444 0.10/0.16 o 439 0.10/0.16 o 411 0.10/0.16 o 410 0.10/0.16 o 408 0.10/0.17 o 406 0.10/0.17 o 401 0.10/0.17 o 355 0.10/0.17 o 353 0.10/0.17 o 348 0.10/0.18 o 335 0.10/0.18 o 333 0.10/0.18 o 322 0.10/0.18 o 321 0.20/0.21 o 310 0.20/0.21 o 290 0.20/0.21 o 287 0.20/0.22 o 284 0.20/0.24 o 223 0.20/0.26 o 214 0.20/0.28 o 127 0.68/0.76 o 111 0.68/0.76 o 105 0.68/0.76 o 93 0.68/0.76 o 90 0.68/0.76 o 71 0.68/0.77 o 69 0.68/0.79 o 68 0.99/1.07 o 65 0.99/1.07 o 52 0.99/1.07 o 45 0.99/1.08 o 41 0.99/1.08 o 35 0.99/1.08 o 33 0.99/1.10 o 27 0.99/1.10 o 20 1.09/1.14 o 18 1.09/1.16 o 17 1.09/1.18 o 15 1.18/1.21 o 13 1.18/1.29 o 5 1.38/1.43 o 1 1449.02/1453.00 s OPTIMUM FOUND 1449.02/1453.00 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 (61687 MiB free)
memory of node 1: 64473 MiB (63689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425389-1720881317/watcher-4425389-1720881317 -o /tmp/evaluation-result-4425389-1720881317/solver-4425389-1720881317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1720881294-711886 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1732070833 HOME/instance-4425389-1720881317.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=713056, runsolver pid=713053
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 2.40 1.42 1.27 5/255 713057
/proc/meminfo: memFree=128373992/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=32560 memory=14572 CPUtime=0.1 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 2434 0 0 0 10 0 0 0 20 0 1 0 140297904 33341440 3643 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 8140 3643 851 746 0 7204 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32560 KiB
Current children cumulated memory: 14572 KiB
[startup+0.205487 s]*
/proc/loadavg: 2.40 1.42 1.27 5/255 713057
/proc/meminfo: memFree=128369256/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=35076 memory=17212 CPUtime=0.2 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 3064 0 0 0 20 0 0 0 20 0 1 0 140297904 35917824 4303 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 8802 4303 851 746 0 7866 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35076 KiB
Current children cumulated memory: 17212 KiB
[startup+0.305134 s]*
/proc/loadavg: 2.40 1.42 1.27 5/255 713057
/proc/meminfo: memFree=128366676/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=35868 memory=19784 CPUtime=0.3 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 3236 0 0 0 30 0 0 0 20 0 1 0 140297904 36728832 4946 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 8967 4946 851 746 0 8031 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35868 KiB
Current children cumulated memory: 19784 KiB
[startup+0.700167 s]
/proc/loadavg: 2.40 1.42 1.27 5/255 713057
/proc/meminfo: memFree=128360536/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=38708 memory=24732 CPUtime=0.68 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 3959 0 0 0 68 0 0 0 20 0 1 0 140297904 39636992 6183 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 9677 6183 851 746 0 8741 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38708 KiB
Current children cumulated memory: 24732 KiB
[startup+1.50015 s]
/proc/loadavg: 2.40 1.42 1.27 5/255 713057
/proc/meminfo: memFree=128345816/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=41388 memory=29708 CPUtime=1.48 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 4681 0 0 0 148 0 0 0 20 0 1 0 140297904 42381312 7427 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 10347 7427 851 746 0 9411 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41388 KiB
Current children cumulated memory: 29708 KiB
[startup+3.10548 s]
/proc/loadavg: 2.53 1.46 1.28 5/255 713057
/proc/meminfo: memFree=128221556/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=42004 memory=30300 CPUtime=3.08 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 4896 0 0 0 308 0 0 0 20 0 1 0 140297904 43012096 7575 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 10501 7575 851 746 0 9565 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42004 KiB
Current children cumulated memory: 30300 KiB
[startup+6.30015 s]
/proc/loadavg: 2.53 1.46 1.28 5/255 713057
/proc/meminfo: memFree=127956408/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=42780 memory=31024 CPUtime=6.27 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 5161 0 0 0 627 0 0 0 20 0 1 0 140297904 43806720 7756 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 10695 7756 851 746 0 9759 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42780 KiB
Current children cumulated memory: 31024 KiB
[startup+12.7001 s]
/proc/loadavg: 2.75 1.55 1.31 5/255 713059
/proc/meminfo: memFree=127758996/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=43568 memory=31760 CPUtime=12.65 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 5469 0 0 0 1265 0 0 0 20 0 1 0 140297904 44613632 7940 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 10892 7940 851 746 0 9956 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 31760 KiB
[startup+25.5002 s]
/proc/loadavg: 2.95 1.63 1.34 5/255 713060
/proc/meminfo: memFree=127580608/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=44252 memory=32424 CPUtime=25.43 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 5847 0 0 0 2542 1 0 0 20 0 1 0 140297904 45314048 8106 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 11063 8106 851 746 0 10127 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 44252 KiB
Current children cumulated memory: 32424 KiB
[startup+51.1054 s]
/proc/loadavg: 3.36 1.84 1.42 5/255 713065
/proc/meminfo: memFree=126361452/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=44620 memory=32788 CPUtime=50.97 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 6296 0 0 0 5096 1 0 0 20 0 1 0 140297904 45690880 8197 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 11155 8197 851 746 0 10219 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 44620 KiB
Current children cumulated memory: 32788 KiB
[startup+102.3 s]
/proc/loadavg: 3.79 2.22 1.58 5/255 713211
/proc/meminfo: memFree=124255968/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=45444 memory=33640 CPUtime=102.03 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 7963 0 0 0 10202 1 0 0 20 0 1 0 140297904 46534656 8410 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 11361 8410 851 746 0 10425 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 45444 KiB
Current children cumulated memory: 33640 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.57 1.74 5/255 713268
/proc/meminfo: memFree=122557824/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=46380 memory=34496 CPUtime=161.87 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 10236 0 0 0 16186 1 0 0 20 0 1 0 140297904 47493120 8624 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 11595 8624 851 746 0 10659 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 46380 KiB
Current children cumulated memory: 34496 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.85 1.89 5/255 713278
/proc/meminfo: memFree=121493372/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=46636 memory=34756 CPUtime=221.71 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 12354 0 0 0 22169 2 0 0 20 0 1 0 140297904 47755264 8689 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 11659 8689 851 746 0 10723 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 46636 KiB
Current children cumulated memory: 34756 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.09 2.04 5/256 713292
/proc/meminfo: memFree=118258740/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=46860 memory=34980 CPUtime=281.55 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 14303 0 0 0 28153 2 0 0 20 0 1 0 140297904 47984640 8745 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 11715 8745 851 746 0 10779 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 46860 KiB
Current children cumulated memory: 34980 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.28 2.17 5/256 713303
/proc/meminfo: memFree=114622528/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=47468 memory=35608 CPUtime=341.39 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 16423 0 0 0 34136 3 0 0 20 0 1 0 140297904 48607232 8902 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 11867 8902 851 746 0 10931 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 47468 KiB
Current children cumulated memory: 35608 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.43 2.29 5/256 713314
/proc/meminfo: memFree=116118932/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=47660 memory=35800 CPUtime=401.23 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 18306 0 0 0 40120 3 0 0 20 0 1 0 140297904 48803840 8950 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 11915 8950 851 746 0 10979 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 47660 KiB
Current children cumulated memory: 35800 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.58 2.42 5/256 713325
/proc/meminfo: memFree=115131088/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=47820 memory=35960 CPUtime=461.06 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 20149 0 0 0 46103 3 0 0 20 0 1 0 140297904 48967680 8990 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 11955 8990 851 746 0 11019 0
Current children cumulated CPU time: 461.06 s
################
# More data... #
################
Current children cumulated memory: 37448 KiB
[startup+1002.3 s]
/proc/loadavg: 4.08 4.02 3.18 5/255 713423
/proc/meminfo: memFree=108671040/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=49388 memory=37480 CPUtime=999.62 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 35683 0 0 0 99955 7 0 0 20 0 1 0 140297904 50573312 9370 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12347 9370 851 746 0 11411 0
Current children cumulated CPU time: 999.62 s
Current children cumulated vsize: 49388 KiB
Current children cumulated memory: 37480 KiB
[startup+1062.3 s]
/proc/loadavg: 4.14 4.04 3.24 5/255 713435
/proc/meminfo: memFree=108670036/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=49452 memory=37544 CPUtime=1059.46 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 37334 0 0 0 105939 7 0 0 20 0 1 0 140297904 50638848 9386 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12363 9386 851 746 0 11427 0
Current children cumulated CPU time: 1059.46 s
Current children cumulated vsize: 49452 KiB
Current children cumulated memory: 37544 KiB
[startup+1122.3 s]
/proc/loadavg: 4.11 4.05 3.30 5/255 713446
/proc/meminfo: memFree=108666480/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=49484 memory=37580 CPUtime=1119.31 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 38882 0 0 0 111923 8 0 0 20 0 1 0 140297904 50671616 9395 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12371 9395 851 746 0 11435 0
Current children cumulated CPU time: 1119.31 s
Current children cumulated vsize: 49484 KiB
Current children cumulated memory: 37580 KiB
[startup+1182.3 s]
/proc/loadavg: 4.12 4.05 3.35 5/256 713839
/proc/meminfo: memFree=108660004/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=49484 memory=37584 CPUtime=1179.15 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 40518 0 0 0 117907 8 0 0 20 0 1 0 140297904 50671616 9396 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12371 9396 851 746 0 11435 0
Current children cumulated CPU time: 1179.15 s
Current children cumulated vsize: 49484 KiB
Current children cumulated memory: 37584 KiB
[startup+1242.3 s]
/proc/loadavg: 4.10 4.06 3.40 5/255 713849
/proc/meminfo: memFree=108655700/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=49644 memory=37744 CPUtime=1238.98 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 42193 0 0 0 123890 8 0 0 20 0 1 0 140297904 50835456 9436 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12411 9436 851 746 0 11475 0
Current children cumulated CPU time: 1238.98 s
Current children cumulated vsize: 49644 KiB
Current children cumulated memory: 37744 KiB
[startup+1302.3 s]
/proc/loadavg: 4.08 4.06 3.45 5/255 713859
/proc/meminfo: memFree=108649528/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=49708 memory=37808 CPUtime=1298.83 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 43844 0 0 0 129874 9 0 0 20 0 1 0 140297904 50900992 9452 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12427 9452 851 746 0 11491 0
Current children cumulated CPU time: 1298.83 s
Current children cumulated vsize: 49708 KiB
Current children cumulated memory: 37808 KiB
[startup+1362.3 s]
/proc/loadavg: 4.07 4.06 3.49 5/257 714041
/proc/meminfo: memFree=108642020/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=49772 memory=37872 CPUtime=1358.66 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 45399 0 0 0 135857 9 0 0 20 0 1 0 140297904 50966528 9468 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12443 9468 851 746 0 11507 0
Current children cumulated CPU time: 1358.66 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 37872 KiB
[startup+1422.3 s]
/proc/loadavg: 4.08 4.06 3.53 5/257 714052
/proc/meminfo: memFree=108588720/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=49804 memory=37904 CPUtime=1418.5 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 47042 0 0 0 141841 9 0 0 20 0 1 0 140297904 50999296 9476 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12451 9476 851 746 0 11515 0
Current children cumulated CPU time: 1418.5 s
Current children cumulated vsize: 49804 KiB
Current children cumulated memory: 37904 KiB
[startup+1453.01 s]
# the end of solver process 713056 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1449.04 s, system=0.100767 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1433.6 s]
/proc/loadavg: 4.06 4.06 3.53 5/257 714054
/proc/meminfo: memFree=108571072/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=49836 memory=37936 CPUtime=1429.77 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 47338 0 0 0 142968 9 0 0 20 0 1 0 140297904 51032064 9484 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12459 9484 851 746 0 11523 0
Current children cumulated CPU time: 1429.77 s
Current children cumulated vsize: 49836 KiB
Current children cumulated memory: 37936 KiB
[startup+1446.4 s]
/proc/loadavg: 4.13 4.07 3.55 5/257 714056
/proc/meminfo: memFree=108569964/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=50540 memory=38472 CPUtime=1442.54 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 47838 0 0 0 144245 9 0 0 20 0 1 0 140297904 51752960 9618 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12635 9618 851 746 0 11699 0
Current children cumulated CPU time: 1442.54 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 38472 KiB
[startup+1449.6 s]
/proc/loadavg: 4.12 4.07 3.55 5/257 714057
/proc/meminfo: memFree=108569840/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=50540 memory=38472 CPUtime=1445.73 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 47925 0 0 0 144564 9 0 0 20 0 1 0 140297904 51752960 9618 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12635 9618 851 746 0 11699 0
Current children cumulated CPU time: 1445.73 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 38472 KiB
[startup+1451.2 s]
/proc/loadavg: 4.12 4.07 3.55 5/257 714057
/proc/meminfo: memFree=108569780/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=50540 memory=38472 CPUtime=1447.32 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 47925 0 0 0 144723 9 0 0 20 0 1 0 140297904 51752960 9618 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12635 9618 851 746 0 11699 0
Current children cumulated CPU time: 1447.32 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 38472 KiB
[startup+1452 s]*
/proc/loadavg: 4.19 4.09 3.56 5/257 714057
/proc/meminfo: memFree=108569764/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=50540 memory=38472 CPUtime=1448.13 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 48012 0 0 0 144804 9 0 0 20 0 1 0 140297904 51752960 9618 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12635 9618 851 746 0 11699 0
Current children cumulated CPU time: 1448.13 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 38472 KiB
[startup+1452.8 s]
/proc/loadavg: 4.19 4.09 3.56 5/257 714057
/proc/meminfo: memFree=108569764/131524600 swapFree=131071996/131071996
[pid=713056] ppid=713053 vsize=50540 memory=38472 CPUtime=1448.92 cores=1,3
/proc/713056/stat : 713056 (Exact_nosoplex) R 713053 713056 707233 0 -1 4194304 48012 0 0 0 144883 9 0 0 20 0 1 0 140297904 51752960 9618 134679101440 4194304 7248369 140729802295872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 23244800 140729802302354 140729802302533 140729802302533 140729802309574 0
/proc/713056/statm: 12635 9618 851 746 0 11699 0
Current children cumulated CPU time: 1448.92 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 38472 KiB
[startup+1453 s]*
/proc/loadavg: 4.19 4.09 3.56 5/257 714057
/proc/meminfo: memFree=108569584/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 30
Real time (s): 1453.01
CPU time (s): 1449.14
CPU user time (s): 1449.04
CPU system time (s): 0.100767
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 50540
Max. memory (cumulated for all children) (KiB): 38472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1449.04
system time used= 0.100767
maximum resident set size= 38788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48013
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= 2
involuntary context switches= 1286
# summary of solver processes directly reported to runsolver:
# pid: 713056
# total CPU time (s): 1449.14
# total CPU user time (s): 1449.04
# total CPU system time (s): 0.100767
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.33494 second user time and 6.88915 second system time
The end
Begin job on nodeC026 at 2024-07-13 16:35:30 IDJOB=4425389 IDBENCH=143587 IDSOLVER=3039 FILE ID=nodeC026/4425389-1720881317 RUNJOBID= nodeC026-1720881294-711886 SLURM_JOB_ID= 7483767 Free space on /tmp= 890056 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940--soft-33-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-4425389-1720881317/watcher-4425389-1720881317 -o /tmp/evaluation-result-4425389-1720881317/solver-4425389-1720881317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1720881294-711886 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1732070833 HOME/instance-4425389-1720881317.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 100b8721f67ac4f330c7a6443b255629 RANDOM SEED=1732070833 nodeC026.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 : 3666.157 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.74 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 : 3650.062 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.45 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.079 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.74 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 : 3652.790 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.45 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 : 3666.160 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.74 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 : 3669.466 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.45 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.207 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.74 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 : 3604.869 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.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128385648 kB MemAvailable: 128326812 kB Buffers: 320540 kB Cached: 468392 kB SwapCached: 0 kB Active: 491244 kB Inactive: 2090440 kB Active(anon): 1572 kB Inactive(anon): 1828932 kB Active(file): 489672 kB Inactive(file): 261508 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4772 kB Writeback: 0 kB AnonPages: 1791796 kB Mapped: 111844 kB Shmem: 37720 kB KReclaimable: 59616 kB Slab: 156980 kB SReclaimable: 59616 kB SUnreclaim: 97364 kB KernelStack: 4108 kB PageTables: 12884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2254024 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 55040 kB HardwareCorrupted: 0 kB AnonHugePages: 907264 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: 180948 kB DirectMap2M: 9029632 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890052 MiB End job on nodeC026 at 2024-07-13 16:59:43