| 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.07 | 1790.36 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/ 9orless/normalized-gnash-common-opengl.cudf.trendy.opb |
| MD5SUM | a3b409ee32ed598382bd48e986006a5e |
| 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 | 3512029902480 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| 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 | 100098 |
| Number of constraints which are clauses | 98533 |
| 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-3739298-1338728710.opb>
0.68/0.70 c original problem has 21105 variables (21105 bin, 0 int, 0 impl, 0 cont) and 100098 constraints
0.68/0.70 c problem read
0.68/0.70 c presolving settings loaded
0.89/0.91 c presolving:
1.19/1.22 c (round 1) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130436 impls, 1557 clqs
1.29/1.31 c (round 2) 2431 del vars, 5036 del conss, 57 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161845 impls, 1557 clqs
1.29/1.38 c (round 3) 2506 del vars, 5232 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 161863 impls, 1557 clqs
1.39/1.47 c (round 4) 5429 del vars, 11094 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 161863 impls, 1557 clqs
1.49/1.62 c (round 5) 5451 del vars, 11148 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 161863 impls, 1557 clqs
1.49/1.62 c (round 6) 5462 del vars, 11164 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 161863 impls, 1557 clqs
1.99/2.02 c (round 7) 5469 del vars, 13472 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86594 upgd conss, 161863 impls, 1557 clqs
2.09/2.15 c (round 8) 5472 del vars, 13475 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86594 upgd conss, 161863 impls, 1557 clqs
2.20/2.25 c (round 9) 5472 del vars, 13476 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 161863 impls, 1557 clqs
4.29/4.40 c (round 10) 5522 del vars, 13476 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 340123 impls, 1557 clqs
4.40/4.47 c (round 11) 5522 del vars, 14311 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 340123 impls, 1557 clqs
6.29/6.33 c (round 12) 5573 del vars, 14314 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 407179 impls, 1556 clqs
6.39/6.42 c (round 13) 5574 del vars, 14369 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 407181 impls, 1556 clqs
7.59/7.66 c (7.0s) probing: 1000/15633 (6.4%) - 5 fixings, 117 aggregations, 55572 implications, 0 bound changes
8.69/8.79 c (round 14) 5624 del vars, 14372 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 434535 impls, 1556 clqs
8.80/8.88 c (round 15) 5624 del vars, 14434 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 434535 impls, 1556 clqs
10.00/10.01 c (round 16) 5675 del vars, 14438 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 444283 impls, 1555 clqs
10.09/10.10 c (round 17) 5675 del vars, 14488 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 444283 impls, 1555 clqs
10.19/10.20 c (round 18) 5675 del vars, 14678 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 444283 impls, 1555 clqs
11.00/11.02 c (round 19) 5725 del vars, 14678 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 456305 impls, 1555 clqs
11.09/11.11 c (round 20) 5725 del vars, 14736 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 456305 impls, 1555 clqs
11.19/11.21 c (round 21) 5725 del vars, 14779 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 456305 impls, 1555 clqs
11.69/11.77 c (11.1s) probing: 2000/15633 (12.8%) - 10 fixings, 257 aggregations, 69891 implications, 0 bound changes
12.99/13.06 c (round 22) 5775 del vars, 14779 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 490573 impls, 1555 clqs
13.09/13.15 c (round 23) 5775 del vars, 14829 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 490573 impls, 1555 clqs
13.19/13.25 c (round 24) 5775 del vars, 14881 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 490573 impls, 1555 clqs
14.49/14.51 c (round 25) 5825 del vars, 14881 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 501911 impls, 1555 clqs
14.59/14.61 c (round 26) 5825 del vars, 14931 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 501911 impls, 1555 clqs
14.69/14.71 c (round 27) 5825 del vars, 14979 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 501911 impls, 1555 clqs
15.29/15.31 c (14.6s) probing: 3000/15633 (19.2%) - 10 fixings, 363 aggregations, 89021 implications, 0 bound changes
15.89/15.99 c (round 28) 5875 del vars, 14981 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 522417 impls, 1554 clqs
15.99/16.08 c (round 29) 5875 del vars, 15032 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 522417 impls, 1554 clqs
16.08/16.18 c (round 30) 5875 del vars, 15090 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 522417 impls, 1554 clqs
17.48/17.52 c (round 31) 5925 del vars, 15090 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 528975 impls, 1554 clqs
17.59/17.61 c (round 32) 5925 del vars, 15140 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 528975 impls, 1554 clqs
17.69/17.71 c (round 33) 5925 del vars, 15191 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 528975 impls, 1554 clqs
18.58/18.61 c (17.9s) probing: 4000/15633 (25.6%) - 11 fixings, 479 aggregations, 101347 implications, 0 bound changes
18.69/18.75 c (round 34) 5975 del vars, 15191 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 535563 impls, 1554 clqs
18.79/18.84 c (round 35) 5975 del vars, 15241 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 535563 impls, 1554 clqs
18.88/18.94 c (round 36) 5975 del vars, 15289 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 535563 impls, 1554 clqs
19.79/19.88 c (round 37) 6025 del vars, 15289 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 542395 impls, 1552 clqs
19.89/19.95 c (round 38) 6025 del vars, 15351 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 542395 impls, 1552 clqs
19.98/20.04 c (round 39) 6025 del vars, 15395 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 542395 impls, 1552 clqs
21.38/21.49 c (round 40) 6075 del vars, 15395 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 554753 impls, 1551 clqs
21.48/21.58 c (round 41) 6075 del vars, 15445 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 554753 impls, 1551 clqs
21.58/21.68 c (round 42) 6075 del vars, 15495 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 554753 impls, 1551 clqs
21.99/22.03 c (21.3s) probing: 5000/15633 (32.0%) - 12 fixings, 594 aggregations, 112195 implications, 0 bound changes
22.78/22.88 c (round 43) 6125 del vars, 15495 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 566935 impls, 1551 clqs
22.88/22.97 c (round 44) 6125 del vars, 15543 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 566935 impls, 1551 clqs
22.98/23.07 c (round 45) 6125 del vars, 15595 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 566935 impls, 1551 clqs
24.19/24.25 c (round 46) 6175 del vars, 15595 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 573855 impls, 1551 clqs
24.29/24.34 c (round 47) 6175 del vars, 15644 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 573855 impls, 1551 clqs
24.38/24.43 c (round 48) 6175 del vars, 15693 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 573855 impls, 1551 clqs
25.08/25.16 c (24.5s) probing: 6000/15633 (38.4%) - 12 fixings, 713 aggregations, 122457 implications, 0 bound changes
25.58/25.68 c (round 49) 6225 del vars, 15693 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 581127 impls, 1550 clqs
25.68/25.79 c (round 50) 6225 del vars, 15785 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 581127 impls, 1550 clqs
25.78/25.89 c (round 51) 6225 del vars, 15836 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 581127 impls, 1550 clqs
27.08/27.10 c (round 52) 6275 del vars, 15836 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 589595 impls, 1550 clqs
27.08/27.18 c (round 53) 6275 del vars, 15884 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 589595 impls, 1550 clqs
27.18/27.28 c (round 54) 6275 del vars, 15940 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 589595 impls, 1550 clqs
28.08/28.17 c (27.5s) probing: 7000/15633 (44.8%) - 12 fixings, 830 aggregations, 128805 implications, 0 bound changes
28.28/28.31 c (round 55) 6325 del vars, 15940 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 593013 impls, 1550 clqs
28.38/28.40 c (round 56) 6325 del vars, 15990 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 593013 impls, 1550 clqs
28.38/28.49 c (round 57) 6325 del vars, 16040 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 593013 impls, 1550 clqs
29.48/29.51 c (round 58) 6375 del vars, 16040 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 595253 impls, 1550 clqs
29.58/29.61 c (round 59) 6375 del vars, 16097 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 595253 impls, 1550 clqs
29.69/29.70 c (round 60) 6375 del vars, 16145 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 595253 impls, 1550 clqs
30.79/30.80 c (round 61) 6425 del vars, 16147 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 601645 impls, 1550 clqs
30.79/30.89 c (round 62) 6425 del vars, 16195 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 601645 impls, 1550 clqs
30.89/30.99 c (round 63) 6425 del vars, 16245 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 601645 impls, 1550 clqs
31.38/31.40 c (30.7s) probing: 8000/15633 (51.2%) - 13 fixings, 955 aggregations, 136242 implications, 0 bound changes
31.99/32.03 c (round 64) 6475 del vars, 16245 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 613795 impls, 1550 clqs
32.08/32.12 c (round 65) 6475 del vars, 16293 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 613795 impls, 1550 clqs
32.18/32.22 c (round 66) 6475 del vars, 16346 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 613795 impls, 1550 clqs
33.28/33.38 c (round 67) 6525 del vars, 16349 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 621723 impls, 1550 clqs
33.38/33.47 c (round 68) 6525 del vars, 16398 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 621723 impls, 1550 clqs
33.48/33.57 c (round 69) 6525 del vars, 16450 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 621723 impls, 1550 clqs
34.28/34.36 c (33.7s) probing: 9000/15633 (57.6%) - 13 fixings, 1066 aggregations, 149060 implications, 0 bound changes
34.58/34.63 c (round 70) 6575 del vars, 16450 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 632709 impls, 1550 clqs
34.68/34.73 c (round 71) 6575 del vars, 16495 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 632709 impls, 1550 clqs
34.78/34.83 c (round 72) 6575 del vars, 16551 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 632709 impls, 1550 clqs
35.98/36.07 c (round 73) 6625 del vars, 16551 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 640031 impls, 1550 clqs
36.08/36.16 c (round 74) 6625 del vars, 16604 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 640031 impls, 1550 clqs
36.18/36.25 c (round 75) 6625 del vars, 16652 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 640031 impls, 1550 clqs
37.18/37.28 c (36.6s) probing: 10000/15633 (64.0%) - 14 fixings, 1175 aggregations, 161248 implications, 0 bound changes
37.49/37.52 c (round 76) 6675 del vars, 16652 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 660603 impls, 1550 clqs
37.58/37.61 c (round 77) 6675 del vars, 16697 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 660603 impls, 1550 clqs
37.68/37.70 c (round 78) 6675 del vars, 16752 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 660603 impls, 1550 clqs
38.59/38.64 c (round 79) 6725 del vars, 16752 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 666767 impls, 1550 clqs
38.69/38.73 c (round 80) 6725 del vars, 16802 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 666767 impls, 1550 clqs
38.79/38.83 c (round 81) 6725 del vars, 16852 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 666767 impls, 1550 clqs
39.29/39.39 c (round 82) 6775 del vars, 16852 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 670351 impls, 1550 clqs
39.39/39.48 c (round 83) 6775 del vars, 16899 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 670351 impls, 1550 clqs
39.49/39.57 c (round 84) 6775 del vars, 16951 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 670351 impls, 1550 clqs
40.39/40.45 c (39.8s) probing: 11000/15633 (70.4%) - 14 fixings, 1322 aggregations, 174159 implications, 0 bound changes
40.59/40.68 c (round 85) 6825 del vars, 16951 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 678259 impls, 1550 clqs
40.69/40.77 c (round 86) 6825 del vars, 17000 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 678259 impls, 1550 clqs
40.79/40.86 c (round 87) 6825 del vars, 17049 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 678259 impls, 1550 clqs
41.49/41.56 c (round 88) 6875 del vars, 17049 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 697861 impls, 1550 clqs
41.59/41.65 c (round 89) 6875 del vars, 17107 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 697861 impls, 1550 clqs
41.69/41.74 c (round 90) 6875 del vars, 17151 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 697861 impls, 1550 clqs
42.59/42.62 c (round 91) 6925 del vars, 17151 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 712173 impls, 1550 clqs
42.69/42.71 c (round 92) 6925 del vars, 17200 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 712173 impls, 1550 clqs
42.79/42.80 c (round 93) 6925 del vars, 17249 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 712173 impls, 1550 clqs
43.59/43.60 c (round 94) 6975 del vars, 17251 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 716145 impls, 1550 clqs
43.59/43.69 c (round 95) 6975 del vars, 17304 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 716145 impls, 1550 clqs
43.69/43.78 c (round 96) 6975 del vars, 17352 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 716145 impls, 1550 clqs
43.89/43.98 c (43.3s) probing: 12000/15633 (76.8%) - 18 fixings, 1482 aggregations, 195090 implications, 0 bound changes
44.49/44.59 c (round 97) 7025 del vars, 17352 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 723895 impls, 1550 clqs
44.59/44.69 c (round 98) 7025 del vars, 17402 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 723895 impls, 1550 clqs
44.69/44.78 c (round 99) 7025 del vars, 17452 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 723895 impls, 1550 clqs
45.89/45.91 c (round 100) 7075 del vars, 17453 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 748559 impls, 1550 clqs
45.99/46.00 c (round 101) 7075 del vars, 17506 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 748559 impls, 1550 clqs
45.99/46.09 c (round 102) 7075 del vars, 17555 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 748559 impls, 1550 clqs
47.18/47.29 c (46.6s) probing: 13000/15633 (83.2%) - 28 fixings, 1621 aggregations, 245420 implications, 0 bound changes
47.29/47.32 c (round 103) 7125 del vars, 17555 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 806901 impls, 1550 clqs
47.39/47.41 c (round 104) 7125 del vars, 17622 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 806901 impls, 1550 clqs
47.48/47.51 c (round 105) 7125 del vars, 17658 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 806901 impls, 1550 clqs
49.68/49.74 c (round 106) 7175 del vars, 17658 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 859843 impls, 1550 clqs
49.78/49.83 c (round 107) 7179 del vars, 17722 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 859851 impls, 1550 clqs
50.18/50.26 c (49.6s) probing: 14000/15633 (89.6%) - 37 fixings, 1665 aggregations, 277954 implications, 0 bound changes
53.28/53.33 c (52.6s) probing: 15000/15633 (96.0%) - 55 fixings, 1676 aggregations, 354483 implications, 0 bound changes
54.99/55.07 c (54.4s) probing: 15601/15633 (99.8%) - 59 fixings, 1676 aggregations, 383216 implications, 0 bound changes
54.99/55.07 c (54.4s) probing aborted: 100/100 successive totally useless probings
54.99/55.07 c (round 108) 7214 del vars, 17726 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 1054129 impls, 1550 clqs
55.09/55.14 c (round 109) 7227 del vars, 17790 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 1054189 impls, 1550 clqs
55.18/55.23 c (round 110) 7227 del vars, 17805 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 1054189 impls, 1550 clqs
55.28/55.33 c (round 111) 7227 del vars, 17856 del conss, 57 chg bounds, 0 chg sides, 10 chg coeffs, 86624 upgd conss, 1054189 impls, 1550 clqs
55.38/55.44 c (54.7s) probing: 15611/15633 (99.9%) - 59 fixings, 1676 aggregations, 383216 implications, 0 bound changes
55.38/55.44 c (54.7s) probing aborted: 100/100 successive totally useless probings
55.38/55.44 c presolving (112 rounds):
55.38/55.44 c 7227 deleted vars, 17856 deleted constraints, 57 tightened bounds, 0 added holes, 0 changed sides, 10 changed coefficients
55.38/55.44 c 1054189 implications, 1550 cliques
55.38/55.44 c presolved problem has 13878 variables (13878 bin, 0 int, 0 impl, 0 cont) and 82242 constraints
55.38/55.44 c 22806 constraints of type <setppc>
55.38/55.44 c 59436 constraints of type <logicor>
55.38/55.44 c transformed objective value is always integral (scale: 1)
55.38/55.44 c Presolving Time: 54.58
55.38/55.44 c - non default parameters ----------------------------------------------------------------------
55.38/55.44 c # SCIP version 1.2.1.3
55.38/55.44 c
55.38/55.44 c # frequency for displaying node information lines
55.38/55.44 c # [type: int, range: [-1,2147483647], default: 100]
55.38/55.44 c display/freq = 10000
55.38/55.44 c
55.38/55.44 c # maximal time in seconds to run
55.38/55.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.38/55.44 c limits/time = 1789.3
55.38/55.44 c
55.38/55.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
55.38/55.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.38/55.44 c limits/memory = 13950
55.38/55.44 c
55.38/55.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
55.38/55.44 c # [type: int, range: [1,2], default: 1]
55.38/55.44 c timing/clocktype = 2
55.38/55.44 c
55.38/55.44 c # should presolving try to simplify inequalities
55.38/55.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
55.38/55.44 c constraints/linear/simplifyinequalities = TRUE
55.38/55.44 c
55.38/55.44 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
55.38/55.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
55.38/55.44 c constraints/indicator/addCouplingCons = TRUE
55.38/55.44 c
55.38/55.44 c # should presolving try to simplify knapsacks
55.38/55.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
55.38/55.44 c constraints/knapsack/simplifyinequalities = TRUE
55.38/55.44 c
55.38/55.44 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
55.38/55.44 c # [type: int, range: [-1,2147483647], default: -1]
55.38/55.44 c separating/rapidlearning/freq = 0
55.38/55.44 c
55.38/55.44 c -----------------------------------------------------------------------------------------------
55.38/55.44 c start solving
55.38/55.44 c
67.48/67.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.48/67.55 c 66.8s| 1 | 2 | 13970 | - | 180M| 0 | - | 13k| 82k| 13k| 78k| 0 | 0 | 0 | 7.929455e+11 | -- | Inf
1789.80/1790.15 c
1789.80/1790.15 c SCIP Status : solving was interrupted [time limit reached]
1789.80/1790.15 c Solving Time (sec) : 1789.44
1789.80/1790.15 c Solving Nodes : 370
1789.80/1790.15 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.80/1790.15 c Dual Bound : +7.93000908290000e+11
1789.80/1790.15 c Gap : infinite
1789.80/1790.15 s UNKNOWN
1789.80/1790.15 c SCIP Status : solving was interrupted [time limit reached]
1789.80/1790.15 c Solving Time : 1789.44
1789.80/1790.15 c Original Problem :
1789.80/1790.15 c Problem name : HOME/instance-3739298-1338728710.opb
1789.80/1790.15 c Variables : 21105 (21105 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.80/1790.15 c Constraints : 100098 initial, 100098 maximal
1789.80/1790.15 c Presolved Problem :
1789.80/1790.15 c Problem name : t_HOME/instance-3739298-1338728710.opb
1789.80/1790.15 c Variables : 13878 (13878 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.80/1790.15 c Constraints : 82242 initial, 82244 maximal
1789.80/1790.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.80/1790.15 c trivial : 0.09 0 0 0 0 0 0 0 0
1789.80/1790.15 c dualfix : 0.07 4143 0 0 0 0 0 0 0
1789.80/1790.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.80/1790.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.80/1790.15 c implics : 0.24 0 46 0 0 0 0 0 0
1789.80/1790.15 c probing : 43.50 59 1676 0 0 0 0 0 0
1789.80/1790.15 c setppc : 2.71 0 0 0 0 0 4293 0 0
1789.80/1790.15 c linear : 0.92 57 1246 0 57 0 13474 0 10
1789.80/1790.15 c logicor : 6.87 0 0 0 0 0 89 0 0
1789.80/1790.15 c root node : - 0 - - 0 - - - -
1789.80/1790.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.80/1790.15 c integral : 0 0 0 0 0 0 0 0 0 0
1789.80/1790.15 c setppc : 22806 0 47875 0 369 0 9591 0 0 0
1789.80/1790.15 c logicor : 59436+ 0 40160 0 369 60 11527 0 0 0
1789.80/1790.15 c countsols : 0 0 0 0 369 0 0 0 0 0
1789.80/1790.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.80/1790.15 c integral : 0.00 0.00 0.00 0.00 0.00
1789.80/1790.15 c setppc : 30.46 0.00 28.58 0.00 1.88
1789.80/1790.15 c logicor : 7.62 0.00 1.95 0.00 5.67
1789.80/1790.15 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.80/1790.15 c Propagators : Time Calls Cutoffs DomReds
1789.80/1790.15 c vbounds : 0.04 2 0 0
1789.80/1790.15 c rootredcost : 0.03 0 0 0
1789.80/1790.15 c pseudoobj : 0.23 1050 0 0
1789.80/1790.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.80/1790.15 c propagation : 0.00 1 1 2 4.5 0 0.0 -
1789.80/1790.15 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.80/1790.15 c applied globally : - - - 2 4.5 - - -
1789.80/1790.15 c applied locally : - - - 0 0.0 - - -
1789.80/1790.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.80/1790.15 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1789.80/1790.15 c redcost : 0.00 0 0 0 0 0
1789.80/1790.15 c impliedbounds : 0.00 0 0 0 0 0
1789.80/1790.15 c intobj : 0.00 0 0 0 0 0
1789.80/1790.15 c cgmip : 0.00 0 0 0 0 0
1789.80/1790.15 c gomory : 0.00 0 0 0 0 0
1789.80/1790.15 c strongcg : 0.00 0 0 0 0 0
1789.80/1790.15 c cmir : 0.00 0 0 0 0 0
1789.80/1790.15 c flowcover : 0.00 0 0 0 0 0
1789.80/1790.15 c clique : 0.00 0 0 0 0 0
1789.80/1790.15 c zerohalf : 0.00 0 0 0 0 0
1789.80/1790.15 c mcf : 0.00 0 0 0 0 0
1789.80/1790.15 c rapidlearning : 0.00 0 0 0 0 0
1789.80/1790.15 c Pricers : Time Calls Vars
1789.80/1790.15 c problem variables: 0.00 0 0
1789.80/1790.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.80/1790.15 c relpscost : 0.00 0 0 0 0 0 0
1789.80/1790.15 c pscost : 0.00 0 0 0 0 0 0
1789.80/1790.15 c inference : 0.87 369 0 0 0 0 738
1789.80/1790.15 c mostinf : 0.00 0 0 0 0 0 0
1789.80/1790.15 c leastinf : 0.00 0 0 0 0 0 0
1789.80/1790.15 c fullstrong : 0.00 0 0 0 0 0 0
1789.80/1790.15 c allfullstrong : 0.00 0 0 0 0 0 0
1789.80/1790.15 c random : 0.00 0 0 0 0 0 0
1789.80/1790.15 c Primal Heuristics : Time Calls Found
1789.80/1790.15 c LP solutions : 0.00 - 0
1789.80/1790.15 c pseudo solutions : 0.00 - 0
1789.80/1790.15 c oneopt : 0.00 0 0
1789.80/1790.15 c intshifting : 0.00 0 0
1789.80/1790.15 c coefdiving : 0.00 0 0
1789.80/1790.15 c pscostdiving : 0.00 0 0
1789.80/1790.15 c fracdiving : 0.00 0 0
1789.80/1790.15 c veclendiving : 0.00 0 0
1789.80/1790.15 c objpscostdiving : 0.00 0 0
1789.80/1790.15 c rootsoldiving : 0.00 0 0
1789.80/1790.15 c linesearchdiving : 0.00 0 0
1789.80/1790.15 c guideddiving : 0.00 0 0
1789.80/1790.15 c crossover : 0.00 0 0
1789.80/1790.15 c trivial : 0.04 2 0
1789.80/1790.15 c simplerounding : 0.00 0 0
1789.80/1790.15 c zirounding : 0.00 0 0
1789.80/1790.15 c rounding : 0.00 0 0
1789.80/1790.15 c shifting : 0.00 0 0
1789.80/1790.15 c twoopt : 0.00 0 0
1789.80/1790.15 c fixandinfer : 0.00 0 0
1789.80/1790.15 c feaspump : 0.00 0 0
1789.80/1790.15 c intdiving : 0.00 0 0
1789.80/1790.15 c actconsdiving : 0.00 0 0
1789.80/1790.15 c octane : 0.00 0 0
1789.80/1790.15 c rens : 0.00 0 0
1789.80/1790.15 c rins : 0.00 0 0
1789.80/1790.15 c localbranching : 0.00 0 0
1789.80/1790.15 c mutation : 0.00 0 0
1789.80/1790.15 c dins : 0.00 0 0
1789.80/1790.15 c undercover : 0.00 0 0
1789.80/1790.15 c nlp : 0.00 0 0
1789.80/1790.15 c trysol : 0.00 0 0
1789.80/1790.15 c LP : Time Calls Iterations Iter/call Iter/sec
1789.80/1790.15 c primal LP : 0.00 0 0 0.00 -
1789.80/1790.15 c dual LP : 1717.91 560 2274330 4061.30 1323.89
1789.80/1790.15 c lex dual LP : 0.00 0 0 0.00 -
1789.80/1790.15 c barrier LP : 0.00 0 0 0.00 -
1789.80/1790.15 c diving/probing LP: 0.00 0 0 0.00 -
1789.80/1790.15 c strong branching : 0.00 0 0 0.00 -
1789.80/1790.15 c (at root node) : - 0 0 0.00 -
1789.80/1790.15 c conflict analysis: 0.00 0 0 0.00 -
1789.80/1790.15 c B&B Tree :
1789.80/1790.15 c number of runs : 1
1789.80/1790.15 c nodes : 370
1789.80/1790.15 c nodes (total) : 370
1789.80/1790.15 c nodes left : 369
1789.80/1790.15 c max depth : 35
1789.80/1790.15 c max depth (total): 35
1789.80/1790.15 c backtracks : 28 (7.6%)
1789.80/1790.15 c delayed cutoffs : 0
1789.80/1790.15 c repropagations : 13 (2 domain reductions, 0 cutoffs)
1789.80/1790.15 c avg switch length: 2.21
1789.80/1790.15 c switching time : 0.07
1789.80/1790.15 c Solution :
1789.80/1790.15 c Solutions found : 0 (0 improvements)
1789.80/1790.15 c Primal Bound : -
1789.80/1790.15 c Dual Bound : +7.93000908290000e+11
1789.80/1790.15 c Gap : infinite
1789.80/1790.15 c Root Dual Bound : +7.92945541442000e+11
1789.80/1790.15 c Root Iterations : 13970
1790.00/1790.36 c Time complete: 1790.06.
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-3739298-1338728710/watcher-3739298-1338728710 -o /tmp/evaluation-result-3739298-1338728710/solver-3739298-1338728710 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3739298-1338728710.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.00 2.01 2.00 3/176 13070 /proc/meminfo: memFree=15839968/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=7916 CPUtime=0 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 1254 0 0 0 0 0 0 0 20 0 1 0 338999538 8105984 1201 33554432000 4194304 8395647 140736853452272 140736466678264 7385025 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 1979 1201 370 1026 0 949 0 [startup+0.0842791 s] /proc/loadavg: 2.00 2.01 2.00 3/176 13070 /proc/meminfo: memFree=15839968/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=23184 CPUtime=0.07 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 5068 0 0 0 7 0 0 0 20 0 1 0 338999538 23740416 5010 33554432000 4194304 8395647 140736853452272 140736466678264 6347101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 5796 5026 394 1026 0 4766 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 23184 [startup+0.100332 s] /proc/loadavg: 2.00 2.01 2.00 3/176 13070 /proc/meminfo: memFree=15839968/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=25260 CPUtime=0.09 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 5605 0 0 0 9 0 0 0 20 0 1 0 338999538 25866240 5546 33554432000 4194304 8395647 140736853452272 140736466678264 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 6315 5546 394 1026 0 5285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25260 [startup+0.300275 s] /proc/loadavg: 2.00 2.01 2.00 3/176 13070 /proc/meminfo: memFree=15839968/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=38744 CPUtime=0.29 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 8931 0 0 0 28 1 0 0 20 0 1 0 338999538 39673856 8872 33554432000 4194304 8395647 140736853452272 140736466678264 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 9686 8872 394 1026 0 8656 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38744 [startup+0.700281 s] /proc/loadavg: 2.00 2.01 2.00 3/176 13070 /proc/meminfo: memFree=15839968/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=62968 CPUtime=0.68 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 14972 0 0 0 67 1 0 0 20 0 1 0 338999538 64479232 14913 33554432000 4194304 8395647 140736853452272 140736853317480 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 15742 14913 394 1026 0 14712 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 62968 [startup+1.5003 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13071 /proc/meminfo: memFree=14741260/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=167000 CPUtime=1.49 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 40102 0 0 0 144 5 0 0 20 0 1 0 338999538 171008000 39689 33554432000 4194304 8395647 140736853452272 140736853448072 18446744073699066235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 41750 39689 476 1026 0 40720 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 167000 [startup+3.1003 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13071 /proc/meminfo: memFree=14446808/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=204184 CPUtime=3.09 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 48299 0 0 0 303 6 0 0 20 0 1 0 338999538 209084416 49004 33554432000 4194304 8395647 140736853452272 140736853448072 5210321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 51046 49004 499 1026 0 50016 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 204184 [startup+6.3003 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13071 /proc/meminfo: memFree=12868056/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=204184 CPUtime=6.29 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 48335 0 0 0 623 6 0 0 20 0 1 0 338999538 209084416 49040 33554432000 4194304 8395647 140736853452272 140736853448072 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 51046 49040 499 1026 0 50016 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 204184 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13071 /proc/meminfo: memFree=12470336/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=209104 CPUtime=12.69 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 49575 0 0 0 1263 6 0 0 20 0 1 0 338999538 214122496 50280 33554432000 4194304 8395647 140736853452272 140736853447208 5211819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 52276 50280 505 1026 0 51246 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 209104 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13071 /proc/meminfo: memFree=12428300/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=212608 CPUtime=25.48 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 50475 0 0 0 2542 6 0 0 20 0 1 0 338999538 217710592 51180 33554432000 4194304 8395647 140736853452272 140736853447208 18446744073699066235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 53152 51180 505 1026 0 52122 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 212608 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13071 /proc/meminfo: memFree=12353544/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=224536 CPUtime=51.08 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 53115 0 0 0 5101 7 0 0 20 0 1 0 338999538 229924864 54331 33554432000 4194304 8395647 140736853452272 140736853447208 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 56134 54331 505 1026 0 55104 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 224536 [startup+102.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 13071 /proc/meminfo: memFree=11868688/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=337396 CPUtime=102.28 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 126184 0 0 0 10200 28 0 0 20 0 1 0 338999538 345493504 81609 33554432000 4194304 8395647 140736853452272 140736853447832 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 84349 81609 581 1026 0 83319 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 337396 [startup+162.3 s] /proc/loadavg: 2.08 2.03 2.00 3/177 13071 /proc/meminfo: memFree=11737332/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=346976 CPUtime=162.26 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 196049 0 0 0 16180 46 0 0 20 0 1 0 338999538 355303424 81272 33554432000 4194304 8395647 140736853452272 140736853447368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 86744 81272 583 1026 0 85714 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 346976 [startup+222.307 s] /proc/loadavg: 2.03 2.02 2.00 3/177 13072 /proc/meminfo: memFree=11660912/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=358704 CPUtime=222.26 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 263648 0 0 0 22161 65 0 0 20 0 1 0 338999538 367312896 85762 33554432000 4194304 8395647 140736853452272 140736853447832 6697808 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 89676 85762 583 1026 0 88646 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 358704 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 13072 /proc/meminfo: memFree=11625640/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=331100 CPUtime=282.24 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 327591 0 0 0 28138 86 0 0 20 0 1 0 338999538 339046400 79938 33554432000 4194304 8395647 140736853452272 140736853447400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 82775 79938 583 1026 0 81745 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 331100 [startup+342.3 s] /proc/loadavg: 2.05 2.03 2.00 3/178 13075 /proc/meminfo: memFree=11641824/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=351668 CPUtime=342.24 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 406423 0 0 0 34111 113 0 0 20 0 1 0 338999538 360108032 83589 33554432000 4194304 8395647 140736853452272 140736853447736 6721235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 87917 83589 583 1026 0 86887 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 351668 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 13075 /proc/meminfo: memFree=11533132/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=363140 CPUtime=402.23 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 487044 0 0 0 40088 135 0 0 20 0 1 0 338999538 371855360 87473 33554432000 4194304 8395647 140736853452272 140736853447400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 90785 87473 583 1026 0 89755 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 363140 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13075 /proc/meminfo: memFree=11551228/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=350032 CPUtime=462.22 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 574713 0 0 0 46064 158 0 0 20 0 1 0 338999538 358432768 83555 33554432000 4194304 8395647 140736853452272 140736853447400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 87508 83555 583 1026 0 86478 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 350032 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13075 /proc/meminfo: memFree=11546792/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=356140 CPUtime=522.21 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 641834 0 0 0 52043 178 0 0 20 0 1 0 338999538 364687360 85657 33554432000 4194304 8395647 140736853452272 140736853447832 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 89035 85657 583 1026 0 88005 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 356140 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13076 /proc/meminfo: memFree=11539192/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=358704 CPUtime=582.2 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 720005 0 0 0 58016 204 0 0 20 0 1 0 338999538 367312896 86341 33554432000 4194304 8395647 140736853452272 140736853447400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 89676 86341 583 1026 0 88646 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 358704 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=25932072/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=347796 CPUtime=1062.12 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 1352892 0 0 0 105802 410 0 0 20 0 1 0 338999538 356143104 83426 33554432000 4194304 8395647 140736853452272 140736853447128 6721240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 86949 83426 587 1026 0 85919 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 347796 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 13118 /proc/meminfo: memFree=25916872/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=358864 CPUtime=1122.11 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 1443246 0 0 0 111773 438 0 0 20 0 1 0 338999538 367476736 88116 33554432000 4194304 8395647 140736853452272 140736853447400 6723607 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 89716 88116 587 1026 0 88686 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 358864 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13119 /proc/meminfo: memFree=25915828/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=357140 CPUtime=1182.09 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 1534206 0 0 0 117742 467 0 0 20 0 1 0 338999538 365711360 87765 33554432000 4194304 8395647 140736853452272 140736853447400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 89285 87765 587 1026 0 88255 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 357140 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13119 /proc/meminfo: memFree=25926492/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=356848 CPUtime=1242.08 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 1619366 0 0 0 123710 498 0 0 20 0 1 0 338999538 365412352 87415 33554432000 4194304 8395647 140736853452272 140736853447400 6721240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 89212 87415 587 1026 0 88182 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 356848 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13119 /proc/meminfo: memFree=25943544/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=349116 CPUtime=1302.08 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 1707328 0 0 0 129677 531 0 0 20 0 1 0 338999538 357494784 84700 33554432000 4194304 8395647 140736853452272 140736853447480 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 87279 84700 587 1026 0 86249 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 349116 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13119 /proc/meminfo: memFree=25946400/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=345132 CPUtime=1362.07 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 1795313 0 0 0 135646 561 0 0 20 0 1 0 338999538 353415168 83920 33554432000 4194304 8395647 140736853452272 140736853447832 6721240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 86283 83920 587 1026 0 85253 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 345132 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13119 /proc/meminfo: memFree=25932380/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=344780 CPUtime=1422.06 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 1893188 0 0 0 141616 590 0 0 20 0 1 0 338999538 353054720 83308 33554432000 4194304 8395647 140736853452272 140736853447832 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 86195 83308 587 1026 0 85165 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 344780 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13120 /proc/meminfo: memFree=25926836/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=354364 CPUtime=1482.05 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 1978731 0 0 0 147587 618 0 0 20 0 1 0 338999538 362868736 86090 33554432000 4194304 8395647 140736853452272 140736853447832 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 88591 86090 587 1026 0 87561 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 354364 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13123 /proc/meminfo: memFree=25941036/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=350332 CPUtime=1542.05 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2073415 0 0 0 153556 649 0 0 20 0 1 0 338999538 358739968 85870 33554432000 4194304 8395647 140736853452272 140736853447400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 87583 85870 587 1026 0 86553 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 350332 [startup+1602.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 13123 /proc/meminfo: memFree=25910968/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=360656 CPUtime=1602.03 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2173632 0 0 0 159523 680 0 0 20 0 1 0 338999538 369311744 89487 33554432000 4194304 8395647 140736853452272 140736853447400 5087144 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 90164 89487 587 1026 0 89134 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 360656 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 13123 /proc/meminfo: memFree=25916924/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=356124 CPUtime=1662.01 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2235627 0 0 0 165497 704 0 0 20 0 1 0 338999538 364670976 88351 33554432000 4194304 8395647 140736853452272 140736853447736 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 89031 88351 587 1026 0 88001 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 356124 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 13123 /proc/meminfo: memFree=25913752/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=363052 CPUtime=1722 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2275024 0 0 0 171475 725 0 0 20 0 1 0 338999538 371765248 89162 33554432000 4194304 8395647 140736853452272 140736853447832 6438996 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 90763 89162 587 1026 0 89733 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 363052 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13124 /proc/meminfo: memFree=25921692/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=353532 CPUtime=1782 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2369271 0 0 0 177445 755 0 0 20 0 1 0 338999538 362016768 87133 33554432000 4194304 8395647 140736853452272 140736853447400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 88383 87133 587 1026 0 87353 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 353532 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13124 /proc/meminfo: memFree=25936696/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=336984 CPUtime=1785.29 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2372897 0 0 0 177773 756 0 0 20 0 1 0 338999538 345071616 83148 33554432000 4194304 8395647 140736853452272 140736853447736 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 84246 83148 587 1026 0 83216 0 Current children cumulated CPU time (s) 1785.29 Current children cumulated vsize (KiB) 336984 [startup+1788.8 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13124 /proc/meminfo: memFree=25909292/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=359460 CPUtime=1788.49 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2379773 0 0 0 178091 758 0 0 20 0 1 0 338999538 368087040 89197 33554432000 4194304 8395647 140736853452272 140736853447400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 89865 89197 587 1026 0 88835 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (KiB) 359460 [startup+1789.6 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13124 /proc/meminfo: memFree=25909292/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=359460 CPUtime=1789.3 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2379867 0 0 0 178171 759 0 0 20 0 1 0 338999538 368087040 89198 33554432000 4194304 8395647 140736853452272 140736853447400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 89865 89198 587 1026 0 88835 0 Current children cumulated CPU time (s) 1789.3 Current children cumulated vsize (KiB) 359460 [startup+1790 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13124 /proc/meminfo: memFree=25909292/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=329976 CPUtime=1789.7 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2379867 0 0 0 178211 759 0 0 20 0 1 0 338999538 337895424 81950 33554432000 4194304 8395647 140736853452272 140736853447400 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 82494 81950 587 1026 0 81464 0 Current children cumulated CPU time (s) 1789.7 Current children cumulated vsize (KiB) 329976 [startup+1790.2 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13124 /proc/meminfo: memFree=25909292/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=339776 CPUtime=1789.9 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2379898 0 0 0 178231 759 0 0 20 0 1 0 338999538 347930624 83003 33554432000 4194304 8395647 140736853452272 140736853447400 6345170 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 84944 83003 593 1026 0 83914 0 Current children cumulated CPU time (s) 1789.9 Current children cumulated vsize (KiB) 339776 [startup+1790.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 13124 /proc/meminfo: memFree=25909292/32873844 swapFree=7628/7628 [pid=13070] ppid=13068 vsize=339776 CPUtime=1790 cores=0,2,4,6 /proc/13070/stat : 13070 (pbscip.linux.x8) R 13068 13070 25613 0 -1 4202496 2379900 0 0 0 178241 759 0 0 20 0 1 0 338999538 347930624 83005 33554432000 4194304 8395647 140736853452272 140736853447400 4750032 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/13070/statm: 84944 83005 595 1026 0 83914 0 Current children cumulated CPU time (s) 1790 Current children cumulated vsize (KiB) 339776 Child status: 0 Real time (s): 1790.36 CPU time (s): 1790.07 CPU user time (s): 1782.47 CPU system time (s): 7.60084 CPU usage (%): 99.9835 Max. virtual memory (cumulated for all children) (KiB): 368760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.47 system time used= 7.60084 maximum resident set size= 362528 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2379907 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= 27 involuntary context switches= 1873 runsolver used 3.50947 second user time and 7.95879 second system time The end
Begin job on node107 at 2012-06-03 15:05:10 IDJOB=3739298 IDBENCH=72452 IDSOLVER=2326 FILE ID=node107/3739298-1338728710 RUNJOBID= node107-1338723356-12418 PBS_JOBID= 14636731 Free space on /tmp= 70520 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/9orless/normalized-gnash-common-opengl.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-3739298-1338728710/watcher-3739298-1338728710 -o /tmp/evaluation-result-3739298-1338728710/solver-3739298-1338728710 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3739298-1338728710.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a3b409ee32ed598382bd48e986006a5e RANDOM SEED=2075324413 node107.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.760 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.52 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.760 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.760 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.92 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.760 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.760 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.91 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.760 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.760 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.86 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.760 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: 15858816 kB Buffers: 538752 kB Cached: 5028068 kB SwapCached: 76 kB Active: 12837852 kB Inactive: 3258692 kB Active(anon): 10521452 kB Inactive(anon): 11060 kB Active(file): 2316400 kB Inactive(file): 3247632 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108780 kB Dirty: 14232 kB Writeback: 8 kB AnonPages: 10441704 kB Mapped: 16352 kB Shmem: 184 kB Slab: 749744 kB SReclaimable: 191612 kB SUnreclaim: 558132 kB KernelStack: 1464 kB PageTables: 24548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10856868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 706560 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= 70756 MiB End job on node107 at 2012-06-03 15:35:00