| 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.08 | 1791.62 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/ 10orplus/normalized-monodevelop-nunit.cudf.trendy.opb |
| MD5SUM | 6abb8e3d800a21cf05d8a620cda51607 |
| 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 | 3450339292023 |
| Best CPU time to get the best result obtained on this benchmark | 1800.46 |
| 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 | 21160 |
| Total number of constraints | 100329 |
| Number of constraints which are clauses | 98759 |
| Number of constraints which are cardinality constraints (but not clauses) | 1570 |
| 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 | 8614 |
| Biggest coefficient in the objective function | 80007275629 |
| Number of bits for the biggest coefficient in the objective function | 37 |
| Sum of the numbers in the objective function | 236901506003854 |
| Number of bits of the sum of numbers in the objective function | 48 |
| Biggest number in a constraint | 80007275629 |
| Number of bits of the biggest number in a constraint | 37 |
| Biggest sum of numbers in a constraint | 236901506003854 |
| 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-2704810-1278580134.opb>
1.59/1.67 c original problem has 21160 variables (21160 bin, 0 int, 0 impl, 0 cont) and 100329 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.20/2.20 c presolving:
2.59/2.69 c (round 1) 2378 del vars, 4182 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130910 impls, 1562 clqs
2.69/2.78 c (round 2) 2428 del vars, 5030 del conss, 48 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 162552 impls, 1562 clqs
2.79/2.83 c (round 3) 2504 del vars, 5161 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 162734 impls, 1562 clqs
2.89/2.92 c (round 4) 5429 del vars, 11029 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 162734 impls, 1562 clqs
2.89/2.96 c (round 5) 5451 del vars, 11083 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 162734 impls, 1562 clqs
2.99/3.00 c (round 6) 5462 del vars, 11099 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 0 upgd conss, 162734 impls, 1562 clqs
3.69/3.70 c (round 7) 5469 del vars, 13421 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86876 upgd conss, 162734 impls, 1562 clqs
3.79/3.88 c (round 8) 5472 del vars, 13424 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86876 upgd conss, 162734 impls, 1562 clqs
3.99/4.01 c (round 9) 5472 del vars, 13425 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 162734 impls, 1562 clqs
9.48/9.59 c (round 10) 5522 del vars, 13425 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 295379 impls, 1562 clqs
9.58/9.65 c (round 11) 5522 del vars, 14798 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 295379 impls, 1562 clqs
9.68/9.78 c (round 12) 5522 del vars, 14824 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 295379 impls, 1562 clqs
18.79/18.88 c (round 13) 5573 del vars, 14824 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 372791 impls, 1562 clqs
18.98/19.00 c (round 14) 5573 del vars, 14930 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 372791 impls, 1562 clqs
25.88/25.90 c (24.2s) probing: 1000/15688 (6.4%) - 14 fixings, 123 aggregations, 42398 implications, 0 bound changes
28.18/28.20 c (round 15) 5625 del vars, 14933 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 402831 impls, 1561 clqs
28.29/28.31 c (round 16) 5625 del vars, 14982 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 402831 impls, 1561 clqs
28.39/28.44 c (round 17) 5625 del vars, 15085 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 402831 impls, 1561 clqs
35.29/35.37 c (round 18) 5675 del vars, 15085 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 413885 impls, 1560 clqs
35.39/35.43 c (round 19) 5675 del vars, 15154 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 413885 impls, 1560 clqs
39.18/39.26 c (round 20) 5726 del vars, 15157 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 421006 impls, 1560 clqs
39.28/39.37 c (round 21) 5727 del vars, 15214 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 421008 impls, 1560 clqs
44.68/44.72 c (43.0s) probing: 2000/15688 (12.7%) - 26 fixings, 272 aggregations, 59942 implications, 0 bound changes
45.09/45.14 c (round 22) 5777 del vars, 15216 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 443140 impls, 1558 clqs
45.19/45.21 c (round 23) 5782 del vars, 15281 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 444434 impls, 1558 clqs
45.28/45.34 c (round 24) 5782 del vars, 15411 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 444434 impls, 1558 clqs
55.18/55.24 c (round 25) 5832 del vars, 15411 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 461772 impls, 1556 clqs
55.28/55.30 c (round 26) 5833 del vars, 15473 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 462046 impls, 1556 clqs
55.38/55.44 c (round 27) 5833 del vars, 15515 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 462046 impls, 1556 clqs
60.98/61.09 c (round 28) 5883 del vars, 15515 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 475155 impls, 1556 clqs
61.08/61.15 c (round 29) 5884 del vars, 15588 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 475157 impls, 1556 clqs
61.98/62.08 c (60.4s) probing: 3000/15688 (19.1%) - 36 fixings, 378 aggregations, 71207 implications, 0 bound changes
66.08/66.15 c (round 30) 5934 del vars, 15590 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 480448 impls, 1555 clqs
66.18/66.21 c (round 31) 5934 del vars, 15694 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 480448 impls, 1555 clqs
66.28/66.33 c (round 32) 5934 del vars, 15778 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 480448 impls, 1555 clqs
73.07/73.10 c (round 33) 5984 del vars, 15778 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 489672 impls, 1555 clqs
73.07/73.16 c (round 34) 5984 del vars, 15836 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 489672 impls, 1555 clqs
73.17/73.28 c (round 35) 5984 del vars, 15882 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 489672 impls, 1555 clqs
78.37/78.45 c (round 36) 6034 del vars, 15882 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 492190 impls, 1554 clqs
78.47/78.52 c (round 37) 6034 del vars, 15948 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 492190 impls, 1554 clqs
78.57/78.64 c (round 38) 6034 del vars, 15990 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 492190 impls, 1554 clqs
79.07/79.18 c (77.5s) probing: 4000/15688 (25.5%) - 51 fixings, 501 aggregations, 78754 implications, 0 bound changes
85.78/85.90 c (round 39) 6084 del vars, 15990 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 504366 impls, 1554 clqs
85.88/85.96 c (round 40) 6084 del vars, 16044 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 504366 impls, 1554 clqs
85.97/86.09 c (round 41) 6084 del vars, 16092 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 504366 impls, 1554 clqs
91.87/92.00 c (round 42) 6134 del vars, 16094 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 508664 impls, 1553 clqs
92.07/92.11 c (round 43) 6135 del vars, 16158 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 508666 impls, 1553 clqs
95.47/95.58 c (93.9s) probing: 5000/15688 (31.9%) - 59 fixings, 624 aggregations, 87363 implications, 0 bound changes
97.57/97.65 c (round 44) 6185 del vars, 16159 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 514566 impls, 1553 clqs
97.67/97.76 c (round 45) 6185 del vars, 16206 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 514566 impls, 1553 clqs
97.77/97.88 c (round 46) 6185 del vars, 16297 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 514566 impls, 1553 clqs
103.86/103.94 c (round 47) 6235 del vars, 16297 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 518528 impls, 1552 clqs
103.96/104.05 c (round 48) 6235 del vars, 16346 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 518528 impls, 1552 clqs
104.06/104.17 c (round 49) 6235 del vars, 16396 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 518528 impls, 1552 clqs
111.07/111.12 c (round 50) 6285 del vars, 16396 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 526038 impls, 1552 clqs
111.17/111.22 c (round 51) 6285 del vars, 16445 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 526038 impls, 1552 clqs
111.26/111.35 c (round 52) 6285 del vars, 16495 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 526038 impls, 1552 clqs
111.96/112.08 c (110.4s) probing: 6000/15688 (38.2%) - 59 fixings, 745 aggregations, 94419 implications, 0 bound changes
118.06/118.12 c (round 53) 6335 del vars, 16495 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 529082 impls, 1552 clqs
118.16/118.23 c (round 54) 6335 del vars, 16556 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 529082 impls, 1552 clqs
118.26/118.35 c (round 55) 6335 del vars, 16598 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 529082 impls, 1552 clqs
125.26/125.37 c (round 56) 6385 del vars, 16598 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 532062 impls, 1552 clqs
125.36/125.48 c (round 57) 6385 del vars, 16654 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 532062 impls, 1552 clqs
125.56/125.60 c (round 58) 6385 del vars, 16700 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 532062 impls, 1552 clqs
127.66/127.78 c (126.1s) probing: 7000/15688 (44.6%) - 68 fixings, 845 aggregations, 97089 implications, 0 bound changes
132.15/132.29 c (round 59) 6435 del vars, 16700 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 535632 impls, 1552 clqs
132.35/132.40 c (round 60) 6435 del vars, 16751 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 535632 impls, 1552 clqs
132.45/132.53 c (round 61) 6435 del vars, 16801 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 535632 impls, 1552 clqs
136.85/136.99 c (round 62) 6485 del vars, 16801 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 537164 impls, 1551 clqs
137.05/137.15 c (round 63) 6486 del vars, 16895 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 537166 impls, 1551 clqs
141.45/141.55 c (round 64) 6536 del vars, 16896 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 538636 impls, 1551 clqs
141.55/141.66 c (round 65) 6536 del vars, 16949 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 538636 impls, 1551 clqs
141.65/141.78 c (round 66) 6536 del vars, 17048 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 538636 impls, 1551 clqs
143.45/143.59 c (141.9s) probing: 8000/15688 (51.0%) - 70 fixings, 1002 aggregations, 100110 implications, 0 bound changes
144.75/144.85 c (round 67) 6586 del vars, 17048 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 540424 impls, 1551 clqs
144.85/144.96 c (round 68) 6587 del vars, 17102 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 540446 impls, 1551 clqs
150.35/150.50 c (round 69) 6637 del vars, 17103 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 542334 impls, 1550 clqs
150.45/150.56 c (round 70) 6638 del vars, 17163 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 542338 impls, 1550 clqs
150.55/150.69 c (round 71) 6638 del vars, 17259 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 542338 impls, 1550 clqs
155.34/155.40 c (round 72) 6688 del vars, 17259 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 544790 impls, 1550 clqs
155.44/155.51 c (round 73) 6688 del vars, 17318 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 544790 impls, 1550 clqs
155.54/155.66 c (round 74) 6688 del vars, 17368 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 544790 impls, 1550 clqs
159.34/159.42 c (157.7s) probing: 9000/15688 (57.4%) - 86 fixings, 1149 aggregations, 103958 implications, 0 bound changes
162.75/162.82 c (round 75) 6738 del vars, 17370 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 550978 impls, 1550 clqs
162.85/162.93 c (round 76) 6738 del vars, 17434 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 550978 impls, 1550 clqs
162.94/163.06 c (round 77) 6738 del vars, 17475 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 550978 impls, 1550 clqs
167.74/167.87 c (round 78) 6788 del vars, 17475 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 553156 impls, 1550 clqs
167.84/167.98 c (round 79) 6788 del vars, 17526 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 553156 impls, 1550 clqs
168.04/168.12 c (round 80) 6788 del vars, 17581 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 553156 impls, 1550 clqs
170.84/170.95 c (round 81) 6838 del vars, 17584 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 554740 impls, 1550 clqs
170.94/171.06 c (round 82) 6838 del vars, 17633 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 554740 impls, 1550 clqs
171.04/171.19 c (round 83) 6838 del vars, 17683 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 554740 impls, 1550 clqs
174.73/174.83 c (round 84) 6888 del vars, 17683 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 560754 impls, 1550 clqs
174.84/174.94 c (round 85) 6888 del vars, 17731 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 560754 impls, 1550 clqs
174.94/175.07 c (round 86) 6888 del vars, 17783 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 560754 impls, 1550 clqs
175.53/175.67 c (174.0s) probing: 10000/15688 (63.7%) - 88 fixings, 1314 aggregations, 111321 implications, 0 bound changes
180.13/180.24 c (round 87) 6938 del vars, 17783 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 569116 impls, 1550 clqs
180.24/180.36 c (round 88) 6938 del vars, 17838 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 569116 impls, 1550 clqs
180.35/180.48 c (round 89) 6938 del vars, 17885 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 569116 impls, 1550 clqs
185.44/185.59 c (round 90) 6988 del vars, 17885 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 572274 impls, 1550 clqs
185.64/185.70 c (round 91) 6988 del vars, 17957 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 572274 impls, 1550 clqs
185.74/185.83 c (round 92) 6988 del vars, 17996 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 572274 impls, 1550 clqs
189.14/189.22 c (round 93) 7038 del vars, 17996 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 574622 impls, 1550 clqs
189.24/189.33 c (round 94) 7038 del vars, 18040 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 574622 impls, 1550 clqs
189.34/189.46 c (round 95) 7038 del vars, 18095 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 574622 impls, 1550 clqs
191.34/191.45 c (189.8s) probing: 11000/15688 (70.1%) - 99 fixings, 1483 aggregations, 118573 implications, 0 bound changes
192.74/192.88 c (round 96) 7088 del vars, 18095 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 576054 impls, 1550 clqs
192.94/193.00 c (round 97) 7088 del vars, 18148 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 576054 impls, 1550 clqs
193.04/193.14 c (round 98) 7088 del vars, 18196 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 576054 impls, 1550 clqs
200.73/200.83 c (round 99) 7138 del vars, 18196 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 579878 impls, 1550 clqs
200.83/200.95 c (round 100) 7138 del vars, 18247 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 579878 impls, 1550 clqs
200.93/201.09 c (round 101) 7138 del vars, 18295 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 579878 impls, 1550 clqs
206.53/206.69 c (205.0s) probing: 12000/15688 (76.5%) - 104 fixings, 1597 aggregations, 125095 implications, 0 bound changes
206.63/206.74 c (round 102) 7188 del vars, 18295 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 587320 impls, 1550 clqs
206.74/206.86 c (round 103) 7188 del vars, 18351 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 587320 impls, 1550 clqs
206.84/206.99 c (round 104) 7188 del vars, 18399 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 587320 impls, 1550 clqs
210.93/211.00 c (round 105) 7238 del vars, 18399 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 602896 impls, 1550 clqs
211.03/211.12 c (round 106) 7238 del vars, 18468 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 602896 impls, 1550 clqs
211.14/211.25 c (round 107) 7238 del vars, 18508 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 602896 impls, 1550 clqs
218.03/218.15 c (round 108) 7288 del vars, 18509 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 627684 impls, 1550 clqs
218.13/218.29 c (round 109) 7288 del vars, 18586 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 627684 impls, 1550 clqs
218.33/218.42 c (round 110) 7288 del vars, 18612 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 627684 impls, 1550 clqs
223.13/223.28 c (221.6s) probing: 13000/15688 (82.9%) - 137 fixings, 1694 aggregations, 150351 implications, 0 bound changes
230.03/230.15 c (round 111) 7338 del vars, 18612 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 650984 impls, 1550 clqs
230.13/230.27 c (round 112) 7343 del vars, 18687 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 650994 impls, 1550 clqs
239.02/239.18 c (237.5s) probing: 14000/15688 (89.2%) - 146 fixings, 1718 aggregations, 177523 implications, 0 bound changes
248.82/248.98 c (round 113) 7393 del vars, 18692 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 713798 impls, 1550 clqs
248.92/249.09 c (round 114) 7405 del vars, 18801 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 713824 impls, 1550 clqs
249.12/249.21 c (round 115) 7405 del vars, 18814 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 713824 impls, 1550 clqs
249.22/249.36 c (round 116) 7405 del vars, 18853 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 713824 impls, 1550 clqs
255.92/256.05 c (254.4s) probing: 15000/15688 (95.6%) - 181 fixings, 1732 aggregations, 204567 implications, 0 bound changes
266.51/266.67 c (265.0s) probing: 15611/15688 (99.5%) - 192 fixings, 1732 aggregations, 228144 implications, 0 bound changes
266.51/266.67 c (265.0s) probing aborted: 100/100 successive totally useless probings
266.51/266.67 c (round 117) 7427 del vars, 18853 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 771814 impls, 1550 clqs
266.61/266.73 c (round 118) 7445 del vars, 18891 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 771856 impls, 1550 clqs
266.71/266.85 c (round 119) 7445 del vars, 18910 del conss, 48 chg bounds, 2 chg sides, 11 chg coeffs, 86906 upgd conss, 771856 impls, 1550 clqs
266.91/267.09 c (265.4s) probing: 15621/15688 (99.6%) - 192 fixings, 1732 aggregations, 228144 implications, 0 bound changes
266.91/267.09 c (265.4s) probing aborted: 100/100 successive totally useless probings
267.01/267.10 c presolving (120 rounds):
267.01/267.10 c 7445 deleted vars, 18916 deleted constraints, 48 tightened bounds, 0 added holes, 2 changed sides, 11 changed coefficients
267.01/267.10 c 771856 implications, 1550 cliques
267.01/267.10 c presolved problem has 13715 variables (13715 bin, 0 int, 0 impl, 0 cont) and 81413 constraints
267.01/267.10 c 21873 constraints of type <setppc>
267.01/267.10 c 59540 constraints of type <logicor>
267.01/267.10 c transformed objective value is always integral (scale: 1)
267.01/267.10 c Presolving Time: 265.05
267.01/267.10 c - non default parameters ----------------------------------------------------------------------
267.01/267.10 c # SCIP version 1.2.1.3
267.01/267.10 c
267.01/267.10 c # frequency for displaying node information lines
267.01/267.10 c # [type: int, range: [-1,2147483647], default: 100]
267.01/267.10 c display/freq = 10000
267.01/267.10 c
267.01/267.10 c # maximal time in seconds to run
267.01/267.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
267.01/267.10 c limits/time = 1788.33
267.01/267.10 c
267.01/267.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
267.01/267.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
267.01/267.10 c limits/memory = 1620
267.01/267.10 c
267.01/267.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
267.01/267.10 c # [type: int, range: [1,2], default: 1]
267.01/267.10 c timing/clocktype = 2
267.01/267.10 c
267.01/267.10 c # should presolving try to simplify inequalities
267.01/267.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
267.01/267.10 c constraints/linear/simplifyinequalities = TRUE
267.01/267.10 c
267.01/267.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
267.01/267.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
267.01/267.10 c constraints/indicator/addCouplingCons = TRUE
267.01/267.10 c
267.01/267.10 c # should presolving try to simplify knapsacks
267.01/267.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
267.01/267.10 c constraints/knapsack/simplifyinequalities = TRUE
267.01/267.10 c
267.01/267.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
267.01/267.10 c # [type: int, range: [-1,2147483647], default: -1]
267.01/267.10 c separating/rapidlearning/freq = 0
267.01/267.10 c
267.01/267.10 c -----------------------------------------------------------------------------------------------
267.01/267.10 c start solving
267.01/267.12 c
296.30/296.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.30/296.48 c 295s| 1 | 2 | 13701 | - | 172M| 0 | - | 13k| 81k| 13k| 73k| 0 | 0 | 0 | 7.202140e+11 | -- | Inf
1790.46/1791.06 c
1790.46/1791.06 c SCIP Status : solving was interrupted [time limit reached]
1790.46/1791.06 c Solving Time (sec) : 1789.39
1790.46/1791.06 c Solving Nodes : 119
1790.46/1791.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.46/1791.06 c Dual Bound : +7.20214020545000e+11
1790.46/1791.06 c Gap : infinite
1790.46/1791.06 s UNKNOWN
1790.46/1791.06 c SCIP Status : solving was interrupted [time limit reached]
1790.46/1791.06 c Solving Time : 1789.39
1790.46/1791.06 c Original Problem :
1790.46/1791.06 c Problem name : HOME/instance-2704810-1278580134.opb
1790.46/1791.06 c Variables : 21160 (21160 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.46/1791.06 c Constraints : 100329 initial, 100329 maximal
1790.46/1791.06 c Presolved Problem :
1790.46/1791.06 c Problem name : t_HOME/instance-2704810-1278580134.opb
1790.46/1791.06 c Variables : 13715 (13715 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.46/1791.06 c Constraints : 81413 initial, 81415 maximal
1790.46/1791.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.46/1791.06 c trivial : 0.34 0 0 0 0 0 0 0 0
1790.46/1791.06 c dualfix : 0.38 4147 0 0 0 0 0 0 0
1790.46/1791.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.46/1791.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.46/1791.06 c implics : 0.70 0 77 0 0 0 0 0 0
1790.46/1791.06 c probing : 250.00 192 1732 0 0 0 0 0 0
1790.46/1791.06 c setppc : 3.07 0 0 0 0 0 5306 0 0
1790.46/1791.06 c linear : 1.12 48 1249 0 48 0 13423 2 11
1790.46/1791.06 c logicor : 8.99 0 0 0 0 0 187 0 0
1790.46/1791.06 c root node : - 0 - - 0 - - - -
1790.46/1791.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.46/1791.06 c integral : 0 0 0 0 0 0 0 0 0 0
1790.46/1791.06 c setppc : 21873 0 46641 0 118 1 3648 0 0 0
1790.46/1791.06 c logicor : 59540+ 0 39251 0 118 174 4294 0 0 0
1790.46/1791.06 c countsols : 0 0 0 0 118 0 0 0 0 0
1790.46/1791.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.46/1791.06 c integral : 0.00 0.00 0.00 0.00 0.00
1790.46/1791.06 c setppc : 185.93 0.00 183.91 0.00 2.01
1790.46/1791.06 c logicor : 11.27 0.00 4.66 0.00 6.61
1790.46/1791.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.46/1791.06 c Propagators : Time Calls Cutoffs DomReds
1790.46/1791.06 c vbounds : 0.04 2 0 0
1790.46/1791.06 c rootredcost : 0.03 0 0 0
1790.46/1791.06 c pseudoobj : 0.49 374 0 0
1790.46/1791.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.46/1791.06 c propagation : 0.00 1 1 2 4.5 0 0.0 -
1790.46/1791.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.46/1791.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.46/1791.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.46/1791.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.46/1791.06 c applied globally : - - - 2 4.5 - - -
1790.46/1791.06 c applied locally : - - - 0 0.0 - - -
1790.46/1791.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.46/1791.06 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.46/1791.06 c redcost : 0.00 0 0 0 0 0
1790.46/1791.06 c impliedbounds : 0.00 0 0 0 0 0
1790.46/1791.06 c intobj : 0.00 0 0 0 0 0
1790.46/1791.06 c cgmip : 0.00 0 0 0 0 0
1790.46/1791.06 c gomory : 0.00 0 0 0 0 0
1790.46/1791.06 c strongcg : 0.00 0 0 0 0 0
1790.46/1791.06 c cmir : 0.00 0 0 0 0 0
1790.46/1791.06 c flowcover : 0.00 0 0 0 0 0
1790.46/1791.06 c clique : 0.00 0 0 0 0 0
1790.46/1791.06 c zerohalf : 0.00 0 0 0 0 0
1790.46/1791.06 c mcf : 0.00 0 0 0 0 0
1790.46/1791.06 c rapidlearning : 0.00 0 0 0 0 0
1790.46/1791.06 c Pricers : Time Calls Vars
1790.46/1791.06 c problem variables: 0.00 0 0
1790.46/1791.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.46/1791.06 c relpscost : 0.00 0 0 0 0 0 0
1790.46/1791.06 c pscost : 0.00 0 0 0 0 0 0
1790.46/1791.06 c inference : 0.90 118 0 0 0 0 236
1790.46/1791.06 c mostinf : 0.00 0 0 0 0 0 0
1790.46/1791.06 c leastinf : 0.00 0 0 0 0 0 0
1790.46/1791.06 c fullstrong : 0.00 0 0 0 0 0 0
1790.46/1791.06 c allfullstrong : 0.00 0 0 0 0 0 0
1790.46/1791.06 c random : 0.00 0 0 0 0 0 0
1790.46/1791.06 c Primal Heuristics : Time Calls Found
1790.46/1791.06 c LP solutions : 0.00 - 0
1790.46/1791.06 c pseudo solutions : 0.00 - 0
1790.46/1791.06 c oneopt : 0.00 0 0
1790.46/1791.06 c intshifting : 0.00 0 0
1790.46/1791.06 c coefdiving : 0.00 0 0
1790.46/1791.06 c pscostdiving : 0.00 0 0
1790.46/1791.06 c fracdiving : 0.00 0 0
1790.46/1791.06 c veclendiving : 0.00 0 0
1790.46/1791.06 c objpscostdiving : 0.00 0 0
1790.46/1791.06 c rootsoldiving : 0.00 0 0
1790.46/1791.06 c linesearchdiving : 0.00 0 0
1790.46/1791.06 c guideddiving : 0.00 0 0
1790.46/1791.06 c crossover : 0.00 0 0
1790.46/1791.06 c trivial : 0.08 2 0
1790.46/1791.06 c simplerounding : 0.00 0 0
1790.46/1791.06 c zirounding : 0.00 0 0
1790.46/1791.06 c rounding : 0.00 0 0
1790.46/1791.06 c shifting : 0.00 0 0
1790.46/1791.06 c twoopt : 0.00 0 0
1790.46/1791.06 c fixandinfer : 0.00 0 0
1790.46/1791.06 c feaspump : 0.00 0 0
1790.46/1791.06 c intdiving : 0.00 0 0
1790.46/1791.06 c actconsdiving : 0.00 0 0
1790.46/1791.06 c octane : 0.00 0 0
1790.46/1791.06 c rens : 0.00 0 0
1790.46/1791.06 c rins : 0.00 0 0
1790.46/1791.06 c localbranching : 0.00 0 0
1790.46/1791.06 c mutation : 0.00 0 0
1790.46/1791.06 c dins : 0.00 0 0
1790.46/1791.06 c undercover : 0.00 0 0
1790.46/1791.06 c nlp : 0.00 0 0
1790.46/1791.06 c trysol : 0.00 0 0
1790.46/1791.06 c LP : Time Calls Iterations Iter/call Iter/sec
1790.46/1791.06 c primal LP : 0.00 0 0 0.00 -
1790.46/1791.06 c dual LP : 1505.97 189 751206 3974.63 498.82
1790.46/1791.06 c lex dual LP : 0.00 0 0 0.00 -
1790.46/1791.06 c barrier LP : 0.00 0 0 0.00 -
1790.46/1791.06 c diving/probing LP: 0.00 0 0 0.00 -
1790.46/1791.06 c strong branching : 0.00 0 0 0.00 -
1790.46/1791.06 c (at root node) : - 0 0 0.00 -
1790.46/1791.06 c conflict analysis: 0.00 0 0 0.00 -
1790.46/1791.06 c B&B Tree :
1790.46/1791.06 c number of runs : 1
1790.46/1791.06 c nodes : 119
1790.46/1791.06 c nodes (total) : 119
1790.46/1791.06 c nodes left : 118
1790.46/1791.06 c max depth : 19
1790.46/1791.06 c max depth (total): 19
1790.46/1791.06 c backtracks : 12 (10.1%)
1790.46/1791.06 c delayed cutoffs : 0
1790.46/1791.06 c repropagations : 6 (2 domain reductions, 0 cutoffs)
1790.46/1791.06 c avg switch length: 2.17
1790.46/1791.06 c switching time : 0.07
1790.46/1791.06 c Solution :
1790.46/1791.06 c Solutions found : 0 (0 improvements)
1790.46/1791.06 c Primal Bound : -
1790.46/1791.06 c Dual Bound : +7.20214020545000e+11
1790.46/1791.06 c Gap : infinite
1790.46/1791.06 c Root Dual Bound : +7.20214020531000e+11
1790.46/1791.06 c Root Iterations : 13701
1791.05/1791.61 c Time complete: 1791.07.
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-2704810-1278580134/watcher-2704810-1278580134 -o /tmp/evaluation-result-2704810-1278580134/solver-2704810-1278580134 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704810-1278580134.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.94 3/106 3104 /proc/meminfo: memFree=1553376/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=7904 CPUtime=0 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 1065 0 0 0 0 0 0 0 20 0 1 0 26225789 8093696 976 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3104/statm: 1976 984 365 1026 0 946 0 [startup+0.103507 s] /proc/loadavg: 1.00 1.00 0.94 3/106 3104 /proc/meminfo: memFree=1553376/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=20136 CPUtime=0.09 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 4333 0 0 0 8 1 0 0 20 0 1 0 26225789 20619264 4238 1992294400 4194304 8395647 140733546296768 18446744073709551615 7324740 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3104/statm: 5034 4238 394 1026 0 4004 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20136 [startup+0.201516 s] /proc/loadavg: 1.00 1.00 0.94 3/106 3104 /proc/meminfo: memFree=1553376/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=23384 CPUtime=0.19 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 5173 0 0 0 17 2 0 0 20 0 1 0 26225789 23945216 5078 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3104/statm: 5846 5078 394 1026 0 4816 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23384 [startup+0.301527 s] /proc/loadavg: 1.00 1.00 0.94 3/106 3104 /proc/meminfo: memFree=1553376/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=26744 CPUtime=0.29 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 6009 0 0 0 27 2 0 0 20 0 1 0 26225789 27385856 5914 1992294400 4194304 8395647 140733546296768 18446744073709551615 7370222 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3104/statm: 6686 5914 394 1026 0 5656 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26744 [startup+0.701567 s] /proc/loadavg: 1.00 1.00 0.94 3/106 3104 /proc/meminfo: memFree=1553376/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=38592 CPUtime=0.69 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 8960 0 0 0 66 3 0 0 21 0 1 0 26225789 39518208 8865 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3104/statm: 9648 8865 394 1026 0 8618 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38592 [startup+1.50065 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3105 /proc/meminfo: memFree=1508852/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=59564 CPUtime=1.49 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 14172 0 0 0 144 5 0 0 23 0 1 0 26225789 60993536 14077 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3104/statm: 14891 14077 394 1026 0 13861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59564 [startup+3.10081 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3105 /proc/meminfo: memFree=1403452/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=180644 CPUtime=3.09 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 43564 0 0 0 294 15 0 0 25 0 1 0 26225789 184979456 43115 1992294400 4194304 8395647 140733546296768 18446744073709551615 4982964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 45161 43115 476 1026 0 44131 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180644 [startup+6.30113 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3105 /proc/meminfo: memFree=1358440/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=204040 CPUtime=6.29 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 52914 0 0 0 611 18 0 0 25 0 1 0 26225789 208936960 48989 1992294400 4194304 8395647 140733546296768 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 51010 48989 504 1026 0 49980 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 204040 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3105 /proc/meminfo: memFree=1358440/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=204040 CPUtime=12.68 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 52918 0 0 0 1250 18 0 0 25 0 1 0 26225789 208936960 48993 1992294400 4194304 8395647 140733546296768 18446744073709551615 5210645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 51010 48993 504 1026 0 49980 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 204040 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3106 /proc/meminfo: memFree=1355960/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=206524 CPUtime=25.48 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 53552 0 0 0 2530 18 0 0 25 0 1 0 26225789 211480576 49625 1992294400 4194304 8395647 140733546296768 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 51631 49625 502 1026 0 50601 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 206524 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3106 /proc/meminfo: memFree=1353728/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=208832 CPUtime=51.08 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 54135 0 0 0 5089 19 0 0 25 0 1 0 26225789 213843968 50208 1992294400 4194304 8395647 140733546296768 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 52208 50208 508 1026 0 51178 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 208832 [startup+102.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3108 /proc/meminfo: memFree=1352612/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=209856 CPUtime=102.27 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 54396 0 0 0 10208 19 0 0 25 0 1 0 26225789 214892544 50469 1992294400 4194304 8395647 140733546296768 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 52464 50469 508 1026 0 51434 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 209856 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3109 /proc/meminfo: memFree=1350628/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=211904 CPUtime=162.24 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 54908 0 0 0 16205 19 0 0 25 0 1 0 26225789 216989696 50981 1992294400 4194304 8395647 140733546296768 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 52976 50981 508 1026 0 51946 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 211904 [startup+222.309 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3111 /proc/meminfo: memFree=1345668/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=216656 CPUtime=222.24 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 56122 0 0 0 22204 20 0 0 25 0 1 0 26225789 221855744 52195 1992294400 4194304 8395647 140733546296768 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 54164 52195 508 1026 0 53134 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 216656 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3112 /proc/meminfo: memFree=1231216/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=345232 CPUtime=282.21 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 87876 0 0 0 28189 32 0 0 25 0 1 0 26225789 353517568 81518 1992294400 4194304 8395647 140733546296768 18446744073709551615 6587243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 86308 81518 859 1026 0 85278 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 345232 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3114 /proc/meminfo: memFree=1220552/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=349756 CPUtime=342.19 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 90149 0 0 0 34168 51 0 0 25 0 1 0 26225789 358150144 83631 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382027 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 87439 83631 714 1026 0 86409 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 349756 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3116 /proc/meminfo: memFree=1220304/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=349756 CPUtime=402.17 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 90186 0 0 0 40148 69 0 0 25 0 1 0 26225789 358150144 83666 1992294400 4194304 8395647 140733546296768 18446744073709551615 6723906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 87439 83666 714 1026 0 86409 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 349756 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3117 /proc/meminfo: memFree=1220304/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=349756 CPUtime=462.16 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 90188 0 0 0 46129 87 0 0 25 0 1 0 26225789 358150144 83666 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 87439 83666 712 1026 0 86409 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 349756 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3119 /proc/meminfo: memFree=1220180/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=349756 CPUtime=522.13 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 90188 0 0 0 52110 103 0 0 25 0 1 0 26225789 358150144 83666 1992294400 4194304 8395647 140733546296768 18446744073709551615 6723929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 87439 83666 712 1026 0 86409 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 349756 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3120 /proc/meminfo: memFree=1220180/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=349756 CPUtime=582.12 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 90188 0 0 0 58089 123 0 0 25 0 1 0 26225789 358150144 83666 1992294400 4194304 8395647 140733546296768 18446744073709551615 6636339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 87439 83666 712 1026 0 86409 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 349756 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3125 /proc/meminfo: memFree=1219436/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=349756 CPUtime=642.09 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 90188 0 0 0 64069 140 0 0 25 0 1 0 26225789 358150144 83666 1992294400 4194304 8395647 140733546296768 18446744073709551615 6637037 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 87439 83666 712 1026 0 86409 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 349756 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1219064/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=351192 CPUtime=1001.98 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 90270 0 0 0 99946 252 0 0 25 0 1 0 26225789 359620608 83740 1992294400 4194304 8395647 140733546296768 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 87798 83740 704 1026 0 86768 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 351192 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3136 /proc/meminfo: memFree=1218940/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=351192 CPUtime=1061.96 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 90270 0 0 0 105924 272 0 0 25 0 1 0 26225789 359620608 83740 1992294400 4194304 8395647 140733546296768 18446744073709551615 6752916 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 87798 83740 704 1026 0 86768 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 351192 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3138 /proc/meminfo: memFree=1218940/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=351192 CPUtime=1121.95 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 90271 0 0 0 111903 292 0 0 25 0 1 0 26225789 359620608 83740 1992294400 4194304 8395647 140733546296768 18446744073709551615 6636350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 87798 83740 703 1026 0 86768 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 351192 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3139 /proc/meminfo: memFree=1215592/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=352880 CPUtime=1181.93 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91109 0 0 0 117881 312 0 0 25 0 1 0 26225789 361349120 84578 1992294400 4194304 8395647 140733546296768 18446744073709551615 6752542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88220 84578 703 1026 0 87190 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 352880 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3141 /proc/meminfo: memFree=1214972/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353460 CPUtime=1241.91 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91303 0 0 0 123863 328 0 0 25 0 1 0 26225789 361943040 84760 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88365 84760 732 1026 0 87335 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 353460 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3143 /proc/meminfo: memFree=1214972/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353460 CPUtime=1301.9 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91303 0 0 0 129843 347 0 0 25 0 1 0 26225789 361943040 84760 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88365 84760 732 1026 0 87335 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 353460 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3144 /proc/meminfo: memFree=1214848/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353460 CPUtime=1361.88 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91303 0 0 0 135823 365 0 0 25 0 1 0 26225789 361943040 84760 1992294400 4194304 8395647 140733546296768 18446744073709551615 6698282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88365 84760 732 1026 0 87335 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 353460 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3146 /proc/meminfo: memFree=1214848/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353460 CPUtime=1421.87 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91304 0 0 0 141802 385 0 0 25 0 1 0 26225789 361943040 84760 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88365 84760 731 1026 0 87335 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 353460 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3147 /proc/meminfo: memFree=1214848/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353460 CPUtime=1481.84 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91308 0 0 0 147783 401 0 0 25 0 1 0 26225789 361943040 84764 1992294400 4194304 8395647 140733546296768 18446744073709551615 6645120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88365 84764 735 1026 0 87335 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 353460 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3149 /proc/meminfo: memFree=1214724/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353856 CPUtime=1541.84 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91437 0 0 0 153764 420 0 0 25 0 1 0 26225789 362348544 84852 1992294400 4194304 8395647 140733546296768 18446744073709551615 6723940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88464 84852 726 1026 0 87434 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 353856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3151 /proc/meminfo: memFree=1214724/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353856 CPUtime=1601.81 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91437 0 0 0 159742 439 0 0 25 0 1 0 26225789 362348544 84852 1992294400 4194304 8395647 140733546296768 18446744073709551615 6721240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88464 84852 726 1026 0 87434 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 353856 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3152 /proc/meminfo: memFree=1214600/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353856 CPUtime=1661.8 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91437 0 0 0 165721 459 0 0 25 0 1 0 26225789 362348544 84852 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88464 84852 726 1026 0 87434 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 353856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3154 /proc/meminfo: memFree=1214600/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353856 CPUtime=1721.78 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91437 0 0 0 171700 478 0 0 25 0 1 0 26225789 362348544 84852 1992294400 4194304 8395647 140733546296768 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88464 84852 726 1026 0 87434 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 353856 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3155 /proc/meminfo: memFree=1214600/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353856 CPUtime=1781.76 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91439 0 0 0 177679 497 0 0 25 0 1 0 26225789 362348544 84852 1992294400 4194304 8395647 140733546296768 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88464 84852 724 1026 0 87434 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 353856 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3156 /proc/meminfo: memFree=1214600/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353856 CPUtime=1785.05 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91439 0 0 0 178007 498 0 0 25 0 1 0 26225789 362348544 84852 1992294400 4194304 8395647 140733546296768 18446744073709551615 6752906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88464 84852 724 1026 0 87434 0 Current children cumulated CPU time (s) 1785.05 Current children cumulated vsize (KiB) 353856 [startup+1788.8 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3156 /proc/meminfo: memFree=1214600/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353856 CPUtime=1788.25 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91439 0 0 0 178326 499 0 0 25 0 1 0 26225789 362348544 84852 1992294400 4194304 8395647 140733546296768 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88464 84852 724 1026 0 87434 0 Current children cumulated CPU time (s) 1788.25 Current children cumulated vsize (KiB) 353856 [startup+1790.4 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3156 /proc/meminfo: memFree=1214600/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353856 CPUtime=1789.86 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91439 0 0 0 178486 500 0 0 25 0 1 0 26225789 362348544 84852 1992294400 4194304 8395647 140733546296768 18446744073709551615 6721235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3104/statm: 88464 84852 724 1026 0 87434 0 Current children cumulated CPU time (s) 1789.86 Current children cumulated vsize (KiB) 353856 [startup+1791.2 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3156 /proc/meminfo: memFree=1214600/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=353856 CPUtime=1790.66 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91445 0 0 0 178566 500 0 0 25 0 1 0 26225789 362348544 84858 1992294400 4194304 8395647 140733546296768 18446744073709551615 6345813 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3104/statm: 88464 84858 730 1026 0 87434 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (KiB) 353856 [startup+1791.6 s] /proc/loadavg: 1.00 1.00 0.94 2/107 3156 /proc/meminfo: memFree=1214600/2059040 swapFree=4139504/4192956 [pid=3104] ppid=3102 vsize=218256 CPUtime=1791.05 /proc/3104/stat : 3104 (pbscip.linux.x8) R 3102 3104 2554 0 -1 4202496 91447 0 0 0 178603 502 0 0 25 0 1 0 26225789 223494144 40213 1992294400 4194304 8395647 140733546296768 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3104/statm: 54564 40213 595 1026 0 53534 0 Current children cumulated CPU time (s) 1791.05 Current children cumulated vsize (KiB) 218256 Child status: 0 Real time (s): 1791.62 CPU time (s): 1791.08 CPU user time (s): 1786.04 CPU system time (s): 5.03923 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 353856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.04 system time used= 5.03923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91454 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= 1 involuntary context switches= 3215 runsolver used 2.87756 second user time and 8.5627 second system time The end
Begin job on node017 at 2010-07-08 11:08:54 IDJOB=2704810 IDBENCH=72377 IDSOLVER=1213 FILE ID=node017/2704810-1278580134 PBS_JOBID= 11240100 Free space on /tmp= 62480 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-monodevelop-nunit.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-2704810-1278580134/watcher-2704810-1278580134 -o /tmp/evaluation-result-2704810-1278580134/solver-2704810-1278580134 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704810-1278580134.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6abb8e3d800a21cf05d8a620cda51607 RANDOM SEED=1188591659 node017.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.220 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.220 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1553904 kB Buffers: 79192 kB Cached: 320340 kB SwapCached: 7724 kB Active: 165152 kB Inactive: 248936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1553904 kB SwapTotal: 4192956 kB SwapFree: 4139504 kB Dirty: 14248 kB Writeback: 0 kB AnonPages: 12084 kB Mapped: 12036 kB Slab: 69164 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179896 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= 62472 MiB End job on node017 at 2010-07-08 11:38:46