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 | 759.193 | 759.316 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo |
| MD5SUM | 96d1f19cba40c7363abd0128bfda9b7c |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 53.1659 |
| 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 | 137973 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137972 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 649 |
| 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.79/0.84 c 2012-05-28T13:44:34+0200 0.79/0.84 c arch = x86_64 0.79/0.84 c os = linux 0.79/0.84 c compiler = ghc 7.4 0.79/0.84 c packages: 0.79/0.84 c OptDir-0.0.1 0.79/0.84 c array-0.4.0.0 0.79/0.84 c base-4.5.0.0 0.79/0.84 c bytestring-0.9.2.1 0.79/0.84 c containers-0.4.2.1 0.79/0.84 c deepseq-1.3.0.0 0.79/0.84 c mtl-2.1.1 0.79/0.84 c old_locale-1.0.0.4 0.79/0.84 c parse_dimacs-1.2 0.79/0.84 c parsec-3.1.2 0.79/0.84 c queue-0.1.2 0.79/0.84 c stm-2.3 0.79/0.84 c time-1.4 0.79/0.84 c command line = ["--wbo","HOME/instance-3712329-1338205474.wbo"] 0.79/0.84 c #vars 231 0.79/0.84 c #constraints 2707 0.79/0.84 c Solving starts ... 0.79/0.89 c solving time = 0.045s 0.79/0.89 c #decision = 5618 0.79/0.89 c #conflict = 100 0.79/0.89 c #restart = 1 0.79/0.89 o 230 0.79/0.90 c Solving starts ... 1.79/1.85 c solving time = 0.954s 1.79/1.85 c #decision = 7574 1.79/1.85 c #conflict = 203 1.79/1.85 c #restart = 2 1.79/1.85 o 218 1.79/1.86 c Solving starts ... 1.79/1.87 c solving time = 0.009s 1.79/1.87 c #decision = 7659 1.79/1.87 c #conflict = 203 1.79/1.87 c #restart = 2 1.79/1.87 o 215 1.79/1.87 c Solving starts ... 1.79/1.88 c solving time = 0.010s 1.79/1.88 c #decision = 7742 1.79/1.88 c #conflict = 203 1.79/1.88 c #restart = 2 1.79/1.88 o 212 1.79/1.89 c Solving starts ... 1.99/2.02 c solving time = 0.124s 1.99/2.02 c #decision = 8155 1.99/2.02 c #conflict = 206 1.99/2.02 c #restart = 2 1.99/2.02 o 196 1.99/2.02 c Solving starts ... 8.08/8.12 c solving time = 6.092s 8.08/8.12 c #decision = 8616 8.08/8.12 c #conflict = 393 8.08/8.12 c #restart = 3 8.08/8.12 o 195 8.08/8.12 c Solving starts ... 8.08/8.14 c solving time = 0.014s 8.08/8.14 c #decision = 8632 8.08/8.14 c #conflict = 393 8.08/8.14 c #restart = 3 8.08/8.14 o 194 8.08/8.14 c Solving starts ... 55.98/56.05 c solving time = 47.895s 55.98/56.05 c #decision = 11991 55.98/56.05 c #conflict = 1737 55.98/56.05 c #restart = 8 55.98/56.05 o 162 55.98/56.05 c Solving starts ... 55.98/56.07 c solving time = 0.017s 55.98/56.07 c #decision = 12058 55.98/56.07 c #conflict = 1737 55.98/56.07 c #restart = 8 55.98/56.07 o 160 55.98/56.07 c Solving starts ... 55.98/56.10 c solving time = 0.024s 55.98/56.10 c #decision = 12093 55.98/56.10 c #conflict = 1737 55.98/56.10 c #restart = 8 55.98/56.10 o 159 56.08/56.10 c Solving starts ... 56.38/56.42 c solving time = 0.317s 56.38/56.42 c #decision = 12506 56.38/56.42 c #conflict = 1745 56.38/56.42 c #restart = 8 56.38/56.42 o 144 56.38/56.43 c Solving starts ... 70.39/70.48 c solving time = 14.054s 70.39/70.48 c #decision = 13154 70.39/70.48 c #conflict = 2100 70.39/70.48 c #restart = 10 70.39/70.48 o 143 70.39/70.49 c Solving starts ... 70.39/70.49 c learnt constraints deletion: 2090 -> 1045 70.48/70.52 c solving time = 0.025s 70.48/70.52 c #decision = 13185 70.48/70.52 c #conflict = 2100 70.48/70.52 c #restart = 10 70.48/70.52 o 142 70.48/70.52 c Solving starts ... 87.38/87.41 c solving time = 16.884s 87.38/87.41 c #decision = 13971 87.38/87.41 c #conflict = 2514 87.38/87.41 c #restart = 12 87.38/87.41 o 136 87.38/87.41 c Solving starts ... 151.06/151.10 c learnt constraints deletion: 2772 -> 1386 153.16/153.28 c solving time = 65.853s 153.16/153.28 c #decision = 16644 153.16/153.28 c #conflict = 3949 153.16/153.28 c #restart = 17 153.16/153.28 o 131 153.16/153.28 c Solving starts ... 166.46/166.57 c solving time = 13.283s 166.46/166.57 c #decision = 17732 166.46/166.57 c #conflict = 4282 166.46/166.57 c #restart = 19 166.46/166.57 o 129 166.46/166.57 c Solving starts ... 166.56/166.60 c solving time = 0.027s 166.56/166.60 c #decision = 17833 166.56/166.60 c #conflict = 4283 166.56/166.60 c #restart = 19 166.56/166.60 o 126 166.56/166.61 c Solving starts ... 166.56/166.63 c solving time = 0.019s 166.56/166.63 c #decision = 17939 166.56/166.63 c #conflict = 4283 166.56/166.63 c #restart = 19 166.56/166.63 o 122 166.56/166.63 c Solving starts ... 166.96/167.01 c solving time = 0.380s 166.96/167.01 c #decision = 17971 166.96/167.01 c #conflict = 4293 166.96/167.01 c #restart = 19 166.96/167.01 o 121 166.96/167.01 c Solving starts ... 167.07/167.14 c solving time = 0.121s 167.07/167.14 c #decision = 18054 167.07/167.14 c #conflict = 4297 167.07/167.14 c #restart = 19 167.07/167.14 o 118 167.07/167.14 c Solving starts ... 167.07/167.17 c solving time = 0.030s 167.07/167.17 c #decision = 18072 167.07/167.17 c #conflict = 4298 167.07/167.17 c #restart = 19 167.07/167.17 o 117 167.07/167.18 c Solving starts ... 167.17/167.23 c solving time = 0.048s 167.17/167.23 c #decision = 18092 167.17/167.23 c #conflict = 4300 167.17/167.23 c #restart = 19 167.17/167.23 o 116 167.17/167.23 c Solving starts ... 167.17/167.26 c solving time = 0.022s 167.17/167.26 c #decision = 18108 167.17/167.26 c #conflict = 4300 167.17/167.26 c #restart = 19 167.17/167.26 o 115 167.17/167.26 c Solving starts ... 167.76/167.88 c solving time = 0.614s 167.76/167.88 c #decision = 18187 167.76/167.88 c #conflict = 4314 167.76/167.88 c #restart = 19 167.76/167.88 o 113 167.76/167.89 c Solving starts ... 167.86/167.91 c solving time = 0.022s 167.86/167.91 c #decision = 18213 167.86/167.91 c #conflict = 4314 167.86/167.91 c #restart = 19 167.86/167.91 o 112 167.86/167.92 c Solving starts ... 167.86/167.94 c solving time = 0.019s 167.86/167.94 c #decision = 18302 167.86/167.94 c #conflict = 4314 167.86/167.94 c #restart = 19 167.86/167.94 o 108 167.86/167.94 c Solving starts ... 167.86/167.96 c solving time = 0.016s 167.86/167.96 c #decision = 18322 167.86/167.96 c #conflict = 4314 167.86/167.96 c #restart = 19 167.86/167.96 o 107 167.86/167.96 c Solving starts ... 167.86/167.98 c solving time = 0.013s 167.86/167.98 c #decision = 18649 167.86/167.98 c #conflict = 4314 167.86/167.98 c #restart = 19 167.86/167.98 o 94 167.86/167.98 c Solving starts ... 182.96/183.07 c solving time = 15.084s 182.96/183.07 c #decision = 19443 182.96/183.07 c #conflict = 4722 182.96/183.07 c #restart = 21 182.96/183.07 o 90 182.96/183.08 c Solving starts ... 182.96/183.08 c learnt constraints deletion: 2270 -> 1135 183.06/183.12 c solving time = 0.047s 183.06/183.12 c #decision = 19473 183.06/183.12 c #conflict = 4722 183.06/183.12 c #restart = 21 183.06/183.12 o 89 183.06/183.13 c Solving starts ... 183.06/183.18 c solving time = 0.050s 183.06/183.18 c #decision = 19494 183.06/183.18 c #conflict = 4722 183.06/183.18 c #restart = 21 183.06/183.18 o 88 183.06/183.18 c Solving starts ... 183.16/183.22 c solving time = 0.034s 183.16/183.22 c #decision = 19513 183.16/183.22 c #conflict = 4722 183.16/183.22 c #restart = 21 183.16/183.22 o 87 183.16/183.22 c Solving starts ... 299.73/299.82 c learnt constraints deletion: 4351 -> 2176 456.02/456.15 c learnt constraints deletion: 5761 -> 2884 458.71/458.81 c solving time = 275.541s 458.71/458.81 c #decision = 30938 458.71/458.81 c #conflict = 11594 458.71/458.81 c #restart = 29 458.71/458.81 o 81 458.71/458.81 c Solving starts ... 458.71/458.81 c learnt constraints deletion: 2947 -> 1474 458.91/459.01 c solving time = 0.197s 458.91/459.01 c #decision = 31023 458.91/459.01 c #conflict = 11598 458.91/459.01 c #restart = 29 458.91/459.01 o 77 458.91/459.01 c Solving starts ... 545.70/545.81 c learnt constraints deletion: 4180 -> 2090 557.00/557.15 c solving time = 98.123s 557.00/557.15 c #decision = 37005 557.00/557.15 c #conflict = 14887 557.00/557.15 c #restart = 36 557.00/557.15 o 68 557.00/557.16 c Solving starts ... 576.31/576.42 c learnt constraints deletion: 3479 -> 1740 601.09/601.21 c solving time = 44.041s 601.09/601.21 c #decision = 39960 601.09/601.21 c #conflict = 16792 601.09/601.21 c #restart = 41 601.09/601.21 o 65 601.09/601.21 c Solving starts ... 601.09/601.25 c solving time = 0.037s 601.09/601.25 c #decision = 39977 601.09/601.25 c #conflict = 16792 601.09/601.25 c #restart = 41 601.09/601.25 o 64 601.09/601.25 c Solving starts ... 601.09/601.28 c solving time = 0.034s 601.09/601.28 c #decision = 39993 601.09/601.28 c #conflict = 16792 601.09/601.28 c #restart = 41 601.09/601.28 o 63 601.09/601.29 c Solving starts ... 615.59/615.76 c learnt constraints deletion: 3640 -> 1820 633.40/633.56 c solving time = 32.270s 633.40/633.56 c #decision = 42776 633.40/633.56 c #conflict = 18487 633.40/633.56 c #restart = 46 633.40/633.56 o 62 633.40/633.56 c Solving starts ... 633.40/633.59 c solving time = 0.028s 633.40/633.59 c #decision = 42883 633.40/633.59 c #conflict = 18487 633.40/633.59 c #restart = 46 633.40/633.59 o 57 633.40/633.59 c Solving starts ... 636.80/636.99 c solving time = 3.393s 636.80/636.99 c #decision = 43218 636.80/636.99 c #conflict = 18663 636.80/636.99 c #restart = 47 636.80/636.99 o 54 636.80/636.99 c Solving starts ... 636.89/637.03 c solving time = 0.039s 636.89/637.03 c #decision = 43234 636.89/637.03 c #conflict = 18663 636.89/637.03 c #restart = 47 636.89/637.03 o 53 636.89/637.03 c Solving starts ... 636.89/637.07 c solving time = 0.035s 636.89/637.07 c #decision = 43249 636.89/637.07 c #conflict = 18663 636.89/637.07 c #restart = 47 636.89/637.07 o 52 636.89/637.07 c Solving starts ... 651.88/652.03 c solving time = 14.954s 651.88/652.03 c #decision = 44815 651.88/652.03 c #conflict = 19610 651.88/652.03 c #restart = 51 651.88/652.03 o 50 651.88/652.03 c Solving starts ... 651.88/652.04 c learnt constraints deletion: 3819 -> 1910 651.88/652.07 c solving time = 0.042s 651.88/652.07 c #decision = 44832 651.88/652.07 c #conflict = 19610 651.88/652.07 c #restart = 51 651.88/652.07 o 49 651.88/652.08 c Solving starts ... 651.98/652.11 c solving time = 0.030s 651.98/652.11 c #decision = 44847 651.98/652.11 c #conflict = 19610 651.98/652.11 c #restart = 51 651.98/652.11 o 48 651.98/652.11 c Solving starts ... 667.09/667.22 c solving time = 15.106s 667.09/667.22 c #decision = 46966 667.09/667.22 c #conflict = 20695 667.09/667.22 c #restart = 55 667.09/667.22 o 38 667.09/667.22 c Solving starts ... 681.08/681.29 c solving time = 14.065s 681.08/681.29 c #decision = 48722 681.08/681.29 c #conflict = 21749 681.08/681.29 c #restart = 59 681.08/681.29 o 35 681.08/681.29 c Solving starts ... 681.08/681.30 c learnt constraints deletion: 4041 -> 2021 681.18/681.33 c solving time = 0.038s 681.18/681.33 c #decision = 48739 681.18/681.33 c #conflict = 21749 681.18/681.33 c #restart = 59 681.18/681.33 o 34 681.18/681.33 c Solving starts ... 685.88/686.05 c solving time = 4.720s 685.88/686.05 c #decision = 49490 685.88/686.05 c #conflict = 22194 685.88/686.05 c #restart = 61 685.88/686.05 o 31 685.88/686.05 c Solving starts ... 685.88/686.08 c solving time = 0.024s 685.88/686.08 c #decision = 49552 685.88/686.08 c #conflict = 22194 685.88/686.08 c #restart = 61 685.88/686.08 o 28 685.88/686.08 c Solving starts ... 695.09/695.28 c solving time = 9.200s 695.09/695.28 c #decision = 51800 695.09/695.28 c #conflict = 23593 695.09/695.28 c #restart = 66 695.09/695.28 o 26 695.09/695.28 c Solving starts ... 695.18/695.33 c solving time = 0.051s 695.18/695.33 c #decision = 51817 695.18/695.33 c #conflict = 23596 695.18/695.33 c #restart = 66 695.18/695.33 o 25 695.18/695.33 c Solving starts ... 695.78/695.99 c learnt constraints deletion: 3960 -> 1980 704.38/704.57 c solving time = 9.243s 704.38/704.57 c #decision = 54346 704.38/704.57 c #conflict = 25263 704.38/704.57 c #restart = 71 704.38/704.57 o 24 704.38/704.58 c Solving starts ... 704.48/704.60 c solving time = 0.024s 704.48/704.60 c #decision = 54410 704.48/704.60 c #conflict = 25263 704.48/704.60 c #restart = 71 704.48/704.60 o 21 704.48/704.60 c Solving starts ... 704.48/704.64 c solving time = 0.043s 704.48/704.64 c #decision = 54458 704.48/704.64 c #conflict = 25265 704.48/704.64 c #restart = 71 704.48/704.64 o 19 704.48/704.64 c Solving starts ... 704.48/704.67 c solving time = 0.023s 704.48/704.67 c #decision = 54502 704.48/704.67 c #conflict = 25265 704.48/704.67 c #restart = 71 704.48/704.67 o 17 704.48/704.67 c Solving starts ... 704.48/704.69 c solving time = 0.023s 704.48/704.69 c #decision = 54562 704.48/704.69 c #conflict = 25265 704.48/704.69 c #restart = 71 704.48/704.69 o 14 704.48/704.69 c Solving starts ... 705.18/705.36 c solving time = 0.669s 705.18/705.36 c #decision = 54916 705.18/705.36 c #conflict = 25492 705.18/705.36 c #restart = 72 705.18/705.36 o 13 705.18/705.36 c Solving starts ... 705.18/705.39 c solving time = 0.024s 705.18/705.39 c #decision = 54954 705.18/705.39 c #conflict = 25492 705.18/705.39 c #restart = 72 705.18/705.39 o 12 705.18/705.39 c Solving starts ... 709.58/709.74 c solving time = 4.350s 709.58/709.74 c #decision = 56889 709.58/709.74 c #conflict = 26802 709.58/709.74 c #restart = 76 709.58/709.74 o 11 709.58/709.74 c Solving starts ... 709.58/709.76 c learnt constraints deletion: 5077 -> 2539 720.87/721.00 c learnt constraints deletion: 6262 -> 3132 723.37/723.52 c solving time = 13.778s 723.37/723.52 c #decision = 63573 723.37/723.52 c #conflict = 31257 723.37/723.52 c #restart = 83 723.37/723.52 o 8 723.37/723.52 c Solving starts ... 723.37/723.54 c solving time = 0.017s 723.37/723.54 c #decision = 63636 723.37/723.54 c #conflict = 31257 723.37/723.54 c #restart = 83 723.37/723.54 o 6 723.37/723.54 c Solving starts ... 723.37/723.55 c solving time = 0.012s 723.37/723.55 c #decision = 63662 723.37/723.55 c #conflict = 31257 723.37/723.55 c #restart = 83 723.37/723.55 o 5 723.37/723.55 c Solving starts ... 723.77/723.95 c solving time = 0.401s 723.77/723.95 c #decision = 64204 723.77/723.95 c #conflict = 31579 723.77/723.95 c #restart = 85 723.77/723.95 o 4 723.77/723.95 c Solving starts ... 723.77/723.97 c solving time = 0.012s 723.77/723.97 c #decision = 64250 723.77/723.97 c #conflict = 31579 723.77/723.97 c #restart = 85 723.77/723.97 o 2 723.77/723.97 c Solving starts ... 725.17/725.38 c learnt constraints deletion: 5492 -> 2746 727.58/727.76 c solving time = 3.794s 727.58/727.76 c #decision = 68936 727.58/727.76 c #conflict = 34775 727.58/727.76 c #restart = 91 727.58/727.76 o 1 727.58/727.76 c Solving starts ... 727.58/727.78 c learnt constraints deletion: 4621 -> 2311 730.37/730.54 c learnt constraints deletion: 6471 -> 3236 733.48/733.60 c learnt constraints deletion: 7289 -> 3645 736.17/736.33 c learnt constraints deletion: 7682 -> 3841 738.87/739.06 c learnt constraints deletion: 7724 -> 3862 741.87/742.02 c learnt constraints deletion: 8172 -> 4086 744.97/745.14 c learnt constraints deletion: 8222 -> 4111 747.57/747.72 c learnt constraints deletion: 8772 -> 4386 750.07/750.25 c learnt constraints deletion: 8718 -> 4359 752.76/752.91 c learnt constraints deletion: 8715 -> 4358 755.47/755.61 c learnt constraints deletion: 9315 -> 4658 757.87/758.02 c learnt constraints deletion: 9338 -> 4669 759.17/759.31 c solving time = 31.542s 759.17/759.31 c #decision = 151195 759.17/759.31 c #conflict = 84647 759.17/759.31 c #restart = 104 759.17/759.31 s OPTIMUM FOUND 759.17/759.31 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 759.17/759.31 v -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 759.17/759.31 v -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 759.17/759.31 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 759.17/759.31 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 759.17/759.31 v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 759.17/759.31 v -x61 x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 759.17/759.31 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 759.17/759.31 v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 759.17/759.31 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 759.17/759.31 v x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 759.17/759.31 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 759.17/759.31 v -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 759.17/759.31 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 759.17/759.31 v x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 759.17/759.31 v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 759.17/759.31 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 759.17/759.31 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 759.17/759.31 v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 759.17/759.31 v -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 759.17/759.31 v -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 759.17/759.31 v -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 759.17/759.31 v -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 759.17/759.31 v -x231 759.17/759.31 c total time = 759.191s
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-3712329-1338205474/watcher-3712329-1338205474 -o /tmp/evaluation-result-3712329-1338205474/solver-3712329-1338205474 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712329-1338205474.wbo running on 4 cores: 0,2,4,6 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: 1.92 1.98 1.99 3/176 21396 /proc/meminfo: memFree=28095668/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=7232 CPUtime=0 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 834 0 0 0 0 0 0 0 20 0 1 0 286675948 7405568 755 33554432000 4194304 8973514 140735983458848 140733678643128 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 1808 756 424 1167 0 589 0 [startup+0.0814531 s] /proc/loadavg: 1.92 1.98 1.99 3/176 21396 /proc/meminfo: memFree=28095668/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=12352 CPUtime=0.07 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 2189 0 0 0 7 0 0 0 20 0 1 0 286675948 12648448 2111 33554432000 4194304 8973514 140735983458848 140733678643128 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 3088 2118 437 1167 0 1869 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12352 [startup+0.100358 s] /proc/loadavg: 1.92 1.98 1.99 3/176 21396 /proc/meminfo: memFree=28095668/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=12352 CPUtime=0.09 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 2219 0 0 0 9 0 0 0 20 0 1 0 286675948 12648448 2140 33554432000 4194304 8973514 140735983458848 140733678643128 4481508 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 3088 2140 438 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300288 s] /proc/loadavg: 1.92 1.98 1.99 3/176 21396 /proc/meminfo: memFree=28095668/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=12352 CPUtime=0.29 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 2220 0 0 0 29 0 0 0 20 0 1 0 286675948 12648448 2141 33554432000 4194304 8973514 140735983458848 140735983458112 4481504 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 3088 2141 438 1167 0 1869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12352 [startup+0.700275 s] /proc/loadavg: 1.92 1.98 1.99 3/176 21396 /proc/meminfo: memFree=28095668/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=12352 CPUtime=0.69 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 2379 0 0 0 69 0 0 0 20 0 1 0 286675948 12648448 2300 33554432000 4194304 8973514 140735983458848 140735983458112 4208823 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 3088 2300 438 1167 0 1869 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12352 [startup+1.50034 s] /proc/loadavg: 1.92 1.98 1.99 3/177 21397 /proc/meminfo: memFree=28085732/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=15424 CPUtime=1.49 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 3175 0 0 0 149 0 0 0 20 0 1 0 286675948 15794176 3096 33554432000 4194304 8973514 140735983458848 140735983458344 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 3856 3096 466 1167 0 2637 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15424 [startup+3.10034 s] /proc/loadavg: 1.92 1.98 1.99 3/177 21397 /proc/meminfo: memFree=28081856/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=19520 CPUtime=3.08 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 4199 0 0 0 307 1 0 0 20 0 1 0 286675948 19988480 4120 33554432000 4194304 8973514 140735983458848 140735983458112 4211946 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 4880 4120 466 1167 0 3661 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19520 [startup+6.30033 s] /proc/loadavg: 1.93 1.98 1.99 3/177 21397 /proc/meminfo: memFree=28079624/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=19520 CPUtime=6.29 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 4199 0 0 0 626 3 0 0 20 0 1 0 286675948 19988480 4120 33554432000 4194304 8973514 140735983458848 140735983458112 7660404 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 4880 4120 466 1167 0 3661 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19520 [startup+12.7003 s] /proc/loadavg: 1.93 1.98 1.99 3/177 21397 /proc/meminfo: memFree=28077076/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=21568 CPUtime=12.69 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 4715 0 0 0 1263 6 0 0 20 0 1 0 286675948 22085632 4639 33554432000 4194304 8973514 140735983458848 140735983457952 4209313 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 5392 4639 466 1167 0 4173 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21568 [startup+25.5003 s] /proc/loadavg: 2.03 2.00 2.00 3/177 21397 /proc/meminfo: memFree=28074284/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=21568 CPUtime=25.49 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 4716 0 0 0 2539 10 0 0 20 0 1 0 286675948 22085632 4639 33554432000 4194304 8973514 140735983458848 140735983458344 7688852 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 5392 4639 466 1167 0 4173 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21568 [startup+51.1003 s] /proc/loadavg: 2.02 2.00 2.00 3/177 21397 /proc/meminfo: memFree=28073288/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=22592 CPUtime=51.08 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 4973 0 0 0 5090 18 0 0 20 0 1 0 286675948 23134208 4895 33554432000 4194304 8973514 140735983458848 140735983458112 7732563 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 5648 4895 466 1167 0 4429 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22592 [startup+102.307 s] /proc/loadavg: 2.01 2.00 2.00 3/177 21398 /proc/meminfo: memFree=28063980/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=30784 CPUtime=102.27 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 7025 0 0 0 10193 34 0 0 20 0 1 0 286675948 31522816 6944 33554432000 4194304 8973514 140735983458848 140735983458112 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 7696 6944 467 1167 0 6477 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30784 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21398 /proc/meminfo: memFree=28061000/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=32832 CPUtime=162.26 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 7537 0 0 0 16175 51 0 0 20 0 1 0 286675948 33619968 7456 33554432000 4194304 8973514 140735983458848 140735983458112 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 8208 7456 467 1167 0 6989 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 32832 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21398 /proc/meminfo: memFree=28042632/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=46144 CPUtime=222.25 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 10869 0 0 0 22151 74 0 0 20 0 1 0 286675948 47251456 10784 33554432000 4194304 8973514 140735983458848 140735983458344 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 11536 10784 467 1167 0 10317 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 46144 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21398 /proc/meminfo: memFree=28033448/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=49216 CPUtime=282.24 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 11637 0 0 0 28125 99 0 0 20 0 1 0 286675948 50397184 11552 33554432000 4194304 8973514 140735983458848 140735983456768 4416140 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 12304 11552 467 1167 0 11085 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 49216 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21401 /proc/meminfo: memFree=28028412/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=49216 CPUtime=342.23 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 11637 0 0 0 34103 120 0 0 20 0 1 0 286675948 50397184 11552 33554432000 4194304 8973514 140735983458848 140735983456832 4214466 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 12304 11552 467 1167 0 11085 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 49216 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21402 /proc/meminfo: memFree=28027424/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=50240 CPUtime=402.22 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 11893 0 0 0 40081 141 0 0 20 0 1 0 286675948 51445760 11808 33554432000 4194304 8973514 140735983458848 140735983458112 4204685 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 12560 11808 467 1167 0 11341 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 50240 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21402 /proc/meminfo: memFree=28023328/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=52288 CPUtime=462.21 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 12405 0 0 0 46058 163 0 0 20 0 1 0 286675948 53542912 12320 33554432000 4194304 8973514 140735983458848 140735983458112 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 13072 12320 467 1167 0 11853 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 52288 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21402 /proc/meminfo: memFree=28017308/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=52288 CPUtime=522.2 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 12405 0 0 0 52032 188 0 0 20 0 1 0 286675948 53542912 12320 33554432000 4194304 8973514 140735983458848 140735983458112 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 13072 12320 467 1167 0 11853 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 52288 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 21402 /proc/meminfo: memFree=28007828/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=52288 CPUtime=582.19 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 12405 0 0 0 58008 211 0 0 20 0 1 0 286675948 53542912 12320 33554432000 4194304 8973514 140735983458848 140735983458344 7716772 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 13072 12320 467 1167 0 11853 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 52288 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21403 /proc/meminfo: memFree=28000000/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=54336 CPUtime=642.19 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 12917 0 0 0 63984 235 0 0 20 0 1 0 286675948 55640064 12832 33554432000 4194304 8973514 140735983458848 140735983440832 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 13584 12832 467 1167 0 12365 0 Current children cumulated CPU time (s) 642.19 Current children cumulated vsize (KiB) 54336 [startup+702.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21404 /proc/meminfo: memFree=27988700/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=57408 CPUtime=702.17 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 13685 0 0 0 69957 260 0 0 20 0 1 0 286675948 58785792 13600 33554432000 4194304 8973514 140735983458848 140735983458344 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 14352 13600 467 1167 0 13133 0 Current children cumulated CPU time (s) 702.17 Current children cumulated vsize (KiB) 57408 Solver just ended. Dumping a history of the last processes samples [startup+716.7 s] /proc/loadavg: 2.07 2.02 2.00 3/177 21404 /proc/meminfo: memFree=27985476/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=60480 CPUtime=716.57 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 14454 0 0 0 71388 269 0 0 20 0 1 0 286675948 61931520 14369 33554432000 4194304 8973514 140735983458848 140735983458344 4424998 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 15120 14369 468 1167 0 13901 0 Current children cumulated CPU time (s) 716.57 Current children cumulated vsize (KiB) 60480 [startup+742.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 21404 /proc/meminfo: memFree=27980516/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=66624 CPUtime=742.17 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 15990 0 0 0 73934 283 0 0 20 0 1 0 286675948 68222976 15905 33554432000 4194304 8973514 140735983458848 140735983458344 4415744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 16656 15905 468 1167 0 15437 0 Current children cumulated CPU time (s) 742.17 Current children cumulated vsize (KiB) 66624 [startup+748.7 s] /proc/loadavg: 2.04 2.01 2.00 3/177 21404 /proc/meminfo: memFree=27979400/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=66624 CPUtime=748.57 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 15990 0 0 0 74571 286 0 0 20 0 1 0 286675948 68222976 15905 33554432000 4194304 8973514 140735983458848 140735983458344 7716779 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 16656 15905 468 1167 0 15437 0 Current children cumulated CPU time (s) 748.57 Current children cumulated vsize (KiB) 66624 [startup+755.1 s] /proc/loadavg: 2.03 2.01 2.00 3/177 21404 /proc/meminfo: memFree=27977540/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=68672 CPUtime=754.97 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 16502 0 0 0 75207 290 0 0 20 0 1 0 286675948 70320128 16417 33554432000 4194304 8973514 140735983458848 140735983458344 7717304 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 17168 16417 468 1167 0 15949 0 Current children cumulated CPU time (s) 754.97 Current children cumulated vsize (KiB) 68672 [startup+756.7 s] /proc/loadavg: 2.03 2.01 2.00 3/177 21404 /proc/meminfo: memFree=27977540/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=68672 CPUtime=756.57 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 16502 0 0 0 75366 291 0 0 20 0 1 0 286675948 70320128 16417 33554432000 4194304 8973514 140735983458848 140735983458344 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 17168 16417 468 1167 0 15949 0 Current children cumulated CPU time (s) 756.57 Current children cumulated vsize (KiB) 68672 [startup+758.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 21404 /proc/meminfo: memFree=27977540/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=68672 CPUtime=758.17 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 16502 0 0 0 75525 292 0 0 20 0 1 0 286675948 70320128 16417 33554432000 4194304 8973514 140735983458848 140735983458344 4427632 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 17168 16417 468 1167 0 15949 0 Current children cumulated CPU time (s) 758.17 Current children cumulated vsize (KiB) 68672 [startup+759.1 s] /proc/loadavg: 2.03 2.01 2.00 3/177 21404 /proc/meminfo: memFree=27977540/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=68672 CPUtime=758.97 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 16502 0 0 0 75605 292 0 0 20 0 1 0 286675948 70320128 16417 33554432000 4194304 8973514 140735983458848 140735983458344 4415672 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 17168 16417 468 1167 0 15949 0 Current children cumulated CPU time (s) 758.97 Current children cumulated vsize (KiB) 68672 [startup+759.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 21404 /proc/meminfo: memFree=27977540/32873844 swapFree=7620/7620 [pid=21396] ppid=21394 vsize=68672 CPUtime=759.17 cores=0,2,4,6 /proc/21396/stat : 21396 (toysat) R 21394 21396 20029 0 -1 4202496 16502 0 0 0 75625 292 0 0 20 0 1 0 286675948 70320128 16417 33554432000 4194304 8973514 140735983458848 140735983458112 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21396/statm: 17168 16417 468 1167 0 15949 0 Current children cumulated CPU time (s) 759.17 Current children cumulated vsize (KiB) 68672 Child status: 0 Real time (s): 759.316 CPU time (s): 759.193 CPU user time (s): 756.265 CPU system time (s): 2.92755 CPU usage (%): 99.9838 Max. virtual memory (cumulated for all children) (KiB): 68672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 756.265 system time used= 2.92755 maximum resident set size= 65684 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16506 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= 16 involuntary context switches= 881 runsolver used 2.6556 second user time and 7.95979 second system time The end
Begin job on node107 at 2012-05-28 13:44:34 IDJOB=3712329 IDBENCH=79260 IDSOLVER=2291 FILE ID=node107/3712329-1338205474 RUNJOBID= node107-1338193582-20045 PBS_JOBID= 14624587 Free space on /tmp= 71556 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712329-1338205474/watcher-3712329-1338205474 -o /tmp/evaluation-result-3712329-1338205474/solver-3712329-1338205474 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712329-1338205474.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 96d1f19cba40c7363abd0128bfda9b7c RANDOM SEED=960152839 node107.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.760 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.52 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.760 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.760 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.760 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.760 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.760 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.760 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.86 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.760 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: 28095296 kB Buffers: 432236 kB Cached: 3456292 kB SwapCached: 0 kB Active: 958748 kB Inactive: 2962920 kB Active(anon): 35192 kB Inactive(anon): 0 kB Active(file): 923556 kB Inactive(file): 2962920 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7392 kB Writeback: 0 kB AnonPages: 40168 kB Mapped: 16172 kB Shmem: 200 kB Slab: 715064 kB SReclaimable: 157568 kB SUnreclaim: 557496 kB KernelStack: 1456 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 146884 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71548 MiB End job on node107 at 2012-05-28 13:57:13