Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 257.055 | 257.046 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900568186--soft-33-100-0.wbo |
MD5SUM | 5d44b96125a480c7e8ae11943224729b |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 257.055 |
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 | 1839 |
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 | 91769 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91768 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 721 |
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-2689986-1277900619.wbo. 0.00/0.00 c Instance file HOME/instance-2689986-1277900619.wbo 0.00/0.00 c File size is 92498 bytes. 0.00/0.00 c Highest Coefficient sum: 721 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 | 101 | 231 2707 8338 | 5500 101 26 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 30 | 0.002 % | 0.00/0.01 c | 476 | 231 2707 8338 | 6655 476 27 | 0.002 % | 0.00/0.02 c | 813 | 231 2707 8338 | 7320 813 29 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 30 | 0.002 % | 0.00/0.06 c | 2079 | 231 2707 8338 | 8857 2079 31 | 0.002 % | 0.09/0.10 c | 3218 | 231 2707 8338 | 9743 3218 30 | 0.002 % | 0.09/0.17 c | 4926 | 231 2707 8338 | 10717 4926 32 | 0.002 % | 0.19/0.29 c | 7488 | 231 2707 8338 | 11789 7488 33 | 0.002 % | 0.49/0.52 c | 11332 | 231 2707 8338 | 12968 11332 33 | 0.002 % | 0.89/0.93 c | 17098 | 231 2707 8338 | 14265 10580 35 | 0.002 % | 1.39/1.44 c | 25749 | 231 2707 8338 | 15692 12044 32 | 0.002 % | 2.20/2.29 c | 38723 | 231 2707 8338 | 17261 9246 36 | 0.002 % | 3.59/3.66 c | 58184 | 231 2707 8338 | 18987 11355 34 | 0.002 % | 5.89/5.95 c | 87376 | 231 2707 8338 | 20886 11912 35 | 0.002 % | 9.39/9.49 c | 131168 | 231 2707 8338 | 22974 13707 38 | 0.002 % | 15.40/15.40 c | 196852 | 231 2707 8338 | 25272 21536 39 | 0.002 % | 26.00/26.05 c | 295379 | 231 2707 8338 | 27799 15481 40 | 0.002 % | 40.29/40.33 c | 443169 | 231 2707 8338 | 30579 22726 38 | 0.002 % | 64.49/64.50 c | 664853 | 230 2707 8338 | 33637 19670 37 | 0.435 % | 69.79/69.82 c =============================================================================== 73.89/73.92 c core #1 73.89/73.92 c ============================[ Search Statistics ]============================== 73.89/73.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.89/73.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.89/73.92 c =============================================================================== 73.89/73.92 c | 0 | 1154 4439 16450 | 5000 0 nan | 0.000 % | 73.99/74.07 c | 101 | 1154 4439 16450 | 5500 101 21 | 0.000 % | 73.99/74.07 c | 251 | 1154 4439 16450 | 6050 251 23 | 0.000 % | 73.99/74.08 c | 476 | 1154 4439 16450 | 6655 476 25 | 0.000 % | 73.99/74.09 c | 814 | 1154 4439 16450 | 7320 814 25 | 0.000 % | 74.09/74.11 c | 1320 | 1154 4439 16450 | 8052 1320 26 | 0.000 % | 74.09/74.15 c | 2081 | 1154 4439 16450 | 8857 2081 26 | 0.000 % | 74.20/74.20 c | 3220 | 1154 4439 16450 | 9743 3220 28 | 0.000 % | 74.20/74.27 c | 4928 | 1154 4439 16450 | 10717 4928 28 | 0.000 % | 74.29/74.39 c | 7492 | 1154 4439 16450 | 11789 7492 28 | 0.000 % | 74.59/74.63 c | 11336 | 1154 4439 16450 | 12968 11336 30 | 0.000 % | 74.89/74.99 c | 17104 | 1154 4439 16450 | 14265 10565 31 | 0.000 % | 75.59/75.63 c | 25754 | 1154 4439 16450 | 15692 12026 36 | 0.000 % | 76.69/76.73 c | 38728 | 1154 4439 16450 | 17261 9232 37 | 0.000 % | 78.49/78.55 c | 58190 | 1154 4439 16450 | 18987 11320 34 | 0.000 % | 81.49/81.54 c | 87382 | 1154 4439 16450 | 20886 11423 39 | 0.000 % | 86.50/86.52 c | 131172 | 1154 4439 16450 | 22974 13232 41 | 0.000 % | 93.89/93.93 c | 196856 | 1154 4439 16450 | 25272 21237 39 | 0.000 % | 105.60/105.63 c | 295383 | 1154 4439 16450 | 27799 15984 36 | 0.000 % | 121.29/121.39 c | 443172 | 1154 4439 16450 | 30579 21585 35 | 0.000 % | 145.60/145.68 c =============================================================================== 150.20/150.21 c core #2 150.20/150.21 c ============================[ Search Statistics ]============================== 150.20/150.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 150.20/150.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 150.20/150.21 c =============================================================================== 150.20/150.21 c | 0 | 2076 6149 24487 | 5000 0 nan | 0.000 % | 150.20/150.25 c | 100 | 2076 6149 24487 | 5500 100 22 | 0.000 % | 150.20/150.26 c | 250 | 2076 6149 24487 | 6050 250 27 | 0.000 % | 150.20/150.27 c | 475 | 2076 6149 24487 | 6655 475 28 | 0.000 % | 150.20/150.29 c | 813 | 2076 6149 24487 | 7320 813 25 | 0.000 % | 150.29/150.31 c | 1320 | 2076 6149 24487 | 8052 1320 28 | 0.000 % | 150.29/150.35 c | 2079 | 2076 6149 24487 | 8857 2079 27 | 0.000 % | 150.39/150.40 c | 3219 | 2076 6149 24487 | 9743 3219 27 | 0.000 % | 150.39/150.48 c | 4927 | 2076 6149 24487 | 10717 4927 28 | 0.000 % | 150.60/150.64 c | 7490 | 2076 6149 24487 | 11789 7490 30 | 0.000 % | 150.80/150.88 c | 11335 | 2076 6149 24487 | 12968 11335 31 | 0.000 % | 151.19/151.28 c | 17103 | 2076 6149 24487 | 14265 10578 32 | 0.000 % | 151.89/151.92 c | 25752 | 2076 6149 24487 | 15692 12040 36 | 0.000 % | 153.10/153.18 c | 38726 | 2076 6149 24487 | 17261 9232 40 | 0.000 % | 155.00/155.08 c | 58187 | 2076 6149 24487 | 18987 11335 36 | 0.000 % | 158.20/158.27 c | 87379 | 2076 6149 24487 | 20886 11884 36 | 0.000 % | 162.99/163.02 c | 131170 | 2076 6149 24487 | 22974 13692 40 | 0.000 % | 170.20/170.28 c | 196855 | 2076 6149 24487 | 25272 21737 39 | 0.000 % | 181.89/181.96 c | 295381 | 2076 6149 24487 | 27799 16606 41 | 0.000 % | 200.80/200.82 c | 443170 | 2076 6149 24487 | 30579 25527 43 | 0.000 % | 228.10/228.18 c =============================================================================== 232.90/232.95 c core #3 232.90/232.95 c ============================[ Search Statistics ]============================== 232.90/232.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.90/232.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.90/232.95 c =============================================================================== 232.90/232.95 c | 0 | 3002 7851 32523 | 5000 0 nan | 0.000 % | 233.00/233.00 c | 105 | 3002 7851 32523 | 5500 105 24 | 0.000 % | 233.00/233.01 c | 256 | 3002 7851 32523 | 6050 256 26 | 0.000 % | 233.00/233.02 c | 481 | 3002 7851 32523 | 6655 481 28 | 0.000 % | 233.00/233.04 c | 818 | 3002 7851 32523 | 7320 818 29 | 0.000 % | 233.00/233.07 c | 1325 | 3002 7851 32523 | 8052 1325 31 | 0.000 % | 233.10/233.10 c | 2085 | 3002 7851 32523 | 8857 2085 31 | 0.000 % | 233.10/233.16 c | 3224 | 3002 7851 32523 | 9743 3224 33 | 0.000 % | 233.20/233.26 c | 4932 | 3002 7851 32523 | 10717 4932 34 | 0.000 % | 233.40/233.42 c | 7496 | 3002 7851 32523 | 11789 7496 33 | 0.000 % | 233.70/233.79 c | 11340 | 3002 7851 32523 | 12968 11340 34 | 0.000 % | 234.21/234.25 c | 17106 | 3002 7851 32523 | 14265 10569 35 | 0.000 % | 235.00/235.01 c | 25755 | 3002 7851 32523 | 15692 12032 38 | 0.000 % | 236.30/236.37 c | 38730 | 3002 7851 32523 | 17261 9198 38 | 0.000 % | 238.20/238.24 c | 58192 | 3002 7851 32523 | 18987 11288 36 | 0.000 % | 241.40/241.45 c | 87385 | 3002 7851 32523 | 20886 11855 37 | 0.000 % | 246.70/246.73 c | 131174 | 3002 7851 32523 | 22974 13696 37 | 0.000 % | 254.89/254.90 c | 196859 | 3002 7851 32523 | 25272 21684 38 | 0.000 % | 257.00/257.03 c =============================================================================== 257.00/257.03 c #cores: 3 257.00/257.03 c Final Weight: 3 257.00/257.03 o 3 257.00/257.03 s OPTIMUM FOUND 257.00/257.03 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 257.00/257.03 c Total CPU time: 253.867 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689986-1277900619/watcher-2689986-1277900619 -o /tmp/evaluation-result-2689986-1277900619/solver-2689986-1277900619 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689986-1277900619.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: 1.92 1.98 1.99 4/178 11543 /proc/meminfo: memFree=31725572/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=2668 CPUtime=0 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 302 0 0 0 0 0 0 0 25 0 1 0 131207571 2732032 221 4089446400 134512640 135751879 4286789632 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11543/statm: 667 221 145 303 0 339 0 [startup+0.08201 s] /proc/loadavg: 1.92 1.98 1.99 4/178 11543 /proc/meminfo: memFree=31725572/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=3380 CPUtime=0.07 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 527 0 0 0 7 0 0 0 18 0 1 0 131207571 3461120 423 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11543/statm: 845 423 143 303 0 540 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3380 [startup+0.101005 s] /proc/loadavg: 1.92 1.98 1.99 4/178 11543 /proc/meminfo: memFree=31725572/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=3644 CPUtime=0.09 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 566 0 0 0 9 0 0 0 18 0 1 0 131207571 3731456 462 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11543/statm: 911 462 143 303 0 606 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3644 [startup+0.301015 s] /proc/loadavg: 1.92 1.98 1.99 4/178 11543 /proc/meminfo: memFree=31725572/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=4964 CPUtime=0.29 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 911 0 0 0 28 1 0 0 18 0 1 0 131207571 5083136 807 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 1241 807 143 303 0 936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4964 [startup+0.700939 s] /proc/loadavg: 1.92 1.98 1.99 4/178 11543 /proc/meminfo: memFree=31725572/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=6844 CPUtime=0.69 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 1359 0 0 0 67 2 0 0 18 0 1 0 131207571 7008256 1255 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 1711 1255 143 303 0 1406 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6844 [startup+1.50084 s] /proc/loadavg: 1.92 1.98 1.99 3/179 11544 /proc/meminfo: memFree=31719984/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=10540 CPUtime=1.49 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 2311 0 0 0 146 3 0 0 20 0 1 0 131207571 10792960 2207 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 2635 2208 143 303 0 2330 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10540 [startup+3.10049 s] /proc/loadavg: 1.92 1.98 1.99 3/179 11544 /proc/meminfo: memFree=31714652/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=17672 CPUtime=3.09 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 4068 0 0 0 300 9 0 0 25 0 1 0 131207571 18096128 3964 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 4418 3964 143 303 0 4113 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17672 [startup+6.30082 s] /proc/loadavg: 1.93 1.98 1.99 3/179 11545 /proc/meminfo: memFree=31701404/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=30088 CPUtime=6.29 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 7186 0 0 0 615 14 0 0 25 0 1 0 131207571 30810112 7082 4089446400 134512640 135751879 4286789632 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 7522 7082 143 303 0 7217 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30088 [startup+12.7006 s] /proc/loadavg: 1.93 1.98 1.99 3/179 11545 /proc/meminfo: memFree=31677652/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=52932 CPUtime=12.69 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 12907 0 0 0 1246 23 0 0 25 0 1 0 131207571 54202368 12803 4089446400 134512640 135751879 4286789632 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 13233 12803 143 303 0 12928 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52932 [startup+25.5001 s] /proc/loadavg: 1.95 1.98 1.99 3/179 11545 /proc/meminfo: memFree=31638008/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=91792 CPUtime=25.49 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 22591 0 0 0 2509 40 0 0 25 0 1 0 131207571 93995008 22487 4089446400 134512640 135751879 4286789632 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 22948 22487 143 303 0 22643 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 91792 [startup+51.1003 s] /proc/loadavg: 2.12 2.02 2.01 3/197 11591 /proc/meminfo: memFree=31498756/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=168720 CPUtime=51.09 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 41819 0 0 0 5029 80 0 0 25 0 1 0 131207571 172769280 41715 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 42180 41715 143 303 0 41875 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 168720 [startup+102.307 s] /proc/loadavg: 2.05 2.01 2.00 3/197 11592 /proc/meminfo: memFree=31377440/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=239504 CPUtime=102.3 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 59567 0 0 0 10092 138 0 0 25 0 1 0 131207571 245252096 59430 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 59876 59430 146 303 0 59571 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 239504 [startup+162.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11594 /proc/meminfo: memFree=31234432/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=350260 CPUtime=162.3 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 87242 0 0 0 16017 213 0 0 25 0 1 0 131207571 358666240 87105 4089446400 134512640 135751879 4286789632 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 87565 87105 146 303 0 87260 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 350260 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11595 /proc/meminfo: memFree=31120184/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=438364 CPUtime=222.29 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 109275 0 0 0 21947 282 0 0 25 0 1 0 131207571 448884736 109138 4089446400 134512640 135751879 4286789632 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 109591 109138 146 303 0 109286 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 438364 Solver just ended. Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11595 /proc/meminfo: memFree=31085828/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=472952 CPUtime=230.3 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 117922 0 0 0 22740 290 0 0 25 0 1 0 131207571 484302848 117785 4089446400 134512640 135751879 4286789632 18446744073709551615 134516227 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 118238 117785 146 303 0 117933 0 Current children cumulated CPU time (s) 230.3 Current children cumulated vsize (KiB) 472952 [startup+243.106 s] /proc/loadavg: 2.07 2.02 2.00 3/197 11596 /proc/meminfo: memFree=31076396/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=474240 CPUtime=243.1 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 118221 0 0 0 24007 303 0 0 25 0 1 0 131207571 485621760 118084 4089446400 134512640 135751879 4286789632 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 118560 118084 146 303 0 118255 0 Current children cumulated CPU time (s) 243.1 Current children cumulated vsize (KiB) 474240 [startup+249.5 s] /proc/loadavg: 2.06 2.02 2.00 3/197 11596 /proc/meminfo: memFree=31074404/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=474240 CPUtime=249.5 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 118242 0 0 0 24640 310 0 0 25 0 1 0 131207571 485621760 118105 4089446400 134512640 135751879 4286789632 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 118560 118105 146 303 0 118255 0 Current children cumulated CPU time (s) 249.5 Current children cumulated vsize (KiB) 474240 [startup+252.701 s] /proc/loadavg: 2.06 2.02 2.00 3/197 11596 /proc/meminfo: memFree=31072792/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=474240 CPUtime=252.7 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 118242 0 0 0 24958 312 0 0 25 0 1 0 131207571 485621760 118105 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 118560 118105 146 303 0 118255 0 Current children cumulated CPU time (s) 252.7 Current children cumulated vsize (KiB) 474240 [startup+254.3 s] /proc/loadavg: 2.06 2.01 2.00 3/197 11596 /proc/meminfo: memFree=31071676/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=474240 CPUtime=254.3 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 118242 0 0 0 25116 314 0 0 25 0 1 0 131207571 485621760 118105 4089446400 134512640 135751879 4286789632 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 118560 118105 146 303 0 118255 0 Current children cumulated CPU time (s) 254.3 Current children cumulated vsize (KiB) 474240 [startup+255.901 s] /proc/loadavg: 2.06 2.01 2.00 3/197 11596 /proc/meminfo: memFree=31070932/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=474240 CPUtime=255.9 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 118242 0 0 0 25275 315 0 0 25 0 1 0 131207571 485621760 118105 4089446400 134512640 135751879 4286789632 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 118560 118105 146 303 0 118255 0 Current children cumulated CPU time (s) 255.9 Current children cumulated vsize (KiB) 474240 [startup+256.701 s] /proc/loadavg: 2.06 2.01 2.00 3/197 11596 /proc/meminfo: memFree=31070556/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=474240 CPUtime=256.7 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 118242 0 0 0 25353 317 0 0 25 0 1 0 131207571 485621760 118105 4089446400 134512640 135751879 4286789632 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 118560 118105 146 303 0 118255 0 Current children cumulated CPU time (s) 256.7 Current children cumulated vsize (KiB) 474240 [startup+256.901 s] /proc/loadavg: 2.06 2.01 2.00 3/197 11596 /proc/meminfo: memFree=31070556/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=474240 CPUtime=256.9 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 118242 0 0 0 25373 317 0 0 25 0 1 0 131207571 485621760 118105 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 118560 118105 146 303 0 118255 0 Current children cumulated CPU time (s) 256.9 Current children cumulated vsize (KiB) 474240 [startup+257.001 s] /proc/loadavg: 2.06 2.01 2.00 3/197 11596 /proc/meminfo: memFree=31070556/32950928 swapFree=67111528/67111528 [pid=11543] ppid=11541 vsize=474240 CPUtime=257 /proc/11543/stat : 11543 (wbo1.4a) R 11541 11543 10940 0 -1 4202496 118242 0 0 0 25383 317 0 0 25 0 1 0 131207571 485621760 118105 4089446400 134512640 135751879 4286789632 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11543/statm: 118560 118105 146 303 0 118255 0 Current children cumulated CPU time (s) 257 Current children cumulated vsize (KiB) 474240 Child status: 0 Real time (s): 257.046 CPU time (s): 257.055 CPU user time (s): 253.867 CPU system time (s): 3.18751 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 474240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 253.867 system time used= 3.18751 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 118242 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 258 runsolver used 0.365944 second user time and 0.833873 second system time The end
Begin job on node127 at 2010-06-30 14:23:39 IDJOB=2689986 IDBENCH=78884 IDSOLVER=1200 FILE ID=node127/2689986-1277900619 PBS_JOBID= 11197209 Free space on /tmp= 74204 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186--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-2689986-1277900619/watcher-2689986-1277900619 -o /tmp/evaluation-result-2689986-1277900619/solver-2689986-1277900619 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689986-1277900619.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5d44b96125a480c7e8ae11943224729b RANDOM SEED=1768668976 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: 31726100 kB Buffers: 185328 kB Cached: 713784 kB SwapCached: 0 kB Active: 599424 kB Inactive: 485484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31726100 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 186316 kB Mapped: 16132 kB Slab: 76492 kB PageTables: 5068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 334452 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 14:27:56