Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 403.22 | 403.208 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-33-100-0.wbo |
MD5SUM | 9fdf6a24194e0c0ae14212c193866ebe |
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 | 403.22 |
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 | 1830 |
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 | 92327 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 92326 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 683 |
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-2690107-1277907827.wbo. 0.00/0.00 c Instance file HOME/instance-2690107-1277907827.wbo 0.00/0.00 c File size is 92438 bytes. 0.00/0.00 c Highest Coefficient sum: 683 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 30 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 29 | 0.002 % | 0.01/0.01 c | 479 | 231 2707 8338 | 6655 479 31 | 0.002 % | 0.01/0.02 c | 817 | 231 2707 8338 | 7320 817 32 | 0.002 % | 0.01/0.04 c | 1323 | 231 2707 8338 | 8052 1323 32 | 0.002 % | 0.01/0.06 c | 2082 | 231 2707 8338 | 8857 2082 32 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 32 | 0.002 % | 0.09/0.17 c | 4930 | 231 2707 8338 | 10717 4930 32 | 0.002 % | 0.19/0.28 c | 7494 | 231 2707 8338 | 11789 7494 31 | 0.002 % | 0.39/0.49 c | 11338 | 231 2707 8338 | 12968 11338 33 | 0.002 % | 0.79/0.84 c | 17104 | 231 2707 8338 | 14265 10576 37 | 0.002 % | 1.39/1.44 c | 25754 | 231 2707 8338 | 15692 12042 37 | 0.002 % | 2.39/2.47 c | 38728 | 231 2707 8338 | 17261 9209 40 | 0.002 % | 3.79/3.84 c | 58190 | 231 2707 8338 | 18987 11310 36 | 0.002 % | 6.29/6.35 c | 87382 | 231 2707 8338 | 20886 11855 37 | 0.002 % | 9.90/9.93 c | 131172 | 231 2707 8338 | 22974 13672 35 | 0.002 % | 16.20/16.24 c | 196857 | 231 2707 8338 | 25272 21371 40 | 0.002 % | 26.99/27.07 c | 295386 | 231 2707 8338 | 27799 12401 36 | 0.002 % | 42.39/42.48 c | 443175 | 231 2707 8338 | 30579 19283 38 | 0.002 % | 70.80/70.83 c | 664859 | 231 2707 8338 | 33637 20824 40 | 0.002 % | 115.09/115.17 c | 997388 | 231 2707 8338 | 37001 15727 42 | 0.002 % | 180.99/181.02 c | 1496178 | 231 2707 8338 | 40701 23724 37 | 0.002 % | 283.90/283.92 c | 2244362 | 231 2707 8338 | 44771 19044 39 | 0.002 % | 379.41/379.44 c =============================================================================== 402.20/402.28 c core #1 402.20/402.28 c ============================[ Search Statistics ]============================== 402.20/402.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 402.20/402.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 402.20/402.28 c =============================================================================== 402.20/402.28 c | 0 | 1154 4439 16485 | 5000 0 nan | 0.000 % | 402.81/402.82 c | 100 | 1154 4439 16485 | 5500 100 28 | 0.000 % | 402.81/402.85 c | 251 | 1154 4439 16485 | 6050 251 24 | 0.000 % | 402.91/402.91 c | 477 | 1154 4439 16485 | 6655 477 28 | 0.000 % | 402.91/402.95 c | 814 | 1154 4439 16485 | 7320 814 28 | 0.000 % | 402.91/402.97 c | 1322 | 1154 4439 16485 | 8052 1322 31 | 0.000 % | 403.01/403.01 c | 2081 | 1154 4439 16485 | 8857 2081 31 | 0.000 % | 403.10/403.15 c | 3220 | 1154 4439 16485 | 9743 3220 31 | 0.000 % | 403.10/403.17 c =============================================================================== 403.10/403.17 c #cores: 1 403.10/403.17 c Final Weight: 1 403.10/403.17 o 1 403.10/403.17 s OPTIMUM FOUND 403.10/403.17 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 403.10/403.17 c Total CPU time: 396.829 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-2690107-1277907827/watcher-2690107-1277907827 -o /tmp/evaluation-result-2690107-1277907827/solver-2690107-1277907827 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690107-1277907827.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: 3.00 2.85 2.69 4/199 24075 /proc/meminfo: memFree=31321316/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=2668 CPUtime=0 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 305 0 0 0 0 0 0 0 24 0 1 0 164374471 2732032 223 4089446400 134512640 135751879 4294355296 18446744073709551615 134576339 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 667 223 146 303 0 339 0 [startup+0.015724 s] /proc/loadavg: 3.00 2.85 2.69 4/199 24075 /proc/meminfo: memFree=31321316/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=2852 CPUtime=0.01 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 370 0 0 0 1 0 0 0 24 0 1 0 164374471 2920448 265 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 713 265 143 303 0 408 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2852 [startup+0.100661 s] /proc/loadavg: 3.00 2.85 2.69 4/199 24075 /proc/meminfo: memFree=31321316/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=3648 CPUtime=0.09 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 567 0 0 0 9 0 0 0 24 0 1 0 164374471 3735552 462 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 912 462 143 303 0 607 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3648 [startup+0.300692 s] /proc/loadavg: 3.00 2.85 2.69 4/199 24075 /proc/meminfo: memFree=31321316/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=4968 CPUtime=0.29 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 915 0 0 0 28 1 0 0 25 0 1 0 164374471 5087232 810 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 1242 810 143 303 0 937 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4968 [startup+0.700617 s] /proc/loadavg: 3.00 2.85 2.69 4/199 24075 /proc/meminfo: memFree=31321316/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=7104 CPUtime=0.69 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 1446 0 0 0 67 2 0 0 25 0 1 0 164374471 7274496 1341 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 1776 1341 143 303 0 1471 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7104 [startup+1.50047 s] /proc/loadavg: 3.00 2.85 2.69 3/200 24076 /proc/meminfo: memFree=31314860/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=10812 CPUtime=1.49 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 2355 0 0 0 143 6 0 0 25 0 1 0 164374471 11071488 2250 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 2703 2250 143 303 0 2398 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10812 [startup+3.10018 s] /proc/loadavg: 3.00 2.85 2.69 4/200 24076 /proc/meminfo: memFree=31310116/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=17416 CPUtime=3.09 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 4012 0 0 0 298 11 0 0 25 0 1 0 164374471 17833984 3907 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 4354 3907 143 303 0 4049 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17416 [startup+6.30053 s] /proc/loadavg: 3.00 2.85 2.69 3/200 24076 /proc/meminfo: memFree=31297420/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=29312 CPUtime=6.29 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 7000 0 0 0 612 17 0 0 25 0 1 0 164374471 30015488 6895 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 7328 6895 143 303 0 7023 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29312 [startup+12.7004 s] /proc/loadavg: 3.00 2.86 2.69 4/200 24076 /proc/meminfo: memFree=31272624/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=51916 CPUtime=12.69 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 12644 0 0 0 1238 31 0 0 25 0 1 0 164374471 53161984 12539 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 12979 12539 143 303 0 12674 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51916 [startup+25.501 s] /proc/loadavg: 3.00 2.86 2.70 4/200 24076 /proc/meminfo: memFree=31233604/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=89092 CPUtime=25.49 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 21917 0 0 0 2497 52 0 0 25 0 1 0 164374471 91230208 21812 4089446400 134512640 135751879 4294355296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 22273 21812 143 303 0 21968 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89092 [startup+51.1003 s] /proc/loadavg: 2.94 2.86 2.70 4/200 24077 /proc/meminfo: memFree=31158172/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=161248 CPUtime=51.09 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 39953 0 0 0 5010 99 0 0 25 0 1 0 164374471 165117952 39848 4089446400 134512640 135751879 4294355296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 40312 39848 143 303 0 40007 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 161248 [startup+102.307 s] /proc/loadavg: 2.83 2.84 2.70 4/200 24078 /proc/meminfo: memFree=31027416/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=285828 CPUtime=102.3 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 71094 0 0 0 10051 179 0 0 25 0 1 0 164374471 292687872 70989 4089446400 134512640 135751879 4294355296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 71457 70989 143 303 0 71152 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 285828 [startup+162.301 s] /proc/loadavg: 2.88 2.85 2.72 4/200 24080 /proc/meminfo: memFree=30877384/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=431784 CPUtime=162.29 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 107548 0 0 0 15946 283 0 0 25 0 1 0 164374471 442146816 107443 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 107946 107443 143 303 0 107641 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 431784 [startup+222.301 s] /proc/loadavg: 2.90 2.86 2.73 4/200 24082 /proc/meminfo: memFree=30728764/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=574316 CPUtime=222.3 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 143192 0 0 0 21842 388 0 0 25 0 1 0 164374471 588099584 143087 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 143579 143087 143 303 0 143274 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 574316 [startup+282.301 s] /proc/loadavg: 2.87 2.85 2.73 4/200 24083 /proc/meminfo: memFree=30590920/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=707244 CPUtime=282.3 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 176425 0 0 0 27752 478 0 0 25 0 1 0 164374471 724217856 176320 4089446400 134512640 135751879 4294355296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 176811 176321 143 303 0 176506 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 707244 [startup+342.3 s] /proc/loadavg: 2.88 2.86 2.74 4/200 24084 /proc/meminfo: memFree=30448260/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=846520 CPUtime=342.3 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 211207 0 0 0 33652 578 0 0 25 0 1 0 164374471 866836480 211102 4089446400 134512640 135751879 4294355296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 211630 211102 143 303 0 211325 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 846520 [startup+402.3 s] /proc/loadavg: 2.87 2.86 2.74 4/200 24086 /proc/meminfo: memFree=30283248/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=1009408 CPUtime=402.3 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 251978 0 0 0 39596 634 0 0 25 0 1 0 164374471 1033633792 251829 4089446400 134512640 135751879 4294355296 18446744073709551615 135200225 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 252352 251829 146 303 0 252047 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1009408 Solver just ended. Dumping a history of the last processes samples [startup+402.701 s] /proc/loadavg: 2.87 2.86 2.74 4/200 24086 /proc/meminfo: memFree=30283248/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=1009408 CPUtime=402.7 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 251978 0 0 0 39636 634 0 0 25 0 1 0 164374471 1033633792 251829 4089446400 134512640 135751879 4294355296 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 252352 251829 146 303 0 252047 0 Current children cumulated CPU time (s) 402.7 Current children cumulated vsize (KiB) 1009408 [startup+403.101 s] /proc/loadavg: 2.87 2.86 2.74 4/200 24086 /proc/meminfo: memFree=30283248/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=1009408 CPUtime=403.1 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202496 251978 0 0 0 39675 635 0 0 25 0 1 0 164374471 1033633792 251829 4089446400 134512640 135751879 4294355296 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24075/statm: 252352 251829 146 303 0 252047 0 Current children cumulated CPU time (s) 403.1 Current children cumulated vsize (KiB) 1009408 [startup+403.201 s] /proc/loadavg: 2.87 2.86 2.74 4/200 24086 /proc/meminfo: memFree=30283248/32950928 swapFree=67111528/67111528 [pid=24075] ppid=24073 vsize=0 CPUtime=403.2 /proc/24075/stat : 24075 (wbo1.4a) R 24073 24075 22969 0 -1 4202500 251978 0 0 0 39682 638 0 0 25 0 1 0 164374471 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0 /proc/24075/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 403.2 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 403.208 CPU time (s): 403.22 CPU user time (s): 396.829 CPU system time (s): 6.39103 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1009652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 396.829 system time used= 6.39103 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 251978 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= 243 runsolver used 0.659899 second user time and 1.34479 second system time The end
Begin job on node116 at 2010-06-30 16:23:47 IDJOB=2690107 IDBENCH=78953 IDSOLVER=1200 FILE ID=node116/2690107-1277907827 PBS_JOBID= 11197183 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.1900582300--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-2690107-1277907827/watcher-2690107-1277907827 -o /tmp/evaluation-result-2690107-1277907827/solver-2690107-1277907827 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690107-1277907827.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9fdf6a24194e0c0ae14212c193866ebe RANDOM SEED=162992604 node116.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.838 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.838 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 : 5381.00 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.838 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.838 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.838 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.76 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.838 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.77 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.838 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.838 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: 31321720 kB Buffers: 190172 kB Cached: 1002476 kB SwapCached: 0 kB Active: 776200 kB Inactive: 710172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31321720 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 294452 kB Mapped: 20532 kB Slab: 78424 kB PageTables: 5396 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1652568 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 node116 at 2010-06-30 16:30:31