| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1791.07 | 1791.54 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-gnochm.cudf.trendy.opb |
| MD5SUM | 093c02fb02e150c2d349e4e1693c4421 |
| 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 | 3579120737095 |
| Best CPU time to get the best result obtained on this benchmark | 1800.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 | 21108 |
| Total number of constraints | 100062 |
| Number of constraints which are clauses | 98497 |
| 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 | 8590 |
| Biggest coefficient in the objective function | 79340706073 |
| Number of bits for the biggest coefficient in the objective function | 37 |
| Sum of the numbers in the objective function | 234927793755070 |
| Number of bits of the sum of numbers in the objective function | 48 |
| Biggest number in a constraint | 79340706073 |
| Number of bits of the biggest number in a constraint | 37 |
| Biggest sum of numbers in a constraint | 234927793755070 |
| 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-2704804-1278580149.opb>
1.49/1.59 c original problem has 21108 variables (21108 bin, 0 int, 0 impl, 0 cont) and 100062 constraints
1.49/1.59 c problem read
1.49/1.59 c presolving settings loaded
2.09/2.10 c presolving:
2.49/2.56 c (round 1) 2376 del vars, 4178 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130378 impls, 1557 clqs
2.59/2.65 c (round 2) 2422 del vars, 5023 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161782 impls, 1557 clqs
2.59/2.69 c (round 3) 2500 del vars, 5149 del conss, 49 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161804 impls, 1557 clqs
2.69/2.78 c (round 4) 5427 del vars, 11043 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 161820 impls, 1557 clqs
2.79/2.82 c (round 5) 5449 del vars, 11101 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 161820 impls, 1557 clqs
2.79/2.86 c (round 6) 5460 del vars, 11117 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 161820 impls, 1557 clqs
3.49/3.53 c (round 7) 5467 del vars, 13433 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86591 upgd conss, 161820 impls, 1557 clqs
3.69/3.70 c (round 8) 5470 del vars, 13436 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86591 upgd conss, 161820 impls, 1557 clqs
3.79/3.83 c (round 9) 5470 del vars, 13437 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 161820 impls, 1557 clqs
9.29/9.36 c (round 10) 5520 del vars, 13437 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 294599 impls, 1556 clqs
9.39/9.42 c (round 11) 5520 del vars, 14804 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 294599 impls, 1556 clqs
9.49/9.54 c (round 12) 5520 del vars, 14840 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 294599 impls, 1556 clqs
19.09/19.19 c (round 13) 5570 del vars, 14840 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 372625 impls, 1555 clqs
19.19/19.24 c (round 14) 5570 del vars, 15018 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 372659 impls, 1555 clqs
25.19/25.28 c (23.7s) probing: 1000/15638 (6.4%) - 13 fixings, 125 aggregations, 41912 implications, 0 bound changes
27.69/27.70 c (round 15) 5621 del vars, 15021 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 398327 impls, 1555 clqs
27.79/27.81 c (round 16) 5621 del vars, 15070 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 398327 impls, 1555 clqs
27.89/27.93 c (round 17) 5621 del vars, 15168 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 398327 impls, 1555 clqs
34.48/34.59 c (round 18) 5671 del vars, 15170 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 409811 impls, 1554 clqs
34.58/34.65 c (round 19) 5671 del vars, 15270 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 409811 impls, 1554 clqs
38.08/38.11 c (round 20) 5722 del vars, 15273 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 415905 impls, 1554 clqs
38.18/38.22 c (round 21) 5723 del vars, 15333 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 415907 impls, 1554 clqs
43.47/43.57 c (round 22) 5773 del vars, 15335 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 437363 impls, 1554 clqs
43.57/43.68 c (round 23) 5775 del vars, 15393 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 437441 impls, 1554 clqs
43.87/43.92 c (42.3s) probing: 2000/15638 (12.8%) - 24 fixings, 276 aggregations, 59363 implications, 0 bound changes
54.17/54.27 c (round 24) 5825 del vars, 15396 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 460923 impls, 1554 clqs
54.27/54.37 c (round 25) 5825 del vars, 15446 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 460923 impls, 1554 clqs
54.37/54.49 c (round 26) 5825 del vars, 15622 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 460923 impls, 1554 clqs
60.26/60.36 c (round 27) 5875 del vars, 15622 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 470935 impls, 1554 clqs
60.37/60.47 c (round 28) 5876 del vars, 15671 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 470937 impls, 1554 clqs
60.66/60.72 c (59.1s) probing: 3000/15638 (19.2%) - 26 fixings, 375 aggregations, 70855 implications, 0 bound changes
67.86/67.98 c (round 29) 5926 del vars, 15672 del conss, 49 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 478809 impls, 1553 clqs
67.96/68.04 c (round 30) 5932 del vars, 15746 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 478836 impls, 1553 clqs
68.07/68.15 c (round 31) 5935 del vars, 15769 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 478836 impls, 1553 clqs
68.17/68.28 c (round 32) 5935 del vars, 15874 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 478836 impls, 1553 clqs
73.86/73.90 c (round 33) 5985 del vars, 15874 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 484832 impls, 1552 clqs
73.86/73.96 c (round 34) 5985 del vars, 15940 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 484832 impls, 1552 clqs
73.96/74.08 c (round 35) 5985 del vars, 15984 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 484832 impls, 1552 clqs
77.16/77.24 c (75.6s) probing: 4000/15638 (25.6%) - 33 fixings, 501 aggregations, 77973 implications, 0 bound changes
78.96/79.05 c (round 36) 6035 del vars, 15984 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 491610 impls, 1551 clqs
79.06/79.16 c (round 37) 6035 del vars, 16032 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 491610 impls, 1551 clqs
79.16/79.28 c (round 38) 6035 del vars, 16078 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 491610 impls, 1551 clqs
86.76/86.89 c (round 39) 6085 del vars, 16078 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 501076 impls, 1551 clqs
86.86/86.99 c (round 40) 6085 del vars, 16136 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 501076 impls, 1551 clqs
87.05/87.11 c (round 41) 6085 del vars, 16180 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 501076 impls, 1551 clqs
92.65/92.72 c (round 42) 6135 del vars, 16180 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 505544 impls, 1550 clqs
92.75/92.82 c (round 43) 6135 del vars, 16233 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 505544 impls, 1550 clqs
92.85/92.94 c (round 44) 6135 del vars, 16277 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 505544 impls, 1550 clqs
93.55/93.61 c (92.0s) probing: 5000/15638 (32.0%) - 37 fixings, 615 aggregations, 86779 implications, 0 bound changes
98.25/98.33 c (round 45) 6185 del vars, 16277 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 509768 impls, 1549 clqs
98.35/98.43 c (round 46) 6185 del vars, 16330 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 509768 impls, 1549 clqs
98.45/98.55 c (round 47) 6185 del vars, 16379 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 509768 impls, 1549 clqs
104.15/104.23 c (round 48) 6235 del vars, 16379 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 515336 impls, 1549 clqs
104.25/104.33 c (round 49) 6235 del vars, 16427 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 515336 impls, 1549 clqs
104.35/104.45 c (round 50) 6235 del vars, 16476 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 515336 impls, 1549 clqs
109.15/109.23 c (107.6s) probing: 6000/15638 (38.4%) - 43 fixings, 747 aggregations, 91785 implications, 0 bound changes
110.55/110.68 c (round 51) 6285 del vars, 16476 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 519470 impls, 1549 clqs
110.65/110.78 c (round 52) 6285 del vars, 16532 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 519470 impls, 1549 clqs
110.85/110.90 c (round 53) 6285 del vars, 16576 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 519470 impls, 1549 clqs
110.95/111.06 c (round 54) 6285 del vars, 16621 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 519470 impls, 1549 clqs
118.45/118.51 c (round 55) 6335 del vars, 16621 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 523714 impls, 1549 clqs
118.55/118.62 c (round 56) 6335 del vars, 16679 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 523714 impls, 1549 clqs
118.65/118.74 c (round 57) 6335 del vars, 16725 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 523714 impls, 1549 clqs
124.64/124.72 c (123.1s) probing: 7000/15638 (44.8%) - 46 fixings, 844 aggregations, 95212 implications, 0 bound changes
125.94/126.07 c (round 58) 6385 del vars, 16725 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 526152 impls, 1549 clqs
126.04/126.17 c (round 59) 6385 del vars, 16775 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 526152 impls, 1549 clqs
126.14/126.29 c (round 60) 6385 del vars, 16824 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 526152 impls, 1549 clqs
131.74/131.85 c (round 61) 6435 del vars, 16824 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 529770 impls, 1548 clqs
131.84/131.95 c (round 62) 6435 del vars, 16873 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 529770 impls, 1548 clqs
131.95/132.09 c (round 63) 6435 del vars, 16927 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 529770 impls, 1548 clqs
135.94/136.03 c (round 64) 6485 del vars, 16927 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 531314 impls, 1548 clqs
136.04/136.15 c (round 65) 6485 del vars, 16977 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 531314 impls, 1548 clqs
136.14/136.27 c (round 66) 6485 del vars, 17028 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 531314 impls, 1548 clqs
140.04/140.19 c (138.6s) probing: 8000/15638 (51.2%) - 47 fixings, 998 aggregations, 98413 implications, 0 bound changes
140.44/140.57 c (round 67) 6535 del vars, 17028 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 533144 impls, 1548 clqs
140.54/140.68 c (round 68) 6535 del vars, 17081 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 533144 impls, 1548 clqs
140.64/140.80 c (round 69) 6535 del vars, 17129 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 533144 impls, 1548 clqs
144.54/144.62 c (round 70) 6585 del vars, 17131 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 536580 impls, 1548 clqs
144.64/144.76 c (round 71) 6586 del vars, 17182 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 536582 impls, 1548 clqs
150.14/150.26 c (round 72) 6636 del vars, 17183 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 538752 impls, 1548 clqs
150.24/150.37 c (round 73) 6636 del vars, 17236 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 538752 impls, 1548 clqs
150.44/150.50 c (round 74) 6636 del vars, 17340 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 538752 impls, 1548 clqs
155.04/155.19 c (round 75) 6686 del vars, 17340 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 542416 impls, 1548 clqs
155.23/155.30 c (round 76) 6686 del vars, 17403 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 542416 impls, 1548 clqs
155.33/155.43 c (round 77) 6686 del vars, 17445 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 542416 impls, 1548 clqs
155.73/155.84 c (154.2s) probing: 9000/15638 (57.6%) - 53 fixings, 1149 aggregations, 103204 implications, 0 bound changes
161.33/161.45 c (round 78) 6736 del vars, 17445 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 546132 impls, 1548 clqs
161.43/161.56 c (round 79) 6736 del vars, 17505 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 546132 impls, 1548 clqs
161.54/161.68 c (round 80) 6736 del vars, 17552 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 546132 impls, 1548 clqs
165.03/165.15 c (round 81) 6786 del vars, 17552 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 548776 impls, 1548 clqs
165.13/165.26 c (round 82) 6787 del vars, 17601 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 548786 impls, 1548 clqs
169.43/169.52 c (round 83) 6837 del vars, 17602 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 553198 impls, 1548 clqs
169.53/169.63 c (round 84) 6837 del vars, 17650 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 553198 impls, 1548 clqs
169.63/169.76 c (round 85) 6837 del vars, 17753 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 553198 impls, 1548 clqs
170.83/170.97 c (169.4s) probing: 10000/15638 (63.9%) - 57 fixings, 1297 aggregations, 110488 implications, 0 bound changes
173.93/174.06 c (round 86) 6887 del vars, 17753 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 560202 impls, 1548 clqs
174.03/174.17 c (round 87) 6887 del vars, 17818 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 560202 impls, 1548 clqs
174.23/174.30 c (round 88) 6887 del vars, 17861 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 560202 impls, 1548 clqs
178.03/178.13 c (round 89) 6937 del vars, 17861 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 566024 impls, 1548 clqs
178.14/178.24 c (round 90) 6937 del vars, 17914 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 566024 impls, 1548 clqs
178.23/178.37 c (round 91) 6937 del vars, 17959 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 566024 impls, 1548 clqs
182.73/182.87 c (round 92) 6987 del vars, 17959 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 569848 impls, 1548 clqs
182.83/182.98 c (round 93) 6987 del vars, 18015 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 569848 impls, 1548 clqs
183.03/183.11 c (round 94) 6987 del vars, 18063 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 569848 impls, 1548 clqs
186.03/186.11 c (round 95) 7037 del vars, 18063 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 570944 impls, 1548 clqs
186.13/186.21 c (round 96) 7037 del vars, 18118 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 570944 impls, 1548 clqs
186.23/186.34 c (round 97) 7037 del vars, 18170 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 570944 impls, 1548 clqs
186.93/187.02 c (185.4s) probing: 11000/15638 (70.3%) - 69 fixings, 1487 aggregations, 118512 implications, 0 bound changes
194.02/194.17 c (round 98) 7087 del vars, 18170 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 575176 impls, 1548 clqs
194.23/194.32 c (round 99) 7087 del vars, 18220 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 575176 impls, 1548 clqs
194.33/194.45 c (round 100) 7087 del vars, 18268 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 575176 impls, 1548 clqs
198.43/198.57 c (round 101) 7137 del vars, 18268 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 580842 impls, 1548 clqs
198.53/198.68 c (round 102) 7137 del vars, 18322 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 580842 impls, 1548 clqs
198.73/198.81 c (round 103) 7137 del vars, 18369 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 580842 impls, 1548 clqs
201.83/201.92 c (200.3s) probing: 12000/15638 (76.7%) - 72 fixings, 1597 aggregations, 125530 implications, 0 bound changes
203.93/204.07 c (round 104) 7187 del vars, 18369 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 594496 impls, 1548 clqs
204.13/204.20 c (round 105) 7187 del vars, 18444 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 594496 impls, 1548 clqs
204.23/204.33 c (round 106) 7187 del vars, 18481 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 594496 impls, 1548 clqs
208.94/209.00 c (round 107) 7237 del vars, 18481 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 615156 impls, 1548 clqs
209.03/209.12 c (round 108) 7237 del vars, 18547 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 615156 impls, 1548 clqs
209.13/209.24 c (round 109) 7237 del vars, 18583 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 615156 impls, 1548 clqs
217.83/217.91 c (216.3s) probing: 13000/15638 (83.1%) - 97 fixings, 1700 aggregations, 163297 implications, 0 bound changes
219.13/219.30 c (round 110) 7287 del vars, 18583 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 653324 impls, 1548 clqs
219.33/219.41 c (round 111) 7288 del vars, 18653 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 653376 impls, 1548 clqs
233.02/233.19 c (231.6s) probing: 14000/15638 (89.5%) - 104 fixings, 1718 aggregations, 187080 implications, 0 bound changes
240.72/240.81 c (round 112) 7338 del vars, 18654 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 715688 impls, 1548 clqs
240.83/240.92 c (round 113) 7348 del vars, 18749 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 715708 impls, 1548 clqs
240.92/241.03 c (round 114) 7348 del vars, 18759 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 715708 impls, 1548 clqs
241.02/241.16 c (round 115) 7348 del vars, 18808 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 715708 impls, 1548 clqs
249.42/249.55 c (248.0s) probing: 15000/15638 (95.9%) - 136 fixings, 1730 aggregations, 214309 implications, 0 bound changes
259.31/259.49 c (257.9s) probing: 15580/15638 (99.6%) - 147 fixings, 1730 aggregations, 237447 implications, 0 bound changes
259.31/259.49 c (257.9s) probing aborted: 100/100 successive totally useless probings
259.31/259.49 c (round 116) 7375 del vars, 18808 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 783554 impls, 1548 clqs
259.42/259.55 c (round 117) 7393 del vars, 18859 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 783598 impls, 1548 clqs
259.52/259.67 c (round 118) 7393 del vars, 18878 del conss, 52 chg bounds, 2 chg sides, 11 chg coeffs, 86627 upgd conss, 783598 impls, 1548 clqs
259.81/259.90 c (258.3s) probing: 15590/15638 (99.7%) - 147 fixings, 1730 aggregations, 237447 implications, 0 bound changes
259.81/259.90 c (258.3s) probing aborted: 100/100 successive totally useless probings
259.81/259.91 c presolving (119 rounds):
259.81/259.91 c 7393 deleted vars, 18884 deleted constraints, 52 tightened bounds, 0 added holes, 2 changed sides, 11 changed coefficients
259.81/259.91 c 783598 implications, 1548 cliques
259.81/259.91 c presolved problem has 13715 variables (13715 bin, 0 int, 0 impl, 0 cont) and 81178 constraints
259.81/259.91 c 21875 constraints of type <setppc>
259.81/259.91 c 59303 constraints of type <logicor>
259.81/259.91 c transformed objective value is always integral (scale: 1)
259.81/259.91 c Presolving Time: 257.96
259.81/259.91 c - non default parameters ----------------------------------------------------------------------
259.81/259.91 c # SCIP version 1.2.1.3
259.81/259.91 c
259.81/259.91 c # frequency for displaying node information lines
259.81/259.91 c # [type: int, range: [-1,2147483647], default: 100]
259.81/259.91 c display/freq = 10000
259.81/259.91 c
259.81/259.91 c # maximal time in seconds to run
259.81/259.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
259.81/259.91 c limits/time = 1788.42
259.81/259.91 c
259.81/259.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
259.81/259.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
259.81/259.91 c limits/memory = 1620
259.81/259.91 c
259.81/259.91 c # default clock type (1: CPU user seconds, 2: wall clock time)
259.81/259.91 c # [type: int, range: [1,2], default: 1]
259.81/259.91 c timing/clocktype = 2
259.81/259.91 c
259.81/259.91 c # should presolving try to simplify inequalities
259.81/259.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
259.81/259.91 c constraints/linear/simplifyinequalities = TRUE
259.81/259.91 c
259.81/259.91 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
259.81/259.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
259.81/259.91 c constraints/indicator/addCouplingCons = TRUE
259.81/259.91 c
259.81/259.91 c # should presolving try to simplify knapsacks
259.81/259.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
259.81/259.91 c constraints/knapsack/simplifyinequalities = TRUE
259.81/259.91 c
259.81/259.91 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
259.81/259.91 c # [type: int, range: [-1,2147483647], default: -1]
259.81/259.91 c separating/rapidlearning/freq = 0
259.81/259.91 c
259.81/259.91 c -----------------------------------------------------------------------------------------------
259.81/259.91 c start solving
259.81/259.93 c
288.50/288.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.50/288.62 c 287s| 1 | 2 | 13743 | - | 172M| 0 | - | 13k| 81k| 13k| 73k| 0 | 0 | 0 | 6.348180e+11 | -- | Inf
1790.52/1791.00 c
1790.52/1791.00 c SCIP Status : solving was interrupted [time limit reached]
1790.52/1791.00 c Solving Time (sec) : 1789.40
1790.52/1791.00 c Solving Nodes : 128
1790.52/1791.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.52/1791.00 c Dual Bound : +6.34817969649000e+11
1790.52/1791.00 c Gap : infinite
1790.52/1791.00 s UNKNOWN
1790.52/1791.00 c SCIP Status : solving was interrupted [time limit reached]
1790.52/1791.00 c Solving Time : 1789.40
1790.52/1791.00 c Original Problem :
1790.52/1791.00 c Problem name : HOME/instance-2704804-1278580149.opb
1790.52/1791.00 c Variables : 21108 (21108 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.52/1791.00 c Constraints : 100062 initial, 100062 maximal
1790.52/1791.00 c Presolved Problem :
1790.52/1791.00 c Problem name : t_HOME/instance-2704804-1278580149.opb
1790.52/1791.00 c Variables : 13715 (13715 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.52/1791.00 c Constraints : 81178 initial, 81180 maximal
1790.52/1791.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.52/1791.00 c trivial : 0.33 3 0 0 0 0 0 0 0
1790.52/1791.00 c dualfix : 0.37 4146 0 0 0 0 0 0 0
1790.52/1791.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.52/1791.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.52/1791.00 c implics : 0.67 0 70 0 0 0 0 0 0
1790.52/1791.00 c probing : 243.34 147 1730 0 0 0 0 0 0
1790.52/1791.00 c setppc : 2.91 0 0 0 0 0 5231 0 0
1790.52/1791.00 c linear : 1.06 49 1248 0 49 0 13435 2 11
1790.52/1791.00 c logicor : 8.85 0 0 0 3 0 218 0 0
1790.52/1791.00 c root node : - 0 - - 0 - - - -
1790.52/1791.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.52/1791.00 c integral : 0 0 0 0 0 0 0 0 0 0
1790.52/1791.00 c setppc : 21875 0 46705 0 127 31 3202 0 0 0
1790.52/1791.00 c logicor : 59303+ 0 39244 0 127 111 4665 0 0 0
1790.52/1791.00 c countsols : 0 0 0 0 127 0 0 0 0 0
1790.52/1791.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.52/1791.00 c integral : 0.00 0.00 0.00 0.00 0.00
1790.52/1791.00 c setppc : 181.40 0.00 179.25 0.00 2.15
1790.52/1791.00 c logicor : 11.07 0.00 4.39 0.00 6.68
1790.52/1791.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.52/1791.00 c Propagators : Time Calls Cutoffs DomReds
1790.52/1791.00 c vbounds : 0.04 2 0 0
1790.52/1791.00 c rootredcost : 0.03 0 0 0
1790.52/1791.00 c pseudoobj : 0.51 383 0 0
1790.52/1791.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.52/1791.00 c propagation : 0.00 1 1 2 4.5 0 0.0 -
1790.52/1791.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.52/1791.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.52/1791.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.52/1791.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.52/1791.00 c applied globally : - - - 2 4.5 - - -
1790.52/1791.00 c applied locally : - - - 0 0.0 - - -
1790.52/1791.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.52/1791.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.52/1791.00 c redcost : 0.00 0 0 0 0 0
1790.52/1791.00 c impliedbounds : 0.00 0 0 0 0 0
1790.52/1791.00 c intobj : 0.00 0 0 0 0 0
1790.52/1791.00 c cgmip : 0.00 0 0 0 0 0
1790.52/1791.00 c gomory : 0.00 0 0 0 0 0
1790.52/1791.00 c strongcg : 0.00 0 0 0 0 0
1790.52/1791.00 c cmir : 0.00 0 0 0 0 0
1790.52/1791.00 c flowcover : 0.00 0 0 0 0 0
1790.52/1791.00 c clique : 0.00 0 0 0 0 0
1790.52/1791.00 c zerohalf : 0.00 0 0 0 0 0
1790.52/1791.00 c mcf : 0.00 0 0 0 0 0
1790.52/1791.00 c rapidlearning : 0.00 0 0 0 0 0
1790.52/1791.00 c Pricers : Time Calls Vars
1790.52/1791.00 c problem variables: 0.00 0 0
1790.52/1791.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.52/1791.00 c relpscost : 0.00 0 0 0 0 0 0
1790.52/1791.00 c pscost : 0.00 0 0 0 0 0 0
1790.52/1791.00 c inference : 0.91 127 0 0 0 0 254
1790.52/1791.00 c mostinf : 0.00 0 0 0 0 0 0
1790.52/1791.00 c leastinf : 0.00 0 0 0 0 0 0
1790.52/1791.00 c fullstrong : 0.00 0 0 0 0 0 0
1790.52/1791.00 c allfullstrong : 0.00 0 0 0 0 0 0
1790.52/1791.00 c random : 0.00 0 0 0 0 0 0
1790.52/1791.00 c Primal Heuristics : Time Calls Found
1790.52/1791.00 c LP solutions : 0.00 - 0
1790.52/1791.00 c pseudo solutions : 0.00 - 0
1790.52/1791.00 c oneopt : 0.00 0 0
1790.52/1791.00 c intshifting : 0.00 0 0
1790.52/1791.00 c coefdiving : 0.00 0 0
1790.52/1791.00 c pscostdiving : 0.00 0 0
1790.52/1791.00 c fracdiving : 0.00 0 0
1790.52/1791.00 c veclendiving : 0.00 0 0
1790.52/1791.00 c objpscostdiving : 0.00 0 0
1790.52/1791.00 c rootsoldiving : 0.00 0 0
1790.52/1791.00 c linesearchdiving : 0.00 0 0
1790.52/1791.00 c guideddiving : 0.00 0 0
1790.52/1791.00 c crossover : 0.00 0 0
1790.52/1791.00 c trivial : 0.07 2 0
1790.52/1791.00 c simplerounding : 0.00 0 0
1790.52/1791.00 c zirounding : 0.00 0 0
1790.52/1791.00 c rounding : 0.00 0 0
1790.52/1791.00 c shifting : 0.00 0 0
1790.52/1791.00 c twoopt : 0.00 0 0
1790.52/1791.00 c fixandinfer : 0.00 0 0
1790.52/1791.00 c feaspump : 0.00 0 0
1790.52/1791.00 c intdiving : 0.00 0 0
1790.52/1791.00 c actconsdiving : 0.00 0 0
1790.52/1791.00 c octane : 0.00 0 0
1790.52/1791.00 c rens : 0.00 0 0
1790.52/1791.00 c rins : 0.00 0 0
1790.52/1791.00 c localbranching : 0.00 0 0
1790.52/1791.00 c mutation : 0.00 0 0
1790.52/1791.00 c dins : 0.00 0 0
1790.52/1791.00 c undercover : 0.00 0 0
1790.52/1791.00 c nlp : 0.00 0 0
1790.52/1791.00 c trysol : 0.00 0 0
1790.52/1791.00 c LP : Time Calls Iterations Iter/call Iter/sec
1790.52/1791.00 c primal LP : 0.00 0 0 0.00 -
1790.52/1791.00 c dual LP : 1512.58 199 793944 3989.67 524.90
1790.52/1791.00 c lex dual LP : 0.00 0 0 0.00 -
1790.52/1791.00 c barrier LP : 0.00 0 0 0.00 -
1790.52/1791.00 c diving/probing LP: 0.00 0 0 0.00 -
1790.52/1791.00 c strong branching : 0.00 0 0 0.00 -
1790.52/1791.00 c (at root node) : - 0 0 0.00 -
1790.52/1791.00 c conflict analysis: 0.00 0 0 0.00 -
1790.52/1791.00 c B&B Tree :
1790.52/1791.00 c number of runs : 1
1790.52/1791.00 c nodes : 128
1790.52/1791.00 c nodes (total) : 128
1790.52/1791.00 c nodes left : 127
1790.52/1791.00 c max depth : 19
1790.52/1791.00 c max depth (total): 19
1790.52/1791.00 c backtracks : 12 (9.4%)
1790.52/1791.00 c delayed cutoffs : 0
1790.52/1791.00 c repropagations : 6 (2 domain reductions, 0 cutoffs)
1790.52/1791.00 c avg switch length: 2.09
1790.52/1791.00 c switching time : 0.06
1790.52/1791.00 c Solution :
1790.52/1791.00 c Solutions found : 0 (0 improvements)
1790.52/1791.00 c Primal Bound : -
1790.52/1791.00 c Dual Bound : +6.34817969649000e+11
1790.52/1791.00 c Gap : infinite
1790.52/1791.00 c Root Dual Bound : +6.34817969635000e+11
1790.52/1791.00 c Root Iterations : 13743
1791.02/1791.54 c Time complete: 1791.06.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704804-1278580149/watcher-2704804-1278580149 -o /tmp/evaluation-result-2704804-1278580149/solver-2704804-1278580149 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704804-1278580149.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1413 /proc/meminfo: memFree=1707156/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=5824 CPUtime=0 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 825 0 0 0 0 0 0 0 22 0 1 0 26223284 5963776 739 1992294400 4194304 8395647 140735195134752 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1413/statm: 1456 740 351 1026 0 426 0 [startup+0.093232 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1413 /proc/meminfo: memFree=1707156/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=19984 CPUtime=0.08 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 4323 0 0 0 7 1 0 0 22 0 1 0 26223284 20463616 4228 1992294400 4194304 8395647 140735195134752 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1413/statm: 4996 4228 394 1026 0 3966 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19984 [startup+0.101233 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1413 /proc/meminfo: memFree=1707156/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=20136 CPUtime=0.09 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 4332 0 0 0 8 1 0 0 22 0 1 0 26223284 20619264 4237 1992294400 4194304 8395647 140735195134752 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1413/statm: 5034 4237 394 1026 0 4004 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20136 [startup+0.301253 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1413 /proc/meminfo: memFree=1707156/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=28292 CPUtime=0.29 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 6334 0 0 0 27 2 0 0 22 0 1 0 26223284 28971008 6239 1992294400 4194304 8395647 140735195134752 18446744073709551615 4212754 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1413/statm: 7073 6239 394 1026 0 6043 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28292 [startup+0.701295 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1413 /proc/meminfo: memFree=1707156/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=38592 CPUtime=0.69 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 8964 0 0 0 66 3 0 0 24 0 1 0 26223284 39518208 8869 1992294400 4194304 8395647 140735195134752 18446744073709551615 7324744 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1413/statm: 9648 8869 394 1026 0 8618 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38592 [startup+1.50038 s] /proc/loadavg: 0.92 0.98 0.99 2/107 1414 /proc/meminfo: memFree=1664988/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=61428 CPUtime=1.49 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 14663 0 0 0 144 5 0 0 25 0 1 0 26223284 62902272 14568 1992294400 4194304 8395647 140735195134752 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1413/statm: 15357 14568 394 1026 0 14327 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61428 [startup+3.10054 s] /proc/loadavg: 0.92 0.98 0.99 2/107 1414 /proc/meminfo: memFree=1556860/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=176300 CPUtime=3.09 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 45849 0 0 0 295 14 0 0 25 0 1 0 26223284 180531200 41991 1992294400 4194304 8395647 140735195134752 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 44075 41991 484 1026 0 43045 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 176300 [startup+6.30087 s] /proc/loadavg: 1.01 1.00 1.00 2/107 1414 /proc/meminfo: memFree=1512220/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=203684 CPUtime=6.29 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 52846 0 0 0 613 16 0 0 25 0 1 0 26223284 208572416 48922 1992294400 4194304 8395647 140735195134752 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 50921 48922 505 1026 0 49891 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 203684 [startup+12.7005 s] /proc/loadavg: 1.17 1.03 1.01 2/107 1414 /proc/meminfo: memFree=1512220/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=203684 CPUtime=12.69 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 52850 0 0 0 1253 16 0 0 25 0 1 0 26223284 208572416 48926 1992294400 4194304 8395647 140735195134752 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 50921 48926 505 1026 0 49891 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 203684 [startup+25.5019 s] /proc/loadavg: 1.26 1.06 1.02 2/107 1414 /proc/meminfo: memFree=1512220/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=203684 CPUtime=25.49 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 52865 0 0 0 2533 16 0 0 25 0 1 0 26223284 208572416 48941 1992294400 4194304 8395647 140735195134752 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 50921 48941 511 1026 0 49891 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 203684 [startup+51.1015 s] /proc/loadavg: 1.17 1.06 1.02 2/107 1416 /proc/meminfo: memFree=1511228/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=204708 CPUtime=51.07 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 53122 0 0 0 5091 16 0 0 25 0 1 0 26223284 209620992 49198 1992294400 4194304 8395647 140735195134752 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 51177 49198 511 1026 0 50147 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 204708 [startup+102.309 s] /proc/loadavg: 1.07 1.05 1.01 2/107 1416 /proc/meminfo: memFree=1510236/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=205732 CPUtime=102.26 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 53385 0 0 0 10210 16 0 0 25 0 1 0 26223284 210669568 49461 1992294400 4194304 8395647 140735195134752 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 51433 49461 511 1026 0 50403 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 205732 [startup+162.301 s] /proc/loadavg: 1.02 1.03 1.01 2/107 1418 /proc/meminfo: memFree=1508252/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=207780 CPUtime=162.23 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 53899 0 0 0 16207 16 0 0 25 0 1 0 26223284 212766720 49975 1992294400 4194304 8395647 140735195134752 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 51945 49975 511 1026 0 50915 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 207780 [startup+222.301 s] /proc/loadavg: 1.01 1.03 1.00 2/107 1420 /proc/meminfo: memFree=1505524/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=210412 CPUtime=222.23 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 54582 0 0 0 22206 17 0 0 25 0 1 0 26223284 215461888 50658 1992294400 4194304 8395647 140735195134752 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 52603 50658 511 1026 0 51573 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 210412 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 1422 /proc/meminfo: memFree=1393924/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=336008 CPUtime=282.2 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 92830 0 0 0 28184 36 0 0 25 0 1 0 26223284 344072192 79236 1992294400 4194304 8395647 140735195134752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 84002 79236 913 1026 0 82972 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 336008 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1424 /proc/meminfo: memFree=1390080/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=338232 CPUtime=342.19 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 123554 0 0 0 34158 61 0 0 25 0 1 0 26223284 346349568 79987 1992294400 4194304 8395647 140735195134752 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 84558 79987 730 1026 0 83528 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 338232 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 1424 /proc/meminfo: memFree=1394916/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=332760 CPUtime=402.18 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 143375 0 0 0 40131 87 0 0 25 0 1 0 26223284 340746240 78829 1992294400 4194304 8395647 140735195134752 18446744073709551615 6697116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83190 78829 756 1026 0 82160 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 332760 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1426 /proc/meminfo: memFree=1388840/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=336856 CPUtime=462.16 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 174153 0 0 0 46101 115 0 0 25 0 1 0 26223284 344940544 79941 1992294400 4194304 8395647 140735195134752 18446744073709551615 7386069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 84214 79941 711 1026 0 83184 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 336856 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1428 /proc/meminfo: memFree=1389336/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=336580 CPUtime=522.14 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 181970 0 0 0 52079 135 0 0 25 0 1 0 26223284 344657920 80507 1992294400 4194304 8395647 140735195134752 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 84145 80507 711 1026 0 83115 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 336580 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1430 /proc/meminfo: memFree=1413640/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=310596 CPUtime=582.13 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 197726 0 0 0 58057 156 0 0 25 0 1 0 26223284 318050304 74010 1992294400 4194304 8395647 140735195134752 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 77649 74010 796 1026 0 76619 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 310596 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1432 /proc/meminfo: memFree=1390700/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=335472 CPUtime=642.12 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 218329 0 0 0 64029 183 0 0 25 0 1 0 26223284 343523328 79588 1992294400 4194304 8395647 140735195134752 18446744073709551615 6746605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83868 79588 860 1026 0 82838 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 335472 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1390700/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=334444 CPUtime=1002.02 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 352457 0 0 0 99872 330 0 0 25 0 1 0 26223284 342470656 79240 1992294400 4194304 8395647 140735195134752 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83611 79240 712 1026 0 82581 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 334444 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1445 /proc/meminfo: memFree=1388220/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=308892 CPUtime=1062.01 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 375872 0 0 0 105842 359 0 0 25 0 1 0 26223284 316305408 73649 1992294400 4194304 8395647 140735195134752 18446744073709551615 6496300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 77223 73649 708 1026 0 76193 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 308892 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1447 /proc/meminfo: memFree=1396032/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=330980 CPUtime=1121.99 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 388680 0 0 0 111817 382 0 0 25 0 1 0 26223284 338923520 78028 1992294400 4194304 8395647 140735195134752 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 82745 78028 746 1026 0 81715 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 330980 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1449 /proc/meminfo: memFree=1401612/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=331416 CPUtime=1181.98 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 418806 0 0 0 117787 411 0 0 25 0 1 0 26223284 339369984 77574 1992294400 4194304 8395647 140735195134752 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 82854 77574 915 1026 0 81824 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 331416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1451 /proc/meminfo: memFree=1392436/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=335816 CPUtime=1241.96 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 434908 0 0 0 123761 435 0 0 25 0 1 0 26223284 343875584 79170 1992294400 4194304 8395647 140735195134752 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83954 79170 879 1026 0 82924 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 335816 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1451 /proc/meminfo: memFree=1391320/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=334876 CPUtime=1301.95 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 472320 0 0 0 129730 465 0 0 25 0 1 0 26223284 342913024 79156 1992294400 4194304 8395647 140735195134752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83719 79156 734 1026 0 82689 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 334876 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1453 /proc/meminfo: memFree=1386112/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=309552 CPUtime=1361.93 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 488426 0 0 0 135706 487 0 0 25 0 1 0 26223284 316981248 73643 1992294400 4194304 8395647 140735195134752 18446744073709551615 6496300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 77388 73643 710 1026 0 76358 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 309552 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1455 /proc/meminfo: memFree=1400620/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=330044 CPUtime=1421.92 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 530325 0 0 0 141676 516 0 0 25 0 1 0 26223284 337965056 77344 1992294400 4194304 8395647 140735195134752 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 82511 77344 773 1026 0 81481 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 330044 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1457 /proc/meminfo: memFree=1395660/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=331460 CPUtime=1481.9 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 568332 0 0 0 147641 549 0 0 25 0 1 0 26223284 339415040 78427 1992294400 4194304 8395647 140735195134752 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 82865 78427 899 1026 0 81835 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 331460 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1459 /proc/meminfo: memFree=1384996/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=308608 CPUtime=1541.89 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 606780 0 0 0 153610 579 0 0 25 0 1 0 26223284 316014592 73583 1992294400 4194304 8395647 140735195134752 18446744073709551615 6587234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 77152 73583 710 1026 0 76122 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 308608 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1459 /proc/meminfo: memFree=1390700/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=333656 CPUtime=1601.87 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 628698 0 0 0 159583 604 0 0 25 0 1 0 26223284 341663744 79627 1992294400 4194304 8395647 140735195134752 18446744073709551615 7385654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83414 79627 1021 1026 0 82384 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 333656 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1461 /proc/meminfo: memFree=1390576/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=335392 CPUtime=1661.86 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 643496 0 0 0 165559 627 0 0 25 0 1 0 26223284 343441408 79341 1992294400 4194304 8395647 140735195134752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83848 79341 729 1026 0 82818 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 335392 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1463 /proc/meminfo: memFree=1404340/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=327500 CPUtime=1721.83 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 670767 0 0 0 171529 654 0 0 25 0 1 0 26223284 335360000 76573 1992294400 4194304 8395647 140735195134752 18446744073709551615 6636391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 81875 76573 829 1026 0 80845 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 327500 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1465 /proc/meminfo: memFree=1389212/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=335176 CPUtime=1781.83 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 680490 0 0 0 177508 675 0 0 25 0 1 0 26223284 343220224 79600 1992294400 4194304 8395647 140735195134752 18446744073709551615 6746642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83794 79600 708 1026 0 82764 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 335176 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1465 /proc/meminfo: memFree=1389212/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=335176 CPUtime=1785.02 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 680490 0 0 0 177826 676 0 0 25 0 1 0 26223284 343220224 79600 1992294400 4194304 8395647 140735195134752 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83794 79600 708 1026 0 82764 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 335176 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1465 /proc/meminfo: memFree=1389212/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=335176 CPUtime=1788.22 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 680491 0 0 0 178145 677 0 0 25 0 1 0 26223284 343220224 79600 1992294400 4194304 8395647 140735195134752 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83794 79600 707 1026 0 82764 0 Current children cumulated CPU time (s) 1788.22 Current children cumulated vsize (KiB) 335176 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1465 /proc/meminfo: memFree=1389212/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=335176 CPUtime=1789.82 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 680492 0 0 0 178305 677 0 0 25 0 1 0 26223284 343220224 79601 1992294400 4194304 8395647 140735195134752 18446744073709551615 7382016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1413/statm: 83794 79601 707 1026 0 82764 0 Current children cumulated CPU time (s) 1789.82 Current children cumulated vsize (KiB) 335176 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1465 /proc/meminfo: memFree=1389212/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=335176 CPUtime=1790.62 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 680498 0 0 0 178385 677 0 0 25 0 1 0 26223284 343220224 79607 1992294400 4194304 8395647 140735195134752 18446744073709551615 6150528 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1413/statm: 83794 79607 713 1026 0 82764 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (KiB) 335176 [startup+1791.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1465 /proc/meminfo: memFree=1389212/2059040 swapFree=4139656/4192956 [pid=1413] ppid=1411 vsize=275188 CPUtime=1791.02 /proc/1413/stat : 1413 (pbscip.linux.x8) R 1411 1413 844 0 -1 4202496 680500 0 0 0 178424 678 0 0 25 0 1 0 26223284 281792512 65265 1992294400 4194304 8395647 140735195134752 18446744073709551615 6345887 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1413/statm: 68797 65265 712 1026 0 67767 0 Current children cumulated CPU time (s) 1791.02 Current children cumulated vsize (KiB) 275188 Child status: 0 Real time (s): 1791.54 CPU time (s): 1791.07 CPU user time (s): 1784.26 CPU system time (s): 6.80996 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 342140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.26 system time used= 6.80996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 680507 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= 2 involuntary context switches= 2309 runsolver used 2.85956 second user time and 8.5747 second system time The end
Begin job on node083 at 2010-07-08 11:09:09 IDJOB=2704804 IDBENCH=72404 IDSOLVER=1213 FILE ID=node083/2704804-1278580149 PBS_JOBID= 11240065 Free space on /tmp= 62528 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-gnochm.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-2704804-1278580149/watcher-2704804-1278580149 -o /tmp/evaluation-result-2704804-1278580149/solver-2704804-1278580149 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704804-1278580149.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 093c02fb02e150c2d349e4e1693c4421 RANDOM SEED=1126721018 node083.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.249 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.249 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.80 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1707692 kB Buffers: 69300 kB Cached: 182360 kB SwapCached: 6652 kB Active: 118484 kB Inactive: 146456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1707692 kB SwapTotal: 4192956 kB SwapFree: 4139656 kB Dirty: 13912 kB Writeback: 0 kB AnonPages: 11348 kB Mapped: 12064 kB Slab: 64468 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182192 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62520 MiB End job on node083 at 2010-07-08 11:39:01