Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.04 | 1800.01 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo |
MD5SUM | 68083219a398085883a8cf7e46688b9f |
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 | 488.736 |
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 | 134314 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 134313 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 641 |
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 0/23 clauses 0/2684 units 0 0.00/0.01 c vars 231 0.09/0.10 c 0.094985 20 16 8173 0.09/0.10 o 676 0.09/0.11 c 0.097985 20.2344 18 10301 0.09/0.11 o 647 0.09/0.11 c 0.097985 20.4688 18 12978 0.09/0.11 o 570 0.09/0.17 c 0.134979 20.4688 123 14963 0.09/0.17 o 530 0.09/0.18 c 0.143978 20.4688 138 15242 0.09/0.18 o 528 0.09/0.19 c 0.147977 20.4688 138 16139 0.09/0.19 o 502 0.09/0.19 c 0.151976 20.4688 138 16389 0.09/0.19 o 499 0.19/0.20 c 0.153976 20.4688 139 18027 0.19/0.20 o 456 0.19/0.20 c 0.155976 20.4688 140 18499 0.19/0.20 o 446 0.19/0.21 c 0.160975 20.4688 141 18710 0.19/0.21 o 443 0.19/0.24 c 0.182972 20.4688 171 19225 0.19/0.24 o 434 0.19/0.26 c 0.19597 20.4688 196 20220 0.19/0.26 o 405 0.19/0.27 c 0.198969 20.4688 200 21071 0.19/0.27 o 382 0.39/0.41 c 0.275958 20.4688 395 22025 0.39/0.41 o 381 0.39/0.42 c 0.276957 20.4688 397 22844 0.39/0.42 o 360 0.39/0.42 c 0.278957 20.4688 399 23482 0.39/0.42 o 345 0.39/0.44 c 0.286956 20.4688 413 23714 0.39/0.44 o 344 0.69/0.77 c 0.487925 20.4688 819 25277 0.69/0.77 o 342 0.69/0.79 c 0.500923 20.4688 840 25666 0.69/0.79 o 336 0.79/0.84 c 0.529919 20.4688 890 25949 0.79/0.84 o 333 0.99/1.09 c 0.664898 20.4688 628 27168 0.99/1.09 o 329 1.10/1.10 c 0.673897 20.4688 643 27474 1.10/1.10 o 328 1.19/1.25 c 0.771882 20.4688 850 28481 1.19/1.25 o 317 1.39/1.41 c 0.871867 20.4688 1106 30621 1.39/1.41 o 291 1.39/1.44 c 0.890864 20.4688 1133 31323 1.39/1.44 o 273 1.39/1.46 c 0.896863 20.4688 1152 31995 1.39/1.46 o 255 1.89/1.99 c 1.23081 20.4688 1175 34536 1.89/1.99 o 247 2.20/2.25 c 1.39579 20.4688 925 35976 2.20/2.25 o 244 2.20/2.27 c 1.41379 20.4688 1030 37451 2.20/2.27 o 205 2.89/2.96 c 1.84372 20.5977 691 40268 2.89/2.96 o 186 2.89/2.98 c 1.85172 20.5977 707 40480 2.89/2.98 o 184 3.30/3.31 c 2.06768 20.5977 1159 41880 3.30/3.31 o 180 5.69/5.72 c 3.56546 20.7266 1051 49547 5.69/5.72 o 161 5.69/5.73 c 3.57046 20.7266 1053 49925 5.69/5.73 o 151 5.69/5.74 c 3.57446 20.7266 1055 50159 5.69/5.74 o 147 5.69/5.74 c 3.58046 20.7266 1058 50322 5.69/5.74 o 145 5.69/5.75 c 3.58446 20.7266 1062 50534 5.69/5.75 o 141 5.69/5.76 c 3.59245 20.7266 1069 50705 5.69/5.76 o 138 5.79/5.80 c 3.61745 20.7266 1120 51484 5.79/5.80 o 117 5.79/5.86 c 3.65844 20.7266 646 52159 5.79/5.86 o 107 5.79/5.89 c 3.67644 20.7266 704 52328 5.79/5.89 o 106 5.89/5.91 c 3.69744 20.7266 769 52701 5.89/5.91 o 97 5.99/6.00 c 3.76843 20.7266 937 53107 5.99/6.00 o 96 6.19/6.21 c 3.89541 20.7266 738 54334 6.19/6.21 o 94 6.69/6.71 c 4.22636 20.7266 946 56918 6.69/6.71 o 79 7.20/7.24 c 4.56131 20.7266 1073 59197 7.20/7.24 o 64 7.49/7.50 c 4.73628 20.7266 1620 60266 7.49/7.50 o 61 7.49/7.58 c 4.79327 20.7266 1792 60844 7.49/7.58 o 56 7.79/7.89 c 4.99624 20.8555 1434 62526 7.79/7.89 o 51 8.39/8.48 c 5.40818 20.9844 1732 65917 8.39/8.48 o 31 11.49/11.54 c 7.84381 22.5312 3166 85093 11.49/11.54 o 23 14.20/14.29 c 10.0445 22.5312 3008 106644 14.20/14.29 o 16 15.99/16.02 c 11.4933 22.5312 2255 124088 15.99/16.02 o 10 17.39/17.42 c 12.7031 22.5312 3308 138900 17.39/17.42 o 7 21.50/21.56 c 16.3895 22.5312 3652 186509 21.50/21.56 o 6 25.39/25.43 c 19.869 22.5312 2769 232633 25.39/25.43 o 5 25.79/25.89 c 20.2839 22.5312 3293 238892 25.79/25.89 o 2 28.80/28.88 c 23.0195 22.5312 2415 280949 28.80/28.88 o 1 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 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698797-1278464516/watcher-2698797-1278464516 -o /tmp/evaluation-result-2698797-1278464516/solver-2698797-1278464516 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698797-1278464516.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.94 4/178 13280 /proc/meminfo: memFree=30671188/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=2136 CPUtime=0 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14664740 2187264 173 4089446400 134512640 136422188 4289260336 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13280/statm: 534 173 144 467 0 65 0 [startup+0.0975969 s] /proc/loadavg: 1.92 1.98 1.94 4/178 13280 /proc/meminfo: memFree=30671188/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=20476 CPUtime=0.08 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4753 0 0 0 8 0 0 0 25 0 1 0 14664740 20967424 4640 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5119 4640 213 467 0 4650 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 20476 [startup+0.100596 s] /proc/loadavg: 1.92 1.98 1.94 4/178 13280 /proc/meminfo: memFree=30671188/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=20476 CPUtime=0.09 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4753 0 0 0 9 0 0 0 25 0 1 0 14664740 20967424 4640 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5119 4640 213 467 0 4650 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20476 [startup+0.30056 s] /proc/loadavg: 1.92 1.98 1.94 4/178 13280 /proc/meminfo: memFree=30671188/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=20956 CPUtime=0.29 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4856 0 0 0 21 8 0 0 25 0 1 0 14664740 21458944 4730 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5239 4730 236 467 0 4770 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20956 [startup+0.700495 s] /proc/loadavg: 1.92 1.98 1.94 4/178 13280 /proc/meminfo: memFree=30671188/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=20956 CPUtime=0.69 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4861 0 0 0 44 25 0 0 25 0 1 0 14664740 21458944 4731 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5239 4731 237 467 0 4770 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20956 [startup+1.50036 s] /proc/loadavg: 1.92 1.98 1.94 3/179 13281 /proc/meminfo: memFree=30652952/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=20956 CPUtime=1.49 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4886 0 0 0 92 57 0 0 18 0 1 0 14664740 21458944 4747 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5239 4747 237 467 0 4770 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20956 [startup+3.10109 s] /proc/loadavg: 1.92 1.98 1.94 3/179 13281 /proc/meminfo: memFree=30652580/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=21088 CPUtime=3.1 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4902 0 0 0 193 117 0 0 20 0 1 0 14664740 21594112 4758 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5272 4758 237 467 0 4803 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 21088 [startup+6.30055 s] /proc/loadavg: 1.93 1.98 1.94 3/179 13281 /proc/meminfo: memFree=30652552/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=21220 CPUtime=6.29 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 4962 0 0 0 395 234 0 0 25 0 1 0 14664740 21729280 4805 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5305 4805 237 467 0 4836 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21220 [startup+12.7005 s] /proc/loadavg: 1.93 1.98 1.94 3/179 13282 /proc/meminfo: memFree=30650696/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=23068 CPUtime=12.69 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5429 0 0 0 878 391 0 0 25 0 1 0 14664740 23621632 5265 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5767 5265 237 467 0 5298 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23068 [startup+25.5003 s] /proc/loadavg: 1.95 1.98 1.94 3/179 13282 /proc/meminfo: memFree=30650604/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=23068 CPUtime=25.49 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5434 0 0 0 1993 556 0 0 25 0 1 0 14664740 23621632 5265 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5767 5265 237 467 0 5298 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23068 [startup+51.101 s] /proc/loadavg: 1.96 1.98 1.94 3/179 13283 /proc/meminfo: memFree=30650684/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=23068 CPUtime=51.09 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5436 0 0 0 4325 784 0 0 25 0 1 0 14664740 23621632 5265 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5767 5265 237 467 0 5298 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 23068 [startup+102.305 s] /proc/loadavg: 1.98 1.98 1.94 3/179 13284 /proc/meminfo: memFree=30649908/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=23204 CPUtime=102.29 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5476 0 0 0 9014 1215 0 0 25 0 1 0 14664740 23760896 5305 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5801 5305 237 467 0 5332 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 23204 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.94 3/179 13286 /proc/meminfo: memFree=30649496/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=23608 CPUtime=162.29 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5587 0 0 0 14488 1741 0 0 25 0 1 0 14664740 24174592 5416 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5902 5416 237 467 0 5433 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 23608 [startup+222.3 s] /proc/loadavg: 2.05 2.00 1.94 3/179 13287 /proc/meminfo: memFree=30648836/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=23876 CPUtime=222.3 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5652 0 0 0 19976 2254 0 0 25 0 1 0 14664740 24449024 5481 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 5969 5481 237 467 0 5500 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 23876 [startup+282.301 s] /proc/loadavg: 2.02 2.00 1.94 3/179 13289 /proc/meminfo: memFree=30648656/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=24140 CPUtime=282.3 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5715 0 0 0 25476 2754 0 0 25 0 1 0 14664740 24719360 5544 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6035 5544 237 467 0 5566 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 24140 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 13291 /proc/meminfo: memFree=30647868/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=24404 CPUtime=342.29 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5760 0 0 0 30982 3247 0 0 25 0 1 0 14664740 24989696 5589 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6101 5589 237 467 0 5632 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 24404 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 13292 /proc/meminfo: memFree=30647812/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=24404 CPUtime=402.3 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5781 0 0 0 36495 3735 0 0 25 0 1 0 14664740 24989696 5610 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6101 5610 237 467 0 5632 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 24404 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 13294 /proc/meminfo: memFree=30647768/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=24536 CPUtime=462.3 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5799 0 0 0 41979 4251 0 0 25 0 1 0 14664740 25124864 5628 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6134 5628 237 467 0 5665 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 24536 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.94 3/179 13295 /proc/meminfo: memFree=30647616/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=24684 CPUtime=522.3 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5818 0 0 0 47450 4780 0 0 25 0 1 0 14664740 25276416 5647 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6171 5647 237 467 0 5702 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 24684 [startup+582.3 s] /proc/loadavg: 2.07 2.02 1.95 3/179 13297 /proc/meminfo: memFree=30647308/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=24816 CPUtime=582.3 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5869 0 0 0 52950 5280 0 0 25 0 1 0 14664740 25411584 5698 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6204 5698 237 467 0 5735 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 24816 [startup+642.3 s] /proc/loadavg: 2.02 2.01 1.95 3/179 13299 /proc/meminfo: memFree=30646640/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=24816 CPUtime=642.31 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5884 0 0 0 58436 5795 0 0 25 0 1 0 14664740 25411584 5713 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6204 5713 237 467 0 5735 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 24816 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13303 /proc/meminfo: memFree=30645644/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25092 CPUtime=822.31 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5948 0 0 0 74933 7298 0 0 25 0 1 0 14664740 25694208 5777 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6273 5777 237 467 0 5804 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 25092 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13305 /proc/meminfo: memFree=30645348/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25188 CPUtime=882.3 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5995 0 0 0 80433 7797 0 0 25 0 1 0 14664740 25792512 5810 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6297 5810 237 467 0 5828 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 25188 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13307 /proc/meminfo: memFree=30645536/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25188 CPUtime=942.3 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 5996 0 0 0 85949 8281 0 0 25 0 1 0 14664740 25792512 5811 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6297 5811 237 467 0 5828 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 25188 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13308 /proc/meminfo: memFree=30645480/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25320 CPUtime=1002.3 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6004 0 0 0 91431 8799 0 0 25 0 1 0 14664740 25927680 5819 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6330 5819 237 467 0 5861 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 25320 [startup+1062.3 s] /proc/loadavg: 2.03 2.01 1.95 3/179 13313 /proc/meminfo: memFree=30645204/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25320 CPUtime=1062.31 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6005 0 0 0 96920 9311 0 0 25 0 1 0 14664740 25927680 5820 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6330 5820 237 467 0 5861 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 25320 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 1.95 3/179 13314 /proc/meminfo: memFree=30645284/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25460 CPUtime=1122.31 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6018 0 0 0 102418 9813 0 0 25 0 1 0 14664740 26071040 5833 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6365 5833 237 467 0 5896 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 25460 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 13316 /proc/meminfo: memFree=30645112/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25460 CPUtime=1182.31 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6033 0 0 0 107932 10299 0 0 25 0 1 0 14664740 26071040 5848 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6365 5848 237 467 0 5896 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 25460 [startup+1242.3 s] /proc/loadavg: 2.03 2.01 1.96 3/179 13318 /proc/meminfo: memFree=30644944/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25592 CPUtime=1242.31 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6077 0 0 0 113440 10791 0 0 25 0 1 0 14664740 26206208 5892 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6398 5892 237 467 0 5929 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 25592 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 1.96 3/179 13319 /proc/meminfo: memFree=30644508/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25592 CPUtime=1302.32 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6079 0 0 0 118959 11273 0 0 25 0 1 0 14664740 26206208 5894 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6398 5894 237 467 0 5929 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 25592 [startup+1362.3 s] /proc/loadavg: 1.47 1.86 1.91 2/171 13343 /proc/meminfo: memFree=30664912/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25592 CPUtime=1362.31 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6087 0 0 0 124470 11761 0 0 25 0 1 0 14664740 26206208 5902 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6398 5902 237 467 0 5929 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 25592 [startup+1422.31 s] /proc/loadavg: 1.21 1.72 1.86 2/171 13344 /proc/meminfo: memFree=30664876/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25724 CPUtime=1422.32 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6101 0 0 0 129983 12249 0 0 25 0 1 0 14664740 26341376 5916 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6431 5916 237 467 0 5962 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 25724 [startup+1482.3 s] /proc/loadavg: 1.08 1.58 1.80 2/171 13346 /proc/meminfo: memFree=30664820/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25724 CPUtime=1482.31 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6123 0 0 0 135482 12749 0 0 25 0 1 0 14664740 26341376 5938 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6431 5938 237 467 0 5962 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 25724 [startup+1542.3 s] /proc/loadavg: 1.03 1.47 1.75 2/171 13348 /proc/meminfo: memFree=30664644/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25724 CPUtime=1542.32 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6124 0 0 0 141004 13228 0 0 25 0 1 0 14664740 26341376 5939 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6431 5939 237 467 0 5962 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 25724 [startup+1602.3 s] /proc/loadavg: 1.01 1.39 1.70 2/171 13349 /proc/meminfo: memFree=30664464/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25836 CPUtime=1602.32 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6161 0 0 0 146506 13726 0 0 25 0 1 0 14664740 26456064 5968 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6459 5968 237 467 0 5990 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 25836 [startup+1662.3 s] /proc/loadavg: 1.00 1.31 1.65 2/171 13351 /proc/meminfo: memFree=30664404/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25836 CPUtime=1662.31 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6161 0 0 0 152008 14223 0 0 25 0 1 0 14664740 26456064 5968 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6459 5968 237 467 0 5990 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 25836 [startup+1722.3 s] /proc/loadavg: 1.00 1.25 1.61 2/171 13352 /proc/meminfo: memFree=30664364/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25968 CPUtime=1722.32 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6173 0 0 0 157525 14707 0 0 25 0 1 0 14664740 26591232 5980 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6492 5980 237 467 0 6023 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 25968 [startup+1782.3 s] /proc/loadavg: 1.00 1.20 1.57 2/171 13354 /proc/meminfo: memFree=30664180/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25968 CPUtime=1782.32 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6174 0 0 0 163030 15202 0 0 25 0 1 0 14664740 26591232 5981 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6492 5981 237 467 0 6023 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 25968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.19 1.55 2/171 13354 /proc/meminfo: memFree=30664156/32951124 swapFree=67111528/67111528 [pid=13280] ppid=13278 vsize=25968 CPUtime=1800.02 /proc/13280/stat : 13280 (pbct) R 13278 13280 12606 0 -1 4202496 6174 0 0 0 164664 15338 0 0 25 0 1 0 14664740 26591232 5981 4089446400 134512640 136422188 4289260336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13280/statm: 6492 5981 237 467 0 6023 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 25968 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.04 CPU user time (s): 1646.65 CPU system time (s): 153.391 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 25988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1646.65 system time used= 153.391 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6175 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= 2 involuntary context switches= 3209 runsolver used 2.71959 second user time and 5.40518 second system time The end
Begin job on node130 at 2010-07-07 03:01:56 IDJOB=2698797 IDBENCH=79269 IDSOLVER=1212 FILE ID=node130/2698797-1278464516 PBS_JOBID= 11233732 Free space on /tmp= 73484 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698797-1278464516/watcher-2698797-1278464516 -o /tmp/evaluation-result-2698797-1278464516/solver-2698797-1278464516 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698797-1278464516.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 68083219a398085883a8cf7e46688b9f RANDOM SEED=2124492953 node130.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.831 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.831 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.22 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.831 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.831 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.831 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.72 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.831 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.831 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.68 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.831 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30671708 kB Buffers: 111904 kB Cached: 1947252 kB SwapCached: 0 kB Active: 708136 kB Inactive: 1428060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30671708 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1816 kB Writeback: 0 kB AnonPages: 76720 kB Mapped: 15664 kB Slab: 80296 kB PageTables: 4432 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 217376 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= 73484 MiB End job on node130 at 2010-07-07 03:31:58