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 | 454.382 | 455.51 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo |
| MD5SUM | 65d50eee5968fd8142e7f90f77179a12 |
| 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 | 20.0357 |
| 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 | 134314 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 134313 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 683 |
| 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 4915 0.00/0.04 o 4661 0.00/0.04 o 4598 0.00/0.04 o 4500 0.00/0.05 o 4461 0.00/0.05 o 4448 0.00/0.05 o 4436 0.00/0.05 o 4405 0.00/0.05 o 4362 0.00/0.05 o 4272 0.00/0.05 o 4187 0.00/0.05 o 4095 0.00/0.06 o 4075 0.00/0.06 o 4060 0.00/0.06 o 4017 0.00/0.06 o 4014 0.00/0.09 o 3946 0.09/0.11 o 3943 0.09/0.11 o 3931 0.09/0.11 o 3930 0.09/0.11 o 3927 0.09/0.11 o 3926 0.09/0.12 o 3921 0.09/0.12 o 3917 0.09/0.12 o 3886 0.09/0.12 o 3882 1.49/1.54 o 3766 1.49/1.54 o 3729 1.49/1.55 o 3682 1.49/1.55 o 3611 1.49/1.56 o 3566 1.49/1.58 o 3509 1.49/1.58 o 3502 1.49/1.58 o 3433 1.49/1.58 o 3407 1.59/1.68 o 3395 1.88/1.93 o 3317 2.09/2.11 o 3280 2.18/2.27 o 3211 2.28/2.32 o 3117 2.48/2.51 o 3057 2.48/2.51 o 3046 2.48/2.51 o 3020 2.68/2.70 o 2943 2.68/2.71 o 2934 2.68/2.72 o 2926 2.68/2.77 o 2923 3.08/3.19 o 2828 3.37/3.44 o 2824 3.37/3.44 o 2820 3.37/3.44 o 2814 3.37/3.45 o 2809 3.37/3.45 o 2805 3.37/3.45 o 2802 3.98/4.00 o 2799 3.98/4.01 o 2794 3.98/4.02 o 2783 3.98/4.03 o 2774 3.98/4.03 o 2747 3.98/4.03 o 2739 3.98/4.04 o 2736 4.47/4.50 o 2720 4.47/4.50 o 2699 4.88/4.98 o 2566 5.08/5.19 o 2561 5.08/5.19 o 2555 5.08/5.19 o 2550 5.08/5.19 o 2481 5.18/5.20 o 2469 6.08/6.13 o 2450 6.08/6.14 o 2426 6.57/6.69 o 2370 6.57/6.69 o 2360 6.57/6.69 o 2348 6.67/6.70 o 2333 7.07/7.11 o 2111 7.27/7.39 o 2109 7.37/7.41 o 2101 7.37/7.41 o 2090 7.37/7.41 o 2081 7.37/7.41 o 2078 7.37/7.42 o 2073 7.37/7.42 o 2059 7.37/7.42 o 2055 7.37/7.42 o 2010 7.37/7.47 o 2008 7.37/7.47 o 2000 7.37/7.47 o 1994 7.37/7.47 o 1990 7.37/7.49 o 1980 7.37/7.49 o 1977 7.37/7.49 o 1972 7.37/7.49 o 1958 7.37/7.49 o 1954 7.47/7.50 o 1951 7.47/7.50 o 1943 7.47/7.50 o 1919 7.47/7.52 o 1913 7.47/7.53 o 1909 7.47/7.53 o 1855 7.47/7.53 o 1820 7.47/7.53 o 1775 7.47/7.55 o 1665 7.47/7.57 o 1663 7.47/7.57 o 1662 7.47/7.57 o 1655 7.47/7.58 o 1641 7.47/7.58 o 1591 7.47/7.58 o 1567 7.47/7.58 o 1439 7.47/7.59 o 1406 7.57/7.60 o 1367 7.57/7.62 o 1366 7.57/7.62 o 1331 7.57/7.62 o 1322 7.57/7.62 o 1314 7.57/7.62 o 1290 7.57/7.63 o 1288 7.57/7.63 o 1281 7.57/7.65 o 1262 7.57/7.65 o 1254 7.57/7.65 o 1240 7.57/7.65 o 1198 7.57/7.67 o 1181 7.57/7.67 o 1165 7.57/7.67 o 1163 7.57/7.68 o 1158 7.57/7.68 o 1121 7.76/7.83 o 1108 7.76/7.84 o 1089 7.76/7.84 o 1088 7.76/7.84 o 1022 7.76/7.84 o 1000 7.76/7.84 o 996 7.76/7.85 o 990 7.76/7.85 o 951 7.97/8.05 o 950 7.97/8.09 o 933 8.07/8.11 o 926 8.07/8.16 o 924 8.07/8.16 o 913 8.07/8.17 o 856 8.07/8.17 o 845 8.07/8.17 o 830 8.07/8.17 o 827 8.07/8.18 o 800 8.16/8.23 o 774 8.16/8.24 o 773 8.26/8.33 o 771 8.26/8.33 o 769 8.26/8.33 o 758 8.26/8.36 o 740 8.36/8.44 o 738 8.36/8.45 o 735 8.76/8.80 o 718 8.76/8.88 o 675 8.96/9.01 o 642 9.06/9.18 o 630 9.37/9.42 o 626 9.37/9.43 o 625 9.37/9.43 o 622 9.37/9.43 o 617 9.37/9.44 o 602 10.76/10.82 o 590 10.76/10.83 o 588 10.76/10.87 o 587 10.86/10.96 o 576 10.86/10.96 o 574 11.15/11.22 o 568 11.15/11.23 o 567 11.45/11.56 o 557 11.45/11.57 o 545 11.45/11.59 o 524 11.45/11.59 o 511 11.55/11.60 o 503 11.65/11.70 o 488 11.65/11.71 o 480 11.65/11.72 o 478 11.65/11.72 o 456 11.65/11.73 o 436 11.65/11.74 o 434 11.85/11.97 o 428 11.85/11.98 o 405 11.96/12.02 o 397 12.15/12.23 o 363 13.36/13.41 o 342 13.46/13.57 o 334 13.46/13.58 o 324 13.46/13.59 o 315 13.56/13.61 o 240 13.56/13.62 o 238 13.56/13.62 o 228 13.56/13.66 o 219 13.56/13.67 o 184 13.65/13.72 o 171 13.65/13.73 o 163 13.65/13.73 o 158 13.65/13.74 o 150 13.65/13.74 o 138 13.65/13.74 o 81 13.65/13.76 o 73 13.65/13.77 o 71 13.65/13.78 o 62 13.75/13.83 o 57 13.75/13.84 o 50 13.75/13.88 o 48 13.75/13.88 o 40 13.75/13.89 o 35 13.85/13.95 o 29 13.85/13.95 o 21 13.85/13.95 o 15 13.85/13.96 o 12 13.85/13.96 o 6 13.85/13.97 o 3 13.85/13.97 o 2 14.65/14.77 o 1 454.37/455.50 s OPTIMUM FOUND 454.37/455.50 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 (63062 MiB free)
memory of node 1: 64473 MiB (63225 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425606-1720878846/watcher-4425606-1720878846 -o /tmp/evaluation-result-4425606-1720878846/solver-4425606-1720878846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1720878646-712233 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=807301286 HOME/instance-4425606-1720878846.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
Current StackSize limit: 8192 KiB
solver pid=713481, runsolver pid=713478
[startup+0.100366 s]*
/proc/loadavg: 4.05 2.81 2.77 5/258 713482
/proc/meminfo: memFree=129308468/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=33244 memory=13364 CPUtime=0.09 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 2296 0 0 0 9 0 0 0 20 0 1 0 140055185 34041856 3341 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 8311 3341 835 746 0 7375 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33244 KiB
Current children cumulated memory: 13364 KiB
[startup+0.205962 s]*
/proc/loadavg: 4.05 2.81 2.77 5/258 713482
/proc/meminfo: memFree=129304656/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=34828 memory=17052 CPUtime=0.2 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 2679 0 0 0 20 0 0 0 20 0 1 0 140055185 35663872 4263 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 8707 4263 851 746 0 7771 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34828 KiB
Current children cumulated memory: 17052 KiB
[startup+0.305727 s]*
/proc/loadavg: 4.05 2.81 2.77 5/258 713482
/proc/meminfo: memFree=129303536/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=35752 memory=18108 CPUtime=0.29 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 2930 0 0 0 29 0 0 0 20 0 1 0 140055185 36610048 4527 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 8938 4527 851 746 0 8002 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 35752 KiB
Current children cumulated memory: 18108 KiB
[startup+0.700175 s]
/proc/loadavg: 4.05 2.81 2.77 5/258 713482
/proc/meminfo: memFree=129300088/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=38688 memory=23056 CPUtime=0.68 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 3649 0 0 0 68 0 0 0 20 0 1 0 140055185 39616512 5764 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 9672 5764 851 746 0 8736 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38688 KiB
Current children cumulated memory: 23056 KiB
[startup+1.50022 s]
/proc/loadavg: 4.05 2.81 2.77 5/258 713482
/proc/meminfo: memFree=129295016/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=40984 memory=27212 CPUtime=1.49 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 4214 0 0 0 148 1 0 0 20 0 1 0 140055185 41967616 6803 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 10246 6803 851 746 0 9310 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 27212 KiB
[startup+3.10602 s]
/proc/loadavg: 4.05 2.81 2.77 5/258 713484
/proc/meminfo: memFree=129278500/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=49280 memory=43020 CPUtime=3.08 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 6082 0 0 0 307 1 0 0 20 0 1 0 140055185 50462720 10755 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 12320 10755 851 746 0 11384 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49280 KiB
Current children cumulated memory: 43020 KiB
[startup+6.30021 s]
/proc/loadavg: 4.05 2.83 2.77 5/258 713484
/proc/meminfo: memFree=129251176/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=77572 memory=69880 CPUtime=6.27 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 10006 0 0 0 624 3 0 0 20 0 1 0 140055185 79433728 17470 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 19393 17470 851 746 0 18457 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 77572 KiB
Current children cumulated memory: 69880 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 2.85 2.78 5/261 713490
/proc/meminfo: memFree=129210832/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=132784 memory=116584 CPUtime=12.66 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 16972 0 0 0 1260 6 0 0 20 0 1 0 140055185 135970816 29146 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 33196 29146 851 746 0 32260 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 132784 KiB
Current children cumulated memory: 116584 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 2.92 2.81 5/261 713492
/proc/meminfo: memFree=129202652/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=133904 memory=117572 CPUtime=25.43 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 17272 0 0 0 2537 6 0 0 20 0 1 0 140055185 137117696 29393 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 33476 29393 851 746 0 32540 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 133904 KiB
Current children cumulated memory: 117572 KiB
[startup+51.1059 s]
/proc/loadavg: 4.07 3.01 2.84 5/261 713495
/proc/meminfo: memFree=129200444/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=134980 memory=118872 CPUtime=50.97 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 17583 0 0 0 5091 6 0 0 20 0 1 0 140055185 138219520 29718 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 33745 29718 851 746 0 32809 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 134980 KiB
Current children cumulated memory: 118872 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.18 2.91 5/259 713890
/proc/meminfo: memFree=129296564/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=136740 memory=120432 CPUtime=102.04 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 17963 0 0 0 10198 6 0 0 20 0 1 0 140055185 140021760 30108 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34185 30108 851 746 0 33249 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 136740 KiB
Current children cumulated memory: 120432 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.36 2.99 5/259 714084
/proc/meminfo: memFree=129349188/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=137748 memory=121200 CPUtime=161.89 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18202 0 0 0 16183 6 0 0 20 0 1 0 140055185 141053952 30300 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34437 30300 851 746 0 33501 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 137748 KiB
Current children cumulated memory: 121200 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 3.51 3.07 4/256 714416
/proc/meminfo: memFree=129096592/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=138052 memory=121704 CPUtime=221.74 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18305 0 0 0 22168 6 0 0 20 0 1 0 140055185 141365248 30426 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34513 30426 851 746 0 33577 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 138052 KiB
Current children cumulated memory: 121704 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 3.63 3.14 5/260 714641
/proc/meminfo: memFree=128358992/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=138356 memory=124576 CPUtime=281.59 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18399 0 0 0 28153 6 0 0 20 0 1 0 140055185 141676544 31144 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34589 31144 851 746 0 33653 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 138356 KiB
Current children cumulated memory: 124576 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.72 3.20 5/257 714651
/proc/meminfo: memFree=127606512/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=138676 memory=131448 CPUtime=341.44 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18513 0 0 0 34138 6 0 0 20 0 1 0 140055185 142004224 32862 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34669 32862 851 746 0 33733 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 138676 KiB
Current children cumulated memory: 131448 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.79 3.26 5/258 714667
/proc/meminfo: memFree=126818104/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=139284 memory=131824 CPUtime=401.29 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18661 0 0 0 40123 6 0 0 20 0 1 0 140055185 142626816 32956 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34821 32956 851 746 0 33885 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 139284 KiB
Current children cumulated memory: 131824 KiB
[startup+455.51 s]
# the end of solver process 713481 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=454.319 s, system=0.063835 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.15 3.81 3.27 5/259 714680
/proc/meminfo: memFree=126814852/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=139284 memory=131824 CPUtime=408.58 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18661 0 0 0 40852 6 0 0 20 0 1 0 140055185 142626816 32956 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34821 32956 851 746 0 33885 0
Current children cumulated CPU time: 408.58 s
Current children cumulated vsize: 139284 KiB
Current children cumulated memory: 131824 KiB
[startup+435.2 s]
/proc/loadavg: 4.10 3.83 3.29 5/259 714684
/proc/meminfo: memFree=126601748/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=139284 memory=131824 CPUtime=434.11 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18661 0 0 0 43405 6 0 0 20 0 1 0 140055185 142626816 32956 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34821 32956 851 746 0 33885 0
Current children cumulated CPU time: 434.11 s
Current children cumulated vsize: 139284 KiB
Current children cumulated memory: 131824 KiB
[startup+448 s]*
/proc/loadavg: 4.08 3.83 3.30 5/259 714686
/proc/meminfo: memFree=126601072/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=139284 memory=132056 CPUtime=446.89 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18692 0 0 0 44683 6 0 0 20 0 1 0 140055185 142626816 33014 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34821 33014 851 746 0 33885 0
Current children cumulated CPU time: 446.89 s
Current children cumulated vsize: 139284 KiB
Current children cumulated memory: 132056 KiB
[startup+451.2 s]
/proc/loadavg: 4.15 3.85 3.31 5/259 714686
/proc/meminfo: memFree=126600960/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=139284 memory=132056 CPUtime=450.08 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18692 0 0 0 45002 6 0 0 20 0 1 0 140055185 142626816 33014 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34821 33014 851 746 0 33885 0
Current children cumulated CPU time: 450.08 s
Current children cumulated vsize: 139284 KiB
Current children cumulated memory: 132056 KiB
[startup+452.8 s]
/proc/loadavg: 4.15 3.85 3.31 5/259 714687
/proc/meminfo: memFree=126600904/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=139284 memory=132056 CPUtime=451.67 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18692 0 0 0 45161 6 0 0 20 0 1 0 140055185 142626816 33014 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34821 33014 851 746 0 33885 0
Current children cumulated CPU time: 451.67 s
Current children cumulated vsize: 139284 KiB
Current children cumulated memory: 132056 KiB
[startup+454.4 s]
/proc/loadavg: 4.14 3.86 3.31 5/259 714687
/proc/meminfo: memFree=126600892/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=139284 memory=132056 CPUtime=453.27 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18692 0 0 0 45321 6 0 0 20 0 1 0 140055185 142626816 33014 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34821 33014 851 746 0 33885 0
Current children cumulated CPU time: 453.27 s
Current children cumulated vsize: 139284 KiB
Current children cumulated memory: 132056 KiB
[startup+455.2 s]
/proc/loadavg: 4.14 3.86 3.31 5/259 714687
/proc/meminfo: memFree=126600864/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=139284 memory=132056 CPUtime=454.07 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18692 0 0 0 45401 6 0 0 20 0 1 0 140055185 142626816 33014 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34821 33014 851 746 0 33885 0
Current children cumulated CPU time: 454.07 s
Current children cumulated vsize: 139284 KiB
Current children cumulated memory: 132056 KiB
[startup+455.4 s]
/proc/loadavg: 4.14 3.86 3.31 5/259 714687
/proc/meminfo: memFree=126600864/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=139284 memory=132056 CPUtime=454.27 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18692 0 0 0 45421 6 0 0 20 0 1 0 140055185 142626816 33014 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34821 33014 851 746 0 33885 0
Current children cumulated CPU time: 454.27 s
Current children cumulated vsize: 139284 KiB
Current children cumulated memory: 132056 KiB
[startup+455.5 s]
/proc/loadavg: 4.14 3.86 3.31 5/259 714687
/proc/meminfo: memFree=126600864/131524596 swapFree=131071996/131071996
[pid=713481] ppid=713478 vsize=139284 memory=132056 CPUtime=454.37 cores=1,3
/proc/713481/stat : 713481 (Exact_nosoplex) R 713478 713481 709247 0 -1 4194304 18692 0 0 0 45431 6 0 0 20 0 1 0 140055185 142626816 33014 134679101440 4194304 7248369 140728604329936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 26570752 140728604337043 140728604337221 140728604337221 140728604344262 0
/proc/713481/statm: 34821 33014 851 746 0 33885 0
Current children cumulated CPU time: 454.37 s
Current children cumulated vsize: 139284 KiB
Current children cumulated memory: 132056 KiB
Child status: 30
Real time (s): 455.51
CPU time (s): 454.382
CPU user time (s): 454.319
CPU system time (s): 0.063835
CPU usage (%): 99.7525
Max. virtual memory (cumulated for all children) (KiB): 139284
Max. memory (cumulated for all children) (KiB): 132056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 454.319
system time used= 0.063835
maximum resident set size= 132056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18709
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= 21
involuntary context switches= 377
# summary of solver processes directly reported to runsolver:
# pid: 713481
# total CPU time (s): 454.382
# total CPU user time (s): 454.319
# total CPU system time (s): 0.063835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.770108 second user time and 2.14877 second system time
The end
Begin job on nodeC034 at 2024-07-13 15:54:19 IDJOB=4425606 IDBENCH=143212 IDSOLVER=3039 FILE ID=nodeC034/4425606-1720878846 RUNJOBID= nodeC034-1720878646-712233 SLURM_JOB_ID= 7483775 Free space on /tmp= 890068 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300--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-4425606-1720878846/watcher-4425606-1720878846 -o /tmp/evaluation-result-4425606-1720878846/solver-4425606-1720878846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1720878646-712233 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=807301286 HOME/instance-4425606-1720878846.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 65d50eee5968fd8142e7f90f77179a12 RANDOM SEED=807301286 nodeC034.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 : 3657.960 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 : 3661.921 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.58 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.399 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 : 3652.884 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.58 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 : 3658.040 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 : 3663.564 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.58 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.167 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 : 3600.720 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.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524596 kB MemFree: 129319160 kB MemAvailable: 129569360 kB Buffers: 319384 kB Cached: 774104 kB SwapCached: 0 kB Active: 480564 kB Inactive: 1160984 kB Active(anon): 1524 kB Inactive(anon): 583924 kB Active(file): 479040 kB Inactive(file): 577060 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4816 kB Writeback: 0 kB AnonPages: 547752 kB Mapped: 111560 kB Shmem: 37720 kB KReclaimable: 67844 kB Slab: 165840 kB SReclaimable: 67844 kB SUnreclaim: 97996 kB KernelStack: 4192 kB PageTables: 10356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 862268 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 55840 kB HardwareCorrupted: 0 kB AnonHugePages: 399360 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: 172756 kB DirectMap2M: 9037824 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890064 MiB End job on nodeC034 at 2024-07-13 16:01:55