| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1791.24 | 1791.69 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/ normalized-texlive-generic-recommended.cudf.trendy.opb |
| MD5SUM | 034b19195de68e87d2a0942756963b51 |
| 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 | 3258390261085 |
| 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 | 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-2704811-1278580152.opb>
1.60/1.66 c original problem has 21101 variables (21101 bin, 0 int, 0 impl, 0 cont) and 100032 constraints
1.60/1.66 c problem read
1.60/1.67 c presolving settings loaded
2.09/2.18 c presolving:
2.59/2.67 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.76 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.81 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.00 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.59/13.67 c (round 10) 5511 del vars, 13387 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 340722 impls, 1557 clqs
13.69/13.74 c (round 11) 5511 del vars, 14222 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 340722 impls, 1557 clqs
23.09/23.20 c (round 12) 5562 del vars, 14225 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 437820 impls, 1556 clqs
23.28/23.31 c (round 13) 5562 del vars, 14275 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 437820 impls, 1556 clqs
23.38/23.44 c (round 14) 5562 del vars, 14372 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 437820 impls, 1556 clqs
27.98/28.02 c (26.4s) probing: 1000/15640 (6.4%) - 2 fixings, 113 aggregations, 69656 implications, 0 bound changes
35.18/35.26 c (round 15) 5612 del vars, 14372 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 469252 impls, 1556 clqs
35.28/35.38 c (round 16) 5612 del vars, 14421 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 469252 impls, 1556 clqs
35.49/35.50 c (round 17) 5612 del vars, 14474 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 469252 impls, 1556 clqs
41.28/41.39 c (round 18) 5662 del vars, 14474 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 479140 impls, 1555 clqs
41.38/41.49 c (round 19) 5662 del vars, 14524 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 479140 impls, 1555 clqs
41.58/41.62 c (round 20) 5662 del vars, 14575 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 479140 impls, 1555 clqs
46.88/46.93 c (round 21) 5712 del vars, 14575 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 499822 impls, 1555 clqs
46.98/47.04 c (round 22) 5712 del vars, 14633 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 499822 impls, 1555 clqs
47.08/47.17 c (round 23) 5712 del vars, 14677 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 499822 impls, 1555 clqs
48.28/48.35 c (46.7s) probing: 2000/15640 (12.8%) - 5 fixings, 246 aggregations, 90610 implications, 0 bound changes
57.87/57.91 c (round 24) 5762 del vars, 14677 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 529898 impls, 1555 clqs
57.97/58.02 c (round 25) 5762 del vars, 14727 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 529898 impls, 1555 clqs
58.07/58.15 c (round 26) 5762 del vars, 14779 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 529898 impls, 1555 clqs
64.57/64.67 c (round 27) 5812 del vars, 14779 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 539576 impls, 1555 clqs
64.67/64.79 c (round 28) 5812 del vars, 14831 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 539576 impls, 1555 clqs
64.88/64.91 c (round 29) 5812 del vars, 14880 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 539576 impls, 1555 clqs
66.37/66.46 c (64.8s) probing: 3000/15640 (19.2%) - 6 fixings, 355 aggregations, 105490 implications, 0 bound changes
72.58/72.62 c (round 30) 5862 del vars, 14880 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 552748 impls, 1554 clqs
72.67/72.73 c (round 31) 5863 del vars, 14929 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 552750 impls, 1554 clqs
80.27/80.32 c (round 32) 5913 del vars, 14930 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 559000 impls, 1554 clqs
80.36/80.43 c (round 33) 5913 del vars, 14979 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 559000 impls, 1554 clqs
80.46/80.56 c (round 34) 5913 del vars, 15089 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 559000 impls, 1554 clqs
83.96/84.05 c (82.4s) probing: 4000/15640 (25.6%) - 9 fixings, 471 aggregations, 114699 implications, 0 bound changes
85.66/85.73 c (round 35) 5963 del vars, 15089 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564144 impls, 1553 clqs
85.66/85.79 c (round 36) 5964 del vars, 15153 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 564154 impls, 1553 clqs
92.16/92.24 c (round 37) 6014 del vars, 15154 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 571970 impls, 1551 clqs
92.26/92.35 c (round 38) 6014 del vars, 15203 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 571970 impls, 1551 clqs
92.36/92.47 c (round 39) 6014 del vars, 15294 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 571970 impls, 1551 clqs
100.96/101.00 c (round 40) 6064 del vars, 15294 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 585492 impls, 1551 clqs
101.06/101.11 c (round 41) 6064 del vars, 15342 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 585492 impls, 1551 clqs
101.16/101.24 c (round 42) 6064 del vars, 15394 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 585492 impls, 1551 clqs
101.36/101.47 c (99.8s) probing: 5000/15640 (32.0%) - 9 fixings, 591 aggregations, 126170 implications, 0 bound changes
108.15/108.24 c (round 43) 6114 del vars, 15394 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 598504 impls, 1551 clqs
108.25/108.35 c (round 44) 6114 del vars, 15444 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 598504 impls, 1551 clqs
108.35/108.48 c (round 45) 6114 del vars, 15493 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 598504 impls, 1551 clqs
115.65/115.77 c (round 46) 6164 del vars, 15493 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 608482 impls, 1550 clqs
115.75/115.88 c (round 47) 6164 del vars, 15542 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 608482 impls, 1550 clqs
115.95/116.01 c (round 48) 6164 del vars, 15592 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 608482 impls, 1550 clqs
118.25/118.35 c (116.7s) probing: 6000/15640 (38.4%) - 9 fixings, 701 aggregations, 138293 implications, 0 bound changes
123.16/123.25 c (round 49) 6214 del vars, 15592 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 613720 impls, 1550 clqs
123.35/123.40 c (round 50) 6214 del vars, 15683 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 613720 impls, 1550 clqs
123.45/123.53 c (round 51) 6214 del vars, 15739 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 613720 impls, 1550 clqs
129.45/129.55 c (round 52) 6264 del vars, 15739 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 617952 impls, 1550 clqs
129.55/129.66 c (round 53) 6264 del vars, 15787 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 617952 impls, 1550 clqs
129.65/129.79 c (round 54) 6264 del vars, 15838 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 617952 impls, 1550 clqs
134.74/134.84 c (133.2s) probing: 7000/15640 (44.8%) - 9 fixings, 821 aggregations, 142881 implications, 0 bound changes
135.54/135.61 c (round 55) 6314 del vars, 15838 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 620620 impls, 1550 clqs
135.64/135.72 c (round 56) 6314 del vars, 15888 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 620620 impls, 1550 clqs
135.74/135.85 c (round 57) 6314 del vars, 15938 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 620620 impls, 1550 clqs
143.74/143.80 c (round 58) 6364 del vars, 15938 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 625682 impls, 1550 clqs
143.84/143.92 c (round 59) 6364 del vars, 15994 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 625682 impls, 1550 clqs
143.95/144.05 c (round 60) 6364 del vars, 16043 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 625682 impls, 1550 clqs
150.94/151.01 c (149.3s) probing: 8000/15640 (51.2%) - 10 fixings, 934 aggregations, 150299 implications, 0 bound changes
152.04/152.12 c (round 61) 6414 del vars, 16045 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 635416 impls, 1550 clqs
152.14/152.23 c (round 62) 6414 del vars, 16090 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 635416 impls, 1550 clqs
152.24/152.36 c (round 63) 6414 del vars, 16145 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 635416 impls, 1550 clqs
159.04/159.19 c (round 64) 6464 del vars, 16145 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 645440 impls, 1550 clqs
159.24/159.30 c (round 65) 6464 del vars, 16193 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 645440 impls, 1550 clqs
159.34/159.44 c (round 66) 6464 del vars, 16246 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 645440 impls, 1550 clqs
166.64/166.74 c (round 67) 6514 del vars, 16249 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 655820 impls, 1550 clqs
166.74/166.85 c (round 68) 6514 del vars, 16299 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 655820 impls, 1550 clqs
166.84/166.98 c (round 69) 6514 del vars, 16349 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 655820 impls, 1550 clqs
167.74/167.89 c (166.2s) probing: 9000/15640 (57.5%) - 10 fixings, 1043 aggregations, 161308 implications, 0 bound changes
174.34/174.44 c (round 70) 6564 del vars, 16349 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 668014 impls, 1550 clqs
174.44/174.56 c (round 71) 6564 del vars, 16397 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 668014 impls, 1550 clqs
174.54/174.69 c (round 72) 6564 del vars, 16448 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 668014 impls, 1550 clqs
181.34/181.47 c (round 73) 6614 del vars, 16448 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 677948 impls, 1550 clqs
181.44/181.58 c (round 74) 6614 del vars, 16498 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 677948 impls, 1550 clqs
181.63/181.71 c (round 75) 6614 del vars, 16548 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 677948 impls, 1550 clqs
184.03/184.19 c (182.5s) probing: 10000/15640 (63.9%) - 11 fixings, 1159 aggregations, 176817 implications, 0 bound changes
190.33/190.44 c (round 76) 6664 del vars, 16548 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 700758 impls, 1550 clqs
190.43/190.55 c (round 77) 6664 del vars, 16601 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 700758 impls, 1550 clqs
190.53/190.68 c (round 78) 6664 del vars, 16649 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 700758 impls, 1550 clqs
195.13/195.27 c (round 79) 6714 del vars, 16649 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 703722 impls, 1550 clqs
195.23/195.38 c (round 80) 6714 del vars, 16692 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 703722 impls, 1550 clqs
195.43/195.52 c (round 81) 6714 del vars, 16749 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 703722 impls, 1550 clqs
199.23/199.34 c (round 82) 6764 del vars, 16749 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 707296 impls, 1550 clqs
199.33/199.46 c (round 83) 6764 del vars, 16798 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 707296 impls, 1550 clqs
199.53/199.60 c (round 84) 6764 del vars, 16848 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 707296 impls, 1550 clqs
200.23/200.39 c (198.7s) probing: 11000/15640 (70.3%) - 11 fixings, 1301 aggregations, 188892 implications, 0 bound changes
204.33/204.43 c (round 85) 6814 del vars, 16848 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 730970 impls, 1550 clqs
204.43/204.54 c (round 86) 6814 del vars, 16897 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 730970 impls, 1550 clqs
204.53/204.68 c (round 87) 6814 del vars, 16946 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 730970 impls, 1550 clqs
209.13/209.27 c (round 88) 6864 del vars, 16946 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 754540 impls, 1550 clqs
209.23/209.38 c (round 89) 6864 del vars, 16996 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 754540 impls, 1550 clqs
209.43/209.52 c (round 90) 6864 del vars, 17046 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 754540 impls, 1550 clqs
215.02/215.19 c (round 91) 6914 del vars, 17046 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 759064 impls, 1550 clqs
215.22/215.31 c (round 92) 6914 del vars, 17097 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 759064 impls, 1550 clqs
215.32/215.45 c (round 93) 6914 del vars, 17144 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 759064 impls, 1550 clqs
216.92/217.09 c (215.4s) probing: 12000/15640 (76.7%) - 13 fixings, 1462 aggregations, 219030 implications, 0 bound changes
220.42/220.52 c (round 94) 6964 del vars, 17146 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 768148 impls, 1550 clqs
220.52/220.64 c (round 95) 6964 del vars, 17199 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 768148 impls, 1550 clqs
220.62/220.77 c (round 96) 6964 del vars, 17248 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 768148 impls, 1550 clqs
224.33/224.47 c (round 97) 7014 del vars, 17248 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 775128 impls, 1550 clqs
224.42/224.59 c (round 98) 7014 del vars, 17298 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 775128 impls, 1550 clqs
224.62/224.72 c (round 99) 7014 del vars, 17348 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 775128 impls, 1550 clqs
230.52/230.67 c (round 100) 7064 del vars, 17349 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 807008 impls, 1550 clqs
230.62/230.79 c (round 101) 7064 del vars, 17406 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 807008 impls, 1550 clqs
230.82/230.92 c (round 102) 7064 del vars, 17453 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 807008 impls, 1550 clqs
233.72/233.82 c (232.2s) probing: 13000/15640 (83.1%) - 18 fixings, 1593 aggregations, 251912 implications, 0 bound changes
241.02/241.14 c (round 103) 7114 del vars, 17453 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 891042 impls, 1550 clqs
241.12/241.27 c (round 104) 7114 del vars, 17509 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 891042 impls, 1550 clqs
241.31/241.40 c (round 105) 7114 del vars, 17555 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 891042 impls, 1550 clqs
250.72/250.89 c (249.2s) probing: 14000/15640 (89.5%) - 24 fixings, 1657 aggregations, 311030 implications, 0 bound changes
257.61/257.76 c (round 106) 7164 del vars, 17555 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 980046 impls, 1550 clqs
257.71/257.89 c (round 107) 7169 del vars, 17634 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 980062 impls, 1550 clqs
268.71/268.83 c (267.2s) probing: 15000/15640 (95.9%) - 48 fixings, 1672 aggregations, 381441 implications, 0 bound changes
279.91/280.02 c (278.4s) probing: 15607/15640 (99.8%) - 52 fixings, 1672 aggregations, 414643 implications, 0 bound changes
279.91/280.02 c (278.4s) probing aborted: 100/100 successive totally useless probings
279.91/280.02 c (round 108) 7193 del vars, 17640 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 1112292 impls, 1550 clqs
280.01/280.13 c (round 109) 7202 del vars, 17685 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 1112310 impls, 1550 clqs
280.11/280.25 c (round 110) 7202 del vars, 17694 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 1112310 impls, 1550 clqs
280.21/280.39 c (round 111) 7202 del vars, 17726 del conss, 46 chg bounds, 0 chg sides, 9 chg coeffs, 86647 upgd conss, 1112310 impls, 1550 clqs
280.51/280.64 c (279.0s) probing: 15617/15640 (99.9%) - 52 fixings, 1672 aggregations, 414643 implications, 0 bound changes
280.51/280.64 c (279.0s) probing aborted: 100/100 successive totally useless probings
280.51/280.64 c presolving (112 rounds):
280.51/280.64 c 7202 deleted vars, 17726 deleted constraints, 46 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
280.51/280.64 c 1112310 implications, 1550 cliques
280.51/280.64 c presolved problem has 13899 variables (13899 bin, 0 int, 0 impl, 0 cont) and 82306 constraints
280.51/280.64 c 22857 constraints of type <setppc>
280.51/280.64 c 59449 constraints of type <logicor>
280.51/280.64 c transformed objective value is always integral (scale: 1)
280.51/280.64 c Presolving Time: 278.61
280.51/280.64 c - non default parameters ----------------------------------------------------------------------
280.51/280.64 c # SCIP version 1.2.1.3
280.51/280.64 c
280.51/280.64 c # frequency for displaying node information lines
280.51/280.64 c # [type: int, range: [-1,2147483647], default: 100]
280.51/280.64 c display/freq = 10000
280.51/280.64 c
280.51/280.64 c # maximal time in seconds to run
280.51/280.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
280.51/280.64 c limits/time = 1788.34
280.51/280.64 c
280.51/280.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
280.51/280.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
280.51/280.64 c limits/memory = 1620
280.51/280.64 c
280.51/280.64 c # default clock type (1: CPU user seconds, 2: wall clock time)
280.51/280.64 c # [type: int, range: [1,2], default: 1]
280.51/280.64 c timing/clocktype = 2
280.51/280.64 c
280.51/280.64 c # should presolving try to simplify inequalities
280.51/280.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
280.51/280.64 c constraints/linear/simplifyinequalities = TRUE
280.51/280.64 c
280.51/280.64 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
280.51/280.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
280.51/280.64 c constraints/indicator/addCouplingCons = TRUE
280.51/280.64 c
280.51/280.64 c # should presolving try to simplify knapsacks
280.51/280.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
280.51/280.64 c constraints/knapsack/simplifyinequalities = TRUE
280.51/280.64 c
280.51/280.64 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
280.51/280.64 c # [type: int, range: [-1,2147483647], default: -1]
280.51/280.64 c separating/rapidlearning/freq = 0
280.51/280.64 c
280.51/280.64 c -----------------------------------------------------------------------------------------------
280.51/280.64 c start solving
280.51/280.66 c
312.60/312.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.60/312.71 c 311s| 1 | 2 | 14004 | - | 182M| 0 | - | 13k| 82k| 13k| 77k| 0 | 0 | 0 | 5.547020e+11 | -- | Inf
1790.64/1791.12 c
1790.64/1791.12 c SCIP Status : solving was interrupted [time limit reached]
1790.64/1791.12 c Solving Time (sec) : 1789.46
1790.64/1791.12 c Solving Nodes : 106
1790.64/1791.12 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.64/1791.12 c Dual Bound : +5.54702041764000e+11
1790.64/1791.12 c Gap : infinite
1790.64/1791.12 s UNKNOWN
1790.64/1791.12 c SCIP Status : solving was interrupted [time limit reached]
1790.64/1791.13 c Solving Time : 1789.46
1790.64/1791.13 c Original Problem :
1790.64/1791.13 c Problem name : HOME/instance-2704811-1278580152.opb
1790.64/1791.13 c Variables : 21101 (21101 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.64/1791.13 c Constraints : 100032 initial, 100032 maximal
1790.64/1791.13 c Presolved Problem :
1790.64/1791.13 c Problem name : t_HOME/instance-2704811-1278580152.opb
1790.64/1791.13 c Variables : 13899 (13899 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.64/1791.13 c Constraints : 82306 initial, 82306 maximal
1790.64/1791.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.64/1791.13 c trivial : 0.31 0 0 0 0 0 0 0 0
1790.64/1791.13 c dualfix : 0.36 4144 0 0 0 0 0 0 0
1790.64/1791.13 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.64/1791.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.64/1791.13 c implics : 0.71 0 43 0 0 0 0 0 0
1790.64/1791.13 c probing : 263.84 52 1672 0 0 0 0 0 0
1790.64/1791.13 c setppc : 2.98 0 0 0 0 0 4254 0 0
1790.64/1791.13 c linear : 1.12 46 1245 0 46 0 13385 0 9
1790.64/1791.13 c logicor : 8.85 0 0 0 0 0 87 0 0
1790.64/1791.13 c root node : - 0 - - 0 - - - -
1790.64/1791.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.64/1791.13 c integral : 0 0 0 0 0 0 0 0 0 0
1790.64/1791.13 c setppc : 22857 0 47224 0 106 17 3375 0 0 0
1790.64/1791.13 c logicor : 59449 0 39726 0 106 35 4542 0 0 0
1790.64/1791.13 c countsols : 0 0 0 0 106 0 0 0 0 0
1790.64/1791.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.64/1791.13 c integral : 0.00 0.00 0.00 0.00 0.00
1790.64/1791.13 c setppc : 194.10 0.00 192.28 0.00 1.82
1790.64/1791.13 c logicor : 12.09 0.00 6.02 0.00 6.07
1790.64/1791.13 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.64/1791.13 c Propagators : Time Calls Cutoffs DomReds
1790.64/1791.13 c vbounds : 0.05 2 0 0
1790.64/1791.13 c rootredcost : 0.04 0 0 0
1790.64/1791.13 c pseudoobj : 0.42 307 0 0
1790.64/1791.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.64/1791.13 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.64/1791.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.64/1791.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.64/1791.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.64/1791.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.64/1791.13 c applied globally : - - - 0 0.0 - - -
1790.64/1791.13 c applied locally : - - - 0 0.0 - - -
1790.64/1791.13 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.64/1791.13 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.64/1791.13 c redcost : 0.00 0 0 0 0 0
1790.64/1791.13 c impliedbounds : 0.00 0 0 0 0 0
1790.64/1791.13 c intobj : 0.00 0 0 0 0 0
1790.64/1791.13 c cgmip : 0.00 0 0 0 0 0
1790.64/1791.13 c gomory : 0.00 0 0 0 0 0
1790.64/1791.13 c strongcg : 0.00 0 0 0 0 0
1790.64/1791.13 c cmir : 0.00 0 0 0 0 0
1790.64/1791.13 c flowcover : 0.00 0 0 0 0 0
1790.64/1791.13 c clique : 0.00 0 0 0 0 0
1790.64/1791.13 c zerohalf : 0.00 0 0 0 0 0
1790.64/1791.13 c mcf : 0.00 0 0 0 0 0
1790.64/1791.13 c rapidlearning : 0.00 0 0 0 0 0
1790.64/1791.13 c Pricers : Time Calls Vars
1790.64/1791.13 c problem variables: 0.00 0 0
1790.64/1791.13 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.64/1791.13 c relpscost : 0.00 0 0 0 0 0 0
1790.64/1791.13 c pscost : 0.00 0 0 0 0 0 0
1790.64/1791.13 c inference : 0.78 106 0 0 0 0 212
1790.64/1791.13 c mostinf : 0.00 0 0 0 0 0 0
1790.64/1791.13 c leastinf : 0.00 0 0 0 0 0 0
1790.64/1791.13 c fullstrong : 0.00 0 0 0 0 0 0
1790.64/1791.13 c allfullstrong : 0.00 0 0 0 0 0 0
1790.64/1791.13 c random : 0.00 0 0 0 0 0 0
1790.64/1791.13 c Primal Heuristics : Time Calls Found
1790.64/1791.13 c LP solutions : 0.00 - 0
1790.64/1791.13 c pseudo solutions : 0.00 - 0
1790.64/1791.13 c oneopt : 0.00 0 0
1790.64/1791.13 c trivial : 0.08 2 0
1790.64/1791.13 c simplerounding : 0.00 0 0
1790.64/1791.13 c zirounding : 0.00 0 0
1790.64/1791.13 c rounding : 0.00 0 0
1790.64/1791.13 c shifting : 0.00 0 0
1790.64/1791.13 c intshifting : 0.00 0 0
1790.64/1791.13 c twoopt : 0.00 0 0
1790.64/1791.13 c fixandinfer : 0.00 0 0
1790.64/1791.13 c feaspump : 0.00 0 0
1790.64/1791.13 c coefdiving : 0.00 0 0
1790.64/1791.13 c pscostdiving : 0.00 0 0
1790.64/1791.13 c fracdiving : 0.00 0 0
1790.64/1791.13 c veclendiving : 0.00 0 0
1790.64/1791.13 c intdiving : 0.00 0 0
1790.64/1791.13 c actconsdiving : 0.00 0 0
1790.64/1791.13 c objpscostdiving : 0.00 0 0
1790.64/1791.13 c rootsoldiving : 0.00 0 0
1790.64/1791.13 c linesearchdiving : 0.00 0 0
1790.64/1791.13 c guideddiving : 0.00 0 0
1790.64/1791.13 c octane : 0.00 0 0
1790.64/1791.13 c rens : 0.00 0 0
1790.64/1791.13 c rins : 0.00 0 0
1790.64/1791.13 c localbranching : 0.00 0 0
1790.64/1791.13 c mutation : 0.00 0 0
1790.64/1791.13 c crossover : 0.00 0 0
1790.64/1791.13 c dins : 0.00 0 0
1790.64/1791.13 c undercover : 0.00 0 0
1790.64/1791.13 c nlp : 0.00 0 0
1790.64/1791.13 c trysol : 0.00 0 0
1790.64/1791.13 c LP : Time Calls Iterations Iter/call Iter/sec
1790.64/1791.13 c primal LP : 0.00 0 0 0.00 -
1790.64/1791.13 c dual LP : 1494.04 162 691451 4268.22 462.81
1790.64/1791.13 c lex dual LP : 0.00 0 0 0.00 -
1790.64/1791.13 c barrier LP : 0.00 0 0 0.00 -
1790.64/1791.13 c diving/probing LP: 0.00 0 0 0.00 -
1790.64/1791.13 c strong branching : 0.00 0 0 0.00 -
1790.64/1791.13 c (at root node) : - 0 0 0.00 -
1790.64/1791.13 c conflict analysis: 0.00 0 0 0.00 -
1790.64/1791.13 c B&B Tree :
1790.64/1791.13 c number of runs : 1
1790.64/1791.13 c nodes : 106
1790.64/1791.13 c nodes (total) : 106
1790.64/1791.13 c nodes left : 107
1790.64/1791.13 c max depth : 19
1790.64/1791.13 c max depth (total): 19
1790.64/1791.13 c backtracks : 11 (10.4%)
1790.64/1791.13 c delayed cutoffs : 0
1790.64/1791.13 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.64/1791.13 c avg switch length: 2.08
1790.64/1791.13 c switching time : 0.06
1790.64/1791.13 c Solution :
1790.64/1791.13 c Solutions found : 0 (0 improvements)
1790.64/1791.13 c Primal Bound : -
1790.64/1791.13 c Dual Bound : +5.54702041764000e+11
1790.64/1791.13 c Gap : infinite
1790.64/1791.13 c Root Dual Bound : +5.54702041751000e+11
1790.64/1791.13 c Root Iterations : 14004
1791.14/1791.68 c Time complete: 1791.23.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704811-1278580152/watcher-2704811-1278580152 -o /tmp/evaluation-result-2704811-1278580152/solver-2704811-1278580152 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704811-1278580152.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.07 1.05 0.97 3/106 1175 /proc/meminfo: memFree=1655704/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=5824 CPUtime=0 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 800 0 0 0 0 0 0 0 17 0 1 0 26221596 5963776 714 1992294400 4194304 8395647 140735028308688 18446744073709551615 7361869 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1175/statm: 1456 717 339 1026 0 426 0 [startup+0.0833941 s] /proc/loadavg: 1.07 1.05 0.97 3/106 1175 /proc/meminfo: memFree=1655704/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=19260 CPUtime=0.07 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 4142 0 0 0 6 1 0 0 17 0 1 0 26221596 19722240 4047 1992294400 4194304 8395647 140735028308688 18446744073709551615 7370118 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1175/statm: 4815 4047 394 1026 0 3785 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 19260 [startup+0.101396 s] /proc/loadavg: 1.07 1.05 0.97 3/106 1175 /proc/meminfo: memFree=1655704/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=20132 CPUtime=0.09 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 4332 0 0 0 8 1 0 0 17 0 1 0 26221596 20615168 4237 1992294400 4194304 8395647 140735028308688 18446744073709551615 4245998 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1175/statm: 5033 4237 394 1026 0 4003 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20132 [startup+0.301413 s] /proc/loadavg: 1.07 1.05 0.97 3/106 1175 /proc/meminfo: memFree=1655704/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=26740 CPUtime=0.29 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 6008 0 0 0 27 2 0 0 17 0 1 0 26221596 27381760 5913 1992294400 4194304 8395647 140735028308688 18446744073709551615 7382066 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1175/statm: 6685 5913 394 1026 0 5655 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26740 [startup+0.701447 s] /proc/loadavg: 1.07 1.05 0.97 3/106 1175 /proc/meminfo: memFree=1655704/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=38588 CPUtime=0.69 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 8959 0 0 0 66 3 0 0 17 0 1 0 26221596 39514112 8864 1992294400 4194304 8395647 140735028308688 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1175/statm: 9647 8864 394 1026 0 8617 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38588 [startup+1.50152 s] /proc/loadavg: 1.07 1.05 0.97 2/107 1176 /proc/meminfo: memFree=1615520/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=59560 CPUtime=1.49 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 14172 0 0 0 144 5 0 0 18 0 1 0 26221596 60989440 14077 1992294400 4194304 8395647 140735028308688 18446744073709551615 7382066 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1175/statm: 14890 14077 394 1026 0 13860 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59560 [startup+3.10166 s] /proc/loadavg: 1.07 1.05 0.97 2/107 1176 /proc/meminfo: memFree=1509128/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=180600 CPUtime=3.09 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 43559 0 0 0 294 15 0 0 21 0 1 0 26221596 184934400 43110 1992294400 4194304 8395647 140735028308688 18446744073709551615 6345229 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 45150 43110 476 1026 0 44120 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180600 [startup+6.30093 s] /proc/loadavg: 1.07 1.05 0.97 2/107 1176 /proc/meminfo: memFree=1460768/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=203980 CPUtime=6.29 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 52877 0 0 0 611 18 0 0 25 0 1 0 26221596 208875520 48973 1992294400 4194304 8395647 140735028308688 18446744073709551615 4715374 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 50995 48973 525 1026 0 49965 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 203980 [startup+12.7015 s] /proc/loadavg: 1.06 1.05 0.97 2/107 1176 /proc/meminfo: memFree=1460768/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=203980 CPUtime=12.69 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 52891 0 0 0 1251 18 0 0 25 0 1 0 26221596 208875520 48987 1992294400 4194304 8395647 140735028308688 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 50995 48987 525 1026 0 49965 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 203980 [startup+25.5006 s] /proc/loadavg: 1.05 1.05 0.97 2/107 1176 /proc/meminfo: memFree=1456180/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=208688 CPUtime=25.48 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 54095 0 0 0 2530 18 0 0 25 0 1 0 26221596 213696512 50191 1992294400 4194304 8395647 140735028308688 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 52172 50191 525 1026 0 51142 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 208688 [startup+51.1008 s] /proc/loadavg: 1.03 1.04 0.97 2/107 1176 /proc/meminfo: memFree=1452460/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=212216 CPUtime=51.07 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 54987 0 0 0 5088 19 0 0 25 0 1 0 26221596 217309184 51083 1992294400 4194304 8395647 140735028308688 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 53054 51083 531 1026 0 52024 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 212216 [startup+102.308 s] /proc/loadavg: 1.01 1.03 0.97 2/107 1178 /proc/meminfo: memFree=1450228/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=214472 CPUtime=102.26 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 55557 0 0 0 10207 19 0 0 25 0 1 0 26221596 219619328 51653 1992294400 4194304 8395647 140735028308688 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 53618 51653 531 1026 0 52588 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 214472 [startup+162.301 s] /proc/loadavg: 1.00 1.03 0.97 2/107 1180 /proc/meminfo: memFree=1446384/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=218332 CPUtime=162.24 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 56529 0 0 0 16205 19 0 0 25 0 1 0 26221596 223571968 52625 1992294400 4194304 8395647 140735028308688 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 54583 52625 531 1026 0 53553 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 218332 [startup+222.301 s] /proc/loadavg: 1.04 1.03 0.98 2/107 1180 /proc/meminfo: memFree=1443284/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=221148 CPUtime=222.22 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 57306 0 0 0 22203 19 0 0 25 0 1 0 26221596 226455552 53402 1992294400 4194304 8395647 140735028308688 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 55287 53402 531 1026 0 54257 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 221148 [startup+282.301 s] /proc/loadavg: 1.01 1.02 0.98 2/107 1182 /proc/meminfo: memFree=1350780/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=331612 CPUtime=282.2 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 84666 0 0 0 28192 28 0 0 25 0 1 0 26221596 339570688 78830 1992294400 4194304 8395647 140735028308688 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 82903 78830 748 1026 0 81873 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 331612 [startup+342.301 s] /proc/loadavg: 1.00 1.02 0.98 2/107 1184 /proc/meminfo: memFree=1310604/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=365364 CPUtime=342.19 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 115570 0 0 0 34162 57 0 0 25 0 1 0 26221596 374132736 86783 1992294400 4194304 8395647 140735028308688 18446744073709551615 6697714 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 91341 86783 826 1026 0 90311 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 365364 [startup+402.301 s] /proc/loadavg: 1.00 1.01 0.98 2/107 1186 /proc/meminfo: memFree=1311596/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=366896 CPUtime=402.17 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 141992 0 0 0 40130 87 0 0 25 0 1 0 26221596 375701504 86700 1992294400 4194304 8395647 140735028308688 18446744073709551615 7382020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 91724 86700 810 1026 0 90694 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 366896 [startup+462.301 s] /proc/loadavg: 1.00 1.01 0.98 2/107 1188 /proc/meminfo: memFree=1315068/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=366952 CPUtime=462.16 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 176936 0 0 0 46095 121 0 0 25 0 1 0 26221596 375758848 87033 1992294400 4194304 8395647 140735028308688 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 91738 87033 900 1026 0 90708 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 366952 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1188 /proc/meminfo: memFree=1332924/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=349736 CPUtime=522.15 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 207787 0 0 0 52067 148 0 0 25 0 1 0 26221596 358129664 82466 1992294400 4194304 8395647 140735028308688 18446744073709551615 6587239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 87434 82466 984 1026 0 86404 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 349736 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1190 /proc/meminfo: memFree=1326476/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=353012 CPUtime=582.13 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 238961 0 0 0 58036 177 0 0 25 0 1 0 26221596 361484288 83407 1992294400 4194304 8395647 140735028308688 18446744073709551615 6739209 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 88253 83407 764 1026 0 87223 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 353012 [startup+642.301 s] /proc/loadavg: 1.08 1.02 0.98 3/108 1195 /proc/meminfo: memFree=1300676/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=353068 CPUtime=642.12 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 272536 0 0 0 64004 208 0 0 25 0 1 0 26221596 361541632 83444 1992294400 4194304 8395647 140735028308688 18446744073709551615 6752542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 88267 83444 771 1026 0 87237 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 353068 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1323128/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=354020 CPUtime=1062.03 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 516153 0 0 0 105781 422 0 0 25 0 1 0 26221596 362516480 83775 1992294400 4194304 8395647 140735028308688 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 88505 83775 806 1026 0 87475 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 354020 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1207 /proc/meminfo: memFree=1309736/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=362864 CPUtime=1122.01 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 553441 0 0 0 111747 454 0 0 25 0 1 0 26221596 371572736 86926 1992294400 4194304 8395647 140735028308688 18446744073709551615 7382016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 90716 86926 889 1026 0 89686 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 362864 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1209 /proc/meminfo: memFree=1325856/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=353860 CPUtime=1181.99 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 594332 0 0 0 117714 485 0 0 25 0 1 0 26221596 362352640 84198 1992294400 4194304 8395647 140735028308688 18446744073709551615 6723944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 88465 84198 1069 1026 0 87435 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 353860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1211 /proc/meminfo: memFree=1332924/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=347996 CPUtime=1241.98 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 632168 0 0 0 123681 517 0 0 25 0 1 0 26221596 356347904 81582 1992294400 4194304 8395647 140735028308688 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 86999 81582 811 1026 0 85969 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 347996 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1213 /proc/meminfo: memFree=1330692/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=347976 CPUtime=1301.97 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 675004 0 0 0 129643 554 0 0 25 0 1 0 26221596 356327424 81579 1992294400 4194304 8395647 140735028308688 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 86994 81579 809 1026 0 85964 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 347976 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 1215 /proc/meminfo: memFree=1309364/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=362076 CPUtime=1361.95 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 703972 0 0 0 135610 585 0 0 25 0 1 0 26221596 370765824 86836 1992294400 4194304 8395647 140735028308688 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 90519 86836 741 1026 0 89489 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 362076 [startup+1422.31 s] /proc/loadavg: 1.06 1.02 0.99 2/107 1215 /proc/meminfo: memFree=1323252/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=354248 CPUtime=1421.95 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 740853 0 0 0 141576 619 0 0 25 0 1 0 26221596 362749952 83464 1992294400 4194304 8395647 140735028308688 18446744073709551615 6752542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 88562 83464 720 1026 0 87532 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 354248 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 0.99 2/107 1218 /proc/meminfo: memFree=1326352/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=353260 CPUtime=1481.92 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 771982 0 0 0 147545 647 0 0 25 0 1 0 26221596 361738240 83159 1992294400 4194304 8395647 140735028308688 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 88315 83159 725 1026 0 87285 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 353260 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 0.99 2/107 1220 /proc/meminfo: memFree=1321888/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=356768 CPUtime=1541.91 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 808897 0 0 0 153512 679 0 0 25 0 1 0 26221596 365330432 83847 1992294400 4194304 8395647 140735028308688 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 89192 83847 880 1026 0 88162 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 356768 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1222 /proc/meminfo: memFree=1335528/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=346208 CPUtime=1601.89 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 849543 0 0 0 159477 712 0 0 25 0 1 0 26221596 354516992 81858 1992294400 4194304 8395647 140735028308688 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 86552 81858 1019 1026 0 85522 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 346208 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1224 /proc/meminfo: memFree=1319036/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=358648 CPUtime=1661.88 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 885640 0 0 0 165444 744 0 0 25 0 1 0 26221596 367255552 85036 1992294400 4194304 8395647 140735028308688 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 89662 85036 904 1026 0 88632 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 358648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1224 /proc/meminfo: memFree=1330444/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=348468 CPUtime=1721.86 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 924411 0 0 0 171406 780 0 0 25 0 1 0 26221596 356831232 81935 1992294400 4194304 8395647 140735028308688 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 87117 81935 692 1026 0 86087 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 348468 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1226 /proc/meminfo: memFree=1306388/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=364088 CPUtime=1781.85 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 963082 0 0 0 177373 812 0 0 25 0 1 0 26221596 372826112 87440 1992294400 4194304 8395647 140735028308688 18446744073709551615 6721238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 91022 87440 703 1026 0 89992 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 364088 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1226 /proc/meminfo: memFree=1306388/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=364088 CPUtime=1785.04 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 963082 0 0 0 177692 812 0 0 25 0 1 0 26221596 372826112 87440 1992294400 4194304 8395647 140735028308688 18446744073709551615 6723543 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 91022 87440 703 1026 0 89992 0 Current children cumulated CPU time (s) 1785.04 Current children cumulated vsize (KiB) 364088 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1226 /proc/meminfo: memFree=1332428/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=348652 CPUtime=1788.24 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 965122 0 0 0 178010 814 0 0 25 0 1 0 26221596 357019648 81176 1992294400 4194304 8395647 140735028308688 18446744073709551615 7382016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 87163 81176 801 1026 0 86133 0 Current children cumulated CPU time (s) 1788.24 Current children cumulated vsize (KiB) 348652 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1226 /proc/meminfo: memFree=1327716/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=349904 CPUtime=1789.85 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 966696 0 0 0 178170 815 0 0 25 0 1 0 26221596 358301696 82619 1992294400 4194304 8395647 140735028308688 18446744073709551615 6439025 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 87476 82619 858 1026 0 86446 0 Current children cumulated CPU time (s) 1789.85 Current children cumulated vsize (KiB) 349904 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1226 /proc/meminfo: memFree=1326104/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=350164 CPUtime=1790.64 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 966766 0 0 0 178249 815 0 0 25 0 1 0 26221596 358567936 82684 1992294400 4194304 8395647 140735028308688 18446744073709551615 5087144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1175/statm: 87541 82684 854 1026 0 86511 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (KiB) 350164 [startup+1791.5 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1226 /proc/meminfo: memFree=1326104/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=350164 CPUtime=1791.04 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 966773 0 0 0 178289 815 0 0 25 0 1 0 26221596 358567936 82691 1992294400 4194304 8395647 140735028308688 18446744073709551615 6066710 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1175/statm: 87541 82691 861 1026 0 86511 0 Current children cumulated CPU time (s) 1791.04 Current children cumulated vsize (KiB) 350164 [startup+1791.6 s] /proc/loadavg: 1.00 1.00 0.99 2/107 1226 /proc/meminfo: memFree=1326104/2059040 swapFree=4139856/4192956 [pid=1175] ppid=1173 vsize=350164 CPUtime=1791.14 /proc/1175/stat : 1175 (pbscip.linux.x8) R 1173 1175 627 0 -1 4202496 966773 0 0 0 178299 815 0 0 25 0 1 0 26221596 358567936 82691 1992294400 4194304 8395647 140735028308688 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1175/statm: 87541 82691 861 1026 0 86511 0 Current children cumulated CPU time (s) 1791.14 Current children cumulated vsize (KiB) 350164 Child status: 0 Real time (s): 1791.69 CPU time (s): 1791.24 CPU user time (s): 1783.05 CPU system time (s): 8.19675 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 368988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.05 system time used= 8.19675 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 966781 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= 1794 runsolver used 3.07253 second user time and 8.34973 second system time The end
Begin job on node057 at 2010-07-08 11:09:12 IDJOB=2704811 IDBENCH=72415 IDSOLVER=1213 FILE ID=node057/2704811-1278580152 PBS_JOBID= 11240070 Free space on /tmp= 62528 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-texlive-generic-recommended.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-2704811-1278580152/watcher-2704811-1278580152 -o /tmp/evaluation-result-2704811-1278580152/solver-2704811-1278580152 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704811-1278580152.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 034b19195de68e87d2a0942756963b51 RANDOM SEED=313369719 node057.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.245 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.49 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.245 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: 1656232 kB Buffers: 74868 kB Cached: 227372 kB SwapCached: 7508 kB Active: 163864 kB Inactive: 152780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1656232 kB SwapTotal: 4192956 kB SwapFree: 4139856 kB Dirty: 14140 kB Writeback: 0 kB AnonPages: 11688 kB Mapped: 12044 kB Slab: 64304 kB PageTables: 4244 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183292 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= 62516 MiB End job on node057 at 2010-07-08 11:39:04