| 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.02 | 1791.43 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/ normalized-libmono-addins-gui0.2-cil.cudf.trendy.opb |
| MD5SUM | 065a7bcfdd34b3aee23ffeb28fc8c9d9 |
| 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 | 3579102272885 |
| Best CPU time to get the best result obtained on this benchmark | 1800.53 |
| 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 | 21109 |
| Total number of constraints | 100072 |
| Number of constraints which are clauses | 98507 |
| 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-2704817-1278580160.opb>
1.59/1.67 c original problem has 21109 variables (21109 bin, 0 int, 0 impl, 0 cont) and 100072 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.09/2.19 c presolving:
2.59/2.68 c (round 1) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130394 impls, 1557 clqs
2.69/2.77 c (round 2) 2421 del vars, 5020 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161809 impls, 1557 clqs
2.79/2.82 c (round 3) 2496 del vars, 5146 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161819 impls, 1557 clqs
2.89/2.91 c (round 4) 5421 del vars, 11012 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161819 impls, 1557 clqs
2.89/2.95 c (round 5) 5443 del vars, 11066 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161819 impls, 1557 clqs
2.89/2.99 c (round 6) 5454 del vars, 11082 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161819 impls, 1557 clqs
3.59/3.69 c (round 7) 5461 del vars, 13390 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86650 upgd conss, 161819 impls, 1557 clqs
3.79/3.87 c (round 8) 5464 del vars, 13393 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86650 upgd conss, 161819 impls, 1557 clqs
3.99/4.00 c (round 9) 5464 del vars, 13394 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 161819 impls, 1557 clqs
12.29/12.35 c (round 10) 5514 del vars, 13394 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 318615 impls, 1557 clqs
12.39/12.41 c (round 11) 5514 del vars, 14592 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 318615 impls, 1557 clqs
20.09/20.11 c (round 12) 5565 del vars, 14595 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 379411 impls, 1556 clqs
20.19/20.22 c (round 13) 5566 del vars, 14654 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 379413 impls, 1556 clqs
26.79/26.82 c (25.2s) probing: 1000/15645 (6.4%) - 10 fixings, 118 aggregations, 43515 implications, 0 bound changes
31.18/31.28 c (round 14) 5616 del vars, 14656 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 404693 impls, 1556 clqs
31.38/31.40 c (round 15) 5616 del vars, 14719 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 404693 impls, 1556 clqs
37.18/37.21 c (round 16) 5667 del vars, 14721 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 416325 impls, 1555 clqs
37.18/37.27 c (round 17) 5667 del vars, 14777 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 416325 impls, 1555 clqs
37.28/37.39 c (round 18) 5667 del vars, 14956 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 416325 impls, 1555 clqs
41.57/41.67 c (round 19) 5717 del vars, 14958 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 428021 impls, 1555 clqs
41.67/41.78 c (round 20) 5717 del vars, 15013 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 428021 impls, 1555 clqs
41.87/41.90 c (round 21) 5717 del vars, 15058 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 428021 impls, 1555 clqs
46.18/46.21 c (44.5s) probing: 2000/15645 (12.8%) - 17 fixings, 256 aggregations, 62025 implications, 0 bound changes
50.37/50.49 c (round 22) 5767 del vars, 15058 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 454921 impls, 1553 clqs
50.47/50.56 c (round 23) 5771 del vars, 15123 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 455961 impls, 1553 clqs
50.58/50.69 c (round 24) 5771 del vars, 15171 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 455961 impls, 1553 clqs
59.07/59.17 c (round 25) 5822 del vars, 15171 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 468085 impls, 1552 clqs
59.17/59.24 c (round 26) 5824 del vars, 15225 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 468213 impls, 1552 clqs
63.87/63.93 c (62.3s) probing: 3000/15645 (19.2%) - 23 fixings, 366 aggregations, 78535 implications, 0 bound changes
65.97/66.03 c (round 27) 5874 del vars, 15227 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 494191 impls, 1551 clqs
65.97/66.09 c (round 28) 5874 del vars, 15289 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 494191 impls, 1551 clqs
66.17/66.21 c (round 29) 5874 del vars, 15392 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 494191 impls, 1551 clqs
73.67/73.75 c (round 30) 5924 del vars, 15392 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 501297 impls, 1551 clqs
73.76/73.81 c (round 31) 5924 del vars, 15470 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 501297 impls, 1551 clqs
73.86/73.93 c (round 32) 5924 del vars, 15521 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 501297 impls, 1551 clqs
80.06/80.16 c (round 33) 5974 del vars, 15521 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 507479 impls, 1550 clqs
80.16/80.22 c (round 34) 5974 del vars, 15585 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 507479 impls, 1550 clqs
80.27/80.35 c (round 35) 5974 del vars, 15629 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 507479 impls, 1550 clqs
81.26/81.30 c (79.6s) probing: 4000/15645 (25.6%) - 30 fixings, 476 aggregations, 88605 implications, 0 bound changes
86.96/87.05 c (round 36) 6024 del vars, 15629 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 516883 impls, 1550 clqs
87.06/87.11 c (round 37) 6024 del vars, 15686 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 516883 impls, 1550 clqs
87.16/87.24 c (round 38) 6024 del vars, 15733 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 516883 impls, 1550 clqs
93.85/93.99 c (round 39) 6074 del vars, 15735 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 526407 impls, 1549 clqs
93.95/94.10 c (round 40) 6074 del vars, 15785 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 526407 impls, 1549 clqs
94.15/94.22 c (round 41) 6074 del vars, 15832 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 526407 impls, 1549 clqs
97.86/97.97 c (96.3s) probing: 5000/15645 (32.0%) - 33 fixings, 601 aggregations, 102699 implications, 0 bound changes
99.85/99.99 c (round 42) 6124 del vars, 15832 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 538754 impls, 1549 clqs
99.95/100.10 c (round 43) 6124 del vars, 15881 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 538754 impls, 1549 clqs
100.15/100.22 c (round 44) 6124 del vars, 15929 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 538754 impls, 1549 clqs
106.55/106.62 c (round 45) 6174 del vars, 15929 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 545626 impls, 1548 clqs
106.66/106.73 c (round 46) 6174 del vars, 15976 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 545626 impls, 1548 clqs
106.75/106.86 c (round 47) 6174 del vars, 16026 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 545626 impls, 1548 clqs
114.36/114.47 c (round 48) 6224 del vars, 16026 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 553030 impls, 1548 clqs
114.45/114.58 c (round 49) 6224 del vars, 16076 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 553030 impls, 1548 clqs
114.65/114.71 c (round 50) 6224 del vars, 16126 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 553030 impls, 1548 clqs
114.75/114.85 c (113.2s) probing: 6000/15645 (38.4%) - 33 fixings, 718 aggregations, 110059 implications, 0 bound changes
121.95/122.00 c (round 51) 6274 del vars, 16126 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 557406 impls, 1548 clqs
122.05/122.11 c (round 52) 6274 del vars, 16182 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 557406 impls, 1548 clqs
122.15/122.23 c (round 53) 6274 del vars, 16227 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 557406 impls, 1548 clqs
129.24/129.32 c (round 54) 6324 del vars, 16227 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 560430 impls, 1548 clqs
129.34/129.42 c (round 55) 6324 del vars, 16281 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 560430 impls, 1548 clqs
129.44/129.55 c (round 56) 6324 del vars, 16328 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 560430 impls, 1548 clqs
130.64/130.71 c (129.0s) probing: 7000/15645 (44.7%) - 37 fixings, 820 aggregations, 113313 implications, 0 bound changes
135.94/136.09 c (round 57) 6374 del vars, 16328 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 565162 impls, 1547 clqs
136.14/136.20 c (round 58) 6374 del vars, 16377 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 565162 impls, 1547 clqs
136.24/136.33 c (round 59) 6374 del vars, 16428 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 565162 impls, 1547 clqs
136.44/136.50 c (round 60) 6374 del vars, 16473 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 565162 impls, 1547 clqs
141.34/141.41 c (round 61) 6424 del vars, 16473 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 566892 impls, 1547 clqs
141.44/141.52 c (round 62) 6424 del vars, 16521 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 566892 impls, 1547 clqs
141.54/141.64 c (round 63) 6424 del vars, 16571 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 566892 impls, 1547 clqs
145.84/145.98 c (round 64) 6474 del vars, 16571 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 573272 impls, 1547 clqs
145.94/146.09 c (round 65) 6474 del vars, 16621 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 573272 impls, 1547 clqs
146.14/146.22 c (round 66) 6474 del vars, 16671 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 573272 impls, 1547 clqs
146.84/146.94 c (145.3s) probing: 8000/15645 (51.1%) - 37 fixings, 968 aggregations, 120024 implications, 0 bound changes
151.94/152.07 c (round 67) 6524 del vars, 16671 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 581716 impls, 1547 clqs
152.04/152.18 c (round 68) 6524 del vars, 16719 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 581716 impls, 1547 clqs
152.24/152.32 c (round 69) 6524 del vars, 16778 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 581716 impls, 1547 clqs
157.84/157.92 c (round 70) 6574 del vars, 16778 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 591180 impls, 1546 clqs
157.84/157.98 c (round 71) 6575 del vars, 16828 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 591184 impls, 1546 clqs
158.04/158.12 c (round 72) 6575 del vars, 16878 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 591184 impls, 1546 clqs
162.64/162.71 c (161.0s) probing: 9000/15645 (57.5%) - 38 fixings, 1102 aggregations, 131315 implications, 0 bound changes
164.73/164.90 c (round 73) 6625 del vars, 16880 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 599314 impls, 1546 clqs
164.94/165.01 c (round 74) 6625 del vars, 16929 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 599314 impls, 1546 clqs
165.03/165.13 c (round 75) 6625 del vars, 16981 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 599314 impls, 1546 clqs
171.83/171.99 c (round 76) 6675 del vars, 16981 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 612886 impls, 1546 clqs
172.03/172.10 c (round 77) 6675 del vars, 17039 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 612886 impls, 1546 clqs
172.13/172.25 c (round 78) 6675 del vars, 17089 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 612886 impls, 1546 clqs
177.33/177.46 c (round 79) 6725 del vars, 17092 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 621104 impls, 1546 clqs
177.43/177.57 c (round 80) 6725 del vars, 17135 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 621104 impls, 1546 clqs
177.63/177.70 c (round 81) 6725 del vars, 17192 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 621104 impls, 1546 clqs
178.84/178.92 c (177.3s) probing: 10000/15645 (63.9%) - 40 fixings, 1216 aggregations, 144992 implications, 0 bound changes
183.54/183.63 c (round 82) 6775 del vars, 17192 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 625482 impls, 1546 clqs
183.65/183.74 c (round 83) 6775 del vars, 17239 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 625482 impls, 1546 clqs
183.74/183.87 c (round 84) 6775 del vars, 17290 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 625482 impls, 1546 clqs
186.95/187.06 c (round 85) 6825 del vars, 17290 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 629934 impls, 1546 clqs
187.04/187.17 c (round 86) 6825 del vars, 17339 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 629934 impls, 1546 clqs
187.14/187.30 c (round 87) 6825 del vars, 17389 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 629934 impls, 1546 clqs
193.84/193.99 c (round 88) 6875 del vars, 17389 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 644074 impls, 1546 clqs
194.04/194.11 c (round 89) 6875 del vars, 17442 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 644074 impls, 1546 clqs
194.14/194.24 c (round 90) 6875 del vars, 17490 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 644074 impls, 1546 clqs
195.04/195.17 c (193.5s) probing: 11000/15645 (70.3%) - 41 fixings, 1363 aggregations, 157835 implications, 0 bound changes
198.94/199.05 c (round 91) 6925 del vars, 17490 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 653610 impls, 1546 clqs
199.04/199.16 c (round 92) 6925 del vars, 17546 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 653610 impls, 1546 clqs
199.13/199.29 c (round 93) 6925 del vars, 17594 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 653610 impls, 1546 clqs
203.83/203.97 c (round 94) 6975 del vars, 17594 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 661086 impls, 1546 clqs
203.93/204.09 c (round 95) 6975 del vars, 17644 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 661086 impls, 1546 clqs
204.13/204.22 c (round 96) 6975 del vars, 17693 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 661086 impls, 1546 clqs
210.23/210.30 c (round 97) 7025 del vars, 17693 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 669280 impls, 1546 clqs
210.33/210.41 c (round 98) 7025 del vars, 17745 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 669280 impls, 1546 clqs
210.43/210.55 c (round 99) 7025 del vars, 17792 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 669280 impls, 1546 clqs
211.23/211.30 c (209.6s) probing: 12000/15645 (76.7%) - 46 fixings, 1507 aggregations, 173115 implications, 0 bound changes
213.53/213.68 c (round 100) 7075 del vars, 17792 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 673354 impls, 1546 clqs
213.63/213.80 c (round 101) 7075 del vars, 17842 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 673354 impls, 1546 clqs
213.83/213.93 c (round 102) 7075 del vars, 17892 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 673354 impls, 1546 clqs
220.93/221.09 c (round 103) 7125 del vars, 17892 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 708214 impls, 1546 clqs
221.13/221.21 c (round 104) 7125 del vars, 17952 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 708214 impls, 1546 clqs
221.23/221.34 c (round 105) 7125 del vars, 17998 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 708214 impls, 1546 clqs
227.73/227.87 c (226.2s) probing: 13000/15645 (83.1%) - 56 fixings, 1629 aggregations, 217930 implications, 0 bound changes
230.53/230.67 c (round 106) 7175 del vars, 17999 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 755442 impls, 1546 clqs
230.73/230.80 c (round 107) 7175 del vars, 18070 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 755442 impls, 1546 clqs
230.83/230.94 c (round 108) 7175 del vars, 18108 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 755442 impls, 1546 clqs
243.92/244.04 c (242.4s) probing: 14000/15645 (89.5%) - 65 fixings, 1677 aggregations, 256954 implications, 0 bound changes
250.92/251.03 c (round 109) 7225 del vars, 18108 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 876946 impls, 1546 clqs
251.02/251.14 c (round 110) 7232 del vars, 18174 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 876966 impls, 1546 clqs
261.32/261.48 c (259.8s) probing: 15000/15645 (95.9%) - 84 fixings, 1686 aggregations, 311511 implications, 0 bound changes
272.12/272.28 c (270.6s) probing: 15605/15645 (99.7%) - 92 fixings, 1686 aggregations, 336131 implications, 0 bound changes
272.12/272.28 c (270.6s) probing aborted: 100/100 successive totally useless probings
272.12/272.28 c (round 111) 7259 del vars, 18182 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 964754 impls, 1546 clqs
272.22/272.34 c (round 112) 7273 del vars, 18234 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 964782 impls, 1546 clqs
272.32/272.46 c (round 113) 7273 del vars, 18248 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 964782 impls, 1546 clqs
272.41/272.59 c (round 114) 7273 del vars, 18286 del conss, 47 chg bounds, 1 chg sides, 10 chg coeffs, 86680 upgd conss, 964782 impls, 1546 clqs
272.72/272.85 c (271.2s) probing: 15615/15645 (99.8%) - 92 fixings, 1686 aggregations, 336131 implications, 0 bound changes
272.72/272.85 c (271.2s) probing aborted: 100/100 successive totally useless probings
272.72/272.86 c presolving (115 rounds):
272.72/272.86 c 7273 deleted vars, 18287 deleted constraints, 47 tightened bounds, 0 added holes, 1 changed sides, 10 changed coefficients
272.72/272.86 c 964782 implications, 1546 cliques
272.72/272.86 c presolved problem has 13836 variables (13836 bin, 0 int, 0 impl, 0 cont) and 81785 constraints
272.72/272.86 c 22382 constraints of type <setppc>
272.72/272.86 c 59403 constraints of type <logicor>
272.72/272.86 c transformed objective value is always integral (scale: 1)
272.72/272.86 c Presolving Time: 270.82
272.72/272.86 c - non default parameters ----------------------------------------------------------------------
272.72/272.86 c # SCIP version 1.2.1.3
272.72/272.86 c
272.72/272.86 c # frequency for displaying node information lines
272.72/272.86 c # [type: int, range: [-1,2147483647], default: 100]
272.72/272.86 c display/freq = 10000
272.72/272.86 c
272.72/272.86 c # maximal time in seconds to run
272.72/272.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
272.72/272.86 c limits/time = 1788.34
272.72/272.86 c
272.72/272.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
272.72/272.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
272.72/272.86 c limits/memory = 1620
272.72/272.86 c
272.72/272.86 c # default clock type (1: CPU user seconds, 2: wall clock time)
272.72/272.86 c # [type: int, range: [1,2], default: 1]
272.72/272.86 c timing/clocktype = 2
272.72/272.86 c
272.72/272.86 c # should presolving try to simplify inequalities
272.72/272.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
272.72/272.86 c constraints/linear/simplifyinequalities = TRUE
272.72/272.86 c
272.72/272.86 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
272.72/272.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
272.72/272.86 c constraints/indicator/addCouplingCons = TRUE
272.72/272.86 c
272.72/272.86 c # should presolving try to simplify knapsacks
272.72/272.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
272.72/272.86 c constraints/knapsack/simplifyinequalities = TRUE
272.72/272.86 c
272.72/272.86 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
272.72/272.86 c # [type: int, range: [-1,2147483647], default: -1]
272.72/272.86 c separating/rapidlearning/freq = 0
272.72/272.86 c
272.72/272.86 c -----------------------------------------------------------------------------------------------
272.72/272.86 c start solving
272.72/272.88 c
303.51/303.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.51/303.69 c 302s| 1 | 2 | 13882 | - | 177M| 0 | - | 13k| 81k| 13k| 76k| 0 | 0 | 0 | 7.141587e+11 | -- | Inf
1790.38/1790.87 c
1790.38/1790.87 c SCIP Status : solving was interrupted [time limit reached]
1790.38/1790.87 c Solving Time (sec) : 1789.20
1790.38/1790.87 c Solving Nodes : 111
1790.38/1790.87 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.38/1790.87 c Dual Bound : +7.14158675717000e+11
1790.38/1790.87 c Gap : infinite
1790.38/1790.87 s UNKNOWN
1790.38/1790.87 c SCIP Status : solving was interrupted [time limit reached]
1790.38/1790.87 c Solving Time : 1789.20
1790.38/1790.87 c Original Problem :
1790.38/1790.87 c Problem name : HOME/instance-2704817-1278580160.opb
1790.38/1790.87 c Variables : 21109 (21109 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.38/1790.87 c Constraints : 100072 initial, 100072 maximal
1790.38/1790.87 c Presolved Problem :
1790.38/1790.87 c Problem name : t_HOME/instance-2704817-1278580160.opb
1790.38/1790.87 c Variables : 13836 (13836 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.38/1790.87 c Constraints : 81785 initial, 81787 maximal
1790.38/1790.87 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.38/1790.87 c trivial : 0.33 0 0 0 0 0 0 0 0
1790.38/1790.87 c dualfix : 0.37 4145 0 0 0 0 0 0 0
1790.38/1790.87 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.38/1790.87 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.38/1790.87 c implics : 0.69 0 57 0 0 0 0 0 0
1790.38/1790.87 c probing : 256.30 92 1686 0 0 0 0 0 0
1790.38/1790.87 c setppc : 3.02 0 0 0 0 0 4735 0 0
1790.38/1790.87 c linear : 1.12 47 1246 0 47 0 13392 1 10
1790.38/1790.87 c logicor : 8.57 0 0 0 0 0 160 0 0
1790.38/1790.87 c root node : - 0 - - 0 - - - -
1790.38/1790.87 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.38/1790.87 c integral : 0 0 0 0 0 0 0 0 0 0
1790.38/1790.87 c setppc : 22382 0 47076 0 110 0 3201 0 0 0
1790.38/1790.87 c logicor : 59403+ 0 39609 0 110 89 3984 0 0 0
1790.38/1790.87 c countsols : 0 0 0 0 110 0 0 0 0 0
1790.38/1790.87 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.38/1790.87 c integral : 0.00 0.00 0.00 0.00 0.00
1790.38/1790.87 c setppc : 189.77 0.00 187.87 0.00 1.90
1790.38/1790.87 c logicor : 11.61 0.00 5.31 0.00 6.30
1790.38/1790.87 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.38/1790.87 c Propagators : Time Calls Cutoffs DomReds
1790.38/1790.87 c vbounds : 0.05 2 0 0
1790.38/1790.87 c rootredcost : 0.04 0 0 0
1790.38/1790.87 c pseudoobj : 0.45 330 0 0
1790.38/1790.87 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.38/1790.87 c propagation : 0.00 1 1 2 4.5 0 0.0 -
1790.38/1790.87 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.38/1790.87 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.38/1790.87 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.38/1790.87 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.38/1790.87 c applied globally : - - - 2 4.5 - - -
1790.38/1790.87 c applied locally : - - - 0 0.0 - - -
1790.38/1790.87 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.38/1790.87 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.38/1790.87 c redcost : 0.00 0 0 0 0 0
1790.38/1790.87 c impliedbounds : 0.00 0 0 0 0 0
1790.38/1790.87 c intobj : 0.00 0 0 0 0 0
1790.38/1790.87 c cgmip : 0.00 0 0 0 0 0
1790.38/1790.87 c gomory : 0.00 0 0 0 0 0
1790.38/1790.87 c strongcg : 0.00 0 0 0 0 0
1790.38/1790.87 c cmir : 0.00 0 0 0 0 0
1790.38/1790.87 c flowcover : 0.00 0 0 0 0 0
1790.38/1790.87 c clique : 0.00 0 0 0 0 0
1790.38/1790.87 c zerohalf : 0.00 0 0 0 0 0
1790.38/1790.87 c mcf : 0.00 0 0 0 0 0
1790.38/1790.87 c rapidlearning : 0.00 0 0 0 0 0
1790.38/1790.87 c Pricers : Time Calls Vars
1790.38/1790.87 c problem variables: 0.00 0 0
1790.38/1790.87 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.38/1790.87 c relpscost : 0.00 0 0 0 0 0 0
1790.38/1790.87 c pscost : 0.00 0 0 0 0 0 0
1790.38/1790.87 c inference : 0.81 110 0 0 0 0 220
1790.38/1790.87 c mostinf : 0.00 0 0 0 0 0 0
1790.38/1790.87 c leastinf : 0.00 0 0 0 0 0 0
1790.38/1790.87 c fullstrong : 0.00 0 0 0 0 0 0
1790.38/1790.87 c allfullstrong : 0.00 0 0 0 0 0 0
1790.38/1790.87 c random : 0.00 0 0 0 0 0 0
1790.38/1790.87 c Primal Heuristics : Time Calls Found
1790.38/1790.87 c LP solutions : 0.00 - 0
1790.38/1790.87 c pseudo solutions : 0.00 - 0
1790.38/1790.87 c oneopt : 0.00 0 0
1790.38/1790.87 c intshifting : 0.00 0 0
1790.38/1790.87 c coefdiving : 0.00 0 0
1790.38/1790.87 c pscostdiving : 0.00 0 0
1790.38/1790.87 c fracdiving : 0.00 0 0
1790.38/1790.87 c veclendiving : 0.00 0 0
1790.38/1790.87 c objpscostdiving : 0.00 0 0
1790.38/1790.87 c rootsoldiving : 0.00 0 0
1790.38/1790.87 c linesearchdiving : 0.00 0 0
1790.38/1790.87 c guideddiving : 0.00 0 0
1790.38/1790.87 c crossover : 0.00 0 0
1790.38/1790.87 c trivial : 0.09 2 0
1790.38/1790.87 c simplerounding : 0.00 0 0
1790.38/1790.87 c zirounding : 0.00 0 0
1790.38/1790.87 c rounding : 0.00 0 0
1790.38/1790.87 c shifting : 0.00 0 0
1790.38/1790.87 c twoopt : 0.00 0 0
1790.38/1790.87 c fixandinfer : 0.00 0 0
1790.38/1790.87 c feaspump : 0.00 0 0
1790.38/1790.87 c intdiving : 0.00 0 0
1790.38/1790.87 c actconsdiving : 0.00 0 0
1790.38/1790.87 c octane : 0.00 0 0
1790.38/1790.87 c rens : 0.00 0 0
1790.38/1790.87 c rins : 0.00 0 0
1790.38/1790.87 c localbranching : 0.00 0 0
1790.38/1790.87 c mutation : 0.00 0 0
1790.38/1790.87 c dins : 0.00 0 0
1790.38/1790.87 c undercover : 0.00 0 0
1790.38/1790.87 c nlp : 0.00 0 0
1790.38/1790.87 c trysol : 0.00 0 0
1790.38/1790.87 c LP : Time Calls Iterations Iter/call Iter/sec
1790.38/1790.87 c primal LP : 0.00 0 0 0.00 -
1790.38/1790.87 c dual LP : 1500.95 178 715477 4019.53 476.68
1790.38/1790.87 c lex dual LP : 0.00 0 0 0.00 -
1790.38/1790.87 c barrier LP : 0.00 0 0 0.00 -
1790.38/1790.87 c diving/probing LP: 0.00 0 0 0.00 -
1790.38/1790.87 c strong branching : 0.00 0 0 0.00 -
1790.38/1790.87 c (at root node) : - 0 0 0.00 -
1790.38/1790.87 c conflict analysis: 0.00 0 0 0.00 -
1790.38/1790.87 c B&B Tree :
1790.38/1790.87 c number of runs : 1
1790.38/1790.87 c nodes : 111
1790.38/1790.87 c nodes (total) : 111
1790.38/1790.87 c nodes left : 110
1790.38/1790.87 c max depth : 19
1790.38/1790.87 c max depth (total): 19
1790.38/1790.87 c backtracks : 11 (9.9%)
1790.38/1790.87 c delayed cutoffs : 0
1790.38/1790.87 c repropagations : 7 (2 domain reductions, 0 cutoffs)
1790.38/1790.87 c avg switch length: 2.15
1790.38/1790.87 c switching time : 0.06
1790.38/1790.87 c Solution :
1790.38/1790.87 c Solutions found : 0 (0 improvements)
1790.38/1790.87 c Primal Bound : -
1790.38/1790.87 c Dual Bound : +7.14158675717000e+11
1790.38/1790.87 c Gap : infinite
1790.38/1790.87 c Root Dual Bound : +7.14158675704000e+11
1790.38/1790.87 c Root Iterations : 13882
1790.98/1791.43 c Time complete: 1791.01.
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-2704817-1278580160/watcher-2704817-1278580160 -o /tmp/evaluation-result-2704817-1278580160/solver-2704817-1278580160 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704817-1278580160.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.96 3/106 634 /proc/meminfo: memFree=1763104/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=5692 CPUtime=0 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 709 0 0 0 0 0 0 0 18 0 1 0 26227260 5828608 624 1992294400 4194304 8395647 140733296763952 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/634/statm: 1423 629 290 1026 0 393 0 [startup+0.075266 s] /proc/loadavg: 1.00 1.00 0.96 3/106 634 /proc/meminfo: memFree=1763104/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=18240 CPUtime=0.06 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 3861 0 0 0 6 0 0 0 20 0 1 0 26227260 18677760 3767 1992294400 4194304 8395647 140733296763952 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/634/statm: 4560 3767 394 1026 0 3530 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18240 [startup+0.101269 s] /proc/loadavg: 1.00 1.00 0.96 3/106 634 /proc/meminfo: memFree=1763104/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=19984 CPUtime=0.1 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 4324 0 0 0 9 1 0 0 20 0 1 0 26227260 20463616 4230 1992294400 4194304 8395647 140733296763952 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/634/statm: 4996 4230 394 1026 0 3966 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 19984 [startup+0.301282 s] /proc/loadavg: 1.00 1.00 0.96 3/106 634 /proc/meminfo: memFree=1763104/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=26744 CPUtime=0.29 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 6008 0 0 0 28 1 0 0 20 0 1 0 26227260 27385856 5914 1992294400 4194304 8395647 140733296763952 18446744073709551615 7382073 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/634/statm: 6686 5914 394 1026 0 5656 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26744 [startup+0.701311 s] /proc/loadavg: 1.00 1.00 0.96 3/106 634 /proc/meminfo: memFree=1763104/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=38592 CPUtime=0.69 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 8959 0 0 0 66 3 0 0 20 0 1 0 26227260 39518208 8865 1992294400 4194304 8395647 140733296763952 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/634/statm: 9648 8865 394 1026 0 8618 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38592 [startup+1.50137 s] /proc/loadavg: 1.16 1.03 0.97 2/107 635 /proc/meminfo: memFree=1722300/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=59564 CPUtime=1.49 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 14171 0 0 0 144 5 0 0 23 0 1 0 26227260 60993536 14077 1992294400 4194304 8395647 140733296763952 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/634/statm: 14891 14077 394 1026 0 13861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59564 [startup+3.10148 s] /proc/loadavg: 1.16 1.03 0.97 2/107 635 /proc/meminfo: memFree=1616156/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=180604 CPUtime=3.09 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 43563 0 0 0 293 16 0 0 25 0 1 0 26227260 184938496 43115 1992294400 4194304 8395647 140733296763952 18446744073709551615 4288158 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 45151 43115 476 1026 0 44121 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180604 [startup+6.3007 s] /proc/loadavg: 1.15 1.03 0.97 2/107 635 /proc/meminfo: memFree=1567672/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=204368 CPUtime=6.29 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 53017 0 0 0 609 20 0 0 25 0 1 0 26227260 209272832 49094 1992294400 4194304 8395647 140733296763952 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 51092 49094 505 1026 0 50062 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 204368 [startup+12.7001 s] /proc/loadavg: 1.14 1.03 0.97 2/107 637 /proc/meminfo: memFree=1567672/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=204368 CPUtime=12.69 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 53021 0 0 0 1249 20 0 0 25 0 1 0 26227260 209272832 49098 1992294400 4194304 8395647 140733296763952 18446744073709551615 6068924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 51092 49098 505 1026 0 50062 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 204368 [startup+25.501 s] /proc/loadavg: 1.10 1.03 0.97 2/107 637 /proc/meminfo: memFree=1565440/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=206728 CPUtime=25.49 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 53626 0 0 0 2529 20 0 0 25 0 1 0 26227260 211689472 49703 1992294400 4194304 8395647 140733296763952 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 51682 49703 505 1026 0 50652 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 206728 [startup+51.1008 s] /proc/loadavg: 1.07 1.03 0.97 2/107 637 /proc/meminfo: memFree=1562712/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=209668 CPUtime=51.07 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 54368 0 0 0 5087 20 0 0 25 0 1 0 26227260 214700032 50445 1992294400 4194304 8395647 140733296763952 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 52417 50445 511 1026 0 51387 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 209668 [startup+102.308 s] /proc/loadavg: 1.03 1.02 0.97 2/107 639 /proc/meminfo: memFree=1560356/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=211724 CPUtime=102.26 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 54893 0 0 0 10206 20 0 0 25 0 1 0 26227260 216805376 50970 1992294400 4194304 8395647 140733296763952 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 52931 50970 511 1026 0 51901 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 211724 [startup+162.302 s] /proc/loadavg: 1.01 1.02 0.97 2/107 641 /proc/meminfo: memFree=1556636/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=215340 CPUtime=162.24 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 55806 0 0 0 16204 20 0 0 25 0 1 0 26227260 220508160 51883 1992294400 4194304 8395647 140733296763952 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 53835 51883 511 1026 0 52805 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 215340 [startup+222.301 s] /proc/loadavg: 1.00 1.01 0.97 2/107 641 /proc/meminfo: memFree=1553040/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=218716 CPUtime=222.23 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 56693 0 0 0 22202 21 0 0 25 0 1 0 26227260 223965184 52770 1992294400 4194304 8395647 140733296763952 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 54679 52770 511 1026 0 53649 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 218716 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 643 /proc/meminfo: memFree=1426684/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=356764 CPUtime=282.21 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 91256 0 0 0 28185 36 0 0 25 0 1 0 26227260 365326336 84673 1992294400 4194304 8395647 140733296763952 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 89191 84673 849 1026 0 88161 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 356764 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 645 /proc/meminfo: memFree=1416516/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=342.2 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 93813 0 0 0 34164 56 0 0 25 0 1 0 26227260 376967168 86990 1992294400 4194304 8395647 140733296763952 18446744073709551615 6587234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 86990 680 1026 0 91003 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 368132 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 647 /proc/meminfo: memFree=1415276/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=402.18 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94122 0 0 0 40141 77 0 0 25 0 1 0 26227260 376967168 87281 1992294400 4194304 8395647 140733296763952 18446744073709551615 6708229 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87281 664 1026 0 91003 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 368132 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.97 2/107 649 /proc/meminfo: memFree=1415152/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=462.17 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94131 0 0 0 46117 100 0 0 25 0 1 0 26227260 376967168 87289 1992294400 4194304 8395647 140733296763952 18446744073709551615 7382041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87289 663 1026 0 91003 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 368132 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 649 /proc/meminfo: memFree=1415152/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=522.16 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94131 0 0 0 52095 121 0 0 25 0 1 0 26227260 376967168 87289 1992294400 4194304 8395647 140733296763952 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87289 663 1026 0 91003 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 368132 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 653 /proc/meminfo: memFree=1412176/2059040 swapFree=4109596/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=582.15 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94774 0 0 0 58072 143 0 0 25 0 1 0 26227260 376967168 87931 1992294400 4194304 8395647 140733296763952 18446744073709551615 6752906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87931 662 1026 0 91003 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 368132 [startup+642.301 s] /proc/loadavg: 1.03 1.01 0.97 2/107 656 /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=642.13 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94776 0 0 0 64048 165 0 0 25 0 1 0 26227260 376967168 87933 1992294400 4194304 8395647 140733296763952 18446744073709551615 6587036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87933 662 1026 0 91003 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 368132 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=1062.04 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94789 0 0 0 105888 316 0 0 25 0 1 0 26227260 376967168 87946 1992294400 4194304 8395647 140733296763952 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87946 673 1026 0 91003 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 368132 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 668 /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=1122.02 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94789 0 0 0 111864 338 0 0 25 0 1 0 26227260 376967168 87946 1992294400 4194304 8395647 140733296763952 18446744073709551615 6721240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87946 673 1026 0 91003 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 368132 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 670 /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=1182.02 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94790 0 0 0 117843 359 0 0 25 0 1 0 26227260 376967168 87946 1992294400 4194304 8395647 140733296763952 18446744073709551615 6697581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87946 672 1026 0 91003 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 368132 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 672 /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=1242 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94790 0 0 0 123820 380 0 0 25 0 1 0 26227260 376967168 87946 1992294400 4194304 8395647 140733296763952 18446744073709551615 6752545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87946 672 1026 0 91003 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 368132 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 674 /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=1301.99 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94794 0 0 0 129799 400 0 0 25 0 1 0 26227260 376967168 87948 1992294400 4194304 8395647 140733296763952 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87948 670 1026 0 91003 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 368132 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 676 /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=1361.97 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94799 0 0 0 135775 422 0 0 25 0 1 0 26227260 376967168 87948 1992294400 4194304 8395647 140733296763952 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87948 665 1026 0 91003 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 368132 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/107 676 /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=1421.97 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94799 0 0 0 141755 442 0 0 25 0 1 0 26227260 376967168 87948 1992294400 4194304 8395647 140733296763952 18446744073709551615 6723944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87948 665 1026 0 91003 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 368132 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 678 /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=1481.95 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94799 0 0 0 147729 466 0 0 25 0 1 0 26227260 376967168 87948 1992294400 4194304 8395647 140733296763952 18446744073709551615 6636339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87948 665 1026 0 91003 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 368132 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 680 /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=1541.94 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94803 0 0 0 153708 486 0 0 25 0 1 0 26227260 376967168 87952 1992294400 4194304 8395647 140733296763952 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87952 669 1026 0 91003 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 368132 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 682 /proc/meminfo: memFree=1411804/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=368132 CPUtime=1601.92 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 94803 0 0 0 159684 508 0 0 25 0 1 0 26227260 376967168 87952 1992294400 4194304 8395647 140733296763952 18446744073709551615 6723300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92033 87952 669 1026 0 91003 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 368132 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 684 /proc/meminfo: memFree=1406844/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=370856 CPUtime=1661.91 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 96042 0 0 0 165660 531 0 0 25 0 1 0 26227260 379756544 89191 1992294400 4194304 8395647 140733296763952 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92714 89191 691 1026 0 91684 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 370856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 684 /proc/meminfo: memFree=1406844/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=370856 CPUtime=1721.9 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 96042 0 0 0 171640 550 0 0 25 0 1 0 26227260 379756544 89191 1992294400 4194304 8395647 140733296763952 18446744073709551615 6752397 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92714 89191 691 1026 0 91684 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 370856 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 686 /proc/meminfo: memFree=1406596/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=370856 CPUtime=1781.88 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 96042 0 0 0 177619 569 0 0 25 0 1 0 26227260 379756544 89191 1992294400 4194304 8395647 140733296763952 18446744073709551615 6721240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92714 89191 691 1026 0 91684 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 370856 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.97 2/107 686 /proc/meminfo: memFree=1406596/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=370856 CPUtime=1785.08 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 96042 0 0 0 177937 571 0 0 25 0 1 0 26227260 379756544 89191 1992294400 4194304 8395647 140733296763952 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92714 89191 691 1026 0 91684 0 Current children cumulated CPU time (s) 1785.08 Current children cumulated vsize (KiB) 370856 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.97 2/107 686 /proc/meminfo: memFree=1406596/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=370856 CPUtime=1788.28 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 96042 0 0 0 178256 572 0 0 25 0 1 0 26227260 379756544 89191 1992294400 4194304 8395647 140733296763952 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92714 89191 691 1026 0 91684 0 Current children cumulated CPU time (s) 1788.28 Current children cumulated vsize (KiB) 370856 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 686 /proc/meminfo: memFree=1406596/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=370856 CPUtime=1789.87 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 96042 0 0 0 178415 572 0 0 25 0 1 0 26227260 379756544 89191 1992294400 4194304 8395647 140733296763952 18446744073709551615 6697666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/634/statm: 92714 89191 691 1026 0 91684 0 Current children cumulated CPU time (s) 1789.87 Current children cumulated vsize (KiB) 370856 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.97 2/107 686 /proc/meminfo: memFree=1406596/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=370856 CPUtime=1790.67 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 96049 0 0 0 178495 572 0 0 25 0 1 0 26227260 379756544 89198 1992294400 4194304 8395647 140733296763952 18446744073709551615 4214938 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/634/statm: 92714 89198 698 1026 0 91684 0 Current children cumulated CPU time (s) 1790.67 Current children cumulated vsize (KiB) 370856 [startup+1791.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 686 /proc/meminfo: memFree=1406596/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=370856 CPUtime=1790.87 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 96049 0 0 0 178515 572 0 0 25 0 1 0 26227260 379756544 89198 1992294400 4194304 8395647 140733296763952 18446744073709551615 6345739 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/634/statm: 92714 89198 698 1026 0 91684 0 Current children cumulated CPU time (s) 1790.87 Current children cumulated vsize (KiB) 370856 [startup+1791.4 s] /proc/loadavg: 1.00 1.00 0.97 2/107 686 /proc/meminfo: memFree=1406596/2059040 swapFree=4109600/4192956 [pid=634] ppid=632 vsize=329856 CPUtime=1790.98 /proc/634/stat : 634 (pbscip.linux.x8) R 632 634 32560 0 -1 4202496 96049 0 0 0 178525 573 0 0 25 0 1 0 26227260 337772544 75252 1992294400 4194304 8395647 140733296763952 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/634/statm: 82464 75252 632 1026 0 81434 0 Current children cumulated CPU time (s) 1790.98 Current children cumulated vsize (KiB) 329856 Child status: 0 Real time (s): 1791.43 CPU time (s): 1791.02 CPU user time (s): 1785.26 CPU system time (s): 5.76312 CPU usage (%): 99.9769 Max. virtual memory (cumulated for all children) (KiB): 370856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.26 system time used= 5.76312 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96056 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= 6519 runsolver used 3.04354 second user time and 8.37473 second system time The end
Begin job on node034 at 2010-07-08 11:09:20 IDJOB=2704817 IDBENCH=72454 IDSOLVER=1213 FILE ID=node034/2704817-1278580160 PBS_JOBID= 11240090 Free space on /tmp= 62400 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/9orless/normalized-libmono-addins-gui0.2-cil.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-2704817-1278580160/watcher-2704817-1278580160 -o /tmp/evaluation-result-2704817-1278580160/solver-2704817-1278580160 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704817-1278580160.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 065a7bcfdd34b3aee23ffeb28fc8c9d9 RANDOM SEED=1740225459 node034.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.216 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.43 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.216 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1763508 kB Buffers: 52136 kB Cached: 131832 kB SwapCached: 41436 kB Active: 122068 kB Inactive: 106472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1763508 kB SwapTotal: 4192956 kB SwapFree: 4109596 kB Dirty: 14068 kB Writeback: 0 kB AnonPages: 11872 kB Mapped: 8492 kB Slab: 44992 kB PageTables: 4248 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184200 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= 62388 MiB End job on node034 at 2010-07-08 11:39:12