Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | ? | 1798.54 | 1798.91 |
Name | /OPT-SMALLINT-LIN/ heinz/normalized-datt256.opb |
MD5SUM | eff0b252efd7ad849119636cdcc0cdec |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 262144 |
Total number of constraints | 11077 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 516 |
Number of constraints which are nor clauses,nor cardinality constraints | 10561 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 57840 |
Number of terms in the objective function | 262144 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 262144 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 262144 |
Number of bits of the biggest sum of numbers | 19 |
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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty] 0.00/0.00 c Copyright (c) 2002-2012 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-3691308-1338024504.opb> 1.18/1.26 c original problem has 262144 variables (262144 bin, 0 int, 0 impl, 0 cont) and 11077 constraints 1.18/1.26 c problem read in 1.27 3.30/3.34 c presolving: 4.59/4.60 c (round 1) 57844 del vars, 5 del conss, 0 add conss, 57844 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 512 clqs 4.89/4.98 c (round 2) 61468 del vars, 1107 del conss, 0 add conss, 61468 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 710 clqs 5.19/5.29 c (round 3) 65510 del vars, 1200 del conss, 0 add conss, 65510 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 726 clqs 5.39/5.46 c (round 4) 65997 del vars, 1212 del conss, 0 add conss, 65997 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 750 clqs 5.79/5.88 c (round 5) 65997 del vars, 1212 del conss, 0 add conss, 65997 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 750 clqs 6.29/6.36 c (round 6) 67112 del vars, 1252 del conss, 0 add conss, 66856 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 774 clqs 6.39/6.43 c (round 7) 67304 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 774 clqs 6.69/6.71 c (round 8) 67304 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 0 impls, 774 clqs 7.19/7.23 c (round 9) 67399 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 114546 impls, 774 clqs 7.60/7.63 c (round 10) 67488 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 190644 impls, 774 clqs 7.98/8.01 c (round 11) 67577 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 259156 impls, 774 clqs 8.29/8.39 c (round 12) 67666 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 320458 impls, 774 clqs 9.49/9.57 c (round 13) 67696 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 412608 impls, 774 clqs 9.98/10.00 c (round 14) 67724 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 443850 impls, 774 clqs 10.39/10.41 c (round 15) 67749 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 488596 impls, 774 clqs 11.88/11.96 c (round 16) 67797 del vars, 1260 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 618984 impls, 773 clqs 11.99/12.05 c (round 17) 67797 del vars, 1261 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 618984 impls, 773 clqs 12.39/12.43 c (round 18) 67823 del vars, 1261 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 626412 impls, 772 clqs 12.48/12.51 c (round 19) 67823 del vars, 1262 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 626412 impls, 772 clqs 15.18/15.24 c (round 20) 67848 del vars, 1262 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 865390 impls, 772 clqs 15.69/15.78 c (round 21) 67886 del vars, 1262 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 909400 impls, 771 clqs 15.79/15.87 c (round 22) 67886 del vars, 1263 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 909400 impls, 771 clqs 16.19/16.24 c (round 23) 67912 del vars, 1263 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 916714 impls, 770 clqs 16.29/16.32 c (round 24) 67912 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 916714 impls, 770 clqs 17.59/17.66 c (round 25) 67937 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1042812 impls, 770 clqs 19.09/19.14 c (round 26) 67965 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1119184 impls, 770 clqs 22.88/22.97 c (round 27) 67990 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1315398 impls, 770 clqs 26.58/26.62 c (round 28) 68015 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1538632 impls, 770 clqs 30.29/30.37 c (round 29) 68040 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1773022 impls, 770 clqs 33.58/33.61 c (round 30) 68065 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1960728 impls, 770 clqs 37.08/37.17 c (round 31) 68090 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2177542 impls, 770 clqs 41.28/41.36 c (round 32) 68115 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2489308 impls, 770 clqs 41.49/41.54 c (round 33) 68115 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 2489308 impls, 774 clqs 44.88/44.94 c (round 34) 68140 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 2768066 impls, 774 clqs 64.48/64.54 c (round 35) 68165 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 5240382 impls, 774 clqs 64.68/64.71 c (round 36) 68165 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 788 upgd conss, 5240382 impls, 776 clqs 65.38/65.44 c (round 37) 68197 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 788 upgd conss, 5293608 impls, 776 clqs 91.97/92.00 c (round 38) 68222 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 788 upgd conss, 8640622 impls, 776 clqs 115.77/115.90 c (115.9s) probing: 1000/194840 (0.5%) - 936 fixings, 0 aggregations, 5574918 implications, 0 bound changes 121.57/121.63 c (round 39) 68247 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 788 upgd conss, 12378034 impls, 776 clqs 121.76/121.81 c (round 40) 68247 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 789 upgd conss, 12378034 impls, 777 clqs 124.96/125.09 c (round 41) 68272 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 789 upgd conss, 12651852 impls, 777 clqs 125.17/125.24 c (round 42) 68272 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 790 upgd conss, 12651852 impls, 778 clqs 130.07/130.13 c (round 43) 68297 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 790 upgd conss, 13024730 impls, 778 clqs 130.27/130.31 c (round 44) 68297 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 796 upgd conss, 13024730 impls, 784 clqs 131.07/131.14 c (round 45) 68329 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 796 upgd conss, 13072718 impls, 784 clqs 135.17/135.22 c (round 46) 68354 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 796 upgd conss, 13390288 impls, 784 clqs 147.96/148.07 c (round 47) 68379 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 796 upgd conss, 14914132 impls, 784 clqs 148.17/148.22 c (round 48) 68379 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 14914132 impls, 786 clqs 177.25/177.37 c (round 49) 68404 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 18552666 impls, 786 clqs 201.04/201.16 c (round 50) 68429 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 21508452 impls, 786 clqs 201.25/201.34 c (round 51) 68429 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 799 upgd conss, 21508452 impls, 787 clqs 209.34/209.48 c (round 52) 68454 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 799 upgd conss, 22412928 impls, 787 clqs 209.54/209.64 c (round 53) 68454 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 800 upgd conss, 22412928 impls, 788 clqs 213.93/214.00 c (round 54) 68479 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 800 upgd conss, 22710738 impls, 788 clqs 214.23/214.33 c (round 55) 68479 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 22710738 impls, 791 clqs 215.74/215.82 c (215.8s) probing: 2000/194840 (1.0%) - 1196 fixings, 0 aggregations, 11096879 implications, 0 bound changes 215.94/216.06 c (round 56) 68504 del vars, 1264 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 22710738 impls, 791 clqs 216.13/216.20 c (round 57) 68526 del vars, 1265 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 22710738 impls, 790 clqs 231.83/231.97 c (round 58) 68551 del vars, 1265 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 24385086 impls, 790 clqs 232.23/232.32 c (round 59) 68551 del vars, 1265 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 24385086 impls, 791 clqs 232.53/232.69 c (round 60) 68576 del vars, 1265 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 24402382 impls, 790 clqs 232.63/232.79 c (round 61) 68576 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 24402382 impls, 790 clqs 261.12/261.23 c (round 62) 68601 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 27531318 impls, 790 clqs 286.82/286.99 c (round 63) 68626 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 30349524 impls, 790 clqs 303.02/303.18 c (round 64) 68651 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 804 upgd conss, 32067938 impls, 790 clqs 303.42/303.55 c (round 65) 68651 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 805 upgd conss, 32067938 impls, 791 clqs 305.21/305.33 c (round 66) 68676 del vars, 1266 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 805 upgd conss, 32067938 impls, 791 clqs 305.31/305.48 c (round 67) 68698 del vars, 1267 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 805 upgd conss, 32067938 impls, 790 clqs 309.91/310.06 c (round 68) 68723 del vars, 1267 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 805 upgd conss, 32367184 impls, 790 clqs 310.32/310.40 c (round 69) 68723 del vars, 1267 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 32367184 impls, 793 clqs 312.01/312.15 c (round 70) 68748 del vars, 1267 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 32446258 impls, 793 clqs 312.62/312.75 c (round 71) 68773 del vars, 1267 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 32471560 impls, 792 clqs 312.72/312.88 c (round 72) 68773 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 32471560 impls, 792 clqs 332.61/332.71 c (332.7s) probing: 3000/194840 (1.5%) - 1447 fixings, 0 aggregations, 17267212 implications, 0 bound changes 334.81/334.96 c (round 73) 68798 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 35353170 impls, 792 clqs 351.40/351.57 c (round 74) 68823 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 37414482 impls, 792 clqs 370.70/370.89 c (round 75) 68848 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 39887150 impls, 792 clqs 377.61/377.79 c (round 76) 68873 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 40658452 impls, 792 clqs 379.70/379.82 c (round 77) 68898 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 40745510 impls, 792 clqs 423.30/423.50 c (round 78) 68923 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 808 upgd conss, 44306486 impls, 792 clqs 423.59/423.75 c (round 79) 68923 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 44306486 impls, 794 clqs 434.39/434.58 c (434.6s) probing: 4000/194840 (2.1%) - 1578 fixings, 0 aggregations, 22401768 implications, 0 bound changes 475.57/475.72 c (round 80) 68948 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 49558438 impls, 794 clqs 492.18/492.33 c (round 81) 68973 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 50928480 impls, 794 clqs 532.27/532.48 c (round 82) 68998 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 55053996 impls, 794 clqs 549.66/549.82 c (549.8s) probing: 5000/194840 (2.6%) - 1660 fixings, 0 aggregations, 28101564 implications, 0 bound changes 569.36/569.56 c (round 83) 69023 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 58876638 impls, 794 clqs 580.96/581.15 c (round 84) 69048 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 59894672 impls, 794 clqs 617.55/617.75 c (round 85) 69073 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 63957180 impls, 794 clqs 643.64/643.86 c (round 86) 69098 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 66707342 impls, 794 clqs 653.55/653.75 c (653.7s) probing: 6000/194840 (3.1%) - 1764 fixings, 0 aggregations, 33514554 implications, 0 bound changes 681.94/682.11 c (round 87) 69123 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 70591924 impls, 794 clqs 723.93/724.13 c (round 88) 69148 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 74862566 impls, 794 clqs 732.33/732.54 c (round 89) 69173 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 75471330 impls, 794 clqs 769.32/769.54 c (769.5s) probing: 7000/194840 (3.6%) - 1841 fixings, 0 aggregations, 39339580 implications, 0 bound changes 779.21/779.43 c (round 90) 69198 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 80312908 impls, 794 clqs 808.70/808.98 c (round 91) 69223 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 83253722 impls, 794 clqs 836.50/836.74 c (round 92) 69248 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 86124540 impls, 794 clqs 868.09/868.34 c (round 93) 69273 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 89521842 impls, 794 clqs 878.29/878.53 c (878.5s) probing: 8000/194840 (4.1%) - 1928 fixings, 0 aggregations, 45009871 implications, 0 bound changes 884.20/884.44 c (round 94) 69298 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 91096006 impls, 794 clqs 899.88/900.14 c (round 95) 69323 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 92553594 impls, 794 clqs 928.78/929.08 c (round 96) 69348 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 95440436 impls, 794 clqs 959.58/959.85 c (round 97) 69373 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 98559526 impls, 794 clqs 964.88/965.15 c (round 98) 69398 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 98834756 impls, 794 clqs 973.88/974.14 c (round 99) 69423 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 99612818 impls, 794 clqs 986.38/986.70 c (986.7s) probing: 9000/194840 (4.6%) - 2081 fixings, 0 aggregations, 50120675 implications, 0 bound changes 1008.57/1008.89 c (round 100) 69448 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 103102088 impls, 794 clqs 1040.27/1040.54 c (round 101) 69473 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 106229972 impls, 794 clqs 1045.77/1046.06 c (round 102) 69498 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 106491000 impls, 794 clqs 1080.46/1080.77 c (round 103) 69523 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 109995922 impls, 794 clqs 1100.65/1100.91 c (1100.9s) probing: 10000/194840 (5.1%) - 2188 fixings, 0 aggregations, 55696458 implications, 0 bound changes 1122.65/1122.90 c (round 104) 69548 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 114288974 impls, 794 clqs 1131.05/1131.35 c (round 105) 69573 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 114878648 impls, 794 clqs 1176.45/1176.79 c (round 106) 69598 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 119387782 impls, 794 clqs 1208.34/1208.64 c (round 107) 69623 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 122428522 impls, 794 clqs 1212.64/1212.95 c (1212.9s) probing: 11000/194840 (5.6%) - 2282 fixings, 0 aggregations, 61004314 implications, 0 bound changes 1222.44/1222.75 c (round 108) 69648 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 123537590 impls, 794 clqs 1270.33/1270.65 c (round 109) 69673 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 128336156 impls, 794 clqs 1295.02/1295.34 c (round 110) 69698 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 130625918 impls, 794 clqs 1323.51/1323.87 c (1323.9s) probing: 12000/194840 (6.2%) - 2372 fixings, 0 aggregations, 66504358 implications, 0 bound changes 1326.32/1326.68 c (round 111) 69723 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 133953294 impls, 794 clqs 1364.31/1364.63 c (round 112) 69748 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 138009714 impls, 794 clqs 1370.31/1370.66 c (round 113) 69773 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 138362868 impls, 794 clqs 1393.11/1393.46 c (round 114) 69798 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 140640058 impls, 794 clqs 1424.30/1424.66 c (round 115) 69823 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 143785550 impls, 794 clqs 1438.29/1438.61 c (1438.6s) probing: 13000/194840 (6.7%) - 2482 fixings, 0 aggregations, 72279657 implications, 0 bound changes 1453.60/1453.96 c (round 116) 69848 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 146732084 impls, 794 clqs 1461.19/1461.55 c (round 117) 69873 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 147199168 impls, 794 clqs 1483.39/1483.80 c (round 118) 69898 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 149406468 impls, 794 clqs 1514.48/1514.85 c (round 119) 69923 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 152521916 impls, 794 clqs 1543.27/1543.65 c (round 120) 69948 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 155421602 impls, 794 clqs 1550.68/1551.07 c (round 121) 69973 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 155866910 impls, 794 clqs 1551.68/1552.03 c (1552.0s) probing: 14000/194840 (7.2%) - 2629 fixings, 0 aggregations, 77628424 implications, 0 bound changes 1572.87/1573.26 c (round 122) 69998 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 158056708 impls, 794 clqs 1603.86/1604.23 c (round 123) 70023 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 161161450 impls, 794 clqs 1632.35/1632.72 c (round 124) 70048 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 164020120 impls, 794 clqs 1641.46/1641.87 c (round 125) 70073 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 164599534 impls, 794 clqs 1670.35/1670.77 c (1670.8s) probing: 15000/194840 (7.7%) - 2739 fixings, 0 aggregations, 83334606 implications, 0 bound changes 1694.24/1694.63 c (round 126) 70098 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 169640090 impls, 794 clqs 1736.04/1736.44 c (round 127) 70123 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 173585742 impls, 794 clqs 1752.94/1753.35 c (round 128) 70148 del vars, 1268 del conss, 0 add conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 810 upgd conss, 174874660 impls, 794 clqs 1796.53/1796.99 c (1797.0s) probing: 16000/194840 (8.2%) - 2816 fixings, 0 aggregations, 89246089 implications, 0 bound changes 1796.63/1797.03 c (1797.0s) probing: 16001/194840 (8.2%) - 2816 fixings, 0 aggregations, 89246089 implications, 0 bound changes 1796.63/1797.03 c (1797.0s) probing aborted: solving stopped 1796.83/1797.27 c presolving (129 rounds): 1796.83/1797.27 c 70164 deleted vars, 1268 deleted constraints, 0 added constraints, 66952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1796.83/1797.27 c 179150152 implications, 794 cliques 1796.83/1797.27 c presolved problem has 191980 variables (191980 bin, 0 int, 0 impl, 0 cont) and 9809 constraints 1796.83/1797.27 c 794 constraints of type <setppc> 1796.83/1797.27 c 9015 constraints of type <linear> 1796.83/1797.27 c transformed objective value is always integral (scale: 1) 1796.83/1797.27 c Presolving Time: 1795.44 1796.83/1797.27 c - non default parameters ---------------------------------------------------------------------- 1796.83/1797.27 c # SCIP version 2.1.1.4 1796.83/1797.27 c 1796.83/1797.27 c # maximal time in seconds to run 1796.83/1797.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1796.83/1797.27 c limits/time = 1797 1796.83/1797.27 c 1796.83/1797.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1796.83/1797.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1796.83/1797.27 c limits/memory = 13950 1796.83/1797.27 c 1796.83/1797.27 c # default clock type (1: CPU user seconds, 2: wall clock time) 1796.83/1797.27 c # [type: int, range: [1,2], default: 1] 1796.83/1797.27 c timing/clocktype = 2 1796.83/1797.27 c 1796.83/1797.27 c # belongs reading time to solving time? 1796.83/1797.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1796.83/1797.27 c timing/reading = TRUE 1796.83/1797.27 c 1796.83/1797.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1796.83/1797.27 c # [type: int, range: [-1,2147483647], default: -1] 1796.83/1797.27 c separating/rapidlearning/freq = 0 1796.83/1797.27 c 1796.83/1797.27 c ----------------------------------------------------------------------------------------------- 1796.83/1797.27 c start solving 1796.93/1797.36 c 1796.93/1797.36 c 1796.93/1797.36 c SCIP Status : solving was interrupted [time limit reached] 1796.93/1797.36 c Solving Time (sec) : 1797.36 1796.93/1797.36 c Solving Nodes : 0 1796.93/1797.36 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1796.93/1797.36 c Dual Bound : -1.00000000000000e+20 1796.93/1797.36 c Gap : infinite 1796.93/1797.36 s UNKNOWN 1796.93/1797.36 c SCIP Status : solving was interrupted [time limit reached] 1796.93/1797.36 c Total Time : 1797.36 1796.93/1797.36 c solving : 1797.36 1796.93/1797.36 c presolving : 1795.44 (included in solving) 1796.93/1797.36 c reading : 1.27 (included in solving) 1796.93/1797.36 c copying : 0.00 (0 times copied the problem) 1796.93/1797.36 c Original Problem : 1796.93/1797.36 c Problem name : HOME/instance-3691308-1338024504.opb 1796.93/1797.36 c Variables : 262144 (262144 binary, 0 integer, 0 implicit integer, 0 continuous) 1796.93/1797.36 c Constraints : 11077 initial, 11077 maximal 1796.93/1797.36 c Objective sense : minimize 1796.93/1797.36 c Presolved Problem : 1796.93/1797.36 c Problem name : t_HOME/instance-3691308-1338024504.opb 1796.93/1797.36 c Variables : 191980 (191980 binary, 0 integer, 0 implicit integer, 0 continuous) 1796.93/1797.36 c Constraints : 9809 initial, 9809 maximal 1796.93/1797.36 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs 1796.93/1797.36 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c trivial : 2.14 0.00 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c dualfix : 1.62 0.00 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c implics : 1.86 0.00 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c components : 0.22 0.00 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c probing : 1765.18 0.01 2816 0 0 0 0 0 0 0 0 1796.93/1797.36 c setppc : 9.90 0.00 396 0 0 0 0 16 0 0 0 1796.93/1797.36 c linear : 12.27 0.00 66952 0 0 66952 0 1252 0 0 0 1796.93/1797.36 c root node : - - 0 - - 0 - - - - - 1796.93/1797.36 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children 1796.93/1797.36 c integral : 0 0 0 0 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c setppc : 794 794 0 75406 0 0 0 55277 1839 0 0 0 0 1796.93/1797.36 c linear : 9015 9015 0 73567 0 0 0 520640 68 0 0 0 0 1796.93/1797.36 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 1796.93/1797.36 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp 1796.93/1797.36 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 1796.93/1797.36 c setppc : 20.81 0.00 0.00 20.69 0.00 0.00 0.00 0.12 1796.93/1797.36 c linear : 794.57 0.00 0.00 792.20 0.00 0.00 0.00 2.36 1796.93/1797.36 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 1796.93/1797.36 c Propagators : #Propagate #ResProp Cutoffs DomReds 1796.93/1797.36 c rootredcost : 0 0 0 0 1796.93/1797.36 c pseudoobj : 0 0 0 0 1796.93/1797.36 c vbounds : 0 0 0 0 1796.93/1797.36 c redcost : 0 0 0 0 1796.93/1797.36 c probing : 0 0 0 0 1796.93/1797.36 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp 1796.93/1797.36 c rootredcost : 0.04 0.00 0.00 0.04 0.00 1796.93/1797.36 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 1796.93/1797.36 c vbounds : 0.10 0.05 0.00 0.05 0.00 1796.93/1797.36 c redcost : 0.03 0.00 0.00 0.03 0.00 1796.93/1797.36 c probing : 1765.18 0.01 1765.18 0.00 0.00 1796.93/1797.36 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1796.93/1797.36 c propagation : 4.53 1907 0 0 0.0 0 0.0 - 1796.93/1797.36 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1796.93/1797.36 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1796.93/1797.36 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1796.93/1797.36 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1796.93/1797.36 c applied globally : - - - 0 0.0 - - - 1796.93/1797.36 c applied locally : - - - 0 0.0 - - - 1796.93/1797.36 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss 1796.93/1797.36 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1796.93/1797.36 c clique : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c closecuts : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c cgmip : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c cmir : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c flowcover : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c gomory : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c impliedbounds : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c intobj : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c mcf : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c oddcycle : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c rapidlearning : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c strongcg : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c zerohalf : 0.00 0.00 0 0 0 0 0 1796.93/1797.36 c Pricers : ExecTime SetupTime Calls Vars 1796.93/1797.36 c problem variables: 0.00 - 0 0 1796.93/1797.36 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children 1796.93/1797.36 c pscost : 0.00 0.00 0 0 0 0 0 0 1796.93/1797.36 c inference : 0.00 0.00 0 0 0 0 0 0 1796.93/1797.36 c mostinf : 0.00 0.00 0 0 0 0 0 0 1796.93/1797.36 c leastinf : 0.00 0.00 0 0 0 0 0 0 1796.93/1797.36 c fullstrong : 0.00 0.00 0 0 0 0 0 0 1796.93/1797.36 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 1796.93/1797.36 c random : 0.00 0.00 0 0 0 0 0 0 1796.93/1797.36 c relpscost : 0.00 0.00 0 0 0 0 0 0 1796.93/1797.36 c Primal Heuristics : ExecTime SetupTime Calls Found 1796.93/1797.36 c LP solutions : 0.00 - - 0 1796.93/1797.36 c pseudo solutions : 0.00 - - 0 1796.93/1797.36 c smallcard : 0.00 0.00 0 0 1796.93/1797.36 c trivial : 0.37 0.00 1 0 1796.93/1797.36 c shiftandpropagate: 0.00 0.00 0 0 1796.93/1797.36 c simplerounding : 0.00 0.00 0 0 1796.93/1797.36 c zirounding : 0.00 0.00 0 0 1796.93/1797.36 c rounding : 0.00 0.00 0 0 1796.93/1797.36 c shifting : 0.00 0.00 0 0 1796.93/1797.36 c intshifting : 0.00 0.00 0 0 1796.93/1797.36 c oneopt : 0.00 0.00 0 0 1796.93/1797.36 c twoopt : 0.00 0.00 0 0 1796.93/1797.36 c indtwoopt : 0.00 0.00 0 0 1796.93/1797.36 c indoneopt : 0.00 0.00 0 0 1796.93/1797.36 c fixandinfer : 0.00 0.00 0 0 1796.93/1797.36 c feaspump : 0.00 0.00 0 0 1796.93/1797.36 c clique : 0.00 0.00 0 0 1796.93/1797.36 c indrounding : 0.00 0.00 0 0 1796.93/1797.36 c indcoefdiving : 0.00 0.00 0 0 1796.93/1797.36 c coefdiving : 0.00 0.00 0 0 1796.93/1797.36 c pscostdiving : 0.00 0.00 0 0 1796.93/1797.36 c nlpdiving : 0.00 0.00 0 0 1796.93/1797.36 c fracdiving : 0.00 0.00 0 0 1796.93/1797.36 c veclendiving : 0.00 0.00 0 0 1796.93/1797.36 c intdiving : 0.00 0.00 0 0 1796.93/1797.36 c actconsdiving : 0.00 0.00 0 0 1796.93/1797.36 c objpscostdiving : 0.00 0.00 0 0 1796.93/1797.36 c rootsoldiving : 0.00 0.00 0 0 1796.93/1797.36 c linesearchdiving : 0.00 0.00 0 0 1796.93/1797.36 c guideddiving : 0.00 0.00 0 0 1796.93/1797.36 c octane : 0.00 0.00 0 0 1796.93/1797.36 c rens : 0.00 0.00 0 0 1796.93/1797.36 c rins : 0.00 0.00 0 0 1796.93/1797.36 c localbranching : 0.00 0.00 0 0 1796.93/1797.36 c mutation : 0.00 0.00 0 0 1796.93/1797.36 c crossover : 0.00 0.00 0 0 1796.93/1797.36 c dins : 0.00 0.00 0 0 1796.93/1797.36 c vbounds : 0.00 0.00 0 0 1796.93/1797.36 c undercover : 0.00 0.00 0 0 1796.93/1797.36 c subnlp : 0.00 0.00 0 0 1796.93/1797.36 c trysol : 0.00 0.00 0 0 1796.93/1797.36 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It 1796.93/1797.36 c primal LP : 0.00 0 0 0.00 - 0.00 0 1796.93/1797.36 c dual LP : 0.00 0 0 0.00 - 0.00 0 1796.93/1797.36 c lex dual LP : 0.00 0 0 0.00 - 1796.93/1797.36 c barrier LP : 0.00 0 0 0.00 - 0.00 0 1796.93/1797.36 c diving/probing LP: 0.00 0 0 0.00 - 1796.93/1797.36 c strong branching : 0.00 0 0 0.00 - 1796.93/1797.36 c (at root node) : - 0 0 0.00 - 1796.93/1797.36 c conflict analysis: 0.00 0 0 0.00 - 1796.93/1797.36 c B&B Tree : 1796.93/1797.36 c number of runs : 1 1796.93/1797.36 c nodes : 0 1796.93/1797.36 c nodes (total) : 0 1796.93/1797.36 c nodes left : 1 1796.93/1797.36 c max depth : -1 1796.93/1797.36 c max depth (total): -1 1796.93/1797.36 c backtracks : 0 (0.0%) 1796.93/1797.36 c delayed cutoffs : 0 1796.93/1797.36 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1796.93/1797.36 c avg switch length: 0.00 1796.93/1797.36 c switching time : 0.00 1796.93/1797.36 c Solution : 1796.93/1797.36 c Solutions found : 0 (0 improvements) 1796.93/1797.36 c Primal Bound : - 1796.93/1797.36 c Dual Bound : - 1796.93/1797.36 c Gap : infinite 1796.93/1797.36 c Root Dual Bound : - 1796.93/1797.36 c Root Iterations : 0 1798.53/1798.90 c Time complete: 1798.54.
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691308-1338024504/watcher-3691308-1338024504 -o /tmp/evaluation-result-3691308-1338024504/solver-3691308-1338024504 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691308-1338024504.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 7846 /proc/meminfo: memFree=28142796/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=11136 CPUtime=0 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1531 0 0 0 0 0 0 0 20 0 1 0 268574804 11403264 1486 33554432000 4194304 10173063 140735765073456 140735764938296 7173662 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 2784 1486 408 1460 0 1315 0 [startup+0.0828371 s] /proc/loadavg: 2.00 2.00 2.00 3/176 7846 /proc/meminfo: memFree=28142796/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=65328 CPUtime=0.07 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 15093 0 0 0 5 2 0 0 20 0 1 0 268574804 66895872 14999 33554432000 4194304 10173063 140735765073456 140735764938296 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 16332 15021 408 1460 0 14863 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 65328 [startup+0.100358 s] /proc/loadavg: 2.00 2.00 2.00 3/176 7846 /proc/meminfo: memFree=28142796/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=77180 CPUtime=0.09 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 17882 0 0 0 6 3 0 0 20 0 1 0 268574804 79032320 17789 33554432000 4194304 10173063 140735765073456 140735764938296 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 19295 17825 408 1460 0 17826 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 77180 [startup+0.300302 s] /proc/loadavg: 2.00 2.00 2.00 3/176 7846 /proc/meminfo: memFree=28142796/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=197344 CPUtime=0.28 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 47903 0 0 0 21 7 0 0 20 0 1 0 268574804 202080256 47808 33554432000 4194304 10173063 140735765073456 140735764938296 7173674 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 49592 47827 408 1460 0 48123 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 197344 [startup+0.700292 s] /proc/loadavg: 2.00 2.00 2.00 3/176 7846 /proc/meminfo: memFree=28142796/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=218076 CPUtime=0.69 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 53125 0 0 0 61 8 0 0 20 0 1 0 268574804 223309824 53030 33554432000 4194304 10173063 140735765073456 140735764938632 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 54519 53030 416 1460 0 53050 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 218076 [startup+1.50031 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7847 /proc/meminfo: memFree=27922332/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=457684 CPUtime=1.49 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 112728 0 0 0 131 18 0 0 20 0 1 0 268574804 468668416 112614 33554432000 4194304 10173063 140735765073456 140735764938632 4941840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 114421 112614 468 1460 0 112952 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 457684 [startup+3.10031 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7847 /proc/meminfo: memFree=27661312/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=645368 CPUtime=3.09 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 161150 0 0 0 283 26 0 0 20 0 1 0 268574804 660856832 157958 33554432000 4194304 10173063 140735765073456 140735765069192 5760629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 161342 157958 523 1460 0 159873 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 645368 [startup+6.30031 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7847 /proc/meminfo: memFree=27468300/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=684988 CPUtime=6.29 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 172554 0 0 0 599 30 0 0 20 0 1 0 268574804 701427712 167741 33554432000 4194304 10173063 140735765073456 140735765070456 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 171247 167741 575 1460 0 169778 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 684988 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7847 /proc/meminfo: memFree=27421576/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=735108 CPUtime=12.68 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 184842 0 0 0 1234 34 0 0 20 0 1 0 268574804 752750592 179938 33554432000 4194304 10173063 140735765073456 140735765069816 4480570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 183777 179938 604 1460 0 182308 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 735108 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7847 /proc/meminfo: memFree=27374704/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=784944 CPUtime=25.48 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 196573 0 0 0 2509 39 0 0 20 0 1 0 268574804 803782656 191669 33554432000 4194304 10173063 140735765073456 140735765069816 7430733 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 196236 191669 604 1460 0 194767 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 784944 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7847 /proc/meminfo: memFree=27301356/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=862744 CPUtime=51.08 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 215307 0 0 0 5063 45 0 0 20 0 1 0 268574804 883449856 210403 33554432000 4194304 10173063 140735765073456 140735765070312 4480570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 215686 210403 604 1460 0 214217 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 862744 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/178 7851 /proc/meminfo: memFree=27087780/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=1078364 CPUtime=102.28 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 267854 0 0 0 10172 56 0 0 20 0 1 0 268574804 1104244736 263387 33554432000 4194304 10173063 140735765073456 140735765069832 4436154 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 269591 263387 604 1460 0 268122 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1078364 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7851 /proc/meminfo: memFree=26840948/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=1327876 CPUtime=162.26 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 329419 0 0 0 16156 70 0 0 20 0 1 0 268574804 1359745024 325975 33554432000 4194304 10173063 140735765073456 140735765069816 4953507 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 331969 325975 605 1460 0 330500 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1327876 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7851 /proc/meminfo: memFree=26587520/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=1576116 CPUtime=222.23 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 391112 0 0 0 22139 84 0 0 20 0 1 0 268574804 1613942784 388086 33554432000 4194304 10173063 140735765073456 140735765069816 5298612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 394029 388086 605 1460 0 392560 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1576116 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 7852 /proc/meminfo: memFree=26357520/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=1811952 CPUtime=282.22 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 449379 0 0 0 28127 95 0 0 20 0 1 0 268574804 1855438848 446653 33554432000 4194304 10173063 140735765073456 140735765069816 5933835 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 452988 446653 605 1460 0 451519 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 1811952 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7852 /proc/meminfo: memFree=26093932/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=2068652 CPUtime=342.2 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 514296 0 0 0 34110 110 0 0 20 0 1 0 268574804 2118299648 511799 33554432000 4194304 10173063 140735765073456 140735765069816 5871378 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 517163 511799 605 1460 0 515694 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 2068652 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 7853 /proc/meminfo: memFree=25867544/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=2296184 CPUtime=402.2 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 570431 0 0 0 40096 124 0 0 20 0 1 0 268574804 2351292416 568192 33554432000 4194304 10173063 140735765073456 140735765069816 8886411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 574046 568192 605 1460 0 572577 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 2296184 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7854 /proc/meminfo: memFree=25596748/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=2567088 CPUtime=462.18 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 637388 0 0 0 46081 137 0 0 20 0 1 0 268574804 2628698112 635374 33554432000 4194304 10173063 140735765073456 140735765069832 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 641772 635374 605 1460 0 640303 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 2567088 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7854 /proc/meminfo: memFree=25342948/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=2824728 CPUtime=522.17 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 701348 0 0 0 52068 149 0 0 20 0 1 0 268574804 2892521472 699865 33554432000 4194304 10173063 140735765073456 140735765069816 8921470 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 706182 699865 605 1460 0 704713 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 2824728 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7854 /proc/meminfo: memFree=25063108/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=3095944 CPUtime=582.16 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 769176 0 0 0 58055 161 0 0 20 0 1 0 268574804 3170246656 768100 33554432000 4194304 10173063 140735765073456 140735765069832 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 773986 768100 605 1460 0 772517 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 3095944 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=22848444/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=5296292 CPUtime=1062.06 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1316032 0 0 0 105935 271 0 0 20 0 1 0 268574804 5423403008 1315831 33554432000 4194304 10173063 140735765073456 140735765069832 8921508 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1324073 1315831 605 1460 0 1322604 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 5296292 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 7859 /proc/meminfo: memFree=22667060/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=5478892 CPUtime=1122.05 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1361294 0 0 0 111925 280 0 0 20 0 1 0 268574804 5610385408 1361444 33554432000 4194304 10173063 140735765073456 140735765069816 4953527 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1369723 1361444 605 1460 0 1368254 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 5478892 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 7859 /proc/meminfo: memFree=22307240/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=5849236 CPUtime=1182.04 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1453527 0 0 0 117907 297 0 0 20 0 1 0 268574804 5989617664 1453853 33554432000 4194304 10173063 140735765073456 140735765069816 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1462309 1453853 605 1460 0 1460840 0 Current children cumulated CPU time (s) 1182.04 Current children cumulated vsize (KiB) 5849236 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7859 /proc/meminfo: memFree=22069064/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=6067464 CPUtime=1242.03 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1508319 0 0 0 123896 307 0 0 20 0 1 0 268574804 6213083136 1508733 33554432000 4194304 10173063 140735765073456 140735765069816 4953507 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1516866 1508733 605 1460 0 1515397 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 6067464 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 7863 /proc/meminfo: memFree=21887648/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=6247572 CPUtime=1302.03 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1552605 0 0 0 129886 317 0 0 20 0 1 0 268574804 6397513728 1553227 33554432000 4194304 10173063 140735765073456 140735765069816 4480563 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1561893 1553227 605 1460 0 1560424 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 6247572 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7863 /proc/meminfo: memFree=21597548/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=6536916 CPUtime=1362.01 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1624372 0 0 0 135869 332 0 0 20 0 1 0 268574804 6693801984 1625206 33554432000 4194304 10173063 140735765073456 140735765069832 4480570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1634229 1625206 605 1460 0 1632760 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 6536916 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7901 /proc/meminfo: memFree=21236196/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=6908924 CPUtime=1422 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1717653 0 0 0 141849 351 0 0 20 0 1 0 268574804 7074738176 1718621 33554432000 4194304 10173063 140735765073456 140735765069832 6919514 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1727231 1718621 605 1460 0 1725762 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 6908924 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7901 /proc/meminfo: memFree=20994672/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=7143372 CPUtime=1481.99 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1776478 0 0 0 147833 366 0 0 20 0 1 0 268574804 7314812928 1777532 33554432000 4194304 10173063 140735765073456 140735765069816 4480570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1785843 1777532 605 1460 0 1784374 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 7143372 [startup+1542.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 7901 /proc/meminfo: memFree=20789356/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=7348844 CPUtime=1541.97 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1827129 0 0 0 153819 378 0 0 20 0 1 0 268574804 7525216256 1828310 33554432000 4194304 10173063 140735765073456 140735765069816 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1837211 1828310 605 1460 0 1835742 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 7348844 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 7902 /proc/meminfo: memFree=20638288/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=7492580 CPUtime=1601.96 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1864055 0 0 0 159807 389 0 0 20 0 1 0 268574804 7672401920 1865362 33554432000 4194304 10173063 140735765073456 140735765069832 5298612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1873145 1865362 605 1460 0 1871676 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 7492580 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7902 /proc/meminfo: memFree=20487532/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=7648416 CPUtime=1661.96 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 1903313 0 0 0 165794 402 0 0 20 0 1 0 268574804 7831977984 1904744 33554432000 4194304 10173063 140735765073456 140735765069832 4435961 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1912104 1904744 605 1460 0 1910635 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 7648416 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7902 /proc/meminfo: memFree=20013836/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=8132176 CPUtime=1721.93 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2022876 0 0 0 171768 425 0 0 20 0 1 0 268574804 8327348224 2024452 33554432000 4194304 10173063 140735765073456 140735765069832 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 2033044 2024452 605 1460 0 2031575 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 8132176 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7902 /proc/meminfo: memFree=19860272/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=8270488 CPUtime=1781.93 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2058188 0 0 0 177759 434 0 0 20 0 1 0 268574804 8468979712 2059773 33554432000 4194304 10173063 140735765073456 140735765069816 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 2067622 2059773 605 1460 0 2066153 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 8270488 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7902 /proc/meminfo: memFree=19829628/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=8302856 CPUtime=1791.53 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2065935 0 0 0 178717 436 0 0 20 0 1 0 268574804 8502124544 2067521 33554432000 4194304 10173063 140735765073456 140735765069816 4261730 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 2075714 2067521 605 1460 0 2074245 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (KiB) 8302856 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7902 /proc/meminfo: memFree=19818220/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=8314976 CPUtime=1794.73 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2068734 0 0 0 179036 437 0 0 20 0 1 0 268574804 8514535424 2070320 33554432000 4194304 10173063 140735765073456 140735765069816 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 2078744 2070320 605 1460 0 2077275 0 Current children cumulated CPU time (s) 1794.73 Current children cumulated vsize (KiB) 8314976 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7902 /proc/meminfo: memFree=19811772/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=8322140 CPUtime=1796.32 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2070962 0 0 0 179195 437 0 0 20 0 1 0 268574804 8521871360 2072548 33554432000 4194304 10173063 140735765073456 140735765069816 8886411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 2080535 2072548 605 1460 0 2079066 0 Current children cumulated CPU time (s) 1796.32 Current children cumulated vsize (KiB) 8322140 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7902 /proc/meminfo: memFree=19810284/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=8288204 CPUtime=1797.93 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2075153 0 0 0 179354 439 0 0 20 0 1 0 268574804 8487120896 2063986 33554432000 4194304 10173063 140735765073456 140735765072680 5885479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 2072051 2063986 658 1460 0 2070582 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 8288204 [startup+1798.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7902 /proc/meminfo: memFree=19846792/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=7648124 CPUtime=1798.33 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2075168 0 0 0 179381 452 0 0 20 0 1 0 268574804 7831678976 1394450 33554432000 4194304 10173063 140735765073456 140735765072728 9177290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1912031 1393939 673 1460 0 1910562 0 Current children cumulated CPU time (s) 1798.33 Current children cumulated vsize (KiB) 7648124 [startup+1798.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 7902 /proc/meminfo: memFree=19846792/32873844 swapFree=7616/7616 [pid=7846] ppid=7844 vsize=7648124 CPUtime=1798.53 cores=1,3,5,7 /proc/7846/stat : 7846 (scip-2.1.1.4fix) R 7844 7846 6477 0 -1 4202496 2075168 0 0 0 179381 472 0 0 20 0 1 0 268574804 7831678976 567990 33554432000 4194304 10173063 140735765073456 140735765072728 9177290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7846/statm: 1912031 567990 673 1460 0 1910562 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (KiB) 7648124 Child status: 0 Real time (s): 1798.91 CPU time (s): 1798.54 CPU user time (s): 1793.81 CPU system time (s): 4.73428 CPU usage (%): 99.9797 Max. virtual memory (cumulated for all children) (KiB): 8332176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.81 system time used= 4.73428 maximum resident set size= 8315776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2075171 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= 127 involuntary context switches= 1832 runsolver used 2.6496 second user time and 8.95064 second system time The end
Begin job on node141 at 2012-05-26 11:28:25 IDJOB=3691308 IDBENCH=89871 IDSOLVER=2270 FILE ID=node141/3691308-1338024504 RUNJOBID= node141-1338016921-6494 PBS_JOBID= 14624334 Free space on /tmp= 71476 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-datt256.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691308-1338024504/watcher-3691308-1338024504 -o /tmp/evaluation-result-3691308-1338024504/solver-3691308-1338024504 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691308-1338024504.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eff0b252efd7ad849119636cdcc0cdec RANDOM SEED=1817048773 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28143332 kB Buffers: 251004 kB Cached: 3524412 kB SwapCached: 0 kB Active: 815876 kB Inactive: 3136600 kB Active(anon): 179784 kB Inactive(anon): 0 kB Active(file): 636092 kB Inactive(file): 3136600 kB Unevictable: 7616 kB Mlocked: 7616 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 31868 kB Writeback: 0 kB AnonPages: 254192 kB Mapped: 17588 kB Shmem: 200 kB Slab: 639268 kB SReclaimable: 81664 kB SUnreclaim: 557604 kB KernelStack: 1448 kB PageTables: 4540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 294396 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71464 MiB End job on node141 at 2012-05-26 11:58:24