Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS-GM 1.03a2 | OPTIMUM | 22.1525 | 22.2278 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo |
| MD5SUM | 36362ea9910434cf11826d6f0f3d2816 |
| 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 | 8.4714 |
| 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 | 687 |
| 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.03a2. 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-4463864-1722351945.wbo 0.00/0.00 c Initial goal by soft: 136613 0.00/0.03 c single stage optimization mode 0.00/0.04 o 2488 4.27/4.31 o 610 6.17/6.27 o 404 8.45/8.59 o 76 10.25/10.34 o 34 13.35/13.47 o 13 17.53/17.67 o 8 18.72/18.83 o 5 19.32/19.43 o 3 19.32/19.48 o 1 21.92/22.10 s OPTIMUM FOUND 21.92/22.10 c _____________________________________________________________________________ 21.92/22.10 c std/band forms : 37,0 21.92/22.10 c 2cl/3cl ITE-codings : 1163,0 21.92/22.10 c BDD/srt/adr Max costs : 2826924,945946,0 21.92/22.10 c BDDraw/bin/mul/srt/adr: 5,0,0,32,0 21.92/22.10 c BDD nodes : 1579 21.92/22.10 c Es1/CC detections : 0,0 21.92/22.10 c CC sort : 23 21.92/22.10 c SAT/UNSAT calls : 10,1 21.92/22.10 c regenrated variables : 63757 21.92/22.10 c eliminated fixed lits : 12119 21.92/22.10 c goal lit flips : 0 21.92/22.10 c goal stages : 1 21.92/22.10 c goal shrink : 0 21.92/22.10 c goal coeff separations: 0 21.92/22.10 c restarts : 501 21.92/22.10 c conflicts : 232734 (10821 /sec) 21.92/22.10 c decisions : 5093650 (236820 /sec) 21.92/22.10 c propagations : 162838843 (7570886 /sec) 21.92/22.10 c inspects : 0 (0 /sec) 21.92/22.10 c CPU time (solving tm) : 21.51 s (18.36 s, SAT 15.76 s, UNSAT 2.601 s) 21.92/22.10 c Time for Opt-base : 0.05564 s 21.92/22.10 c Steps for Opt-base : 295063 21.92/22.10 c Time for BDD coding : 0.0052 s 21.92/22.10 c Time for srt coding : 1.125 s 21.92/22.10 c _____________________________________________________________________________ 21.92/22.10 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 21.92/22.10 v
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: 63931 MiB (57375 MiB free)
memory of node 1: 64510 MiB (60833 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463864-1722351945/watcher-4463864-1722351945 -o /tmp/evaluation-result-4463864-1722351945/solver-4463864-1722351945 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722351915-13881 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463864-1722351945.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=14010, runsolver pid=14007
Current StackSize limit: 8192 KiB
[startup+0.100893 s]*
/proc/loadavg: 2.66 2.39 2.81 5/262 14015
/proc/meminfo: memFree=121039200/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=8408 memory=6364 CPUtime=0.09 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 1276 0 0 0 9 0 0 0 20 0 1 0 1792773 8609792 1591 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 2102 1591 468 659 0 1306 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18340 KiB
Current children cumulated memory: 9116 KiB
[startup+0.205719 s]*
/proc/loadavg: 2.66 2.39 2.81 5/262 14015
/proc/meminfo: memFree=120978792/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=64764 memory=62308 CPUtime=0.2 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 7907 0 0 0 19 1 0 0 20 0 1 0 1792773 66318336 15577 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 16191 15577 468 659 0 15395 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74696 KiB
Current children cumulated memory: 65060 KiB
[startup+0.305595 s]*
/proc/loadavg: 2.66 2.39 2.81 5/262 14015
/proc/meminfo: memFree=120969736/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=70100 memory=66892 CPUtime=0.3 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 10189 0 0 0 28 2 0 0 20 0 1 0 1792773 71782400 16723 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 17525 16723 468 659 0 16729 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80032 KiB
Current children cumulated memory: 69644 KiB
[startup+0.70021 s]
/proc/loadavg: 2.66 2.39 2.81 5/262 14015
/proc/meminfo: memFree=120872812/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=267924 memory=248252 CPUtime=0.69 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 39121 0 0 0 61 8 0 0 20 0 1 0 1792773 274354176 62063 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 66981 62063 468 659 0 66185 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 277856 KiB
Current children cumulated memory: 251004 KiB
[startup+1.50021 s]
/proc/loadavg: 2.76 2.41 2.81 5/262 14015
/proc/meminfo: memFree=120648832/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=455140 memory=427156 CPUtime=1.48 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 59875 0 0 0 134 14 0 0 20 0 1 0 1792773 466063360 106789 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 113785 106789 468 659 0 112989 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 465072 KiB
Current children cumulated memory: 429908 KiB
[startup+3.10548 s]
/proc/loadavg: 2.76 2.41 2.81 5/262 14016
/proc/meminfo: memFree=120515056/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=534664 memory=490792 CPUtime=3.08 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 68484 0 0 0 290 18 0 0 20 0 1 0 1792773 547495936 122698 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 133666 122698 468 659 0 132870 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 544596 KiB
Current children cumulated memory: 493544 KiB
[startup+6.30021 s]
/proc/loadavg: 2.86 2.44 2.82 5/262 14016
/proc/meminfo: memFree=120341552/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=727724 memory=662552 CPUtime=6.27 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 84938 0 0 0 602 25 0 0 20 0 1 0 1792773 745189376 165638 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 181931 165638 468 659 0 181135 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 737656 KiB
Current children cumulated memory: 665304 KiB
[startup+12.7002 s]
/proc/loadavg: 2.95 2.47 2.83 5/262 14066
/proc/meminfo: memFree=121191356/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=1426268 memory=1271084 CPUtime=12.64 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 147355 0 0 0 1222 42 0 0 20 0 1 0 1792773 1460498432 317771 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 356567 317771 468 659 0 355771 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1436200 KiB
Current children cumulated memory: 1273836 KiB
[startup+22.2278 s]
# the end of solver process 14010 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=21.6078 s, system=0.544722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 2.95 2.47 2.83 5/262 14066
/proc/meminfo: memFree=121191356/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=1426268 memory=1307948 CPUtime=12.74 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 147373 0 0 0 1231 43 0 0 20 0 1 0 1792773 1460498432 326987 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 356567 326987 468 659 0 355771 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 1436200 KiB
Current children cumulated memory: 1310700 KiB
[startup+19.2002 s]
/proc/loadavg: 3.04 2.49 2.83 5/262 14168
/proc/meminfo: memFree=122650740/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=1404264 memory=1271268 CPUtime=19.12 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 154416 0 0 0 1861 51 0 0 20 0 1 0 1792773 1437966336 317817 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 351066 317817 468 659 0 350270 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 1414196 KiB
Current children cumulated memory: 1274020 KiB
[startup+20.8002 s]
/proc/loadavg: 3.04 2.49 2.83 5/262 14168
/proc/meminfo: memFree=122646656/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=1404264 memory=1275472 CPUtime=20.72 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 154427 0 0 0 2021 51 0 0 20 0 1 0 1792773 1437966336 318868 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 351066 318868 468 659 0 350270 0
Current children cumulated CPU time: 20.72 s
Current children cumulated vsize: 1414196 KiB
Current children cumulated memory: 1278224 KiB
[startup+21.6002 s]
/proc/loadavg: 3.12 2.52 2.84 5/262 14218
/proc/meminfo: memFree=122680688/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=1404264 memory=1275472 CPUtime=21.51 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 154446 0 0 0 2100 51 0 0 20 0 1 0 1792773 1437966336 318868 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 351066 318868 468 659 0 350270 0
Current children cumulated CPU time: 21.51 s
Current children cumulated vsize: 1414196 KiB
Current children cumulated memory: 1278224 KiB
[startup+22.0002 s]*
/proc/loadavg: 3.12 2.52 2.84 5/262 14218
/proc/meminfo: memFree=122654520/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
[pid=14015] ppid=14010 vsize=1404264 memory=1275472 CPUtime=21.92 cores=0,2
/proc/14015/stat : 14015 (naps-1.03a2) R 14010 14010 13871 0 -1 4194304 154446 0 0 0 2141 51 0 0 20 0 1 0 1792773 1437966336 318868 134679101440 4194304 6891597 140735517888304 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25616384 140735517889514 140735517889632 140735517889632 140735517896649 0
/proc/14015/statm: 351066 318868 468 659 0 350270 0
Current children cumulated CPU time: 21.92 s
Current children cumulated vsize: 1414196 KiB
Current children cumulated memory: 1278224 KiB
[startup+22.2002 s]
/proc/loadavg: 3.12 2.52 2.84 5/262 14218
/proc/meminfo: memFree=122654520/131524600 swapFree=131071216/131071996
[pid=14010] ppid=14007 vsize=9932 memory=2752 CPUtime=0 cores=0,2
/proc/14010/stat : 14010 (naps-1.03.sh) S 14007 14010 13871 0 -1 4194304 224 244 0 0 0 0 0 0 20 0 1 0 1792773 10170368 688 134679101440 94418126151680 94418127231000 140722749766384 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94418129329456 94418129376644 94418138656768 140722749772767 140722749772896 140722749772896 140722749779912 0
/proc/14010/statm: 2483 688 610 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2752 KiB
Child status: 30
Real time (s): 22.2278
CPU time (s): 22.1525
CPU user time (s): 21.6078
CPU system time (s): 0.544722
CPU usage (%): 99.6613
Max. virtual memory (cumulated for all children) (KiB): 1575068
Max. memory (cumulated for all children) (KiB): 1372404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.6078
system time used= 0.544722
maximum resident set size= 1369652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154931
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= 159
# summary of solver processes directly reported to runsolver:
# pid: 14010
# total CPU time (s): 22.1525
# total CPU user time (s): 21.6078
# total CPU system time (s): 0.544722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061403 second user time and 0.121687 second system time
The end
Begin job on nodeC021 at 2024-07-30 17:05:45 IDJOB=4463864 IDBENCH=143221 IDSOLVER=3091 FILE ID=nodeC021/4463864-1722351945 RUNJOBID= nodeC021-1722351915-13881 SLURM_JOB_ID= 8249021 Free space on /tmp= 890068 MiB SOLVER NAME= NaPS-GM 1.03a2 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551864--soft-0-100-0.wbo COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463864-1722351945/watcher-4463864-1722351945 -o /tmp/evaluation-result-4463864-1722351945/solver-4463864-1722351945 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722351915-13881 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463864-1722351945.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 36362ea9910434cf11826d6f0f3d2816 RANDOM SEED=492470400 nodeC021.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 : 3620.692 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.80 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 : 3682.718 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 : 7006.98 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 : 3658.266 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.80 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 : 3600.363 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 : 7006.98 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 : 3654.234 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.80 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 : 3682.931 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 : 7006.98 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 : 3604.565 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.80 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.085 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 : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 121046864 kB MemAvailable: 124986976 kB Buffers: 62852 kB Cached: 4712744 kB SwapCached: 56 kB Active: 178160 kB Inactive: 9817460 kB Active(anon): 1552 kB Inactive(anon): 5239684 kB Active(file): 176608 kB Inactive(file): 4577776 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 22704 kB Writeback: 0 kB AnonPages: 5220036 kB Mapped: 93516 kB Shmem: 21208 kB KReclaimable: 50748 kB Slab: 130632 kB SReclaimable: 50748 kB SUnreclaim: 79884 kB KernelStack: 4192 kB PageTables: 19628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 6173116 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8352 kB HardwareCorrupted: 0 kB AnonHugePages: 2205696 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: 168660 kB DirectMap2M: 9041920 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890060 MiB End job on nodeC021 at 2024-07-30 17:06:07