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 | 135.915 | 136.361 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo |
| MD5SUM | 3a80f9a705c5ec8a5a9c03ad559eff2a |
| 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 | 13.5539 |
| 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 | 136368 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136367 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 801 |
| 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 3018 0.00/0.04 o 2920 0.00/0.04 o 2824 0.00/0.04 o 2812 0.00/0.05 o 2695 0.00/0.05 o 2677 0.00/0.05 o 2676 0.00/0.05 o 2647 0.00/0.05 o 2627 0.00/0.06 o 2620 0.00/0.06 o 2600 0.00/0.06 o 2554 0.00/0.08 o 2553 0.00/0.08 o 2551 0.00/0.08 o 2549 0.00/0.08 o 2529 0.09/0.10 o 2454 0.09/0.13 o 2415 0.09/0.13 o 2414 0.09/0.13 o 2410 0.09/0.13 o 2400 0.09/0.13 o 2354 0.09/0.14 o 2352 0.09/0.14 o 2347 0.09/0.14 o 2289 0.09/0.15 o 2281 0.09/0.15 o 2264 0.09/0.15 o 2254 0.09/0.15 o 2250 0.09/0.16 o 2248 0.09/0.16 o 2232 0.09/0.16 o 2227 0.09/0.16 o 2181 0.09/0.17 o 2170 0.09/0.17 o 2160 0.09/0.17 o 2114 0.09/0.17 o 2112 0.09/0.19 o 2062 0.09/0.20 o 2061 0.09/0.20 o 2051 0.09/0.20 o 2049 0.20/0.21 o 1980 0.20/0.21 o 1968 0.20/0.21 o 1946 0.20/0.21 o 1944 0.20/0.21 o 1898 0.20/0.22 o 1843 0.20/0.22 o 1834 0.20/0.22 o 1825 0.20/0.22 o 1822 0.20/0.23 o 1796 0.20/0.23 o 1790 0.20/0.23 o 1732 0.20/0.23 o 1707 0.20/0.24 o 1700 0.20/0.25 o 1694 0.20/0.25 o 1693 0.20/0.25 o 1668 0.20/0.26 o 1655 0.20/0.26 o 1654 0.20/0.26 o 1623 0.20/0.26 o 1622 0.20/0.26 o 1609 0.20/0.26 o 1605 0.20/0.27 o 1592 0.20/0.28 o 1577 0.20/0.28 o 1568 0.20/0.28 o 1543 0.20/0.28 o 1529 0.20/0.28 o 1525 0.20/0.28 o 1467 0.20/0.30 o 1431 0.30/0.31 o 1388 0.30/0.34 o 1384 0.30/0.35 o 1359 0.30/0.35 o 1323 0.30/0.38 o 1289 0.30/0.39 o 1279 0.30/0.39 o 1266 0.30/0.39 o 1241 0.30/0.41 o 1205 0.40/0.41 o 1177 0.40/0.41 o 1152 0.40/0.42 o 1058 0.40/0.43 o 1012 0.40/0.43 o 1010 0.40/0.44 o 956 0.40/0.44 o 912 0.40/0.44 o 866 0.40/0.44 o 859 0.40/0.45 o 856 0.40/0.45 o 852 0.40/0.45 o 819 0.40/0.45 o 809 0.40/0.46 o 785 0.40/0.50 o 783 0.40/0.50 o 770 0.40/0.50 o 767 0.50/0.51 o 762 0.50/0.51 o 759 0.50/0.51 o 734 0.50/0.51 o 730 0.50/0.51 o 725 0.50/0.52 o 713 0.50/0.52 o 688 0.50/0.52 o 685 0.50/0.53 o 674 0.50/0.54 o 665 0.50/0.54 o 664 0.50/0.54 o 663 0.50/0.54 o 661 0.50/0.55 o 660 0.50/0.55 o 647 0.50/0.55 o 641 0.68/0.74 o 638 0.68/0.76 o 636 0.68/0.77 o 629 0.68/0.77 o 616 0.68/0.78 o 615 0.68/0.78 o 564 0.68/0.79 o 522 0.68/0.79 o 515 0.68/0.79 o 498 0.68/0.79 o 491 0.68/0.79 o 487 0.68/0.79 o 486 0.68/0.79 o 484 0.68/0.79 o 478 0.79/0.80 o 474 0.79/0.83 o 473 0.79/0.84 o 441 0.79/0.84 o 416 0.79/0.84 o 366 0.79/0.84 o 314 0.79/0.85 o 300 0.79/0.85 o 291 0.79/0.85 o 286 0.79/0.87 o 268 0.79/0.87 o 267 0.79/0.87 o 266 0.79/0.87 o 262 0.79/0.87 o 260 0.79/0.87 o 232 0.79/0.87 o 230 0.79/0.88 o 172 0.89/0.94 o 138 0.89/0.94 o 134 0.89/0.94 o 37 0.89/0.94 o 30 0.89/0.95 o 23 0.89/0.96 o 12 0.99/1.01 o 10 1.19/1.27 o 5 2.09/2.13 o 4 2.19/2.23 o 3 3.88/3.95 o 1 135.84/136.35 s OPTIMUM FOUND 135.84/136.35 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 (50299 MiB free)
memory of node 1: 64473 MiB (51351 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456073-1721718372/watcher-4456073-1721718372 -o /tmp/evaluation-result-4456073-1721718372/solver-4456073-1721718372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721718370-86440 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=825427788 HOME/instance-4456073-1721718372.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=87005, runsolver pid=86999
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 1.40 1.87 2.01 5/258 87013
/proc/meminfo: memFree=104060612/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=33276 memory=14416 CPUtime=0.09 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 2530 0 0 0 9 0 0 0 20 0 1 0 8361119 34074624 3604 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 8319 3604 835 746 0 7383 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33276 KiB
Current children cumulated memory: 14416 KiB
[startup+0.205489 s]*
/proc/loadavg: 1.40 1.87 2.01 5/258 87013
/proc/meminfo: memFree=104049424/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=35524 memory=16588 CPUtime=0.2 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 3078 0 0 0 20 0 0 0 20 0 1 0 8361119 36376576 4147 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 8881 4147 851 746 0 7945 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35524 KiB
Current children cumulated memory: 16588 KiB
[startup+0.305753 s]*
/proc/loadavg: 1.40 1.87 2.01 5/258 87013
/proc/meminfo: memFree=104036812/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=37636 memory=20744 CPUtime=0.3 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 3624 0 0 0 30 0 0 0 20 0 1 0 8361119 38539264 5186 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 9409 5186 851 746 0 8473 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37636 KiB
Current children cumulated memory: 20744 KiB
[startup+0.700229 s]
/proc/loadavg: 1.40 1.87 2.01 5/258 87013
/proc/meminfo: memFree=104018932/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=41884 memory=29320 CPUtime=0.68 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 4695 0 0 0 68 0 0 0 20 0 1 0 8361119 42889216 7330 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 10471 7330 851 746 0 9535 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 29320 KiB
[startup+1.50022 s]
/proc/loadavg: 1.61 1.90 2.02 5/258 87013
/proc/meminfo: memFree=103986852/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=47124 memory=38424 CPUtime=1.49 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 6000 0 0 0 148 1 0 0 20 0 1 0 8361119 48254976 9606 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 11781 9606 851 746 0 10845 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47124 KiB
Current children cumulated memory: 38424 KiB
[startup+3.10556 s]
/proc/loadavg: 1.61 1.90 2.02 5/258 87013
/proc/meminfo: memFree=103915828/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=48384 memory=39736 CPUtime=3.09 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 6286 0 0 0 308 1 0 0 20 0 1 0 8361119 49545216 9934 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 12096 9934 851 746 0 11160 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48384 KiB
Current children cumulated memory: 39736 KiB
[startup+6.30021 s]
/proc/loadavg: 1.80 1.94 2.03 5/258 87013
/proc/meminfo: memFree=103857472/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=49456 memory=40540 CPUtime=6.27 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 6564 0 0 0 626 1 0 0 20 0 1 0 8361119 50642944 10135 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 12364 10135 851 746 0 11428 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49456 KiB
Current children cumulated memory: 40540 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 1.97 2.04 5/258 87014
/proc/meminfo: memFree=103751648/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=50024 memory=41328 CPUtime=12.65 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 6750 0 0 0 1264 1 0 0 20 0 1 0 8361119 51224576 10332 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 12506 10332 851 746 0 11570 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50024 KiB
Current children cumulated memory: 41328 KiB
[startup+25.5002 s]
/proc/loadavg: 2.29 2.04 2.06 5/257 87016
/proc/meminfo: memFree=103604680/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=51176 memory=42364 CPUtime=25.41 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 7030 0 0 0 2540 1 0 0 20 0 1 0 8361119 52404224 10591 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 12794 10591 851 746 0 11858 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 51176 KiB
Current children cumulated memory: 42364 KiB
[startup+51.1054 s]
/proc/loadavg: 3.34 2.31 2.15 5/257 87020
/proc/meminfo: memFree=103440360/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=51512 memory=42604 CPUtime=50.93 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 7129 0 0 0 5092 1 0 0 20 0 1 0 8361119 52748288 10651 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 12878 10651 851 746 0 11942 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 51512 KiB
Current children cumulated memory: 42604 KiB
[startup+102.3 s]
/proc/loadavg: 3.77 2.59 2.26 5/257 87075
/proc/meminfo: memFree=103054736/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=52428 memory=43816 CPUtime=101.96 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 8148 0 0 0 10195 1 0 0 20 0 1 0 8361119 53686272 10954 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 13107 10954 851 746 0 12171 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 52428 KiB
Current children cumulated memory: 43816 KiB
[startup+136.361 s]
# the end of solver process 87005 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=135.895 s, system=0.019938 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.77 2.59 2.26 5/257 87075
/proc/meminfo: memFree=103054736/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=52428 memory=43816 CPUtime=102.06 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 8148 0 0 0 10205 1 0 0 20 0 1 0 8361119 53686272 10954 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 13107 10954 851 746 0 12171 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 52428 KiB
Current children cumulated memory: 43816 KiB
[startup+115.2 s]
/proc/loadavg: 3.80 2.63 2.28 6/258 87077
/proc/meminfo: memFree=102968264/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=52700 memory=44088 CPUtime=114.81 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 8616 0 0 0 11480 1 0 0 20 0 1 0 8361119 53964800 11022 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 13175 11022 851 746 0 12239 0
Current children cumulated CPU time: 114.81 s
Current children cumulated vsize: 52700 KiB
Current children cumulated memory: 44088 KiB
[startup+128 s]*
/proc/loadavg: 3.85 2.70 2.30 5/259 87083
/proc/meminfo: memFree=102969748/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=52892 memory=44272 CPUtime=127.58 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 9155 0 0 0 12757 1 0 0 20 0 1 0 8361119 54161408 11068 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 13223 11068 851 746 0 12287 0
Current children cumulated CPU time: 127.58 s
Current children cumulated vsize: 52892 KiB
Current children cumulated memory: 44272 KiB
[startup+131.2 s]
/proc/loadavg: 3.86 2.72 2.31 5/259 87084
/proc/meminfo: memFree=102968252/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=53288 memory=44336 CPUtime=130.76 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 9317 0 0 0 13075 1 0 0 20 0 1 0 8361119 54566912 11084 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 13322 11084 851 746 0 12386 0
Current children cumulated CPU time: 130.76 s
Current children cumulated vsize: 53288 KiB
Current children cumulated memory: 44336 KiB
[startup+134.4 s]
/proc/loadavg: 3.86 2.72 2.31 5/259 87084
/proc/meminfo: memFree=102953952/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=53116 memory=44496 CPUtime=133.95 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 9401 0 0 0 13394 1 0 0 20 0 1 0 8361119 54390784 11124 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 13279 11124 851 746 0 12343 0
Current children cumulated CPU time: 133.95 s
Current children cumulated vsize: 53116 KiB
Current children cumulated memory: 44496 KiB
[startup+135.2 s]
/proc/loadavg: 3.86 2.72 2.31 5/259 87084
/proc/meminfo: memFree=102948824/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=53116 memory=44496 CPUtime=134.75 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 9401 0 0 0 13474 1 0 0 20 0 1 0 8361119 54390784 11124 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 13279 11124 851 746 0 12343 0
Current children cumulated CPU time: 134.75 s
Current children cumulated vsize: 53116 KiB
Current children cumulated memory: 44496 KiB
[startup+136 s]*
/proc/loadavg: 3.87 2.75 2.32 5/259 87084
/proc/meminfo: memFree=102942172/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=53148 memory=44528 CPUtime=135.55 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 9504 0 0 0 13554 1 0 0 20 0 1 0 8361119 54423552 11132 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 13287 11132 851 746 0 12351 0
Current children cumulated CPU time: 135.55 s
Current children cumulated vsize: 53148 KiB
Current children cumulated memory: 44528 KiB
[startup+136.2 s]
/proc/loadavg: 3.87 2.75 2.32 5/259 87084
/proc/meminfo: memFree=102942172/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=53148 memory=44528 CPUtime=135.74 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 9504 0 0 0 13573 1 0 0 20 0 1 0 8361119 54423552 11132 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 13287 11132 851 746 0 12351 0
Current children cumulated CPU time: 135.74 s
Current children cumulated vsize: 53148 KiB
Current children cumulated memory: 44528 KiB
[startup+136.3 s]
/proc/loadavg: 3.87 2.75 2.32 5/259 87084
/proc/meminfo: memFree=102942172/131524600 swapFree=131071996/131071996
[pid=87005] ppid=86999 vsize=53148 memory=44528 CPUtime=135.84 cores=4,6
/proc/87005/stat : 87005 (Exact_nosoplex) R 86999 87005 86429 0 -1 4194304 9504 0 0 0 13583 1 0 0 20 0 1 0 8361119 54423552 11132 134679101440 4194304 7248369 140734951977936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 21213184 140734951986092 140734951986270 140734951986270 140734951993286 0
/proc/87005/statm: 13287 11132 851 746 0 12351 0
Current children cumulated CPU time: 135.84 s
Current children cumulated vsize: 53148 KiB
Current children cumulated memory: 44528 KiB
Child status: 30
Real time (s): 136.361
CPU time (s): 135.915
CPU user time (s): 135.895
CPU system time (s): 0.019938
CPU usage (%): 99.6727
Max. virtual memory (cumulated for all children) (KiB): 53400
Max. memory (cumulated for all children) (KiB): 44644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 135.895
system time used= 0.019938
maximum resident set size= 44860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9506
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= 1
involuntary context switches= 197
# summary of solver processes directly reported to runsolver:
# pid: 87005
# total CPU time (s): 135.915
# total CPU user time (s): 135.895
# total CPU system time (s): 0.019938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.281823 second user time and 0.636932 second system time
The end
Begin job on nodeC030 at 2024-07-23 09:06:12 IDJOB=4456073 IDBENCH=143181 IDSOLVER=3039 FILE ID=nodeC030/4456073-1721718372 RUNJOBID= nodeC030-1721718370-86440 SLURM_JOB_ID= 7770398 Free space on /tmp= 890072 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566157--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-4456073-1721718372/watcher-4456073-1721718372 -o /tmp/evaluation-result-4456073-1721718372/solver-4456073-1721718372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721718370-86440 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=825427788 HOME/instance-4456073-1721718372.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3a80f9a705c5ec8a5a9c03ad559eff2a RANDOM SEED=825427788 nodeC030.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 : 3641.796 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.45 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 : 3668.402 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.46 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 : 3599.982 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.45 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 : 3640.052 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.46 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 : 3631.412 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.45 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 : 3648.527 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.46 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 : 3646.602 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.45 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 : 3632.037 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 104095872 kB MemAvailable: 129507444 kB Buffers: 136536 kB Cached: 26004168 kB SwapCached: 0 kB Active: 921760 kB Inactive: 25748892 kB Active(anon): 1544 kB Inactive(anon): 565792 kB Active(file): 920216 kB Inactive(file): 25183100 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 15292 kB Writeback: 0 kB AnonPages: 525524 kB Mapped: 106752 kB Shmem: 37720 kB KReclaimable: 296156 kB Slab: 403772 kB SReclaimable: 296156 kB SUnreclaim: 107616 kB KernelStack: 4036 kB PageTables: 9968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 855732 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19424 kB HardwareCorrupted: 0 kB AnonHugePages: 282624 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: 277204 kB DirectMap2M: 25710592 kB DirectMap1G: 110100480 kB Free space on /tmp at the end= 890060 MiB End job on nodeC030 at 2024-07-23 09:08:28