Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 199.839 | 199.834 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo |
MD5SUM | 504847a4e43d2b055735d72ea944fa39 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 199.839 |
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 | 135865 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 135864 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 705 |
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-2689696-1277931217.wbo. 0.00/0.00 c Instance file HOME/instance-2689696-1277931217.wbo 0.00/0.00 c File size is 96755 bytes. 0.00/0.00 c Highest Coefficient sum: 705 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 21 | 0.002 % | 0.00/0.01 c | 255 | 231 2707 8338 | 6050 255 21 | 0.002 % | 0.00/0.01 c | 481 | 231 2707 8338 | 6655 481 28 | 0.002 % | 0.00/0.02 c | 818 | 231 2707 8338 | 7320 818 30 | 0.002 % | 0.00/0.04 c | 1326 | 231 2707 8338 | 8052 1326 30 | 0.002 % | 0.00/0.07 c | 2087 | 231 2707 8338 | 8857 2087 30 | 0.002 % | 0.09/0.11 c | 3226 | 231 2707 8338 | 9743 3226 31 | 0.002 % | 0.09/0.18 c | 4934 | 231 2707 8338 | 10717 4934 30 | 0.002 % | 0.29/0.31 c | 7496 | 231 2707 8338 | 11789 7496 31 | 0.002 % | 0.49/0.53 c | 11340 | 231 2707 8338 | 12968 11340 31 | 0.002 % | 0.79/0.87 c | 17108 | 231 2707 8338 | 14265 10571 33 | 0.002 % | 1.39/1.49 c | 25761 | 231 2707 8338 | 15692 12050 35 | 0.002 % | 2.39/2.46 c | 38736 | 231 2707 8338 | 17261 9219 33 | 0.002 % | 3.99/4.03 c | 58198 | 231 2707 8338 | 18987 11331 35 | 0.002 % | 6.69/6.79 c | 87390 | 231 2707 8338 | 20886 11924 36 | 0.002 % | 10.69/10.76 c | 131179 | 231 2707 8338 | 22974 13737 35 | 0.002 % | 17.39/17.43 c | 196864 | 231 2707 8338 | 25272 21725 38 | 0.002 % | 29.29/29.39 c | 295392 | 231 2707 8338 | 27799 15377 39 | 0.002 % | 46.49/46.52 c | 443181 | 231 2707 8338 | 30579 24538 38 | 0.002 % | 68.89/68.96 c =============================================================================== 73.50/73.53 c core #1 73.50/73.53 c ============================[ Search Statistics ]============================== 73.50/73.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.50/73.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.50/73.53 c =============================================================================== 73.50/73.53 c | 0 | 1585 5256 20247 | 5000 0 nan | 0.000 % | 73.60/73.68 c | 100 | 1585 5256 20247 | 5500 100 35 | 0.000 % | 73.60/73.68 c | 252 | 1585 5256 20247 | 6050 252 33 | 0.000 % | 73.60/73.70 c | 478 | 1585 5256 20247 | 6655 478 28 | 0.000 % | 73.70/73.71 c | 815 | 1585 5256 20247 | 7320 815 30 | 0.000 % | 73.70/73.74 c | 1322 | 1585 5256 20247 | 8052 1322 29 | 0.000 % | 73.70/73.78 c | 2081 | 1585 5256 20247 | 8857 2081 30 | 0.000 % | 73.79/73.83 c | 3221 | 1585 5256 20247 | 9743 3221 30 | 0.000 % | 73.89/73.92 c | 4929 | 1585 5256 20247 | 10717 4929 30 | 0.000 % | 73.99/74.06 c | 7494 | 1585 5256 20247 | 11789 7494 30 | 0.000 % | 74.29/74.31 c | 11339 | 1585 5256 20247 | 12968 11339 31 | 0.000 % | 74.70/74.75 c | 17105 | 1585 5256 20247 | 14265 10562 33 | 0.000 % | 75.49/75.55 c | 25755 | 1585 5256 20247 | 15692 12027 37 | 0.000 % | 76.79/76.86 c | 38729 | 1585 5256 20247 | 17261 9192 38 | 0.000 % | 78.69/78.74 c | 58190 | 1585 5256 20247 | 18987 11269 42 | 0.000 % | 81.69/81.70 c | 87382 | 1585 5256 20247 | 20886 11855 40 | 0.000 % | 86.10/86.19 c | 131172 | 1585 5256 20247 | 22974 13668 35 | 0.000 % | 93.79/93.81 c | 196856 | 1585 5256 20247 | 25272 21530 36 | 0.000 % | 104.99/105.02 c | 295383 | 1585 5256 20247 | 27799 12727 35 | 0.000 % | 123.20/123.29 c | 443172 | 1585 5256 20247 | 30579 20876 38 | 0.000 % | 150.49/150.53 c | 664855 | 1585 5256 20247 | 33637 22348 37 | 0.000 % | 166.59/166.67 c =============================================================================== 172.29/172.34 c core #2 172.29/172.34 c ============================[ Search Statistics ]============================== 172.29/172.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 172.29/172.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 172.29/172.34 c =============================================================================== 172.29/172.34 c | 0 | 2939 7756 31984 | 5000 0 nan | 0.000 % | 172.39/172.40 c | 100 | 2939 7756 31984 | 5500 100 27 | 0.000 % | 172.39/172.41 c | 250 | 2939 7756 31984 | 6050 250 28 | 0.000 % | 172.39/172.42 c | 476 | 2939 7756 31984 | 6655 476 30 | 0.000 % | 172.39/172.43 c | 815 | 2939 7756 31984 | 7320 815 31 | 0.000 % | 172.39/172.46 c | 1322 | 2939 7756 31984 | 8052 1322 31 | 0.000 % | 172.49/172.51 c | 2082 | 2939 7756 31984 | 8857 2082 31 | 0.000 % | 172.49/172.58 c | 3221 | 2939 7756 31984 | 9743 3221 31 | 0.000 % | 172.60/172.68 c | 4930 | 2939 7756 31984 | 10717 4930 31 | 0.000 % | 172.79/172.89 c | 7493 | 2939 7756 31984 | 11789 7493 33 | 0.000 % | 173.20/173.22 c | 11337 | 2939 7756 31984 | 12968 11337 33 | 0.000 % | 173.70/173.77 c | 17103 | 2939 7756 31984 | 14265 10567 37 | 0.000 % | 174.60/174.61 c | 25755 | 2939 7756 31984 | 15692 12012 38 | 0.000 % | 176.19/176.20 c | 38731 | 2939 7756 31984 | 17261 9184 40 | 0.000 % | 178.40/178.40 c | 58193 | 2939 7756 31984 | 18987 11274 40 | 0.000 % | 181.50/181.53 c | 87385 | 2939 7756 31984 | 20886 11835 39 | 0.000 % | 187.20/187.28 c | 131174 | 2939 7756 31984 | 22974 13633 40 | 0.000 % | 196.09/196.16 c | 196861 | 2939 7756 31984 | 25272 21613 39 | 0.000 % | 199.79/199.81 c =============================================================================== 199.79/199.81 c #cores: 2 199.79/199.81 c Final Weight: 2 199.79/199.81 o 2 199.79/199.81 s OPTIMUM FOUND 199.79/199.81 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 199.79/199.81 c Total CPU time: 197.988 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-2689696-1277931217/watcher-2689696-1277931217 -o /tmp/evaluation-result-2689696-1277931217/solver-2689696-1277931217 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689696-1277931217.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 3/178 20897 /proc/meminfo: memFree=30944736/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=2668 CPUtime=0 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 305 0 0 0 0 0 0 0 25 0 1 0 134416383 2732032 223 4089446400 134512640 135751879 4291492048 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/20897/statm: 667 224 147 303 0 338 0 [startup+0.0910979 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20897 /proc/meminfo: memFree=30944736/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=3508 CPUtime=0.08 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 545 0 0 0 8 0 0 0 18 0 1 0 134416383 3592192 439 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 877 439 143 303 0 572 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3508 [startup+0.101088 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20897 /proc/meminfo: memFree=30944736/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=3640 CPUtime=0.09 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 565 0 0 0 9 0 0 0 18 0 1 0 134416383 3727360 459 4089446400 134512640 135751879 4291492048 18446744073709551615 134616822 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 910 460 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.301048 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20897 /proc/meminfo: memFree=30944736/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=4964 CPUtime=0.29 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 901 0 0 0 29 0 0 0 18 0 1 0 134416383 5083136 795 4089446400 134512640 135751879 4291492048 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 1241 795 143 303 0 936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4964 [startup+0.700984 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20897 /proc/meminfo: memFree=30944736/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=6992 CPUtime=0.69 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 1428 0 0 0 68 1 0 0 18 0 1 0 134416383 7159808 1322 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 1748 1323 143 303 0 1443 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6992 [startup+1.50084 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20898 /proc/meminfo: memFree=30938032/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=10688 CPUtime=1.49 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 2351 0 0 0 146 3 0 0 20 0 1 0 134416383 10944512 2245 4089446400 134512640 135751879 4291492048 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 2672 2245 143 303 0 2367 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10688 [startup+3.10055 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20898 /proc/meminfo: memFree=30933712/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=17164 CPUtime=3.09 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 3976 0 0 0 304 5 0 0 25 0 1 0 134416383 17575936 3870 4089446400 134512640 135751879 4291492048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 4291 3870 143 303 0 3986 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17164 [startup+6.30098 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20898 /proc/meminfo: memFree=30917592/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=28420 CPUtime=6.29 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 6770 0 0 0 621 8 0 0 25 0 1 0 134416383 29102080 6664 4089446400 134512640 135751879 4291492048 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 7105 6664 143 303 0 6800 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28420 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20898 /proc/meminfo: memFree=30914880/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=50380 CPUtime=12.69 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 12272 0 0 0 1253 16 0 0 25 0 1 0 134416383 51589120 12166 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 12595 12166 143 303 0 12290 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50380 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20899 /proc/meminfo: memFree=30869216/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=86600 CPUtime=25.49 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 21295 0 0 0 2520 29 0 0 25 0 1 0 134416383 88678400 21189 4089446400 134512640 135751879 4291492048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 21650 21189 143 303 0 21345 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86600 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20900 /proc/meminfo: memFree=30795376/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=156096 CPUtime=51.09 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 38658 0 0 0 5058 51 0 0 25 0 1 0 134416383 159842304 38552 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 39024 38553 143 303 0 38719 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 156096 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20901 /proc/meminfo: memFree=30723768/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=221300 CPUtime=102.3 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 55014 0 0 0 10133 97 0 0 25 0 1 0 134416383 226611200 54878 4089446400 134512640 135751879 4291492048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 55325 54878 146 303 0 55020 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 221300 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20902 /proc/meminfo: memFree=30590792/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=352240 CPUtime=162.29 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 87734 0 0 0 16074 155 0 0 25 0 1 0 134416383 360693760 87598 4089446400 134512640 135751879 4291492048 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 88060 87598 146 303 0 87755 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 352240 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20903 /proc/meminfo: memFree=30558032/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=382992 CPUtime=179.09 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 95434 0 0 0 17744 165 0 0 25 0 1 0 134416383 392183808 95298 4089446400 134512640 135751879 4291492048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 95748 95298 146 303 0 95443 0 Current children cumulated CPU time (s) 179.09 Current children cumulated vsize (KiB) 382992 [startup+191.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20904 /proc/meminfo: memFree=30557896/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=382992 CPUtime=191.9 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 95435 0 0 0 19014 176 0 0 25 0 1 0 134416383 392183808 95299 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 95748 95299 146 303 0 95443 0 Current children cumulated CPU time (s) 191.9 Current children cumulated vsize (KiB) 382992 [startup+195.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20904 /proc/meminfo: memFree=30557892/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=382992 CPUtime=195.1 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 95435 0 0 0 19331 179 0 0 25 0 1 0 134416383 392183808 95299 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 95748 95299 146 303 0 95443 0 Current children cumulated CPU time (s) 195.1 Current children cumulated vsize (KiB) 382992 [startup+198.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20904 /proc/meminfo: memFree=30557768/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=382992 CPUtime=198.3 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 95448 0 0 0 19648 182 0 0 25 0 1 0 134416383 392183808 95312 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 95748 95312 146 303 0 95443 0 Current children cumulated CPU time (s) 198.3 Current children cumulated vsize (KiB) 382992 [startup+199.106 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20904 /proc/meminfo: memFree=30557884/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=382992 CPUtime=199.11 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 95454 0 0 0 19728 183 0 0 25 0 1 0 134416383 392183808 95318 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 95748 95318 146 303 0 95443 0 Current children cumulated CPU time (s) 199.11 Current children cumulated vsize (KiB) 382992 [startup+199.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20904 /proc/meminfo: memFree=30557884/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=382992 CPUtime=199.5 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 95454 0 0 0 19767 183 0 0 25 0 1 0 134416383 392183808 95318 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 95748 95318 146 303 0 95443 0 Current children cumulated CPU time (s) 199.5 Current children cumulated vsize (KiB) 382992 [startup+199.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20904 /proc/meminfo: memFree=30557884/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=382992 CPUtime=199.7 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 95454 0 0 0 19787 183 0 0 25 0 1 0 134416383 392183808 95318 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 95748 95318 146 303 0 95443 0 Current children cumulated CPU time (s) 199.7 Current children cumulated vsize (KiB) 382992 [startup+199.8 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20904 /proc/meminfo: memFree=30557884/32951124 swapFree=67111528/67111528 [pid=20897] ppid=20895 vsize=382992 CPUtime=199.79 /proc/20897/stat : 20897 (wbo1.4a) R 20895 20897 20507 0 -1 4202496 95454 0 0 0 19796 183 0 0 25 0 1 0 134416383 392183808 95318 4089446400 134512640 135751879 4291492048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20897/statm: 95748 95318 146 303 0 95443 0 Current children cumulated CPU time (s) 199.79 Current children cumulated vsize (KiB) 382992 Child status: 0 Real time (s): 199.834 CPU time (s): 199.839 CPU user time (s): 197.988 CPU system time (s): 1.85072 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 382992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 197.988 system time used= 1.85072 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95454 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= 3 involuntary context switches= 442 runsolver used 0.300954 second user time and 0.613906 second system time The end
Begin job on node146 at 2010-06-30 22:53:37 IDJOB=2689696 IDBENCH=79313 IDSOLVER=1200 FILE ID=node146/2689696-1277931217 PBS_JOBID= 11197386 Free space on /tmp= 74172 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564281--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-2689696-1277931217/watcher-2689696-1277931217 -o /tmp/evaluation-result-2689696-1277931217/solver-2689696-1277931217 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689696-1277931217.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 504847a4e43d2b055735d72ea944fa39 RANDOM SEED=2020383230 node146.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.839 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.67 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.839 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.83 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.839 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.839 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.83 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.839 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.67 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.839 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.82 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.839 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.74 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.839 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: 32951124 kB MemFree: 30945148 kB Buffers: 220896 kB Cached: 1336536 kB SwapCached: 0 kB Active: 725864 kB Inactive: 1133348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30945148 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2768 kB Writeback: 0 kB AnonPages: 301864 kB Mapped: 17316 kB Slab: 83772 kB PageTables: 4896 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 451504 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= 74168 MiB End job on node146 at 2010-06-30 22:56:57