Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 486.435 | 486.423 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo |
MD5SUM | f06e3169df6f7eed4900beba2f9ca344 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 209.658 |
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 | 136625 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136624 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 707 |
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.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 0/23 clauses 0/2684 units 0 0.00/0.01 c vars 231 0.09/0.18 c 0.102984 19.9766 46 56885 0.09/0.18 o 695 0.19/0.28 c 0.109983 20.2109 187 76726 0.19/0.28 o 565 0.19/0.29 c 0.109983 20.4453 189 79393 0.19/0.29 o 523 0.19/0.29 c 0.110983 20.4453 189 79863 0.19/0.29 o 514 0.29/0.30 c 0.110983 20.4453 191 80216 0.29/0.30 o 512 0.29/0.39 c 0.122981 20.4453 343 87475 0.29/0.39 o 505 0.39/0.48 c 0.131979 20.4453 480 94402 0.39/0.48 o 396 0.49/0.59 c 0.142978 20.4453 670 95698 0.49/0.59 o 393 0.59/0.60 c 0.144977 20.4453 677 96472 0.59/0.60 o 369 0.59/0.63 c 0.144977 20.4453 722 97021 0.59/0.63 o 365 1.09/1.14 c 0.222966 20.4453 826 101625 1.09/1.14 o 357 1.09/1.17 c 0.225965 20.4453 847 103726 1.09/1.17 o 344 1.29/1.38 c 0.25896 20.4453 1168 107675 1.29/1.38 o 321 1.29/1.39 c 0.26096 20.4453 587 109007 1.29/1.39 o 290 1.29/1.39 c 0.26196 20.4453 587 109849 1.29/1.39 o 266 1.39/1.40 c 0.263959 20.4453 587 110139 1.39/1.40 o 263 1.39/1.40 c 0.264959 20.4453 587 110683 1.39/1.40 o 250 1.39/1.41 c 0.265959 20.4453 587 111160 1.39/1.41 o 239 1.39/1.42 c 0.266959 20.4453 588 111542 1.39/1.42 o 232 1.39/1.43 c 0.268959 20.4453 593 111904 1.39/1.43 o 228 1.39/1.46 c 0.270958 20.4453 611 113094 1.39/1.46 o 204 3.39/3.45 c 0.613906 20.4453 1133 197532 3.39/3.45 o 172 5.59/5.66 c 0.941856 20.4453 1200 268474 5.59/5.66 o 171 5.99/6.00 c 0.990849 20.4453 1169 270123 5.99/6.00 o 167 6.19/6.21 c 1.02684 20.4453 844 271293 6.19/6.21 o 163 7.39/7.41 c 1.21182 20.5742 1033 274569 7.39/7.41 o 160 7.70/7.75 c 1.27381 20.5742 960 276899 7.70/7.75 o 123 7.79/7.84 c 1.2948 20.5742 1164 277581 7.79/7.84 o 120 8.00/8.01 c 1.3228 20.5742 723 278251 8.00/8.01 o 119 8.19/8.22 c 1.36079 20.5742 1042 279235 8.19/8.22 o 115 10.39/10.41 c 1.87471 20.7031 962 286547 10.39/10.41 o 100 10.39/10.43 c 1.88171 20.7031 1041 286907 10.39/10.43 o 94 10.39/10.46 c 1.88371 20.7031 1070 287430 10.39/10.46 o 85 11.79/11.82 c 2.25466 21.2188 990 294642 11.79/11.82 o 83 12.89/12.90 c 2.52962 21.2188 936 299883 12.89/12.90 o 81 13.39/13.49 c 2.67559 21.2188 1810 302249 13.39/13.49 o 58 13.49/13.57 c 2.71159 21.2188 1322 303022 13.49/13.57 o 54 13.69/13.73 c 2.76358 21.2188 1746 304143 13.69/13.73 o 48 15.19/15.29 c 3.38549 21.2188 2025 313112 15.19/15.29 o 46 16.29/16.31 c 3.88341 21.2188 1765 319739 16.29/16.31 o 45 16.29/16.32 c 3.88341 21.2188 1775 319835 16.29/16.32 o 44 16.29/16.39 c 3.9144 21.2188 2098 320768 16.29/16.39 o 37 16.50/16.55 c 3.98839 21.2188 2771 321838 16.50/16.55 o 35 16.59/16.65 c 4.04838 21.2188 1904 322836 16.59/16.65 o 28 16.69/16.72 c 4.08438 21.2188 2274 323533 16.69/16.72 o 26 16.69/16.79 c 4.12337 21.2188 2794 324431 16.69/16.79 o 24 16.90/16.97 c 4.25235 21.2188 2643 327147 16.90/16.97 o 13 17.19/17.26 c 4.44632 21.2188 1708 331285 17.19/17.26 o 6 18.29/18.34 c 5.2522 21.6055 2114 345974 18.29/18.34 o 4 19.19/19.21 c 5.9151 21.6055 2411 357324 19.19/19.21 o 3 26.49/26.56 c 11.5142 21.6055 3057 466121 26.49/26.56 o 2 30.49/30.55 c 14.7328 21.6055 3992 524382 30.49/30.55 o 1 486.31/486.39 c 375.547 23.4102 3097 7561522 486.31/486.39 s OPTIMUM FOUND 486.31/486.39 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 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695143-1277931097/watcher-2695143-1277931097 -o /tmp/evaluation-result-2695143-1277931097/solver-2695143-1277931097 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695143-1277931097.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.50 2.75 2.81 3/178 16338 /proc/meminfo: memFree=29947364/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=2136 CPUtime=0 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 254 0 0 0 0 0 0 0 24 0 1 0 134407549 2187264 173 4089446400 134512640 136421960 4288759360 18446744073709551615 135818390 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/16338/statm: 534 173 144 467 0 65 0 [startup+0.0754951 s] /proc/loadavg: 2.50 2.75 2.81 3/178 16338 /proc/meminfo: memFree=29947364/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=19664 CPUtime=0.07 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 4546 0 0 0 7 0 0 0 24 0 1 0 134407549 20135936 4432 4089446400 134512640 136421960 4288759360 18446744073709551615 134700898 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 4916 4432 203 467 0 4447 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 19664 [startup+0.100485 s] /proc/loadavg: 2.50 2.75 2.81 3/178 16338 /proc/meminfo: memFree=29947364/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=20452 CPUtime=0.09 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 4752 0 0 0 9 0 0 0 24 0 1 0 134407549 20942848 4638 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5113 4638 213 467 0 4644 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20452 [startup+0.300449 s] /proc/loadavg: 2.50 2.75 2.81 3/178 16338 /proc/meminfo: memFree=29947364/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=20932 CPUtime=0.29 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 4849 0 0 0 11 18 0 0 25 0 1 0 134407549 21434368 4731 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5233 4731 237 467 0 4764 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20932 [startup+0.700376 s] /proc/loadavg: 2.50 2.75 2.81 3/178 16338 /proc/meminfo: memFree=29947364/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=20932 CPUtime=0.69 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 4855 0 0 0 15 54 0 0 25 0 1 0 134407549 21434368 4731 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5233 4731 237 467 0 4764 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20932 [startup+1.50023 s] /proc/loadavg: 2.50 2.75 2.81 3/179 16339 /proc/meminfo: memFree=29929004/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=20932 CPUtime=1.49 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 4876 0 0 0 27 122 0 0 25 0 1 0 134407549 21434368 4741 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5233 4741 237 467 0 4764 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20932 [startup+3.10095 s] /proc/loadavg: 2.46 2.74 2.81 3/179 16339 /proc/meminfo: memFree=29929600/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=20932 CPUtime=3.09 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 4876 0 0 0 53 256 0 0 25 0 1 0 134407549 21434368 4741 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5233 4741 237 467 0 4764 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20932 [startup+6.30038 s] /proc/loadavg: 2.46 2.74 2.81 3/179 16339 /proc/meminfo: memFree=29929320/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=20932 CPUtime=6.29 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 4883 0 0 0 104 525 0 0 25 0 1 0 134407549 21434368 4744 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5233 4744 237 467 0 4764 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20932 [startup+12.7003 s] /proc/loadavg: 2.39 2.71 2.80 3/179 16339 /proc/meminfo: memFree=29920432/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=21724 CPUtime=12.69 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5078 0 0 0 247 1022 0 0 25 0 1 0 134407549 22245376 4930 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5431 4930 237 467 0 4962 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21724 [startup+25.501 s] /proc/loadavg: 2.33 2.69 2.79 3/179 16339 /proc/meminfo: memFree=29897488/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=22120 CPUtime=25.49 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5205 0 0 0 1072 1477 0 0 25 0 1 0 134407549 22650880 5041 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5530 5041 237 467 0 5061 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22120 [startup+51.1004 s] /proc/loadavg: 2.21 2.63 2.77 3/179 16340 /proc/meminfo: memFree=29864696/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=22384 CPUtime=51.1 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5263 0 0 0 3088 2022 0 0 25 0 1 0 134407549 22921216 5097 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5596 5097 237 467 0 5127 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 22384 [startup+102.306 s] /proc/loadavg: 2.08 2.52 2.72 3/179 16341 /proc/meminfo: memFree=29816420/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=22912 CPUtime=102.3 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5382 0 0 0 7109 3121 0 0 25 0 1 0 134407549 23461888 5216 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5728 5216 237 467 0 5259 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 22912 [startup+162.301 s] /proc/loadavg: 2.03 2.43 2.68 3/179 16343 /proc/meminfo: memFree=29728328/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23176 CPUtime=162.29 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5464 0 0 0 11867 4362 0 0 25 0 1 0 134407549 23732224 5298 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5794 5298 237 467 0 5325 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 23176 [startup+222.301 s] /proc/loadavg: 2.01 2.35 2.63 3/179 16345 /proc/meminfo: memFree=29675972/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23308 CPUtime=222.29 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5501 0 0 0 16603 5626 0 0 25 0 1 0 134407549 23867392 5335 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5827 5335 237 467 0 5358 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 23308 [startup+282.3 s] /proc/loadavg: 2.00 2.29 2.59 3/179 16346 /proc/meminfo: memFree=29610572/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23572 CPUtime=282.29 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5571 0 0 0 21379 6850 0 0 25 0 1 0 134407549 24137728 5405 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5893 5405 237 467 0 5424 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 23572 [startup+342.301 s] /proc/loadavg: 2.00 2.23 2.55 3/179 16347 /proc/meminfo: memFree=29543436/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23704 CPUtime=342.3 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5604 0 0 0 26152 8078 0 0 25 0 1 0 134407549 24272896 5438 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5926 5438 237 467 0 5457 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 23704 [startup+402.3 s] /proc/loadavg: 2.00 2.19 2.51 3/179 16349 /proc/meminfo: memFree=29493668/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23836 CPUtime=402.31 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5616 0 0 0 30880 9351 0 0 25 0 1 0 134407549 24408064 5450 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5959 5450 237 467 0 5490 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 23836 [startup+462.301 s] /proc/loadavg: 2.03 2.16 2.48 3/179 16351 /proc/meminfo: memFree=29413520/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23968 CPUtime=462.3 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5662 0 0 0 35635 10595 0 0 25 0 1 0 134407549 24543232 5496 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5992 5496 237 467 0 5523 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 23968 Solver just ended. Dumping a history of the last processes samples [startup+473.501 s] /proc/loadavg: 2.03 2.16 2.48 3/179 16379 /proc/meminfo: memFree=31738384/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23968 CPUtime=473.51 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5662 0 0 0 36534 10817 0 0 25 0 1 0 134407549 24543232 5496 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5992 5496 237 467 0 5523 0 Current children cumulated CPU time (s) 473.51 Current children cumulated vsize (KiB) 23968 [startup+479.9 s] /proc/loadavg: 2.02 2.15 2.47 3/179 16379 /proc/meminfo: memFree=31734112/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23968 CPUtime=479.91 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5662 0 0 0 37041 10950 0 0 25 0 1 0 134407549 24543232 5496 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5992 5496 237 467 0 5523 0 Current children cumulated CPU time (s) 479.91 Current children cumulated vsize (KiB) 23968 [startup+483.101 s] /proc/loadavg: 2.02 2.15 2.47 3/179 16379 /proc/meminfo: memFree=31728772/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23968 CPUtime=483.11 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5662 0 0 0 37299 11012 0 0 25 0 1 0 134407549 24543232 5496 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5992 5496 237 467 0 5523 0 Current children cumulated CPU time (s) 483.11 Current children cumulated vsize (KiB) 23968 [startup+484.701 s] /proc/loadavg: 2.02 2.15 2.47 3/179 16379 /proc/meminfo: memFree=31728036/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23968 CPUtime=484.7 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5662 0 0 0 37425 11045 0 0 25 0 1 0 134407549 24543232 5496 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5992 5496 237 467 0 5523 0 Current children cumulated CPU time (s) 484.7 Current children cumulated vsize (KiB) 23968 [startup+485.5 s] /proc/loadavg: 2.02 2.15 2.47 3/179 16379 /proc/meminfo: memFree=31727540/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23968 CPUtime=485.5 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5662 0 0 0 37488 11062 0 0 25 0 1 0 134407549 24543232 5496 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5992 5496 237 467 0 5523 0 Current children cumulated CPU time (s) 485.5 Current children cumulated vsize (KiB) 23968 [startup+485.9 s] /proc/loadavg: 2.02 2.15 2.47 3/179 16379 /proc/meminfo: memFree=31727540/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23968 CPUtime=485.9 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5662 0 0 0 37518 11072 0 0 25 0 1 0 134407549 24543232 5496 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5992 5496 237 467 0 5523 0 Current children cumulated CPU time (s) 485.9 Current children cumulated vsize (KiB) 23968 [startup+486.3 s] /proc/loadavg: 2.02 2.15 2.47 3/179 16379 /proc/meminfo: memFree=31724688/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=23968 CPUtime=486.31 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5662 0 0 0 37547 11084 0 0 25 0 1 0 134407549 24543232 5496 4089446400 134512640 136421960 4288759360 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5992 5496 237 467 0 5523 0 Current children cumulated CPU time (s) 486.31 Current children cumulated vsize (KiB) 23968 [startup+486.4 s] /proc/loadavg: 2.02 2.15 2.47 3/179 16379 /proc/meminfo: memFree=31724688/32951124 swapFree=67111528/67111528 [pid=16338] ppid=16336 vsize=21652 CPUtime=486.4 /proc/16338/stat : 16338 (pbct) R 16336 16338 15789 0 -1 4202496 5666 0 0 0 37554 11086 0 0 25 0 1 0 134407549 22171648 4936 4089446400 134512640 136421960 4288759360 18446744073709551615 135642735 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/16338/statm: 5413 4936 240 467 0 4944 0 Current children cumulated CPU time (s) 486.4 Current children cumulated vsize (KiB) 21652 Child status: 0 Real time (s): 486.423 CPU time (s): 486.435 CPU user time (s): 375.571 CPU system time (s): 110.864 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 23968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 375.571 system time used= 110.864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5667 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= 668 runsolver used 0.682896 second user time and 1.53677 second system time The end
Begin job on node101 at 2010-06-30 22:51:37 IDJOB=2695143 IDBENCH=79311 IDSOLVER=1208 FILE ID=node101/2695143-1277931097 PBS_JOBID= 11197392 Free space on /tmp= 74208 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695143-1277931097/watcher-2695143-1277931097 -o /tmp/evaluation-result-2695143-1277931097/solver-2695143-1277931097 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695143-1277931097.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f06e3169df6f7eed4900beba2f9ca344 RANDOM SEED=329174351 node101.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.837 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.67 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.837 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.837 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.837 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.83 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.837 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.837 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.82 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.837 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.837 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29947884 kB Buffers: 220260 kB Cached: 742684 kB SwapCached: 0 kB Active: 2305360 kB Inactive: 550024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29947884 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2016 kB Writeback: 0 kB AnonPages: 1892548 kB Mapped: 16064 kB Slab: 79320 kB PageTables: 8436 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2072680 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 node101 at 2010-06-30 22:59:43