| 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.46 | 1791.95 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/ 10orplus/normalized-libpoe-perl.cudf.trendy.opb |
| MD5SUM | e1c0f6518e04975c82d938344ab8e78f |
| 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 | 3813413085116 |
| Best CPU time to get the best result obtained on this benchmark | 1800.52 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 21108 |
| Total number of constraints | 100050 |
| Number of constraints which are clauses | 98485 |
| Number of constraints which are cardinality constraints (but not clauses) | 1565 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 2962 |
| Number of terms in the objective function | 8590 |
| Biggest coefficient in the objective function | 79340706073 |
| Number of bits for the biggest coefficient in the objective function | 37 |
| Sum of the numbers in the objective function | 234927793755070 |
| Number of bits of the sum of numbers in the objective function | 48 |
| Biggest number in a constraint | 79340706073 |
| Number of bits of the biggest number in a constraint | 37 |
| Biggest sum of numbers in a constraint | 234927793755070 |
| Number of bits of the biggest sum of numbers | 48 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2704807-1278580133.opb>
1.69/1.72 c original problem has 21108 variables (21108 bin, 0 int, 0 impl, 0 cont) and 100050 constraints
1.69/1.72 c problem read
1.69/1.72 c presolving settings loaded
2.20/2.24 c presolving:
2.69/2.73 c (round 1) 2376 del vars, 4178 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130388 impls, 1557 clqs
2.79/2.81 c (round 2) 2423 del vars, 5024 del conss, 48 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161796 impls, 1557 clqs
2.79/2.86 c (round 3) 2501 del vars, 5158 del conss, 50 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161820 impls, 1557 clqs
2.89/2.96 c (round 4) 5426 del vars, 11024 del conss, 50 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161820 impls, 1557 clqs
2.99/3.00 c (round 5) 5448 del vars, 11078 del conss, 50 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161820 impls, 1557 clqs
2.99/3.04 c (round 6) 5459 del vars, 11094 del conss, 50 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161820 impls, 1557 clqs
3.69/3.74 c (round 7) 5466 del vars, 13405 del conss, 50 chg bounds, 1 chg sides, 10 chg coeffs, 86609 upgd conss, 161820 impls, 1557 clqs
3.89/3.91 c (round 8) 5469 del vars, 13408 del conss, 50 chg bounds, 1 chg sides, 10 chg coeffs, 86609 upgd conss, 161820 impls, 1557 clqs
3.99/4.05 c (round 9) 5469 del vars, 13409 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 161820 impls, 1557 clqs
5.89/5.90 c (round 10) 5539 del vars, 13410 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 208774 impls, 1537 clqs
5.89/5.97 c (round 11) 5553 del vars, 13920 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 209432 impls, 1537 clqs
5.99/6.03 c (round 12) 5554 del vars, 13962 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 209432 impls, 1537 clqs
15.19/15.29 c (round 13) 5604 del vars, 13969 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 356036 impls, 1537 clqs
15.30/15.40 c (round 14) 5604 del vars, 14019 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 356036 impls, 1537 clqs
15.49/15.52 c (round 15) 5604 del vars, 14065 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 356036 impls, 1537 clqs
27.39/27.43 c (round 16) 5654 del vars, 14065 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 452096 impls, 1535 clqs
27.39/27.49 c (round 17) 5654 del vars, 14124 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 452100 impls, 1535 clqs
27.58/27.63 c (round 18) 5654 del vars, 14177 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 452100 impls, 1535 clqs
28.28/28.38 c (26.7s) probing: 1000/15638 (6.4%) - 61 fixings, 108 aggregations, 79832 implications, 0 bound changes
37.18/37.22 c (round 19) 5704 del vars, 14179 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 467166 impls, 1534 clqs
37.29/37.33 c (round 20) 5704 del vars, 14227 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 467166 impls, 1534 clqs
37.39/37.45 c (round 21) 5704 del vars, 14279 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 467166 impls, 1534 clqs
42.79/42.86 c (round 22) 5754 del vars, 14279 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 480180 impls, 1534 clqs
42.89/42.97 c (round 23) 5754 del vars, 14329 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 480180 impls, 1534 clqs
43.08/43.10 c (round 24) 5754 del vars, 14381 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 480180 impls, 1534 clqs
48.88/48.94 c (47.2s) probing: 2000/15638 (12.8%) - 64 fixings, 244 aggregations, 98063 implications, 0 bound changes
51.18/51.26 c (round 25) 5804 del vars, 14381 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 510787 impls, 1532 clqs
51.28/51.33 c (round 26) 5805 del vars, 14440 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 510799 impls, 1532 clqs
51.38/51.46 c (round 27) 5805 del vars, 14484 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 510799 impls, 1532 clqs
58.28/58.39 c (round 28) 5855 del vars, 14484 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 524617 impls, 1532 clqs
58.47/58.50 c (round 29) 5855 del vars, 14533 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 524617 impls, 1532 clqs
58.57/58.63 c (round 30) 5855 del vars, 14584 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 524617 impls, 1532 clqs
67.27/67.39 c (round 31) 5905 del vars, 14584 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 544827 impls, 1530 clqs
67.37/67.45 c (round 32) 5905 del vars, 14679 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 544831 impls, 1530 clqs
67.47/67.59 c (round 33) 5905 del vars, 14739 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 544831 impls, 1530 clqs
68.18/68.23 c (66.5s) probing: 3000/15638 (19.2%) - 67 fixings, 352 aggregations, 116047 implications, 0 bound changes
75.27/75.36 c (round 34) 5955 del vars, 14739 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 555279 impls, 1530 clqs
75.37/75.47 c (round 35) 5955 del vars, 14788 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 555279 impls, 1530 clqs
75.47/75.59 c (round 36) 5955 del vars, 14845 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 555279 impls, 1530 clqs
81.27/81.33 c (round 37) 6005 del vars, 14845 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 558495 impls, 1529 clqs
81.27/81.39 c (round 38) 6005 del vars, 14908 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 558495 impls, 1529 clqs
81.47/81.52 c (round 39) 6005 del vars, 14955 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 558495 impls, 1529 clqs
86.26/86.38 c (84.7s) probing: 4000/15638 (25.6%) - 68 fixings, 490 aggregations, 125142 implications, 0 bound changes
87.76/87.84 c (round 40) 6055 del vars, 14955 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 565889 impls, 1528 clqs
87.87/87.95 c (round 41) 6055 del vars, 15004 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 565889 impls, 1528 clqs
87.97/88.08 c (round 42) 6055 del vars, 15052 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 565889 impls, 1528 clqs
95.57/95.63 c (round 43) 6105 del vars, 15052 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 573809 impls, 1528 clqs
95.67/95.74 c (round 44) 6105 del vars, 15096 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 573809 impls, 1528 clqs
95.76/95.87 c (round 45) 6105 del vars, 15145 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 573809 impls, 1528 clqs
103.86/103.98 c (102.3s) probing: 5000/15638 (32.0%) - 69 fixings, 597 aggregations, 135712 implications, 0 bound changes
104.56/104.69 c (round 46) 6155 del vars, 15145 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 587365 impls, 1527 clqs
104.66/104.75 c (round 47) 6155 del vars, 15203 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 587371 impls, 1527 clqs
104.76/104.88 c (round 48) 6155 del vars, 15253 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 587371 impls, 1527 clqs
111.86/111.95 c (round 49) 6205 del vars, 15253 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 600803 impls, 1526 clqs
111.96/112.01 c (round 50) 6205 del vars, 15314 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 600803 impls, 1526 clqs
112.06/112.14 c (round 51) 6205 del vars, 15362 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 600803 impls, 1526 clqs
119.86/119.98 c (round 52) 6255 del vars, 15362 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 608017 impls, 1526 clqs
119.95/120.09 c (round 53) 6255 del vars, 15410 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 608017 impls, 1526 clqs
120.15/120.22 c (round 54) 6255 del vars, 15466 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 608017 impls, 1526 clqs
121.85/121.94 c (120.2s) probing: 6000/15638 (38.4%) - 71 fixings, 710 aggregations, 146714 implications, 0 bound changes
125.26/125.30 c (round 55) 6305 del vars, 15466 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 611933 impls, 1526 clqs
125.37/125.41 c (round 56) 6305 del vars, 15513 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 611933 impls, 1526 clqs
125.46/125.54 c (round 57) 6305 del vars, 15563 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 611933 impls, 1526 clqs
130.16/130.26 c (round 58) 6355 del vars, 15563 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 613979 impls, 1526 clqs
130.26/130.37 c (round 59) 6355 del vars, 15609 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 613979 impls, 1526 clqs
130.46/130.52 c (round 60) 6355 del vars, 15662 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 613979 impls, 1526 clqs
138.76/138.88 c (137.2s) probing: 7000/15638 (44.8%) - 71 fixings, 838 aggregations, 151277 implications, 0 bound changes
140.46/140.56 c (round 61) 6405 del vars, 15662 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 621061 impls, 1526 clqs
140.56/140.67 c (round 62) 6405 del vars, 15710 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 621061 impls, 1526 clqs
140.66/140.80 c (round 63) 6405 del vars, 15761 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 621061 impls, 1526 clqs
147.85/148.00 c (round 64) 6455 del vars, 15761 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 626557 impls, 1526 clqs
148.05/148.11 c (round 65) 6455 del vars, 15808 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 626557 impls, 1526 clqs
148.15/148.24 c (round 66) 6455 del vars, 15860 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 626557 impls, 1526 clqs
155.65/155.77 c (154.1s) probing: 8000/15638 (51.2%) - 72 fixings, 927 aggregations, 159400 implications, 0 bound changes
158.55/158.67 c (round 67) 6505 del vars, 15860 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 637691 impls, 1526 clqs
158.65/158.79 c (round 68) 6505 del vars, 15906 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 637691 impls, 1526 clqs
158.85/158.91 c (round 69) 6505 del vars, 15960 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 637691 impls, 1526 clqs
168.05/168.12 c (round 70) 6555 del vars, 15960 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 650539 impls, 1526 clqs
168.15/168.23 c (round 71) 6555 del vars, 16008 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 650539 impls, 1526 clqs
168.26/168.36 c (round 72) 6555 del vars, 16056 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 650539 impls, 1526 clqs
172.85/172.96 c (171.2s) probing: 9000/15638 (57.6%) - 72 fixings, 1038 aggregations, 170574 implications, 0 bound changes
175.35/175.49 c (round 73) 6605 del vars, 16056 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 658831 impls, 1526 clqs
175.55/175.61 c (round 74) 6605 del vars, 16106 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 658831 impls, 1526 clqs
175.65/175.74 c (round 75) 6605 del vars, 16156 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 658831 impls, 1526 clqs
183.14/183.28 c (round 76) 6655 del vars, 16156 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 675083 impls, 1526 clqs
183.24/183.39 c (round 77) 6655 del vars, 16205 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 675083 impls, 1526 clqs
183.44/183.52 c (round 78) 6655 del vars, 16255 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 675083 impls, 1526 clqs
188.44/188.55 c (round 79) 6705 del vars, 16255 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 677499 impls, 1526 clqs
188.54/188.67 c (round 80) 6705 del vars, 16304 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 677499 impls, 1526 clqs
188.74/188.80 c (round 81) 6705 del vars, 16356 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 677499 impls, 1526 clqs
189.94/190.05 c (188.3s) probing: 10000/15638 (63.9%) - 72 fixings, 1152 aggregations, 186573 implications, 0 bound changes
195.75/195.82 c (round 82) 6755 del vars, 16356 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 703729 impls, 1526 clqs
195.84/195.93 c (round 83) 6755 del vars, 16405 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 703729 impls, 1526 clqs
195.94/196.06 c (round 84) 6755 del vars, 16457 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 703729 impls, 1526 clqs
201.44/201.55 c (round 85) 6805 del vars, 16457 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 713261 impls, 1526 clqs
201.54/201.66 c (round 86) 6805 del vars, 16497 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 713261 impls, 1526 clqs
201.64/201.79 c (round 87) 6805 del vars, 16550 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 713261 impls, 1526 clqs
205.14/205.27 c (round 88) 6855 del vars, 16550 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 721769 impls, 1526 clqs
205.24/205.38 c (round 89) 6855 del vars, 16597 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 721769 impls, 1526 clqs
205.44/205.52 c (round 90) 6855 del vars, 16646 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 721769 impls, 1526 clqs
206.64/206.70 c (205.0s) probing: 11000/15638 (70.3%) - 72 fixings, 1305 aggregations, 206966 implications, 0 bound changes
211.53/211.68 c (round 91) 6905 del vars, 16646 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 745401 impls, 1526 clqs
211.73/211.80 c (round 92) 6905 del vars, 16698 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 745401 impls, 1526 clqs
211.83/211.93 c (round 93) 6905 del vars, 16747 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 745401 impls, 1526 clqs
216.43/216.53 c (round 94) 6955 del vars, 16747 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 758139 impls, 1526 clqs
216.54/216.65 c (round 95) 6955 del vars, 16796 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 758139 impls, 1526 clqs
216.64/216.78 c (round 96) 6955 del vars, 16846 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 758139 impls, 1526 clqs
221.63/221.74 c (round 97) 7005 del vars, 16846 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 768935 impls, 1526 clqs
221.73/221.85 c (round 98) 7005 del vars, 16895 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 768935 impls, 1526 clqs
221.83/221.98 c (round 99) 7005 del vars, 16943 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 768935 impls, 1526 clqs
223.63/223.71 c (222.0s) probing: 12000/15638 (76.7%) - 73 fixings, 1450 aggregations, 236603 implications, 0 bound changes
227.13/227.25 c (round 100) 7055 del vars, 16943 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 785725 impls, 1526 clqs
227.23/227.36 c (round 101) 7055 del vars, 16996 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 785725 impls, 1526 clqs
227.43/227.50 c (round 102) 7055 del vars, 17045 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 785725 impls, 1526 clqs
232.13/232.27 c (round 103) 7105 del vars, 17045 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 790307 impls, 1526 clqs
232.23/232.39 c (round 104) 7105 del vars, 17094 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 790307 impls, 1526 clqs
232.43/232.54 c (round 105) 7105 del vars, 17145 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 790307 impls, 1526 clqs
240.62/240.76 c (round 106) 7155 del vars, 17146 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 871027 impls, 1526 clqs
240.73/240.88 c (round 107) 7155 del vars, 17194 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 871027 impls, 1526 clqs
240.92/241.01 c (round 108) 7155 del vars, 17245 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 871027 impls, 1526 clqs
241.32/241.46 c (239.7s) probing: 13000/15638 (83.1%) - 74 fixings, 1595 aggregations, 289146 implications, 0 bound changes
255.12/255.21 c (round 109) 7205 del vars, 17245 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 1022391 impls, 1526 clqs
255.22/255.34 c (round 110) 7205 del vars, 17293 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 1022391 impls, 1526 clqs
255.32/255.47 c (round 111) 7205 del vars, 17345 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 1022391 impls, 1526 clqs
261.12/261.28 c (259.6s) probing: 14000/15638 (89.5%) - 75 fixings, 1646 aggregations, 421242 implications, 0 bound changes
280.42/280.58 c (278.9s) probing: 15000/15638 (95.9%) - 77 fixings, 1665 aggregations, 543479 implications, 0 bound changes
290.31/290.44 c (288.7s) probing: 15535/15638 (99.3%) - 81 fixings, 1665 aggregations, 570318 implications, 0 bound changes
290.31/290.44 c (288.7s) probing aborted: 100/100 successive totally useless probings
290.31/290.45 c (round 112) 7232 del vars, 17346 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 1374865 impls, 1526 clqs
290.42/290.57 c (round 113) 7237 del vars, 17380 del conss, 50 chg bounds, 2 chg sides, 10 chg coeffs, 86642 upgd conss, 1374875 impls, 1526 clqs
290.71/290.80 c (289.1s) probing: 15545/15638 (99.4%) - 81 fixings, 1665 aggregations, 570318 implications, 0 bound changes
290.71/290.80 c (289.1s) probing aborted: 100/100 successive totally useless probings
290.71/290.81 c presolving (114 rounds):
290.71/290.81 c 7237 deleted vars, 17385 deleted constraints, 50 tightened bounds, 0 added holes, 2 changed sides, 10 changed coefficients
290.71/290.81 c 1374875 implications, 1526 cliques
290.71/290.81 c presolved problem has 13871 variables (13871 bin, 0 int, 0 impl, 0 cont) and 82667 constraints
290.71/290.81 c 23572 constraints of type <setppc>
290.71/290.81 c 59095 constraints of type <logicor>
290.71/290.81 c transformed objective value is always integral (scale: 1)
290.71/290.81 c Presolving Time: 288.72
290.71/290.81 c - non default parameters ----------------------------------------------------------------------
290.71/290.81 c # SCIP version 1.2.1.3
290.71/290.81 c
290.71/290.81 c # frequency for displaying node information lines
290.71/290.81 c # [type: int, range: [-1,2147483647], default: 100]
290.71/290.81 c display/freq = 10000
290.71/290.81 c
290.71/290.81 c # maximal time in seconds to run
290.71/290.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
290.71/290.81 c limits/time = 1788.29
290.71/290.81 c
290.71/290.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
290.71/290.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
290.71/290.81 c limits/memory = 1620
290.71/290.81 c
290.71/290.81 c # default clock type (1: CPU user seconds, 2: wall clock time)
290.71/290.81 c # [type: int, range: [1,2], default: 1]
290.71/290.81 c timing/clocktype = 2
290.71/290.81 c
290.71/290.81 c # should presolving try to simplify inequalities
290.71/290.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
290.71/290.81 c constraints/linear/simplifyinequalities = TRUE
290.71/290.81 c
290.71/290.81 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
290.71/290.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
290.71/290.81 c constraints/indicator/addCouplingCons = TRUE
290.71/290.81 c
290.71/290.81 c # should presolving try to simplify knapsacks
290.71/290.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
290.71/290.81 c constraints/knapsack/simplifyinequalities = TRUE
290.71/290.81 c
290.71/290.81 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
290.71/290.81 c # [type: int, range: [-1,2147483647], default: -1]
290.71/290.81 c separating/rapidlearning/freq = 0
290.71/290.81 c
290.71/290.81 c -----------------------------------------------------------------------------------------------
290.71/290.81 c start solving
290.71/290.83 c
320.91/321.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.91/321.02 c 319s| 1 | 2 | 13277 | - | 189M| 0 | - | 13k| 82k| 13k| 80k| 0 | 0 | 0 | 1.031521e+12 | -- | Inf
1790.80/1791.37 c
1790.80/1791.37 c SCIP Status : solving was interrupted [time limit reached]
1790.80/1791.37 c Solving Time (sec) : 1789.66
1790.80/1791.37 c Solving Nodes : 110
1790.80/1791.37 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.80/1791.37 c Dual Bound : +1.03152149999600e+12
1790.80/1791.37 c Gap : infinite
1790.80/1791.37 s UNKNOWN
1790.80/1791.37 c SCIP Status : solving was interrupted [time limit reached]
1790.80/1791.37 c Solving Time : 1789.66
1790.80/1791.37 c Original Problem :
1790.80/1791.37 c Problem name : HOME/instance-2704807-1278580133.opb
1790.80/1791.37 c Variables : 21108 (21108 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.80/1791.37 c Constraints : 100050 initial, 100050 maximal
1790.80/1791.37 c Presolved Problem :
1790.80/1791.37 c Problem name : t_HOME/instance-2704807-1278580133.opb
1790.80/1791.37 c Variables : 13871 (13871 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.80/1791.37 c Constraints : 82667 initial, 82667 maximal
1790.80/1791.37 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.80/1791.37 c trivial : 0.32 1 0 0 0 0 0 0 0
1790.80/1791.37 c dualfix : 0.37 4146 0 0 0 0 0 0 0
1790.80/1791.37 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.80/1791.37 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.80/1791.37 c implics : 0.73 0 48 0 0 0 0 0 0
1790.80/1791.37 c probing : 274.07 81 1665 0 0 0 0 0 0
1790.80/1791.37 c setppc : 3.17 0 0 0 0 0 3537 0 0
1790.80/1791.37 c linear : 1.12 49 1247 0 50 0 13408 2 10
1790.80/1791.37 c logicor : 8.53 0 0 0 0 0 440 0 0
1790.80/1791.37 c root node : - 0 - - 0 - - - -
1790.80/1791.37 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.80/1791.37 c integral : 0 0 0 0 0 0 0 0 0 0
1790.80/1791.37 c setppc : 23572 0 46952 0 110 2 1819 0 0 0
1790.80/1791.37 c logicor : 59095 0 39903 0 110 16 2273 0 0 0
1790.80/1791.37 c countsols : 0 0 0 0 110 0 0 0 0 0
1790.80/1791.37 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.80/1791.37 c integral : 0.00 0.00 0.00 0.00 0.00
1790.80/1791.37 c setppc : 198.07 0.00 196.23 0.00 1.84
1790.80/1791.37 c logicor : 12.40 0.00 6.42 0.00 5.98
1790.80/1791.37 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.80/1791.37 c Propagators : Time Calls Cutoffs DomReds
1790.80/1791.37 c vbounds : 0.04 2 0 0
1790.80/1791.37 c rootredcost : 0.03 0 0 0
1790.80/1791.37 c pseudoobj : 0.29 210 0 0
1790.80/1791.37 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.80/1791.37 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.80/1791.37 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.80/1791.37 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.80/1791.37 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.80/1791.37 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.80/1791.37 c applied globally : - - - 0 0.0 - - -
1790.80/1791.37 c applied locally : - - - 0 0.0 - - -
1790.80/1791.37 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.80/1791.37 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.80/1791.37 c redcost : 0.00 0 0 0 0 0
1790.80/1791.37 c impliedbounds : 0.00 0 0 0 0 0
1790.80/1791.37 c intobj : 0.00 0 0 0 0 0
1790.80/1791.37 c cgmip : 0.00 0 0 0 0 0
1790.80/1791.37 c gomory : 0.00 0 0 0 0 0
1790.80/1791.37 c strongcg : 0.00 0 0 0 0 0
1790.80/1791.37 c cmir : 0.00 0 0 0 0 0
1790.80/1791.37 c flowcover : 0.00 0 0 0 0 0
1790.80/1791.37 c clique : 0.00 0 0 0 0 0
1790.80/1791.37 c zerohalf : 0.00 0 0 0 0 0
1790.80/1791.37 c mcf : 0.00 0 0 0 0 0
1790.80/1791.37 c rapidlearning : 0.00 0 0 0 0 0
1790.80/1791.37 c Pricers : Time Calls Vars
1790.80/1791.37 c problem variables: 0.00 0 0
1790.80/1791.37 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.80/1791.37 c relpscost : 0.00 0 0 0 0 0 0
1790.80/1791.37 c pscost : 0.00 0 0 0 0 0 0
1790.80/1791.37 c inference : 0.80 110 0 0 0 0 220
1790.80/1791.37 c mostinf : 0.00 0 0 0 0 0 0
1790.80/1791.37 c leastinf : 0.00 0 0 0 0 0 0
1790.80/1791.37 c fullstrong : 0.00 0 0 0 0 0 0
1790.80/1791.37 c allfullstrong : 0.00 0 0 0 0 0 0
1790.80/1791.37 c random : 0.00 0 0 0 0 0 0
1790.80/1791.37 c Primal Heuristics : Time Calls Found
1790.80/1791.37 c LP solutions : 0.00 - 0
1790.80/1791.37 c pseudo solutions : 0.00 - 0
1790.80/1791.37 c oneopt : 0.00 0 0
1790.80/1791.37 c trivial : 0.08 2 0
1790.80/1791.37 c simplerounding : 0.00 0 0
1790.80/1791.37 c zirounding : 0.00 0 0
1790.80/1791.37 c rounding : 0.00 0 0
1790.80/1791.37 c shifting : 0.00 0 0
1790.80/1791.37 c intshifting : 0.00 0 0
1790.80/1791.37 c twoopt : 0.00 0 0
1790.80/1791.37 c fixandinfer : 0.00 0 0
1790.80/1791.37 c feaspump : 0.00 0 0
1790.80/1791.37 c coefdiving : 0.00 0 0
1790.80/1791.37 c pscostdiving : 0.00 0 0
1790.80/1791.37 c fracdiving : 0.00 0 0
1790.80/1791.37 c veclendiving : 0.00 0 0
1790.80/1791.37 c intdiving : 0.00 0 0
1790.80/1791.37 c actconsdiving : 0.00 0 0
1790.80/1791.37 c objpscostdiving : 0.00 0 0
1790.80/1791.37 c rootsoldiving : 0.00 0 0
1790.80/1791.37 c linesearchdiving : 0.00 0 0
1790.80/1791.37 c guideddiving : 0.00 0 0
1790.80/1791.37 c octane : 0.00 0 0
1790.80/1791.37 c rens : 0.00 0 0
1790.80/1791.37 c rins : 0.00 0 0
1790.80/1791.37 c localbranching : 0.00 0 0
1790.80/1791.37 c mutation : 0.00 0 0
1790.80/1791.37 c crossover : 0.00 0 0
1790.80/1791.37 c dins : 0.00 0 0
1790.80/1791.37 c undercover : 0.00 0 0
1790.80/1791.37 c nlp : 0.00 0 0
1790.80/1791.37 c trysol : 0.00 0 0
1790.80/1791.37 c LP : Time Calls Iterations Iter/call Iter/sec
1790.80/1791.37 c primal LP : 0.00 0 0 0.00 -
1790.80/1791.37 c dual LP : 1484.49 138 683838 4955.35 460.65
1790.80/1791.37 c lex dual LP : 0.00 0 0 0.00 -
1790.80/1791.37 c barrier LP : 0.00 0 0 0.00 -
1790.80/1791.37 c diving/probing LP: 0.00 0 0 0.00 -
1790.80/1791.37 c strong branching : 0.00 0 0 0.00 -
1790.80/1791.37 c (at root node) : - 0 0 0.00 -
1790.80/1791.37 c conflict analysis: 0.00 0 0 0.00 -
1790.80/1791.37 c B&B Tree :
1790.80/1791.37 c number of runs : 1
1790.80/1791.37 c nodes : 110
1790.80/1791.37 c nodes (total) : 110
1790.80/1791.37 c nodes left : 111
1790.80/1791.37 c max depth : 53
1790.80/1791.38 c max depth (total): 53
1790.80/1791.38 c backtracks : 6 (5.5%)
1790.80/1791.38 c delayed cutoffs : 0
1790.80/1791.38 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.80/1791.38 c avg switch length: 1.71
1790.80/1791.38 c switching time : 0.03
1790.80/1791.38 c Solution :
1790.80/1791.38 c Solutions found : 0 (0 improvements)
1790.80/1791.38 c Primal Bound : -
1790.80/1791.38 c Dual Bound : +1.03152149999600e+12
1790.80/1791.38 c Gap : infinite
1790.80/1791.38 c Root Dual Bound : +1.03152149999600e+12
1790.80/1791.38 c Root Iterations : 13277
1791.41/1791.94 c Time complete: 1791.45.
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-2704807-1278580133/watcher-2704807-1278580133 -o /tmp/evaluation-result-2704807-1278580133/solver-2704807-1278580133 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704807-1278580133.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.91 3/106 4331 /proc/meminfo: memFree=1743532/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=7904 CPUtime=0 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 1068 0 0 0 0 0 0 0 20 0 1 0 1564438 8093696 979 1992294400 4194304 8395647 140736796284256 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4331/statm: 1976 987 365 1026 0 946 0 [startup+0.084695 s] /proc/loadavg: 0.92 0.98 0.91 3/106 4331 /proc/meminfo: memFree=1743532/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=19268 CPUtime=0.08 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 4138 0 0 0 7 1 0 0 20 0 1 0 1564438 19730432 4043 1992294400 4194304 8395647 140736796284256 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4331/statm: 4817 4043 394 1026 0 3787 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19268 [startup+0.100697 s] /proc/loadavg: 0.92 0.98 0.91 3/106 4331 /proc/meminfo: memFree=1743532/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=19988 CPUtime=0.09 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 4324 0 0 0 8 1 0 0 20 0 1 0 1564438 20467712 4229 1992294400 4194304 8395647 140736796284256 18446744073709551615 7324695 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4331/statm: 4997 4229 394 1026 0 3967 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19988 [startup+0.30072 s] /proc/loadavg: 0.92 0.98 0.91 3/106 4331 /proc/meminfo: memFree=1743532/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=26748 CPUtime=0.29 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 6009 0 0 0 28 1 0 0 20 0 1 0 1564438 27389952 5914 1992294400 4194304 8395647 140736796284256 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4331/statm: 6687 5914 394 1026 0 5657 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26748 [startup+0.700766 s] /proc/loadavg: 0.92 0.98 0.91 3/106 4331 /proc/meminfo: memFree=1743532/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=38536 CPUtime=0.69 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 8927 0 0 0 66 3 0 0 20 0 1 0 1564438 39460864 8832 1992294400 4194304 8395647 140736796284256 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4331/statm: 9634 8832 394 1026 0 8604 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38536 [startup+1.50086 s] /proc/loadavg: 0.93 0.98 0.91 2/107 4332 /proc/meminfo: memFree=1703720/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=58540 CPUtime=1.49 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 13910 0 0 0 144 5 0 0 22 0 1 0 1564438 59944960 13815 1992294400 4194304 8395647 140736796284256 18446744073709551615 4327595 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4331/statm: 14635 13815 394 1026 0 13605 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58540 [startup+3.10105 s] /proc/loadavg: 0.93 0.98 0.91 2/107 4332 /proc/meminfo: memFree=1596956/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=180608 CPUtime=3.09 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 43563 0 0 0 294 15 0 0 25 0 1 0 1564438 184942592 43114 1992294400 4194304 8395647 140736796284256 18446744073709551615 4327576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 45152 43114 476 1026 0 44122 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180608 [startup+6.30042 s] /proc/loadavg: 0.93 0.98 0.91 2/107 4332 /proc/meminfo: memFree=1548472/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=205032 CPUtime=6.29 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 53178 0 0 0 611 18 0 0 25 0 1 0 1564438 209952768 49253 1992294400 4194304 8395647 140736796284256 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 51258 49253 504 1026 0 50228 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 205032 [startup+12.7012 s] /proc/loadavg: 0.94 0.98 0.91 2/107 4333 /proc/meminfo: memFree=1547604/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=205032 CPUtime=12.69 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 53190 0 0 0 1251 18 0 0 25 0 1 0 1564438 209952768 49265 1992294400 4194304 8395647 140736796284256 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 51258 49265 504 1026 0 50228 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 205032 [startup+25.5007 s] /proc/loadavg: 0.95 0.98 0.91 2/107 4333 /proc/meminfo: memFree=1546612/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=206056 CPUtime=25.49 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 53465 0 0 0 2531 18 0 0 25 0 1 0 1564438 211001344 49540 1992294400 4194304 8395647 140736796284256 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 51514 49540 504 1026 0 50484 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 206056 [startup+51.1007 s] /proc/loadavg: 0.96 0.98 0.91 2/107 4333 /proc/meminfo: memFree=1542520/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=210260 CPUtime=51.08 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 54525 0 0 0 5090 18 0 0 25 0 1 0 1564438 215306240 50600 1992294400 4194304 8395647 140736796284256 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 52565 50600 510 1026 0 51535 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 210260 [startup+102.309 s] /proc/loadavg: 1.06 1.00 0.91 2/107 4335 /proc/meminfo: memFree=1537684/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=214968 CPUtime=102.27 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 55731 0 0 0 10209 18 0 0 25 0 1 0 1564438 220127232 51806 1992294400 4194304 8395647 140736796284256 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 53742 51806 510 1026 0 52712 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 214968 [startup+162.301 s] /proc/loadavg: 1.02 1.00 0.91 2/107 4337 /proc/meminfo: memFree=1534956/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=217552 CPUtime=162.25 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 56394 0 0 0 16206 19 0 0 25 0 1 0 1564438 222773248 52469 1992294400 4194304 8395647 140736796284256 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 54388 52469 510 1026 0 53358 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 217552 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 4338 /proc/meminfo: memFree=1532228/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=219724 CPUtime=222.23 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 57065 0 0 0 22204 19 0 0 25 0 1 0 1564438 224997376 53140 1992294400 4194304 8395647 140736796284256 18446744073709551615 5210648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 54931 53140 510 1026 0 53901 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 219724 [startup+282.301 s] /proc/loadavg: 1.06 1.01 0.92 2/107 4340 /proc/meminfo: memFree=1512264/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=238552 CPUtime=282.21 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 62025 0 0 0 28201 20 0 0 25 0 1 0 1564438 244277248 58100 1992294400 4194304 8395647 140736796284256 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 59638 58100 510 1026 0 58608 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 238552 [startup+342.301 s] /proc/loadavg: 1.02 1.01 0.92 2/107 4341 /proc/meminfo: memFree=1395580/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=369368 CPUtime=342.2 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 111189 0 0 0 34171 49 0 0 25 0 1 0 1564438 378232832 87362 1992294400 4194304 8395647 140736796284256 18446744073709551615 6721238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 92342 87362 653 1026 0 91312 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 369368 [startup+402.301 s] /proc/loadavg: 1.11 1.03 0.93 2/107 4343 /proc/meminfo: memFree=1386404/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=381372 CPUtime=402.18 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 149455 0 0 0 40136 82 0 0 25 0 1 0 1564438 390524928 91080 1992294400 4194304 8395647 140736796284256 18446744073709551615 6390512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 95343 91080 672 1026 0 94313 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 381372 [startup+462.302 s] /proc/loadavg: 1.04 1.03 0.93 2/107 4345 /proc/meminfo: memFree=1387892/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=374876 CPUtime=462.17 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 178930 0 0 0 46105 112 0 0 25 0 1 0 1564438 383873024 89297 1992294400 4194304 8395647 140736796284256 18446744073709551615 6752542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93719 89297 684 1026 0 92689 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 374876 [startup+522.301 s] /proc/loadavg: 1.05 1.03 0.94 2/107 4346 /proc/meminfo: memFree=1389380/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=373856 CPUtime=522.15 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 207077 0 0 0 52078 137 0 0 25 0 1 0 1564438 382828544 88894 1992294400 4194304 8395647 140736796284256 18446744073709551615 6440989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93464 88894 635 1026 0 92434 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 373856 [startup+582.301 s] /proc/loadavg: 1.02 1.02 0.94 2/107 4348 /proc/meminfo: memFree=1395828/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=366972 CPUtime=582.13 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 227517 0 0 0 58049 164 0 0 25 0 1 0 1564438 375779328 87306 1992294400 4194304 8395647 140736796284256 18446744073709551615 6723502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 91743 87306 634 1026 0 90713 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 366972 [startup+642.301 s] /proc/loadavg: 1.00 1.02 0.94 2/107 4349 /proc/meminfo: memFree=1387768/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=373976 CPUtime=642.12 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 238417 0 0 0 64028 184 0 0 25 0 1 0 1564438 382951424 89201 1992294400 4194304 8395647 140736796284256 18446744073709551615 7385654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93494 89201 622 1026 0 92464 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 373976 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1389008/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=375836 CPUtime=1062 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 409910 0 0 0 105835 365 0 0 25 0 1 0 1564438 384856064 90283 1992294400 4194304 8395647 140736796284256 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93959 90283 674 1026 0 92929 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 375836 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 4362 /proc/meminfo: memFree=1404136/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=353232 CPUtime=1121.99 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 441598 0 0 0 111806 393 0 0 25 0 1 0 1564438 361709568 84909 1992294400 4194304 8395647 140736796284256 18446744073709551615 6746523 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 88308 84909 622 1026 0 87278 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 353232 [startup+1182.3 s] /proc/loadavg: 1.05 1.01 0.95 2/107 4364 /proc/meminfo: memFree=1391612/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=375596 CPUtime=1181.97 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 475395 0 0 0 117775 422 0 0 25 0 1 0 1564438 384610304 88780 1992294400 4194304 8395647 140736796284256 18446744073709551615 6752385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93899 88780 634 1026 0 92869 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 375596 [startup+1242.3 s] /proc/loadavg: 1.02 1.01 0.95 3/107 4365 /proc/meminfo: memFree=1385536/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=375768 CPUtime=1241.96 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 506167 0 0 0 123745 451 0 0 25 0 1 0 1564438 384786432 89689 1992294400 4194304 8395647 140736796284256 18446744073709551615 7382016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93942 89689 638 1026 0 92912 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 375768 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4367 /proc/meminfo: memFree=1391736/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=371632 CPUtime=1301.94 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 542640 0 0 0 129713 481 0 0 25 0 1 0 1564438 380551168 88349 1992294400 4194304 8395647 140736796284256 18446744073709551615 6721240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 92908 88349 882 1026 0 91878 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 371632 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4369 /proc/meminfo: memFree=1409344/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=347732 CPUtime=1361.92 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 576899 0 0 0 135682 510 0 0 25 0 1 0 1564438 356077568 83538 1992294400 4194304 8395647 140736796284256 18446744073709551615 6723058 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 86933 83538 619 1026 0 85903 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 347732 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4370 /proc/meminfo: memFree=1390124/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=372800 CPUtime=1421.91 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 611323 0 0 0 141651 540 0 0 25 0 1 0 1564438 381747200 88628 1992294400 4194304 8395647 140736796284256 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93200 88628 779 1026 0 92170 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 372800 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4372 /proc/meminfo: memFree=1394712/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=371044 CPUtime=1481.89 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 642503 0 0 0 147620 569 0 0 25 0 1 0 1564438 379949056 87742 1992294400 4194304 8395647 140736796284256 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 92761 87742 690 1026 0 91731 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 371044 [startup+1542.3 s] /proc/loadavg: 1.07 1.02 0.95 2/107 4373 /proc/meminfo: memFree=1409220/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=347732 CPUtime=1541.87 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 660017 0 0 0 153594 593 0 0 25 0 1 0 1564438 356077568 83546 1992294400 4194304 8395647 140736796284256 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 86933 83546 617 1026 0 85903 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 347732 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 0.95 2/107 4375 /proc/meminfo: memFree=1383056/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=374568 CPUtime=1601.85 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 674867 0 0 0 159567 618 0 0 25 0 1 0 1564438 383557632 90219 1992294400 4194304 8395647 140736796284256 18446744073709551615 6697790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93642 90219 617 1026 0 92612 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 374568 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 0.95 2/107 4377 /proc/meminfo: memFree=1383056/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=374568 CPUtime=1661.84 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 674867 0 0 0 165549 635 0 0 25 0 1 0 1564438 383557632 90219 1992294400 4194304 8395647 140736796284256 18446744073709551615 7382016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93642 90219 617 1026 0 92612 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 374568 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4378 /proc/meminfo: memFree=1382932/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=374568 CPUtime=1721.82 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 674867 0 0 0 171528 654 0 0 25 0 1 0 1564438 383557632 90219 1992294400 4194304 8395647 140736796284256 18446744073709551615 6636339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93642 90219 617 1026 0 92612 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 374568 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4380 /proc/meminfo: memFree=1408972/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=347732 CPUtime=1781.81 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 695751 0 0 0 177503 678 0 0 25 0 1 0 1564438 356077568 83546 1992294400 4194304 8395647 140736796284256 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 86933 83546 617 1026 0 85903 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 347732 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4380 /proc/meminfo: memFree=1401904/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=363440 CPUtime=1785.01 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 698067 0 0 0 177821 680 0 0 25 0 1 0 1564438 372162560 85827 1992294400 4194304 8395647 140736796284256 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 90860 85827 921 1026 0 89830 0 Current children cumulated CPU time (s) 1785.01 Current children cumulated vsize (KiB) 363440 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4380 /proc/meminfo: memFree=1391736/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=374284 CPUtime=1788.2 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 700987 0 0 0 178138 682 0 0 25 0 1 0 1564438 383266816 88325 1992294400 4194304 8395647 140736796284256 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93571 88325 888 1026 0 92541 0 Current children cumulated CPU time (s) 1788.2 Current children cumulated vsize (KiB) 374284 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4380 /proc/meminfo: memFree=1390744/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=374284 CPUtime=1789.81 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 701269 0 0 0 178298 683 0 0 25 0 1 0 1564438 383266816 88530 1992294400 4194304 8395647 140736796284256 18446744073709551615 7382041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93571 88530 811 1026 0 92541 0 Current children cumulated CPU time (s) 1789.81 Current children cumulated vsize (KiB) 374284 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4380 /proc/meminfo: memFree=1389876/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=374284 CPUtime=1790.6 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 701456 0 0 0 178377 683 0 0 25 0 1 0 1564438 383266816 88647 1992294400 4194304 8395647 140736796284256 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4331/statm: 93571 88647 741 1026 0 92541 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (KiB) 374284 [startup+1791.5 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4380 /proc/meminfo: memFree=1389876/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=374944 CPUtime=1791 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 701942 0 0 0 178417 683 0 0 25 0 1 0 1564438 383942656 89056 1992294400 4194304 8395647 140736796284256 18446744073709551615 6150528 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4331/statm: 93736 89056 670 1026 0 92706 0 Current children cumulated CPU time (s) 1791 Current children cumulated vsize (KiB) 374944 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4380 /proc/meminfo: memFree=1387644/2059040 swapFree=4192956/4192956 [pid=4331] ppid=4329 vsize=315136 CPUtime=1791.41 /proc/4331/stat : 4331 (pbscip.linux.x8) R 4329 4331 3727 0 -1 4202496 701944 0 0 0 178457 684 0 0 25 0 1 0 1564438 322699264 75431 1992294400 4194304 8395647 140736796284256 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4331/statm: 78784 75431 625 1026 0 77754 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 315136 Child status: 0 Real time (s): 1791.95 CPU time (s): 1791.46 CPU user time (s): 1784.59 CPU system time (s): 6.86996 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 384112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.59 system time used= 6.86996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 701952 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= 3583 runsolver used 2.91756 second user time and 8.50671 second system time The end
Begin job on node033 at 2010-07-08 11:08:53 IDJOB=2704807 IDBENCH=72376 IDSOLVER=1213 FILE ID=node033/2704807-1278580133 PBS_JOBID= 11240091 Free space on /tmp= 62508 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-libpoe-perl.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-2704807-1278580133/watcher-2704807-1278580133 -o /tmp/evaluation-result-2704807-1278580133/solver-2704807-1278580133 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704807-1278580133.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1c0f6518e04975c82d938344ab8e78f RANDOM SEED=1388639142 node033.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.224 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.44 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.224 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: 1743936 kB Buffers: 52956 kB Cached: 154052 kB SwapCached: 0 kB Active: 119056 kB Inactive: 147132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1743936 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 14220 kB Writeback: 4 kB AnonPages: 59120 kB Mapped: 14488 kB Slab: 26896 kB PageTables: 4224 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178600 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= 62500 MiB End job on node033 at 2010-07-08 11:38:45