| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1790.34 | 1790.63 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/ 10orplus/normalized-libdbd-pg-perl.cudf.trendy.opb |
| MD5SUM | 81221b652f13d6452852d67d502e0110 |
| 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 | 3887655178043 |
| Best CPU time to get the best result obtained on this benchmark | 1800.2 |
| 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 | 21101 |
| Total number of constraints | 100032 |
| Number of constraints which are clauses | 98467 |
| 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 | 8586 |
| Biggest coefficient in the objective function | 79229972375 |
| Number of bits for the biggest coefficient in the objective function | 37 |
| Sum of the numbers in the objective function | 234599911309658 |
| Number of bits of the sum of numbers in the objective function | 48 |
| Biggest number in a constraint | 79229972375 |
| Number of bits of the biggest number in a constraint | 37 |
| Biggest sum of numbers in a constraint | 234599911309658 |
| 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-3739250-1338728495.opb>
0.59/0.69 c original problem has 21101 variables (21101 bin, 0 int, 0 impl, 0 cont) and 100032 constraints
0.59/0.69 c problem read
0.59/0.69 c presolving settings loaded
0.78/0.89 c presolving:
1.00/1.08 c (round 1) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130362 impls, 1557 clqs
1.09/1.11 c (round 2) 2421 del vars, 5020 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161769 impls, 1557 clqs
1.09/1.13 c (round 3) 2496 del vars, 5152 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161771 impls, 1557 clqs
1.09/1.16 c (round 4) 5424 del vars, 11031 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161771 impls, 1557 clqs
1.09/1.17 c (round 5) 5446 del vars, 11085 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161771 impls, 1557 clqs
1.09/1.18 c (round 6) 5457 del vars, 11101 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161771 impls, 1557 clqs
1.39/1.46 c (round 7) 5464 del vars, 13409 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86591 upgd conss, 161771 impls, 1557 clqs
1.49/1.53 c (round 8) 5467 del vars, 13412 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86591 upgd conss, 161771 impls, 1557 clqs
1.49/1.58 c (round 9) 5467 del vars, 13413 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 161771 impls, 1557 clqs
2.89/2.98 c (round 10) 5557 del vars, 13413 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 313593 impls, 1537 clqs
2.99/3.00 c (round 11) 5572 del vars, 13941 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 314275 impls, 1537 clqs
2.99/3.02 c (round 12) 5573 del vars, 13983 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 314275 impls, 1537 clqs
2.99/3.07 c (round 13) 5573 del vars, 14015 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 314275 impls, 1537 clqs
5.39/5.48 c (round 14) 5623 del vars, 14015 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 412479 impls, 1535 clqs
5.49/5.50 c (round 15) 5623 del vars, 14077 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 412483 impls, 1535 clqs
5.49/5.55 c (round 16) 5623 del vars, 14119 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 412483 impls, 1535 clqs
6.98/7.00 c (6.3s) probing: 1000/15634 (6.4%) - 63 fixings, 105 aggregations, 68497 implications, 0 bound changes
7.88/7.94 c (round 17) 5673 del vars, 14120 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 445233 impls, 1535 clqs
7.88/7.98 c (round 18) 5673 del vars, 14168 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 445233 impls, 1535 clqs
7.98/8.03 c (round 19) 5673 del vars, 14225 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 445233 impls, 1535 clqs
9.08/9.13 c (round 20) 5723 del vars, 14225 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 454995 impls, 1534 clqs
9.08/9.17 c (round 21) 5723 del vars, 14275 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 454995 impls, 1534 clqs
9.18/9.22 c (round 22) 5723 del vars, 14325 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 454995 impls, 1534 clqs
10.08/10.12 c (round 23) 5773 del vars, 14325 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 469281 impls, 1534 clqs
10.08/10.16 c (round 24) 5773 del vars, 14378 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 469281 impls, 1534 clqs
10.18/10.20 c (round 25) 5773 del vars, 14426 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 469281 impls, 1534 clqs
10.89/10.95 c (10.3s) probing: 2000/15634 (12.8%) - 64 fixings, 238 aggregations, 88711 implications, 0 bound changes
12.18/12.22 c (round 26) 5823 del vars, 14426 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 504533 impls, 1532 clqs
12.18/12.24 c (round 27) 5824 del vars, 14506 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 504547 impls, 1532 clqs
12.18/12.29 c (round 28) 5824 del vars, 14557 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 504547 impls, 1532 clqs
13.48/13.52 c (round 29) 5874 del vars, 14557 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 515069 impls, 1531 clqs
13.48/13.54 c (round 30) 5875 del vars, 14608 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 515085 impls, 1531 clqs
13.48/13.59 c (round 31) 5875 del vars, 14660 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 515085 impls, 1531 clqs
14.38/14.41 c (13.7s) probing: 3000/15634 (19.2%) - 68 fixings, 347 aggregations, 108565 implications, 0 bound changes
14.68/14.79 c (round 32) 5925 del vars, 14660 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 530833 impls, 1530 clqs
14.78/14.81 c (round 33) 5925 del vars, 14732 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 530833 impls, 1530 clqs
14.78/14.87 c (round 34) 5925 del vars, 14793 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 530833 impls, 1530 clqs
16.08/16.16 c (round 35) 5975 del vars, 14793 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 536281 impls, 1530 clqs
16.18/16.20 c (round 36) 5975 del vars, 14841 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 536281 impls, 1530 clqs
16.18/16.24 c (round 37) 5975 del vars, 14893 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 536281 impls, 1530 clqs
17.08/17.18 c (round 38) 6025 del vars, 14893 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 542833 impls, 1529 clqs
17.18/17.22 c (round 39) 6025 del vars, 14941 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 542833 impls, 1529 clqs
17.18/17.27 c (round 40) 6025 del vars, 14988 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 542833 impls, 1529 clqs
17.59/17.69 c (17.0s) probing: 4000/15634 (25.6%) - 70 fixings, 487 aggregations, 115638 implications, 0 bound changes
18.28/18.39 c (round 41) 6075 del vars, 14988 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 548511 impls, 1528 clqs
18.38/18.41 c (round 42) 6075 del vars, 15052 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 548511 impls, 1528 clqs
18.38/18.45 c (round 43) 6075 del vars, 15100 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 548511 impls, 1528 clqs
19.88/19.91 c (round 44) 6125 del vars, 15100 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 559305 impls, 1528 clqs
19.88/19.95 c (round 45) 6125 del vars, 15145 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 559305 impls, 1528 clqs
19.98/20.00 c (round 46) 6125 del vars, 15194 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 559305 impls, 1528 clqs
20.68/20.73 c (20.0s) probing: 5000/15634 (32.0%) - 73 fixings, 600 aggregations, 125073 implications, 0 bound changes
21.18/21.25 c (round 47) 6175 del vars, 15194 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 570559 impls, 1527 clqs
21.18/21.28 c (round 48) 6176 del vars, 15263 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 570561 impls, 1527 clqs
22.28/22.34 c (round 49) 6226 del vars, 15264 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 578081 impls, 1526 clqs
22.28/22.38 c (round 50) 6226 del vars, 15314 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 578081 impls, 1526 clqs
22.38/22.43 c (round 51) 6226 del vars, 15411 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 578081 impls, 1526 clqs
23.68/23.70 c (round 52) 6276 del vars, 15411 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 587985 impls, 1526 clqs
23.68/23.74 c (round 53) 6276 del vars, 15457 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 587985 impls, 1526 clqs
23.68/23.78 c (round 54) 6276 del vars, 15513 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 587985 impls, 1526 clqs
23.78/23.86 c (23.2s) probing: 6000/15634 (38.4%) - 74 fixings, 716 aggregations, 136934 implications, 0 bound changes
24.78/24.84 c (round 55) 6326 del vars, 15513 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 593517 impls, 1526 clqs
24.78/24.88 c (round 56) 6329 del vars, 15562 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 593535 impls, 1526 clqs
25.78/25.83 c (round 57) 6379 del vars, 15566 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 596699 impls, 1526 clqs
25.78/25.87 c (round 58) 6379 del vars, 15615 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 596699 impls, 1526 clqs
25.88/25.93 c (round 59) 6379 del vars, 15717 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 596699 impls, 1526 clqs
26.68/26.70 c (26.0s) probing: 7000/15634 (44.8%) - 76 fixings, 838 aggregations, 141859 implications, 0 bound changes
27.18/27.22 c (round 60) 6429 del vars, 15717 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 601245 impls, 1526 clqs
27.18/27.26 c (round 61) 6429 del vars, 15764 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 601245 impls, 1526 clqs
27.28/27.30 c (round 62) 6429 del vars, 15814 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 601245 impls, 1526 clqs
28.68/28.71 c (round 63) 6479 del vars, 15814 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 609253 impls, 1526 clqs
28.68/28.75 c (round 64) 6479 del vars, 15864 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 609253 impls, 1526 clqs
28.68/28.79 c (round 65) 6479 del vars, 15917 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 609253 impls, 1526 clqs
29.48/29.52 c (28.8s) probing: 8000/15634 (51.2%) - 77 fixings, 932 aggregations, 149535 implications, 0 bound changes
30.08/30.19 c (round 66) 6529 del vars, 15917 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 623255 impls, 1526 clqs
30.18/30.23 c (round 67) 6529 del vars, 15961 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 623255 impls, 1526 clqs
30.18/30.28 c (round 68) 6529 del vars, 16014 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 623255 impls, 1526 clqs
31.38/31.42 c (round 69) 6579 del vars, 16014 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 628317 impls, 1526 clqs
31.38/31.46 c (round 70) 6579 del vars, 16063 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 628317 impls, 1526 clqs
31.48/31.51 c (round 71) 6579 del vars, 16113 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 628317 impls, 1526 clqs
32.28/32.38 c (31.7s) probing: 9000/15634 (57.6%) - 77 fixings, 1044 aggregations, 158600 implications, 0 bound changes
32.89/32.94 c (round 72) 6629 del vars, 16113 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 636821 impls, 1526 clqs
32.89/32.98 c (round 73) 6629 del vars, 16161 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 636821 impls, 1526 clqs
32.99/33.02 c (round 74) 6629 del vars, 16210 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 636821 impls, 1526 clqs
33.99/34.03 c (round 75) 6679 del vars, 16210 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 649323 impls, 1526 clqs
33.99/34.07 c (round 76) 6679 del vars, 16259 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 649323 impls, 1526 clqs
34.09/34.12 c (round 77) 6679 del vars, 16311 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 649323 impls, 1526 clqs
35.19/35.27 c (34.6s) probing: 10000/15634 (64.0%) - 78 fixings, 1154 aggregations, 177897 implications, 0 bound changes
35.39/35.42 c (round 78) 6729 del vars, 16311 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 667583 impls, 1526 clqs
35.39/35.46 c (round 79) 6729 del vars, 16365 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 667583 impls, 1526 clqs
35.49/35.51 c (round 80) 6729 del vars, 16414 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 667583 impls, 1526 clqs
36.49/36.52 c (round 81) 6779 del vars, 16414 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 679541 impls, 1526 clqs
36.49/36.56 c (round 82) 6779 del vars, 16456 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 679541 impls, 1526 clqs
36.59/36.60 c (round 83) 6779 del vars, 16512 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 679541 impls, 1526 clqs
37.29/37.36 c (round 84) 6829 del vars, 16512 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 688369 impls, 1526 clqs
37.29/37.40 c (round 85) 6829 del vars, 16559 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 688369 impls, 1526 clqs
37.39/37.44 c (round 86) 6829 del vars, 16608 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 688369 impls, 1526 clqs
37.99/38.09 c (round 87) 6879 del vars, 16608 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 700317 impls, 1526 clqs
38.09/38.13 c (round 88) 6879 del vars, 16657 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 700317 impls, 1526 clqs
38.09/38.18 c (round 89) 6879 del vars, 16707 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 700317 impls, 1526 clqs
38.29/38.35 c (37.7s) probing: 11000/15634 (70.4%) - 78 fixings, 1313 aggregations, 201297 implications, 0 bound changes
39.09/39.17 c (round 90) 6929 del vars, 16707 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 725499 impls, 1526 clqs
39.19/39.21 c (round 91) 6929 del vars, 16754 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 725499 impls, 1526 clqs
39.19/39.25 c (round 92) 6929 del vars, 16803 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 725499 impls, 1526 clqs
39.98/40.09 c (round 93) 6979 del vars, 16803 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 736609 impls, 1526 clqs
40.08/40.13 c (round 94) 6979 del vars, 16855 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 736609 impls, 1526 clqs
40.08/40.18 c (round 95) 6979 del vars, 16903 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 736609 impls, 1526 clqs
40.98/41.08 c (round 96) 7029 del vars, 16903 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 750373 impls, 1526 clqs
41.08/41.12 c (round 97) 7029 del vars, 16955 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 750373 impls, 1526 clqs
41.08/41.17 c (round 98) 7029 del vars, 17003 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 750373 impls, 1526 clqs
41.18/41.29 c (40.6s) probing: 12000/15634 (76.8%) - 80 fixings, 1462 aggregations, 224060 implications, 0 bound changes
41.98/42.05 c (round 99) 7079 del vars, 17003 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 756935 impls, 1526 clqs
41.98/42.09 c (round 100) 7079 del vars, 17053 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 756935 impls, 1526 clqs
42.08/42.14 c (round 101) 7079 del vars, 17103 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 756935 impls, 1526 clqs
42.79/42.88 c (round 102) 7129 del vars, 17103 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 767809 impls, 1526 clqs
42.89/42.92 c (round 103) 7129 del vars, 17153 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 767809 impls, 1526 clqs
42.89/42.96 c (round 104) 7129 del vars, 17203 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 767809 impls, 1526 clqs
44.58/44.62 c (43.9s) probing: 13000/15634 (83.2%) - 82 fixings, 1603 aggregations, 292729 implications, 0 bound changes
44.68/44.71 c (round 105) 7179 del vars, 17205 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 878327 impls, 1526 clqs
44.68/44.75 c (round 106) 7179 del vars, 17256 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 878327 impls, 1526 clqs
44.78/44.80 c (round 107) 7179 del vars, 17305 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 878327 impls, 1526 clqs
48.08/48.11 c (47.4s) probing: 14000/15634 (89.5%) - 85 fixings, 1651 aggregations, 389786 implications, 0 bound changes
48.28/48.35 c (round 108) 7229 del vars, 17305 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 1054179 impls, 1526 clqs
48.28/48.39 c (round 109) 7229 del vars, 17362 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 1054179 impls, 1526 clqs
48.38/48.43 c (round 110) 7229 del vars, 17408 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 1054179 impls, 1526 clqs
51.68/51.70 c (51.0s) probing: 15000/15634 (95.9%) - 90 fixings, 1664 aggregations, 490177 implications, 0 bound changes
53.28/53.38 c (52.7s) probing: 15533/15634 (99.4%) - 97 fixings, 1664 aggregations, 523606 implications, 0 bound changes
53.28/53.38 c (52.7s) probing aborted: 100/100 successive totally useless probings
53.28/53.38 c (round 111) 7250 del vars, 17409 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 1287501 impls, 1526 clqs
53.38/53.42 c (round 112) 7258 del vars, 17441 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86621 upgd conss, 1287525 impls, 1526 clqs
53.38/53.48 c (52.8s) probing: 15543/15634 (99.4%) - 97 fixings, 1664 aggregations, 523606 implications, 0 bound changes
53.38/53.48 c (52.8s) probing aborted: 100/100 successive totally useless probings
53.38/53.48 c presolving (113 rounds):
53.38/53.48 c 7258 deleted vars, 17449 deleted constraints, 47 tightened bounds, 0 added holes, 1 changed sides, 10 changed coefficients
53.38/53.48 c 1287525 implications, 1526 cliques
53.38/53.48 c presolved problem has 13843 variables (13843 bin, 0 int, 0 impl, 0 cont) and 82583 constraints
53.38/53.48 c 23507 constraints of type <setppc>
53.38/53.48 c 59076 constraints of type <logicor>
53.38/53.48 c transformed objective value is always integral (scale: 1)
53.38/53.48 c Presolving Time: 52.63
53.38/53.48 c - non default parameters ----------------------------------------------------------------------
53.38/53.48 c # SCIP version 1.2.1.3
53.38/53.48 c
53.38/53.48 c # frequency for displaying node information lines
53.38/53.48 c # [type: int, range: [-1,2147483647], default: 100]
53.38/53.48 c display/freq = 10000
53.38/53.48 c
53.38/53.48 c # maximal time in seconds to run
53.38/53.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
53.38/53.48 c limits/time = 1789.32
53.38/53.48 c
53.38/53.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
53.38/53.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
53.38/53.48 c limits/memory = 13950
53.38/53.48 c
53.38/53.48 c # default clock type (1: CPU user seconds, 2: wall clock time)
53.38/53.48 c # [type: int, range: [1,2], default: 1]
53.38/53.48 c timing/clocktype = 2
53.38/53.48 c
53.38/53.48 c # should presolving try to simplify inequalities
53.38/53.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
53.38/53.48 c constraints/linear/simplifyinequalities = TRUE
53.38/53.48 c
53.38/53.48 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
53.38/53.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
53.38/53.48 c constraints/indicator/addCouplingCons = TRUE
53.38/53.48 c
53.38/53.48 c # should presolving try to simplify knapsacks
53.38/53.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
53.38/53.48 c constraints/knapsack/simplifyinequalities = TRUE
53.38/53.48 c
53.38/53.48 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
53.38/53.48 c # [type: int, range: [-1,2147483647], default: -1]
53.38/53.48 c separating/rapidlearning/freq = 0
53.38/53.48 c
53.38/53.48 c -----------------------------------------------------------------------------------------------
53.38/53.48 c start solving
53.38/53.49 c
63.18/63.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.18/63.20 c 62.5s| 1 | 2 | 13364 | - | 187M| 0 | - | 13k| 82k| 13k| 79k| 0 | 0 | 0 | 1.030082e+12 | -- | Inf
1790.10/1790.42 c
1790.10/1790.42 c SCIP Status : solving was interrupted [time limit reached]
1790.10/1790.42 c Solving Time (sec) : 1789.73
1790.10/1790.42 c Solving Nodes : 407
1790.10/1790.42 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.10/1790.42 c Dual Bound : +1.03008187600100e+12
1790.10/1790.42 c Gap : infinite
1790.10/1790.42 s UNKNOWN
1790.10/1790.42 c SCIP Status : solving was interrupted [time limit reached]
1790.10/1790.42 c Solving Time : 1789.73
1790.10/1790.42 c Original Problem :
1790.10/1790.42 c Problem name : HOME/instance-3739250-1338728495.opb
1790.10/1790.42 c Variables : 21101 (21101 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.10/1790.42 c Constraints : 100032 initial, 100032 maximal
1790.10/1790.42 c Presolved Problem :
1790.10/1790.42 c Problem name : t_HOME/instance-3739250-1338728495.opb
1790.10/1790.42 c Variables : 13843 (13843 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.10/1790.42 c Constraints : 82583 initial, 82585 maximal
1790.10/1790.42 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.10/1790.42 c trivial : 0.09 0 0 0 0 0 0 0 0
1790.10/1790.42 c dualfix : 0.07 4147 0 0 0 0 0 0 0
1790.10/1790.42 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.10/1790.42 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.10/1790.42 c implics : 0.22 0 57 0 0 0 0 0 0
1790.10/1790.42 c probing : 47.44 97 1664 0 0 0 0 0 0
1790.10/1790.42 c setppc : 1.19 0 0 0 0 0 3599 0 0
1790.10/1790.42 c linear : 0.42 47 1246 0 47 0 13411 1 10
1790.10/1790.42 c logicor : 3.05 0 0 0 0 0 439 0 0
1790.10/1790.42 c root node : - 0 - - 0 - - - -
1790.10/1790.42 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.10/1790.42 c integral : 0 0 0 0 0 0 0 0 0 0
1790.10/1790.42 c setppc : 23507 0 47671 0 405 0 6777 0 0 0
1790.10/1790.42 c logicor : 59076+ 0 40196 0 405 40 7695 0 0 0
1790.10/1790.42 c countsols : 0 0 0 0 405 0 0 0 0 0
1790.10/1790.42 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.10/1790.42 c integral : 0.00 0.00 0.00 0.00 0.00
1790.10/1790.42 c setppc : 32.69 0.00 30.73 0.00 1.96
1790.10/1790.42 c logicor : 8.32 0.00 2.21 0.00 6.11
1790.10/1790.42 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.10/1790.42 c Propagators : Time Calls Cutoffs DomReds
1790.10/1790.42 c vbounds : 0.01 2 0 0
1790.10/1790.42 c rootredcost : 0.01 0 0 0
1790.10/1790.42 c pseudoobj : 0.18 871 0 0
1790.10/1790.42 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.10/1790.42 c propagation : 0.00 2 2 2 2.5 0 0.0 -
1790.10/1790.42 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.10/1790.42 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.10/1790.42 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.10/1790.42 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.10/1790.42 c applied globally : - - - 2 2.5 - - -
1790.10/1790.42 c applied locally : - - - 0 0.0 - - -
1790.10/1790.42 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.10/1790.42 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.10/1790.42 c redcost : 0.00 0 0 0 0 0
1790.10/1790.42 c impliedbounds : 0.00 0 0 0 0 0
1790.10/1790.42 c intobj : 0.00 0 0 0 0 0
1790.10/1790.42 c cgmip : 0.00 0 0 0 0 0
1790.10/1790.42 c gomory : 0.00 0 0 0 0 0
1790.10/1790.42 c strongcg : 0.00 0 0 0 0 0
1790.10/1790.42 c cmir : 0.00 0 0 0 0 0
1790.10/1790.42 c flowcover : 0.00 0 0 0 0 0
1790.10/1790.42 c clique : 0.00 0 0 0 0 0
1790.10/1790.42 c zerohalf : 0.00 0 0 0 0 0
1790.10/1790.42 c mcf : 0.00 0 0 0 0 0
1790.10/1790.42 c rapidlearning : 0.00 0 0 0 0 0
1790.10/1790.42 c Pricers : Time Calls Vars
1790.10/1790.42 c problem variables: 0.00 0 0
1790.10/1790.42 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.10/1790.42 c relpscost : 0.00 0 0 0 0 0 0
1790.10/1790.42 c pscost : 0.00 0 0 0 0 0 0
1790.10/1790.42 c inference : 0.94 405 0 0 0 0 810
1790.10/1790.42 c mostinf : 0.00 0 0 0 0 0 0
1790.10/1790.42 c leastinf : 0.00 0 0 0 0 0 0
1790.10/1790.42 c fullstrong : 0.00 0 0 0 0 0 0
1790.10/1790.42 c allfullstrong : 0.00 0 0 0 0 0 0
1790.10/1790.42 c random : 0.00 0 0 0 0 0 0
1790.10/1790.42 c Primal Heuristics : Time Calls Found
1790.10/1790.42 c LP solutions : 0.00 - 0
1790.10/1790.42 c pseudo solutions : 0.00 - 0
1790.10/1790.42 c oneopt : 0.00 0 0
1790.10/1790.42 c veclendiving : 0.00 0 0
1790.10/1790.42 c objpscostdiving : 0.00 0 0
1790.10/1790.42 c intshifting : 0.00 0 0
1790.10/1790.42 c coefdiving : 0.00 0 0
1790.10/1790.42 c pscostdiving : 0.00 0 0
1790.10/1790.42 c fracdiving : 0.00 0 0
1790.10/1790.42 c rootsoldiving : 0.00 0 0
1790.10/1790.42 c linesearchdiving : 0.00 0 0
1790.10/1790.42 c guideddiving : 0.00 0 0
1790.10/1790.42 c crossover : 0.00 0 0
1790.10/1790.42 c trivial : 0.03 2 0
1790.10/1790.42 c simplerounding : 0.00 0 0
1790.10/1790.42 c zirounding : 0.00 0 0
1790.10/1790.42 c rounding : 0.00 0 0
1790.10/1790.42 c shifting : 0.00 0 0
1790.10/1790.42 c twoopt : 0.00 0 0
1790.10/1790.42 c fixandinfer : 0.00 0 0
1790.10/1790.42 c feaspump : 0.00 0 0
1790.10/1790.42 c intdiving : 0.00 0 0
1790.10/1790.42 c actconsdiving : 0.00 0 0
1790.10/1790.42 c octane : 0.00 0 0
1790.10/1790.42 c rens : 0.00 0 0
1790.10/1790.42 c rins : 0.00 0 0
1790.10/1790.42 c localbranching : 0.00 0 0
1790.10/1790.42 c mutation : 0.00 0 0
1790.10/1790.42 c dins : 0.00 0 0
1790.10/1790.42 c undercover : 0.00 0 0
1790.10/1790.42 c nlp : 0.00 0 0
1790.10/1790.42 c trysol : 0.00 0 0
1790.10/1790.42 c LP : Time Calls Iterations Iter/call Iter/sec
1790.10/1790.42 c primal LP : 0.00 0 0 0.00 -
1790.10/1790.42 c dual LP : 1718.89 527 2467821 4682.77 1435.71
1790.10/1790.42 c lex dual LP : 0.00 0 0 0.00 -
1790.10/1790.42 c barrier LP : 0.00 0 0 0.00 -
1790.10/1790.42 c diving/probing LP: 0.00 0 0 0.00 -
1790.10/1790.42 c strong branching : 0.00 0 0 0.00 -
1790.10/1790.42 c (at root node) : - 0 0 0.00 -
1790.10/1790.42 c conflict analysis: 0.00 0 0 0.00 -
1790.10/1790.42 c B&B Tree :
1790.10/1790.42 c number of runs : 1
1790.10/1790.42 c nodes : 407
1790.10/1790.42 c nodes (total) : 407
1790.10/1790.42 c nodes left : 404
1790.10/1790.42 c max depth : 47
1790.10/1790.42 c max depth (total): 47
1790.10/1790.42 c backtracks : 20 (4.9%)
1790.10/1790.42 c delayed cutoffs : 0
1790.10/1790.42 c repropagations : 1 (2 domain reductions, 0 cutoffs)
1790.10/1790.42 c avg switch length: 2.34
1790.10/1790.42 c switching time : 0.05
1790.10/1790.42 c Solution :
1790.10/1790.42 c Solutions found : 0 (0 improvements)
1790.10/1790.42 c Primal Bound : -
1790.10/1790.42 c Dual Bound : +1.03008187600100e+12
1790.10/1790.42 c Gap : infinite
1790.10/1790.42 c Root Dual Bound : +1.03008187600100e+12
1790.10/1790.42 c Root Iterations : 13364
1790.30/1790.63 c Time complete: 1790.34.
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3739250-1338728495/watcher-3739250-1338728495 -o /tmp/evaluation-result-3739250-1338728495/solver-3739250-1338728495 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3739250-1338728495.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.04 2.01 3/177 25390 /proc/meminfo: memFree=27947052/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=7916 CPUtime=0 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 1253 0 0 0 0 0 0 0 20 0 1 0 338974064 8105984 1199 33554432000 4194304 8395647 140734855579232 140735101668568 7385025 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 1979 1199 370 1026 0 949 0 [startup+0.023973 s] /proc/loadavg: 2.07 2.04 2.01 3/177 25390 /proc/meminfo: memFree=27947052/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=17612 CPUtime=0.01 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 3660 0 0 0 1 0 0 0 20 0 1 0 338974064 18034688 3600 33554432000 4194304 8395647 140734855579232 140735101668568 4472706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 4403 3600 394 1026 0 3373 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 17612 [startup+0.100307 s] /proc/loadavg: 2.07 2.04 2.01 3/177 25390 /proc/meminfo: memFree=27947052/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=25484 CPUtime=0.08 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 5628 0 0 0 8 0 0 0 20 0 1 0 338974064 26095616 5568 33554432000 4194304 8395647 140734855579232 140734855444440 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 6371 5568 394 1026 0 5341 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 25484 [startup+0.300265 s] /proc/loadavg: 2.07 2.04 2.01 3/177 25390 /proc/meminfo: memFree=27947052/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=38600 CPUtime=0.29 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 8925 0 0 0 28 1 0 0 20 0 1 0 338974064 39526400 8865 33554432000 4194304 8395647 140734855579232 140734855444440 5758034 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 9650 8865 394 1026 0 8620 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38600 [startup+0.70026 s] /proc/loadavg: 2.07 2.04 2.01 3/177 25390 /proc/meminfo: memFree=27947052/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=62416 CPUtime=0.68 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 15208 0 0 0 66 2 0 0 20 0 1 0 338974064 63913984 14794 33554432000 4194304 8395647 140734855579232 140734855444440 7259835 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 15604 14794 398 1026 0 14574 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 62416 [startup+1.50028 s] /proc/loadavg: 2.07 2.04 2.01 3/178 25391 /proc/meminfo: memFree=27794872/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=204024 CPUtime=1.49 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 48624 0 0 0 143 6 0 0 20 0 1 0 338974064 208920576 48889 33554432000 4194304 8395647 140734855579232 140734855575272 5091031 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 51006 48889 489 1026 0 49976 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 204024 [startup+3.10028 s] /proc/loadavg: 2.07 2.04 2.01 3/178 25391 /proc/meminfo: memFree=27751420/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=205048 CPUtime=3.09 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 49025 0 0 0 303 6 0 0 20 0 1 0 338974064 209969152 49218 33554432000 4194304 8395647 140734855579232 140734855575256 5094621 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 51262 49218 499 1026 0 50232 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 205048 [startup+6.30027 s] /proc/loadavg: 2.06 2.04 2.01 3/178 25391 /proc/meminfo: memFree=27747956/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=206784 CPUtime=6.29 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 49500 0 0 0 623 6 0 0 20 0 1 0 338974064 211746816 49693 33554432000 4194304 8395647 140734855579232 140734855575032 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 51696 49693 499 1026 0 50666 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 206784 [startup+12.7003 s] /proc/loadavg: 2.06 2.04 2.01 3/178 25391 /proc/meminfo: memFree=27740208/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=210744 CPUtime=12.68 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 50501 0 0 0 1262 6 0 0 20 0 1 0 338974064 215801856 50694 33554432000 4194304 8395647 140734855579232 140734855574168 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 52686 50694 505 1026 0 51656 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 210744 [startup+25.5003 s] /proc/loadavg: 2.04 2.03 2.00 3/178 25391 /proc/meminfo: memFree=27730064/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=212996 CPUtime=25.48 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 51076 0 0 0 2542 6 0 0 20 0 1 0 338974064 218107904 51269 33554432000 4194304 8395647 140734855579232 140734855575032 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 53249 51269 505 1026 0 52219 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 212996 [startup+51.1003 s] /proc/loadavg: 2.03 2.03 2.00 3/177 25391 /proc/meminfo: memFree=27700648/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=232268 CPUtime=51.08 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 55253 0 0 0 5101 7 0 0 20 0 1 0 338974064 237842432 56468 33554432000 4194304 8395647 140734855579232 140734855575032 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 58067 56468 505 1026 0 57037 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 232268 [startup+102.307 s] /proc/loadavg: 2.01 2.02 2.00 3/177 25391 /proc/meminfo: memFree=27419376/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=362780 CPUtime=102.28 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 141112 0 0 0 10199 29 0 0 20 0 1 0 338974064 371486720 87534 33554432000 4194304 8395647 140734855579232 140734855574360 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 90695 87534 583 1026 0 89665 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 362780 [startup+162.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 25392 /proc/meminfo: memFree=27420048/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=359792 CPUtime=162.26 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 235528 0 0 0 16170 56 0 0 20 0 1 0 338974064 368427008 85653 33554432000 4194304 8395647 140734855579232 140734855574360 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 89948 85653 583 1026 0 88918 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 359792 [startup+222.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 25392 /proc/meminfo: memFree=27403072/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=366668 CPUtime=222.25 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 322657 0 0 0 22144 81 0 0 20 0 1 0 338974064 375468032 87889 33554432000 4194304 8395647 140734855579232 140734855573640 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 91667 87889 583 1026 0 90637 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 366668 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 25392 /proc/meminfo: memFree=27390280/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=380752 CPUtime=282.24 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 443186 0 0 0 28112 112 0 0 20 0 1 0 338974064 389890048 92421 33554432000 4194304 8395647 140734855579232 140734855574360 6721240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 95188 92421 583 1026 0 94158 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 380752 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 25392 /proc/meminfo: memFree=27395152/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=370780 CPUtime=342.23 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 556306 0 0 0 34082 141 0 0 20 0 1 0 338974064 379678720 90053 33554432000 4194304 8395647 140734855579232 140734855574360 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 92695 90053 583 1026 0 91665 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 370780 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 25392 /proc/meminfo: memFree=27396572/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=372892 CPUtime=402.22 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 657950 0 0 0 40054 168 0 0 20 0 1 0 338974064 381841408 91950 33554432000 4194304 8395647 140734855579232 140734855574360 6723617 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 93223 91950 583 1026 0 92193 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 372892 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 25393 /proc/meminfo: memFree=27386600/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=341236 CPUtime=462.2 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 750370 0 0 0 46025 195 0 0 20 0 1 0 338974064 349425664 84803 33554432000 4194304 8395647 140734855579232 140734855574840 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 85309 84803 583 1026 0 84279 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 341236 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 25396 /proc/meminfo: memFree=27386088/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=357836 CPUtime=522.2 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 837930 0 0 0 52000 220 0 0 20 0 1 0 338974064 366424064 86523 33554432000 4194304 8395647 140734855579232 140734855573208 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 89459 86523 583 1026 0 88429 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 357836 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 25396 /proc/meminfo: memFree=27377916/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=380232 CPUtime=582.19 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 932696 0 0 0 57973 246 0 0 20 0 1 0 338974064 389357568 94233 33554432000 4194304 8395647 140734855579232 140734855574360 6723628 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 95058 94233 583 1026 0 94028 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 380232 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27403580/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=365688 CPUtime=1062.11 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 1704402 0 0 0 105748 463 0 0 20 0 1 0 338974064 374464512 89935 33554432000 4194304 8395647 140734855579232 140734855573640 7365088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 91422 89935 583 1026 0 90392 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 365688 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 25401 /proc/meminfo: memFree=27411136/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=359800 CPUtime=1122.11 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 1797104 0 0 0 111718 493 0 0 20 0 1 0 338974064 368435200 87399 33554432000 4194304 8395647 140734855579232 140734855574696 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 89950 87399 583 1026 0 88920 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 359800 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 25401 /proc/meminfo: memFree=27390804/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=370780 CPUtime=1182.1 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 1891817 0 0 0 117690 520 0 0 20 0 1 0 338974064 379678720 91555 33554432000 4194304 8395647 140734855579232 140734855574360 6721240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 92695 91555 583 1026 0 91665 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 370780 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 25401 /proc/meminfo: memFree=27379764/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=377212 CPUtime=1242.09 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 1982153 0 0 0 123662 547 0 0 20 0 1 0 338974064 386265088 93635 33554432000 4194304 8395647 140734855579232 140734855574360 6721235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 94303 93635 583 1026 0 93273 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 377212 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 25401 /proc/meminfo: memFree=27413872/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=344348 CPUtime=1302.08 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2083211 0 0 0 129632 576 0 0 20 0 1 0 338974064 352612352 85143 33554432000 4194304 8395647 140734855579232 140734855574696 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 86087 85143 583 1026 0 85057 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 344348 [startup+1362.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 25402 /proc/meminfo: memFree=27393716/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=370620 CPUtime=1362.07 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2181963 0 0 0 135602 605 0 0 20 0 1 0 338974064 379514880 91776 33554432000 4194304 8395647 140734855579232 140734855573640 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 92655 91776 583 1026 0 91625 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 370620 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 2.00 3/177 25402 /proc/meminfo: memFree=27386524/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=371136 CPUtime=1422.07 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2288218 0 0 0 141572 635 0 0 20 0 1 0 338974064 380043264 91865 33554432000 4194304 8395647 140734855579232 140734855574440 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 92784 91865 583 1026 0 91754 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 371136 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 25402 /proc/meminfo: memFree=27391732/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=368964 CPUtime=1482.05 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2360766 0 0 0 147548 657 0 0 20 0 1 0 338974064 377819136 90631 33554432000 4194304 8395647 140734855579232 140734855574792 6721235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 92241 90631 583 1026 0 91211 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 368964 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 25402 /proc/meminfo: memFree=27375852/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=341236 CPUtime=1542.04 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2454021 0 0 0 153519 685 0 0 20 0 1 0 338974064 349425664 84804 33554432000 4194304 8395647 140734855579232 140734855574792 6723728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 85309 84804 583 1026 0 84279 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 341236 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 25402 /proc/meminfo: memFree=27401156/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=366564 CPUtime=1602.04 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2556890 0 0 0 159490 714 0 0 20 0 1 0 338974064 375361536 89873 33554432000 4194304 8395647 140734855579232 140734855574360 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 91641 89873 583 1026 0 90611 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 366564 [startup+1662.3 s] /proc/loadavg: 2.04 2.01 2.00 3/176 25402 /proc/meminfo: memFree=27411148/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=359756 CPUtime=1662.02 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2648769 0 0 0 165461 741 0 0 20 0 1 0 338974064 368390144 87285 33554432000 4194304 8395647 140734855579232 140734855574696 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 89939 87285 587 1026 0 88909 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 359756 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 25406 /proc/meminfo: memFree=27386444/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=371096 CPUtime=1722.01 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2750223 0 0 0 171430 771 0 0 20 0 1 0 338974064 380002304 92075 33554432000 4194304 8395647 140734855579232 140734855574360 6584602 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 92774 92075 587 1026 0 91744 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 371096 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 25406 /proc/meminfo: memFree=27409464/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=362036 CPUtime=1782.01 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2845629 0 0 0 177400 801 0 0 20 0 1 0 338974064 370724864 87498 33554432000 4194304 8395647 140734855579232 140734855574696 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 90509 87498 587 1026 0 89479 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 362036 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 25406 /proc/meminfo: memFree=27390920/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=341236 CPUtime=1785.2 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2848404 0 0 0 177718 802 0 0 20 0 1 0 338974064 349425664 84808 33554432000 4194304 8395647 140734855579232 140734855573640 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 85309 84808 587 1026 0 84279 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 341236 [startup+1788.7 s] /proc/loadavg: 1.92 1.98 1.99 3/177 25444 /proc/meminfo: memFree=27723856/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=369876 CPUtime=1788.4 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2853652 0 0 0 178037 803 0 0 20 0 1 0 338974064 378753024 90850 33554432000 4194304 8395647 140734855579232 140734855574696 6721235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 92469 90850 587 1026 0 91439 0 Current children cumulated CPU time (s) 1788.4 Current children cumulated vsize (KiB) 369876 [startup+1789.5 s] /proc/loadavg: 1.92 1.98 1.99 3/177 25444 /proc/meminfo: memFree=27723856/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=341236 CPUtime=1789.2 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2853698 0 0 0 178117 803 0 0 20 0 1 0 338974064 349425664 84808 33554432000 4194304 8395647 140734855579232 140734855573640 6723489 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 85309 84808 587 1026 0 84279 0 Current children cumulated CPU time (s) 1789.2 Current children cumulated vsize (KiB) 341236 [startup+1790.3 s] /proc/loadavg: 1.92 1.98 1.99 3/177 25444 /proc/meminfo: memFree=27610824/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=359848 CPUtime=1790 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2855882 0 0 0 178196 804 0 0 20 0 1 0 338974064 368484352 87244 33554432000 4194304 8395647 140734855579232 140734855574360 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 89962 87244 587 1026 0 88932 0 Current children cumulated CPU time (s) 1790 Current children cumulated vsize (KiB) 359848 [startup+1790.5 s] /proc/loadavg: 1.92 1.98 1.99 3/177 25444 /proc/meminfo: memFree=27610824/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=362448 CPUtime=1790.2 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2856061 0 0 0 178216 804 0 0 20 0 1 0 338974064 371146752 87423 33554432000 4194304 8395647 140734855579232 140734855574360 6063861 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 90612 87423 595 1026 0 89582 0 Current children cumulated CPU time (s) 1790.2 Current children cumulated vsize (KiB) 362448 [startup+1790.6 s] /proc/loadavg: 1.92 1.98 1.99 3/177 25444 /proc/meminfo: memFree=27610824/32873844 swapFree=7108/7108 [pid=25390] ppid=25388 vsize=334832 CPUtime=1790.3 cores=0,2,4,6 /proc/25390/stat : 25390 (pbscip.linux.x8) R 25388 25390 21683 0 -1 4202496 2856061 0 0 0 178226 804 0 0 20 0 1 0 338974064 342867968 83215 33554432000 4194304 8395647 140734855579232 140734855574360 7602442 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/25390/statm: 83708 83215 595 1026 0 82678 0 Current children cumulated CPU time (s) 1790.3 Current children cumulated vsize (KiB) 334832 Child status: 0 Real time (s): 1790.63 CPU time (s): 1790.34 CPU user time (s): 1782.29 CPU system time (s): 8.05377 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 388636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.29 system time used= 8.05377 maximum resident set size= 380528 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2856068 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= 25 involuntary context switches= 1844 runsolver used 2.96055 second user time and 7.61984 second system time The end
Begin job on node139 at 2012-06-03 15:01:35 IDJOB=3739250 IDBENCH=72396 IDSOLVER=2326 FILE ID=node139/3739250-1338728495 RUNJOBID= node139-1338713558-21699 PBS_JOBID= 14636736 Free space on /tmp= 71080 MiB SOLVER NAME= PB10: 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-libdbd-pg-perl.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-3739250-1338728495/watcher-3739250-1338728495 -o /tmp/evaluation-result-3739250-1338728495/solver-3739250-1338728495 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3739250-1338728495.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 81221b652f13d6452852d67d502e0110 RANDOM SEED=1410475885 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27946680 kB Buffers: 506716 kB Cached: 3338604 kB SwapCached: 828 kB Active: 1929656 kB Inactive: 2120464 kB Active(anon): 198204 kB Inactive(anon): 7952 kB Active(file): 1731452 kB Inactive(file): 2112512 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67104688 kB Dirty: 28020 kB Writeback: 0 kB AnonPages: 209716 kB Mapped: 13612 kB Shmem: 8 kB Slab: 735844 kB SReclaimable: 176648 kB SUnreclaim: 559196 kB KernelStack: 1480 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 326812 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71072 MiB End job on node139 at 2012-06-03 15:31:26