Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2012-05-17 | OPTIMUM | 438.005 | 438.083 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo |
MD5SUM | 97e6423088cc7ef1f08dcccdf9e01ef4 |
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 | 14.1728 |
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 | 1857 |
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 | 93863 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 93862 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 741 |
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.39/0.43 c 2012-05-28T08:20:59+0200 0.39/0.43 c arch = x86_64 0.39/0.43 c os = linux 0.39/0.43 c compiler = ghc 7.4 0.39/0.43 c packages: 0.39/0.43 c OptDir-0.0.1 0.39/0.43 c array-0.4.0.0 0.39/0.43 c base-4.5.0.0 0.39/0.43 c bytestring-0.9.2.1 0.39/0.43 c containers-0.4.2.1 0.39/0.43 c deepseq-1.3.0.0 0.39/0.43 c mtl-2.1.1 0.39/0.43 c old_locale-1.0.0.4 0.39/0.43 c parse_dimacs-1.2 0.39/0.43 c parsec-3.1.2 0.39/0.43 c queue-0.1.2 0.39/0.43 c stm-2.3 0.39/0.43 c time-1.4 0.39/0.43 c command line = ["--wbo","HOME/instance-3712004-1338186059.wbo"] 0.39/0.43 c #vars 231 0.39/0.43 c #constraints 2707 0.39/0.43 c Solving starts ... 0.39/0.46 c solving time = 0.034s 0.39/0.46 c #decision = 4045 0.39/0.46 c #conflict = 101 0.39/0.46 c #restart = 1 0.39/0.46 o 324 0.39/0.47 c Solving starts ... 0.39/0.47 c solving time = 0.004s 0.39/0.47 c #decision = 5014 0.39/0.47 c #conflict = 101 0.39/0.47 c #restart = 1 0.39/0.47 o 311 0.39/0.48 c Solving starts ... 0.49/0.51 c solving time = 0.035s 0.49/0.51 c #decision = 5930 0.49/0.51 c #conflict = 110 0.49/0.51 c #restart = 1 0.49/0.51 o 301 0.49/0.52 c Solving starts ... 0.49/0.53 c solving time = 0.017s 0.49/0.53 c #decision = 6025 0.49/0.53 c #conflict = 112 0.49/0.53 c #restart = 1 0.49/0.53 o 300 0.49/0.54 c Solving starts ... 0.49/0.54 c solving time = 0.007s 0.49/0.54 c #decision = 6238 0.49/0.54 c #conflict = 112 0.49/0.54 c #restart = 1 0.49/0.54 o 290 0.49/0.55 c Solving starts ... 1.19/1.22 c solving time = 0.672s 1.19/1.22 c #decision = 6567 1.19/1.22 c #conflict = 202 1.19/1.22 c #restart = 1 1.19/1.22 o 284 1.19/1.22 c Solving starts ... 2.48/2.59 c solving time = 1.367s 2.48/2.59 c #decision = 6840 2.48/2.59 c #conflict = 322 2.48/2.59 c #restart = 2 2.48/2.59 o 282 2.48/2.59 c Solving starts ... 2.58/2.61 c solving time = 0.011s 2.58/2.61 c #decision = 6903 2.58/2.61 c #conflict = 322 2.58/2.61 c #restart = 2 2.58/2.61 o 279 2.58/2.61 c Solving starts ... 5.29/5.35 c solving time = 2.737s 5.29/5.35 c #decision = 7603 5.29/5.35 c #conflict = 587 5.29/5.35 c #restart = 4 5.29/5.35 o 269 5.29/5.35 c Solving starts ... 5.29/5.40 c solving time = 0.044s 5.29/5.40 c #decision = 7882 5.29/5.40 c #conflict = 591 5.29/5.40 c #restart = 4 5.29/5.40 o 255 5.29/5.40 c Solving starts ... 5.58/5.68 c solving time = 0.279s 5.58/5.68 c #decision = 7926 5.58/5.68 c #conflict = 609 5.58/5.68 c #restart = 4 5.58/5.68 o 254 5.58/5.68 c Solving starts ... 16.58/16.65 c solving time = 10.965s 16.58/16.65 c #decision = 9300 16.58/16.65 c #conflict = 1375 16.58/16.65 c #restart = 7 16.58/16.65 o 250 16.58/16.66 c Solving starts ... 16.58/16.67 c solving time = 0.016s 16.58/16.67 c #decision = 9482 16.58/16.67 c #conflict = 1375 16.58/16.67 c #restart = 7 16.58/16.67 o 241 16.58/16.68 c Solving starts ... 16.58/16.69 c solving time = 0.016s 16.58/16.69 c #decision = 9630 16.58/16.69 c #conflict = 1375 16.58/16.69 c #restart = 7 16.58/16.69 o 234 16.68/16.70 c Solving starts ... 16.68/16.72 c solving time = 0.016s 16.68/16.72 c #decision = 9731 16.68/16.72 c #conflict = 1375 16.68/16.72 c #restart = 7 16.68/16.72 o 229 16.68/16.72 c Solving starts ... 18.88/18.99 c solving time = 2.267s 18.88/18.99 c #decision = 9969 18.88/18.99 c #conflict = 1510 18.88/18.99 c #restart = 8 18.88/18.99 o 227 18.88/18.99 c Solving starts ... 18.98/19.01 c solving time = 0.015s 18.98/19.01 c #decision = 10106 18.98/19.01 c #conflict = 1510 18.98/19.01 c #restart = 8 18.98/19.01 o 220 18.98/19.01 c Solving starts ... 24.98/25.07 c solving time = 6.056s 24.98/25.07 c #decision = 10604 24.98/25.07 c #conflict = 1797 24.98/25.07 c #restart = 10 24.98/25.07 o 217 24.98/25.07 c Solving starts ... 24.98/25.08 c learnt constraints deletion: 1787 -> 894 24.98/25.09 c solving time = 0.019s 24.98/25.09 c #decision = 10695 24.98/25.09 c #conflict = 1797 24.98/25.09 c #restart = 10 24.98/25.09 o 212 24.98/25.10 c Solving starts ... 25.38/25.42 c solving time = 0.322s 25.38/25.42 c #decision = 10802 25.38/25.42 c #conflict = 1815 25.38/25.42 c #restart = 10 25.38/25.42 o 208 25.38/25.42 c Solving starts ... 25.38/25.44 c solving time = 0.023s 25.38/25.44 c #decision = 10864 25.38/25.45 c #conflict = 1816 25.38/25.45 c #restart = 10 25.38/25.45 o 205 25.38/25.45 c Solving starts ... 25.38/25.46 c solving time = 0.016s 25.38/25.46 c #decision = 11000 25.38/25.46 c #conflict = 1816 25.38/25.46 c #restart = 10 25.38/25.46 o 198 25.38/25.47 c Solving starts ... 35.68/35.79 c solving time = 10.319s 35.68/35.79 c #decision = 12109 35.68/35.79 c #conflict = 2406 35.68/35.79 c #restart = 13 35.68/35.79 o 189 35.68/35.79 c Solving starts ... 36.38/36.40 c solving time = 0.603s 36.38/36.40 c #decision = 12262 36.38/36.40 c #conflict = 2441 36.38/36.40 c #restart = 13 36.38/36.40 o 184 36.38/36.40 c Solving starts ... 38.18/38.28 c learnt constraints deletion: 1634 -> 817 44.57/44.62 c solving time = 8.213s 44.57/44.62 c #decision = 13169 44.57/44.62 c #conflict = 2920 44.57/44.62 c #restart = 16 44.57/44.62 o 183 44.57/44.62 c Solving starts ... 44.57/44.64 c solving time = 0.017s 44.57/44.64 c #decision = 13351 44.57/44.64 c #conflict = 2920 44.57/44.64 c #restart = 16 44.57/44.64 o 175 44.57/44.64 c Solving starts ... 44.57/44.65 c solving time = 0.015s 44.57/44.65 c #decision = 13396 44.57/44.65 c #conflict = 2920 44.57/44.65 c #restart = 16 44.57/44.65 o 173 44.57/44.66 c Solving starts ... 44.57/44.67 c solving time = 0.013s 44.57/44.67 c #decision = 13718 44.57/44.67 c #conflict = 2920 44.57/44.67 c #restart = 16 44.57/44.67 o 157 44.57/44.67 c Solving starts ... 44.57/44.69 c solving time = 0.011s 44.57/44.69 c #decision = 14444 44.57/44.69 c #conflict = 2920 44.57/44.69 c #restart = 16 44.57/44.69 o 120 44.57/44.69 c Solving starts ... 55.37/55.48 c solving time = 10.791s 55.37/55.48 c #decision = 15952 55.37/55.48 c #conflict = 3645 55.37/55.48 c #restart = 19 55.37/55.48 o 117 55.37/55.49 c Solving starts ... 55.37/55.49 c learnt constraints deletion: 1916 -> 958 55.88/55.95 c solving time = 0.462s 55.88/55.95 c #decision = 16090 55.88/55.95 c #conflict = 3673 55.88/55.95 c #restart = 19 55.88/55.95 o 112 55.88/55.95 c Solving starts ... 58.19/58.24 c solving time = 2.284s 58.19/58.24 c #decision = 16376 58.19/58.24 c #conflict = 3785 58.19/58.24 c #restart = 20 58.19/58.24 o 109 58.19/58.24 c Solving starts ... 58.19/58.26 c solving time = 0.016s 58.19/58.26 c #decision = 16395 58.19/58.26 c #conflict = 3785 58.19/58.26 c #restart = 20 58.19/58.26 o 108 58.19/58.27 c Solving starts ... 58.48/58.55 c solving time = 0.280s 58.48/58.55 c #decision = 16469 58.48/58.55 c #conflict = 3797 58.48/58.55 c #restart = 20 58.48/58.55 o 105 58.48/58.55 c Solving starts ... 83.87/83.98 c learnt constraints deletion: 2424 -> 1212 99.57/99.68 c solving time = 41.122s 99.57/99.68 c #decision = 19871 99.57/99.68 c #conflict = 5879 99.57/99.68 c #restart = 26 99.57/99.68 o 104 99.57/99.69 c Solving starts ... 99.57/99.69 c learnt constraints deletion: 1973 -> 987 99.67/99.71 c solving time = 0.019s 99.67/99.71 c #decision = 19925 99.67/99.71 c #conflict = 5879 99.67/99.71 c #restart = 26 99.67/99.71 o 101 99.67/99.71 c Solving starts ... 103.07/103.18 c solving time = 3.468s 103.07/103.18 c #decision = 20253 103.07/103.18 c #conflict = 6000 103.07/103.18 c #restart = 27 103.07/103.18 o 97 103.07/103.18 c Solving starts ... 103.17/103.20 c solving time = 0.020s 103.17/103.20 c #decision = 20307 103.17/103.20 c #conflict = 6000 103.17/103.20 c #restart = 27 103.17/103.20 o 96 103.17/103.21 c Solving starts ... 103.17/103.24 c solving time = 0.030s 103.17/103.24 c #decision = 20409 103.17/103.24 c #conflict = 6000 103.17/103.24 c #restart = 27 103.17/103.24 o 91 103.17/103.24 c Solving starts ... 103.17/103.26 c solving time = 0.014s 103.17/103.26 c #decision = 20427 103.17/103.26 c #conflict = 6000 103.17/103.26 c #restart = 27 103.17/103.26 o 90 103.17/103.26 c Solving starts ... 139.46/139.57 c learnt constraints deletion: 3182 -> 1591 204.85/204.97 c learnt constraints deletion: 4137 -> 2070 261.75/261.86 c learnt constraints deletion: 4946 -> 2473 261.84/261.92 c solving time = 158.639s 261.84/261.92 c #decision = 31538 261.84/261.92 c #conflict = 13512 261.84/261.92 c #restart = 36 261.84/261.92 o 86 261.84/261.93 c Solving starts ... 261.84/261.93 c learnt constraints deletion: 2479 -> 1240 261.94/262.00 c solving time = 0.074s 261.94/262.00 c #decision = 31913 261.94/262.00 c #conflict = 13516 261.94/262.00 c #restart = 36 261.94/262.00 o 70 261.94/262.00 c Solving starts ... 261.94/262.02 c solving time = 0.012s 261.94/262.02 c #decision = 32125 261.94/262.02 c #conflict = 13516 261.94/262.02 c #restart = 36 261.94/262.02 o 60 261.94/262.02 c Solving starts ... 276.54/276.62 c solving time = 14.598s 276.54/276.62 c #decision = 35199 276.54/276.62 c #conflict = 15360 276.54/276.62 c #restart = 41 276.54/276.62 o 52 276.54/276.62 c Solving starts ... 276.54/276.63 c learnt constraints deletion: 3083 -> 1542 286.23/286.34 c solving time = 9.716s 286.23/286.34 c #decision = 37367 286.23/286.34 c #conflict = 16796 286.23/286.34 c #restart = 46 286.23/286.34 o 46 286.23/286.34 c Solving starts ... 286.23/286.35 c learnt constraints deletion: 2973 -> 1487 296.43/296.50 c solving time = 10.160s 296.43/296.50 c #decision = 39897 296.43/296.50 c #conflict = 18497 296.43/296.50 c #restart = 51 296.43/296.50 o 43 296.43/296.50 c Solving starts ... 296.43/296.51 c learnt constraints deletion: 3183 -> 1592 307.14/307.26 c learnt constraints deletion: 4043 -> 2023 317.84/317.91 c learnt constraints deletion: 4286 -> 2149 330.13/330.28 c solving time = 33.771s 330.13/330.28 c #decision = 51242 330.13/330.28 c #conflict = 25616 330.13/330.28 c #restart = 59 330.13/330.28 o 41 330.13/330.28 c Solving starts ... 330.13/330.29 c learnt constraints deletion: 4546 -> 2273 335.93/336.08 c learnt constraints deletion: 3527 -> 1765 352.94/353.01 c learnt constraints deletion: 4796 -> 2400 366.24/366.38 c learnt constraints deletion: 4609 -> 2308 366.73/366.81 c solving time = 36.516s 366.73/366.81 c #decision = 61271 366.73/366.81 c #conflict = 32191 366.73/366.81 c #restart = 67 366.73/366.81 o 40 366.73/366.81 c Solving starts ... 366.73/366.82 c solving time = 0.015s 366.73/366.82 c #decision = 61485 366.73/366.82 c #conflict = 32191 366.73/366.82 c #restart = 67 366.73/366.82 o 29 366.73/366.82 c Solving starts ... 373.22/373.37 c learnt constraints deletion: 3977 -> 1992 382.32/382.42 c learnt constraints deletion: 4625 -> 2314 386.42/386.54 c solving time = 19.713s 386.42/386.54 c #decision = 69429 386.42/386.54 c #conflict = 37556 386.42/386.54 c #restart = 75 386.42/386.54 o 28 386.42/386.54 c Solving starts ... 386.42/386.55 c learnt constraints deletion: 3442 -> 1721 394.83/394.92 c learnt constraints deletion: 4318 -> 2166 397.82/397.92 c solving time = 11.378s 397.82/397.92 c #decision = 74602 397.82/397.92 c #conflict = 40935 397.82/397.92 c #restart = 82 397.82/397.92 o 25 397.82/397.92 c Solving starts ... 397.82/397.94 c solving time = 0.014s 397.82/397.94 c #decision = 74622 397.82/397.94 c #conflict = 40935 397.82/397.94 c #restart = 82 397.82/397.94 o 23 397.82/397.94 c Solving starts ... 399.02/399.11 c learnt constraints deletion: 3413 -> 1707 400.02/400.18 c solving time = 2.242s 400.02/400.18 c #decision = 76112 400.02/400.18 c #conflict = 41806 400.02/400.18 c #restart = 86 400.12/400.20 o 22 400.12/400.20 c Solving starts ... 400.12/400.20 c solving time = 0.021s 400.12/400.20 c #decision = 76139 400.12/400.20 c #conflict = 41806 400.12/400.20 c #restart = 86 400.12/400.20 o 20 400.12/400.20 c Solving starts ... 400.12/400.22 c solving time = 0.017s 400.12/400.22 c #decision = 76150 400.12/400.22 c #conflict = 41806 400.12/400.22 c #restart = 86 400.12/400.22 o 19 400.12/400.22 c Solving starts ... 400.12/400.23 c solving time = 0.014s 400.12/400.23 c #decision = 76160 400.12/400.23 c #conflict = 41806 400.12/400.23 c #restart = 86 400.12/400.23 o 18 400.12/400.23 c Solving starts ... 400.12/400.24 c solving time = 0.009s 400.12/400.24 c #decision = 76245 400.12/400.24 c #conflict = 41806 400.12/400.24 c #restart = 86 400.12/400.24 o 13 400.12/400.24 c Solving starts ... 404.82/404.90 c learnt constraints deletion: 4569 -> 2287 409.52/409.69 c learnt constraints deletion: 5140 -> 2570 411.22/411.39 c solving time = 11.141s 411.22/411.39 c #decision = 85633 411.22/411.39 c #conflict = 47912 411.22/411.39 c #restart = 94 411.22/411.39 o 12 411.22/411.39 c Solving starts ... 411.32/411.41 c learnt constraints deletion: 3348 -> 1674 414.22/414.36 c solving time = 2.977s 414.22/414.36 c #decision = 87532 414.22/414.36 c #conflict = 49236 414.22/414.36 c #restart = 99 414.22/414.36 o 10 414.22/414.37 c Solving starts ... 414.22/414.38 c solving time = 0.014s 414.22/414.38 c #decision = 87548 414.22/414.38 c #conflict = 49236 414.22/414.38 c #restart = 99 414.22/414.38 o 9 414.22/414.38 c Solving starts ... 416.12/416.20 c learnt constraints deletion: 4132 -> 2068 417.61/417.76 c solving time = 3.380s 417.61/417.76 c #decision = 90596 417.61/417.76 c #conflict = 51306 417.61/417.76 c #restart = 104 417.61/417.76 o 8 417.61/417.76 c Solving starts ... 417.61/417.77 c solving time = 0.010s 417.61/417.77 c #decision = 90684 417.61/417.77 c #conflict = 51306 417.61/417.77 c #restart = 104 417.61/417.77 o 3 417.61/417.77 c Solving starts ... 419.22/419.35 c learnt constraints deletion: 4257 -> 2129 423.02/423.13 c learnt constraints deletion: 5040 -> 2520 423.52/423.63 c solving time = 5.858s 423.52/423.63 c #decision = 97936 423.52/423.63 c #conflict = 56010 423.52/423.63 c #restart = 111 423.52/423.63 o 2 423.52/423.63 c Solving starts ... 423.52/423.64 c solving time = 0.006s 423.52/423.64 c #decision = 97959 423.52/423.64 c #conflict = 56010 423.52/423.64 c #restart = 111 423.52/423.64 o 1 423.52/423.64 c Solving starts ... 424.62/424.74 c learnt constraints deletion: 4307 -> 2154 427.01/427.13 c learnt constraints deletion: 5056 -> 2528 429.02/429.14 c learnt constraints deletion: 5403 -> 2702 431.03/431.16 c learnt constraints deletion: 5782 -> 2891 433.02/433.10 c learnt constraints deletion: 6122 -> 3061 434.81/434.93 c learnt constraints deletion: 6140 -> 3070 436.91/437.00 c learnt constraints deletion: 6535 -> 3268 437.91/438.08 c solving time = 14.437s 437.91/438.08 c #decision = 134919 437.91/438.08 c #conflict = 78015 437.91/438.08 c #restart = 122 437.91/438.08 s OPTIMUM FOUND 437.91/438.08 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 437.91/438.08 v -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 437.91/438.08 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 437.91/438.08 v -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 437.91/438.08 v -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 437.91/438.08 v -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 437.91/438.08 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 437.91/438.08 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 437.91/438.08 v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 437.91/438.08 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 437.91/438.08 v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 437.91/438.08 v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 437.91/438.08 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 437.91/438.08 v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 437.91/438.08 v -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 437.91/438.08 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 437.91/438.08 v -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 437.91/438.08 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 437.91/438.08 v -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 437.91/438.08 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 437.91/438.08 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 437.91/438.08 v x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 437.91/438.08 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 437.91/438.08 v -x231 437.91/438.08 c total time = 438.004s
OK 1
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-3712004-1338186059/watcher-3712004-1338186059 -o /tmp/evaluation-result-3712004-1338186059/solver-3712004-1338186059 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712004-1338186059.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.00 2.00 2.00 3/177 32636 /proc/meminfo: memFree=31023560/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=7232 CPUtime=0 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 836 0 0 0 0 0 0 0 20 0 1 0 284730225 7405568 758 33554432000 4194304 8973514 140735671729904 140736392413800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 1808 758 424 1167 0 589 0 [startup+0.0379239 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32636 /proc/meminfo: memFree=31023560/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=9280 CPUtime=0.03 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 1357 0 0 0 3 0 0 0 20 0 1 0 284730225 9502720 1279 33554432000 4194304 8973514 140735671729904 140736392413800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 2320 1279 428 1167 0 1101 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9280 [startup+0.100277 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32636 /proc/meminfo: memFree=31023560/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=10304 CPUtime=0.09 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 1872 0 0 0 9 0 0 0 20 0 1 0 284730225 10551296 1794 33554432000 4194304 8973514 140735671729904 140736392413800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 2576 1794 441 1167 0 1357 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10304 [startup+0.300236 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32636 /proc/meminfo: memFree=31023560/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=11328 CPUtime=0.29 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 1952 0 0 0 29 0 0 0 20 0 1 0 284730225 11599872 1874 33554432000 4194304 8973514 140735671729904 140736392413800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 2832 1874 441 1167 0 1613 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11328 [startup+0.700287 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32636 /proc/meminfo: memFree=31023560/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=15424 CPUtime=0.69 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 3180 0 0 0 69 0 0 0 20 0 1 0 284730225 15794176 3102 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 3856 3102 469 1167 0 2637 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15424 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 2.00 3/178 32637 /proc/meminfo: memFree=31013012/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=16448 CPUtime=1.49 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 3436 0 0 0 149 0 0 0 20 0 1 0 284730225 16842752 3358 33554432000 4194304 8973514 140735671729904 140735671729400 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 4112 3358 469 1167 0 2893 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16448 [startup+3.10033 s] /proc/loadavg: 2.00 2.00 2.00 3/178 32637 /proc/meminfo: memFree=31011764/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=17472 CPUtime=3.09 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 3692 0 0 0 308 1 0 0 20 0 1 0 284730225 17891328 3614 33554432000 4194304 8973514 140735671729904 140735671729400 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 4368 3614 469 1167 0 3149 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17472 [startup+6.3003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32637 /proc/meminfo: memFree=31010532/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=19520 CPUtime=6.29 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 4204 0 0 0 627 2 0 0 20 0 1 0 284730225 19988480 4126 33554432000 4194304 8973514 140735671729904 140735671729168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 4880 4126 469 1167 0 3661 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19520 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32637 /proc/meminfo: memFree=31007072/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=20544 CPUtime=12.68 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 4464 0 0 0 1264 4 0 0 20 0 1 0 284730225 21037056 4387 33554432000 4194304 8973514 140735671729904 140735671729168 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 5136 4387 469 1167 0 3917 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20544 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32637 /proc/meminfo: memFree=30998136/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=26688 CPUtime=25.48 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 6002 0 0 0 2539 9 0 0 20 0 1 0 284730225 27328512 5924 33554432000 4194304 8973514 140735671729904 140735671729168 4209357 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 6672 5924 470 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.00 2.00 2.00 3/177 32637 /proc/meminfo: memFree=30986472/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=32832 CPUtime=51.08 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 7538 0 0 0 5089 19 0 0 20 0 1 0 284730225 33619968 7460 33554432000 4194304 8973514 140735671729904 140735671729168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 8208 7460 470 1167 0 6989 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32832 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32637 /proc/meminfo: memFree=30977220/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=37952 CPUtime=102.27 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 8819 0 0 0 10190 37 0 0 20 0 1 0 284730225 38862848 8740 33554432000 4194304 8973514 140735671729904 140735671729400 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 9488 8740 470 1167 0 8269 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37952 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32637 /proc/meminfo: memFree=30972440/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=42048 CPUtime=162.26 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 9845 0 0 0 16167 59 0 0 20 0 1 0 284730225 43057152 9764 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 10512 9764 470 1167 0 9293 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 42048 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32637 /proc/meminfo: memFree=30959664/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=44096 CPUtime=222.25 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 10357 0 0 0 22143 82 0 0 20 0 1 0 284730225 45154304 10276 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 11024 10276 470 1167 0 9805 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 44096 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32637 /proc/meminfo: memFree=30939924/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=46144 CPUtime=282.24 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 10869 0 0 0 28118 106 0 0 20 0 1 0 284730225 47251456 10788 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 11536 10788 470 1167 0 10317 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 46144 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32638 /proc/meminfo: memFree=30938864/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=46144 CPUtime=342.23 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 10870 0 0 0 34087 136 0 0 20 0 1 0 284730225 47251456 10788 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 11536 10788 470 1167 0 10317 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 46144 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32638 /proc/meminfo: memFree=30932788/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=47168 CPUtime=402.22 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 11126 0 0 0 40057 165 0 0 20 0 1 0 284730225 48300032 11044 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 11792 11044 470 1167 0 10573 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 47168 Solver just ended. Dumping a history of the last processes samples [startup+409.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32638 /proc/meminfo: memFree=30931796/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=48192 CPUtime=409.41 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 11382 0 0 0 40774 167 0 0 20 0 1 0 284730225 49348608 11300 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 12048 11300 470 1167 0 10829 0 Current children cumulated CPU time (s) 409.41 Current children cumulated vsize (KiB) 48192 [startup+422.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 32638 /proc/meminfo: memFree=30929808/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=49216 CPUtime=422.23 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 11638 0 0 0 42049 174 0 0 20 0 1 0 284730225 50397184 11556 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 12304 11556 470 1167 0 11085 0 Current children cumulated CPU time (s) 422.23 Current children cumulated vsize (KiB) 49216 [startup+428.7 s] /proc/loadavg: 2.07 2.02 2.00 3/177 32638 /proc/meminfo: memFree=30929808/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=49216 CPUtime=428.61 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 11638 0 0 0 42684 177 0 0 20 0 1 0 284730225 50397184 11556 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 12304 11556 470 1167 0 11085 0 Current children cumulated CPU time (s) 428.61 Current children cumulated vsize (KiB) 49216 [startup+431.9 s] /proc/loadavg: 2.07 2.02 2.00 3/177 32638 /proc/meminfo: memFree=30928692/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=50240 CPUtime=431.81 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 11896 0 0 0 43002 179 0 0 20 0 1 0 284730225 51445760 11812 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 12560 11812 470 1167 0 11341 0 Current children cumulated CPU time (s) 431.81 Current children cumulated vsize (KiB) 50240 [startup+435.1 s] /proc/loadavg: 2.06 2.02 2.00 3/177 32638 /proc/meminfo: memFree=30927696/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=51264 CPUtime=435.01 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 12152 0 0 0 43321 180 0 0 20 0 1 0 284730225 52494336 12068 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 12816 12068 470 1167 0 11597 0 Current children cumulated CPU time (s) 435.01 Current children cumulated vsize (KiB) 51264 [startup+436.707 s] /proc/loadavg: 2.06 2.02 2.00 3/177 32638 /proc/meminfo: memFree=30927696/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=51264 CPUtime=436.62 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 12152 0 0 0 43481 181 0 0 20 0 1 0 284730225 52494336 12068 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 12816 12068 470 1167 0 11597 0 Current children cumulated CPU time (s) 436.62 Current children cumulated vsize (KiB) 51264 [startup+437.5 s] /proc/loadavg: 2.06 2.02 2.00 3/177 32638 /proc/meminfo: memFree=30927696/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=51264 CPUtime=437.41 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 12152 0 0 0 43559 182 0 0 20 0 1 0 284730225 52494336 12068 33554432000 4194304 8973514 140735671729904 140735671729400 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 12816 12068 470 1167 0 11597 0 Current children cumulated CPU time (s) 437.41 Current children cumulated vsize (KiB) 51264 [startup+437.9 s] /proc/loadavg: 2.06 2.01 2.00 3/177 32638 /proc/meminfo: memFree=30927696/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=51264 CPUtime=437.81 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 12152 0 0 0 43599 182 0 0 20 0 1 0 284730225 52494336 12068 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 12816 12068 470 1167 0 11597 0 Current children cumulated CPU time (s) 437.81 Current children cumulated vsize (KiB) 51264 [startup+438 s] /proc/loadavg: 2.06 2.01 2.00 3/177 32638 /proc/meminfo: memFree=30927696/32873844 swapFree=7620/7620 [pid=32636] ppid=32634 vsize=51264 CPUtime=437.91 cores=1,3,5,7 /proc/32636/stat : 32636 (toysat) R 32634 32636 29738 0 -1 4202496 12152 0 0 0 43609 182 0 0 20 0 1 0 284730225 52494336 12068 33554432000 4194304 8973514 140735671729904 140735671729400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/32636/statm: 12816 12068 470 1167 0 11597 0 Current children cumulated CPU time (s) 437.91 Current children cumulated vsize (KiB) 51264 Child status: 0 Real time (s): 438.083 CPU time (s): 438.005 CPU user time (s): 436.179 CPU system time (s): 1.82672 CPU usage (%): 99.9822 Max. virtual memory (cumulated for all children) (KiB): 51264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 436.179 system time used= 1.82672 maximum resident set size= 48288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12156 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= 14 involuntary context switches= 450 runsolver used 0.634903 second user time and 2.24066 second system time The end
Begin job on node143 at 2012-05-28 08:20:59 IDJOB=3712004 IDBENCH=78998 IDSOLVER=2291 FILE ID=node143/3712004-1338186059 RUNJOBID= node143-1338160335-29755 PBS_JOBID= 14624561 Free space on /tmp= 71656 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712004-1338186059/watcher-3712004-1338186059 -o /tmp/evaluation-result-3712004-1338186059/solver-3712004-1338186059 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712004-1338186059.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 97e6423088cc7ef1f08dcccdf9e01ef4 RANDOM SEED=1913406332 node143.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.787 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 : 5333.57 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.787 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.787 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.91 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.787 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.787 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.90 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.787 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 : 5298.57 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.787 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.787 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31024204 kB Buffers: 384240 kB Cached: 596360 kB SwapCached: 0 kB Active: 633648 kB Inactive: 379484 kB Active(anon): 23280 kB Inactive(anon): 11300 kB Active(file): 610368 kB Inactive(file): 368184 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7392 kB Writeback: 0 kB AnonPages: 61560 kB Mapped: 16004 kB Shmem: 200 kB Slab: 696908 kB SReclaimable: 139388 kB SUnreclaim: 557520 kB KernelStack: 1480 kB PageTables: 3732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 146636 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= 71648 MiB End job on node143 at 2012-05-28 08:28:17