Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 294.877 | 294.87 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-33-100-0.wbo |
MD5SUM | cb67e22228ed30d84ff6579ce17258b0 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 294.877 |
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 | 1788 |
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 | 89002 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 89001 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 733 |
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-2690153-1277910272.wbo. 0.00/0.00 c Instance file HOME/instance-2690153-1277910272.wbo 0.00/0.00 c File size is 92237 bytes. 0.00/0.00 c Highest Coefficient sum: 733 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 | 100 | 231 2707 8338 | 5500 100 20 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 26 | 0.002 % | 0.00/0.01 c | 476 | 231 2707 8338 | 6655 476 25 | 0.002 % | 0.00/0.02 c | 813 | 231 2707 8338 | 7320 813 27 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 27 | 0.002 % | 0.00/0.06 c | 2080 | 231 2707 8338 | 8857 2080 31 | 0.002 % | 0.09/0.11 c | 3221 | 231 2707 8338 | 9743 3221 32 | 0.002 % | 0.09/0.17 c | 4930 | 231 2707 8338 | 10717 4930 30 | 0.002 % | 0.19/0.28 c | 7495 | 231 2707 8338 | 11789 7495 31 | 0.002 % | 0.38/0.48 c | 11340 | 231 2707 8338 | 12968 11340 31 | 0.002 % | 0.78/0.80 c | 17106 | 231 2707 8338 | 14265 10581 32 | 0.002 % | 1.29/1.35 c | 25756 | 231 2707 8338 | 15692 12039 38 | 0.002 % | 2.20/2.22 c | 38730 | 231 2707 8338 | 17261 9203 35 | 0.002 % | 3.68/3.73 c | 58194 | 231 2707 8338 | 18987 11310 34 | 0.002 % | 6.09/6.12 c | 87389 | 231 2707 8338 | 20886 11878 36 | 0.002 % | 9.79/9.80 c | 131180 | 231 2707 8338 | 22974 13663 35 | 0.002 % | 15.89/15.94 c | 196864 | 231 2707 8338 | 25272 21608 34 | 0.002 % | 25.79/25.81 c | 295392 | 231 2707 8338 | 27799 13279 35 | 0.002 % | 39.99/40.04 c | 443182 | 231 2707 8338 | 30579 20571 35 | 0.002 % | 62.59/62.64 c | 664867 | 231 2707 8338 | 33637 23791 35 | 0.002 % | 99.49/99.53 c | 997392 | 231 2707 8338 | 37001 17575 34 | 0.041 % | 114.29/114.34 c =============================================================================== 121.00/121.04 c core #1 121.00/121.04 c ============================[ Search Statistics ]============================== 121.00/121.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 121.00/121.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 121.00/121.04 c =============================================================================== 121.00/121.04 c | 0 | 1134 4397 16219 | 5000 0 nan | 0.000 % | 121.20/121.29 c | 100 | 1134 4397 16219 | 5500 100 19 | 0.000 % | 121.30/121.30 c | 250 | 1134 4397 16219 | 6050 250 22 | 0.000 % | 121.30/121.30 c | 475 | 1134 4397 16219 | 6655 475 22 | 0.000 % | 121.30/121.32 c | 812 | 1134 4397 16219 | 7320 812 26 | 0.000 % | 121.30/121.34 c | 1322 | 1134 4397 16219 | 8052 1322 28 | 0.000 % | 121.30/121.40 c | 2083 | 1134 4397 16219 | 8857 2083 30 | 0.000 % | 121.39/121.44 c | 3223 | 1134 4397 16219 | 9743 3223 31 | 0.000 % | 121.49/121.51 c | 4931 | 1134 4397 16219 | 10717 4931 30 | 0.000 % | 121.59/121.64 c | 7494 | 1134 4397 16219 | 11789 7494 32 | 0.000 % | 121.89/121.91 c | 11340 | 1134 4397 16219 | 12968 11340 33 | 0.000 % | 122.30/122.30 c | 17107 | 1134 4397 16219 | 14265 10571 34 | 0.000 % | 122.89/122.96 c | 25756 | 1134 4397 16219 | 15692 12040 35 | 0.000 % | 123.99/124.00 c | 38731 | 1134 4397 16219 | 17261 9221 33 | 0.000 % | 125.59/125.64 c | 58192 | 1134 4397 16219 | 18987 11316 35 | 0.000 % | 128.40/128.48 c | 87384 | 1134 4397 16219 | 20886 11866 38 | 0.000 % | 133.10/133.15 c | 131173 | 1134 4397 16219 | 22974 13681 38 | 0.000 % | 140.90/140.98 c | 196857 | 1134 4397 16219 | 25272 21652 37 | 0.000 % | 151.90/151.96 c | 295383 | 1134 4397 16219 | 27799 12699 36 | 0.000 % | 168.70/168.72 c | 443172 | 1134 4397 16219 | 30579 19433 37 | 0.000 % | 195.69/195.72 c | 664856 | 1134 4397 16219 | 33637 21962 37 | 0.000 % | 234.09/234.13 c | 997381 | 1134 4397 16219 | 37001 13901 35 | 0.002 % | 244.00/244.05 c =============================================================================== 251.50/251.52 c core #2 251.50/251.52 c ============================[ Search Statistics ]============================== 251.50/251.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 251.50/251.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 251.50/251.52 c =============================================================================== 251.50/251.52 c | 0 | 2034 6042 23926 | 5000 0 nan | 0.000 % | 251.50/251.56 c | 100 | 2034 6042 23926 | 5500 100 27 | 0.000 % | 251.50/251.59 c | 250 | 2034 6042 23926 | 6050 250 28 | 0.000 % | 251.60/251.60 c | 475 | 2034 6042 23926 | 6655 475 27 | 0.000 % | 251.60/251.62 c | 812 | 2034 6042 23926 | 7320 812 29 | 0.000 % | 251.60/251.65 c | 1318 | 2034 6042 23926 | 8052 1318 29 | 0.000 % | 251.60/251.69 c | 2077 | 2034 6042 23926 | 8857 2077 29 | 0.000 % | 251.70/251.75 c | 3217 | 2034 6042 23926 | 9743 3217 30 | 0.000 % | 251.80/251.83 c | 4925 | 2034 6042 23926 | 10717 4925 29 | 0.000 % | 251.90/251.98 c | 7487 | 2034 6042 23926 | 11789 7487 30 | 0.000 % | 252.20/252.24 c | 11333 | 2034 6042 23926 | 12968 11333 31 | 0.000 % | 252.60/252.67 c | 17101 | 2034 6042 23926 | 14265 10574 34 | 0.000 % | 253.30/253.39 c | 25754 | 2034 6042 23926 | 15692 12043 35 | 0.000 % | 254.60/254.61 c | 38730 | 2034 6042 23926 | 17261 9209 36 | 0.000 % | 256.60/256.64 c | 58191 | 2034 6042 23926 | 18987 11306 35 | 0.000 % | 259.60/259.70 c | 87383 | 2034 6042 23926 | 20886 11856 36 | 0.000 % | 264.10/264.19 c | 131174 | 2034 6042 23926 | 22974 13675 36 | 0.000 % | 271.39/271.44 c | 196862 | 2034 6042 23926 | 25272 21658 35 | 0.000 % | 282.71/282.77 c | 295389 | 2034 6042 23926 | 27799 13963 34 | 0.000 % | 294.81/294.85 c =============================================================================== 294.81/294.85 c #cores: 2 294.81/294.85 c Final Weight: 2 294.81/294.85 o 2 294.81/294.85 s OPTIMUM FOUND 294.81/294.85 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 294.81/294.85 c Total CPU time: 291.638 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690153-1277910272/watcher-2690153-1277910272 -o /tmp/evaluation-result-2690153-1277910272/solver-2690153-1277910272 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690153-1277910272.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.03 2.37 2.54 4/196 12514 /proc/meminfo: memFree=31434700/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=2812 CPUtime=0 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 310 0 0 0 0 0 0 0 25 0 1 0 132172833 2879488 229 4089446400 134512640 135751879 4294821984 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 703 229 147 303 0 375 0 [startup+0.102192 s] /proc/loadavg: 2.03 2.37 2.54 4/196 12514 /proc/meminfo: memFree=31434700/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=3512 CPUtime=0.09 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 560 0 0 0 9 0 0 0 25 0 1 0 132172833 3596288 456 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 878 456 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.201173 s] /proc/loadavg: 2.03 2.37 2.54 4/196 12514 /proc/meminfo: memFree=31434700/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=4324 CPUtime=0.19 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 745 0 0 0 19 0 0 0 25 0 1 0 132172833 4427776 641 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 1081 641 143 303 0 776 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4324 [startup+0.301155 s] /proc/loadavg: 2.03 2.37 2.54 4/196 12514 /proc/meminfo: memFree=31434700/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=4984 CPUtime=0.29 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 905 0 0 0 29 0 0 0 25 0 1 0 132172833 5103616 801 4089446400 134512640 135751879 4294821984 18446744073709551615 134616712 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 1246 801 143 303 0 941 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4984 [startup+0.701078 s] /proc/loadavg: 2.03 2.37 2.54 4/196 12514 /proc/meminfo: memFree=31434700/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=7112 CPUtime=0.69 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 1425 0 0 0 68 1 0 0 25 0 1 0 132172833 7282688 1321 4089446400 134512640 135751879 4294821984 18446744073709551615 134616550 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 1778 1322 143 303 0 1473 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7112 [startup+1.50098 s] /proc/loadavg: 2.03 2.37 2.54 3/197 12515 /proc/meminfo: memFree=31427748/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=10808 CPUtime=1.48 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 2380 0 0 0 146 2 0 0 25 0 1 0 132172833 11067392 2276 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 2702 2276 143 303 0 2397 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10808 [startup+3.10068 s] /proc/loadavg: 2.03 2.37 2.54 3/197 12515 /proc/meminfo: memFree=31422540/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=17408 CPUtime=3.09 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 4011 0 0 0 304 5 0 0 25 0 1 0 132172833 17825792 3907 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 4352 3907 143 303 0 4047 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17408 [startup+6.30101 s] /proc/loadavg: 2.03 2.36 2.54 3/197 12515 /proc/meminfo: memFree=31409472/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=29348 CPUtime=6.29 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 6984 0 0 0 620 9 0 0 25 0 1 0 132172833 30052352 6880 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 7337 6880 143 303 0 7032 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29348 [startup+12.7008 s] /proc/loadavg: 2.03 2.36 2.54 3/197 12515 /proc/meminfo: memFree=31385632/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=50880 CPUtime=12.69 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 12396 0 0 0 1250 19 0 0 25 0 1 0 132172833 52101120 12292 4089446400 134512640 135751879 4294821984 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 12720 12292 143 303 0 12415 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50880 [startup+25.5003 s] /proc/loadavg: 2.02 2.34 2.53 3/197 12515 /proc/meminfo: memFree=31344248/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=89332 CPUtime=25.48 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 21996 0 0 0 2514 34 0 0 25 0 1 0 132172833 91475968 21892 4089446400 134512640 135751879 4294821984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 22333 21892 143 303 0 22028 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 89332 [startup+51.1004 s] /proc/loadavg: 2.01 2.31 2.51 3/197 12516 /proc/meminfo: memFree=31263732/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=164384 CPUtime=51.09 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 40743 0 0 0 5043 66 0 0 25 0 1 0 132172833 168329216 40639 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 41096 40639 143 303 0 40791 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 164384 [startup+102.301 s] /proc/loadavg: 2.00 2.26 2.48 3/197 12517 /proc/meminfo: memFree=31105124/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=299480 CPUtime=102.3 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 74517 0 0 0 10097 133 0 0 25 0 1 0 132172833 306667520 74413 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 74870 74413 143 303 0 74565 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 299480 [startup+162.3 s] /proc/loadavg: 2.00 2.21 2.45 3/197 12519 /proc/meminfo: memFree=31023228/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=359988 CPUtime=162.3 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 89693 0 0 0 16041 189 0 0 25 0 1 0 132172833 368627712 89552 4089446400 134512640 135751879 4294821984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 89997 89552 146 303 0 89692 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 359988 [startup+222.307 s] /proc/loadavg: 2.00 2.17 2.42 3/197 12521 /proc/meminfo: memFree=30909660/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=455168 CPUtime=222.3 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 113487 0 0 0 21979 251 0 0 25 0 1 0 132172833 466092032 113346 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 113792 113346 146 303 0 113487 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 455168 [startup+282.3 s] /proc/loadavg: 2.03 2.15 2.40 3/197 12523 /proc/meminfo: memFree=30802836/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=540940 CPUtime=282.29 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 134925 0 0 0 27920 309 0 0 25 0 1 0 132172833 553922560 134784 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 135235 134784 146 303 0 134930 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 540940 Solver just ended. Dumping a history of the last processes samples [startup+288 s] /proc/loadavg: 2.03 2.15 2.39 3/197 12523 /proc/meminfo: memFree=30799116/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=540940 CPUtime=288 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 134925 0 0 0 28485 315 0 0 25 0 1 0 132172833 553922560 134784 4089446400 134512640 135751879 4294821984 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 135235 134784 146 303 0 134930 0 Current children cumulated CPU time (s) 288 Current children cumulated vsize (KiB) 540940 [startup+291.2 s] /proc/loadavg: 2.51 2.24 2.42 3/197 12523 /proc/meminfo: memFree=30798368/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=540940 CPUtime=291.2 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 134925 0 0 0 28802 318 0 0 25 0 1 0 132172833 553922560 134784 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 135235 134784 146 303 0 134930 0 Current children cumulated CPU time (s) 291.2 Current children cumulated vsize (KiB) 540940 [startup+292.8 s] /proc/loadavg: 2.51 2.24 2.42 3/197 12523 /proc/meminfo: memFree=30797872/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=540940 CPUtime=292.8 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 134925 0 0 0 28960 320 0 0 25 0 1 0 132172833 553922560 134784 4089446400 134512640 135751879 4294821984 18446744073709551615 134616418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 135235 134784 146 303 0 134930 0 Current children cumulated CPU time (s) 292.8 Current children cumulated vsize (KiB) 540940 [startup+293.601 s] /proc/loadavg: 2.51 2.24 2.42 3/197 12523 /proc/meminfo: memFree=30797872/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=540940 CPUtime=293.6 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 134925 0 0 0 29039 321 0 0 25 0 1 0 132172833 553922560 134784 4089446400 134512640 135751879 4294821984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 135235 134784 146 303 0 134930 0 Current children cumulated CPU time (s) 293.6 Current children cumulated vsize (KiB) 540940 [startup+294.401 s] /proc/loadavg: 2.46 2.24 2.42 3/197 12523 /proc/meminfo: memFree=30797992/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=540940 CPUtime=294.4 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 134925 0 0 0 29118 322 0 0 25 0 1 0 132172833 553922560 134784 4089446400 134512640 135751879 4294821984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 135235 134784 146 303 0 134930 0 Current children cumulated CPU time (s) 294.4 Current children cumulated vsize (KiB) 540940 [startup+294.801 s] /proc/loadavg: 2.46 2.24 2.42 3/197 12523 /proc/meminfo: memFree=30797868/32950928 swapFree=67111528/67111528 [pid=12514] ppid=12512 vsize=540940 CPUtime=294.81 /proc/12514/stat : 12514 (wbo1.4a) R 12512 12514 10826 0 -1 4202496 134925 0 0 0 29159 322 0 0 25 0 1 0 132172833 553922560 134784 4089446400 134512640 135751879 4294821984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12514/statm: 135235 134784 146 303 0 134930 0 Current children cumulated CPU time (s) 294.81 Current children cumulated vsize (KiB) 540940 Child status: 0 Real time (s): 294.87 CPU time (s): 294.877 CPU user time (s): 291.638 CPU system time (s): 3.23951 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 540940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 291.638 system time used= 3.23951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134925 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= 367 runsolver used 0.476927 second user time and 0.968852 second system time The end
Begin job on node127 at 2010-06-30 17:04:32 IDJOB=2690153 IDBENCH=78976 IDSOLVER=1200 FILE ID=node127/2690153-1277910272 PBS_JOBID= 11197189 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576360--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690153-1277910272/watcher-2690153-1277910272 -o /tmp/evaluation-result-2690153-1277910272/solver-2690153-1277910272 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690153-1277910272.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cb67e22228ed30d84ff6579ce17258b0 RANDOM SEED=1246121698 node127.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.828 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.65 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.828 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.75 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.828 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.75 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.828 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.72 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.828 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.74 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.828 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.828 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.828 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31435104 kB Buffers: 197352 kB Cached: 711568 kB SwapCached: 0 kB Active: 878796 kB Inactive: 497020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31435104 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 467136 kB Mapped: 20496 kB Slab: 76924 kB PageTables: 5372 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1656304 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 node127 at 2010-06-30 17:09:27