| 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.14 | 1791.66 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/ 9orless/normalized-kommander.cudf.trendy.opb |
| MD5SUM | f6b3082880102ca494d64c498db002b2 |
| 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 | 3415522020155 |
| Best CPU time to get the best result obtained on this benchmark | 1800.51 |
| 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-2704816-1278580195.opb>
1.70/1.72 c original problem has 21101 variables (21101 bin, 0 int, 0 impl, 0 cont) and 100032 constraints
1.70/1.72 c problem read
1.70/1.72 c presolving settings loaded
2.20/2.24 c presolving:
2.69/2.74 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.83 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.88 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.97 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.99/3.01 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.05 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.75 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.93 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.06 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.20/13.29 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.29/13.35 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.99/21.06 c (round 12) 5562 del vars, 14568 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397046 impls, 1556 clqs
21.09/21.12 c (round 13) 5564 del vars, 14643 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397051 impls, 1556 clqs
21.19/21.24 c (round 14) 5565 del vars, 14653 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397051 impls, 1556 clqs
21.29/21.37 c (round 15) 5565 del vars, 14739 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397051 impls, 1556 clqs
27.08/27.15 c (25.4s) probing: 1000/15640 (6.4%) - 7 fixings, 117 aggregations, 50486 implications, 0 bound changes
33.17/33.27 c (round 16) 5615 del vars, 14739 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 430281 impls, 1556 clqs
33.27/33.39 c (round 17) 5615 del vars, 14788 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 430281 impls, 1556 clqs
33.47/33.52 c (round 18) 5615 del vars, 14841 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 430281 impls, 1556 clqs
39.06/39.14 c (round 19) 5665 del vars, 14841 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 439533 impls, 1555 clqs
39.16/39.25 c (round 20) 5665 del vars, 14891 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 439533 impls, 1555 clqs
39.26/39.37 c (round 21) 5665 del vars, 14942 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 439533 impls, 1555 clqs
43.76/43.82 c (round 22) 5715 del vars, 14942 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 452801 impls, 1555 clqs
43.87/43.93 c (round 23) 5715 del vars, 15000 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 452801 impls, 1555 clqs
43.97/44.06 c (round 24) 5715 del vars, 15044 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 452801 impls, 1555 clqs
46.76/46.85 c (45.1s) probing: 2000/15640 (12.8%) - 11 fixings, 251 aggregations, 70815 implications, 0 bound changes
54.26/54.36 c (round 25) 5765 del vars, 15044 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 486403 impls, 1555 clqs
54.36/54.46 c (round 26) 5765 del vars, 15094 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 486403 impls, 1555 clqs
54.46/54.59 c (round 27) 5765 del vars, 15145 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 486403 impls, 1555 clqs
61.66/61.70 c (round 28) 5815 del vars, 15145 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 498467 impls, 1555 clqs
61.76/61.82 c (round 29) 5815 del vars, 15197 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 498467 impls, 1555 clqs
61.86/61.94 c (round 30) 5815 del vars, 15246 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 498467 impls, 1555 clqs
64.76/64.86 c (63.1s) probing: 3000/15640 (19.2%) - 11 fixings, 361 aggregations, 86563 implications, 0 bound changes
69.16/69.29 c (round 31) 5865 del vars, 15246 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 513823 impls, 1554 clqs
69.35/69.40 c (round 32) 5866 del vars, 15295 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 513825 impls, 1554 clqs
76.75/76.88 c (round 33) 5916 del vars, 15296 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 520691 impls, 1554 clqs
76.86/76.99 c (round 34) 5916 del vars, 15345 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 520691 impls, 1554 clqs
77.05/77.11 c (round 35) 5916 del vars, 15453 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 520691 impls, 1554 clqs
81.95/82.06 c (80.3s) probing: 4000/15640 (25.6%) - 13 fixings, 471 aggregations, 96722 implications, 0 bound changes
82.95/83.07 c (round 36) 5966 del vars, 15453 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 526861 impls, 1554 clqs
83.05/83.13 c (round 37) 5966 del vars, 15516 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 526861 impls, 1554 clqs
83.15/83.25 c (round 38) 5966 del vars, 15562 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 526861 impls, 1554 clqs
89.95/90.08 c (round 39) 6016 del vars, 15562 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 534751 impls, 1552 clqs
90.05/90.19 c (round 40) 6016 del vars, 15611 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 534751 impls, 1552 clqs
90.25/90.32 c (round 41) 6016 del vars, 15657 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 534751 impls, 1552 clqs
97.34/97.49 c (round 42) 6066 del vars, 15657 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 546131 impls, 1551 clqs
97.54/97.60 c (round 43) 6066 del vars, 15707 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 546131 impls, 1551 clqs
97.64/97.72 c (round 44) 6066 del vars, 15757 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 546131 impls, 1551 clqs
98.95/99.03 c (97.3s) probing: 5000/15640 (32.0%) - 13 fixings, 592 aggregations, 107397 implications, 0 bound changes
104.74/104.84 c (round 45) 6116 del vars, 15757 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 559069 impls, 1551 clqs
104.84/104.95 c (round 46) 6116 del vars, 15805 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 559069 impls, 1551 clqs
104.94/105.08 c (round 47) 6116 del vars, 15857 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 559069 impls, 1551 clqs
111.24/111.34 c (round 48) 6166 del vars, 15857 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564173 impls, 1551 clqs
111.34/111.45 c (round 49) 6166 del vars, 15905 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564173 impls, 1551 clqs
111.44/111.58 c (round 50) 6166 del vars, 15955 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564173 impls, 1551 clqs
111.64/111.75 c (round 51) 6166 del vars, 16000 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564173 impls, 1551 clqs
115.54/115.65 c (113.9s) probing: 6000/15640 (38.4%) - 13 fixings, 713 aggregations, 117854 implications, 0 bound changes
119.34/119.42 c (round 52) 6216 del vars, 16000 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 577039 impls, 1550 clqs
119.44/119.52 c (round 53) 6216 del vars, 16048 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 577039 impls, 1550 clqs
119.54/119.65 c (round 54) 6216 del vars, 16098 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 577039 impls, 1550 clqs
127.73/127.89 c (round 55) 6266 del vars, 16098 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 582245 impls, 1550 clqs
127.93/128.00 c (round 56) 6266 del vars, 16146 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 582245 impls, 1550 clqs
128.03/128.12 c (round 57) 6266 del vars, 16202 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 582245 impls, 1550 clqs
131.84/131.94 c (130.2s) probing: 7000/15640 (44.8%) - 14 fixings, 810 aggregations, 124048 implications, 0 bound changes
135.73/135.87 c (round 58) 6316 del vars, 16202 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 586001 impls, 1550 clqs
135.83/135.98 c (round 59) 6316 del vars, 16256 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 586001 impls, 1550 clqs
136.03/136.12 c (round 60) 6316 del vars, 16307 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 586001 impls, 1550 clqs
141.13/141.22 c (round 61) 6366 del vars, 16307 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 587439 impls, 1550 clqs
141.23/141.35 c (round 62) 6366 del vars, 16357 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 587439 impls, 1550 clqs
141.33/141.47 c (round 63) 6366 del vars, 16408 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 587439 impls, 1550 clqs
146.83/146.94 c (round 64) 6416 del vars, 16408 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 595079 impls, 1550 clqs
146.94/147.05 c (round 65) 6416 del vars, 16456 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 595079 impls, 1550 clqs
147.04/147.18 c (round 66) 6416 del vars, 16506 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 595079 impls, 1550 clqs
148.14/148.27 c (146.6s) probing: 8000/15640 (51.2%) - 14 fixings, 945 aggregations, 132156 implications, 0 bound changes
152.14/152.22 c (round 67) 6466 del vars, 16508 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 603007 impls, 1550 clqs
152.24/152.36 c (round 68) 6466 del vars, 16561 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 603007 impls, 1550 clqs
152.34/152.49 c (round 69) 6466 del vars, 16611 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 603007 impls, 1550 clqs
157.84/158.00 c (round 70) 6516 del vars, 16611 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 610807 impls, 1550 clqs
158.03/158.11 c (round 71) 6516 del vars, 16660 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 610807 impls, 1550 clqs
158.13/158.24 c (round 72) 6516 del vars, 16712 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 610807 impls, 1550 clqs
163.84/163.97 c (162.3s) probing: 9000/15640 (57.5%) - 15 fixings, 1080 aggregations, 138839 implications, 0 bound changes
164.23/164.39 c (round 73) 6566 del vars, 16712 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 613455 impls, 1550 clqs
164.43/164.50 c (round 74) 6566 del vars, 16765 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 613455 impls, 1550 clqs
164.53/164.63 c (round 75) 6566 del vars, 16813 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 613455 impls, 1550 clqs
170.73/170.83 c (round 76) 6616 del vars, 16813 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 624633 impls, 1550 clqs
170.83/170.94 c (round 77) 6616 del vars, 16858 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 624633 impls, 1550 clqs
170.93/171.07 c (round 78) 6616 del vars, 16914 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 624633 impls, 1550 clqs
179.24/179.31 c (round 79) 6666 del vars, 16914 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 641747 impls, 1550 clqs
179.33/179.42 c (round 80) 6666 del vars, 16968 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 641747 impls, 1550 clqs
179.43/179.55 c (round 81) 6666 del vars, 17017 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 641747 impls, 1550 clqs
180.33/180.41 c (178.7s) probing: 10000/15640 (63.9%) - 16 fixings, 1191 aggregations, 154685 implications, 0 bound changes
184.23/184.34 c (round 82) 6716 del vars, 17017 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 648397 impls, 1550 clqs
184.33/184.46 c (round 83) 6716 del vars, 17061 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 648397 impls, 1550 clqs
184.42/184.59 c (round 84) 6716 del vars, 17116 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 648397 impls, 1550 clqs
188.12/188.26 c (round 85) 6766 del vars, 17116 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 655909 impls, 1550 clqs
188.22/188.38 c (round 86) 6766 del vars, 17164 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 655909 impls, 1550 clqs
188.42/188.51 c (round 87) 6766 del vars, 17216 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 655909 impls, 1550 clqs
194.63/194.73 c (round 88) 6816 del vars, 17216 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 666155 impls, 1550 clqs
194.72/194.85 c (round 89) 6816 del vars, 17266 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 666155 impls, 1550 clqs
194.82/194.98 c (round 90) 6816 del vars, 17312 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 666155 impls, 1550 clqs
196.52/196.69 c (195.0s) probing: 11000/15640 (70.3%) - 17 fixings, 1354 aggregations, 170914 implications, 0 bound changes
198.72/198.87 c (round 91) 6866 del vars, 17312 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 677431 impls, 1550 clqs
198.82/198.98 c (round 92) 6866 del vars, 17374 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 677431 impls, 1550 clqs
199.03/199.11 c (round 93) 6866 del vars, 17418 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 677431 impls, 1550 clqs
203.33/203.45 c (round 94) 6916 del vars, 17418 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 687099 impls, 1550 clqs
203.52/203.60 c (round 95) 6916 del vars, 17469 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 687099 impls, 1550 clqs
203.62/203.73 c (round 96) 6916 del vars, 17518 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 687099 impls, 1550 clqs
208.62/208.77 c (round 97) 6966 del vars, 17518 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 689765 impls, 1550 clqs
208.72/208.88 c (round 98) 6966 del vars, 17571 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 689765 impls, 1550 clqs
208.92/209.02 c (round 99) 6966 del vars, 17619 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 689765 impls, 1550 clqs
212.62/212.73 c (211.0s) probing: 12000/15640 (76.7%) - 22 fixings, 1519 aggregations, 184722 implications, 0 bound changes
212.82/212.99 c (round 100) 7016 del vars, 17619 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 697485 impls, 1550 clqs
213.02/213.13 c (round 101) 7016 del vars, 17670 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 697485 impls, 1550 clqs
213.12/213.26 c (round 102) 7016 del vars, 17720 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 697485 impls, 1550 clqs
219.21/219.36 c (round 103) 7066 del vars, 17720 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 710773 impls, 1550 clqs
219.31/219.47 c (round 104) 7066 del vars, 17770 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 710773 impls, 1550 clqs
219.51/219.61 c (round 105) 7066 del vars, 17820 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 710773 impls, 1550 clqs
226.11/226.27 c (round 106) 7116 del vars, 17820 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 743621 impls, 1550 clqs
226.21/226.38 c (round 107) 7116 del vars, 17897 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 743621 impls, 1550 clqs
226.42/226.52 c (round 108) 7116 del vars, 17927 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 743621 impls, 1550 clqs
229.21/229.32 c (227.6s) probing: 13000/15640 (83.1%) - 36 fixings, 1625 aggregations, 213680 implications, 0 bound changes
240.11/240.21 c (round 109) 7166 del vars, 17927 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 792493 impls, 1550 clqs
240.21/240.33 c (round 110) 7168 del vars, 17988 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 792497 impls, 1550 clqs
245.70/245.86 c (244.1s) probing: 14000/15640 (89.5%) - 43 fixings, 1665 aggregations, 253394 implications, 0 bound changes
262.90/263.01 c (261.3s) probing: 15000/15640 (95.9%) - 65 fixings, 1679 aggregations, 299075 implications, 0 bound changes
272.30/272.48 c (round 111) 7218 del vars, 17990 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 956075 impls, 1550 clqs
272.49/272.60 c (round 112) 7238 del vars, 18078 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 956125 impls, 1550 clqs
272.60/272.72 c (round 113) 7238 del vars, 18099 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 956125 impls, 1550 clqs
272.70/272.85 c (round 114) 7238 del vars, 18159 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 956125 impls, 1550 clqs
274.69/274.87 c (273.2s) probing: 15626/15640 (99.9%) - 71 fixings, 1679 aggregations, 329183 implications, 0 bound changes
274.69/274.87 c (273.2s) probing aborted: 100/100 successive totally useless probings
274.69/274.88 c presolving (115 rounds):
274.69/274.88 c 7238 deleted vars, 18159 deleted constraints, 47 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
274.69/274.88 c 956911 implications, 1550 cliques
274.69/274.88 c presolved problem has 13863 variables (13863 bin, 0 int, 0 impl, 0 cont) and 81873 constraints
274.69/274.88 c 22430 constraints of type <setppc>
274.69/274.88 c 59443 constraints of type <logicor>
274.69/274.88 c transformed objective value is always integral (scale: 1)
274.69/274.88 c Presolving Time: 272.79
274.69/274.88 c - non default parameters ----------------------------------------------------------------------
274.69/274.88 c # SCIP version 1.2.1.3
274.69/274.88 c
274.69/274.88 c # frequency for displaying node information lines
274.69/274.88 c # [type: int, range: [-1,2147483647], default: 100]
274.69/274.88 c display/freq = 10000
274.69/274.88 c
274.69/274.88 c # maximal time in seconds to run
274.69/274.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
274.69/274.88 c limits/time = 1788.29
274.69/274.88 c
274.69/274.88 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
274.69/274.88 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
274.69/274.88 c limits/memory = 1620
274.69/274.88 c
274.69/274.88 c # default clock type (1: CPU user seconds, 2: wall clock time)
274.69/274.88 c # [type: int, range: [1,2], default: 1]
274.69/274.88 c timing/clocktype = 2
274.69/274.88 c
274.69/274.88 c # should presolving try to simplify inequalities
274.69/274.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
274.69/274.88 c constraints/linear/simplifyinequalities = TRUE
274.69/274.88 c
274.69/274.88 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
274.69/274.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
274.69/274.88 c constraints/indicator/addCouplingCons = TRUE
274.69/274.88 c
274.69/274.88 c # should presolving try to simplify knapsacks
274.69/274.88 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
274.69/274.88 c constraints/knapsack/simplifyinequalities = TRUE
274.69/274.88 c
274.69/274.88 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
274.69/274.88 c # [type: int, range: [-1,2147483647], default: -1]
274.69/274.88 c separating/rapidlearning/freq = 0
274.69/274.88 c
274.69/274.88 c -----------------------------------------------------------------------------------------------
274.69/274.88 c start solving
274.69/274.90 c
305.19/305.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.19/305.33 c 304s| 1 | 2 | 13929 | - | 177M| 0 | - | 13k| 81k| 13k| 75k| 0 | 0 | 0 | 5.547020e+11 | -- | Inf
1790.57/1791.10 c
1790.57/1791.10 c SCIP Status : solving was interrupted [time limit reached]
1790.57/1791.10 c Solving Time (sec) : 1789.38
1790.57/1791.10 c Solving Nodes : 108
1790.57/1791.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.57/1791.10 c Dual Bound : +5.54738935800000e+11
1790.57/1791.10 c Gap : infinite
1790.57/1791.10 s UNKNOWN
1790.57/1791.10 c SCIP Status : solving was interrupted [time limit reached]
1790.57/1791.10 c Solving Time : 1789.38
1790.57/1791.10 c Original Problem :
1790.57/1791.10 c Problem name : HOME/instance-2704816-1278580195.opb
1790.57/1791.10 c Variables : 21101 (21101 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.57/1791.10 c Constraints : 100032 initial, 100032 maximal
1790.57/1791.10 c Presolved Problem :
1790.57/1791.10 c Problem name : t_HOME/instance-2704816-1278580195.opb
1790.57/1791.10 c Variables : 13863 (13863 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.57/1791.10 c Constraints : 81873 initial, 81873 maximal
1790.57/1791.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.57/1791.10 c trivial : 0.33 1 0 0 0 0 0 0 0
1790.57/1791.10 c dualfix : 0.37 4144 0 0 0 0 0 0 0
1790.57/1791.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.57/1791.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.57/1791.10 c implics : 0.70 0 52 0 0 0 0 0 0
1790.57/1791.10 c probing : 257.73 71 1679 0 0 0 0 0 0
1790.57/1791.10 c setppc : 3.06 0 0 0 0 0 4681 0 0
1790.57/1791.10 c linear : 1.13 46 1245 0 46 0 13385 0 9
1790.57/1791.10 c logicor : 9.06 0 0 0 1 0 93 0 0
1790.57/1791.10 c root node : - 0 - - 0 - - - -
1790.57/1791.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.57/1791.10 c integral : 0 0 0 0 0 0 0 0 0 0
1790.57/1791.10 c setppc : 22430 0 47118 0 108 27 4488 0 0 0
1790.57/1791.10 c logicor : 59443 0 39616 0 108 44 6869 0 0 0
1790.57/1791.10 c countsols : 0 0 0 0 108 0 0 0 0 0
1790.57/1791.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.57/1791.10 c integral : 0.00 0.00 0.00 0.00 0.00
1790.57/1791.10 c setppc : 190.68 0.00 188.82 0.00 1.86
1790.57/1791.10 c logicor : 11.86 0.00 5.69 0.00 6.17
1790.57/1791.10 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.57/1791.10 c Propagators : Time Calls Cutoffs DomReds
1790.57/1791.10 c vbounds : 0.05 2 0 0
1790.57/1791.10 c rootredcost : 0.03 0 0 0
1790.57/1791.10 c pseudoobj : 0.46 343 0 0
1790.57/1791.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.57/1791.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.57/1791.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.57/1791.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.57/1791.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.57/1791.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.57/1791.10 c applied globally : - - - 0 0.0 - - -
1790.57/1791.10 c applied locally : - - - 0 0.0 - - -
1790.57/1791.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.57/1791.10 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.57/1791.10 c redcost : 0.00 0 0 0 0 0
1790.57/1791.10 c impliedbounds : 0.00 0 0 0 0 0
1790.57/1791.10 c intobj : 0.00 0 0 0 0 0
1790.57/1791.10 c cgmip : 0.00 0 0 0 0 0
1790.57/1791.10 c gomory : 0.00 0 0 0 0 0
1790.57/1791.10 c strongcg : 0.00 0 0 0 0 0
1790.57/1791.10 c cmir : 0.00 0 0 0 0 0
1790.57/1791.10 c flowcover : 0.00 0 0 0 0 0
1790.57/1791.10 c clique : 0.00 0 0 0 0 0
1790.57/1791.10 c zerohalf : 0.00 0 0 0 0 0
1790.57/1791.10 c mcf : 0.00 0 0 0 0 0
1790.57/1791.10 c rapidlearning : 0.00 0 0 0 0 0
1790.57/1791.10 c Pricers : Time Calls Vars
1790.57/1791.10 c problem variables: 0.00 0 0
1790.57/1791.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.57/1791.10 c relpscost : 0.00 0 0 0 0 0 0
1790.57/1791.10 c pscost : 0.00 0 0 0 0 0 0
1790.57/1791.10 c inference : 0.81 108 0 0 0 0 216
1790.57/1791.10 c mostinf : 0.00 0 0 0 0 0 0
1790.57/1791.10 c leastinf : 0.00 0 0 0 0 0 0
1790.57/1791.10 c fullstrong : 0.00 0 0 0 0 0 0
1790.57/1791.10 c allfullstrong : 0.00 0 0 0 0 0 0
1790.57/1791.10 c random : 0.00 0 0 0 0 0 0
1790.57/1791.10 c Primal Heuristics : Time Calls Found
1790.57/1791.10 c LP solutions : 0.00 - 0
1790.57/1791.10 c pseudo solutions : 0.00 - 0
1790.57/1791.10 c oneopt : 0.00 0 0
1790.57/1791.10 c trivial : 0.08 2 0
1790.57/1791.10 c simplerounding : 0.00 0 0
1790.57/1791.10 c zirounding : 0.00 0 0
1790.57/1791.10 c rounding : 0.00 0 0
1790.57/1791.10 c shifting : 0.00 0 0
1790.57/1791.10 c intshifting : 0.00 0 0
1790.57/1791.10 c twoopt : 0.00 0 0
1790.57/1791.10 c fixandinfer : 0.00 0 0
1790.57/1791.10 c feaspump : 0.00 0 0
1790.57/1791.10 c coefdiving : 0.00 0 0
1790.57/1791.10 c pscostdiving : 0.00 0 0
1790.57/1791.10 c fracdiving : 0.00 0 0
1790.57/1791.10 c veclendiving : 0.00 0 0
1790.57/1791.10 c intdiving : 0.00 0 0
1790.57/1791.10 c actconsdiving : 0.00 0 0
1790.57/1791.10 c objpscostdiving : 0.00 0 0
1790.57/1791.10 c rootsoldiving : 0.00 0 0
1790.57/1791.10 c linesearchdiving : 0.00 0 0
1790.57/1791.10 c guideddiving : 0.00 0 0
1790.57/1791.10 c octane : 0.00 0 0
1790.57/1791.10 c rens : 0.00 0 0
1790.57/1791.10 c rins : 0.00 0 0
1790.57/1791.10 c localbranching : 0.00 0 0
1790.57/1791.10 c mutation : 0.00 0 0
1790.57/1791.10 c crossover : 0.00 0 0
1790.57/1791.10 c dins : 0.00 0 0
1790.57/1791.10 c undercover : 0.00 0 0
1790.57/1791.10 c nlp : 0.00 0 0
1790.57/1791.10 c trysol : 0.00 0 0
1790.57/1791.10 c LP : Time Calls Iterations Iter/call Iter/sec
1790.57/1791.10 c primal LP : 0.00 0 0 0.00 -
1790.57/1791.10 c dual LP : 1499.28 176 714082 4057.28 476.28
1790.57/1791.10 c lex dual LP : 0.00 0 0 0.00 -
1790.57/1791.10 c barrier LP : 0.00 0 0 0.00 -
1790.57/1791.10 c diving/probing LP: 0.00 0 0 0.00 -
1790.57/1791.10 c strong branching : 0.00 0 0 0.00 -
1790.57/1791.10 c (at root node) : - 0 0 0.00 -
1790.57/1791.10 c conflict analysis: 0.00 0 0 0.00 -
1790.57/1791.10 c B&B Tree :
1790.57/1791.10 c number of runs : 1
1790.57/1791.10 c nodes : 108
1790.57/1791.10 c nodes (total) : 108
1790.57/1791.10 c nodes left : 109
1790.57/1791.10 c max depth : 17
1790.57/1791.10 c max depth (total): 17
1790.57/1791.10 c backtracks : 13 (12.0%)
1790.57/1791.10 c delayed cutoffs : 0
1790.57/1791.10 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.57/1791.10 c avg switch length: 2.00
1790.57/1791.10 c switching time : 0.09
1790.57/1791.10 c Solution :
1790.57/1791.10 c Solutions found : 0 (0 improvements)
1790.57/1791.10 c Primal Bound : -
1790.57/1791.10 c Dual Bound : +5.54738935800000e+11
1790.57/1791.10 c Gap : infinite
1790.57/1791.10 c Root Dual Bound : +5.54702041750000e+11
1790.57/1791.10 c Root Iterations : 13929
1791.07/1791.66 c Time complete: 1791.13.
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-2704816-1278580195/watcher-2704816-1278580195 -o /tmp/evaluation-result-2704816-1278580195/solver-2704816-1278580195 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704816-1278580195.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.92 3/106 3816 /proc/meminfo: memFree=1928808/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=7904 CPUtime=0 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 1170 0 0 0 0 0 0 0 20 0 1 0 26232490 8093696 1081 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3816/statm: 1976 1091 365 1026 0 946 0 [startup+0.0345321 s] /proc/loadavg: 1.00 1.00 0.92 3/106 3816 /proc/meminfo: memFree=1928808/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=14952 CPUtime=0.02 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 2903 0 0 0 2 0 0 0 20 0 1 0 26232490 15310848 2813 1992294400 4194304 8395647 140737083584480 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3816/statm: 3738 2825 387 1026 0 2708 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14952 [startup+0.101539 s] /proc/loadavg: 1.00 1.00 0.92 3/106 3816 /proc/meminfo: memFree=1928808/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=19980 CPUtime=0.09 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 4324 0 0 0 8 1 0 0 20 0 1 0 26232490 20459520 4229 1992294400 4194304 8395647 140737083584480 18446744073709551615 4246013 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3816/statm: 4995 4229 394 1026 0 3965 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19980 [startup+0.301564 s] /proc/loadavg: 1.00 1.00 0.92 3/106 3816 /proc/meminfo: memFree=1928808/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=26740 CPUtime=0.29 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 6008 0 0 0 28 1 0 0 20 0 1 0 26232490 27381760 5913 1992294400 4194304 8395647 140737083584480 18446744073709551615 7380278 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3816/statm: 6685 5913 394 1026 0 5655 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26740 [startup+0.701616 s] /proc/loadavg: 1.00 1.00 0.92 3/106 3816 /proc/meminfo: memFree=1928808/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=38528 CPUtime=0.69 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 8926 0 0 0 66 3 0 0 21 0 1 0 26232490 39452672 8831 1992294400 4194304 8395647 140737083584480 18446744073709551615 7324722 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3816/statm: 9632 8831 394 1026 0 8602 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38528 [startup+1.50172 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3817 /proc/meminfo: memFree=1888996/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=58532 CPUtime=1.49 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 13909 0 0 0 144 5 0 0 23 0 1 0 26232490 59936768 13814 1992294400 4194304 8395647 140737083584480 18446744073709551615 7370171 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3816/statm: 14633 13814 394 1026 0 13603 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58532 [startup+3.10093 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3817 /proc/meminfo: memFree=1782232/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=180600 CPUtime=3.09 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 42604 0 0 0 295 14 0 0 25 0 1 0 26232490 184934400 42155 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 45150 42165 476 1026 0 44120 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180600 [startup+6.30135 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3817 /proc/meminfo: memFree=1733996/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=203980 CPUtime=6.29 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 52877 0 0 0 611 18 0 0 25 0 1 0 26232490 208875520 48973 1992294400 4194304 8395647 140737083584480 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 50995 48973 525 1026 0 49965 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 203980 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3817 /proc/meminfo: memFree=1733996/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=203980 CPUtime=12.69 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 52891 0 0 0 1251 18 0 0 25 0 1 0 26232490 208875520 48987 1992294400 4194304 8395647 140737083584480 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 50995 48987 525 1026 0 49965 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 203980 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3819 /proc/meminfo: memFree=1730400/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=207504 CPUtime=25.49 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 53796 0 0 0 2531 18 0 0 25 0 1 0 26232490 212484096 49892 1992294400 4194304 8395647 140737083584480 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 51876 49892 525 1026 0 50846 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 207504 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3819 /proc/meminfo: memFree=1726928/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=210964 CPUtime=51.06 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 54669 0 0 0 5088 18 0 0 25 0 1 0 26232490 216027136 50765 1992294400 4194304 8395647 140737083584480 18446744073709551615 5608116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 52741 50765 531 1026 0 51711 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 210964 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3821 /proc/meminfo: memFree=1724448/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=213324 CPUtime=102.25 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 55270 0 0 0 10207 18 0 0 25 0 1 0 26232490 218443776 51366 1992294400 4194304 8395647 140737083584480 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 53331 51366 531 1026 0 52301 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 213324 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3821 /proc/meminfo: memFree=1719488/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=218160 CPUtime=162.23 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 56487 0 0 0 16204 19 0 0 25 0 1 0 26232490 223395840 52583 1992294400 4194304 8395647 140737083584480 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 54540 52583 531 1026 0 53510 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 218160 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3823 /proc/meminfo: memFree=1717008/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=220444 CPUtime=222.21 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 57119 0 0 0 22202 19 0 0 25 0 1 0 26232490 225734656 53215 1992294400 4194304 8395647 140737083584480 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 55111 53215 531 1026 0 54081 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 220444 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3825 /proc/meminfo: memFree=1602928/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=352444 CPUtime=282.2 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 89724 0 0 0 28188 32 0 0 25 0 1 0 26232490 360902656 83439 1992294400 4194304 8395647 140737083584480 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 88111 83439 1059 1026 0 87081 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 352444 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3827 /proc/meminfo: memFree=1601688/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=348308 CPUtime=342.18 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 123585 0 0 0 34156 62 0 0 25 0 1 0 26232490 356667392 82210 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 87077 82210 678 1026 0 86047 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 348308 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3829 /proc/meminfo: memFree=1612848/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=344440 CPUtime=402.16 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 153340 0 0 0 40124 92 0 0 25 0 1 0 26232490 352706560 80137 1992294400 4194304 8395647 140737083584480 18446744073709551615 6723586 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 86110 80137 906 1026 0 85080 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 344440 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 3829 /proc/meminfo: memFree=1602928/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=347400 CPUtime=462.15 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 190435 0 0 0 46092 123 0 0 25 0 1 0 26232490 355737600 81926 1992294400 4194304 8395647 140737083584480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 86850 81926 695 1026 0 85820 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 347400 [startup+522.301 s] /proc/loadavg: 1.05 1.01 0.93 2/107 3831 /proc/meminfo: memFree=1617436/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=329924 CPUtime=522.13 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 217791 0 0 0 52060 153 0 0 25 0 1 0 26232490 337842176 78702 1992294400 4194304 8395647 140737083584480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 82481 78702 791 1026 0 81451 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 329924 [startup+582.301 s] /proc/loadavg: 1.05 1.02 0.93 2/107 3836 /proc/meminfo: memFree=1560772/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=347064 CPUtime=582.11 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 250844 0 0 0 58029 182 0 0 25 0 1 0 26232490 355393536 81747 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 86766 81747 961 1026 0 85736 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 347064 [startup+642.302 s] /proc/loadavg: 1.02 1.02 0.93 2/107 3838 /proc/meminfo: memFree=1545892/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=353352 CPUtime=642.1 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 285365 0 0 0 63996 214 0 0 25 0 1 0 26232490 361832448 83913 1992294400 4194304 8395647 140737083584480 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 88338 83913 944 1026 0 87308 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 353352 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1554572/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=350264 CPUtime=1061.98 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 495057 0 0 0 105771 427 0 0 25 0 1 0 26232490 358670336 82133 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 87566 82133 720 1026 0 86536 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 350264 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 3850 /proc/meminfo: memFree=1553952/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=347592 CPUtime=1121.96 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 526461 0 0 0 111740 456 0 0 25 0 1 0 26232490 355934208 82003 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 86898 82003 916 1026 0 85868 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 347592 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 3852 /proc/meminfo: memFree=1544404/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=356084 CPUtime=1181.94 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 560477 0 0 0 117704 490 0 0 25 0 1 0 26232490 364630016 84430 1992294400 4194304 8395647 140737083584480 18446744073709551615 6752539 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 89021 84430 731 1026 0 87991 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 356084 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 3854 /proc/meminfo: memFree=1550480/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=350308 CPUtime=1241.93 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 588681 0 0 0 123676 517 0 0 25 0 1 0 26232490 358715392 82513 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 87577 82513 666 1026 0 86547 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 350308 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 3856 /proc/meminfo: memFree=1561020/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=344588 CPUtime=1301.92 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 622833 0 0 0 129638 554 0 0 25 0 1 0 26232490 352858112 80120 1992294400 4194304 8395647 140737083584480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 86147 80120 931 1026 0 85117 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 344588 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 3856 /proc/meminfo: memFree=1539444/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=355304 CPUtime=1361.89 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 652176 0 0 0 135605 584 0 0 25 0 1 0 26232490 363831296 85348 1992294400 4194304 8395647 140737083584480 18446744073709551615 6709500 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 88826 85348 681 1026 0 87796 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 355304 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/107 3858 /proc/meminfo: memFree=1547256/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=352276 CPUtime=1421.88 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 682202 0 0 0 141573 615 0 0 25 0 1 0 26232490 360730624 83978 1992294400 4194304 8395647 140737083584480 18446744073709551615 7386079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 88069 83978 706 1026 0 87039 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 352276 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 3860 /proc/meminfo: memFree=1553208/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=348300 CPUtime=1481.86 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 717709 0 0 0 147539 647 0 0 25 0 1 0 26232490 356659200 82066 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 87075 82066 723 1026 0 86045 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 348300 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 3862 /proc/meminfo: memFree=1537956/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=356444 CPUtime=1541.83 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 754666 0 0 0 153504 679 0 0 25 0 1 0 26232490 364998656 85623 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 89111 85623 674 1026 0 88081 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 356444 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 0.94 2/107 3864 /proc/meminfo: memFree=1544900/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=352924 CPUtime=1601.82 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 761063 0 0 0 159481 701 0 0 25 0 1 0 26232490 361394176 83843 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 88231 83843 658 1026 0 87201 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 352924 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 0.94 2/107 3864 /proc/meminfo: memFree=1555068/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=348560 CPUtime=1661.8 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 787018 0 0 0 165451 729 0 0 25 0 1 0 26232490 356925440 81833 1992294400 4194304 8395647 140737083584480 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 87140 81833 922 1026 0 86110 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 348560 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3866 /proc/meminfo: memFree=1546016/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=352908 CPUtime=1721.79 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 823103 0 0 0 171417 762 0 0 25 0 1 0 26232490 361377792 83603 1992294400 4194304 8395647 140737083584480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 88227 83603 672 1026 0 87197 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 352908 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3868 /proc/meminfo: memFree=1541056/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=355948 CPUtime=1781.77 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 841013 0 0 0 177388 789 0 0 25 0 1 0 26232490 364490752 84976 1992294400 4194304 8395647 140737083584480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 88987 84976 740 1026 0 87957 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 355948 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3868 /proc/meminfo: memFree=1536716/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=358180 CPUtime=1784.96 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 842042 0 0 0 177706 790 0 0 25 0 1 0 26232490 366776320 85905 1992294400 4194304 8395647 140737083584480 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 89545 85905 696 1026 0 88515 0 Current children cumulated CPU time (s) 1784.96 Current children cumulated vsize (KiB) 358180 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3868 /proc/meminfo: memFree=1566104/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=329472 CPUtime=1788.17 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 842632 0 0 0 178025 792 0 0 25 0 1 0 26232490 337379328 78632 1992294400 4194304 8395647 140737083584480 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 82368 78632 750 1026 0 81338 0 Current children cumulated CPU time (s) 1788.17 Current children cumulated vsize (KiB) 329472 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3868 /proc/meminfo: memFree=1562260/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=344068 CPUtime=1789.77 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 844383 0 0 0 178184 793 0 0 25 0 1 0 26232490 352325632 80121 1992294400 4194304 8395647 140737083584480 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 86017 80121 813 1026 0 84987 0 Current children cumulated CPU time (s) 1789.77 Current children cumulated vsize (KiB) 344068 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3868 /proc/meminfo: memFree=1559780/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=345652 CPUtime=1790.57 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 844948 0 0 0 178264 793 0 0 25 0 1 0 26232490 353947648 80684 1992294400 4194304 8395647 140737083584480 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3816/statm: 86413 80684 812 1026 0 85383 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (KiB) 345652 [startup+1791.5 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3868 /proc/meminfo: memFree=1559780/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=345652 CPUtime=1790.96 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 844955 0 0 0 178303 793 0 0 25 0 1 0 26232490 353947648 80691 1992294400 4194304 8395647 140737083584480 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3816/statm: 86413 80691 819 1026 0 85383 0 Current children cumulated CPU time (s) 1790.96 Current children cumulated vsize (KiB) 345652 [startup+1791.6 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3868 /proc/meminfo: memFree=1559780/2059040 swapFree=4136200/4192956 [pid=3816] ppid=3814 vsize=325840 CPUtime=1791.07 /proc/3816/stat : 3816 (pbscip.linux.x8) R 3814 3816 2906 0 -1 4202496 844955 0 0 0 178313 794 0 0 25 0 1 0 26232490 333660160 75740 1992294400 4194304 8395647 140737083584480 18446744073709551615 4969550 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3816/statm: 81460 75740 819 1026 0 80430 0 Current children cumulated CPU time (s) 1791.07 Current children cumulated vsize (KiB) 325840 Child status: 0 Real time (s): 1791.66 CPU time (s): 1791.14 CPU user time (s): 1783.17 CPU system time (s): 7.97279 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 367980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.17 system time used= 7.97279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 844963 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= 3 involuntary context switches= 19895 runsolver used 2.81457 second user time and 8.62469 second system time The end
Begin job on node013 at 2010-07-08 11:09:55 IDJOB=2704816 IDBENCH=72478 IDSOLVER=1213 FILE ID=node013/2704816-1278580195 PBS_JOBID= 11240103 Free space on /tmp= 62548 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-kommander.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-2704816-1278580195/watcher-2704816-1278580195 -o /tmp/evaluation-result-2704816-1278580195/solver-2704816-1278580195 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704816-1278580195.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f6b3082880102ca494d64c498db002b2 RANDOM SEED=1948092604 node013.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.218 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.218 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1929336 kB Buffers: 1788 kB Cached: 39460 kB SwapCached: 9884 kB Active: 40364 kB Inactive: 14344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1929336 kB SwapTotal: 4192956 kB SwapFree: 4136200 kB Dirty: 14048 kB Writeback: 0 kB AnonPages: 12140 kB Mapped: 8524 kB Slab: 53088 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182120 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= 62540 MiB End job on node013 at 2010-07-08 11:39:47