| 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.2 | 1791.68 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/ 10orplus/normalized-konq-plugins.cudf.trendy.opb |
| MD5SUM | bfea42ef2499745a23486e87221f4ebe |
| 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 | 3733327366826 |
| Best CPU time to get the best result obtained on this benchmark | 1800.54 |
| 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-2704806-1278580150.opb>
1.59/1.67 c original problem has 21101 variables (21101 bin, 0 int, 0 impl, 0 cont) and 100032 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.10/2.19 c presolving:
2.59/2.68 c (round 1) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130362 impls, 1557 clqs
2.69/2.77 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.82 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.91 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/2.95 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.89/2.99 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.59/3.69 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.79/3.87 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.01 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.09/13.17 c (round 10) 5511 del vars, 13387 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 333336 impls, 1557 clqs
13.19/13.23 c (round 11) 5511 del vars, 14565 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 333336 impls, 1557 clqs
20.90/20.94 c (round 12) 5562 del vars, 14568 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397354 impls, 1556 clqs
20.99/21.00 c (round 13) 5564 del vars, 14643 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397359 impls, 1556 clqs
21.09/21.12 c (round 14) 5565 del vars, 14653 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397359 impls, 1556 clqs
21.19/21.25 c (round 15) 5565 del vars, 14739 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 397359 impls, 1556 clqs
26.98/27.09 c (25.4s) probing: 1000/15640 (6.4%) - 7 fixings, 116 aggregations, 50415 implications, 0 bound changes
33.28/33.30 c (round 16) 5615 del vars, 14739 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 430729 impls, 1556 clqs
33.38/33.42 c (round 17) 5615 del vars, 14788 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 430729 impls, 1556 clqs
33.48/33.55 c (round 18) 5615 del vars, 14841 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 430729 impls, 1556 clqs
38.98/39.08 c (round 19) 5665 del vars, 14841 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 439881 impls, 1555 clqs
39.08/39.19 c (round 20) 5665 del vars, 14891 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 439881 impls, 1555 clqs
39.28/39.32 c (round 21) 5665 del vars, 14942 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 439881 impls, 1555 clqs
43.58/43.64 c (round 22) 5715 del vars, 14942 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 452177 impls, 1555 clqs
43.68/43.75 c (round 23) 5715 del vars, 15000 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 452177 impls, 1555 clqs
43.78/43.87 c (round 24) 5715 del vars, 15044 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 452177 impls, 1555 clqs
46.68/46.76 c (45.1s) probing: 2000/15640 (12.8%) - 11 fixings, 249 aggregations, 70920 implications, 0 bound changes
54.57/54.63 c (round 25) 5765 del vars, 15044 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 487759 impls, 1555 clqs
54.67/54.74 c (round 26) 5765 del vars, 15094 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 487759 impls, 1555 clqs
54.77/54.87 c (round 27) 5765 del vars, 15146 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 487759 impls, 1555 clqs
61.87/61.93 c (round 28) 5815 del vars, 15146 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 499321 impls, 1555 clqs
61.97/62.05 c (round 29) 5815 del vars, 15198 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 499321 impls, 1555 clqs
62.07/62.17 c (round 30) 5815 del vars, 15247 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 499321 impls, 1555 clqs
64.57/64.68 c (63.0s) probing: 3000/15640 (19.2%) - 12 fixings, 356 aggregations, 86538 implications, 0 bound changes
68.97/69.03 c (round 31) 5866 del vars, 15247 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 510297 impls, 1554 clqs
69.07/69.14 c (round 32) 5867 del vars, 15301 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 510299 impls, 1554 clqs
76.07/76.11 c (round 33) 5917 del vars, 15302 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 516761 impls, 1554 clqs
76.17/76.22 c (round 34) 5917 del vars, 15351 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 516761 impls, 1554 clqs
76.27/76.35 c (round 35) 5917 del vars, 15458 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 516761 impls, 1554 clqs
81.57/81.65 c (80.0s) probing: 4000/15640 (25.6%) - 14 fixings, 475 aggregations, 94418 implications, 0 bound changes
82.47/82.52 c (round 36) 5967 del vars, 15458 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 523429 impls, 1553 clqs
82.47/82.59 c (round 37) 5967 del vars, 15521 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 523429 impls, 1553 clqs
82.67/82.71 c (round 38) 5967 del vars, 15567 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 523429 impls, 1553 clqs
89.46/89.60 c (round 39) 6017 del vars, 15567 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 531341 impls, 1552 clqs
89.66/89.71 c (round 40) 6017 del vars, 15616 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 531341 impls, 1552 clqs
89.76/89.83 c (round 41) 6017 del vars, 15662 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 531341 impls, 1552 clqs
96.56/96.64 c (round 42) 6067 del vars, 15662 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 539923 impls, 1551 clqs
96.67/96.75 c (round 43) 6067 del vars, 15714 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 539923 impls, 1551 clqs
96.77/96.87 c (round 44) 6067 del vars, 15762 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 539923 impls, 1551 clqs
98.46/98.57 c (96.9s) probing: 5000/15640 (32.0%) - 15 fixings, 595 aggregations, 104910 implications, 0 bound changes
102.96/103.10 c (round 45) 6117 del vars, 15762 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 547915 impls, 1551 clqs
103.16/103.20 c (round 46) 6117 del vars, 15814 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 547915 impls, 1551 clqs
103.27/103.33 c (round 47) 6117 del vars, 15863 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 547915 impls, 1551 clqs
109.26/109.36 c (round 48) 6167 del vars, 15863 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 553297 impls, 1550 clqs
109.36/109.42 c (round 49) 6168 del vars, 15914 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 553371 impls, 1550 clqs
109.46/109.56 c (round 50) 6168 del vars, 15966 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 553371 impls, 1550 clqs
114.56/114.67 c (113.0s) probing: 6000/15640 (38.4%) - 17 fixings, 717 aggregations, 111062 implications, 0 bound changes
117.46/117.52 c (round 51) 6218 del vars, 15966 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564951 impls, 1549 clqs
117.56/117.67 c (round 52) 6218 del vars, 16059 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564951 impls, 1549 clqs
117.66/117.80 c (round 53) 6218 del vars, 16109 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564951 impls, 1549 clqs
125.85/125.94 c (round 54) 6268 del vars, 16109 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 571243 impls, 1549 clqs
125.95/126.05 c (round 55) 6268 del vars, 16157 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 571243 impls, 1549 clqs
126.05/126.17 c (round 56) 6268 del vars, 16213 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 571243 impls, 1549 clqs
130.86/130.94 c (129.3s) probing: 7000/15640 (44.8%) - 18 fixings, 818 aggregations, 118471 implications, 0 bound changes
132.75/132.88 c (round 57) 6318 del vars, 16213 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 574989 impls, 1549 clqs
132.85/132.99 c (round 58) 6318 del vars, 16267 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 574989 impls, 1549 clqs
133.06/133.12 c (round 59) 6318 del vars, 16315 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 574989 impls, 1549 clqs
138.95/139.04 c (round 60) 6368 del vars, 16315 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 577861 impls, 1549 clqs
139.05/139.16 c (round 61) 6368 del vars, 16367 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 577861 impls, 1549 clqs
139.15/139.29 c (round 62) 6368 del vars, 16417 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 577861 impls, 1549 clqs
144.06/144.12 c (round 63) 6418 del vars, 16419 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 580349 impls, 1549 clqs
144.15/144.23 c (round 64) 6418 del vars, 16470 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 580349 impls, 1549 clqs
144.25/144.36 c (round 65) 6418 del vars, 16519 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 580349 impls, 1549 clqs
146.85/146.99 c (145.3s) probing: 8000/15640 (51.2%) - 19 fixings, 955 aggregations, 126103 implications, 0 bound changes
149.85/149.92 c (round 66) 6468 del vars, 16519 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 591995 impls, 1549 clqs
149.95/150.03 c (round 67) 6468 del vars, 16568 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 591995 impls, 1549 clqs
150.05/150.17 c (round 68) 6468 del vars, 16621 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 591995 impls, 1549 clqs
155.94/156.05 c (round 69) 6518 del vars, 16624 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 596333 impls, 1549 clqs
156.05/156.17 c (round 70) 6518 del vars, 16676 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 596333 impls, 1549 clqs
156.25/156.30 c (round 71) 6518 del vars, 16727 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 596333 impls, 1549 clqs
162.15/162.24 c (round 72) 6568 del vars, 16727 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 602485 impls, 1549 clqs
162.25/162.35 c (round 73) 6568 del vars, 16780 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 602485 impls, 1549 clqs
162.35/162.48 c (round 74) 6568 del vars, 16828 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 602485 impls, 1549 clqs
162.95/163.07 c (161.4s) probing: 9000/15640 (57.5%) - 21 fixings, 1081 aggregations, 132830 implications, 0 bound changes
169.75/169.89 c (round 75) 6618 del vars, 16828 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 609875 impls, 1549 clqs
169.95/170.01 c (round 76) 6618 del vars, 16877 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 609875 impls, 1549 clqs
170.05/170.13 c (round 77) 6618 del vars, 16931 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 609875 impls, 1549 clqs
176.45/176.54 c (round 78) 6668 del vars, 16931 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 622657 impls, 1549 clqs
176.55/176.65 c (round 79) 6668 del vars, 16980 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 622657 impls, 1549 clqs
176.65/176.78 c (round 80) 6668 del vars, 17034 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 622657 impls, 1549 clqs
178.85/178.92 c (177.3s) probing: 10000/15640 (63.9%) - 24 fixings, 1189 aggregations, 144242 implications, 0 bound changes
181.24/181.38 c (round 81) 6718 del vars, 17034 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 626741 impls, 1549 clqs
181.35/181.50 c (round 82) 6718 del vars, 17086 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 626741 impls, 1549 clqs
181.54/181.63 c (round 83) 6718 del vars, 17134 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 626741 impls, 1549 clqs
184.94/185.01 c (round 84) 6768 del vars, 17134 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 627613 impls, 1549 clqs
185.04/185.13 c (round 85) 6768 del vars, 17181 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 627613 impls, 1549 clqs
185.14/185.26 c (round 86) 6768 del vars, 17233 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 627613 impls, 1549 clqs
191.25/191.35 c (round 87) 6818 del vars, 17233 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 643771 impls, 1549 clqs
191.35/191.47 c (round 88) 6818 del vars, 17287 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 643771 impls, 1549 clqs
191.54/191.61 c (round 89) 6818 del vars, 17333 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 643771 impls, 1549 clqs
195.24/195.39 c (193.7s) probing: 11000/15640 (70.3%) - 28 fixings, 1360 aggregations, 165305 implications, 0 bound changes
196.34/196.42 c (round 90) 6868 del vars, 17333 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 666949 impls, 1549 clqs
196.44/196.53 c (round 91) 6868 del vars, 17391 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 666949 impls, 1549 clqs
196.54/196.67 c (round 92) 6868 del vars, 17436 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 666949 impls, 1549 clqs
200.84/200.96 c (round 93) 6918 del vars, 17436 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 671499 impls, 1549 clqs
200.94/201.08 c (round 94) 6918 del vars, 17485 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 671499 impls, 1549 clqs
201.15/201.21 c (round 95) 6918 del vars, 17534 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 671499 impls, 1549 clqs
205.04/205.13 c (round 96) 6968 del vars, 17536 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 672755 impls, 1549 clqs
205.14/205.25 c (round 97) 6968 del vars, 17589 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 672755 impls, 1549 clqs
205.24/205.39 c (round 98) 6968 del vars, 17638 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 672755 impls, 1549 clqs
209.24/209.38 c (round 99) 7018 del vars, 17638 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 677081 impls, 1549 clqs
209.44/209.50 c (round 100) 7018 del vars, 17688 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 677081 impls, 1549 clqs
209.54/209.63 c (round 101) 7018 del vars, 17737 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 677081 impls, 1549 clqs
211.53/211.60 c (209.9s) probing: 12000/15640 (76.7%) - 30 fixings, 1540 aggregations, 175385 implications, 0 bound changes
215.03/215.14 c (round 102) 7068 del vars, 17738 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 688481 impls, 1549 clqs
215.13/215.26 c (round 103) 7068 del vars, 17788 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 688481 impls, 1549 clqs
215.23/215.39 c (round 104) 7068 del vars, 17837 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 688481 impls, 1549 clqs
221.04/221.17 c (round 105) 7118 del vars, 17837 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 707813 impls, 1549 clqs
221.13/221.29 c (round 106) 7118 del vars, 17913 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 707813 impls, 1549 clqs
221.33/221.43 c (round 107) 7118 del vars, 17949 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 707813 impls, 1549 clqs
227.54/227.67 c (226.0s) probing: 13000/15640 (83.1%) - 49 fixings, 1634 aggregations, 200740 implications, 0 bound changes
230.23/230.35 c (round 108) 7168 del vars, 17949 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 742001 impls, 1549 clqs
230.33/230.47 c (round 109) 7170 del vars, 18019 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 742005 impls, 1549 clqs
243.82/243.99 c (242.3s) probing: 14000/15640 (89.5%) - 60 fixings, 1678 aggregations, 234500 implications, 0 bound changes
247.52/247.65 c (round 110) 7220 del vars, 18021 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 813101 impls, 1549 clqs
247.62/247.77 c (round 111) 7225 del vars, 18104 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 813111 impls, 1549 clqs
260.83/260.91 c (259.2s) probing: 15000/15640 (95.9%) - 86 fixings, 1692 aggregations, 269202 implications, 0 bound changes
271.72/271.85 c (270.2s) probing: 15604/15640 (99.8%) - 93 fixings, 1692 aggregations, 298074 implications, 0 bound changes
271.72/271.85 c (270.2s) probing aborted: 100/100 successive totally useless probings
271.72/271.85 c (round 112) 7259 del vars, 18109 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 903701 impls, 1549 clqs
271.82/271.97 c (round 113) 7276 del vars, 18168 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 903745 impls, 1549 clqs
271.92/272.09 c (round 114) 7276 del vars, 18186 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 903745 impls, 1549 clqs
272.12/272.23 c (round 115) 7276 del vars, 18250 del conss, 47 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 903745 impls, 1549 clqs
272.32/272.48 c (270.8s) probing: 15614/15640 (99.8%) - 93 fixings, 1692 aggregations, 298074 implications, 0 bound changes
272.32/272.48 c (270.8s) probing aborted: 100/100 successive totally useless probings
272.32/272.48 c presolving (116 rounds):
272.32/272.48 c 7276 deleted vars, 18250 deleted constraints, 47 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
272.32/272.48 c 903745 implications, 1549 cliques
272.32/272.48 c presolved problem has 13825 variables (13825 bin, 0 int, 0 impl, 0 cont) and 81782 constraints
272.32/272.48 c 22340 constraints of type <setppc>
272.32/272.48 c 59442 constraints of type <logicor>
272.32/272.48 c transformed objective value is always integral (scale: 1)
272.32/272.48 c Presolving Time: 270.44
272.32/272.48 c - non default parameters ----------------------------------------------------------------------
272.32/272.48 c # SCIP version 1.2.1.3
272.32/272.48 c
272.32/272.48 c # frequency for displaying node information lines
272.32/272.48 c # [type: int, range: [-1,2147483647], default: 100]
272.32/272.48 c display/freq = 10000
272.32/272.48 c
272.32/272.48 c # maximal time in seconds to run
272.32/272.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
272.32/272.48 c limits/time = 1788.34
272.32/272.48 c
272.32/272.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
272.32/272.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
272.32/272.48 c limits/memory = 1620
272.32/272.48 c
272.32/272.48 c # default clock type (1: CPU user seconds, 2: wall clock time)
272.32/272.48 c # [type: int, range: [1,2], default: 1]
272.32/272.48 c timing/clocktype = 2
272.32/272.48 c
272.32/272.48 c # should presolving try to simplify inequalities
272.32/272.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
272.32/272.48 c constraints/linear/simplifyinequalities = TRUE
272.32/272.48 c
272.32/272.48 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
272.32/272.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
272.32/272.48 c constraints/indicator/addCouplingCons = TRUE
272.32/272.48 c
272.32/272.48 c # should presolving try to simplify knapsacks
272.32/272.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
272.32/272.48 c constraints/knapsack/simplifyinequalities = TRUE
272.32/272.48 c
272.32/272.48 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
272.32/272.48 c # [type: int, range: [-1,2147483647], default: -1]
272.32/272.48 c separating/rapidlearning/freq = 0
272.32/272.48 c
272.32/272.48 c -----------------------------------------------------------------------------------------------
272.32/272.48 c start solving
272.42/272.50 c
302.11/302.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.11/302.28 c 301s| 1 | 2 | 13894 | - | 176M| 0 | - | 13k| 81k| 13k| 75k| 0 | 0 | 0 | 5.547020e+11 | -- | Inf
1790.61/1791.12 c
1790.61/1791.13 c SCIP Status : solving was interrupted [time limit reached]
1790.61/1791.13 c Solving Time (sec) : 1789.46
1790.61/1791.13 c Solving Nodes : 114
1790.61/1791.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.61/1791.13 c Dual Bound : +5.54702041764000e+11
1790.61/1791.13 c Gap : infinite
1790.61/1791.13 s UNKNOWN
1790.61/1791.13 c SCIP Status : solving was interrupted [time limit reached]
1790.61/1791.13 c Solving Time : 1789.46
1790.61/1791.13 c Original Problem :
1790.61/1791.13 c Problem name : HOME/instance-2704806-1278580150.opb
1790.61/1791.13 c Variables : 21101 (21101 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.61/1791.13 c Constraints : 100032 initial, 100032 maximal
1790.61/1791.13 c Presolved Problem :
1790.61/1791.13 c Problem name : t_HOME/instance-2704806-1278580150.opb
1790.61/1791.13 c Variables : 13825 (13825 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.61/1791.13 c Constraints : 81782 initial, 81784 maximal
1790.61/1791.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.61/1791.13 c trivial : 0.33 1 0 0 0 0 0 0 0
1790.61/1791.13 c dualfix : 0.38 4144 0 0 0 0 0 0 0
1790.61/1791.13 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.61/1791.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.61/1791.13 c implics : 0.70 0 55 0 0 0 0 0 0
1790.61/1791.13 c probing : 255.30 93 1692 0 0 0 0 0 0
1790.61/1791.13 c setppc : 3.06 0 0 0 0 0 4771 0 0
1790.61/1791.13 c linear : 1.12 46 1245 0 46 0 13385 0 9
1790.61/1791.13 c logicor : 9.11 0 0 0 1 0 94 0 0
1790.61/1791.13 c root node : - 0 - - 0 - - - -
1790.61/1791.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.61/1791.13 c integral : 0 0 0 0 0 0 0 0 0 0
1790.61/1791.13 c setppc : 22340 0 47055 0 113 30 4150 0 0 0
1790.61/1791.13 c logicor : 59442+ 0 39518 0 113 64 5730 0 0 0
1790.61/1791.13 c countsols : 0 0 0 0 113 0 0 0 0 0
1790.61/1791.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.61/1791.13 c integral : 0.00 0.00 0.00 0.00 0.00
1790.61/1791.13 c setppc : 189.11 0.00 187.18 0.00 1.93
1790.61/1791.13 c logicor : 11.88 0.00 5.49 0.00 6.39
1790.61/1791.13 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.61/1791.13 c Propagators : Time Calls Cutoffs DomReds
1790.61/1791.13 c vbounds : 0.04 2 0 0
1790.61/1791.13 c rootredcost : 0.03 0 0 0
1790.61/1791.13 c pseudoobj : 0.50 363 0 0
1790.61/1791.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.61/1791.13 c propagation : 0.00 1 1 2 4.5 0 0.0 -
1790.61/1791.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.61/1791.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.61/1791.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.61/1791.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.61/1791.13 c applied globally : - - - 2 4.5 - - -
1790.61/1791.13 c applied locally : - - - 0 0.0 - - -
1790.61/1791.13 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.61/1791.13 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.61/1791.13 c redcost : 0.00 0 0 0 0 0
1790.61/1791.13 c impliedbounds : 0.00 0 0 0 0 0
1790.61/1791.13 c intobj : 0.00 0 0 0 0 0
1790.61/1791.13 c cgmip : 0.00 0 0 0 0 0
1790.61/1791.13 c gomory : 0.00 0 0 0 0 0
1790.61/1791.13 c strongcg : 0.00 0 0 0 0 0
1790.61/1791.13 c cmir : 0.00 0 0 0 0 0
1790.61/1791.13 c flowcover : 0.00 0 0 0 0 0
1790.61/1791.13 c clique : 0.00 0 0 0 0 0
1790.61/1791.13 c zerohalf : 0.00 0 0 0 0 0
1790.61/1791.13 c mcf : 0.00 0 0 0 0 0
1790.61/1791.13 c rapidlearning : 0.00 0 0 0 0 0
1790.61/1791.13 c Pricers : Time Calls Vars
1790.61/1791.13 c problem variables: 0.00 0 0
1790.61/1791.13 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.61/1791.13 c relpscost : 0.00 0 0 0 0 0 0
1790.61/1791.13 c pscost : 0.00 0 0 0 0 0 0
1790.61/1791.13 c inference : 0.84 113 0 0 0 0 226
1790.61/1791.13 c mostinf : 0.00 0 0 0 0 0 0
1790.61/1791.13 c leastinf : 0.00 0 0 0 0 0 0
1790.61/1791.13 c fullstrong : 0.00 0 0 0 0 0 0
1790.61/1791.13 c allfullstrong : 0.00 0 0 0 0 0 0
1790.61/1791.13 c random : 0.00 0 0 0 0 0 0
1790.61/1791.13 c Primal Heuristics : Time Calls Found
1790.61/1791.13 c LP solutions : 0.00 - 0
1790.61/1791.13 c pseudo solutions : 0.00 - 0
1790.61/1791.13 c oneopt : 0.00 0 0
1790.61/1791.13 c intshifting : 0.00 0 0
1790.61/1791.13 c coefdiving : 0.00 0 0
1790.61/1791.13 c pscostdiving : 0.00 0 0
1790.61/1791.13 c fracdiving : 0.00 0 0
1790.61/1791.13 c veclendiving : 0.00 0 0
1790.61/1791.13 c objpscostdiving : 0.00 0 0
1790.61/1791.13 c rootsoldiving : 0.00 0 0
1790.61/1791.13 c linesearchdiving : 0.00 0 0
1790.61/1791.13 c guideddiving : 0.00 0 0
1790.61/1791.13 c crossover : 0.00 0 0
1790.61/1791.13 c trivial : 0.08 2 0
1790.61/1791.13 c simplerounding : 0.00 0 0
1790.61/1791.13 c zirounding : 0.00 0 0
1790.61/1791.13 c rounding : 0.00 0 0
1790.61/1791.13 c shifting : 0.00 0 0
1790.61/1791.13 c twoopt : 0.00 0 0
1790.61/1791.13 c fixandinfer : 0.00 0 0
1790.61/1791.13 c feaspump : 0.00 0 0
1790.61/1791.13 c intdiving : 0.00 0 0
1790.61/1791.13 c actconsdiving : 0.00 0 0
1790.61/1791.13 c octane : 0.00 0 0
1790.61/1791.13 c rens : 0.00 0 0
1790.61/1791.13 c rins : 0.00 0 0
1790.61/1791.13 c localbranching : 0.00 0 0
1790.61/1791.13 c mutation : 0.00 0 0
1790.61/1791.13 c dins : 0.00 0 0
1790.61/1791.13 c undercover : 0.00 0 0
1790.61/1791.13 c nlp : 0.00 0 0
1790.61/1791.13 c trysol : 0.00 0 0
1790.61/1791.13 c LP : Time Calls Iterations Iter/call Iter/sec
1790.61/1791.13 c primal LP : 0.00 0 0 0.00 -
1790.61/1791.13 c dual LP : 1501.17 185 740123 4000.66 493.03
1790.61/1791.13 c lex dual LP : 0.00 0 0 0.00 -
1790.61/1791.13 c barrier LP : 0.00 0 0 0.00 -
1790.61/1791.13 c diving/probing LP: 0.00 0 0 0.00 -
1790.61/1791.13 c strong branching : 0.00 0 0 0.00 -
1790.61/1791.13 c (at root node) : - 0 0 0.00 -
1790.61/1791.13 c conflict analysis: 0.00 0 0 0.00 -
1790.61/1791.13 c B&B Tree :
1790.61/1791.13 c number of runs : 1
1790.61/1791.13 c nodes : 114
1790.61/1791.13 c nodes (total) : 114
1790.61/1791.13 c nodes left : 113
1790.61/1791.13 c max depth : 19
1790.61/1791.13 c max depth (total): 19
1790.61/1791.13 c backtracks : 12 (10.5%)
1790.61/1791.13 c delayed cutoffs : 0
1790.61/1791.13 c repropagations : 8 (2 domain reductions, 0 cutoffs)
1790.61/1791.13 c avg switch length: 2.19
1790.61/1791.13 c switching time : 0.09
1790.61/1791.13 c Solution :
1790.61/1791.13 c Solutions found : 0 (0 improvements)
1790.61/1791.13 c Primal Bound : -
1790.61/1791.13 c Dual Bound : +5.54702041764000e+11
1790.61/1791.13 c Gap : infinite
1790.61/1791.13 c Root Dual Bound : +5.54702041750000e+11
1790.61/1791.13 c Root Iterations : 13894
1791.11/1791.68 c Time complete: 1791.19.
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-2704806-1278580150/watcher-2704806-1278580150 -o /tmp/evaluation-result-2704806-1278580150/solver-2704806-1278580150 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704806-1278580150.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 0.99 0.91 3/106 4927 /proc/meminfo: memFree=1533068/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=7904 CPUtime=0 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 1036 0 0 0 0 0 0 0 18 0 1 0 26228840 8093696 947 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4927/statm: 1976 956 365 1026 0 946 0 [startup+0.061992 s] /proc/loadavg: 1.00 0.99 0.91 3/106 4927 /proc/meminfo: memFree=1533068/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=17844 CPUtime=0.05 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 3763 0 0 0 4 1 0 0 20 0 1 0 26228840 18272256 3668 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382051 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4927/statm: 4461 3668 394 1026 0 3431 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 17844 [startup+0.101996 s] /proc/loadavg: 1.00 0.99 0.91 3/106 4927 /proc/meminfo: memFree=1533068/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=20136 CPUtime=0.09 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 4333 0 0 0 8 1 0 0 20 0 1 0 26228840 20619264 4238 1992294400 4194304 8395647 140737037991600 18446744073709551615 5758075 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4927/statm: 5034 4238 394 1026 0 4004 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20136 [startup+0.30202 s] /proc/loadavg: 1.00 0.99 0.91 3/106 4927 /proc/meminfo: memFree=1533068/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=26744 CPUtime=0.29 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 6009 0 0 0 28 1 0 0 20 0 1 0 26228840 27385856 5914 1992294400 4194304 8395647 140737037991600 18446744073709551615 7380278 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4927/statm: 6686 5914 394 1026 0 5656 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26744 [startup+0.701067 s] /proc/loadavg: 1.00 0.99 0.91 3/106 4927 /proc/meminfo: memFree=1533068/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=38592 CPUtime=0.69 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 8960 0 0 0 66 3 0 0 20 0 1 0 26228840 39518208 8865 1992294400 4194304 8395647 140737037991600 18446744073709551615 4245993 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4927/statm: 9648 8865 394 1026 0 8618 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38592 [startup+1.50116 s] /proc/loadavg: 1.00 0.99 0.91 3/107 4928 /proc/meminfo: memFree=1492876/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=59564 CPUtime=1.49 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 14172 0 0 0 144 5 0 0 23 0 1 0 26228840 60993536 14077 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4927/statm: 14891 14077 394 1026 0 13861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59564 [startup+3.10135 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4928 /proc/meminfo: memFree=1386608/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=180604 CPUtime=3.09 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 43560 0 0 0 295 14 0 0 25 0 1 0 26228840 184938496 43111 1992294400 4194304 8395647 140737037991600 18446744073709551615 4288158 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 45151 43111 476 1026 0 44121 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180604 [startup+6.30172 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4928 /proc/meminfo: memFree=1338132/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=203984 CPUtime=6.29 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 52878 0 0 0 613 16 0 0 25 0 1 0 26228840 208879616 48974 1992294400 4194304 8395647 140737037991600 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 50996 48974 525 1026 0 49966 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 203984 [startup+12.7015 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4929 /proc/meminfo: memFree=1338256/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=203984 CPUtime=12.68 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 52892 0 0 0 1252 16 0 0 25 0 1 0 26228840 208879616 48988 1992294400 4194304 8395647 140737037991600 18446744073709551615 4216436 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 50996 48988 525 1026 0 49966 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 203984 [startup+25.502 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4929 /proc/meminfo: memFree=1334784/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=207508 CPUtime=25.49 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 53797 0 0 0 2532 17 0 0 25 0 1 0 26228840 212488192 49893 1992294400 4194304 8395647 140737037991600 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 51877 49893 525 1026 0 50847 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 207508 [startup+51.1019 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4930 /proc/meminfo: memFree=1331808/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=210448 CPUtime=51.08 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 54540 0 0 0 5091 17 0 0 25 0 1 0 26228840 215498752 50636 1992294400 4194304 8395647 140737037991600 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 52612 50636 531 1026 0 51582 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 210448 [startup+102.309 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4931 /proc/meminfo: memFree=1330444/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=211772 CPUtime=102.27 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 54874 0 0 0 10210 17 0 0 25 0 1 0 26228840 216854528 50970 1992294400 4194304 8395647 140737037991600 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 52943 50970 531 1026 0 51913 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 211772 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4932 /proc/meminfo: memFree=1325732/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=216420 CPUtime=162.25 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 56044 0 0 0 16207 18 0 0 25 0 1 0 26228840 221614080 52140 1992294400 4194304 8395647 140737037991600 18446744073709551615 5079037 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 54105 52140 531 1026 0 53075 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 216420 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4934 /proc/meminfo: memFree=1322012/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=219924 CPUtime=222.23 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 56953 0 0 0 22205 18 0 0 25 0 1 0 26228840 225202176 53049 1992294400 4194304 8395647 140737037991600 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 54981 53049 531 1026 0 53951 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 219924 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4936 /proc/meminfo: memFree=1204336/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=349616 CPUtime=282.22 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 89234 0 0 0 28189 33 0 0 25 0 1 0 26228840 358006784 82629 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 87404 82629 703 1026 0 86374 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 349616 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4938 /proc/meminfo: memFree=1191440/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=358516 CPUtime=342.2 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 92612 0 0 0 34168 52 0 0 25 0 1 0 26228840 367120384 85746 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 89629 85746 665 1026 0 88599 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 358516 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4939 /proc/meminfo: memFree=1191192/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=358516 CPUtime=402.18 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 92697 0 0 0 40148 70 0 0 25 0 1 0 26228840 367120384 85822 1992294400 4194304 8395647 140737037991600 18446744073709551615 6496300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 89629 85822 697 1026 0 88599 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 358516 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4940 /proc/meminfo: memFree=1191192/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=358516 CPUtime=462.16 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 92698 0 0 0 46126 90 0 0 25 0 1 0 26228840 367120384 85822 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 89629 85822 696 1026 0 88599 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 358516 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 4942 /proc/meminfo: memFree=1191192/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=358516 CPUtime=522.15 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 92699 0 0 0 52104 111 0 0 25 0 1 0 26228840 367120384 85823 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 89629 85823 696 1026 0 88599 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 358516 [startup+582.301 s] /proc/loadavg: 1.07 1.00 0.92 2/107 4947 /proc/meminfo: memFree=1185364/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=582.13 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 93984 0 0 0 58082 131 0 0 25 0 1 0 26228840 373215232 87108 1992294400 4194304 8395647 140737037991600 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87108 715 1026 0 90087 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 364468 [startup+642.301 s] /proc/loadavg: 1.02 1.00 0.92 3/107 4949 /proc/meminfo: memFree=1185364/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=642.13 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 93985 0 0 0 64063 150 0 0 25 0 1 0 26228840 373215232 87109 1992294400 4194304 8395647 140737037991600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87109 715 1026 0 90087 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 364468 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1185116/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1062 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94054 0 0 0 105916 284 0 0 25 0 1 0 26228840 373215232 87158 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87158 695 1026 0 90087 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 364468 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4961 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1121.99 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94056 0 0 0 111899 300 0 0 25 0 1 0 26228840 373215232 87158 1992294400 4194304 8395647 140737037991600 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87158 693 1026 0 90087 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 364468 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4963 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1181.97 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94056 0 0 0 117875 322 0 0 25 0 1 0 26228840 373215232 87158 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87158 693 1026 0 90087 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 364468 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4965 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1241.96 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94058 0 0 0 123856 340 0 0 25 0 1 0 26228840 373215232 87160 1992294400 4194304 8395647 140737037991600 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87160 693 1026 0 90087 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 364468 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4966 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1301.95 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94058 0 0 0 129835 360 0 0 25 0 1 0 26228840 373215232 87160 1992294400 4194304 8395647 140737037991600 18446744073709551615 6496256 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87160 693 1026 0 90087 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 364468 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4968 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1361.93 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94058 0 0 0 135813 380 0 0 25 0 1 0 26228840 373215232 87160 1992294400 4194304 8395647 140737037991600 18446744073709551615 6585824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87160 693 1026 0 90087 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 364468 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4969 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1421.92 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94059 0 0 0 141791 401 0 0 25 0 1 0 26228840 373215232 87160 1992294400 4194304 8395647 140737037991600 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87160 692 1026 0 90087 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 364468 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4971 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1481.9 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94063 0 0 0 147767 423 0 0 25 0 1 0 26228840 373215232 87164 1992294400 4194304 8395647 140737037991600 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87164 696 1026 0 90087 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 364468 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4973 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1541.87 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94063 0 0 0 153749 438 0 0 25 0 1 0 26228840 373215232 87164 1992294400 4194304 8395647 140737037991600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87164 696 1026 0 90087 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 364468 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4974 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1601.87 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94063 0 0 0 159728 459 0 0 25 0 1 0 26228840 373215232 87164 1992294400 4194304 8395647 140737037991600 18446744073709551615 6636359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87164 696 1026 0 90087 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 364468 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4976 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1661.85 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94063 0 0 0 165712 473 0 0 25 0 1 0 26228840 373215232 87164 1992294400 4194304 8395647 140737037991600 18446744073709551615 6723046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87164 696 1026 0 90087 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 364468 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4977 /proc/meminfo: memFree=1184992/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1721.83 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94065 0 0 0 171692 491 0 0 25 0 1 0 26228840 373215232 87166 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87166 696 1026 0 90087 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 364468 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4979 /proc/meminfo: memFree=1184744/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1781.81 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94065 0 0 0 177671 510 0 0 25 0 1 0 26228840 373215232 87166 1992294400 4194304 8395647 140737037991600 18446744073709551615 6696670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87166 696 1026 0 90087 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 364468 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4979 /proc/meminfo: memFree=1184744/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1785.02 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94065 0 0 0 177990 512 0 0 25 0 1 0 26228840 373215232 87166 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87166 696 1026 0 90087 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 364468 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4979 /proc/meminfo: memFree=1184744/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1788.21 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94065 0 0 0 178308 513 0 0 25 0 1 0 26228840 373215232 87166 1992294400 4194304 8395647 140737037991600 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87166 696 1026 0 90087 0 Current children cumulated CPU time (s) 1788.21 Current children cumulated vsize (KiB) 364468 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4979 /proc/meminfo: memFree=1184744/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1789.81 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94065 0 0 0 178467 514 0 0 25 0 1 0 26228840 373215232 87166 1992294400 4194304 8395647 140737037991600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87166 696 1026 0 90087 0 Current children cumulated CPU time (s) 1789.81 Current children cumulated vsize (KiB) 364468 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4979 /proc/meminfo: memFree=1184744/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1790.61 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94066 0 0 0 178547 514 0 0 25 0 1 0 26228840 373215232 87167 1992294400 4194304 8395647 140737037991600 18446744073709551615 4749233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87167 697 1026 0 90087 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (KiB) 364468 [startup+1791.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4979 /proc/meminfo: memFree=1184744/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=364468 CPUtime=1791.01 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94073 0 0 0 178587 514 0 0 25 0 1 0 26228840 373215232 87174 1992294400 4194304 8395647 140737037991600 18446744073709551615 4713442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4927/statm: 91117 87174 704 1026 0 90087 0 Current children cumulated CPU time (s) 1791.01 Current children cumulated vsize (KiB) 364468 [startup+1791.6 s] /proc/loadavg: 1.00 1.00 0.92 2/107 4979 /proc/meminfo: memFree=1184744/2059040 swapFree=4139384/4192956 [pid=4927] ppid=4925 vsize=358300 CPUtime=1791.11 /proc/4927/stat : 4927 (pbscip.linux.x8) R 4925 4927 4427 0 -1 4202496 94073 0 0 0 178597 514 0 0 25 0 1 0 26228840 366899200 85633 1992294400 4194304 8395647 140737037991600 18446744073709551615 6345248 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4927/statm: 89575 85633 704 1026 0 88545 0 Current children cumulated CPU time (s) 1791.11 Current children cumulated vsize (KiB) 358300 Child status: 0 Real time (s): 1791.68 CPU time (s): 1791.2 CPU user time (s): 1786.03 CPU system time (s): 5.17621 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 364468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.03 system time used= 5.17621 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94080 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2900 runsolver used 2.95355 second user time and 8.46871 second system time The end
Begin job on node001 at 2010-07-08 11:09:10 IDJOB=2704806 IDBENCH=72414 IDSOLVER=1213 FILE ID=node001/2704806-1278580150 PBS_JOBID= 11240114 Free space on /tmp= 62500 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-konq-plugins.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-2704806-1278580150/watcher-2704806-1278580150 -o /tmp/evaluation-result-2704806-1278580150/solver-2704806-1278580150 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704806-1278580150.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bfea42ef2499745a23486e87221f4ebe RANDOM SEED=22736916 node001.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.215 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.215 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: 1533596 kB Buffers: 100992 kB Cached: 317960 kB SwapCached: 8392 kB Active: 149048 kB Inactive: 285008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1533596 kB SwapTotal: 4192956 kB SwapFree: 4139384 kB Dirty: 13940 kB Writeback: 0 kB AnonPages: 12080 kB Mapped: 12068 kB Slab: 69416 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179380 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= 62488 MiB End job on node001 at 2010-07-08 11:39:02