Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 584.43 | 584.419 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo |
MD5SUM | cb2e0a6db987ecdc06dc4066ca6b4222 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 584.43 |
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 | 1804 |
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 | 90822 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90821 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 717 |
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-2690113-1277908185.wbo. 0.00/0.00 c Instance file HOME/instance-2690113-1277908185.wbo 0.00/0.00 c File size is 92306 bytes. 0.00/0.00 c Highest Coefficient sum: 717 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.01 c | 100 | 231 2707 8338 | 5500 100 15 | 0.002 % | 0.01/0.01 c | 251 | 231 2707 8338 | 6050 251 26 | 0.002 % | 0.01/0.02 c | 477 | 231 2707 8338 | 6655 477 28 | 0.002 % | 0.01/0.03 c | 814 | 231 2707 8338 | 7320 814 30 | 0.002 % | 0.01/0.04 c | 1320 | 231 2707 8338 | 8052 1320 31 | 0.002 % | 0.01/0.07 c | 2081 | 231 2707 8338 | 8857 2081 30 | 0.002 % | 0.09/0.11 c | 3221 | 231 2707 8338 | 9743 3221 29 | 0.002 % | 0.09/0.18 c | 4929 | 231 2707 8338 | 10717 4929 27 | 0.002 % | 0.29/0.30 c | 7491 | 231 2707 8338 | 11789 7491 28 | 0.002 % | 0.49/0.52 c | 11336 | 231 2707 8338 | 12968 11336 29 | 0.002 % | 0.89/0.91 c | 17102 | 231 2707 8338 | 14265 10557 34 | 0.002 % | 1.49/1.54 c | 25752 | 231 2707 8338 | 15692 12021 35 | 0.002 % | 2.59/2.66 c | 38726 | 231 2707 8338 | 17261 9200 38 | 0.002 % | 4.19/4.26 c | 58189 | 231 2707 8338 | 18987 11301 39 | 0.002 % | 6.99/7.02 c | 87382 | 231 2707 8338 | 20886 11863 39 | 0.002 % | 11.69/11.74 c | 131176 | 231 2707 8338 | 22974 13702 41 | 0.002 % | 18.89/18.96 c | 196860 | 231 2707 8338 | 25272 21709 37 | 0.002 % | 29.79/29.84 c | 295388 | 231 2707 8338 | 27799 24657 37 | 0.002 % | 47.99/48.07 c | 443179 | 231 2707 8338 | 30579 15472 38 | 0.002 % | 76.49/76.57 c | 664864 | 231 2707 8338 | 33637 18560 36 | 0.002 % | 119.10/119.18 c | 997389 | 231 2707 8338 | 37001 31814 39 | 0.002 % | 158.79/158.89 c =============================================================================== 168.89/168.93 c core #1 168.89/168.93 c ============================[ Search Statistics ]============================== 168.89/168.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 168.89/168.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 168.89/168.93 c =============================================================================== 168.89/168.93 c | 0 | 1147 4414 16358 | 5000 0 nan | 0.000 % | 169.19/169.23 c | 101 | 1147 4414 16358 | 5500 101 19 | 0.000 % | 169.19/169.25 c | 255 | 1147 4414 16358 | 6050 255 19 | 0.000 % | 169.19/169.26 c | 481 | 1147 4414 16358 | 6655 481 25 | 0.000 % | 169.19/169.27 c | 818 | 1147 4414 16358 | 7320 818 25 | 0.000 % | 169.19/169.30 c | 1326 | 1147 4414 16358 | 8052 1326 26 | 0.000 % | 169.30/169.37 c | 2087 | 1147 4414 16358 | 8857 2087 27 | 0.000 % | 169.41/169.42 c | 3228 | 1147 4414 16358 | 9743 3228 28 | 0.000 % | 169.49/169.51 c | 4938 | 1147 4414 16358 | 10717 4938 29 | 0.000 % | 169.59/169.65 c | 7500 | 1147 4414 16358 | 11789 7500 29 | 0.000 % | 169.90/169.90 c | 11344 | 1147 4414 16358 | 12968 11344 30 | 0.000 % | 170.29/170.33 c | 17110 | 1147 4414 16358 | 14265 10567 33 | 0.000 % | 170.99/171.08 c | 25759 | 1147 4414 16358 | 15692 12035 36 | 0.000 % | 172.20/172.25 c | 38733 | 1147 4414 16358 | 17261 9211 35 | 0.000 % | 174.10/174.19 c | 58194 | 1147 4414 16358 | 18987 11303 38 | 0.000 % | 177.60/177.66 c | 87386 | 1147 4414 16358 | 20886 11861 38 | 0.000 % | 183.10/183.13 c | 131176 | 1147 4414 16358 | 22974 13643 36 | 0.000 % | 191.59/191.67 c | 196860 | 1147 4414 16358 | 25272 21210 37 | 0.000 % | 205.90/205.90 c | 295388 | 1147 4414 16358 | 27799 12977 38 | 0.000 % | 225.09/225.10 c | 443178 | 1147 4414 16358 | 30579 19325 37 | 0.000 % | 254.19/254.26 c | 664863 | 1147 4414 16358 | 33637 21723 38 | 0.000 % | 297.70/297.79 c | 997390 | 1145 4414 16358 | 37001 33404 37 | 0.174 % | 364.29/364.38 c | 1496178 | 1143 4414 16358 | 40701 33912 36 | 0.349 % | 364.59/364.65 c =============================================================================== 375.50/375.51 c core #2 375.50/375.51 c ============================[ Search Statistics ]============================== 375.50/375.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 375.50/375.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 375.50/375.51 c =============================================================================== 375.50/375.51 c | 0 | 2062 6095 24296 | 5000 0 nan | 0.000 % | 375.50/375.56 c | 103 | 2062 6095 24296 | 5500 103 35 | 0.000 % | 375.50/375.59 c | 254 | 2062 6095 24296 | 6050 254 28 | 0.000 % | 375.60/375.62 c | 479 | 2062 6095 24296 | 6655 479 30 | 0.000 % | 375.60/375.65 c | 817 | 2062 6095 24296 | 7320 817 31 | 0.000 % | 375.60/375.67 c | 1324 | 2062 6095 24296 | 8052 1324 30 | 0.000 % | 375.69/375.72 c | 2084 | 2062 6095 24296 | 8857 2084 30 | 0.000 % | 375.69/375.78 c | 3224 | 2062 6095 24296 | 9743 3224 29 | 0.000 % | 375.80/375.87 c | 4933 | 2062 6095 24296 | 10717 4933 29 | 0.000 % | 376.00/376.02 c | 7497 | 2062 6095 24296 | 11789 7497 30 | 0.000 % | 376.20/376.28 c | 11342 | 2062 6095 24296 | 12968 11342 31 | 0.000 % | 376.70/376.73 c | 17109 | 2062 6095 24296 | 14265 10589 33 | 0.000 % | 377.39/377.49 c | 25758 | 2062 6095 24296 | 15692 12044 35 | 0.000 % | 378.70/378.74 c | 38733 | 2062 6095 24296 | 17261 9222 38 | 0.000 % | 380.50/380.57 c | 58194 | 2062 6095 24296 | 18987 11324 34 | 0.000 % | 383.49/383.56 c | 87388 | 2062 6095 24296 | 20886 11853 37 | 0.000 % | 388.00/388.03 c | 131178 | 2062 6095 24296 | 22974 13633 36 | 0.000 % | 396.40/396.40 c | 196864 | 2062 6095 24296 | 25272 21362 38 | 0.000 % | 408.19/408.20 c | 295391 | 2062 6095 24296 | 27799 12731 40 | 0.000 % | 427.39/427.43 c | 443185 | 2062 6095 24296 | 30579 20078 40 | 0.000 % | 456.51/456.59 c | 664870 | 2062 6095 24296 | 33637 22305 36 | 0.000 % | 498.10/498.13 c | 997396 | 2062 6095 24296 | 37001 13272 40 | 0.000 % | 560.70/560.75 c =============================================================================== 571.40/571.45 c core #3 571.40/571.45 c ============================[ Search Statistics ]============================== 571.40/571.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 571.40/571.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 571.40/571.45 c =============================================================================== 571.40/571.45 c | 0 | 2988 7747 32172 | 5000 0 nan | 0.000 % | 571.50/571.54 c | 100 | 2988 7747 32172 | 5500 100 19 | 0.000 % | 571.50/571.57 c | 250 | 2988 7747 32172 | 6050 250 20 | 0.000 % | 571.50/571.58 c | 475 | 2988 7747 32172 | 6655 475 24 | 0.000 % | 571.60/571.60 c | 814 | 2988 7747 32172 | 7320 814 30 | 0.000 % | 571.60/571.64 c | 1320 | 2988 7747 32172 | 8052 1320 29 | 0.000 % | 571.60/571.68 c | 2079 | 2988 7747 32172 | 8857 2079 30 | 0.000 % | 571.70/571.74 c | 3218 | 2988 7747 32172 | 9743 3218 29 | 0.000 % | 571.80/571.84 c | 4927 | 2988 7747 32172 | 10717 4927 29 | 0.000 % | 572.00/572.01 c | 7489 | 2988 7747 32172 | 11789 7489 31 | 0.000 % | 572.30/572.36 c | 11336 | 2988 7747 32172 | 12968 11336 31 | 0.000 % | 572.80/572.80 c | 17104 | 2988 7747 32172 | 14265 10567 33 | 0.000 % | 573.50/573.52 c | 25754 | 2988 7747 32172 | 15692 12024 33 | 0.000 % | 574.81/574.86 c | 38728 | 2988 7747 32172 | 17261 9197 38 | 0.000 % | 576.81/576.88 c | 58190 | 2988 7747 32172 | 18987 11291 38 | 0.000 % | 579.80/579.86 c | 87383 | 2988 7747 32172 | 20886 11848 36 | 0.000 % | 584.30/584.38 c =============================================================================== 584.30/584.38 c #cores: 3 584.30/584.38 c Final Weight: 3 584.30/584.38 o 3 584.30/584.38 s OPTIMUM FOUND 584.30/584.38 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 584.30/584.38 c Total CPU time: 579.28 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690113-1277908185/watcher-2690113-1277908185 -o /tmp/evaluation-result-2690113-1277908185/solver-2690113-1277908185 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690113-1277908185.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: 1.92 1.98 2.09 4/178 25760 /proc/meminfo: memFree=30544328/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=2668 CPUtime=0 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 166422055 2732032 222 4089446400 134512640 135751879 4288842896 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 667 222 145 303 0 339 0 [startup+0.0127419 s] /proc/loadavg: 1.92 1.98 2.09 4/178 25760 /proc/meminfo: memFree=30544328/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=2720 CPUtime=0.01 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 359 0 0 0 1 0 0 0 25 0 1 0 166422055 2785280 254 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 680 254 143 303 0 375 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2720 [startup+0.100723 s] /proc/loadavg: 1.92 1.98 2.09 4/178 25760 /proc/meminfo: memFree=30544328/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=3512 CPUtime=0.09 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 546 0 0 0 9 0 0 0 25 0 1 0 166422055 3596288 441 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 878 441 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300688 s] /proc/loadavg: 1.92 1.98 2.09 4/178 25760 /proc/meminfo: memFree=30544328/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=4832 CPUtime=0.29 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 861 0 0 0 29 0 0 0 25 0 1 0 166422055 4947968 756 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 1208 756 143 303 0 903 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4832 [startup+0.700616 s] /proc/loadavg: 1.92 1.98 2.09 4/178 25760 /proc/meminfo: memFree=30544328/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=6680 CPUtime=0.69 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 1341 0 0 0 68 1 0 0 25 0 1 0 166422055 6840320 1236 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 1670 1236 143 303 0 1365 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6680 [startup+1.50048 s] /proc/loadavg: 1.92 1.98 2.09 3/179 25761 /proc/meminfo: memFree=30538620/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=9980 CPUtime=1.49 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 2175 0 0 0 146 3 0 0 25 0 1 0 166422055 10219520 2070 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 2495 2070 143 303 0 2190 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9980 [startup+3.10119 s] /proc/loadavg: 1.92 1.98 2.09 3/179 25761 /proc/meminfo: memFree=30534404/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=16188 CPUtime=3.09 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 3711 0 0 0 303 6 0 0 25 0 1 0 166422055 16576512 3606 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 4047 3606 143 303 0 3742 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16188 [startup+6.30063 s] /proc/loadavg: 1.93 1.98 2.09 3/179 25761 /proc/meminfo: memFree=30522324/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=27016 CPUtime=6.29 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 6405 0 0 0 618 11 0 0 25 0 1 0 166422055 27664384 6300 4089446400 134512640 135751879 4288842896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 6754 6300 143 303 0 6449 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27016 [startup+12.7005 s] /proc/loadavg: 1.93 1.98 2.09 3/179 25761 /proc/meminfo: memFree=30502480/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=45776 CPUtime=12.69 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 11097 0 0 0 1251 18 0 0 25 0 1 0 166422055 46874624 10992 4089446400 134512640 135751879 4288842896 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 11444 10992 143 303 0 11139 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45776 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 2.09 3/179 25761 /proc/meminfo: memFree=30464652/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=82408 CPUtime=25.49 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 20259 0 0 0 2517 32 0 0 25 0 1 0 166422055 84385792 20154 4089446400 134512640 135751879 4288842896 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 20602 20155 143 303 0 20297 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82408 [startup+51.1007 s] /proc/loadavg: 1.96 1.98 2.09 3/179 25790 /proc/meminfo: memFree=30475204/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=147972 CPUtime=51.09 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 36630 0 0 0 5052 57 0 0 25 0 1 0 166422055 151523328 36525 4089446400 134512640 135751879 4288842896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 36993 36525 143 303 0 36688 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 147972 [startup+102.307 s] /proc/loadavg: 1.98 1.98 2.08 3/179 25791 /proc/meminfo: memFree=30214384/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=270796 CPUtime=102.3 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 67318 0 0 0 10126 104 0 0 25 0 1 0 166422055 277295104 67213 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 67699 67213 143 303 0 67394 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 270796 [startup+162.301 s] /proc/loadavg: 1.99 1.98 2.08 3/179 25793 /proc/meminfo: memFree=29948848/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=430668 CPUtime=162.29 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 107278 0 0 0 16069 160 0 0 25 0 1 0 166422055 441004032 107173 4089446400 134512640 135751879 4288842896 18446744073709551615 134516450 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 107667 107173 143 303 0 107362 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 430668 [startup+222.3 s] /proc/loadavg: 1.99 1.98 2.07 3/179 25795 /proc/meminfo: memFree=29809140/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=439744 CPUtime=222.3 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 109638 0 0 0 22023 207 0 0 25 0 1 0 166422055 450297856 109496 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 109936 109496 146 303 0 109631 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 439744 [startup+282.301 s] /proc/loadavg: 1.99 1.98 2.06 3/179 25796 /proc/meminfo: memFree=29671916/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=500416 CPUtime=282.3 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 124792 0 0 0 27970 260 0 0 25 0 1 0 166422055 512425984 124650 4089446400 134512640 135751879 4288842896 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25760/statm: 125104 124650 146 303 0 124799 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 500416 [startup+342.301 s] /proc/loadavg: 2.05 2.00 2.06 3/179 25798 /proc/meminfo: memFree=29505104/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=636012 CPUtime=342.3 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 158666 0 0 0 33912 318 0 0 25 0 1 0 166422055 651276288 158524 4089446400 134512640 135751879 4288842896 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/25760/statm: 159003 158524 146 303 0 158698 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 636012 [startup+402.3 s] /proc/loadavg: 2.02 2.00 2.06 3/179 25799 /proc/meminfo: memFree=29324020/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=730648 CPUtime=402.3 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 182343 0 0 0 39869 361 0 0 25 0 1 0 166422055 748183552 182201 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/25760/statm: 182662 182201 146 303 0 182357 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 730648 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.05 3/179 25801 /proc/meminfo: memFree=29217328/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=751140 CPUtime=462.3 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 187499 0 0 0 45820 410 0 0 25 0 1 0 166422055 769167360 187357 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/25760/statm: 187785 187357 146 303 0 187480 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 751140 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.05 3/179 25803 /proc/meminfo: memFree=29023704/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=862256 CPUtime=522.3 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 215266 0 0 0 51767 463 0 0 25 0 1 0 166422055 882950144 215124 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/25760/statm: 215564 215124 146 303 0 215259 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 862256 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.04 3/179 25804 /proc/meminfo: memFree=28816676/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=993076 CPUtime=582.31 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 247921 0 0 0 57721 510 0 0 25 0 1 0 166422055 1016909824 247779 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/25760/statm: 248269 247779 146 303 0 247964 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 993076 Solver just ended. Dumping a history of the last processes samples [startup+583.1 s] /proc/loadavg: 2.00 2.00 2.04 3/179 25805 /proc/meminfo: memFree=28816056/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=993076 CPUtime=583.1 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 247921 0 0 0 57800 510 0 0 25 0 1 0 166422055 1016909824 247779 4089446400 134512640 135751879 4288842896 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/25760/statm: 248269 247779 146 303 0 247964 0 Current children cumulated CPU time (s) 583.1 Current children cumulated vsize (KiB) 993076 [startup+583.9 s] /proc/loadavg: 2.00 2.00 2.04 3/179 25805 /proc/meminfo: memFree=28816056/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=993076 CPUtime=583.9 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 247921 0 0 0 57879 511 0 0 25 0 1 0 166422055 1016909824 247779 4089446400 134512640 135751879 4288842896 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/25760/statm: 248269 247779 146 303 0 247964 0 Current children cumulated CPU time (s) 583.9 Current children cumulated vsize (KiB) 993076 [startup+584.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 25805 /proc/meminfo: memFree=28811344/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=993076 CPUtime=584.3 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202496 247921 0 0 0 57919 511 0 0 25 0 1 0 166422055 1016909824 247779 4089446400 134512640 135751879 4288842896 18446744073709551615 134649799 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/25760/statm: 248269 247779 146 303 0 247964 0 Current children cumulated CPU time (s) 584.3 Current children cumulated vsize (KiB) 993076 [startup+584.4 s] /proc/loadavg: 2.00 2.00 2.04 3/179 25805 /proc/meminfo: memFree=28811344/32950928 swapFree=67111528/67111528 [pid=25760] ppid=25758 vsize=0 CPUtime=584.4 /proc/25760/stat : 25760 (wbo1.4a) R 25758 25760 24554 0 -1 4202500 247921 0 0 0 57927 513 0 0 25 0 1 0 166422055 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0 /proc/25760/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 584.4 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 584.419 CPU time (s): 584.43 CPU user time (s): 579.28 CPU system time (s): 5.15022 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 993076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 579.28 system time used= 5.15022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 247921 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= 1 involuntary context switches= 3755 runsolver used 0.997848 second user time and 2.19267 second system time The end
Begin job on node112 at 2010-06-30 16:29:45 IDJOB=2690113 IDBENCH=78956 IDSOLVER=1200 FILE ID=node112/2690113-1277908185 PBS_JOBID= 11197214 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690113-1277908185/watcher-2690113-1277908185 -o /tmp/evaluation-result-2690113-1277908185/solver-2690113-1277908185 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690113-1277908185.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cb2e0a6db987ecdc06dc4066ca6b4222 RANDOM SEED=533402095 node112.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.827 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.65 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.827 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 : 5332.75 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.827 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.827 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.73 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.827 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.82 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.827 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.827 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.82 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.827 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30544856 kB Buffers: 189776 kB Cached: 1895064 kB SwapCached: 0 kB Active: 707264 kB Inactive: 1554724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30544856 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 177000 kB Mapped: 16924 kB Slab: 80416 kB PageTables: 4640 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 326576 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= 74204 MiB End job on node112 at 2010-06-30 16:39:30