Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 311.403 | 311.393 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo |
MD5SUM | 8222df718f0c39737e94bfab6b6fa003 |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 29.2616 |
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 | 927 |
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 | 45360 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45359 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 719 |
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-2690162-1277910810.wbo. 0.00/0.00 c Instance file HOME/instance-2690162-1277910810.wbo 0.00/0.00 c File size is 88005 bytes. 0.00/0.00 c Highest Coefficient sum: 719 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 | 101 | 231 2707 8338 | 5500 101 24 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 30 | 0.002 % | 0.00/0.01 c | 476 | 231 2707 8338 | 6655 476 30 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 31 | 0.002 % | 0.00/0.04 c | 1321 | 231 2707 8338 | 8052 1321 32 | 0.002 % | 0.05/0.06 c | 2081 | 231 2707 8338 | 8857 2081 31 | 0.002 % | 0.09/0.10 c | 3220 | 231 2707 8338 | 9743 3220 30 | 0.002 % | 0.09/0.16 c | 4928 | 231 2707 8338 | 10717 4928 29 | 0.002 % | 0.19/0.27 c | 7491 | 231 2707 8338 | 11789 7491 30 | 0.002 % | 0.39/0.46 c | 11335 | 231 2707 8338 | 12968 11335 31 | 0.002 % | 0.69/0.76 c | 17102 | 231 2707 8338 | 14265 10565 32 | 0.002 % | 1.19/1.26 c | 25755 | 231 2707 8338 | 15692 12022 33 | 0.002 % | 2.20/2.21 c | 38729 | 231 2707 8338 | 17261 9216 36 | 0.002 % | 3.59/3.60 c | 58190 | 231 2707 8338 | 18987 11323 36 | 0.002 % | 6.09/6.12 c | 87383 | 231 2707 8338 | 20886 11892 32 | 0.002 % | 9.90/9.93 c | 131173 | 231 2707 8338 | 22974 13726 37 | 0.002 % | 16.19/16.21 c | 196858 | 231 2707 8338 | 25272 21733 40 | 0.002 % | 26.89/26.98 c | 295386 | 231 2707 8338 | 27799 15773 38 | 0.002 % | 44.39/44.43 c | 443177 | 231 2707 8338 | 30579 25982 39 | 0.002 % | 70.09/70.16 c | 664861 | 231 2707 8338 | 33637 13857 37 | 0.043 % | 79.29/79.33 c =============================================================================== 82.89/82.96 c core #1 82.89/82.96 c ============================[ Search Statistics ]============================== 82.89/82.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.89/82.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.89/82.96 c =============================================================================== 82.89/82.96 c | 0 | 704 3575 12358 | 5000 0 nan | 0.000 % | 83.09/83.14 c | 102 | 704 3575 12358 | 5500 102 20 | 0.000 % | 83.09/83.14 c | 252 | 704 3575 12358 | 6050 252 26 | 0.000 % | 83.09/83.15 c | 477 | 704 3575 12358 | 6655 477 26 | 0.000 % | 83.09/83.16 c | 814 | 704 3575 12358 | 7320 814 28 | 0.000 % | 83.09/83.18 c | 1321 | 704 3575 12358 | 8052 1321 28 | 0.000 % | 83.20/83.23 c | 2080 | 704 3575 12358 | 8857 2080 29 | 0.000 % | 83.20/83.27 c | 3219 | 704 3575 12358 | 9743 3219 27 | 0.000 % | 83.29/83.35 c | 4928 | 704 3575 12358 | 10717 4928 29 | 0.000 % | 83.39/83.47 c | 7491 | 704 3575 12358 | 11789 7491 29 | 0.000 % | 83.69/83.74 c | 11336 | 704 3575 12358 | 12968 11336 32 | 0.000 % | 84.09/84.19 c | 17103 | 704 3575 12358 | 14265 10566 35 | 0.000 % | 84.79/84.80 c | 25752 | 704 3575 12358 | 15692 12030 32 | 0.000 % | 85.70/85.72 c | 38726 | 704 3575 12358 | 17261 9230 33 | 0.000 % | 87.40/87.49 c | 58187 | 704 3575 12358 | 18987 11336 39 | 0.000 % | 90.20/90.23 c | 87380 | 704 3575 12358 | 20886 11881 35 | 0.000 % | 94.09/94.15 c | 131169 | 704 3575 12358 | 22974 13717 35 | 0.000 % | 99.89/99.90 c | 196853 | 704 3575 12358 | 25272 21729 36 | 0.000 % | 108.49/108.54 c | 295379 | 680 3575 12358 | 27799 7294 22 | 3.409 % | 108.49/108.59 c =============================================================================== 110.09/110.17 c core #2 110.09/110.17 c ============================[ Search Statistics ]============================== 110.09/110.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 110.09/110.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 110.09/110.17 c =============================================================================== 110.09/110.17 c | 0 | 1180 4431 16346 | 5000 0 nan | 0.000 % | 110.09/110.19 c | 100 | 1180 4431 16346 | 5500 100 21 | 0.000 % | 110.19/110.20 c | 250 | 1180 4431 16346 | 6050 250 26 | 0.000 % | 110.19/110.20 c | 475 | 1180 4431 16346 | 6655 475 26 | 0.000 % | 110.19/110.22 c | 813 | 1180 4431 16346 | 7320 813 29 | 0.000 % | 110.19/110.25 c | 1323 | 1180 4431 16346 | 8052 1323 30 | 0.000 % | 110.19/110.29 c | 2084 | 1180 4431 16346 | 8857 2084 30 | 0.000 % | 110.29/110.34 c | 3223 | 1180 4431 16346 | 9743 3223 30 | 0.000 % | 110.40/110.42 c | 4931 | 1180 4431 16346 | 10717 4931 30 | 0.000 % | 110.49/110.57 c | 7494 | 1180 4431 16346 | 11789 7494 32 | 0.000 % | 110.80/110.83 c | 11338 | 1180 4431 16346 | 12968 11338 32 | 0.000 % | 111.20/111.26 c | 17106 | 1180 4431 16346 | 14265 10567 33 | 0.000 % | 111.89/111.97 c | 25755 | 1180 4431 16346 | 15692 12036 34 | 0.000 % | 113.10/113.11 c | 38730 | 1180 4431 16346 | 17261 9211 34 | 0.000 % | 114.89/114.98 c | 58191 | 1180 4431 16346 | 18987 11304 38 | 0.000 % | 117.89/117.98 c | 87384 | 1180 4431 16346 | 20886 11859 36 | 0.000 % | 122.30/122.36 c | 131173 | 1180 4431 16346 | 22974 13694 37 | 0.000 % | 129.20/129.29 c | 196858 | 1180 4431 16346 | 25272 21694 35 | 0.000 % | 140.30/140.34 c | 295388 | 1180 4431 16346 | 27799 13672 36 | 0.000 % | 158.89/158.98 c | 443177 | 1180 4431 16346 | 30579 20569 39 | 0.000 % | 177.20/177.21 c =============================================================================== 180.31/180.31 c core #3 180.31/180.31 c ============================[ Search Statistics ]============================== 180.31/180.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.31/180.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.31/180.31 c =============================================================================== 180.31/180.31 c | 0 | 1653 5255 20209 | 5000 0 nan | 0.000 % | 180.31/180.35 c | 101 | 1653 5255 20209 | 5500 101 31 | 0.000 % | 180.31/180.35 c | 251 | 1653 5255 20209 | 6050 251 29 | 0.000 % | 180.31/180.36 c | 476 | 1653 5255 20209 | 6655 476 30 | 0.000 % | 180.31/180.38 c | 813 | 1653 5255 20209 | 7320 813 28 | 0.000 % | 180.40/180.41 c | 1319 | 1653 5255 20209 | 8052 1319 29 | 0.000 % | 180.40/180.45 c | 2078 | 1653 5255 20209 | 8857 2078 29 | 0.000 % | 180.40/180.50 c | 3218 | 1653 5255 20209 | 9743 3218 28 | 0.000 % | 180.50/180.59 c | 4927 | 1653 5255 20209 | 10717 4927 31 | 0.000 % | 180.69/180.74 c | 7491 | 1653 5255 20209 | 11789 7491 33 | 0.000 % | 180.99/181.01 c | 11335 | 1653 5255 20209 | 12968 11335 34 | 0.000 % | 181.40/181.47 c | 17102 | 1653 5255 20209 | 14265 10565 38 | 0.000 % | 182.20/182.23 c | 25752 | 1653 5255 20209 | 15692 12030 35 | 0.000 % | 183.39/183.42 c | 38727 | 1653 5255 20209 | 17261 9214 37 | 0.000 % | 185.10/185.12 c | 58189 | 1653 5255 20209 | 18987 11306 39 | 0.000 % | 187.80/187.82 c | 87381 | 1653 5255 20209 | 20886 11850 36 | 0.000 % | 192.10/192.12 c | 131171 | 1653 5255 20209 | 22974 13666 37 | 0.000 % | 199.39/199.40 c | 196856 | 1653 5255 20209 | 25272 21683 39 | 0.000 % | 210.50/210.56 c | 295385 | 1653 5255 20209 | 27799 12648 40 | 0.000 % | 227.90/227.96 c | 443175 | 1653 5255 20209 | 30579 22980 37 | 0.000 % | 240.80/240.82 c =============================================================================== 243.80/243.83 c core #4 243.80/243.83 c ============================[ Search Statistics ]============================== 243.80/243.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 243.80/243.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 243.80/243.83 c =============================================================================== 243.80/243.83 c | 0 | 2130 6087 24131 | 5000 0 nan | 0.000 % | 243.80/243.88 c | 102 | 2130 6087 24131 | 5500 102 25 | 0.000 % | 243.80/243.88 c | 253 | 2130 6087 24131 | 6050 253 23 | 0.000 % | 243.80/243.90 c | 478 | 2130 6087 24131 | 6655 478 27 | 0.000 % | 243.90/243.91 c | 815 | 2130 6087 24131 | 7320 815 27 | 0.000 % | 243.90/243.94 c | 1321 | 2130 6087 24131 | 8052 1321 29 | 0.000 % | 243.90/243.97 c | 2082 | 2130 6087 24131 | 8857 2082 28 | 0.000 % | 244.00/244.02 c | 3221 | 2130 6087 24131 | 9743 3221 28 | 0.000 % | 244.10/244.11 c | 4929 | 2130 6087 24131 | 10717 4929 30 | 0.000 % | 244.21/244.27 c | 7491 | 2130 6087 24131 | 11789 7491 30 | 0.000 % | 244.49/244.54 c | 11336 | 2130 6087 24131 | 12968 11336 32 | 0.000 % | 245.00/245.04 c | 17104 | 2130 6087 24131 | 14265 10572 35 | 0.000 % | 245.70/245.78 c | 25754 | 2130 6087 24131 | 15692 12043 34 | 0.000 % | 246.90/246.92 c | 38728 | 2130 6087 24131 | 17261 9240 35 | 0.000 % | 248.70/248.71 c | 58190 | 2130 6087 24131 | 18987 11335 36 | 0.000 % | 251.30/251.39 c | 87382 | 2130 6087 24131 | 20886 11926 35 | 0.000 % | 255.70/255.77 c | 131175 | 2130 6087 24131 | 22974 13809 35 | 0.000 % | 262.10/262.17 c | 196859 | 2130 6087 24131 | 25272 21740 37 | 0.000 % | 274.60/274.64 c | 295387 | 2130 6087 24131 | 27799 17313 38 | 0.000 % | 288.50/288.53 c =============================================================================== 291.10/291.11 c core #5 291.10/291.11 c ============================[ Search Statistics ]============================== 291.10/291.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 291.10/291.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 291.10/291.11 c =============================================================================== 291.10/291.11 c | 0 | 2613 6910 28039 | 5000 0 nan | 0.000 % | 291.10/291.14 c | 101 | 2613 6910 28039 | 5500 101 17 | 0.000 % | 291.10/291.15 c | 252 | 2613 6910 28039 | 6050 252 25 | 0.000 % | 291.10/291.16 c | 477 | 2613 6910 28039 | 6655 477 24 | 0.000 % | 291.10/291.18 c | 814 | 2613 6910 28039 | 7320 814 25 | 0.000 % | 291.20/291.21 c | 1321 | 2613 6910 28039 | 8052 1321 26 | 0.000 % | 291.20/291.25 c | 2080 | 2613 6910 28039 | 8857 2080 28 | 0.000 % | 291.30/291.30 c | 3219 | 2613 6910 28039 | 9743 3219 28 | 0.000 % | 291.30/291.39 c | 4927 | 2613 6910 28039 | 10717 4927 29 | 0.000 % | 291.51/291.53 c | 7489 | 2613 6910 28039 | 11789 7489 32 | 0.000 % | 291.80/291.80 c | 11334 | 2613 6910 28039 | 12968 11334 32 | 0.000 % | 292.20/292.27 c | 17100 | 2613 6910 28039 | 14265 10566 35 | 0.000 % | 293.00/293.00 c | 25749 | 2613 6910 28039 | 15692 12042 37 | 0.000 % | 294.10/294.19 c | 38723 | 2613 6910 28039 | 17261 9237 39 | 0.000 % | 295.80/295.89 c | 58186 | 2613 6910 28039 | 18987 11343 34 | 0.000 % | 298.80/298.84 c | 87378 | 2613 6910 28039 | 20886 11913 39 | 0.000 % | 303.00/303.08 c | 131167 | 2613 6910 28039 | 22974 13714 36 | 0.000 % | 309.40/309.46 c | 196851 | 2613 6910 28039 | 25272 21733 36 | 0.000 % | 311.31/311.37 c =============================================================================== 311.31/311.37 c #cores: 5 311.31/311.37 c Final Weight: 5 311.31/311.37 o 5 311.31/311.37 s OPTIMUM FOUND 311.31/311.37 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 311.31/311.37 c Total CPU time: 305.392 s
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690162-1277910810/watcher-2690162-1277910810 -o /tmp/evaluation-result-2690162-1277910810/solver-2690162-1277910810 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690162-1277910810.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.53 2.81 2.71 2/173 17699 /proc/meminfo: memFree=31046808/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=2660 CPUtime=0 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 307 0 0 0 0 0 0 0 23 0 1 0 132376169 2723840 225 4089446400 134512640 135751879 4293545248 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 665 226 146 303 0 338 0 [startup+0.0607629 s] /proc/loadavg: 2.53 2.81 2.71 2/173 17699 /proc/meminfo: memFree=31046808/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=3244 CPUtime=0.05 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 465 0 0 0 5 0 0 0 24 0 1 0 132376169 3321856 361 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 811 361 143 303 0 506 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3244 [startup+0.100766 s] /proc/loadavg: 2.53 2.81 2.71 2/173 17699 /proc/meminfo: memFree=31046808/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=3508 CPUtime=0.09 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 534 0 0 0 9 0 0 0 24 0 1 0 132376169 3592192 430 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 877 430 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.300729 s] /proc/loadavg: 2.53 2.81 2.71 2/173 17699 /proc/meminfo: memFree=31046808/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=4696 CPUtime=0.29 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 842 0 0 0 27 2 0 0 25 0 1 0 132376169 4808704 738 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 1174 738 143 303 0 869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4696 [startup+0.70065 s] /proc/loadavg: 2.53 2.81 2.71 2/173 17699 /proc/meminfo: memFree=31046808/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=6600 CPUtime=0.69 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 1320 0 0 0 64 5 0 0 25 0 1 0 132376169 6758400 1216 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 1650 1216 143 303 0 1345 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6600 [startup+1.50051 s] /proc/loadavg: 2.53 2.81 2.71 2/172 17702 /proc/meminfo: memFree=31041864/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=9900 CPUtime=1.49 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 2135 0 0 0 140 9 0 0 25 0 1 0 132376169 10137600 2031 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 2475 2031 143 303 0 2170 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9900 [startup+3.10014 s] /proc/loadavg: 2.53 2.81 2.71 2/171 17704 /proc/meminfo: memFree=31037416/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=15708 CPUtime=3.09 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 3599 0 0 0 293 16 0 0 25 0 1 0 132376169 16084992 3495 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 3927 3495 143 303 0 3622 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15708 [startup+6.30058 s] /proc/loadavg: 2.48 2.79 2.71 3/197 17749 /proc/meminfo: memFree=30968444/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=25700 CPUtime=6.29 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 6077 0 0 0 606 23 0 0 23 0 1 0 132376169 26316800 5973 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 6425 5973 143 303 0 6120 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25700 [startup+12.7004 s] /proc/loadavg: 2.44 2.78 2.70 3/197 17750 /proc/meminfo: memFree=30947752/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=44328 CPUtime=12.69 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 10760 0 0 0 1236 33 0 0 25 0 1 0 132376169 45391872 10656 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 11082 10656 143 303 0 10777 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44328 [startup+25.5011 s] /proc/loadavg: 2.35 2.74 2.69 3/197 17750 /proc/meminfo: memFree=30913944/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=78040 CPUtime=25.49 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 19153 0 0 0 2491 58 0 0 25 0 1 0 132376169 79912960 19049 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 19510 19049 143 303 0 19205 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78040 [startup+51.1003 s] /proc/loadavg: 2.23 2.68 2.67 3/197 17750 /proc/meminfo: memFree=30853712/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=137444 CPUtime=51.1 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 34015 0 0 0 5009 101 0 0 25 0 1 0 132376169 140742656 33911 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 34361 33911 143 303 0 34056 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 137444 [startup+102.306 s] /proc/loadavg: 2.10 2.57 2.63 3/179 17780 /proc/meminfo: memFree=30693588/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=225476 CPUtime=102.3 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 56067 0 0 0 10031 199 0 0 25 0 1 0 132376169 230887424 55930 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 56369 55930 146 303 0 56064 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 225476 [startup+162.301 s] /proc/loadavg: 2.03 2.46 2.59 3/179 17782 /proc/meminfo: memFree=30481996/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=306608 CPUtime=162.29 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 76310 0 0 0 15923 306 0 0 25 0 1 0 132376169 313966592 76173 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 76652 76173 146 303 0 76347 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 306608 [startup+222.301 s] /proc/loadavg: 2.01 2.38 2.55 3/179 17783 /proc/meminfo: memFree=30307716/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=396428 CPUtime=222.29 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 98801 0 0 0 21814 415 0 0 25 0 1 0 132376169 405942272 98664 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 99107 98664 146 303 0 98802 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 396428 [startup+282.301 s] /proc/loadavg: 2.00 2.31 2.52 3/179 17784 /proc/meminfo: memFree=30160836/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=485460 CPUtime=282.3 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 121037 0 0 0 27701 529 0 0 25 0 1 0 132376169 497111040 120900 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 121365 120900 146 303 0 121060 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 485460 Solver just ended. Dumping a history of the last processes samples [startup+294.301 s] /proc/loadavg: 2.00 2.30 2.51 3/179 17785 /proc/meminfo: memFree=30131940/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=507008 CPUtime=294.3 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 126444 0 0 0 28878 552 0 0 18 0 1 0 132376169 519176192 126307 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 126752 126307 146 303 0 126447 0 Current children cumulated CPU time (s) 294.3 Current children cumulated vsize (KiB) 507008 [startup+300.7 s] /proc/loadavg: 2.00 2.29 2.50 3/179 17785 /proc/meminfo: memFree=30131688/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=507008 CPUtime=300.7 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 126457 0 0 0 29501 569 0 0 25 0 1 0 132376169 519176192 126320 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 126752 126320 146 303 0 126447 0 Current children cumulated CPU time (s) 300.7 Current children cumulated vsize (KiB) 507008 [startup+307.101 s] /proc/loadavg: 2.00 2.28 2.50 3/179 17786 /proc/meminfo: memFree=30120152/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=517444 CPUtime=307.1 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 129076 0 0 0 30123 587 0 0 25 0 1 0 132376169 529862656 128939 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 129361 128939 146 303 0 129056 0 Current children cumulated CPU time (s) 307.1 Current children cumulated vsize (KiB) 517444 [startup+308.701 s] /proc/loadavg: 2.00 2.28 2.50 3/179 17786 /proc/meminfo: memFree=30117920/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=520096 CPUtime=308.7 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 129740 0 0 0 30279 591 0 0 25 0 1 0 132376169 532578304 129603 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 130024 129603 146 303 0 129719 0 Current children cumulated CPU time (s) 308.7 Current children cumulated vsize (KiB) 520096 [startup+310.301 s] /proc/loadavg: 2.00 2.28 2.50 3/179 17786 /proc/meminfo: memFree=30111964/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=523132 CPUtime=310.31 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 130490 0 0 0 30435 596 0 0 19 0 1 0 132376169 535687168 130353 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 130783 130353 146 303 0 130478 0 Current children cumulated CPU time (s) 310.31 Current children cumulated vsize (KiB) 523132 [startup+311.1 s] /proc/loadavg: 2.00 2.28 2.50 3/179 17786 /proc/meminfo: memFree=30111964/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=524584 CPUtime=311.1 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 130841 0 0 0 30512 598 0 0 20 0 1 0 132376169 537174016 130704 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 131146 130704 146 303 0 130841 0 Current children cumulated CPU time (s) 311.1 Current children cumulated vsize (KiB) 524584 [startup+311.306 s] /proc/loadavg: 2.00 2.28 2.50 3/179 17786 /proc/meminfo: memFree=30108988/32951124 swapFree=67111528/67111528 [pid=17699] ppid=17697 vsize=524848 CPUtime=311.31 /proc/17699/stat : 17699 (wbo1.4a) R 17697 17699 17674 0 -1 4202496 130911 0 0 0 30532 599 0 0 20 0 1 0 132376169 537444352 130774 4089446400 134512640 135751879 4293545248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17699/statm: 131212 130774 146 303 0 130907 0 Current children cumulated CPU time (s) 311.31 Current children cumulated vsize (KiB) 524848 Child status: 0 Real time (s): 311.393 CPU time (s): 311.403 CPU user time (s): 305.392 CPU system time (s): 6.01109 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 524848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 305.392 system time used= 6.01109 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 130942 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= 18 involuntary context switches= 217 runsolver used 0.437933 second user time and 0.990849 second system time The end
Begin job on node147 at 2010-06-30 17:13:31 IDJOB=2690162 IDBENCH=78981 IDSOLVER=1200 FILE ID=node147/2690162-1277910810 PBS_JOBID= 11197261 Free space on /tmp= 74200 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801--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-2690162-1277910810/watcher-2690162-1277910810 -o /tmp/evaluation-result-2690162-1277910810/solver-2690162-1277910810 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690162-1277910810.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8222df718f0c39737e94bfab6b6fa003 RANDOM SEED=1010302599 node147.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.822 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.64 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.822 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.15 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.822 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.75 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.822 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.84 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.822 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.74 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.822 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.75 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.822 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.75 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.822 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31047336 kB Buffers: 196852 kB Cached: 1498544 kB SwapCached: 0 kB Active: 543404 kB Inactive: 1214852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31047336 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2848 kB Writeback: 0 kB AnonPages: 62428 kB Mapped: 14420 kB Slab: 81176 kB PageTables: 4516 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184544 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= 74192 MiB End job on node147 at 2010-06-30 17:18:42