| 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.24 | 1791.65 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-ark.cudf.trendy.opb |
| MD5SUM | 485de3b8c7097a1d4a4f931d70c385bb |
| 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 | 3730744783336 |
| 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 | 21101 |
| Total number of constraints | 100032 |
| Number of constraints which are clauses | 98467 |
| Number of constraints which are cardinality constraints (but not clauses) | 1565 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 2962 |
| Number of terms in the objective function | 8586 |
| Biggest coefficient in the objective function | 79229972375 |
| Number of bits for the biggest coefficient in the objective function | 37 |
| Sum of the numbers in the objective function | 234599911309658 |
| Number of bits of the sum of numbers in the objective function | 48 |
| Biggest number in a constraint | 79229972375 |
| Number of bits of the biggest number in a constraint | 37 |
| Biggest sum of numbers in a constraint | 234599911309658 |
| Number of bits of the biggest sum of numbers | 48 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2704813-1278580160.opb>
1.69/1.71 c original problem has 21101 variables (21101 bin, 0 int, 0 impl, 0 cont) and 100032 constraints
1.69/1.71 c problem read
1.69/1.71 c presolving settings loaded
2.20/2.23 c presolving:
2.69/2.72 c (round 1) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130362 impls, 1557 clqs
2.79/2.81 c (round 2) 2419 del vars, 5018 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161766 impls, 1557 clqs
2.79/2.86 c (round 3) 2493 del vars, 5140 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161766 impls, 1557 clqs
2.89/2.96 c (round 4) 5418 del vars, 11004 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161766 impls, 1557 clqs
2.89/3.00 c (round 5) 5440 del vars, 11058 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161766 impls, 1557 clqs
2.99/3.04 c (round 6) 5451 del vars, 11074 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161766 impls, 1557 clqs
3.69/3.74 c (round 7) 5458 del vars, 13383 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86616 upgd conss, 161766 impls, 1557 clqs
3.89/3.91 c (round 8) 5461 del vars, 13386 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86616 upgd conss, 161766 impls, 1557 clqs
3.99/4.05 c (round 9) 5461 del vars, 13387 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 161766 impls, 1557 clqs
13.19/13.26 c (round 10) 5511 del vars, 13387 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 333144 impls, 1557 clqs
13.28/13.32 c (round 11) 5511 del vars, 14565 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 333144 impls, 1557 clqs
20.98/21.05 c (round 12) 5562 del vars, 14568 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397054 impls, 1556 clqs
21.08/21.12 c (round 13) 5564 del vars, 14643 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397059 impls, 1556 clqs
21.19/21.23 c (round 14) 5565 del vars, 14653 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397059 impls, 1556 clqs
21.29/21.36 c (round 15) 5565 del vars, 14739 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397059 impls, 1556 clqs
27.09/27.20 c (25.5s) probing: 1000/15640 (6.4%) - 7 fixings, 118 aggregations, 50611 implications, 0 bound changes
33.38/33.42 c (round 16) 5615 del vars, 14739 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 430329 impls, 1556 clqs
33.48/33.54 c (round 17) 5615 del vars, 14788 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 430329 impls, 1556 clqs
33.58/33.66 c (round 18) 5615 del vars, 14841 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 430329 impls, 1556 clqs
39.38/39.40 c (round 19) 5665 del vars, 14841 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 440427 impls, 1555 clqs
39.49/39.51 c (round 20) 5665 del vars, 14891 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 440427 impls, 1555 clqs
39.59/39.64 c (round 21) 5665 del vars, 14942 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 440427 impls, 1555 clqs
43.99/44.08 c (round 22) 5715 del vars, 14942 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 454425 impls, 1555 clqs
44.08/44.19 c (round 23) 5715 del vars, 15000 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 454425 impls, 1555 clqs
44.28/44.31 c (round 24) 5715 del vars, 15044 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 454425 impls, 1555 clqs
46.78/46.89 c (45.2s) probing: 2000/15640 (12.8%) - 11 fixings, 249 aggregations, 70389 implications, 0 bound changes
54.08/54.10 c (round 25) 5765 del vars, 15044 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 486091 impls, 1555 clqs
54.18/54.21 c (round 26) 5765 del vars, 15094 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 486091 impls, 1555 clqs
54.28/54.33 c (round 27) 5765 del vars, 15146 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 486091 impls, 1555 clqs
61.68/61.72 c (round 28) 5815 del vars, 15146 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 498017 impls, 1555 clqs
61.78/61.84 c (round 29) 5815 del vars, 15198 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 498017 impls, 1555 clqs
61.88/61.96 c (round 30) 5815 del vars, 15246 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 498017 impls, 1555 clqs
64.88/64.99 c (63.3s) probing: 3000/15640 (19.2%) - 11 fixings, 359 aggregations, 87019 implications, 0 bound changes
69.18/69.24 c (round 31) 5865 del vars, 15246 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 512917 impls, 1555 clqs
69.28/69.35 c (round 32) 5866 del vars, 15294 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 512919 impls, 1555 clqs
77.07/77.14 c (round 33) 5916 del vars, 15295 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 521063 impls, 1554 clqs
77.17/77.25 c (round 34) 5916 del vars, 15345 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 521063 impls, 1554 clqs
77.27/77.37 c (round 35) 5916 del vars, 15454 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 521063 impls, 1554 clqs
82.17/82.27 c (80.6s) probing: 4000/15640 (25.6%) - 13 fixings, 470 aggregations, 97045 implications, 0 bound changes
83.27/83.37 c (round 36) 5966 del vars, 15454 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 527065 impls, 1553 clqs
83.37/83.43 c (round 37) 5966 del vars, 15517 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 527065 impls, 1553 clqs
83.48/83.56 c (round 38) 5966 del vars, 15562 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 527065 impls, 1553 clqs
90.27/90.30 c (round 39) 6016 del vars, 15562 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 534671 impls, 1552 clqs
90.37/90.41 c (round 40) 6016 del vars, 15611 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 534671 impls, 1552 clqs
90.47/90.53 c (round 41) 6016 del vars, 15657 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 534671 impls, 1552 clqs
97.57/97.69 c (round 42) 6066 del vars, 15657 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 546093 impls, 1551 clqs
97.77/97.80 c (round 43) 6066 del vars, 15707 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 546093 impls, 1551 clqs
97.87/97.93 c (round 44) 6066 del vars, 15757 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 546093 impls, 1551 clqs
99.17/99.23 c (97.5s) probing: 5000/15640 (32.0%) - 13 fixings, 592 aggregations, 107756 implications, 0 bound changes
104.66/104.75 c (round 45) 6116 del vars, 15757 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 559227 impls, 1551 clqs
104.76/104.86 c (round 46) 6116 del vars, 15806 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 559227 impls, 1551 clqs
104.86/104.99 c (round 47) 6116 del vars, 15856 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 559227 impls, 1551 clqs
111.36/111.48 c (round 48) 6166 del vars, 15856 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564333 impls, 1551 clqs
111.46/111.59 c (round 49) 6166 del vars, 15903 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564333 impls, 1551 clqs
111.66/111.72 c (round 50) 6166 del vars, 15955 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564333 impls, 1551 clqs
111.76/111.89 c (round 51) 6166 del vars, 16000 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564333 impls, 1551 clqs
115.76/115.86 c (114.1s) probing: 6000/15640 (38.4%) - 13 fixings, 710 aggregations, 118166 implications, 0 bound changes
119.26/119.35 c (round 52) 6216 del vars, 16000 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 576783 impls, 1550 clqs
119.36/119.46 c (round 53) 6216 del vars, 16048 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 576783 impls, 1550 clqs
119.46/119.58 c (round 54) 6216 del vars, 16098 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 576783 impls, 1550 clqs
128.06/128.16 c (round 55) 6266 del vars, 16098 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 582075 impls, 1550 clqs
128.16/128.27 c (round 56) 6266 del vars, 16146 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 582075 impls, 1550 clqs
128.36/128.40 c (round 57) 6266 del vars, 16202 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 582075 impls, 1550 clqs
132.06/132.15 c (130.4s) probing: 7000/15640 (44.8%) - 14 fixings, 807 aggregations, 124384 implications, 0 bound changes
135.46/135.54 c (round 58) 6316 del vars, 16202 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 585247 impls, 1550 clqs
135.56/135.65 c (round 59) 6316 del vars, 16256 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 585247 impls, 1550 clqs
135.66/135.79 c (round 60) 6316 del vars, 16307 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 585247 impls, 1550 clqs
141.25/141.35 c (round 61) 6366 del vars, 16307 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 587207 impls, 1550 clqs
141.35/141.48 c (round 62) 6366 del vars, 16357 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 587207 impls, 1550 clqs
141.55/141.60 c (round 63) 6366 del vars, 16408 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 587207 impls, 1550 clqs
147.05/147.13 c (round 64) 6416 del vars, 16408 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 595449 impls, 1550 clqs
147.15/147.25 c (round 65) 6416 del vars, 16456 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 595449 impls, 1550 clqs
147.26/147.38 c (round 66) 6416 del vars, 16506 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 595449 impls, 1550 clqs
148.36/148.48 c (146.8s) probing: 8000/15640 (51.2%) - 14 fixings, 947 aggregations, 132753 implications, 0 bound changes
152.05/152.19 c (round 67) 6466 del vars, 16508 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 602503 impls, 1550 clqs
152.25/152.33 c (round 68) 6466 del vars, 16560 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 602503 impls, 1550 clqs
152.35/152.46 c (round 69) 6466 del vars, 16612 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 602503 impls, 1550 clqs
158.65/158.72 c (round 70) 6516 del vars, 16612 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 610397 impls, 1550 clqs
158.76/158.83 c (round 71) 6516 del vars, 16662 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 610397 impls, 1550 clqs
158.86/158.96 c (round 72) 6516 del vars, 16712 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 610397 impls, 1550 clqs
164.06/164.15 c (162.4s) probing: 9000/15640 (57.5%) - 15 fixings, 1079 aggregations, 139167 implications, 0 bound changes
164.56/164.68 c (round 73) 6566 del vars, 16712 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 613417 impls, 1550 clqs
164.76/164.80 c (round 74) 6566 del vars, 16765 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 613417 impls, 1550 clqs
164.86/164.93 c (round 75) 6566 del vars, 16813 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 613417 impls, 1550 clqs
171.16/171.20 c (round 76) 6616 del vars, 16813 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 624771 impls, 1550 clqs
171.26/171.32 c (round 77) 6616 del vars, 16862 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 624771 impls, 1550 clqs
171.36/171.45 c (round 78) 6616 del vars, 16917 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 624771 impls, 1550 clqs
179.26/179.37 c (round 79) 6666 del vars, 16917 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 641475 impls, 1550 clqs
179.35/179.49 c (round 80) 6666 del vars, 16967 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 641475 impls, 1550 clqs
179.55/179.62 c (round 81) 6666 del vars, 17017 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 641475 impls, 1550 clqs
180.45/180.57 c (178.9s) probing: 10000/15640 (63.9%) - 16 fixings, 1190 aggregations, 154407 implications, 0 bound changes
184.45/184.52 c (round 82) 6716 del vars, 17017 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 646437 impls, 1550 clqs
184.55/184.63 c (round 83) 6716 del vars, 17062 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 646437 impls, 1550 clqs
184.66/184.77 c (round 84) 6716 del vars, 17117 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 646437 impls, 1550 clqs
188.35/188.44 c (round 85) 6766 del vars, 17117 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 655807 impls, 1550 clqs
188.45/188.56 c (round 86) 6766 del vars, 17164 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 655807 impls, 1550 clqs
188.55/188.69 c (round 87) 6766 del vars, 17216 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 655807 impls, 1550 clqs
194.35/194.48 c (round 88) 6816 del vars, 17216 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 659627 impls, 1550 clqs
194.45/194.59 c (round 89) 6816 del vars, 17263 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 659627 impls, 1550 clqs
194.66/194.72 c (round 90) 6816 del vars, 17310 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 659627 impls, 1550 clqs
196.55/196.66 c (194.9s) probing: 11000/15640 (70.3%) - 17 fixings, 1359 aggregations, 166177 implications, 0 bound changes
199.25/199.35 c (round 91) 6866 del vars, 17310 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 681817 impls, 1550 clqs
199.35/199.47 c (round 92) 6866 del vars, 17363 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 681817 impls, 1550 clqs
199.55/199.60 c (round 93) 6866 del vars, 17412 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 681817 impls, 1550 clqs
203.85/203.90 c (round 94) 6916 del vars, 17412 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 687013 impls, 1550 clqs
203.95/204.05 c (round 95) 6916 del vars, 17472 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 687013 impls, 1550 clqs
204.05/204.19 c (round 96) 6916 del vars, 17517 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 687013 impls, 1550 clqs
209.44/209.56 c (round 97) 6966 del vars, 17517 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 689825 impls, 1550 clqs
209.54/209.67 c (round 98) 6966 del vars, 17570 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 689825 impls, 1550 clqs
209.74/209.81 c (round 99) 6966 del vars, 17619 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 689825 impls, 1550 clqs
213.04/213.14 c (211.4s) probing: 12000/15640 (76.7%) - 21 fixings, 1510 aggregations, 187548 implications, 0 bound changes
213.94/214.00 c (round 100) 7016 del vars, 17619 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 701947 impls, 1550 clqs
214.04/214.13 c (round 101) 7016 del vars, 17670 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 701947 impls, 1550 clqs
214.14/214.27 c (round 102) 7016 del vars, 17720 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 701947 impls, 1550 clqs
219.85/219.93 c (round 103) 7066 del vars, 17720 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 714051 impls, 1550 clqs
219.95/220.05 c (round 104) 7066 del vars, 17778 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 714051 impls, 1550 clqs
220.04/220.18 c (round 105) 7066 del vars, 17823 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 714051 impls, 1550 clqs
226.94/227.07 c (round 106) 7116 del vars, 17823 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 748411 impls, 1550 clqs
227.04/227.19 c (round 107) 7116 del vars, 17890 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 748411 impls, 1550 clqs
227.24/227.32 c (round 108) 7116 del vars, 17926 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 748411 impls, 1550 clqs
229.75/229.82 c (228.1s) probing: 13000/15640 (83.1%) - 33 fixings, 1618 aggregations, 214411 implications, 0 bound changes
238.94/239.07 c (round 109) 7166 del vars, 17926 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 791027 impls, 1550 clqs
239.04/239.19 c (round 110) 7168 del vars, 17991 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 791031 impls, 1550 clqs
245.93/246.07 c (244.4s) probing: 14000/15640 (89.5%) - 43 fixings, 1668 aggregations, 251596 implications, 0 bound changes
263.33/263.47 c (261.8s) probing: 15000/15640 (95.9%) - 66 fixings, 1678 aggregations, 299523 implications, 0 bound changes
270.13/270.26 c (round 111) 7218 del vars, 17993 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 935663 impls, 1550 clqs
270.23/270.38 c (round 112) 7237 del vars, 18081 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 935711 impls, 1550 clqs
270.44/270.50 c (round 113) 7237 del vars, 18101 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 935711 impls, 1550 clqs
270.54/270.63 c (round 114) 7237 del vars, 18157 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 935711 impls, 1550 clqs
275.13/275.22 c (273.5s) probing: 15620/15640 (99.9%) - 71 fixings, 1680 aggregations, 329531 implications, 0 bound changes
275.13/275.22 c (273.5s) probing aborted: 100/100 successive totally useless probings
275.13/275.23 c presolving (115 rounds):
275.13/275.23 c 7238 deleted vars, 18157 deleted constraints, 47 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
275.13/275.23 c 956879 implications, 1550 cliques
275.13/275.23 c presolved problem has 13863 variables (13863 bin, 0 int, 0 impl, 0 cont) and 81875 constraints
275.13/275.23 c 22432 constraints of type <setppc>
275.13/275.23 c 59443 constraints of type <logicor>
275.13/275.23 c transformed objective value is always integral (scale: 1)
275.13/275.23 c Presolving Time: 273.15
275.13/275.23 c - non default parameters ----------------------------------------------------------------------
275.13/275.23 c # SCIP version 1.2.1.3
275.13/275.23 c
275.13/275.23 c # frequency for displaying node information lines
275.13/275.23 c # [type: int, range: [-1,2147483647], default: 100]
275.13/275.23 c display/freq = 10000
275.13/275.23 c
275.13/275.23 c # maximal time in seconds to run
275.13/275.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
275.13/275.23 c limits/time = 1788.29
275.13/275.23 c
275.13/275.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
275.13/275.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
275.13/275.23 c limits/memory = 1620
275.13/275.23 c
275.13/275.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
275.13/275.23 c # [type: int, range: [1,2], default: 1]
275.13/275.23 c timing/clocktype = 2
275.13/275.23 c
275.13/275.23 c # should presolving try to simplify inequalities
275.13/275.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
275.13/275.23 c constraints/linear/simplifyinequalities = TRUE
275.13/275.23 c
275.13/275.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
275.13/275.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
275.13/275.23 c constraints/indicator/addCouplingCons = TRUE
275.13/275.23 c
275.13/275.23 c # should presolving try to simplify knapsacks
275.13/275.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
275.13/275.23 c constraints/knapsack/simplifyinequalities = TRUE
275.13/275.23 c
275.13/275.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
275.13/275.23 c # [type: int, range: [-1,2147483647], default: -1]
275.13/275.23 c separating/rapidlearning/freq = 0
275.13/275.23 c
275.13/275.23 c -----------------------------------------------------------------------------------------------
275.13/275.23 c start solving
275.13/275.25 c
305.73/305.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.73/305.89 c 304s| 1 | 2 | 13700 | - | 177M| 0 | - | 13k| 81k| 13k| 75k| 0 | 0 | 0 | 5.547020e+11 | -- | Inf
1790.57/1791.09 c
1790.57/1791.09 c SCIP Status : solving was interrupted [time limit reached]
1790.57/1791.09 c Solving Time (sec) : 1789.38
1790.57/1791.09 c Solving Nodes : 107
1790.57/1791.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.57/1791.09 c Dual Bound : +5.54738935800000e+11
1790.57/1791.09 c Gap : infinite
1790.57/1791.09 s UNKNOWN
1790.57/1791.09 c SCIP Status : solving was interrupted [time limit reached]
1790.57/1791.09 c Solving Time : 1789.38
1790.57/1791.09 c Original Problem :
1790.57/1791.09 c Problem name : HOME/instance-2704813-1278580160.opb
1790.57/1791.09 c Variables : 21101 (21101 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.57/1791.09 c Constraints : 100032 initial, 100032 maximal
1790.57/1791.09 c Presolved Problem :
1790.57/1791.09 c Problem name : t_HOME/instance-2704813-1278580160.opb
1790.57/1791.09 c Variables : 13863 (13863 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.57/1791.09 c Constraints : 81875 initial, 81875 maximal
1790.57/1791.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.57/1791.09 c trivial : 0.33 1 0 0 0 0 0 0 0
1790.57/1791.09 c dualfix : 0.37 4144 0 0 0 0 0 0 0
1790.57/1791.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.57/1791.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.57/1791.09 c implics : 0.70 0 51 0 0 0 0 0 0
1790.57/1791.09 c probing : 258.10 71 1680 0 0 0 0 0 0
1790.57/1791.09 c setppc : 3.05 0 0 0 0 0 4679 0 0
1790.57/1791.09 c linear : 1.12 46 1245 0 46 0 13385 0 9
1790.57/1791.09 c logicor : 9.05 0 0 0 1 0 93 0 0
1790.57/1791.09 c root node : - 0 - - 0 - - - -
1790.57/1791.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.57/1791.09 c integral : 0 0 0 0 0 0 0 0 0 0
1790.57/1791.09 c setppc : 22432 0 47133 0 107 36 4480 0 0 0
1790.57/1791.09 c logicor : 59443 0 39607 0 107 35 6636 0 0 0
1790.57/1791.09 c countsols : 0 0 0 0 107 0 0 0 0 0
1790.57/1791.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.57/1791.09 c integral : 0.00 0.00 0.00 0.00 0.00
1790.57/1791.09 c setppc : 191.10 0.00 189.26 0.00 1.84
1790.57/1791.09 c logicor : 11.88 0.00 5.79 0.00 6.09
1790.57/1791.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.57/1791.09 c Propagators : Time Calls Cutoffs DomReds
1790.57/1791.09 c vbounds : 0.04 2 0 0
1790.57/1791.09 c rootredcost : 0.03 0 0 0
1790.57/1791.09 c pseudoobj : 0.46 339 0 0
1790.57/1791.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.57/1791.09 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.57/1791.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.57/1791.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.57/1791.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.57/1791.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.57/1791.09 c applied globally : - - - 0 0.0 - - -
1790.57/1791.09 c applied locally : - - - 0 0.0 - - -
1790.57/1791.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.57/1791.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.57/1791.09 c redcost : 0.00 0 0 0 0 0
1790.57/1791.09 c impliedbounds : 0.00 0 0 0 0 0
1790.57/1791.09 c intobj : 0.00 0 0 0 0 0
1790.57/1791.09 c cgmip : 0.00 0 0 0 0 0
1790.57/1791.09 c gomory : 0.00 0 0 0 0 0
1790.57/1791.09 c strongcg : 0.00 0 0 0 0 0
1790.57/1791.09 c cmir : 0.00 0 0 0 0 0
1790.57/1791.09 c flowcover : 0.00 0 0 0 0 0
1790.57/1791.09 c clique : 0.00 0 0 0 0 0
1790.57/1791.09 c zerohalf : 0.00 0 0 0 0 0
1790.57/1791.09 c mcf : 0.00 0 0 0 0 0
1790.57/1791.09 c rapidlearning : 0.00 0 0 0 0 0
1790.57/1791.09 c Pricers : Time Calls Vars
1790.57/1791.09 c problem variables: 0.00 0 0
1790.57/1791.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.57/1791.09 c relpscost : 0.00 0 0 0 0 0 0
1790.57/1791.09 c pscost : 0.00 0 0 0 0 0 0
1790.57/1791.09 c inference : 0.80 107 0 0 0 0 214
1790.57/1791.09 c mostinf : 0.00 0 0 0 0 0 0
1790.57/1791.09 c leastinf : 0.00 0 0 0 0 0 0
1790.57/1791.09 c fullstrong : 0.00 0 0 0 0 0 0
1790.57/1791.09 c allfullstrong : 0.00 0 0 0 0 0 0
1790.57/1791.09 c random : 0.00 0 0 0 0 0 0
1790.57/1791.09 c Primal Heuristics : Time Calls Found
1790.57/1791.09 c LP solutions : 0.00 - 0
1790.57/1791.09 c pseudo solutions : 0.00 - 0
1790.57/1791.09 c oneopt : 0.00 0 0
1790.57/1791.09 c trivial : 0.08 2 0
1790.57/1791.09 c simplerounding : 0.00 0 0
1790.57/1791.09 c zirounding : 0.00 0 0
1790.57/1791.09 c rounding : 0.00 0 0
1790.57/1791.09 c shifting : 0.00 0 0
1790.57/1791.09 c intshifting : 0.00 0 0
1790.57/1791.09 c twoopt : 0.00 0 0
1790.57/1791.09 c fixandinfer : 0.00 0 0
1790.57/1791.09 c feaspump : 0.00 0 0
1790.57/1791.09 c coefdiving : 0.00 0 0
1790.57/1791.09 c pscostdiving : 0.00 0 0
1790.57/1791.09 c fracdiving : 0.00 0 0
1790.57/1791.09 c veclendiving : 0.00 0 0
1790.57/1791.09 c intdiving : 0.00 0 0
1790.57/1791.09 c actconsdiving : 0.00 0 0
1790.57/1791.09 c objpscostdiving : 0.00 0 0
1790.57/1791.09 c rootsoldiving : 0.00 0 0
1790.57/1791.09 c linesearchdiving : 0.00 0 0
1790.57/1791.09 c guideddiving : 0.00 0 0
1790.57/1791.09 c octane : 0.00 0 0
1790.57/1791.09 c rens : 0.00 0 0
1790.57/1791.09 c rins : 0.00 0 0
1790.57/1791.09 c localbranching : 0.00 0 0
1790.57/1791.09 c mutation : 0.00 0 0
1790.57/1791.09 c crossover : 0.00 0 0
1790.57/1791.09 c dins : 0.00 0 0
1790.57/1791.09 c undercover : 0.00 0 0
1790.57/1791.09 c nlp : 0.00 0 0
1790.57/1791.09 c trysol : 0.00 0 0
1790.57/1791.09 c LP : Time Calls Iterations Iter/call Iter/sec
1790.57/1791.09 c primal LP : 0.00 0 0 0.00 -
1790.57/1791.09 c dual LP : 1499.19 175 702459 4014.05 468.56
1790.57/1791.09 c lex dual LP : 0.00 0 0 0.00 -
1790.57/1791.09 c barrier LP : 0.00 0 0 0.00 -
1790.57/1791.09 c diving/probing LP: 0.00 0 0 0.00 -
1790.57/1791.09 c strong branching : 0.00 0 0 0.00 -
1790.57/1791.09 c (at root node) : - 0 0 0.00 -
1790.57/1791.09 c conflict analysis: 0.00 0 0 0.00 -
1790.57/1791.09 c B&B Tree :
1790.57/1791.09 c number of runs : 1
1790.57/1791.09 c nodes : 107
1790.57/1791.09 c nodes (total) : 107
1790.57/1791.09 c nodes left : 108
1790.57/1791.09 c max depth : 17
1790.57/1791.09 c max depth (total): 17
1790.57/1791.09 c backtracks : 13 (12.1%)
1790.57/1791.09 c delayed cutoffs : 0
1790.57/1791.09 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.57/1791.09 c avg switch length: 2.01
1790.57/1791.09 c switching time : 0.09
1790.57/1791.09 c Solution :
1790.57/1791.09 c Solutions found : 0 (0 improvements)
1790.57/1791.09 c Primal Bound : -
1790.57/1791.09 c Dual Bound : +5.54738935800000e+11
1790.57/1791.09 c Gap : infinite
1790.57/1791.09 c Root Dual Bound : +5.54702041750000e+11
1790.57/1791.09 c Root Iterations : 13700
1791.18/1791.65 c Time complete: 1791.23.
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-2704813-1278580160/watcher-2704813-1278580160 -o /tmp/evaluation-result-2704813-1278580160/solver-2704813-1278580160 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704813-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: 0.92 0.98 0.95 3/107 2733 /proc/meminfo: memFree=1561808/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=7904 CPUtime=0 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 1092 0 0 0 0 0 0 0 20 0 1 0 26227826 8093696 1004 1992294400 4194304 8395647 140734535088160 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2733/statm: 1976 1013 365 1026 0 946 0 [startup+0.0875011 s] /proc/loadavg: 0.92 0.98 0.95 3/107 2733 /proc/meminfo: memFree=1561808/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=19264 CPUtime=0.08 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 4142 0 0 0 7 1 0 0 20 0 1 0 26227826 19726336 4048 1992294400 4194304 8395647 140734535088160 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2733/statm: 4816 4048 394 1026 0 3786 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19264 [startup+0.101503 s] /proc/loadavg: 0.92 0.98 0.95 3/107 2733 /proc/meminfo: memFree=1561808/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=19984 CPUtime=0.09 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 4324 0 0 0 8 1 0 0 20 0 1 0 26227826 20463616 4230 1992294400 4194304 8395647 140734535088160 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2733/statm: 4996 4230 394 1026 0 3966 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19984 [startup+0.301519 s] /proc/loadavg: 0.92 0.98 0.95 3/107 2733 /proc/meminfo: memFree=1561808/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=26744 CPUtime=0.29 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 6008 0 0 0 28 1 0 0 20 0 1 0 26227826 27385856 5914 1992294400 4194304 8395647 140734535088160 18446744073709551615 7361954 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2733/statm: 6686 5914 394 1026 0 5656 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26744 [startup+0.70155 s] /proc/loadavg: 0.92 0.98 0.95 3/107 2733 /proc/meminfo: memFree=1561808/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=38592 CPUtime=0.69 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 8926 0 0 0 67 2 0 0 21 0 1 0 26227826 39518208 8832 1992294400 4194304 8395647 140734535088160 18446744073709551615 6014148 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2733/statm: 9648 8832 394 1026 0 8618 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38592 [startup+1.50061 s] /proc/loadavg: 0.92 0.98 0.95 2/108 2734 /proc/meminfo: memFree=1521996/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=58536 CPUtime=1.49 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 13909 0 0 0 145 4 0 0 23 0 1 0 26227826 59940864 13815 1992294400 4194304 8395647 140734535088160 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2733/statm: 14634 13815 394 1026 0 13604 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58536 [startup+3.10074 s] /proc/loadavg: 0.93 0.98 0.95 2/108 2734 /proc/meminfo: memFree=1415232/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=180604 CPUtime=3.09 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 43559 0 0 0 296 13 0 0 25 0 1 0 26227826 184938496 43111 1992294400 4194304 8395647 140734535088160 18446744073709551615 4327586 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 45151 43111 476 1026 0 44121 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180604 [startup+6.301 s] /proc/loadavg: 0.93 0.98 0.95 2/108 2734 /proc/meminfo: memFree=1366996/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=203984 CPUtime=6.29 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 52877 0 0 0 613 16 0 0 25 0 1 0 26227826 208879616 48974 1992294400 4194304 8395647 140734535088160 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 50996 48974 525 1026 0 49966 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 203984 [startup+12.7005 s] /proc/loadavg: 0.94 0.98 0.95 2/108 2734 /proc/meminfo: memFree=1366872/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=203984 CPUtime=12.68 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 52891 0 0 0 1252 16 0 0 25 0 1 0 26227826 208879616 48988 1992294400 4194304 8395647 140734535088160 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 50996 48988 525 1026 0 49966 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 203984 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.95 2/108 2734 /proc/meminfo: memFree=1363400/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=207508 CPUtime=25.49 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 53796 0 0 0 2532 17 0 0 25 0 1 0 26227826 212488192 49893 1992294400 4194304 8395647 140734535088160 18446744073709551615 5608304 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 51877 49893 525 1026 0 50847 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 207508 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.95 2/108 2735 /proc/meminfo: memFree=1359928/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=210968 CPUtime=51.08 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 54669 0 0 0 5091 17 0 0 25 0 1 0 26227826 216031232 50766 1992294400 4194304 8395647 140734535088160 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 52742 50766 531 1026 0 51712 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 210968 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.95 2/108 2736 /proc/meminfo: memFree=1357572/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=213328 CPUtime=102.27 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 55270 0 0 0 10210 17 0 0 25 0 1 0 26227826 218447872 51367 1992294400 4194304 8395647 140734535088160 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 53332 51367 531 1026 0 52302 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 213328 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2738 /proc/meminfo: memFree=1352612/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=218164 CPUtime=162.26 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 56489 0 0 0 16208 18 0 0 25 0 1 0 26227826 223399936 52586 1992294400 4194304 8395647 140734535088160 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 54541 52586 531 1026 0 53511 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 218164 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2740 /proc/meminfo: memFree=1350132/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=220448 CPUtime=222.24 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 57113 0 0 0 22206 18 0 0 25 0 1 0 26227826 225738752 53210 1992294400 4194304 8395647 140734535088160 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 55112 53210 531 1026 0 54082 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 220448 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2742 /proc/meminfo: memFree=1237044/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=349816 CPUtime=282.23 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 88416 0 0 0 28194 29 0 0 25 0 1 0 26227826 358211584 82112 1992294400 4194304 8395647 140734535088160 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 87454 82112 850 1026 0 86424 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 349816 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2743 /proc/meminfo: memFree=1226876/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=353124 CPUtime=342.22 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 105399 0 0 0 34168 54 0 0 25 0 1 0 26227826 361598976 84171 1992294400 4194304 8395647 140734535088160 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88281 84171 735 1026 0 87251 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 353124 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2744 /proc/meminfo: memFree=1248948/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=332772 CPUtime=402.2 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 120155 0 0 0 40142 78 0 0 25 0 1 0 26227826 340758528 79327 1992294400 4194304 8395647 140734535088160 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 83193 79327 821 1026 0 82163 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 332772 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2746 /proc/meminfo: memFree=1224148/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=353512 CPUtime=462.18 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 142628 0 0 0 46113 105 0 0 25 0 1 0 26227826 361996288 84880 1992294400 4194304 8395647 140734535088160 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88378 84880 761 1026 0 87348 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 353512 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2748 /proc/meminfo: memFree=1224024/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=356916 CPUtime=522.17 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 142666 0 0 0 52097 120 0 0 25 0 1 0 26227826 365481984 84916 1992294400 4194304 8395647 140734535088160 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 89229 84916 759 1026 0 88199 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 356916 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2752 /proc/meminfo: memFree=1248204/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=330580 CPUtime=582.15 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 159738 0 0 0 58072 143 0 0 25 0 1 0 26227826 338513920 78804 1992294400 4194304 8395647 140734535088160 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 82645 78804 741 1026 0 81615 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 330580 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2754 /proc/meminfo: memFree=1236920/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=348160 CPUtime=642.15 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 185882 0 0 0 64045 170 0 0 25 0 1 0 26227826 356515840 81577 1992294400 4194304 8395647 140734535088160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 87040 81577 799 1026 0 86010 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 348160 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1225264/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=353860 CPUtime=1062.05 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 331411 0 0 0 105866 339 0 0 25 0 1 0 26227826 362352640 84392 1992294400 4194304 8395647 140734535088160 18446744073709551615 6697714 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88465 84392 689 1026 0 87435 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 353860 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2767 /proc/meminfo: memFree=1226752/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=352660 CPUtime=1122.03 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 352223 0 0 0 111838 365 0 0 25 0 1 0 26227826 361123840 84043 1992294400 4194304 8395647 140734535088160 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88165 84043 696 1026 0 87135 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 352660 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2769 /proc/meminfo: memFree=1226256/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=353124 CPUtime=1182.02 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 360133 0 0 0 117817 385 0 0 25 0 1 0 26227826 361598976 84180 1992294400 4194304 8395647 140734535088160 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88281 84180 726 1026 0 87251 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 353124 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2770 /proc/meminfo: memFree=1226504/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=352588 CPUtime=1242 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 375334 0 0 0 123793 407 0 0 25 0 1 0 26227826 361050112 84075 1992294400 4194304 8395647 140734535088160 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88147 84075 697 1026 0 87117 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 352588 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2771 /proc/meminfo: memFree=1226628/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=354732 CPUtime=1302 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 390426 0 0 0 129770 430 0 0 25 0 1 0 26227826 363245568 84108 1992294400 4194304 8395647 140734535088160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88683 84108 818 1026 0 87653 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 354732 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2773 /proc/meminfo: memFree=1236548/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=346436 CPUtime=1361.98 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 421332 0 0 0 135739 459 0 0 25 0 1 0 26227826 354750464 81949 1992294400 4194304 8395647 140734535088160 18446744073709551615 6721188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 86609 81949 796 1026 0 85579 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 346436 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2775 /proc/meminfo: memFree=1222040/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=355344 CPUtime=1421.97 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 439747 0 0 0 141715 482 0 0 25 0 1 0 26227826 363872256 85366 1992294400 4194304 8395647 140734535088160 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88836 85366 924 1026 0 87806 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 355344 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2777 /proc/meminfo: memFree=1232332/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=349952 CPUtime=1481.94 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 475751 0 0 0 147680 514 0 0 25 0 1 0 26227826 358350848 83653 1992294400 4194304 8395647 140734535088160 18446744073709551615 6636331 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 87488 83653 850 1026 0 86458 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 349952 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2778 /proc/meminfo: memFree=1242624/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=343436 CPUtime=1541.93 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 501031 0 0 0 153653 540 0 0 25 0 1 0 26227826 351678464 80089 1992294400 4194304 8395647 140734535088160 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 85859 80089 777 1026 0 84829 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 343436 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2779 /proc/meminfo: memFree=1227744/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=352252 CPUtime=1601.92 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 525609 0 0 0 159623 569 0 0 25 0 1 0 26227826 360706048 83732 1992294400 4194304 8395647 140734535088160 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88063 83732 708 1026 0 87033 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 352252 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2781 /proc/meminfo: memFree=1238532/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=344984 CPUtime=1661.9 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 539637 0 0 0 165599 591 0 0 25 0 1 0 26227826 353263616 81224 1992294400 4194304 8395647 140734535088160 18446744073709551615 6752909 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 86246 81224 804 1026 0 85216 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 344984 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.95 2/108 2783 /proc/meminfo: memFree=1225264/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=353624 CPUtime=1721.89 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 550819 0 0 0 171575 614 0 0 25 0 1 0 26227826 362110976 84315 1992294400 4194304 8395647 140734535088160 18446744073709551615 6723314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88406 84315 690 1026 0 87376 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 353624 [startup+1782.3 s] /proc/loadavg: 1.03 1.00 0.96 2/108 2785 /proc/meminfo: memFree=1225760/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=352684 CPUtime=1781.88 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 564895 0 0 0 177551 637 0 0 25 0 1 0 26227826 361148416 84173 1992294400 4194304 8395647 140734535088160 18446744073709551615 6697703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88171 84173 704 1026 0 87141 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 352684 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.11 1.02 0.96 2/108 2785 /proc/meminfo: memFree=1223280/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=355592 CPUtime=1785.08 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 565556 0 0 0 177870 638 0 0 25 0 1 0 26227826 364126208 84820 1992294400 4194304 8395647 140734535088160 18446744073709551615 6709493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 88898 84820 690 1026 0 87868 0 Current children cumulated CPU time (s) 1785.08 Current children cumulated vsize (KiB) 355592 [startup+1788.7 s] /proc/loadavg: 1.10 1.02 0.96 2/108 2785 /proc/meminfo: memFree=1222412/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=326700 CPUtime=1788.28 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 565751 0 0 0 178189 639 0 0 25 0 1 0 26227826 334540800 78244 1992294400 4194304 8395647 140734535088160 18446744073709551615 6587239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 81675 78244 690 1026 0 80645 0 Current children cumulated CPU time (s) 1788.28 Current children cumulated vsize (KiB) 326700 [startup+1790.3 s] /proc/loadavg: 1.10 1.02 0.96 2/108 2785 /proc/meminfo: memFree=1247336/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=332476 CPUtime=1789.88 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 566779 0 0 0 178348 640 0 0 25 0 1 0 26227826 340455424 79256 1992294400 4194304 8395647 140734535088160 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2733/statm: 83119 79256 779 1026 0 82089 0 Current children cumulated CPU time (s) 1789.88 Current children cumulated vsize (KiB) 332476 [startup+1791.1 s] /proc/loadavg: 1.10 1.02 0.96 2/108 2785 /proc/meminfo: memFree=1244484/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=341500 CPUtime=1790.67 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 567845 0 0 0 178427 640 0 0 25 0 1 0 26227826 349696000 80115 1992294400 4194304 8395647 140734535088160 18446744073709551615 4228079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2733/statm: 85375 80115 766 1026 0 84345 0 Current children cumulated CPU time (s) 1790.67 Current children cumulated vsize (KiB) 341500 [startup+1791.5 s] /proc/loadavg: 1.10 1.02 0.96 2/108 2785 /proc/meminfo: memFree=1244484/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=341500 CPUtime=1791.07 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 567849 0 0 0 178467 640 0 0 25 0 1 0 26227826 349696000 80119 1992294400 4194304 8395647 140734535088160 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2733/statm: 85375 80119 770 1026 0 84345 0 Current children cumulated CPU time (s) 1791.07 Current children cumulated vsize (KiB) 341500 [startup+1791.6 s] /proc/loadavg: 1.10 1.02 0.96 2/108 2785 /proc/meminfo: memFree=1244484/2059040 swapFree=4139464/4192956 [pid=2733] ppid=2731 vsize=317576 CPUtime=1791.18 /proc/2733/stat : 2733 (pbscip.linux.x8) R 2731 2733 2173 0 -1 4202496 567849 0 0 0 178477 641 0 0 25 0 1 0 26227826 325197824 74140 1992294400 4194304 8395647 140734535088160 18446744073709551615 6345214 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2733/statm: 79394 74140 770 1026 0 78364 0 Current children cumulated CPU time (s) 1791.18 Current children cumulated vsize (KiB) 317576 Child status: 0 Real time (s): 1791.65 CPU time (s): 1791.24 CPU user time (s): 1784.8 CPU system time (s): 6.44302 CPU usage (%): 99.9769 Max. virtual memory (cumulated for all children) (KiB): 362380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.8 system time used= 6.44302 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 567857 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= 4 involuntary context switches= 21327 runsolver used 2.98655 second user time and 8.5727 second system time The end
Begin job on node026 at 2010-07-08 11:09:21 IDJOB=2704813 IDBENCH=72460 IDSOLVER=1213 FILE ID=node026/2704813-1278580160 PBS_JOBID= 11240096 Free space on /tmp= 62496 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-ark.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-2704813-1278580160/watcher-2704813-1278580160 -o /tmp/evaluation-result-2704813-1278580160/solver-2704813-1278580160 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704813-1278580160.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 485de3b8c7097a1d4a4f931d70c385bb RANDOM SEED=1740225459 node026.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.244 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.48 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.244 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: 1562336 kB Buffers: 84620 kB Cached: 302684 kB SwapCached: 10464 kB Active: 141288 kB Inactive: 263340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1562336 kB SwapTotal: 4192956 kB SwapFree: 4139464 kB Dirty: 14332 kB Writeback: 0 kB AnonPages: 11968 kB Mapped: 11956 kB Slab: 70124 kB PageTables: 4212 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178972 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= 62484 MiB End job on node026 at 2010-07-08 11:39:12