| 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.17 | 1791.6 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-kblocks.cudf.trendy.opb |
| MD5SUM | dbfce0535eb18a868b08456715062800 |
| 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 | 2781590005987 |
| Best CPU time to get the best result obtained on this benchmark | 1800.53 |
| 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-2704815-1278580160.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.09/2.19 c presolving:
2.59/2.68 c (round 1) 2374 del vars, 4174 del conss, 36 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130362 impls, 1557 clqs
2.69/2.77 c (round 2) 2428 del vars, 5032 del conss, 54 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 161816 impls, 1557 clqs
2.79/2.82 c (round 3) 2504 del vars, 5303 del conss, 55 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161858 impls, 1557 clqs
2.89/2.92 c (round 4) 5432 del vars, 11186 del conss, 57 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161867 impls, 1557 clqs
2.89/2.96 c (round 5) 5454 del vars, 11249 del conss, 57 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161867 impls, 1557 clqs
2.99/3.00 c (round 6) 5465 del vars, 11265 del conss, 57 chg bounds, 1 chg sides, 10 chg coeffs, 0 upgd conss, 161867 impls, 1557 clqs
3.69/3.70 c (round 7) 5472 del vars, 13578 del conss, 57 chg bounds, 1 chg sides, 10 chg coeffs, 86417 upgd conss, 161867 impls, 1557 clqs
3.79/3.88 c (round 8) 5475 del vars, 13581 del conss, 57 chg bounds, 1 chg sides, 10 chg coeffs, 86417 upgd conss, 161867 impls, 1557 clqs
3.99/4.01 c (round 9) 5475 del vars, 13582 del conss, 57 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 161867 impls, 1557 clqs
5.09/5.13 c (round 10) 5531 del vars, 13582 del conss, 59 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 211345 impls, 1553 clqs
5.19/5.20 c (round 11) 5538 del vars, 15109 del conss, 67 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 211953 impls, 1553 clqs
5.19/5.26 c (round 12) 5547 del vars, 15137 del conss, 67 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 211953 impls, 1553 clqs
5.29/5.39 c (round 13) 5547 del vars, 15636 del conss, 67 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 211953 impls, 1553 clqs
8.99/9.01 c (round 14) 5599 del vars, 15636 del conss, 67 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 279250 impls, 1548 clqs
8.99/9.07 c (round 15) 5599 del vars, 15717 del conss, 67 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 279250 impls, 1548 clqs
9.09/9.19 c (round 16) 5599 del vars, 15857 del conss, 67 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 279250 impls, 1548 clqs
11.88/11.99 c (round 17) 5649 del vars, 15857 del conss, 67 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 303557 impls, 1546 clqs
11.99/12.05 c (round 18) 5650 del vars, 15957 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 303560 impls, 1546 clqs
12.09/12.16 c (round 19) 5651 del vars, 15967 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 303560 impls, 1546 clqs
12.18/12.29 c (round 20) 5651 del vars, 16009 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 303560 impls, 1546 clqs
20.28/20.37 c (round 21) 5701 del vars, 16011 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 339412 impls, 1538 clqs
20.38/20.43 c (round 22) 5702 del vars, 16145 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 339434 impls, 1538 clqs
20.38/20.50 c (round 23) 5704 del vars, 16150 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 339434 impls, 1538 clqs
20.58/20.62 c (round 24) 5704 del vars, 16324 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 339434 impls, 1538 clqs
24.28/24.39 c (22.7s) probing: 1000/15626 (6.4%) - 76 fixings, 158 aggregations, 28364 implications, 2 bound changes
26.18/26.21 c (round 25) 5754 del vars, 16324 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 349388 impls, 1537 clqs
26.29/26.32 c (round 26) 5754 del vars, 16374 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 349388 impls, 1537 clqs
26.39/26.44 c (round 27) 5754 del vars, 16424 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 349388 impls, 1537 clqs
31.58/31.63 c (round 28) 5804 del vars, 16424 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 371186 impls, 1536 clqs
31.68/31.70 c (round 29) 5805 del vars, 16499 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 371212 impls, 1536 clqs
31.78/31.83 c (round 30) 5805 del vars, 16546 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 371212 impls, 1536 clqs
41.98/42.01 c (round 31) 5855 del vars, 16546 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 396236 impls, 1535 clqs
41.98/42.08 c (round 32) 5857 del vars, 16644 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 396250 impls, 1535 clqs
42.59/42.65 c (41.0s) probing: 2000/15626 (12.8%) - 87 fixings, 281 aggregations, 50152 implications, 2 bound changes
48.68/48.70 c (round 33) 5907 del vars, 16645 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 406746 impls, 1535 clqs
48.78/48.81 c (round 34) 5907 del vars, 16696 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 406746 impls, 1535 clqs
48.88/48.93 c (round 35) 5907 del vars, 16791 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 406746 impls, 1535 clqs
54.99/55.06 c (round 36) 5957 del vars, 16791 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 414932 impls, 1534 clqs
55.08/55.12 c (round 37) 5957 del vars, 16846 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 414932 impls, 1534 clqs
55.18/55.25 c (round 38) 5957 del vars, 16899 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 414932 impls, 1534 clqs
58.98/59.08 c (57.4s) probing: 3000/15626 (19.2%) - 89 fixings, 385 aggregations, 56128 implications, 2 bound changes
62.28/62.34 c (round 39) 6007 del vars, 16899 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 421846 impls, 1534 clqs
62.38/62.46 c (round 40) 6007 del vars, 16950 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 421846 impls, 1534 clqs
62.48/62.58 c (round 41) 6007 del vars, 17003 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 421846 impls, 1534 clqs
68.98/69.03 c (round 42) 6057 del vars, 17003 del conss, 68 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 427546 impls, 1534 clqs
68.98/69.09 c (round 43) 6058 del vars, 17068 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 427569 impls, 1534 clqs
75.37/75.41 c (round 44) 6109 del vars, 17071 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 435397 impls, 1532 clqs
75.47/75.51 c (round 45) 6109 del vars, 17120 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 435397 impls, 1532 clqs
75.57/75.64 c (round 46) 6109 del vars, 17211 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 435397 impls, 1532 clqs
75.78/75.86 c (74.2s) probing: 4000/15626 (25.6%) - 91 fixings, 517 aggregations, 63763 implications, 2 bound changes
82.27/82.35 c (round 47) 6159 del vars, 17211 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 444685 impls, 1530 clqs
82.38/82.41 c (round 48) 6160 del vars, 17274 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 444691 impls, 1530 clqs
82.48/82.55 c (round 49) 6160 del vars, 17322 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 444691 impls, 1530 clqs
88.67/88.74 c (round 50) 6210 del vars, 17322 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 455229 impls, 1530 clqs
88.77/88.85 c (round 51) 6210 del vars, 17372 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 455229 impls, 1530 clqs
88.87/88.97 c (round 52) 6210 del vars, 17422 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 455229 impls, 1530 clqs
91.57/91.65 c (90.0s) probing: 5000/15626 (32.0%) - 93 fixings, 633 aggregations, 73874 implications, 2 bound changes
94.77/94.85 c (round 53) 6260 del vars, 17422 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 458549 impls, 1529 clqs
94.87/94.92 c (round 54) 6261 del vars, 17479 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 458631 impls, 1529 clqs
94.97/95.05 c (round 55) 6261 del vars, 17528 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 458631 impls, 1529 clqs
101.77/101.81 c (round 56) 6311 del vars, 17528 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 463947 impls, 1529 clqs
101.87/101.92 c (round 57) 6311 del vars, 17576 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 463947 impls, 1529 clqs
101.97/102.04 c (round 58) 6311 del vars, 17626 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 463947 impls, 1529 clqs
107.27/107.33 c (105.7s) probing: 6000/15626 (38.4%) - 95 fixings, 743 aggregations, 78970 implications, 2 bound changes
109.77/109.81 c (round 59) 6361 del vars, 17626 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 472419 impls, 1528 clqs
109.87/109.92 c (round 60) 6361 del vars, 17675 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 472419 impls, 1528 clqs
109.97/110.05 c (round 61) 6361 del vars, 17725 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 472419 impls, 1528 clqs
118.36/118.47 c (round 62) 6411 del vars, 17725 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 477157 impls, 1528 clqs
118.46/118.58 c (round 63) 6411 del vars, 17771 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 477157 impls, 1528 clqs
118.67/118.71 c (round 64) 6411 del vars, 17827 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 477157 impls, 1528 clqs
118.77/118.88 c (round 65) 6411 del vars, 17872 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 477157 impls, 1528 clqs
122.76/122.89 c (121.2s) probing: 7000/15626 (44.8%) - 95 fixings, 846 aggregations, 84084 implications, 2 bound changes
124.36/124.43 c (round 66) 6461 del vars, 17872 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 479645 impls, 1528 clqs
124.46/124.54 c (round 67) 6461 del vars, 17922 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 479645 impls, 1528 clqs
124.56/124.66 c (round 68) 6461 del vars, 17972 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 479645 impls, 1528 clqs
128.67/128.75 c (round 69) 6511 del vars, 17972 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 480979 impls, 1528 clqs
128.76/128.86 c (round 70) 6511 del vars, 18021 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 480979 impls, 1528 clqs
128.86/128.99 c (round 71) 6511 del vars, 18071 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 480979 impls, 1528 clqs
133.26/133.39 c (round 72) 6561 del vars, 18071 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 482641 impls, 1528 clqs
133.46/133.50 c (round 73) 6561 del vars, 18119 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 482641 impls, 1528 clqs
133.56/133.64 c (round 74) 6561 del vars, 18172 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 482641 impls, 1528 clqs
138.36/138.42 c (136.8s) probing: 8000/15626 (51.2%) - 95 fixings, 1008 aggregations, 89536 implications, 2 bound changes
138.96/139.00 c (round 75) 6611 del vars, 18172 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 490337 impls, 1528 clqs
139.06/139.13 c (round 76) 6611 del vars, 18223 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 490337 impls, 1528 clqs
139.16/139.25 c (round 77) 6611 del vars, 18274 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 490337 impls, 1528 clqs
144.66/144.71 c (round 78) 6661 del vars, 18274 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 498242 impls, 1527 clqs
144.66/144.77 c (round 79) 6662 del vars, 18327 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 498258 impls, 1527 clqs
150.56/150.60 c (round 80) 6712 del vars, 18328 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 500052 impls, 1527 clqs
150.66/150.71 c (round 81) 6712 del vars, 18376 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 500052 impls, 1527 clqs
150.76/150.85 c (round 82) 6712 del vars, 18477 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 500052 impls, 1527 clqs
153.65/153.77 c (152.1s) probing: 9000/15626 (57.6%) - 100 fixings, 1130 aggregations, 96443 implications, 2 bound changes
155.85/155.95 c (round 83) 6762 del vars, 18480 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 504578 impls, 1527 clqs
155.95/156.06 c (round 84) 6762 del vars, 18546 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 504578 impls, 1527 clqs
156.06/156.19 c (round 85) 6762 del vars, 18593 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 504578 impls, 1527 clqs
162.45/162.52 c (round 86) 6812 del vars, 18593 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 508577 impls, 1526 clqs
162.45/162.58 c (round 87) 6812 del vars, 18647 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 508577 impls, 1526 clqs
162.66/162.71 c (round 88) 6812 del vars, 18692 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 508577 impls, 1526 clqs
167.85/167.98 c (round 89) 6862 del vars, 18692 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 518641 impls, 1526 clqs
167.95/168.09 c (round 90) 6862 del vars, 18737 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 518641 impls, 1526 clqs
168.15/168.22 c (round 91) 6862 del vars, 18792 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 518641 impls, 1526 clqs
169.25/169.37 c (167.7s) probing: 10000/15626 (64.0%) - 105 fixings, 1269 aggregations, 104565 implications, 2 bound changes
171.56/171.63 c (round 92) 6912 del vars, 18792 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 521055 impls, 1526 clqs
171.65/171.75 c (round 93) 6912 del vars, 18840 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 521055 impls, 1526 clqs
171.75/171.88 c (round 94) 6912 del vars, 18890 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 521055 impls, 1526 clqs
176.95/177.01 c (round 95) 6962 del vars, 18890 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 530635 impls, 1526 clqs
177.06/177.12 c (round 96) 6962 del vars, 18937 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 530635 impls, 1526 clqs
177.15/177.25 c (round 97) 6962 del vars, 18987 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 530635 impls, 1526 clqs
180.95/181.04 c (round 98) 7012 del vars, 18987 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 539313 impls, 1526 clqs
181.05/181.16 c (round 99) 7012 del vars, 19050 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 539313 impls, 1526 clqs
181.15/181.29 c (round 100) 7012 del vars, 19093 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 539313 impls, 1526 clqs
185.24/185.30 c (183.6s) probing: 11000/15626 (70.4%) - 112 fixings, 1438 aggregations, 125973 implications, 2 bound changes
186.34/186.47 c (round 101) 7062 del vars, 19093 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 557887 impls, 1526 clqs
186.44/186.59 c (round 102) 7062 del vars, 19156 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 557887 impls, 1526 clqs
186.64/186.72 c (round 103) 7062 del vars, 19200 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 557887 impls, 1526 clqs
191.04/191.15 c (round 104) 7112 del vars, 19200 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 560821 impls, 1526 clqs
191.14/191.27 c (round 105) 7112 del vars, 19253 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 560821 impls, 1526 clqs
191.25/191.40 c (round 106) 7112 del vars, 19301 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 560821 impls, 1526 clqs
195.14/195.25 c (round 107) 7162 del vars, 19301 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 563315 impls, 1526 clqs
195.24/195.37 c (round 108) 7163 del vars, 19352 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 563317 impls, 1526 clqs
199.84/199.98 c (round 109) 7213 del vars, 19353 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 574217 impls, 1526 clqs
199.94/200.09 c (round 110) 7213 del vars, 19409 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 574217 impls, 1526 clqs
200.15/200.24 c (round 111) 7213 del vars, 19505 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 574217 impls, 1526 clqs
200.74/200.84 c (199.2s) probing: 12000/15626 (76.8%) - 117 fixings, 1593 aggregations, 135402 implications, 2 bound changes
204.94/205.01 c (round 112) 7263 del vars, 19506 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 582381 impls, 1526 clqs
205.04/205.13 c (round 113) 7263 del vars, 19572 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 582381 impls, 1526 clqs
205.14/205.26 c (round 114) 7263 del vars, 19612 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 582381 impls, 1526 clqs
210.64/210.78 c (round 115) 7313 del vars, 19612 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 598459 impls, 1526 clqs
210.84/210.90 c (round 116) 7313 del vars, 19683 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 598459 impls, 1526 clqs
210.94/211.03 c (round 117) 7313 del vars, 19715 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 598459 impls, 1526 clqs
216.34/216.47 c (214.8s) probing: 13000/15626 (83.2%) - 141 fixings, 1695 aggregations, 160559 implications, 2 bound changes
221.94/222.04 c (round 118) 7363 del vars, 19716 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 631887 impls, 1526 clqs
222.04/222.16 c (round 119) 7365 del vars, 19796 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 631891 impls, 1526 clqs
232.04/232.14 c (230.5s) probing: 14000/15626 (89.6%) - 160 fixings, 1725 aggregations, 189098 implications, 2 bound changes
238.33/238.45 c (round 120) 7415 del vars, 19798 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 696133 impls, 1526 clqs
238.43/238.56 c (round 121) 7423 del vars, 19897 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 696149 impls, 1526 clqs
247.93/248.08 c (246.4s) probing: 15000/15626 (96.0%) - 186 fixings, 1740 aggregations, 215115 implications, 2 bound changes
256.13/256.27 c (254.6s) probing: 15496/15626 (99.2%) - 204 fixings, 1740 aggregations, 228146 implications, 2 bound changes
256.13/256.27 c (254.6s) probing aborted: 100/100 successive totally useless probings
256.13/256.27 c (round 122) 7459 del vars, 19905 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 741759 impls, 1526 clqs
256.23/256.33 c (round 123) 7484 del vars, 19972 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 741851 impls, 1526 clqs
256.32/256.45 c (round 124) 7484 del vars, 19998 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 741851 impls, 1526 clqs
256.42/256.58 c (round 125) 7484 del vars, 20049 del conss, 69 chg bounds, 1 chg sides, 10 chg coeffs, 86452 upgd conss, 741851 impls, 1526 clqs
256.72/256.82 c (255.2s) probing: 15506/15626 (99.2%) - 204 fixings, 1740 aggregations, 228146 implications, 2 bound changes
256.72/256.82 c (255.2s) probing aborted: 100/100 successive totally useless probings
256.72/256.83 c presolving (126 rounds):
256.72/256.83 c 7484 deleted vars, 20049 deleted constraints, 69 tightened bounds, 0 added holes, 1 changed sides, 10 changed coefficients
256.72/256.83 c 741851 implications, 1526 cliques
256.72/256.83 c presolved problem has 13617 variables (13617 bin, 0 int, 0 impl, 0 cont) and 79983 constraints
256.72/256.83 c 20944 constraints of type <setppc>
256.72/256.83 c 59039 constraints of type <logicor>
256.72/256.83 c transformed objective value is always integral (scale: 1)
256.72/256.83 c Presolving Time: 254.79
256.72/256.83 c - non default parameters ----------------------------------------------------------------------
256.72/256.83 c # SCIP version 1.2.1.3
256.72/256.83 c
256.72/256.83 c # frequency for displaying node information lines
256.72/256.83 c # [type: int, range: [-1,2147483647], default: 100]
256.72/256.83 c display/freq = 10000
256.72/256.83 c
256.72/256.83 c # maximal time in seconds to run
256.72/256.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
256.72/256.83 c limits/time = 1788.34
256.72/256.83 c
256.72/256.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
256.72/256.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
256.72/256.83 c limits/memory = 1620
256.72/256.83 c
256.72/256.83 c # default clock type (1: CPU user seconds, 2: wall clock time)
256.72/256.83 c # [type: int, range: [1,2], default: 1]
256.72/256.83 c timing/clocktype = 2
256.72/256.83 c
256.72/256.83 c # should presolving try to simplify inequalities
256.72/256.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
256.72/256.83 c constraints/linear/simplifyinequalities = TRUE
256.72/256.83 c
256.72/256.83 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
256.72/256.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
256.72/256.83 c constraints/indicator/addCouplingCons = TRUE
256.72/256.83 c
256.72/256.83 c # should presolving try to simplify knapsacks
256.72/256.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
256.72/256.83 c constraints/knapsack/simplifyinequalities = TRUE
256.72/256.83 c
256.72/256.83 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
256.72/256.83 c # [type: int, range: [-1,2147483647], default: -1]
256.72/256.83 c separating/rapidlearning/freq = 0
256.72/256.83 c
256.72/256.83 c -----------------------------------------------------------------------------------------------
256.72/256.83 c start solving
256.72/256.85 c
283.12/283.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.12/283.28 c 282s| 1 | 2 | 13266 | - | 169M| 0 | - | 13k| 79k| 13k| 72k| 0 | 0 | 0 | 7.131620e+11 | -- | Inf
1790.56/1791.04 c
1790.56/1791.04 c SCIP Status : solving was interrupted [time limit reached]
1790.56/1791.04 c Solving Time (sec) : 1789.37
1790.56/1791.04 c Solving Nodes : 143
1790.56/1791.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.56/1791.04 c Dual Bound : +7.13217327598000e+11
1790.56/1791.04 c Gap : infinite
1790.56/1791.04 s UNKNOWN
1790.56/1791.04 c SCIP Status : solving was interrupted [time limit reached]
1790.56/1791.04 c Solving Time : 1789.37
1790.56/1791.04 c Original Problem :
1790.56/1791.04 c Problem name : HOME/instance-2704815-1278580160.opb
1790.56/1791.04 c Variables : 21101 (21101 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.56/1791.04 c Constraints : 100032 initial, 100032 maximal
1790.56/1791.04 c Presolved Problem :
1790.56/1791.04 c Problem name : t_HOME/instance-2704815-1278580160.opb
1790.56/1791.04 c Variables : 13617 (13617 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.56/1791.04 c Constraints : 79983 initial, 79984 maximal
1790.56/1791.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.56/1791.04 c trivial : 0.36 10 0 0 0 0 0 0 0
1790.56/1791.04 c dualfix : 0.40 4146 0 0 0 0 0 0 0
1790.56/1791.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.56/1791.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.56/1791.04 c implics : 0.70 0 81 0 0 0 0 0 0
1790.56/1791.04 c probing : 239.13 204 1740 0 2 0 0 0 0
1790.56/1791.04 c setppc : 3.29 0 0 0 0 0 6028 0 0
1790.56/1791.04 c linear : 1.13 57 1246 0 57 0 13580 1 10
1790.56/1791.04 c logicor : 9.33 0 0 0 10 0 441 0 0
1790.56/1791.04 c root node : - 0 - - 0 - - - -
1790.56/1791.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.56/1791.04 c integral : 0 0 0 0 0 0 0 0 0 0
1790.56/1791.04 c setppc : 20944 0 46052 0 142 17 3420 0 0 0
1790.56/1791.04 c logicor : 59039+ 0 38791 0 142 124 2930 0 0 0
1790.56/1791.04 c countsols : 0 0 0 0 142 0 0 0 0 0
1790.56/1791.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.56/1791.04 c integral : 0.00 0.00 0.00 0.00 0.00
1790.56/1791.04 c setppc : 177.56 0.00 175.16 0.00 2.40
1790.56/1791.04 c logicor : 11.94 0.00 4.15 0.00 7.79
1790.56/1791.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.56/1791.04 c Propagators : Time Calls Cutoffs DomReds
1790.56/1791.04 c vbounds : 0.04 2 0 0
1790.56/1791.04 c rootredcost : 0.03 0 0 0
1790.56/1791.04 c pseudoobj : 0.45 336 0 0
1790.56/1791.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.56/1791.04 c propagation : 0.00 1 1 1 3.0 0 0.0 -
1790.56/1791.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.56/1791.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.56/1791.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.56/1791.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.56/1791.04 c applied globally : - - - 1 3.0 - - -
1790.56/1791.04 c applied locally : - - - 0 0.0 - - -
1790.56/1791.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.56/1791.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.56/1791.04 c redcost : 0.00 0 0 0 0 0
1790.56/1791.04 c impliedbounds : 0.00 0 0 0 0 0
1790.56/1791.04 c intobj : 0.00 0 0 0 0 0
1790.56/1791.04 c cgmip : 0.00 0 0 0 0 0
1790.56/1791.04 c gomory : 0.00 0 0 0 0 0
1790.56/1791.04 c strongcg : 0.00 0 0 0 0 0
1790.56/1791.04 c cmir : 0.00 0 0 0 0 0
1790.56/1791.04 c flowcover : 0.00 0 0 0 0 0
1790.56/1791.04 c clique : 0.00 0 0 0 0 0
1790.56/1791.04 c zerohalf : 0.00 0 0 0 0 0
1790.56/1791.04 c mcf : 0.00 0 0 0 0 0
1790.56/1791.04 c rapidlearning : 0.00 0 0 0 0 0
1790.56/1791.04 c Pricers : Time Calls Vars
1790.56/1791.04 c problem variables: 0.00 0 0
1790.56/1791.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.56/1791.04 c relpscost : 0.00 0 0 0 0 0 0
1790.56/1791.04 c pscost : 0.00 0 0 0 0 0 0
1790.56/1791.04 c inference : 1.06 142 0 0 0 0 284
1790.56/1791.04 c mostinf : 0.00 0 0 0 0 0 0
1790.56/1791.04 c leastinf : 0.00 0 0 0 0 0 0
1790.56/1791.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.56/1791.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.56/1791.04 c random : 0.00 0 0 0 0 0 0
1790.56/1791.04 c Primal Heuristics : Time Calls Found
1790.56/1791.04 c LP solutions : 0.00 - 0
1790.56/1791.04 c pseudo solutions : 0.00 - 0
1790.56/1791.04 c oneopt : 0.00 0 0
1790.56/1791.04 c coefdiving : 0.00 0 0
1790.56/1791.04 c trivial : 0.08 2 0
1790.56/1791.04 c simplerounding : 0.00 0 0
1790.56/1791.04 c zirounding : 0.00 0 0
1790.56/1791.04 c rounding : 0.00 0 0
1790.56/1791.04 c shifting : 0.00 0 0
1790.56/1791.04 c intshifting : 0.00 0 0
1790.56/1791.04 c twoopt : 0.00 0 0
1790.56/1791.04 c fixandinfer : 0.00 0 0
1790.56/1791.04 c feaspump : 0.00 0 0
1790.56/1791.04 c pscostdiving : 0.00 0 0
1790.56/1791.04 c fracdiving : 0.00 0 0
1790.56/1791.04 c veclendiving : 0.00 0 0
1790.56/1791.04 c intdiving : 0.00 0 0
1790.56/1791.04 c actconsdiving : 0.00 0 0
1790.56/1791.04 c objpscostdiving : 0.00 0 0
1790.56/1791.04 c rootsoldiving : 0.00 0 0
1790.56/1791.04 c linesearchdiving : 0.00 0 0
1790.56/1791.04 c guideddiving : 0.00 0 0
1790.56/1791.04 c octane : 0.00 0 0
1790.56/1791.04 c rens : 0.00 0 0
1790.56/1791.04 c rins : 0.00 0 0
1790.56/1791.04 c localbranching : 0.00 0 0
1790.56/1791.04 c mutation : 0.00 0 0
1790.56/1791.04 c crossover : 0.00 0 0
1790.56/1791.04 c dins : 0.00 0 0
1790.56/1791.04 c undercover : 0.00 0 0
1790.56/1791.04 c nlp : 0.00 0 0
1790.56/1791.04 c trysol : 0.00 0 0
1790.56/1791.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.56/1791.04 c primal LP : 0.00 0 0 0.00 -
1790.56/1791.04 c dual LP : 1513.62 209 845654 4046.19 558.70
1790.56/1791.04 c lex dual LP : 0.00 0 0 0.00 -
1790.56/1791.04 c barrier LP : 0.00 0 0 0.00 -
1790.56/1791.04 c diving/probing LP: 0.00 0 0 0.00 -
1790.56/1791.04 c strong branching : 0.00 0 0 0.00 -
1790.56/1791.04 c (at root node) : - 0 0 0.00 -
1790.56/1791.04 c conflict analysis: 0.00 0 0 0.00 -
1790.56/1791.04 c B&B Tree :
1790.56/1791.04 c number of runs : 1
1790.56/1791.04 c nodes : 143
1790.56/1791.04 c nodes (total) : 143
1790.56/1791.04 c nodes left : 142
1790.56/1791.04 c max depth : 31
1790.56/1791.04 c max depth (total): 31
1790.56/1791.04 c backtracks : 11 (7.7%)
1790.56/1791.04 c delayed cutoffs : 0
1790.56/1791.04 c repropagations : 4 (1 domain reductions, 0 cutoffs)
1790.56/1791.04 c avg switch length: 1.99
1790.56/1791.04 c switching time : 0.05
1790.56/1791.04 c Solution :
1790.56/1791.04 c Solutions found : 0 (0 improvements)
1790.56/1791.04 c Primal Bound : -
1790.56/1791.04 c Dual Bound : +7.13217327598000e+11
1790.56/1791.04 c Gap : infinite
1790.56/1791.04 c Root Dual Bound : +7.13161986523000e+11
1790.56/1791.04 c Root Iterations : 13266
1791.15/1791.60 c Time complete: 1791.15.
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-2704815-1278580160/watcher-2704815-1278580160 -o /tmp/evaluation-result-2704815-1278580160/solver-2704815-1278580160 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704815-1278580160.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.98 3/106 1325 /proc/meminfo: memFree=1772320/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=5824 CPUtime=0 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 812 0 0 0 0 0 0 0 20 0 1 0 26223579 5963776 727 1992294400 4194304 8395647 140735955094272 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 1456 729 348 1026 0 426 0 [startup+0.0223821 s] /proc/loadavg: 0.91 0.97 0.98 3/106 1325 /proc/meminfo: memFree=1772320/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=11496 CPUtime=0.01 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 2164 0 0 0 1 0 0 0 20 0 1 0 26223579 11771904 2075 1992294400 4194304 8395647 140735955094272 18446744073709551615 4245991 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 2874 2075 387 1026 0 1844 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11496 [startup+0.101389 s] /proc/loadavg: 0.91 0.97 0.98 3/106 1325 /proc/meminfo: memFree=1772320/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=19980 CPUtime=0.09 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 4323 0 0 0 8 1 0 0 20 0 1 0 26223579 20459520 4229 1992294400 4194304 8395647 140735955094272 18446744073709551615 7301491 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 4995 4229 394 1026 0 3965 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19980 [startup+0.301406 s] /proc/loadavg: 0.91 0.97 0.98 3/106 1325 /proc/meminfo: memFree=1772320/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=26740 CPUtime=0.3 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 6007 0 0 0 28 2 0 0 20 0 1 0 26223579 27381760 5913 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 6685 5913 394 1026 0 5655 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 26740 [startup+0.701441 s] /proc/loadavg: 0.91 0.97 0.98 3/106 1325 /proc/meminfo: memFree=1772320/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=38588 CPUtime=0.69 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 8958 0 0 0 66 3 0 0 21 0 1 0 26223579 39514112 8864 1992294400 4194304 8395647 140735955094272 18446744073709551615 5754398 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 9647 8864 394 1026 0 8617 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38588 [startup+1.50151 s] /proc/loadavg: 0.91 0.97 0.98 2/107 1326 /proc/meminfo: memFree=1732136/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=59560 CPUtime=1.49 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 14171 0 0 0 144 5 0 0 23 0 1 0 26223579 60989440 14077 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 14890 14077 394 1026 0 13860 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59560 [startup+3.10065 s] /proc/loadavg: 0.92 0.97 0.98 2/107 1326 /proc/meminfo: memFree=1625744/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=180600 CPUtime=3.09 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 43558 0 0 0 295 14 0 0 25 0 1 0 26223579 184934400 43110 1992294400 4194304 8395647 140735955094272 18446744073709551615 4288144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 45150 43110 476 1026 0 44120 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180600 [startup+6.30093 s] /proc/loadavg: 0.92 0.97 0.98 3/107 1326 /proc/meminfo: memFree=1577260/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=203932 CPUtime=6.29 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 52893 0 0 0 612 17 0 0 25 0 1 0 26223579 208826368 48966 1992294400 4194304 8395647 140735955094272 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 50983 48966 501 1026 0 49953 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 203932 [startup+12.7005 s] /proc/loadavg: 0.93 0.97 0.98 2/107 1326 /proc/meminfo: memFree=1577260/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=203932 CPUtime=12.68 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 52906 0 0 0 1251 17 0 0 25 0 1 0 26223579 208826368 48979 1992294400 4194304 8395647 140735955094272 18446744073709551615 4216106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 50983 48979 501 1026 0 49953 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 203932 [startup+25.5016 s] /proc/loadavg: 0.94 0.97 0.98 2/107 1326 /proc/meminfo: memFree=1576392/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=204956 CPUtime=25.48 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 53173 0 0 0 2531 17 0 0 25 0 1 0 26223579 209874944 49246 1992294400 4194304 8395647 140735955094272 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 51239 49246 507 1026 0 50209 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 204956 [startup+51.1009 s] /proc/loadavg: 0.96 0.97 0.98 2/107 1328 /proc/meminfo: memFree=1574656/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=206608 CPUtime=51.08 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 53587 0 0 0 5090 18 0 0 25 0 1 0 26223579 211566592 49660 1992294400 4194304 8395647 140735955094272 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 51652 49660 507 1026 0 50622 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 206608 [startup+102.308 s] /proc/loadavg: 0.98 0.97 0.98 2/107 1328 /proc/meminfo: memFree=1573416/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=207836 CPUtime=102.28 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 53906 0 0 0 10210 18 0 0 25 0 1 0 26223579 212824064 49979 1992294400 4194304 8395647 140735955094272 18446744073709551615 5210283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 51959 49979 507 1026 0 50929 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 207836 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/107 1330 /proc/meminfo: memFree=1570440/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=210716 CPUtime=162.25 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 54626 0 0 0 16207 18 0 0 25 0 1 0 26223579 215773184 50699 1992294400 4194304 8395647 140735955094272 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 52679 50699 507 1026 0 51649 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 210716 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 1332 /proc/meminfo: memFree=1566968/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=214088 CPUtime=222.24 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 55493 0 0 0 22206 18 0 0 25 0 1 0 26223579 219226112 51566 1992294400 4194304 8395647 140735955094272 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 53522 51566 507 1026 0 52492 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 214088 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 1334 /proc/meminfo: memFree=1451772/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=336340 CPUtime=282.22 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 86814 0 0 0 28188 34 0 0 25 0 1 0 26223579 344412160 80501 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84085 80501 713 1026 0 83055 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 336340 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 1336 /proc/meminfo: memFree=1461320/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=331468 CPUtime=342.2 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 106812 0 0 0 34163 57 0 0 25 0 1 0 26223579 339423232 78289 1992294400 4194304 8395647 140735955094272 18446744073709551615 6636367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 82867 78289 730 1026 0 81837 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 331468 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/107 1336 /proc/meminfo: memFree=1451152/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337368 CPUtime=402.19 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 109685 0 0 0 40145 74 0 0 25 0 1 0 26223579 345464832 80631 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84342 80631 714 1026 0 83312 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 337368 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 1338 /proc/meminfo: memFree=1450284/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337528 CPUtime=462.18 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 109909 0 0 0 46127 91 0 0 25 0 1 0 26223579 345628672 80855 1992294400 4194304 8395647 140735955094272 18446744073709551615 6636339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84382 80855 714 1026 0 83352 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 337528 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 1340 /proc/meminfo: memFree=1472852/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=327036 CPUtime=522.16 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 119120 0 0 0 52105 111 0 0 25 0 1 0 26223579 334884864 76430 1992294400 4194304 8395647 140735955094272 18446744073709551615 6440894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 81759 76430 1022 1026 0 80729 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 327036 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 1342 /proc/meminfo: memFree=1451648/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=336248 CPUtime=582.15 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 130486 0 0 0 58081 134 0 0 25 0 1 0 26223579 344317952 80507 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84062 80507 713 1026 0 83032 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 336248 [startup+642.302 s] /proc/loadavg: 1.06 0.99 0.99 2/107 1347 /proc/meminfo: memFree=1451896/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=335464 CPUtime=642.14 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 138025 0 0 0 64057 157 0 0 25 0 1 0 26223579 343515136 80316 1992294400 4194304 8395647 140735955094272 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 83866 80316 713 1026 0 82836 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 335464 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1450036/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1062.04 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147181 0 0 0 105916 288 0 0 25 0 1 0 26223579 345997312 80729 1992294400 4194304 8395647 140735955094272 18446744073709551615 6752759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 80729 712 1026 0 83442 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 337888 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1359 /proc/meminfo: memFree=1449664/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1122.02 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147278 0 0 0 111897 305 0 0 25 0 1 0 26223579 345997312 80826 1992294400 4194304 8395647 140735955094272 18446744073709551615 6383892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 80826 712 1026 0 83442 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 337888 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1361 /proc/meminfo: memFree=1449292/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1182.01 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147351 0 0 0 117880 321 0 0 25 0 1 0 26223579 345997312 80899 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 80899 712 1026 0 83442 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 337888 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1363 /proc/meminfo: memFree=1449168/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1241.99 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147372 0 0 0 123862 337 0 0 25 0 1 0 26223579 345997312 80920 1992294400 4194304 8395647 140735955094272 18446744073709551615 7385662 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 80920 712 1026 0 83442 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 337888 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1363 /proc/meminfo: memFree=1449168/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1301.98 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147385 0 0 0 129844 354 0 0 25 0 1 0 26223579 345997312 80933 1992294400 4194304 8395647 140735955094272 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 80933 716 1026 0 83442 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 337888 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1365 /proc/meminfo: memFree=1449044/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1361.96 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147385 0 0 0 135826 370 0 0 25 0 1 0 26223579 345997312 80933 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 80933 716 1026 0 83442 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 337888 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1368 /proc/meminfo: memFree=1449044/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1421.95 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147385 0 0 0 141806 389 0 0 25 0 1 0 26223579 345997312 80933 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 80933 716 1026 0 83442 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 337888 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1370 /proc/meminfo: memFree=1447184/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1481.94 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147825 0 0 0 147786 408 0 0 25 0 1 0 26223579 345997312 81373 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 81373 716 1026 0 83442 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 337888 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1372 /proc/meminfo: memFree=1447184/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1541.92 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147826 0 0 0 153769 423 0 0 25 0 1 0 26223579 345997312 81374 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 81374 716 1026 0 83442 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 337888 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1372 /proc/meminfo: memFree=1447184/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1601.9 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147826 0 0 0 159750 440 0 0 25 0 1 0 26223579 345997312 81374 1992294400 4194304 8395647 140735955094272 18446744073709551615 6636363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 81374 716 1026 0 83442 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 337888 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1374 /proc/meminfo: memFree=1447184/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1661.89 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147828 0 0 0 165731 458 0 0 25 0 1 0 26223579 345997312 81376 1992294400 4194304 8395647 140735955094272 18446744073709551615 6723502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 81376 716 1026 0 83442 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 337888 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1376 /proc/meminfo: memFree=1447060/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1721.87 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147829 0 0 0 171711 476 0 0 25 0 1 0 26223579 345997312 81377 1992294400 4194304 8395647 140735955094272 18446744073709551615 6752539 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 81377 716 1026 0 83442 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 337888 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1378 /proc/meminfo: memFree=1447060/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1781.86 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147830 0 0 0 177693 493 0 0 25 0 1 0 26223579 345997312 81378 1992294400 4194304 8395647 140735955094272 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 81378 716 1026 0 83442 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 337888 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1378 /proc/meminfo: memFree=1447060/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1785.05 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147830 0 0 0 178011 494 0 0 25 0 1 0 26223579 345997312 81378 1992294400 4194304 8395647 140735955094272 18446744073709551615 6496284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 81378 716 1026 0 83442 0 Current children cumulated CPU time (s) 1785.05 Current children cumulated vsize (KiB) 337888 [startup+1788.7 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1378 /proc/meminfo: memFree=1447060/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1788.25 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147830 0 0 0 178330 495 0 0 25 0 1 0 26223579 345997312 81378 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 81378 716 1026 0 83442 0 Current children cumulated CPU time (s) 1788.25 Current children cumulated vsize (KiB) 337888 [startup+1790.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1378 /proc/meminfo: memFree=1447060/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1789.86 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147830 0 0 0 178490 496 0 0 25 0 1 0 26223579 345997312 81378 1992294400 4194304 8395647 140735955094272 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 81378 716 1026 0 83442 0 Current children cumulated CPU time (s) 1789.86 Current children cumulated vsize (KiB) 337888 [startup+1791.1 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1378 /proc/meminfo: memFree=1447060/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=337888 CPUtime=1790.66 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147836 0 0 0 178570 496 0 0 25 0 1 0 26223579 345997312 81384 1992294400 4194304 8395647 140735955094272 18446744073709551615 6171731 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 84472 81384 722 1026 0 83442 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (KiB) 337888 [startup+1791.5 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1378 /proc/meminfo: memFree=1447060/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=308792 CPUtime=1791.06 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147838 0 0 0 178610 496 0 0 25 0 1 0 26223579 316203008 74339 1992294400 4194304 8395647 140735955094272 18446744073709551615 4739572 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 77198 74339 724 1026 0 76168 0 Current children cumulated CPU time (s) 1791.06 Current children cumulated vsize (KiB) 308792 [startup+1791.6 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1378 /proc/meminfo: memFree=1447060/2059040 swapFree=4139712/4192956 [pid=1325] ppid=1323 vsize=15892 CPUtime=1791.15 /proc/1325/stat : 1325 (pbscip.linux.x8) R 1323 1325 754 0 -1 4202496 147842 0 0 0 178616 499 0 0 25 0 1 0 26223579 16273408 3507 1992294400 4194304 8395647 140735955094272 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 3912 3446 601 1026 0 2882 0 Current children cumulated CPU time (s) 1791.15 Current children cumulated vsize (KiB) 15892 Child status: 0 Real time (s): 1791.6 CPU time (s): 1791.17 CPU user time (s): 1786.17 CPU system time (s): 4.99924 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 343172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.17 system time used= 4.99924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147845 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= 11773 runsolver used 2.95355 second user time and 8.46971 second system time The end
Begin job on node041 at 2010-07-08 11:09:20 IDJOB=2704815 IDBENCH=72456 IDSOLVER=1213 FILE ID=node041/2704815-1278580160 PBS_JOBID= 11240084 Free space on /tmp= 62184 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-kblocks.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-2704815-1278580160/watcher-2704815-1278580160 -o /tmp/evaluation-result-2704815-1278580160/solver-2704815-1278580160 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704815-1278580160.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dbfce0535eb18a868b08456715062800 RANDOM SEED=1160568896 node041.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.244 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.48 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.244 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: 1772724 kB Buffers: 40112 kB Cached: 147524 kB SwapCached: 7448 kB Active: 111312 kB Inactive: 90632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1772724 kB SwapTotal: 4192956 kB SwapFree: 4139712 kB Dirty: 14104 kB Writeback: 0 kB AnonPages: 11820 kB Mapped: 12028 kB Slab: 62376 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181396 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= 62176 MiB End job on node041 at 2010-07-08 11:39:12