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.33 | 1791.79 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-lirc.cudf.trendy.opb |
MD5SUM | 7c5d6b201be2ac433371a2eee1efc62b |
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 | 3497265409858 |
Best CPU time to get the best result obtained on this benchmark | 1800.54 |
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 | 21104 |
Total number of constraints | 100042 |
Number of constraints which are clauses | 98477 |
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-2704808-1278580143.opb> 1.59/1.67 c original problem has 21104 variables (21104 bin, 0 int, 0 impl, 0 cont) and 100042 constraints 1.59/1.67 c problem read 1.59/1.67 c presolving settings loaded 2.10/2.19 c presolving: 2.59/2.68 c (round 1) 2376 del vars, 4178 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130372 impls, 1557 clqs 2.69/2.77 c (round 2) 2422 del vars, 5023 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161776 impls, 1557 clqs 2.79/2.82 c (round 3) 2504 del vars, 5159 del conss, 52 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161809 impls, 1557 clqs 2.89/2.91 c (round 4) 5430 del vars, 11123 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 161837 impls, 1557 clqs 2.89/2.95 c (round 5) 5452 del vars, 11181 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 161837 impls, 1557 clqs 2.89/2.99 c (round 6) 5463 del vars, 11197 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 161837 impls, 1557 clqs 3.69/3.70 c (round 7) 5470 del vars, 13507 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86499 upgd conss, 161837 impls, 1557 clqs 3.79/3.87 c (round 8) 5473 del vars, 13510 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86499 upgd conss, 161837 impls, 1557 clqs 3.99/4.01 c (round 9) 5473 del vars, 13512 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 161837 impls, 1557 clqs 3.99/4.10 c (round 10) 5475 del vars, 13514 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 161837 impls, 1557 clqs 14.98/15.00 c (round 11) 5526 del vars, 13515 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 369763 impls, 1557 clqs 15.08/15.11 c (round 12) 5526 del vars, 13566 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 369763 impls, 1557 clqs 15.18/15.24 c (round 13) 5526 del vars, 13616 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 369763 impls, 1557 clqs 25.08/25.14 c (round 14) 5576 del vars, 13616 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 464313 impls, 1556 clqs 25.19/25.26 c (round 15) 5576 del vars, 13668 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 464313 impls, 1556 clqs 25.30/25.38 c (round 16) 5576 del vars, 13718 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 464313 impls, 1556 clqs 29.59/29.69 c (28.0s) probing: 1000/15629 (6.4%) - 0 fixings, 112 aggregations, 81158 implications, 0 bound changes 38.68/38.75 c (round 17) 5626 del vars, 13718 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 488631 impls, 1556 clqs 38.78/38.86 c (round 18) 5626 del vars, 13765 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 488631 impls, 1556 clqs 38.88/38.98 c (round 19) 5626 del vars, 13818 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 488631 impls, 1556 clqs 45.09/45.13 c (round 20) 5676 del vars, 13818 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 497893 impls, 1555 clqs 45.18/45.24 c (round 21) 5676 del vars, 13868 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 497893 impls, 1555 clqs 45.28/45.37 c (round 22) 5676 del vars, 13919 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 497893 impls, 1555 clqs 51.59/51.61 c (round 23) 5726 del vars, 13919 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 533677 impls, 1555 clqs 51.69/51.73 c (round 24) 5726 del vars, 13971 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 533677 impls, 1555 clqs 51.78/51.85 c (round 25) 5726 del vars, 14020 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 533677 impls, 1555 clqs 52.18/52.24 c (50.6s) probing: 2000/15629 (12.8%) - 1 fixings, 250 aggregations, 106817 implications, 0 bound changes 63.48/63.57 c (round 26) 5776 del vars, 14020 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 573371 impls, 1555 clqs 63.58/63.69 c (round 27) 5776 del vars, 14069 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 573371 impls, 1555 clqs 63.78/63.81 c (round 28) 5776 del vars, 14124 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 573371 impls, 1555 clqs 71.87/71.90 c (round 29) 5826 del vars, 14124 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 587001 impls, 1555 clqs 71.97/72.02 c (round 30) 5826 del vars, 14174 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 587001 impls, 1555 clqs 72.07/72.14 c (round 31) 5826 del vars, 14222 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 587001 impls, 1555 clqs 72.27/72.39 c (70.7s) probing: 3000/15629 (19.2%) - 1 fixings, 350 aggregations, 132848 implications, 0 bound changes 80.77/80.88 c (round 32) 5876 del vars, 14222 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 603827 impls, 1554 clqs 80.87/80.99 c (round 33) 5876 del vars, 14270 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 603827 impls, 1554 clqs 81.07/81.12 c (round 34) 5876 del vars, 14332 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 603827 impls, 1554 clqs 88.87/88.93 c (round 35) 5926 del vars, 14332 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 612761 impls, 1554 clqs 88.98/89.04 c (round 36) 5926 del vars, 14381 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 612761 impls, 1554 clqs 89.08/89.17 c (round 37) 5926 del vars, 14433 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 612761 impls, 1554 clqs 91.97/92.02 c (90.4s) probing: 4000/15629 (25.6%) - 1 fixings, 473 aggregations, 145950 implications, 0 bound changes 93.97/94.08 c (round 38) 5976 del vars, 14433 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 617371 impls, 1553 clqs 94.07/94.14 c (round 39) 5976 del vars, 14496 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 617371 impls, 1553 clqs 94.17/94.27 c (round 40) 5976 del vars, 14541 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 617371 impls, 1553 clqs 102.56/102.64 c (round 41) 6026 del vars, 14541 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 625299 impls, 1552 clqs 102.66/102.75 c (round 42) 6026 del vars, 14591 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 625299 impls, 1552 clqs 102.76/102.88 c (round 43) 6026 del vars, 14641 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 625299 impls, 1552 clqs 111.07/111.13 c (109.5s) probing: 5000/15629 (32.0%) - 2 fixings, 592 aggregations, 154990 implications, 0 bound changes 112.07/112.16 c (round 44) 6076 del vars, 14641 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 639995 impls, 1552 clqs 112.17/112.27 c (round 45) 6076 del vars, 14688 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 639995 impls, 1552 clqs 112.36/112.40 c (round 46) 6076 del vars, 14738 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 639995 impls, 1552 clqs 122.46/122.52 c (round 47) 6126 del vars, 14738 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 653101 impls, 1551 clqs 122.56/122.63 c (round 48) 6126 del vars, 14788 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 653101 impls, 1551 clqs 122.66/122.76 c (round 49) 6126 del vars, 14838 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 653101 impls, 1551 clqs 129.96/130.06 c (128.4s) probing: 6000/15629 (38.4%) - 2 fixings, 691 aggregations, 165720 implications, 0 bound changes 130.66/130.79 c (round 50) 6176 del vars, 14841 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 663059 impls, 1551 clqs 130.76/130.90 c (round 51) 6176 del vars, 14889 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 663059 impls, 1551 clqs 130.96/131.02 c (round 52) 6176 del vars, 14945 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 663059 impls, 1551 clqs 136.45/136.54 c (round 53) 6226 del vars, 14945 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 666427 impls, 1551 clqs 136.55/136.66 c (round 54) 6226 del vars, 14992 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 666427 impls, 1551 clqs 136.65/136.79 c (round 55) 6226 del vars, 15043 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 666427 impls, 1551 clqs 141.76/141.81 c (round 56) 6276 del vars, 15043 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 670695 impls, 1551 clqs 141.86/141.92 c (round 57) 6276 del vars, 15091 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 670695 impls, 1551 clqs 141.95/142.05 c (round 58) 6276 del vars, 15141 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 670695 impls, 1551 clqs 148.75/148.83 c (147.2s) probing: 7000/15629 (44.8%) - 2 fixings, 827 aggregations, 174793 implications, 0 bound changes 152.95/153.01 c (round 59) 6326 del vars, 15141 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 679071 impls, 1551 clqs 153.05/153.13 c (round 60) 6326 del vars, 15188 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 679071 impls, 1551 clqs 153.15/153.26 c (round 61) 6326 del vars, 15240 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 679071 impls, 1551 clqs 164.55/164.66 c (round 62) 6376 del vars, 15240 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 690689 impls, 1551 clqs 164.65/164.78 c (round 63) 6376 del vars, 15289 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 690689 impls, 1551 clqs 164.85/164.91 c (round 64) 6376 del vars, 15344 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 690689 impls, 1551 clqs 167.35/167.40 c (165.7s) probing: 8000/15629 (51.2%) - 3 fixings, 906 aggregations, 183979 implications, 0 bound changes 175.54/175.60 c (round 65) 6426 del vars, 15344 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 696175 impls, 1551 clqs 175.64/175.72 c (round 66) 6426 del vars, 15393 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 696175 impls, 1551 clqs 175.74/175.85 c (round 67) 6426 del vars, 15440 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 696175 impls, 1551 clqs 185.34/185.49 c (183.8s) probing: 9000/15629 (57.6%) - 3 fixings, 997 aggregations, 193355 implications, 0 bound changes 185.44/185.55 c (round 68) 6476 del vars, 15440 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 710395 impls, 1551 clqs 185.54/185.67 c (round 69) 6476 del vars, 15489 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 710395 impls, 1551 clqs 185.75/185.80 c (round 70) 6476 del vars, 15539 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 710395 impls, 1551 clqs 192.84/192.91 c (round 71) 6526 del vars, 15539 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 716767 impls, 1551 clqs 192.94/193.02 c (round 72) 6526 del vars, 15589 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 716767 impls, 1551 clqs 193.04/193.15 c (round 73) 6526 del vars, 15639 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 716767 impls, 1551 clqs 199.44/199.52 c (round 74) 6576 del vars, 15639 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 726877 impls, 1551 clqs 199.54/199.64 c (round 75) 6576 del vars, 15689 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 726877 impls, 1551 clqs 199.64/199.77 c (round 76) 6576 del vars, 15739 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 726877 impls, 1551 clqs 203.23/203.38 c (201.7s) probing: 10000/15629 (64.0%) - 3 fixings, 1130 aggregations, 206627 implications, 0 bound changes 205.33/205.46 c (round 77) 6626 del vars, 15739 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 736163 impls, 1551 clqs 205.43/205.58 c (round 78) 6626 del vars, 15783 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 736163 impls, 1551 clqs 205.64/205.71 c (round 79) 6626 del vars, 15840 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 736163 impls, 1551 clqs 212.63/212.72 c (round 80) 6676 del vars, 15840 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 768629 impls, 1551 clqs 212.73/212.84 c (round 81) 6676 del vars, 15887 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 768629 impls, 1551 clqs 212.83/212.97 c (round 82) 6676 del vars, 15938 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 768629 impls, 1551 clqs 219.13/219.22 c (round 83) 6726 del vars, 15938 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 789711 impls, 1551 clqs 219.23/219.33 c (round 84) 6726 del vars, 15987 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 789711 impls, 1551 clqs 219.33/219.47 c (round 85) 6726 del vars, 16036 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 789711 impls, 1551 clqs 221.43/221.55 c (219.9s) probing: 11000/15629 (70.4%) - 3 fixings, 1260 aggregations, 239851 implications, 0 bound changes 223.83/223.98 c (round 86) 6776 del vars, 16036 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 797923 impls, 1551 clqs 224.03/224.10 c (round 87) 6776 del vars, 16084 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 797923 impls, 1551 clqs 224.13/224.23 c (round 88) 6776 del vars, 16133 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 797923 impls, 1551 clqs 230.43/230.60 c (round 89) 6826 del vars, 16133 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 807199 impls, 1551 clqs 230.63/230.71 c (round 90) 6826 del vars, 16183 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 807199 impls, 1551 clqs 230.73/230.85 c (round 91) 6826 del vars, 16233 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 807199 impls, 1551 clqs 236.83/236.90 c (round 92) 6876 del vars, 16233 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 828565 impls, 1551 clqs 236.93/237.02 c (round 93) 6876 del vars, 16286 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 828565 impls, 1551 clqs 237.03/237.15 c (round 94) 6876 del vars, 16335 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 828565 impls, 1551 clqs 239.43/239.55 c (237.9s) probing: 12000/15629 (76.8%) - 4 fixings, 1425 aggregations, 261063 implications, 0 bound changes 242.93/243.01 c (round 95) 6926 del vars, 16336 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 842135 impls, 1551 clqs 243.03/243.15 c (round 96) 6926 del vars, 16386 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 842135 impls, 1551 clqs 243.12/243.29 c (round 97) 6926 del vars, 16435 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 842135 impls, 1551 clqs 249.82/249.99 c (round 98) 6976 del vars, 16435 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 866687 impls, 1551 clqs 250.03/250.11 c (round 99) 6976 del vars, 16485 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 866687 impls, 1551 clqs 250.13/250.24 c (round 100) 6976 del vars, 16535 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 866687 impls, 1551 clqs 254.73/254.86 c (round 101) 7026 del vars, 16535 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 887397 impls, 1551 clqs 254.93/255.00 c (round 102) 7026 del vars, 16586 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 887397 impls, 1551 clqs 255.04/255.14 c (round 103) 7026 del vars, 16636 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 887397 impls, 1551 clqs 257.23/257.36 c (255.7s) probing: 13000/15629 (83.2%) - 4 fixings, 1558 aggregations, 293429 implications, 0 bound changes 264.72/264.87 c (round 104) 7076 del vars, 16636 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 1009927 impls, 1551 clqs 264.82/265.00 c (round 105) 7076 del vars, 16685 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 1009927 impls, 1551 clqs 265.03/265.14 c (round 106) 7076 del vars, 16736 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 1009927 impls, 1551 clqs 277.82/277.99 c (276.3s) probing: 14000/15629 (89.6%) - 5 fixings, 1621 aggregations, 429947 implications, 0 bound changes 287.71/287.82 c (round 107) 7126 del vars, 16736 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 1257935 impls, 1551 clqs 287.82/287.95 c (round 108) 7126 del vars, 16785 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 1257935 impls, 1551 clqs 287.92/288.09 c (round 109) 7126 del vars, 16835 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 1257935 impls, 1551 clqs 299.41/299.55 c (297.9s) probing: 15000/15629 (96.0%) - 5 fixings, 1649 aggregations, 569779 implications, 0 bound changes 311.51/311.61 c (309.9s) probing: 15616/15629 (99.9%) - 6 fixings, 1649 aggregations, 620532 implications, 0 bound changes 311.51/311.61 c (309.9s) probing aborted: 100/100 successive totally useless probings 311.51/311.61 c (round 110) 7130 del vars, 16835 del conss, 52 chg bounds, 4 chg sides, 11 chg coeffs, 86531 upgd conss, 1480091 impls, 1551 clqs 311.71/311.86 c (310.2s) probing: 15626/15629 (100.0%) - 6 fixings, 1649 aggregations, 620532 implications, 0 bound changes 311.71/311.86 c (310.2s) probing aborted: 100/100 successive totally useless probings 311.71/311.86 c presolving (111 rounds): 311.71/311.86 c 7130 deleted vars, 16838 deleted constraints, 52 tightened bounds, 0 added holes, 4 changed sides, 11 changed coefficients 311.71/311.86 c 1480091 implications, 1551 cliques 311.71/311.86 c presolved problem has 13974 variables (13974 bin, 0 int, 0 impl, 0 cont) and 83204 constraints 311.71/311.86 c 23798 constraints of type <setppc> 311.71/311.86 c 59406 constraints of type <logicor> 311.71/311.86 c transformed objective value is always integral (scale: 1) 311.71/311.86 c Presolving Time: 309.82 311.71/311.86 c - non default parameters ---------------------------------------------------------------------- 311.71/311.86 c # SCIP version 1.2.1.3 311.71/311.86 c 311.71/311.86 c # frequency for displaying node information lines 311.71/311.86 c # [type: int, range: [-1,2147483647], default: 100] 311.71/311.86 c display/freq = 10000 311.71/311.86 c 311.71/311.86 c # maximal time in seconds to run 311.71/311.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 311.71/311.86 c limits/time = 1788.35 311.71/311.86 c 311.71/311.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 311.71/311.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 311.71/311.86 c limits/memory = 1620 311.71/311.86 c 311.71/311.86 c # default clock type (1: CPU user seconds, 2: wall clock time) 311.71/311.86 c # [type: int, range: [1,2], default: 1] 311.71/311.86 c timing/clocktype = 2 311.71/311.86 c 311.71/311.86 c # should presolving try to simplify inequalities 311.71/311.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 311.71/311.86 c constraints/linear/simplifyinequalities = TRUE 311.71/311.86 c 311.71/311.86 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 311.71/311.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 311.71/311.86 c constraints/indicator/addCouplingCons = TRUE 311.71/311.86 c 311.71/311.86 c # should presolving try to simplify knapsacks 311.71/311.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 311.71/311.86 c constraints/knapsack/simplifyinequalities = TRUE 311.71/311.86 c 311.71/311.86 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 311.71/311.86 c # [type: int, range: [-1,2147483647], default: -1] 311.71/311.86 c separating/rapidlearning/freq = 0 311.71/311.86 c 311.71/311.86 c ----------------------------------------------------------------------------------------------- 311.71/311.86 c start solving 311.71/311.88 c 346.50/346.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 346.50/346.69 c 345s| 1 | 2 | 14188 | - | 192M| 0 | - | 13k| 83k| 13k| 81k| 0 | 0 | 0 | 5.550896e+11 | -- | Inf 1790.73/1791.21 c 1790.73/1791.21 c SCIP Status : solving was interrupted [time limit reached] 1790.73/1791.21 c Solving Time (sec) : 1789.55 1790.73/1791.21 c Solving Nodes : 97 1790.73/1791.21 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1790.73/1791.21 c Dual Bound : +5.55089562435000e+11 1790.73/1791.21 c Gap : infinite 1790.73/1791.21 s UNKNOWN 1790.73/1791.21 c SCIP Status : solving was interrupted [time limit reached] 1790.73/1791.21 c Solving Time : 1789.55 1790.73/1791.21 c Original Problem : 1790.73/1791.21 c Problem name : HOME/instance-2704808-1278580143.opb 1790.73/1791.21 c Variables : 21104 (21104 binary, 0 integer, 0 implicit integer, 0 continuous) 1790.73/1791.21 c Constraints : 100042 initial, 100042 maximal 1790.73/1791.21 c Presolved Problem : 1790.73/1791.21 c Problem name : t_HOME/instance-2704808-1278580143.opb 1790.73/1791.21 c Variables : 13974 (13974 binary, 0 integer, 0 implicit integer, 0 continuous) 1790.73/1791.21 c Constraints : 83204 initial, 83204 maximal 1790.73/1791.21 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.73/1791.21 c trivial : 0.32 0 0 0 0 0 0 0 0 1790.73/1791.21 c dualfix : 0.35 4145 0 0 0 0 0 0 0 1790.73/1791.21 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.73/1791.21 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.73/1791.21 c implics : 0.74 0 29 0 0 0 0 0 0 1790.73/1791.21 c probing : 294.99 6 1649 0 0 0 0 0 0 1790.73/1791.21 c setppc : 3.13 0 0 0 0 0 3305 0 0 1790.73/1791.21 c linear : 1.12 52 1249 0 52 0 13511 4 11 1790.73/1791.21 c logicor : 8.76 0 0 0 0 0 22 0 0 1790.73/1791.21 c root node : - 0 - - 0 - - - - 1790.73/1791.21 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.73/1791.21 c integral : 0 0 0 0 0 0 0 0 0 0 1790.73/1791.21 c setppc : 23798 0 47383 0 97 3 1766 0 0 0 1790.73/1791.21 c logicor : 59406 0 39972 0 97 3 2403 0 0 0 1790.73/1791.21 c countsols : 0 0 0 0 97 0 0 0 0 0 1790.73/1791.21 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.73/1791.21 c integral : 0.00 0.00 0.00 0.00 0.00 1790.73/1791.21 c setppc : 217.22 0.00 215.53 0.00 1.69 1790.73/1791.21 c logicor : 12.27 0.00 6.88 0.00 5.39 1790.73/1791.21 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.73/1791.21 c Propagators : Time Calls Cutoffs DomReds 1790.73/1791.21 c vbounds : 0.06 2 0 0 1790.73/1791.21 c rootredcost : 0.03 0 0 0 1790.73/1791.21 c pseudoobj : 0.29 200 0 0 1790.73/1791.21 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.73/1791.21 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1790.73/1791.21 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1790.73/1791.21 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.73/1791.21 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.73/1791.21 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.73/1791.21 c applied globally : - - - 0 0.0 - - - 1790.73/1791.21 c applied locally : - - - 0 0.0 - - - 1790.73/1791.21 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.73/1791.21 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1790.73/1791.21 c redcost : 0.00 0 0 0 0 0 1790.73/1791.21 c impliedbounds : 0.00 0 0 0 0 0 1790.73/1791.21 c intobj : 0.00 0 0 0 0 0 1790.73/1791.21 c cgmip : 0.00 0 0 0 0 0 1790.73/1791.21 c gomory : 0.00 0 0 0 0 0 1790.73/1791.21 c strongcg : 0.00 0 0 0 0 0 1790.73/1791.21 c cmir : 0.00 0 0 0 0 0 1790.73/1791.21 c flowcover : 0.00 0 0 0 0 0 1790.73/1791.21 c clique : 0.00 0 0 0 0 0 1790.73/1791.21 c zerohalf : 0.00 0 0 0 0 0 1790.73/1791.21 c mcf : 0.00 0 0 0 0 0 1790.73/1791.21 c rapidlearning : 0.00 0 0 0 0 0 1790.73/1791.21 c Pricers : Time Calls Vars 1790.73/1791.21 c problem variables: 0.00 0 0 1790.73/1791.21 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.73/1791.21 c relpscost : 0.00 0 0 0 0 0 0 1790.73/1791.21 c pscost : 0.00 0 0 0 0 0 0 1790.73/1791.21 c inference : 0.71 97 0 0 0 0 194 1790.73/1791.21 c mostinf : 0.00 0 0 0 0 0 0 1790.73/1791.21 c leastinf : 0.00 0 0 0 0 0 0 1790.73/1791.21 c fullstrong : 0.00 0 0 0 0 0 0 1790.73/1791.21 c allfullstrong : 0.00 0 0 0 0 0 0 1790.73/1791.21 c random : 0.00 0 0 0 0 0 0 1790.73/1791.21 c Primal Heuristics : Time Calls Found 1790.73/1791.21 c LP solutions : 0.00 - 0 1790.73/1791.21 c pseudo solutions : 0.00 - 0 1790.73/1791.21 c oneopt : 0.00 0 0 1790.73/1791.21 c trivial : 0.09 2 0 1790.73/1791.21 c simplerounding : 0.00 0 0 1790.73/1791.21 c zirounding : 0.00 0 0 1790.73/1791.21 c rounding : 0.00 0 0 1790.73/1791.21 c shifting : 0.00 0 0 1790.73/1791.21 c intshifting : 0.00 0 0 1790.73/1791.21 c twoopt : 0.00 0 0 1790.73/1791.21 c fixandinfer : 0.00 0 0 1790.73/1791.21 c feaspump : 0.00 0 0 1790.73/1791.21 c coefdiving : 0.00 0 0 1790.73/1791.21 c pscostdiving : 0.00 0 0 1790.73/1791.21 c fracdiving : 0.00 0 0 1790.73/1791.21 c veclendiving : 0.00 0 0 1790.73/1791.21 c intdiving : 0.00 0 0 1790.73/1791.21 c actconsdiving : 0.00 0 0 1790.73/1791.21 c objpscostdiving : 0.00 0 0 1790.73/1791.21 c rootsoldiving : 0.00 0 0 1790.73/1791.21 c linesearchdiving : 0.00 0 0 1790.73/1791.21 c guideddiving : 0.00 0 0 1790.73/1791.21 c octane : 0.00 0 0 1790.73/1791.21 c rens : 0.00 0 0 1790.73/1791.21 c rins : 0.00 0 0 1790.73/1791.21 c localbranching : 0.00 0 0 1790.73/1791.21 c mutation : 0.00 0 0 1790.73/1791.21 c crossover : 0.00 0 0 1790.73/1791.21 c dins : 0.00 0 0 1790.73/1791.21 c undercover : 0.00 0 0 1790.73/1791.21 c nlp : 0.00 0 0 1790.73/1791.21 c trysol : 0.00 0 0 1790.73/1791.21 c LP : Time Calls Iterations Iter/call Iter/sec 1790.73/1791.21 c primal LP : 0.00 0 0 0.00 - 1790.73/1791.21 c dual LP : 1464.70 129 636672 4935.44 434.68 1790.73/1791.21 c lex dual LP : 0.00 0 0 0.00 - 1790.73/1791.21 c barrier LP : 0.00 0 0 0.00 - 1790.73/1791.21 c diving/probing LP: 0.00 0 0 0.00 - 1790.73/1791.21 c strong branching : 0.00 0 0 0.00 - 1790.73/1791.21 c (at root node) : - 0 0 0.00 - 1790.73/1791.21 c conflict analysis: 0.00 0 0 0.00 - 1790.73/1791.21 c B&B Tree : 1790.73/1791.21 c number of runs : 1 1790.73/1791.21 c nodes : 97 1790.73/1791.21 c nodes (total) : 97 1790.73/1791.21 c nodes left : 98 1790.73/1791.21 c max depth : 25 1790.73/1791.21 c max depth (total): 25 1790.73/1791.21 c backtracks : 7 (7.2%) 1790.73/1791.21 c delayed cutoffs : 0 1790.73/1791.21 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1790.73/1791.21 c avg switch length: 1.87 1790.73/1791.21 c switching time : 0.03 1790.73/1791.21 c Solution : 1790.73/1791.21 c Solutions found : 0 (0 improvements) 1790.73/1791.21 c Primal Bound : - 1790.73/1791.21 c Dual Bound : +5.55089562435000e+11 1790.73/1791.21 c Gap : infinite 1790.73/1791.21 c Root Dual Bound : +5.55089562433000e+11 1790.73/1791.21 c Root Iterations : 14188 1791.23/1791.79 c Time complete: 1791.32.
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-2704808-1278580143/watcher-2704808-1278580143 -o /tmp/evaluation-result-2704808-1278580143/solver-2704808-1278580143 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704808-1278580143.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.01 1.00 0.98 3/106 27878 /proc/meminfo: memFree=1612692/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=7904 CPUtime=0 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 1070 0 0 0 0 0 0 0 21 0 1 0 26227917 8093696 983 1992294400 4194304 8395647 140736991092032 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27878/statm: 1976 991 365 1026 0 946 0 [startup+0.063986 s] /proc/loadavg: 1.01 1.00 0.98 3/106 27878 /proc/meminfo: memFree=1612692/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=17844 CPUtime=0.06 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 3766 0 0 0 5 1 0 0 21 0 1 0 26227917 18272256 3672 1992294400 4194304 8395647 140736991092032 18446744073709551615 5755672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27878/statm: 4461 3672 394 1026 0 3431 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 17844 [startup+0.100988 s] /proc/loadavg: 1.01 1.00 0.98 3/106 27878 /proc/meminfo: memFree=1612692/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=19984 CPUtime=0.09 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 4324 0 0 0 8 1 0 0 21 0 1 0 26227917 20463616 4230 1992294400 4194304 8395647 140736991092032 18446744073709551615 4327539 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27878/statm: 4996 4230 394 1026 0 3966 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19984 [startup+0.30101 s] /proc/loadavg: 1.01 1.00 0.98 3/106 27878 /proc/meminfo: memFree=1612692/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=26744 CPUtime=0.29 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 6008 0 0 0 27 2 0 0 21 0 1 0 26227917 27385856 5914 1992294400 4194304 8395647 140736991092032 18446744073709551615 7385033 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27878/statm: 6686 5914 394 1026 0 5656 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26744 [startup+0.701051 s] /proc/loadavg: 1.01 1.00 0.98 3/106 27878 /proc/meminfo: memFree=1612692/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=38592 CPUtime=0.69 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 8959 0 0 0 66 3 0 0 22 0 1 0 26227917 39518208 8865 1992294400 4194304 8395647 140736991092032 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27878/statm: 9648 8865 394 1026 0 8618 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38592 [startup+1.50114 s] /proc/loadavg: 1.01 1.00 0.98 2/107 27879 /proc/meminfo: memFree=1572384/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=59564 CPUtime=1.49 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 14172 0 0 0 144 5 0 0 25 0 1 0 26227917 60993536 14078 1992294400 4194304 8395647 140736991092032 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27878/statm: 14891 14078 394 1026 0 13861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59564 [startup+3.1013 s] /proc/loadavg: 1.01 1.00 0.98 2/107 27879 /proc/meminfo: memFree=1465496/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=180604 CPUtime=3.09 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 43561 0 0 0 295 14 0 0 25 0 1 0 26227917 184938496 43113 1992294400 4194304 8395647 140736991092032 18446744073709551615 4288158 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 45151 43113 476 1026 0 44121 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180604 [startup+6.30164 s] /proc/loadavg: 1.01 1.00 0.98 2/107 27879 /proc/meminfo: memFree=1417260/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=204456 CPUtime=6.29 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 53008 0 0 0 612 17 0 0 25 0 1 0 26227917 209362944 49083 1992294400 4194304 8395647 140736991092032 18446744073709551615 5210648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 51114 49083 503 1026 0 50084 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 204456 [startup+12.7013 s] /proc/loadavg: 1.01 1.00 0.98 2/107 27879 /proc/meminfo: memFree=1417136/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=204456 CPUtime=12.68 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 53021 0 0 0 1251 17 0 0 25 0 1 0 26227917 209362944 49096 1992294400 4194304 8395647 140736991092032 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 51114 49096 503 1026 0 50084 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 204456 [startup+25.5007 s] /proc/loadavg: 1.01 1.00 0.98 2/107 27879 /proc/meminfo: memFree=1416144/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=206992 CPUtime=25.49 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 53682 0 0 0 2531 18 0 0 25 0 1 0 26227917 211959808 49757 1992294400 4194304 8395647 140736991092032 18446744073709551615 5094094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 51748 49757 503 1026 0 50718 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 206992 [startup+51.1003 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27881 /proc/meminfo: memFree=1412300/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=209268 CPUtime=51.08 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 54272 0 0 0 5090 18 0 0 25 0 1 0 26227917 214290432 50347 1992294400 4194304 8395647 140736991092032 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 52317 50347 509 1026 0 51287 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 209268 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27881 /proc/meminfo: memFree=1406968/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=214332 CPUtime=102.27 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 55565 0 0 0 10209 18 0 0 25 0 1 0 26227917 219475968 51640 1992294400 4194304 8395647 140736991092032 18446744073709551615 5210667 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 53583 51640 509 1026 0 52553 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 214332 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27883 /proc/meminfo: memFree=1404612/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=216616 CPUtime=162.25 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 56148 0 0 0 16207 18 0 0 25 0 1 0 26227917 221814784 52223 1992294400 4194304 8395647 140736991092032 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 54154 52223 509 1026 0 53124 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 216616 [startup+222.301 s] /proc/loadavg: 1.04 1.01 0.98 2/107 27885 /proc/meminfo: memFree=1402380/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=218412 CPUtime=222.23 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 56698 0 0 0 22205 18 0 0 25 0 1 0 26227917 223653888 52773 1992294400 4194304 8395647 140736991092032 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 54603 52773 509 1026 0 53573 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 218412 [startup+282.301 s] /proc/loadavg: 1.05 1.02 0.99 2/107 27887 /proc/meminfo: memFree=1389732/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=230688 CPUtime=282.21 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 59864 0 0 0 28202 19 0 0 25 0 1 0 26227917 236224512 55939 1992294400 4194304 8395647 140736991092032 18446744073709551615 5210311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 57672 55939 509 1026 0 56642 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 230688 [startup+342.301 s] /proc/loadavg: 1.13 1.04 1.00 2/107 27889 /proc/meminfo: memFree=1247380/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=381956 CPUtime=342.2 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 99026 0 0 0 34179 41 0 0 25 0 1 0 26227917 391122944 91588 1992294400 4194304 8395647 140736991092032 18446744073709551615 6636391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 95489 91588 656 1026 0 94459 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 381956 [startup+402.301 s] /proc/loadavg: 1.12 1.05 1.00 2/107 27889 /proc/meminfo: memFree=1247380/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=385888 CPUtime=402.18 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 99032 0 0 0 40161 57 0 0 25 0 1 0 26227917 395149312 91592 1992294400 4194304 8395647 140736991092032 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96472 91592 656 1026 0 95442 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 385888 [startup+462.3 s] /proc/loadavg: 1.11 1.05 1.00 2/107 27891 /proc/meminfo: memFree=1242916/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386240 CPUtime=462.17 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 100157 0 0 0 46141 76 0 0 25 0 1 0 26227917 395509760 92664 1992294400 4194304 8395647 140736991092032 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96560 92664 618 1026 0 95530 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 386240 [startup+522.301 s] /proc/loadavg: 1.10 1.06 1.00 2/107 27893 /proc/meminfo: memFree=1242792/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386240 CPUtime=522.16 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 100157 0 0 0 52122 94 0 0 25 0 1 0 26227917 395509760 92664 1992294400 4194304 8395647 140736991092032 18446744073709551615 6752906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96560 92664 618 1026 0 95530 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 386240 [startup+582.301 s] /proc/loadavg: 1.17 1.08 1.01 2/107 27898 /proc/meminfo: memFree=1242296/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386240 CPUtime=582.14 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 100166 0 0 0 58100 114 0 0 25 0 1 0 26227917 395509760 92673 1992294400 4194304 8395647 140736991092032 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96560 92673 620 1026 0 95530 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 386240 [startup+642.301 s] /proc/loadavg: 1.11 1.08 1.01 2/107 27900 /proc/meminfo: memFree=1244032/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=384840 CPUtime=642.13 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107453 0 0 0 64077 136 0 0 25 0 1 0 26227917 394076160 92310 1992294400 4194304 8395647 140736991092032 18446744073709551615 6587070 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96210 92310 678 1026 0 95180 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 384840 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1242172/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386248 CPUtime=1062.01 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107894 0 0 0 105936 265 0 0 25 0 1 0 26227917 395517952 92677 1992294400 4194304 8395647 140736991092032 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96562 92677 619 1026 0 95532 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 386248 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27912 /proc/meminfo: memFree=1242172/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386248 CPUtime=1122 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107894 0 0 0 111915 285 0 0 25 0 1 0 26227917 395517952 92677 1992294400 4194304 8395647 140736991092032 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96562 92677 619 1026 0 95532 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 386248 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27914 /proc/meminfo: memFree=1242420/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386248 CPUtime=1181.98 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107895 0 0 0 117894 304 0 0 25 0 1 0 26227917 395517952 92678 1992294400 4194304 8395647 140736991092032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96562 92678 619 1026 0 95532 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 386248 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27916 /proc/meminfo: memFree=1242296/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386248 CPUtime=1241.97 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107895 0 0 0 123876 321 0 0 25 0 1 0 26227917 395517952 92678 1992294400 4194304 8395647 140736991092032 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96562 92678 619 1026 0 95532 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 386248 [startup+1302.3 s] /proc/loadavg: 1.10 1.04 1.01 2/107 27916 /proc/meminfo: memFree=1242296/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386248 CPUtime=1301.96 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107895 0 0 0 129857 339 0 0 25 0 1 0 26227917 395517952 92678 1992294400 4194304 8395647 140736991092032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96562 92678 619 1026 0 95532 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 386248 [startup+1362.3 s] /proc/loadavg: 1.04 1.03 1.00 2/107 27918 /proc/meminfo: memFree=1242296/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386248 CPUtime=1361.94 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107895 0 0 0 135838 356 0 0 25 0 1 0 26227917 395517952 92678 1992294400 4194304 8395647 140736991092032 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96562 92678 619 1026 0 95532 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 386248 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.00 2/107 27920 /proc/meminfo: memFree=1242296/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386248 CPUtime=1421.93 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107895 0 0 0 141816 377 0 0 25 0 1 0 26227917 395517952 92678 1992294400 4194304 8395647 140736991092032 18446744073709551615 6709373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96562 92678 619 1026 0 95532 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 386248 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27922 /proc/meminfo: memFree=1242172/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386248 CPUtime=1481.9 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107895 0 0 0 147794 396 0 0 25 0 1 0 26227917 395517952 92678 1992294400 4194304 8395647 140736991092032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96562 92678 619 1026 0 95532 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 386248 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27924 /proc/meminfo: memFree=1242172/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386248 CPUtime=1541.89 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107895 0 0 0 153777 412 0 0 25 0 1 0 26227917 395517952 92678 1992294400 4194304 8395647 140736991092032 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96562 92678 619 1026 0 95532 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 386248 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27924 /proc/meminfo: memFree=1242172/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=386248 CPUtime=1601.87 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 107895 0 0 0 159757 430 0 0 25 0 1 0 26227917 395517952 92678 1992294400 4194304 8395647 140736991092032 18446744073709551615 6731701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96562 92678 619 1026 0 95532 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 386248 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27926 /proc/meminfo: memFree=1253704/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=379604 CPUtime=1661.86 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 112209 0 0 0 165735 451 0 0 25 0 1 0 26227917 388714496 90091 1992294400 4194304 8395647 140736991092032 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 94901 90091 920 1026 0 93871 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 379604 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27928 /proc/meminfo: memFree=1245644/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=385272 CPUtime=1721.85 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 114293 0 0 0 171714 471 0 0 25 0 1 0 26227917 394518528 91819 1992294400 4194304 8395647 140736991092032 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96318 91819 643 1026 0 95288 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 385272 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27930 /proc/meminfo: memFree=1245644/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=385272 CPUtime=1781.83 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 114293 0 0 0 177693 490 0 0 25 0 1 0 26227917 394518528 91819 1992294400 4194304 8395647 140736991092032 18446744073709551615 6723806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96318 91819 643 1026 0 95288 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 385272 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27930 /proc/meminfo: memFree=1245644/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=385272 CPUtime=1785.03 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 114293 0 0 0 178012 491 0 0 25 0 1 0 26227917 394518528 91819 1992294400 4194304 8395647 140736991092032 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96318 91819 643 1026 0 95288 0 Current children cumulated CPU time (s) 1785.03 Current children cumulated vsize (KiB) 385272 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27930 /proc/meminfo: memFree=1245644/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=385272 CPUtime=1788.23 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 114293 0 0 0 178331 492 0 0 25 0 1 0 26227917 394518528 91819 1992294400 4194304 8395647 140736991092032 18446744073709551615 7382016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96318 91819 643 1026 0 95288 0 Current children cumulated CPU time (s) 1788.23 Current children cumulated vsize (KiB) 385272 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27930 /proc/meminfo: memFree=1245644/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=385272 CPUtime=1789.83 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 114293 0 0 0 178490 493 0 0 25 0 1 0 26227917 394518528 91819 1992294400 4194304 8395647 140736991092032 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96318 91819 643 1026 0 95288 0 Current children cumulated CPU time (s) 1789.83 Current children cumulated vsize (KiB) 385272 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27930 /proc/meminfo: memFree=1245644/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=385272 CPUtime=1790.63 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 114293 0 0 0 178570 493 0 0 25 0 1 0 26227917 394518528 91819 1992294400 4194304 8395647 140736991092032 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27878/statm: 96318 91819 643 1026 0 95288 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (KiB) 385272 [startup+1791.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27930 /proc/meminfo: memFree=1245644/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=385272 CPUtime=1791.03 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 114301 0 0 0 178610 493 0 0 25 0 1 0 26227917 394518528 91827 1992294400 4194304 8395647 140736991092032 18446744073709551615 4720721 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27878/statm: 96318 91827 651 1026 0 95288 0 Current children cumulated CPU time (s) 1791.03 Current children cumulated vsize (KiB) 385272 [startup+1791.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27930 /proc/meminfo: memFree=1245644/2059040 swapFree=4161224/4192956 [pid=27878] ppid=27876 vsize=385272 CPUtime=1791.23 /proc/27878/stat : 27878 (pbscip.linux.x8) R 27876 27878 27321 0 -1 4202496 114301 0 0 0 178630 493 0 0 25 0 1 0 26227917 394518528 91827 1992294400 4194304 8395647 140736991092032 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27878/statm: 96318 91827 651 1026 0 95288 0 Current children cumulated CPU time (s) 1791.23 Current children cumulated vsize (KiB) 385272 Child status: 0 Real time (s): 1791.79 CPU time (s): 1791.33 CPU user time (s): 1786.35 CPU system time (s): 4.97224 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 390140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.35 system time used= 4.97224 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114309 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= 1 involuntary context switches= 15058 runsolver used 2.93955 second user time and 8.5207 second system time The end
Begin job on node007 at 2010-07-08 11:09:04 IDJOB=2704808 IDBENCH=72402 IDSOLVER=1213 FILE ID=node007/2704808-1278580143 PBS_JOBID= 11240108 Free space on /tmp= 62528 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-lirc.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-2704808-1278580143/watcher-2704808-1278580143 -o /tmp/evaluation-result-2704808-1278580143/solver-2704808-1278580143 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704808-1278580143.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7c5d6b201be2ac433371a2eee1efc62b RANDOM SEED=1225543019 node007.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.256 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.51 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.256 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 : 5599.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1613096 kB Buffers: 93844 kB Cached: 233580 kB SwapCached: 1860 kB Active: 160436 kB Inactive: 196944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1613096 kB SwapTotal: 4192956 kB SwapFree: 4161224 kB Dirty: 14144 kB Writeback: 0 kB AnonPages: 28172 kB Mapped: 13100 kB Slab: 66624 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181360 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= 62516 MiB End job on node007 at 2010-07-08 11:38:56