Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 1065.81 | 1065.78 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo |
MD5SUM | c6676bcfc0f6c4806260dd430fa1f6e3 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 143.76 |
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 | 1783 |
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 | 90636 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90635 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 701 |
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.01 c constraints 11/12 clauses 913/1771 units 0 0.00/0.01 c vars 231 0.00/0.08 c 0.081987 16.6211 10 4997 0.00/0.08 o 658 0.08/0.09 c 0.085986 16.8047 16 5426 0.08/0.09 o 648 0.08/0.09 c 0.087986 16.8047 21 7583 0.08/0.09 o 564 0.08/0.11 c 0.096985 16.8047 74 8798 0.08/0.11 o 502 0.08/0.11 c 0.098984 16.8047 75 9128 0.08/0.11 o 496 0.08/0.11 c 0.101984 16.8047 76 10328 0.08/0.11 o 452 0.08/0.12 c 0.102984 16.8047 77 10738 0.08/0.12 o 449 0.08/0.12 c 0.105983 16.8047 77 11565 0.08/0.12 o 417 0.08/0.12 c 0.107983 16.8047 77 12900 0.08/0.12 o 378 0.08/0.13 c 0.110983 16.8047 77 13133 0.08/0.13 o 373 0.08/0.13 c 0.110983 16.8047 77 13405 0.08/0.13 o 365 0.08/0.13 c 0.112982 16.8047 78 14509 0.08/0.13 o 313 0.08/0.14 c 0.114982 16.8047 79 15196 0.08/0.14 o 281 0.08/0.14 c 0.117982 16.8047 81 15832 0.08/0.14 o 260 0.08/0.15 c 0.120981 16.8047 82 15981 0.08/0.15 o 259 0.08/0.15 c 0.121981 16.8047 82 16315 0.08/0.15 o 245 0.08/0.15 c 0.123981 16.8047 83 16523 0.08/0.15 o 244 0.08/0.16 c 0.12698 17.0352 86 16724 0.08/0.16 o 240 0.08/0.17 c 0.13098 17.0352 99 17124 0.08/0.17 o 223 0.18/0.21 c 0.160975 17.0352 207 17675 0.18/0.21 o 212 0.18/0.22 c 0.165974 17.0352 213 17994 0.18/0.22 o 200 0.18/0.25 c 0.182972 17.0352 248 18517 0.18/0.25 o 177 0.59/0.65 c 0.45393 17.1602 1247 20771 0.59/0.65 o 173 0.68/0.73 c 0.502923 17.1602 784 21226 0.68/0.73 o 168 0.89/0.93 c 0.610907 17.1602 593 22378 0.89/0.93 o 157 0.89/0.94 c 0.617906 17.1602 604 22686 0.89/0.94 o 149 1.09/1.17 c 0.762884 17.1602 1047 23717 1.09/1.17 o 139 1.19/1.20 c 0.781881 17.1602 1153 24312 1.19/1.20 o 131 1.19/1.20 c 0.78688 17.1602 1173 24546 1.19/1.20 o 125 1.19/1.22 c 0.796878 17.1602 634 25200 1.19/1.22 o 96 1.39/1.42 c 0.91686 17.1602 1269 26778 1.39/1.42 o 78 1.39/1.48 c 0.963853 17.1602 750 27059 1.39/1.48 o 77 2.09/2.13 c 1.40579 17.3984 995 31012 2.09/2.13 o 57 2.19/2.23 c 1.47078 17.3984 1328 31707 2.19/2.23 o 52 2.48/2.59 c 1.75273 17.5273 1881 34844 2.48/2.59 o 31 2.58/2.60 c 1.76273 17.5273 1930 34991 2.58/2.60 o 27 2.58/2.63 c 1.78173 17.5273 2065 35442 2.58/2.63 o 18 2.79/2.85 c 1.9717 17.6523 2368 37989 2.79/2.85 o 16 2.79/2.88 c 2.00069 17.6523 2564 38253 2.79/2.88 o 15 3.19/3.24 c 2.27065 17.6523 2767 42454 3.19/3.24 o 13 3.38/3.49 c 2.47862 17.6523 2407 46384 3.38/3.49 o 8 3.69/3.79 c 2.73058 17.6523 2539 50708 3.69/3.79 o 5 32.99/33.02 c 28.4627 18.5391 2664 450210 32.99/33.02 o 3 35.69/35.79 c 30.9593 18.5391 2342 489684 35.69/35.79 o 1 1065.71/1065.76 c 935.453 20.5625 2712 15254405 1065.71/1065.76 s OPTIMUM FOUND 1065.71/1065.76 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-2699302-1278459665/watcher-2699302-1278459665 -o /tmp/evaluation-result-2699302-1278459665/solver-2699302-1278459665 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699302-1278459665.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 1.97 1.77 4/178 13261 /proc/meminfo: memFree=30875616/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=2136 CPUtime=0 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 14180057 2187264 175 4089446400 134512640 136422188 4292288208 18446744073709551615 135159083 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13261/statm: 534 175 144 467 0 65 0 [startup+0.08753 s] /proc/loadavg: 2.00 1.97 1.77 4/178 13261 /proc/meminfo: memFree=30875616/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=17204 CPUtime=0.08 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 3991 0 0 0 8 0 0 0 25 0 1 0 14180057 17616896 3909 4089446400 134512640 136422188 4292288208 18446744073709551615 135022248 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13261/statm: 4301 3909 236 467 0 3832 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17204 [startup+0.100527 s] /proc/loadavg: 2.00 1.97 1.77 4/178 13261 /proc/meminfo: memFree=30875616/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=17204 CPUtime=0.08 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 3999 0 0 0 8 0 0 0 25 0 1 0 14180057 17616896 3915 4089446400 134512640 136422188 4292288208 18446744073709551615 135874787 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13261/statm: 4301 3915 236 467 0 3832 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17204 [startup+0.300492 s] /proc/loadavg: 2.00 1.97 1.77 4/178 13261 /proc/meminfo: memFree=30875616/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=17440 CPUtime=0.29 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4049 0 0 0 21 8 0 0 18 0 1 0 14180057 17858560 3946 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13261/statm: 4360 3946 236 467 0 3891 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17440 [startup+0.700421 s] /proc/loadavg: 2.00 1.97 1.77 4/178 13261 /proc/meminfo: memFree=30875616/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=17568 CPUtime=0.68 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4080 0 0 0 47 21 0 0 18 0 1 0 14180057 17989632 3976 4089446400 134512640 136422188 4292288208 18446744073709551615 135028396 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13261/statm: 4392 3976 236 467 0 3923 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 17568 [startup+1.50028 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13262 /proc/meminfo: memFree=30860616/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=17568 CPUtime=1.49 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4098 0 0 0 97 52 0 0 18 0 1 0 14180057 17989632 3985 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 4392 3985 236 467 0 3923 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17568 [startup+3.101 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13262 /proc/meminfo: memFree=30860616/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=18072 CPUtime=3.08 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4223 0 0 0 216 92 0 0 20 0 1 0 14180057 18505728 4103 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 4518 4103 236 467 0 4049 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 18072 [startup+6.30043 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13289 /proc/meminfo: memFree=30861224/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=18464 CPUtime=6.28 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4325 0 0 0 495 133 0 0 25 0 1 0 14180057 18907136 4202 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 4616 4202 236 467 0 4147 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18464 [startup+12.7003 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13290 /proc/meminfo: memFree=30852564/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=18592 CPUtime=12.69 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4358 0 0 0 1055 214 0 0 25 0 1 0 14180057 19038208 4235 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 4648 4235 236 467 0 4179 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18592 [startup+25.501 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13290 /proc/meminfo: memFree=30853704/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=18852 CPUtime=25.49 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4414 0 0 0 2175 374 0 0 25 0 1 0 14180057 19304448 4291 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 4713 4291 236 467 0 4244 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18852 [startup+51.1005 s] /proc/loadavg: 2.00 1.97 1.78 3/179 13290 /proc/meminfo: memFree=30853040/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=19108 CPUtime=51.09 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4474 0 0 0 4446 663 0 0 25 0 1 0 14180057 19566592 4349 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 4777 4349 236 467 0 4308 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 19108 [startup+102.305 s] /proc/loadavg: 2.00 1.97 1.79 3/179 13292 /proc/meminfo: memFree=30852228/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=19460 CPUtime=102.29 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4560 0 0 0 8827 1402 0 0 25 0 1 0 14180057 19927040 4435 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 4865 4435 236 467 0 4396 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 19460 [startup+162.301 s] /proc/loadavg: 2.00 1.97 1.80 3/179 13294 /proc/meminfo: memFree=30851316/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=19792 CPUtime=162.29 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4664 0 0 0 14066 2163 0 0 25 0 1 0 14180057 20267008 4534 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 4948 4534 236 467 0 4479 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 19792 [startup+222.3 s] /proc/loadavg: 2.07 1.99 1.82 3/179 13295 /proc/meminfo: memFree=30851520/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=19792 CPUtime=222.29 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4665 0 0 0 19313 2916 0 0 25 0 1 0 14180057 20267008 4535 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 4948 4535 236 467 0 4479 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 19792 [startup+282.301 s] /proc/loadavg: 2.02 1.99 1.82 3/179 13296 /proc/meminfo: memFree=30850988/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20160 CPUtime=282.29 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4749 0 0 0 24671 3558 0 0 25 0 1 0 14180057 20643840 4619 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5040 4619 236 467 0 4571 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 20160 [startup+342.3 s] /proc/loadavg: 2.01 1.99 1.83 3/179 13298 /proc/meminfo: memFree=30850588/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20332 CPUtime=342.3 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4800 0 0 0 30031 4199 0 0 25 0 1 0 14180057 20819968 4670 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5083 4670 236 467 0 4614 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 20332 [startup+402.301 s] /proc/loadavg: 2.05 2.00 1.84 3/179 13300 /proc/meminfo: memFree=30850792/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20332 CPUtime=402.29 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4803 0 0 0 35204 5025 0 0 25 0 1 0 14180057 20819968 4673 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5083 4673 236 467 0 4614 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 20332 [startup+462.301 s] /proc/loadavg: 2.02 2.00 1.85 3/179 13302 /proc/meminfo: memFree=30850632/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20464 CPUtime=462.3 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4830 0 0 0 40438 5792 0 0 25 0 1 0 14180057 20955136 4700 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5116 4700 236 467 0 4647 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 20464 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.85 3/179 13303 /proc/meminfo: memFree=30850220/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20596 CPUtime=522.3 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4871 0 0 0 45728 6502 0 0 25 0 1 0 14180057 21090304 4741 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5149 4741 236 467 0 4680 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 20596 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.86 3/179 13304 /proc/meminfo: memFree=30850056/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20812 CPUtime=582.3 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4923 0 0 0 51090 7140 0 0 25 0 1 0 14180057 21311488 4793 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5203 4793 236 467 0 4734 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 20812 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.86 3/179 13306 /proc/meminfo: memFree=30849892/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20812 CPUtime=642.31 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4923 0 0 0 56447 7784 0 0 25 0 1 0 14180057 21311488 4793 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5203 4793 236 467 0 4734 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 20812 [startup+702.301 s] /proc/loadavg: 2.00 2.00 1.87 3/179 13308 /proc/meminfo: memFree=30849964/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20812 CPUtime=702.3 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4927 0 0 0 61760 8470 0 0 25 0 1 0 14180057 21311488 4797 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5203 4797 236 467 0 4734 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 20812 [startup+762.306 s] /proc/loadavg: 2.00 2.00 1.88 3/179 13310 /proc/meminfo: memFree=30849928/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20932 CPUtime=762.32 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4950 0 0 0 66999 9233 0 0 25 0 1 0 14180057 21434368 4820 4089446400 134512640 136422188 4292288208 18446744073709551615 135006617 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5233 4820 236 467 0 4764 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 20932 [startup+822.3 s] /proc/loadavg: 2.04 2.01 1.89 3/179 13311 /proc/meminfo: memFree=30850008/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20932 CPUtime=822.31 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4950 0 0 0 72172 10059 0 0 25 0 1 0 14180057 21434368 4820 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5233 4820 236 467 0 4764 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 20932 [startup+882.301 s] /proc/loadavg: 2.01 2.01 1.89 3/179 13312 /proc/meminfo: memFree=30849712/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=20932 CPUtime=882.31 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4957 0 0 0 77397 10834 0 0 25 0 1 0 14180057 21434368 4827 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5233 4827 236 467 0 4764 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 20932 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.90 3/179 13314 /proc/meminfo: memFree=30849412/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=21052 CPUtime=942.31 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 82730 11501 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5263 4857 236 467 0 4794 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 21052 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13316 /proc/meminfo: memFree=30849612/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=21052 CPUtime=1002.31 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 87977 12254 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5263 4857 236 467 0 4794 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 21052 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13318 /proc/meminfo: memFree=30849692/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=21052 CPUtime=1062.31 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 93234 12997 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5263 4857 236 467 0 4794 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 21052 Solver just ended. Dumping a history of the last processes samples [startup+1063.9 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13318 /proc/meminfo: memFree=30849692/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=21052 CPUtime=1063.91 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 93378 13013 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5263 4857 236 467 0 4794 0 Current children cumulated CPU time (s) 1063.91 Current children cumulated vsize (KiB) 21052 [startup+1064.7 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13318 /proc/meminfo: memFree=30849692/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=21052 CPUtime=1064.71 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 93450 13021 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5263 4857 236 467 0 4794 0 Current children cumulated CPU time (s) 1064.71 Current children cumulated vsize (KiB) 21052 [startup+1065.5 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13318 /proc/meminfo: memFree=30849692/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=21052 CPUtime=1065.51 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 93521 13030 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5263 4857 236 467 0 4794 0 Current children cumulated CPU time (s) 1065.51 Current children cumulated vsize (KiB) 21052 [startup+1065.7 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13318 /proc/meminfo: memFree=30849692/32950928 swapFree=67111528/67111528 [pid=13261] ppid=13259 vsize=21052 CPUtime=1065.71 /proc/13261/stat : 13261 (pbct) R 13259 13261 12918 0 -1 4202496 4987 0 0 0 93539 13032 0 0 25 0 1 0 14180057 21557248 4857 4089446400 134512640 136422188 4292288208 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13261/statm: 5263 4857 236 467 0 4794 0 Current children cumulated CPU time (s) 1065.71 Current children cumulated vsize (KiB) 21052 Child status: 0 Real time (s): 1065.78 CPU time (s): 1065.81 CPU user time (s): 935.47 CPU system time (s): 130.336 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 21060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 935.47 system time used= 130.336 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4992 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= 5 involuntary context switches= 1588 runsolver used 1.50777 second user time and 3.34549 second system time The end
Begin job on node120 at 2010-07-07 01:41:05 IDJOB=2699302 IDBENCH=78894 IDSOLVER=1212 FILE ID=node120/2699302-1278459665 PBS_JOBID= 11233753 Free space on /tmp= 73788 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699302-1278459665/watcher-2699302-1278459665 -o /tmp/evaluation-result-2699302-1278459665/solver-2699302-1278459665 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699302-1278459665.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c6676bcfc0f6c4806260dd430fa1f6e3 RANDOM SEED=2108762733 node120.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.813 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.62 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.813 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.82 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.813 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.813 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.813 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.78 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.813 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 : 5363.42 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.813 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.76 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.813 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: 32950928 kB MemFree: 30876136 kB Buffers: 106976 kB Cached: 1762464 kB SwapCached: 0 kB Active: 772920 kB Inactive: 1166632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30876136 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1960 kB Writeback: 0 kB AnonPages: 70260 kB Mapped: 15820 kB Slab: 72360 kB PageTables: 4792 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 212892 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= 73784 MiB End job on node120 at 2010-07-07 01:58:51