Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 1116.48 | 1116.48 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo |
MD5SUM | c0d431beb578ab67ce1970cb297cf650 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 514.642 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 137973 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 137972 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.02 c constraints 0/23 clauses 0/2684 units 0 0.00/0.02 c vars 231 0.09/0.11 c 0.105983 19.9766 48 4871 0.09/0.11 o 525 0.09/0.12 c 0.114982 20.2109 61 6659 0.09/0.12 o 519 0.09/0.13 c 0.122981 20.4453 71 7554 0.09/0.13 o 507 0.09/0.17 c 0.147977 20.4453 164 9299 0.09/0.17 o 489 0.29/0.31 c 0.223965 20.4453 423 10921 0.29/0.31 o 479 0.29/0.38 c 0.269958 20.4453 529 11758 0.29/0.38 o 466 0.29/0.39 c 0.278957 20.4453 546 12180 0.29/0.39 o 461 0.39/0.43 c 0.296954 20.4453 617 12472 0.39/0.43 o 460 0.39/0.47 c 0.314952 20.4453 667 12815 0.39/0.47 o 458 0.49/0.54 c 0.367944 20.4453 813 14622 0.49/0.54 o 426 0.59/0.63 c 0.417936 20.4453 921 15413 0.59/0.63 o 422 0.59/0.64 c 0.423935 20.4453 923 15873 0.59/0.64 o 418 0.59/0.65 c 0.430934 20.4453 926 16182 0.59/0.65 o 415 0.59/0.66 c 0.438933 20.4453 932 17493 0.59/0.66 o 387 0.59/0.67 c 0.447931 20.4453 941 18032 0.59/0.67 o 373 0.69/0.76 c 0.504923 20.4453 1051 18717 0.69/0.76 o 371 0.79/0.82 c 0.539917 20.4453 1107 19142 0.79/0.82 o 368 0.79/0.87 c 0.574912 20.4453 607 19726 0.79/0.87 o 367 0.89/0.90 c 0.58891 20.4453 616 20023 0.89/0.90 o 365 0.89/0.93 c 0.617906 20.4453 681 20437 0.89/0.93 o 356 0.89/0.98 c 0.648901 20.4453 739 20793 0.89/0.98 o 355 1.10/1.13 c 0.740887 20.4453 859 21798 1.10/1.13 o 344 1.29/1.38 c 0.890864 20.4453 1218 22949 1.29/1.38 o 342 1.29/1.39 c 0.895863 20.4453 612 23167 1.29/1.39 o 338 1.39/1.41 c 0.911861 20.4453 635 23407 1.39/1.41 o 334 1.59/1.66 c 1.06184 20.4453 940 24877 1.59/1.66 o 326 1.59/1.68 c 1.06884 20.4453 947 25135 1.59/1.68 o 324 1.69/1.78 c 1.13183 20.4453 1095 26109 1.69/1.78 o 309 2.59/2.62 c 1.63275 20.5742 779 29071 2.59/2.62 o 304 2.69/2.72 c 1.69874 20.5742 919 30477 2.69/2.72 o 283 3.19/3.21 c 2.01669 20.5742 855 32735 3.19/3.21 o 281 3.19/3.24 c 2.03869 20.5742 904 33004 3.19/3.24 o 277 3.48/3.58 c 2.24566 20.5742 667 34349 3.48/3.58 o 274 3.79/3.81 c 2.39064 20.5742 978 35729 3.79/3.81 o 263 3.79/3.88 c 2.42863 20.5742 1034 36566 3.79/3.88 o 242 3.99/4.00 c 2.50162 20.5742 1167 37665 3.99/4.00 o 224 4.09/4.18 c 2.6146 20.5742 820 38702 4.09/4.18 o 222 4.30/4.32 c 2.69459 20.5742 1040 40058 4.30/4.32 o 208 4.70/4.79 c 2.99154 20.5742 965 42881 4.70/4.79 o 184 6.29/6.31 c 3.90241 20.7031 1316 48110 6.29/6.31 o 168 6.60/6.66 c 4.08238 20.7031 1120 49744 6.60/6.66 o 159 6.79/6.83 c 4.17836 20.7031 693 50869 6.79/6.83 o 146 8.59/8.62 c 5.2622 20.7031 940 56492 8.59/8.62 o 145 8.59/8.70 c 5.30419 20.7031 1047 56946 8.59/8.70 o 144 9.69/9.76 c 5.97009 20.7031 1211 60807 9.69/9.76 o 143 10.60/10.63 c 6.47102 20.7031 1527 63715 10.60/10.63 o 136 11.89/12.00 c 7.29389 20.7031 662 69257 11.89/12.00 o 135 12.09/12.13 c 7.37488 20.7031 812 70261 12.09/12.13 o 119 12.29/12.32 c 7.50686 20.832 1470 71726 12.29/12.32 o 104 12.59/12.65 c 7.70583 20.832 1117 72990 12.59/12.65 o 100 14.99/15.09 c 9.2106 20.832 737 80386 14.99/15.09 o 99 15.59/15.66 c 9.56755 20.832 817 82461 15.59/15.66 o 93 15.89/15.92 c 9.74252 20.832 1305 84499 15.89/15.92 o 64 17.59/17.63 c 10.8963 21.2188 1213 91158 17.59/17.63 o 60 18.09/18.17 c 11.2743 21.2188 1379 94098 18.09/18.17 o 59 18.69/18.73 c 11.6672 21.2188 2613 96870 18.69/18.73 o 54 22.19/22.27 c 14.1808 21.2188 2555 113556 22.19/22.27 o 50 23.79/23.82 c 15.2577 21.2188 2182 120657 23.79/23.82 o 45 25.30/25.36 c 16.3825 21.2188 1438 128871 25.30/25.36 o 42 27.29/27.32 c 17.8473 21.2188 1849 140467 27.29/27.32 o 32 27.99/28.00 c 18.3712 21.2188 2926 145548 27.99/28.00 o 21 28.79/28.81 c 19.0361 21.9922 3004 153581 28.79/28.81 o 11 60.39/60.42 c 47.0338 24.0547 2724 544082 60.39/60.42 o 10 67.78/67.88 c 53.5979 24.0547 2112 649113 67.78/67.88 o 7 476.38/476.49 c 420.176 24.0547 4079 6643430 476.38/476.49 o 6 1116.40/1116.45 c 994.804 24.0547 2341 16632263 1116.40/1116.45 s OPTIMUM FOUND 1116.40/1116.45 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
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698753-1278464482/watcher-2698753-1278464482 -o /tmp/evaluation-result-2698753-1278464482/solver-2698753-1278464482 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698753-1278464482.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.00 2.00 1.95 4/176 12364 /proc/meminfo: memFree=30209304/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=2136 CPUtime=0 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14661627 2187264 173 4089446400 134512640 136422188 4291012928 18446744073709551615 135822160 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/12364/statm: 534 173 144 467 0 65 0 [startup+0.039818 s] /proc/loadavg: 2.00 2.00 1.95 4/176 12364 /proc/meminfo: memFree=30209304/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=8080 CPUtime=0.03 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 1688 0 0 0 3 0 0 0 25 0 1 0 14661627 8273920 1608 4089446400 134512640 136422188 4291012928 18446744073709551615 134575781 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12364/statm: 2020 1610 193 467 0 1551 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8080 [startup+0.10081 s] /proc/loadavg: 2.00 2.00 1.95 4/176 12364 /proc/meminfo: memFree=30209304/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=20176 CPUtime=0.09 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 4688 0 0 0 9 0 0 0 25 0 1 0 14661627 20660224 4575 4089446400 134512640 136422188 4291012928 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12364/statm: 5044 4575 207 467 0 4575 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20176 [startup+0.300776 s] /proc/loadavg: 2.00 2.00 1.95 4/176 12364 /proc/meminfo: memFree=30209304/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=20932 CPUtime=0.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 4851 0 0 0 21 8 0 0 18 0 1 0 14661627 21434368 4734 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12364/statm: 5233 4734 237 467 0 4764 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20932 [startup+0.700708 s] /proc/loadavg: 2.00 2.00 1.95 4/176 12364 /proc/meminfo: memFree=30209304/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=20932 CPUtime=0.69 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 4862 0 0 0 46 23 0 0 18 0 1 0 14661627 21434368 4734 4089446400 134512640 136422188 4291012928 18446744073709551615 135032696 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12364/statm: 5233 4734 237 467 0 4764 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20932 [startup+1.50058 s] /proc/loadavg: 2.00 2.00 1.95 3/177 12365 /proc/meminfo: memFree=30191196/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=20932 CPUtime=1.48 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 4881 0 0 0 95 53 0 0 18 0 1 0 14661627 21434368 4743 4089446400 134512640 136422188 4291012928 18446744073709551615 134872931 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12364/statm: 5233 4743 237 467 0 4764 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 20932 [startup+3.1003 s] /proc/loadavg: 2.00 2.00 1.95 3/177 12365 /proc/meminfo: memFree=30190960/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=21064 CPUtime=3.09 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 4908 0 0 0 194 115 0 0 22 0 1 0 14661627 21569536 4765 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12364/statm: 5266 4765 237 467 0 4797 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21064 [startup+6.30074 s] /proc/loadavg: 2.00 2.00 1.95 3/177 12365 /proc/meminfo: memFree=30191092/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=21196 CPUtime=6.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 4942 0 0 0 388 241 0 0 20 0 1 0 14661627 21704704 4790 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12364/statm: 5299 4790 237 467 0 4830 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21196 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 1.95 3/177 12365 /proc/meminfo: memFree=30190840/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=21328 CPUtime=12.69 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 4990 0 0 0 772 497 0 0 25 0 1 0 14661627 21839872 4827 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12364/statm: 5332 4827 237 467 0 4863 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21328 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 1.95 3/177 12366 /proc/meminfo: memFree=30190608/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=21724 CPUtime=25.49 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5102 0 0 0 1648 901 0 0 20 0 1 0 14661627 22245376 4930 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12364/statm: 5431 4930 237 467 0 4962 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21724 [startup+51.101 s] /proc/loadavg: 2.00 2.00 1.95 3/177 12366 /proc/meminfo: memFree=30187824/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=51.08 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5849 0 0 0 3880 1228 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24628 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.95 3/177 12368 /proc/meminfo: memFree=30187296/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=102.28 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5851 0 0 0 8432 1796 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 24628 [startup+162.301 s] /proc/loadavg: 2.08 2.02 1.95 3/177 12369 /proc/meminfo: memFree=30184660/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=162.28 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5851 0 0 0 13804 2424 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 24628 [startup+222.3 s] /proc/loadavg: 2.03 2.01 1.95 3/177 12399 /proc/meminfo: memFree=30267684/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=222.28 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5851 0 0 0 19182 3046 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 24628 [startup+282.301 s] /proc/loadavg: 2.01 2.00 1.95 3/177 12400 /proc/meminfo: memFree=30266284/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=282.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5851 0 0 0 24586 3643 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 24628 [startup+342.301 s] /proc/loadavg: 2.06 2.02 1.96 3/177 12402 /proc/meminfo: memFree=30266140/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=342.28 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5851 0 0 0 29966 4262 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 24628 [startup+402.3 s] /proc/loadavg: 2.02 2.01 1.96 3/177 12404 /proc/meminfo: memFree=30265988/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=402.28 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5851 0 0 0 35364 4864 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 24628 [startup+462.301 s] /proc/loadavg: 2.01 2.00 1.96 3/177 12432 /proc/meminfo: memFree=30268780/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=462.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5851 0 0 0 40744 5485 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 24628 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12434 /proc/meminfo: memFree=30265524/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=522.28 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 46133 6095 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 24628 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12435 /proc/meminfo: memFree=30265256/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=582.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 51511 6718 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 24628 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12437 /proc/meminfo: memFree=30264608/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=642.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 56880 7349 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 24628 [startup+702.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12439 /proc/meminfo: memFree=30264328/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=702.28 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 62266 7962 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 702.28 Current children cumulated vsize (KiB) 24628 [startup+762.306 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12440 /proc/meminfo: memFree=30263808/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=762.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 67640 8589 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 762.29 Current children cumulated vsize (KiB) 24628 [startup+822.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12442 /proc/meminfo: memFree=30263652/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=822.28 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 73031 9197 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 822.28 Current children cumulated vsize (KiB) 24628 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12443 /proc/meminfo: memFree=30263504/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=882.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 78404 9825 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 24628 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12445 /proc/meminfo: memFree=30263356/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=942.28 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 83815 10413 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 24628 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12447 /proc/meminfo: memFree=30263320/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1002.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 89197 11032 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 24628 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12448 /proc/meminfo: memFree=30262796/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1062.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 94604 11625 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 24628 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12449 /proc/meminfo: memFree=30262792/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1075.09 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 95756 11753 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1075.09 Current children cumulated vsize (KiB) 24628 [startup+1100.7 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12449 /proc/meminfo: memFree=30262528/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1100.69 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 98059 12010 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1100.69 Current children cumulated vsize (KiB) 24628 [startup+1107.1 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12449 /proc/meminfo: memFree=30262520/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1107.09 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 98640 12069 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1107.09 Current children cumulated vsize (KiB) 24628 [startup+1110.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12450 /proc/meminfo: memFree=30262520/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1110.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 98926 12103 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1110.29 Current children cumulated vsize (KiB) 24628 [startup+1113.5 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12450 /proc/meminfo: memFree=30262512/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1113.49 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 99213 12136 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1113.49 Current children cumulated vsize (KiB) 24628 [startup+1115.1 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12452 /proc/meminfo: memFree=30261892/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1115.09 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 99358 12151 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1115.09 Current children cumulated vsize (KiB) 24628 [startup+1115.9 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12452 /proc/meminfo: memFree=30261892/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1115.89 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 99429 12160 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1115.89 Current children cumulated vsize (KiB) 24628 [startup+1116.3 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12452 /proc/meminfo: memFree=30261892/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1116.29 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 99466 12163 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 134862315 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1116.29 Current children cumulated vsize (KiB) 24628 [startup+1116.4 s] /proc/loadavg: 2.00 2.00 1.96 3/177 12452 /proc/meminfo: memFree=30261892/32951132 swapFree=67111528/67111528 [pid=12364] ppid=12362 vsize=24628 CPUtime=1116.4 /proc/12364/stat : 12364 (pbct) R 12362 12364 11784 0 -1 4202496 5852 0 0 0 99476 12164 0 0 25 0 1 0 14661627 25219072 5674 4089446400 134512640 136422188 4291012928 18446744073709551615 135805654 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12364/statm: 6157 5674 237 467 0 5688 0 Current children cumulated CPU time (s) 1116.4 Current children cumulated vsize (KiB) 24628 Child status: 0 Real time (s): 1116.48 CPU time (s): 1116.48 CPU user time (s): 994.828 CPU system time (s): 121.649 CPU usage (%): 99.9999 Max. virtual memory (cumulated for all children) (KiB): 24628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 994.828 system time used= 121.649 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5857 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= 9 involuntary context switches= 1745 runsolver used 1.54976 second user time and 3.53446 second system time The end
Begin job on node128 at 2010-07-07 03:01:22 IDJOB=2698753 IDBENCH=79258 IDSOLVER=1212 FILE ID=node128/2698753-1278464482 PBS_JOBID= 11233737 Free space on /tmp= 73424 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698753-1278464482/watcher-2698753-1278464482 -o /tmp/evaluation-result-2698753-1278464482/solver-2698753-1278464482 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698753-1278464482.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c0d431beb578ab67ce1970cb297cf650 RANDOM SEED=30211436 node128.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.816 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.63 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.816 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.816 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.816 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.816 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.75 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.816 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.74 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.816 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.816 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 30209700 kB Buffers: 101548 kB Cached: 2333100 kB SwapCached: 0 kB Active: 1015216 kB Inactive: 1583300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30209700 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2088 kB Writeback: 0 kB AnonPages: 163612 kB Mapped: 15836 kB Slab: 80712 kB PageTables: 4420 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 307500 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73420 MiB End job on node128 at 2010-07-07 03:19:59