Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.03 | 1800.01 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo |
MD5SUM | cb2e0a6db987ecdc06dc4066ca6b4222 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 584.43 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1804 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 90822 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90821 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 717 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 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 6/17 clauses 897/1787 units 0 0.00/0.01 c vars 231 0.04/0.08 c 0.072988 16.7109 5 6965 0.04/0.08 o 565 0.04/0.09 c 0.079987 17.1016 39 8131 0.04/0.09 o 562 0.09/0.10 c 0.079987 17.1016 71 8775 0.09/0.10 o 537 0.09/0.11 c 0.081987 17.1016 72 10247 0.09/0.11 o 462 0.09/0.11 c 0.081987 17.1016 74 11663 0.09/0.11 o 393 0.09/0.13 c 0.089986 17.1016 171 12270 0.09/0.13 o 377 0.09/0.17 c 0.100984 17.1016 236 12692 0.09/0.17 o 371 0.19/0.20 c 0.104984 17.1016 312 13500 0.19/0.20 o 343 0.19/0.28 c 0.124981 17.1016 526 14245 0.19/0.28 o 342 0.29/0.31 c 0.132979 17.1016 629 14943 0.29/0.31 o 321 0.29/0.32 c 0.133979 17.1016 634 15206 0.29/0.32 o 313 0.29/0.39 c 0.144977 17.1016 862 16328 0.29/0.39 o 286 0.59/0.64 c 0.200969 17.2266 937 18315 0.59/0.64 o 269 0.69/0.77 c 0.224965 17.2266 648 19462 0.69/0.77 o 263 0.79/0.87 c 0.236963 17.2266 894 20508 0.79/0.87 o 251 0.89/0.90 c 0.242963 17.2266 978 20910 0.89/0.90 o 244 0.89/0.95 c 0.245962 17.2266 1105 21608 0.89/0.95 o 233 1.29/1.37 c 0.319951 17.2266 990 24660 1.29/1.37 o 217 1.49/1.52 c 0.337948 17.2266 762 25962 1.49/1.52 o 199 1.99/2.03 c 0.437933 17.2266 820 29005 1.99/2.03 o 188 2.79/2.82 c 0.573912 17.2266 996 33985 2.79/2.82 o 173 3.39/3.45 c 0.732888 17.6094 1140 37682 3.39/3.45 o 165 3.99/4.00 c 0.835872 17.6094 727 40738 3.99/4.00 o 163 3.99/4.02 c 0.837872 17.6094 759 41667 3.99/4.02 o 118 4.89/4.90 c 1.02484 17.6094 1069 45384 4.89/4.90 o 107 6.90/6.92 c 1.68074 17.6094 906 54270 6.90/6.92 o 95 7.49/7.52 c 1.91471 17.6094 1184 58696 7.49/7.52 o 91 7.49/7.57 c 1.92771 17.6094 703 59240 7.49/7.57 o 76 7.99/8.02 c 2.08568 17.6094 1118 61793 7.99/8.02 o 68 8.19/8.29 c 2.19067 17.6094 1112 63579 8.19/8.29 o 63 8.59/8.67 c 2.34264 17.6094 1672 66071 8.59/8.67 o 61 9.59/9.66 c 2.79157 17.7344 2004 73489 9.59/9.66 o 60 14.00/14.00 c 4.85226 17.7344 1646 104263 14.00/14.00 o 56 16.50/16.53 c 6.13907 18.1172 2082 124960 16.50/16.53 o 55 16.50/16.55 c 6.15606 18.1172 1195 125501 16.50/16.55 o 43 19.69/19.74 c 7.8818 18.2461 1287 155619 19.69/19.74 o 22 20.10/20.16 c 8.15376 18.2461 1982 160844 20.10/20.16 o 17 27.59/27.66 c 13.379 18.3477 2199 260476 27.59/27.66 o 15 36.89/36.99 c 19.94 18.3477 1980 396289 36.89/36.99 o 14 57.59/57.69 c 34.5357 18.3477 2357 680555 57.59/57.69 o 12 65.19/65.29 c 39.9649 18.3477 2367 784926 65.19/65.29 o 7 93.40/93.50 c 61.3777 18.9922 2917 1181424 93.40/93.50 o 3 1800.02/1800.00 s SATISFIABLE 1800.02/1800.00 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 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699419-1278461052/watcher-2699419-1278461052 -o /tmp/evaluation-result-2699419-1278461052/solver-2699419-1278461052 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699419-1278461052.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.91 3/178 12057 /proc/meminfo: memFree=29771132/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=2136 CPUtime=0 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 256 0 0 0 0 0 0 0 21 0 1 0 14318312 2187264 175 4089446400 134512640 136422188 4294805248 18446744073709551615 135642115 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12057/statm: 534 175 144 467 0 65 0 [startup+0.0456829 s] /proc/loadavg: 2.00 2.00 1.91 3/178 12057 /proc/meminfo: memFree=29771132/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=10556 CPUtime=0.04 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 2284 0 0 0 4 0 0 0 21 0 1 0 14318312 10809344 2203 4089446400 134512640 136422188 4294805248 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 2639 2208 193 467 0 2170 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10556 [startup+0.100674 s] /proc/loadavg: 2.00 2.00 1.91 3/178 12057 /proc/meminfo: memFree=29771132/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=17508 CPUtime=0.09 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4049 0 0 0 7 2 0 0 21 0 1 0 14318312 17928192 3966 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4377 3966 236 467 0 3908 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17508 [startup+0.300638 s] /proc/loadavg: 2.00 2.00 1.91 3/178 12057 /proc/meminfo: memFree=29771132/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=17508 CPUtime=0.29 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4057 0 0 0 12 17 0 0 21 0 1 0 14318312 17928192 3967 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4377 3967 237 467 0 3908 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17508 [startup+0.700579 s] /proc/loadavg: 2.00 2.00 1.91 3/178 12057 /proc/meminfo: memFree=29771132/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=17636 CPUtime=0.69 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4077 0 0 0 21 48 0 0 22 0 1 0 14318312 18059264 3983 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4409 3983 237 467 0 3940 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17636 [startup+1.50044 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12058 /proc/meminfo: memFree=29756120/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=17636 CPUtime=1.49 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4087 0 0 0 33 116 0 0 25 0 1 0 14318312 18059264 3988 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4409 3988 237 467 0 3940 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17636 [startup+3.10014 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12059 /proc/meminfo: memFree=29755624/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=17896 CPUtime=3.09 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4160 0 0 0 64 245 0 0 25 0 1 0 14318312 18325504 4058 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4474 4058 237 467 0 4005 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17896 [startup+6.30058 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12087 /proc/meminfo: memFree=29956296/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=18028 CPUtime=6.29 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4197 0 0 0 146 483 0 0 25 0 1 0 14318312 18460672 4091 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4507 4091 237 467 0 4038 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18028 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12087 /proc/meminfo: memFree=29956456/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=18156 CPUtime=12.69 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4248 0 0 0 425 844 0 0 25 0 1 0 14318312 18591744 4135 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4539 4135 237 467 0 4070 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18156 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12087 /proc/meminfo: memFree=29956660/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=18784 CPUtime=25.49 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4395 0 0 0 1185 1364 0 0 25 0 1 0 14318312 19234816 4277 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4696 4277 237 467 0 4227 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18784 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12087 /proc/meminfo: memFree=29955804/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=18784 CPUtime=51.09 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4397 0 0 0 2979 2130 0 0 25 0 1 0 14318312 19234816 4277 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4696 4277 237 467 0 4227 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 18784 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12089 /proc/meminfo: memFree=29954908/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=19572 CPUtime=102.29 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4595 0 0 0 6835 3394 0 0 25 0 1 0 14318312 20041728 4472 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4893 4472 237 467 0 4424 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 19572 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12091 /proc/meminfo: memFree=29954240/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=19960 CPUtime=162.29 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4694 0 0 0 11553 4676 0 0 25 0 1 0 14318312 20439040 4571 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 4990 4571 237 467 0 4521 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 19960 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12092 /proc/meminfo: memFree=29954300/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=20128 CPUtime=222.29 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4757 0 0 0 16259 5970 0 0 25 0 1 0 14318312 20611072 4628 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5032 4628 237 467 0 4563 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 20128 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12093 /proc/meminfo: memFree=29954264/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=20388 CPUtime=282.3 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4818 0 0 0 20979 7251 0 0 25 0 1 0 14318312 20877312 4689 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5097 4689 237 467 0 4628 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 20388 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12095 /proc/meminfo: memFree=29954208/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=20612 CPUtime=342.3 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4860 0 0 0 25735 8495 0 0 25 0 1 0 14318312 21106688 4730 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5153 4730 237 467 0 4684 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 20612 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12097 /proc/meminfo: memFree=29954164/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=20608 CPUtime=402.3 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4877 0 0 0 30476 9754 0 0 25 0 1 0 14318312 21102592 4745 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5152 4745 237 467 0 4683 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 20608 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12099 /proc/meminfo: memFree=29953856/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=20748 CPUtime=462.3 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4931 0 0 0 35211 11019 0 0 25 0 1 0 14318312 21245952 4783 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5187 4783 237 467 0 4718 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 20748 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12100 /proc/meminfo: memFree=29953936/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=20876 CPUtime=522.3 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 4949 0 0 0 39935 12295 0 0 25 0 1 0 14318312 21377024 4801 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5219 4801 237 467 0 4750 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 20876 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12101 /proc/meminfo: memFree=29953620/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=20980 CPUtime=582.3 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5043 0 0 0 44714 13516 0 0 25 0 1 0 14318312 21483520 4841 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5245 4841 237 467 0 4776 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 20980 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12103 /proc/meminfo: memFree=29953568/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21100 CPUtime=642.31 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5070 0 0 0 49459 14772 0 0 25 0 1 0 14318312 21606400 4868 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5275 4868 237 467 0 4806 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 21100 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12108 /proc/meminfo: memFree=29952792/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21372 CPUtime=822.31 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5140 0 0 0 63707 18524 0 0 25 0 1 0 14318312 21884928 4938 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5343 4938 237 467 0 4874 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 21372 [startup+882.301 s] /proc/loadavg: 2.07 2.02 1.91 3/179 12112 /proc/meminfo: memFree=29951720/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21384 CPUtime=882.31 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5162 0 0 0 68487 19744 0 0 25 0 1 0 14318312 21897216 4942 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5346 4942 237 467 0 4877 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 21384 [startup+942.3 s] /proc/loadavg: 2.02 2.01 1.91 3/179 12114 /proc/meminfo: memFree=29951488/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21440 CPUtime=942.3 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5182 0 0 0 73241 20989 0 0 25 0 1 0 14318312 21954560 4949 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5360 4949 237 467 0 4891 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 21440 [startup+1002.3 s] /proc/loadavg: 2.01 2.00 1.91 3/179 12116 /proc/meminfo: memFree=29951692/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21440 CPUtime=1002.31 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5182 0 0 0 77972 22259 0 0 25 0 1 0 14318312 21954560 4949 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5360 4949 237 467 0 4891 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 21440 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12118 /proc/meminfo: memFree=29951640/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21440 CPUtime=1062.31 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5182 0 0 0 82628 23603 0 0 25 0 1 0 14318312 21954560 4949 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5360 4949 237 467 0 4891 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 21440 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12173 /proc/meminfo: memFree=27112604/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21692 CPUtime=1122.3 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5244 0 0 0 87311 24919 0 0 25 0 1 0 14318312 22212608 4991 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5423 4991 237 467 0 4954 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 21692 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12174 /proc/meminfo: memFree=26988076/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21740 CPUtime=1182.31 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5295 0 0 0 91848 26383 0 0 25 0 1 0 14318312 22261760 5019 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5435 5019 237 467 0 4966 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 21740 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12176 /proc/meminfo: memFree=26983680/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21824 CPUtime=1242.3 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5323 0 0 0 96342 27888 0 0 25 0 1 0 14318312 22347776 5042 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5456 5042 237 467 0 4987 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 21824 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 12178 /proc/meminfo: memFree=26980036/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21844 CPUtime=1302.31 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5349 0 0 0 100869 29362 0 0 25 0 1 0 14318312 22368256 5051 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5461 5051 237 467 0 4992 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 21844 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 1.92 3/179 12180 /proc/meminfo: memFree=26977232/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21972 CPUtime=1362.31 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5377 0 0 0 105327 30904 0 0 25 0 1 0 14318312 22499328 5079 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5493 5079 237 467 0 5024 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 21972 [startup+1422.31 s] /proc/loadavg: 2.07 2.02 1.93 3/179 12181 /proc/meminfo: memFree=26975684/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21972 CPUtime=1422.32 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5379 0 0 0 109859 32373 0 0 25 0 1 0 14318312 22499328 5081 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5493 5081 237 467 0 5024 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 21972 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 1.93 3/179 12182 /proc/meminfo: memFree=26974508/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=21972 CPUtime=1482.32 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5381 0 0 0 114374 33858 0 0 25 0 1 0 14318312 22499328 5083 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5493 5083 237 467 0 5024 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 21972 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 1.93 3/179 12184 /proc/meminfo: memFree=26973328/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=22076 CPUtime=1542.32 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5389 0 0 0 118891 35341 0 0 25 0 1 0 14318312 22605824 5091 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5519 5091 237 467 0 5050 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 22076 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.93 3/179 12186 /proc/meminfo: memFree=26972424/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=22076 CPUtime=1602.32 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5391 0 0 0 123384 36848 0 0 25 0 1 0 14318312 22605824 5093 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5519 5093 237 467 0 5050 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 22076 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12188 /proc/meminfo: memFree=26971740/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=22076 CPUtime=1662.32 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5391 0 0 0 127891 38341 0 0 25 0 1 0 14318312 22605824 5093 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5519 5093 237 467 0 5050 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 22076 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12189 /proc/meminfo: memFree=26970692/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=22076 CPUtime=1722.32 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5400 0 0 0 132399 39833 0 0 25 0 1 0 14318312 22605824 5102 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12057/statm: 5519 5102 237 467 0 5050 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 22076 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12190 /proc/meminfo: memFree=26969520/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=22076 CPUtime=1782.32 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5409 0 0 0 136918 41314 0 0 25 0 1 0 14318312 22605824 5111 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5519 5111 237 467 0 5050 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 22076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.93 3/179 12191 /proc/meminfo: memFree=26968880/32951124 swapFree=67111528/67111528 [pid=12057] ppid=12055 vsize=22076 CPUtime=1800.02 /proc/12057/stat : 12057 (pbct) R 12055 12057 11829 0 -1 4202496 5410 0 0 0 138243 41759 0 0 25 0 1 0 14318312 22605824 5112 4089446400 134512640 136422188 4294805248 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12057/statm: 5519 5112 237 467 0 5050 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 22076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.01 CPU time (s): 1800.03 CPU user time (s): 1382.44 CPU system time (s): 417.599 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 22100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1382.44 system time used= 417.599 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5411 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= 6544 runsolver used 2.55161 second user time and 5.64114 second system time The end
Begin job on node136 at 2010-07-07 02:04:12 IDJOB=2699419 IDBENCH=78956 IDSOLVER=1212 FILE ID=node136/2699419-1278461052 PBS_JOBID= 11233721 Free space on /tmp= 73820 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699419-1278461052/watcher-2699419-1278461052 -o /tmp/evaluation-result-2699419-1278461052/solver-2699419-1278461052 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699419-1278461052.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cb2e0a6db987ecdc06dc4066ca6b4222 RANDOM SEED=497687041 node136.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.834 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.66 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.834 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.834 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.74 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.834 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.82 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.834 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 : 5426.48 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.834 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.83 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.834 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.67 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.834 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29771776 kB Buffers: 105824 kB Cached: 2659948 kB SwapCached: 0 kB Active: 730212 kB Inactive: 2310468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29771776 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2076 kB Writeback: 0 kB AnonPages: 274952 kB Mapped: 15448 kB Slab: 73228 kB PageTables: 5604 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 417268 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= 73804 MiB End job on node136 at 2010-07-07 02:34:14