Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 137.819 | 137.817 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo |
MD5SUM | db6ee27e0a2875f2e81d96fef92170ce |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 137.819 |
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 | 135641 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 135640 |
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-2689558-1277926077.wbo. 0.00/0.00 c Instance file HOME/instance-2689558-1277926077.wbo 0.00/0.00 c File size is 96780 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 | 2086 | 231 2707 8338 | 8857 2086 28 | 0.002 % | 0.09/0.10 c | 3226 | 231 2707 8338 | 9743 3226 28 | 0.002 % | 0.09/0.17 c | 4935 | 231 2707 8338 | 10717 4935 30 | 0.002 % | 0.19/0.29 c | 7498 | 231 2707 8338 | 11789 7498 32 | 0.002 % | 0.39/0.49 c | 11343 | 231 2707 8338 | 12968 11343 32 | 0.002 % | 0.79/0.86 c | 17109 | 231 2707 8338 | 14265 10580 35 | 0.002 % | 1.29/1.39 c | 25759 | 231 2707 8338 | 15692 12051 38 | 0.002 % | 2.39/2.44 c | 38733 | 231 2707 8338 | 17261 9220 37 | 0.002 % | 3.69/3.75 c | 58194 | 231 2707 8338 | 18987 11315 35 | 0.002 % | 6.09/6.15 c | 87387 | 231 2707 8338 | 20886 11860 36 | 0.002 % | 9.99/10.08 c | 131177 | 231 2707 8338 | 22974 13682 35 | 0.002 % | 16.40/16.50 c | 196861 | 231 2707 8338 | 25272 21647 39 | 0.002 % | 27.40/27.47 c | 295389 | 231 2707 8338 | 27799 17461 42 | 0.002 % | 42.79/42.82 c | 443180 | 231 2707 8338 | 30579 25470 38 | 0.002 % | 65.90/65.92 c | 664863 | 231 2707 8338 | 33637 29680 35 | 0.002 % | 104.69/104.78 c | 997388 | 231 2707 8338 | 37001 27718 40 | 0.041 % | 125.49/125.57 c =============================================================================== 134.30/134.35 c core #1 134.30/134.35 c ============================[ Search Statistics ]============================== 134.30/134.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 134.30/134.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 134.30/134.35 c =============================================================================== 134.30/134.35 c | 0 | 1585 5267 20294 | 5000 0 nan | 0.000 % | 134.50/134.58 c | 101 | 1585 5267 20294 | 5500 101 19 | 0.000 % | 134.60/134.60 c | 253 | 1585 5267 20294 | 6050 253 21 | 0.000 % | 134.60/134.62 c | 478 | 1585 5267 20294 | 6655 478 27 | 0.000 % | 134.60/134.64 c | 815 | 1585 5267 20294 | 7320 815 29 | 0.000 % | 134.60/134.67 c | 1321 | 1585 5267 20294 | 8052 1321 30 | 0.000 % | 134.69/134.70 c | 2082 | 1585 5267 20294 | 8857 2082 30 | 0.000 % | 134.69/134.74 c | 3222 | 1585 5267 20294 | 9743 3222 30 | 0.000 % | 134.80/134.83 c | 4930 | 1585 5267 20294 | 10717 4930 29 | 0.000 % | 134.89/134.98 c | 7494 | 1585 5267 20294 | 11789 7494 31 | 0.000 % | 135.20/135.23 c | 11338 | 1585 5267 20294 | 12968 11338 31 | 0.000 % | 135.59/135.66 c | 17106 | 1585 5267 20294 | 14265 10574 34 | 0.000 % | 136.30/136.31 c | 25756 | 1585 5267 20294 | 15692 12036 38 | 0.000 % | 137.30/137.38 c | 38732 | 1585 5267 20294 | 17261 9206 36 | 0.000 % | 137.79/137.80 c =============================================================================== 137.79/137.80 c #cores: 1 137.79/137.80 c Final Weight: 1 137.79/137.80 o 1 137.79/137.80 s OPTIMUM FOUND 137.79/137.80 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 137.79/137.80 c Total CPU time: 135.099 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-2689558-1277926077/watcher-2689558-1277926077 -o /tmp/evaluation-result-2689558-1277926077/solver-2689558-1277926077 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689558-1277926077.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/196 26719 /proc/meminfo: memFree=30814484/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=2808 CPUtime=0 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 311 0 0 0 0 0 0 0 23 0 1 0 166247234 2875392 229 4089446400 134512640 135751879 4290368672 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 702 229 148 303 0 373 0 [startup+0.0269969 s] /proc/loadavg: 1.92 1.98 1.99 4/196 26719 /proc/meminfo: memFree=30814484/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=2976 CPUtime=0.02 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 399 0 0 0 2 0 0 0 23 0 1 0 166247234 3047424 293 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 744 294 143 303 0 439 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2976 [startup+0.100997 s] /proc/loadavg: 1.92 1.98 1.99 4/196 26719 /proc/meminfo: memFree=30814484/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=3640 CPUtime=0.09 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 574 0 0 0 8 1 0 0 23 0 1 0 166247234 3727360 468 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 910 468 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.30095 s] /proc/loadavg: 1.92 1.98 1.99 4/196 26719 /proc/meminfo: memFree=30814484/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=5092 CPUtime=0.29 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 947 0 0 0 27 2 0 0 23 0 1 0 166247234 5214208 841 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 1273 842 143 303 0 968 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5092 [startup+0.700894 s] /proc/loadavg: 1.92 1.98 1.99 4/196 26719 /proc/meminfo: memFree=30814484/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=7348 CPUtime=0.69 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 1499 0 0 0 65 4 0 0 25 0 1 0 166247234 7524352 1393 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 1837 1393 143 303 0 1532 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7348 [startup+1.50075 s] /proc/loadavg: 1.92 1.98 1.99 3/197 26720 /proc/meminfo: memFree=30808028/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=11572 CPUtime=1.49 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 2554 0 0 0 142 7 0 0 25 0 1 0 166247234 11849728 2448 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 2893 2448 143 303 0 2588 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11572 [startup+3.10048 s] /proc/loadavg: 1.92 1.98 1.99 3/197 26720 /proc/meminfo: memFree=30802572/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=18316 CPUtime=3.09 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 4245 0 0 0 299 10 0 0 25 0 1 0 166247234 18755584 4139 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 4579 4139 143 303 0 4274 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18316 [startup+6.30095 s] /proc/loadavg: 1.93 1.98 1.99 3/197 26722 /proc/meminfo: memFree=30788944/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=31200 CPUtime=6.29 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 7459 0 0 0 610 19 0 0 22 0 1 0 166247234 31948800 7353 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 7800 7353 143 303 0 7495 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31200 [startup+12.7009 s] /proc/loadavg: 1.93 1.98 1.99 3/197 26722 /proc/meminfo: memFree=30764996/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=52884 CPUtime=12.7 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 12899 0 0 0 1234 36 0 0 25 0 1 0 166247234 54153216 12793 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 13221 12793 143 303 0 12916 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 52884 [startup+25.5007 s] /proc/loadavg: 1.95 1.98 1.99 3/197 26722 /proc/meminfo: memFree=30723704/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=93156 CPUtime=25.49 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 22950 0 0 0 2487 62 0 0 25 0 1 0 166247234 95391744 22844 4089446400 134512640 135751879 4290368672 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 23289 22844 143 303 0 22984 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93156 [startup+51.1004 s] /proc/loadavg: 1.96 1.98 1.99 3/197 26722 /proc/meminfo: memFree=30645136/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=172024 CPUtime=51.09 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 42669 0 0 0 4988 121 0 0 25 0 1 0 166247234 176152576 42563 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 43006 42563 143 303 0 42701 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 172024 [startup+102.307 s] /proc/loadavg: 2.04 2.00 2.00 3/197 26724 /proc/meminfo: memFree=30496900/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=317428 CPUtime=102.3 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 78990 0 0 0 10006 224 0 0 25 0 1 0 166247234 325046272 78884 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 79357 78884 143 303 0 79052 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 317428 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 2.03 2.00 2.00 3/197 26724 /proc/meminfo: memFree=30464904/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=350196 CPUtime=115.1 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 87165 0 0 0 11265 245 0 0 25 0 1 0 166247234 358600704 87059 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 87549 87059 143 303 0 87244 0 Current children cumulated CPU time (s) 115.1 Current children cumulated vsize (KiB) 350196 [startup+127.901 s] /proc/loadavg: 2.03 2.00 2.00 3/197 26724 /proc/meminfo: memFree=30411084/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=400100 CPUtime=127.89 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 99656 0 0 0 12528 261 0 0 25 0 1 0 166247234 409702400 99550 4089446400 134512640 135751879 4290368672 18446744073709551615 134516342 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 100025 99550 143 303 0 99720 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 400100 [startup+134.3 s] /proc/loadavg: 2.02 2.00 2.00 3/197 26724 /proc/meminfo: memFree=30394952/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=412508 CPUtime=134.3 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 102774 0 0 0 13168 262 0 0 25 0 1 0 166247234 422408192 102668 4089446400 134512640 135751879 4290368672 18446744073709551615 134521835 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 103127 102668 145 303 0 102822 0 Current children cumulated CPU time (s) 134.3 Current children cumulated vsize (KiB) 412508 [startup+135.9 s] /proc/loadavg: 2.02 2.00 2.00 3/197 26724 /proc/meminfo: memFree=30394952/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=412344 CPUtime=135.9 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 102779 0 0 0 13324 266 0 0 25 0 1 0 166247234 422240256 102636 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 103086 102636 146 303 0 102781 0 Current children cumulated CPU time (s) 135.9 Current children cumulated vsize (KiB) 412344 [startup+136.701 s] /proc/loadavg: 2.02 2.00 2.00 3/197 26724 /proc/meminfo: memFree=30393836/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=412344 CPUtime=136.69 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 102779 0 0 0 13402 267 0 0 25 0 1 0 166247234 422240256 102636 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 103086 102636 146 303 0 102781 0 Current children cumulated CPU time (s) 136.69 Current children cumulated vsize (KiB) 412344 [startup+137.507 s] /proc/loadavg: 2.02 2.00 2.00 3/197 26724 /proc/meminfo: memFree=30393836/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=412344 CPUtime=137.5 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 102779 0 0 0 13481 269 0 0 25 0 1 0 166247234 422240256 102636 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 103086 102636 146 303 0 102781 0 Current children cumulated CPU time (s) 137.5 Current children cumulated vsize (KiB) 412344 [startup+137.701 s] /proc/loadavg: 2.02 2.00 2.00 3/197 26724 /proc/meminfo: memFree=30393836/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=412344 CPUtime=137.7 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 102779 0 0 0 13500 270 0 0 25 0 1 0 166247234 422240256 102636 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 103086 102636 146 303 0 102781 0 Current children cumulated CPU time (s) 137.7 Current children cumulated vsize (KiB) 412344 [startup+137.801 s] /proc/loadavg: 2.02 2.00 2.00 3/197 26724 /proc/meminfo: memFree=30393836/32951124 swapFree=67111528/67111528 [pid=26719] ppid=26717 vsize=412344 CPUtime=137.79 /proc/26719/stat : 26719 (wbo1.4a) R 26717 26719 24698 0 -1 4202496 102779 0 0 0 13509 270 0 0 25 0 1 0 166247234 422240256 102636 4089446400 134512640 135751879 4290368672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/26719/statm: 103086 102636 146 303 0 102781 0 Current children cumulated CPU time (s) 137.79 Current children cumulated vsize (KiB) 412344 Child status: 0 Real time (s): 137.817 CPU time (s): 137.819 CPU user time (s): 135.099 CPU system time (s): 2.71959 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 412508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 135.099 system time used= 2.71959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 102779 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= 2 involuntary context switches= 79 runsolver used 0.255961 second user time and 0.484926 second system time The end
Begin job on node118 at 2010-06-30 21:27:57 IDJOB=2689558 IDBENCH=79266 IDSOLVER=1200 FILE ID=node118/2689558-1277926077 PBS_JOBID= 11197314 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900562192--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-2689558-1277926077/watcher-2689558-1277926077 -o /tmp/evaluation-result-2689558-1277926077/solver-2689558-1277926077 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689558-1277926077.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= db6ee27e0a2875f2e81d96fef92170ce RANDOM SEED=1407659343 node118.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.791 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.58 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.791 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.791 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.76 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.791 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.791 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.75 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.791 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.83 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.791 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.75 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30814640 kB Buffers: 209384 kB Cached: 1300880 kB SwapCached: 0 kB Active: 953116 kB Inactive: 1038076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30814640 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2828 kB Writeback: 0 kB AnonPages: 481356 kB Mapped: 20456 kB Slab: 79952 kB PageTables: 6080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1656468 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 node118 at 2010-06-30 21:30:15