| 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.26 | 1791.85 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-inetutils-syslogd.cudf.trendy.opb |
| MD5SUM | b14ca3834b2e104acbb3f1e9572e37b8 |
| 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 | 5003036097438 |
| Best CPU time to get the best result obtained on this benchmark | 1800.62 |
| 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-2704814-1278580221.opb>
1.59/1.67 c original problem has 21101 variables (21101 bin, 0 int, 0 impl, 0 cont) and 100032 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.10/2.19 c presolving:
2.59/2.69 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.68/2.78 c (round 2) 2440 del vars, 5050 del conss, 68 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161727 impls, 1556 clqs
2.78/2.83 c (round 3) 2517 del vars, 5396 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 161729 impls, 1556 clqs
2.88/2.92 c (round 4) 5442 del vars, 11261 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 161729 impls, 1556 clqs
2.88/2.96 c (round 5) 5464 del vars, 11315 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 161729 impls, 1556 clqs
2.98/3.00 c (round 6) 5475 del vars, 11331 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 161729 impls, 1556 clqs
3.69/3.70 c (round 7) 5482 del vars, 13526 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86474 upgd conss, 161729 impls, 1556 clqs
3.79/3.87 c (round 8) 5485 del vars, 13529 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86474 upgd conss, 161729 impls, 1556 clqs
3.99/4.01 c (round 9) 5485 del vars, 13530 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 161729 impls, 1556 clqs
14.49/14.59 c (round 10) 5536 del vars, 13530 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 369403 impls, 1556 clqs
14.69/14.70 c (round 11) 5536 del vars, 13581 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 369403 impls, 1556 clqs
14.79/14.83 c (round 12) 5536 del vars, 13631 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 369403 impls, 1556 clqs
24.19/24.24 c (round 13) 5586 del vars, 13631 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 463709 impls, 1555 clqs
24.28/24.36 c (round 14) 5586 del vars, 13683 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 463709 impls, 1555 clqs
24.38/24.49 c (round 15) 5586 del vars, 13733 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 463709 impls, 1555 clqs
28.59/28.62 c (26.9s) probing: 1000/15616 (6.4%) - 0 fixings, 112 aggregations, 81107 implications, 0 bound changes
37.07/37.15 c (round 16) 5636 del vars, 13733 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 488385 impls, 1555 clqs
37.17/37.26 c (round 17) 5636 del vars, 13780 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 488385 impls, 1555 clqs
37.28/37.39 c (round 18) 5636 del vars, 13833 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 488385 impls, 1555 clqs
43.06/43.18 c (round 19) 5686 del vars, 13833 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 497599 impls, 1554 clqs
43.16/43.29 c (round 20) 5686 del vars, 13883 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 497599 impls, 1554 clqs
43.36/43.42 c (round 21) 5686 del vars, 13934 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 497599 impls, 1554 clqs
49.66/49.74 c (round 22) 5736 del vars, 13934 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 551525 impls, 1554 clqs
49.76/49.86 c (round 23) 5736 del vars, 13984 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 551525 impls, 1554 clqs
49.87/49.98 c (round 24) 5736 del vars, 14034 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 551525 impls, 1554 clqs
50.27/50.31 c (48.6s) probing: 2000/15616 (12.8%) - 0 fixings, 251 aggregations, 115967 implications, 0 bound changes
61.26/61.36 c (round 25) 5786 del vars, 14034 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 591377 impls, 1554 clqs
61.36/61.48 c (round 26) 5786 del vars, 14083 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 591377 impls, 1554 clqs
61.57/61.61 c (round 27) 5786 del vars, 14138 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 591377 impls, 1554 clqs
69.17/69.22 c (67.5s) probing: 3000/15616 (19.2%) - 0 fixings, 350 aggregations, 142327 implications, 0 bound changes
69.17/69.28 c (round 28) 5836 del vars, 14138 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 605341 impls, 1554 clqs
69.27/69.39 c (round 29) 5836 del vars, 14188 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 605341 impls, 1554 clqs
69.46/69.52 c (round 30) 5836 del vars, 14236 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 605341 impls, 1554 clqs
77.25/77.35 c (round 31) 5886 del vars, 14236 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 621337 impls, 1553 clqs
77.35/77.46 c (round 32) 5886 del vars, 14284 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 621337 impls, 1553 clqs
77.45/77.59 c (round 33) 5886 del vars, 14346 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 621337 impls, 1553 clqs
84.66/84.77 c (round 34) 5936 del vars, 14346 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 630557 impls, 1552 clqs
84.75/84.89 c (round 35) 5936 del vars, 14395 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 630557 impls, 1552 clqs
84.95/85.01 c (round 36) 5936 del vars, 14445 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 630557 impls, 1552 clqs
88.05/88.14 c (86.5s) probing: 4000/15616 (25.6%) - 0 fixings, 478 aggregations, 155177 implications, 0 bound changes
90.45/90.54 c (round 37) 5986 del vars, 14445 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 635699 impls, 1551 clqs
90.55/90.61 c (round 38) 5986 del vars, 14508 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 635699 impls, 1551 clqs
90.65/90.74 c (round 39) 5986 del vars, 14555 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 635699 impls, 1551 clqs
98.05/98.12 c (round 40) 6036 del vars, 14555 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 641455 impls, 1551 clqs
98.15/98.23 c (round 41) 6036 del vars, 14605 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 641455 impls, 1551 clqs
98.25/98.36 c (round 42) 6036 del vars, 14655 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 641455 impls, 1551 clqs
106.05/106.12 c (104.4s) probing: 5000/15616 (32.0%) - 1 fixings, 591 aggregations, 164176 implications, 0 bound changes
107.85/107.93 c (round 43) 6086 del vars, 14655 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 657691 impls, 1550 clqs
107.94/108.05 c (round 44) 6086 del vars, 14702 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 657691 impls, 1550 clqs
108.04/108.18 c (round 45) 6086 del vars, 14752 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 657691 impls, 1550 clqs
117.24/117.34 c (round 46) 6136 del vars, 14752 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 670965 impls, 1550 clqs
117.34/117.45 c (round 47) 6136 del vars, 14802 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 670965 impls, 1550 clqs
117.44/117.58 c (round 48) 6136 del vars, 14852 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 670965 impls, 1550 clqs
123.94/124.06 c (122.4s) probing: 6000/15616 (38.4%) - 1 fixings, 694 aggregations, 175805 implications, 0 bound changes
124.34/124.43 c (round 49) 6186 del vars, 14855 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 676017 impls, 1550 clqs
124.43/124.54 c (round 50) 6186 del vars, 14903 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 676017 impls, 1550 clqs
124.53/124.67 c (round 51) 6186 del vars, 14959 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 676017 impls, 1550 clqs
130.33/130.48 c (round 52) 6236 del vars, 14959 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 685077 impls, 1550 clqs
130.43/130.59 c (round 53) 6236 del vars, 15006 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 685077 impls, 1550 clqs
130.63/130.72 c (round 54) 6236 del vars, 15057 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 685077 impls, 1550 clqs
135.24/135.31 c (round 55) 6286 del vars, 15057 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 688077 impls, 1550 clqs
135.33/135.42 c (round 56) 6286 del vars, 15105 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 688077 impls, 1550 clqs
135.43/135.55 c (round 57) 6286 del vars, 15155 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 688077 impls, 1550 clqs
141.53/141.62 c (139.9s) probing: 7000/15616 (44.8%) - 1 fixings, 826 aggregations, 183963 implications, 0 bound changes
145.14/145.29 c (round 58) 6336 del vars, 15155 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 697625 impls, 1550 clqs
145.33/145.40 c (round 59) 6336 del vars, 15201 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 697625 impls, 1550 clqs
145.43/145.53 c (round 60) 6336 del vars, 15254 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 697625 impls, 1550 clqs
157.33/157.43 c (round 61) 6386 del vars, 15254 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 710095 impls, 1550 clqs
157.43/157.54 c (round 62) 6386 del vars, 15301 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 710095 impls, 1550 clqs
157.53/157.68 c (round 63) 6386 del vars, 15356 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 710095 impls, 1550 clqs
158.92/159.08 c (157.4s) probing: 8000/15616 (51.2%) - 1 fixings, 902 aggregations, 193267 implications, 0 bound changes
167.03/167.11 c (round 64) 6436 del vars, 15356 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 714549 impls, 1550 clqs
167.13/167.23 c (round 65) 6436 del vars, 15408 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 714549 impls, 1550 clqs
167.22/167.36 c (round 66) 6436 del vars, 15455 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 714549 impls, 1550 clqs
176.02/176.16 c (174.5s) probing: 9000/15616 (57.6%) - 2 fixings, 987 aggregations, 200318 implications, 0 bound changes
177.42/177.50 c (round 67) 6486 del vars, 15455 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 730815 impls, 1550 clqs
177.52/177.62 c (round 68) 6486 del vars, 15504 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 730815 impls, 1550 clqs
177.62/177.75 c (round 69) 6486 del vars, 15554 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 730815 impls, 1550 clqs
183.72/183.81 c (round 70) 6536 del vars, 15554 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 738775 impls, 1550 clqs
183.82/183.93 c (round 71) 6536 del vars, 15604 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 738775 impls, 1550 clqs
183.92/184.06 c (round 72) 6536 del vars, 15654 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 738775 impls, 1550 clqs
190.12/190.20 c (round 73) 6586 del vars, 15654 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 744891 impls, 1550 clqs
190.22/190.32 c (round 74) 6586 del vars, 15704 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 744891 impls, 1550 clqs
190.32/190.45 c (round 75) 6586 del vars, 15754 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 744891 impls, 1550 clqs
192.91/193.05 c (191.4s) probing: 10000/15616 (64.0%) - 2 fixings, 1121 aggregations, 215513 implications, 0 bound changes
195.81/195.97 c (round 76) 6636 del vars, 15754 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 769137 impls, 1550 clqs
195.91/196.08 c (round 77) 6636 del vars, 15799 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 769137 impls, 1550 clqs
196.11/196.22 c (round 78) 6636 del vars, 15854 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 769137 impls, 1550 clqs
200.51/200.68 c (round 79) 6686 del vars, 15854 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 771091 impls, 1550 clqs
200.71/200.80 c (round 80) 6686 del vars, 15903 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 771091 impls, 1550 clqs
200.81/200.93 c (round 81) 6686 del vars, 15955 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 771091 impls, 1550 clqs
207.01/207.12 c (round 82) 6736 del vars, 15955 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 794697 impls, 1550 clqs
207.11/207.24 c (round 83) 6736 del vars, 16000 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 794697 impls, 1550 clqs
207.21/207.37 c (round 84) 6736 del vars, 16049 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 794697 impls, 1550 clqs
209.92/210.08 c (208.4s) probing: 11000/15616 (70.4%) - 2 fixings, 1281 aggregations, 241256 implications, 0 bound changes
212.22/212.38 c (round 85) 6786 del vars, 16049 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 811691 impls, 1550 clqs
212.41/212.50 c (round 86) 6786 del vars, 16099 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 811691 impls, 1550 clqs
212.51/212.64 c (round 87) 6786 del vars, 16149 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 811691 impls, 1550 clqs
219.31/219.43 c (round 88) 6836 del vars, 16149 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 826971 impls, 1550 clqs
219.41/219.55 c (round 89) 6836 del vars, 16198 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 826971 impls, 1550 clqs
219.51/219.68 c (round 90) 6836 del vars, 16248 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 826971 impls, 1550 clqs
224.31/224.49 c (round 91) 6886 del vars, 16248 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 831641 impls, 1550 clqs
224.50/224.61 c (round 92) 6886 del vars, 16300 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 831641 impls, 1550 clqs
224.60/224.75 c (round 93) 6886 del vars, 16348 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 831641 impls, 1550 clqs
227.00/227.13 c (225.5s) probing: 12000/15616 (76.8%) - 3 fixings, 1426 aggregations, 264267 implications, 0 bound changes
229.71/229.86 c (round 94) 6936 del vars, 16348 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 867565 impls, 1550 clqs
229.90/230.00 c (round 95) 6936 del vars, 16399 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 867565 impls, 1550 clqs
230.01/230.15 c (round 96) 6936 del vars, 16450 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 867565 impls, 1550 clqs
235.31/235.47 c (round 97) 6986 del vars, 16450 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 892407 impls, 1550 clqs
235.41/235.59 c (round 98) 6986 del vars, 16500 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 892407 impls, 1550 clqs
235.61/235.73 c (round 99) 6986 del vars, 16550 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 892407 impls, 1550 clqs
243.60/243.78 c (round 100) 7036 del vars, 16550 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 914871 impls, 1550 clqs
243.80/243.91 c (round 101) 7036 del vars, 16601 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 914871 impls, 1550 clqs
243.90/244.05 c (round 102) 7036 del vars, 16651 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 914871 impls, 1550 clqs
244.20/244.33 c (242.7s) probing: 13000/15616 (83.2%) - 3 fixings, 1548 aggregations, 304802 implications, 0 bound changes
253.49/253.67 c (round 103) 7086 del vars, 16651 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 1042999 impls, 1550 clqs
253.69/253.80 c (round 104) 7086 del vars, 16700 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 1042999 impls, 1550 clqs
253.79/253.93 c (round 105) 7086 del vars, 16753 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 1042999 impls, 1550 clqs
264.38/264.54 c (262.9s) probing: 14000/15616 (89.7%) - 4 fixings, 1619 aggregations, 448023 implications, 0 bound changes
283.59/283.71 c (round 106) 7136 del vars, 16753 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 1409869 impls, 1550 clqs
283.69/283.83 c (round 107) 7136 del vars, 16806 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 1409869 impls, 1550 clqs
283.78/283.97 c (round 108) 7136 del vars, 16851 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 1409869 impls, 1550 clqs
284.58/284.74 c (283.1s) probing: 15000/15616 (96.1%) - 6 fixings, 1646 aggregations, 581218 implications, 0 bound changes
295.38/295.51 c (round 109) 7141 del vars, 16851 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 1467467 impls, 1550 clqs
295.48/295.63 c (round 110) 7143 del vars, 16855 del conss, 68 chg bounds, 0 chg sides, 10 chg coeffs, 86504 upgd conss, 1467471 impls, 1550 clqs
295.58/295.76 c presolving (111 rounds):
295.58/295.76 c 7143 deleted vars, 16857 deleted constraints, 68 tightened bounds, 0 added holes, 0 changed sides, 10 changed coefficients
295.58/295.76 c 1467471 implications, 1550 cliques
295.58/295.76 c presolved problem has 13958 variables (13958 bin, 0 int, 0 impl, 0 cont) and 83175 constraints
295.58/295.76 c 23703 constraints of type <setppc>
295.58/295.76 c 59472 constraints of type <logicor>
295.58/295.76 c transformed objective value is always integral (scale: 1)
295.58/295.76 c Presolving Time: 293.71
295.58/295.76 c - non default parameters ----------------------------------------------------------------------
295.58/295.76 c # SCIP version 1.2.1.3
295.58/295.76 c
295.58/295.76 c # frequency for displaying node information lines
295.58/295.76 c # [type: int, range: [-1,2147483647], default: 100]
295.58/295.76 c display/freq = 10000
295.58/295.76 c
295.58/295.76 c # maximal time in seconds to run
295.58/295.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
295.58/295.76 c limits/time = 1788.33
295.58/295.76 c
295.58/295.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
295.58/295.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
295.58/295.76 c limits/memory = 1620
295.58/295.76 c
295.58/295.76 c # default clock type (1: CPU user seconds, 2: wall clock time)
295.58/295.76 c # [type: int, range: [1,2], default: 1]
295.58/295.76 c timing/clocktype = 2
295.58/295.76 c
295.58/295.76 c # should presolving try to simplify inequalities
295.58/295.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
295.58/295.76 c constraints/linear/simplifyinequalities = TRUE
295.58/295.76 c
295.58/295.76 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
295.58/295.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
295.58/295.76 c constraints/indicator/addCouplingCons = TRUE
295.58/295.76 c
295.58/295.76 c # should presolving try to simplify knapsacks
295.58/295.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
295.58/295.76 c constraints/knapsack/simplifyinequalities = TRUE
295.58/295.76 c
295.58/295.76 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
295.58/295.76 c # [type: int, range: [-1,2147483647], default: -1]
295.58/295.76 c separating/rapidlearning/freq = 0
295.58/295.76 c
295.58/295.76 c -----------------------------------------------------------------------------------------------
295.58/295.76 c start solving
295.58/295.78 c
330.36/330.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.36/330.50 c 329s| 1 | 2 | 14064 | - | 192M| 0 | - | 13k| 83k| 13k| 81k| 0 | 0 | 0 | 7.131620e+11 | -- | Inf
1790.60/1791.27 c
1790.60/1791.27 c SCIP Status : solving was interrupted [time limit reached]
1790.60/1791.27 c Solving Time (sec) : 1789.59
1790.60/1791.27 c Solving Nodes : 96
1790.60/1791.27 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.60/1791.27 c Dual Bound : +7.13161986503000e+11
1790.60/1791.27 c Gap : infinite
1790.60/1791.27 s UNKNOWN
1790.60/1791.27 c SCIP Status : solving was interrupted [time limit reached]
1790.60/1791.27 c Solving Time : 1789.59
1790.60/1791.27 c Original Problem :
1790.60/1791.27 c Problem name : HOME/instance-2704814-1278580221.opb
1790.60/1791.27 c Variables : 21101 (21101 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.60/1791.27 c Constraints : 100032 initial, 100032 maximal
1790.60/1791.27 c Presolved Problem :
1790.60/1791.27 c Problem name : t_HOME/instance-2704814-1278580221.opb
1790.60/1791.27 c Variables : 13958 (13958 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.60/1791.27 c Constraints : 83175 initial, 83175 maximal
1790.60/1791.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.60/1791.27 c trivial : 0.32 2 0 0 0 0 0 0 0
1790.60/1791.27 c dualfix : 0.35 4142 0 0 0 0 0 0 0
1790.60/1791.27 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.60/1791.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.60/1791.27 c implics : 0.76 0 30 0 0 0 0 0 0
1790.60/1791.27 c probing : 278.79 8 1648 0 0 0 0 0 0
1790.60/1791.27 c setppc : 3.13 0 0 0 0 0 3309 0 0
1790.60/1791.27 c linear : 1.12 66 1247 0 68 0 13528 0 10
1790.60/1791.27 c logicor : 8.84 0 0 0 0 0 20 0 0
1790.60/1791.27 c root node : - 0 - - 0 - - - -
1790.60/1791.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.60/1791.27 c integral : 0 0 0 0 0 0 0 0 0 0
1790.60/1791.27 c setppc : 23703 0 47323 0 96 0 1590 0 0 0
1790.60/1791.27 c logicor : 59472 0 39942 0 96 8 2342 0 0 0
1790.60/1791.27 c countsols : 0 0 0 0 96 0 0 0 0 0
1790.60/1791.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.60/1791.27 c integral : 0.00 0.00 0.00 0.00 0.00
1790.60/1791.27 c setppc : 200.72 0.00 199.02 0.00 1.70
1790.60/1791.27 c logicor : 12.68 0.00 7.01 0.00 5.67
1790.60/1791.27 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.60/1791.27 c Propagators : Time Calls Cutoffs DomReds
1790.60/1791.27 c vbounds : 0.06 2 0 0
1790.60/1791.27 c rootredcost : 0.02 0 0 0
1790.60/1791.27 c pseudoobj : 0.26 194 0 0
1790.60/1791.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.60/1791.27 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.60/1791.27 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.60/1791.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.60/1791.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.60/1791.27 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.60/1791.27 c applied globally : - - - 0 0.0 - - -
1790.60/1791.27 c applied locally : - - - 0 0.0 - - -
1790.60/1791.27 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.60/1791.27 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.60/1791.27 c redcost : 0.00 0 0 0 0 0
1790.60/1791.27 c impliedbounds : 0.00 0 0 0 0 0
1790.60/1791.27 c intobj : 0.00 0 0 0 0 0
1790.60/1791.27 c cgmip : 0.00 0 0 0 0 0
1790.60/1791.27 c gomory : 0.00 0 0 0 0 0
1790.60/1791.27 c strongcg : 0.00 0 0 0 0 0
1790.60/1791.27 c cmir : 0.00 0 0 0 0 0
1790.60/1791.27 c flowcover : 0.00 0 0 0 0 0
1790.60/1791.27 c clique : 0.00 0 0 0 0 0
1790.60/1791.27 c zerohalf : 0.00 0 0 0 0 0
1790.60/1791.27 c mcf : 0.00 0 0 0 0 0
1790.60/1791.27 c rapidlearning : 0.00 0 0 0 0 0
1790.60/1791.27 c Pricers : Time Calls Vars
1790.60/1791.27 c problem variables: 0.00 0 0
1790.60/1791.27 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.60/1791.27 c relpscost : 0.00 0 0 0 0 0 0
1790.60/1791.27 c pscost : 0.00 0 0 0 0 0 0
1790.60/1791.27 c inference : 0.72 96 0 0 0 0 192
1790.60/1791.27 c mostinf : 0.00 0 0 0 0 0 0
1790.60/1791.27 c leastinf : 0.00 0 0 0 0 0 0
1790.60/1791.27 c fullstrong : 0.00 0 0 0 0 0 0
1790.60/1791.27 c allfullstrong : 0.00 0 0 0 0 0 0
1790.60/1791.27 c random : 0.00 0 0 0 0 0 0
1790.60/1791.27 c Primal Heuristics : Time Calls Found
1790.60/1791.27 c LP solutions : 0.00 - 0
1790.60/1791.27 c pseudo solutions : 0.00 - 0
1790.60/1791.27 c oneopt : 0.00 0 0
1790.60/1791.27 c trivial : 0.09 2 0
1790.60/1791.27 c simplerounding : 0.00 0 0
1790.60/1791.27 c zirounding : 0.00 0 0
1790.60/1791.27 c rounding : 0.00 0 0
1790.60/1791.27 c shifting : 0.00 0 0
1790.60/1791.27 c intshifting : 0.00 0 0
1790.60/1791.27 c twoopt : 0.00 0 0
1790.60/1791.27 c fixandinfer : 0.00 0 0
1790.60/1791.27 c feaspump : 0.00 0 0
1790.60/1791.27 c coefdiving : 0.00 0 0
1790.60/1791.27 c pscostdiving : 0.00 0 0
1790.60/1791.27 c fracdiving : 0.00 0 0
1790.60/1791.27 c veclendiving : 0.00 0 0
1790.60/1791.27 c intdiving : 0.00 0 0
1790.60/1791.27 c actconsdiving : 0.00 0 0
1790.60/1791.27 c objpscostdiving : 0.00 0 0
1790.60/1791.27 c rootsoldiving : 0.00 0 0
1790.60/1791.27 c linesearchdiving : 0.00 0 0
1790.60/1791.27 c guideddiving : 0.00 0 0
1790.60/1791.27 c octane : 0.00 0 0
1790.60/1791.27 c rens : 0.00 0 0
1790.60/1791.27 c rins : 0.00 0 0
1790.60/1791.27 c localbranching : 0.00 0 0
1790.60/1791.27 c mutation : 0.00 0 0
1790.60/1791.27 c crossover : 0.00 0 0
1790.60/1791.27 c dins : 0.00 0 0
1790.60/1791.27 c undercover : 0.00 0 0
1790.60/1791.27 c nlp : 0.00 0 0
1790.60/1791.27 c trysol : 0.00 0 0
1790.60/1791.27 c LP : Time Calls Iterations Iter/call Iter/sec
1790.60/1791.27 c primal LP : 0.00 0 0 0.00 -
1790.60/1791.27 c dual LP : 1480.63 125 630675 5045.40 425.95
1790.60/1791.27 c lex dual LP : 0.00 0 0 0.00 -
1790.60/1791.27 c barrier LP : 0.00 0 0 0.00 -
1790.60/1791.27 c diving/probing LP: 0.00 0 0 0.00 -
1790.60/1791.27 c strong branching : 0.00 0 0 0.00 -
1790.60/1791.27 c (at root node) : - 0 0 0.00 -
1790.60/1791.27 c conflict analysis: 0.00 0 0 0.00 -
1790.60/1791.27 c B&B Tree :
1790.60/1791.27 c number of runs : 1
1790.60/1791.27 c nodes : 96
1790.60/1791.27 c nodes (total) : 96
1790.60/1791.27 c nodes left : 97
1790.60/1791.27 c max depth : 25
1790.60/1791.27 c max depth (total): 25
1790.60/1791.27 c backtracks : 7 (7.3%)
1790.60/1791.27 c delayed cutoffs : 0
1790.60/1791.27 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.60/1791.27 c avg switch length: 1.88
1790.60/1791.27 c switching time : 0.03
1790.60/1791.27 c Solution :
1790.60/1791.27 c Solutions found : 0 (0 improvements)
1790.60/1791.27 c Primal Bound : -
1790.60/1791.27 c Dual Bound : +7.13161986503000e+11
1790.60/1791.27 c Gap : infinite
1790.60/1791.27 c Root Dual Bound : +7.13161986501000e+11
1790.60/1791.27 c Root Iterations : 14064
1791.21/1791.84 c Time complete: 1791.25.
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-2704814-1278580221/watcher-2704814-1278580221 -o /tmp/evaluation-result-2704814-1278580221/solver-2704814-1278580221 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704814-1278580221.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.02 1.01 1.00 3/106 30868 /proc/meminfo: memFree=1839808/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=7904 CPUtime=0 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 1039 0 0 0 0 0 0 0 20 0 1 0 26229565 8093696 951 1992294400 4194304 8395647 140733464297664 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30868/statm: 1976 959 365 1026 0 946 0 [startup+0.0732991 s] /proc/loadavg: 1.02 1.01 1.00 3/106 30868 /proc/meminfo: memFree=1839808/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=18236 CPUtime=0.06 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 3860 0 0 0 5 1 0 0 20 0 1 0 26229565 18673664 3766 1992294400 4194304 8395647 140733464297664 18446744073709551615 7430272 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30868/statm: 4559 3766 394 1026 0 3529 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18236 [startup+0.100292 s] /proc/loadavg: 1.02 1.01 1.00 3/106 30868 /proc/meminfo: memFree=1839808/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=19980 CPUtime=0.09 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 4323 0 0 0 8 1 0 0 20 0 1 0 26229565 20459520 4229 1992294400 4194304 8395647 140733464297664 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30868/statm: 4995 4229 394 1026 0 3965 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19980 [startup+0.300314 s] /proc/loadavg: 1.02 1.01 1.00 3/106 30868 /proc/meminfo: memFree=1839808/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=26740 CPUtime=0.29 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 6007 0 0 0 27 2 0 0 20 0 1 0 26229565 27381760 5913 1992294400 4194304 8395647 140733464297664 18446744073709551615 7370943 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30868/statm: 6685 5913 394 1026 0 5655 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26740 [startup+0.700358 s] /proc/loadavg: 1.02 1.01 1.00 3/106 30868 /proc/meminfo: memFree=1839808/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=38588 CPUtime=0.69 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 8958 0 0 0 66 3 0 0 20 0 1 0 26229565 39514112 8864 1992294400 4194304 8395647 140733464297664 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30868/statm: 9647 8864 394 1026 0 8617 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38588 [startup+1.50045 s] /proc/loadavg: 1.02 1.01 1.00 2/107 30869 /proc/meminfo: memFree=1799624/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=59560 CPUtime=1.49 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 14170 0 0 0 143 6 0 0 23 0 1 0 26229565 60989440 14076 1992294400 4194304 8395647 140733464297664 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30868/statm: 14890 14076 394 1026 0 13860 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59560 [startup+3.10062 s] /proc/loadavg: 1.02 1.01 1.00 2/107 30869 /proc/meminfo: memFree=1693356/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=180600 CPUtime=3.09 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 43558 0 0 0 295 14 0 0 25 0 1 0 26229565 184934400 43110 1992294400 4194304 8395647 140733464297664 18446744073709551615 4288144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 45150 43110 476 1026 0 44120 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180600 [startup+6.30097 s] /proc/loadavg: 1.02 1.01 1.00 2/107 30869 /proc/meminfo: memFree=1644872/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=204012 CPUtime=6.29 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 52883 0 0 0 612 17 0 0 25 0 1 0 26229565 208908288 48980 1992294400 4194304 8395647 140733464297664 18446744073709551615 5085404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 51003 48980 525 1026 0 49973 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 204012 [startup+12.7007 s] /proc/loadavg: 1.01 1.01 1.00 2/107 30869 /proc/meminfo: memFree=1644872/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=204012 CPUtime=12.69 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 52914 0 0 0 1252 17 0 0 25 0 1 0 26229565 208908288 48993 1992294400 4194304 8395647 140733464297664 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 51003 48993 507 1026 0 49973 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 204012 [startup+25.5011 s] /proc/loadavg: 1.01 1.01 1.00 2/107 30869 /proc/meminfo: memFree=1640408/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=208492 CPUtime=25.48 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 54061 0 0 0 2531 17 0 0 25 0 1 0 26229565 213495808 50140 1992294400 4194304 8395647 140733464297664 18446744073709551615 5215822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 52123 50140 507 1026 0 51093 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 208492 [startup+51.1019 s] /proc/loadavg: 1.01 1.00 1.00 2/107 30869 /proc/meminfo: memFree=1634580/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=214076 CPUtime=51.07 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 55498 0 0 0 5089 18 0 0 25 0 1 0 26229565 219213824 51577 1992294400 4194304 8395647 140733464297664 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 53519 51577 513 1026 0 52489 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 214076 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30871 /proc/meminfo: memFree=1630736/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=217648 CPUtime=102.25 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 56419 0 0 0 10207 18 0 0 25 0 1 0 26229565 222871552 52498 1992294400 4194304 8395647 140733464297664 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 54412 52498 513 1026 0 53382 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 217648 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30873 /proc/meminfo: memFree=1628380/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=219932 CPUtime=162.22 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 57002 0 0 0 16204 18 0 0 25 0 1 0 26229565 225210368 53081 1992294400 4194304 8395647 140733464297664 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 54983 53081 513 1026 0 53953 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 219932 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30875 /proc/meminfo: memFree=1627016/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=220956 CPUtime=222.21 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 57367 0 0 0 22203 18 0 0 25 0 1 0 26229565 226258944 53446 1992294400 4194304 8395647 140733464297664 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 55239 53446 513 1026 0 54209 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 220956 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30875 /proc/meminfo: memFree=1607300/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=240544 CPUtime=282.19 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 62272 0 0 0 28199 20 0 0 25 0 1 0 26229565 246317056 58351 1992294400 4194304 8395647 140733464297664 18446744073709551615 4216106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 60136 58351 513 1026 0 59106 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 240544 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30877 /proc/meminfo: memFree=1479828/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=382212 CPUtime=342.16 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 116907 0 0 0 34164 52 0 0 25 0 1 0 26229565 391385088 90429 1992294400 4194304 8395647 140733464297664 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 95553 90429 774 1026 0 94523 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 382212 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30879 /proc/meminfo: memFree=1503760/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=357588 CPUtime=402.14 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 155655 0 0 0 40132 82 0 0 25 0 1 0 26229565 366170112 85179 1992294400 4194304 8395647 140733464297664 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 89397 85179 803 1026 0 88367 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 357588 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30881 /proc/meminfo: memFree=1480572/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=383292 CPUtime=462.13 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 191960 0 0 0 46105 108 0 0 25 0 1 0 26229565 392491008 90462 1992294400 4194304 8395647 140733464297664 18446744073709551615 6697666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 95823 90462 687 1026 0 94793 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 383292 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30883 /proc/meminfo: memFree=1482060/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=379784 CPUtime=522.1 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 231782 0 0 0 52073 137 0 0 25 0 1 0 26229565 388898816 89932 1992294400 4194304 8395647 140733464297664 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 94946 89932 751 1026 0 93916 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 379784 [startup+582.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 30886 /proc/meminfo: memFree=1495764/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=358748 CPUtime=582.09 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 261974 0 0 0 58046 163 0 0 25 0 1 0 26229565 367357952 85916 1992294400 4194304 8395647 140733464297664 18446744073709551615 6440888 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 89687 85916 650 1026 0 88657 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 358748 [startup+642.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 30888 /proc/meminfo: memFree=1465756/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=389628 CPUtime=642.07 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 298529 0 0 0 64018 189 0 0 25 0 1 0 26229565 398979072 93626 1992294400 4194304 8395647 140733464297664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 97407 93626 698 1026 0 96377 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 389628 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1475800/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=386168 CPUtime=1121.9 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 552041 0 0 0 111778 412 0 0 25 0 1 0 26229565 395436032 91185 1992294400 4194304 8395647 140733464297664 18446744073709551615 6636339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 96542 91185 702 1026 0 95512 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 386168 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30902 /proc/meminfo: memFree=1483736/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=378384 CPUtime=1181.89 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 580528 0 0 0 117753 436 0 0 25 0 1 0 26229565 387465216 89834 1992294400 4194304 8395647 140733464297664 18446744073709551615 7382020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 94596 89834 1039 1026 0 93566 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 378384 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30904 /proc/meminfo: memFree=1496136/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=372440 CPUtime=1241.87 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 615050 0 0 0 123724 463 0 0 25 0 1 0 26229565 381378560 86405 1992294400 4194304 8395647 140733464297664 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 93110 86405 678 1026 0 92080 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 372440 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30906 /proc/meminfo: memFree=1486464/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=375396 CPUtime=1301.85 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 652910 0 0 0 129693 492 0 0 25 0 1 0 26229565 384405504 88480 1992294400 4194304 8395647 140733464297664 18446744073709551615 6721238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 93849 88480 746 1026 0 92819 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 375396 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30908 /proc/meminfo: memFree=1482372/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=379180 CPUtime=1361.83 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 689713 0 0 0 135661 522 0 0 25 0 1 0 26229565 388280320 89584 1992294400 4194304 8395647 140733464297664 18446744073709551615 6752552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 94795 89584 695 1026 0 93765 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 379180 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30910 /proc/meminfo: memFree=1470964/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=385712 CPUtime=1421.82 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 728496 0 0 0 141628 554 0 0 25 0 1 0 26229565 394969088 92621 1992294400 4194304 8395647 140733464297664 18446744073709551615 6721240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 96428 92621 992 1026 0 95398 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 385712 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30910 /proc/meminfo: memFree=1484108/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=378880 CPUtime=1481.8 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 761028 0 0 0 147597 583 0 0 25 0 1 0 26229565 387973120 89257 1992294400 4194304 8395647 140733464297664 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 94720 89257 699 1026 0 93690 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 378880 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30912 /proc/meminfo: memFree=1477908/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=383980 CPUtime=1541.78 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 798061 0 0 0 153565 613 0 0 25 0 1 0 26229565 393195520 90842 1992294400 4194304 8395647 140733464297664 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 95995 90842 699 1026 0 94965 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 383980 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30914 /proc/meminfo: memFree=1495888/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=372376 CPUtime=1601.76 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 838671 0 0 0 159528 648 0 0 25 0 1 0 26229565 381313024 87477 1992294400 4194304 8395647 140733464297664 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 93094 87477 863 1026 0 92064 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 372376 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30916 /proc/meminfo: memFree=1489068/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=373340 CPUtime=1661.74 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 870553 0 0 0 165497 677 0 0 25 0 1 0 26229565 382300160 87739 1992294400 4194304 8395647 140733464297664 18446744073709551615 6721235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 93335 87739 669 1026 0 92305 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 373340 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30918 /proc/meminfo: memFree=1481504/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=379136 CPUtime=1721.72 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 900282 0 0 0 171468 704 0 0 25 0 1 0 26229565 388235264 90008 1992294400 4194304 8395647 140733464297664 18446744073709551615 6721238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 94784 90008 966 1026 0 93754 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 379136 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30918 /proc/meminfo: memFree=1481380/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=378456 CPUtime=1781.7 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 920476 0 0 0 177441 729 0 0 25 0 1 0 26229565 387538944 89603 1992294400 4194304 8395647 140733464297664 18446744073709551615 6697688 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 94614 89603 694 1026 0 93584 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 378456 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30918 /proc/meminfo: memFree=1481380/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=378456 CPUtime=1784.91 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 920476 0 0 0 177761 730 0 0 25 0 1 0 26229565 387538944 89603 1992294400 4194304 8395647 140733464297664 18446744073709551615 6636350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 94614 89603 694 1026 0 93584 0 Current children cumulated CPU time (s) 1784.91 Current children cumulated vsize (KiB) 378456 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30918 /proc/meminfo: memFree=1481380/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=378456 CPUtime=1788.11 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 920486 0 0 0 178080 731 0 0 25 0 1 0 26229565 387538944 89613 1992294400 4194304 8395647 140733464297664 18446744073709551615 6721238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 94614 89613 694 1026 0 93584 0 Current children cumulated CPU time (s) 1788.11 Current children cumulated vsize (KiB) 378456 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30918 /proc/meminfo: memFree=1481256/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=378456 CPUtime=1789.7 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 920518 0 0 0 178239 731 0 0 25 0 1 0 26229565 387538944 89639 1992294400 4194304 8395647 140733464297664 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 94614 89639 688 1026 0 93584 0 Current children cumulated CPU time (s) 1789.7 Current children cumulated vsize (KiB) 378456 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30918 /proc/meminfo: memFree=1481256/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=378456 CPUtime=1790.5 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 920536 0 0 0 178319 731 0 0 25 0 1 0 26229565 387538944 89654 1992294400 4194304 8395647 140733464297664 18446744073709551615 6697804 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30868/statm: 94614 89654 685 1026 0 93584 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (KiB) 378456 [startup+1791.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30918 /proc/meminfo: memFree=1481256/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=378456 CPUtime=1790.9 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 920544 0 0 0 178359 731 0 0 25 0 1 0 26229565 387538944 89662 1992294400 4194304 8395647 140733464297664 18446744073709551615 4213905 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30868/statm: 94614 89662 693 1026 0 93584 0 Current children cumulated CPU time (s) 1790.9 Current children cumulated vsize (KiB) 378456 [startup+1791.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30918 /proc/meminfo: memFree=1481256/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=378456 CPUtime=1791.1 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 920544 0 0 0 178379 731 0 0 25 0 1 0 26229565 387538944 89662 1992294400 4194304 8395647 140733464297664 18446744073709551615 6066710 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30868/statm: 94614 89662 693 1026 0 93584 0 Current children cumulated CPU time (s) 1791.1 Current children cumulated vsize (KiB) 378456 [startup+1791.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30918 /proc/meminfo: memFree=1535692/2059040 swapFree=4139756/4192956 [pid=30868] ppid=30866 vsize=314872 CPUtime=1791.21 /proc/30868/stat : 30868 (pbscip.linux.x8) R 30866 30868 30215 0 -1 4202496 920544 0 0 0 178389 732 0 0 25 0 1 0 26229565 322428928 74991 1992294400 4194304 8395647 140733464297664 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30868/statm: 78718 74991 642 1026 0 77688 0 Current children cumulated CPU time (s) 1791.21 Current children cumulated vsize (KiB) 314872 Child status: 0 Real time (s): 1791.85 CPU time (s): 1791.26 CPU user time (s): 1783.9 CPU system time (s): 7.35688 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 397624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.9 system time used= 7.35688 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 920552 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 4397 runsolver used 3.01654 second user time and 8.41272 second system time The end
Begin job on node042 at 2010-07-08 11:10:21 IDJOB=2704814 IDBENCH=72480 IDSOLVER=1213 FILE ID=node042/2704814-1278580221 PBS_JOBID= 11240083 Free space on /tmp= 62496 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-inetutils-syslogd.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-2704814-1278580221/watcher-2704814-1278580221 -o /tmp/evaluation-result-2704814-1278580221/solver-2704814-1278580221 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704814-1278580221.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b14ca3834b2e104acbb3f1e9572e37b8 RANDOM SEED=1969296079 node042.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.213 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.42 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.213 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1840336 kB Buffers: 18572 kB Cached: 116832 kB SwapCached: 6336 kB Active: 51416 kB Inactive: 97176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1840336 kB SwapTotal: 4192956 kB SwapFree: 4139756 kB Dirty: 14000 kB Writeback: 52 kB AnonPages: 11680 kB Mapped: 12020 kB Slab: 47980 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181440 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62488 MiB End job on node042 at 2010-07-08 11:40:13