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 | ? | 1790.23 | 1790.68 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-idle.cudf.trendy.opb |
MD5SUM | 70982811654623db9c913b43ef1298b0 |
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 | 4051635203206 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
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-2704805-1278580134.opb> 1.59/1.67 c original problem has 21105 variables (21105 bin, 0 int, 0 impl, 0 cont) and 100043 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) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130570 impls, 1557 clqs 2.69/2.77 c (round 2) 2471 del vars, 5109 del conss, 93 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161400 impls, 1549 clqs 2.79/2.87 c (round 3) 5455 del vars, 11959 del conss, 94 chg bounds, 0 chg sides, 11 chg coeffs, 0 upgd conss, 161501 impls, 1549 clqs 2.89/2.91 c (round 4) 5475 del vars, 12013 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 0 upgd conss, 161503 impls, 1549 clqs 2.89/2.95 c (round 5) 5493 del vars, 12065 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 0 upgd conss, 161503 impls, 1549 clqs 2.89/2.99 c (round 6) 5495 del vars, 12072 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 0 upgd conss, 161503 impls, 1549 clqs 3.59/3.69 c (round 7) 5502 del vars, 14229 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85775 upgd conss, 161503 impls, 1549 clqs 3.79/3.87 c (round 8) 5505 del vars, 14232 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85775 upgd conss, 161503 impls, 1549 clqs 3.99/4.00 c (round 9) 5505 del vars, 14233 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 161503 impls, 1549 clqs 13.38/13.41 c (round 10) 5555 del vars, 14233 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 350495 impls, 1549 clqs 13.38/13.48 c (round 11) 5555 del vars, 14314 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 350495 impls, 1549 clqs 13.59/13.60 c (round 12) 5555 del vars, 14360 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 350495 impls, 1549 clqs 23.29/23.39 c (round 13) 5605 del vars, 14361 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 446561 impls, 1548 clqs 23.49/23.50 c (round 14) 5605 del vars, 14411 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 446561 impls, 1548 clqs 23.59/23.63 c (round 15) 5605 del vars, 14461 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 446561 impls, 1548 clqs 28.28/28.38 c (26.7s) probing: 1000/15600 (6.4%) - 2 fixings, 114 aggregations, 77228 implications, 0 bound changes 36.48/36.53 c (round 16) 5655 del vars, 14461 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 478045 impls, 1547 clqs 36.48/36.60 c (round 17) 5655 del vars, 14548 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 478045 impls, 1547 clqs 36.68/36.72 c (round 18) 5655 del vars, 14599 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 478045 impls, 1547 clqs 42.08/42.13 c (round 19) 5705 del vars, 14599 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 487853 impls, 1547 clqs 42.18/42.24 c (round 20) 5705 del vars, 14649 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 487853 impls, 1547 clqs 42.28/42.37 c (round 21) 5705 del vars, 14701 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 487853 impls, 1547 clqs 47.77/47.88 c (round 22) 5755 del vars, 14701 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 506281 impls, 1547 clqs 47.87/47.99 c (round 23) 5755 del vars, 14756 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 506281 impls, 1547 clqs 48.08/48.11 c (round 24) 5755 del vars, 14802 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 506281 impls, 1547 clqs 49.28/49.32 c (47.6s) probing: 2000/15600 (12.8%) - 5 fixings, 246 aggregations, 97532 implications, 0 bound changes 58.88/58.93 c (round 25) 5805 del vars, 14802 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 550747 impls, 1547 clqs 58.98/59.04 c (round 26) 5805 del vars, 14848 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 550747 impls, 1547 clqs 59.08/59.17 c (round 27) 5805 del vars, 14903 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 550747 impls, 1547 clqs 66.48/66.57 c (round 28) 5855 del vars, 14903 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 560805 impls, 1547 clqs 66.58/66.69 c (round 29) 5855 del vars, 14956 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 560805 impls, 1547 clqs 66.78/66.81 c (round 30) 5855 del vars, 15004 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 560805 impls, 1547 clqs 68.58/68.68 c (67.0s) probing: 3000/15600 (19.2%) - 5 fixings, 352 aggregations, 124038 implications, 0 bound changes 74.78/74.81 c (round 31) 5905 del vars, 15004 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 577397 impls, 1546 clqs 74.87/74.92 c (round 32) 5905 del vars, 15052 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 577397 impls, 1546 clqs 74.97/75.05 c (round 33) 5905 del vars, 15114 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 577397 impls, 1546 clqs 82.27/82.37 c (round 34) 5955 del vars, 15114 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 586535 impls, 1546 clqs 82.38/82.48 c (round 35) 5955 del vars, 15163 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 586535 impls, 1546 clqs 82.57/82.61 c (round 36) 5955 del vars, 15215 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 586535 impls, 1546 clqs 87.27/87.36 c (85.7s) probing: 4000/15600 (25.6%) - 6 fixings, 489 aggregations, 137551 implications, 0 bound changes 87.88/87.93 c (round 37) 6005 del vars, 15215 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 591189 impls, 1545 clqs 87.88/87.99 c (round 38) 6005 del vars, 15278 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 591189 impls, 1545 clqs 88.07/88.12 c (round 39) 6005 del vars, 15324 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 591189 impls, 1545 clqs 95.87/95.90 c (round 40) 6055 del vars, 15324 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 599097 impls, 1544 clqs 95.97/96.01 c (round 41) 6055 del vars, 15374 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 599097 impls, 1544 clqs 96.07/96.14 c (round 42) 6055 del vars, 15423 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 599097 impls, 1544 clqs 104.47/104.55 c (round 43) 6105 del vars, 15423 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 608631 impls, 1544 clqs 104.57/104.66 c (round 44) 6105 del vars, 15470 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 608631 impls, 1544 clqs 104.67/104.78 c (round 45) 6105 del vars, 15520 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 608631 impls, 1544 clqs 105.47/105.55 c (103.9s) probing: 5000/15600 (32.1%) - 6 fixings, 594 aggregations, 146078 implications, 0 bound changes 114.27/114.35 c (round 46) 6155 del vars, 15520 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 621311 impls, 1543 clqs 114.37/114.46 c (round 47) 6155 del vars, 15570 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 621311 impls, 1543 clqs 114.46/114.59 c (round 48) 6155 del vars, 15620 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 621311 impls, 1543 clqs 120.66/120.72 c (round 49) 6205 del vars, 15620 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 628769 impls, 1543 clqs 120.76/120.83 c (round 50) 6205 del vars, 15668 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 628769 impls, 1543 clqs 120.87/120.96 c (round 51) 6205 del vars, 15724 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 628769 impls, 1543 clqs 123.07/123.17 c (121.5s) probing: 6000/15600 (38.5%) - 6 fixings, 707 aggregations, 155993 implications, 0 bound changes 126.37/126.43 c (round 52) 6256 del vars, 15724 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 632793 impls, 1543 clqs 126.47/126.54 c (round 53) 6256 del vars, 15772 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 632793 impls, 1543 clqs 126.56/126.67 c (round 54) 6256 del vars, 15824 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 632793 impls, 1543 clqs 131.56/131.68 c (round 55) 6306 del vars, 15824 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 638089 impls, 1543 clqs 131.76/131.80 c (round 56) 6306 del vars, 15873 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 638089 impls, 1543 clqs 131.86/131.93 c (round 57) 6306 del vars, 15923 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 638089 impls, 1543 clqs 140.45/140.50 c (138.8s) probing: 7000/15600 (44.9%) - 7 fixings, 843 aggregations, 162692 implications, 0 bound changes 140.45/140.58 c (round 58) 6356 del vars, 15923 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 643477 impls, 1542 clqs 140.55/140.64 c (round 59) 6356 del vars, 15975 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 643477 impls, 1542 clqs 140.66/140.77 c (round 60) 6356 del vars, 16020 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 643477 impls, 1542 clqs 150.35/150.40 c (round 61) 6406 del vars, 16020 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 651671 impls, 1542 clqs 150.45/150.51 c (round 62) 6406 del vars, 16064 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 651671 impls, 1542 clqs 150.56/150.64 c (round 63) 6406 del vars, 16120 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 651671 impls, 1542 clqs 157.45/157.55 c (155.9s) probing: 8000/15600 (51.3%) - 8 fixings, 928 aggregations, 171739 implications, 0 bound changes 161.56/161.65 c (round 64) 6456 del vars, 16120 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 663553 impls, 1542 clqs 161.66/161.77 c (round 65) 6456 del vars, 16173 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 663553 impls, 1542 clqs 161.75/161.90 c (round 66) 6456 del vars, 16221 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 663553 impls, 1542 clqs 170.46/170.56 c (round 67) 6506 del vars, 16221 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 675291 impls, 1542 clqs 170.55/170.67 c (round 68) 6506 del vars, 16269 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 675291 impls, 1542 clqs 170.75/170.80 c (round 69) 6506 del vars, 16318 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 675291 impls, 1542 clqs 174.65/174.76 c (173.1s) probing: 9000/15600 (57.7%) - 8 fixings, 1014 aggregations, 180740 implications, 0 bound changes 178.94/179.02 c (round 70) 6556 del vars, 16318 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 682441 impls, 1542 clqs 179.04/179.14 c (round 71) 6556 del vars, 16368 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 682441 impls, 1542 clqs 179.15/179.27 c (round 72) 6556 del vars, 16418 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 682441 impls, 1542 clqs 185.75/185.84 c (round 73) 6606 del vars, 16418 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 689793 impls, 1542 clqs 185.85/185.95 c (round 74) 6606 del vars, 16470 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 689793 impls, 1542 clqs 185.94/186.08 c (round 75) 6606 del vars, 16518 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 689793 impls, 1542 clqs 191.35/191.46 c (189.8s) probing: 10000/15600 (64.1%) - 10 fixings, 1138 aggregations, 189487 implications, 0 bound changes 191.54/191.67 c (round 76) 6656 del vars, 16518 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 695259 impls, 1542 clqs 191.64/191.79 c (round 77) 6656 del vars, 16570 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 695259 impls, 1542 clqs 191.84/191.92 c (round 78) 6656 del vars, 16621 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 695259 impls, 1542 clqs 197.34/197.47 c (round 79) 6706 del vars, 16621 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 712913 impls, 1542 clqs 197.44/197.59 c (round 80) 6706 del vars, 16670 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 712913 impls, 1542 clqs 197.64/197.72 c (round 81) 6706 del vars, 16724 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 712913 impls, 1542 clqs 203.84/203.99 c (round 82) 6756 del vars, 16724 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 729501 impls, 1542 clqs 204.04/204.11 c (round 83) 6756 del vars, 16769 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 729501 impls, 1542 clqs 204.14/204.24 c (round 84) 6756 del vars, 16818 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 729501 impls, 1542 clqs 207.14/207.20 c (round 85) 6806 del vars, 16818 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 731927 impls, 1542 clqs 207.24/207.32 c (round 86) 6806 del vars, 16867 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 731927 impls, 1542 clqs 207.34/207.45 c (round 87) 6806 del vars, 16917 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 731927 impls, 1542 clqs 208.64/208.79 c (207.1s) probing: 11000/15600 (70.5%) - 11 fixings, 1305 aggregations, 214765 implications, 0 bound changes 212.93/213.07 c (round 88) 6856 del vars, 16917 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 747641 impls, 1542 clqs 213.03/213.18 c (round 89) 6856 del vars, 16967 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 747641 impls, 1542 clqs 213.24/213.32 c (round 90) 6856 del vars, 17017 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 747641 impls, 1542 clqs 216.83/216.93 c (round 91) 6906 del vars, 17017 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 762043 impls, 1542 clqs 216.93/217.05 c (round 92) 6906 del vars, 17067 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 762043 impls, 1542 clqs 217.03/217.18 c (round 93) 6906 del vars, 17117 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 762043 impls, 1542 clqs 223.83/223.96 c (round 94) 6956 del vars, 17117 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 794389 impls, 1542 clqs 223.93/224.08 c (round 95) 6956 del vars, 17170 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 794389 impls, 1542 clqs 224.13/224.22 c (round 96) 6956 del vars, 17218 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 794389 impls, 1542 clqs 225.73/225.89 c (224.2s) probing: 12000/15600 (76.9%) - 12 fixings, 1450 aggregations, 244577 implications, 0 bound changes 228.74/228.84 c (round 97) 7006 del vars, 17218 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 800861 impls, 1542 clqs 228.83/228.95 c (round 98) 7006 del vars, 17268 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 800861 impls, 1542 clqs 228.93/229.09 c (round 99) 7006 del vars, 17315 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 800861 impls, 1542 clqs 233.73/233.87 c (round 100) 7056 del vars, 17315 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 815835 impls, 1542 clqs 233.94/234.03 c (round 101) 7056 del vars, 17367 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 815835 impls, 1542 clqs 234.04/234.17 c (round 102) 7056 del vars, 17417 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 815835 impls, 1542 clqs 240.74/240.86 c (round 103) 7106 del vars, 17417 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 838657 impls, 1542 clqs 240.84/240.98 c (round 104) 7106 del vars, 17468 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 838657 impls, 1542 clqs 241.03/241.12 c (round 105) 7106 del vars, 17519 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 838657 impls, 1542 clqs 242.73/242.89 c (241.2s) probing: 13000/15600 (83.3%) - 14 fixings, 1592 aggregations, 281268 implications, 0 bound changes 251.63/251.71 c (round 106) 7156 del vars, 17519 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 973373 impls, 1542 clqs 251.73/251.86 c (round 107) 7156 del vars, 17586 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 973373 impls, 1542 clqs 251.83/251.99 c (round 108) 7156 del vars, 17623 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 973373 impls, 1542 clqs 261.13/261.23 c (259.6s) probing: 14000/15600 (89.7%) - 22 fixings, 1655 aggregations, 370211 implications, 0 bound changes 280.62/280.79 c (279.1s) probing: 15000/15600 (96.2%) - 29 fixings, 1669 aggregations, 490221 implications, 0 bound changes 281.72/281.87 c (round 109) 7206 del vars, 17623 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 1239865 impls, 1542 clqs 281.82/282.00 c (round 110) 7210 del vars, 17686 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 1239875 impls, 1542 clqs 291.82/291.95 c (round 111) 7213 del vars, 17690 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 1306219 impls, 1542 clqs 292.01/292.10 c (round 112) 7213 del vars, 17734 del conss, 94 chg bounds, 1 chg sides, 12 chg coeffs, 85812 upgd conss, 1306219 impls, 1542 clqs 292.11/292.25 c presolving (113 rounds): 292.11/292.25 c 7213 deleted vars, 17734 deleted constraints, 94 tightened bounds, 0 added holes, 1 changed sides, 12 changed coefficients 292.11/292.25 c 1306219 implications, 1542 cliques 292.11/292.25 c presolved problem has 13892 variables (13892 bin, 0 int, 0 impl, 0 cont) and 82310 constraints 292.11/292.25 c 23525 constraints of type <setppc> 292.11/292.25 c 58785 constraints of type <logicor> 292.11/292.25 c transformed objective value is always integral (scale: 1) 292.11/292.25 c Presolving Time: 290.20 292.11/292.25 c - non default parameters ---------------------------------------------------------------------- 292.11/292.25 c # SCIP version 1.2.1.3 292.11/292.25 c 292.11/292.25 c # frequency for displaying node information lines 292.11/292.25 c # [type: int, range: [-1,2147483647], default: 100] 292.11/292.25 c display/freq = 10000 292.11/292.25 c 292.11/292.25 c # maximal time in seconds to run 292.11/292.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 292.11/292.25 c limits/time = 1788.33 292.11/292.25 c 292.11/292.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 292.11/292.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 292.11/292.25 c limits/memory = 1620 292.11/292.25 c 292.11/292.25 c # default clock type (1: CPU user seconds, 2: wall clock time) 292.11/292.25 c # [type: int, range: [1,2], default: 1] 292.11/292.25 c timing/clocktype = 2 292.11/292.25 c 292.11/292.25 c # should presolving try to simplify inequalities 292.11/292.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 292.11/292.25 c constraints/linear/simplifyinequalities = TRUE 292.11/292.25 c 292.11/292.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 292.11/292.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 292.11/292.25 c constraints/indicator/addCouplingCons = TRUE 292.11/292.25 c 292.11/292.25 c # should presolving try to simplify knapsacks 292.11/292.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 292.11/292.25 c constraints/knapsack/simplifyinequalities = TRUE 292.11/292.25 c 292.11/292.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 292.11/292.25 c # [type: int, range: [-1,2147483647], default: -1] 292.11/292.25 c separating/rapidlearning/freq = 0 292.11/292.25 c 292.11/292.25 c ----------------------------------------------------------------------------------------------- 292.11/292.25 c start solving 292.11/292.27 c 324.31/324.40 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.40 c 323s| 1 | 2 | 13826 | - | 187M| 0 | - | 13k| 82k| 13k| 80k| 0 | 0 | 0 | 5.550896e+11 | -- | Inf 1789.65/1790.11 c 1789.65/1790.11 c SCIP Status : solving was interrupted [time limit reached] 1789.65/1790.11 c Solving Time (sec) : 1788.44 1789.65/1790.11 c Solving Nodes : 109 1789.65/1790.11 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.65/1790.11 c Dual Bound : +5.55089562435000e+11 1789.65/1790.11 c Gap : infinite 1789.65/1790.11 s UNKNOWN 1789.65/1790.11 c SCIP Status : solving was interrupted [time limit reached] 1789.65/1790.11 c Solving Time : 1788.44 1789.65/1790.11 c Original Problem : 1789.65/1790.11 c Problem name : HOME/instance-2704805-1278580134.opb 1789.65/1790.11 c Variables : 21105 (21105 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.65/1790.11 c Constraints : 100043 initial, 100043 maximal 1789.65/1790.11 c Presolved Problem : 1789.65/1790.11 c Problem name : t_HOME/instance-2704805-1278580134.opb 1789.65/1790.11 c Variables : 13892 (13892 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.65/1790.11 c Constraints : 82310 initial, 82315 maximal 1789.65/1790.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.65/1790.11 c trivial : 0.31 3 0 0 0 0 0 0 0 1789.65/1790.11 c dualfix : 0.37 4146 0 0 0 0 0 0 0 1789.65/1790.11 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.65/1790.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.65/1790.11 c implics : 0.74 0 35 0 0 0 0 0 0 1789.65/1790.11 c probing : 275.27 32 1672 0 0 0 0 0 0 1789.65/1790.11 c setppc : 3.17 0 0 0 0 0 3431 0 0 1789.65/1790.11 c linear : 1.12 91 1234 0 94 0 14231 1 12 1789.65/1790.11 c logicor : 8.81 0 0 0 0 0 72 0 0 1789.65/1790.11 c root node : - 0 - - 0 - - - - 1789.65/1790.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.65/1790.11 c integral : 0 0 0 0 0 0 0 0 0 0 1789.65/1790.11 c setppc : 23525 0 47190 0 106 7 2880 0 0 0 1789.65/1790.11 c logicor : 58785+ 0 39790 0 106 25 3359 0 0 0 1789.65/1790.11 c countsols : 0 0 0 0 106 0 0 0 0 0 1789.65/1790.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.65/1790.11 c integral : 0.00 0.00 0.00 0.00 0.00 1789.65/1790.11 c setppc : 200.61 0.00 198.80 0.00 1.81 1789.65/1790.11 c logicor : 12.03 0.00 6.35 0.00 5.68 1789.65/1790.11 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.65/1790.11 c Propagators : Time Calls Cutoffs DomReds 1789.65/1790.11 c vbounds : 0.06 2 0 0 1789.65/1790.11 c rootredcost : 0.03 0 0 0 1789.65/1790.11 c pseudoobj : 0.40 281 0 0 1789.65/1790.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.65/1790.11 c propagation : 0.00 3 3 6 4.2 0 0.0 - 1789.65/1790.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1789.65/1790.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.65/1790.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.65/1790.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.65/1790.11 c applied globally : - - - 5 4.2 - - - 1789.65/1790.11 c applied locally : - - - 0 0.0 - - - 1789.65/1790.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.65/1790.11 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1789.65/1790.11 c redcost : 0.00 0 0 0 0 0 1789.65/1790.11 c impliedbounds : 0.00 0 0 0 0 0 1789.65/1790.11 c intobj : 0.00 0 0 0 0 0 1789.65/1790.11 c cgmip : 0.00 0 0 0 0 0 1789.65/1790.11 c gomory : 0.00 0 0 0 0 0 1789.65/1790.11 c strongcg : 0.00 0 0 0 0 0 1789.65/1790.11 c cmir : 0.00 0 0 0 0 0 1789.65/1790.11 c flowcover : 0.00 0 0 0 0 0 1789.65/1790.11 c clique : 0.00 0 0 0 0 0 1789.65/1790.11 c zerohalf : 0.00 0 0 0 0 0 1789.65/1790.11 c mcf : 0.00 0 0 0 0 0 1789.65/1790.11 c rapidlearning : 0.00 0 0 0 0 0 1789.65/1790.11 c Pricers : Time Calls Vars 1789.65/1790.11 c problem variables: 0.00 0 0 1789.65/1790.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.65/1790.11 c relpscost : 0.00 0 0 0 0 0 0 1789.65/1790.11 c pscost : 0.00 0 0 0 0 0 0 1789.65/1790.11 c inference : 0.77 106 0 0 0 0 212 1789.65/1790.11 c mostinf : 0.00 0 0 0 0 0 0 1789.65/1790.11 c leastinf : 0.00 0 0 0 0 0 0 1789.65/1790.11 c fullstrong : 0.00 0 0 0 0 0 0 1789.65/1790.11 c allfullstrong : 0.00 0 0 0 0 0 0 1789.65/1790.11 c random : 0.00 0 0 0 0 0 0 1789.65/1790.11 c Primal Heuristics : Time Calls Found 1789.65/1790.11 c LP solutions : 0.00 - 0 1789.65/1790.11 c pseudo solutions : 0.00 - 0 1789.65/1790.11 c oneopt : 0.00 0 0 1789.65/1790.11 c coefdiving : 0.00 0 0 1789.65/1790.11 c pscostdiving : 0.00 0 0 1789.65/1790.11 c fracdiving : 0.00 0 0 1789.65/1790.11 c veclendiving : 0.00 0 0 1789.65/1790.11 c objpscostdiving : 0.00 0 0 1789.65/1790.11 c rootsoldiving : 0.00 0 0 1789.65/1790.11 c linesearchdiving : 0.00 0 0 1789.65/1790.11 c guideddiving : 0.00 0 0 1789.65/1790.11 c crossover : 0.00 0 0 1789.65/1790.11 c intshifting : 0.00 0 0 1789.65/1790.11 c trivial : 0.08 2 0 1789.65/1790.11 c simplerounding : 0.00 0 0 1789.65/1790.11 c zirounding : 0.00 0 0 1789.65/1790.11 c rounding : 0.00 0 0 1789.65/1790.11 c shifting : 0.00 0 0 1789.65/1790.11 c twoopt : 0.00 0 0 1789.65/1790.11 c fixandinfer : 0.00 0 0 1789.65/1790.11 c feaspump : 0.00 0 0 1789.65/1790.11 c intdiving : 0.00 0 0 1789.65/1790.11 c actconsdiving : 0.00 0 0 1789.65/1790.11 c octane : 0.00 0 0 1789.65/1790.11 c rens : 0.00 0 0 1789.65/1790.11 c rins : 0.00 0 0 1789.65/1790.11 c localbranching : 0.00 0 0 1789.65/1790.11 c mutation : 0.00 0 0 1789.65/1790.11 c dins : 0.00 0 0 1789.65/1790.11 c undercover : 0.00 0 0 1789.65/1790.11 c nlp : 0.00 0 0 1789.65/1790.11 c trysol : 0.00 0 0 1789.65/1790.11 c LP : Time Calls Iterations Iter/call Iter/sec 1789.65/1790.11 c primal LP : 0.00 0 0 0.00 - 1789.65/1790.11 c dual LP : 1481.92 151 676050 4477.15 456.20 1789.65/1790.11 c lex dual LP : 0.00 0 0 0.00 - 1789.65/1790.11 c barrier LP : 0.00 0 0 0.00 - 1789.65/1790.11 c diving/probing LP: 0.00 0 0 0.00 - 1789.65/1790.11 c strong branching : 0.00 0 0 0.00 - 1789.65/1790.11 c (at root node) : - 0 0 0.00 - 1789.65/1790.11 c conflict analysis: 0.00 0 0 0.00 - 1789.65/1790.11 c B&B Tree : 1789.65/1790.11 c number of runs : 1 1789.65/1790.11 c nodes : 109 1789.65/1790.11 c nodes (total) : 109 1789.65/1790.11 c nodes left : 104 1789.65/1790.11 c max depth : 19 1789.65/1790.11 c max depth (total): 19 1789.65/1790.11 c backtracks : 10 (9.2%) 1789.65/1790.11 c delayed cutoffs : 0 1789.65/1790.11 c repropagations : 11 (5 domain reductions, 0 cutoffs) 1789.65/1790.11 c avg switch length: 2.15 1789.65/1790.11 c switching time : 0.06 1789.65/1790.11 c Solution : 1789.65/1790.11 c Solutions found : 0 (0 improvements) 1789.65/1790.11 c Primal Bound : - 1789.65/1790.11 c Dual Bound : +5.55089562435000e+11 1789.65/1790.11 c Gap : infinite 1789.65/1790.11 c Root Dual Bound : +5.55089562433000e+11 1789.65/1790.11 c Root Iterations : 13826 1790.14/1790.68 c Time complete: 1790.22.
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-2704805-1278580134/watcher-2704805-1278580134 -o /tmp/evaluation-result-2704805-1278580134/solver-2704805-1278580134 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704805-1278580134.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.00 1.00 0.96 3/106 28579 /proc/meminfo: memFree=1666168/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=7904 CPUtime=0 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 1074 0 0 0 0 0 0 0 20 0 1 0 26225700 8093696 985 1992294400 4194304 8395647 140736100541232 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28579/statm: 1976 993 365 1026 0 946 0 [startup+0.0642261 s] /proc/loadavg: 1.00 1.00 0.96 3/106 28579 /proc/meminfo: memFree=1666168/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=17840 CPUtime=0.05 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 3766 0 0 0 5 0 0 0 20 0 1 0 26225700 18268160 3671 1992294400 4194304 8395647 140736100541232 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28579/statm: 4460 3671 394 1026 0 3430 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 17840 [startup+0.101229 s] /proc/loadavg: 1.00 1.00 0.96 3/106 28579 /proc/meminfo: memFree=1666168/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=19980 CPUtime=0.09 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 4324 0 0 0 8 1 0 0 20 0 1 0 26225700 20459520 4229 1992294400 4194304 8395647 140736100541232 18446744073709551615 6013843 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28579/statm: 4995 4229 394 1026 0 3965 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19980 [startup+0.301248 s] /proc/loadavg: 1.00 1.00 0.96 3/106 28579 /proc/meminfo: memFree=1666168/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=26740 CPUtime=0.29 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 6008 0 0 0 28 1 0 0 20 0 1 0 26225700 27381760 5913 1992294400 4194304 8395647 140736100541232 18446744073709551615 6767073 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28579/statm: 6685 5913 394 1026 0 5655 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26740 [startup+0.700287 s] /proc/loadavg: 1.00 1.00 0.96 3/106 28579 /proc/meminfo: memFree=1666168/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=38588 CPUtime=0.69 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 8959 0 0 0 67 2 0 0 20 0 1 0 26225700 39514112 8864 1992294400 4194304 8395647 140736100541232 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28579/statm: 9647 8864 394 1026 0 8617 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38588 [startup+1.50036 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28581 /proc/meminfo: memFree=1625860/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=59560 CPUtime=1.49 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 14171 0 0 0 145 4 0 0 22 0 1 0 26225700 60989440 14076 1992294400 4194304 8395647 140736100541232 18446744073709551615 7382051 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28579/statm: 14890 14076 394 1026 0 13860 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59560 [startup+3.10052 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28581 /proc/meminfo: memFree=1519096/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=180600 CPUtime=3.09 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 43576 0 0 0 295 14 0 0 25 0 1 0 26225700 184934400 43127 1992294400 4194304 8395647 140736100541232 18446744073709551615 4288158 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 45150 43127 476 1026 0 44120 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180600 [startup+6.30082 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28581 /proc/meminfo: memFree=1470488/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=204764 CPUtime=6.29 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 53067 0 0 0 612 17 0 0 25 0 1 0 26225700 209678336 49165 1992294400 4194304 8395647 140736100541232 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 51191 49165 527 1026 0 50161 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 204764 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28582 /proc/meminfo: memFree=1470488/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=204764 CPUtime=12.68 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 53097 0 0 0 1251 17 0 0 25 0 1 0 26225700 209678336 49176 1992294400 4194304 8395647 140736100541232 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 51191 49176 508 1026 0 50161 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 204764 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28582 /proc/meminfo: memFree=1464040/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=211132 CPUtime=25.49 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 54718 0 0 0 2531 18 0 0 25 0 1 0 26225700 216199168 50797 1992294400 4194304 8395647 140736100541232 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 52783 50797 508 1026 0 51753 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 211132 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28582 /proc/meminfo: memFree=1459948/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=215196 CPUtime=51.08 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 55744 0 0 0 5089 19 0 0 25 0 1 0 26225700 220360704 51823 1992294400 4194304 8395647 140736100541232 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 53799 51823 514 1026 0 52769 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 215196 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28584 /proc/meminfo: memFree=1456972/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=217988 CPUtime=102.27 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 56465 0 0 0 10208 19 0 0 25 0 1 0 26225700 223219712 52544 1992294400 4194304 8395647 140736100541232 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 54497 52544 514 1026 0 53467 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 217988 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28586 /proc/meminfo: memFree=1453872/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=221112 CPUtime=162.25 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 57249 0 0 0 16206 19 0 0 25 0 1 0 26225700 226418688 53328 1992294400 4194304 8395647 140736100541232 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 55278 53328 514 1026 0 54248 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 221112 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28586 /proc/meminfo: memFree=1451640/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=222904 CPUtime=222.23 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 57794 0 0 0 22204 19 0 0 25 0 1 0 26225700 228253696 53873 1992294400 4194304 8395647 140736100541232 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 55726 53873 514 1026 0 54696 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 222904 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28588 /proc/meminfo: memFree=1439488/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=242940 CPUtime=282.22 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 62839 0 0 0 28201 21 0 0 25 0 1 0 26225700 248770560 58918 1992294400 4194304 8395647 140736100541232 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 60735 58918 514 1026 0 59705 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 242940 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28590 /proc/meminfo: memFree=1334088/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=346640 CPUtime=342.21 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 113755 0 0 0 34168 53 0 0 25 0 1 0 26225700 354959360 83155 1992294400 4194304 8395647 140736100541232 18446744073709551615 6739521 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 86660 83155 631 1026 0 85630 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 346640 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28592 /proc/meminfo: memFree=1309660/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=346640 CPUtime=402.19 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 148083 0 0 0 40139 80 0 0 25 0 1 0 26225700 354959360 83156 1992294400 4194304 8395647 140736100541232 18446744073709551615 6740408 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 86660 83156 631 1026 0 85630 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 346640 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28594 /proc/meminfo: memFree=1327144/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=365372 CPUtime=462.17 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 179333 0 0 0 46111 106 0 0 25 0 1 0 26225700 374140928 85948 1992294400 4194304 8395647 140736100541232 18446744073709551615 6746628 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 91343 85948 734 1026 0 90313 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 365372 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28594 /proc/meminfo: memFree=1329500/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=366168 CPUtime=522.16 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 208184 0 0 0 52081 135 0 0 25 0 1 0 26225700 374956032 85672 1992294400 4194304 8395647 140736100541232 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 91542 85672 1015 1026 0 90512 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 366168 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28596 /proc/meminfo: memFree=1320324/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=368448 CPUtime=582.15 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 237929 0 0 0 58051 164 0 0 25 0 1 0 26225700 377290752 86929 1992294400 4194304 8395647 140736100541232 18446744073709551615 6636350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 92112 86929 742 1026 0 91082 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 368448 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28601 /proc/meminfo: memFree=1320448/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=369256 CPUtime=642.14 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 266504 0 0 0 64025 189 0 0 25 0 1 0 26225700 378118144 86506 1992294400 4194304 8395647 140736100541232 18446744073709551615 6721246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 92314 86506 626 1026 0 91284 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 369256 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1308172/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=374984 CPUtime=1062.03 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 489621 0 0 0 105812 391 0 0 25 0 1 0 26225700 383983616 90216 1992294400 4194304 8395647 140736100541232 18446744073709551615 6731701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 93746 90216 661 1026 0 92716 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 374984 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28613 /proc/meminfo: memFree=1319084/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=366764 CPUtime=1122.01 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 524763 0 0 0 111781 420 0 0 25 0 1 0 26225700 375566336 87034 1992294400 4194304 8395647 140736100541232 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 91691 87034 785 1026 0 90661 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 366764 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28615 /proc/meminfo: memFree=1314248/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=375744 CPUtime=1182 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 555950 0 0 0 117753 447 0 0 25 0 1 0 26225700 384761856 88285 1992294400 4194304 8395647 140736100541232 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 93936 88285 615 1026 0 92906 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 375744 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28617 /proc/meminfo: memFree=1321812/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=366556 CPUtime=1241.97 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 592082 0 0 0 123724 473 0 0 25 0 1 0 26225700 375353344 86961 1992294400 4194304 8395647 140736100541232 18446744073709551615 7382020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 91639 86961 799 1026 0 90609 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 366556 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28619 /proc/meminfo: memFree=1311024/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=374160 CPUtime=1301.97 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 623823 0 0 0 129693 504 0 0 25 0 1 0 26225700 383139840 89026 1992294400 4194304 8395647 140736100541232 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 93540 89026 875 1026 0 92510 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 374160 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28621 /proc/meminfo: memFree=1314992/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=371020 CPUtime=1361.94 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 659687 0 0 0 135660 534 0 0 25 0 1 0 26225700 379924480 88059 1992294400 4194304 8395647 140736100541232 18446744073709551615 6636359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 92755 88059 642 1026 0 91725 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 371020 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28621 /proc/meminfo: memFree=1311520/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=373796 CPUtime=1421.94 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 692428 0 0 0 141629 565 0 0 25 0 1 0 26225700 382767104 88619 1992294400 4194304 8395647 140736100541232 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 93449 88619 612 1026 0 92419 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 373796 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28623 /proc/meminfo: memFree=1302716/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=384012 CPUtime=1481.92 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 717788 0 0 0 147602 590 0 0 25 0 1 0 26225700 393228288 90810 1992294400 4194304 8395647 140736100541232 18446744073709551615 6723581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 96003 90810 611 1026 0 94973 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 384012 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28625 /proc/meminfo: memFree=1325780/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=365144 CPUtime=1541.9 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 750766 0 0 0 153570 620 0 0 25 0 1 0 26225700 373907456 85408 1992294400 4194304 8395647 140736100541232 18446744073709551615 6723471 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 91286 85408 664 1026 0 90256 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 365144 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28627 /proc/meminfo: memFree=1309412/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=375740 CPUtime=1601.89 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 786782 0 0 0 159539 650 0 0 25 0 1 0 26225700 384757760 89657 1992294400 4194304 8395647 140736100541232 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 93935 89657 632 1026 0 92905 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 375740 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28629 /proc/meminfo: memFree=1315364/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=373628 CPUtime=1661.88 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 814531 0 0 0 165512 676 0 0 25 0 1 0 26225700 382595072 87903 1992294400 4194304 8395647 140736100541232 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 93407 87903 661 1026 0 92377 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 373628 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 28629 /proc/meminfo: memFree=1332972/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=350092 CPUtime=1721.86 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 846610 0 0 0 171483 703 0 0 25 0 1 0 26225700 358494208 83974 1992294400 4194304 8395647 140736100541232 18446744073709551615 6752542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 87523 83974 738 1026 0 86493 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 350092 [startup+1782.3 s] /proc/loadavg: 1.04 1.01 0.97 2/107 28631 /proc/meminfo: memFree=1309412/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=376396 CPUtime=1781.84 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 881772 0 0 0 177449 735 0 0 25 0 1 0 26225700 385429504 89395 1992294400 4194304 8395647 140736100541232 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 94099 89395 806 1026 0 93069 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 376396 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.03 1.01 0.97 2/107 28631 /proc/meminfo: memFree=1306808/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=382180 CPUtime=1785.04 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 883881 0 0 0 177767 737 0 0 25 0 1 0 26225700 391352320 91314 1992294400 4194304 8395647 140736100541232 18446744073709551615 6708612 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 95545 91314 748 1026 0 94515 0 Current children cumulated CPU time (s) 1785.04 Current children cumulated vsize (KiB) 382180 [startup+1788.7 s] /proc/loadavg: 1.11 1.03 0.97 2/107 28631 /proc/meminfo: memFree=1301476/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=382180 CPUtime=1788.24 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 883882 0 0 0 178087 737 0 0 25 0 1 0 26225700 391352320 91315 1992294400 4194304 8395647 140736100541232 18446744073709551615 6708293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 95545 91315 748 1026 0 94515 0 Current children cumulated CPU time (s) 1788.24 Current children cumulated vsize (KiB) 382180 [startup+1789.5 s] /proc/loadavg: 1.11 1.03 0.97 2/107 28631 /proc/meminfo: memFree=1301476/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=382180 CPUtime=1789.05 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 884052 0 0 0 178167 738 0 0 25 0 1 0 26225700 391352320 91407 1992294400 4194304 8395647 140736100541232 18446744073709551615 6708309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28579/statm: 95545 91407 723 1026 0 94515 0 Current children cumulated CPU time (s) 1789.05 Current children cumulated vsize (KiB) 382180 [startup+1790.3 s] /proc/loadavg: 1.11 1.03 0.97 2/107 28631 /proc/meminfo: memFree=1300980/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=382180 CPUtime=1789.84 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 884058 0 0 0 178246 738 0 0 25 0 1 0 26225700 391352320 91413 1992294400 4194304 8395647 140736100541232 18446744073709551615 6150528 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28579/statm: 95545 91413 729 1026 0 94515 0 Current children cumulated CPU time (s) 1789.84 Current children cumulated vsize (KiB) 382180 [startup+1790.5 s] /proc/loadavg: 1.11 1.03 0.97 2/107 28631 /proc/meminfo: memFree=1300980/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=382180 CPUtime=1790.04 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 884060 0 0 0 178266 738 0 0 25 0 1 0 26225700 391352320 91415 1992294400 4194304 8395647 140736100541232 18446744073709551615 6345713 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28579/statm: 95545 91415 731 1026 0 94515 0 Current children cumulated CPU time (s) 1790.04 Current children cumulated vsize (KiB) 382180 [startup+1790.6 s] /proc/loadavg: 1.11 1.03 0.97 2/107 28631 /proc/meminfo: memFree=1300980/2059040 swapFree=4139400/4192956 [pid=28579] ppid=28577 vsize=334784 CPUtime=1790.14 /proc/28579/stat : 28579 (pbscip.linux.x8) R 28577 28579 28163 0 -1 4202496 884060 0 0 0 178276 738 0 0 25 0 1 0 26225700 342818816 80285 1992294400 4194304 8395647 140736100541232 18446744073709551615 6345891 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28579/statm: 83696 80285 624 1026 0 82666 0 Current children cumulated CPU time (s) 1790.14 Current children cumulated vsize (KiB) 334784 Child status: 0 Real time (s): 1790.68 CPU time (s): 1790.23 CPU user time (s): 1782.81 CPU system time (s): 7.42487 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 384012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.81 system time used= 7.42487 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 884067 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= 3252 runsolver used 2.93855 second user time and 8.49371 second system time The end
Begin job on node018 at 2010-07-08 11:08:54 IDJOB=2704805 IDBENCH=72394 IDSOLVER=1213 FILE ID=node018/2704805-1278580134 PBS_JOBID= 11240099 Free space on /tmp= 62516 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-idle.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-2704805-1278580134/watcher-2704805-1278580134 -o /tmp/evaluation-result-2704805-1278580134/solver-2704805-1278580134 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704805-1278580134.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 70982811654623db9c913b43ef1298b0 RANDOM SEED=1780699519 node018.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.248 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.49 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.248 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1666572 kB Buffers: 81636 kB Cached: 221424 kB SwapCached: 7832 kB Active: 168528 kB Inactive: 149288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1666572 kB SwapTotal: 4192956 kB SwapFree: 4139400 kB Dirty: 14060 kB Writeback: 8 kB AnonPages: 12200 kB Mapped: 12008 kB Slab: 52628 kB PageTables: 4216 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181080 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= 62508 MiB End job on node018 at 2010-07-08 11:38:45