Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2012-05-17 | OPTIMUM | 381.769 | 381.843 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo |
| MD5SUM | 0bc882feda752f8542fa470cf04f3d53 |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 46.3949 |
| 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 | 137245 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137244 |
| 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.78/0.84 c 2012-05-28T14:05:08+0200 0.78/0.84 c arch = x86_64 0.78/0.84 c os = linux 0.78/0.84 c compiler = ghc 7.4 0.78/0.84 c packages: 0.78/0.84 c OptDir-0.0.1 0.78/0.84 c array-0.4.0.0 0.78/0.84 c base-4.5.0.0 0.78/0.84 c bytestring-0.9.2.1 0.78/0.84 c containers-0.4.2.1 0.78/0.84 c deepseq-1.3.0.0 0.78/0.84 c mtl-2.1.1 0.78/0.84 c old_locale-1.0.0.4 0.78/0.84 c parse_dimacs-1.2 0.78/0.84 c parsec-3.1.2 0.78/0.84 c queue-0.1.2 0.78/0.84 c stm-2.3 0.78/0.84 c time-1.4 0.78/0.84 c command line = ["--wbo","HOME/instance-3712335-1338206708.wbo"] 0.78/0.84 c #vars 231 0.78/0.84 c #constraints 2707 0.78/0.84 c Solving starts ... 0.88/0.90 c solving time = 0.052s 0.88/0.90 c #decision = 5934 0.88/0.90 c #conflict = 104 0.88/0.90 c #restart = 1 0.88/0.90 o 337 0.88/0.90 c Solving starts ... 0.88/0.91 c solving time = 0.008s 0.88/0.91 c #decision = 7792 0.88/0.91 c #conflict = 104 0.88/0.91 c #restart = 1 0.88/0.91 o 325 0.88/0.92 c Solving starts ... 0.88/0.93 c solving time = 0.009s 0.88/0.93 c #decision = 9375 0.88/0.93 c #conflict = 104 0.88/0.93 c #restart = 1 0.88/0.93 o 323 0.88/0.94 c Solving starts ... 0.88/0.95 c solving time = 0.016s 0.88/0.95 c #decision = 11554 0.88/0.95 c #conflict = 105 0.88/0.95 c #restart = 1 0.88/0.95 o 305 0.88/0.96 c Solving starts ... 0.88/0.98 c solving time = 0.011s 0.88/0.98 c #decision = 13146 0.88/0.98 c #conflict = 105 0.88/0.98 c #restart = 1 0.88/0.98 o 304 0.88/0.98 c Solving starts ... 0.88/0.99 c solving time = 0.011s 0.88/0.99 c #decision = 15337 0.88/0.99 c #conflict = 105 0.88/0.99 c #restart = 1 0.88/0.99 o 280 1.00/1.00 c Solving starts ... 1.00/1.02 c solving time = 0.011s 1.00/1.02 c #decision = 17643 1.00/1.02 c #conflict = 105 1.00/1.02 c #restart = 1 1.00/1.02 o 251 1.00/1.02 c Solving starts ... 1.00/1.03 c solving time = 0.011s 1.00/1.03 c #decision = 19650 1.00/1.03 c #conflict = 105 1.00/1.03 c #restart = 1 1.00/1.03 o 221 1.00/1.04 c Solving starts ... 1.00/1.07 c solving time = 0.025s 1.00/1.07 c #decision = 22049 1.00/1.07 c #conflict = 106 1.00/1.07 c #restart = 1 1.00/1.07 o 180 1.00/1.07 c Solving starts ... 1.78/1.84 c solving time = 0.770s 1.78/1.84 c #decision = 22817 1.78/1.84 c #conflict = 167 1.78/1.84 c #restart = 1 1.78/1.84 o 177 1.78/1.85 c Solving starts ... 1.98/2.10 c solving time = 0.252s 1.98/2.10 c #decision = 23581 1.98/2.10 c #conflict = 177 1.98/2.10 c #restart = 1 1.98/2.10 o 154 2.09/2.11 c Solving starts ... 2.09/2.13 c solving time = 0.019s 2.09/2.13 c #decision = 23615 2.09/2.13 c #conflict = 177 2.09/2.13 c #restart = 1 2.09/2.13 o 153 2.09/2.13 c Solving starts ... 2.09/2.15 c solving time = 0.019s 2.09/2.15 c #decision = 23735 2.09/2.15 c #conflict = 177 2.09/2.15 c #restart = 1 2.09/2.15 o 148 2.09/2.15 c Solving starts ... 90.97/91.01 c solving time = 88.831s 90.97/91.01 c #decision = 27863 90.97/91.01 c #conflict = 2429 90.97/91.01 c #restart = 7 90.97/91.01 o 146 90.97/91.01 c Solving starts ... 90.97/91.02 c learnt constraints deletion: 2422 -> 1211 91.37/91.47 c solving time = 0.452s 91.37/91.47 c #decision = 27893 91.37/91.47 c #conflict = 2439 91.37/91.47 c #restart = 7 91.37/91.47 o 145 91.37/91.47 c Solving starts ... 91.47/91.50 c solving time = 0.024s 91.47/91.50 c #decision = 28158 91.47/91.50 c #conflict = 2439 91.47/91.50 c #restart = 7 91.47/91.50 o 135 91.47/91.51 c Solving starts ... 149.16/149.29 c solving time = 57.764s 149.16/149.29 c #decision = 30273 149.16/149.29 c #conflict = 3667 149.16/149.29 c #restart = 11 149.16/149.29 o 133 149.16/149.29 c Solving starts ... 149.26/149.30 c learnt constraints deletion: 2445 -> 1223 149.26/149.34 c solving time = 0.044s 149.26/149.34 c #decision = 30339 149.26/149.34 c #conflict = 3668 149.26/149.34 c #restart = 11 149.26/149.34 o 131 149.26/149.34 c Solving starts ... 149.26/149.36 c solving time = 0.020s 149.26/149.36 c #decision = 30433 149.26/149.36 c #conflict = 3668 149.26/149.36 c #restart = 11 149.26/149.36 o 128 149.26/149.37 c Solving starts ... 169.85/169.95 c solving time = 20.583s 169.85/169.95 c #decision = 31295 169.85/169.95 c #conflict = 4145 169.85/169.95 c #restart = 14 169.85/169.95 o 125 169.85/169.96 c Solving starts ... 189.75/189.80 c solving time = 19.839s 189.75/189.80 c #decision = 32611 189.75/189.80 c #conflict = 4781 189.75/189.80 c #restart = 17 189.75/189.80 o 122 189.75/189.81 c Solving starts ... 189.75/189.81 c learnt constraints deletion: 2331 -> 1166 189.75/189.84 c solving time = 0.029s 189.75/189.84 c #decision = 32678 189.75/189.84 c #conflict = 4781 189.75/189.84 c #restart = 17 189.75/189.84 o 120 189.75/189.84 c Solving starts ... 191.16/191.24 c solving time = 1.394s 191.16/191.24 c #decision = 33110 191.16/191.24 c #conflict = 4816 191.16/191.24 c #restart = 17 191.16/191.24 o 106 191.16/191.24 c Solving starts ... 192.25/192.34 c solving time = 1.091s 192.25/192.34 c #decision = 33200 192.25/192.34 c #conflict = 4844 192.25/192.34 c #restart = 17 192.25/192.34 o 104 192.25/192.34 c Solving starts ... 192.25/192.37 c solving time = 0.031s 192.25/192.37 c #decision = 33218 192.25/192.37 c #conflict = 4844 192.25/192.37 c #restart = 17 192.25/192.37 o 103 192.25/192.38 c Solving starts ... 192.75/192.81 c solving time = 0.435s 192.75/192.81 c #decision = 33382 192.75/192.81 c #conflict = 4850 192.75/192.81 c #restart = 17 192.75/192.81 o 97 192.75/192.82 c Solving starts ... 192.75/192.86 c solving time = 0.037s 192.75/192.86 c #decision = 33464 192.75/192.86 c #conflict = 4850 192.75/192.86 c #restart = 17 192.75/192.86 o 94 192.75/192.86 c Solving starts ... 199.05/199.15 c solving time = 6.286s 199.05/199.15 c #decision = 33726 199.05/199.15 c #conflict = 4992 199.05/199.15 c #restart = 18 199.05/199.15 o 93 199.05/199.15 c Solving starts ... 203.75/203.84 c solving time = 4.686s 203.75/203.84 c #decision = 33921 203.75/203.84 c #conflict = 5108 203.75/203.84 c #restart = 19 203.75/203.84 o 92 203.75/203.85 c Solving starts ... 203.75/203.89 c solving time = 0.038s 203.75/203.89 c #decision = 33941 203.75/203.89 c #conflict = 5108 203.75/203.89 c #restart = 19 203.75/203.89 o 91 203.85/203.91 c Solving starts ... 203.85/203.95 c solving time = 0.045s 203.85/203.95 c #decision = 34121 203.85/203.95 c #conflict = 5109 203.85/203.95 c #restart = 19 203.85/203.95 o 84 203.85/203.96 c Solving starts ... 205.75/205.84 c solving time = 1.881s 205.75/205.84 c #decision = 34211 205.75/205.84 c #conflict = 5150 205.75/205.84 c #restart = 19 205.75/205.84 o 83 205.75/205.84 c Solving starts ... 206.15/206.23 c solving time = 0.390s 206.15/206.23 c #decision = 34241 206.15/206.23 c #conflict = 5160 206.15/206.23 c #restart = 19 206.15/206.23 o 82 206.15/206.24 c Solving starts ... 207.35/207.44 c solving time = 1.204s 207.35/207.44 c #decision = 34646 207.35/207.44 c #conflict = 5193 207.35/207.44 c #restart = 19 207.35/207.44 o 69 207.35/207.45 c Solving starts ... 209.05/209.11 c solving time = 1.663s 209.05/209.11 c #decision = 34853 209.05/209.11 c #conflict = 5251 209.05/209.11 c #restart = 19 209.05/209.11 o 65 209.05/209.11 c Solving starts ... 211.95/212.08 c solving time = 2.969s 211.95/212.08 c #decision = 35175 211.95/212.08 c #conflict = 5396 211.95/212.08 c #restart = 20 211.95/212.08 o 62 211.95/212.09 c Solving starts ... 212.05/212.13 c solving time = 0.039s 212.05/212.13 c #decision = 35196 212.05/212.13 c #conflict = 5396 212.05/212.13 c #restart = 20 212.05/212.13 o 61 212.05/212.13 c Solving starts ... 212.05/212.16 c solving time = 0.034s 212.05/212.16 c #decision = 35276 212.05/212.16 c #conflict = 5396 212.05/212.16 c #restart = 20 212.05/212.16 o 58 212.05/212.17 c Solving starts ... 219.25/219.37 c solving time = 7.203s 219.25/219.37 c #decision = 36056 219.25/219.37 c #conflict = 5810 219.25/219.37 c #restart = 22 219.25/219.37 o 55 219.25/219.37 c Solving starts ... 228.84/228.92 c solving time = 9.547s 228.84/228.92 c #decision = 37602 228.84/228.92 c #conflict = 6400 228.84/228.92 c #restart = 25 228.84/228.92 o 41 228.84/228.92 c Solving starts ... 247.04/247.16 c solving time = 18.231s 247.04/247.16 c #decision = 40258 247.04/247.16 c #conflict = 8104 247.04/247.16 c #restart = 30 247.04/247.16 o 36 247.04/247.16 c Solving starts ... 247.04/247.17 c learnt constraints deletion: 4476 -> 2238 250.94/251.07 c solving time = 3.904s 250.94/251.07 c #decision = 41003 250.94/251.07 c #conflict = 8521 250.94/251.07 c #restart = 32 250.94/251.07 o 33 250.94/251.07 c Solving starts ... 252.43/252.53 c solving time = 1.462s 252.43/252.53 c #decision = 41330 252.43/252.53 c #conflict = 8714 252.43/252.53 c #restart = 33 252.43/252.55 o 30 252.43/252.55 c Solving starts ... 258.93/259.02 c solving time = 6.485s 258.93/259.02 c #decision = 42802 258.93/259.02 c #conflict = 9688 258.93/259.02 c #restart = 37 258.93/259.02 o 28 258.93/259.02 c Solving starts ... 258.93/259.05 c solving time = 0.024s 258.93/259.05 c #decision = 43014 258.93/259.05 c #conflict = 9688 258.93/259.05 c #restart = 37 258.93/259.05 o 20 258.93/259.05 c Solving starts ... 263.53/263.60 c learnt constraints deletion: 4988 -> 2494 268.24/268.34 c solving time = 9.285s 268.24/268.34 c #decision = 46952 268.24/268.34 c #conflict = 11997 268.24/268.34 c #restart = 43 268.24/268.34 o 11 268.24/268.34 c Solving starts ... 273.53/273.62 c learnt constraints deletion: 5590 -> 2796 279.43/279.54 c solving time = 11.204s 279.43/279.54 c #decision = 53562 279.43/279.54 c #conflict = 16320 279.43/279.54 c #restart = 50 279.43/279.54 o 10 279.43/279.54 c Solving starts ... 279.43/279.56 c learnt constraints deletion: 5146 -> 2573 287.63/287.72 c learnt constraints deletion: 6181 -> 3091 294.34/294.43 c solving time = 14.884s 294.34/294.43 c #decision = 62924 294.34/294.43 c #conflict = 22501 294.34/294.43 c #restart = 58 294.34/294.43 o 9 294.34/294.43 c Solving starts ... 294.34/294.44 c learnt constraints deletion: 5656 -> 2828 302.73/302.81 c learnt constraints deletion: 5942 -> 2971 309.83/309.91 c solving time = 15.476s 309.83/309.91 c #decision = 70936 309.83/309.91 c #conflict = 28229 309.83/309.91 c #restart = 66 309.83/309.91 o 8 309.83/309.91 c Solving starts ... 309.83/309.92 c learnt constraints deletion: 5577 -> 2789 309.83/309.95 c solving time = 0.041s 309.83/309.95 c #decision = 70953 309.83/309.95 c #conflict = 28229 309.83/309.95 c #restart = 66 309.83/309.95 o 7 309.83/309.95 c Solving starts ... 314.53/314.61 c solving time = 4.655s 314.53/314.61 c #decision = 73819 314.53/314.61 c #conflict = 30195 314.53/314.61 c #restart = 71 314.53/314.61 o 6 314.53/314.61 c Solving starts ... 314.53/314.63 c learnt constraints deletion: 4750 -> 2375 317.43/317.57 c solving time = 2.967s 317.43/317.57 c #decision = 75477 317.43/317.57 c #conflict = 31350 317.43/317.57 c #restart = 75 317.43/317.57 o 5 317.43/317.57 c Solving starts ... 317.43/317.59 c solving time = 0.012s 317.43/317.59 c #decision = 75496 317.43/317.59 c #conflict = 31350 317.43/317.59 c #restart = 75 317.43/317.59 o 4 317.43/317.59 c Solving starts ... 321.52/321.69 c learnt constraints deletion: 6031 -> 3016 328.63/328.75 c learnt constraints deletion: 6727 -> 3364 334.62/334.73 c learnt constraints deletion: 7155 -> 3578 340.93/341.06 c learnt constraints deletion: 7586 -> 3793 347.92/348.00 c learnt constraints deletion: 8096 -> 4048 354.42/354.59 c solving time = 36.989s 354.42/354.59 c #decision = 110029 354.42/354.59 c #conflict = 53284 354.42/354.59 c #restart = 86 354.42/354.59 o 3 354.42/354.59 c Solving starts ... 354.52/354.67 c learnt constraints deletion: 7649 -> 3825 357.52/357.60 c learnt constraints deletion: 5737 -> 2869 363.02/363.15 c learnt constraints deletion: 6737 -> 3369 367.92/368.06 c learnt constraints deletion: 7153 -> 3577 374.32/374.48 c learnt constraints deletion: 7617 -> 3809 380.53/380.62 c learnt constraints deletion: 8111 -> 4056 381.72/381.84 c solving time = 27.247s 381.72/381.84 c #decision = 141361 381.72/381.84 c #conflict = 72029 381.72/381.84 c #restart = 97 381.72/381.84 s OPTIMUM FOUND 381.72/381.84 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 381.72/381.84 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 381.72/381.84 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 381.72/381.84 v -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 381.72/381.84 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 381.72/381.84 v -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 381.72/381.84 v x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 381.72/381.84 v -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 381.72/381.84 v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 381.72/381.84 v -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 381.72/381.84 v -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 381.72/381.84 v -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 381.72/381.84 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 381.72/381.84 v x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 381.72/381.84 v -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 381.72/381.84 v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 381.72/381.84 v -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 381.72/381.84 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 381.72/381.84 v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 381.72/381.84 v -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 381.72/381.84 v -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 381.72/381.84 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 381.72/381.84 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 381.72/381.84 v -x231 381.72/381.84 c total time = 381.768s
OK 3
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712335-1338206708/watcher-3712335-1338206708 -o /tmp/evaluation-result-3712335-1338206708/solver-3712335-1338206708 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712335-1338206708.wbo running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.04 2.01 3/176 30087 /proc/meminfo: memFree=26215016/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=6208 CPUtime=0 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 1 0 286797783 6356992 719 33554432000 4194304 8973514 140735347444176 140737042418424 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 1552 720 423 1167 0 333 0 [startup+0.057723 s] /proc/loadavg: 2.08 2.04 2.01 3/176 30087 /proc/meminfo: memFree=26215016/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=9280 CPUtime=0.05 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 1611 0 0 0 5 0 0 0 20 0 1 0 286797783 9502720 1532 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 2320 1532 436 1167 0 1101 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9280 [startup+0.100282 s] /proc/loadavg: 2.08 2.04 2.01 3/176 30087 /proc/meminfo: memFree=26215016/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=12352 CPUtime=0.09 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 2214 0 0 0 9 0 0 0 20 0 1 0 286797783 12648448 2135 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 3088 2135 439 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300229 s] /proc/loadavg: 2.08 2.04 2.01 3/176 30087 /proc/meminfo: memFree=26215016/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=12352 CPUtime=0.29 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 2214 0 0 0 29 0 0 0 20 0 1 0 286797783 12648448 2135 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 3088 2135 439 1167 0 1869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12352 [startup+0.700232 s] /proc/loadavg: 2.08 2.04 2.01 3/176 30087 /proc/meminfo: memFree=26215016/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=12352 CPUtime=0.68 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 2382 0 0 0 68 0 0 0 20 0 1 0 286797783 12648448 2303 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 3088 2303 439 1167 0 1869 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12352 [startup+1.50033 s] /proc/loadavg: 2.08 2.04 2.00 3/177 30088 /proc/meminfo: memFree=26205328/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=21568 CPUtime=1.49 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 4715 0 0 0 148 1 0 0 20 0 1 0 286797783 22085632 4636 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 5392 4636 467 1167 0 4173 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21568 [startup+3.10032 s] /proc/loadavg: 2.08 2.04 2.00 3/177 30088 /proc/meminfo: memFree=26195888/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=25664 CPUtime=3.09 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 5739 0 0 0 307 2 0 0 20 0 1 0 286797783 26279936 5660 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 6416 5660 467 1167 0 5197 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25664 [startup+6.30033 s] /proc/loadavg: 2.08 2.04 2.00 3/177 30088 /proc/meminfo: memFree=26193160/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=25664 CPUtime=6.29 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 5739 0 0 0 625 4 0 0 20 0 1 0 286797783 26279936 5660 33554432000 4194304 8973514 140735347444176 140735347443440 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 6416 5660 467 1167 0 5197 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25664 [startup+12.7003 s] /proc/loadavg: 2.14 2.05 2.01 3/177 30088 /proc/meminfo: memFree=26192804/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=26688 CPUtime=12.69 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 5995 0 0 0 1263 6 0 0 20 0 1 0 286797783 27328512 5916 33554432000 4194304 8973514 140735347444176 140735347443440 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 6672 5916 467 1167 0 5453 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26688 [startup+25.5003 s] /proc/loadavg: 2.12 2.05 2.01 3/177 30088 /proc/meminfo: memFree=26192184/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=26688 CPUtime=25.48 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 5995 0 0 0 2539 9 0 0 20 0 1 0 286797783 27328512 5916 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 6672 5916 467 1167 0 5453 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26688 [startup+51.1003 s] /proc/loadavg: 2.08 2.04 2.01 3/177 30088 /proc/meminfo: memFree=26190800/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=27712 CPUtime=51.07 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 6259 0 0 0 5088 19 0 0 20 0 1 0 286797783 28377088 6177 33554432000 4194304 8973514 140735347444176 140735347443672 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 6928 6177 467 1167 0 5709 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27712 [startup+102.307 s] /proc/loadavg: 2.03 2.03 2.00 3/177 30088 /proc/meminfo: memFree=26185216/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=31808 CPUtime=102.27 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 7284 0 0 0 10188 39 0 0 20 0 1 0 286797783 32571392 7202 33554432000 4194304 8973514 140735347444176 140735347443440 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 7952 7202 468 1167 0 6733 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31808 [startup+162.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 30088 /proc/meminfo: memFree=26182176/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=34880 CPUtime=162.25 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 8052 0 0 0 16163 62 0 0 20 0 1 0 286797783 35717120 7970 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 8720 7970 468 1167 0 7501 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 34880 [startup+222.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 30089 /proc/meminfo: memFree=26165308/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=50240 CPUtime=222.25 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 11892 0 0 0 22140 85 0 0 20 0 1 0 286797783 51445760 11810 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 12560 11810 468 1167 0 11341 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 50240 [startup+282.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 30089 /proc/meminfo: memFree=26151088/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=57408 CPUtime=282.24 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 13689 0 0 0 28112 112 0 0 20 0 1 0 286797783 58785792 13602 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 14352 13602 468 1167 0 13133 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 57408 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.00 3/178 30092 /proc/meminfo: memFree=26141336/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=62528 CPUtime=342.22 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 14972 0 0 0 34085 137 0 0 20 0 1 0 286797783 64028672 14882 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 15632 14882 468 1167 0 14413 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 62528 Solver just ended. Dumping a history of the last processes samples [startup+358.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30092 /proc/meminfo: memFree=26139112/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=64576 CPUtime=358.22 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 15484 0 0 0 35677 145 0 0 20 0 1 0 286797783 66125824 15394 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 16144 15394 468 1167 0 14925 0 Current children cumulated CPU time (s) 358.22 Current children cumulated vsize (KiB) 64576 [startup+371.1 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30092 /proc/meminfo: memFree=26137184/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=64576 CPUtime=371.01 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 15484 0 0 0 36951 150 0 0 20 0 1 0 286797783 66125824 15394 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 16144 15394 468 1167 0 14925 0 Current children cumulated CPU time (s) 371.01 Current children cumulated vsize (KiB) 64576 [startup+377.5 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30092 /proc/meminfo: memFree=26137184/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=64576 CPUtime=377.42 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 15484 0 0 0 37589 153 0 0 20 0 1 0 286797783 66125824 15394 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 16144 15394 468 1167 0 14925 0 Current children cumulated CPU time (s) 377.42 Current children cumulated vsize (KiB) 64576 [startup+379.1 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30092 /proc/meminfo: memFree=26137184/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=64576 CPUtime=379.02 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 15484 0 0 0 37749 153 0 0 20 0 1 0 286797783 66125824 15394 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 16144 15394 468 1167 0 14925 0 Current children cumulated CPU time (s) 379.02 Current children cumulated vsize (KiB) 64576 [startup+380.7 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30092 /proc/meminfo: memFree=26137184/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=64576 CPUtime=380.62 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 15484 0 0 0 37908 154 0 0 20 0 1 0 286797783 66125824 15394 33554432000 4194304 8973514 140735347444176 140735347443672 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 16144 15394 468 1167 0 14925 0 Current children cumulated CPU time (s) 380.62 Current children cumulated vsize (KiB) 64576 [startup+381.5 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30092 /proc/meminfo: memFree=26137184/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=64576 CPUtime=381.42 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 15484 0 0 0 37988 154 0 0 20 0 1 0 286797783 66125824 15394 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 16144 15394 468 1167 0 14925 0 Current children cumulated CPU time (s) 381.42 Current children cumulated vsize (KiB) 64576 [startup+381.707 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30092 /proc/meminfo: memFree=26137184/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=64576 CPUtime=381.62 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 15484 0 0 0 38008 154 0 0 20 0 1 0 286797783 66125824 15394 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 16144 15394 468 1167 0 14925 0 Current children cumulated CPU time (s) 381.62 Current children cumulated vsize (KiB) 64576 [startup+381.8 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30092 /proc/meminfo: memFree=26137184/32873844 swapFree=7108/7108 [pid=30087] ppid=30085 vsize=64576 CPUtime=381.72 cores=1,3,5,7 /proc/30087/stat : 30087 (toysat) R 30085 30087 28734 0 -1 4202496 15484 0 0 0 38018 154 0 0 20 0 1 0 286797783 66125824 15394 33554432000 4194304 8973514 140735347444176 140735347443672 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/30087/statm: 16144 15394 468 1167 0 14925 0 Current children cumulated CPU time (s) 381.72 Current children cumulated vsize (KiB) 64576 Child status: 0 Real time (s): 381.843 CPU time (s): 381.769 CPU user time (s): 380.223 CPU system time (s): 1.54577 CPU usage (%): 99.9805 Max. virtual memory (cumulated for all children) (KiB): 64576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 380.223 system time used= 1.54576 maximum resident set size= 61592 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15488 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= 19 involuntary context switches= 392 runsolver used 0.579911 second user time and 1.87671 second system time The end
Begin job on node111 at 2012-05-28 14:05:08 IDJOB=3712335 IDBENCH=79272 IDSOLVER=2291 FILE ID=node111/3712335-1338206708 RUNJOBID= node111-1338194732-28751 PBS_JOBID= 14624600 Free space on /tmp= 67808 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712335-1338206708/watcher-3712335-1338206708 -o /tmp/evaluation-result-3712335-1338206708/solver-3712335-1338206708 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712335-1338206708.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0bc882feda752f8542fa470cf04f3d53 RANDOM SEED=1961246125 node111.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.30 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26215760 kB Buffers: 560784 kB Cached: 5107116 kB SwapCached: 1624 kB Active: 4758224 kB Inactive: 962104 kB Active(anon): 44180 kB Inactive(anon): 9132 kB Active(file): 4714044 kB Inactive(file): 952972 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67105364 kB Dirty: 7420 kB Writeback: 4 kB AnonPages: 56808 kB Mapped: 16184 kB Shmem: 8 kB Slab: 798228 kB SReclaimable: 240552 kB SUnreclaim: 557676 kB KernelStack: 1472 kB PageTables: 3896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 167124 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 67800 MiB End job on node111 at 2012-05-28 14:11:30