Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2012-05-17 | ? (TO) | 1800.1 | 1800.41 |
Name | /OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/ 10orplus/normalized-libpango-perl.cudf.paranoid.opb |
MD5SUM | b7b0ef2e50d23764d88cd828dc25ccbd |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 176205 |
Best CPU time to get the best result obtained on this benchmark | 1313.6 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 19768 |
Total number of constraints | 96403 |
Number of constraints which are clauses | 94838 |
Number of constraints which are cardinality constraints (but not clauses) | 1565 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2962 |
Number of terms in the objective function | 7253 |
Biggest coefficient in the objective function | 4295 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 12717493 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 4295 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 12717493 |
Number of bits of the biggest sum of numbers | 24 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
8.19/8.27 c 2012-05-27T19:32:18+0200 8.19/8.27 c arch = x86_64 8.19/8.27 c os = linux 8.19/8.27 c compiler = ghc 7.4 8.19/8.27 c packages: 8.19/8.27 c OptDir-0.0.1 8.19/8.27 c array-0.4.0.0 8.19/8.27 c base-4.5.0.0 8.19/8.27 c bytestring-0.9.2.1 8.19/8.27 c containers-0.4.2.1 8.19/8.27 c deepseq-1.3.0.0 8.19/8.27 c mtl-2.1.1 8.19/8.27 c old_locale-1.0.0.4 8.19/8.27 c parse_dimacs-1.2 8.19/8.27 c parsec-3.1.2 8.19/8.27 c queue-0.1.2 8.19/8.27 c stm-2.3 8.19/8.27 c time-1.4 8.19/8.27 c command line = ["--pb","HOME/instance-3706299-1338139938.opb"] 8.19/8.27 c #vars 19768 8.19/8.27 c #constraints 96403 8.19/8.27 c Solving starts ... 9.18/9.25 c solving time = 0.966s 9.18/9.25 c #decision = 82514 9.18/9.25 c #conflict = 76 9.18/9.25 c #restart = 0 9.18/9.25 o 210680 9.28/9.33 c Solving starts ... 15.08/15.19 c solving time = 5.854s 15.08/15.19 c #decision = 97544 15.08/15.19 c #conflict = 131 15.08/15.19 c #restart = 0 15.08/15.20 o 210679 15.18/15.27 c Solving starts ... 33.48/33.59 c solving time = 18.305s 33.48/33.59 c #decision = 100993 33.48/33.59 c #conflict = 168 33.48/33.59 c #restart = 0 33.48/33.59 o 210678 33.58/33.60 c Solving starts ... 36.08/36.17 c solving time = 2.555s 36.08/36.17 c #decision = 103877 36.08/36.17 c #conflict = 170 36.08/36.17 c #restart = 0 36.08/36.17 o 210677 36.08/36.18 c Solving starts ... 38.98/39.01 c solving time = 2.817s 38.98/39.01 c #decision = 106767 38.98/39.01 c #conflict = 172 38.98/39.01 c #restart = 0 38.98/39.02 o 210676 38.98/39.03 c Solving starts ... 58.48/58.57 c solving time = 19.522s 58.48/58.57 c #decision = 111971 58.48/58.57 c #conflict = 191 58.48/58.57 c #restart = 0 58.48/58.57 o 210674 58.48/58.58 c Solving starts ... 61.38/61.45 c solving time = 2.860s 61.38/61.45 c #decision = 114855 61.38/61.45 c #conflict = 193 61.38/61.45 c #restart = 0 61.38/61.45 o 210673 61.38/61.46 c Solving starts ... 64.17/64.23 c solving time = 2.753s 64.17/64.23 c #decision = 120035 64.17/64.23 c #conflict = 195 64.17/64.23 c #restart = 0 64.17/64.23 o 210670 64.17/64.24 c Solving starts ... 68.37/68.42 c solving time = 4.160s 68.37/68.42 c #decision = 125223 68.37/68.42 c #conflict = 200 68.37/68.42 c #restart = 0 68.37/68.42 o 210667 68.37/68.43 c Solving starts ... 79.17/79.24 c solving time = 10.794s 79.17/79.24 c #decision = 130420 79.17/79.24 c #conflict = 210 79.17/79.24 c #restart = 0 79.17/79.24 o 210665 79.17/79.26 c Solving starts ... 82.27/82.36 c solving time = 3.089s 82.27/82.36 c #decision = 133307 82.27/82.36 c #conflict = 213 82.27/82.36 c #restart = 0 82.27/82.36 o 210664 82.27/82.37 c Solving starts ... 88.77/88.82 c solving time = 6.433s 88.77/88.82 c #decision = 136214 88.77/88.82 c #conflict = 222 88.77/88.82 c #restart = 0 88.77/88.82 o 210663 88.77/88.83 c Solving starts ... 89.46/89.55 c solving time = 0.706s 89.46/89.55 c #decision = 139112 89.46/89.55 c #conflict = 223 89.46/89.55 c #restart = 0 89.46/89.55 o 210662 89.46/89.56 c Solving starts ... 105.26/105.35 c solving time = 15.777s 105.26/105.35 c #decision = 142036 105.26/105.35 c #conflict = 239 105.26/105.35 c #restart = 0 105.26/105.35 o 210661 105.26/105.36 c Solving starts ... 117.56/117.68 c solving time = 12.298s 117.56/117.68 c #decision = 144935 117.56/117.68 c #conflict = 250 117.56/117.68 c #restart = 0 117.56/117.68 o 210660 117.56/117.69 c Solving starts ... 125.56/125.67 c solving time = 7.966s 125.56/125.67 c #decision = 147833 125.56/125.67 c #conflict = 259 125.56/125.67 c #restart = 0 125.56/125.67 o 210659 125.56/125.68 c Solving starts ... 129.16/129.26 c solving time = 3.562s 129.16/129.26 c #decision = 150725 129.16/129.26 c #conflict = 264 129.16/129.26 c #restart = 0 129.16/129.26 o 210658 129.16/129.27 c Solving starts ... 170.75/170.82 c solving time = 41.535s 170.75/170.82 c #decision = 156071 170.75/170.82 c #conflict = 521 170.75/170.82 c #restart = 2 170.75/170.82 o 210657 170.75/170.84 c Solving starts ... 181.65/181.71 c solving time = 10.860s 181.65/181.71 c #decision = 159005 181.65/181.71 c #conflict = 545 181.65/181.71 c #restart = 2 181.65/181.71 o 210656 181.65/181.79 c Solving starts ... 202.65/202.73 c solving time = 20.921s 202.65/202.73 c #decision = 169277 202.65/202.73 c #conflict = 624 202.65/202.73 c #restart = 2 202.65/202.73 o 210654 202.75/202.81 c Solving starts ... 207.94/208.09 c solving time = 5.259s 207.94/208.09 c #decision = 172358 207.94/208.09 c #conflict = 645 207.94/208.09 c #restart = 2 207.94/208.09 o 210653 208.04/208.10 c Solving starts ... 209.04/209.18 c solving time = 1.071s 209.04/209.18 c #decision = 175310 209.04/209.18 c #conflict = 646 209.04/209.18 c #restart = 2 209.04/209.18 o 210652 209.04/209.19 c Solving starts ... 210.64/210.75 c solving time = 1.551s 210.64/210.75 c #decision = 178264 210.64/210.75 c #conflict = 654 210.64/210.75 c #restart = 2 210.64/210.76 o 210651 210.64/210.77 c Solving starts ... 212.05/212.12 c solving time = 1.339s 212.05/212.12 c #decision = 181208 212.05/212.12 c #conflict = 657 212.05/212.12 c #restart = 2 212.05/212.12 o 210650 212.05/212.13 c Solving starts ... 214.04/214.11 c solving time = 1.965s 214.04/214.11 c #decision = 184210 214.04/214.11 c #conflict = 664 214.04/214.11 c #restart = 2 214.04/214.11 o 210649 214.04/214.12 c Solving starts ... 215.45/215.53 c solving time = 1.399s 215.45/215.53 c #decision = 187163 215.45/215.53 c #conflict = 669 215.45/215.53 c #restart = 2 215.45/215.53 o 210648 215.45/215.54 c Solving starts ... 217.05/217.16 c solving time = 1.604s 217.05/217.16 c #decision = 190111 217.05/217.16 c #conflict = 676 217.05/217.16 c #restart = 2 217.05/217.16 o 210647 217.05/217.17 c Solving starts ... 219.54/219.63 c solving time = 2.450s 219.54/219.63 c #decision = 193100 219.54/219.63 c #conflict = 689 219.54/219.63 c #restart = 2 219.54/219.63 o 210646 219.54/219.64 c Solving starts ... 221.94/222.06 c solving time = 2.406s 221.94/222.06 c #decision = 196066 221.94/222.06 c #conflict = 702 221.94/222.06 c #restart = 2 221.94/222.06 o 210645 221.94/222.07 c Solving starts ... 223.44/223.59 c solving time = 1.502s 223.44/223.59 c #decision = 198985 223.44/223.59 c #conflict = 705 223.44/223.59 c #restart = 2 223.44/223.59 o 210644 223.54/223.60 c Solving starts ... 225.34/225.43 c solving time = 1.822s 225.34/225.43 c #decision = 201912 225.34/225.43 c #conflict = 713 225.34/225.43 c #restart = 2 225.34/225.43 o 210643 225.34/225.45 c Solving starts ... 227.14/227.25 c solving time = 1.788s 227.14/227.25 c #decision = 204836 227.14/227.25 c #conflict = 719 227.14/227.25 c #restart = 2 227.14/227.25 o 210642 227.14/227.26 c Solving starts ... 229.14/229.25 c solving time = 1.980s 229.14/229.25 c #decision = 207766 229.14/229.25 c #conflict = 728 229.14/229.25 c #restart = 2 229.14/229.25 o 210641 229.14/229.26 c Solving starts ... 230.84/230.94 c solving time = 1.666s 230.84/230.94 c #decision = 210687 230.84/230.94 c #conflict = 731 230.84/230.94 c #restart = 2 230.84/230.94 o 210640 230.84/230.95 c Solving starts ... 232.94/233.07 c solving time = 2.108s 232.94/233.07 c #decision = 213619 232.94/233.07 c #conflict = 742 232.94/233.07 c #restart = 2 232.94/233.07 o 210639 232.94/233.08 c Solving starts ... 234.84/234.91 c solving time = 1.814s 234.84/234.91 c #decision = 216532 234.84/234.91 c #conflict = 745 234.84/234.91 c #restart = 2 234.84/234.91 o 210638 234.84/234.92 c Solving starts ... 237.03/237.12 c solving time = 2.191s 237.03/237.12 c #decision = 219451 237.03/237.12 c #conflict = 756 237.03/237.12 c #restart = 2 237.03/237.13 o 210637 237.03/237.14 c Solving starts ... 240.34/240.44 c solving time = 3.294s 240.34/240.44 c #decision = 222458 240.34/240.44 c #conflict = 764 240.34/240.44 c #restart = 2 240.34/240.45 o 210636 240.34/240.46 c Solving starts ... 303.92/304.00 c solving time = 63.518s 303.92/304.00 c #decision = 253595 303.92/304.00 c #conflict = 903 303.92/304.00 c #restart = 3 303.92/304.00 o 206439 303.92/304.02 c Solving starts ... 306.83/306.91 c solving time = 2.877s 306.83/306.91 c #decision = 256511 306.83/306.91 c #conflict = 903 306.83/306.91 c #restart = 3 306.83/306.91 o 206438 306.83/306.92 c Solving starts ... 323.52/323.62 c solving time = 16.690s 323.52/323.62 c #decision = 259638 323.52/323.62 c #conflict = 932 323.52/323.62 c #restart = 3 323.52/323.62 o 206437 323.52/323.64 c Solving starts ... 326.62/326.71 c solving time = 3.063s 326.62/326.71 c #decision = 262541 326.62/326.71 c #conflict = 932 326.62/326.71 c #restart = 3 326.62/326.71 o 206436 326.72/326.81 c Solving starts ... 329.72/329.88 c solving time = 3.058s 329.72/329.88 c #decision = 265441 329.72/329.88 c #conflict = 932 329.72/329.88 c #restart = 3 329.72/329.88 o 206435 329.72/329.89 c Solving starts ... 335.82/335.94 c solving time = 6.034s 335.82/335.94 c #decision = 268344 335.82/335.94 c #conflict = 934 335.82/335.94 c #restart = 3 335.82/335.94 o 206434 335.82/335.96 c Solving starts ... 343.42/343.55 c solving time = 7.579s 343.42/343.55 c #decision = 271265 343.42/343.55 c #conflict = 938 343.42/343.55 c #restart = 3 343.42/343.55 o 206433 343.42/343.56 c Solving starts ... 355.51/355.66 c solving time = 12.083s 355.51/355.66 c #decision = 274170 355.51/355.66 c #conflict = 946 355.51/355.66 c #restart = 3 355.51/355.66 o 206432 355.51/355.67 c Solving starts ... 361.72/361.87 c solving time = 6.178s 361.72/361.87 c #decision = 277066 361.72/361.87 c #conflict = 948 361.72/361.87 c #restart = 3 361.72/361.87 o 206431 361.72/361.88 c Solving starts ... 369.62/369.76 c solving time = 7.870s 369.62/369.76 c #decision = 279990 369.62/369.76 c #conflict = 953 369.62/369.76 c #restart = 3 369.62/369.76 o 206430 369.62/369.77 c Solving starts ... 382.41/382.58 c solving time = 12.786s 382.41/382.58 c #decision = 282897 382.41/382.58 c #conflict = 961 382.41/382.58 c #restart = 3 382.41/382.58 o 206429 382.41/382.59 c Solving starts ... 393.01/393.17 c solving time = 10.564s 393.01/393.17 c #decision = 285799 393.01/393.17 c #conflict = 966 393.01/393.17 c #restart = 3 393.01/393.17 o 206428 393.01/393.18 c Solving starts ... 400.81/400.96 c solving time = 7.763s 400.81/400.96 c #decision = 288703 400.81/400.96 c #conflict = 970 400.81/400.96 c #restart = 3 400.81/400.96 o 206427 400.81/400.97 c Solving starts ... 417.31/417.41 c solving time = 16.423s 417.31/417.41 c #decision = 291619 417.31/417.41 c #conflict = 980 417.31/417.41 c #restart = 3 417.31/417.41 o 206426 417.31/417.42 c Solving starts ... 428.10/428.27 c solving time = 10.829s 428.10/428.27 c #decision = 294533 428.10/428.27 c #conflict = 989 428.10/428.27 c #restart = 3 428.10/428.27 o 206425 428.10/428.28 c Solving starts ... 433.41/433.57 c solving time = 5.278s 433.41/433.57 c #decision = 297434 433.41/433.57 c #conflict = 990 433.41/433.57 c #restart = 3 433.41/433.57 o 206424 433.41/433.59 c Solving starts ... 446.60/446.79 c solving time = 13.190s 446.60/446.79 c #decision = 300338 446.60/446.79 c #conflict = 997 446.60/446.79 c #restart = 3 446.60/446.79 o 206423 446.70/446.80 c Solving starts ... 453.60/453.74 c solving time = 6.923s 453.60/453.74 c #decision = 303236 453.60/453.74 c #conflict = 1000 453.60/453.74 c #restart = 3 453.60/453.74 o 206422 453.60/453.76 c Solving starts ... 461.70/461.81 c solving time = 8.040s 461.70/461.81 c #decision = 306133 461.70/461.81 c #conflict = 1003 461.70/461.81 c #restart = 3 461.70/461.81 o 206421 461.70/461.82 c Solving starts ... 470.00/470.10 c solving time = 8.259s 470.00/470.10 c #decision = 309028 470.00/470.10 c #conflict = 1006 470.00/470.10 c #restart = 3 470.00/470.10 o 206420 470.00/470.11 c Solving starts ... 486.20/486.35 c solving time = 16.229s 486.20/486.35 c #decision = 311932 486.20/486.35 c #conflict = 1017 486.20/486.35 c #restart = 3 486.20/486.35 o 206419 486.20/486.36 c Solving starts ... 494.59/494.76 c solving time = 8.378s 494.59/494.76 c #decision = 317123 494.59/494.76 c #conflict = 1022 494.59/494.76 c #restart = 3 494.59/494.76 o 206415 494.59/494.77 c Solving starts ... 515.70/515.90 c solving time = 21.114s 515.70/515.90 c #decision = 320224 515.70/515.90 c #conflict = 1046 515.70/515.90 c #restart = 3 515.70/515.90 o 206414 515.80/515.91 c Solving starts ... 520.09/520.20 c solving time = 4.275s 520.09/520.20 c #decision = 323266 520.09/520.20 c #conflict = 1049 520.09/520.20 c #restart = 3 520.09/520.20 o 206413 520.09/520.21 c Solving starts ... 523.99/524.12 c solving time = 3.886s 523.99/524.12 c #decision = 326257 523.99/524.12 c #conflict = 1049 523.99/524.12 c #restart = 3 523.99/524.12 o 206412 523.99/524.13 c Solving starts ... 527.89/528.08 c solving time = 3.941s 527.89/528.08 c #decision = 329241 527.89/528.08 c #conflict = 1049 527.89/528.08 c #restart = 3 527.89/528.08 o 206411 527.89/528.10 c Solving starts ... 531.89/532.10 c solving time = 3.982s 531.89/532.10 c #decision = 334536 531.89/532.10 c #conflict = 1050 531.89/532.10 c #restart = 3 531.89/532.10 o 206409 531.99/532.11 c Solving starts ... 536.28/536.40 c solving time = 4.277s 536.28/536.40 c #decision = 337526 536.28/536.40 c #conflict = 1053 536.28/536.40 c #restart = 3 536.28/536.40 o 206408 536.28/536.41 c Solving starts ... 540.39/540.53 c solving time = 4.107s 540.39/540.53 c #decision = 340506 540.39/540.53 c #conflict = 1054 540.39/540.53 c #restart = 3 540.39/540.53 o 206407 540.39/540.54 c Solving starts ... 544.58/544.79 c solving time = 4.229s 544.58/544.79 c #decision = 345806 544.58/544.79 c #conflict = 1055 544.58/544.79 c #restart = 3 544.58/544.79 o 206405 544.68/544.80 c Solving starts ... 548.79/548.99 c solving time = 4.178s 548.79/548.99 c #decision = 348808 548.79/548.99 c #conflict = 1056 548.79/548.99 c #restart = 3 548.79/549.00 o 206404 548.88/549.01 c Solving starts ... 553.69/553.88 c solving time = 4.856s 553.69/553.88 c #decision = 354112 553.69/553.88 c #conflict = 1061 553.69/553.88 c #restart = 3 553.69/553.88 o 202119 553.69/553.89 c Solving starts ... 561.98/562.18 c solving time = 8.267s 561.98/562.18 c #decision = 357102 561.98/562.18 c #conflict = 1073 561.98/562.18 c #restart = 3 561.98/562.18 o 202118 561.98/562.19 c Solving starts ... 570.28/570.45 c solving time = 8.250s 570.28/570.45 c #decision = 360106 570.28/570.45 c #conflict = 1081 570.28/570.45 c #restart = 3 570.28/570.45 o 202117 570.28/570.46 c Solving starts ... 586.19/586.34 c solving time = 15.859s 586.19/586.34 c #decision = 363014 586.19/586.34 c #conflict = 1090 586.19/586.34 c #restart = 3 586.19/586.34 o 202116 586.19/586.35 c Solving starts ... 594.98/595.13 c solving time = 8.767s 594.98/595.13 c #decision = 365912 594.98/595.13 c #conflict = 1095 594.98/595.13 c #restart = 3 594.98/595.13 o 202115 594.98/595.14 c Solving starts ... 605.17/605.39 c solving time = 10.228s 605.17/605.39 c #decision = 368809 605.17/605.39 c #conflict = 1099 605.17/605.39 c #restart = 3 605.17/605.39 o 202114 605.27/605.40 c Solving starts ... 616.77/617.00 c solving time = 11.579s 616.77/617.00 c #decision = 374021 616.77/617.00 c #conflict = 1105 616.77/617.00 c #restart = 3 616.77/617.00 o 202108 616.87/617.01 c Solving starts ... 632.57/632.74 c solving time = 15.713s 632.57/632.74 c #decision = 377723 632.57/632.74 c #conflict = 1116 632.57/632.74 c #restart = 3 632.57/632.74 o 202107 632.57/632.75 c Solving starts ... 642.86/643.05 c solving time = 10.282s 642.86/643.05 c #decision = 380627 642.86/643.05 c #conflict = 1120 642.86/643.05 c #restart = 3 642.86/643.05 o 202106 642.86/643.06 c Solving starts ... 653.17/653.32 c solving time = 10.245s 653.17/653.32 c #decision = 383535 653.17/653.32 c #conflict = 1125 653.17/653.32 c #restart = 3 653.17/653.32 o 202105 653.27/653.44 c Solving starts ... 666.26/666.50 c solving time = 13.038s 666.26/666.50 c #decision = 386447 666.26/666.50 c #conflict = 1133 666.26/666.50 c #restart = 3 666.26/666.50 o 202104 666.37/666.51 c Solving starts ... 676.66/676.84 c solving time = 10.313s 676.66/676.84 c #decision = 391665 676.66/676.84 c #conflict = 1138 676.66/676.84 c #restart = 3 676.66/676.84 o 202101 676.66/676.85 c Solving starts ... 701.66/701.88 c solving time = 25.009s 701.66/701.88 c #decision = 397180 701.66/701.88 c #conflict = 1162 701.66/701.88 c #restart = 3 701.66/701.88 o 202063 701.66/701.89 c Solving starts ... 705.56/705.75 c solving time = 3.842s 705.56/705.75 c #decision = 402448 705.56/705.75 c #conflict = 1163 705.56/705.75 c #restart = 3 705.56/705.75 o 202059 705.56/705.76 c Solving starts ... 709.37/709.57 c solving time = 3.798s 709.37/709.57 c #decision = 405424 709.37/709.57 c #conflict = 1163 709.37/709.57 c #restart = 3 709.37/709.57 o 202058 709.37/709.58 c Solving starts ... 713.25/713.42 c solving time = 3.822s 713.25/713.42 c #decision = 408392 713.25/713.42 c #conflict = 1163 713.25/713.42 c #restart = 3 713.25/713.42 o 202057 713.25/713.43 c Solving starts ... 717.26/717.43 c solving time = 3.976s 717.26/717.43 c #decision = 411363 717.26/717.43 c #conflict = 1163 717.26/717.43 c #restart = 3 717.26/717.43 o 202056 717.26/717.44 c Solving starts ... 721.25/721.45 c solving time = 3.995s 721.25/721.45 c #decision = 416628 721.25/721.45 c #conflict = 1164 721.25/721.45 c #restart = 3 721.25/721.45 o 202054 721.25/721.46 c Solving starts ... 725.25/725.42 c solving time = 3.947s 725.25/725.42 c #decision = 421893 725.25/725.42 c #conflict = 1166 725.25/725.42 c #restart = 3 725.25/725.42 o 202052 725.25/725.44 c Solving starts ... 729.26/729.49 c solving time = 4.039s 729.26/729.49 c #decision = 424865 729.26/729.49 c #conflict = 1168 729.26/729.49 c #restart = 3 729.26/729.49 o 202051 729.36/729.50 c Solving starts ... 749.85/750.06 c solving time = 20.544s 749.85/750.06 c #decision = 428296 749.85/750.06 c #conflict = 1199 749.85/750.06 c #restart = 3 749.85/750.06 o 202050 749.85/750.07 c Solving starts ... 755.14/755.34 c solving time = 5.258s 755.14/755.34 c #decision = 431261 755.14/755.34 c #conflict = 1210 755.14/755.34 c #restart = 3 755.14/755.35 o 202049 755.14/755.36 c Solving starts ... 759.95/760.13 c solving time = 4.761s 759.95/760.13 c #decision = 434215 759.95/760.13 c #conflict = 1217 759.95/760.13 c #restart = 3 759.95/760.13 o 202048 759.95/760.14 c Solving starts ... 764.35/764.58 c solving time = 4.417s 764.35/764.58 c #decision = 437171 764.35/764.58 c #conflict = 1220 764.35/764.58 c #restart = 3 764.35/764.58 o 202047 764.35/764.59 c Solving starts ... 777.05/777.25 c solving time = 12.643s 777.05/777.25 c #decision = 440329 777.05/777.25 c #conflict = 1256 777.05/777.25 c #restart = 3 777.05/777.25 o 202046 777.05/777.26 c Solving starts ... 794.05/794.22 c solving time = 16.940s 794.05/794.22 c #decision = 443521 794.05/794.22 c #conflict = 1297 794.05/794.22 c #restart = 3 794.05/794.22 o 202045 794.05/794.23 c Solving starts ... 798.54/798.79 c solving time = 4.545s 798.54/798.79 c #decision = 446463 798.54/798.79 c #conflict = 1304 798.54/798.79 c #restart = 3 798.54/798.79 o 202044 798.64/798.80 c Solving starts ... 802.94/803.14 c solving time = 4.326s 802.94/803.14 c #decision = 449388 802.94/803.14 c #conflict = 1307 802.94/803.14 c #restart = 3 802.94/803.14 o 202043 802.94/803.15 c Solving starts ... 808.14/808.40 c solving time = 5.232s 808.14/808.40 c #decision = 452338 808.14/808.40 c #conflict = 1313 808.14/808.40 c #restart = 3 808.14/808.40 o 202042 808.24/808.41 c Solving starts ... 812.84/813.06 c solving time = 4.641s 812.84/813.06 c #decision = 455265 812.84/813.06 c #conflict = 1318 812.84/813.06 c #restart = 3 812.84/813.06 o 202041 812.84/813.08 c Solving starts ... 817.34/817.56 c solving time = 4.468s 817.34/817.56 c #decision = 458196 817.34/817.56 c #conflict = 1323 817.34/817.56 c #restart = 3 817.34/817.56 o 202040 817.34/817.57 c Solving starts ... 822.55/822.80 c solving time = 5.215s 822.55/822.80 c #decision = 461139 822.55/822.80 c #conflict = 1334 822.55/822.80 c #restart = 3 822.55/822.80 o 202039 822.65/822.81 c Solving starts ... 827.24/827.43 c solving time = 4.608s 827.24/827.43 c #decision = 464066 827.24/827.43 c #conflict = 1337 827.24/827.43 c #restart = 3 827.24/827.44 o 202038 827.24/827.45 c Solving starts ... 832.33/832.58 c solving time = 5.121s 832.33/832.58 c #decision = 467007 832.33/832.58 c #conflict = 1346 832.33/832.58 c #restart = 3 832.33/832.58 o 202037 832.33/832.59 c Solving starts ... 837.04/837.25 c solving time = 4.646s 837.04/837.25 c #decision = 469935 837.04/837.25 c #conflict = 1350 837.04/837.25 c #restart = 3 837.04/837.26 o 202036 837.04/837.27 c Solving starts ... 842.44/842.61 c solving time = 5.329s 842.44/842.61 c #decision = 472878 842.44/842.61 c #conflict = 1361 842.44/842.61 c #restart = 3 842.44/842.61 o 202035 842.44/842.62 c Solving starts ... 847.04/847.21 c solving time = 4.569s 847.04/847.21 c #decision = 478107 847.04/847.21 c #conflict = 1367 847.04/847.21 c #restart = 3 847.04/847.21 o 202033 847.04/847.22 c Solving starts ... 854.33/854.57 c solving time = 7.335s 854.33/854.57 c #decision = 481054 854.33/854.57 c #conflict = 1384 854.33/854.57 c #restart = 3 854.33/854.57 o 202032 854.33/854.58 c Solving starts ... 859.23/859.40 c solving time = 4.800s 859.23/859.40 c #decision = 483977 859.23/859.40 c #conflict = 1389 859.23/859.40 c #restart = 3 859.23/859.40 o 202031 859.23/859.41 c Solving starts ... 863.63/863.87 c solving time = 4.443s 863.63/863.87 c #decision = 486896 863.63/863.87 c #conflict = 1394 863.63/863.87 c #restart = 3 863.63/863.87 o 202030 863.63/863.88 c Solving starts ... 870.73/870.95 c solving time = 7.060s 870.73/870.95 c #decision = 489833 870.73/870.95 c #conflict = 1403 870.73/870.95 c #restart = 3 870.73/870.95 o 202029 870.73/870.97 c Solving starts ... 876.93/877.12 c solving time = 6.140s 876.93/877.12 c #decision = 492780 876.93/877.12 c #conflict = 1415 876.93/877.12 c #restart = 3 876.93/877.12 o 202028 876.93/877.13 c Solving starts ... 881.03/881.26 c solving time = 4.119s 881.03/881.26 c #decision = 495686 881.03/881.26 c #conflict = 1415 881.03/881.26 c #restart = 3 881.03/881.26 o 202027 881.03/881.28 c Solving starts ... 885.53/885.70 c solving time = 4.409s 885.53/885.70 c #decision = 498603 885.53/885.70 c #conflict = 1418 885.53/885.70 c #restart = 3 885.53/885.70 o 202026 885.53/885.71 c Solving starts ... 893.72/893.94 c solving time = 8.211s 893.72/893.94 c #decision = 501558 893.72/893.94 c #conflict = 1446 893.72/893.94 c #restart = 3 893.72/893.94 o 202025 893.72/893.95 c Solving starts ... 1283.96/1284.29 c solving time = 390.259s 1283.96/1284.29 c #decision = 508355 1283.96/1284.29 c #conflict = 2110 1283.96/1284.29 c #restart = 6 1283.96/1284.29 o 197776 1284.06/1284.30 c Solving starts ... 1293.95/1294.20 c solving time = 9.878s 1293.95/1294.20 c #decision = 513660 1293.95/1294.20 c #conflict = 2118 1293.95/1294.20 c #restart = 6 1293.95/1294.20 o 197774 1293.95/1294.21 c Solving starts ... 1302.25/1302.58 c solving time = 8.349s 1302.25/1302.58 c #decision = 516594 1302.25/1302.58 c #conflict = 2126 1302.25/1302.58 c #restart = 6 1302.25/1302.58 o 197773 1302.25/1302.59 c Solving starts ... 1307.96/1308.25 c solving time = 5.641s 1307.96/1308.25 c #decision = 519512 1307.96/1308.25 c #conflict = 2126 1307.96/1308.25 c #restart = 6 1307.96/1308.25 o 197772 1307.96/1308.26 c Solving starts ... 1316.15/1316.46 c solving time = 8.181s 1316.15/1316.46 c #decision = 524717 1316.15/1316.46 c #conflict = 2131 1316.15/1316.46 c #restart = 6 1316.15/1316.46 o 197770 1316.15/1316.47 c Solving starts ... 1324.25/1324.58 c solving time = 8.096s 1324.25/1324.58 c #decision = 527637 1324.25/1324.58 c #conflict = 2134 1324.25/1324.58 c #restart = 6 1324.25/1324.58 o 197769 1324.25/1324.59 c Solving starts ... 1332.15/1332.41 c solving time = 7.800s 1332.15/1332.41 c #decision = 532831 1332.15/1332.41 c #conflict = 2138 1332.15/1332.41 c #restart = 6 1332.15/1332.41 o 197767 1332.15/1332.42 c Solving starts ... 1343.85/1344.12 c solving time = 11.685s 1343.85/1344.12 c #decision = 535761 1343.85/1344.12 c #conflict = 2147 1343.85/1344.12 c #restart = 6 1343.85/1344.12 o 197766 1343.85/1344.13 c Solving starts ... 1351.66/1351.97 c solving time = 7.825s 1351.66/1351.97 c #decision = 538675 1351.66/1351.97 c #conflict = 2150 1351.66/1351.97 c #restart = 6 1351.66/1351.97 o 197765 1351.66/1351.98 c Solving starts ... 1361.05/1361.31 c solving time = 9.310s 1361.05/1361.31 c #decision = 541584 1361.05/1361.31 c #conflict = 2155 1361.05/1361.31 c #restart = 6 1361.05/1361.31 o 197764 1361.05/1361.32 c Solving starts ... 1368.25/1368.57 c solving time = 7.232s 1368.25/1368.57 c #decision = 544491 1368.25/1368.57 c #conflict = 2157 1368.25/1368.57 c #restart = 6 1368.25/1368.57 o 197763 1368.25/1368.58 c Solving starts ... 1383.55/1383.83 c solving time = 15.227s 1383.55/1383.83 c #decision = 547410 1383.55/1383.83 c #conflict = 2170 1383.55/1383.83 c #restart = 6 1383.55/1383.83 o 197762 1383.55/1383.84 c Solving starts ... 1390.75/1391.03 c solving time = 7.180s 1390.75/1391.03 c #decision = 550318 1390.75/1391.03 c #conflict = 2172 1390.75/1391.03 c #restart = 6 1390.75/1391.03 o 197761 1390.75/1391.05 c Solving starts ... 1403.04/1403.32 c solving time = 12.261s 1403.04/1403.32 c #decision = 553238 1403.04/1403.32 c #conflict = 2182 1403.04/1403.32 c #restart = 6 1403.04/1403.33 o 197760 1403.04/1403.33 c Solving starts ... 1411.05/1411.39 c solving time = 8.039s 1411.05/1411.39 c #decision = 556142 1411.05/1411.39 c #conflict = 2185 1411.05/1411.39 c #restart = 6 1411.05/1411.39 o 197759 1411.14/1411.40 c Solving starts ... 1422.74/1423.02 c solving time = 11.605s 1422.74/1423.02 c #decision = 559059 1422.74/1423.02 c #conflict = 2194 1422.74/1423.02 c #restart = 6 1422.74/1423.02 o 197758 1422.74/1423.03 c Solving starts ... 1439.74/1440.06 c solving time = 17.009s 1439.74/1440.06 c #decision = 562174 1439.74/1440.06 c #conflict = 2222 1439.74/1440.06 c #restart = 6 1439.74/1440.06 o 197757 1439.74/1440.07 c Solving starts ... 1456.62/1456.91 c solving time = 16.816s 1456.62/1456.91 c #decision = 565351 1456.62/1456.91 c #conflict = 2232 1456.62/1456.91 c #restart = 6 1456.62/1456.91 o 197756 1456.62/1456.92 c Solving starts ... 1468.33/1468.63 c solving time = 11.691s 1468.33/1468.63 c #decision = 568423 1468.33/1468.63 c #conflict = 2242 1468.33/1468.63 c #restart = 6 1468.33/1468.63 o 197755 1468.33/1468.64 c Solving starts ... 1474.33/1474.66 c solving time = 6.002s 1474.33/1474.66 c #decision = 571386 1474.33/1474.66 c #conflict = 2245 1474.33/1474.66 c #restart = 6 1474.33/1474.66 o 197754 1474.33/1474.67 c Solving starts ... 1481.52/1481.84 c solving time = 7.154s 1481.52/1481.84 c #decision = 574382 1481.52/1481.84 c #conflict = 2260 1481.52/1481.84 c #restart = 6 1481.52/1481.84 o 197753 1481.52/1481.85 c Solving starts ... 1487.52/1487.84 c solving time = 5.973s 1487.52/1487.84 c #decision = 577347 1487.52/1487.84 c #conflict = 2263 1487.52/1487.84 c #restart = 6 1487.52/1487.84 o 197752 1487.52/1487.85 c Solving starts ... 1494.42/1494.71 c solving time = 6.845s 1494.42/1494.71 c #decision = 580328 1494.42/1494.71 c #conflict = 2275 1494.42/1494.71 c #restart = 6 1494.42/1494.71 o 197751 1494.42/1494.72 c Solving starts ... 1500.62/1500.94 c solving time = 6.204s 1500.62/1500.94 c #decision = 583284 1500.62/1500.94 c #conflict = 2278 1500.62/1500.94 c #restart = 6 1500.62/1500.94 o 197750 1500.62/1500.95 c Solving starts ... 1507.42/1507.77 c solving time = 6.808s 1507.42/1507.77 c #decision = 586265 1507.42/1507.77 c #conflict = 2290 1507.42/1507.77 c #restart = 6 1507.42/1507.77 o 197749 1507.42/1507.78 c Solving starts ... 1513.52/1513.85 c solving time = 6.049s 1513.52/1513.85 c #decision = 589213 1513.52/1513.85 c #conflict = 2293 1513.52/1513.85 c #restart = 6 1513.52/1513.85 o 197748 1513.52/1513.86 c Solving starts ... 1523.51/1523.88 c solving time = 10.008s 1523.51/1523.88 c #decision = 592250 1523.51/1523.88 c #conflict = 2311 1523.51/1523.88 c #restart = 6 1523.51/1523.88 o 197747 1523.51/1523.90 c Solving starts ... 1529.41/1529.73 c solving time = 5.817s 1529.41/1529.73 c #decision = 595194 1529.41/1529.73 c #conflict = 2312 1529.41/1529.73 c #restart = 6 1529.41/1529.73 o 197746 1529.41/1529.74 c Solving starts ... 1535.22/1535.55 c solving time = 5.792s 1535.22/1535.55 c #decision = 598133 1535.22/1535.55 c #conflict = 2313 1535.22/1535.55 c #restart = 6 1535.22/1535.55 o 197745 1535.22/1535.56 c Solving starts ... 1541.01/1541.38 c solving time = 5.806s 1541.01/1541.38 c #decision = 601068 1541.01/1541.38 c #conflict = 2314 1541.01/1541.38 c #restart = 6 1541.01/1541.38 o 197744 1541.01/1541.39 c Solving starts ... 1549.91/1550.27 c solving time = 8.861s 1549.91/1550.27 c #decision = 606327 1549.91/1550.27 c #conflict = 2331 1549.91/1550.27 c #restart = 6 1549.91/1550.27 o 197742 1549.91/1550.28 c Solving starts ... 1555.91/1556.27 c solving time = 5.974s 1555.91/1556.27 c #decision = 609264 1555.91/1556.27 c #conflict = 2335 1555.91/1556.27 c #restart = 6 1555.91/1556.27 o 197741 1555.91/1556.28 c Solving starts ... 1632.49/1632.86 c solving time = 76.550s 1632.49/1632.86 c #decision = 613096 1632.49/1632.86 c #conflict = 2443 1632.49/1632.86 c #restart = 7 1632.49/1632.86 o 197740 1632.49/1632.87 c Solving starts ... 1639.19/1639.52 c solving time = 6.636s 1639.19/1639.52 c #decision = 616015 1639.19/1639.52 c #conflict = 2446 1639.19/1639.52 c #restart = 7 1639.19/1639.52 o 197739 1639.19/1639.53 c Solving starts ... 1646.30/1646.66 c solving time = 7.118s 1646.30/1646.66 c #decision = 618928 1646.30/1646.66 c #conflict = 2451 1646.30/1646.66 c #restart = 7 1646.30/1646.66 o 197738 1646.30/1646.68 c Solving starts ... 1653.59/1653.98 c solving time = 7.287s 1653.59/1653.98 c #decision = 621836 1653.59/1653.98 c #conflict = 2456 1653.59/1653.98 c #restart = 7 1653.59/1653.98 o 197737 1653.59/1653.99 c Solving starts ... 1660.70/1661.06 c solving time = 7.049s 1660.70/1661.06 c #decision = 627045 1660.70/1661.06 c #conflict = 2461 1660.70/1661.06 c #restart = 7 1660.70/1661.06 o 197733 1660.70/1661.07 c Solving starts ... 1667.79/1668.17 c solving time = 7.089s 1667.79/1668.17 c #decision = 629955 1667.79/1668.17 c #conflict = 2466 1667.79/1668.17 c #restart = 7 1667.79/1668.17 o 197732 1667.79/1668.19 c Solving starts ... 1677.00/1677.37 c solving time = 9.172s 1677.00/1677.37 c #decision = 632869 1677.00/1677.37 c #conflict = 2471 1677.00/1677.37 c #restart = 7 1677.00/1677.37 o 197731 1677.00/1677.38 c Solving starts ... 1683.89/1684.26 c solving time = 6.856s 1683.89/1684.26 c #decision = 638075 1683.89/1684.26 c #conflict = 2477 1683.89/1684.26 c #restart = 7 1683.89/1684.26 o 197729 1683.89/1684.27 c Solving starts ...
ERROR: no interpretation found !
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-3706299-1338139938/watcher-3706299-1338139938 -o /tmp/evaluation-result-3706299-1338139938/solver-3706299-1338139938 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706299-1338139938.opb 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.95 1.99 1.99 3/176 29398 /proc/meminfo: memFree=31402864/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=7232 CPUtime=0 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 829 0 0 0 0 0 0 0 20 0 1 0 280119514 7405568 751 33554432000 4194304 8973514 140733748519440 140733412848968 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 1808 751 411 1167 0 589 0 [startup+0.0134501 s] /proc/loadavg: 1.95 1.99 1.99 3/176 29398 /proc/meminfo: memFree=31402864/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=7232 CPUtime=0.01 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 1069 0 0 0 1 0 0 0 20 0 1 0 280119514 7405568 991 33554432000 4194304 8973514 140733748519440 140733412848968 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 1808 991 411 1167 0 589 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7232 [startup+0.100261 s] /proc/loadavg: 1.95 1.99 1.99 3/176 29398 /proc/meminfo: memFree=31402864/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=12352 CPUtime=0.09 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 280119514 12648448 2278 33554432000 4194304 8973514 140733748519440 140733412848968 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 3088 2278 418 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.30026 s] /proc/loadavg: 1.95 1.99 1.99 3/176 29398 /proc/meminfo: memFree=31402864/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=25664 CPUtime=0.29 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 5608 0 0 0 29 0 0 0 20 0 1 0 280119514 26279936 5530 33554432000 4194304 8973514 140733748519440 140733412848968 4212523 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 6416 5537 418 1167 0 5197 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25664 [startup+0.700263 s] /proc/loadavg: 1.95 1.99 1.99 3/176 29398 /proc/meminfo: memFree=31402864/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=47168 CPUtime=0.69 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 11060 0 0 0 67 2 0 0 20 0 1 0 280119514 48300032 10982 33554432000 4194304 8973514 140733748519440 140733748518704 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 11792 10982 418 1167 0 10573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47168 [startup+1.50029 s] /proc/loadavg: 1.95 1.99 1.99 3/177 29399 /proc/meminfo: memFree=31345692/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=110656 CPUtime=1.49 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 26933 0 0 0 144 5 0 0 20 0 1 0 280119514 113311744 26855 33554432000 4194304 8973514 140733748519440 140733748518704 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 27664 26855 418 1167 0 26445 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 110656 [startup+3.10022 s] /proc/loadavg: 1.95 1.99 1.99 3/177 29399 /proc/meminfo: memFree=31267076/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=140352 CPUtime=3.09 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 34378 0 0 0 302 7 0 0 20 0 1 0 280119514 143720448 34300 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 35088 34300 433 1167 0 33869 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 140352 [startup+6.30023 s] /proc/loadavg: 1.95 1.99 1.99 3/177 29399 /proc/meminfo: memFree=31266704/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=140352 CPUtime=6.29 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 34378 0 0 0 621 8 0 0 20 0 1 0 280119514 143720448 34300 33554432000 4194304 8973514 140733748519440 140733748518704 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 35088 34300 433 1167 0 33869 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 140352 [startup+12.7003 s] /proc/loadavg: 1.96 1.99 1.99 3/177 29399 /proc/meminfo: memFree=31266340/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=140352 CPUtime=12.69 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 34402 0 0 0 1259 10 0 0 20 0 1 0 280119514 143720448 34324 33554432000 4194304 8973514 140733748519440 140733748518936 4204350 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 35088 34324 457 1167 0 33869 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 140352 [startup+25.5003 s] /proc/loadavg: 1.97 1.99 1.99 3/177 29399 /proc/meminfo: memFree=31266844/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=140352 CPUtime=25.48 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 34402 0 0 0 2535 13 0 0 20 0 1 0 280119514 143720448 34324 33554432000 4194304 8973514 140733748519440 140733748518704 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 35088 34324 457 1167 0 33869 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 140352 [startup+51.1003 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29399 /proc/meminfo: memFree=31266556/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=140352 CPUtime=51.08 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 34406 0 0 0 5090 18 0 0 20 0 1 0 280119514 143720448 34329 33554432000 4194304 8973514 140733748519440 140733748518704 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 35088 34329 457 1167 0 33869 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 140352 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.00 3/177 29399 /proc/meminfo: memFree=31253952/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=152640 CPUtime=102.26 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 37493 0 0 0 10196 30 0 0 20 0 1 0 280119514 156303360 37401 33554432000 4194304 8973514 140733748519440 140733748518704 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 38160 37401 457 1167 0 36941 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 152640 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 29399 /proc/meminfo: memFree=31244752/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=161856 CPUtime=162.25 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 39801 0 0 0 16173 52 0 0 20 0 1 0 280119514 165740544 39705 33554432000 4194304 8973514 140733748519440 140733748517440 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 40464 39705 457 1167 0 39245 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 161856 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29399 /proc/meminfo: memFree=31220572/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=186432 CPUtime=222.24 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 45945 0 0 0 22150 74 0 0 20 0 1 0 280119514 190906368 45849 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 46608 45849 457 1167 0 45389 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 186432 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29590 /proc/meminfo: memFree=31072040/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=211008 CPUtime=282.22 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 52096 0 0 0 28122 100 0 0 20 0 1 0 280119514 216072192 51993 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 52752 51993 457 1167 0 51533 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 211008 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29590 /proc/meminfo: memFree=31043416/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=225344 CPUtime=342.22 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 55680 0 0 0 34092 130 0 0 20 0 1 0 280119514 230752256 55577 33554432000 4194304 8973514 140733748519440 140733748518704 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 56336 55577 457 1167 0 55117 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 225344 [startup+402.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 29590 /proc/meminfo: memFree=31019624/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=239680 CPUtime=402.21 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 59264 0 0 0 40067 154 0 0 20 0 1 0 280119514 245432320 59161 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 59920 59161 457 1167 0 58701 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 239680 [startup+462.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 29590 /proc/meminfo: memFree=30997180/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=252992 CPUtime=462.2 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 62592 0 0 0 46046 174 0 0 20 0 1 0 280119514 259063808 62489 33554432000 4194304 8973514 140733748519440 140733748517376 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 63248 62489 457 1167 0 62029 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 252992 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29593 /proc/meminfo: memFree=30960716/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=262208 CPUtime=522.19 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 64896 0 0 0 52024 195 0 0 20 0 1 0 280119514 268500992 64793 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 65552 64793 457 1167 0 64333 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 262208 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29593 /proc/meminfo: memFree=30924824/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=289856 CPUtime=582.17 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 71817 0 0 0 57991 226 0 0 20 0 1 0 280119514 296812544 71705 33554432000 4194304 8973514 140733748519440 140733748518704 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 72464 71705 457 1167 0 71245 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 289856 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29594 /proc/meminfo: memFree=30807604/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=340032 CPUtime=822.13 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 84361 0 0 0 81875 338 0 0 20 0 1 0 280119514 348192768 84249 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 85008 84249 457 1167 0 83789 0 Current children cumulated CPU time (s) 822.13 Current children cumulated vsize (KiB) 340032 [startup+882.3 s] /proc/loadavg: 2.05 2.01 2.00 3/176 29594 /proc/meminfo: memFree=30755408/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=370752 CPUtime=882.13 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 92041 0 0 0 87841 372 0 0 20 0 1 0 280119514 379650048 91929 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 92688 91929 457 1167 0 91469 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 370752 [startup+942.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 29596 /proc/meminfo: memFree=30734596/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=384064 CPUtime=942.12 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 95369 0 0 0 93806 406 0 0 20 0 1 0 280119514 393281536 95257 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 96016 95257 457 1167 0 94797 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 384064 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29596 /proc/meminfo: memFree=30734472/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=384064 CPUtime=1002.11 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 95382 0 0 0 99775 436 0 0 20 0 1 0 280119514 393281536 95257 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 96016 95257 457 1167 0 94797 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 384064 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29596 /proc/meminfo: memFree=30733480/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=384064 CPUtime=1062.09 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 95382 0 0 0 105744 465 0 0 20 0 1 0 280119514 393281536 95257 33554432000 4194304 8973514 140733748519440 140733748518936 4209344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 96016 95257 457 1167 0 94797 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 384064 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29599 /proc/meminfo: memFree=30723056/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=384064 CPUtime=1122.08 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 95382 0 0 0 111709 499 0 0 20 0 1 0 280119514 393281536 95257 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 96016 95257 457 1167 0 94797 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 384064 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29599 /proc/meminfo: memFree=30713636/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=384064 CPUtime=1182.07 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 95382 0 0 0 117676 531 0 0 20 0 1 0 280119514 393281536 95257 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 96016 95257 457 1167 0 94797 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 384064 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29600 /proc/meminfo: memFree=30701112/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=385088 CPUtime=1242.07 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 95638 0 0 0 123648 559 0 0 20 0 1 0 280119514 394330112 95513 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 96272 95513 457 1167 0 95053 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 385088 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29600 /proc/meminfo: memFree=30683628/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=391232 CPUtime=1302.06 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 97174 0 0 0 129617 589 0 0 20 0 1 0 280119514 400621568 97049 33554432000 4194304 8973514 140733748519440 140733748517440 4208830 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 97808 97049 457 1167 0 96589 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 391232 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29600 /proc/meminfo: memFree=30655604/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=406592 CPUtime=1362.05 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 101014 0 0 0 135589 616 0 0 20 0 1 0 280119514 416350208 100889 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 101648 100889 457 1167 0 100429 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 406592 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29600 /proc/meminfo: memFree=30631548/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=419904 CPUtime=1422.04 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 104342 0 0 0 141562 642 0 0 20 0 1 0 280119514 429981696 104217 33554432000 4194304 8973514 140733748519440 140733748518704 4209187 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 104976 104217 457 1167 0 103757 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 419904 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29600 /proc/meminfo: memFree=30615948/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=428096 CPUtime=1482.02 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 106399 0 0 0 147528 674 0 0 20 0 1 0 280119514 438370304 106265 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 107024 106265 457 1167 0 105805 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 428096 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29601 /proc/meminfo: memFree=30606400/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=435264 CPUtime=1542.02 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 108191 0 0 0 153492 710 0 0 20 0 1 0 280119514 445710336 108057 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 108816 108057 457 1167 0 107597 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 435264 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 29601 /proc/meminfo: memFree=30575772/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=456768 CPUtime=1602 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 113567 0 0 0 159458 742 0 0 20 0 1 0 280119514 467730432 113433 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 114192 113433 457 1167 0 112973 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 456768 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 29601 /proc/meminfo: memFree=30558096/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=465984 CPUtime=1662 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 115871 0 0 0 165421 779 0 0 20 0 1 0 280119514 477167616 115737 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 116496 115737 457 1167 0 115277 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 465984 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29604 /proc/meminfo: memFree=30543820/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=475200 CPUtime=1721.99 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 118175 0 0 0 171385 814 0 0 20 0 1 0 280119514 486604800 118041 33554432000 4194304 8973514 140733748519440 140733748518936 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 118800 118041 457 1167 0 117581 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 475200 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29627 /proc/meminfo: memFree=30531296/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=476224 CPUtime=1781.98 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 118431 0 0 0 177351 847 0 0 20 0 1 0 280119514 487653376 118297 33554432000 4194304 8973514 140733748519440 140733748518936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 119056 118297 457 1167 0 117837 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 476224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 4/177 29627 /proc/meminfo: memFree=30531428/32873844 swapFree=7112/7112 [pid=29398] ppid=29396 vsize=476224 CPUtime=1800.08 cores=0,2,4,6 /proc/29398/stat : 29398 (toysat) R 29396 29398 27148 0 -1 4202496 118431 0 0 0 179151 857 0 0 20 0 1 0 280119514 487653376 118297 33554432000 4194304 8973514 140733748519440 140733748518704 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29398/statm: 119056 118297 457 1167 0 117837 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 476224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.1 CPU user time (s): 1791.52 CPU system time (s): 8.5777 CPU usage (%): 99.9825 Max. virtual memory (cumulated for all children) (KiB): 476224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.52 system time used= 8.5777 maximum resident set size= 473188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 118431 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= 64 involuntary context switches= 2173 runsolver used 3.84142 second user time and 8.76267 second system time The end
Begin job on node119 at 2012-05-27 19:32:18 IDJOB=3706299 IDBENCH=72202 IDSOLVER=2285 FILE ID=node119/3706299-1338139938 RUNJOBID= node119-1338113000-27164 PBS_JOBID= 14624472 Free space on /tmp= 71600 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libpango-perl.cudf.paranoid.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706299-1338139938/watcher-3706299-1338139938 -o /tmp/evaluation-result-3706299-1338139938/solver-3706299-1338139938 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706299-1338139938.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b7b0ef2e50d23764d88cd828dc25ccbd RANDOM SEED=1752880326 node119.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.943 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.88 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.943 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.943 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.93 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.943 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.943 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.93 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.943 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.92 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.943 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.90 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.943 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: 31403508 kB Buffers: 303420 kB Cached: 337884 kB SwapCached: 1844 kB Active: 541832 kB Inactive: 131428 kB Active(anon): 32068 kB Inactive(anon): 2068 kB Active(file): 509764 kB Inactive(file): 129360 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100196 kB Dirty: 10904 kB Writeback: 0 kB AnonPages: 37708 kB Mapped: 13556 kB Shmem: 8 kB Slab: 657424 kB SReclaimable: 99656 kB SUnreclaim: 557768 kB KernelStack: 1472 kB PageTables: 3736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 150736 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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= 71592 MiB End job on node119 at 2012-05-27 20:02:21