Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1791.32 | 1791.79 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-mercurial-common.cudf.trendy.opb |
MD5SUM | 6bb48d2b0ff46f6e7b073e580100f5b4 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5163364599776 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
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 | 21105 |
Total number of constraints | 100043 |
Number of constraints which are clauses | 98478 |
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 | 8588 |
Biggest coefficient in the objective function | 79285326336 |
Number of bits for the biggest coefficient in the objective function | 37 |
Sum of the numbers in the objective function | 234763814370998 |
Number of bits of the sum of numbers in the objective function | 48 |
Biggest number in a constraint | 79285326336 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 234763814370998 |
Number of bits of the biggest sum of numbers | 48 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2704809-1278580139.opb> 1.49/1.59 c original problem has 21105 variables (21105 bin, 0 int, 0 impl, 0 cont) and 100043 constraints 1.49/1.59 c problem read 1.49/1.59 c presolving settings loaded 1.99/2.10 c presolving: 2.49/2.56 c (round 1) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130376 impls, 1557 clqs 2.59/2.64 c (round 2) 2421 del vars, 5020 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161785 impls, 1557 clqs 2.59/2.69 c (round 3) 2496 del vars, 5146 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161789 impls, 1557 clqs 2.69/2.78 c (round 4) 5421 del vars, 11012 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161789 impls, 1557 clqs 2.79/2.82 c (round 5) 5443 del vars, 11066 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161789 impls, 1557 clqs 2.79/2.86 c (round 6) 5454 del vars, 11082 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161789 impls, 1557 clqs 3.49/3.53 c (round 7) 5461 del vars, 13390 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 161789 impls, 1557 clqs 3.69/3.70 c (round 8) 5464 del vars, 13393 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 161789 impls, 1557 clqs 3.79/3.83 c (round 9) 5464 del vars, 13394 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 161789 impls, 1557 clqs 14.19/14.27 c (round 10) 5515 del vars, 13394 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 369927 impls, 1557 clqs 14.29/14.38 c (round 11) 5515 del vars, 13445 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 369927 impls, 1557 clqs 14.48/14.51 c (round 12) 5515 del vars, 13495 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 369927 impls, 1557 clqs 23.78/23.81 c (round 13) 5565 del vars, 13495 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 464405 impls, 1556 clqs 23.88/23.92 c (round 14) 5565 del vars, 13547 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 464405 impls, 1556 clqs 23.98/24.04 c (round 15) 5565 del vars, 13597 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 464405 impls, 1556 clqs 27.98/28.02 c (26.4s) probing: 1000/15641 (6.4%) - 0 fixings, 111 aggregations, 81323 implications, 0 bound changes 36.38/36.46 c (round 16) 5615 del vars, 13597 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 489057 impls, 1556 clqs 36.48/36.57 c (round 17) 5615 del vars, 13644 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 489057 impls, 1556 clqs 36.59/36.69 c (round 18) 5615 del vars, 13697 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 489057 impls, 1556 clqs 42.28/42.31 c (round 19) 5665 del vars, 13697 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 497639 impls, 1555 clqs 42.38/42.42 c (round 20) 5665 del vars, 13747 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 497639 impls, 1555 clqs 42.48/42.54 c (round 21) 5665 del vars, 13798 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 497639 impls, 1555 clqs 47.88/47.95 c (round 22) 5715 del vars, 13798 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 517281 impls, 1555 clqs 47.98/48.06 c (round 23) 5715 del vars, 13855 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 517281 impls, 1555 clqs 48.08/48.18 c (round 24) 5715 del vars, 13901 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 517281 impls, 1555 clqs 48.88/48.97 c (47.4s) probing: 2000/15641 (12.8%) - 3 fixings, 249 aggregations, 99201 implications, 0 bound changes 59.29/59.32 c (round 25) 5765 del vars, 13901 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 561499 impls, 1555 clqs 59.38/59.43 c (round 26) 5765 del vars, 13949 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 561499 impls, 1555 clqs 59.48/59.56 c (round 27) 5765 del vars, 14004 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 561499 impls, 1555 clqs 66.07/66.17 c (round 28) 5815 del vars, 14004 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 570715 impls, 1555 clqs 66.17/66.27 c (round 29) 5815 del vars, 14055 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 570715 impls, 1555 clqs 66.27/66.39 c (round 30) 5815 del vars, 14103 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 570715 impls, 1555 clqs 67.77/67.84 c (66.2s) probing: 3000/15641 (19.2%) - 3 fixings, 351 aggregations, 125108 implications, 0 bound changes 74.47/74.55 c (round 31) 5865 del vars, 14103 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 587609 impls, 1554 clqs 74.57/74.65 c (round 32) 5865 del vars, 14151 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 587609 impls, 1554 clqs 74.68/74.78 c (round 33) 5865 del vars, 14213 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 587609 impls, 1554 clqs 82.67/82.70 c (round 34) 5915 del vars, 14213 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 596811 impls, 1554 clqs 82.77/82.80 c (round 35) 5915 del vars, 14262 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 596811 impls, 1554 clqs 82.87/82.93 c (round 36) 5915 del vars, 14314 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 596811 impls, 1554 clqs 86.17/86.22 c (84.6s) probing: 4000/15641 (25.6%) - 4 fixings, 477 aggregations, 138168 implications, 0 bound changes 87.67/87.73 c (round 37) 5965 del vars, 14314 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 601547 impls, 1553 clqs 87.67/87.79 c (round 38) 5965 del vars, 14377 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 601547 impls, 1553 clqs 87.87/87.91 c (round 39) 5965 del vars, 14423 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 601547 impls, 1553 clqs 94.97/95.07 c (round 40) 6015 del vars, 14423 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 609021 impls, 1552 clqs 95.07/95.18 c (round 41) 6015 del vars, 14473 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 609021 impls, 1552 clqs 95.27/95.30 c (round 42) 6015 del vars, 14521 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 609021 impls, 1552 clqs 103.86/103.90 c (102.3s) probing: 5000/15641 (32.0%) - 4 fixings, 596 aggregations, 147211 implications, 0 bound changes 104.16/104.20 c (round 43) 6065 del vars, 14521 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 618625 impls, 1552 clqs 104.26/104.31 c (round 44) 6065 del vars, 14568 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 618625 impls, 1552 clqs 104.37/104.43 c (round 45) 6065 del vars, 14618 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 618625 impls, 1552 clqs 112.56/112.69 c (round 46) 6115 del vars, 14618 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 631227 impls, 1551 clqs 112.66/112.80 c (round 47) 6115 del vars, 14670 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 631227 impls, 1551 clqs 112.86/112.92 c (round 48) 6115 del vars, 14718 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 631227 impls, 1551 clqs 119.66/119.74 c (round 49) 6165 del vars, 14721 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 638571 impls, 1551 clqs 119.76/119.85 c (round 50) 6165 del vars, 14771 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 638571 impls, 1551 clqs 119.86/119.97 c (round 51) 6165 del vars, 14826 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 638571 impls, 1551 clqs 121.46/121.57 c (120.0s) probing: 6000/15641 (38.4%) - 6 fixings, 701 aggregations, 157120 implications, 0 bound changes 125.56/125.60 c (round 52) 6215 del vars, 14826 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 643195 impls, 1551 clqs 125.66/125.70 c (round 53) 6215 del vars, 14873 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 643195 impls, 1551 clqs 125.76/125.83 c (round 54) 6215 del vars, 14924 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 643195 impls, 1551 clqs 130.26/130.36 c (round 55) 6265 del vars, 14924 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 648315 impls, 1551 clqs 130.36/130.47 c (round 56) 6265 del vars, 14973 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 648315 impls, 1551 clqs 130.46/130.60 c (round 57) 6265 del vars, 15023 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 648315 impls, 1551 clqs 138.56/138.69 c (137.1s) probing: 7000/15641 (44.8%) - 6 fixings, 839 aggregations, 163894 implications, 0 bound changes 139.66/139.71 c (round 58) 6315 del vars, 15023 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 654631 impls, 1551 clqs 139.75/139.81 c (round 59) 6315 del vars, 15071 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 654631 impls, 1551 clqs 139.85/139.94 c (round 60) 6315 del vars, 15122 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 654631 impls, 1551 clqs 149.46/149.56 c (round 61) 6365 del vars, 15122 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 665927 impls, 1551 clqs 149.56/149.67 c (round 62) 6365 del vars, 15169 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 665927 impls, 1551 clqs 149.65/149.79 c (round 63) 6365 del vars, 15225 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 665927 impls, 1551 clqs 155.65/155.76 c (154.2s) probing: 8000/15641 (51.1%) - 7 fixings, 920 aggregations, 173096 implications, 0 bound changes 160.84/160.92 c (round 64) 6416 del vars, 15225 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 674315 impls, 1551 clqs 160.94/161.03 c (round 65) 6416 del vars, 15276 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 674315 impls, 1551 clqs 161.04/161.16 c (round 66) 6416 del vars, 15326 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 674315 impls, 1551 clqs 170.04/170.14 c (round 67) 6466 del vars, 15326 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 685925 impls, 1551 clqs 170.14/170.25 c (round 68) 6466 del vars, 15374 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 685925 impls, 1551 clqs 170.24/170.38 c (round 69) 6466 del vars, 15423 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 685925 impls, 1551 clqs 172.55/172.63 c (171.0s) probing: 9000/15641 (57.5%) - 7 fixings, 1008 aggregations, 181223 implications, 0 bound changes 178.24/178.37 c (round 70) 6516 del vars, 15423 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 695509 impls, 1551 clqs 178.34/178.48 c (round 71) 6516 del vars, 15473 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 695509 impls, 1551 clqs 178.54/178.60 c (round 72) 6516 del vars, 15523 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 695509 impls, 1551 clqs 184.94/185.07 c (round 73) 6566 del vars, 15523 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 702827 impls, 1551 clqs 185.04/185.18 c (round 74) 6566 del vars, 15573 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 702827 impls, 1551 clqs 185.24/185.30 c (round 75) 6566 del vars, 15623 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 702827 impls, 1551 clqs 188.94/189.10 c (187.5s) probing: 10000/15641 (63.9%) - 8 fixings, 1128 aggregations, 191529 implications, 0 bound changes 190.84/190.95 c (round 76) 6616 del vars, 15623 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 722919 impls, 1551 clqs 190.94/191.07 c (round 77) 6616 del vars, 15675 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 722919 impls, 1551 clqs 191.04/191.20 c (round 78) 6616 del vars, 15725 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 722919 impls, 1551 clqs 197.03/197.12 c (round 79) 6666 del vars, 15725 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 736011 impls, 1551 clqs 197.13/197.24 c (round 80) 6666 del vars, 15772 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 736011 impls, 1551 clqs 197.23/197.36 c (round 81) 6666 del vars, 15824 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 736011 impls, 1551 clqs 203.13/203.24 c (round 82) 6716 del vars, 15824 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 743929 impls, 1551 clqs 203.23/203.35 c (round 83) 6716 del vars, 15871 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 743929 impls, 1551 clqs 203.34/203.48 c (round 84) 6716 del vars, 15922 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 743929 impls, 1551 clqs 205.64/205.74 c (204.1s) probing: 11000/15641 (70.3%) - 9 fixings, 1287 aggregations, 212402 implications, 0 bound changes 205.93/206.02 c (round 85) 6766 del vars, 15922 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 744231 impls, 1551 clqs 206.04/206.14 c (round 86) 6766 del vars, 15971 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 744231 impls, 1551 clqs 206.14/206.27 c (round 87) 6766 del vars, 16021 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 744231 impls, 1551 clqs 211.44/211.58 c (round 88) 6816 del vars, 16021 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 764579 impls, 1551 clqs 211.54/211.69 c (round 89) 6816 del vars, 16071 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 764579 impls, 1551 clqs 211.74/211.82 c (round 90) 6816 del vars, 16121 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 764579 impls, 1551 clqs 217.04/217.19 c (round 91) 6866 del vars, 16121 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 784727 impls, 1551 clqs 217.24/217.30 c (round 92) 6866 del vars, 16174 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 784727 impls, 1551 clqs 217.34/217.43 c (round 93) 6866 del vars, 16223 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 784727 impls, 1551 clqs 222.54/222.66 c (221.1s) probing: 12000/15641 (76.7%) - 10 fixings, 1437 aggregations, 242756 implications, 0 bound changes 222.84/222.96 c (round 94) 6916 del vars, 16223 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 799455 impls, 1551 clqs 223.04/223.11 c (round 95) 6916 del vars, 16274 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 799455 impls, 1551 clqs 223.14/223.24 c (round 96) 6916 del vars, 16323 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 799455 impls, 1551 clqs 228.53/228.68 c (round 97) 6966 del vars, 16323 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 819627 impls, 1551 clqs 228.64/228.80 c (round 98) 6966 del vars, 16373 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 819627 impls, 1551 clqs 228.83/228.93 c (round 99) 6966 del vars, 16423 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 819627 impls, 1551 clqs 232.53/232.62 c (round 100) 7016 del vars, 16423 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 837127 impls, 1551 clqs 232.63/232.76 c (round 101) 7016 del vars, 16474 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 837127 impls, 1551 clqs 232.73/232.89 c (round 102) 7016 del vars, 16524 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 837127 impls, 1551 clqs 239.33/239.42 c (237.8s) probing: 13000/15641 (83.1%) - 12 fixings, 1574 aggregations, 278038 implications, 0 bound changes 241.03/241.12 c (round 103) 7066 del vars, 16524 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 893915 impls, 1551 clqs 241.13/241.23 c (round 104) 7066 del vars, 16581 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 893915 impls, 1551 clqs 241.23/241.36 c (round 105) 7066 del vars, 16628 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 893915 impls, 1551 clqs 255.13/255.25 c (round 106) 7116 del vars, 16628 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 1038975 impls, 1551 clqs 255.22/255.37 c (round 107) 7116 del vars, 16677 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 1038975 impls, 1551 clqs 255.42/255.50 c (round 108) 7116 del vars, 16728 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 1038975 impls, 1551 clqs 258.52/258.62 c (257.0s) probing: 14000/15641 (89.5%) - 14 fixings, 1639 aggregations, 396525 implications, 0 bound changes 278.02/278.19 c (276.6s) probing: 15000/15641 (95.9%) - 19 fixings, 1657 aggregations, 523677 implications, 0 bound changes 288.92/289.06 c (287.5s) probing: 15620/15641 (99.9%) - 21 fixings, 1658 aggregations, 558690 implications, 0 bound changes 288.92/289.06 c (287.5s) probing aborted: 100/100 successive totally useless probings 288.92/289.06 c (round 109) 7143 del vars, 16728 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 1366169 impls, 1551 clqs 289.02/289.19 c (round 110) 7145 del vars, 16762 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86651 upgd conss, 1366173 impls, 1551 clqs 289.31/289.41 c (287.8s) probing: 15630/15641 (99.9%) - 21 fixings, 1658 aggregations, 558690 implications, 0 bound changes 289.31/289.41 c (287.8s) probing aborted: 100/100 successive totally useless probings 289.31/289.42 c presolving (111 rounds): 289.31/289.42 c 7145 deleted vars, 16764 deleted constraints, 47 tightened bounds, 0 added holes, 1 changed sides, 10 changed coefficients 289.31/289.42 c 1366173 implications, 1551 cliques 289.31/289.42 c presolved problem has 13960 variables (13960 bin, 0 int, 0 impl, 0 cont) and 83279 constraints 289.31/289.42 c 23760 constraints of type <setppc> 289.31/289.42 c 59519 constraints of type <logicor> 289.31/289.42 c transformed objective value is always integral (scale: 1) 289.31/289.42 c Presolving Time: 287.47 289.31/289.42 c - non default parameters ---------------------------------------------------------------------- 289.31/289.42 c # SCIP version 1.2.1.3 289.31/289.42 c 289.31/289.42 c # frequency for displaying node information lines 289.31/289.42 c # [type: int, range: [-1,2147483647], default: 100] 289.31/289.42 c display/freq = 10000 289.31/289.42 c 289.31/289.42 c # maximal time in seconds to run 289.31/289.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 289.31/289.42 c limits/time = 1788.41 289.31/289.42 c 289.31/289.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 289.31/289.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 289.31/289.42 c limits/memory = 1620 289.31/289.42 c 289.31/289.42 c # default clock type (1: CPU user seconds, 2: wall clock time) 289.31/289.42 c # [type: int, range: [1,2], default: 1] 289.31/289.42 c timing/clocktype = 2 289.31/289.42 c 289.31/289.42 c # should presolving try to simplify inequalities 289.31/289.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 289.31/289.42 c constraints/linear/simplifyinequalities = TRUE 289.31/289.42 c 289.31/289.42 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 289.31/289.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 289.31/289.42 c constraints/indicator/addCouplingCons = TRUE 289.31/289.42 c 289.31/289.42 c # should presolving try to simplify knapsacks 289.31/289.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 289.31/289.42 c constraints/knapsack/simplifyinequalities = TRUE 289.31/289.42 c 289.31/289.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 289.31/289.42 c # [type: int, range: [-1,2147483647], default: -1] 289.31/289.42 c separating/rapidlearning/freq = 0 289.31/289.42 c 289.31/289.42 c ----------------------------------------------------------------------------------------------- 289.31/289.42 c start solving 289.31/289.44 c 324.31/324.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 324.31/324.45 c 323s| 1 | 2 | 14222 | - | 189M| 0 | - | 13k| 83k| 13k| 81k| 0 | 0 | 0 | 5.550896e+11 | -- | Inf 1790.72/1791.23 c 1790.72/1791.23 c SCIP Status : solving was interrupted [time limit reached] 1790.72/1791.23 c Solving Time (sec) : 1789.64 1790.72/1791.23 c Solving Nodes : 96 1790.72/1791.23 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1790.72/1791.23 c Dual Bound : +5.55089562435000e+11 1790.72/1791.23 c Gap : infinite 1790.72/1791.23 s UNKNOWN 1790.72/1791.23 c SCIP Status : solving was interrupted [time limit reached] 1790.72/1791.23 c Solving Time : 1789.64 1790.72/1791.23 c Original Problem : 1790.72/1791.23 c Problem name : HOME/instance-2704809-1278580139.opb 1790.72/1791.23 c Variables : 21105 (21105 binary, 0 integer, 0 implicit integer, 0 continuous) 1790.72/1791.23 c Constraints : 100043 initial, 100043 maximal 1790.72/1791.23 c Presolved Problem : 1790.72/1791.23 c Problem name : t_HOME/instance-2704809-1278580139.opb 1790.72/1791.23 c Variables : 13960 (13960 binary, 0 integer, 0 implicit integer, 0 continuous) 1790.72/1791.23 c Constraints : 83279 initial, 83280 maximal 1790.72/1791.23 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.72/1791.23 c trivial : 0.31 0 0 0 0 0 0 0 0 1790.72/1791.23 c dualfix : 0.35 4143 0 0 0 0 0 0 0 1790.72/1791.23 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.72/1791.23 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.72/1791.23 c implics : 0.71 0 30 0 0 0 0 0 0 1790.72/1791.23 c probing : 273.18 21 1658 0 0 0 0 0 0 1790.72/1791.23 c setppc : 3.01 0 0 0 0 0 3352 0 0 1790.72/1791.23 c linear : 1.06 47 1246 0 47 0 13392 1 10 1790.72/1791.23 c logicor : 8.45 0 0 0 0 0 20 0 0 1790.72/1791.23 c root node : - 0 - - 0 - - - - 1790.72/1791.23 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.72/1791.23 c integral : 0 0 0 0 0 0 0 0 0 0 1790.72/1791.23 c setppc : 23760 0 47302 0 95 0 2117 0 0 0 1790.72/1791.23 c logicor : 59519+ 0 39880 0 95 22 3034 0 0 0 1790.72/1791.23 c countsols : 0 0 0 0 95 0 0 0 0 0 1790.72/1791.23 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.72/1791.23 c integral : 0.00 0.00 0.00 0.00 0.00 1790.72/1791.23 c setppc : 198.51 0.00 196.89 0.00 1.62 1790.72/1791.23 c logicor : 11.91 0.00 6.64 0.00 5.27 1790.72/1791.23 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.72/1791.23 c Propagators : Time Calls Cutoffs DomReds 1790.72/1791.23 c vbounds : 0.05 2 0 0 1790.72/1791.23 c rootredcost : 0.03 0 0 0 1790.72/1791.23 c pseudoobj : 0.32 234 0 0 1790.72/1791.23 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.72/1791.23 c propagation : 0.00 1 1 2 3.5 0 0.0 - 1790.72/1791.23 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1790.72/1791.23 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.72/1791.23 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.72/1791.23 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.72/1791.23 c applied globally : - - - 1 3.0 - - - 1790.72/1791.23 c applied locally : - - - 0 0.0 - - - 1790.72/1791.23 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.72/1791.23 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1790.72/1791.23 c redcost : 0.00 0 0 0 0 0 1790.72/1791.23 c impliedbounds : 0.00 0 0 0 0 0 1790.72/1791.23 c intobj : 0.00 0 0 0 0 0 1790.72/1791.23 c cgmip : 0.00 0 0 0 0 0 1790.72/1791.23 c gomory : 0.00 0 0 0 0 0 1790.72/1791.23 c strongcg : 0.00 0 0 0 0 0 1790.72/1791.23 c cmir : 0.00 0 0 0 0 0 1790.72/1791.23 c flowcover : 0.00 0 0 0 0 0 1790.72/1791.23 c clique : 0.00 0 0 0 0 0 1790.72/1791.23 c zerohalf : 0.00 0 0 0 0 0 1790.72/1791.23 c mcf : 0.00 0 0 0 0 0 1790.72/1791.23 c rapidlearning : 0.00 0 0 0 0 0 1790.72/1791.23 c Pricers : Time Calls Vars 1790.72/1791.23 c problem variables: 0.00 0 0 1790.72/1791.23 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.72/1791.23 c relpscost : 0.00 0 0 0 0 0 0 1790.72/1791.23 c pscost : 0.00 0 0 0 0 0 0 1790.72/1791.23 c inference : 0.68 95 0 0 0 0 190 1790.72/1791.23 c mostinf : 0.00 0 0 0 0 0 0 1790.72/1791.23 c leastinf : 0.00 0 0 0 0 0 0 1790.72/1791.23 c fullstrong : 0.00 0 0 0 0 0 0 1790.72/1791.23 c allfullstrong : 0.00 0 0 0 0 0 0 1790.72/1791.23 c random : 0.00 0 0 0 0 0 0 1790.72/1791.23 c Primal Heuristics : Time Calls Found 1790.72/1791.23 c LP solutions : 0.00 - 0 1790.72/1791.23 c pseudo solutions : 0.00 - 0 1790.72/1791.23 c oneopt : 0.00 0 0 1790.72/1791.23 c intshifting : 0.00 0 0 1790.72/1791.23 c coefdiving : 0.00 0 0 1790.72/1791.23 c pscostdiving : 0.00 0 0 1790.72/1791.23 c fracdiving : 0.00 0 0 1790.72/1791.23 c veclendiving : 0.00 0 0 1790.72/1791.23 c objpscostdiving : 0.00 0 0 1790.72/1791.23 c rootsoldiving : 0.00 0 0 1790.72/1791.23 c linesearchdiving : 0.00 0 0 1790.72/1791.23 c guideddiving : 0.00 0 0 1790.72/1791.23 c crossover : 0.00 0 0 1790.72/1791.23 c trivial : 0.08 2 0 1790.72/1791.23 c simplerounding : 0.00 0 0 1790.72/1791.23 c zirounding : 0.00 0 0 1790.72/1791.23 c rounding : 0.00 0 0 1790.72/1791.23 c shifting : 0.00 0 0 1790.72/1791.23 c twoopt : 0.00 0 0 1790.72/1791.23 c fixandinfer : 0.00 0 0 1790.72/1791.23 c feaspump : 0.00 0 0 1790.72/1791.23 c intdiving : 0.00 0 0 1790.72/1791.23 c actconsdiving : 0.00 0 0 1790.72/1791.23 c octane : 0.00 0 0 1790.72/1791.23 c rens : 0.00 0 0 1790.72/1791.23 c rins : 0.00 0 0 1790.72/1791.23 c localbranching : 0.00 0 0 1790.72/1791.23 c mutation : 0.00 0 0 1790.72/1791.23 c dins : 0.00 0 0 1790.72/1791.23 c undercover : 0.00 0 0 1790.72/1791.23 c nlp : 0.00 0 0 1790.72/1791.23 c trysol : 0.00 0 0 1790.72/1791.23 c LP : Time Calls Iterations Iter/call Iter/sec 1790.72/1791.23 c primal LP : 0.00 0 0 0.00 - 1790.72/1791.23 c dual LP : 1487.52 136 633569 4658.60 425.92 1790.72/1791.23 c lex dual LP : 0.00 0 0 0.00 - 1790.72/1791.23 c barrier LP : 0.00 0 0 0.00 - 1790.72/1791.23 c diving/probing LP: 0.00 0 0 0.00 - 1790.72/1791.23 c strong branching : 0.00 0 0 0.00 - 1790.72/1791.23 c (at root node) : - 0 0 0.00 - 1790.72/1791.23 c conflict analysis: 0.00 0 0 0.00 - 1790.72/1791.23 c B&B Tree : 1790.72/1791.23 c number of runs : 1 1790.72/1791.23 c nodes : 96 1790.72/1791.23 c nodes (total) : 96 1790.72/1791.23 c nodes left : 95 1790.72/1791.23 c max depth : 19 1790.72/1791.23 c max depth (total): 19 1790.72/1791.23 c backtracks : 9 (9.4%) 1790.72/1791.23 c delayed cutoffs : 0 1790.72/1791.23 c repropagations : 5 (1 domain reductions, 0 cutoffs) 1790.72/1791.23 c avg switch length: 2.08 1790.72/1791.23 c switching time : 0.04 1790.72/1791.23 c Solution : 1790.72/1791.23 c Solutions found : 0 (0 improvements) 1790.72/1791.23 c Primal Bound : - 1790.72/1791.23 c Dual Bound : +5.55089562435000e+11 1790.72/1791.23 c Gap : infinite 1790.72/1791.23 c Root Dual Bound : +5.55089562433000e+11 1790.72/1791.23 c Root Iterations : 14222 1791.22/1791.78 c Time complete: 1791.31.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704809-1278580139/watcher-2704809-1278580139 -o /tmp/evaluation-result-2704809-1278580139/solver-2704809-1278580139 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704809-1278580139.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.08 1.08 1.01 3/105 32185 /proc/meminfo: memFree=1595000/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=7904 CPUtime=0 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 1128 0 0 0 0 0 0 0 22 0 1 0 26222175 8093696 1040 1992294400 4194304 8395647 140734730913504 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32185/statm: 1976 1049 365 1026 0 946 0 [startup+0.0230419 s] /proc/loadavg: 1.08 1.08 1.01 3/105 32185 /proc/meminfo: memFree=1595000/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=12012 CPUtime=0.01 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 2295 0 0 0 1 0 0 0 22 0 1 0 26222175 12300288 2206 1992294400 4194304 8395647 140734730913504 18446744073709551615 6347105 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32185/statm: 3003 2206 387 1026 0 1973 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12012 [startup+0.101052 s] /proc/loadavg: 1.08 1.08 1.01 3/105 32185 /proc/meminfo: memFree=1595000/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=20140 CPUtime=0.09 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 4332 0 0 0 8 1 0 0 22 0 1 0 26222175 20623360 4238 1992294400 4194304 8395647 140734730913504 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32185/statm: 5035 4238 394 1026 0 4005 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20140 [startup+0.301073 s] /proc/loadavg: 1.08 1.08 1.01 3/105 32185 /proc/meminfo: memFree=1595000/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=28296 CPUtime=0.29 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 6246 0 0 0 27 2 0 0 22 0 1 0 26222175 28975104 6152 1992294400 4194304 8395647 140734730913504 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32185/statm: 7074 6162 394 1026 0 6044 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28296 [startup+0.701117 s] /proc/loadavg: 1.08 1.08 1.01 3/105 32185 /proc/meminfo: memFree=1595000/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=38596 CPUtime=0.69 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 8964 0 0 0 67 2 0 0 24 0 1 0 26222175 39522304 8870 1992294400 4194304 8395647 140734730913504 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32185/statm: 9649 8870 394 1026 0 8619 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38596 [startup+1.50121 s] /proc/loadavg: 1.08 1.08 1.01 2/106 32186 /proc/meminfo: memFree=1552832/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=61432 CPUtime=1.49 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 14663 0 0 0 145 4 0 0 25 0 1 0 26222175 62906368 14569 1992294400 4194304 8395647 140734730913504 18446744073709551615 5758126 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32185/statm: 15358 14569 394 1026 0 14328 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61432 [startup+3.10138 s] /proc/loadavg: 1.07 1.08 1.01 2/106 32186 /proc/meminfo: memFree=1445324/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=177192 CPUtime=3.09 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 46061 0 0 0 295 14 0 0 25 0 1 0 26222175 181444608 42204 1992294400 4194304 8395647 140734730913504 18446744073709551615 4217164 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 44298 42204 484 1026 0 43268 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 177192 [startup+6.30074 s] /proc/loadavg: 1.07 1.08 1.01 2/106 32186 /proc/meminfo: memFree=1399444/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=204320 CPUtime=6.29 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 53005 0 0 0 613 16 0 0 25 0 1 0 26222175 209223680 49078 1992294400 4194304 8395647 140734730913504 18446744073709551615 5210417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 51080 49078 501 1026 0 50050 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 204320 [startup+12.7014 s] /proc/loadavg: 1.06 1.08 1.01 2/106 32186 /proc/meminfo: memFree=1399568/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=204320 CPUtime=12.69 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 53018 0 0 0 1253 16 0 0 25 0 1 0 26222175 209223680 49091 1992294400 4194304 8395647 140734730913504 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 51080 49091 501 1026 0 50050 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 204320 [startup+25.5009 s] /proc/loadavg: 1.05 1.08 1.01 2/106 32186 /proc/meminfo: memFree=1395972/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=207832 CPUtime=25.48 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 53923 0 0 0 2532 16 0 0 25 0 1 0 26222175 212819968 49996 1992294400 4194304 8395647 140734730913504 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 51958 49996 501 1026 0 50928 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 207832 [startup+51.1007 s] /proc/loadavg: 1.03 1.07 1.01 2/106 32186 /proc/meminfo: memFree=1392252/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=211564 CPUtime=51.08 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 54865 0 0 0 5091 17 0 0 25 0 1 0 26222175 216641536 50938 1992294400 4194304 8395647 140734730913504 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 52891 50938 507 1026 0 51861 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 211564 [startup+102.308 s] /proc/loadavg: 1.01 1.05 1.00 2/106 32188 /proc/meminfo: memFree=1387912/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=215876 CPUtime=102.27 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 55967 0 0 0 10210 17 0 0 25 0 1 0 26222175 221057024 52040 1992294400 4194304 8395647 140734730913504 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 53969 52040 507 1026 0 52939 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 215876 [startup+162.301 s] /proc/loadavg: 1.00 1.04 1.00 2/106 32190 /proc/meminfo: memFree=1384564/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=219356 CPUtime=162.24 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 56840 0 0 0 16207 17 0 0 25 0 1 0 26222175 224620544 52913 1992294400 4194304 8395647 140734730913504 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 54839 52913 507 1026 0 53809 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 219356 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/106 32192 /proc/meminfo: memFree=1382208/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=221148 CPUtime=222.24 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 57388 0 0 0 22206 18 0 0 25 0 1 0 26222175 226455552 53461 1992294400 4194304 8395647 140734730913504 18446744073709551615 5608316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 55287 53461 507 1026 0 54257 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 221148 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 32192 /proc/meminfo: memFree=1364724/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=237788 CPUtime=282.22 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 61780 0 0 0 28203 19 0 0 25 0 1 0 26222175 243494912 57853 1992294400 4194304 8395647 140734730913504 18446744073709551615 5210645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 59447 57853 507 1026 0 58417 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 237788 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 32194 /proc/meminfo: memFree=1225596/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=385108 CPUtime=342.2 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 99893 0 0 0 34177 43 0 0 25 0 1 0 26222175 394350592 92666 1992294400 4194304 8395647 140734730913504 18446744073709551615 6696599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 96277 92666 652 1026 0 95247 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 385108 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 32196 /proc/meminfo: memFree=1225472/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=385108 CPUtime=402.19 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 99894 0 0 0 40158 61 0 0 25 0 1 0 26222175 394350592 92667 1992294400 4194304 8395647 140734730913504 18446744073709551615 6721240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 96277 92667 652 1026 0 95247 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 385108 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 32198 /proc/meminfo: memFree=1225472/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=385108 CPUtime=462.17 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 99894 0 0 0 46139 78 0 0 25 0 1 0 26222175 394350592 92667 1992294400 4194304 8395647 140734730913504 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 96277 92667 652 1026 0 95247 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 385108 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32200 /proc/meminfo: memFree=1225472/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=385108 CPUtime=522.15 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 99900 0 0 0 52119 96 0 0 25 0 1 0 26222175 394350592 92672 1992294400 4194304 8395647 140734730913504 18446744073709551615 6496300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 96277 92672 653 1026 0 95247 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 385108 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32200 /proc/meminfo: memFree=1220140/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=582.14 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101258 0 0 0 58101 113 0 0 25 0 1 0 26222175 406573056 93987 1992294400 4194304 8395647 140734730913504 18446744073709551615 6752906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 93987 610 1026 0 98231 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 397044 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32202 /proc/meminfo: memFree=1218528/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=642.13 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101661 0 0 0 64083 130 0 0 25 0 1 0 26222175 406573056 94390 1992294400 4194304 8395647 140734730913504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94390 610 1026 0 98231 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 397044 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1217784/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1062.01 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101751 0 0 0 105958 243 0 0 25 0 1 0 26222175 406573056 94480 1992294400 4194304 8395647 140734730913504 18446744073709551615 6698399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94480 610 1026 0 98231 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 397044 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32219 /proc/meminfo: memFree=1217784/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1122 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101751 0 0 0 111940 260 0 0 25 0 1 0 26222175 406573056 94480 1992294400 4194304 8395647 140734730913504 18446744073709551615 6721246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94480 610 1026 0 98231 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 397044 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32219 /proc/meminfo: memFree=1217660/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1181.98 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101751 0 0 0 117921 277 0 0 25 0 1 0 26222175 406573056 94480 1992294400 4194304 8395647 140734730913504 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94480 610 1026 0 98231 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 397044 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32221 /proc/meminfo: memFree=1217536/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1241.96 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101751 0 0 0 123906 290 0 0 25 0 1 0 26222175 406573056 94480 1992294400 4194304 8395647 140734730913504 18446744073709551615 6496300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94480 610 1026 0 98231 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 397044 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32223 /proc/meminfo: memFree=1217412/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1301.96 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101752 0 0 0 129889 307 0 0 25 0 1 0 26222175 406573056 94480 1992294400 4194304 8395647 140734730913504 18446744073709551615 6496284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94480 609 1026 0 98231 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 397044 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32225 /proc/meminfo: memFree=1217412/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1361.93 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101752 0 0 0 135870 323 0 0 25 0 1 0 26222175 406573056 94480 1992294400 4194304 8395647 140734730913504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94480 609 1026 0 98231 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 397044 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32227 /proc/meminfo: memFree=1217288/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1421.92 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101752 0 0 0 141850 342 0 0 25 0 1 0 26222175 406573056 94480 1992294400 4194304 8395647 140734730913504 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94480 609 1026 0 98231 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 397044 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32227 /proc/meminfo: memFree=1217288/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1481.9 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101752 0 0 0 147831 359 0 0 25 0 1 0 26222175 406573056 94480 1992294400 4194304 8395647 140734730913504 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94480 609 1026 0 98231 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 397044 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32229 /proc/meminfo: memFree=1217164/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1541.88 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101756 0 0 0 153813 375 0 0 25 0 1 0 26222175 406573056 94484 1992294400 4194304 8395647 140734730913504 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94484 609 1026 0 98231 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 397044 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32231 /proc/meminfo: memFree=1217164/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1601.87 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101756 0 0 0 159796 391 0 0 25 0 1 0 26222175 406573056 94484 1992294400 4194304 8395647 140734730913504 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94484 609 1026 0 98231 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 397044 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32233 /proc/meminfo: memFree=1217164/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1661.85 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101760 0 0 0 165779 406 0 0 25 0 1 0 26222175 406573056 94488 1992294400 4194304 8395647 140734730913504 18446744073709551615 6752536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94488 613 1026 0 98231 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 397044 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32235 /proc/meminfo: memFree=1217040/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1721.84 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101763 0 0 0 171760 424 0 0 25 0 1 0 26222175 406573056 94491 1992294400 4194304 8395647 140734730913504 18446744073709551615 6723628 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94491 613 1026 0 98231 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 397044 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32235 /proc/meminfo: memFree=1216668/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1781.82 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101764 0 0 0 177744 438 0 0 25 0 1 0 26222175 406573056 94492 1992294400 4194304 8395647 140734730913504 18446744073709551615 6739521 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94492 613 1026 0 98231 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 397044 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32235 /proc/meminfo: memFree=1216668/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1785.02 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101764 0 0 0 178063 439 0 0 25 0 1 0 26222175 406573056 94492 1992294400 4194304 8395647 140734730913504 18446744073709551615 6636350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94492 613 1026 0 98231 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 397044 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32235 /proc/meminfo: memFree=1216668/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1788.22 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101764 0 0 0 178382 440 0 0 25 0 1 0 26222175 406573056 94492 1992294400 4194304 8395647 140734730913504 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94492 613 1026 0 98231 0 Current children cumulated CPU time (s) 1788.22 Current children cumulated vsize (KiB) 397044 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32235 /proc/meminfo: memFree=1216668/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1789.82 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101764 0 0 0 178542 440 0 0 25 0 1 0 26222175 406573056 94492 1992294400 4194304 8395647 140734730913504 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94492 613 1026 0 98231 0 Current children cumulated CPU time (s) 1789.82 Current children cumulated vsize (KiB) 397044 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32235 /proc/meminfo: memFree=1216668/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1790.62 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101764 0 0 0 178621 441 0 0 25 0 1 0 26222175 406573056 94492 1992294400 4194304 8395647 140734730913504 18446744073709551615 6721188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94492 613 1026 0 98231 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (KiB) 397044 [startup+1791.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32235 /proc/meminfo: memFree=1216668/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=397044 CPUtime=1791.02 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101772 0 0 0 178661 441 0 0 18 0 1 0 26222175 406573056 94500 1992294400 4194304 8395647 140734730913504 18446744073709551615 4720868 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32185/statm: 99261 94500 621 1026 0 98231 0 Current children cumulated CPU time (s) 1791.02 Current children cumulated vsize (KiB) 397044 [startup+1791.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32235 /proc/meminfo: memFree=1216668/2059040 swapFree=4136400/4192956 [pid=32185] ppid=32183 vsize=362048 CPUtime=1791.22 /proc/32185/stat : 32185 (pbscip.linux.x8) R 32183 32185 31635 0 -1 4202496 101772 0 0 0 178681 441 0 0 18 0 1 0 26222175 370737152 86950 1992294400 4194304 8395647 140734730913504 18446744073709551615 6345866 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32185/statm: 90512 86950 621 1026 0 89482 0 Current children cumulated CPU time (s) 1791.22 Current children cumulated vsize (KiB) 362048 Child status: 0 Real time (s): 1791.79 CPU time (s): 1791.32 CPU user time (s): 1786.87 CPU system time (s): 4.45332 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 397044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.87 system time used= 4.45332 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101779 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= 2 involuntary context switches= 11272 runsolver used 3.01354 second user time and 8.41372 second system time The end
Begin job on node087 at 2010-07-08 11:08:59 IDJOB=2704809 IDBENCH=72395 IDSOLVER=1213 FILE ID=node087/2704809-1278580139 PBS_JOBID= 11240061 Free space on /tmp= 62544 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-mercurial-common.cudf.trendy.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704809-1278580139/watcher-2704809-1278580139 -o /tmp/evaluation-result-2704809-1278580139/solver-2704809-1278580139 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704809-1278580139.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6bb48d2b0ff46f6e7b073e580100f5b4 RANDOM SEED=126977723 node087.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1595528 kB Buffers: 103992 kB Cached: 258732 kB SwapCached: 12768 kB Active: 160124 kB Inactive: 219788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1595528 kB SwapTotal: 4192956 kB SwapFree: 4136400 kB Dirty: 14188 kB Writeback: 0 kB AnonPages: 11984 kB Mapped: 8424 kB Slab: 61804 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182084 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node087 at 2010-07-08 11:38:51