| 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.35 | 1790.68 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-xvfb.cudf.trendy.opb |
| MD5SUM | 19a31dcc7d4af59eaddbb91eafd1bc0a |
| 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 | 3022771522395 |
| Best CPU time to get the best result obtained on this benchmark | 1801.58 |
| 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 | 21106 |
| Total number of constraints | 100071 |
| Number of constraints which are clauses | 98505 |
| Number of constraints which are cardinality constraints (but not clauses) | 1566 |
| 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-3739256-1338728521.opb>
0.69/0.74 c original problem has 21106 variables (21106 bin, 0 int, 0 impl, 0 cont) and 100071 constraints
0.69/0.74 c problem read
0.69/0.74 c presolving settings loaded
0.89/0.95 c presolving:
1.09/1.15 c (round 1) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130408 impls, 1558 clqs
1.09/1.18 c (round 2) 2419 del vars, 5018 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161818 impls, 1558 clqs
1.09/1.19 c (round 3) 2493 del vars, 5140 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161818 impls, 1558 clqs
1.19/1.22 c (round 4) 5418 del vars, 11004 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161818 impls, 1558 clqs
1.19/1.23 c (round 5) 5440 del vars, 11058 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161818 impls, 1558 clqs
1.19/1.24 c (round 6) 5451 del vars, 11074 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161818 impls, 1558 clqs
1.49/1.54 c (round 7) 5458 del vars, 13383 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86655 upgd conss, 161818 impls, 1558 clqs
1.59/1.61 c (round 8) 5461 del vars, 13386 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86655 upgd conss, 161818 impls, 1558 clqs
1.59/1.66 c (round 9) 5461 del vars, 13387 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 161818 impls, 1558 clqs
4.09/4.11 c (round 10) 5512 del vars, 13387 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 370094 impls, 1558 clqs
4.09/4.15 c (round 11) 5512 del vars, 13438 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 370094 impls, 1558 clqs
4.19/4.21 c (round 12) 5512 del vars, 13488 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 370094 impls, 1558 clqs
6.49/6.53 c (round 13) 5562 del vars, 13488 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 464490 impls, 1557 clqs
6.49/6.58 c (round 14) 5562 del vars, 13540 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 464490 impls, 1557 clqs
6.59/6.63 c (round 15) 5562 del vars, 13590 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 464490 impls, 1557 clqs
7.48/7.54 c (6.8s) probing: 1000/15645 (6.4%) - 0 fixings, 111 aggregations, 81312 implications, 0 bound changes
9.18/9.25 c (round 16) 5612 del vars, 13590 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 489152 impls, 1557 clqs
9.18/9.29 c (round 17) 5612 del vars, 13637 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 489152 impls, 1557 clqs
9.28/9.34 c (round 18) 5612 del vars, 13690 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 489152 impls, 1557 clqs
10.38/10.47 c (round 19) 5662 del vars, 13690 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 497926 impls, 1556 clqs
10.48/10.51 c (round 20) 5662 del vars, 13740 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 497926 impls, 1556 clqs
10.48/10.56 c (round 21) 5662 del vars, 13791 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 497926 impls, 1556 clqs
11.78/11.81 c (round 22) 5712 del vars, 13791 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 533410 impls, 1556 clqs
11.78/11.85 c (round 23) 5712 del vars, 13843 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 533410 impls, 1556 clqs
11.78/11.89 c (round 24) 5712 del vars, 13892 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 533410 impls, 1556 clqs
11.88/11.99 c (11.3s) probing: 2000/15645 (12.8%) - 2 fixings, 252 aggregations, 106819 implications, 0 bound changes
13.88/13.94 c (round 25) 5762 del vars, 13892 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 572969 impls, 1556 clqs
13.88/13.98 c (round 26) 5762 del vars, 13943 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 572969 impls, 1556 clqs
13.98/14.03 c (round 27) 5762 del vars, 13995 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 572969 impls, 1556 clqs
15.28/15.36 c (round 28) 5812 del vars, 13995 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 581489 impls, 1556 clqs
15.28/15.40 c (round 29) 5812 del vars, 14045 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 581489 impls, 1556 clqs
15.38/15.45 c (round 30) 5812 del vars, 14093 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 581489 impls, 1556 clqs
15.58/15.65 c (14.9s) probing: 3000/15645 (19.2%) - 2 fixings, 351 aggregations, 130641 implications, 0 bound changes
16.87/16.90 c (round 31) 5862 del vars, 14093 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 598825 impls, 1555 clqs
16.87/16.94 c (round 32) 5862 del vars, 14141 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 598825 impls, 1555 clqs
16.87/16.99 c (round 33) 5862 del vars, 14203 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 598825 impls, 1555 clqs
18.37/18.45 c (round 34) 5912 del vars, 14203 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 608071 impls, 1555 clqs
18.37/18.49 c (round 35) 5912 del vars, 14252 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 608071 impls, 1555 clqs
18.47/18.54 c (round 36) 5912 del vars, 14304 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 608071 impls, 1555 clqs
19.07/19.11 c (18.4s) probing: 4000/15645 (25.6%) - 2 fixings, 478 aggregations, 143587 implications, 0 bound changes
19.37/19.48 c (round 37) 5962 del vars, 14304 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 613525 impls, 1554 clqs
19.47/19.50 c (round 38) 5962 del vars, 14367 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 613525 impls, 1554 clqs
19.47/19.55 c (round 39) 5962 del vars, 14413 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 613525 impls, 1554 clqs
20.57/20.63 c (round 40) 6012 del vars, 14413 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 618583 impls, 1553 clqs
20.57/20.67 c (round 41) 6012 del vars, 14463 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 618583 impls, 1553 clqs
20.67/20.72 c (round 42) 6012 del vars, 14512 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 618583 impls, 1553 clqs
22.17/22.22 c (21.5s) probing: 5000/15645 (32.0%) - 3 fixings, 593 aggregations, 154134 implications, 0 bound changes
22.27/22.30 c (round 43) 6062 del vars, 14512 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 632993 impls, 1553 clqs
22.27/22.34 c (round 44) 6062 del vars, 14559 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 632993 impls, 1553 clqs
22.27/22.39 c (round 45) 6062 del vars, 14609 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 632993 impls, 1553 clqs
23.96/24.01 c (round 46) 6112 del vars, 14609 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 648559 impls, 1552 clqs
23.96/24.05 c (round 47) 6112 del vars, 14659 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 648559 impls, 1552 clqs
23.96/24.09 c (round 48) 6112 del vars, 14709 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 648559 impls, 1552 clqs
25.17/25.24 c (round 49) 6162 del vars, 14712 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 656233 impls, 1552 clqs
25.17/25.28 c (round 50) 6162 del vars, 14760 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 656233 impls, 1552 clqs
25.27/25.33 c (round 51) 6162 del vars, 14816 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 656233 impls, 1552 clqs
25.36/25.46 c (24.7s) probing: 6000/15645 (38.4%) - 3 fixings, 700 aggregations, 166536 implications, 0 bound changes
26.16/26.23 c (round 52) 6212 del vars, 14816 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 661675 impls, 1552 clqs
26.16/26.27 c (round 53) 6212 del vars, 14863 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 661675 impls, 1552 clqs
26.26/26.32 c (round 54) 6212 del vars, 14914 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 661675 impls, 1552 clqs
27.06/27.19 c (round 55) 6262 del vars, 14914 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 666151 impls, 1552 clqs
27.16/27.24 c (round 56) 6262 del vars, 14963 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 666151 impls, 1552 clqs
27.16/27.28 c (round 57) 6262 del vars, 15013 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 666151 impls, 1552 clqs
28.26/28.38 c (27.6s) probing: 7000/15645 (44.7%) - 3 fixings, 833 aggregations, 172299 implications, 0 bound changes
28.76/28.84 c (round 58) 6312 del vars, 15013 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 673857 impls, 1552 clqs
28.76/28.88 c (round 59) 6312 del vars, 15062 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 673857 impls, 1552 clqs
28.86/28.92 c (round 60) 6312 del vars, 15112 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 673857 impls, 1552 clqs
30.46/30.54 c (round 61) 6362 del vars, 15112 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 684655 impls, 1552 clqs
30.46/30.58 c (round 62) 6362 del vars, 15155 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 684655 impls, 1552 clqs
30.56/30.62 c (round 63) 6362 del vars, 15213 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 684655 impls, 1552 clqs
31.16/31.28 c (30.5s) probing: 8000/15645 (51.1%) - 4 fixings, 909 aggregations, 180986 implications, 0 bound changes
32.26/32.38 c (round 64) 6412 del vars, 15213 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 690929 impls, 1552 clqs
32.36/32.42 c (round 65) 6412 del vars, 15265 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 690929 impls, 1552 clqs
32.36/32.46 c (round 66) 6412 del vars, 15311 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 690929 impls, 1552 clqs
33.75/33.88 c (round 67) 6462 del vars, 15311 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 705765 impls, 1552 clqs
33.85/33.92 c (round 68) 6462 del vars, 15360 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 705765 impls, 1552 clqs
33.85/33.97 c (round 69) 6462 del vars, 15410 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 705765 impls, 1552 clqs
34.06/34.16 c (33.4s) probing: 9000/15645 (57.5%) - 4 fixings, 997 aggregations, 191153 implications, 0 bound changes
34.95/35.07 c (round 70) 6512 del vars, 15410 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 710687 impls, 1552 clqs
35.06/35.11 c (round 71) 6512 del vars, 15460 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 710687 impls, 1552 clqs
35.06/35.16 c (round 72) 6512 del vars, 15510 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 710687 impls, 1552 clqs
36.26/36.31 c (round 73) 6562 del vars, 15510 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 729839 impls, 1552 clqs
36.26/36.35 c (round 74) 6562 del vars, 15560 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 729839 impls, 1552 clqs
36.35/36.40 c (round 75) 6562 del vars, 15610 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 729839 impls, 1552 clqs
36.85/36.90 c (36.2s) probing: 10000/15645 (63.9%) - 4 fixings, 1133 aggregations, 203858 implications, 0 bound changes
36.95/37.08 c (round 76) 6612 del vars, 15610 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 731425 impls, 1552 clqs
37.05/37.12 c (round 77) 6612 del vars, 15654 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 731425 impls, 1552 clqs
37.05/37.17 c (round 78) 6612 del vars, 15711 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 731425 impls, 1552 clqs
38.15/38.25 c (round 79) 6662 del vars, 15711 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 754427 impls, 1552 clqs
38.15/38.29 c (round 80) 6662 del vars, 15763 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 754427 impls, 1552 clqs
38.25/38.34 c (round 81) 6662 del vars, 15813 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 754427 impls, 1552 clqs
39.15/39.25 c (round 82) 6712 del vars, 15813 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 763303 impls, 1552 clqs
39.15/39.30 c (round 83) 6712 del vars, 15861 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 763303 impls, 1552 clqs
39.25/39.34 c (round 84) 6712 del vars, 15910 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 763303 impls, 1552 clqs
39.75/39.86 c (39.1s) probing: 11000/15645 (70.3%) - 5 fixings, 1261 aggregations, 228721 implications, 0 bound changes
40.15/40.21 c (round 85) 6762 del vars, 15910 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 781587 impls, 1552 clqs
40.15/40.25 c (round 86) 6762 del vars, 15960 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 781587 impls, 1552 clqs
40.25/40.30 c (round 87) 6762 del vars, 16010 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 781587 impls, 1552 clqs
40.75/40.82 c (round 88) 6812 del vars, 16010 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 784761 impls, 1552 clqs
40.75/40.86 c (round 89) 6812 del vars, 16059 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 784761 impls, 1552 clqs
40.85/40.91 c (round 90) 6812 del vars, 16109 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 784761 impls, 1552 clqs
41.76/41.86 c (round 91) 6862 del vars, 16109 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 803909 impls, 1552 clqs
41.85/41.90 c (round 92) 6862 del vars, 16161 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 803909 impls, 1552 clqs
41.85/41.94 c (round 93) 6862 del vars, 16209 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 803909 impls, 1552 clqs
42.65/42.77 c (42.0s) probing: 12000/15645 (76.7%) - 7 fixings, 1438 aggregations, 252049 implications, 0 bound changes
42.95/43.01 c (round 94) 6912 del vars, 16210 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 820021 impls, 1552 clqs
42.95/43.05 c (round 95) 6912 del vars, 16264 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 820021 impls, 1552 clqs
43.05/43.10 c (round 96) 6912 del vars, 16312 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 820021 impls, 1552 clqs
43.86/44.00 c (round 97) 6962 del vars, 16312 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 843283 impls, 1552 clqs
43.95/44.04 c (round 98) 6962 del vars, 16361 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 843283 impls, 1552 clqs
43.95/44.09 c (round 99) 6962 del vars, 16410 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 843283 impls, 1552 clqs
44.95/45.03 c (round 100) 7012 del vars, 16410 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 858155 impls, 1552 clqs
44.95/45.07 c (round 101) 7012 del vars, 16461 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 858155 impls, 1552 clqs
45.05/45.12 c (round 102) 7012 del vars, 16511 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 858155 impls, 1552 clqs
45.55/45.65 c (44.9s) probing: 13000/15645 (83.1%) - 7 fixings, 1568 aggregations, 278375 implications, 0 bound changes
46.65/46.75 c (round 103) 7062 del vars, 16511 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 937993 impls, 1552 clqs
46.65/46.79 c (round 104) 7062 del vars, 16566 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 937993 impls, 1552 clqs
46.75/46.84 c (round 105) 7062 del vars, 16615 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 937993 impls, 1552 clqs
49.15/49.24 c (round 106) 7112 del vars, 16615 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 1063967 impls, 1552 clqs
49.15/49.28 c (round 107) 7112 del vars, 16666 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 1063967 impls, 1552 clqs
49.25/49.33 c (round 108) 7112 del vars, 16712 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 1063967 impls, 1552 clqs
49.36/49.47 c (48.7s) probing: 14000/15645 (89.5%) - 12 fixings, 1639 aggregations, 390563 implications, 0 bound changes
53.05/53.12 c (52.4s) probing: 15000/15645 (95.9%) - 17 fixings, 1657 aggregations, 510475 implications, 0 bound changes
54.85/54.98 c (54.2s) probing: 15624/15645 (99.9%) - 21 fixings, 1658 aggregations, 548504 implications, 0 bound changes
54.85/54.98 c (54.2s) probing aborted: 100/100 successive totally useless probings
54.85/54.98 c (round 109) 7140 del vars, 16712 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 1350265 impls, 1552 clqs
54.95/55.02 c (round 110) 7144 del vars, 16751 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86686 upgd conss, 1350273 impls, 1552 clqs
54.95/55.08 c (54.3s) probing: 15634/15645 (99.9%) - 21 fixings, 1658 aggregations, 548504 implications, 0 bound changes
54.95/55.08 c (54.3s) probing aborted: 100/100 successive totally useless probings
54.95/55.09 c presolving (111 rounds):
54.95/55.09 c 7144 deleted vars, 16755 deleted constraints, 46 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
54.95/55.09 c 1350273 implications, 1552 cliques
54.95/55.09 c presolved problem has 13962 variables (13962 bin, 0 int, 0 impl, 0 cont) and 83316 constraints
54.95/55.09 c 23771 constraints of type <setppc>
54.95/55.09 c 59545 constraints of type <logicor>
54.95/55.09 c transformed objective value is always integral (scale: 1)
54.95/55.09 c Presolving Time: 54.19
54.95/55.09 c - non default parameters ----------------------------------------------------------------------
54.95/55.09 c # SCIP version 1.2.1.3
54.95/55.09 c
54.95/55.09 c # frequency for displaying node information lines
54.95/55.09 c # [type: int, range: [-1,2147483647], default: 100]
54.95/55.09 c display/freq = 10000
54.95/55.09 c
54.95/55.09 c # maximal time in seconds to run
54.95/55.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
54.95/55.09 c limits/time = 1789.27
54.95/55.09 c
54.95/55.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
54.95/55.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
54.95/55.09 c limits/memory = 13950
54.95/55.09 c
54.95/55.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
54.95/55.09 c # [type: int, range: [1,2], default: 1]
54.95/55.09 c timing/clocktype = 2
54.95/55.09 c
54.95/55.09 c # should presolving try to simplify inequalities
54.95/55.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
54.95/55.09 c constraints/linear/simplifyinequalities = TRUE
54.95/55.09 c
54.95/55.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
54.95/55.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
54.95/55.09 c constraints/indicator/addCouplingCons = TRUE
54.95/55.09 c
54.95/55.09 c # should presolving try to simplify knapsacks
54.95/55.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
54.95/55.09 c constraints/knapsack/simplifyinequalities = TRUE
54.95/55.09 c
54.95/55.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
54.95/55.09 c # [type: int, range: [-1,2147483647], default: -1]
54.95/55.09 c separating/rapidlearning/freq = 0
54.95/55.09 c
54.95/55.09 c -----------------------------------------------------------------------------------------------
54.95/55.09 c start solving
54.95/55.09 c
65.64/65.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.64/65.73 c 65.0s| 1 | 2 | 14166 | - | 189M| 0 | - | 13k| 83k| 13k| 81k| 0 | 0 | 0 | 5.550896e+11 | -- | Inf
1790.06/1790.40 c
1790.06/1790.40 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.40 c Solving Time (sec) : 1789.67
1790.06/1790.40 c Solving Nodes : 359
1790.06/1790.40 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.06/1790.40 c Dual Bound : +5.55126473665000e+11
1790.06/1790.40 c Gap : infinite
1790.06/1790.40 s UNKNOWN
1790.06/1790.40 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.40 c Solving Time : 1789.67
1790.06/1790.40 c Original Problem :
1790.06/1790.40 c Problem name : HOME/instance-3739256-1338728521.opb
1790.06/1790.40 c Variables : 21106 (21106 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.06/1790.40 c Constraints : 100071 initial, 100071 maximal
1790.06/1790.40 c Presolved Problem :
1790.06/1790.40 c Problem name : t_HOME/instance-3739256-1338728521.opb
1790.06/1790.40 c Variables : 13962 (13962 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.06/1790.40 c Constraints : 83316 initial, 83322 maximal
1790.06/1790.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.06/1790.40 c trivial : 0.11 0 0 0 0 0 0 0 0
1790.06/1790.40 c dualfix : 0.07 4143 0 0 0 0 0 0 0
1790.06/1790.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.40 c implics : 0.24 0 31 0 0 0 0 0 0
1790.06/1790.40 c probing : 48.73 21 1658 0 0 0 0 0 0
1790.06/1790.40 c setppc : 1.23 0 0 0 0 0 3350 0 0
1790.06/1790.40 c linear : 0.44 46 1245 0 46 0 13385 0 9
1790.06/1790.40 c logicor : 3.20 0 0 0 0 0 20 0 0
1790.06/1790.40 c root node : - 0 - - 0 - - - -
1790.06/1790.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.06/1790.40 c integral : 0 0 0 0 0 0 0 0 0 0
1790.06/1790.40 c setppc : 23771 0 48040 0 354 11 11151 0 0 0
1790.06/1790.40 c logicor : 59545+ 0 40366 0 354 14 18681 0 0 0
1790.06/1790.40 c countsols : 0 0 0 0 354 0 0 0 0 0
1790.06/1790.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.06/1790.40 c integral : 0.00 0.00 0.00 0.00 0.00
1790.06/1790.40 c setppc : 34.65 0.00 32.05 0.00 2.60
1790.06/1790.40 c logicor : 9.72 0.00 2.49 0.00 7.23
1790.06/1790.40 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.06/1790.40 c Propagators : Time Calls Cutoffs DomReds
1790.06/1790.40 c vbounds : 0.01 2 0 0
1790.06/1790.40 c rootredcost : 0.01 0 0 0
1790.06/1790.40 c pseudoobj : 0.26 985 0 0
1790.06/1790.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.06/1790.40 c propagation : 0.00 5 5 7 3.1 0 0.0 -
1790.06/1790.40 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.06/1790.40 c applied globally : - - - 6 3.0 - - -
1790.06/1790.40 c applied locally : - - - 0 0.0 - - -
1790.06/1790.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.06/1790.40 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.06/1790.40 c redcost : 0.00 0 0 0 0 0
1790.06/1790.40 c impliedbounds : 0.00 0 0 0 0 0
1790.06/1790.40 c intobj : 0.00 0 0 0 0 0
1790.06/1790.40 c cgmip : 0.00 0 0 0 0 0
1790.06/1790.40 c gomory : 0.00 0 0 0 0 0
1790.06/1790.40 c strongcg : 0.00 0 0 0 0 0
1790.06/1790.40 c cmir : 0.00 0 0 0 0 0
1790.06/1790.40 c flowcover : 0.00 0 0 0 0 0
1790.06/1790.40 c clique : 0.00 0 0 0 0 0
1790.06/1790.40 c zerohalf : 0.00 0 0 0 0 0
1790.06/1790.40 c mcf : 0.00 0 0 0 0 0
1790.06/1790.40 c rapidlearning : 0.00 0 0 0 0 0
1790.06/1790.40 c Pricers : Time Calls Vars
1790.06/1790.40 c problem variables: 0.00 0 0
1790.06/1790.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.06/1790.40 c relpscost : 0.00 0 0 0 0 0 0
1790.06/1790.40 c pscost : 0.00 0 0 0 0 0 0
1790.06/1790.40 c inference : 1.20 354 0 0 0 0 708
1790.06/1790.40 c mostinf : 0.00 0 0 0 0 0 0
1790.06/1790.40 c leastinf : 0.00 0 0 0 0 0 0
1790.06/1790.40 c fullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.40 c allfullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.40 c random : 0.00 0 0 0 0 0 0
1790.06/1790.40 c Primal Heuristics : Time Calls Found
1790.06/1790.40 c LP solutions : 0.00 - 0
1790.06/1790.40 c pseudo solutions : 0.00 - 0
1790.06/1790.40 c oneopt : 0.00 0 0
1790.06/1790.40 c coefdiving : 0.00 0 0
1790.06/1790.40 c pscostdiving : 0.00 0 0
1790.06/1790.40 c fracdiving : 0.00 0 0
1790.06/1790.40 c veclendiving : 0.00 0 0
1790.06/1790.40 c objpscostdiving : 0.00 0 0
1790.06/1790.40 c rootsoldiving : 0.00 0 0
1790.06/1790.40 c linesearchdiving : 0.00 0 0
1790.06/1790.40 c guideddiving : 0.00 0 0
1790.06/1790.40 c crossover : 0.00 0 0
1790.06/1790.40 c intshifting : 0.00 0 0
1790.06/1790.40 c trivial : 0.03 2 0
1790.06/1790.40 c simplerounding : 0.00 0 0
1790.06/1790.40 c zirounding : 0.00 0 0
1790.06/1790.40 c rounding : 0.00 0 0
1790.06/1790.40 c shifting : 0.00 0 0
1790.06/1790.40 c twoopt : 0.00 0 0
1790.06/1790.40 c fixandinfer : 0.00 0 0
1790.06/1790.40 c feaspump : 0.00 0 0
1790.06/1790.40 c intdiving : 0.00 0 0
1790.06/1790.40 c actconsdiving : 0.00 0 0
1790.06/1790.40 c octane : 0.00 0 0
1790.06/1790.40 c rens : 0.00 0 0
1790.06/1790.40 c rins : 0.00 0 0
1790.06/1790.40 c localbranching : 0.00 0 0
1790.06/1790.40 c mutation : 0.00 0 0
1790.06/1790.40 c dins : 0.00 0 0
1790.06/1790.40 c undercover : 0.00 0 0
1790.06/1790.40 c nlp : 0.00 0 0
1790.06/1790.40 c trysol : 0.00 0 0
1790.06/1790.40 c LP : Time Calls Iterations Iter/call Iter/sec
1790.06/1790.40 c primal LP : 0.00 0 0 0.00 -
1790.06/1790.40 c dual LP : 1714.87 509 2265068 4450.04 1320.84
1790.06/1790.40 c lex dual LP : 0.00 0 0 0.00 -
1790.06/1790.40 c barrier LP : 0.00 0 0 0.00 -
1790.06/1790.40 c diving/probing LP: 0.00 0 0 0.00 -
1790.06/1790.40 c strong branching : 0.00 0 0 0.00 -
1790.06/1790.40 c (at root node) : - 0 0 0.00 -
1790.06/1790.40 c conflict analysis: 0.00 0 0 0.00 -
1790.06/1790.40 c B&B Tree :
1790.06/1790.40 c number of runs : 1
1790.06/1790.40 c nodes : 359
1790.06/1790.40 c nodes (total) : 359
1790.06/1790.40 c nodes left : 350
1790.06/1790.40 c max depth : 27
1790.06/1790.40 c max depth (total): 27
1790.06/1790.40 c backtracks : 30 (8.4%)
1790.06/1790.40 c delayed cutoffs : 0
1790.06/1790.40 c repropagations : 30 (19 domain reductions, 0 cutoffs)
1790.06/1790.40 c avg switch length: 2.40
1790.06/1790.40 c switching time : 0.13
1790.06/1790.40 c Solution :
1790.06/1790.40 c Solutions found : 0 (0 improvements)
1790.06/1790.40 c Primal Bound : -
1790.06/1790.40 c Dual Bound : +5.55126473665000e+11
1790.06/1790.40 c Gap : infinite
1790.06/1790.40 c Root Dual Bound : +5.55089562433000e+11
1790.06/1790.40 c Root Iterations : 14166
1790.26/1790.68 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-3739256-1338728521/watcher-3739256-1338728521 -o /tmp/evaluation-result-3739256-1338728521/solver-3739256-1338728521 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3739256-1338728521.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.03 2.00 2/176 18280 /proc/meminfo: memFree=27689060/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=7916 CPUtime=0 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 1246 0 0 0 0 0 0 0 20 0 1 0 338978968 8105984 1192 33554432000 4194304 8395647 140735430036400 140737225130024 7430272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/18280/statm: 1979 1192 370 1026 0 949 0 [startup+0.0862989 s] /proc/loadavg: 2.00 2.03 2.00 2/176 18280 /proc/meminfo: memFree=27689060/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=22956 CPUtime=0.07 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 5021 0 0 0 7 0 0 0 20 0 1 0 338978968 23506944 4961 33554432000 4194304 8395647 140735430036400 140735429900040 7301307 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/18280/statm: 5739 4961 394 1026 0 4709 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 22956 [startup+0.100273 s] /proc/loadavg: 2.00 2.03 2.00 2/176 18280 /proc/meminfo: memFree=27689060/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=24228 CPUtime=0.08 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 5346 0 0 0 8 0 0 0 20 0 1 0 338978968 24809472 5286 33554432000 4194304 8395647 140735430036400 140735429900040 5754478 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/18280/statm: 6057 5286 394 1026 0 5027 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 24228 [startup+0.300223 s] /proc/loadavg: 2.00 2.03 2.00 2/176 18280 /proc/meminfo: memFree=27689060/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=37512 CPUtime=0.29 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 8631 0 0 0 28 1 0 0 20 0 1 0 338978968 38412288 8571 33554432000 4194304 8395647 140735430036400 140735429900040 4276021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/18280/statm: 9378 8571 394 1026 0 8348 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37512 [startup+0.700221 s] /proc/loadavg: 2.00 2.03 2.00 2/176 18280 /proc/meminfo: memFree=27689060/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=61628 CPUtime=0.69 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 14660 0 0 0 67 2 0 0 20 0 1 0 338978968 63107072 14600 33554432000 4194304 8395647 140735430036400 140735429901608 7279789 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/18280/statm: 15407 14600 394 1026 0 14377 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61628 [startup+1.50024 s] /proc/loadavg: 2.00 2.03 2.00 3/177 18281 /proc/meminfo: memFree=27538764/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=197860 CPUtime=1.49 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 48084 0 0 0 142 7 0 0 20 0 1 0 338978968 202608640 47327 33554432000 4194304 8395647 140735430036400 140735430032152 6345253 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/18280/statm: 49465 47327 484 1026 0 48435 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 197860 [startup+3.10023 s] /proc/loadavg: 2.00 2.03 2.00 3/177 18281 /proc/meminfo: memFree=27493508/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=204280 CPUtime=3.09 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 48857 0 0 0 302 7 0 0 20 0 1 0 338978968 209182720 49050 33554432000 4194304 8395647 140735430036400 140735430032200 4228079 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/18280/statm: 51070 49050 499 1026 0 50040 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 204280 [startup+6.30024 s] /proc/loadavg: 2.00 2.03 2.00 3/177 18319 /proc/meminfo: memFree=27622104/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=206644 CPUtime=6.28 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 48998 0 0 0 621 7 0 0 20 0 1 0 338978968 211603456 49780 33554432000 4194304 8395647 140735430036400 140735430032200 5210338 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/18280/statm: 51661 49780 499 1026 0 50631 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 206644 [startup+12.7002 s] /proc/loadavg: 2.00 2.03 2.00 4/177 18319 /proc/meminfo: memFree=27610708/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=212644 CPUtime=12.68 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 49986 0 0 0 1261 7 0 0 20 0 1 0 338978968 217747456 51279 33554432000 4194304 8395647 140735430036400 140735430031336 6115585 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/18280/statm: 53161 51279 505 1026 0 52131 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 212644 [startup+25.5002 s] /proc/loadavg: 2.07 2.04 2.00 4/177 18319 /proc/meminfo: memFree=27599156/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=218860 CPUtime=25.46 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 51587 0 0 0 2539 7 0 0 20 0 1 0 338978968 224112640 52872 33554432000 4194304 8395647 140735430036400 140735430031336 5210338 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 54715 52872 505 1026 0 53685 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 218860 [startup+51.1003 s] /proc/loadavg: 2.05 2.04 2.00 4/177 18319 /proc/meminfo: memFree=27475188/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=234816 CPUtime=51.05 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 54861 0 0 0 5097 8 0 0 20 0 1 0 338978968 240451584 57310 33554432000 4194304 8395647 140735430036400 140735430031336 5604533 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 58704 57310 505 1026 0 57674 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 234816 [startup+102.306 s] /proc/loadavg: 2.02 2.03 2.00 4/176 18319 /proc/meminfo: memFree=27312948/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=373416 CPUtime=102.23 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 141850 0 0 0 10194 29 0 0 20 0 1 0 338978968 382377984 89918 33554432000 4194304 8395647 140735430036400 140735430031528 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 93354 89918 581 1026 0 92324 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 373416 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.00 4/177 18320 /proc/meminfo: memFree=27305432/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=374584 CPUtime=162.21 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 224037 0 0 0 16170 51 0 0 20 0 1 0 338978968 383574016 92247 33554432000 4194304 8395647 140735430036400 140735430031048 6721235 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 93646 92247 583 1026 0 92616 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 374584 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 4/177 18320 /proc/meminfo: memFree=27294760/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=376104 CPUtime=222.2 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 301915 0 0 0 22146 74 0 0 20 0 1 0 338978968 385130496 92679 33554432000 4194304 8395647 140735430036400 140735430031528 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 94026 92679 583 1026 0 92996 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 376104 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 4/177 18320 /proc/meminfo: memFree=27294936/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=376900 CPUtime=282.18 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 374194 0 0 0 28120 98 0 0 20 0 1 0 338978968 385945600 92352 33554432000 4194304 8395647 140735430036400 140735430030808 6723641 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 94225 92352 583 1026 0 93195 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 376900 [startup+342.3 s] /proc/loadavg: 2.05 2.02 2.00 4/177 18320 /proc/meminfo: memFree=27300184/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=368692 CPUtime=342.18 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 446187 0 0 0 34096 122 0 0 20 0 1 0 338978968 377540608 90398 33554432000 4194304 8395647 140735430036400 140735430031528 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 92173 90398 583 1026 0 91143 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 368692 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 18320 /proc/meminfo: memFree=27290956/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=376436 CPUtime=402.17 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 534221 0 0 0 40068 149 0 0 20 0 1 0 338978968 385470464 92530 33554432000 4194304 8395647 140735430036400 140735430031864 6721240 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 94109 92530 583 1026 0 93079 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 376436 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 4/177 18321 /proc/meminfo: memFree=27285904/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=377944 CPUtime=462.16 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 619992 0 0 0 46041 175 0 0 20 0 1 0 338978968 387014656 92666 33554432000 4194304 8395647 140735430036400 140735430031256 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 94486 92666 583 1026 0 93456 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 377944 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 18324 /proc/meminfo: memFree=27280864/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=366260 CPUtime=522.15 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 699966 0 0 0 52015 200 0 0 20 0 1 0 338978968 375050240 88448 33554432000 4194304 8395647 140735430036400 140735430031528 6723581 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 91565 88448 587 1026 0 90535 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 366260 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18324 /proc/meminfo: memFree=27286264/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=377804 CPUtime=582.14 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 780458 0 0 0 57989 225 0 0 20 0 1 0 338978968 386871296 92535 33554432000 4194304 8395647 140735430036400 140735430031960 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 94451 92535 587 1026 0 93421 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 377804 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27303904/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=370600 CPUtime=1062.07 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 1438112 0 0 0 105781 426 0 0 20 0 1 0 338978968 379494400 90808 33554432000 4194304 8395647 140735430036400 140735430031864 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 92650 90808 587 1026 0 91620 0 Current children cumulated CPU time (s) 1062.07 Current children cumulated vsize (KiB) 370600 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 18329 /proc/meminfo: memFree=27282840/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=378028 CPUtime=1122.06 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 1520103 0 0 0 111756 450 0 0 20 0 1 0 338978968 387100672 93245 33554432000 4194304 8395647 140735430036400 140735430031864 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 94507 93245 587 1026 0 93477 0 Current children cumulated CPU time (s) 1122.06 Current children cumulated vsize (KiB) 378028 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18329 /proc/meminfo: memFree=27290164/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=377928 CPUtime=1182.05 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 1602509 0 0 0 117731 474 0 0 20 0 1 0 338978968 386998272 93621 33554432000 4194304 8395647 140735430036400 140735430031864 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 94482 93621 587 1026 0 93452 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 377928 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18329 /proc/meminfo: memFree=27280800/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=352356 CPUtime=1242.04 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 1692900 0 0 0 123703 501 0 0 20 0 1 0 338978968 360812544 87292 33554432000 4194304 8395647 140735430036400 140735430031608 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 88089 87292 587 1026 0 87059 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 352356 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18329 /proc/meminfo: memFree=27295060/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=368312 CPUtime=1302.04 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 1777625 0 0 0 129677 527 0 0 20 0 1 0 338978968 377151488 90205 33554432000 4194304 8395647 140735430036400 140735430030808 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 92078 90205 588 1026 0 91048 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 368312 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 4/177 18330 /proc/meminfo: memFree=27287436/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=382220 CPUtime=1362.03 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 1856021 0 0 0 135650 553 0 0 20 0 1 0 338978968 391393280 93786 33554432000 4194304 8395647 140735430036400 140735430031528 6721240 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 95555 93786 588 1026 0 94525 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 382220 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/177 18330 /proc/meminfo: memFree=27285016/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=377980 CPUtime=1422.02 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 1937022 0 0 0 141622 580 0 0 20 0 1 0 338978968 387051520 92714 33554432000 4194304 8395647 140735430036400 140735430031528 6622266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 94495 92714 588 1026 0 93465 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 377980 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18330 /proc/meminfo: memFree=27286900/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=377972 CPUtime=1482.01 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2016283 0 0 0 147597 604 0 0 20 0 1 0 338978968 387043328 92668 33554432000 4194304 8395647 140735430036400 140735430030808 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 94493 92668 588 1026 0 93463 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 377972 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18330 /proc/meminfo: memFree=27306004/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=366328 CPUtime=1541.99 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2110394 0 0 0 153567 632 0 0 20 0 1 0 338978968 375119872 88185 33554432000 4194304 8395647 140735430036400 140735430031960 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 91582 88185 588 1026 0 90552 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 366328 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18330 /proc/meminfo: memFree=27297508/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=370652 CPUtime=1601.98 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2189834 0 0 0 159538 660 0 0 20 0 1 0 338978968 379547648 91173 33554432000 4194304 8395647 140735430036400 140735430031528 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 92663 91173 588 1026 0 91633 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 370652 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18331 /proc/meminfo: memFree=27306128/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=366692 CPUtime=1661.97 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2263396 0 0 0 165509 688 0 0 20 0 1 0 338978968 375492608 89365 33554432000 4194304 8395647 140735430036400 140735430031528 6723918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 91673 89365 588 1026 0 90643 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 366692 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18334 /proc/meminfo: memFree=27310708/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=366272 CPUtime=1721.97 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2352126 0 0 0 171485 712 0 0 20 0 1 0 338978968 375062528 89073 33554432000 4194304 8395647 140735430036400 140735430031864 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 91568 89073 588 1026 0 90538 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 366272 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18334 /proc/meminfo: memFree=27302656/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=365184 CPUtime=1781.96 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2452583 0 0 0 177455 741 0 0 20 0 1 0 338978968 373948416 89764 33554432000 4194304 8395647 140735430036400 140735430030808 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 91296 89764 588 1026 0 90266 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 365184 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18334 /proc/meminfo: memFree=27281508/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=377628 CPUtime=1785.15 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2456245 0 0 0 177773 742 0 0 20 0 1 0 338978968 386691072 93566 33554432000 4194304 8395647 140735430036400 140735430031960 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 94407 93566 588 1026 0 93377 0 Current children cumulated CPU time (s) 1785.15 Current children cumulated vsize (KiB) 377628 [startup+1788.7 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18334 /proc/meminfo: memFree=27294904/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=370072 CPUtime=1788.36 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2459447 0 0 0 178092 744 0 0 20 0 1 0 338978968 378953728 90368 33554432000 4194304 8395647 140735430036400 140735430031528 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 92518 90368 588 1026 0 91488 0 Current children cumulated CPU time (s) 1788.36 Current children cumulated vsize (KiB) 370072 [startup+1789.5 s] /proc/loadavg: 2.00 2.00 2.00 4/177 18334 /proc/meminfo: memFree=27294904/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=374052 CPUtime=1789.16 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2460456 0 0 0 178172 744 0 0 20 0 1 0 338978968 383029248 91377 33554432000 4194304 8395647 140735430036400 140735430031528 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 93513 91377 588 1026 0 92483 0 Current children cumulated CPU time (s) 1789.16 Current children cumulated vsize (KiB) 374052 [startup+1790.3 s] /proc/loadavg: 2.08 2.02 2.01 4/177 18334 /proc/meminfo: memFree=27289696/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=374456 CPUtime=1789.95 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2460819 0 0 0 178251 744 0 0 20 0 1 0 338978968 383442944 91740 33554432000 4194304 8395647 140735430036400 140735430031864 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 93614 91740 588 1026 0 92584 0 Current children cumulated CPU time (s) 1789.95 Current children cumulated vsize (KiB) 374456 [startup+1790.5 s] /proc/loadavg: 2.08 2.02 2.01 4/177 18334 /proc/meminfo: memFree=27289696/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=374456 CPUtime=1790.16 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2460827 0 0 0 178271 745 0 0 20 0 1 0 338978968 383442944 91748 33554432000 4194304 8395647 140735430036400 140735430031864 6063747 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 93614 91748 596 1026 0 92584 0 Current children cumulated CPU time (s) 1790.16 Current children cumulated vsize (KiB) 374456 [startup+1790.6 s] /proc/loadavg: 2.08 2.02 2.01 4/177 18334 /proc/meminfo: memFree=27289696/32873648 swapFree=6864/6864 [pid=18280] ppid=18278 vsize=374456 CPUtime=1790.26 cores=0,2,4,6 /proc/18280/stat : 18280 (pbscip.linux.x8) R 18278 18280 16401 0 -1 4202496 2460827 0 0 0 178281 745 0 0 20 0 1 0 338978968 383442944 91748 33554432000 4194304 8395647 140735430036400 140735430031864 6345216 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/18280/statm: 93614 91748 596 1026 0 92584 0 Current children cumulated CPU time (s) 1790.26 Current children cumulated vsize (KiB) 374456 Child status: 0 Real time (s): 1790.68 CPU time (s): 1790.35 CPU user time (s): 1782.88 CPU system time (s): 7.46087 CPU usage (%): 99.9813 Max. virtual memory (cumulated for all children) (KiB): 395144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.88 system time used= 7.46087 maximum resident set size= 388028 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2460834 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= 72 involuntary context switches= 2263 runsolver used 2.69559 second user time and 7.07792 second system time The end
Begin job on node113 at 2012-06-03 15:02:01 IDJOB=3739256 IDBENCH=72400 IDSOLVER=2326 FILE ID=node113/3739256-1338728521 RUNJOBID= node113-1338713805-16417 PBS_JOBID= 14636744 Free space on /tmp= 70964 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-xvfb.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-3739256-1338728521/watcher-3739256-1338728521 -o /tmp/evaluation-result-3739256-1338728521/solver-3739256-1338728521 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3739256-1338728521.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 19a31dcc7d4af59eaddbb91eafd1bc0a RANDOM SEED=1188370688 node113.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 : 2667.026 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 : 5334.05 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 : 2667.026 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.90 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 : 2667.026 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 : 5438.54 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 : 2667.026 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 : 2667.026 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 : 2667.026 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 : 2667.026 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.92 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 : 2667.026 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: 32873648 kB MemFree: 27689456 kB Buffers: 514260 kB Cached: 3446428 kB SwapCached: 2028 kB Active: 2053392 kB Inactive: 2241904 kB Active(anon): 333920 kB Inactive(anon): 1912 kB Active(file): 1719472 kB Inactive(file): 2239992 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67099708 kB Dirty: 13820 kB Writeback: 0 kB AnonPages: 338728 kB Mapped: 13708 kB Shmem: 0 kB Slab: 751412 kB SReclaimable: 195172 kB SUnreclaim: 556240 kB KernelStack: 1456 kB PageTables: 4684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 468620 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70952 MiB End job on node113 at 2012-06-03 15:31:52