Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 1120.69 | 1120.66 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-66-100-0.wbo |
MD5SUM | 2f4d2e59134ffbad904dde6d63a6f677 |
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 | 12 |
Best CPU time to get the best result obtained on this benchmark | 30.4694 |
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 | 937 |
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 | 46894 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46893 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 779 |
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 14/9 clauses 1756/928 units 0 0.01/0.01 c vars 231 0.01/0.05 c 0.055991 13.3867 20 2164 0.01/0.05 o 470 381.20/381.25 c 51.3062 14.7617 4368 121630073 381.20/381.25 o 378 497.00/497.03 c 67.2168 14.7617 1144 150308127 497.00/497.03 o 372 576.10/576.15 c 77.7262 14.7617 1103 171790083 576.10/576.15 o 349 730.60/730.70 c 94.4166 14.7617 1293 201110222 730.60/730.70 o 311 760.41/760.49 c 98.2551 14.7617 1099 207215191 760.41/760.49 o 303 781.11/781.12 c 100.925 14.7617 1499 211773218 781.11/781.12 o 283 785.31/785.33 c 101.405 14.7617 812 212492478 785.31/785.33 o 273 785.31/785.33 c 101.406 14.7617 818 212492899 785.31/785.33 o 248 785.31/785.34 c 101.408 14.7617 835 212493402 785.31/785.34 o 227 791.30/791.31 c 102.209 14.7617 661 213465156 791.30/791.31 o 224 815.01/815.08 c 105.619 14.7617 832 216814958 815.01/815.08 o 200 818.90/818.94 c 106.197 14.7617 836 217188838 818.90/818.94 o 196 818.90/818.94 c 106.198 14.7617 842 217189046 818.90/818.94 o 191 818.90/818.95 c 106.199 14.7617 843 217189360 818.90/818.95 o 162 818.90/818.95 c 106.2 14.7617 849 217189419 818.90/818.95 o 160 823.61/823.63 c 106.971 14.7617 700 217417184 823.61/823.63 o 157 823.71/823.70 c 106.999 14.7617 1200 217418047 823.71/823.70 o 151 823.81/823.81 c 107.04 14.7617 753 217419504 823.81/823.81 o 142 823.91/823.96 c 107.095 14.7617 1192 217421624 823.91/823.96 o 127 824.11/824.11 c 107.128 14.7617 647 217424233 824.11/824.11 o 126 824.11/824.11 c 107.129 14.7617 655 217424298 824.11/824.11 o 125 824.31/824.36 c 107.19 14.7617 1280 217428432 824.31/824.36 o 124 824.31/824.37 c 107.194 14.7617 735 217428793 824.31/824.37 o 108 831.62/831.63 c 109.944 14.7617 698 217511689 831.62/831.63 o 105 832.71/832.77 c 110.425 14.7617 1409 217525584 832.71/832.77 o 96 833.51/833.59 c 110.708 14.7617 772 217534241 833.51/833.59 o 77 846.41/846.44 c 115.958 14.7617 1572 217652387 846.41/846.44 o 74 847.81/847.83 c 116.536 14.7617 902 217666629 847.81/847.83 o 73 848.01/848.06 c 116.625 14.7617 768 217669266 848.01/848.06 o 59 848.11/848.19 c 116.679 14.7617 1636 217670716 848.11/848.19 o 52 855.51/855.59 c 120.755 14.7617 1568 217773364 855.51/855.59 o 42 858.41/858.46 c 122.532 14.7617 1173 217819934 858.41/858.46 o 37 868.01/868.08 c 128.702 14.7617 1637 217975598 868.01/868.08 o 28 877.31/877.36 c 134.647 14.7617 1732 218133386 877.31/877.36 o 26 899.51/899.53 c 149.455 14.7617 1475 218517052 899.51/899.53 o 15 938.12/938.18 c 176.483 15.1797 1757 219195888 938.12/938.18 o 12 1120.61/1120.65 c 305.868 15.1797 1207 222702622 1120.61/1120.65 s OPTIMUM FOUND 1120.61/1120.65 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 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695690-1277911039/watcher-2695690-1277911039 -o /tmp/evaluation-result-2695690-1277911039/solver-2695690-1277911039 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695690-1277911039.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.02 2.05 2.02 3/196 13149 /proc/meminfo: memFree=31326476/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=2136 CPUtime=0 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 251 0 0 0 0 0 0 0 22 0 1 0 132400834 2187264 170 4089446400 134512640 136421960 4290300496 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13149/statm: 534 170 144 467 0 65 0 [startup+0.013859 s] /proc/loadavg: 2.02 2.05 2.02 3/196 13149 /proc/meminfo: memFree=31326476/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=2136 CPUtime=0.01 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 265 0 0 0 1 0 0 0 23 0 1 0 132400834 2187264 184 4089446400 134512640 136421960 4290300496 18446744073709551615 135158939 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13149/statm: 534 184 144 467 0 65 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2136 [startup+0.100847 s] /proc/loadavg: 2.02 2.05 2.02 3/196 13149 /proc/meminfo: memFree=31326476/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=13844 CPUtime=0.09 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3104 0 0 0 5 4 0 0 23 0 1 0 132400834 14176256 3022 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3461 3022 237 467 0 2992 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13844 [startup+0.300812 s] /proc/loadavg: 2.02 2.05 2.02 3/196 13149 /proc/meminfo: memFree=31326476/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=13844 CPUtime=0.29 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3104 0 0 0 7 22 0 0 23 0 1 0 132400834 14176256 3022 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3461 3022 237 467 0 2992 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13844 [startup+0.700739 s] /proc/loadavg: 2.02 2.05 2.02 3/196 13149 /proc/meminfo: memFree=31326476/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=13844 CPUtime=0.69 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3121 0 0 0 11 58 0 0 25 0 1 0 132400834 14176256 3039 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3461 3039 237 467 0 2992 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13844 [startup+1.5006 s] /proc/loadavg: 2.02 2.05 2.02 3/197 13150 /proc/meminfo: memFree=31315616/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=13972 CPUtime=1.49 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3138 0 0 0 18 131 0 0 25 0 1 0 132400834 14307328 3056 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3493 3056 237 467 0 3024 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13972 [startup+3.10032 s] /proc/loadavg: 2.02 2.05 2.02 3/197 13150 /proc/meminfo: memFree=31315244/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=13972 CPUtime=3.09 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3143 0 0 0 35 274 0 0 25 0 1 0 132400834 14307328 3061 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3493 3061 237 467 0 3024 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13972 [startup+6.30075 s] /proc/loadavg: 2.02 2.05 2.02 3/197 13150 /proc/meminfo: memFree=31315748/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=13972 CPUtime=6.29 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3156 0 0 0 80 549 0 0 25 0 1 0 132400834 14307328 3074 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3493 3074 237 467 0 3024 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13972 [startup+12.7006 s] /proc/loadavg: 2.01 2.05 2.02 3/197 13150 /proc/meminfo: memFree=31315996/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=14092 CPUtime=12.69 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3198 0 0 0 156 1113 0 0 25 0 1 0 132400834 14430208 3116 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3523 3116 237 467 0 3054 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14092 [startup+25.5004 s] /proc/loadavg: 2.01 2.05 2.02 3/197 13151 /proc/meminfo: memFree=31317296/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=14092 CPUtime=25.5 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3198 0 0 0 314 2236 0 0 25 0 1 0 132400834 14430208 3116 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3523 3116 237 467 0 3054 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 14092 [startup+51.1009 s] /proc/loadavg: 2.01 2.04 2.01 3/197 13152 /proc/meminfo: memFree=31312544/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=14232 CPUtime=51.09 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3211 0 0 0 652 4457 0 0 25 0 1 0 132400834 14573568 3129 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3558 3129 237 467 0 3089 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 14232 [startup+102.306 s] /proc/loadavg: 2.00 2.03 2.01 3/197 13153 /proc/meminfo: memFree=31303828/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=14352 CPUtime=102.3 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3254 0 0 0 1647 8583 0 0 25 0 1 0 132400834 14696448 3172 4089446400 134512640 136421960 4290300496 18446744073709551615 134641072 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3588 3172 237 467 0 3119 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 14352 [startup+162.3 s] /proc/loadavg: 2.00 2.03 2.00 3/197 13154 /proc/meminfo: memFree=31295628/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=14604 CPUtime=162.29 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3305 0 0 0 2520 13709 0 0 25 0 1 0 132400834 14954496 3223 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3651 3223 237 467 0 3182 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 14604 [startup+222.301 s] /proc/loadavg: 2.07 2.04 2.00 3/197 13156 /proc/meminfo: memFree=31288912/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=14604 CPUtime=222.29 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3305 0 0 0 3225 19004 0 0 25 0 1 0 132400834 14954496 3223 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3651 3223 237 467 0 3182 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 14604 [startup+282.3 s] /proc/loadavg: 2.02 2.03 2.00 3/197 13158 /proc/meminfo: memFree=31280320/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=14604 CPUtime=282.3 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3305 0 0 0 3947 24283 0 0 25 0 1 0 132400834 14954496 3223 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3651 3223 237 467 0 3182 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 14604 [startup+342.301 s] /proc/loadavg: 2.01 2.02 2.00 3/197 13159 /proc/meminfo: memFree=31272476/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=14740 CPUtime=342.3 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3333 0 0 0 4638 29592 0 0 25 0 1 0 132400834 15093760 3251 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3685 3251 237 467 0 3216 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 14740 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 13161 /proc/meminfo: memFree=31264124/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15112 CPUtime=402.3 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3459 0 0 0 5386 34844 0 0 25 0 1 0 132400834 15474688 3376 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3778 3376 237 467 0 3309 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 15112 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 13162 /proc/meminfo: memFree=31255664/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15112 CPUtime=462.29 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3459 0 0 0 6103 40126 0 0 25 0 1 0 132400834 15474688 3376 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3778 3376 237 467 0 3309 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 15112 [startup+522.301 s] /proc/loadavg: 2.04 2.02 2.00 3/197 13164 /proc/meminfo: memFree=31244952/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15112 CPUtime=522.3 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3460 0 0 0 7096 45134 0 0 25 0 1 0 132400834 15474688 3376 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3778 3376 237 467 0 3309 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 15112 [startup+582.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 13166 /proc/meminfo: memFree=31232524/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15112 CPUtime=582.31 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3461 0 0 0 7843 50388 0 0 25 0 1 0 132400834 15474688 3376 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3778 3376 237 467 0 3309 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 15112 [startup+642.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 13167 /proc/meminfo: memFree=31225044/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15112 CPUtime=642.31 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3461 0 0 0 8547 55684 0 0 25 0 1 0 132400834 15474688 3376 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13149/statm: 3778 3376 237 467 0 3309 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 15112 [startup+702.3 s] /proc/loadavg: 2.41 2.10 2.03 3/197 13169 /proc/meminfo: memFree=31217888/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15112 CPUtime=702.3 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3461 0 0 0 9141 61089 0 0 25 0 1 0 132400834 15474688 3376 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3778 3376 237 467 0 3309 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 15112 [startup+762.307 s] /proc/loadavg: 2.37 2.17 2.06 3/197 13170 /proc/meminfo: memFree=31210272/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15112 CPUtime=762.32 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3463 0 0 0 9850 66382 0 0 25 0 1 0 132400834 15474688 3376 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3778 3376 237 467 0 3309 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 15112 [startup+822.301 s] /proc/loadavg: 2.17 2.15 2.06 3/197 13172 /proc/meminfo: memFree=31203872/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15112 CPUtime=822.31 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3473 0 0 0 10680 71551 0 0 25 0 1 0 132400834 15474688 3376 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3778 3376 237 467 0 3309 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 15112 [startup+882.3 s] /proc/loadavg: 2.60 2.25 2.10 8/197 13177 /proc/meminfo: memFree=31202116/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15112 CPUtime=882.31 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3492 0 0 0 13801 74430 0 0 25 0 1 0 132400834 15474688 3376 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3778 3376 237 467 0 3309 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 15112 [startup+942.301 s] /proc/loadavg: 2.22 2.20 2.09 3/197 13178 /proc/meminfo: memFree=31201444/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=942.31 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 17961 76270 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135028875 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 15540 [startup+1002.3 s] /proc/loadavg: 2.08 2.16 2.08 3/197 13180 /proc/meminfo: memFree=31201412/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1002.31 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 22246 77985 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 134619936 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 15540 [startup+1062.3 s] /proc/loadavg: 2.03 2.13 2.08 3/197 13181 /proc/meminfo: memFree=31201380/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1062.32 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 26433 79799 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 15540 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 2.02 2.12 2.08 3/197 13181 /proc/meminfo: memFree=31201232/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1075.11 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 27334 80177 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1075.11 Current children cumulated vsize (KiB) 15540 [startup+1100.7 s] /proc/loadavg: 2.01 2.11 2.07 3/197 13183 /proc/meminfo: memFree=31201212/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1100.72 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 29153 80919 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1100.72 Current children cumulated vsize (KiB) 15540 [startup+1113.5 s] /proc/loadavg: 2.01 2.11 2.07 4/197 13183 /proc/meminfo: memFree=31201208/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1113.51 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 30072 81279 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135021040 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1113.51 Current children cumulated vsize (KiB) 15540 [startup+1116.7 s] /proc/loadavg: 2.01 2.11 2.07 3/197 13183 /proc/meminfo: memFree=31201204/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1116.71 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 30302 81369 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1116.71 Current children cumulated vsize (KiB) 15540 [startup+1118.3 s] /proc/loadavg: 2.01 2.11 2.07 3/197 13183 /proc/meminfo: memFree=31201204/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1118.31 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 30417 81414 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1118.31 Current children cumulated vsize (KiB) 15540 [startup+1119.9 s] /proc/loadavg: 2.01 2.11 2.07 3/197 13183 /proc/meminfo: memFree=31201080/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1119.91 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 30534 81457 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1119.91 Current children cumulated vsize (KiB) 15540 [startup+1120.3 s] /proc/loadavg: 2.01 2.11 2.07 3/197 13183 /proc/meminfo: memFree=31201080/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1120.32 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 30564 81468 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1120.32 Current children cumulated vsize (KiB) 15540 [startup+1120.5 s] /proc/loadavg: 2.01 2.11 2.07 3/197 13183 /proc/meminfo: memFree=31201080/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1120.51 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 30577 81474 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1120.51 Current children cumulated vsize (KiB) 15540 [startup+1120.6 s] /proc/loadavg: 2.01 2.11 2.07 3/197 13183 /proc/meminfo: memFree=31201080/32950928 swapFree=67111528/67111528 [pid=13149] ppid=13147 vsize=15540 CPUtime=1120.61 /proc/13149/stat : 13149 (pbct) R 13147 13149 11688 0 -1 4202496 3591 0 0 0 30583 81478 0 0 25 0 1 0 132400834 15912960 3471 4089446400 134512640 136421960 4290300496 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13149/statm: 3885 3471 237 467 0 3416 0 Current children cumulated CPU time (s) 1120.61 Current children cumulated vsize (KiB) 15540 Child status: 0 Real time (s): 1120.66 CPU time (s): 1120.69 CPU user time (s): 305.88 CPU system time (s): 814.808 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 15540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 305.879 system time used= 814.808 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3596 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= 10531 runsolver used 1.62075 second user time and 3.59245 second system time The end
Begin job on node120 at 2010-06-30 17:17:19 IDJOB=2695690 IDBENCH=78983 IDSOLVER=1208 FILE ID=node120/2695690-1277911039 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.1900552423--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695690-1277911039/watcher-2695690-1277911039 -o /tmp/evaluation-result-2695690-1277911039/solver-2695690-1277911039 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695690-1277911039.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2f4d2e59134ffbad904dde6d63a6f677 RANDOM SEED=1345762335 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: 31327244 kB Buffers: 195964 kB Cached: 931488 kB SwapCached: 0 kB Active: 888156 kB Inactive: 592288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31327244 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2288 kB Writeback: 0 kB AnonPages: 352928 kB Mapped: 20536 kB Slab: 78480 kB PageTables: 5528 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1652984 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= 74208 MiB End job on node120 at 2010-06-30 17:36:00