Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 292.568 | 292.56 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo |
MD5SUM | 5d7330038698be4d7397c9bceea53fdc |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 292.568 |
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 | 937 |
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 | 46894 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46893 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 733 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690149-1277910065.wbo. 0.00/0.00 c Instance file HOME/instance-2690149-1277910065.wbo 0.00/0.00 c File size is 88056 bytes. 0.00/0.00 c Highest Coefficient sum: 733 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 231 2707 8338 | 5500 100 20 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 26 | 0.002 % | 0.00/0.01 c | 476 | 231 2707 8338 | 6655 476 25 | 0.002 % | 0.00/0.02 c | 813 | 231 2707 8338 | 7320 813 27 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 27 | 0.002 % | 0.00/0.06 c | 2080 | 231 2707 8338 | 8857 2080 31 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 32 | 0.002 % | 0.09/0.16 c | 4930 | 231 2707 8338 | 10717 4930 30 | 0.002 % | 0.19/0.27 c | 7495 | 231 2707 8338 | 11789 7495 31 | 0.002 % | 0.39/0.48 c | 11340 | 231 2707 8338 | 12968 11340 31 | 0.002 % | 0.69/0.79 c | 17106 | 231 2707 8338 | 14265 10581 32 | 0.002 % | 1.29/1.34 c | 25756 | 231 2707 8338 | 15692 12039 38 | 0.002 % | 2.19/2.20 c | 38730 | 231 2707 8338 | 17261 9203 35 | 0.002 % | 3.69/3.70 c | 58194 | 231 2707 8338 | 18987 11310 34 | 0.002 % | 5.99/6.08 c | 87389 | 231 2707 8338 | 20886 11878 36 | 0.002 % | 9.69/9.76 c | 131180 | 231 2707 8338 | 22974 13663 35 | 0.002 % | 15.79/15.88 c | 196864 | 231 2707 8338 | 25272 21608 34 | 0.002 % | 25.70/25.70 c | 295392 | 231 2707 8338 | 27799 13225 35 | 0.002 % | 40.19/40.25 c | 443184 | 231 2707 8338 | 30579 19462 37 | 0.002 % | 63.19/63.27 c | 664869 | 231 2707 8338 | 33637 23608 36 | 0.002 % | 78.00/78.08 c =============================================================================== 82.29/82.37 c core #1 82.29/82.37 c ============================[ Search Statistics ]============================== 82.29/82.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.29/82.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.29/82.37 c =============================================================================== 82.29/82.37 c | 0 | 715 3591 12552 | 5000 0 nan | 0.000 % | 82.50/82.55 c | 101 | 715 3591 12552 | 5500 101 21 | 0.000 % | 82.50/82.55 c | 253 | 715 3591 12552 | 6050 253 28 | 0.000 % | 82.50/82.56 c | 479 | 715 3591 12552 | 6655 479 29 | 0.000 % | 82.50/82.57 c | 817 | 715 3591 12552 | 7320 817 27 | 0.000 % | 82.59/82.60 c | 1323 | 715 3591 12552 | 8052 1323 28 | 0.000 % | 82.59/82.64 c | 2083 | 715 3591 12552 | 8857 2083 29 | 0.000 % | 82.59/82.68 c | 3222 | 715 3591 12552 | 9743 3222 29 | 0.000 % | 82.69/82.74 c | 4930 | 715 3591 12552 | 10717 4930 29 | 0.000 % | 82.80/82.88 c | 7492 | 715 3591 12552 | 11789 7492 31 | 0.000 % | 83.09/83.12 c | 11336 | 715 3591 12552 | 12968 11336 33 | 0.000 % | 83.49/83.55 c | 17103 | 715 3591 12552 | 14265 10566 37 | 0.000 % | 84.19/84.24 c | 25754 | 715 3591 12552 | 15692 12025 37 | 0.000 % | 85.30/85.31 c | 38732 | 715 3591 12552 | 17261 9202 37 | 0.000 % | 86.99/87.03 c | 58195 | 715 3591 12552 | 18987 11296 34 | 0.000 % | 89.79/89.86 c | 87387 | 715 3591 12552 | 20886 11855 35 | 0.000 % | 93.89/93.96 c | 131178 | 715 3591 12552 | 22974 13665 35 | 0.000 % | 100.80/100.88 c | 196863 | 715 3591 12552 | 25272 21474 38 | 0.000 % | 112.20/112.23 c | 295389 | 715 3591 12552 | 27799 14599 35 | 0.000 % | 128.29/128.37 c | 443178 | 715 3591 12552 | 30579 18989 35 | 0.000 % | 153.90/153.90 c | 664864 | 715 3591 12552 | 33637 19966 36 | 0.000 % | 193.19/193.20 c | 997389 | 715 3591 12552 | 37001 13511 38 | 0.004 % | 204.30/204.30 c =============================================================================== 211.10/211.10 c core #2 211.10/211.10 c ============================[ Search Statistics ]============================== 211.10/211.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.10/211.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.10/211.10 c =============================================================================== 211.10/211.10 c | 0 | 1200 4464 16729 | 5000 0 nan | 0.000 % | 211.10/211.13 c | 100 | 1200 4464 16729 | 5500 100 27 | 0.000 % | 211.10/211.13 c | 250 | 1200 4464 16729 | 6050 250 30 | 0.000 % | 211.10/211.14 c | 476 | 1200 4464 16729 | 6655 476 29 | 0.000 % | 211.10/211.18 c | 815 | 1200 4464 16729 | 7320 815 27 | 0.000 % | 211.20/211.20 c | 1323 | 1200 4464 16729 | 8052 1323 28 | 0.000 % | 211.20/211.24 c | 2084 | 1200 4464 16729 | 8857 2084 29 | 0.000 % | 211.29/211.31 c | 3228 | 1200 4464 16729 | 9743 3228 29 | 0.000 % | 211.29/211.39 c | 4936 | 1200 4464 16729 | 10717 4936 30 | 0.000 % | 211.49/211.52 c | 7499 | 1200 4464 16729 | 11789 7499 30 | 0.000 % | 211.70/211.74 c | 11345 | 1200 4464 16729 | 12968 11345 30 | 0.000 % | 212.09/212.13 c | 17113 | 1200 4464 16729 | 14265 10599 31 | 0.000 % | 212.69/212.76 c | 25762 | 1200 4464 16729 | 15692 12050 32 | 0.000 % | 213.89/213.90 c | 38738 | 1200 4464 16729 | 17261 9244 36 | 0.000 % | 215.70/215.75 c | 58200 | 1200 4464 16729 | 18987 11350 37 | 0.000 % | 218.59/218.61 c | 87392 | 1200 4464 16729 | 20886 11924 35 | 0.000 % | 222.99/223.00 c | 131181 | 1200 4464 16729 | 22974 13764 37 | 0.000 % | 230.20/230.26 c | 196865 | 1200 4464 16729 | 25272 21768 36 | 0.000 % | 241.60/241.66 c | 295392 | 1200 4464 16729 | 27799 14478 36 | 0.000 % | 258.20/258.25 c | 443182 | 1200 4464 16729 | 30579 21321 36 | 0.000 % | 285.40/285.47 c | 664866 | 1200 4464 16729 | 33637 25072 39 | 0.000 % | 292.50/292.54 c =============================================================================== 292.50/292.54 c #cores: 2 292.50/292.54 c Final Weight: 2 292.50/292.54 o 2 292.50/292.54 s OPTIMUM FOUND 292.50/292.54 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 292.50/292.54 c Total CPU time: 289.536 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690149-1277910065/watcher-2690149-1277910065 -o /tmp/evaluation-result-2690149-1277910065/solver-2690149-1277910065 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690149-1277910065.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.22 2.27 4/196 16265 /proc/meminfo: memFree=30750136/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=2808 CPUtime=0 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 313 0 0 0 0 0 0 0 25 0 1 0 132302386 2875392 231 4089446400 134512640 135751879 4288596656 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 702 231 147 303 0 375 0 [startup+0.093574 s] /proc/loadavg: 2.17 2.22 2.27 4/196 16265 /proc/meminfo: memFree=30750136/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=3512 CPUtime=0.08 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 544 0 0 0 8 0 0 0 25 0 1 0 132302386 3596288 440 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 878 440 143 303 0 573 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3512 [startup+0.100572 s] /proc/loadavg: 2.17 2.22 2.27 4/196 16265 /proc/meminfo: memFree=30750136/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=3512 CPUtime=0.09 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 556 0 0 0 9 0 0 0 25 0 1 0 132302386 3596288 452 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 878 452 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300527 s] /proc/loadavg: 2.17 2.22 2.27 4/196 16265 /proc/meminfo: memFree=30750136/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=4832 CPUtime=0.29 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 887 0 0 0 29 0 0 0 25 0 1 0 132302386 4947968 783 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 1208 783 143 303 0 903 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4832 [startup+0.700452 s] /proc/loadavg: 2.17 2.22 2.27 4/196 16265 /proc/meminfo: memFree=30750136/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=6944 CPUtime=0.69 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 1388 0 0 0 68 1 0 0 25 0 1 0 132302386 7110656 1284 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 1736 1284 143 303 0 1431 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6944 [startup+1.50031 s] /proc/loadavg: 2.17 2.22 2.27 3/197 16266 /proc/meminfo: memFree=30743804/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=10508 CPUtime=1.49 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 2305 0 0 0 147 2 0 0 25 0 1 0 132302386 10760192 2201 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 2627 2201 143 303 0 2322 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10508 [startup+3.10101 s] /proc/loadavg: 2.17 2.22 2.27 3/197 16266 /proc/meminfo: memFree=30739096/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=16712 CPUtime=3.1 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 3860 0 0 0 305 5 0 0 25 0 1 0 132302386 17113088 3756 4089446400 134512640 135751879 4288596656 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 4178 3756 143 303 0 3873 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 16712 [startup+6.30044 s] /proc/loadavg: 2.16 2.22 2.27 3/197 16267 /proc/meminfo: memFree=30727148/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=28236 CPUtime=6.29 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 6721 0 0 0 621 8 0 0 25 0 1 0 132302386 28913664 6617 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 7059 6617 143 303 0 6754 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28236 [startup+12.7002 s] /proc/loadavg: 2.14 2.21 2.27 3/197 16267 /proc/meminfo: memFree=30704216/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=49116 CPUtime=12.69 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 11936 0 0 0 1252 17 0 0 25 0 1 0 132302386 50294784 11832 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 12279 11832 143 303 0 11974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49116 [startup+25.501 s] /proc/loadavg: 2.11 2.20 2.27 3/197 16267 /proc/meminfo: memFree=30665632/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=86108 CPUtime=25.49 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 21195 0 0 0 2514 35 0 0 25 0 1 0 132302386 88174592 21091 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 21527 21091 143 303 0 21222 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86108 [startup+51.1003 s] /proc/loadavg: 2.51 2.29 2.29 3/197 16267 /proc/meminfo: memFree=30593812/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=157064 CPUtime=51.09 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 38926 0 0 0 5045 64 0 0 25 0 1 0 132302386 160833536 38822 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 39266 38822 143 303 0 38961 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 157064 [startup+102.306 s] /proc/loadavg: 2.22 2.25 2.27 3/197 16269 /proc/meminfo: memFree=30494584/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=251756 CPUtime=102.3 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 62636 0 0 0 10111 119 0 0 25 0 1 0 132302386 257798144 62499 4089446400 134512640 135751879 4288596656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 62939 62499 146 303 0 62634 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 251756 [startup+162.301 s] /proc/loadavg: 2.08 2.20 2.26 3/197 16271 /proc/meminfo: memFree=30394728/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=347140 CPUtime=162.29 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 86478 0 0 0 16047 182 0 0 25 0 1 0 132302386 355471360 86341 4089446400 134512640 135751879 4288596656 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 86785 86341 146 303 0 86480 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 347140 [startup+222.3 s] /proc/loadavg: 2.06 2.17 2.24 3/197 16272 /proc/meminfo: memFree=30259020/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=476228 CPUtime=222.3 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 118705 0 0 0 21996 234 0 0 25 0 1 0 132302386 487657472 118568 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 119057 118568 146 303 0 118752 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 476228 [startup+282.3 s] /proc/loadavg: 2.02 2.14 2.23 3/197 16274 /proc/meminfo: memFree=30214348/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=517252 CPUtime=282.3 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 129008 0 0 0 27940 290 0 0 25 0 1 0 132302386 529666048 128871 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 129313 128871 146 303 0 129008 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 517252 Solver just ended. Dumping a history of the last processes samples [startup+287.9 s] /proc/loadavg: 2.02 2.14 2.22 3/197 16274 /proc/meminfo: memFree=30206536/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=524644 CPUtime=287.9 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 130846 0 0 0 28494 296 0 0 25 0 1 0 132302386 537235456 130709 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 131161 130709 146 303 0 130856 0 Current children cumulated CPU time (s) 287.9 Current children cumulated vsize (KiB) 524644 [startup+291.101 s] /proc/loadavg: 2.02 2.13 2.22 3/197 16274 /proc/meminfo: memFree=30201820/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=528900 CPUtime=291.1 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 131885 0 0 0 28811 299 0 0 25 0 1 0 132302386 541593600 131748 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 132225 131748 146 303 0 131920 0 Current children cumulated CPU time (s) 291.1 Current children cumulated vsize (KiB) 528900 [startup+291.901 s] /proc/loadavg: 2.02 2.13 2.22 3/197 16274 /proc/meminfo: memFree=30200456/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=529824 CPUtime=291.9 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 132132 0 0 0 28890 300 0 0 25 0 1 0 132302386 542539776 131995 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 132456 131995 146 303 0 132151 0 Current children cumulated CPU time (s) 291.9 Current children cumulated vsize (KiB) 529824 [startup+292.3 s] /proc/loadavg: 2.02 2.13 2.22 3/197 16274 /proc/meminfo: memFree=30200456/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=530484 CPUtime=292.3 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 132280 0 0 0 28929 301 0 0 25 0 1 0 132302386 543215616 132143 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 132621 132143 146 303 0 132316 0 Current children cumulated CPU time (s) 292.3 Current children cumulated vsize (KiB) 530484 [startup+292.5 s] /proc/loadavg: 2.02 2.13 2.22 3/197 16274 /proc/meminfo: memFree=30198720/32951124 swapFree=67111528/67111528 [pid=16265] ppid=16263 vsize=530748 CPUtime=292.5 /proc/16265/stat : 16265 (wbo1.4a) R 16263 16265 14951 0 -1 4202496 132350 0 0 0 28949 301 0 0 25 0 1 0 132302386 543485952 132213 4089446400 134512640 135751879 4288596656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16265/statm: 132687 132213 146 303 0 132382 0 Current children cumulated CPU time (s) 292.5 Current children cumulated vsize (KiB) 530748 Child status: 0 Real time (s): 292.56 CPU time (s): 292.568 CPU user time (s): 289.536 CPU system time (s): 3.03154 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 530748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 289.536 system time used= 3.03154 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 132363 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= 214 runsolver used 0.445932 second user time and 0.969852 second system time The end
Begin job on node138 at 2010-06-30 17:01:05 IDJOB=2690149 IDBENCH=78974 IDSOLVER=1200 FILE ID=node138/2690149-1277910065 PBS_JOBID= 11197236 Free space on /tmp= 74140 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690149-1277910065/watcher-2690149-1277910065 -o /tmp/evaluation-result-2690149-1277910065/solver-2690149-1277910065 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690149-1277910065.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5d7330038698be4d7397c9bceea53fdc RANDOM SEED=1932838169 node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30750664 kB Buffers: 198380 kB Cached: 1470976 kB SwapCached: 0 kB Active: 1030868 kB Inactive: 1023324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30750664 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2848 kB Writeback: 0 kB AnonPages: 384648 kB Mapped: 20368 kB Slab: 82712 kB PageTables: 5656 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655216 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74136 MiB End job on node138 at 2010-06-30 17:05:58