Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS-GM 1.03a1 | OPTIMUM | 29.2624 | 29.3422 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo |
| MD5SUM | 128eb31e74e9d5316274ee97a7821bb0 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 20.8141 |
| 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 | 136180 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136179 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 779 |
| 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.00 c NaPS 1.03a1. 0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it. 0.00/0.00 c Input file name: HOME/instance-4461290-1722076583.wbo 0.00/0.00 c Initial goal by soft: 136179 0.00/0.04 c single stage optimization mode 0.00/0.04 o 1988 4.47/4.55 o 1017 4.77/4.80 o 555 7.08/7.16 o 327 9.46/9.51 o 190 12.75/12.87 o 77 15.44/15.56 o 22 18.63/18.71 o 11 22.72/22.80 o 6 26.41/26.52 o 5 29.02/29.18 s OPTIMUM FOUND 29.02/29.18 c _____________________________________________________________________________ 29.02/29.18 c std/band forms : 38,0 29.02/29.18 c 2cl/3cl ITE-codings : 952,0 29.02/29.18 c BDD/srt/adr Max costs : 3163155,944969,0 29.02/29.18 c BDDraw/bin/mul/srt/adr: 5,0,0,33,0 29.02/29.18 c BDD nodes : 1387 29.02/29.18 c Es1/CC detections : 0,0 29.02/29.18 c CC sort : 22 29.02/29.18 c SAT/UNSAT calls : 10,2 29.02/29.18 c regenrated variables : 252302 29.02/29.18 c eliminated fixed lits : 9287 29.02/29.18 c goal lit flips : 0 29.02/29.18 c goal stages : 1 29.02/29.18 c goal shrink : 0 29.02/29.18 c goal coeff separations: 0 29.02/29.18 c restarts : 1007 29.02/29.18 c conflicts : 311896 (10940 /sec) 29.02/29.18 c decisions : 5606178 (196632 /sec) 29.02/29.18 c propagations : 201992572 (7084730 /sec) 29.02/29.18 c inspects : 0 (0 /sec) 29.02/29.18 c CPU time (solving tm) : 28.51 s (24.57 s, SAT 18.6 s, UNSAT 5.975 s) 29.02/29.18 c Time for Opt-base : 0.05764 s 29.02/29.18 c Steps for Opt-base : 297770 29.02/29.18 c Time for BDD coding : 0.004813 s 29.02/29.18 c Time for srt coding : 1.375 s 29.02/29.18 c _____________________________________________________________________________ 29.02/29.18 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 29.02/29.18 v
OK 5
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: 64096 MiB (57319 MiB free)
memory of node 1: 64473 MiB (61553 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461290-1722076583/watcher-4461290-1722076583 -o /tmp/evaluation-result-4461290-1722076583/solver-4461290-1722076583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722076468-327059 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461290-1722076583.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=327548, runsolver pid=327545
[startup+0.100102 s]*
/proc/loadavg: 3.74 2.84 3.02 5/250 327553
/proc/meminfo: memFree=121720996/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=8368 memory=6316 CPUtime=0.1 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 1248 0 0 0 10 0 0 0 20 0 1 0 43647181 8568832 1579 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 2092 1579 468 659 0 1296 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18300 KiB
Current children cumulated memory: 9048 KiB
[startup+0.213754 s]*
/proc/loadavg: 3.74 2.84 3.02 5/250 327553
/proc/meminfo: memFree=121676024/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=64728 memory=62064 CPUtime=0.21 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 7879 0 0 0 20 1 0 0 20 0 1 0 43647181 66281472 15516 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 16182 15516 468 659 0 15386 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 74660 KiB
Current children cumulated memory: 64796 KiB
[startup+0.314028 s]*
/proc/loadavg: 3.74 2.84 3.02 5/250 327553
/proc/meminfo: memFree=121671676/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=61980 memory=59008 CPUtime=0.31 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 9237 0 0 0 30 1 0 0 20 0 1 0 43647181 63467520 14752 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 15495 14752 468 659 0 14699 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71912 KiB
Current children cumulated memory: 61740 KiB
[startup+0.700409 s]
/proc/loadavg: 3.76 2.86 3.02 5/250 327553
/proc/meminfo: memFree=121579180/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=239232 memory=217020 CPUtime=0.68 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 37453 0 0 0 61 7 0 0 20 0 1 0 43647181 244973568 54255 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 59808 54255 468 659 0 59012 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 249164 KiB
Current children cumulated memory: 219752 KiB
[startup+1.5004 s]
/proc/loadavg: 3.76 2.86 3.02 5/250 327553
/proc/meminfo: memFree=121376724/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=452424 memory=417440 CPUtime=1.48 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 58942 0 0 0 136 12 0 0 20 0 1 0 43647181 463282176 104360 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 113106 104360 468 659 0 112310 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 462356 KiB
Current children cumulated memory: 420172 KiB
[startup+3.11336 s]
/proc/loadavg: 3.76 2.86 3.02 5/250 327553
/proc/meminfo: memFree=121022836/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=532720 memory=484192 CPUtime=3.09 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 67408 0 0 0 293 16 0 0 20 0 1 0 43647181 545505280 121048 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 133180 121048 468 659 0 132384 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 542652 KiB
Current children cumulated memory: 486924 KiB
[startup+6.30038 s]
/proc/loadavg: 3.78 2.88 3.03 5/250 327555
/proc/meminfo: memFree=120562016/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=715132 memory=657544 CPUtime=6.27 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 83758 0 0 0 604 23 0 0 20 0 1 0 43647181 732295168 164386 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 178783 164386 468 659 0 177987 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 725064 KiB
Current children cumulated memory: 660276 KiB
[startup+12.7004 s]
/proc/loadavg: 3.80 2.90 3.03 5/250 327555
/proc/meminfo: memFree=120089824/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=1112016 memory=992412 CPUtime=12.65 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 120817 0 0 0 1229 36 0 0 20 0 1 0 43647181 1138704384 248103 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 278004 248103 468 659 0 277208 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1121948 KiB
Current children cumulated memory: 995144 KiB
[startup+25.5004 s]
/proc/loadavg: 3.90 2.95 3.05 5/250 327558
/proc/meminfo: memFree=119060484/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=1544408 memory=1411516 CPUtime=25.42 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 170714 0 0 0 2484 58 0 0 20 0 1 0 43647181 1581473792 352879 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 386102 352879 468 659 0 385306 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1554340 KiB
Current children cumulated memory: 1414248 KiB
[startup+29.3421 s]
# the end of solver process 327548 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=28.6331 s, system=0.62931 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 3.90 2.95 3.05 5/250 327558
/proc/meminfo: memFree=119060484/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=1551960 memory=1413564 CPUtime=25.52 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 170716 0 0 0 2494 58 0 0 20 0 1 0 43647181 1589207040 353391 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 387990 353391 468 659 0 387194 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 1561892 KiB
Current children cumulated memory: 1416296 KiB
[startup+27.2004 s]
/proc/loadavg: 3.91 2.97 3.06 5/250 327558
/proc/meminfo: memFree=118956024/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=1551960 memory=1417912 CPUtime=27.11 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 170842 0 0 0 2653 58 0 0 20 0 1 0 43647181 1589207040 354478 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 387990 354478 468 659 0 387194 0
Current children cumulated CPU time: 27.11 s
Current children cumulated vsize: 1561892 KiB
Current children cumulated memory: 1420644 KiB
[startup+28.0004 s]*
/proc/loadavg: 3.91 2.97 3.06 5/250 327559
/proc/meminfo: memFree=118935912/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=1551960 memory=1420744 CPUtime=27.92 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 171014 0 0 0 2734 58 0 0 20 0 1 0 43647181 1589207040 355186 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 387990 355186 468 659 0 387194 0
Current children cumulated CPU time: 27.92 s
Current children cumulated vsize: 1561892 KiB
Current children cumulated memory: 1423476 KiB
[startup+28.8004 s]
/proc/loadavg: 3.91 2.97 3.06 5/250 327559
/proc/meminfo: memFree=118935912/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=1551960 memory=1420744 CPUtime=28.7 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 171016 0 0 0 2812 58 0 0 20 0 1 0 43647181 1589207040 355186 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 387990 355186 468 659 0 387194 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 1561892 KiB
Current children cumulated memory: 1423476 KiB
[startup+29.2004 s]
/proc/loadavg: 3.91 2.97 3.06 5/250 327559
/proc/meminfo: memFree=118986712/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=1551960 memory=1420744 CPUtime=29.1 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 171016 0 0 0 2852 58 0 0 20 0 1 0 43647181 1589207040 355186 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 387990 355186 468 659 0 387194 0
Current children cumulated CPU time: 29.1 s
Current children cumulated vsize: 1561892 KiB
Current children cumulated memory: 1423476 KiB
[startup+29.3004 s]
/proc/loadavg: 3.91 2.97 3.06 5/250 327559
/proc/meminfo: memFree=118986712/131655788 swapFree=131070192/131071996
[pid=327548] ppid=327545 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/327548/stat : 327548 (naps-1.03.sh) S 327545 327548 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43647180 10170368 683 134679101440 94244986781696 94244987861016 140734775505616 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94244989959472 94244990006660 94245021999104 140734775514077 140734775514206 140734775514206 140734775521224 0
/proc/327548/statm: 2483 683 605 264 0 134 0
[pid=327553] ppid=327548 vsize=1467596 memory=1336448 CPUtime=29.2 cores=5,7
/proc/327553/stat : 327553 (naps-1.03) R 327548 327548 327046 0 -1 4194304 171021 0 0 0 2862 58 0 0 20 0 1 0 43647181 1502818304 334112 134679101440 4194304 6891597 140727869742208 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37629952 140727869748206 140727869748322 140727869748322 140727869755339 0
/proc/327553/statm: 366899 334112 468 659 0 366103 0
Current children cumulated CPU time: 29.2 s
Current children cumulated vsize: 1477528 KiB
Current children cumulated memory: 1339180 KiB
Child status: 30
Real time (s): 29.3422
CPU time (s): 29.2624
CPU user time (s): 28.6331
CPU system time (s): 0.62931
CPU usage (%): 99.728
Max. virtual memory (cumulated for all children) (KiB): 1710952
Max. memory (cumulated for all children) (KiB): 1498384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.6331
system time used= 0.62931
maximum resident set size= 1495652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 327548
# total CPU time (s): 29.2624
# total CPU user time (s): 28.6331
# total CPU system time (s): 0.62931
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.205568 second user time and 0.346597 second system time
The end
Begin job on nodeC002 at 2024-07-27 12:36:23 IDJOB=4461290 IDBENCH=143227 IDSOLVER=3087 FILE ID=nodeC002/4461290-1722076583 RUNJOBID= nodeC002-1722076468-327059 SLURM_JOB_ID= 8248130 Free space on /tmp= 723764 MiB SOLVER NAME= NaPS-GM 1.03a1 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461290-1722076583/watcher-4461290-1722076583 -o /tmp/evaluation-result-4461290-1722076583/solver-4461290-1722076583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722076468-327059 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461290-1722076583.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 128eb31e74e9d5316274ee97a7821bb0 RANDOM SEED=120010686 nodeC002.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 : 0xb00001f cpu MHz : 3624.320 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.43 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 : 0xb00001f cpu MHz : 3499.023 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.41 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 : 0xb00001f cpu MHz : 1197.173 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.43 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 : 0xb00001f cpu MHz : 1197.172 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.41 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 : 0xb00001f cpu MHz : 3491.714 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.43 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 : 0xb00001f cpu MHz : 3491.747 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.41 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 : 0xb00001f cpu MHz : 1197.376 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.43 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 : 0xb00001f cpu MHz : 1197.163 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 121726372 kB MemAvailable: 127304044 kB Buffers: 387148 kB Cached: 6028056 kB SwapCached: 72 kB Active: 2455028 kB Inactive: 6912452 kB Active(anon): 1560 kB Inactive(anon): 3012756 kB Active(file): 2453468 kB Inactive(file): 3899696 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070192 kB Dirty: 16904 kB Writeback: 0 kB AnonPages: 2951196 kB Mapped: 111660 kB Shmem: 62036 kB KReclaimable: 129416 kB Slab: 241580 kB SReclaimable: 129416 kB SUnreclaim: 112164 kB KernelStack: 4000 kB PageTables: 15368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3626340 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14752 kB HardwareCorrupted: 0 kB AnonHugePages: 1247232 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: 316232 kB DirectMap2M: 36288512 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 723760 MiB End job on nodeC002 at 2024-07-27 12:36:53