Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 117.511 | 117.509 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900562192--soft-66-100-0.wbo |
MD5SUM | a8e86a019ae76f67696e97fb47d8da09 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 117.511 |
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 | 906 |
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 | 44555 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44554 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 765 |
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-2690023-1277903490.wbo. 0.00/0.00 c Instance file HOME/instance-2690023-1277903490.wbo 0.00/0.00 c File size is 87899 bytes. 0.00/0.00 c Highest Coefficient sum: 765 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 26 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 25 | 0.002 % | 0.00/0.01 c | 478 | 231 2707 8338 | 6655 478 23 | 0.002 % | 0.02/0.02 c | 819 | 231 2707 8338 | 7320 819 25 | 0.002 % | 0.02/0.04 c | 1327 | 231 2707 8338 | 8052 1327 27 | 0.002 % | 0.02/0.06 c | 2088 | 231 2707 8338 | 8857 2088 29 | 0.002 % | 0.09/0.10 c | 3229 | 231 2707 8338 | 9743 3229 29 | 0.002 % | 0.09/0.16 c | 4937 | 231 2707 8338 | 10717 4937 29 | 0.002 % | 0.19/0.27 c | 7499 | 231 2707 8338 | 11789 7499 30 | 0.002 % | 0.39/0.47 c | 11343 | 231 2707 8338 | 12968 11343 30 | 0.002 % | 0.69/0.80 c | 17109 | 231 2707 8338 | 14265 10571 34 | 0.002 % | 1.29/1.32 c | 25760 | 231 2707 8338 | 15692 12032 35 | 0.002 % | 2.10/2.16 c | 38735 | 231 2707 8338 | 17261 9236 34 | 0.002 % | 3.59/3.60 c | 58197 | 231 2707 8338 | 18987 11322 36 | 0.002 % | 5.99/6.00 c | 87389 | 231 2707 8338 | 20886 11899 38 | 0.002 % | 9.69/9.72 c | 131178 | 231 2707 8338 | 22974 13733 36 | 0.002 % | 15.50/15.51 c | 196862 | 231 2707 8338 | 25272 21718 35 | 0.002 % | 25.09/25.19 c | 295389 | 231 2707 8338 | 27799 13045 37 | 0.002 % | 40.89/40.97 c | 443179 | 231 2707 8338 | 30579 20722 37 | 0.002 % | 64.69/64.73 c | 664862 | 231 2707 8338 | 33637 23445 37 | 0.002 % | 88.29/88.39 c =============================================================================== 92.70/92.74 c core #1 92.70/92.74 c ============================[ Search Statistics ]============================== 92.70/92.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.70/92.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.70/92.74 c =============================================================================== 92.70/92.74 c | 0 | 686 3551 12263 | 5000 0 nan | 0.000 % | 92.90/92.95 c | 100 | 686 3551 12263 | 5500 100 25 | 0.000 % | 92.90/92.95 c | 253 | 686 3551 12263 | 6050 253 28 | 0.000 % | 92.90/92.96 c | 479 | 686 3551 12263 | 6655 479 26 | 0.000 % | 92.90/92.98 c | 816 | 686 3551 12263 | 7320 816 27 | 0.000 % | 92.90/92.99 c | 1322 | 686 3551 12263 | 8052 1322 29 | 0.000 % | 93.00/93.04 c | 2083 | 686 3551 12263 | 8857 2083 31 | 0.000 % | 93.00/93.09 c | 3222 | 686 3551 12263 | 9743 3222 31 | 0.000 % | 93.09/93.16 c | 4930 | 686 3551 12263 | 10717 4930 32 | 0.000 % | 93.19/93.29 c | 7495 | 686 3551 12263 | 11789 7495 32 | 0.000 % | 93.50/93.53 c | 11339 | 686 3551 12263 | 12968 11339 33 | 0.000 % | 93.89/93.93 c | 17105 | 686 3551 12263 | 14265 10574 34 | 0.000 % | 94.50/94.53 c | 25755 | 686 3551 12263 | 15692 12036 33 | 0.000 % | 95.60/95.65 c | 38730 | 686 3551 12263 | 17261 9213 35 | 0.000 % | 97.49/97.52 c | 58191 | 686 3551 12263 | 18987 11305 35 | 0.000 % | 100.30/100.32 c | 87384 | 686 3551 12263 | 20886 11851 37 | 0.000 % | 104.50/104.52 c | 131177 | 686 3551 12263 | 22974 13680 42 | 0.000 % | 111.49/111.54 c | 196861 | 686 3551 12263 | 25272 21673 35 | 0.000 % | 117.39/117.49 c =============================================================================== 117.39/117.49 c #cores: 1 117.39/117.49 c Final Weight: 1 117.39/117.49 o 1 117.39/117.49 s OPTIMUM FOUND 117.39/117.49 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 117.39/117.49 c Total CPU time: 116.112 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-2690023-1277903490/watcher-2690023-1277903490 -o /tmp/evaluation-result-2690023-1277903490/solver-2690023-1277903490 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690023-1277903490.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.03 2.00 4/196 12768 /proc/meminfo: memFree=31036964/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=2804 CPUtime=0 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 313 0 0 0 0 0 0 0 25 0 1 0 131645916 2871296 231 4089446400 134512640 135751879 4287145504 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 701 231 147 303 0 374 0 [startup+0.026887 s] /proc/loadavg: 2.00 2.03 2.00 4/196 12768 /proc/meminfo: memFree=31036964/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=2848 CPUtime=0.02 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 389 0 0 0 2 0 0 0 25 0 1 0 131645916 2916352 285 4089446400 134512640 135751879 4287145504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 712 285 143 303 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2848 [startup+0.100835 s] /proc/loadavg: 2.00 2.03 2.00 4/196 12768 /proc/meminfo: memFree=31036964/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=3508 CPUtime=0.09 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 529 0 0 0 9 0 0 0 25 0 1 0 131645916 3592192 425 4089446400 134512640 135751879 4287145504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 877 425 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.3008 s] /proc/loadavg: 2.00 2.03 2.00 4/196 12768 /proc/meminfo: memFree=31036964/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=4596 CPUtime=0.29 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 826 0 0 0 29 0 0 0 25 0 1 0 131645916 4706304 722 4089446400 134512640 135751879 4287145504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 1149 722 143 303 0 844 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4596 [startup+0.700789 s] /proc/loadavg: 2.00 2.03 2.00 4/196 12768 /proc/meminfo: memFree=31036964/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=6484 CPUtime=0.69 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 1297 0 0 0 68 1 0 0 25 0 1 0 131645916 6639616 1193 4089446400 134512640 135751879 4287145504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 1621 1193 143 303 0 1316 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6484 [startup+1.50059 s] /proc/loadavg: 2.00 2.03 2.00 3/197 12769 /proc/meminfo: memFree=31031412/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=9916 CPUtime=1.49 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 2144 0 0 0 146 3 0 0 25 0 1 0 131645916 10153984 2040 4089446400 134512640 135751879 4287145504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 2479 2040 143 303 0 2174 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9916 [startup+3.1003 s] /proc/loadavg: 2.00 2.03 2.00 3/197 12769 /proc/meminfo: memFree=31026692/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=15864 CPUtime=3.09 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 3617 0 0 0 304 5 0 0 25 0 1 0 131645916 16244736 3513 4089446400 134512640 135751879 4287145504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 3966 3513 143 303 0 3661 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15864 [startup+6.30073 s] /proc/loadavg: 2.00 2.03 2.00 3/197 12769 /proc/meminfo: memFree=31015512/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=26500 CPUtime=6.29 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 6275 0 0 0 618 11 0 0 25 0 1 0 131645916 27136000 6171 4089446400 134512640 135751879 4287145504 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 6625 6171 143 303 0 6320 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26500 [startup+12.7006 s] /proc/loadavg: 2.00 2.03 2.00 3/197 12769 /proc/meminfo: memFree=30995048/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=45396 CPUtime=12.69 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 11011 0 0 0 1250 19 0 0 25 0 1 0 131645916 46485504 10908 4089446400 134512640 135751879 4287145504 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 11349 10908 143 303 0 11044 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45396 [startup+25.5003 s] /proc/loadavg: 2.00 2.02 2.00 3/197 12770 /proc/meminfo: memFree=30958760/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=79880 CPUtime=25.49 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 19639 0 0 0 2512 37 0 0 25 0 1 0 131645916 81797120 19535 4089446400 134512640 135751879 4287145504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 19970 19535 143 303 0 19665 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 79880 [startup+51.1007 s] /proc/loadavg: 2.00 2.02 2.00 10/197 12771 /proc/meminfo: memFree=30895372/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=141780 CPUtime=51.09 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 35099 0 0 0 5042 67 0 0 25 0 1 0 131645916 145182720 34995 4089446400 134512640 135751879 4287145504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 35445 34995 143 303 0 35140 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 141780 [startup+102.307 s] /proc/loadavg: 2.00 2.02 2.00 3/197 12772 /proc/meminfo: memFree=30777308/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=253748 CPUtime=102.3 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 63119 0 0 0 10108 122 0 0 25 0 1 0 131645916 259837952 62982 4089446400 134512640 135751879 4287145504 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 63437 62982 146 303 0 63132 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 253748 Solver just ended. Dumping a history of the last processes samples [startup+108.701 s] /proc/loadavg: 2.00 2.02 2.00 3/197 12772 /proc/meminfo: memFree=30776808/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=253748 CPUtime=108.69 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 63129 0 0 0 10742 127 0 0 25 0 1 0 131645916 259837952 62992 4089446400 134512640 135751879 4287145504 18446744073709551615 134616871 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 63437 62992 146 303 0 63132 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 253748 [startup+111.901 s] /proc/loadavg: 2.00 2.02 2.00 3/197 12772 /proc/meminfo: memFree=30776804/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=253748 CPUtime=111.9 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 63129 0 0 0 11058 132 0 0 25 0 1 0 131645916 259837952 62992 4089446400 134512640 135751879 4287145504 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 63437 62992 146 303 0 63132 0 Current children cumulated CPU time (s) 111.9 Current children cumulated vsize (KiB) 253748 [startup+115.1 s] /proc/loadavg: 2.00 2.02 2.00 3/197 12772 /proc/meminfo: memFree=30776556/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=253748 CPUtime=115.09 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 63129 0 0 0 11374 135 0 0 25 0 1 0 131645916 259837952 62992 4089446400 134512640 135751879 4287145504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 63437 62992 146 303 0 63132 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 253748 [startup+116.701 s] /proc/loadavg: 2.00 2.02 2.00 3/197 12773 /proc/meminfo: memFree=30775812/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=254804 CPUtime=116.69 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 63399 0 0 0 11532 137 0 0 25 0 1 0 131645916 260919296 63262 4089446400 134512640 135751879 4287145504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 63701 63262 146 303 0 63396 0 Current children cumulated CPU time (s) 116.69 Current children cumulated vsize (KiB) 254804 [startup+117.101 s] /proc/loadavg: 2.00 2.02 2.00 3/197 12773 /proc/meminfo: memFree=30775812/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=255332 CPUtime=117.1 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202496 63524 0 0 0 11572 138 0 0 25 0 1 0 131645916 261459968 63387 4089446400 134512640 135751879 4287145504 18446744073709551615 134616786 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12768/statm: 63833 63387 146 303 0 63528 0 Current children cumulated CPU time (s) 117.1 Current children cumulated vsize (KiB) 255332 [startup+117.501 s] /proc/loadavg: 2.00 2.02 2.00 3/197 12773 /proc/meminfo: memFree=30775812/32950928 swapFree=67111528/67111528 [pid=12768] ppid=12766 vsize=0 CPUtime=117.5 /proc/12768/stat : 12768 (wbo1.4a) R 12766 12768 12220 0 -1 4202500 63634 0 0 0 11611 139 0 0 25 0 1 0 131645916 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0 /proc/12768/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 117.5 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 117.509 CPU time (s): 117.511 CPU user time (s): 116.112 CPU system time (s): 1.39879 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 255596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 116.112 system time used= 1.39879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63634 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= 81 runsolver used 0.239963 second user time and 0.396939 second system time The end
Begin job on node122 at 2010-06-30 15:11:30 IDJOB=2690023 IDBENCH=78911 IDSOLVER=1200 FILE ID=node122/2690023-1277903490 PBS_JOBID= 11197226 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900562192--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690023-1277903490/watcher-2690023-1277903490 -o /tmp/evaluation-result-2690023-1277903490/solver-2690023-1277903490 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690023-1277903490.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a8e86a019ae76f67696e97fb47d8da09 RANDOM SEED=268269748 node122.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.836 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.08 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.836 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.82 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.836 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.836 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.85 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.836 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.836 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.836 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: 32950928 kB MemFree: 31036988 kB Buffers: 185496 kB Cached: 1148284 kB SwapCached: 0 kB Active: 952464 kB Inactive: 819412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31036988 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2816 kB Writeback: 0 kB AnonPages: 438212 kB Mapped: 20492 kB Slab: 78612 kB PageTables: 5612 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1657024 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 node122 at 2010-06-30 15:13:27