Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | MSAT (TO) | 1800.05 | 1800.01 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo |
MD5SUM | 32bdb0ca9ee10d9e7c56deff56e319ba |
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 | 188.053 |
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 | 1777 |
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 | 90281 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90280 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.01/0.01 c constraints 7/16 clauses 923/1761 units 0 0.01/0.01 c vars 231 0.09/0.10 c 0.070989 16.6055 33 23192 0.09/0.10 o 663 0.09/0.17 c 0.079987 16.7891 145 42689 0.09/0.17 o 450 0.19/0.22 c 0.093985 16.7891 281 45281 0.19/0.22 o 429 0.19/0.23 c 0.098984 16.7891 289 46020 0.19/0.23 o 417 0.19/0.25 c 0.105983 16.7891 359 47500 0.19/0.25 o 357 1.69/1.76 c 0.306953 16.9141 1368 139827 1.69/1.76 o 351 1.79/1.80 c 0.317951 16.9141 788 140981 1.79/1.80 o 310 1.79/1.85 c 0.32495 16.9141 974 142142 1.79/1.85 o 294 1.79/1.88 c 0.333949 16.9141 1097 142486 1.79/1.88 o 293 1.89/1.95 c 0.345947 16.9141 655 143377 1.89/1.95 o 280 2.20/2.27 c 0.414936 17.0312 1117 146051 2.20/2.27 o 253 2.29/2.34 c 0.431934 17.0312 790 146949 2.29/2.34 o 232 2.79/2.80 c 0.546916 17.0312 740 150192 2.79/2.80 o 231 3.59/3.62 c 0.680896 17.0312 773 154936 3.59/3.62 o 222 3.69/3.79 c 0.714891 17.0312 682 156357 3.69/3.79 o 215 3.79/3.86 c 0.726889 17.0312 870 157526 3.79/3.86 o 188 3.99/4.05 c 0.769882 17.0312 905 159297 3.99/4.05 o 168 3.99/4.08 c 0.775882 17.0312 987 159532 3.99/4.08 o 163 4.39/4.44 c 0.845871 17.0312 634 161517 4.39/4.44 o 153 4.39/4.49 c 0.857869 17.0312 788 162031 4.39/4.49 o 144 4.49/4.57 c 0.874867 17.0312 967 162892 4.49/4.57 o 123 5.40/5.45 c 1.09283 17.1523 929 167510 5.40/5.45 o 117 5.40/5.47 c 1.10083 17.1523 963 167674 5.40/5.47 o 112 6.79/6.86 c 1.62575 17.1523 1003 174826 6.79/6.86 o 109 6.79/6.88 c 1.63775 17.1523 1125 175113 6.79/6.88 o 107 7.09/7.12 c 1.69874 17.1523 1103 176330 7.09/7.12 o 106 7.39/7.42 c 1.76873 17.1523 1284 177906 7.39/7.42 o 88 7.89/7.94 c 1.9537 17.2812 1563 181303 7.89/7.94 o 66 8.29/8.32 c 2.08568 17.2812 1434 183996 8.29/8.32 o 60 9.69/9.78 c 2.6386 17.4023 1699 194021 9.69/9.78 o 54 9.89/9.98 c 2.73058 17.4023 1664 195641 9.89/9.98 o 53 10.19/10.24 c 2.85956 17.4023 2150 198230 10.19/10.24 o 44 11.19/11.23 c 3.31549 17.4023 1205 207822 11.19/11.23 o 26 13.50/13.53 c 4.88326 18.3008 2633 235053 13.50/13.53 o 18 20.69/20.79 c 9.91549 18.3008 2921 330285 20.69/20.79 o 13 23.30/23.30 c 11.5712 18.3008 1962 366769 23.30/23.30 o 11 24.10/24.19 c 12.2421 18.3008 2498 379986 24.10/24.19 o 10 24.39/24.47 c 12.4471 18.3008 1861 383446 24.39/24.47 o 5 34.29/34.37 c 19.947 18.3008 2583 532747 34.29/34.37 o 4 48.29/48.35 c 30.5624 18.3008 2909 754892 48.29/48.35 o 3 57.78/57.87 c 37.8153 18.3008 1672 895006 57.78/57.87 o 2 58.49/58.55 c 38.4012 18.3008 3001 905826 58.49/58.55 o 1 1800.03/1800.00 s SATISFIABLE 1800.03/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-2695519-1277901721/watcher-2695519-1277901721 -o /tmp/evaluation-result-2695519-1277901721/solver-2695519-1277901721 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695519-1277901721.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 2.00 4/196 12374 /proc/meminfo: memFree=31271000/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=2136 CPUtime=0 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 131469044 2187264 175 4089446400 134512640 136421960 4287188672 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12374/statm: 534 175 144 467 0 65 0 [startup+0.013032 s] /proc/loadavg: 2.00 2.00 2.00 4/196 12374 /proc/meminfo: memFree=31271000/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=2268 CPUtime=0.01 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 272 0 0 0 1 0 0 0 25 0 1 0 131469044 2322432 191 4089446400 134512640 136421960 4287188672 18446744073709551615 135809508 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12374/statm: 567 191 144 467 0 98 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2268 [startup+0.101082 s] /proc/loadavg: 2.00 2.00 2.00 4/196 12374 /proc/meminfo: memFree=31271000/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=17000 CPUtime=0.09 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 3928 0 0 0 6 3 0 0 25 0 1 0 131469044 17408000 3847 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4250 3847 213 467 0 3781 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17000 [startup+0.300981 s] /proc/loadavg: 2.00 2.00 2.00 4/196 12374 /proc/meminfo: memFree=31271000/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=17188 CPUtime=0.29 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 3996 0 0 0 11 18 0 0 25 0 1 0 131469044 17600512 3910 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4297 3910 236 467 0 3828 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17188 [startup+0.700909 s] /proc/loadavg: 2.00 2.00 2.00 4/196 12374 /proc/meminfo: memFree=31271000/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=17316 CPUtime=0.69 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4010 0 0 0 16 53 0 0 25 0 1 0 131469044 17731584 3924 4089446400 134512640 136421960 4287188672 18446744073709551615 134597545 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4329 3924 236 467 0 3860 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17316 [startup+1.50077 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12375 /proc/meminfo: memFree=31255988/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=17316 CPUtime=1.49 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4019 0 0 0 26 123 0 0 25 0 1 0 131469044 17731584 3933 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4329 3933 237 467 0 3860 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17316 [startup+3.10056 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12375 /proc/meminfo: memFree=31255616/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=17436 CPUtime=3.09 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4069 0 0 0 60 249 0 0 25 0 1 0 131469044 17854464 3975 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4359 3975 237 467 0 3890 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17436 [startup+6.30092 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12375 /proc/meminfo: memFree=31255656/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=17560 CPUtime=6.29 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4089 0 0 0 144 485 0 0 20 0 1 0 131469044 17981440 3985 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4390 3985 237 467 0 3921 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17560 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12375 /proc/meminfo: memFree=31254804/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=18736 CPUtime=12.69 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4402 0 0 0 433 836 0 0 19 0 1 0 131469044 19185664 4288 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4684 4288 237 467 0 4215 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18736 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12375 /proc/meminfo: memFree=31254444/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=18736 CPUtime=25.49 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4425 0 0 0 1322 1227 0 0 25 0 1 0 131469044 19185664 4306 4089446400 134512640 136421960 4287188672 18446744073709551615 134862301 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4684 4306 237 467 0 4215 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18736 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12376 /proc/meminfo: memFree=31249168/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=18736 CPUtime=51.09 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4427 0 0 0 3259 1850 0 0 25 0 1 0 131469044 19185664 4306 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4684 4306 237 467 0 4215 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 18736 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12377 /proc/meminfo: memFree=31234388/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=18736 CPUtime=102.29 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4429 0 0 0 7228 3001 0 0 25 0 1 0 131469044 19185664 4306 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4684 4306 237 467 0 4215 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 18736 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12379 /proc/meminfo: memFree=31223924/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=18980 CPUtime=162.29 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4480 0 0 0 11867 4362 0 0 25 0 1 0 131469044 19435520 4357 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4745 4357 237 467 0 4276 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 18980 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12381 /proc/meminfo: memFree=31223016/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=19112 CPUtime=222.29 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4521 0 0 0 16560 5669 0 0 25 0 1 0 131469044 19570688 4398 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4778 4398 237 467 0 4309 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 19112 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12412 /proc/meminfo: memFree=31561148/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=19240 CPUtime=282.29 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4552 0 0 0 21206 7023 0 0 25 0 1 0 131469044 19701760 4429 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4810 4429 237 467 0 4341 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 19240 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12413 /proc/meminfo: memFree=31557172/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=19376 CPUtime=342.3 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4585 0 0 0 25965 8265 0 0 25 0 1 0 131469044 19841024 4462 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4844 4462 237 467 0 4375 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 19376 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12415 /proc/meminfo: memFree=31552924/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=19508 CPUtime=402.3 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4591 0 0 0 30799 9431 0 0 25 0 1 0 131469044 19976192 4468 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4877 4468 237 467 0 4408 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 19508 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12417 /proc/meminfo: memFree=31548928/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=19508 CPUtime=462.29 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4622 0 0 0 35562 10667 0 0 25 0 1 0 131469044 19976192 4499 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4877 4499 237 467 0 4408 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 19508 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12419 /proc/meminfo: memFree=31544300/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=19692 CPUtime=522.3 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4640 0 0 0 40379 11851 0 0 25 0 1 0 131469044 20164608 4517 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4923 4517 237 467 0 4454 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 19692 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12420 /proc/meminfo: memFree=31543516/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=19824 CPUtime=582.3 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4666 0 0 0 45206 13024 0 0 25 0 1 0 131469044 20299776 4543 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4956 4543 237 467 0 4487 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 19824 [startup+642.301 s] /proc/loadavg: 2.07 2.02 2.00 3/179 12421 /proc/meminfo: memFree=31542988/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=19824 CPUtime=642.31 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4696 0 0 0 50055 14176 0 0 25 0 1 0 131469044 20299776 4573 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4956 4573 237 467 0 4487 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 19824 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 12427 /proc/meminfo: memFree=31541632/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=19952 CPUtime=822.31 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4733 0 0 0 64527 17704 0 0 25 0 1 0 131469044 20430848 4610 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 4988 4610 237 467 0 4519 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 19952 [startup+882.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12428 /proc/meminfo: memFree=31540352/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20080 CPUtime=882.31 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4746 0 0 0 69335 18896 0 0 25 0 1 0 131469044 20561920 4623 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5020 4623 237 467 0 4551 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 20080 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 4/179 12429 /proc/meminfo: memFree=31540324/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20080 CPUtime=942.31 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4749 0 0 0 74132 20099 0 0 25 0 1 0 131469044 20561920 4626 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5020 4626 237 467 0 4551 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 20080 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12431 /proc/meminfo: memFree=31537676/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20080 CPUtime=1002.31 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4753 0 0 0 78935 21296 0 0 25 0 1 0 131469044 20561920 4630 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5020 4630 237 467 0 4551 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 20080 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12433 /proc/meminfo: memFree=31534920/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20212 CPUtime=1062.31 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4778 0 0 0 83794 22437 0 0 25 0 1 0 131469044 20697088 4655 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5053 4655 237 467 0 4584 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 20212 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12435 /proc/meminfo: memFree=31533260/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20340 CPUtime=1122.31 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4794 0 0 0 88666 23565 0 0 25 0 1 0 131469044 20828160 4671 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5085 4671 237 467 0 4616 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 20340 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12445 /proc/meminfo: memFree=31529076/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20340 CPUtime=1182.31 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4809 0 0 0 93515 24716 0 0 25 0 1 0 131469044 20828160 4686 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5085 4686 237 467 0 4616 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 20340 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12446 /proc/meminfo: memFree=31528432/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20476 CPUtime=1242.32 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4824 0 0 0 98367 25865 0 0 25 0 1 0 131469044 20967424 4701 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5119 4701 237 467 0 4650 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 20476 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12448 /proc/meminfo: memFree=31527780/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20476 CPUtime=1302.32 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4832 0 0 0 103203 27029 0 0 25 0 1 0 131469044 20967424 4709 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5119 4709 237 467 0 4650 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 20476 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12450 /proc/meminfo: memFree=31527720/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20476 CPUtime=1362.32 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4847 0 0 0 108029 28203 0 0 25 0 1 0 131469044 20967424 4724 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5119 4724 237 467 0 4650 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 20476 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12452 /proc/meminfo: memFree=31527420/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20476 CPUtime=1422.33 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4852 0 0 0 112918 29315 0 0 25 0 1 0 131469044 20967424 4729 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5119 4729 237 467 0 4650 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 20476 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12453 /proc/meminfo: memFree=31527140/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20476 CPUtime=1482.32 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4854 0 0 0 117696 30536 0 0 25 0 1 0 131469044 20967424 4731 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5119 4731 237 467 0 4650 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 20476 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12454 /proc/meminfo: memFree=31526736/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20612 CPUtime=1542.32 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4863 0 0 0 122580 31652 0 0 25 0 1 0 131469044 21106688 4740 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5153 4740 237 467 0 4684 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 20612 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12456 /proc/meminfo: memFree=31525940/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20612 CPUtime=1602.33 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4864 0 0 0 127474 32759 0 0 25 0 1 0 131469044 21106688 4741 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5153 4741 237 467 0 4684 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 20612 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12458 /proc/meminfo: memFree=31524048/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20612 CPUtime=1662.32 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4868 0 0 0 132404 33828 0 0 25 0 1 0 131469044 21106688 4745 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5153 4745 237 467 0 4684 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 20612 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12460 /proc/meminfo: memFree=31523768/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20612 CPUtime=1722.32 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4878 0 0 0 137249 34983 0 0 25 0 1 0 131469044 21106688 4755 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5153 4755 237 467 0 4684 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 20612 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12461 /proc/meminfo: memFree=31523492/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20612 CPUtime=1782.33 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4884 0 0 0 142106 36127 0 0 25 0 1 0 131469044 21106688 4761 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5153 4761 237 467 0 4684 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 20612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12462 /proc/meminfo: memFree=31523480/32950928 swapFree=67111528/67111528 [pid=12374] ppid=12372 vsize=20612 CPUtime=1800.03 /proc/12374/stat : 12374 (pbct) R 12372 12374 11688 0 -1 4202496 4884 0 0 0 143554 36449 0 0 25 0 1 0 131469044 21106688 4761 4089446400 134512640 136421960 4287188672 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12374/statm: 5153 4761 237 467 0 4684 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 20612 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.05 CPU user time (s): 1435.55 CPU system time (s): 364.5 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 20612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1435.55 system time used= 364.5 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4885 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= 2714 runsolver used 2.51762 second user time and 5.68614 second system time The end
Begin job on node120 at 2010-06-30 14:42:01 IDJOB=2695519 IDBENCH=78893 IDSOLVER=1208 FILE ID=node120/2695519-1277901721 PBS_JOBID= 11197208 Free space on /tmp= 74212 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695519-1277901721/watcher-2695519-1277901721 -o /tmp/evaluation-result-2695519-1277901721/solver-2695519-1277901721 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695519-1277901721.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 32bdb0ca9ee10d9e7c56deff56e319ba RANDOM SEED=1900720932 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.820 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.64 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.820 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.07 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.820 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.80 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.820 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.74 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.820 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.82 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.820 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.68 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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: 31271520 kB Buffers: 188176 kB Cached: 930864 kB SwapCached: 0 kB Active: 953408 kB Inactive: 585196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31271520 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2008 kB Writeback: 0 kB AnonPages: 419504 kB Mapped: 20448 kB Slab: 77992 kB PageTables: 5420 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1658796 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node120 at 2010-06-30 15:12:03