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 | 65.9743 | 66.1412 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo |
| MD5SUM | bba5b9128642b2db23fc07428dc31bb7 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 21.8974 |
| 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 | 136614 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136613 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| 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 3141 0.00/0.04 o 3056 0.00/0.04 o 3016 0.00/0.04 o 2927 0.00/0.05 o 2835 0.00/0.05 o 2802 0.00/0.05 o 2736 0.00/0.05 o 2726 0.00/0.05 o 2587 0.00/0.05 o 2550 0.00/0.05 o 2507 0.00/0.06 o 2478 0.00/0.06 o 2464 0.00/0.06 o 2441 0.00/0.06 o 2424 0.00/0.06 o 2389 0.00/0.08 o 2366 0.00/0.09 o 2362 0.00/0.10 o 2343 0.09/0.13 o 2329 0.09/0.15 o 2302 0.09/0.15 o 2300 0.09/0.16 o 2295 0.09/0.16 o 2290 0.09/0.18 o 2279 0.09/0.18 o 2277 0.09/0.19 o 2214 0.20/0.21 o 2213 0.20/0.22 o 2210 0.20/0.22 o 2197 0.20/0.24 o 2174 0.20/0.27 o 2173 0.30/0.32 o 2145 0.30/0.32 o 2110 0.30/0.32 o 2076 0.30/0.32 o 2052 0.30/0.32 o 2021 0.30/0.33 o 2012 0.30/0.33 o 2002 0.30/0.33 o 1994 0.30/0.33 o 1992 0.30/0.33 o 1975 0.30/0.33 o 1881 0.30/0.34 o 1843 0.30/0.34 o 1833 0.30/0.34 o 1826 0.30/0.34 o 1809 0.30/0.34 o 1786 0.30/0.35 o 1689 0.30/0.35 o 1649 0.30/0.37 o 1645 0.30/0.37 o 1637 0.30/0.38 o 1612 0.30/0.39 o 1608 0.30/0.39 o 1602 0.30/0.39 o 1578 0.30/0.39 o 1569 0.30/0.39 o 1546 0.40/0.41 o 1542 0.40/0.41 o 1533 0.40/0.41 o 1510 0.40/0.41 o 1458 0.40/0.42 o 1421 0.40/0.42 o 1345 0.40/0.42 o 1337 0.40/0.43 o 1320 0.40/0.43 o 1284 0.40/0.43 o 1282 0.40/0.43 o 1265 0.40/0.43 o 1172 0.40/0.44 o 1170 0.40/0.44 o 1109 0.40/0.45 o 970 0.40/0.45 o 928 0.40/0.45 o 906 0.40/0.46 o 893 0.40/0.47 o 889 0.40/0.48 o 888 0.40/0.48 o 878 0.40/0.49 o 851 0.40/0.49 o 816 0.40/0.50 o 791 0.50/0.51 o 789 0.99/1.06 o 778 1.09/1.10 o 772 1.09/1.10 o 766 1.09/1.11 o 765 1.09/1.11 o 718 1.09/1.13 o 713 1.09/1.14 o 710 1.09/1.16 o 703 1.09/1.17 o 698 1.09/1.18 o 697 1.09/1.19 o 693 1.18/1.22 o 676 1.18/1.24 o 672 1.18/1.27 o 668 1.18/1.27 o 653 1.18/1.29 o 629 1.38/1.45 o 614 1.38/1.45 o 579 1.38/1.46 o 557 1.38/1.46 o 541 1.38/1.46 o 525 1.38/1.46 o 469 1.38/1.47 o 466 1.38/1.47 o 460 1.38/1.47 o 456 1.38/1.48 o 454 1.48/1.51 o 442 1.48/1.52 o 431 1.48/1.52 o 417 1.48/1.52 o 401 1.48/1.52 o 398 1.48/1.53 o 387 1.69/1.71 o 378 2.09/2.14 o 358 2.09/2.15 o 351 2.09/2.15 o 337 2.09/2.15 o 239 2.09/2.15 o 146 2.09/2.15 o 137 2.09/2.15 o 125 2.09/2.16 o 84 2.09/2.16 o 67 2.38/2.45 o 62 2.48/2.50 o 52 2.48/2.50 o 47 2.48/2.50 o 46 2.48/2.55 o 43 2.58/2.67 o 42 2.58/2.67 o 41 2.58/2.67 o 35 2.58/2.69 o 25 2.58/2.69 o 20 2.78/2.84 o 16 3.48/3.55 o 10 3.48/3.55 o 9 3.48/3.56 o 6 5.98/6.00 o 5 20.34/20.42 o 4 21.94/22.06 o 3 65.92/66.13 s OPTIMUM FOUND 65.92/66.13 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 3
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 (50292 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-4456083-1721718372/watcher-4456083-1721718372 -o /tmp/evaluation-result-4456083-1721718372/solver-4456083-1721718372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721718370-86442 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=825427788 HOME/instance-4456083-1721718372.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=87012, runsolver pid=87009
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.40 1.87 2.01 5/258 87013
/proc/meminfo: memFree=104059940/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=33364 memory=14216 CPUtime=0.09 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 2460 0 0 0 9 0 0 0 20 0 1 0 8361121 34164736 3554 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 8341 3554 851 746 0 7405 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33364 KiB
Current children cumulated memory: 14216 KiB
[startup+0.204826 s]*
/proc/loadavg: 1.40 1.87 2.01 5/258 87013
/proc/meminfo: memFree=104046024/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=34692 memory=15536 CPUtime=0.2 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 2792 0 0 0 20 0 0 0 20 0 1 0 8361121 35524608 3884 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 8673 3884 851 746 0 7737 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34692 KiB
Current children cumulated memory: 15536 KiB
[startup+0.304755 s]*
/proc/loadavg: 1.40 1.87 2.01 5/258 87013
/proc/meminfo: memFree=104036476/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=35748 memory=18372 CPUtime=0.3 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 3028 0 0 0 30 0 0 0 20 0 1 0 8361121 36605952 4593 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 8937 4593 851 746 0 8001 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35748 KiB
Current children cumulated memory: 18372 KiB
[startup+0.700171 s]
/proc/loadavg: 1.40 1.87 2.01 5/258 87013
/proc/meminfo: memFree=104017224/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=41444 memory=28268 CPUtime=0.69 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 4474 0 0 0 69 0 0 0 20 0 1 0 8361121 42438656 7067 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 10361 7067 851 746 0 9425 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41444 KiB
Current children cumulated memory: 28268 KiB
[startup+1.50018 s]
/proc/loadavg: 1.61 1.90 2.02 5/258 87013
/proc/meminfo: memFree=103986516/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=49424 memory=41792 CPUtime=1.48 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 6334 0 0 0 148 0 0 0 20 0 1 0 8361121 50610176 10448 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 12356 10448 851 746 0 11420 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49424 KiB
Current children cumulated memory: 41792 KiB
[startup+3.10532 s]
/proc/loadavg: 1.61 1.90 2.02 5/258 87013
/proc/meminfo: memFree=103915844/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=54916 memory=48588 CPUtime=3.09 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 7526 0 0 0 308 1 0 0 20 0 1 0 8361121 56233984 12147 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 13729 12147 851 746 0 12793 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 54916 KiB
Current children cumulated memory: 48588 KiB
[startup+6.30014 s]
/proc/loadavg: 1.80 1.94 2.03 5/258 87013
/proc/meminfo: memFree=103857472/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=56696 memory=50504 CPUtime=6.27 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 8020 0 0 0 626 1 0 0 20 0 1 0 8361121 58056704 12626 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 14174 12626 851 746 0 13238 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 56696 KiB
Current children cumulated memory: 50504 KiB
[startup+12.7001 s]
/proc/loadavg: 1.98 1.97 2.04 5/258 87014
/proc/meminfo: memFree=103751656/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=57752 memory=51396 CPUtime=12.66 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 8326 0 0 0 1265 1 0 0 20 0 1 0 8361121 59138048 12849 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 14438 12849 851 746 0 13502 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 57752 KiB
Current children cumulated memory: 51396 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=87012] ppid=87009 vsize=59328 memory=52980 CPUtime=25.42 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 8787 0 0 0 2541 1 0 0 20 0 1 0 8361121 60751872 13245 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 14832 13245 851 746 0 13896 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 59328 KiB
Current children cumulated memory: 52980 KiB
[startup+51.1052 s]
/proc/loadavg: 3.34 2.31 2.15 5/257 87020
/proc/meminfo: memFree=103438680/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=60036 memory=53868 CPUtime=50.96 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 9992 0 0 0 5095 1 0 0 20 0 1 0 8361121 61476864 13467 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 15009 13467 851 746 0 14073 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 60036 KiB
Current children cumulated memory: 53868 KiB
[startup+66.1412 s]
# the end of solver process 87012 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=65.9524 s, system=0.021947 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 3.34 2.31 2.15 5/257 87020
/proc/meminfo: memFree=103438680/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=60036 memory=53868 CPUtime=51.06 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 9992 0 0 0 5105 1 0 0 20 0 1 0 8361121 61476864 13467 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 15009 13467 851 746 0 14073 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 60036 KiB
Current children cumulated memory: 53868 KiB
[startup+57.6001 s]
/proc/loadavg: 3.39 2.34 2.16 5/257 87020
/proc/meminfo: memFree=103403804/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=60132 memory=53964 CPUtime=57.44 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 10214 0 0 0 5743 1 0 0 20 0 1 0 8361121 61575168 13491 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 15033 13491 851 746 0 14097 0
Current children cumulated CPU time: 57.44 s
Current children cumulated vsize: 60132 KiB
Current children cumulated memory: 53964 KiB
[startup+60.8001 s]
/proc/loadavg: 3.39 2.34 2.16 6/258 87023
/proc/meminfo: memFree=103385104/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=60292 memory=54116 CPUtime=60.63 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 10446 0 0 0 6062 1 0 0 20 0 1 0 8361121 61739008 13529 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 15073 13529 851 746 0 14137 0
Current children cumulated CPU time: 60.63 s
Current children cumulated vsize: 60292 KiB
Current children cumulated memory: 54116 KiB
[startup+64.0001 s]*
/proc/loadavg: 3.44 2.37 2.17 5/257 87023
/proc/meminfo: memFree=103353668/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=60356 memory=54184 CPUtime=63.83 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 10558 0 0 0 6382 1 0 0 20 0 1 0 8361121 61804544 13546 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 15089 13546 851 746 0 14153 0
Current children cumulated CPU time: 63.83 s
Current children cumulated vsize: 60356 KiB
Current children cumulated memory: 54184 KiB
[startup+64.8001 s]
/proc/loadavg: 3.44 2.37 2.17 5/257 87023
/proc/meminfo: memFree=103353668/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=60496 memory=54184 CPUtime=64.62 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 10562 0 0 0 6461 1 0 0 20 0 1 0 8361121 61947904 13546 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 15124 13546 851 746 0 14188 0
Current children cumulated CPU time: 64.62 s
Current children cumulated vsize: 60496 KiB
Current children cumulated memory: 54184 KiB
[startup+65.6001 s]
/proc/loadavg: 3.44 2.37 2.17 5/257 87023
/proc/meminfo: memFree=103339792/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=60496 memory=54328 CPUtime=65.42 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 10690 0 0 0 6541 1 0 0 20 0 1 0 8361121 61947904 13582 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 15124 13582 851 746 0 14188 0
Current children cumulated CPU time: 65.42 s
Current children cumulated vsize: 60496 KiB
Current children cumulated memory: 54328 KiB
[startup+66.0001 s]*
/proc/loadavg: 3.49 2.39 2.18 5/257 87023
/proc/meminfo: memFree=103336876/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=60496 memory=54328 CPUtime=65.82 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 10690 0 0 0 6581 1 0 0 20 0 1 0 8361121 61947904 13582 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 15124 13582 851 746 0 14188 0
Current children cumulated CPU time: 65.82 s
Current children cumulated vsize: 60496 KiB
Current children cumulated memory: 54328 KiB
[startup+66.1056 s]
/proc/loadavg: 3.49 2.39 2.18 5/257 87023
/proc/meminfo: memFree=103336876/131524600 swapFree=131071996/131071996
[pid=87012] ppid=87009 vsize=60496 memory=54328 CPUtime=65.92 cores=5,7
/proc/87012/stat : 87012 (Exact_nosoplex) R 87009 87012 86429 0 -1 4194304 10690 0 0 0 6591 1 0 0 20 0 1 0 8361121 61947904 13582 134679101440 4194304 7248369 140735319830992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 41431040 140735319839660 140735319839838 140735319839838 140735319846854 0
/proc/87012/statm: 15124 13582 851 746 0 14188 0
Current children cumulated CPU time: 65.92 s
Current children cumulated vsize: 60496 KiB
Current children cumulated memory: 54328 KiB
Child status: 30
Real time (s): 66.1412
CPU time (s): 65.9743
CPU user time (s): 65.9524
CPU system time (s): 0.021947
CPU usage (%): 99.7477
Max. virtual memory (cumulated for all children) (KiB): 60496
Max. memory (cumulated for all children) (KiB): 54328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.9524
system time used= 0.021947
maximum resident set size= 54708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10692
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= 87
# summary of solver processes directly reported to runsolver:
# pid: 87012
# total CPU time (s): 65.9743
# total CPU user time (s): 65.9524
# total CPU system time (s): 0.021947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14012 second user time and 0.282921 second system time
The end
Begin job on nodeC030 at 2024-07-23 09:06:12 IDJOB=4456083 IDBENCH=143189 IDSOLVER=3039 FILE ID=nodeC030/4456083-1721718372 RUNJOBID= nodeC030-1721718370-86442 SLURM_JOB_ID= 7770398 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.1900553812--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-4456083-1721718372/watcher-4456083-1721718372 -o /tmp/evaluation-result-4456083-1721718372/solver-4456083-1721718372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721718370-86442 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=825427788 HOME/instance-4456083-1721718372.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bba5b9128642b2db23fc07428dc31bb7 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 : 3654.112 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 : 3663.508 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 : 3600.849 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 : 3599.970 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 : 3659.893 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 : 3663.412 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 : 3605.976 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 : 3665.219 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: 104091336 kB MemAvailable: 129507444 kB Buffers: 136536 kB Cached: 26009028 kB SwapCached: 0 kB Active: 921760 kB Inactive: 25753664 kB Active(anon): 1544 kB Inactive(anon): 566028 kB Active(file): 920216 kB Inactive(file): 25187636 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19828 kB Writeback: 0 kB AnonPages: 525732 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:07:18