Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 488.736 | 488.718 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689567-1277926367.wbo. 0.00/0.00 c Instance file HOME/instance-2689567-1277926367.wbo 0.00/0.00 c File size is 96731 bytes. 0.00/0.00 c Highest Coefficient sum: 641 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 231 2707 8338 | 5500 102 23 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 26 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 26 | 0.002 % | 0.00/0.02 c | 815 | 231 2707 8338 | 7320 815 29 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 31 | 0.002 % | 0.00/0.07 c | 2083 | 231 2707 8338 | 8857 2083 31 | 0.002 % | 0.09/0.11 c | 3223 | 231 2707 8338 | 9743 3223 32 | 0.002 % | 0.09/0.18 c | 4932 | 231 2707 8338 | 10717 4932 32 | 0.002 % | 0.19/0.29 c | 7495 | 231 2707 8338 | 11789 7495 32 | 0.002 % | 0.49/0.50 c | 11341 | 231 2707 8338 | 12968 11341 33 | 0.002 % | 0.78/0.83 c | 17108 | 231 2707 8338 | 14265 10574 34 | 0.002 % | 1.29/1.39 c | 25758 | 231 2707 8338 | 15692 12031 37 | 0.002 % | 2.29/2.34 c | 38733 | 231 2707 8338 | 17261 9204 37 | 0.002 % | 3.79/3.87 c | 58197 | 231 2707 8338 | 18987 11289 40 | 0.002 % | 6.60/6.65 c | 87389 | 231 2707 8338 | 20886 11820 38 | 0.002 % | 10.59/10.67 c | 131178 | 231 2707 8338 | 22974 13571 43 | 0.002 % | 17.19/17.23 c | 196863 | 231 2707 8338 | 25272 21131 39 | 0.002 % | 26.89/26.99 c | 295390 | 231 2707 8338 | 27799 23331 41 | 0.002 % | 42.59/42.63 c | 443180 | 231 2707 8338 | 30579 26521 39 | 0.002 % | 66.79/66.80 c | 664867 | 231 2707 8338 | 33637 25404 37 | 0.002 % | 104.69/104.72 c | 997393 | 231 2707 8338 | 37001 16715 38 | 0.002 % | 167.20/167.29 c | 1496181 | 231 2707 8338 | 40701 21694 39 | 0.002 % | 264.10/264.13 c | 2244364 | 231 2707 8338 | 44771 37436 41 | 0.002 % | 393.82/393.86 c =============================================================================== 419.01/419.07 c core #1 419.01/419.07 c ============================[ Search Statistics ]============================== 419.01/419.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 419.01/419.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 419.01/419.07 c =============================================================================== 419.01/419.07 c | 0 | 1585 5270 20303 | 5000 0 nan | 0.000 % | 419.12/419.16 c | 100 | 1585 5270 20303 | 5500 100 30 | 0.000 % | 419.21/419.23 c | 252 | 1585 5270 20303 | 6050 252 29 | 0.000 % | 419.21/419.27 c | 479 | 1585 5270 20303 | 6655 479 27 | 0.000 % | 419.31/419.34 c | 816 | 1585 5270 20303 | 7320 816 27 | 0.000 % | 419.31/419.36 c | 1322 | 1585 5270 20303 | 8052 1322 27 | 0.000 % | 419.31/419.38 c | 2081 | 1585 5270 20303 | 8857 2081 29 | 0.000 % | 419.41/419.43 c | 3225 | 1585 5270 20303 | 9743 3225 30 | 0.000 % | 419.51/419.51 c | 4934 | 1585 5270 20303 | 10717 4934 30 | 0.000 % | 419.60/419.64 c | 7498 | 1585 5270 20303 | 11789 7498 31 | 0.000 % | 419.80/419.87 c | 11342 | 1585 5270 20303 | 12968 11342 32 | 0.000 % | 420.21/420.26 c | 17108 | 1585 5270 20303 | 14265 10560 35 | 0.000 % | 420.81/420.87 c | 25758 | 1585 5270 20303 | 15692 12006 35 | 0.000 % | 421.91/421.99 c | 38733 | 1585 5270 20303 | 17261 9161 36 | 0.000 % | 423.51/423.56 c | 58196 | 1585 5270 20303 | 18987 11254 34 | 0.000 % | 426.01/426.06 c | 87388 | 1585 5270 20303 | 20886 11784 35 | 0.000 % | 430.31/430.31 c | 131180 | 1585 5270 20303 | 22974 13563 39 | 0.000 % | 437.51/437.53 c | 196864 | 1585 5270 20303 | 25272 21135 39 | 0.000 % | 448.72/448.80 c | 295391 | 1585 5270 20303 | 27799 24294 40 | 0.000 % | 467.51/467.56 c | 443181 | 1585 5270 20303 | 30579 14807 38 | 0.000 % | 488.61/488.68 c =============================================================================== 488.61/488.68 c #cores: 1 488.61/488.68 c Final Weight: 1 488.61/488.68 o 1 488.61/488.68 s OPTIMUM FOUND 488.61/488.68 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 488.61/488.68 c Total CPU time: 484.302 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689567-1277926367/watcher-2689567-1277926367 -o /tmp/evaluation-result-2689567-1277926367/solver-2689567-1277926367 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689567-1277926367.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.83 2.69 2.34 4/196 17912 /proc/meminfo: memFree=31027204/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=2668 CPUtime=0 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 133931875 2732032 222 4089446400 134512640 135751879 4289154272 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 667 223 146 303 0 338 0 [startup+0.091899 s] /proc/loadavg: 2.83 2.69 2.34 4/196 17912 /proc/meminfo: memFree=31027204/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=3508 CPUtime=0.08 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 555 0 0 0 8 0 0 0 25 0 1 0 133931875 3592192 449 4089446400 134512640 135751879 4289154272 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 877 449 143 303 0 572 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3508 [startup+0.100899 s] /proc/loadavg: 2.83 2.69 2.34 4/196 17912 /proc/meminfo: memFree=31027204/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=3640 CPUtime=0.09 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 574 0 0 0 9 0 0 0 25 0 1 0 133931875 3727360 468 4089446400 134512640 135751879 4289154272 18446744073709551615 134607738 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 910 468 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.300862 s] /proc/loadavg: 2.83 2.69 2.34 4/196 17912 /proc/meminfo: memFree=31027204/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=5132 CPUtime=0.29 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 944 0 0 0 29 0 0 0 25 0 1 0 133931875 5255168 838 4089446400 134512640 135751879 4289154272 18446744073709551615 135204041 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 1283 838 143 303 0 978 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5132 [startup+0.700797 s] /proc/loadavg: 2.83 2.69 2.34 4/196 17912 /proc/meminfo: memFree=31027204/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=7376 CPUtime=0.69 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 1511 0 0 0 68 1 0 0 25 0 1 0 133931875 7553024 1405 4089446400 134512640 135751879 4289154272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 1844 1405 143 303 0 1539 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7376 [startup+1.50063 s] /proc/loadavg: 2.83 2.69 2.34 3/197 17913 /proc/meminfo: memFree=31020376/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=11336 CPUtime=1.49 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 2511 0 0 0 146 3 0 0 25 0 1 0 133931875 11608064 2405 4089446400 134512640 135751879 4289154272 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 2834 2405 143 303 0 2529 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11336 [startup+3.10034 s] /proc/loadavg: 2.83 2.69 2.34 3/197 17914 /proc/meminfo: memFree=31015064/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=18332 CPUtime=3.09 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 4256 0 0 0 304 5 0 0 25 0 1 0 133931875 18771968 4150 4089446400 134512640 135751879 4289154272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 4583 4150 143 303 0 4278 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18332 [startup+6.30073 s] /proc/loadavg: 2.76 2.68 2.34 3/197 17914 /proc/meminfo: memFree=31002168/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=30080 CPUtime=6.29 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 7198 0 0 0 620 9 0 0 25 0 1 0 133931875 30801920 7092 4089446400 134512640 135751879 4289154272 18446744073709551615 134616789 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 7520 7092 143 303 0 7215 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30080 [startup+12.7005 s] /proc/loadavg: 2.78 2.68 2.34 3/197 17914 /proc/meminfo: memFree=30978820/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=53204 CPUtime=12.69 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 12957 0 0 0 1253 16 0 0 25 0 1 0 133931875 54480896 12851 4089446400 134512640 135751879 4289154272 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 13301 12851 143 303 0 12996 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53204 [startup+25.5011 s] /proc/loadavg: 2.61 2.65 2.34 3/197 17915 /proc/meminfo: memFree=30933260/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=95060 CPUtime=25.5 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 23423 0 0 0 2518 32 0 0 25 0 1 0 133931875 97341440 23317 4089446400 134512640 135751879 4289154272 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 23765 23317 143 303 0 23460 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 95060 [startup+51.1002 s] /proc/loadavg: 2.40 2.60 2.33 3/197 17915 /proc/meminfo: memFree=30855540/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=172536 CPUtime=51.09 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 42784 0 0 0 5051 58 0 0 25 0 1 0 133931875 176676864 42678 4089446400 134512640 135751879 4289154272 18446744073709551615 134606331 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 43134 42678 143 303 0 42829 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 172536 [startup+102.306 s] /proc/loadavg: 2.17 2.50 2.31 3/197 17917 /proc/meminfo: memFree=30705124/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=318700 CPUtime=102.3 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 79301 0 0 0 10117 113 0 0 25 0 1 0 133931875 326348800 79195 4089446400 134512640 135751879 4289154272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 79675 79195 143 303 0 79370 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 318700 [startup+162.3 s] /proc/loadavg: 2.06 2.41 2.28 3/197 17918 /proc/meminfo: memFree=30547992/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=473624 CPUtime=162.3 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 118040 0 0 0 16062 168 0 0 25 0 1 0 133931875 484990976 117934 4089446400 134512640 135751879 4289154272 18446744073709551615 134616550 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 118406 117934 143 303 0 118101 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 473624 [startup+222.301 s] /proc/loadavg: 2.02 2.33 2.26 3/197 17919 /proc/meminfo: memFree=30392372/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=626980 CPUtime=222.3 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 156381 0 0 0 22003 227 0 0 25 0 1 0 133931875 642027520 156275 4089446400 134512640 135751879 4289154272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 156745 156275 143 303 0 156440 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 626980 [startup+282.3 s] /proc/loadavg: 2.01 2.27 2.24 3/197 17921 /proc/meminfo: memFree=30242416/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=773148 CPUtime=282.3 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 192873 0 0 0 27952 278 0 0 25 0 1 0 133931875 791703552 192767 4089446400 134512640 135751879 4289154272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 193287 192767 143 303 0 192982 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 773148 [startup+342.3 s] /proc/loadavg: 2.00 2.22 2.23 3/197 17923 /proc/meminfo: memFree=30100044/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=912032 CPUtime=342.31 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 227592 0 0 0 33906 325 0 0 25 0 1 0 133931875 933920768 227486 4089446400 134512640 135751879 4289154272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17912/statm: 228008 227486 143 303 0 227703 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 912032 [startup+402.301 s] /proc/loadavg: 2.08 2.20 2.22 3/179 17955 /proc/meminfo: memFree=30252524/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=1122132 CPUtime=402.31 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 280117 0 0 0 39857 374 0 0 25 0 1 0 133931875 1149063168 280011 4089446400 134512640 135751879 4289154272 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17912/statm: 280533 280011 143 303 0 280228 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 1122132 [startup+462.3 s] /proc/loadavg: 2.03 2.16 2.20 3/179 17956 /proc/meminfo: memFree=30227568/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=1139036 CPUtime=462.31 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 284406 0 0 0 45810 421 0 0 25 0 1 0 133931875 1166372864 284256 4089446400 134512640 135751879 4289154272 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17912/statm: 284759 284256 146 303 0 284454 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 1139036 Solver just ended. Dumping a history of the last processes samples [startup+473.5 s] /proc/loadavg: 2.02 2.15 2.20 3/179 17957 /proc/meminfo: memFree=30227316/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=1139036 CPUtime=473.51 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 284408 0 0 0 46921 430 0 0 25 0 1 0 133931875 1166372864 284258 4089446400 134512640 135751879 4289154272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17912/statm: 284759 284258 146 303 0 284454 0 Current children cumulated CPU time (s) 473.51 Current children cumulated vsize (KiB) 1139036 [startup+479.901 s] /proc/loadavg: 2.02 2.15 2.20 3/179 17957 /proc/meminfo: memFree=30227556/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=1139036 CPUtime=479.91 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 284411 0 0 0 47557 434 0 0 25 0 1 0 133931875 1166372864 284261 4089446400 134512640 135751879 4289154272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17912/statm: 284759 284261 146 303 0 284454 0 Current children cumulated CPU time (s) 479.91 Current children cumulated vsize (KiB) 1139036 [startup+483.1 s] /proc/loadavg: 2.02 2.15 2.20 3/179 17957 /proc/meminfo: memFree=30227556/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=1139036 CPUtime=483.1 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 284411 0 0 0 47875 435 0 0 25 0 1 0 133931875 1166372864 284261 4089446400 134512640 135751879 4289154272 18446744073709551615 134616314 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17912/statm: 284759 284261 146 303 0 284454 0 Current children cumulated CPU time (s) 483.1 Current children cumulated vsize (KiB) 1139036 [startup+486.301 s] /proc/loadavg: 2.02 2.15 2.20 3/179 17957 /proc/meminfo: memFree=30227556/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=1139036 CPUtime=486.31 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 284411 0 0 0 48193 438 0 0 25 0 1 0 133931875 1166372864 284261 4089446400 134512640 135751879 4289154272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17912/statm: 284759 284261 146 303 0 284454 0 Current children cumulated CPU time (s) 486.31 Current children cumulated vsize (KiB) 1139036 [startup+487.901 s] /proc/loadavg: 2.02 2.15 2.20 3/179 17957 /proc/meminfo: memFree=30227556/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=1139036 CPUtime=487.91 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 284411 0 0 0 48352 439 0 0 25 0 1 0 133931875 1166372864 284261 4089446400 134512640 135751879 4289154272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17912/statm: 284759 284261 146 303 0 284454 0 Current children cumulated CPU time (s) 487.91 Current children cumulated vsize (KiB) 1139036 [startup+488.301 s] /proc/loadavg: 2.02 2.15 2.19 3/179 17957 /proc/meminfo: memFree=30227556/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=1139036 CPUtime=488.31 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202496 284411 0 0 0 48392 439 0 0 25 0 1 0 133931875 1166372864 284261 4089446400 134512640 135751879 4289154272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17912/statm: 284759 284261 146 303 0 284454 0 Current children cumulated CPU time (s) 488.31 Current children cumulated vsize (KiB) 1139036 [startup+488.7 s] /proc/loadavg: 2.02 2.15 2.19 3/179 17957 /proc/meminfo: memFree=30227556/32951124 swapFree=67111528/67111528 [pid=17912] ppid=17910 vsize=0 CPUtime=488.71 /proc/17912/stat : 17912 (wbo1.4a) R 17910 17912 16329 0 -1 4202500 284411 0 0 0 48430 441 0 0 25 0 1 0 133931875 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0 /proc/17912/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 488.71 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 488.718 CPU time (s): 488.736 CPU user time (s): 484.302 CPU system time (s): 4.43333 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 1139292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 484.302 system time used= 4.43333 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284411 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= 940 runsolver used 0.716891 second user time and 1.52077 second system time The end
Begin job on node141 at 2010-06-30 21:32:47 IDJOB=2689567 IDBENCH=79269 IDSOLVER=1200 FILE ID=node141/2689567-1277926367 PBS_JOBID= 11197340 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689567-1277926367/watcher-2689567-1277926367 -o /tmp/evaluation-result-2689567-1277926367/solver-2689567-1277926367 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689567-1277926367.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 68083219a398085883a8cf7e46688b9f RANDOM SEED=815243091 node141.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.788 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.57 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.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 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.788 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.83 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.788 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.788 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.80 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.788 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.75 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.788 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.82 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.788 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31027856 kB Buffers: 210440 kB Cached: 1143404 kB SwapCached: 0 kB Active: 996076 kB Inactive: 783844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31027856 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 425608 kB Mapped: 20236 kB Slab: 80420 kB PageTables: 5436 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1665040 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 node141 at 2010-06-30 21:40:55